2 outputtemplate:="%j.mps";
4 drawoptions (withcolor (1.000000,1.000000,0.000000));
7 fill (0.632813,2.179690)--(6.820310,13.019500)--(13.078100,2.179690)
9 drawoptions (withcolor (0.000000,0.000000,0.000000));
10 pickup pencircle scaled 0.243079bp;
11 draw (0.632813,2.179690)--(6.820310,13.019500)--(13.078100,2.179690)
13 drawoptions (withcolor (1.000000,0.000000,0.000000));
14 pickup pencircle scaled 0.000000bp;
15 fill (6.671880,10.074200)--(4.843750,6.515630)--(7.078130,6.062500)
16 --(4.992190,3.312500)--(9.015630,6.320310)--(6.222660,6.902340)
17 --(7.972660,9.980470)--cycle;
18 drawoptions (withcolor (0.000000,0.000000,0.000000));
19 pickup pencircle scaled 0.243079bp;
20 draw (6.671880,10.074200)--(4.843750,6.515630)--(7.078130,6.062500)
21 --(4.992190,3.312500)--(9.015630,6.320310)--(6.222660,6.902340)
22 --(7.972660,9.980470)--cycle;
25 currentpicture:=nullpicture;
27 draw pic scaled(1.324);
28 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
29 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
32 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-2pt))--(z1-(8.5pt,2pt))--cycle);