2 outputtemplate:="%j.mps";
4 pickup pencircle scaled(3bp);
5 draw fullcircle scaled(38);
7 draw (0,0)--((0,-19) rotated(45));
8 draw (0,0)--((0,-19) rotated(-45));
9 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
12 currentpicture:=nullpicture;
15 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
16 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
19 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);