2 outputtemplate:="%j.mps";
\r
4 drawoptions (withcolor (0.678400,0.847100,0.902000));
\r
5 pickup pencircle scaled 0.800000bp;
\r
7 draw (8.500000,10.816400)--(17.000000,15.722700);
\r
8 draw (14.168000,14.085900)--(17.000000,12.449200);
\r
9 draw (14.168000,14.085900)--(14.168000,17.359400);
\r
10 draw (11.332000,12.449200)--(12.750000,11.632800);
\r
11 draw (11.332000,12.449200)--(11.332000,14.085900);
\r
12 draw (8.500000,10.816400)--(8.500000,20.628901);
\r
13 draw (8.500000,17.359400)--(11.332000,18.992201);
\r
14 draw (8.500000,17.359400)--(5.667970,18.992201);
\r
15 draw (8.500000,14.085900)--(9.917970,14.906300);
\r
16 draw (8.500000,14.085900)--(7.082030,14.906300);
\r
17 draw (8.500000,10.816400)--(0.000000,15.722700);
\r
18 draw (2.832030,14.085900)--(2.832030,17.359400);
\r
19 draw (2.832030,14.085900)--(0.000000,12.449200);
\r
20 draw (5.667970,12.449200)--(5.667970,14.085900);
\r
21 draw (5.667970,12.449200)--(4.250000,11.632800);
\r
22 draw (8.500000,10.816400)--(0.000000,5.906250);
\r
23 draw (2.832030,7.542970)--(0.000000,9.179690);
\r
24 draw (2.832030,7.542970)--(2.832030,4.273440);
\r
25 draw (5.667970,9.179690)--(4.250000,9.996090);
\r
26 draw (5.667970,9.179690)--(5.667970,7.542970);
\r
27 draw (8.500000,10.816400)--(8.500000,1.000000);
\r
28 draw (8.500000,4.273440)--(5.667970,2.636720);
\r
29 draw (8.500000,4.273440)--(11.332000,2.636720);
\r
30 draw (8.500000,7.542970)--(7.082030,6.726560);
\r
31 draw (8.500000,7.542970)--(9.917970,6.726560);
\r
32 draw (8.500000,10.816400)--(17.000000,5.906250);
\r
33 draw (14.168000,7.542970)--(14.168000,4.273440);
\r
34 draw (14.168000,7.542970)--(17.000000,9.179690);
\r
35 draw (11.332000,9.179690)--(11.332000,7.542970);
\r
36 draw (11.332000,9.179690)--(12.750000,9.996090);
\r
37 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
\r
39 pic:=currentpicture;
\r
40 currentpicture:=nullpicture;
\r
43 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
\r
44 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
\r
47 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);
\r