1 outputtemplate:="%j.mps";
\r
6 fill (19.687500,13.554700)--(19.687500,5.851560)--(26.531300,5.851560)
\r
7 --(26.531300,0.000000)--(34.511700,0.000000)--(34.511700,5.851560)
\r
8 --(40.824200,5.851560)--(40.824200,13.554700)--(34.511700,13.554700)
\r
9 --(34.507801,19.226601)--(26.531300,19.226601)--(26.531300,13.554700)
\r
11 pickup pencircle scaled(7.980470);
\r
12 draw fullcircle scaled(53.052764) shifted(61.042999/2,49.4);
\r
14 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
\r
16 pic:=currentpicture;
\r
17 currentpicture:=nullpicture;
\r
20 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
\r
21 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
\r
24 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);
\r