1 outputtemplate:="%j.mps";
\r
6 fill (63.867199,57.281300)--(70.945297,64.363297)--(77.445297,57.863300)
\r
7 --(80.000000,80.000000)--(57.863300,77.445297)--(64.363297,70.945297)
\r
8 --(57.281300,63.867199)
\r
10 pickup pencircle scaled(9.3);
\r
11 draw fullcircle scaled(61.95) shifted(35.60745,35.60745);
\r
13 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
\r
15 pic:=currentpicture;
\r
16 currentpicture:=nullpicture;
\r
19 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
\r
20 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
\r
23 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);
\r