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