--- /dev/null
+prologues:=1;\r
+outputtemplate:="%j.mps";\r
+beginfig(1);\r
+drawoptions (withcolor (0.309800,0.027500,0.086300));\r
+fill (0.347656,4.429690)--(11.953100,5.679690)--(16.445299,2.445310)\r
+ --(4.839840,1.195310)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (0.347656,4.429690)--(11.953100,5.679690)--(16.445299,2.445310)\r
+ --(4.839840,1.195310)--cycle;\r
+drawoptions (withcolor (0.368600,0.035300,0.102000));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (11.953100,5.679690)--(11.953100,17.632799)--(16.445299,14.394500)\r
+ --(16.445299,2.445310)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (11.953100,5.679690)--(11.953100,17.632799)--(16.445299,14.394500)\r
+ --(16.445299,2.445310)--cycle;\r
+drawoptions (withcolor (0.788200,0.070600,0.215700));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (0.347656,4.429690)--(0.347656,16.378901)--(11.953100,17.632799)\r
+ --(11.953100,5.679690)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (0.347656,4.429690)--(0.347656,16.378901)--(11.953100,17.632799)\r
+ --(11.953100,5.679690)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (11.953100,5.679690)--(16.445299,2.445310);\r
+draw (11.953100,5.679690)--(11.953100,17.632799);\r
+draw (0.347656,4.429690)--(11.953100,5.679690);\r
+drawoptions (withcolor (0.788200,0.070600,0.215700));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (4.839840,1.195310)--(16.445299,2.445310)--(16.445299,14.394500)\r
+ --(4.839840,13.144500)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (4.839840,1.195310)--(16.445299,2.445310)--(16.445299,14.394500)\r
+ --(4.839840,13.144500)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (16.445299,2.445310)--(4.839840,1.195310);\r
+draw (16.445299,14.394500)--(16.445299,2.445310);\r
+drawoptions (withcolor (0.368600,0.035300,0.102000));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (0.347656,16.378901)--(0.347656,4.429690)--(4.839840,1.195310)\r
+ --(4.839840,13.144500)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (0.347656,16.378901)--(0.347656,4.429690)--(4.839840,1.195310)\r
+ --(4.839840,13.144500)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (4.839840,1.195310)--(0.347656,4.429690);\r
+draw (4.839840,1.195310)--(4.839840,13.144500);\r
+draw (0.347656,16.378901)--(0.347656,4.429690);\r
+drawoptions (withcolor (0.309800,0.027500,0.086300));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (0.347656,16.378901)--(4.839840,13.144500)--(16.445299,14.394500)\r
+ --(11.953100,17.632799)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (0.347656,16.378901)--(4.839840,13.144500)--(16.445299,14.394500)\r
+ --(11.953100,17.632799)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (0.347656,16.378901)--(4.839840,13.144500);\r
+draw (11.953100,17.632799)--(16.445299,14.394500);\r
+draw (4.839840,13.144500)--(16.445299,14.394500);\r
+draw (11.953100,17.632799)--(0.347656,16.378901);\r
+picture pic;\r
+pic:=currentpicture;\r
+currentpicture:=nullpicture;\r
+drawoptions();\r
+draw pic scaled(1.008);\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,2));\r
+clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);\r
+endfig;\r
+end\r