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