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