1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
prologues:=3;
vardef showtext(expr origin)(expr angle)(expr string) =
draw string infont defaultfont scaled defaultscale
rotated angle shifted origin;
enddef;
outputtemplate:="%j.mps";
beginfig(1);
drawoptions (withcolor (0,0,0));
pickup pencircle scaled 0.3985bp;
linejoin := rounded;
draw (6.066410,18.500000)--(5.882810,18.488300)--(5.699220,18.449200)
--(5.523440,18.390600)--(5.359380,18.308599)--(5.203130,18.203100)
--(5.066410,18.082001)--(0.914063,13.933600)--(0.792969,13.793000)
--(0.691406,13.640600)--(0.609375,13.472700)--(0.546875,13.296900)
--(0.511719,13.117200)--(0.500000,12.933600)--(0.500000,7.062500)
--(0.511719,6.878910)--(0.550781,6.699220)--(0.609375,6.523440)
--(0.691406,6.355470)--(0.796875,6.203130)--(0.917969,6.062500)
--(5.066410,1.914060)--(5.207030,1.789060)--(5.359380,1.687500)
--(5.527340,1.605470)--(5.703130,1.546880)--(5.882810,1.511720)
--(6.066410,1.496090)--(11.937500,1.496090)--(12.121100,1.511720)
--(12.300800,1.546880)--(12.476600,1.605470)--(12.644500,1.687500)
--(12.796900,1.792970)--(12.937500,1.914060)--(17.085899,6.062500)
--(17.210899,6.203130)--(17.312500,6.355470)--(17.394501,6.523440)
--(17.453100,6.699220)--(17.488300,6.882810)--(17.503901,7.066410)
--(17.503901,10.000000)--(17.503901,12.933600)--(17.492201,13.117200)
--(17.453100,13.300800)--(17.394501,13.476600)--(17.312500,13.640600)
--(17.210899,13.796900)--(17.089800,13.933600)--(12.937500,18.085899)
--(12.800800,18.207001)--(12.644500,18.308599)--(12.480500,18.390600)
--(12.304700,18.453100)--(12.121100,18.488300)--(11.937500,18.500000)
--cycle;
drawoptions (withcolor (1,0,0));
pickup pencircle scaled 0bp;
fill (6.386720,17.726601)--(6.203130,17.714800)--(6.019530,17.679701)
--(5.847660,17.617201)--(5.679690,17.535200)--(5.527340,17.433599)
--(5.386720,17.308599)--(1.691410,13.613300)--(1.566410,13.472700)
--(1.464840,13.320300)--(1.382810,13.152300)--(1.320310,12.980500)
--(1.285160,12.796900)--(1.273440,12.613300)--(1.273440,7.386720)
--(1.285160,7.199220)--(1.320310,7.019530)--(1.382810,6.843750)
--(1.464840,6.675780)--(1.566410,6.523440)--(1.691410,6.382810)
--(5.386720,2.687500)--(5.527340,2.566410)--(5.679690,2.460940)
--(5.847660,2.378910)--(6.019530,2.320310)--(6.203130,2.281250)
--(6.386720,2.269530)--(11.613300,2.269530)--(11.800800,2.281250)
--(11.980500,2.320310)--(12.156300,2.378910)--(12.324200,2.460940)
--(12.476600,2.566410)--(12.617200,2.687500)--(16.312500,6.382810)
--(16.433599,6.523440)--(16.539101,6.675780)--(16.621099,6.843750)
--(16.679701,7.019530)--(16.718800,7.199220)--(16.730499,7.386720)
--(16.730499,12.613300)--(16.718800,12.796900)--(16.679701,12.980500)
--(16.621099,13.152300)--(16.539101,13.320300)--(16.433599,13.472700)
--(16.312500,13.613300)--(12.617200,17.308599)--(12.476600,17.433599)
--(12.324200,17.535200)--(12.156300,17.617201)--(11.980500,17.679701)
--(11.800800,17.714800)--(11.613300,17.726601)--cycle;
drawoptions (withcolor (1,1,1));
defaultfont := "cmss17";
defaultscale := 5.5/fontsize defaultfont;
showtext ((2.3,8), 0.000000, "STOP");
r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
picture pic;
pic:=currentpicture;
currentpicture:=nullpicture;
drawoptions();
draw pic scaled(r);
z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
draw (z0+(10.5,2));
draw (z1-(10.5,2));
clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);
endfig;
end
|
