--- /dev/null
+prologues:=1;\r
+outputtemplate:="%j.mps";\r
+beginfig(1);\r
+linecap := butt;\r
+linejoin := mitered;\r
+pickup pencircle scaled 0bp;\r
+drawoptions (withcolor (1,1,1));\r
+fill fullcircle scaled(17) shifted(80.5,711.5);\r
+drawoptions (withcolor (0,0,0));\r
+pickup pencircle scaled 0.199253bp;\r
+draw fullcircle scaled(17) shifted(80.5,711.5);\r
+pickup pencircle scaled 0.099626bp;\r
+draw fullcircle scaled(15.726494) shifted(80.5,711.5);\r
+pickup pencircle scaled 0bp;\r
+for i=0 upto 11:\r
+z[i]=(80.5,711.5)+6.5*(cosd(30*i),sind(30*i));\r
+filldraw fullcircle scaled(0.7) shifted(z[i]);\r
+endfor;\r
+for i=0 upto 3:\r
+filldraw fullcircle scaled(0.9) shifted(z[3*i]);\r
+endfor;\r
+drawoptions (withcolor (0.311800,0.311800,0.311800));\r
+linejoin := rounded;\r
+fill (82.687500,713.078003)--(85.671898,714.456970)--(80.300797,710.659973)\r
+ --(79.699203,711.698975)--cycle;\r
+drawoptions (withcolor (0.000000,0.000000,0.000000));\r
+pickup pencircle scaled 0.099626bp;\r
+draw (82.687500,713.078003)--(85.671898,714.456970)--(80.300797,710.659973)\r
+ --(79.699203,711.698975)--cycle;\r
+drawoptions (withcolor (0.311800,0.311800,0.311800));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (78.851601,712.281006)--(77.039101,713.918030)--(81.355499,711.629028)\r
+ --(80.667999,710.645020)--cycle;\r
+drawoptions (withcolor (0.000000,0.000000,0.000000));\r
+pickup pencircle scaled 0.099626bp;\r
+draw (78.851601,712.281006)--(77.039101,713.918030)--(81.355499,711.629028)\r
+ --(80.667999,710.645020)--cycle;\r
+r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));\r
+picture pic;\r
+pic:=currentpicture;\r
+currentpicture:=nullpicture;\r
+drawoptions();\r
+draw pic scaled(r);\r
+z20=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);\r
+z21=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);\r
+draw (z20+(10.5,2));\r
+draw (z21-(10.5,2));\r
+clip currentpicture to ((z20-(8.5pt,0))--(z20+(8.5pt,0))--(z21+(8.5pt,-1pt))--(z21-(8.5pt,1pt))--cycle);\r
+endfig;\r
+end\r