Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
÷Ą; TeX output 2006.08.21:1750 ’’’’Ż'½ ż=ņļ landscapeļhtml:ļ html:īŽ !ųŻĪ žßéĖļheader=pstricks.proļheader=pst-dots.proļheader=pst-node.proļhtml:ļ html: śķ5 ļadvi: edit comm="\adviedit" name="" line=73 file=ifip xunit=240.12411pt yunit=128.50133pt x=0.8657 y=0.3091 W=0.0208 H=0.0412 D=0.2 ĻąŲGÕļZps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@fa 10 {InitPnode } NewNode end end ļadvi: edit comm="\adviedit" name="" line=74 file=ifip xunit=240.12411pt yunit=128.50133pt x=0.8742 y=0.8337 W=0.0208 H=0.0412 D=0.1 ŃėŽļZps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@fb 10 {InitPnode } NewNode end end ļadvi: edit comm="\adviedit" name="" line=75 file=ifip xunit=240.12411pt yunit=128.50133pt x=0.8063 y=1.6841 W=0.0208 H=0.0412 D=0.2 Įž ’']ļZps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@fc 10 {InitPnode } NewNode end end ļadvi: edit comm="\adviedit" name="" line=76 file=ifip xunit=240.12411pt yunit=128.50133pt x=1.1745 y=1.6927 W=0.0208 H=0.0412 D=0.1 ’&|CļZps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@fd 10 {InitPnode } NewNode end end ļadvi: edit comm="\adviedit" name="" line=77 file=ifip xunit=240.12411pt yunit=128.50133pt x=1.4311 y=1.7662 W=0.0208 H=0.0412 D=0.1 W¤Ø ’
TļZps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@fe 10 {InitPnode } NewNode end end ņ >" tx@Dict begin STP newpath 10.00006 SLW 0.8 0.8 1 setrgbcolor /ArrowA { moveto } def /ArrowB { } def [ tx@NodeDict begin tx@NodeDict /N@fe known { /N@fe load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@fd known { /N@fd load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@fc known { /N@fc load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@fc known { /N@fc load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@fc known { /N@fc load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@fb known { /N@fb load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@fa known { /N@fa load GetCenter } { 0 0 } ifelse end 1. 0.1 0. /c ED /b ED /a ED false OpenCurve gsave 10.00006 SLW 0.8 0.8 1 setrgbcolor 0 setlinecap stroke grestore endļadvi: edit comm="\adviedit" name="" line=81 file=ifip xunit=240.12411pt yunit=128.50133pt x=0.8704 y=1.0267 W=0.0208 H=0.0412 D=0.2 Ńw ’|<ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@u 10 {InitPnode } NewNode end endļadvi: edit comm="\adviedit" name="" line=82 file=ifip xunit=240.12411pt yunit=128.50133pt x=1.1270 y=1.0280 W=0.0208 H=0.0412 D=0.2 ’{ęļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@v 10 {InitPnode } NewNode end endļadvi: edit comm="\adviedit" name="" line=83 file=ifip xunit=240.12411pt yunit=128.50133pt x=1.3580 y=1.0759 W=0.0208 H=0.0412 D=0.2 FÅ ’u¾ģļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@w 10 {InitPnode } NewNode end endņ ą" tx@Dict begin STP newpath 10.00006 SLW 0.8 0.8 1 setrgbcolor /ArrowA { moveto } def /ArrowB { } def [ tx@NodeDict begin tx@NodeDict /N@w known { /N@w load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@v known { /N@v load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@u known { /N@u load GetCenter } { 0 0 } ifelse end 1. 0.1 0. /c ED /b ED /a ED false OpenCurve gsave 10.00006 SLW 0.8 0.8 1 setrgbcolor 0 setlinecap stroke grestore endĀ?Õļadvi: edit comm="\adviedit" name="" line=7 file=ifip xunit=12.0001pt yunit=12.0001pt x=-1.6283 y=8.8453 w=0.8975 H=4.5479 D=3.9479 ’q
ōuóÄ
e
Ņ÷ lcmssb8¼AVgraphicalp’xŌresentation¤|Żh of§õMLž]śL(F
Šxt’xŌyp +esVwith”ņuÕaVlinea’xŌr-timeincremental” ³unicationValgo’xŌrithm.ļadvi: edit comm="\adviedit" name="" line=12 file=ifip xunit=12.0001pt yunit=12.0001pt x=18.0386 y=9.3282 W=9.5466 H=2.7279 D=2.2279 ’}3 ķ óKtEo
$ lcmss8ŗDidierĢĻRł30emy¤ŅäX|&” ŽwBorisĢĻYžĢĖakobfgowskiļadvi: edit comm="\adviedit" name="" line=15 file=ifip xunit=12.0001pt yunit=12.0001pt x=18.2333 y=3.0048 W=9.4999 H=0.9163 D=0.4996 Ü× ąĶ7óKtEo lcmss8¹INRIA-RoUVcquencourtļadvi: edit comm="\adviedit" name="" line=20 file=ifip xunit=12.0001pt yunit=12.0001pt x=2.9279 y=-3.8417 W=5.8666 H=1.9019 D=1.4019 #".Ņļcolor push rgb 0.7 0.7 1÷
®ŗDidierŅä LeĢĻBotlanFfļ color popĖżįf¼ź2ĄókļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@a 10 {InitPnode } NewNode end end’R££OļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@b 10 {InitPnode } NewNode end endC5ŽY)ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@c 10 {InitPnode } NewNode end endtQ“ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@d 10 {InitPnode } NewNode end end~HõĻļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@e 10 {InitPnode } NewNode end endņ " tx@Dict begin STP newpath 5.00003 SLW 0.8 0.8 1 setrgbcolor /ArrowA { moveto } def /ArrowB { } def [ tx@NodeDict begin tx@NodeDict /N@e known { /N@e load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@d known { /N@d load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@c known { /N@c load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@b known { /N@b load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@a known { /N@a load GetCenter } { 0 0 } ifelse end 1. 0.1 0. /c ED /b ED /a ED false OpenCurve gsave 5.00003 SLW 0.8 0.8 1 setrgbcolor 0 setlinecap stroke grestore end É&Oó-żļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@f 10 {InitPnode } NewNode end end Č
ØGļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@g 10 {InitPnode } NewNode end end FõļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@h 10 {InitPnode } NewNode end end G&8ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@i 10 {InitPnode } NewNode end end ?6žmļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@j 10 {InitPnode } NewNode end end ¤ņÆ0ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@k 10 {InitPnode } NewNode end end o4¢įļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@l 10 {InitPnode } NewNode end end ®w¾¦Ż&ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@m 10 {InitPnode } NewNode end end »Ø³($ļYps: tx@Dict begin tx@NodeDict begin {0.0 0.0 } false /N@n 10 {InitPnode } NewNode end end Dņ *" tx@Dict begin STP newpath 5.00003 SLW 0.8 0.8 1 setrgbcolor /ArrowA { moveto } def /ArrowB { } def [ tx@NodeDict begin tx@NodeDict /N@n known { /N@n load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@m known { /N@m load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@l known { /N@l load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@k known { /N@k load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@j known { /N@j load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@i known { /N@i load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@h known { /N@h load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@g known { /N@g load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@f known { /N@f load GetCenter } { 0 0 } ifelse end tx@NodeDict begin tx@NodeDict /N@f known { /N@f load GetCenter } { 0 0 } ifelse end 1. 0.1 0. /c ED /b ED /a ED false OpenCurve gsave 5.00003 SLW 0.8 0.8 1 setrgbcolor 0 setlinecap stroke grestore end+) {¹Ģļ
ps: 0 setgray(š *īŽ !ųŻĪ žßéĖļhtml:ļ html: ļhtml:ļ html:
ļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=12.0001pt yunit=12.0001pt x=1.9643 y=-20.0945 w=21.6108 h=17.8429 D=0.0000 _, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.3250 y=0.9974 W=0.3990 H=0.0546 D=0.0315 TH4 ’*pTļps: tx@Dict begin tx@NodeDict begin {14.17807 8.17807 103.48068 51.74034 4.20001 } false /N@tour 16 {InitRnode } NewNode end endļhtml:ļ¤" tx@Dict begin STP newpath 0.6 SLW 0.8 1 0.8 setrgbcolor 0.8 true 2.6 neg 8.17807 neg 100.88068 14.17807 .5 Frame gsave 0.8 1 0.8 setrgbcolor fill grestore end ? ŗAĢĻtourofĢĻMLžVū®Fg{ļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.7723 y=0.8374 W=0.4519 H=0.0852 D=0.0621 ČGŗ ’L²æļps: tx@Dict begin tx@NodeDict begin {22.11989 16.11989 117.20099 58.6005 4.20001 } false /N@first-order 16 {InitRnode } NewNode end endļhtml:ļ„" tx@Dict begin STP newpath 0.6 SLW 0.8 1 0.8 setrgbcolor 0.8 true 2.6 neg 16.11989 neg 114.60098 22.11989 .5 Frame gsave 0.8 1 0.8 setrgbcolor fill grestore endųC First-orderĢĻterms
fiandĢĻunicationu3tļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=-0.1590 y=0.8488 W=0.4146 H=0.0534 D=0.0303 ÖÄc ’JAöļ
ps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 107.52086 53.76042 4.20001 } false /N@syntactic 16 {InitRnode } NewNode end endļhtml:ļ¤" tx@Dict begin STP newpath 0.6 SLW 0.8 1 0.8 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 104.92085 13.85995 .5 Frame gsave 0.8 1 0.8 setrgbcolor fill grestore endMĪ SyntacticĢĻtypfgesk
Wļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.3388 y=0.7481 W=0.3775 H=0.0534 D=0.0303 WÜü ’_Ņ(ļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 97.92082 48.9604 4.20001 } false /N@graphic 16 {InitRnode } NewNode end endļhtml:ļ£" tx@Dict begin STP newpath 0.6 SLW 1 0.8 0.8 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 95.32082 13.85995 .5 Frame gsave 1 0.8 0.8 setrgbcolor fill grestore endMĪ GraphicĢĻtypfgesaė»ļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=-0.1629 y=0.5900 W=0.4411 H=0.0534 D=0.0303 ÕĮ¬ļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 114.40096 57.20047 4.20001 } false /N@instance 16 {InitRnode } NewNode end endļhtml:ļ¤" tx@Dict begin STP newpath 0.6 SLW 1 0.8 0.8 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 111.80095 13.85995 .5 Frame gsave 1 0.8 0.8 setrgbcolor fill grestore endMĪ InstanceĢĻrelationrf„ļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.3684 y=0.4764 W=0.3104 H=0.0534 D=0.0303 _8žłļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 80.52068 40.26033 4.20001 } false /N@unification 16 {InitRnode } NewNode end endļhtml:ļ£" tx@Dict begin STP newpath 0.6 SLW 1 0.8 0.8 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 77.92067 13.85995 .5 Frame gsave 1 0.8 0.8 setrgbcolor fill grestore endMĪ UnicationP
Kļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.7810 y=0.5931 W=0.3859 H=0.0534 D=0.0303 Ź(=ļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 100.08086 50.04042 4.20001 } false /N@incrementality 16 {InitRnode } NewNode end endļhtml:ļ" tx@Dict begin STP newpath 0.6 SLW 1 0.6 1 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 97.48085 13.85995 .5 Frame gsave 1 0.6 1 setrgbcolor fill grestore endMĪ Incrementalityd³ļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.7948 y=0.3620 W=0.4152 H=0.0534 D=0.0303 Īģ²}iļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 107.68091 53.84045 4.20001 } false /N@extended 16 {InitRnode } NewNode end endļhtml:ļ£" tx@Dict begin STP newpath 0.6 SLW 0.7 0.7 1 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 105.0809 13.85995 .5 Frame gsave 0.7 0.7 1 setrgbcolor fill grestore endMĪ ExtendedĢĻtypfgesk®Pļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.2446 y=0.1912 W=0.4463 H=0.0534 D=0.0303 ?n”×’ļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 115.76097 57.88048 4.20001 } false /N@constraints 16 {InitRnode } NewNode end endļhtml:ļ¤" tx@Dict begin STP newpath 0.6 SLW 0.7 0.7 1 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 113.16096 13.85995 .5 Frame gsave 0.7 0.7 1 setrgbcolor fill grestore endMĪ TžĢĖypfgeĢĻconstraintssĀĻļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=-0.1515 y=-0.0121 W=0.4007 H=0.0534 D=0.0303 ŲµĒBļ
ps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 103.92091 51.96045 4.20001 } false /N@inference 16 {InitRnode } NewNode end endļhtml:ļ£" tx@Dict begin STP newpath 0.6 SLW 0.7 0.7 1 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 101.3209 13.85995 .5 Frame gsave 0.7 0.7 1 setrgbcolor fill grestore endMĪ TžĢĖypfgeĢĻinferencegėĮļ html:_, ń"Ųļadvi: edit comm="\adviedit" name="" line=47 file=ifip xunit=259.33183pt yunit=214.11664pt x=0.8038 y=-0.0246 W=0.3381 H=0.0534 D=0.0303 ŠsDDļps: tx@Dict begin tx@NodeDict begin {13.85995 7.85994 87.68071 43.84035 4.20001 } false /N@futur 16 {InitRnode } NewNode end endļhtml:ļ¢" tx@Dict begin STP newpath 0.6 SLW 0.7 0.7 1 setrgbcolor 0.8 true 2.6 neg 7.85994 neg 85.0807 13.85995 .5 Frame gsave 0.7 0.7 1 setrgbcolor fill grestore endMĪ FuturĢĻworksW®Cļ html:!+ū ń"Ųņ Õps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.8 1 0.8 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@tour /N@syntactic InitNC { yB yA sub xB xA sub Atan dup 10. neg add /AngleA ED 10. neg sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.8 1 0.8 setrgbcolor 0 setlinecap stroke grestore grestore endņ Öps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.8 1 0.8 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@syntactic /N@first-order InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.8 1 0.8 setrgbcolor 0 setlinecap stroke grestore grestore endņ Ōps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.8 1 0.8 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@first-order /N@graphic InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.8 1 0.8 setrgbcolor 0 setlinecap stroke grestore grestore endņ ×ps: tx@Dict begin gsave STV newpath 1.15202 SLW 1 0.8 0.8 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@graphic /N@instance InitNC { yB yA sub xB xA sub Atan dup 10. neg add /AngleA ED 10. neg sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 1 0.8 0.8 setrgbcolor 0 setlinecap stroke grestore grestore endņ Ūps: tx@Dict begin gsave STV newpath 1.15202 SLW 1 0.8 0.8 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@instance /N@unification InitNC { yB yA sub xB xA sub Atan dup 10. neg add /AngleA ED 10. neg sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 1 0.8 0.8 setrgbcolor 0 setlinecap stroke grestore grestore endņ Ūps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@unification /N@incrementality InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 0 setlinecap stroke grestore grestore endņ Ųps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@incrementality /N@extended InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 0 setlinecap stroke grestore grestore endņ Õps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@extended /N@constraints InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 0 setlinecap stroke grestore grestore endņ Üps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@constraints /N@inference InitNC { yB yA sub xB xA sub Atan dup 10. neg add /AngleA ED 10. neg sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 0 setlinecap stroke grestore grestore endņ Öps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@inference /N@futur InitNC { yB yA sub xB xA sub Atan dup 10. neg add /AngleA ED 10. neg sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 0 setlinecap stroke grestore grestore endņ Öps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@unification /N@extended InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 2.0 -2 0 add DotLine grestore grestore endņ Óps: tx@Dict begin gsave STV newpath 1.15202 SLW 0.7 0.7 1 setrgbcolor /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 5.75996 0. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg -1.4401 -1.4401 0 0 /N@unification /N@futur InitNC { yB yA sub xB xA sub Atan dup 10. add /AngleA ED 10. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 1.15202 SLW 0.7 0.7 1 setrgbcolor 2.0 -2 0 add DotLine grestore grestore end¢ļhtml:ļ html:{¹Ģļ
ps: 0 setgray(š īŽ !ųŻĪ žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼Motivations;³óNÄ
e \ lcmssb8ėN3(1)/30 Å£ ffŪžļ color pop(ņļcolor push cmyk 1 1 0 0óOÄ
e
$ lcmssb8ėOFirst-classG²pp¤olymo[rphismis(sometimes)useful.ļ color pophėļcolor push cmyk 1 1 0 0Tž®op¤da[y'sG²solutionsļ color popXļcolor push BlackŅļcolor push gray 0.75ó³īĶ
msam10ĆIļ color pop„ļ color popعShould wŖ©egiveuptypUVeinference?UXļcolor push rgb 1 0.2 0.2ŗno!ļ color pop¤Øóļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعLoUVcal tŖ©ypeinference?
Šqļcolor push rgb 1 0.2 0.2ŗno!ļ color popUX¹|veryfragiletopŖ©rogramtransformations”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعAlgoŖ©rithmically spUVeciedtypUVe-inference?”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعStratied tŖ©ypUVeinference?UX|stillabackupwhenbettersolutionsfail.”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popØļ~ps: tx@Dict begin tx@NodeDict begin {6.6667 1.33334 59.46724 29.73361 3.5 } false /N@bbb@from1 16 {InitRnode } NewNode end endļ!html:ļ+html:¹BoŖ©xy typUVes?ļ html:;wļ html:QEļadvi: proc=1 record=startįUE ėŹļ£ps: tx@Dict begin tx@NodeDict begin {} false /N@bbb@to1 14 {/X 15.24008 def /Y 2.5 def /w 23.5495 def /h 12.01105 def /NodePos { OvalNodePos } def} NewNode end endļü" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0 360 23.5495 CLW 2 div sub 12.01105 CLW 2 div sub 15.24008 2.5 Ellipse closepath gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endTł ļcolor push rgb 1 0.2 0.2ŗno!ļ color popāD2łUSņ ęps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED -3. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ ęps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED -2. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ ęps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED -1. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ åps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 0. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ åps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 1. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ åps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 2. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ åps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from1 /N@bbb@to1 InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 3. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endļadvi: proc record=endÉļcolor push cmyk 1 1 0 0ėOImp[roveG²System-F|regardlessoftypp¤einferenceļ color pop”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعThere isagapbUVetŖ©ween implicitandexplicittŖ©ypesystems.”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعIs SystemFtherightchoice?UX(thinkofF")ūēĪó 0er cmmi7“9¹,F’óO!ā
cmsy7·ā*¹,F")-bUVounded,óR lcmssi8ėRetc.¹){¹Ģļ
ps: 0 setgray(š NĒīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:ī=āĆļcolor push rgb 0.7 0.7 1(¼AVk’xŌeyexampleforMLž]śL(F ¼GTėN4(1)/30 Å£ ffŪžļ color pop¤(ņ¹lettóSm#½R
cmss10ėSchoGose.9óKń`y
cmr10²=Ēó
b>
cmmi10µ²(µx²)µ²(µy[ٲ)óVÄ
e lcmssb8ėVifīµtrGuefjėVthen ¦µxfjėVelseĀ©µy"ń²:ó
!",
cmsy10ø8ŖØµBZø8ąµŠø!µø!µ”¹lettµidDz=µ²(µzp²)µz7Ʋ:ø8ŖØµBZø8ąµŠø!µ8.HåµėSchoGoseńŲ(µ²(µx²)ǵx²)GŃĮ:Oßöļ!advi: proc=overlay@1 record=startėōó ś±u
cmex10«8 < :ųgćø8ŖØµBZø8ą²(µŠø!ǵ z²)ø!²(µø!µ z²)żčć(ø8ŖØµBZø8ąµŠø!ǵ z²)ø!²(ø8µBZø8ąµŠø!µ z²) ē³ļadvi: proc record=end(żöżź ńµļ!advi: proc=overlay@1 record=startB>¢ļcolor push cmyk 1 1 0 0ėOButļ color popVyųgµ²(µx²)ǵxxnņ²: ùill-tŖ©ypUVed õ>ŽDo notguesspUVolymoŖ©rphism!żčµ²(µx8ą²:ø8ŖØ²(µ z²)ǵи!µA²)ǵxxnņ²: Ćø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š flīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:ī=āĆļcolor push rgb 0.7 0.7 1(¼AVk’xŌeyexampleforMLž]śL(F ¼GTėN4(2)/30 Å£ ffŪžļ color pop¤(ņ¹lettėSchoGose.9²=ǵ²(µx²)µ²(µy[ٲ)ėVifīµtrGuefjėVthen ¦µxfjėVelseĀ©µy"ń²:ø8ŖØµBZø8ąµŠø!µø!µ”¹lettµidDz=µ²(µzp²)µz7Ʋ:ø8ŖØµBZø8ąµŠø!µ8.HåµėSchoGoseńŲ(µ²(µx²)ǵx²)GŃĮ:ėōQ«8 Q< Q:ųg`n-ø8ŖØµBZø8ą²(µŠø!ǵ z²)ø!²(µø!µ z²)żč`n-(ø8ŖØµBZø8ąµŠø!ǵ z²)ø!²(ø8µBZø8ąµŠø!µ z²)(żöżź õļ!advi: proc=overlay@1 record=startB>¢ļcolor push cmyk 1 1 0 0ėOButļ color popVyųgµ²(µx²)ǵxxnņ²: ùill-tŖ©ypUVed õ>ŽDo notguesspUVolymoŖ©rphism!żčµ²(µx8ą²:ø8ŖØ²(µ z²)ǵи!µA²)ǵxxnņ²: Ćø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š līŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:ī=āĆļcolor push rgb 0.7 0.7 1(¼AVk’xŌeyexampleforMLž]śL(F ¼GTėN4(3)/30 Å£ ffŪžļ color pop¤(ņ¹lettėSchoGose.9²=ǵ²(µx²)µ²(µy[ٲ)ėVifīµtrGuefjėVthen ¦µxfjėVelseĀ©µy"ń²:ø8ŖØµBZø8ąµŠø!µø!µ”¹lettµidDz=µ²(µzp²)µz7Ʋ:ø8ŖØµBZø8ąµŠø!µ8.HåµėSchoGoseńŲ(µ²(µx²)ǵx²)GŃĮ:ėōQ«8 Q< Q:ųg`n-ø8ŖØµBZø8ą²(µŠø!ǵ z²)ø!²(µø!µ z²)żč`n-(ø8ŖØµBZø8ąµŠø!ǵ z²)ø!²(ø8µBZø8ąµŠø!µ z²)ėō č%(«9 č%(= č%(; ž³_¹No bUVetterchoiceinF(żöżźr¢ļ!advi: proc=overlay@1 record=startB>¢ļcolor push cmyk 1 1 0 0ėOButļ color popVyųgµ²(µx²)ǵxxnņ²: ùill-tŖ©ypUVed õ>ŽDo notguesspUVolymoŖ©rphism!żčµ²(µx8ą²:ø8ŖØ²(µ z²)ǵи!µA²)ǵxxnņ²: Ćø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š płīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:ī=āĆļcolor push rgb 0.7 0.7 1(¼AVk’xŌeyexampleforMLž]śL(F ¼GTėN4(4)/30 Å£ ffŪžļ color pop¤(ņ¹lettėSchoGose.9²=ǵ²(µx²)µ²(µy[ٲ)ėVifīµtrGuefjėVthen ¦µxfjėVelseĀ©µy"ń²:ø8ŖØµBZø8ąµŠø!µø!µ”¹lettµidDz=µ²(µzp²)µz7Ʋ:ø8ŖØµBZø8ąµŠø!µ:§]ć<ėSchoGoseńŲ(µ²(µx²)ǵx²)GŃĮ:ėōQ«8 Q< Q:ųg`n-ø8ŖØµBZø8ą²(µŠø!ǵ z²)ø!²(µø!µ z²)żč`n-(ø8ŖØµBZø8ąµŠø!ǵ z²)ø!²(ø8µBZø8ąµŠø!µ z²)ėō č%(«9 č%(= č%(;vF¹No bUVetterchoiceinF+¼ėGŃĮ²:[ßżó!", ff
cmsy10æ8fdóX«Q ff cmr12½(ó·įg£ ff cmmi12¾’æ308½(¾x½)’ü¾tæ!¾½)¾Ģ[æ!¾vFóKtEo
Ņ÷ lcmss8»inĀMLžEśŠßF1ewļ!advi: proc=overlay@1 record=startD·¶ļcolor push cmyk 1 1 0 0ėOButļ color popVyųgµ²(µx²)ǵxxnņ²: ùill-tŖ©ypUVed õ>ŽDo notguesspUVolymoŖ©rphism!żčµ²(µx8ą²:ø8ŖØ²(µ z²)ǵи!µA²)ǵxxnņ²: Ćø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š v1īŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:ī=āĆļcolor push rgb 0.7 0.7 1(¼AVk’xŌeyexampleforMLž]śL(F ¼GTėN4(5)/30 Å£ ffŪžļ color pop¤(ņ¹lettėSchoGose.9²=ǵ²(µx²)µ²(µy[ٲ)ėVifīµtrGuefjėVthen ¦µxfjėVelseĀ©µy"ń²:ø8ŖØµBZø8ąµŠø!µø!µ”¹lettµidDz=µ²(µzp²)µz7Ʋ:ø8ŖØµBZø8ąµŠø!µD(uŁ»kėSchoGoseńŲ(µ²(µx²)ǵx²)GŃĮ:ėōQ«8 Q< Q:ųg`n-ø8ŖØµBZø8ą²(µŠø!ǵ z²)ø!²(µø!µ z²)żč`n-(ø8ŖØµBZø8ąµŠø!ǵ z²)ø!²(ø8µBZø8ąµŠø!µ z²)ėō č%(«9 č%(= č%(;vF¹No bUVetterchoiceinF+¼ėGŃĮ²:[ßżæ8fd½(¾’æ308½(¾x½)’ü¾tæ!¾½)¾Ģ[æ!¾vF»inĀMLžEśŠßF Ģ>EQĄĆ6ėōQ«8 Q< Q:ųg_n-ø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µżč_n-ø8ŖØ²(µ z²)Ēø8²(µæü²=8ąµŠø!µ z²)µN4ø!µewļ!advi: proc=overlay@1 record=startN8Īļcolor push cmyk 1 1 0 0ėOButļ color popVyųgµ²(µx²)ǵxxnņ²: ùill-tŖ©ypUVed õ>ŽDo notguesspUVolymoŖ©rphism!żčµ²(µx8ą²:ø8ŖØ²(µ z²)ǵи!µA²)ǵxxnņ²: Ćø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š |,īŽ !ųŻĪ žßéĖļhtml:ļ html:ī=āĆļcolor push rgb 0.7 0.7 1(¼AVk’xŌeyexampleforMLž]śL(F ¼GTėN4(6)/30 Å£ ffŪžļ color pop¤(ņ¹lettėSchoGose.9²=ǵ²(µx²)µ²(µy[ٲ)ėVifīµtrGuefjėVthen ¦µxfjėVelseĀ©µy"ń²:ø8ŖØµBZø8ąµŠø!µø!µ”¹lettµidDz=µ²(µzp²)µz7Ʋ:ø8ŖØµBZø8ąµŠø!µD(uŁ»kėSchoGoseńŲ(µ²(µx²)ǵx²)GŃĮ:ėōQ«8 Q< Q:ųg`n-ø8ŖØµBZø8ą²(µŠø!ǵ z²)ø!²(µø!µ z²)żč`n-(ø8ŖØµBZø8ąµŠø!ǵ z²)ø!²(ø8µBZø8ąµŠø!µ z²)ėō č%(«9 č%(= č%(;vF¹No bUVetterchoiceinF+¼ėGŃĮ²:[ßżæ8fd½(¾’æ308½(¾x½)’ü¾tæ!¾½)¾Ģ[æ!¾vF»inĀMLžEśŠßF Ģ>EQĄĆ6ėōQ«8 Q< Q:ųg_n-ø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µżč_n-ø8ŖØ²(µ z²)Ēø8²(µæü²=8ąµŠø!µ z²)µN4ø!µN8Īļcolor push cmyk 1 1 0 0ėOButļ color popVyųgµ²(µx²)ǵxxnņ²: ùill-tŖ©ypUVed õ>ŽDo notguesspUVolymoŖ©rphism!żčµ²(µx8ą²:ø8ŖØ²(µ z²)ǵи!µA²)ǵxxnņ²: Ćø8ŖØ²(µæü²=8ąø8²(µ z²)ǵи!µ²)µN4ø!µ{¹Ģļ
ps: 0 setgray(š īŽ !ųŻĪ žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼Prop +erties9®ėN5(1)/30 Å£ ffŪžļ color pop(ņļcolor push cmyk 1 1 0 0ėOPrincipalG²t[ypp¤esļ color pop¤(ņ¹Tž’žypUVe inference,reliesonėRrst-oŖ©rderunicationinthepresenceofsecond-order©(štŖ©ypUVes¹.Éļcolor push cmyk 1 1 0 0ėOConvervativeG²overbp¤othMLandSystemFļ color pop”¹ML pŖ©rogramsneednoannotations”F pŖ©rogramsneedfewerannotations:UXtypUVeabstractionsandtypUVeapplications¦aŖ©re alwaysinferred.aĀļcolor push cmyk 1 1 0 0¼MLž]śL(F
ŠxisVrobust(top’xŌrogramtransformations)ļ color popX¹FŖ©or example,ifµE ²[µa’óŁ R cmr7±1Cµa’±2|s²]¹istŖ©ypablesoµE²[µappl2`y"ńa’±1Cµa’±2|s²]¹whereµapply[Ū¹isµ²(µf²)ǵ²(µx²)µfڧx¹.{¹Ģļ
ps: 0 setgray(š PīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(1)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from2 16 {InitRnode } NewNode end endļ!html:ļ+html:ėJļhtml:ļ html:óYKtEo lcmss8ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ v Ēø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=2 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to2 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šó\·įg£ G® cmmi12ė\xĢŹó[DÓķt G® G® cmr17ė[:ė\kó]!", G®
cmsy10ė]2ė[ 33
°ń ^QH>Īpy ĢŹė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from3 16 {InitRnode } NewNode end endļ!html:ļ+html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś >² µ;ŖØxDz:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex v ² Ēø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=3 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to3 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
/Élė[ ė\;įFxĢŹė[:ė\ŗßė]`ė\aė[:ė\īųŻó/!",
cmsy10Ś033
°ń ©^>Īpzė[ ĢŹė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from4 16 {InitRnode } NewNode end endļ!html:ļ+html:źmŲļhtml:ļ html:ėYApp(÷Ś ©<² Ēø`µa’±1C²:µ’±2ø!µ’±1.ņ² ø`µa’±2²:µ’±233Ł fe Æ& D(² Ēø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=4 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to4 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
£¬ė[ ĢŹė]`ė\aó)X«Q cmr12Ō1,Ęė[:ė\Ō2ė]!ė\Ō1NIcė[ ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>Īq+×ė[ ĢŹė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from5 16 {InitRnode } NewNode end endļ!html:ļ+html:é.©ļhtml:ļ html:ėYInstŃWö©<² Ēø`µa²:µ[ēļcolor push gray 1ļcolor push gray 1 4¾ćļ color pop ļcolor push Blackv"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ 7ne² Ēø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=5 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to5 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
£¬ė[ ĢŹė]`ė\aė[:ė\*¦ļcolor push gray 1ļcolor push gray 1N8 d SĄÉļ color pop ļcolor push Blackpykóa³īĶ G®
msam10ėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī[&ļė[ ĢŹė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from6 16 {InitRnode } NewNode end endļ!html:ļ+html:ėJļhtml:ļ html:ėYGenu¶÷Ś ķŖ² Ēø`µa²:µ[ēėRdom/[ó²(µq[ٲ)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź >P Ēø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=6 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to6 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
/WXė[ ĢŹė]`ė\aė[:ė\*¦óg Ć lcmssi8ėgdomQÖ6ė[(ė\q øė[)Ļ^ė\=ė]2µó_ÖĘ G® G® cmss17ė_ftv'£ė[( )33
°ń±<>ĪgsĶ ĢŹė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from7 16 {InitRnode } NewNode end endļ!html:ļ+html:ėJļhtml:ļ html:ėYLetu¶÷Ś ©;² Ēø`µa²:µ*Ńļ² µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü +² Ēø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=7 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to7 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
£¬ė[ ĢŹė]`ė\aė[:ė\Hė[ ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>ĪInė[ ĢŹė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#ļ!advi: proc=overlay@1 record=startó’łļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š 4īŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(2)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from8 16 {InitRnode } NewNode end endļ!html:ļ+html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=8 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to8 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from9 16 {InitRnode } NewNode end endļ!html:ļ+html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=9 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to9 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from10 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=10 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to10 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from11 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push gray 1ļcolor push gray 1 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=11 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to11 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push gray 1ļcolor push gray 1N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from12 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=12 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to12 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from13 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=13 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to13 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#ļ!advi: proc=overlay@1 record=startó’łļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š ŖÕīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(3)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from14 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=14 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to14 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from15 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=15 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to15 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from16 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=16 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to16 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from17 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push gray 1ļcolor push gray 1 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=17 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to17 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push gray 1ļcolor push gray 1N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from18 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=18 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to18 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from19 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=19 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to19 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#(ė²(µQ²) ¹bindsfreetŖ©ypUVevariablesof² ¹.(ņ²(µQ²) ¹couldbUVeinterleavedwith² ¹as² ’“Q
Ģ=¹andreadbackbŖ©yrestrictingthedomain(šof ² ’“Q
Ģ=¹totŖ©ypUVevariables.Üpļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š ÉīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(4)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from20 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=20 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to20 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from21 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=21 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to21 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from22 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=22 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to22 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from23 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=23 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to23 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from24 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=24 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to24 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from25 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=25 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to25 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#
(ėļcolor push cmyk 1 1 0 0 ±IóhÄ
e Ć lcmssb8ėhMLļ color pop4ĀQŻū* ėVTžęeyp]Žes6ļčʵčß²::=0ö2µŠøjǵčßø!µ¤żč "ń²::=0ö2µčßøjĒ8ŖØ²(µq[ٲ)µ”
@ q"ń²::=0ö2µ ĄäėVInstancefjrelationĆ6-¬«ē Ąäø8ŖØ²( ž«µo²)ǵčßĆ6ø8²(µ ²)µ!Dz[ µūŽ’·0Oµ= ž«²µo²]fl*Śķµj¦=N4ø2æųėSftv*¤²(ø8ŖØ²( ž«µo²)ǵ!Dz)(šx+Źļ!advi: proc=overlay@1 record=start(éĮļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š čęīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(5)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from26 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=26 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to26 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from27 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=27 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to27 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from28 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=28 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to28 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from29 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=29 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to29 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from30 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=30 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to30 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from31 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=31 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to31 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#
(ėļcolor push cmyk 1 1 0 0 ČėhSystemqFļ color pop4ĀQŻū* ėVTžęeyp]Žes6ļčʵčß²::=0ö2µŠøjǵčßø!µøj8ŖØ²(µ z²)µ¤żč "ń²::=0ö2µ”
@ q"ń²::=0ö2µ ĄäėVInstancefjrelationĆ6-¬«ē Ąäø8ŖØ²( ž«µo²)ǵčßĆ6ø8²(µ ²)µ!Dz[ µūŽ’·0Oµ= ž«²µo²]fl*Śķµj¦=N4ø2æųėSftv*¤²(ø8ŖØ²( ž«µo²)ǵ!Dz)(šx+Źļ!advi: proc=overlay@1 record=start(éĮļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š TīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(6)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from32 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=32 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to32 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from33 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=33 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to33 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from34 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=34 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to34 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from35 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=35 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to35 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from36 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=36 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to36 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from37 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=37 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to37 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#
(ėļcolor push cmyk 1 1 0 0 „¢ėhSystemqFłŗÆó,·įg£ cmmi12× _īļ color pop3aߨ ėVTžęeyp]Žes6ļčʵčß²::=0ö2µŠøjǵčßø!µøj8ŖØ²(µ z²)µ¤żč "ń²::=0ö2µ”
@ q"ń²::=0ö2µ ĄäėVInstancefjrelationĆ6*RĖé Ąä¹tŖ©ypUVe containmentŻ2²:fo Ųö¹deep, contra-vaŖ©riant,ėRetc.(šx+Źļ!advi: proc=overlay@1 record=start'<Ńļ!advi: proc=overlay@1 record=startļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š )tīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(7)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from38 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=38 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to38 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from39 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=39 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to39 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from40 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=40 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to40 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from41 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=41 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to41 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from42 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=42 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to42 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from43 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=43 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to43 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#
(ėļcolor push cmyk 1 1 0 0 °ėhExplicitqMLFļ color pop2krąR ėVTžęeyp]Žes6ļčʵčß²::=0ö2µŠøjǵčßø!µ¤żč "ń²::=0ö2µčßøjĒ8ŖØ²(µq[ٲ)µøj?”
@ µq"ń²::=0ö2(µBZø8ąµ[ٲ)Ēøj²(µ²=8ąµ[ٲ) ĄäėVInstancefjrelationĆ6(žīļ@hļhtml:ė]vļ html:æź(šx+Źļ!advi: proc=overlay@1 record=start&ćļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š IīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1Ž,¼GenericVTžj}yp +eSystem Ć|żėN6(8)/30 Å£ ffŪžļ color popū(ä -Ū±ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 58.89899 29.4495 3.5 } false /N@bbb@from44 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYVøćaru¶÷Ś
'µxDz:µ"ńø2² 33Ł fe 8¾ (µQ²)Ē ø`µx²:µ:ę$ļ html::ę$ļ html::ę$ļadvi: proc=44 record=startęf ®1ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 104.7175 52.35875 3.5 } false /N@bbb@to44 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 100.7175 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
šė\xĢŹė[:ė\kė]2ė[ 33
°ń ^QH>Ī(ė\Qė[)ĢŹ ė]`ė\xė[:ė\ļadvi: proc record=endR2ļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 103.8688 51.9344 3.5 } false /N@bbb@from45 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYFøćunu¶÷Ś
Ȳ(µQ²)Ē µ;ŖØx²:µčßø`µa²:µ!ĒūŽ’·033Ł fe ex ²(µQ²)Ē ø`µ²(µx²)µa²:µčßø!µ!ĒūŽ’·0gŽjļ html:gŽjļ html: ŗ ļadvi: proc=45 record=startęf ’rOéļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 179.5069 89.75345 3.5 } false /N@bbb@to45 16 {InitRnode } NewNode end end ļć" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 175.5069 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
Xóė[(ė\Qė[)ĢŹ ė\;įFxė[:ė\ŗßė]`ė\aė[:ė\īųŻŚ033
°ń ©^>Īė[(ė\Qė[)ĢŹ ė]`ė\ė[(ė\xė[)ė\aė[:ė\ŗßė]!ė\īųŻŚ0ļadvi: proc record=end Ń]rļps: tx@Dict begin tx@NodeDict begin {27.04315 13.05983 177.49432 88.74716 3.5 } false /N@bbb@from46 16 {InitRnode } NewNode end endļ"html:ļ,html:źmŲļhtml:ļ html:ėYApp(÷Ś 34²(µQ²)Ē ø`µa’±1C²:µ’±2ø!µ’±1|²(µQ²) ø`µa’±2²:µ’±233Ł fe Æ& 1 ²(µQ²)Ē ø`µa’±1Cµa’±2²:ǵ’±1 ±~ļ html: ±~ļ html:Ūžļadvi: proc=46 record=startäōō ’āļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 299.36597 149.68298 3.5 } false /N@bbb@to46 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 295.36597 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė[:ė\Ō2ė]!ė\Ō1/Ųźė[(ė\Qė[) ė]`ė\aŌ2ė[:ė\Ō233
°ń ÷J>ĪR»^ė[(ė\Qė[)ĢŹ ė]`ė\aŌ1,Ęė\aŌ2ė[:ĢŹė\Ō1ļadvi: proc record=end7æų<ļps: tx@Dict begin tx@NodeDict begin {28.28996 13.05983 135.21548 67.60774 3.5 } false /N@bbb@from47 16 {InitRnode } NewNode end endļ"html:ļ,html:é.©ļhtml:ļ html:ėYInstŃWö34²(µQ²)Ē ø`µa²:µ[ēļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0 4¾ćļ color pop ļcolor push Black²(µQ²)µ"ńĆ6µ[ŁūŽ’·0.¾ćļ color popMŹļ color pop33 fe ŠÄ $ų]²(µQ²)Ē ø`µa²:µ[ŁūŽ’·0 7*ļ html: 7*ļ html: Efļadvi: proc=47 record=startćµÅ ’IÉļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 229.20993 114.60497 3.5 } false /N@bbb@to47 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 225.20993 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ļcolor push cmyk 0 0 1 0ļcolor push cmyk 0 0 1 0N8 d SĄÉļ color pop ļcolor push Blackė[(ė\Qė[)ė\kėa6ė\ øųŻŚ0MĄÉļ color pop}Ųoļ color pop33
°ń ŚĻX>Ī<¶vė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\ øųŻŚ0ļadvi: proc record=end ÄĢļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 165.00464 82.50232 3.5 } false /N@bbb@from48 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYGenu¶÷Ś 33²(µQ;ŖØq[ٲ)Ē ø`µa²:µ[ēėRdom/[ó²(µq²)ćµ=ø28ÜėSftv£²( )33Ł fe ¢Ź +¢H(µQ²)Ē ø`µa²:ø8ŖØµq¹ø8ąµ „0ļ html: „0ļ html:iĶĀļadvi: proc=48 record=startęf ’óļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 283.09232 141.54616 3.5 } false /N@bbb@to48 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 279.09232 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
34ė[(ė\Q;įFq øė[)ĢŹ ė]`ė\aė[:ė\*¦ėgdomQÖ6ė[(ė\qė[)Ļ^ė\=ė]2µė_ftv'£ė[( )33
°ń±<>ĪIT(ė\Qė[)ĢŹ ė]`ė\aė[:ė]8įFė\quĄė]×ė\ļadvi: proc record=end5dWmNļps: tx@Dict begin tx@NodeDict begin {25.93204 13.05983 168.71634 84.35817 3.5 } false /N@bbb@from49 16 {InitRnode } NewNode end endļ"html:ļ,html:ėJļhtml:ļ html:ėYLetu¶÷Ś 33²(µQ²)Ē ø`µa²:µ[ē²(µQ²) µ;ŖØx²:µ"ńø`µaūŽ’·0Q²:µ[ŁūŽ’·033Ł fe ¦Pü &²(µQ²)Ē ø`ėSlet8įµx²=µa ėSin=µaūŽ’·0Q²:µ[ŁūŽ’·0 Ø·bļ html: Ø·bļ html:ɰļadvi: proc=49 record=startęf ’¦ ļps: tx@Dict begin tx@NodeDict begin {34.87895 29.87895 287.98679 143.9934 3.5 } false /N@bbb@to49 16 {InitRnode } NewNode end end ļä" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0. true 4.0 neg 29.87895 neg 283.98679 34.87895 .5 Frame gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endŃėńy
33ė[(ė\Qė[)ĢŹ ė]`ė\aė[:ė\*¦ė[(ė\Qė[) ė\;įFxė[:ė\kė]`ė\aųŻŚ0ė[:ė\ øųŻŚ033
°ń8>Ī*žė[(ė\Qė[)ĢŹ ė]`ė_let¦?ė\xė[=ė\aé}ė_inIė\aųŻŚ0ė[:ė\ øųŻŚ0ļadvi: proc record=endó#
(ėļcolor push cmyk 1 1 0 0 śLėhImplicitqMLFļ color pop1Y¤įc× ėVTžęeyp]Žes6ļčʵčß²::=0ö2µŠøjǵčßø!µøj8ŖØ²(µ z²)µ¤żč "ń²::=0ö2µčßøjĒ8ŖØ²(µq[ٲ)µøj?”
@ µq"ń²::=0ö2(µBZø8ąµ[ٲ) ĄäėVInstancefjrelationĆ6&ŪRļ3. ŠyŚv!ŗ(simplerĢĻversion)ĢŅ(šx+Źļ!advi: proc=overlay@1 record=startŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š hQīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1ļhtml:ļ html:Ž,¼AVfamilyoflanguages ĮėN7(1)/30 Å£ ffŪžļ color pop
(ļuU9¶/Ų7Cļļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@SF 14 {/X 36.00032 def /Y 2.66597 def /w 53.5045 def /h 12.84573 def /NodePos { OvalNodePos } def} NewNode end endļĄ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 53.5045 CLW 2 div sub 12.84573 CLW 2 div sub 36.00032 2.66597 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore endTło¹F ėŌ|ļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@A 14 {/X 44.10443 def /Y 2.60223 def /w 63.16373 def /h 19.93968 def /NodePos { OvalNodePos } def} NewNode end endļ" tx@Dict begin STP newpath 0.8 SLW 0 setgray 0 360 63.16373 CLW 2 div sub 19.93968 CLW 2 div sub 44.10443 2.60223 Ellipse closepath end§ļ¤ps: tx@Dict begin tx@NodeDict begin {} false /N@MLF 14 {/X 36.00032 def /Y 2.60223 def /w 54.10449 def /h 13.53583 def /NodePos { OvalNodePos } def} NewNode end endļĮ" tx@Dict begin STP newpath 1.2 SLW 0 setgray 0 360 54.10449 CLW 2 div sub 13.53583 CLW 2 div sub 36.00032 2.60223 Ellipse closepath gsave 1.2 SLW 0 setgray 0 setlinecap stroke grestore endufk(Plain) MLžĢČüfbF¤;xµ””;gStandaŖ©rd ø8ŖØµ zø ļƹFlexible ø8ŖØ²(µBZø8ąµ[ٲ)]"ņ Bps: tx@Dict begin gsave STV newpath 0.8 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@SF /N@MLF InitNC { NCLine } if end gsave 0.8 SLW 0 setgray 2.0 -2 0 add DotLine grestore grestore endvU8ļ!advi: proc=overlay@1 record=startļŪps: tx@Dict begin { tx@NodeDict begin tx@NodeDict /N@A known { 24.00021 150. /N@A load 0 GetEdge 0.0 150. AddOffset /N@A load GetCenter 3 -1 roll add 3 1 roll add exch } { CP } ifelse end } PutCoor PutBegin advi@CP endļadvi: putbeginj®ÜUAļxps: tx@Dict begin tx@NodeDict begin {10.16678 1.33334 71.33395 35.66698 3.5 } false /N@a 16 {InitRnode } NewNode end end¹Graphical MLžĢČüfbFļadvi: putendļps: tx@Dict begin PutEnd endņ ps: tx@Dict begin gsave STV newpath 0.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 2.50002 neg 0.0 0.0 0 0 /N@A /N@a InitNC { NCLine } if end gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore grestore endŪžļadvi: proc record=endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š MīŽ !ųŻĪ žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1ļhtml:ļ html:Ž,¼AVfamilyoflanguages ĮėN7(2)/30 Å£ ffŪžļ color pop
(ļuU9¶/Ų7Cļļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@SF 14 {/X 36.00032 def /Y 2.66597 def /w 53.5045 def /h 12.84573 def /NodePos { OvalNodePos } def} NewNode end endļĄ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 53.5045 CLW 2 div sub 12.84573 CLW 2 div sub 36.00032 2.66597 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore endTło¹F ėŌ|ļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@A 14 {/X 44.10443 def /Y 2.60223 def /w 63.16373 def /h 19.93968 def /NodePos { OvalNodePos } def} NewNode end endļĮ" tx@Dict begin STP newpath 0.8 SLW 0 setgray 0 360 63.16373 CLW 2 div sub 19.93968 CLW 2 div sub 44.10443 2.60223 Ellipse closepath gsave 0.8 SLW 0 setgray 0 setlinecap stroke grestore end§ļ¤ps: tx@Dict begin tx@NodeDict begin {} false /N@MLF 14 {/X 36.00032 def /Y 2.60223 def /w 54.10449 def /h 13.53583 def /NodePos { OvalNodePos } def} NewNode end endļĮ" tx@Dict begin STP newpath 1.2 SLW 0 setgray 0 360 54.10449 CLW 2 div sub 13.53583 CLW 2 div sub 36.00032 2.60223 Ellipse closepath gsave 1.2 SLW 0 setgray 0 setlinecap stroke grestore endufk(Plain) MLžĢČüfbF¤;xµ7Cļļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@ML 14 {/X 36.00032 def /Y 2.66597 def /w 53.5045 def /h 12.84573 def /NodePos { OvalNodePos } def} NewNode end endļĄ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 53.5045 CLW 2 div sub 12.84573 CLW 2 div sub 36.00032 2.66597 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore endTł³BML óļ#ļ¤ps: tx@Dict begin tx@NodeDict begin {} false /N@SMLF 14 {/X 36.00032 def /Y 2.60223 def /w 53.5045 def /h 12.93584 def /NodePos { OvalNodePos } def} NewNode end endļĄ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 53.5045 CLW 2 div sub 12.93584 CLW 2 div sub 36.00032 2.60223 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore enduYShalloŖ©w*¬MLžĢČüfbF”7Cļļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@ST 14 {/X 36.00032 def /Y 2.66597 def /w 53.5045 def /h 12.84573 def /NodePos { OvalNodePos } def} NewNode end endļĄ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 53.5045 CLW 2 div sub 12.84573 CLW 2 div sub 36.00032 2.66597 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore endTłSimple Tž’žypUVes óļ#ļ¤ps: tx@Dict begin tx@NodeDict begin {} false /N@Fsup 14 {/X 36.00032 def /Y 2.60223 def /w 53.5045 def /h 12.93584 def /NodePos { OvalNodePos } def} NewNode end endļĄ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 53.5045 CLW 2 div sub 12.93584 CLW 2 div sub 36.00032 2.60223 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore endu Simple MLžĢČüfbF”;gStandaŖ©rd ø8ŖØµ zø ļƹFlexible ø8ŖØ²(µBZø8ąµ[ٲ)]"ņ Hps: tx@Dict begin gsave STV newpath 1.50002 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@ST /N@ML InitNC { NCLine } if end gsave 1.50002 SLW 0 setgray 0 setlinecap stroke grestore grestore endļLps: tx@Dict begin tx@NodeDict begin /t .5 def LPut end PutBegin advi@CP endļadvi: putbeginļøps: tx@Dict begin { 1.99997 tx@Dict /NCLW known { NCLW add } if 32.44455 6.94444 0.83333 NAngle 90 add Uput exch pop add a PtoC h1 add exch w1 add exch } PutCoor PutBegin advi@CP endļadvi: putbegin9ļĒ+ǹlet-vø8ļadvi: putendļps: tx@Dict begin PutEnd endļadvi: putendļps: tx@Dict begin PutEnd endņ Hps: tx@Dict begin gsave STV newpath 1.50002 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@ML /N@SF InitNC { NCLine } if end gsave 1.50002 SLW 0 setgray 0 setlinecap stroke grestore grestore endļLps: tx@Dict begin tx@NodeDict begin /t .5 def LPut end PutBegin advi@CP endļadvi: putbeginļøps: tx@Dict begin { 1.99997 tx@Dict /NCLW known { NCLW add } if 25.94447 6.94444 0.83333 NAngle 90 add Uput exch pop add a PtoC h1 add exch w1 add exch } PutCoor PutBegin advi@CP endļadvi: putbegin9ó²+ǵ¹- ø8ļadvi: putendļps: tx@Dict begin PutEnd endļadvi: putendļps: tx@Dict begin PutEnd endņ Hps: tx@Dict begin gsave STV newpath 1.50002 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@ST /N@ML InitNC { NCLine } if end gsave 1.50002 SLW 0 setgray 0 setlinecap stroke grestore grestore endņ Lps: tx@Dict begin gsave STV newpath 1.50002 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@Fsup /N@SMLF InitNC { NCLine } if end gsave 1.50002 SLW 0 setgray 0 setlinecap stroke grestore grestore endļLps: tx@Dict begin tx@NodeDict begin /t .5 def LPut end PutBegin advi@CP endļadvi: putbeginļøps: tx@Dict begin { 1.99997 tx@Dict /NCLW known { NCLW add } if 39.19456 6.94444 2.79826 NAngle 90 sub Uput exch pop add a PtoC h1 add exch w1 add exch } PutCoor PutBegin advi@CP endļadvi: putbegin¶ģg²+ǹlet-vø8’·ļadvi: putendļps: tx@Dict begin PutEnd endļadvi: putendļps: tx@Dict begin PutEnd endņ Kps: tx@Dict begin gsave STV newpath 1.50002 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@SMLF /N@MLF InitNC { NCLine } if end gsave 1.50002 SLW 0 setgray 0 setlinecap stroke grestore grestore endļLps: tx@Dict begin tx@NodeDict begin /t .5 def LPut end PutBegin advi@CP endļadvi: putbeginļøps: tx@Dict begin { 1.99997 tx@Dict /NCLW known { NCLW add } if 32.69449 6.94444 2.79826 NAngle 90 sub Uput exch pop add a PtoC h1 add exch w1 add exch } PutCoor PutBegin advi@CP endļadvi: putbegin¶ļ§²+ǵ¹- ø8’·ļadvi: putendļps: tx@Dict begin PutEnd endļadvi: putendļps: tx@Dict begin PutEnd end]"ņ ps: tx@Dict begin gsave STV newpath 2.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { /ArrowBc [ 6 2 roll ] cvx def ArrowBc BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@SF /N@Fsup InitNC { yB yA sub xB xA sub Atan dup 90. add /AngleA ED -90. sub 180 add /AngleB ED 1.2 1.2 NCCurve } if end gsave 2.6 SLW 0 setgray 5.0 3.0 -2 0 add DashLine grestore gsave 1.0 SLW 1 setgray stroke grestore gsave ArrowBc ArrowB pop pop pop pop grestore grestore endļLps: tx@Dict begin tx@NodeDict begin /t .5 def LPut end PutBegin advi@CP endļadvi: putbeginļ“ps: tx@Dict begin { 1.99997 tx@Dict /NCLW known { NCLW add } if 8.24982 56.33376 0.0 NAngle 90 add Uput exch pop add a PtoC h1 add exch w1 add exch } PutCoor PutBegin advi@CP endļadvi: putbegin*øéßüĻ’äŌ+URŚ8ĢĢó0¾KČ cmsy8Ūļadvi: putendļps: tx@Dict begin PutEnd endļadvi: putendļps: tx@Dict begin PutEnd endņ Cps: tx@Dict begin gsave STV newpath 0.8 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@ST /N@Fsup InitNC { NCLine } if end gsave 0.8 SLW 0 setgray 2.0 -2 0 add DotLine grestore grestore endņ Cps: tx@Dict begin gsave STV newpath 0.8 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@ML /N@SMLF InitNC { NCLine } if end gsave 0.8 SLW 0 setgray 2.0 -2 0 add DotLine grestore grestore endņ Bps: tx@Dict begin gsave STV newpath 0.8 SLW 0 setgray /ArrowA { moveto } def /ArrowB { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@SF /N@MLF InitNC { NCLine } if end gsave 0.8 SLW 0 setgray 2.0 -2 0 add DotLine grestore grestore endvU8ļŪps: tx@Dict begin { tx@NodeDict begin tx@NodeDict /N@A known { 24.00021 150. /N@A load 0 GetEdge 0.0 150. AddOffset /N@A load GetCenter 3 -1 roll add 3 1 roll add exch } { CP } ifelse end } PutCoor PutBegin advi@CP endļadvi: putbeginj®ÜUAļxps: tx@Dict begin tx@NodeDict begin {10.16678 1.33334 71.33395 35.66698 3.5 } false /N@a 16 {InitRnode } NewNode end end¹Graphical MLžĢČüfbFļadvi: putendļps: tx@Dict begin PutEnd endņ ps: tx@Dict begin gsave STV newpath 0.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 2.50002 neg 0.0 0.0 0 0 /N@A /N@a InitNC { NCLine } if end gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore grestore end{¹Ģļ
ps: 0 setgray(š óīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1ļhtml:ļ html:Ž,¼SyntacticVt’xŌyp +einstancerelationttėN8(1)/30 Å£ ffŪžļ color pop©(ņļcolor push cmyk 1 1 0 0ėOAG²lotofadministrativerulesļ color pop ļhtml:¹(See?)ļ html:¤Øóļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعHides theunderlyingpŖ©rinciples”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعHeavy pŖ©roUVofs(inbreadthmorethanindepth).”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعMade extensionsdicult.¦ļcolor push cmyk 1 1 0 0ėODoG²w[ehavethedenitionright?ļ color pop¤(ņėRi.e.UX¹the instancerelationthebUVestwithintheframewŖ©ork?”ėVNo!¹:UXAn impŖ©rovementwassuggestedbyF.Pottier,but¤(šit technicallycollapsesthesyntacticinstancerelationviadaŖ©rkcorners,”ļ}ps: tx@Dict begin tx@NodeDict begin {6.6667 1.33334 81.20074 40.60037 3.5 } false /N@bbb@from 16 {InitRnode } NewNode end endto oursurpŖ©rise...±U) .³Wļ¤ps: tx@Dict begin tx@NodeDict begin {} false /N@bbb@to 14 {/X 113.9009 def /Y 2.5 def /w 163.05603 def /h 42.04422 def /NodePos { OvalNodePos } def} NewNode end endļž" tx@Dict begin STP newpath 2.0 SLW 0 0 1 0 setcmykcolor 0 360 163.05603 CLW 2 div sub 42.04422 CLW 2 div sub 113.9009 2.5 Ellipse closepath gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore endė ø8ŖØ²(µBZø8ąµ[ٲ)ǵčßøUWļ8ŖØ²(µæü²=8ąµs²)Ēø8²(µBZø8²(µ
Dz=µ[ٲ)µ
8²)µ¤(ļ>É«Ć@ų8šø UWļ8ŖØ²(µæü²=8ąµs²)Ēø8²(µBZø8²(µ
Dz=µ ²)µ
8²)µ”>ɹøUWļ8ŖØ²(µæü²=8ąµs²)Ēø8²(µBZøµ ²)ǵ”>ɹøUWļ8ŖØ²(µBZ²=8ąµs²)ǵ(²łUSņ äps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED -3. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ äps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED -2. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ äps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED -1. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ ćps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 0. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ ćps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 1. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ ćps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 2. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endņ ćps: tx@Dict begin gsave STV newpath 2.0 SLW 0 0 1 0 setcmykcolor /ArrowA { BeginArrow 1. 1. scale false 0.4 1.4 1.5 2. Arrow EndArrow moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@bbb@from /N@bbb@to InitNC { yB yA sub xB xA sub Atan dup -0. add /AngleA ED 3. sub 180 add /AngleB ED 0.67 0.67 NCCurve } if end gsave 0 0 1 0 setcmykcolor fill grestore gsave 2.0 SLW 0 0 1 0 setcmykcolor 0 setlinecap stroke grestore grestore endQ3dļps: tx@Dict begin (1) BOL endÉļcolor push cmyk 1 1 0 0ėOEciencyļ color pop-é¹ExpUVensive unication(andtŖ©ypeinference)algoŖ©rithms.(ņDoUVes itscaleuptolaŖ©rge,automaticallygenerated,programs?Ūžļps: tx@Dict begin (0) BOL endŪžļ
ps: 0 setgrayŪžļps: tx@Dict begin (all) BOL end(š ¶9īŽ !ųŻĪ žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1ļhtml:ļ html:Ž,¼SyntacticVt’xŌyp +einstancerelationttėN8(2)/30 Å£ ffŪžļ color pop©(ņļcolor push cmyk 1 1 0 0ėOAG²lotofadministrativerulesļ color pop ļhtml:¹(See?)ļ html:¤Øóļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعHides theunderlyingpŖ©rinciples”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعHeavy pŖ©roUVofs(inbreadthmorethanindepth).”ļcolor push BlackŅļcolor push gray 0.75ĆIļ color pop„ļ color popعMade extensionsdicult.¦ļcolor push cmyk 1 1 0 0ėODoG²w[ehavethedenitionright?ļ color pop¤(ņėRi.e.UX¹the instancerelationthebUVestwithintheframewŖ©ork?”ėVNo!¹:UXAn impŖ©rovementwassuggestedbyF.Pottier,but¤(šit technicallycollapsesthesyntacticinstancerelationviadaŖ©rkcorners,”to oursurpŖ©rise...Éļcolor push cmyk 1 1 0 0ėOEciencyļ color pop-é¹ExpUVensive unication(andtŖ©ypeinference)algoŖ©rithms.(ņDoUVes itscaleuptolaŖ©rge,automaticallygenerated,programs?{¹Ģļ
ps: 0 setgray(š ĶNīŽ !ųŻĪļ+ps: tx@Dict begin InitOL /TheOL (0) def endļps: tx@Dict begin (0) BOL end žßéĖļhtml:ļ html:£Ļā\1ļcolor push rgb 0.7 0.7 1ļhtml:ļ html:Ž,¼First-o’xŌrderVtermsandunicationm=©ėN9(1)/30 Å£ ffŪžļ color pop4śv ”Źļcolor push Blackļ color pop §ŹŗAĢĻtree(šé¢ »mž3
ļ§ps: tx@Dict begin tx@NodeDict begin {} /N@ar true /N@T-0 14 {/X 6.00002 def /Y 2.20125 def /w 11.08403 def /h 5.71257 def /NodePos { OvalNodePos } def} NewNode end endļæ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 11.08403 CLW 2 div sub 5.71257 CLW 2 div sub 6.00002 2.20125 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore endŚ! Įm’ņ ps: tx@Dict begin gsave STV newpath 0.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@T /N@T-0 InitNC { NCLine } if end gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore grestore end »H4 ļ©ps: tx@Dict begin tx@NodeDict begin {} /N@ar true /N@T-0-0 14 {/X 6.00002 def /Y 2.20125 def /w 11.08403 def /h 5.71257 def /NodePos { OvalNodePos } def} NewNode end endļæ" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 11.08403 CLW 2 div sub 5.71257 CLW 2 div sub 6.00002 2.20125 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore end! »I2fņ ps: tx@Dict begin gsave STV newpath 0.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@T-0 /N@T-0-0 InitNC { NCLine } if end gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore grestore endņ ;ps: tx@Dict begin tx@NodeDict begin /t 0.7 def tx@NodeDict /HPutPos known { HPutPos } { CP /Y ED /X ED /NAngle 0 def /NCLW 0 def } ifelse /Sin NAngle sin def /Cos NAngle cos def /s 1.99997 NCLW add def /l 0.0 def /r 0.0 def /h -4.20001 def /d 4.20001 def /flag true def HPutAdjust LPutCoor end PutBegin advi@CP endļadvi: putbegin34ļadvi: putendļps: tx@Dict begin PutEnd end gb]ļ¤ps: tx@Dict begin tx@NodeDict begin {} false /N@T-0-0-0 14 {/X 3.77496 def /Y 2.58333 def /w 7.9378 def /h 6.25284 def /NodePos { OvalNodePos } def} NewNode end endļ½" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 7.9378 CLW 2 div sub 6.25284 CLW 2 div sub 3.77496 2.58333 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore end×
įīdĶņ ps: tx@Dict begin gsave STV newpath 0.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@T-0-0 /N@T-0-0-0 InitNC { NCLine } if end gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore grestore endņ ;ps: tx@Dict begin tx@NodeDict begin /t 0.7 def tx@NodeDict /HPutPos known { HPutPos } { CP /Y ED /X ED /NAngle 0 def /NCLW 0 def } ifelse /Sin NAngle sin def /Cos NAngle cos def /s 1.99997 NCLW add def /l 0.0 def /r 0.0 def /h -4.20001 def /d 4.20001 def /flag true def HPutAdjust LPutCoor end PutBegin advi@CP endļadvi: putbegin34ļadvi: putendļps: tx@Dict begin PutEnd end$ ļ¢ps: tx@Dict begin tx@NodeDict begin {} false /N@T-0-0-1 14 {/X 3.64926 def /Y 3.0 def /w 7.76007 def /h 10.14131 def /NodePos { OvalNodePos } def} NewNode end endļ»" tx@Dict begin STP newpath 0.6 SLW 0 setgray 0 360 7.76007 CLW 2 div sub 10.14131 CLW 2 div sub 3.64926 3.0 Ellipse closepath gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore end'²¶ņ ps: tx@Dict begin gsave STV newpath 0.6 SLW 0 setgray /ArrowA { moveto } def /ArrowB { } def /NCLW CLW def tx@NodeDict begin 0.0 0.0 neg 0.0 0.0 0 0 /N@T-0-0 /N@T-0-0-1 InitNC { NCLine } if end gsave 0.6 SLW 0 setgray 0 setlinecap stroke grestore grestore endņ