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