2 outputtemplate:="%j.mps";
6 pickup pencircle scaled 0bp;
7 drawoptions (withcolor (1,1,1));
8 fill fullcircle scaled(17) shifted(80.5,711.5);
9 drawoptions (withcolor (0,0,0));
10 pickup pencircle scaled 0.199253bp;
11 draw fullcircle scaled(17) shifted(80.5,711.5);
12 pickup pencircle scaled 0.099626bp;
13 draw fullcircle scaled(15.726494) shifted(80.5,711.5);
14 pickup pencircle scaled 0bp;
16 z[i]=(80.5,711.5)+6.5*(cosd(30*i),sind(30*i));
17 filldraw fullcircle scaled(0.7) shifted(z[i]);
20 filldraw fullcircle scaled(0.9) shifted(z[3*i]);
22 drawoptions (withcolor (0.311800,0.311800,0.311800));
24 fill (82.687500,713.078003)--(85.671898,714.456970)--(80.300797,710.659973)
25 --(79.699203,711.698975)--cycle;
26 drawoptions (withcolor (0.000000,0.000000,0.000000));
27 pickup pencircle scaled 0.099626bp;
28 draw (82.687500,713.078003)--(85.671898,714.456970)--(80.300797,710.659973)
29 --(79.699203,711.698975)--cycle;
30 drawoptions (withcolor (0.311800,0.311800,0.311800));
31 pickup pencircle scaled 0.000000bp;
32 fill (78.851601,712.281006)--(77.039101,713.918030)--(81.355499,711.629028)
33 --(80.667999,710.645020)--cycle;
34 drawoptions (withcolor (0.000000,0.000000,0.000000));
35 pickup pencircle scaled 0.099626bp;
36 draw (78.851601,712.281006)--(77.039101,713.918030)--(81.355499,711.629028)
37 --(80.667999,710.645020)--cycle;
38 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
41 currentpicture:=nullpicture;
44 z20=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
45 z21=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
48 clip currentpicture to ((z20-(8.5pt,0))--(z20+(8.5pt,0))--(z21+(8.5pt,-1pt))--(z21-(8.5pt,1pt))--cycle);