--- /dev/null
+prologues:=1;\r
+outputtemplate:="%j.mps";\r
+beginfig(1);\r
+drawoptions (withcolor (0.592200,0.054900,0.160800));\r
+fill (11.582000,6.187500)--(10.789100,12.148400)--(14.050800,14.820300)\r
+ --(16.859400,10.507800)--(15.332000,5.171880)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (11.582000,6.187500)--(10.789100,12.148400)--(14.050800,14.820300)\r
+ --(16.859400,10.507800)--(15.332000,5.171880)--cycle;\r
+drawoptions (withcolor (0.435300,0.039200,0.117600));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (11.582000,6.187500)--(15.332000,5.171880)--(12.316400,2.062500)\r
+ --(6.703130,1.152340)--(6.250000,3.703130)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (11.582000,6.187500)--(15.332000,5.171880)--(12.316400,2.062500)\r
+ --(6.703130,1.152340)--(6.250000,3.703130)--cycle;\r
+drawoptions (withcolor (0.847100,0.078400,0.231400));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (11.582000,6.187500)--(6.250000,3.703130)--(2.164060,8.128910)\r
+ --(4.968750,13.351600)--(10.789100,12.148400)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (11.582000,6.187500)--(6.250000,3.703130)--(2.164060,8.128910)\r
+ --(4.968750,13.351600)--(10.789100,12.148400)--cycle;\r
+drawoptions (withcolor (0.545100,0.051000,0.149000));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (10.789100,12.148400)--(4.968750,13.351600)--(4.632810,16.761700)\r
+ --(10.246100,17.671900)--(14.050800,14.820300)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (10.789100,12.148400)--(4.968750,13.351600)--(4.632810,16.761700)\r
+ --(10.246100,17.671900)--(14.050800,14.820300)--cycle;\r
+drawoptions (withcolor (0.278400,0.023500,0.074500));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (2.898440,4.003910)--(0.093750,8.316410)--(2.164060,8.128910)\r
+ --(6.250000,3.703130)--(6.703130,1.152340)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (2.898440,4.003910)--(0.093750,8.316410)--(2.164060,8.128910)\r
+ --(6.250000,3.703130)--(6.703130,1.152340)--cycle;\r
+drawoptions (withcolor (0.352900,0.031400,0.098000));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (4.632810,16.761700)--(4.968750,13.351600)--(2.164060,8.128910)\r
+ --(0.093750,8.316410)--(1.621090,13.652300)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (4.632810,16.761700)--(4.968750,13.351600)--(2.164060,8.128910)\r
+ --(0.093750,8.316410)--(1.621090,13.652300)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (0.093750,8.316410)--(2.164060,8.128910);\r
+draw (15.332000,5.171880)--(11.582000,6.187500);\r
+draw (4.968750,13.351600)--(10.789100,12.148400);\r
+draw (10.789100,12.148400)--(14.050800,14.820300);\r
+draw (6.250000,3.703130)--(11.582000,6.187500);\r
+draw (2.164060,8.128910)--(4.968750,13.351600);\r
+draw (11.582000,6.187500)--(10.789100,12.148400);\r
+draw (4.968750,13.351600)--(4.632810,16.761700);\r
+draw (6.250000,3.703130)--(2.164060,8.128910);\r
+draw (6.703130,1.152340)--(6.250000,3.703130);\r
+drawoptions (withcolor (0.278400,0.023500,0.074500));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (10.703100,15.121100)--(14.789100,10.695300)--(16.859400,10.507800)\r
+ --(14.050800,14.820300)--(10.246100,17.671900)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (10.703100,15.121100)--(14.789100,10.695300)--(16.859400,10.507800)\r
+ --(14.050800,14.820300)--(10.246100,17.671900)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (14.050800,14.820300)--(16.859400,10.507800);\r
+draw (10.246100,17.671900)--(14.050800,14.820300);\r
+drawoptions (withcolor (0.352900,0.031400,0.098000));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (12.316400,2.062500)--(15.332000,5.171880)--(16.859400,10.507800)\r
+ --(14.789100,10.695300)--(11.980500,5.472660)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (12.316400,2.062500)--(15.332000,5.171880)--(16.859400,10.507800)\r
+ --(14.789100,10.695300)--(11.980500,5.472660)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (15.332000,5.171880)--(12.316400,2.062500);\r
+draw (16.859400,10.507800)--(15.332000,5.171880);\r
+draw (16.859400,10.507800)--(14.789100,10.695300);\r
+drawoptions (withcolor (0.435300,0.039200,0.117600));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (10.703100,15.121100)--(10.246100,17.671900)--(4.632810,16.761700)\r
+ --(1.621090,13.652300)--(5.371090,12.636700)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (10.703100,15.121100)--(10.246100,17.671900)--(4.632810,16.761700)\r
+ --(1.621090,13.652300)--(5.371090,12.636700)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (10.703100,15.121100)--(10.246100,17.671900);\r
+draw (4.632810,16.761700)--(10.246100,17.671900);\r
+draw (4.632810,16.761700)--(1.621090,13.652300);\r
+drawoptions (withcolor (0.592200,0.054900,0.160800));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (5.371090,12.636700)--(1.621090,13.652300)--(0.093750,8.316410)\r
+ --(2.898440,4.003910)--(6.160160,6.675780)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (5.371090,12.636700)--(1.621090,13.652300)--(0.093750,8.316410)\r
+ --(2.898440,4.003910)--(6.160160,6.675780)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (0.093750,8.316410)--(2.898440,4.003910);\r
+draw (1.621090,13.652300)--(0.093750,8.316410);\r
+draw (5.371090,12.636700)--(1.621090,13.652300);\r
+drawoptions (withcolor (0.545100,0.051000,0.149000));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (2.898440,4.003910)--(6.703130,1.152340)--(12.316400,2.062500)\r
+ --(11.980500,5.472660)--(6.160160,6.675780)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (2.898440,4.003910)--(6.703130,1.152340)--(12.316400,2.062500)\r
+ --(11.980500,5.472660)--(6.160160,6.675780)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (6.160160,6.675780)--(2.898440,4.003910);\r
+draw (12.316400,2.062500)--(6.703130,1.152340);\r
+draw (12.316400,2.062500)--(11.980500,5.472660);\r
+draw (2.898440,4.003910)--(6.703130,1.152340);\r
+drawoptions (withcolor (0.847100,0.078400,0.231400));\r
+pickup pencircle scaled 0.000000bp;\r
+fill (11.980500,5.472660)--(14.789100,10.695300)--(10.703100,15.121100)\r
+ --(5.371090,12.636700)--(6.160160,6.675780)--cycle;\r
+pickup pencircle scaled 0.100000bp;\r
+draw (11.980500,5.472660)--(14.789100,10.695300)--(10.703100,15.121100)\r
+ --(5.371090,12.636700)--(6.160160,6.675780)--cycle;\r
+drawoptions (withcolor (1.000000,0.713700,0.756900));\r
+pickup pencircle scaled 0.800000bp;\r
+draw (6.160160,6.675780)--(11.980500,5.472660);\r
+draw (14.789100,10.695300)--(10.703100,15.121100);\r
+draw (10.703100,15.121100)--(5.371090,12.636700);\r
+draw (11.980500,5.472660)--(14.789100,10.695300);\r
+draw (5.371090,12.636700)--(6.160160,6.675780);\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
+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