prologues:=1;
outputtemplate:="%j.mps";
beginfig(1);
drawoptions (withcolor (0.592200,0.054900,0.160800));
fill (11.582000,6.187500)--(10.789100,12.148400)--(14.050800,14.820300)
    --(16.859400,10.507800)--(15.332000,5.171880)--cycle;
pickup pencircle scaled 0.100000bp;
draw (11.582000,6.187500)--(10.789100,12.148400)--(14.050800,14.820300)
    --(16.859400,10.507800)--(15.332000,5.171880)--cycle;
drawoptions (withcolor (0.435300,0.039200,0.117600));
pickup pencircle scaled 0.000000bp;
fill (11.582000,6.187500)--(15.332000,5.171880)--(12.316400,2.062500)
    --(6.703130,1.152340)--(6.250000,3.703130)--cycle;
pickup pencircle scaled 0.100000bp;
draw (11.582000,6.187500)--(15.332000,5.171880)--(12.316400,2.062500)
    --(6.703130,1.152340)--(6.250000,3.703130)--cycle;
drawoptions (withcolor (0.847100,0.078400,0.231400));
pickup pencircle scaled 0.000000bp;
fill (11.582000,6.187500)--(6.250000,3.703130)--(2.164060,8.128910)
    --(4.968750,13.351600)--(10.789100,12.148400)--cycle;
pickup pencircle scaled 0.100000bp;
draw (11.582000,6.187500)--(6.250000,3.703130)--(2.164060,8.128910)
    --(4.968750,13.351600)--(10.789100,12.148400)--cycle;
drawoptions (withcolor (0.545100,0.051000,0.149000));
pickup pencircle scaled 0.000000bp;
fill (10.789100,12.148400)--(4.968750,13.351600)--(4.632810,16.761700)
    --(10.246100,17.671900)--(14.050800,14.820300)--cycle;
pickup pencircle scaled 0.100000bp;
draw (10.789100,12.148400)--(4.968750,13.351600)--(4.632810,16.761700)
    --(10.246100,17.671900)--(14.050800,14.820300)--cycle;
drawoptions (withcolor (0.278400,0.023500,0.074500));
pickup pencircle scaled 0.000000bp;
fill (2.898440,4.003910)--(0.093750,8.316410)--(2.164060,8.128910)
    --(6.250000,3.703130)--(6.703130,1.152340)--cycle;
pickup pencircle scaled 0.100000bp;
draw (2.898440,4.003910)--(0.093750,8.316410)--(2.164060,8.128910)
    --(6.250000,3.703130)--(6.703130,1.152340)--cycle;
drawoptions (withcolor (0.352900,0.031400,0.098000));
pickup pencircle scaled 0.000000bp;
fill (4.632810,16.761700)--(4.968750,13.351600)--(2.164060,8.128910)
    --(0.093750,8.316410)--(1.621090,13.652300)--cycle;
pickup pencircle scaled 0.100000bp;
draw (4.632810,16.761700)--(4.968750,13.351600)--(2.164060,8.128910)
    --(0.093750,8.316410)--(1.621090,13.652300)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (0.093750,8.316410)--(2.164060,8.128910);
draw (15.332000,5.171880)--(11.582000,6.187500);
draw (4.968750,13.351600)--(10.789100,12.148400);
draw (10.789100,12.148400)--(14.050800,14.820300);
draw (6.250000,3.703130)--(11.582000,6.187500);
draw (2.164060,8.128910)--(4.968750,13.351600);
draw (11.582000,6.187500)--(10.789100,12.148400);
draw (4.968750,13.351600)--(4.632810,16.761700);
draw (6.250000,3.703130)--(2.164060,8.128910);
draw (6.703130,1.152340)--(6.250000,3.703130);
drawoptions (withcolor (0.278400,0.023500,0.074500));
pickup pencircle scaled 0.000000bp;
fill (10.703100,15.121100)--(14.789100,10.695300)--(16.859400,10.507800)
    --(14.050800,14.820300)--(10.246100,17.671900)--cycle;
pickup pencircle scaled 0.100000bp;
draw (10.703100,15.121100)--(14.789100,10.695300)--(16.859400,10.507800)
    --(14.050800,14.820300)--(10.246100,17.671900)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (14.050800,14.820300)--(16.859400,10.507800);
draw (10.246100,17.671900)--(14.050800,14.820300);
drawoptions (withcolor (0.352900,0.031400,0.098000));
pickup pencircle scaled 0.000000bp;
fill (12.316400,2.062500)--(15.332000,5.171880)--(16.859400,10.507800)
    --(14.789100,10.695300)--(11.980500,5.472660)--cycle;
pickup pencircle scaled 0.100000bp;
draw (12.316400,2.062500)--(15.332000,5.171880)--(16.859400,10.507800)
    --(14.789100,10.695300)--(11.980500,5.472660)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (15.332000,5.171880)--(12.316400,2.062500);
draw (16.859400,10.507800)--(15.332000,5.171880);
draw (16.859400,10.507800)--(14.789100,10.695300);
drawoptions (withcolor (0.435300,0.039200,0.117600));
pickup pencircle scaled 0.000000bp;
fill (10.703100,15.121100)--(10.246100,17.671900)--(4.632810,16.761700)
    --(1.621090,13.652300)--(5.371090,12.636700)--cycle;
pickup pencircle scaled 0.100000bp;
draw (10.703100,15.121100)--(10.246100,17.671900)--(4.632810,16.761700)
    --(1.621090,13.652300)--(5.371090,12.636700)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (10.703100,15.121100)--(10.246100,17.671900);
draw (4.632810,16.761700)--(10.246100,17.671900);
draw (4.632810,16.761700)--(1.621090,13.652300);
drawoptions (withcolor (0.592200,0.054900,0.160800));
pickup pencircle scaled 0.000000bp;
fill (5.371090,12.636700)--(1.621090,13.652300)--(0.093750,8.316410)
    --(2.898440,4.003910)--(6.160160,6.675780)--cycle;
pickup pencircle scaled 0.100000bp;
draw (5.371090,12.636700)--(1.621090,13.652300)--(0.093750,8.316410)
    --(2.898440,4.003910)--(6.160160,6.675780)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (0.093750,8.316410)--(2.898440,4.003910);
draw (1.621090,13.652300)--(0.093750,8.316410);
draw (5.371090,12.636700)--(1.621090,13.652300);
drawoptions (withcolor (0.545100,0.051000,0.149000));
pickup pencircle scaled 0.000000bp;
fill (2.898440,4.003910)--(6.703130,1.152340)--(12.316400,2.062500)
    --(11.980500,5.472660)--(6.160160,6.675780)--cycle;
pickup pencircle scaled 0.100000bp;
draw (2.898440,4.003910)--(6.703130,1.152340)--(12.316400,2.062500)
    --(11.980500,5.472660)--(6.160160,6.675780)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (6.160160,6.675780)--(2.898440,4.003910);
draw (12.316400,2.062500)--(6.703130,1.152340);
draw (12.316400,2.062500)--(11.980500,5.472660);
draw (2.898440,4.003910)--(6.703130,1.152340);
drawoptions (withcolor (0.847100,0.078400,0.231400));
pickup pencircle scaled 0.000000bp;
fill (11.980500,5.472660)--(14.789100,10.695300)--(10.703100,15.121100)
    --(5.371090,12.636700)--(6.160160,6.675780)--cycle;
pickup pencircle scaled 0.100000bp;
draw (11.980500,5.472660)--(14.789100,10.695300)--(10.703100,15.121100)
    --(5.371090,12.636700)--(6.160160,6.675780)--cycle;
drawoptions (withcolor (1.000000,0.713700,0.756900));
pickup pencircle scaled 0.800000bp;
draw (6.160160,6.675780)--(11.980500,5.472660);
draw (14.789100,10.695300)--(10.703100,15.121100);
draw (10.703100,15.121100)--(5.371090,12.636700);
draw (11.980500,5.472660)--(14.789100,10.695300);
draw (5.371090,12.636700)--(6.160160,6.675780);
r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
picture pic;
pic:=currentpicture;
currentpicture:=nullpicture;
drawoptions();
draw pic scaled(r);
z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
draw (z0+(10.5,2));
draw (z1-(10.5,2));
clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);
endfig;
end