2 outputtemplate:="%j.mps";
4 drawoptions (withcolor (0.517600,0.047100,0.141200));
5 fill (8.316410,17.667999)--(15.410200,11.484400)--(2.816410,12.097700)
7 pickup pencircle scaled 0.100000bp;
8 draw (8.316410,17.667999)--(15.410200,11.484400)--(2.816410,12.097700)
10 drawoptions (withcolor (0.843100,0.078400,0.231400));
11 pickup pencircle scaled 0.000000bp;
12 fill (8.316410,1.085940)--(2.816410,12.097700)--(15.410200,11.484400)
14 pickup pencircle scaled 0.100000bp;
15 draw (8.316410,1.085940)--(2.816410,12.097700)--(15.410200,11.484400)
17 drawoptions (withcolor (0.345100,0.031400,0.094100));
18 pickup pencircle scaled 0.000000bp;
19 fill (8.316410,1.085940)--(1.222660,7.265630)--(2.816410,12.097700)
21 pickup pencircle scaled 0.100000bp;
22 draw (8.316410,1.085940)--(1.222660,7.265630)--(2.816410,12.097700)
24 drawoptions (withcolor (0.164700,0.015700,0.043100));
25 pickup pencircle scaled 0.000000bp;
26 fill (8.316410,1.085940)--(15.410200,11.484400)--(13.816400,6.656250)
28 pickup pencircle scaled 0.100000bp;
29 draw (8.316410,1.085940)--(15.410200,11.484400)--(13.816400,6.656250)
31 drawoptions (withcolor (1.000000,0.713700,0.756900));
32 pickup pencircle scaled 0.800000bp;
33 draw (8.316410,1.085940)--(2.816410,12.097700);
34 draw (15.410200,11.484400)--(2.816410,12.097700);
35 draw (15.410200,11.484400)--(8.316410,1.085940);
36 drawoptions (withcolor (0.517600,0.047100,0.141200));
37 pickup pencircle scaled 0.000000bp;
38 fill (8.316410,1.085940)--(13.816400,6.656250)--(1.222660,7.265630)
40 pickup pencircle scaled 0.100000bp;
41 draw (8.316410,1.085940)--(13.816400,6.656250)--(1.222660,7.265630)
43 drawoptions (withcolor (1.000000,0.713700,0.756900));
44 pickup pencircle scaled 0.800000bp;
45 draw (8.316410,1.085940)--(1.222660,7.265630);
46 draw (8.316410,1.085940)--(13.816400,6.656250);
47 drawoptions (withcolor (0.345100,0.031400,0.094100));
48 pickup pencircle scaled 0.000000bp;
49 fill (8.316410,17.667999)--(13.816400,6.656250)--(15.410200,11.484400)
51 pickup pencircle scaled 0.100000bp;
52 draw (8.316410,17.667999)--(13.816400,6.656250)--(15.410200,11.484400)
54 drawoptions (withcolor (1.000000,0.713700,0.756900));
55 pickup pencircle scaled 0.800000bp;
56 draw (15.410200,11.484400)--(8.316410,17.667999);
57 draw (13.816400,6.656250)--(15.410200,11.484400);
58 drawoptions (withcolor (0.843100,0.078400,0.231400));
59 pickup pencircle scaled 0.000000bp;
60 fill (8.316410,17.667999)--(1.222660,7.265630)--(13.816400,6.656250)
62 pickup pencircle scaled 0.100000bp;
63 draw (8.316410,17.667999)--(1.222660,7.265630)--(13.816400,6.656250)
65 drawoptions (withcolor (1.000000,0.713700,0.756900));
66 pickup pencircle scaled 0.800000bp;
67 draw (1.222660,7.265630)--(13.816400,6.656250);
68 draw (13.816400,6.656250)--(8.316410,17.667999);
69 drawoptions (withcolor (0.164700,0.015700,0.043100));
70 pickup pencircle scaled 0.000000bp;
71 fill (8.316410,17.667999)--(2.816410,12.097700)--(1.222660,7.265630)
73 pickup pencircle scaled 0.100000bp;
74 draw (8.316410,17.667999)--(2.816410,12.097700)--(1.222660,7.265630)
76 drawoptions (withcolor (1.000000,0.713700,0.756900));
77 pickup pencircle scaled 0.800000bp;
78 draw (2.816410,12.097700)--(1.222660,7.265630);
79 draw (8.316410,17.667999)--(2.816410,12.097700);
80 draw (1.222660,7.265630)--(8.316410,17.667999);
83 currentpicture:=nullpicture;
85 draw pic scaled(1.05);
86 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
87 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
90 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);