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