--- /dev/null
+prologues:=1;\r
+outputtemplate:="%j.mps";\r
+beginfig(1);\r
+drawoptions (withcolor (1.000000,0.831373,0.000000));\r
+linecap := butt;\r
+linejoin := mitered;\r
+fill (9.964840,3.820310)--(6.769530,5.523440)--(3.554690,3.859380)\r
+ --(4.187500,7.421880)--(1.609370,9.964840)--(5.195310,10.464800)\r
+ --(6.816410,13.699200)--(8.402340,10.445300)--(11.980500,9.906250)\r
+ --(9.371090,7.394530)--cycle;\r
+drawoptions (withcolor (0.000000,0.000000,0.000000));\r
+pickup pencircle scaled 0.400000bp;\r
+linecap := rounded;\r
+linejoin := rounded;\r
+draw (9.964840,3.820310)--(6.769530,5.523440)--(3.554690,3.859380)\r
+ --(4.187500,7.421880)--(1.609370,9.964840)--(5.195310,10.464800)\r
+ --(6.816410,13.699200)--(8.402340,10.445300)--(11.980500,9.906250)\r
+ --(9.371090,7.394530)--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(1.3);\r
+z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);\r
+z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);\r
+draw (z0+(10.5,2));\r
+draw (z1-(10.5,3));\r
+clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);\r
+endfig;\r
+end\r