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