2 outputtemplate:="%j.mps";
6 drawoptions (withcolor (0.251000,0.000000,0.000000));
7 pickup pencircle scaled 0.797011bp;
9 draw (79.929703,711.120972)--(79.941399,711.375000)--(79.921898,711.617004)
10 --(79.871101,711.854980)--(79.792999,712.085999)--(79.691399,712.312988)
11 --(79.570297,712.534973)--(79.429703,712.754028)--(79.273399,712.968994)
12 --(79.105499,713.184021)--(78.925797,713.395020)--(78.742203,713.609009)
13 --(78.550797,713.823975)--(78.359398,714.043030)--(78.167999,714.262024)
14 --(77.980499,714.487976)--(77.796898,714.718994)--(77.625000,714.953003)
15 --(77.464798,715.198975)--(77.316399,715.448975)--(77.187500,715.710999)
16 --(77.078102,715.979980)--(76.992203,716.265991)--(76.929703,716.559021)
17 --(76.898399,716.862976)--(76.894501,717.093994)--(76.914101,717.315979)
18 --(76.953102,717.531006)--(77.015602,717.742004)--(77.093803,717.948975)
19 --(77.187500,718.145020)--(77.300797,718.335999)--(77.425797,718.520020)
20 --(77.562500,718.690979)--(77.714798,718.859009)--(77.878899,719.015991)
21 --(78.050797,719.159973)--(78.230499,719.296997)--(78.421898,719.421997)
22 --(78.617203,719.539001)--(78.816399,719.640991)--(79.023399,719.734009)
23 --(79.230499,719.812988)--(79.441399,719.879028)--(79.652298,719.934021)
24 --(79.859398,719.973022)--(80.066399,720.000000)--(80.273399,720.012024)
25 --(80.472702,720.007996)--(80.714798,719.987976)--(80.945297,719.953003)
26 --(81.171898,719.909973)--(81.386703,719.854980)--(81.593803,719.789001)
27 --(81.792999,719.710999)--(81.984398,719.620972)--(82.167999,719.523010)
28 --(82.339798,719.418030)--(82.503899,719.304993)--(82.660202,719.179993)
29 --(82.804703,719.051025)--(82.937500,718.914001)--(83.062500,718.770020)
30 --(83.179703,718.617004)--(83.281303,718.465027)--(83.375000,718.301025)
31 --(83.460899,718.137024)--(83.531303,717.968994)--(83.593803,717.796997)
32 --(83.644501,717.620972)--(83.683601,717.440979)--(83.710899,717.262024)
33 --(83.726601,717.081970)--(83.738297,716.929993)--(83.761703,716.776978)
34 --(83.796898,716.629028)--(83.843803,716.476990)--(83.898399,716.331970)
35 --(83.964798,716.187988)--(84.039101,716.046997)--(84.125000,715.909973)
36 --(84.218803,715.776978)--(84.324203,715.651978)--(84.437500,715.534973)
37 --(84.558601,715.421997)--(84.691399,715.315979)--(84.832001,715.223022)
38 --(84.980499,715.137024)--(85.132797,715.062988)--(85.296898,714.995972)
39 --(85.468803,714.945007)--(85.648399,714.906006)--(85.835899,714.879028)
40 --(86.027298,714.862976)--(86.230499,714.867004)--(86.437500,714.882996)
41 --(86.648399,714.914001);
42 drawoptions (withcolor (0.000000,0.000000,0.000000));
43 pickup pencircle scaled 0.000000bp;
45 fill (88.023399,699.960999)..controls (88.023399,704.367004) and (84.445297,707.940979)..(80.039101,707.940979)
46 ..controls (75.632797,707.940979) and (72.058601,704.367004)..(72.058601,699.960999)
47 ..controls (72.058601,695.554993) and (75.632797,691.976990)..(80.039101,691.976990)
48 ..controls (84.445297,691.976990) and (88.023399,695.554993)..(88.023399,699.960999)
51 fill (77.246101,705.546997)--(77.246101,699.960999)--(82.832001,699.960999)
52 --(82.832001,711.137024)--(77.246101,711.137024)--cycle;
53 drawoptions (withcolor (1.000000,1.000000,1.000000));
54 fill (80.429703,705.085999)--(80.820297,705.895020)--(81.175797,705.840027)
55 --(81.527298,705.757996)--(81.871101,705.659973)--(82.210899,705.539001)
56 --(82.539101,705.398010)--(82.863297,705.237976)--(83.171898,705.062988)
57 --(83.472702,704.862976)--(83.761703,704.648010)--(84.035202,704.418030)
58 --(84.296898,704.171997)--(84.542999,703.906006)--(84.769501,703.629028)
59 --(84.980499,703.340027)--(85.175797,703.039001)--(85.351601,702.723022)
60 --(85.507797,702.401978)--(85.644501,702.070007)--(85.757797,701.729980)
61 --(85.855499,701.382996)--(85.929703,701.031006)--(85.984398,700.676025)
62 --(86.015602,700.320007)--(86.027298,699.960999)--(85.898399,700.312988)
63 --(85.746101,700.656006)--(85.578102,700.992004)--(85.386703,701.315979)
64 --(85.179703,701.625000)--(84.953102,701.926025)--(84.707001,702.210999)
65 --(84.449203,702.479980)--(84.171898,702.734009)--(83.878899,702.973022)
66 --(83.574203,703.190979)--(83.257797,703.390991)--(82.929703,703.573975)
67 --(82.593803,703.734009)--(82.246101,703.879028)--(81.890602,704.000000)
68 --(81.527298,704.098022)--(81.160202,704.176025)--(80.789101,704.229980)
69 --(80.414101,704.265991)--(80.039101,704.273010)--cycle;
70 drawoptions (withcolor (1.000000,0.000000,0.000000));
71 fill (86.785202,714.367004)--(89.058601,714.887024)--(84.507797,715.926025)
72 --(88.156303,713.015991)--(86.132797,717.223022)--(86.132797,712.551025)
73 --(88.156303,716.757996)--(84.507797,713.848022)--cycle;
74 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
77 currentpicture:=nullpicture;
80 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
81 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
84 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);