%PDF-1.2 7 0 obj [5 0 R/XYZ 53.8 763.11] endobj 8 0 obj << /Type/Encoding /Differences[1/dotaccent/fi/fl/fraction/hungarumlaut/Lslash/lslash/ogonek/ring 11/breve/minus 14/Zcaron/zcaron/caron/dotlessi/dotlessj/ff/ffi/ffl 30/grave/quotesingle/space/exclam/quotedbl/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/less/equal/greater/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/backslash/bracketright/asciicircum/underscore/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/braceleft/bar/braceright/asciitilde 130/quotesinglbase/florin/quotedblbase/ellipsis/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE 147/quotedblleft/quotedblright/bullet/endash/emdash/tilde/trademark/scaron/guilsinglright/oe 159/Ydieresis 161/exclamdown/cent/sterling/currency/yen/brokenbar/section/dieresis/copyright/ordfeminine/guillemotleft/logicalnot/hyphen/registered/macron/degree/plusminus/twosuperior/threesuperior/acute/mu/paragraph/periodcentered/cedilla/onesuperior/ordmasculine/guillemotright/onequarter/onehalf/threequarters/questiondown/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/multiply/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/divide/oslash/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/ydieresis] >> endobj 9 0 obj << /Encoding 8 0 R /Type/Font /Subtype/Type1 /Name/F1 /BaseFont/Helvetica-Bold >> endobj 10 0 obj << /Encoding 8 0 R /Type/Font /Subtype/Type1 /Name/F2 /BaseFont/Helvetica >> endobj 15 0 obj << /Title(Security By Stack Inspection?) /A<< /S/GoTo /D(section.1) >> /Parent 14 0 R /Next 16 0 R >> endobj 17 0 obj << /Title(Syntax and Informal Semantics) /A<< /S/GoTo /D(subsection.2.1) >> /Parent 16 0 R /Next 18 0 R >> endobj 18 0 obj << /Title(Operational Semantics) /A<< /S/GoTo /D(subsection.2.2) >> /Parent 16 0 R /Prev 17 0 R /Next 19 0 R >> endobj 19 0 obj << /Title(Framing) /A<< /S/GoTo /D(subsection.2.3) >> /Parent 16 0 R /Prev 18 0 R >> endobj 16 0 obj << /Title(A Calculus of Stack Inspection) /A<< /S/GoTo /D(section.2) >> /Parent 14 0 R /Prev 15 0 R /First 17 0 R /Last 19 0 R /Count -3 /Next 20 0 R >> endobj 20 0 obj << /Title(Programming Examples) /A<< /S/GoTo /D(section.3) >> /Parent 14 0 R /Prev 16 0 R /Next 21 0 R >> endobj 22 0 obj << /Title(Equational Properties) /A<< /S/GoTo /D(subsection.4.1) >> /Parent 21 0 R /Next 23 0 R >> endobj 23 0 obj << /Title(Basic Applications) /A<< /S/GoTo /D(subsection.4.2) >> /Parent 21 0 R /Prev 22 0 R /Next 24 0 R >> endobj 24 0 obj << /Title(Proof Technique: Applicative Bisimilarity) /A<< /S/GoTo /D(subsection.4.3) >> /Parent 21 0 R /Prev 23 0 R >> endobj 21 0 obj << /Title(Equational Reasoning) /A<< /S/GoTo /D(section.4) >> /Parent 14 0 R /Prev 20 0 R /First 22 0 R /Last 24 0 R /Count -3 /Next 25 0 R >> endobj 26 0 obj << /Title(Function Inlining) /A<< /S/GoTo /D(subsection.5.1) >> /Parent 25 0 R /Next 27 0 R >> endobj 27 0 obj << /Title(Tail Call Elimination) /A<< /S/GoTo /D(subsection.5.2) >> /Parent 25 0 R /Prev 26 0 R >> endobj 25 0 obj << /Title(Program Transformations) /A<< /S/GoTo /D(section.5) >> /Parent 14 0 R /Prev 21 0 R /First 26 0 R /Last 27 0 R /Count -2 /Next 28 0 R >> endobj 29 0 obj << /Title(What is Guaranteed by Stack Inspection?) /A<< /S/GoTo /D(subsection.6.1) >> /Parent 28 0 R /Next 30 0 R >> endobj 30 0 obj << /Title(Tracking all Call-by-Value Dependencies) /A<< /S/GoTo /D(subsection.6.2) >> /Parent 28 0 R /Prev 29 0 R /Next 31 0 R >> endobj 31 0 obj << /Title(Two Intermediate Tracking Semantics) /A<< /S/GoTo /D(subsection.6.3) >> /Parent 28 0 R /Prev 30 0 R >> endobj 28 0 obj << /Title(Keeping Track of Dependencies) /A<< /S/GoTo /D(section.6) >> /Parent 14 0 R /Prev 25 0 R /First 29 0 R /Last 31 0 R /Count -3 /Next 32 0 R >> endobj 32 0 obj << /Title(Conclusions and Related Work) /A<< /S/GoTo /D(section.7) >> /Parent 14 0 R /Prev 28 0 R /Next 33 0 R >> endobj 34 0 obj [5 0 R/XYZ 53.8 585.77] endobj 35 0 obj << /Encoding 8 0 R /Type/Font /Subtype/Type1 /Name/F3 /BaseFont/Times-Bold >> endobj 36 0 obj [5 0 R/XYZ 53.8 571.63] endobj 37 0 obj << /Type/Encoding /Differences[33/exclam/quotedblright/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/exclamdown/equal/questiondown/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/quotedblleft/bracketright/circumflex/dotaccent/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/endash/emdash/hungarumlaut/tilde/dieresis/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi 173/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/dieresis 255/dieresis] >> endobj 40 0 obj << /Encoding 37 0 R /Type/Font /Subtype/Type1 /Name/F4 /FontDescriptor 39 0 R /BaseFont/FWUYYS+CMR9 /FirstChar 33 /LastChar 196 /Widths[285.5 513.9 856.5 513.9 856.5 799.4 285.5 399.7 399.7 513.9 799.4 285.5 342.6 285.5 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 285.5 285.5 285.5 799.4 485.3 485.3 799.4 770.7 727.9 742.3 785 699.4 670.8 806.5 770.7 371 528.1 799.2 642.3 942 770.7 799.4 699.4 799.4 756.5 571 742.3 770.7 770.7 1056.2 770.7 770.7 628.1 285.5 513.9 285.5 513.9 285.5 285.5 513.9 571 456.8 571 457.2 314 513.9 571 285.5 314 542.4 285.5 856.5 571 513.9 571 542.4 402 405.4 399.7 571 542.4 742.3 542.4 542.4 456.8 513.9 1027.8 513.9 513.9 513.9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 642.3 856.5 799.4 713.6 685.2 770.7 742.3 799.4 742.3 799.4 0 0 742.3 599.5 571 571 856.5 856.5 285.5 314 513.9 513.9 513.9 513.9 513.9 770.7 456.8 513.9 742.3 799.4 513.9 927.8 1042 799.4 285.5 513.9] >> endobj 41 0 obj [5 0 R/XYZ 53.8 455.89] endobj 42 0 obj << /Rect[175.19 377.43 186.41 385.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.LY97:JVM) >> >> endobj 43 0 obj << /Rect[190.29 377.43 201.51 385.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Gong99:InsideJava2PlatformSecurity) >> >> endobj 44 0 obj << /Rect[264.57 377.43 271.17 385.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Box02:CLR) >> >> endobj 45 0 obj << /Rect[95.85 325.12 102.46 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BDF01:static-analysis-for-stack-inspection) >> >> endobj 46 0 obj << /Rect[106.09 325.12 112.7 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BJLMT01:ModelCheckingSecurityPropertiesOfControlFlowGraphs) >> >> endobj 47 0 obj << /Rect[116.33 325.12 122.94 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.ES00:IRMEnforcementOfJavaStackInspection) >> >> endobj 48 0 obj << /Rect[126.57 325.12 137.79 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.jensen-lemetayer-thorn:verification-control-flow-security) >> >> endobj 49 0 obj << /Rect[141.42 325.12 152.63 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Karjoth00:AnOperationalSemanticsOfJava2AccessControl) >> >> endobj 50 0 obj << /Rect[156.26 325.12 167.48 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 51 0 obj << /Rect[171.11 325.12 182.33 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.skalka-smith-00) >> >> endobj 52 0 obj << /Rect[185.96 325.12 197.17 332.9] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.wallach:safkasi) >> >> endobj 53 0 obj [5 0 R/XYZ 53.8 310.89] endobj 54 0 obj [5 0 R/XYZ 53.8 272.71] endobj 55 0 obj [5 0 R/XYZ 53.8 228.48] endobj 56 0 obj << /Encoding 8 0 R /Type/Font /Subtype/Type1 /Name/F5 /BaseFont/Times-Roman >> endobj 57 0 obj << /Type/Font /Subtype/Type1 /Name/F6 /BaseFont/Symbol >> endobj 60 0 obj << /Type/Font /Subtype/Type1 /Name/F7 /FontDescriptor 59 0 R /BaseFont/LWBOTO+CMSY9 /FirstChar 33 /LastChar 196 /Widths[1027.8 513.9 513.9 1027.8 1027.8 1027.8 799.4 1027.8 1027.8 628.1 628.1 1027.8 1027.8 1027.8 799.4 279.3 1027.8 685.2 685.2 913.6 913.6 0 0 571 571 685.2 513.9 742.3 742.3 799.4 799.4 628.1 821.1 673.6 542.6 793.8 542.4 736.3 610.9 871 562.7 696.6 782.2 707.9 1229.2 842.1 816.3 716.8 839.3 873.9 622.4 563.2 642.3 632.1 1017.5 732.4 685 742 685.2 685.2 685.2 685.2 685.2 628.1 628.1 456.8 456.8 456.8 456.8 513.9 513.9 399.7 399.7 285.5 513.9 513.9 628.1 513.9 285.5 856.5 770.7 856.5 428.2 685.2 685.2 799.4 799.4 456.8 456.8 456.8 628.1 799.4 799.4 799.4 799.4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 799.4 285.5 799.4 513.9 799.4 513.9 799.4 799.4 799.4 799.4 0 0 799.4 799.4 799.4 1027.8 513.9 513.9 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 1027.8 1027.8 799.4 799.4 1027.8 799.4] >> endobj 61 0 obj [5 0 R/XYZ 316.81 548.2] endobj 64 0 obj << /Type/Font /Subtype/Type1 /Name/F8 /FontDescriptor 63 0 R /BaseFont/DHIOFR+CMMI9 /FirstChar 33 /LastChar 196 /Widths[639.4 477.1 609.5 852.5 529.4 374.4 671.1 1027.8 1027.8 1027.8 1027.8 285.5 285.5 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 513.9 285.5 285.5 799.4 513.9 799.4 513.9 543.7 770.7 777.7 733.6 847.5 756.3 656.2 804.8 850.2 449.3 566.3 870.4 699.4 992.9 821.6 782.1 656.2 810.6 777.6 627.9 599.6 699.1 599.4 970.5 849 596.5 699.2 399.7 399.7 399.7 1027.8 1027.8 424.4 544.5 440.4 444.9 532.5 477.8 498.8 490.1 592.2 351.7 420.1 535.1 306.7 905.5 620 497.5 515.9 459.2 463.7 478.8 371.1 591.4 499.2 736.6 582.6 506.2 478 334.5 391.6 653.3 513.9 285.5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 627.7 856.5 782.1 713.6 760.6 850.2 799.2 599.5 685.2 631.1 0 0 792.1 658.7 579.2 530.8 455.9 416.4 450.6 513.2 481.1 363.8 592.2 599.5 619.2 506.9 450.6 588.2 529.4 587.7 452.4 556.3 611.7 640.8 670.5 285.5] >> endobj 65 0 obj << /Rect[383.34 472.69 394.56 480.47] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 66 0 obj << /Rect[399.89 472.69 411.1 480.47] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.skalka-smith-00) >> >> endobj 67 0 obj [5 0 R/XYZ 316.81 367.59] endobj 68 0 obj << /Encoding 8 0 R /Type/Font /Subtype/Type1 /Name/F9 /BaseFont/Times-Italic >> endobj 69 0 obj << /Type/Encoding /Differences[0/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/exclam/quotedblright/numbersign/sterling/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/exclamdown/equal/questiondown/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/quotedblleft/bracketright/circumflex/dotaccent/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/endash/emdash/hungarumlaut/tilde/dieresis/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi 173/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/dieresis 255/dieresis] >> endobj 72 0 obj << /Encoding 69 0 R /Type/Font /Subtype/Type1 /Name/F10 /FontDescriptor 71 0 R /BaseFont/OTESTL+CMTI9 /FirstChar 33 /LastChar 196 /Widths[314.8 527.8 839.5 786.1 839.5 787 314.8 419.8 419.8 524.7 787 314.8 367.3 314.8 524.7 524.7 524.7 524.7 524.7 524.7 524.7 524.7 524.7 524.7 524.7 314.8 314.8 314.8 787 524.7 524.7 787 763 722.5 734.6 775 696.3 670.1 794.1 763 395.7 538.9 789.2 643.8 920.4 763 787 696.3 787 748.8 577.2 734.6 763 763 1025.3 763 763 629.6 314.8 527.8 314.8 524.7 314.8 314.8 524.7 472.2 472.2 524.7 472.2 314.8 472.2 524.7 314.8 314.8 472.2 262.3 839.5 577.2 524.7 524.7 472.2 432.9 419.8 341.1 550.9 472.2 682.1 473.8 498.5 419.8 524.7 1049.4 524.7 524.7 524.7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 643.8 839.5 787 710.5 682.1 763 734.6 787 734.6 787 0 0 734.6 629.6 577.2 603.4 905.1 918.2 314.8 341.1 524.7 524.7 524.7 524.7 524.7 850.9 472.2 550.9 734.6 734.6 524.7 906.2 1011.1 787 262.3 524.7] >> endobj 74 0 obj << /Filter[/FlateDecode] /Length 4914 >> stream xZYF~_Q0XE>e!X%H=Xfeus"$Ko|G'(tgۄӟe5*7r#4.CN{Zc(xa_ z{?p఩C ybg_} M'@ZAۃݹ$r^C{% ˘P5Iz9E|ǎih%8m+eϧ8G›@.[txP$UY:tǻwwB^_m>8zPmcW\8ftSO(8]uhcQ.S(ޗc~9@3@< ha>VPRZ\#>bLd-tt1 u`+:؝0CE>U,Y.NBBjw1GI 8ω>K5F.͘K=R:)KPVGtrY!煰^,@3Pm[*zt(pz+X' /ǝk9 ]߾ۻ׷ vKh @o_ݾ~D*SQo@ RBZb5. Ō)`{9֧lؤŊ Q]+c4`{,BQe–h?tl}{7s7~ st9C8C7dϟ(\?>̟b y>)v6i΃PtWCMul* co||EIᒪJBpbPhP{Ʈ.k6g9x΃iJ#M6b}l;+MVPBq A4m8g$Q.-eB`JJ  s10#R{I\bà*BWs8wF4 r3rHW丈9e0vlBna&5DQOKvc7^bO.%ۥDݞGeJh,f/|BvytBV%E l??BXcD!ϮFBRh cM@ ^vA|-=h!Dw#[,15'fKOϞ6J໾/}5_!I?/]|!xufU/4Js@2{W(p+|}VQ(xz>Hw䁨뉁GtZ{\2L{ň4@CMDܝ(pM_9Z^;l 5f *ɧ?my$~Kл X$}8˙ ,$X[w{dl3A߲]l.u z^|$)@k&/`u‚@dDŽFW>ߛ~oĈupι' rb6'`Q^ tѱĔSZ_9VD ;H cSˮތ~8;&&Ur?9kI.A,\u. KQ"V*9|2(z}.: s0UaJg|v\v >(]@>s8q''~yJPž#q= TÚN'ěL=Es,rc6oV* Mۑ8}5p40EtBJ)b'Atsp: f "0H[(ǁf5JERh =Y$k[ueMR#J+xK{`!# V*ߢ6$塚vűidHL\A1mMb^MWV6{]^s9Vt,>t6LٗHVrC,=YDgs˝m %BYJt#)]BegN;V C3B占y3Px7O Z"9J{hHgv-]Uv)*fF# Ix|$і{uo߼ H)L|raH~m-m7Դy'�yH 8~$JOܕx6]`&P8r\R#~P38r~F{x/绮{y>? -rJ>%wy I'GHmG(gy89Cq$8ս}1C,-^LAZkAmjLNy]IHT= =YgKZl}hIIuiD:&cZ=sR=g9vf!=UW@^^ \jb${qcqXz1 ޳Bul]4z3WmbMN>ubEχ .eS` k.(K7戮kli_ϠwH0l0\_@?;s)93sʲBRk<Z$*Q^@x,K 9'ML@ s)4iIKL r~8fcW]Ff tpxY> g# =;Z9oe,`|Pԧ^D)]Aal5<ɯQN#}u9;FeҤY-ȝZ2<++U!aƜy@|>5Sy` )\UY;s3J^>d,9cx J?ego_VK!,q>8",e5yU@hmGsE\өA-giÓF˰霌_\FQ/2"$ dt1id4 %JAsڅY% 8 edrIcl]u֑ߙ밍UWڣN镌0{U3јcO|NQ0Bܳ  iRa endstream endobj 76 0 obj [42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 65 0 R 66 0 R] endobj 77 0 obj << /F1 9 0 R /F2 10 0 R /F3 35 0 R /F4 40 0 R /F5 56 0 R /F7 60 0 R /F8 64 0 R /F9 68 0 R /F10 72 0 R >> endobj 6 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 77 0 R >> endobj 80 0 obj [78 0 R/XYZ 53.8 763.11] endobj 81 0 obj << /Rect[84.22 633.09 95.43 640.87] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Hardy88:confused-deputy) >> >> endobj 82 0 obj << /Rect[99.94 633.09 111.16 640.87] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.wallach:safkasi) >> >> endobj 83 0 obj [78 0 R/XYZ 53.8 442.56] endobj 84 0 obj [78 0 R/XYZ 53.8 212.67] endobj 85 0 obj [78 0 R/XYZ 316.81 590.75] endobj 88 0 obj << /Encoding 37 0 R /Type/Font /Subtype/Type1 /Name/F11 /FontDescriptor 87 0 R /BaseFont/JNSTKS+CMR6 /FirstChar 33 /LastChar 196 /Widths[351.8 611.1 1000 611.1 1000 935.2 351.8 481.5 481.5 611.1 935.2 351.8 416.7 351.8 611.1 611.1 611.1 611.1 611.1 611.1 611.1 611.1 611.1 611.1 611.1 351.8 351.8 351.8 935.2 578.7 578.7 935.2 896.3 850.9 870.4 915.7 818.5 786.1 941.7 896.3 442.6 624.1 928.7 753.7 1090.7 896.3 935.2 818.5 935.2 883.3 675.9 870.4 896.3 896.3 1220.4 896.3 896.3 740.7 351.8 611.1 351.8 611.1 351.8 351.8 611.1 675.9 546.3 675.9 546.3 384.3 611.1 675.9 351.8 384.3 643.5 351.8 1000 675.9 611.1 675.9 643.5 481.5 488 481.5 675.9 643.5 870.4 643.5 643.5 546.3 611.1 1222.2 611.1 611.1 611.1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 753.7 1000 935.2 831.5 805.5 896.3 870.4 935.2 870.4 935.2 0 0 870.4 736.1 703.7 703.7 1055.5 1055.5 351.8 384.3 611.1 611.1 611.1 611.1 611.1 896.3 546.3 611.1 870.4 935.2 611.1 1077.8 1207.4 935.2 351.8 611.1] >> endobj 89 0 obj << /Rect[362.08 558.37 373.3 566.15] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.plotkin75) >> >> endobj 90 0 obj << /Rect[318.37 537.45 329.59 545.23] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 91 0 obj << /Rect[333.56 537.45 344.78 545.23] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.skalka-smith-00) >> >> endobj 92 0 obj << /Rect[449.06 456.62 455.67 464.39] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.1) >> >> endobj 93 0 obj << /Rect[522.26 446.16 528.87 453.93] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.2) >> >> endobj 94 0 obj << /Rect[544.16 397.76 550.77 405.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.3) >> >> endobj 95 0 obj << /Rect[446.92 376.84 453.53 384.62] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.4) >> >> endobj 96 0 obj << /Rect[360.18 227.75 366.79 235.53] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.5) >> >> endobj 97 0 obj << /Rect[385.5 227.75 392.11 235.53] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.6) >> >> endobj 98 0 obj << /Rect[401.33 154.52 407.94 162.3] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.7) >> >> endobj 99 0 obj << /Rect[426.93 154.52 433.54 162.3] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.8) >> >> endobj 100 0 obj << /Rect[540.58 136.45 551.8 144.23] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.FournetGordon02:StackInspectionTechReport) >> >> endobj 101 0 obj << /Filter[/FlateDecode] /Length 5972 >> stream xڭ\rȑW梤Y%S5=]ZLm*A &1RXMY}s zX=f 6=߿9'OYw?D7'7w7 =]n&ەݹmna^~/]ٗ-u}poyUW'*iᩰ5VUsO7>WrD;u]vﴡB<MRUy$ Óp?FЬXwhe(>C+UIں:,]*i''<&fs{T#Azy(֤o i3V3Þp_ ;a>}<įBኺ0McA2qfyk=9I2!S=Zk+Dԟ rA&y--7W  KB{+Ibow1'ѮEe\Tڱ>Jo7|8ɘ.qPP&頷(B86t 㹆k(~$BߎݡRn9h3ntq߷#_eS^0_nd?-$at뚿Cg>, h1#4o/3$s#weag0KN:Mt$H@E!xTJ( C{s+q谳{ ɏQ.]KQ#qH En)w rz@jKvOa~AADA>uzvGM֑v$mP2v8Jh婐=tya{G}΢갏c0N2<Mlђ mXZ^T?SPЁP#w)XJ58 C<}^YIѬ)!@kM0#V̚!=Թ/yl*>7f4rIA뵇%_]{H>VbIORx*f)ԪL/Y"dr$hMQ^(==㍂/heh>PԮD'w}FLThEf_z v4Ji61ktʾxRhgNJyG0' gTY{j@XFъ= a7\ R+b,M仏7`$)ٸEλ^BE@"tK$ G2V8稻a!tlPV*m%PJo^`^+08{i,a%fya k*)暡D8QBi7K(u^MqxQ#ǒWZ:Baܡyfs { -gjtw鲫KtKIAYCW=0&pG,{>hʚ{804 IZTMߗ8.X5[^|bAdQtM{m!9=rmg6UilGE}D@쫋(fs\B֖ N'9_ Pm:vF/9^(%&FVpb#~TYhN\3DՌjϷ1z,kB^^e@6i/!n($DZ:MQUIKKM-G˥ՠoel.c] ٢|CvhuQU8PÐd>S?EWdxzR1tLvDĩ,iP1|U&:5Pҡȗ=UAbxfrL2xbFŠh7$M] "N5*@HN,6KKN,LS>C k[pw7ohd. R{<:gv9Ɗ\.:DTi6@|bB,xvO?˅fpdNNllS1X碲ԑ^_u@.S`0 +(a0@K%zbo'N?VGYq(~&%*{Ҩ=1p3G˨KU^喫 ?o6c|iڐ< Ĥ#E;0;*v8 SW$ly7roN1Q̔,% 53ÿhU;'늣R2X,pm(md q ~GI,֋YZ=j S:4yn< {ȥ^`m& \KKWr2HǴ2 LTV:H~jSHhQ Zso֊nFEщzk+RӹT=wnkJ -*&jBs PW£BB??9ײ#*]v'Ѻ0n$V DZSg &Lw?Mi]YK+tp"{F3#0dbL.8I`XF$K- 6iG% {D)/U2L[~[-3VC 8\X;Blax+}]UMCcRhpńf4-d"\x +AY8eBdk4rIdW `$â' lK>?UMp E.cg 0C\e |=vZe8R9m/`s-&gzrV]Ai|1NIfHI) A |YaIu$I.+UkU Ye8@:5 ٔEwc70MqٰfPx$JʫtAt@E)狵=[n:B9ߟ2K{4%.Ej::6m \xW:^/:#V$fƁ;]3lXjUY0:^Hj>]$>Qi.CGDYW!4-$ Z7(v8?lu-^="sz٤xNGus? h*XByH 7ٶFSw\МQx~t~g%U}cdЁ8u>H9v|7lR|lYI_Ke/f kk77S@G;] O <%d~OeY#i/gZB6 0]*IpJq'>˴$H{qM"*MUє)a2&2hXdH+-aJ>u]:_/( ~V]ysBImr BqDҠ=u!m:o-rRk=yšl]PoЉA8|Ņo5)}8_'u:Lk'N 9el 9 ]4f{wuiƸGŴTv)*SK RdF\ w*( As:Pt@Fnl#S#m$[/UztS_'#}F"PlB(g 9B-SK$c8p|,܍5k $;xw$?[DySkj&^ L=UڬqF2Pin,5s<#~$MԤ_|>Kx*8řΕnΤ9e\RNxh9 ߺ8YƵa$\*`?YJb /2erOpJt v&Srȧ$bIP2Ii> RO{+~<09Db|(+t敉T'}[?&3?}Sf3k endstream endobj 102 0 obj [81 0 R 82 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R] endobj 103 0 obj << /F4 40 0 R /F10 72 0 R /F9 68 0 R /F8 64 0 R /F11 88 0 R /F7 60 0 R >> endobj 79 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 103 0 R >> endobj 106 0 obj [104 0 R/XYZ 53.8 763.11] endobj 107 0 obj [104 0 R/XYZ 53.8 738.2] endobj 108 0 obj << /Rect[153.48 703.83 164.69 711.61] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 109 0 obj [104 0 R/XYZ 53.8 674.62] endobj 112 0 obj << /Type/Font /Subtype/Type1 /Name/F12 /FontDescriptor 111 0 R /BaseFont/TEQTPW+CMCSC10 /FirstChar 0 /LastChar 127 /Widths[683.3 902.8 844.4 755.5 727.8 813.9 786.1 844.4 786.1 844.4 786.1 552.8 552.8 319.4 319.4 523.6 302.2 424.4 552.8 552.8 552.8 552.8 552.8 813.9 494.4 915.6 735.6 824.4 635.6 975 1091.7 844.4 319.4 319.4 552.8 902.8 552.8 902.8 844.4 319.4 436.1 436.1 552.8 844.4 319.4 377.8 319.4 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 319.4 319.4 844.4 844.4 844.4 523.6 844.4 813.9 770.8 786.1 829.2 741.7 712.5 851.4 813.9 405.6 566.7 843 683.3 988.9 813.9 844.4 741.7 844.4 800 611.1 786.1 813.9 813.9 1105.5 813.9 813.9 669.4 319.4 552.8 319.4 552.8 319.4 319.4 613.3 580 591.1 624.4 557.8 535.6 641.1 613.3 302.2 424.4 635.6 513.3 746.7 613.3 635.6 557.8 635.6 602.2 457.8 591.1 613.3 613.3 835.6 613.3 613.3 502.2 552.8 1105.5 552.8 552.8 552.8] >> endobj 115 0 obj << /Type/Font /Subtype/Type1 /Name/F13 /FontDescriptor 114 0 R /BaseFont/LSKJSR+CMSY6 /FirstChar 33 /LastChar 196 /Widths[1222.2 638.9 638.9 1222.2 1222.2 1222.2 963 1222.2 1222.2 768.5 768.5 1222.2 1222.2 1222.2 963 365.7 1222.2 833.3 833.3 1092.6 1092.6 0 0 703.7 703.7 833.3 638.9 898.1 898.1 963 963 768.5 989.9 813.3 678.4 961.2 671.3 879.9 746.7 1059.3 709.3 846.3 938.8 854.5 1427.2 1005.7 973 878.4 1008.3 1061.4 762 711.3 774.4 785.2 1222.7 883.7 823.9 884 833.3 833.3 833.3 833.3 833.3 768.5 768.5 574.1 574.1 574.1 574.1 638.9 638.9 509.3 509.3 379.6 638.9 638.9 768.5 638.9 379.6 1000 924.1 1027.8 541.7 833.3 833.3 963 963 574.1 574.1 574.1 768.5 963 963 963 963 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 963 379.6 963 638.9 963 638.9 963 963 963 963 0 0 963 963 963 1222.2 638.9 638.9 963 963 963 963 963 963 963 963 963 963 963 963 1222.2 1222.2 963 963 1222.2 963] >> endobj 116 0 obj << /Type/Encoding /Differences[0/x0/x1/x2/x3/x4/x5/x6/x7/x8/x9/xa/xb/xc/xd/xe/xf/x10/x11/x12/x13/x14/x15/x16/x17/x18/x19/x1a/x1b/x1c/x1d/x1e/x1f/x20/x21/x22/x23/x24/x25/x26/x27/x28/x29/x2a/x2b/x2c/x2d/x2e/x2f/x30/x31/x32/x33/x34/x35/x36/x37/x38/x39/x3a/x3b/x3c/x3d/x3e/x3f/x40/x41/x42/x43/x44/x45/x46/x47/x48/x49/x4a/x4b/x4c/x4d/x4e/x4f/x50/x51/x52/x53/x54/x55/x56/x57/x58/x59/x5a/x5b/x5c/x5d/x5e/x5f/x60/x61/x62/x63/x64/x65/x66/x67/x68/x69/x6a/x6b/x6c/x6d/x6e/x6f/x70/x71/x72/x73/x74/x75/x76/x77/x78/x79/x7a/x7b/x7c/x7d/x7e/x7f/x80/x81/x82/x83/x84/x85/x86/x87/x88/x89/x8a/x8b/x8c/x8d/x8e/x8f/x90/x91/x92/x93/x94/x95/x96/x97/x98/x99/x9a/x9b/x9c/x9d/x9e/x9f/xa0/xa1/xa2/xa3/xa4/xa5/xa6/xa7/xa8/xa9/xaa/xab/xac/xad/xae/xaf/xb0/xb1/xb2/xb3/xb4/xb5/xb6/xb7/xb8/xb9/xba/xbb/xbc/xbd/xbe/xbf/xc0/xc1/xc2/xc3/xc4/xc5/xc6/xc7/xc8/xc9/xca/xcb/xcc/xcd/xce/xcf/xd0/xd1/xd2/xd3/xd4/xd5/xd6/xd7/xd8/xd9/xda/xdb/xdc/xdd/xde/xdf/xe0/xe1/xe2/xe3/xe4/xe5/xe6/xe7/xe8/xe9/xea/xeb/xec/xed/xee/xef/xf0/xf1/xf2/xf3/xf4/xf5/xf6/xf7/xf8/xf9/xfa/xfb/xfc/xfd/xfe/xff] >> endobj 118 0 obj << /Rect[371.14 591.86 382.35 599.64] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 119 0 obj << /Rect[386.52 591.86 397.74 599.64] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.skalka-smith-00) >> >> endobj 122 0 obj << /Type/Font /Subtype/Type1 /Name/F15 /FontDescriptor 121 0 R /BaseFont/YZWBRB+CMMI6 /FirstChar 33 /LastChar 196 /Widths[779.9 586.7 750.7 1021.9 639 487.8 811.6 1222.2 1222.2 1222.2 1222.2 379.6 379.6 638.9 638.9 638.9 638.9 638.9 638.9 638.9 638.9 638.9 638.9 638.9 638.9 379.6 379.6 963 638.9 963 638.9 658.7 924.1 926.6 883.7 998.3 899.8 775 952.9 999.5 547.7 681.6 1025.7 846.3 1161.6 967.1 934.1 780 966.5 922.1 756.7 731.1 838.1 729.6 1150.9 1001.4 726.4 837.7 509.3 509.3 509.3 1222.2 1222.2 518.5 674.9 547.7 559.1 642.5 589 600.7 607.7 725.7 445.6 511.6 660.9 401.6 1093.7 769.7 612.5 642.5 570.7 579.9 584.5 476.8 737.3 625 893.2 697.9 633.1 596.1 445.6 479.2 787.2 638.9 379.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 742.6 1027.8 934.1 859.3 907.4 999.5 951.6 736.1 833.3 781.2 0 0 946 804.5 698 652 566.2 523.3 571.8 644 590.3 466.4 725.7 736.1 750 621.5 571.8 726.7 639 716.5 582.1 689.8 742.1 767.4 819.4 379.6] >> endobj 125 0 obj << /Type/Font /Subtype/Type1 /Name/F16 /FontDescriptor 124 0 R /BaseFont/TDPQWT+CMR5 /FirstChar 33 /LastChar 196 /Widths[402.8 680.6 1097.2 680.6 1097.2 1027.8 402.8 541.7 541.7 680.6 1027.8 402.8 472.2 402.8 680.6 680.6 680.6 680.6 680.6 680.6 680.6 680.6 680.6 680.6 680.6 402.8 402.8 1027.8 1027.8 1027.8 645.8 1027.8 980.6 934.7 958.3 1004.2 900 865.3 1033.4 980.6 494.5 691.7 1015.3 830.6 1188.9 980.6 1027.8 900 1027.8 969.5 750 958.3 980.6 980.6 1327.8 980.6 980.6 819.5 402.8 680.6 402.8 680.6 402.8 402.8 680.6 750 611.1 750 611.1 437.5 680.6 750 402.8 437.5 715.3 402.8 1097.2 750 680.6 750 715.3 541.7 548.6 541.7 750 715.3 958.3 715.3 715.3 611.1 680.6 1361.1 680.6 680.6 680.6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 830.6 1097.2 1027.8 911.1 888.9 980.6 958.3 1027.8 958.3 1027.8 0 0 958.3 680.6 680.6 402.8 402.8 645.8 402.8 437.5 680.6 680.6 680.6 680.6 680.6 980.6 611.1 680.6 958.3 1027.8 680.6 1177.8 1316.7 1027.8 402.8 680.6] >> endobj 126 0 obj [104 0 R/XYZ 316.81 481.09] endobj 127 0 obj [104 0 R/XYZ 316.81 385.08] endobj 128 0 obj [104 0 R/XYZ 387.93 385.08] endobj 129 0 obj [104 0 R/XYZ 316.81 349.27] endobj 130 0 obj [104 0 R/XYZ 414.29 349.27] endobj 131 0 obj [104 0 R/XYZ 481.15 349.27] endobj 132 0 obj [104 0 R/XYZ 316.81 313.19] endobj 133 0 obj [104 0 R/XYZ 385.66 313.19] endobj 134 0 obj [104 0 R/XYZ 316.81 277.11] endobj 135 0 obj [104 0 R/XYZ 380.58 277.11] endobj 136 0 obj [104 0 R/XYZ 316.81 247.89] endobj 137 0 obj << /Rect[350.76 207.44 402 218.4] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.1) >> >> endobj 138 0 obj << /Rect[406.53 207.44 456.22 218.4] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.2) >> >> endobj 139 0 obj << /Rect[479.37 207.44 528.04 218.4] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 140 0 obj << /Rect[467.13 186.52 517.47 197.48] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.4) >> >> endobj 141 0 obj << /Rect[536.36 186.52 556.92 197.48] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.5) >> >> endobj 142 0 obj << /Rect[315.81 176.06 343.03 187.02] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.5) >> >> endobj 143 0 obj << /Rect[355.85 165.6 407.8 176.56] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.6) >> >> endobj 144 0 obj << /Rect[425.54 165.6 476.15 176.56] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.7) >> >> endobj 145 0 obj << /Rect[401.75 144.67 454.98 155.64] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 146 0 obj << /Rect[473.47 144.67 525.35 155.64] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.9) >> >> endobj 147 0 obj << /Rect[433.17 113.29 478.16 124.26] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.10) >> >> endobj 148 0 obj << /Filter[/FlateDecode] /Length 6842 >> stream x]Y6~_QV r86>&<;$q]˪Z73q-ɻ 2"|q˟ߓ],?P,rvbUO,|g7+/k}MU+eP${߾/A@ઠN BySfUT|iO{UԺXX>ox<7Ay5n}/nWرt'τރW3P1"r-J,ʬZuz< 5߽Z7e{9}f@2_wWHEű+VfLiA 5ˤ 4ZoO:݋NQo094PJm&uV gUPR-ۇ-} rfE ?ЏMCwf}8*˥޽1$gDtNywwY$ݪY^{qO< bik$뭬tѼ3d~}{jϺRg3/R5LyFu4î3Da_H yxSr]w5CL5Rdlj*^q,BRnQ@ؚK5˻<&yb6TƤwrUq?52``Uf)F(KɷUPpB]eJ.v^d%[l^mWW]8j<KZH[W^e,58Rr:D1;/cAm"OnVjimonVߍZ:$ˉ^IU 9˛(f%4|dXr~pC,dtjQyڙ\U A )]jnykEt}c>މKL=%SfԮX觨@~0rg8[ovT/<_]s4_("Z5#?4bJrJCjK?ZSSޮ} f1/ov; ̹FVZ~ c/%|^6y5}׼۶8;^XnݘgIG/ @fKG._A><ҬϚTrf` QߵxxL\U-D䴯㠯wa ea12 y %նȰ\80uxٟǽ!^Z**<:{xά.munuӝ, %,t©-s\4JSk <ZR~gE̸㽦ۦmyٽ9Y-jnؒL`!ؼrL _5 sZRk@,Gwq8Řd|c9&w+3F[h2#@G 4Ka{],2%`mVB2#@V(EK0h3-.흋7xC(he J,j待o`Si DI%9]o :\p񯵸sDh2EE% ̘Pdq_yA,ճ?پ-0a׮op{_LH`̉?jkΛ Q\П}OFN[KؒAJ v&B6H=!ȿڶfz )B!v4+`g~Qv tFdzi6UFQuxՔ3e0;w~(s 5ӀS,y ^txNA_VUјwnCҀ6VV=fu=N /Tare|6Pc;t1h>zL?u" e3V~nЯIY+H #lR"fQzO腮@ ̃a62@9s_:YŐ{1)}8"CCrQٰ.(2ǥ>Y$)t=Lhkz(*PpT=`:Єu9rκ`1.y$ ף)^&[S`iL(U0A]rA-xh兏փP =*F=?t'sA*CKhKoCҠ ۦnokg; >!v@í. %Te)=jFoط u8',͢_W4^"f9Ɓp L11S(yCn!0$(GySaiҳ60ޞWê D`TK$;r9 @vk%8k/7KY0A}F&Vq?lbJ%ԋj)XY.ؕ*v<ĩ R^5 >C|IqBuA҇;'dAsݾ{[vńնK6V; K-KkC2GC55$*LMulRB꥗JcP{MCA%`e䶖 Z6m0m["I ' K mZ!XK4z` !È#X~@n&tL/x \pgl"44mtECHemzژp*HLh<_G ec +A/͢Rk!%n`ȲeQ1i~iojB2EY*59 ^Q멼DnK E~O 96<9u'@FFS0JPwj- Lo#OOB%3 WdhlJ1sQtue/:Afn]vA"K͗F'Ux>Fnm+dՅo5]i2i>(e^l|eݩM^-6sr(`zѡ8{79raI|N j4dȈ;caR;"-D)ݽqVaS:c*'P´ RQ# | 擁&tOH+Q`Mx|8@?b&HhUblˀ <({6 65{_ʫD%[{-Ey=,2À>k޽]cwa!t=Ӱ= b@rɊztK)O^{k cqӿ}Է^E_N~&bV*H)ہd` :s& $*lطZn9D[b\Z$LyUh"GVnߑ? ?Î(}|]G!WebCM( /&kxNӊ=_sASEk$=ekBOm()Ġz9`9o@b2h6LndL;it7'@cfU(BM=S&H3Btmab^v=N罷U6Э9Z>nOL҆(퍔ʅ@DJ`SP0VWkM# *c橴ːŦ `-Ur_=%mk>34fA ɱV_4[+NV [}v2Bbtm ΥOF%sg]bncg!9z_ELAZ}utԀ}\(6a?Sh'+q|vM6Kx"7udAXvSr:Ǵ&Br6zܢi(+fۖd6&GDθ.}{M>r9K&HJa{iH7C(7Ꝋ>޵)Ar8OL N.g8W^.`Aқ|05+7taXF;&7!8>@1hb:Pj w]Zl=%Rq1=7?%K=YsSly2sA =9)pO{BcnN#Hc~rSYw= P҈lws?)tL{<9uun{nSU|kIM:? ! ,)v{~QprMS &5j8n0eW1D՜Ϋ{ M`%%,*L]Hr09(tNzIfvDJxMHxAqĚ}\)v۱<)h($D||!iο$=A.H*Z}uē&a4lx5t9^UM;\j |`Lˑr9M@BKyy+VDB*QrXiPs0Ǵ^@,.)d^d`{B{BA[ehL"aP3Mg':>^ACGܟήőU߸ܗSd2M99=jݙP\߂Y-zK`x(3_nJqBGOfAY97hQq>ڛeC1#6vqvma Hìh=|92 ǹr\X6JvB/C뤨?ͫ?OMV)j[d&.5gJ%R ~Dn#Y=3:TAVgv/ y endstream endobj 149 0 obj [108 0 R 118 0 R 119 0 R 137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R 147 0 R] endobj 150 0 obj << /F3 35 0 R /F4 40 0 R /F8 64 0 R /F11 88 0 R /F7 60 0 R /F10 72 0 R /F12 112 0 R /F13 115 0 R /F14 117 0 R /F15 122 0 R /F16 125 0 R >> endobj 105 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 150 0 R >> endobj 153 0 obj [151 0 R/XYZ 53.8 763.11] endobj 154 0 obj << /Rect[201.21 651.77 253.93 662.74] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.6) >> >> endobj 155 0 obj << /Rect[273.22 651.77 293.9 662.74] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.7) >> >> endobj 156 0 obj << /Rect[52.8 641.31 82.27 652.28] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.7) >> >> endobj 157 0 obj << /Rect[158.61 622.63 169.82 630.41] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.wallach:safkasi) >> >> endobj 158 0 obj << /Rect[267.57 622.63 274.18 630.41] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BN01:SimpleSemanticsAndStaticAnalysisForJavaSecurity) >> >> endobj 159 0 obj << /Rect[277.57 622.63 288.78 630.41] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Gong99:InsideJava2PlatformSecurity) >> >> endobj 160 0 obj << /Rect[233.97 570.33 245.19 578.11] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 161 0 obj << /Rect[124.79 538.95 136 546.72] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Gong99:InsideJava2PlatformSecurity) >> >> endobj 162 0 obj << /Rect[139.63 538.95 150.85 546.72] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.wallach:safkasi) >> >> endobj 163 0 obj [151 0 R/XYZ 53.8 467.39] endobj 164 0 obj [151 0 R/XYZ 53.8 142] endobj 165 0 obj [151 0 R/XYZ 316.81 738.2] endobj 166 0 obj [151 0 R/XYZ 349.67 637.92] endobj 167 0 obj << /Rect[536.49 575.92 543.09 583.7] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.1) >> >> endobj 168 0 obj << /Rect[547.75 491.3 554.36 499.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.6) >> >> endobj 169 0 obj [151 0 R/XYZ 316.81 480.53] endobj 170 0 obj [151 0 R/XYZ 373.84 388.96] endobj 171 0 obj << /Rect[355.5 334.44 362.1 342.22] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.3) >> >> endobj 172 0 obj [151 0 R/XYZ 316.81 323.17] endobj 173 0 obj [151 0 R/XYZ 352.38 221.64] endobj 174 0 obj [151 0 R/XYZ 316.81 141.41] endobj 175 0 obj << /Filter[/FlateDecode] /Length 6020 >> stream x\[s8~_'6b KgӕTު8DP=/ID w(Z\/g|-b_?|F-0O<1IMyT.?YP\Ԕv[{[xӇ&sM8ciFya_ByOU(Ef8@dd}levTgKFAwCM/"ͰK*j{]˶+onH4{3H+WAW~]7\^6ekAG# -.jpB")1|>N5u,N`7miX+-W-*uoڽ!z{q!u6閛UR.roi++D\ G;]ѷ}_lu ɭböpixMnUqyP /pB zj̽2J$13n:yN,-QL 'Hbf7E4b&0҇, 3e,v!(^de(xhsPzbkS;xRγ0R_X:@\`4PV T|Da~P@27,0}r_ |Dg0ۛK}M9" \uЄ,~0к:Z4tAE$.fߜe:hMyq6h P#?2L,*0N|UlP(AkoU]=pD$Xj+ .$ǙKDٙJ}`Z: Vb{Mʝ^bOHaAWw *@Ia^^?-w[nhL6ԃE2Dm*~|f)U18:@"׋sjIyJ?jLzQa6 $=AW`8:z)< }c |I%'ԡ`i|Ioh|;*6>`L.u}IH9)4 G?rj41qOKQYgp#g3? KϊԌSO~NLo/Fɵ/~2@AGQ\**AZNC{4g pSq@Ka jiQ嶸$SG"Bom7>-lsߙĻVhXfo #:`[ߚ jU",InࣹnL} $m,`v52xT2no–~hƱj(,ֈ3yǗH-vƺ[cY pwź\#Ų\,žaTuL jű{.Eԉ;8lń'Ma bյe}ŵ PǯC޿@+'jdAcɨVN"&HqQ٠۠v#'=)1slKБ4Kr=Sē(%n6[L3p}ъ~Z[B^ۅۦڮ[E=ጔD# sC1DYg>I=agk/pKd"yu(hыAN goJM@2U2fX=ŋ fz ӣ/Є6o9DI$IcZϨblL>gKP""v?]7g纉ԨZIચgv.y!tձ94;#$MLA*zM>gEۍ{t8z735 Fז*8׷$8QXCTEHfFŁnO&9fKv.n (CHaT̲ǯ)hqt, !/ E$yCq`>i[qfȡt,P[k^PXG,j2efTd\4e3wLZ5' 3,\/c DݾYnz2<'Zx}6!Й`MQvv]u]lch9z]5yWҦ| t=A&xt:7 -d`;.+DA&Zy|95i$I:#I1$в[ڤT{v)JZ%9k@_yVC6=f~ Ty˻Jۓ9&5ſrN77I2Q,l2(a(͓- KQoIfVS/1z>]I\W0Ҍu\T!\ɴ7L)mYW']NkN, R's悓oeY/QK87N9,+gԭBJUÌSZir:pw 9m\JkZҬOWlkĦV/ANHsR0Uk~C`v|îR!C,a'Wu6@^++a[Sm޿H4Tl?|rD~)}5iRs˯b$+}lݔa޼Y"-& Sݐ ~]Ÿ0+N=Rz^d?Od=K`([_Nfcn L@ǺtbM^})NiܞEr&YTiXw?Mo.#Kj'aFdexT*\zt #qP#= T}3t/.lL"/$dO@ bL7$ OMJT {sUEpO$c=^:C/ g>乢d@H(MBGz1Ϙ #&`*7D0@M-6A~ڷ|mwG&͋(t= j:)-:8Vl<V! l).q"9tm36x(sA׷b1Z 22UyC{8[%9ͯIh#4%(cPl6ib$FYo ~(yq-C3"'(S D\(RX@ d{tI*N)y ziXƙGx%K7#FXApmN} :W޵$ [sC <#bqʄi8OWN2V|oK*591o8gR}Kί8QW5xu]nˆxIJ\ OӻiB\0*MLR*Xܟgm|$ ~X@o.@Cx 3*˓[+lv{^fMVE]6o0r9apztq?r`:Gԧ p^0'8DTn%j^Us.sg2몽Y}\7f`N|;wr}!+ @9/p, vSrکIo 9 /HlOĉzɥ}}8/ [>22*շ?*T2Ûjfr,Ne&@*^]٨8$b^đmvmq)rqSM| KXPE-q:/G94T0"P0K(Xq=5-XEO3il^qN;oq\.1)y/"P<F٘S2SQ&VWޖ<.{8UBFE˦f+^vc\Ÿkq\{۔݂a8*Ğ1uvH';v'Y0~>b{lD\-upAuѬpo,Tvᦏo7wU{Wu>rGbq6т\%]qj7ď&;Ŧ˹>h2d%=u1g~}ܼ9H9dڻ>X\&HJ=ȥ0YlLCQy:a~4c2%gҤ]4 +stjq`_$ځ9׬ rK腉,#\j^(Z^mbP&Tv7-gb5H#<jݼlZ LV~e8)?%DtPutOv.j@RR w#h>nz ,_GU)Tu9eWWFऔ̈́hljDݺ .կhLAi`#4vh[CZ<=;Xi0KHY]mrJZIs:VmٍnZGX][ <+ 5uG\EZȐK0JQp\2 QI?jN^cwhT7?Ro2iSY> endobj 152 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 177 0 R >> endobj 180 0 obj [178 0 R/XYZ 53.8 763.11] endobj 181 0 obj [178 0 R/XYZ 77.6 669.5] endobj 182 0 obj [178 0 R/XYZ 53.8 611.19] endobj 183 0 obj [178 0 R/XYZ 71.52 491.76] endobj 185 0 obj << /Rect[226.39 163.77 237.61 171.55] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Gong99:InsideJava2PlatformSecurity) >> >> endobj 186 0 obj [178 0 R/XYZ 53.8 88.89] endobj 187 0 obj << /Rect[540.58 716.78 551.8 724.56] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.morris68) >> >> endobj 188 0 obj [178 0 R/XYZ 316.81 496.21] endobj 189 0 obj [178 0 R/XYZ 442.95 390.75] endobj 190 0 obj [178 0 R/XYZ 460.87 380.29] endobj 191 0 obj [178 0 R/XYZ 432.08 362.11] endobj 192 0 obj [178 0 R/XYZ 470.94 351.65] endobj 193 0 obj [178 0 R/XYZ 395.23 312.55] endobj 194 0 obj [178 0 R/XYZ 520.43 302.09] endobj 195 0 obj [178 0 R/XYZ 545.2 281.17] endobj 196 0 obj [178 0 R/XYZ 506.73 270.7] endobj 197 0 obj [178 0 R/XYZ 452.53 260.24] endobj 198 0 obj [178 0 R/XYZ 537.24 239.32] endobj 199 0 obj [178 0 R/XYZ 497.59 218.4] endobj 200 0 obj [178 0 R/XYZ 512.81 197.48] endobj 201 0 obj [178 0 R/XYZ 493.93 176.56] endobj 202 0 obj [178 0 R/XYZ 450.62 145.18] endobj 203 0 obj [178 0 R/XYZ 470.69 113.79] endobj 204 0 obj [178 0 R/XYZ 430.61 85.15] endobj 205 0 obj << /Filter[/FlateDecode] /Length 6307 >> stream x=Iw6z %8nO<ݙ,Ut-2Yo`Q䥓>4IJgqggt/?mW,\䑄'^}g^ϓ8fQev7fQVi{~*HFn&W~خoWծjqt/j?H̐˺]wsu61(őWs=!Uv0Է Yٶ[꼨]wf `8we3&[Fش(\55̛EM+Rࣶa:Eնjwt[MLGw JG݊bDBEZ }$5+JjZmq56%wDC7i;H578®ٷjYLGˤ)f]op!J4M2+Tb %RYV˖w+2igf.T̶0dt +RKRvfY#-iF Y}\ymfQ$ 짷Ȳ4-hES8A q{(5ىoN bMEks3͋F$s$g*%~ʉ2 $喛Z~mD@lǍLpQ#-rg^"C{ɜ.0G8x(䚈CZu ەazgfC xy-]+{݅wӮ4BfH &][i5ORsS޶ܧ.f[Zʁ* QXmM}}(,87nxm)=\oy_fD^׬% dx&oWoet>W":әt$duel FR*diץ>5I--]$gx(4Ӻk|9L<ˊҨ}9A!joݩ,j<"! $:AWP|[yy ^:/VvOZ&}֤Wu׶^+n-"d H q*hᢋ %MH7fDAG'/fMf?#h n!K5Ub 8Ԧ]Q'؁'UO*y LJEvZ$@+Ю`2Y(9<4Ɉ1ӹ = e>0VJvs&3ZF轄UƳ`@sM5/y`]$G0ϱW˗E q\" $Q,cJCȍCav0.dAåm(Dm܆IDh"{*ʳDQkCN ; 4y/i!9z#Ō3^%,J"r9K`'"*N+k$t̳!Ʈ[ωFya#( P@sQ?!qU>Ё:Q'OEx踘SnDAT 5;t&oLY"Ynٺo+f"AFA6$4ѳ,%@S"pMY96g{}a.mxa8*ή+4Jł5t_]ծ1~F;r ls .-wL@$ *Ot#xxF Al?-Gu׽ele5H5eh@vG#/)0j%#嶜}. X itFn{Z=I0僑Vlh`5T I%Cў77zCzOt !t Fr2\G)k]|{G˼(~`#0JF!IA5F.r=5h -NF0mr [ʒw~u'OG\B/=(AH5+lkLhCDS.8NL?4:Nt>~Us 4I`.R<e%F[xzb(sg^G룶PH$0Ĕl(u'/2:Cxֻpݾy_[7Ϸ|]$A}ug5} Ͳ (bcK SWwtq%߻ ><'WB¬KfA+ӯm$Me!R ( ٲuݶ־$zP0f,E`Wh9mzt>`dI1ɲ?ۼcGt7oT0H˩jQA@9ٰ뻪8um[J苃س\rlHҽq9$b5wp^3`,Frs^SI|lD,F5h w"j!L/q50xa8h!h Oڡ (",Us:`dI)H0$ RN'Z?R@xZh!* kYm¥UYFj]Y5Puf bJh],gM ,懞L1ҌSb^K\W)W+?XzVmm~m݀f>w< lk[#P!o,>PVD;Ɏ="*l|9݃kjcIg9AKbf-ґ;W2 a{W2)eP Ddz/yXW9ُ_~S2MqJQ&-0 kSnZMkMmY)ڪykʳQIU%3yh_p;b(VC YMí/LX%1O=5p%yV"slCb]X.Fr(#Q{ )~́#9Ǽ^ i, %$/Ϳd,#NL#-_!$bm 9I k͎(?H{Ȣ3g^}cX[]iR Qs,Ŗu.53AhUI[l,M0_6/9 # WŸ`n >cuSo(Q;6_@ 13_ҷ\YM^<`oKW9L=/"aU?sY5 Gހ ]MkT."{c HxQW&ͅK(YN -ۤ϶wz ^ؘ zBPvnȳAx]~8ij'@І3vեosjP @%AzZrB$SBrF0/o(WO(PZD{-[4yUh ݢh'ݯ-Ύs2ߏG~YJ6S{?AFe"K8qX l>:lGCUXҼ^iO"=u,.O)q$5 O/GGYc fKo˓e5O|0^$3\?yrigD#\>tLR?H&q;'0 ܷl(;8 ?Z:V65ehn y, U5xc1 u1@Rƾ8%{1Q剣GVҝNģPmh-xO1k$\BE]a y4._qbQ#9UNj!Q|R#9]>4 xt< S@k#.XKƆ?!9=j8=|vsQԣƨg2ssw1bO'ۙ1&(QucJ8 =suMdnG#,Ljx4<=?Os]Ok8>g>yN!T/ O5O[MHF5dHijӴ~Y&7ńg!Nv+RGz;R?}6u\oeqo䯩|Dz WQ#/['O([ LR®ٛpG(gџ<8C5IrDTjEI{fHPQgeyn_ A?Θ@62ЁDz|9ΩB20x4y*e?!>㙏nL>\ex%l<-?OzT2'ς :$!>r+CUW?=jx 2R rP՘ l9FL/> endobj 179 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 207 0 R >> endobj 210 0 obj [208 0 R/XYZ 53.8 763.11] endobj 211 0 obj [208 0 R/XYZ 165.11 738.7] endobj 212 0 obj [208 0 R/XYZ 244.65 728.24] endobj 213 0 obj [208 0 R/XYZ 242.14 707.32] endobj 214 0 obj [208 0 R/XYZ 252.57 686.4] endobj 215 0 obj [208 0 R/XYZ 289.85 665.47] endobj 216 0 obj [208 0 R/XYZ 267.78 655.01] endobj 217 0 obj [208 0 R/XYZ 201.75 626.37] endobj 218 0 obj [208 0 R/XYZ 198 615.91] endobj 219 0 obj [208 0 R/XYZ 253.88 605.45] endobj 220 0 obj [208 0 R/XYZ 213.15 584.53] endobj 221 0 obj [208 0 R/XYZ 167.39 555.89] endobj 222 0 obj [208 0 R/XYZ 166.35 545.42] endobj 223 0 obj [208 0 R/XYZ 201.45 513.46] endobj 224 0 obj [208 0 R/XYZ 168.99 495.28] endobj 225 0 obj [208 0 R/XYZ 212.85 484.82] endobj 226 0 obj [208 0 R/XYZ 239.11 474.36] endobj 227 0 obj [208 0 R/XYZ 240.17 463.9] endobj 228 0 obj [208 0 R/XYZ 53.8 441.27] endobj 229 0 obj << /Rect[272.83 385.27 293.9 396.24] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.11) >> >> endobj 230 0 obj << /Rect[52.8 374.81 77.2 385.78] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.11) >> >> endobj 231 0 obj << /Rect[95.34 374.81 137.1 385.78] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.12) >> >> endobj 232 0 obj << /Rect[258.08 345.67 269.3 353.45] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Moggi89:NotionsOfComputationsAndMonads) >> >> endobj 233 0 obj << /Rect[82.5 332.97 126.99 343.93] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.39) >> >> endobj 234 0 obj << /Rect[130.63 332.97 170.77 343.93] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.13) >> >> endobj 235 0 obj << /Rect[192.32 332.97 231.44 343.93] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.14) >> >> endobj 236 0 obj << /Rect[146.79 291.12 209.24 302.09] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.18) >> >> endobj 237 0 obj << /Rect[52.8 270.2 141.78 281.17] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.19) >> >> endobj 238 0 obj << /Rect[122.32 259.74 174.15 270.71] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.17) >> >> endobj 239 0 obj << /Rect[194.97 259.74 245.46 270.71] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.29) >> >> endobj 240 0 obj << /Rect[160.11 228.36 244.36 239.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.16) >> >> endobj 241 0 obj << /Rect[72.86 176.06 134.01 187.02] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.21) >> >> endobj 242 0 obj << /Rect[137.47 176.06 198.63 187.02] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.31) >> >> endobj 243 0 obj << /Rect[202.09 176.06 291.34 187.02] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.22) >> >> endobj 244 0 obj << /Rect[52.8 165.6 140.97 176.56] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.32) >> >> endobj 245 0 obj << /Rect[162.35 155.13 237.11 166.1] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.25) >> >> endobj 246 0 obj << /Rect[52.8 102.83 114.27 113.8] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.21) >> >> endobj 247 0 obj << /Rect[133.46 102.83 176.85 113.8] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.26) >> >> endobj 248 0 obj [208 0 R/XYZ 456.93 717.78] endobj 249 0 obj [208 0 R/XYZ 316.81 537.68] endobj 250 0 obj [208 0 R/XYZ 316.81 431.38] endobj 251 0 obj << /Rect[358.82 398.25 365.43 406.03] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.5) >> >> endobj 252 0 obj [208 0 R/XYZ 316.81 387.48] endobj 253 0 obj << /Rect[544.16 377.76 550.77 385.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.8) >> >> endobj 254 0 obj << /Rect[453.44 367.3 467.22 375.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.2.3) >> >> endobj 255 0 obj << /Rect[341.72 344.14 383.65 355.11] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.15) >> >> endobj 256 0 obj [208 0 R/XYZ 316.81 282.02] endobj 257 0 obj << /Rect[486.68 199.58 497.9 207.35] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.securityoptimization) >> >> endobj 258 0 obj << /Rect[427.07 186.87 480.02 197.84] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.36) >> >> endobj 259 0 obj [208 0 R/XYZ 316.81 145.67] endobj 260 0 obj [208 0 R/XYZ 375.66 85.15] endobj 261 0 obj << /Filter[/FlateDecode] /Length 7112 >> stream x]Y8r~h?-;B%.ؘ쎽koHrH*:z*I_<$Aѭ8AH$2I$pC??KG}Ezf!X7o^T/w2ۚ*IڞvX[~(igh.ullWE "~a'Kzng7A,d,@ e&0dAbvaްUFɊIi7&.r,YƢg)< }$գFo+{=ůĬA7$. nn.N3]wtW\Ip<,4 6;yr5T:Id``U_c/[خst-dnBS-(񵗂Ybj qj!Ok:NLx巷bꌮi\d(HRwD;*evwd;i.]u Q Bss0COI- kx ң^n:z\c GDQ Q='UXpM, ^_lٔ z8}!~CsII_~f&_"Ns +u~3RGٯ;zr!I ]ov\tmal[pCeE--+ \&b0a4:i9,2̶y<ϓ*ZPr8s$^$0:شޠ[g=w6|zy>aMStfnς}_5Umufܭ]: XlBk7#ôns_ɨYϪ$[|)cf˱hw.UhQ\V;L{47fT/,#G$pno/ՠ31%H( ;sE/mͥgF3h|X։UVmIhM~Zd_>Tͥ'erI~E},ncEX#^;E;x)d4sl0 [&uߕ| aBbk AC]VD=H%jd{u.W&pr fgњ^ufh*<ץO>QR4JeFAkv9hޘ;'L~ , ~78gu#KcUQlmuB%GU[B_/`ZoZ@dDlBݥtQ Į="',As5h ]|Hfco͉TOoQ&i6}S6/{;` 6X4 0NN 2.|[}Bud-3ņ=^iVҤ.T$y %9Fcmu4W=mx{?.^H oGU>wj;]:RX=twN6c.w;'i0E=bњnHOJqH`LV'fh[wsǿKɁ5=Em{WH޴H:Z7! `^$> L-z|62RzOk-GG&w} gEs6K^2셿'Ug 'ɠG4M#=hO XʼnH^?0o%kL7˺ *(3ߥĩ;}xR/5fޚÕUaI e&<}i]_fv "1@TwvfB's1&֓\K|uWCP8+p(fXX82-([y H1`<82罳]l'fsęX7nAh5pUs=ذ/Ɣ^uV _BNi ?[y94<QA<1`^͢L\VVv9ڔ""4umRr0)+C/CM7\]8 H\NXzo:$+ݠBkTa4T2y}]7vwfNccpdPh"or*uep>wܮL`lYs1Y+Q[OL˟+9=򗫳z;"Y ?3gߎC dJYj0}ΰgt$ =2>.Z|ͩEY$g QHm[=J;?lM?k-*Eg 6a!,__p`:HR1U+|֮ 1dMЭpЩ}ɥ3&NԼF!`*̩jOo< 8X*7~!)Q2q䀚U:6 ψ1AIE;TAP)W)L)$*_DB횁K 9qZAKcl8+lЖm#G$~xkh)wr.Zz)OFBRv4pfZ¬TG <᱔dO:=g;㘠E'/PR#. JS c,`59bD6 mC#+CU 8&2wRb̔ U(_i0 /p1/.nJDm+LER [dV+Kx:sFR+2;=UR;6K0e 6v mRn?.r%}x H;ǯ!H =X9``ҲeBAƷRPHDeΘ+o{ $+Zy\dq.) ׏֕"D W“fu0ΎnԷc|=vZuC7`Y[zl `!:bV[ (AB&;3 AE`ڝ Ak,,9W^cs:HM6]A!;;65 H%:lOPö]l<(s.A3^Y([ᅫ$md (9JrV0 iɷ;j?W-@Xn]ڜ\Z.ߍY5h!3 ZTQl^Ċ`]YwEj<\fn{`-9ݤ _#H[`tDG)T!E"A8BIqHDJúƉc';27L4w|O}u;d>FhomJ!4v95c -2A L5>1ӯl{ \RCsQr6Ԟ,՛E'c2$"" |lↁ<2zYg iU ^$AIt$Ty btux/r7|:e+r}#h%zke2wMmtM|ptͲaOsŕ%[ W,szˊp['6:QEgxH`SFl|+*pv{\:nG2jUSy?;ߍwV3O'U`vb|Sp?y{tz\rڛMɅlQhaYw?vY6O``d3؃V%.k$N|A;N|pQ`}0@n({RTyP2h(g roc)S7Yz}'E~(w0s_H<+Lս{q߆1t]DGm|);{EQ b_uA/}Pݶ  N&qNcO(Ϡ) >ZJfi|kny< ح~z5i0+ِ7|%6 rUx;ϙ DN%M Yd 6'㚍e=ww K9. |:KF B y[>#<ˇh: $_kϡ _6ժ$޻% YI+C#KZ 0-# Lk|]I>xɹXHPmжMX`tdXrz/ #XlKтN]gRM m7;wL&#onKW"٠]E5ֱtw YY9IZkSxex8_31K gZɪ.*V)tn7@SCso3-ůs"^SfAWg?qQ|ߌd;:ϔl&E_WwU'+=]zq7 /&3PY?g 8Y?3ekT&UXMdc G 59#nkrnnj$s_&?RFxf.LjJn=ZEF3jGJhyIehH1wG:u#1ghC ޴5z/h~>kW]Q+sBR 3`0b " 괆7㞋6{J ' zmeO킌a&[2hQ &'eמxePJMNΈ@MxJR' endstream endobj 262 0 obj [229 0 R 230 0 R 231 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R 240 0 R 241 0 R 242 0 R 243 0 R 244 0 R 245 0 R 246 0 R 247 0 R 251 0 R 253 0 R 254 0 R 255 0 R 257 0 R 258 0 R] endobj 263 0 obj << /F4 40 0 R /F8 64 0 R /F10 72 0 R /F7 60 0 R /F11 88 0 R /F14 117 0 R /F12 112 0 R /F15 122 0 R /F13 115 0 R /F16 125 0 R /F3 35 0 R /F9 68 0 R >> endobj 209 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 263 0 R >> endobj 266 0 obj [264 0 R/XYZ 53.8 763.11] endobj 267 0 obj << /Rect[102.44 591.53 109.05 599.31] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.2) >> >> endobj 268 0 obj [264 0 R/XYZ 53.8 564.23] endobj 269 0 obj << /Rect[214.54 497.98 221.15 505.76] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.AO93:FullAbstractionInTheLazyLambdaCalculus) >> >> endobj 270 0 obj << /Rect[144.32 466.59 155.53 474.37] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Howe96:ProvingCongruence) >> >> endobj 271 0 obj << /Rect[169.33 435.21 175.94 442.99] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.1) >> >> endobj 272 0 obj << /Rect[142.14 278.3 153.36 286.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.hoots95) >> >> endobj 273 0 obj [264 0 R/XYZ 53.8 230.67] endobj 274 0 obj [264 0 R/XYZ 53.8 217.19] endobj 275 0 obj [264 0 R/XYZ 445.86 686.4] endobj 276 0 obj [264 0 R/XYZ 432.31 619.15] endobj 277 0 obj << /Rect[527.71 571.82 541.49 579.6] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.4.1) >> >> endobj 278 0 obj << /Rect[405.91 561.36 412.52 569.14] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.4) >> >> endobj 279 0 obj [264 0 R/XYZ 316.81 529.24] endobj 280 0 obj << /Rect[505.17 427.06 516.38 434.84] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.milner77) >> >> endobj 281 0 obj [264 0 R/XYZ 316.81 396.58] endobj 282 0 obj << /Rect[540.58 337.3 554.36 345.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.4.1) >> >> endobj 283 0 obj [264 0 R/XYZ 316.81 230.11] endobj 284 0 obj [264 0 R/XYZ 316.81 157.83] endobj 285 0 obj [264 0 R/XYZ 316.81 108.21] endobj 286 0 obj << /Filter[/FlateDecode] /Length 6334 >> stream xڽ<[6+z:b8'fdvg2}@Wݬ_?En'ٗ*_tIru{E?#j_]4߾{B^q]ڊ<7}Kn#E~jzf_Zu*cz_H&2ΊiSDm*-s=cFhwa{l7PKm'aH㼰O~|} w gGE I2jrj_OP1L TuǺq/,y=#i\h;lka?&_-2JMTOm0؟vw]9, cYsec*c_am[6rfRMzvc,nLpkĭ`XgePv\_p5bm\hit\f~Ⴥu,ܴݱ<6dY]qkrá^l"lCSh'd깴<|@qE~""_j**Bu6G|Ɏj) 7 *VdR>M:}CE:")':PoD~*n]G6,Wnii 7ۙ&BGJ&tPd2C"v%H'-AĦ32Bꆿ`t_( X@{sKsYly흥#ZZH`c׷"tj &QI㣊S2 <3;>Gv"'T5 *~; 4/&|CRDMEiŨ?" O-e+LJ?&[:0ld]O f9VU%$)΋U-ĬTen$@޻7{$N9MG% \kfW﫞_Ý$A%I3D!8-I*@ F4 \Bw:ew{:Z[;\d *QT#V D"Ki.؞KH*BfD,:O_'79:ECqLbV9W0xE".,{\ҟCeZ>陔C n8#'Ytr/CblI1oMר)^AO}N= ,+ mBgl:))sD+=Z.ԫ\+P/BglIUi\@+kI̿8&Vh*sR#KIA7fŗO[>~^ [T^.24oKܿ 惡bB3&D;酤PAHq,zcڙ7$5i+<>u)GjT2 sPo(j Ee.w?fR?b颚*s6 Ͽd5=ߧI ϳuuƙ{lE.{muY%//K>iYe+cBΙڭ9z'H'nN9Aswʂ$I]3%j"s))'V adK Ui uUm fH/|YWc*$I) -$Gʮo Aqc3_H[FD|L~+{| - ReTE6Ǚa br 4^> @)ţ}xfhsdF!z $FEH/T"Y)r M}Uڧv݇Cwڡv>%S ?Y'sP8U)F)wE[U FHmXR v4nLJd ;b2][nJ%[WM|md7b-]+? qhچ#vMw ؃P iaKZJ.fFvĠӧ@3u=l&,WRsRXceEmd?!3ƒ~B.їQfNXvZGIv-zǥ=Ac`VJDq T55qѴXT\o7S7(~ѯJ {THaY`)eE {s!jmEeXGFIAO޷,)=zaQT8ÁArp(3~˱+A! |+#XhE %Rߩ FY9O?P}enDζf |n.e!O"p qY:mY5̘hE ћf1Q/QSyROjA 0LtI-n%c Df?8 DA{~Ir3Re ]y: \7Zt0TOީZgȑu6@ U2 }IfgR? `*? 6 )w:j6E_֐S i tˠ<>_o9i?+ xX4YE !P-=kX-/6\<"i)x(PQYH1vѶ$K Aހ|z =EOJ} =,#5[ƚ7Kϡ Da<<٭o?_a.,vghDrCDf!BoVHƱ/wW~*‰ZjUYAt3wdܬ?1dF>]񆒱00,n;(ٴ,e%Ә]llv6ӋRzq^] +[˛|_<|acEٞ;g2 ȅLsmP<.?2uuB\&GbNw?q!hw~5K-KQ33؃ܽ 3Lz S6&S)tU掠@:iLl3CuֹAlbs^>Ulɦn\?`^4rv(l/=mw?5[V;(<Nݘݸ Ćeۯ42e$ʠuE^42A5 왪NKK8.at$ SO/\%ԢvWjsVN$uK*P 32|U%͞{'& .0qgRtXFV{26Ju lhk6 lf"hy3; 0YE!(#y~\t5NZ/сNɞ T:C̫ptB zT=н;?_b0ILCVa?hҾ?Q:k2~ 6J.Mޭh[3z7ڄXF[[NXttA;(S3:Ty J> endobj 265 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 288 0 R >> endobj 291 0 obj [289 0 R/XYZ 53.8 763.11] endobj 292 0 obj [289 0 R/XYZ 53.8 641.5] endobj 293 0 obj [289 0 R/XYZ 112.87 487.85] endobj 294 0 obj << /Rect[198.28 436.71 244.82 447.68] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.11) >> >> endobj 295 0 obj [289 0 R/XYZ 109.1 423.44] endobj 296 0 obj << /Rect[157.77 368.57 164.38 376.35] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.9) >> >> endobj 297 0 obj << /Rect[115.57 316.27 122.18 324.05] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.9) >> >> endobj 298 0 obj << /Rect[167.54 182.23 230.26 193.19] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.18) >> >> endobj 299 0 obj << /Rect[242.4 163.55 249.01 171.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.9) >> >> endobj 300 0 obj [289 0 R/XYZ 53.8 162.31] endobj 301 0 obj [289 0 R/XYZ 53.8 106.32] endobj 302 0 obj << /Rect[545.19 695.86 551.8 703.64] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Box02:CLR) >> >> endobj 303 0 obj << /Rect[357.61 601.71 364.22 609.49] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BKR98:CompilingSMLtoJavaBytecodes) >> >> endobj 304 0 obj << /Rect[367.85 601.71 379.07 609.49] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.SO01:TailCallEliminationOnTheJVM) >> >> endobj 305 0 obj [289 0 R/XYZ 400.2 555.29] endobj 306 0 obj << /Rect[334.26 517.33 340.87 525.11] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.2) >> >> endobj 307 0 obj << /Rect[394.88 515.09 447.87 526.06] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 308 0 obj << /Rect[396.71 422.5 407.92 430.27] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.11) >> >> endobj 309 0 obj << /Rect[428.88 401.57 435.48 409.35] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.3) >> >> endobj 310 0 obj << /Rect[460.09 401.57 466.69 409.35] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.3) >> >> endobj 311 0 obj << /Rect[511.77 401.57 518.38 409.35] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.3) >> >> endobj 312 0 obj << /Rect[546.72 345.59 553.33 353.37] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(equation.6) >> >> endobj 313 0 obj << /Rect[369.85 335.13 376.46 342.91] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.3) >> >> endobj 314 0 obj << /Rect[492.82 205.59 539.18 216.55] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.11) >> >> endobj 315 0 obj << /Rect[338.23 195.13 401.97 206.09] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.18) >> >> endobj 316 0 obj << /Rect[460.15 197.37 473.93 205.15] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.4.1) >> >> endobj 317 0 obj << /Rect[477.29 84.15 523.07 95.12] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.11) >> >> endobj 318 0 obj << /Rect[526.09 84.15 556.92 95.12] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.22) >> >> endobj 319 0 obj << /Rect[338.23 73.69 396.01 84.66] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.22) >> >> endobj 320 0 obj << /Rect[417.56 73.69 480.28 84.66] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.18) >> >> endobj 321 0 obj << /Filter[/FlateDecode] /Length 6766 >> stream x][Fv~ϯduE 7XnΈQ9!5Vs*d{4Y,rjm_=\_#ϻ^l'WW|+I}uJhWt%_EZ'yT®j_U"*T+(o72ƽpP_6Бj#N]s:oe-m~pɑjѡ?r}q,9ׂTMޕ0 #+ u(;pTS]q,*zs:ũ~W7 $bqn״{u#jHqaq[ O"3}{mdMYqp5ICFę* a 706Qdik+3H} 5t+5-V᷅>[CuMe/I'G+Xi.o"jf? ?6:ފ"X4dZH)NI~˭WWaEeA@E)vA=,dߠ bqMbv3;]lbmjŮyYڮsS+%aܓLlsit :c7+^L>fs{q6=_b_څO$~af?x著og5Օ6g)l508^J+`&wj cRJR{Ȳ37E ܾw":.-TA*x"ϞdۢP\ٚ _?6ݑl޷cXd^q?J*CJɄC=q۲U'DeP]@C[E+$:-|Xl!'% |RvRFXuRa'g(ORcxAPؿ/v0Ue׆)M\iKw=p,2׃@ :C1fhßR霉n,g.[h馽@nahx#jOZ^> &kݩ:tDXhՎh{V0 !U^ѯS;x6ǟ@UŅgd@^t`}aZ՚&lo,k0l+Ē8ʶ=޶Gvxui޼9 6=V렪z:S ?Y4fa5ycfőܣlXZ=. Z#Xns9u2ƃ$2'a-CPTQImfA;筂a(^1 w`bFyyj uv Q"jv< X{RJ9wjB!#ML!(e)@}(V0A)U6rb_'AZPLN" n* n* nUz2ƐEonx裇$1p' nҊʑܢN~:LerפJ:55&<Ġ[i+O$hVuZfWZ*4b Zi7]:$k4Jp k#:Y`sZNMʦ7F;uQ Uţ|Q+:Wבڢ;X4G/nBފ®gg `HRJp Ђ/^%IhXDA³ós]O.q耸n+NÜl< (VZwqi8p Gnqkw T9GL~㡆^L/gXIn2V,4Go( f:D Ȥwܰm x˃N)L<~e~dmΆy.ecFxZ6&@vqdR$g-:\Ŀc{%یG6 p#[X]O۲;Q$, _:G0bzhȶnvA ]X=lm||!C~lv4PBI+1az:0]n6pl  d*z_Ne7syFv&g`)kS)0}գfАU͍Y\f` -9GAw >ո?xx`#+r:@_\Nz-+χ 5 ț oV%C0&+Θߕ9<nHԋ@D *d ns"!"i39 <Ζ[ԄQeeVgeO~ups~+l!JGݱ=0I)2XQd7cYƤ`P/XXϟ䐝<52HwoAJ[_P>CO1^1ӥhbJ`ygW/4=LigR؞[h2.B݀8mi\wY׸ֿfm}hLf-ayjfVtGcѲ%V ׳< 6_;C^yR.BmÜWǮy"n'yww݁e߯h{,R'Oѳ@o&l<]Q 3THt/wUbo`ڞ?YrՌ ˗ WY 3d0KzIFCy'{6~F{&Dӂq>Nrg~"04YKad#cj$e:Mo%)%Sv Q/E?vRμ#rXٱ|"A"+ٞ\F( |(a$L3Yx.J6%j tZM<~ π^*ǵAZ%+U^`1yG"V">Ne!iه- ?ON?#ɇTG1.cуMuaL)]l*ٰ,O :\dǞZF |V1'@g3!ʜm {5h/qǧ-_LPl6 wԲ;_YՌHvJ(sz3r ֬fJ5M<|&uvvy!~c 0MNadUO97RO}+pAhȬR},fGd38@(6v9/Kf%[W[`(?MSr2a8Xe4%X9^s@MWz7rH1|UZCKMK& F[].Gg$$45# C4;W} !{޲.\!y`0{gwA]c\ ywg8IqS_fg({46_08#8"S)i:bQ' N2C+'/`9:> endobj 290 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 323 0 R >> endobj 326 0 obj [324 0 R/XYZ 53.8 763.11] endobj 327 0 obj [324 0 R/XYZ 53.8 738.2] endobj 328 0 obj [324 0 R/XYZ 53.8 632.16] endobj 329 0 obj [324 0 R/XYZ 53.8 438.2] endobj 330 0 obj << /Rect[133.32 357.79 139.93 365.57] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.3) >> >> endobj 331 0 obj << /Rect[277.57 326.41 288.78 334.19] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.leroy-rouaix-99:applets) >> >> endobj 332 0 obj [324 0 R/XYZ 53.8 103.31] endobj 333 0 obj << /Rect[436.23 622.63 450 630.41] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.2.3) >> >> endobj 334 0 obj << /Rect[530.02 612.17 536.63 619.95] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.6) >> >> endobj 335 0 obj [324 0 R/XYZ 316.81 586.92] endobj 336 0 obj << /Rect[404.58 537.54 465.82 548.51] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.21) >> >> endobj 337 0 obj << /Rect[484.54 537.54 545.78 548.51] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.31) >> >> endobj 338 0 obj [324 0 R/XYZ 316.81 522.05] endobj 339 0 obj << /Rect[433.28 333.73 478.87 344.7] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.11) >> >> endobj 340 0 obj << /Rect[495.95 333.73 534.12 344.7] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.14) >> >> endobj 341 0 obj << /Rect[528.32 315.05 534.93 322.83] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.6) >> >> endobj 342 0 obj [324 0 R/XYZ 316.81 297.81] endobj 343 0 obj << /Rect[538.4 105.07 545.01 112.85] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.6) >> >> endobj 344 0 obj << /Filter[/FlateDecode] /Length 6587 >> stream x\Ks6P̉UqH< >X}(*RKܒG{  `H/8I..{^\L~'/4.ŇۋMŇor&IF$חZEnU;.o߼{w z*2~ t.5~tr#SCy+ފn9P ʨCEOܗMf/z.R#QKJH96Em[xo*Z[4lc_7w|s_v GWI!tC{~C$!/d=%"K_ʒK}u{VUUc|]ջrkq?!%84@t$wUSu˶q^+LR2/yd|F렸-_U{RgQե  FcҾ:\#eP" vUATޖbA#4S&c]@#|FSgAHN˶-to&Rsr^nj{zV86A8&vDbS.M5<q M,3[kY]=/-`)KOb|mb 8}n $RgY8E(' jNmfb~Nlq\UEgtp_.R6Lѱx7tQc}΋بpl&u#׀EPAMDZ,eug [nyI7eBݤhg VvTYM+?q%PEZ8@H L'ϱH!J~Y…Ԗ' .)vhCN#;MpJF%xJ{ҜL`e{Zq33=5e &N1n@YXUG'DHX]{b>l)5hM0AKxđ@h_  (qX"Ұ^ Uj+N֪~XO;:>W*RRM%| bz.``T#@BxPrbeI:T73ٗ 9֪Xhtl@z-( +xfoS =d )&5H͞-b#OM8X)r*t,e1ml,U ?Q=g}lp1e@MCjsVumD]\:҉3K&K"li(mduM@S҆פ1:G݋}Ja!=V#_g2Vy,{%( Q3熝=,:KYɶ#@:uv5kіJ=%@; 4{ULQoL8 udߟ\ 0߉O;rt"GڠTZB6iwWNLʮדMF]gv] Я2u%ؚuh!O*r:0:.&]]ڴ.VVo8 |Be~ƅשbQ5p^Y<8ڼ MҌ>.肍|PAo/pg'".t`=HhpW~%WW-FW‹_F̂lpם-"sA- 12A0E;݊_zB?ޏ:"Ռ f`K\H*ڰ@;B8Ia>AF-E )Nru&\H8ѵ%^lÂDQ_ \Eh>;20W{7d-@&ځy J.F'M#kdX;$TR [t0'Si)bEF~M:OxmވŽf=0e=ZdL_Qj*^X{n`Y6Y췹4hXrxpFG|[[ {3GI[6q-:s\I3 )Ry9nCq^(@A~6x%@ #- ߉ttUٷMy fb, 3;w`ZF|оl5ifAC3˪YbCrh7(PH R/cCK)D0@ ,-+G kֱ+t,:daj9g#`hEk}hqLe/Dahx_[9_`8wSaVY :3f㼣W,l7}vs񫅗_[gFNo ũSl!O.|m qtu_r1ZRgXL qW1W":9Ȭqvp򧺷 n"EִEw@[)J'::IPF mW#8~iXzYPD߁QmP`uͮr]lCUnbV4&E?qc%6!QAy}Z$ݾ`4TN5?9ӊ!Fznasa_ta3!G8BgXkb= 0ɽ!2Ž͘>ECex̮&ۯ 2H&y/Cqz;pa{(a\:,޸JF -2Th1\Ovq, LÏ\ OG^UˋWlQ+$s9SƃAK,'F щ[.$(u/^I|kJ RP4 ~䛹, aŚ̟>).Ñxc1nеSN$ 5}6 2TaF*{TǺĒlRBr/K6Ӵ/ЌE(25l,db-t#R^"Ϸ]P.d„_ ]tb\E6_a ~=4p*^Jܖ$X-+cmǔFݱKopDq:Y@k }^ j0Y؛4Y\]F(=Zc:^pZ!^I--G8¢|z8+gyn g鼫%^˥=v^7Kh3TCs=>ǙYƛvY 9|vZ /0Ѓ8S/zTMdPGL 4>}e[l0eOh&w4rTi:k}B^30 El/17ĎN/q0~)-02=7ߖFKQS,M0yܱ :}8JD\ qc fl{C2xYy>|'ی'WMVФ;t:\ ,VUgz)(L<3/i|MS}I;DžV#n{ m1 z5!5I9=ώm9l{.m I:7)S)&$d "Bڱ~%-i|\ogEgAmeş[p_*[aͩ,=b[3гŘ ~W%cV{s-1,S.f[cW:cwiN4͟p'cx |z pĆff )qxh/6N\m :N 6yhج; Iu3;MHRAt6`T't(a4 2 )7 e٠u !@w$PG#vȜ slJſ8 Pàw()uePՇɶ lAz0neil ׌_\YB E E6Ef#Ԯx$h\wavّC!H\C/rDNNJir_[. N8ZECUmaYTTa>ՠ|*<5#[*8G5F[_MipUxjꪾJhRCAB H[{kC:Qct]Fň^qz6ۄ!,*vf$6O(Lkz>,﮸3.g9TtVb5DVcf V(a"P(pV}}'b}4UNPpS~51q#"<{tȾ`|^%,ԷOMS~0%J'~ c/%>!}d$TMi3$MF.`NlNDgL"⒒[mh֔IΜyF=g+`0葡c͏Sy\{_inR"?F9"[~,H3PÞ)~yREٸV:/e@S~Iq)XVr1~[IuL5_)%wp ue߻~K{a_Cg:[ tI#.MBN `֘j.wV7E_oXpp,:ߵ]=b"oMliWcJL?ÇԁٰLV2 o|QΞ>sZ(Zf(9/Lq 7$\Hl%Q_kG0! yGџ/[=ϗs>\Sp/p9 ftV;"g -YA k#.\2D1`*_$SiW%CpgT^ԅ8R/?wYXɀ#M`(>B&3y 'INxhزq*ɱ6p}],Hfs&^X"iD,U_앪^Lbbe4X%#goYBԹ,|f ΅71nV_mW._7 endstream endobj 345 0 obj [330 0 R 331 0 R 333 0 R 334 0 R 336 0 R 337 0 R 339 0 R 340 0 R 341 0 R 343 0 R] endobj 346 0 obj << /F3 35 0 R /F4 40 0 R /F10 72 0 R /F8 64 0 R /F7 60 0 R /F12 112 0 R /F13 115 0 R /F16 125 0 R /F11 88 0 R >> endobj 325 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 346 0 R >> endobj 349 0 obj [347 0 R/XYZ 53.8 763.11] endobj 350 0 obj [347 0 R/XYZ 53.8 738.2] endobj 351 0 obj << /Rect[284.73 651.52 291.34 659.3] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.2) >> >> endobj 352 0 obj << /Rect[138.24 628.36 191.72 639.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 353 0 obj << /Rect[241.71 628.36 283.64 639.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.15) >> >> endobj 354 0 obj << /Rect[52.8 578.77 106.28 589.74] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 355 0 obj << /Rect[109.91 578.77 158.88 589.74] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.2) >> >> endobj 356 0 obj << /Rect[180.43 578.77 229.27 589.74] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.5) >> >> endobj 357 0 obj [347 0 R/XYZ 53.8 565.9] endobj 358 0 obj [347 0 R/XYZ 151.97 565.9] endobj 359 0 obj [347 0 R/XYZ 53.8 530.09] endobj 360 0 obj [347 0 R/XYZ 156.23 530.09] endobj 361 0 obj [347 0 R/XYZ 226.62 530.09] endobj 362 0 obj << /Rect[216.78 495.08 230.55 502.86] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.2.2) >> >> endobj 363 0 obj << /Rect[235.21 492.84 283.16 503.8] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 364 0 obj << /Rect[52.8 482.38 98.24 493.34] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.10) >> >> endobj 365 0 obj << /Rect[101.88 482.38 152.41 493.34] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.1) >> >> endobj 366 0 obj << /Rect[156.04 482.38 208.62 493.34] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.6) >> >> endobj 367 0 obj << /Rect[212.25 482.38 262.65 493.34] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.4) >> >> endobj 368 0 obj << /Rect[87.41 462.63 166.35 473.59] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.44) >> >> endobj 369 0 obj << /Rect[170.45 462.63 250.94 473.59] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.46) >> >> endobj 370 0 obj << /Rect[273.34 462.63 293.9 473.59] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.47) >> >> endobj 371 0 obj << /Rect[52.8 452.17 83.62 463.13] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.47) >> >> endobj 372 0 obj << /Rect[131.66 452.17 186.28 463.13] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 373 0 obj << /Rect[86.01 347.56 162.14 358.53] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.44) >> >> endobj 374 0 obj << /Rect[179.08 347.56 256.77 358.53] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.46) >> >> endobj 375 0 obj << /Rect[66.58 318.42 73.19 326.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.abadi-lampson-levy96:dependencies) >> >> endobj 376 0 obj << /Rect[134.53 287.04 141.13 294.81] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(theorem.6) >> >> endobj 377 0 obj [347 0 R/XYZ 53.8 254.91] endobj 378 0 obj [347 0 R/XYZ 53.8 149.45] endobj 379 0 obj << /Rect[213.91 101.87 291.34 112.84] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.44) >> >> endobj 380 0 obj << /Rect[134.14 91.41 181.38 102.38] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 381 0 obj << /Rect[282.17 83.19 288.78 90.97] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.abadi-lampson-levy96:dependencies) >> >> endobj 382 0 obj << /Rect[315.81 704.59 363.76 715.55] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 383 0 obj [347 0 R/XYZ 424.28 718.29] endobj 384 0 obj << /Rect[483.43 683.28 497.2 691.06] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.2.2) >> >> endobj 385 0 obj << /Rect[516.19 683.28 529.97 691.06] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.6.2) >> >> endobj 386 0 obj << /Rect[315.81 670.58 366.34 681.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.1) >> >> endobj 387 0 obj << /Rect[369.97 670.58 431.49 681.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.45) >> >> endobj 388 0 obj << /Rect[435.12 670.58 487.7 681.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.6) >> >> endobj 389 0 obj << /Rect[491.33 670.58 536.78 681.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.10) >> >> endobj 390 0 obj << /Rect[315.81 660.12 395.55 671.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.46) >> >> endobj 391 0 obj << /Rect[393.55 660.12 446 671.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.47) >> >> endobj 392 0 obj << /Rect[444 660.12 494.4 671.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.4) >> >> endobj 393 0 obj << /Rect[492.4 660.12 553.79 671.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.48) >> >> endobj 394 0 obj << /Rect[360.3 624.86 409.49 635.83] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 395 0 obj << /Rect[315.81 577.7 369.29 588.67] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 396 0 obj [347 0 R/XYZ 429.81 591.4] endobj 397 0 obj << /Rect[483.43 556.39 497.2 564.17] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.2.2) >> >> endobj 398 0 obj << /Rect[516.19 556.39 529.97 564.17] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.6.2) >> >> endobj 399 0 obj << /Rect[315.81 543.69 366.34 554.66] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.1) >> >> endobj 400 0 obj << /Rect[369.97 543.69 418.94 554.66] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.2) >> >> endobj 401 0 obj << /Rect[422.58 543.69 475.16 554.66] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.6) >> >> endobj 402 0 obj << /Rect[478.79 543.69 526.74 554.66] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 403 0 obj << /Rect[315.81 533.23 361.26 544.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.10) >> >> endobj 404 0 obj << /Rect[364.89 533.23 417.34 544.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.47) >> >> endobj 405 0 obj << /Rect[420.97 533.23 471.37 544.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.4) >> >> endobj 406 0 obj << /Rect[475 533.23 523.85 544.2] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.5) >> >> endobj 409 0 obj << /Encoding 37 0 R /Type/Font /Subtype/Type1 /Name/F18 /FontDescriptor 408 0 R /BaseFont/AYAXWD+CMR8 /FirstChar 33 /LastChar 196 /Widths[295.1 531.3 885.4 531.3 885.4 826.4 295.1 413.2 413.2 531.3 826.4 295.1 354.2 295.1 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 531.3 295.1 295.1 295.1 826.4 501.7 501.7 826.4 795.8 752.1 767.4 811.1 722.6 693.1 833.5 795.8 382.6 545.5 825.4 663.6 972.9 795.8 826.4 722.6 826.4 781.6 590.3 767.4 795.8 795.8 1091 795.8 795.8 649.3 295.1 531.3 295.1 531.3 295.1 295.1 531.3 590.3 472.2 590.3 472.2 324.7 531.3 590.3 295.1 324.7 560.8 295.1 885.4 590.3 531.3 590.3 560.8 414.1 419.1 413.2 590.3 560.8 767.4 560.8 560.8 472.2 531.3 1062.5 531.3 531.3 531.3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 663.6 885.4 826.4 736.8 708.3 795.8 767.4 826.4 767.4 826.4 0 0 767.4 619.8 590.3 590.3 885.4 885.4 295.1 324.7 531.3 531.3 531.3 531.3 531.3 795.8 472.2 531.3 767.4 826.4 531.3 958.7 1076.8 826.4 295.1 531.3] >> endobj 410 0 obj << /Rect[358.2 368.78 407.48 378.75] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.8) >> >> endobj 411 0 obj << /Rect[419.14 368.78 463.35 378.75] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 412 0 obj << /Rect[349.67 353.11 416 363.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.50) >> >> endobj 413 0 obj << /Rect[427.67 353.11 471.88 363.08] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 414 0 obj << /Rect[382.91 337.44 438.64 347.41] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.49) >> >> endobj 415 0 obj << /Rect[346.85 321.78 418.83 331.75] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.44) >> >> endobj 416 0 obj << /Rect[430.49 321.78 474.7 331.75] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.3) >> >> endobj 417 0 obj [347 0 R/XYZ 474.41 269.26] endobj 418 0 obj [347 0 R/XYZ 316.81 203.96] endobj 419 0 obj << /Rect[395.89 105.07 402.5 112.85] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.3) >> >> endobj 420 0 obj << /Rect[423.46 105.07 430.06 112.85] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.6) >> >> endobj 421 0 obj << /Rect[388.24 73.69 394.85 81.47] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.4) >> >> endobj 422 0 obj << /Rect[415.98 73.69 422.59 81.47] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.5) >> >> endobj 423 0 obj << /Filter[/FlateDecode] /Length 6901 >> stream x=Y{6+e/˃Iv3M泽CEI5$[o}ʙ$(Tꄮ0O&Kvu/"wWs $EEYX|yP,Gx e ەr[o* ~SQ0Y\%ip_O@wyPmYszXҌ掫ڇ ժjڬ-Lf'L$ uB˂r_G f2 8Xo'~Y@-O,0~ci6Œ6Xi?~[-pZR V0UB)Һmiq զ.iaP6y ;V|O[QcgQTZT-kq7$ 8>m >PƤdC P F@83l gJ r1)&^qS>0t:J|ov-d˘UaW6C׿"Q,UːYU< 0u0=P3B}u(7w,VA*g ncG$}:vB+<|y 0D}*F[3:uCa4̀^}3$TT?re1boCaMomd.$afiMD , r% :$<}ǜp=GW-r+)T^%q+`m j$ԙ-8 #vx$>d:6!F?w4hwkKKBŒ Y3۪Y-]?n)mg SoK԰RiwlH0I3"ba R&7; 0xZ>]g)DsR :ߩ;;uɆCOx,]s[ @}l(=i`> Њ(ߑ]"+fbۧ$PчhT{=>S`eV3qL>(k7B`e@gZWt; 3t[ M2=ŒqㄧjNsá.hlP:L{h'3!z~à4@$GI}^d{,Ct8e82862 Ȭ=Qi] ?nav,\0ņ嚶,k9=soqi,<6}X. +cٮX([B0X(M(g?ë\&͘_#ϟH?̍ s32`#f#&X_J=Lx uլL=mO)u[)vQcUo֫҂+,a^њ?Xt1٬̕B* 0~= הұ7Ee-5mxJ(]k\Dz c5r?z.5#z-w͵q̊eѐ$Jtv[ J+~s0=feMڕla~<>k2p ?vV P.fatlI:1-]_wЖeG|Ej^l>LXdE*E.>!n`FG[. Cˆ GXn&9 @j+dx|`Cc6`2O$3 Z3vIQzg@ܺM~kvM6T61UͥCR۲٘ʶ-SaGT 3{!!Guq]ŵA'aBR%ָ3 ;0GBlȭȓG`\Oֱ_?s6%M̑f̸dSs=EjF@ڋ$ q06CӲ['|q~@ͮ6/, $T=mB\xn^<3S,<&}'kpZ RK꛱uy3ͧq̋!}$,Qᇫ#7f޲S$1zaZg@FdQ gQo! -  !׻([Xǎc[w Ȕjb!Q̈t Ccy߉yuQ})׹/CM>]=^r]M^ح[z7QiF4F.u&+tؘijk+/PEd}"a8Eh (*ȁ0!݆7F8,h>V*uFm7wD*XFh3za1{Q>dSob?k\VA3zA#Bh|)џPvME}@h9qa ɮ["F D( Jf捀fiǭ7-GbGey<O0#̱!GxG*IbYT+~DmZ/5V)[SN9av"W@d¼@i @J缅޼a,dvc4\r"Umh$q؝mcA+zg&KIgx[6U Exc+c%‡]SN; ls`r(yH4C#Xe }Wc@8; пkztdBs}k]|_=l P&Ai l @'e*xXJd 6A{1{"{4bbBuC&>*!ԩeψK (*jc zļ&"cgy@Zr y8.z#5i[2 ‡ivGh(]tKLDi%PYE/df[ݐȺ e*?$VV%m~<0&HcчO;;[0 ч?q^wbl=Òo CrfR撌ƑE& v8˲%=xK oebdU7RSd4yEӓyz:7,Ht\{VR/F$I8!+j'Qי?,"dhLGFEyfЛ-Sy *RW{祚܏Q m>͢hy^4˹ f.78͢eʖ~|KRЈ1k}n>tg7QWFȜ謎'c6I_> 0{&q] 4| ?sˆ4"ND{zl؏8Ls*Хē7^?dhЩ#E}h)H 7DFfNDwש@94(̞*rIQk~,*RՑ¨9*Wh| 6XM$ILx$tR}o*:&W6bAl7>݅r$>#|D ԟÙ)[;^2?`0,&¸|:RLq:ta` q6V,r!-.ݒR`FqQ(0$OF]H!&s݀oh@4qAϊutS ȣN"jgwM7\nf7!U ѧaEѐ^sʸghCJ66gt6&m)l4]/j tt %h;FO3il}|F0'~466 N1ĆyB&o76~22L1'?!!Ğ_L'w3@@W1onRgm˅z#0j.<]l~2@! MV:C/VǔfQ+;h R$P.3Pee&*DS=Dʽ9yws)H"$|[:f{-.;Z\L0M_t|\S2*],b٫wz)|NoZgJ%Ug%U䑽goVfUL+/,Pb%=Qv,RòL{|iM?_Teﺔ[\JbO?'_/O7UyߌKO\*F9/.FuZ2ؗb,ej[Ф?7?~6e럾Ň4xݏgg ~ov,)M=I ö4?|-SMm6NNFkla'f3\ ͿX(m?bb9#'P`>([ԆO8cj8\pu.57t{JfJ%s6|)|:P4L,M9݅`6N)˛AXFZ]Xm11sq͛N;~`Ĥ^v!9_$ޟ֑V51jL&ğbk[׍ƒ)CJS#w+ H6K@#X|Ć$X+bI 3t7>)aFIO((;&tf.Չ^p&kn wAv>SAÿҘd;߳\m $~!vE0bO*1Wx ,&'Az6q^WpbhI| +;ƸW_ p$QjV/O  endstream endobj 424 0 obj [351 0 R 352 0 R 353 0 R 354 0 R 355 0 R 356 0 R 362 0 R 363 0 R 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R 369 0 R 370 0 R 371 0 R 372 0 R 373 0 R 374 0 R 375 0 R 376 0 R 379 0 R 380 0 R 381 0 R 382 0 R 384 0 R 385 0 R 386 0 R 387 0 R 388 0 R 389 0 R 390 0 R 391 0 R 392 0 R 393 0 R 394 0 R 395 0 R 397 0 R 398 0 R 399 0 R 400 0 R 401 0 R 402 0 R 403 0 R 404 0 R 405 0 R 406 0 R 410 0 R 411 0 R 412 0 R 413 0 R 414 0 R 415 0 R 416 0 R 419 0 R 420 0 R 421 0 R 422 0 R] endobj 425 0 obj << /F3 35 0 R /F4 40 0 R /F8 64 0 R /F11 88 0 R /F10 72 0 R /F7 60 0 R /F12 112 0 R /F15 122 0 R /F13 115 0 R /F18 409 0 R >> endobj 348 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 425 0 R >> endobj 428 0 obj [426 0 R/XYZ 53.8 763.11] endobj 429 0 obj << /Rect[86.88 674.94 100.66 682.71] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.4.1) >> >> endobj 430 0 obj << /Rect[233.42 664.47 240.03 672.25] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.6) >> >> endobj 431 0 obj << /Rect[184 575.81 195.21 583.59] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.wallach:safkasi) >> >> endobj 432 0 obj << /Rect[233.69 502.58 244.91 510.36] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.jensen-lemetayer-thorn:verification-control-flow-security) >> >> endobj 433 0 obj << /Rect[249.69 502.58 256.3 510.36] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BJLMT01:ModelCheckingSecurityPropertiesOfControlFlowGraphs) >> >> endobj 434 0 obj << /Rect[168.74 429.36 175.35 437.13] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.ES00:IRMEnforcementOfJavaStackInspection) >> >> endobj 435 0 obj << /Rect[180.81 387.51 192.02 395.29] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 436 0 obj << /Rect[197.46 387.51 208.68 395.29] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.skalka-smith-00) >> >> endobj 437 0 obj << /Rect[162 335.21 168.61 342.99] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BN01:SimpleSemanticsAndStaticAnalysisForJavaSecurity) >> >> endobj 438 0 obj << /Rect[93.86 220.14 100.47 227.92] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BN02:RepresentationIndependenceConfinementAndAccessControl) >> >> endobj 439 0 obj << /Rect[98.84 188.76 110.06 196.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Karjoth00:AnOperationalSemanticsOfJava2AccessControl) >> >> endobj 440 0 obj << /Rect[198.67 157.38 205.28 165.15] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.BDF01:static-analysis-for-stack-inspection) >> >> endobj 441 0 obj << /Rect[167.33 115.53 173.94 123.31] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.6) >> >> endobj 442 0 obj << /Rect[400.01 716.78 413.78 724.56] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.6.2) >> >> endobj 443 0 obj << /Rect[427.18 674.94 438.4 682.71] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.Myers99:JFlowPracticalMostlyStaticInformationFlowControl) >> >> endobj 444 0 obj << /Rect[485.61 643.55 496.82 651.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.GMZ00:SyntacticTypeAbstraction) >> >> endobj 445 0 obj << /Rect[547.75 622.63 554.36 630.41] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.6) >> >> endobj 446 0 obj [426 0 R/XYZ 316.81 589.01] endobj 447 0 obj [426 0 R/XYZ 316.81 518.35] endobj 448 0 obj << /Rect[434.05 507.08 445.27 514.86] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 449 0 obj << /Rect[528.87 433.86 535.47 441.63] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(corollary.1) >> >> endobj 450 0 obj << /Rect[419.41 381.55 430.62 389.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.wallach:safkasi) >> >> endobj 451 0 obj << /Rect[543.14 339.71 554.36 347.49] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 0] /A<< /S/GoTo /D(cite.pottier-skalka-smith-01) >> >> endobj 452 0 obj << /Rect[358.85 287.4 372.62 295.18] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(subsection.2.2) >> >> endobj 453 0 obj << /Rect[371.75 264.24 409.64 275.21] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(rule.55) >> >> endobj 454 0 obj << /Rect[334.48 245.56 341.09 253.34] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.2) >> >> endobj 455 0 obj [426 0 R/XYZ 316.81 204.72] endobj 456 0 obj [426 0 R/XYZ 316.81 157.83] endobj 459 0 obj << /Encoding 69 0 R /Type/Font /Subtype/Type1 /Name/F19 /FontDescriptor 458 0 R /BaseFont/WJVUJM+CMTI7 /FirstChar 33 /LastChar 196 /Widths[368.3 603.2 955.6 880.2 955.6 896.8 368.3 485.7 485.7 603.2 896.8 368.3 427 368.3 603.2 603.2 603.2 603.2 603.2 603.2 603.2 603.2 603.2 603.2 603.2 368.3 368.3 368.3 896.8 603.2 603.2 896.8 865.9 822.6 838.1 881.4 793.3 763.9 903.8 865.9 454.8 617.1 895.3 734.5 1042.1 865.9 896.8 793.3 896.8 852 661.9 838.1 865.9 865.9 1159.5 865.9 865.9 720.6 368.3 603.2 368.3 603.2 368.3 368.3 603.2 544.5 544.5 603.2 544.5 368.3 544.5 603.2 368.3 368.3 544.5 309.5 955.6 661.9 603.2 603.2 544.5 500.4 485.7 397.6 632.5 544.5 779.4 544.5 573.8 485.7 603.2 1206.4 603.2 603.2 603.2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 734.5 955.6 896.8 807.2 779.4 865.9 838.1 896.8 838.1 896.8 0 0 838.1 736.5 677.8 707.2 1060.7 1075.4 368.3 397.6 603.2 603.2 603.2 603.2 603.2 953.8 544.5 632.6 838.1 838.1 603.2 1028.2 1145.7 896.8 309.5 603.2] >> endobj 460 0 obj [426 0 R/XYZ 316.81 137.36] endobj 461 0 obj [426 0 R/XYZ 316.81 116.53] endobj 462 0 obj << /Filter[/FlateDecode] /Length 6662 >> stream xڭ\IsȕϯOF`slꖬh2b*PR@Q-[gQEg3+ Xӗ7ɞaܝTjx߃: 󕍲 b~(ȫK/U^}K˶=-R%V7"? mLc?TŮ+kl+]Re}y haи*r|4rCF}8_AMt9|~jJjI-u/+Hd0o:zp'AQUakuv~/𡃅:ky ,|qYP4eUnye􊛈-Sj.-/؅1.m|5ܷ{'" M 9Кs\!;k*.o&뢳f{\+Rra #^ դ:7nWUKKqp_$`g) ySꑫDT] NEaƫ|*qYӹ)˘ڰ;7&֡q6tDmה=\6{a.*O " >U_#fGM}BcIև>)iZ.#B*kAhI ;m+ d;kSAro?~͕(&zY8=(@ ?<)Ʋ\*j `aD M4K&k݁ .95Xr4mǯ$p=GUl.\%Xrm)^L&4Աa.戻4HG`xŗ""1TZ/8Gc=\z$PFǵWݴ9PF{`S-h6nU7 On@O`{?E1U.z I.$ I鱢9EIwQu 8Ci5b6iuI[0\, sk@H\ a&)0Rzۖߒy i(2 t<4sG`I[ubds`i\N> xQH#A6ӇvHcMA" D6sO X4 dͮ^:%@ ߐ5nt$N+[xPR}'5:L9EuGKp P=nk6aWtܮ߃Eӡiљu ³&~@H\v4S||.0 K?Z47~&1"pOqƷ+a]L9)xq M$z\Ўp]dfafbkTD9>T91[g:vE(7"ruaI=Jyc$nDOHIU?D6)xf DwK\/!}],p}N7 @#EG)~"?Rg2݅9q`P}YEGk-R_m~L<_GHzy&S(O@BMT6b#U[xn<"ߒ"Y;\ʄIvҮD(CL&Lg40 Wn0rWV9uPtdaIXPwD |R 5|y0€uݻb{a @-b< 9TǍa%kBlWԎm== vۉuz`aW>x-=icz*~T 4(FB6HA2H W6#w! f >42v^E30{y{#'; `An&瀏CG@.[N؍. }rm ?I ~O #0ߨe%9ѩ%b%n`Lܰ ؂< [/tF^ V7Rr>0J6xPZ| H``səb2*cK-EK6J m?E#>Nuh幡6bS|dub'KDsH褚 9n{\/<%\0VdWxgxAy?#{^,z7 6lk1ĞԌ(> }dlKw'' 6}$Iu*M`$7e?d{˓ȹaeFOͮx:GޣBT/>H11s&-Da!%¯$'$F(>G3G38fٯ܃e {KuǔBȟ2Ix08->vFMUx_.Ab\c`a 8e6W#8 ޛH7q hy.R-3:5GT olcHIk+[[i{xy@7 h0!N8ˣbIz |s!|# 'fk T/F7GP3|C}(Qc5>jOd0ÚȠPhr9mqGgy72 7 ix`8cqbܦ8+2 i62󉧋_d&?5o'TZdo &u!c \a ~>pm(dU3qrQvd`5{$@6l@bA=ݟXjӊ߰y[y`o||5a)HѨ-=rfX}3'ygۭc<:d_}%톘6NR-Y*r1yiE#$7!|̗޶:2&!!ȍE -&ԭהM7HϘ$|c)41DοZO_8< nQKKɷs;"5;!}2m! N pV=0xlnϚ"h4fVe>`5Ϭ`ʹJzO㭪37 j_^+oM@{plL {DOs yAax|. p ԅWx,^kq cA6* c5)R;-|KI;3tRypH5GY<|`B$߷j͡sG Yjmr%DOϘX9v"138=@.P`plOeOdž̞E+xlmDz[ "+_]Y-2n[&C-Im)_ W[g&1nR5ӻUC; հG1}0?ɎaMPD}J_994~sX{ČI\xSh|]_87s(PF3go&$co"z葡ub0w?\/E? /L 89zo68 /슎s%W(0#{:AaxC x@t(?=P~R٣+|9Vӊ-Y)B} zrvnX2I?ޠG)\yi o"\53Mʭ\\izt,$WF\bWaoIFsO]O,ʥ{>]}6MWJع.اg .?xlE*^{N ~xl<ޫv&V~՗3=Lfg)E2gV*G4AZ ?Q esv'VE OfG [B}n!պiXz,6pk9PI.=s1< j99o]2>ǹ\|nb{7I0Ny?<D YGF/Я7rd9d @zѱ ߋ,G@yg7۔ XFҚU0ذ{}\X|& l4)Q+ýex.GLK- y7\}³l3@=RA gKJԙA3nZ5jָlyjפ">8+Ma.uawf) 6{S6ux%,e%إr7d |[NԶ") reI9 /׽ -:EC+'' l%= ۅj''(D<8p }? oj R $yѧ>ۻ.bU4OO)Oj4%Pzs`|cLQ?Y@ m%klS @ QXZ@⦅aL. @X sCaY Mճy64E=)VZS$է'I|<+ o F'O.}4@atYW^-cB7 3T^(AO|kr60L?cdez{=2sHi럜mF| U;HKGjrMԜq_T* p*I ݢ'L`~C#f𥄣\Y k֎ep7bM(wS fyXbl`)V^tWקOfȵe5'oBNUe!p⸴pڷ@/E"F(y>m`_)9S3GfMAm*ϳC#O䧒px$tz/ [BtG^cqaH7W婄Rg9NV$xא>?[x իg{ \=$]xܶoMV*(7 endstream endobj 463 0 obj [429 0 R 430 0 R 431 0 R 432 0 R 433 0 R 434 0 R 435 0 R 436 0 R 437 0 R 438 0 R 439 0 R 440 0 R 441 0 R 442 0 R 443 0 R 444 0 R 445 0 R 448 0 R 449 0 R 450 0 R 451 0 R 452 0 R 453 0 R 454 0 R] endobj 464 0 obj << /F4 40 0 R /F8 64 0 R /F11 88 0 R /F10 72 0 R /F7 60 0 R /F9 68 0 R /F3 35 0 R /F15 122 0 R /F12 112 0 R /F13 115 0 R /F19 459 0 R >> endobj 427 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 464 0 R >> endobj 467 0 obj [465 0 R/XYZ 53.8 763.11] endobj 468 0 obj [465 0 R/XYZ 53.8 717.74] endobj 469 0 obj [465 0 R/XYZ 170.86 717.74] endobj 470 0 obj [465 0 R/XYZ 53.8 686.3] endobj 471 0 obj [465 0 R/XYZ 127.75 686.3] endobj 472 0 obj [465 0 R/XYZ 53.8 660.57] endobj 473 0 obj [465 0 R/XYZ 53.8 614.4] endobj 474 0 obj [465 0 R/XYZ 120.01 614.4] endobj 475 0 obj [465 0 R/XYZ 179.68 614.4] endobj 476 0 obj [465 0 R/XYZ 53.8 573.69] endobj 477 0 obj [465 0 R/XYZ 53.8 532.98] endobj 478 0 obj [465 0 R/XYZ 121.17 532.98] endobj 479 0 obj [465 0 R/XYZ 178.91 532.98] endobj 480 0 obj [465 0 R/XYZ 53.8 482.66] endobj 481 0 obj [465 0 R/XYZ 53.8 449.04] endobj 482 0 obj [465 0 R/XYZ 53.8 416.66] endobj 483 0 obj [465 0 R/XYZ 53.8 373.32] endobj 484 0 obj [465 0 R/XYZ 53.8 330.98] endobj 485 0 obj [465 0 R/XYZ 53.8 287.64] endobj 486 0 obj [465 0 R/XYZ 53.8 255.76] endobj 487 0 obj [465 0 R/XYZ 53.8 233.84] endobj 488 0 obj [465 0 R/XYZ 53.8 191] endobj 489 0 obj [465 0 R/XYZ 53.8 158.63] endobj 490 0 obj [465 0 R/XYZ 53.8 136.71] endobj 491 0 obj [465 0 R/XYZ 53.8 104.33] endobj 492 0 obj [465 0 R/XYZ 316.81 738.2] endobj 495 0 obj << /Type/Font /Subtype/Type1 /Name/F20 /FontDescriptor 494 0 R /BaseFont/WSSMUR+CMTT9 /FirstChar 33 /LastChar 196 /Widths[525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 525 525 525 525 525 525 525 525 525 525 0 0 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525 525] >> endobj 496 0 obj << /Rect[484.31 714.79 556.92 725] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 1] /A<< /S/URI /URI(http://www.cis.upenn.edu/~KeyKOS/ConfusedDeputy.html) >> >> endobj 497 0 obj << /Rect[334.63 704.33 510.8 714.54] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 1] /A<< /S/URI /URI(http://www.cis.upenn.edu/~KeyKOS/ConfusedDeputy.html) >> >> endobj 498 0 obj [465 0 R/XYZ 316.81 704.33] endobj 499 0 obj [465 0 R/XYZ 316.81 671.7] endobj 500 0 obj [465 0 R/XYZ 316.81 629.36] endobj 501 0 obj [465 0 R/XYZ 316.81 588.26] endobj 502 0 obj [465 0 R/XYZ 316.81 533.22] endobj 503 0 obj [465 0 R/XYZ 316.81 511.3] endobj 504 0 obj << /Rect[334.63 478.67 525.42 488.89] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 1] /A<< /S/URI /URI(http://msdn.microsoft.com/library/en-us/cpguidnf/html/cpcons% ecurityoptimizations.asp) >> >> endobj 505 0 obj << /Rect[334.63 468.21 548.46 478.43] /Type/Annot /Subtype/Link /Border[0 0 0] /C[0 1 1] /A<< /S/URI /URI(http://msdn.microsoft.com/library/en-us/cpguidnf/html/cpcons% ecurityoptimizations.asp) >> >> endobj 506 0 obj [465 0 R/XYZ 316.81 468.21] endobj 507 0 obj [465 0 R/XYZ 316.81 446.55] endobj 508 0 obj [465 0 R/XYZ 316.81 424.63] endobj 509 0 obj [465 0 R/XYZ 316.81 402.71] endobj 510 0 obj [465 0 R/XYZ 316.81 359.87] endobj 511 0 obj [465 0 R/XYZ 316.81 337.45] endobj 512 0 obj [465 0 R/XYZ 316.81 307.32] endobj 513 0 obj [465 0 R/XYZ 316.81 262.73] endobj 514 0 obj [465 0 R/XYZ 316.81 209.43] endobj 515 0 obj [465 0 R/XYZ 316.81 166.6] endobj 516 0 obj << /Filter[/FlateDecode] /Length 6032 >> stream x@fF|ד#l] ˤvd}o` {7G]|N0%=7C=x(LyjN?ayΜPh}jwaGi|o-LB*bT3$Z<2܌' <(gƝl]H8G "?'ĮN N` o/>5[$:qLCv4V^K{n#pvDY睷gk;BAT۶>B؀գܒoSㅁ+ $з/a=֓aVPs )q:f7D`X Q 0j!A`M6aBs d`0ރtS0ߖD_Kbv@l" q3ӞP╨<}m|9G"z z_< GI=gןIWhn|fwl#*H)6 L.?'URf3:O;&^ɘdAPLH:ŗy>5l=]nAdFĕ2ȸK7x+(p XvaeT:BUMZqRVwL ޠ/Bn5.TDҸ/(;[O**+E38Ξ쐍HR^-}~דK.~\ŋۯL=y~ ՞%Ѣ : vQ7=JNse %I|R{.HM,Ib]sŏэ0fmĢF 9БYCgbB:%$Eh.0M1hFs%yq4<=7b@@/uMǞspނMmKV bȄCh)mԥHݏbàхYsq[V;uO,AC/tHݲz#bHYWQU!B/"ORa0^J2d};c*U>-7U++2`ZqyT@ǼH L .#ω<|ڣS8!HL#&Hy0m~W8P4ݡ z|oaZ#o6 y!$2Y=ff9CW]gWWYM߀/6ӑ 'dm%s!G(>L>%LCf%z JsӚn[5s#t3ivVԧ7g'<)EdZqU֐Z3##ጊIsֵ#-DD(o ۏM ?+yA@02C`,~NS6@+;V$i+t8>/lsQ,S0N{e 1@4%]ۛOl sPG r"|]VWԈlhy`a F"f++4 $8`g8Y*[gAa :N.ȇ~NxIʺnyOR1gzO1{#-(TNdt=}#7a la/`_o]]!Sט# 25!Gm\sy|8?C>ǿLA1|@ TD}lxPQ4T73+cx!-/6/_ˌqjU.5nzy??}8%޽mV6 . E9J؊lpT懶t kHKxbtM"3aTr`אˬVrP$q|3D>CGnue3Y0h-bH!d'ăM7le&#w_JvyB>r+b<|8|a#F-F%4Cg;P2!Ɂ88@dHOX]Б!F}l$umRG1m$ MM{0JG8mp{a{'bʘ Ph0Llh&^p7u&)U6gi-2'2"ΒLcBk=3G.JohS Mqe=셸yq{s(u\. fJ [S7'eC\cZU—iEiEIZid1ꚜ%2-fj_f`2gغQ_}31QàSXfPxC.39ZOs'`,pK A-5"9ug FTyrUMdA|R` ˊ2G7v_< ׋ 񅱡>v Pt.B{L՜D}څ끝3ARH[ )g y $cuCܹm:Gڄ |2`ۦp>̨^6+.Z"Y0p9!w\/mK{Ϣ [tUFk޾dkn:ɛ C/ӥk!D{@T4Ln>eQ?xܛ+CR̙R W?ʺ 8h0$w+U" W:c46Xb+̤1 *œug"lQLUOD(]B2'NԚz4w.鋯2ЋM="V]"O2X9$Y̧Ս6u(JM J^_Lke*VZJZ <{񇖊vG,ŁP?D= 0#՛1@ yܡM-uE@K/M7(Mp22]̣+܍.wxULZ:Ԏ8<?!WnԻ6G7Jp=/|#hBwUFy/*?GM N3v]S,RȈyYsDcgħe ^ۏJyy]R Z$A+ReSz2·rưoc)#|zǖ|soVm.WWlj WB( FHi]$DGfh1lצpQq rx)M sɛlѧ9S\3eY6mH ǘhRÅ*YrSh0.~S4!"?9HSt%x&ڈ MXW=S$GT7śHqI FO#BAW4 `!3>e ' '' %fp=7!y#꿘Yq9M0<3G3)|Mr\%u6l+,!GUw7".Y|[u6 <ܡWF$_o``*p77Ďlm||A_$mn%.s&1Ŧl*ǫ, endstream endobj 517 0 obj [496 0 R 497 0 R 504 0 R 505 0 R] endobj 518 0 obj << /F12 112 0 R /F4 40 0 R /F7 60 0 R /F8 64 0 R /F19 459 0 R /F10 72 0 R /F11 88 0 R /F13 115 0 R /F15 122 0 R /F20 495 0 R >> endobj 466 0 obj << /ProcSet[/PDF/Text/ImageC] /Font 518 0 R >> endobj 39 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-39 -250 1036 750] /FontName/FWUYYS+CMR9 /ItalicAngle 0 /StemV 74 /FontFile 38 0 R /Flags 4 >> endobj 38 0 obj << /Filter[/FlateDecode] /Length1 712 /Length2 14687 /Length3 533 /Length 15243 >> stream xSff7Yi۶YiiFm۶m}sף׺Ys>s=1b9 P֙ "`g#'q:[ي:L\\L!33#  bghaf W@halh 3t6cblh P3:{BP:]&ppLL cg_HRvJ tt @'J;[k AрocPͿiXX{_3 ggtR M,\lSr605+e$n4Qp66Z;ښ'?m7 Ϳ4EC [gULwOs-ڌL%fklgbakPq651t4IX݋ @bdap1? l-\R6FFF.g]cS20,@i h I4:Wẋ؞0gn!W-B/R_)~= zxVmaRNvi?qWGͣ5k1^iؼ ܛ9 |,Ti5Fup/$d?AΈha{1|=ҩ-6Ik\@. 2pkbAn=<߯ vZYL1nߪ \%31#D A8l ,3G߸TcZb8?ix` 9T{J3BPƯ`#MN2/#dU[4WtH<0HK\qUN;a],򟙈x rKhNBPy#X *ЛיAPT `Qj*B OM. O BVkE ե>Kt$F98ާ=z$U2 FPcxsNCw3ǀP8MIoD]w ov"V#D w00m^ݪ%N?2le;0A{l_) 튜z1vzYD-+3GϝAk[3i}{^m N`rV֗Bh8A߭톌~$N uVeq;7 H+W/"a@6;ێ`F qjL*ZiL֪ɔj+ s~7[,"ujGx<J=>NgY0R$, &T1Uڬ;>?OVmHLSU6;V WN.[lGlt 72ޜe [&"LLqfԀ{)^9T Ӎr6釋H'oʲ, w~ *.Ut~mV5+2=_Wi>>5WpĶm^QΘO``գ | x,scpefuDRAB݋T6ς&*:dHPt `ߗN*!mb@L_|P#ˣ۠e’T#pfSp k!oYB>ruvZq,BP;VڿmwpUBx/pT4Nޭ G td=s~XTO箋W)P[kwU߽h=˪RೃPڝʚbeJw8^.oL B.rRHo^n\zk`ٝv#Z N$WI¨e_9zaA{b_,ꑔid +nWO$gm{:pW_6wl;"JUE:bs\GBu˓-YJκ|bt0~a9(l&O]#GMtmֻ}&o>BRfڜ`1qF~>EmIE'Ȅ 8U &H̒xPwt!7hĹ|"wzяXNr1Hv(}jO)x !)uw+la[qH2E]jt6XWƆM ީ>+&Qm EYLA-JaKB?!hB@kBs|n ~INO;.M{m=p2)(57IeUu]2IBٽQzQd 3~} qVx^9p>J 5]Hn2 RU칔G[+*y%Vܶ*ł_&."뫵\{U-2fq)^w7E9}-t$[?sI 1 JӐKI}G@]pѝU`e|j;aʼ[tao!aKnc ?s8_RZ{x] !jP +?shcLF㷽\OVir; RgqLH% =YGUY:[sZQs1NMt(l$koegWJ3@QB9R>]WtVȮ+L6*D q6ӫm rf"tw Gt5%5DĎE+#ĹB|u[ca)Pc;yq?եtQqu]s&=X}ӂX˪F3xi, }ԷVzy9IxKNpZD.h'~2#nL{df23Hu:" vE zQu+aNOh )&2H}~*B!8i~I{YdD(O?A"bX[kv_2IrӟRKE,r6!z8)X"C* QflP\߈y0NYع*" }k%(iI'»%sM]X g !$c]$\;h_+,u'4`bD4[*=Z 7vYw:)ӭ`$NJC-(|}^#8stBX$T Ah[x7!zBңm^ԉ>H!!F|Z&!4oك'al([\IeVK(^/eOMøQǾB[}XKaX>F8ƒMzR씹;gOS4nI_1"DYS/mӰ!Ald'ΔySIɝWkXyV+ɻB\[J;c\ψ_q{;͜7}S;+M6"0R%n;$YjI y9v>'t另 Q([g7'wF%{GgZˏ 酎#xRn1q -{zօZM A i*e5m}ַYd.μ[7LBY439qVi=yiwn6MN}g"Ej [R 6X%j~\jMRjÔ!GOa9B oA欮q׵\#5\!My [ !턳LCh_p +{;C4`:2-0~&;(1P tXj ; /tt ؖ7p-oXu1} \.SRSߘI!KU; ctۑfr 3v޶]T$;+=כ}D.8lݻp;HK@ZsR^d@(y; tM<Th,*raU$7qPHy 3@5zIW!Sr_${<d(2[̊h>:苬\JS0{ejAe,ǀll}t3FJQAκ7mUNJrg,@z(3!1(9n+$].Q>l!FT};M8JR~Â5BSw u٬ >7[ΎQNF(ח"1u&b/?uu"9:& '藁XQkL=}VjB0*`YcTlՖUa,J6(`w1Z*GB•B11.G\P B21!t1t{\y55.K>0d87o9'R)ɫhYAȷOB)d|.v%HA a )Wp!!Fԝ~̷IvWN5yL,%޾4{ȟW"H_ثl![" \WOŰDg% bevE}^w3p<"dA`y\W%Kmﰐu6=9DZ\zeXAC6-Ө6q45 2dbha4\=.s1FZƇd~~?] h ?1 nBG_/YlM. {l>"Gl#Yۗ-f؇Tg:i%r5~͋qԅ;R:o@ul5~G8 hd8U%Ϟ?E8p t9U4oF@#&"~$yuqpii^;[6kL9t<&o]9f9D!ow:|QC6|yqR`ʙ۱>r&k_H9ok;vcۍ5D;$׮TawZ[se34xGvhrglCٚi?xgAu&0qh2,s4H,>".]vUR08$3fN1D3;G"}61VPL/U\H.W1hp6H:.J;c5BWm O .?XN9Q.a| Ra(98l=یQË8 k}0뽤Z+ Zb5,v|Toqh9JkyˀȤac!K 7O Wc7ᱴjȧ"m۰sZ`+iǡ v§Ȍt Ora8kn2q0Eo:ġ,i̙vcF.3K/UmRz%L`"4|GCɔlW>(ES_0\>9#ft`xVfټUٸK'C"Ecja .r۾XDX8_N,V81}k#DsHGqUj佝zC1cGfhI,& - Av}1 .t2? HNgS "o^Q,*/O+o`튟\ 6N"k s ,LQœM@e,G>Vю#V+zɏwDQҠYg@ceN@5ehs ;3BC豴=i5l*BLi՘Xy糤8r a?)~g;qpF>_Iϱ"L B TI|â_Ѿx_hx+- 9^/K+wQ}M⠢η~bkB'k7ZÅsQ-ye)E0G5J/s 'HRz^̔^_sXsGHU7m#Ƹi"pe$q^uQoK1sA{9Zt#s/M<ZuBrewQ/ݒQUjW!ߋ1Va_hH⁁,{>hzG/בVw\ #(ۘCH<)T*ߐ@qh0I,6Q~]Z=XaGDBw[j9Ƕ2TNCqƼ(AQw' \$d*UtKnK‹k u'w^39WSۥ!j 2ZAN&5o#+112}5`67 fkC#x sj"HxKSX"2],3 tNڶXozu!<m1Cc G&q+e]-i):.瘟<臵7gJy^NfT1m,yh.p[\{}j {E' ɀwp+4̐J<T!FA` ; ix^UE?Qh߰ tb϶ՈU`{ `-5Y+=XV:iwj]~ź%N$Mp/䎟^&] W |:i ?Io&_is~w3sYMLV0-:A 4En$fK7Eu^ܡ"Q"(ˏ۶{2 jq>0ZњŒWhN5_`?HcY}QYjDJKk ;|w֞^yZJ<2sk&QL lKӤ#WFS$ #l;'*<kkQ&įc(ף9Z{`=85X f$uO2?M~#h`hL GA")+&S'K {ۡ$e<{{JX?g*0/]M]cozo"]`D{ 4ʂR.4֎[W^ld&nSWth%kU=ws,9Fjs0E˃_"7")S~31̘F)džyHZ~ȋl 7Xz|Erui/w9)6ܒr:s dMRk?<]x *4T a"% h=g] ɦ(XYجLmrϾ<.鳌@&7h2hxqEQK8/y[?$Fڿh`5˜#ߪ\='\B4*3Ek P:2;H>{c dPuY6w5xom<} j&?HouRUxX yd֯KoL*IfP5$đ=R0jFQn#*JtCWȉ )+GfK#4gWre#7ؤ.捗~ϔ4eu/:klHpJ@Md %{/Ibh4QpTYy뉟>BI-iW=P>1"B)>tQ䳙qG?"YMn7sѢqeF|?Il5!}+%&UOM .7Dzx-U3yXZ~/i:NRgЫd g~v/: }h}24wzޭȨ]> ݶkȒ~.xp xR?sI]g &H,*/vC+!Up'C 7Q'i9(Qe3Yq^c;śfWR^XpN Iqst ~A[aze="UZh{G ac幄v9T8pS `J&05\t>hߤKF-hCG<`yAjJ5eH8Hkc[J%ms/K_kG7s/Wu2N v/VxUGJ§’%.6Bxtn1)8Z,Nj`PMf\`M>+0]*vHL2nBt8&E/_Z6,!ݏw4׬Ӥ:~39`Vu$}vѐ((Z`BSp6aT\(`x)?p| yL ЋT"cf2`0)F+:A+]Gy%/vA _l1=@Hcpөa.gNvhoX*%֕!%E5'b\h,v~;V— 5oA=yPHޕ?eNFVOOUׅGe,(w#MHH}KYB-'ЎeI(-.`xB6&=~]8c#?#4MFx̾ԩ\a`-!eu冤4:}lg:Rp 㙊;8eo?p`N Ph4#iU>Z[8t*SEݚE }ԠSM ^ޙIt4.|BAUJ҄t'(-Ѝzi}2T?7Q1u lp@TJ;41UfZN_-M[߭YRO)byX4XWhkdQ|I9o(t֝\"2 65)ԃQV/E^~aUxTGI@0hS&=2Œ=wص"|?V w5UH0vO~ ӖG*{s882mgs\B;0q+)/5 iyq 6{]7da+LY48]BZ dr=-!OӝQi˭#B}Q4Յdx'i#t!K\Z%AG{êM?J.pU{2͡Uir-Ч~ eӡ5=RfŒƙSA2cjr 9@~BT̑`c|˸le}Kx}b 0Ԕܗ^&͖P4IiVoQRsJ?TX׶Hz2+)kFR?ƄA"ѿԛmA9| 42c pF?|R6͟1<罛|(%LКsӯQBf(0p=Zmx۪jBs0^-jډp))f_U8i.%`v#2'lt[&G;1MQ &A@[+쫍eI3v(KF/Yc *J DP!yo" ND6M #BM\0Kw> ȘVn $, [YD2şj 0xOl*dX.C+6Ũp x^zMC%w6 '/t:]CTJ1kk4:F1c/bodY&﴿4F@S-ş Bpi<Jw=C"6zTG]Zr>= |î[ a m'?~#}JIz< ZJƐ1CB%QQx`,\넮l4S9jKRZ_~b*.pKLi~wT;~eˉGu6@jd^oѨKI9hzw fp&VdyE:DTuH-WΏc J+pr{;FI^c}$|׈8Y7ĉS ?a`l 4tt1tZ< endstream endobj 59 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-30 -958 1146 777] /FontName/LWBOTO+CMSY9 /ItalicAngle -14.035 /StemV 87 /FontFile 58 0 R /Flags 68 >> endobj 58 0 obj << /Filter[/FlateDecode] /Length1 1479 /Length2 5188 /Length3 533 /Length 6114 >> stream xtgt%(B|4`{ `#qH--@=I@n<8ҁVK I,5=h}4A@Xw9OmH߬FU0h$@$%I(o$E;`h<A[ ѽ?2W5413?I# C0qCgԠh AF6L"PGX`>@( 007MT,.KDkXTA + I݈qap$h#qApFL/F nO_  t@yH 8#h7%g Q?9@" Ý`8X/4WR/oX D]7?~=@g?gII1oh+Ѽ3L A:qh!w 3h%3&zzVP;K*15~`tVeCq 7B ;v<NAܞ (458߰_?f0)$_k{!Q.gϫDeƂ@RFS N =p8b|?$ dEf1m;:ߪt`($"kb38#,pV< u¬፦b:4 I x[ɶH 0p>u;f*"tUG~;r}۵kY9rT(3k %</{܌c[l$CSU@+N7 Ηݻ%{cY7~"߯F\kfv-X<3yZ٧<\Ƹ5R!?P_m(IΦ}$˄qO] nf7hEm瓬@Tϴ*@M`Ri`Fm $z}ᕵcJHDϣNيH_[n;T\xqP3b9(JԷjGɡp+|3fmǦX"#+_?akskyqW{:_QvՕ)!d7}ҿ_ar`q&';ˬz q7di?T) )q80B Fap#7Sq*k '{kO)/fū{C*VM.M=(p/dOG|qA}+Gh*VѲ[D=E/~rH.ɓ~I1q"%Lddy VY%}VJv'( ޺k$&=A_ eaz.FmU/ dD} 5Zs.w_P1[m`:G^Wk岡KL mg>ͻ 7 ]?]uy,kI/8=DvJv/pmj:Av/CCpm>ϠGk OίMAwCת<(5܎Z: TL! cG?o"Ob$-%!;p KoXQ=i4W1X\&os.cA>-m,V=v1{!hy8^7Uv_{"vWX%^řaVM5CV7RD^jW`ѪR:̬> )7>ٚLF!? Qo0ĶE?dW;'ڀ6Cc ގx)9v<*ۯ[KI&yپL <"m=Lad#[Nz,}\/aE^ _(JiWu0MLT` _! GPTjgYD,1Ay='|~[\(nzل/7sKiEؕ@.DS7gO'I b K#+vIwn4?I.q^ey_v\mc}e»{tRW`Jz|5Z#KZqw4(hH&UjZjY6%fjI~ivИ$I<ۅjU{*Bef2&yEŒ<]bN݌ˏz+λ-.ܖP+d/}9H:}!i蘝% X1ڵ(o#O\~:z)Y`jL+Vv|6s:VX)e r[ϫd+MXŸK"ʇ\TSCIb}8K*N.߅,$s:c#u0^)=RJ2+bDV4-1w³f`~Z{ΥUCAdNrYT;[}N-$]ۮ:3W=v2 a|4pÒg+GCvV&"`K 6}puNpb~ݝ![ @˧e ԰L]jm5fB~2uMNҁE,\&Cڽ,)A6zDI4YvrڏcFrOcz.q^dtؐr%,&l^.쇣2f$)vljH0of P (a2D`|}-5y&b# <_ WD|' ~W[i $/vp\9M9ܘ~*fO-]rzm|s%#RƳ^6xRv9f-zmᄑļѱUx >O(؅-mt J@M ʪۉ{\b& ۬B=78&s<$ϻtj2[J) væv!=صPՖ&us]v}S*&j?ovOSj&^ &Z5|@.fS3֚3)'50G˖l>6:E>hG$&ftUٜ ƅ,dm:KgaqȊPJ6|[(E"Ӕ;Bu:n%,ͶshڡF_>x]bMq()z*VLg ! ̾wIsqR Z `d˅]Ɖː8Ad/w&ix=fKvwjҍQ㵉 ¿JwEgI{LY~֗SDͺR6k^q6cc7{):.X=Rf v0P'4uSi^2iqVS3J{7v ѐ Aw>6μ]k$b-OX(Ex9Zs+AdTKm/Ա}+z*:9gqQ ӀùRkc >q.#2WsG[-\KxXe-;D潋?2}9<;PbNN×ΣSX|Fo2sz{JUH0&=Q=rYep+O7b4ͻʾ l媐MZ2]tEw~S'/xq`#ؽѹkV].SF90)#1m )_qT~q[~Y{M=}5ՑĂ5BoTh{=)[3B~CLa[D|&YPEX%nLbƯ.802D+>(> +xw4zݷ2'H8ܡam͚/1|Ě'KXUƸ .B~pWw~AhLO(5rَ^ Vkm]f^{u)1i|2~F~Jk')T0Zܧ$V9 ?i9H "}*~b Jkw r2Jt/(ܙH]SҸF>YMM1]z@$a`[1>佾!*0*冉j?3ɣBZnҿ.c1$)LN$/Q >$Q&YKpٿ I>9:3Qa~'M'FP#[ gJ`w5F=GNZetwc)ŅXtScˌZ,r˛DxHL^ g%3"{ǫ_ی7 `#Gn˚!m¢'I+Y*(0JݧGW~ GԴ.Rș͙ hnnuGa4([Ş>vXEoe$,J<" GHlemp$`f̙t WEݝZ#E4$7I_43l$"T~a6KrISndiG^H@SZ4_j` xqUnzIN}|=OB|r9,Ts~."lV*fhAҥgqYcrC~B?UX|p,jHvsoe:Ijn9܆PyzrK0V^c&kz{K[HZ:*mZ=r7cZMyAqaնiGO:c 1ey<#lM??p4#`]a8ZL+ endstream endobj 63 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-29 -250 1075 750] /FontName/DHIOFR+CMMI9 /ItalicAngle -14.04 /StemV 74 /FontFile 62 0 R /Flags 68 >> endobj 62 0 obj << /Filter[/FlateDecode] /Length1 1228 /Length2 6816 /Length3 533 /Length 7617 >> stream xeXTmnADBZa!ARi$ .D@[psl~m{͗_gy]kp *v 8 )("$" PՖ @H,@DFF *JJJHpTn( Q+J A@A0.q-br$JPvq0x@^ G P_ap?2_K^ǭ/Ny>p 8oAn?..z ׿5 rO At`fBPO_F\0G@PD\(Ѐ@P[v|V0goY4AaHc7!>K(rxםտ5SP#@TBB @(m)Q  C|[B086p;A׶HI H_?4 _1S۟8@jC:$ndp?$En\@N[Kʿ鶈(@7:3MnϜ.2v?x[uo_axZro#[m#?ֳoxkaTQ E%nvϥ$5uh$Rbz{OC=b@ Q2*%h113:PB O2cq>Vsx% IeQH֬ A쎱uTޫ1L! jxP޺Sk;5Ajpi_scDUE5w,u+Hic5k[(t |*|_OF]ϓgmϝIO4舡D7^p㝥bJߔzNf$OVMa2ΎSUqSPti@F?Ze?o͇|ĝ^&t'whV09f4Z0MhP.B⫕B(}.;yX.җ_E.{fv' zMA`N8ɽ|r̆uG|,/0݌@ij0sMdtX^r|2,1O˃UkfFRvuB` ^JN4=ܘ /KhBrfu"J+X +[Rs8xi{)7jr NoG,q5 {h-e[~**A_>-p0esRuP_\9$盎_1Cs~LtT%jh ^漤9{[b6:mU6| ibXaAp!=AYRIښ<`T3aKCwo~Mzl=uJtÁYxU v7+fjT c/=S쪽~[뮉wSGk "hۻYB0kvSwrvw3xFlDr:zU?ࡵoZKbC 49HY^ޝ2W*g>ѬFrcճc8, ƛCr\ +YjhQDw烥wefP_*As[P5YR% #H"5MoכFyu=F?Vc3VH2-ca1KS$GL9s^NȪqd+}rm3E\75-"4wJ0ߖ:I_UÑ $gX%F?}=H.tT2|ź!F$NkI)jsQ'rTEچ<y)-)_ʻ _r@'喇61ue4O"ʈ}/BwlT_5zlzܟt>9۳:5bTX\szFKe,Bq=bKzt잢srpǺ6+pU6!zg~.Oc$0l8Vl֜h0"zWYc7O xY;㓸Rˑ1nj%>-:)Tݿ+wz# (dDew]i'CX#ϟ g^ٜ:L("Gd* H|T~>}S]ٝq_H|= M#;JG}KU}TbB5WG>cY5cn[DIx%:%ny۱l߆wEyX/z1ޫ]ai l{TM:`o,|ԥ$(Sb=EL*$(q 5ΏCf&XDR oO@^\Np1$ qçs-t&GCaQC$Y3b0ZQG=aF=eH9J딜_aBڄ)}"; -O*&EwTϭgk_<<.3f8X5(X@`~;b%sMaW-4mqdڊscH墇:U^#J5򸾠^CuVʻq0cN$5Xe[qVA %JU1_UPF %Y$bϪIm %X~4՟"d$q-ζ^ x@ݏ&,)3MPӉK;VޱZ2zԏ*%k ߏʩ_=٦4J. \֟b$)FN<,tN֣*Y꯱iy"waRibmz#2:ƫ:<>!o!Zq u^x޽RǸw[F1Q^Z]y2AbqHM>+MgepW-ry5šq諧5 KY}m"t-4bm劼h= sL{@Cno6:/.kj!&"Vk2"L_toKA%/$(-P6`zt6WM u<]l /J 8\T Z+Cg#g͝:e?frg7^9Vڐ-wri7H'jLYrE~,.\^޷S,ghWTHr-E:Jv$SA`BM0s?z }EI=k1Vp!0$͝bSȖ \Dl_]:l`(Ajj:,$ז]|\&2֏&}(3Ij+t&^eݓ#KZ?rT{NRlj}nrk@ҡj+<>̫G.~sCw-TJԄb"ڃ! OHo],ZFԦ-;hĂc=0?kԝbMQꘄ,eTyg.NB-uL@UG 4{tKմ@[ .&3-EL<1µ&׎sƕ< xOV̛"Y=tGY|л ҕ>Jwp[9]H:OYy4g9͞,Mjz$(^ Ur0> 8;;nIױm6'ZZS𯕆(HmiqX0Qoܕ=dKi]I9~C&b 2zdZ'U8ZnLS>}FKK1e4W%vh9݁Ұ=suX&0Iet:T$WE(/4fGXö5OpS&ר/k&Qgt9Ϡol"dB6|iÒ\$ 5l\oU$ѝ.R2)%CII=K?F6b\``9tuzc;ʗO,fmZoPen}Ma(I267%ʢ."x>AXE OGѵ:]ظ刮"fpf#>fd%>ZԈS $29Ѐ]׺8W?>Tu #ȍRhs.y I5 a Z)wؾyVϱ17m~{%=G|ϴ='GZ& X>}Ӻ啟myz}cλ O:vRhPiÍxKfd#޾Z\[Z 0( SGqb/9 7{;rV]6PT #oFLtg?w*@GGuE5uy2:6F~C}奰yB{AJ~7L%Ke=|h,${UpR_Lծ/nzYxp_rlf>eI虔f.D3=jL}Z#{)|V$ SWax?'001j*?h gE&z jMoF|wśа={ɦQ&< V0]0Nh72#mݘC4'qERnaHDEe>7,鄝w5϶&G7Ϧ^X<oL`J,6?M ;+d'`b=<.h[2o2┨q~(GY=²4rIyQޱ]#sN)AD}LǮڶU]5V43ݎXJ SБEyKY+5oj+Kb*Nr1Ȉ$!N?Al} ,6+ Ϭ%B [?~b ī$㘵+2(5۞&>!rTD`uhV=yo]  B<%  endstream endobj 71 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-35 -250 1148 750] /FontName/OTESTL+CMTI9 /ItalicAngle -14.04 /StemV 70 /FontFile 70 0 R /Flags 68 >> endobj 70 0 obj << /Filter[/FlateDecode] /Length1 720 /Length2 12895 /Length3 533 /Length 13456 >> stream xStfbv*m1*mvŶm۪pZ;oigΛٟgF %Uza3=XT^M B ` r3x],Yyx8aa)E~y8YYXEi$8Y-v:Z ¶*zřX pr123YMVb7w lZ'!փ `˨jX_{ݿ5mlge~Nf'nM`fb߻@c[+Sa{ [1=3t+g +wԒo`oI޿9Uh]T2y3OkY3#'+wb]&&&7u0 Vۛ; %"ENLDE4[9ňٙX889VpffaX>=.jvLqs RA5Pnf8u r&I I" ?Cqіqt57|iy+X~/cPɓz> E6q5GB)A-H` |𿥄_"1Zjjb⸿jџ 6UZ>"=).ˎDN *"彁e'Υ֌^8d:~S3)C9> jg1vHR(tAG4ذK3%%)qM$,l)&m;S4c0"MtmO-3kt246+(.m<ܣohB:]A'Fox;~5yC`gw,=?Y{:s}tdu Ye+>-ؓI"2sjnx VOSF>!}+{Sө}]rX?"bZ0GDLMtwoSݪQ6@D LSdKl++IFi9!t&^mHMuhQ#%ƈ"~~=%r˙{JJ[ :y-ԹOwI:PĪkQӰpW nL25Bo!VuV8Kry&Dnq;sU&Q߯ҋ"Coy5S걅ou GƟ ߫ư$0v.#v4:2SpX,|2#KNx7#J=BH"dx=k=BwDyY;t1f@XW Pa^*xnک5$'OfJ\ BIkl4g~fg/79S'PL7a۹]m9ʤ*S7;"RA}ZY)<n9gà-ϨGL,(i.nMUJa .pp0zz`! ׯ;7F^EVCΰ G.Gk:VW7dKBiE6~gLI`M2~b~ݩY-AK+<u2[1~%[|G &f*jK]x>6_*!RdkG0Y2E5g|| ޷A5qgO qt'^D1-Hg] [/qg`[\W#S8(sDQO^.R~y8öM NxGފQ,%RI ب (1Ty#U#nPIT-65k1־‹q/U$ '. gxn\dUw+uqH]%(cpdQ^t:d@Wz-G|QeuouExCP 0L"S:Z.@obI!\ˣq6`/ec76?`ow>ˍ@(ʩ vNĦB(lil.. wP>؝eVȈȾBo1_xg}hХ/)^$DABzWBO:O&XQdQKۜesx&foB!G觬 H[ 9n)gU߿qDǴz̳Gۅz5~<#HWd>L \y X ܥ'R*M.73_gx[>=vM12/P /βZq4ä0'`\Y3xNV .r>t )td1>Zi1 'k$¸D{.E _cY]sڠh`Ë?緥3cD'pX`$4; jN>lUx bVƷݕh8/n9#Z;]9Ō7l/DY8o@$ gtϫf Dh AbL=K\{lm\f:oWC?_@xm~Q I")fy%`!k['~J;WBEfpg[T讓 'kHiWi8#JIa^ e)[yzޯ8a~u]oDߪ&ݒW!cStׄQl"cYY; h{hƄ2) p 1{UTijj{0iU(OiLO/Rtg dK;+`N̢B8(~)Ar#- A>i' HJm\!<ڐ9UոoWyb}]ptv}D_/O\g_ B}6GYnDfCt|p*qב?oOdL<^ }jgoM`2l!39d}] &>>eΉ=Ej΀vH=D)4N5W}r19@,\ewFWZw-c> X;m5ic!WI3**m &+ܒk] eܒaMR 9Q- ^M!"@/7uM|u@fZ&ɭ[<*Gpװ1˔Hf z _v Z(ڟw/䮦(kB7U %HL®EC;.&-Rd(dT(F0+_9-2c.؃jG֌UdEJ3hØUwZgcpȷT:YKMrh=1"1a+)@aV{BmIR;o4V`VNVa~N_PvuzW80s֩5nY<9O;6? %vkԬx5pϵϩkn(x!aĀ-ta 691=/UGB S,0AG J% ]3c xAfEtkl<&K5}+hfXYВvC‡vө ǙȠCk#hG4p%,k_d#+#^;HszgQ! n.ү>[tC+HZk}I2$@~P *7sa)8+ϯ{rsH[ձ&1RrǢ,q ר\279./v8DZL7TomAlET2[TH o(#PcDdgR*C0=#0IVl#>'x{7K *T FQ;9 \l*7رa ;5e3:;Nyq&]P 9`#}y&8Њ(/"/Ktz|oega q.^Hi1c B&][W`a 3.J=2j?@ڼ^<av 8gsY%ΧaU?[<XpW;8LSiuYۈhv8:ēI.߆Mgؒ{۾Li8xEsEEBd;tTЏ_95ܸqTChl-?x"#4'Wq'] -혇;9 OC>~"׀`uNs~x'P1#iSįϖwá[y:hB%n7l,=J|`8UwB j.zV p+Iklǯ^jmhe+](/34ܭ}6\DH(&K$g tOev r\곰N" (KHn[P(Pohsӹ QUc^~QEH#Mo aq|@}yL],&%/F2=lɯؾ6NMEB*z{3`]LXz,A#:jy5g9bukyOy^d+֩+o;Esp)EoT 6)ivUO:tKP_u:wؐV ۡ}64\KEP(°JbF 9Aޛ'C` 2F$|*ifz<.kC!/}7aU g JE%4p'rt|* pf Kd# `Zb,g ⼭~Tm= 8x@wںͿ Kfi|={=_EpoL핇 ˋƳElj;Nň/egߠZU愢B纞rXY_d3<3a:{69|ȥ5 O؆; j a^ldz0 Qh~Qps9O=;OYqFᄩ} > G 45x]˜S#_Qdf7cY/23YI/P(W:xԨ&HPAKtRu mWb!AxKDP߮}B&) ΆC16U"{ġƎ>$6P͠18EZ 42‰kFe:ŋYXT>#;/?FXp ΍x؉%@VA<6L25RSj9UI gmKxWej)26$,OEDQXd22`4,M0hnv[mW:Hq6~ʉr NFtG,Gꋽ\7OE>0IhMvWD Z奷:S)W}}HHt=x5!9Qitס9Sv|Oe ]s6cZ&Uf{#jN¦ԋD}23n=?"^bMpxQC@9͓QfvI F0Gh~u3_Aj^Kr<Ѩ11"n! DQdoޡf+ܞ78suǂwШHm06w:R6Ohm;w"q>O`ܶ%+Pucj22ISJW;SZ" :]Xs3Ƚ'ld^k?W{SykKG?hu[d7$>̺W5.#NtT~.YY)bwDh:c9a(j9 ivn =QVEOU,wN"7F 8U4l}iDk=`Č!QŲ8fUIIȵW3.`8=N0~ssY03[Ҋ@;Ke,f+ExCLg rpxw3ŕY mQy1zWږl[%rvbl0ޯ;H?ҥh(>C7[7@6,g{븑H}^ca=̊%>]Va 0A_ƙ$՞9!3d.rIuܸ)U~H(O0db֘ #h''Y:[YmeE8e6N!^ebD$B]dm6pyg.ʀGT_L|oCkh)p tO<*h<1C"d rZaDH*0Hc7$+@:K*ɟETF{ȻZ] &.}qq)Mh8JGr~]V7,{5ϵ:ڮ+wB9s l 6:Sv)rfUOF*\gC?pzid̓l**8HEYs"a3}_&ܔ+z>xAuZ[U5]pa&v?r~+;7VUȾƙX)+-m%SW op'Bv6ۍɱ5@o$ ] !@1*fO& wbQq2܋[geΣz+-Yo륉#vvk*l&=NA8.##Vu\U)sw@{)bF:#T烉B!Y5wlpW jOj~MiYU g۹6t%ol\Շ7"ʠ ˬ#*Q!ŏ=+@p!u%}>h2/Nu1zwsU>ȵonao$$tare2ˈ~{ѭ\pl/bO:;PR2ʥVcߟg>"-t13=۽EǟΠGo'yjMzVە LHO(gwg8(Ui(H..9nh;Հnyޞi:2dIHtʡXnٶ8:XsjY}w߈~hZg t @Y}QL2TTJl͚_֣[υ)__cB[3't"4ɍLz7 Xt*x,3ke롻4l*֥is^-{<{uWT&#}=^3ɿa 8MڗzQhg$%0fJ"iQI/X[[2 u iC=hY}Φo!bv[mm[:P-~ ̆8-$Ae{"V$ ,IJTW2g+hab}e~]|ϔ) N_)^Z?eGPyVG>9 Ho iGɂ.hw)ȭUSfLF>}feO$vI@%VZVp9(Nk ?b&&D(l0WN\0O 'ԒHqM~pnP"˜!Iq|{R;|]rjdTUsGʱ^&5m߷P-zp8Xbw{=LKp44`Ho J+HBu>~ȹEhJNT26I!X*ՊC|fyԌ&Ljwn $p l+O޾(qnÙ7J#p)w/Bi.V8[:V֣ pfa1# >~!m7; oB`r[]f "b m⨅-R6ang)@,}Z=W0 !DI>Kԫ ^QI%ƽt۶g( @9KL/wv`.#fZmвڤԈ;iyrw|T4z;39]`-сcHEt 6#aglg.:C9o?q:+IӮzyxJ;(P7[Vy*8|7ǐH*Kc!^ֈSE}ǟ_с1U ʷq$ ҕK9p8"7F9+*=.Z:@%:ڙo I .Us0%"ӑp A?/~!w2P?s_Lzm.I+^U0) h:ʏ2 V&@<76!A-jY|D^PDaJJ6(˸=U3+*fjj7uX-jiki}](&% NoИK(R/F9(fpC{O ]3mbI RDb~;dG: ~HYo,鶂9Tê_;'#& @b?ʂ,?gjٯC4s3 K+E-2W ~:e_sê,S;ֈu]g\4e X=UlMYxm#j QC6C)LL<4Pvj !&)J^~,!!6˅WC/ ǜ(V:Bu+⼮͔pk9-8pXWkuw}p%UStXM+j߲ȉB7ۓvcWpE e0I2c6 rDj4,W d?RpqtfױW'm6>|մ6dJnEم[B<fB3o`v?L@!=pSħ^۲RTe`Y?MJ§akd-q3ZȞfvX9/*[}'^zv$`\lO0яP2(-ƾ ^dQ.=w0;Bwɿߢ 2 Kwab8T̰=^Ɵd{K#CTJLqKT+ߴeg[ލ/黽~Ln+M&V0X*X:Er$}1uwl,&E4E.V7'"8$F7{_ۯ:O_wjRwޢ36 iHR_.0>:kuI\Y#$7ɵWFz$' ~Wͫ/TC<5)Avqb+r"*:!J(҆Yzf~?*Ylr֌NOz%%tD?j tFcv-(^{cy:8!KϏ]1xmE9O; mZ6@oy2dnwx.TqJ'ࠖ엙My4})C]/ÕJhh=2`])٘\)skS-{t\ep0d`$A\:֦6ƊΗY,d6#q}d;jgAi-WjӜxwh>V-L Ij&*`AS%˯~70SNM~Y{ PC"U#kG]#m)LM[qNg|;r;ww)5d۹xQR#9WDF!(k³eՔ1nzg]v߆rl6罨KNZy#l;ycCeM]#??Wg-.e}[0;7DwBF>)Tkմ˘ (k6(欍.S֬* i KѹWӊY7U oΜoج μAFa C0!XKor֛Dnaos߁u.NRq/ie{#bU!H4Zm_iٓ)nmd"bcfyLZ +B$!iCEb.))쭒U掾tC"(VE#Ңtx>bxGJ1glLp Mw})cg ڳVx&ړq|y1EOen$`Ckۥd{)rQ;jqVJNdZ9ˍ:vX3ubעh Jg9 Qo=TSi)& f j^R{uYG5lZ,M\*(KfdF U;#?5q&W  1ͫlPX]F _ G,ϗxQpouP]|˖Ŝ$>PyR͒*lOX4dICc|FG?Y>X=PTתSʽzj{~J@X1SdT`H=WtbA)NxYC!*Zv#(e7f!;8.iý1EcR=EH{>tg{lOC?Jk?@3CazNѓX+3\K_pAgq6̯Ex7kiq^+M|)I}2*|ESMBtdž*sA:?b%=!!cF:~iC]nMIgYC\xWF@dW-9-vyhIAyWp=7Ã096;ZX_^{tۡ_>A&;I)m?4pq>%OP5r+i8R7]kbvEO $Yc.I}[\بj:|z8rj`A5ZZ4ҺB+9&8JȤY2ُ1)C7uE LqRCިzs6)k5 9 >t/W B>}ŵRǑIGoPa|jn9e=d|R<5){h`z8Q_0'0b -^(qm楕\*?zGrNU[@+;<ѳ%Cɪ|regAMm*ۋv9jbO'u|ËFSƨK8. k9IMd`j4輱+G2nNxNfN4 4=Ǖnɻ+NmuS-^0tbh/_6u߮}5f]*vM+>=Qxn$*LcSۭTt ] D- `gd ?(Kz endstream endobj 87 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-20 -250 1193 750] /FontName/JNSTKS+CMR6 /ItalicAngle 0 /StemV 83 /FontFile 86 0 R /Flags 4 >> endobj 86 0 obj << /Filter[/FlateDecode] /Length1 712 /Length2 3882 /Length3 533 /Length 4424 >> stream xeXTm 9C "2 CВ)tttIH( t<>}u|9v^:JS$vZzR[00$\q0 &ʼne'em)X`.6Hk8QHOPC:#nH@]HkHO$u+pug u9kJm VDژnk1Cws6O1[怲:0$w1/4-$ WB[#_)3D\6;D#q=/ v1t߱<3,v-~oTp ]`h Wߙxx _JҒ`*4D\I0,-#; wbhKp}V H8QZ:- BUm'?%FvA"Sv:ӤguNê|bێ;==|h6[:E Qי≶n!-j%As{lǖn^ߖS5+M8f`QM2”R!@"]aCZ5Guك"Kjjr#OVy oiYo|L?e29l#.m Ыj77{|xz"%f.̟` P'LЗ 2;:m#*8AMyRfR6O=qwjЖ[<現 ^:(!岇IMߚ\øw{;Y"+9x.b)z΂+?RZ zp_L2ؿ- "m#QW=dylWW~cS%C7m)^+l,#mZn-|϶wia}IijG4m<c'gҍ f5KtZ6Ω2pic>Q*H/%_cЯ롛ti6z4MR4{cgp3)QX/fYy َr~r}#(*j2hԡBS*9ޓ@w[2~]aI+"\܁s,nx Nu=+ U >Eq@Өȳ!-K=Tb\?I΋.Yq7E9| W]ӵ-iqe8U)ך(OFtkokbu*\d ϨͻæшR~i-HkC8U-IJX0D&߅y6eu7PYIH|F@DbΝA q 72Tu޻䡶1oAlqiiy!K -IǑliE0-N&w'5A6dԭzo'pBP^Ka4}V$4X9?KVjBxosHܤJ܆/QMnZTk#Ir{GSRkVڱc{01ihxTHzJG"N"ZgaAFnj 5Pc|sIJfRw6ڹjz籂 'a\8O-jONG?iylSpWGK#b\Xo~COeUH ƣb|M Jm.jQWpJMH ̼,* YdjtuNH\[H42`ƮXd)X6T8 ؇왔*m8DAH'y=qixKϷI4Ql$h>tk:~r;_3g ¬p^['=n 6Ssi>u`f.o&7q*({~`~Qm ]#+n"VUbVMcTd~ug~j1M ==s>P̀DRGC$bR4GJQ @f"ݷN~[ Jfs>NV>ьM`{D&@;grӒ#J+U46E#+/]@V NF>+v|c~|G޾7 BWƥH!܋k=(Ө,?zӻ;fdO/%7c}F <=`rc=n6w䲡Lʷ4DNyS7Otgv|'T]Q q{DW_h_t ╻w\e+2gGhykMxIW܀2%\(WPLt 89oѝ>hZH>%V}ڋS!ZUDLvI7HJ1@Z-Is࣐c z?O8#$ymyvA~ Wl? Я /"9-.AT?Jm` c-|ظ@-~{si%NjpM0!۞ە)= )0W59&'SeBSr ōKg5h2m 1zOSZ {/gATf yZ\ʻI={Q,-UЮ{m0b;YBW/i2C;Y~I4+l$RSfrPosT_ %;3hRCCIJ [3>Z kI=Cwؑ)r^R]YĻ'^>> endobj 110 0 obj << /Filter[/FlateDecode] /Length1 1546 /Length2 9210 /Length3 533 /Length 10115 >> stream xUX\ۺq`; Bµp=hp5v^٧o~s|c5*H։ */* `caE ,l @|6^^6ɋB w[;DۀƆyC's dcCkɝu#@LXPP&N#- /+i[S;eg/ē4vLQ v4XcK8[[+5+? m, ۙ٪ NdblN¶f % G 79:?% +/&㿷a%C ['5w&_!Kp貲A!8q[c; [3[.!l9Az dXؚ 73 r ,S;0_{ A SW=4w7.qA:!kg ق᷐'WZ :Bn8\HT =¿ 2.@&? QMohJ&Ho$&Ho$(C<IPMY?I 7Aҍ~$bcě}?cB@! D7BN?h ?B4_r!V. 7C@>""vnfvi;7-SppIA<+_Ucg01r;7Z@, %=ZsBel;`=4-bY7 r&t~O'ڦsr7ARH"wUcvI*ׄwa[==>Y˕G)gIa7O n4V9m[!'pt\L1W^WXaz‰fFDıXѠPEddCRKD5rb!XhhŘ4Hܔjʇ\godjG4.2WhaRb~gBO=gZrVnE*ORFW[H$6@Ú?=xh`q4SF%%7NL2ҹ仗(`ykpQRfR:-mU+ioGѧ!3 :ΣqBea2\G>_,F$ITBZkZ]:HEbPF6$aH` i"vÅJӚ6 s\6%M{>*|dt̓A]۹EԼfvL2[|<ʹZ1_s3q;mewr:6V$arׄ0|/Ȏ`MbRW\t#o+7+4S VDU'ܰX/' 5\Ҷ=0]GK0 ,cFgB5JZMnnzpi k"'i2vʔϲ?+͐$CggA;]d~<[E%NjE|:r aб3EА5A[ݷvKU\1#ʛo9xʎ4}8&ݦTcR2aPnxa.PZ (z`ssB]iS)]x'8nq{SX.=1J }[ov+LA(;lM+E}9~*!\u_7DQ݃dW`.v25x~mpKAvr6;A/gɯB3b9x+#ް,SO =?Tsje?L1rش(e't݇C }¯ ΌD,;h|&gT>bC8)4[4Z2;5@*Ccag6'E') Ge\_Tr`\ C#,-V4,蝨%[dP6,P BCIn6+@Hcc~9@ĩX5_C5%a@+./¥ou 5c̯KG Fmgڮo=lەyczcᱤN).saB硰ʒHL,N\eB0>V^p,)9[bo YoOPHlWm5k!)f43Zx? M6C%g#٘ugQ Xuю,<be@:F{>PW"s<H"5ypjID2m. h}CB>ˇ.6RS^E聥8%۝P A^HtgȘab@ Г7nt> &ī(=n"i٘ke.l),eI M=aS501p2 _jɞ9ioI!G,ToD)R>a.kߧ~Z˻'xGub}o0<ǪO̚&Sx[禍f8_kbq+h^TcdLĤ?n2 (i9|(]i Џg"h?[pfN2$0ּe+-mm5v&K}fb6XvQx/x ؏.('VIRPZī_=Һ|ꮉ9Y㒑C ]*fz qU0\`$8Ԓ;˗7c}r>Jn~uR*Rxo)/zMỠJOp*iD'O( u. I_ZV,yA h=J\4xM,PMxƨ?*2<0 +G$vٱd4.*PęלqeQj Id],EН%C$Z3?D~pb);8H*+Q\*X͋>'+%TrLrVN$T&RNFr9:?fiGSߍ|q&mFHq57FѾ~%k8l_˝7ҘxGѦ s!pJ[۲=&2/H{yb.-M_BƾaU &`hQ֒xv{TSRЗ3dC'/VMڦLݰ_ksъ0(^D0_wԮ⾞k`xऀ̀Wh=,B@fCe;.ܮMmmy.NgޔFsר퐙Ni7||VYţ^qd8zRJ؋+U,K>.wO 3!ݺ%*K\T$dGu+5GI0EIՉ'\왿?RiѴ9oz `w/Yʢ(wiP?ۢLɧcQQ(\B j*\E 72%, ;eǛ lq?SZdꨔRW><(4Íq Е'*EXVS1/֐Q #(qܼjlIqn@ОG+l>0mt͛[0RsZq;d_(]W!R}cMS2U2YBfݯF +ӋUA֖/hTTeh1!Rb> .:tt5F<3:#Ǧmhʨ.ӔFgSR~k2 h& J,Q o7X^cj{-J?O{^zד%:VhˮPlKIҤɎF&(J2Zϕ-tt2^O}0_.qܠ@)'*by:)h5%@4]dX4oma 3c%+Uя{BL/^@e'Wt\I oXD.ksHJpҧpVᢐ|3T=mKИ{~]l_Zv=ˑ빧>bRUVedHc(s"宛{!c'`oGi:Z HMUCۻcj\OEZ7mmcsvx_7r(r:/?*SEQt Sa'FV&>IVeQnrMNl~\rc?,G~W/ѣ1x:8ܼBGjQ(R`<7%U|^2!+hCL,p6T\!Bq·hLM=կ( 檅—j *V|` I4*c}L: 5oƾ^F_&ʪw{C9\AjҰ:sXz{X-ԏ^+NJGE߷+l3L3Z9Uȱ(jP,2asSgu%I]+<mޝ*u:o+ɷrM=`wyU$s|Rኩ8P- b0דAOqs}wpca. ɪS+g[ )spRv+swBF׼('?> %vQ?Ch}}b_EMp+ c/!)c׹;Kckl6Ka}?+eIc!pH2 ezOCd1$7PQY%d)d Ѣ@ԱP#5Denc4]V+tE1\@.\ݯhGPZJ&!]^f֖/o>l k`3=/eۇ(;hU6SK(j0{WآsFljHʖ)Z;t{<>톗fhuz7ϐl5v8>/:A~\U9%Oh3XCZ60~?xl3B i/\r5? >Ht눗ׁ MhJ&JBq0%Z1>nix5q:~>tXKvxR܇xPFGKR =i3F[5k Lea˨ͭ!razQ) SsAh!4ɏ A\{t6_2?<(kEj9LFu>/ƨap_nWsG[}5#={}{^&@oJ[ӎK`WHG`㒰qhHzVAb;W>)CouvugP9g3_sWZn_L.J&'3ƘVL @ԠXkiS`u9ζbXDmdHow+ʌl1h1yb䫯e\A)T!j |]sB1e~zyv'wnrfJ*7-cl7b"M K*k:Tĺ+֓޳Ws3 wk=C8(_\JEZ=PZ=,(DPVj([`aϠC!m%95s*PZ efx\$BS4iZ>DDMYQT-!m,6UONѣ~iߚ)H %li'1"ٜ4cV#}%փ/7tW<%n`B(-^4 ^(eT=gjKwћƯkA2wH}0ϻdst ΂/k/N̡mpO?uDxrB"5|CZ/7>/C4"31ٟL-#8)k2+Vjq9k/rR~F^S$4: l)?.oM a T֩ ?$a{(7Ľ5.P~ 21ώ`L 9C}F,oWYbW̬ AU(EBٌ2'ΠWBa rŷh}y0t5{Rwe(wܣgY6Mf_a_٨t{Ckv1/ڬ^Sߌ#DnWB"+em MwCJoܕXtvInivkuMmvtXv:?z27P*nY#D?F{LǞrHo`g 3]߈ܳˊT"g.2]Du,5ˀmڢ7vvuʝU!6(08w} adۡr0JM+Sd($к&OaM>OA>Z/ ˸,7_2B\d& @})v;JͬZoS5{i&g m#I6[/'k؏*4bA5L\;L= ")Cem V|jrgII+kNzp je5t^ VIv;`F^~&wƧ0h=.d m'ʬ\VB&u -#GP)´"cEi=g$r8һ"gr#:Bܙ:pvoSͫ\~hm1ebdҼwlÕn#IPsSaqLY(E{ Įw;_}}8SĞ9:˭Yj"wn呰\-&,NNʘ+|_X6-5JQQm` JԣW0wgøyp`1eag2oQh|ەSr78*ORTϐ \\@hvxğoSdR 3n>%Nչ&$`}we*NyT%VkJ3ǁOsJĐfOMG .sQ {%#+@F1V'OC'8foH^OAuH]T]I܁2sh.E#}4=]ܚ"tl! u$A:[ZR2z*]ӣn"h$݀0D000%r`ú^Uü.[&K~=N.3L0Nt'CwhP>$8(+3aW\$WRM)w W*OR"[B] @1Ҁ/B\ ?[ Nv6`+ endstream endobj 114 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-4 -948 1329 786] /FontName/LSKJSR+CMSY6 /ItalicAngle -14.035 /StemV 93 /FontFile 113 0 R /Flags 68 >> endobj 113 0 obj << /Filter[/FlateDecode] /Length1 1005 /Length2 2146 /Length3 533 /Length 2860 >> stream xSy<e #c`kq,cd6BA-rJD) %trيJWNt?s<>理aFV4*K6]& d,jg .7BjJ9 z>`F$ 8Y !ɀ+@Y`F&.%Ld HԄhH"0D#=RiWȦ8 OrIQ #hP77~bNxʺF)$r 4 #2?z_9D#k“I3j4:(mݯiE $!ēM~%$*-_bx4Q(4߾|~hfI%Ј$j |IiQhD%9FjRi,F B3!Ц3F.@w0@2d0H: Ys$JZ?ZСH?# Tg] hHhH`Yl"Ɓ_}c{£4t 4Z[E5ϝJ e_Pf0rQ- n%˩-s{=jZ:nVD8utptʧYM}G}]g⌄Mء}VqJߵuHHe%8 },XLg ьڝn@]Xy2%dxASJ)'J -{Øgե(+~S)c?r@q\LDfVqgqUU0W܈HȄ ?l }lOe0 V6ֺ+ jK<ƉUS,~"q,ayTNFEeݜC9ٟagSЗ֪|@IrLM5k`,C=v"abv$FƱeP`Wꉘ)[;fÑkqn%W;sʲk$yeFPՎ)F䪪#< %+4wrO/aį Ţp3?ؖK E$mްiD2=awH]h7}JlǢyo-{ynӶ~xOXumjfp\N^0%nb!W|tjXهE'PbΌJ =;H)zOZ9)#kw^X[M4pjߑs⵻ġ3jMFw*H5${\ܣ={Lۣ {GIQb+kJ2>$gO]`V᧜9ϭ"|Ԅ-7q x^ϬF%-q]gW?PVN3=tTZ*\gxԻ4!7cٙ&Gm!3'ѳ3UvCʗ{ =$\Lٞx,!NY!]/^9IKpVM|t,a#C@ }SI_|1\m22xˍP>" 3MzUAj? =w..ths|O%Uv(Wn)U0տFW{DpE/v'bJpgƓ=Jf_հ"d1uQn[,*Ç$ﷆ3R.{2pigxFbPf9|Rov}ϵLSzろB1`igA-֨EryZAo_RkEþ{$ n#:}JvseIIi|ѥr)d+w5vq\/u0Fox}`%QF^8g7')uNi:rM_(h;>j9BU/Y+6 M?vw;틏>:W$>M𷯵w]-i0rqzm ½̶{;O:׮G$ו-i f?fz~JKO'd+QՑ*g,~2`iCm۝5#Uybԋ{27nBr*Tǥmؙ%2igcΑJV0y.xpUz~dҵUo6t\YM$:'c⛒3bd~c{f:T7%v=c6[H@!N 0n}xRE>c8v"S,7Tqq3Gz8K=ϵ}pSMw*vΨ-(/!:46C 6fQ]=_ΉZX4^/?!@ xF3Bٶ endstream endobj 121 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[11 -250 1241 750] /FontName/YZWBRB+CMMI6 /ItalicAngle -14.04 /StemV 85 /FontFile 120 0 R /Flags 68 >> endobj 120 0 obj << /Filter[/FlateDecode] /Length1 877 /Length2 2669 /Length3 533 /Length 3304 >> stream xRy8%M$/$f[4ď1,VF%elYl!Lu~su|~<,d1OU$Pa0 D. pE0%UyU9D!IX'g2pZG;K vIX4  QdgЕ&F  e@̿_qAw bd!8`dC] 2ƃW$|8h>1<)Hs?6U\3E~տQXD2H HJzC]C2 Ekp ?' ;uzKX2pDu ->Wlm音ټɖDcZF$`4"muchwhRr /1zCe2 @Kp$ Ǫ @0?J5P!8@4.Pt= x~ͽ98<+<4`J?B{H &v҆^ t; b6}f"9 zfrS戮$?'ڈy%NUd}?^Bզg f@V 2[j+fl_ V#օJ]wIvs+nl$ꬿfSSNo;p[~JɺQN ^E^L\IH10D)~(Ƿpطӌq7]v,'%apS*#a)WhomDѡʹ^ȧIT{A>N] q[6bo >ai-ۮ|z\."Bΰ:LM٨WC1͋/}TW">ٶ |էrC%\7PxcE׷,r@&ov}Uٔe$B#y#ޅl4'@]\ ȷ\UgPl׸?4h|aTZjN(H蘰'>=&!ެ 97d-zlLǛښ Ӱ<.niWnw0njM:Hnggy1|X\&esE|^L@eK hY 1r=AMEl\߱K=y*&)̻b4?TVLnj >n02PHr#G 5 e^-DW.J?ldխNPipmvtg~}a<$_[Z/W$DXQW*KZuD9=,]3R9SmwHa3w} ?Fk #]JQj3[?㚛*Ӯ(T d_|IIcI?*Un\nD:ydυ|Q|Yڞ,NCdVbM*6\vRJH$1/U(tճ&n'1gEy.jy!ȩ)ZEUXٕ[;lt7ƛdԫע4TOOzy6 l-j&<%m_r5:0[}*XuYeyżo!A`]xBcVrs|=!.́{g> =ז:;j]`ipKaXMb՚֡< 9^Mם^/Udlױz{m-nEʵ۶'Vg-AT^.Y+ܾ*?\M?`Θ}J0fvywpd;U[lh~9a=A&?rSc:$]:Y[7,7pMbfKQz*AEK ,$BM8 [fkwܯ7RBW< /7eOoFfעl;%4 ~,֝"ᬌYjnTv&x`qSR.5#/aSΊ9a 18wښ)aӵ4f*meiζWrC,arG~H@ eQ&Pљ)wlaO}㲃kmt^AmŕTf).Ec}Goq/mz]/+sU%ʖGX*{'-EDJ3Q4_a.(yo#[t Oe3*Z]Qg|<,gY[iTLhKkFO+hQS};n LZ6[OL/0qTp+wNthRV\>df~^@vNAԸ@ í^uDQU7="7wUV!V"LXp@ Og%+1 fY۸M5nopj?Ԫeoؘ̻L\2j}/,vߦ_ 6U!FU˯7՞/BnefoH 1;HN R>=:[{kd}XG=bϕJOX˰r0=&!h>ip?JuHksg. eAL*䫻[SKu9sćC3ZbIۜlOdNƣ a\\a / *$F^lWRiU9(euƶ]vOTD]%wb-' /BQ$2Er@-̶ endstream endobj 124 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-341 -250 1304 965] /FontName/TDPQWT+CMR5 /ItalicAngle 0 /StemV 89 /FontFile 123 0 R /Flags 4 >> endobj 123 0 obj << /Filter[/FlateDecode] /Length1 769 /Length2 1230 /Length3 533 /Length 1806 >> stream xyTSԎA,adQHEAX";Ae @|$/ y_I0,EaPψtPP\p)(-Z@:dSyqK2 v4&hd*Ջ@"yc(Q &@svۡx|LI$MbpBZr<s@E| HJO>Y\"B !퇸dF0GC 0B,B!<pS>C,H"|)xJ 45Z.]Eyܪ_UA̗RG)b(G ˫~"s<>P?`vXqa'|!rܸ%J+ftk ¤)T]l^iqs0XDQqwix#>>bpP.$tb(%Pq):B2%IC1}Ebsxy4[;{`KgvT{فxc *䴔1 BDKo7S̃qK!HqY q jv|w}X[fo$I*nK̙w3l-2Qف=:3#*K{U-eDƦpQn%=:odN ~Q^28S{>e^`q*㞵VӃtjQ$h-tٴ,NCS-?WL+#TW) JT)a&Q'Z{}SK4$UwiV+6LnY!a_!>G7GwSG =?_SD#42xB=$Qh$9[4u,19{،fn'!63$ҫts [ x,ԺHִ&mڴgפ:VZotnRǏX2 endstream endobj 408 0 obj << /Type/FontDescriptor /CapHeight 850 /Ascent 850 /Descent -200 /FontBBox[-36 -250 1070 750] /FontName/AYAXWD+CMR8 /ItalicAngle 0 /StemV 76 /FontFile 407 0 R /Flags 4 >> endobj 407 0 obj << /Filter[/FlateDecode] /Length1 712 /Length2 3443 /Length3 533 /Length 3988 >> stream xgXS[)&T4 &% #MH1$!B!HUދTAHHGE@H^E#G9}s\o~Ϻ׻0%DwAqD TFmbJ (8(e &Ee2 r0@0X@݈`1m?\`MO&p"ǂ- 5X-P>(} ȀBcp@? qx_m?(XS|A`$(eX u?oŚ=ӿpO 6?t/E(V[_h&($! 4qh, ,W 㣇G!1DAG۟Rw4lu$<п4s8G g?k/CJCe.?.Gbph%C 6IK SCd/.4XQ^:qo_X^ZZZ—@@^v\LG!O1οJ;hm7<Β?* ciQ?gGׄ$9upU~I7]:T&'CFX쩤~Cſv['Y D<, z~l< iBVKM֭ĮPFJs>}Fڳ^ e |$qn7p-n(r,Tr\ *gUzݍnf$XO@[<*-cB #:Rp`Ff-ƒ !X'g"xKℑa=F'NJr$.2! {f iYSnϭp^TB>tQ9~ طJo WdUZ750taA MW/׍"]7$ tOCNiHM_1*dHMJv"ј@nrvB6f=Vq_tQC,w*5:Cmơ^hVE)P[ZA׽V}CfHL/kY]ef}MZsH^GpX[-z?tjLĵoYeix΋9mnn*+R2.qgU uu4 KIB.vvfo2"5ͤeF5a%~8FݨsG-͡/X8/哛dpP˝cg*.eZgQWJ_'GISB?&AS| LY6/GXhY=$ dyy 40Utr){yaUSE-[mACt2~nPXW53֛&1@rt6gϣe ;MfƩVNZmBN7z;sJ-]Z?0gP:`1w Jm;+Ƞ4 ߉GoT\ƫ^Sj~oix l MF_`ӾD׬r̜{i0jC/.;, ܣh~8(9R'4Qocޜ NQ1;_ާnkL4nfw4bM7Y3s:vm5X*# 4Jdθ4N,_w~1N.1\GҰ,4tMC[m-WS>w48ZH,Yn(?8Ǖz?X2V>ɑޟ. DUȓms=4,SQ[V%}dެg:iq݉ӛs[tNk>zlyj,rvRBOg_ RӤ+.jw;k…̌ðnK3Q~ g挜ԯiYT%;g0w.R,Կ) tF#L͏\UWBk]vuR|,_C^k(MQ)9dCPiiSw!ŶLphWy,fri,gTe=Ui>Lug!t.ʹ,n) " OxeMJ3 iĠ3@) p9O (>誮ʼWt[3w5goYw93!u2A`cKe0[m sڑG_K.~&Qv@z{qr<'I옥89E_%;@W(zq&9d5}duCgv{9"/s;p2"fbJnc9rڸ 2ΙmW z=ҋq#q]*]oR{A1c*@a!:voуۻ;ܛ >P#4OYP-w4Ȇ!SQNLaH%>:q{7nw3ߙBO"Hғ#[I\fa]ݤkcv.J^ Aב O!8Uw=_P2iXEl:m-v` sy!te13,~<˯ݬE͋yǒdbo_LNG:Iә~YEgz I^+(IQ96Ofѥyo=ԋyT.*m ˅"-Ubs5zzf#e(}>LeV sjdzRgZ̝(&ϭIj"GJYEs5TŲuT̕/Z`݂ha豘JAU> 0Wo]tQ7#ԼR_ LE Gq,UL- ڏk-M<֋D1}ĥԹhcRaA8.:RuKd矡rasc@WiiP~tW`d$-03lOMNcP}ǟlh~*bd' E7Ҡv옉RcڧAfz*Q0s* _}Fay"eՒ9{BB0ү|2_[fC%`iY;LcB..  Ӯ+׺9Woyr  IA/WYy$xT]XQ)'XI+lH=^q JiVS6$~-IMW!G*;2-񽖏we=ʐm-jvgkxښz~ 6aڔ,{&D>? q5+b48' H4[߉N嬭Ick: ֙*;&s7u2(_ JPǙr.N;A#bėfyY3OI /Dǽ'?Pk9'2,kc>1Vjd54|eoaM-{@e.Nl]x֐~uJFv3IW އƽl^r=:X'b8<-4`+4,4> endobj 457 0 obj << /Filter[/FlateDecode] /Length1 720 /Length2 1238 /Length3 533 /Length 1777 >> stream xkTS 0;E *!'! "!9B8 *0*r`#̲XTZZ҉vV꿮|w?;o|߆Td G`@ !!ԍ-DA. G"bxD'H`X(·&[ !6 8,J @kuK,`Ps X,.08AL^hPe8cK c\Bi \K\8k+YcC1CsUGx 0b,LA:"bƮC8t4Ȟ@_בX$@DHk:r7ȇaʹ^lJZ Rg$D"HFvla(GE/b\OP$ؐDB&1Ebİ D*rB!?|F0s%8s|Ѕ!2Fs+7UXxN|(WϠ; ۯ.2>Kߺj˵rU&KT|8^!qO~},hOWHrJ֋9wO5_ b۞`I֏ڵ'TKR["ܚLmLtTa{'gb7|d4  T7{Ǽ^}{2~(;z wM> 2oo[wI4zz=q]|syg]O&|l6F){ywޫ!o 82x#JFĭo  k dكO_Z[0nT쮐*FF̓UH~G8Lޝr1.l,u,glo.\ j |?4͖)bvȆwZ匯 /،乨RONd-}gSf:6D -5ߦ\p*u lS_$1%aaJܻ3 !y80 ϒ1 Mԁgң^swusgJ4t3jYj~pA:1ޖm\XO#ن[R,7JX\-"[K՜JI`3Ean]bC.T%4,̔|S^y߾~о6z4 Wjf;ra(ZHѺdi@ qwc3O2 ~i=JlNc/wxh}+Iw8[_ż|> endobj 493 0 obj << /Filter[/FlateDecode] /Length1 1245 /Length2 5517 /Length3 533 /Length 6313 >> stream xg<\{#(.ADuԄ3 cQ D%DD'D/!Q;羹~7opc4N$@5$ A! ..(!1hE! IHnvHE((P3xTX ЀN&60@cD< +@# vH4Ojh[ @0_)w֕ C c(<>/c[6WvCœhǜ- sBYqrv! E7 ϬBȣP_!2Bl80 t4Ԃ!8=]A0,`*$($"~3G ;! XxH4 @x 0_-KXGϘ(hwG !1_!IW8hAa~jW*~7 ao_Dbl& A 7!A7!:Mɷ_}Bem|{+N݁`8,tLRfPI{niե`Һ'r/ޘ/_AG8╌LE.G/p1@边~m#2u/>_m5(EbiX/Dkryݎ9Wcu:q@7K߄a{n~섨jO,}3-?ARrZVd Yk'֙ɢꔤ^ԦJLnTz2Ÿu֗fVedEmMYU]}ݷTmH^*~d}IT;6U"\8C3})|p9y <#q"wu<ˇ W z3neRtąx<ʌk B"{.bu\ F>d 66i<nVPcآ5ri1풹ZQjwhza}]Ҏ6+[!EQedgA6ODR[5<4n.*2wv\,2s+{I±.d!9:Iߐtlri_c֍/3jY&1}wn]|^9hx1U-$@Y<]bO˻,vr7rN,Ma宋 ks1-+ҳ@L*!|TWd㾯sn6#\dRokRur"X0 `g պ$ZiZ|cFWkuu$u^𯜜c!ٕMz&=f+rH~0k5{]o13=/xTǼrcYclat9~֟"ZVvjDBhIu$6#o'(erī-} zd,FX/^4ZT/I פm~`k'3ynv81wZoX ZSbk)8P4 W*kr^hQD;k<')y݊yХ!bYlyu }xVCHQILC{)TBKKd哴9*l7+ ؟qj[-;r*F!G2>t'wH(-s;VtHc l|i|Ⱦ ~Ɔs~,Ks|vpimZ|RG=ޞy'җhc 1 ڭ'*t,PGGЩK)R ,ך>2j˕Go@N2b/sYMO*}̚vq#١EqJ'wz/Ƅ-ǖ=AY{LQ#,JogF&W%;D{Qwe- Ct&rWܠaDVˣ\;pDta\^0uúՄϽ1N^׫ h"f~h"Q}OjMCD5ܢXkSs6udCV %THRՙPh 4~.mQ{ {>WI0~PE%0\!C7ժ+y%bAچ* 휤{eEFy$v0<9;J&8QUc7jYfK}_@8jvLH'U5JVvTEJFqoصڼA3ګ.@w A,+X-5{apRg תQ[|딿DQ͙t'AA<ݭX1`*.{ՙx{Q$:ysOJT#:3/h' _ѕ1|?X WSb y1c]S'U'̾LkDF,]"biF}"ȵ'݊D"Ku-NU9M졝!;dvXH;gE4zza.#u<=Y90;W{GK%[MC\z,lm^F 6ge. d$VaWY!m~u渊ʐ+UhhԂq[WҔ7>jyRk+Rʜ> DɆ!WlCdj(ɕXbOg8;otRwH+$tPJFniw^pן@z7涳* wR؏M֯*̮CL又lL Ǡ Y V,܇[%,OWPntƛhVX|AgmQIZX&ʉqݹ gq~Gh6Q/odkP6HcȟEZ;Pȝ"FO2FQ{}=71kw$;y2 _n,"귳ex)e I1GL[ժ\xz1l2ct״t>x҇$ x 5(ІϫJl!I8uK\}ܘX[??l3ϛCA]g?n]%fk3+hXG5.Vch)pDS7yӍZwTiտ_ ~^K[FA8%,P\Ar!OҺt LIa2N 0ܑiKk15 UsƓDi\bjݚ fd+iT#zŇ(Jh6%[<s!5_04ѕ\WZU~7nR8*]kWW] ]rgy\[^-~; Q~{^LS\,HH뙫- Ù1#CcP3}{^D-\2cȐҦ5 H-|/>Yԏ}x/컲N>{YxO8fpHjFMMoxS±j83%sMm{bP٢i4%k Ls%_+53癟fP tWfߩس3du|1Gwe.AV2hL2,/!G4Z7~rCsaW GdQiTnq $" ~E/n 'y*ĪvO_P?mCl WC_k%.v8}{El5ROvR wo,>H{2;aiQ1213zȚnxx#E!>ruWͣK\6KBapsU ;Y>AR=Aؗ6|geR \?pf/YtDǤ]3-YpeZDkn=k9Ўlb8*/ͷ|\\2T.rsZ3QRIJ~A',ᓯ?n\&#gSwKR)eΣjZZ^VV[xoƒl bA R^ۦ1z7.5w`-(POOW6\ompT(ģ %L`iO>?6ǯՆJXl]"oQ#Z/p1ͦ^3!J3.љIkc2M|sY¡(xUZg5{$.ω~Skzew/KYm X L78{X|&yح(FUg3Bs.'`Z>Y9:%d-ʮn)>;a*C-*<`RM&j:/=-gT]=̶L_KYnwjO$3#ᮋo CsAg֣$9e(*/cfZ9g 4n l Ho4PǖlsoK(6?U1>SmBr 3 KZ_϶C= K>Uufw{tMSB9 _#4|w^F`zLC)HZ3iU{\?up wٔ,5f //o 0N0#i endstream endobj 519 0 obj << /Filter[/FlateDecode] /Length 300 >> stream xU1N0E&G\'KoiHPѮ Ɋpp. ߦZxi[S;LUlU7rdk֎WBwn :g\sY:]ޓ]k]v7A%TT;+YʽYl"R^adE8a9t9/YĜCx.`طH^S/s 7`#H#R|Ez@g?ȾB |KmfAD s Ih,31>a!)G;.U a endstream endobj 520 0 obj << /x3f 519 0 R >> endobj 117 0 obj << /Type/Font /Name/F14 /Subtype/Type3 /FirstChar 0 /LastChar 127 /Widths[799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 913.57 913.57 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 799.38 513.89 285.49 228.39 399.69 628.08 742.28 628.08 742.28 799.38 799.38 799.38 799.38 1027.77 1027.77 1027.77 1027.77 1027.77 1027.77 799.38 799.38 570.98 722.22 666.67 722.22 722.22 666.67 611.11 777.78 777.78 388.89 500 777.78 666.67 944.44 722.22 777.78 611.11 777.78 722.22 555.56 666.67 722.22 722.22 1000 722.22 722.22 666.67 1941.35 2398.13 1941.35 2398.13 0 570.98 656.63 0 0 0 0 742.28 570.98 799.38 685.18 456.79 685.18 799.38 799.38 799.38 799.38 228.39 399.69 799.38 799.38 799.38 799.38 799.38 799.38 1027.77 1027.77 799.38 685.18 555.56 556.32 556.32 441.36] /FontBBox[-239.8 -724.4 2637.8 1085.2] /FontMatrix[0.001 0 0 0.001 0 0] /Encoding 116 0 R /CharProcs 520 0 R >> endobj 521 0 obj << /Filter[/FlateDecode] /Length 230 >> stream xڝ1N1E $7THlH "uȵvE L3ӠtȯoBdjr94d6 HoLsF[GrzGlٟ=~IkWTԌL>T;b+ G D#߂R0r-~e)Ht>r_6gWwSꕪYkdF}SG5U_V<r endstream endobj 522 0 obj << /Filter[/FlateDecode] /Length 228 >> stream xڝNAL7`^㸅+L V+ )~NTI"đ*2H]јF⤤)ѳЋ]SD)<-¬ #[LCu=fkjV+Pto8%t}|dv/gpDp0.K78^f[ϫnr\ȼtypӆ1 endstream endobj 523 0 obj << /x0 521 0 R /x1 522 0 R >> endobj 184 0 obj << /Type/Font /Name/F17 /Subtype/Type3 /FirstChar 0 /LastChar 127 /Widths[471.06 471.06 428.24 428.24 485.34 485.34 485.34 485.34 599.53 599.53 485.34 485.34 342.59 570.98 593.82 593.82 613.81 613.81 756.55 756.55 542.43 542.43 599.53 599.53 599.53 599.53 770.83 770.83 770.83 770.83 1073.45 1073.45 813.65 813.65 599.53 599.53 656.63 656.63 656.63 656.63 827.93 827.93 827.93 827.93 1313.26 1313.26 833.64 833.64 899.3 899.3 685.18 685.18 685.18 685.18 685.18 685.18 913.57 913.57 913.57 913.57 913.57 913.57 913.57 685.18 899.3 899.3 899.3 899.3 628.08 628.08 856.48 1141.97 485.34 570.98 1141.97 1553.07 1141.97 1553.07 1141.97 1553.07 1084.87 970.67 485.34 856.48 856.48 856.48 856.48 856.48 1484.56 1313.26 570.98 1141.97 1141.97 1141.97 1141.97 1141.97 970.67 1313.26 570.98 1027.77 1484.56 570.98 1027.77 1484.56 485.34 485.34 542.43 542.43 542.43 542.43 685.18 685.18 1027.77 1027.77 1027.77 1027.77 1084.87 1084.87 1084.87 799.38 685.18 685.18 450.01 450.01 450.01 450.01 799.38 799.38] /FontBBox[-155.3 -3699.6 1708.3 1120.8] /FontMatrix[0.001 0 0 0.001 0 0] /Encoding 116 0 R /CharProcs 523 0 R >> endobj 1 0 obj << /Creator(LaTeX with hyperref package) /Title(Stack Inspection: Theory and Variants) /Subject(Critique of stack inspection based on formal analysis) /Author(Cedric Fournet and Andrew D. Gordon) /Producer(dvipdfm 0.13.2, Copyright \251 1998, by Mark A. Wicks) /Keywords(security, stack inspection, formal semantics, equational theory) /CreationDate(D:20020102112608+00'00') >> endobj 5 0 obj << /Type/Page /Resources 6 0 R /Contents[73 0 R 4 0 R 74 0 R 75 0 R] /Annots 76 0 R /Parent 524 0 R >> endobj 78 0 obj << /Type/Page /Resources 79 0 R /Contents[73 0 R 4 0 R 101 0 R 75 0 R] /Annots 102 0 R /Parent 524 0 R >> endobj 104 0 obj << /Type/Page /Resources 105 0 R /Contents[73 0 R 4 0 R 148 0 R 75 0 R] /Annots 149 0 R /Parent 524 0 R >> endobj 524 0 obj << /Type/Pages /Count 3 /Kids[5 0 R 78 0 R 104 0 R] /Parent 3 0 R >> endobj 151 0 obj << /Type/Page /Resources 152 0 R /Contents[73 0 R 4 0 R 175 0 R 75 0 R] /Annots 176 0 R /Parent 525 0 R >> endobj 178 0 obj << /Type/Page /Resources 179 0 R /Contents[73 0 R 4 0 R 205 0 R 75 0 R] /Annots 206 0 R /Parent 525 0 R >> endobj 208 0 obj << /Type/Page /Resources 209 0 R /Contents[73 0 R 4 0 R 261 0 R 75 0 R] /Annots 262 0 R /Parent 525 0 R >> endobj 525 0 obj << /Type/Pages /Count 3 /Kids[151 0 R 178 0 R 208 0 R] /Parent 3 0 R >> endobj 264 0 obj << /Type/Page /Resources 265 0 R /Contents[73 0 R 4 0 R 286 0 R 75 0 R] /Annots 287 0 R /Parent 526 0 R >> endobj 289 0 obj << /Type/Page /Resources 290 0 R /Contents[73 0 R 4 0 R 321 0 R 75 0 R] /Annots 322 0 R /Parent 526 0 R >> endobj 324 0 obj << /Type/Page /Resources 325 0 R /Contents[73 0 R 4 0 R 344 0 R 75 0 R] /Annots 345 0 R /Parent 526 0 R >> endobj 526 0 obj << /Type/Pages /Count 3 /Kids[264 0 R 289 0 R 324 0 R] /Parent 3 0 R >> endobj 347 0 obj << /Type/Page /Resources 348 0 R /Contents[73 0 R 4 0 R 423 0 R 75 0 R] /Annots 424 0 R /Parent 527 0 R >> endobj 426 0 obj << /Type/Page /Resources 427 0 R /Contents[73 0 R 4 0 R 462 0 R 75 0 R] /Annots 463 0 R /Parent 527 0 R >> endobj 465 0 obj << /Type/Page /Resources 466 0 R /Contents[73 0 R 4 0 R 516 0 R 75 0 R] /Annots 517 0 R /Parent 527 0 R >> endobj 527 0 obj << /Type/Pages /Count 3 /Kids[347 0 R 426 0 R 465 0 R] /Parent 3 0 R >> endobj 3 0 obj << /Type/Pages /Count 12 /Kids[524 0 R 525 0 R 526 0 R 527 0 R] /MediaBox[0 0 612 792] >> endobj 73 0 obj << /Length 1 >> stream endstream endobj 75 0 obj << /Length 1 >> stream endstream endobj 4 0 obj << /Length 30 >> stream 1.00028 0 0 1.00028 72 720 cm endstream endobj 33 0 obj << /Title(References) /A<< /S/GoTo /D(section.8) >> /Parent 14 0 R /Prev 32 0 R >> endobj 14 0 obj << /First 15 0 R /Last 33 0 R /Count 8 >> endobj 528 0 obj << /Limits[(Doc-Start)(Item.1)] /Names[(Doc-Start) 34 0 R(Item.1) 53 0 R] >> endobj 529 0 obj << /Limits[(Item.10)(Item.12)] /Names[(Item.10) 335 0 R(Item.11) 338 0 R(Item.12) 342 0 R] >> endobj 530 0 obj << /Limits[(Item.2)(Item.3)] /Names[(Item.2) 54 0 R(Item.3) 55 0 R] >> endobj 531 0 obj << /Limits[(Item.4)(Item.6)] /Names[(Item.4) 61 0 R(Item.5) 273 0 R(Item.6) 274 0 R] >> endobj 532 0 obj << /Limits[(Doc-Start)(Item.6)] /Kids[528 0 R 529 0 R 530 0 R 531 0 R] >> endobj 533 0 obj << /Limits[(Item.7)(Item.8)] /Names[(Item.7) 283 0 R(Item.8) 284 0 R] >> endobj 534 0 obj << /Limits[(Item.9)(cite.BDF01:static-analysis-for-stack-inspection)] /Names[(Item.9) 285 0 R(cite.AO93:FullAbstractionInTheLazyLambdaCalculus) 480 0 R(cite.BDF01:static-analysis-for-stack-inspection) 483 0 R] >> endobj 535 0 obj << /Limits[(cite.BJLMT01:ModelCheckingSecurityPropertiesOfControlFlowGraphs)(cite.BN01:SimpleSemanticsAndStaticAnalysisForJavaSecurity)] /Names[(cite.BJLMT01:ModelCheckingSecurityPropertiesOfControlFlowGraphs) 485 0 R(cite.BKR98:CompilingSMLtoJavaBytecodes) 484 0 R(cite.BN01:SimpleSemanticsAndStaticAnalysisForJavaSecurity) 481 0 R] >> endobj 536 0 obj << /Limits[(cite.BN02:RepresentationIndependenceConfinementAndAccessControl)(cite.ES00:IRMEnforcementOfJavaStackInspection)] /Names[(cite.BN02:RepresentationIndependenceConfinementAndAccessControl) 482 0 R(cite.Box02:CLR) 486 0 R(cite.ES00:IRMEnforcementOfJavaStackInspection) 487 0 R] >> endobj 537 0 obj << /Limits[(Item.7)(cite.ES00:IRMEnforcementOfJavaStackInspection)] /Kids[533 0 R 534 0 R 535 0 R 536 0 R] >> endobj 538 0 obj << /Limits[(cite.FournetGordon02:StackInspectionTechReport)(cite.GMZ00:SyntacticTypeAbstraction)] /Names[(cite.FournetGordon02:StackInspectionTechReport) 488 0 R(cite.GMZ00:SyntacticTypeAbstraction) 491 0 R] >> endobj 539 0 obj << /Limits[(cite.Gong99:InsideJava2PlatformSecurity)(cite.Howe96:ProvingCongruence)] /Names[(cite.Gong99:InsideJava2PlatformSecurity) 489 0 R(cite.Hardy88:confused-deputy) 492 0 R(cite.Howe96:ProvingCongruence) 498 0 R] >> endobj 540 0 obj << /Limits[(cite.Karjoth00:AnOperationalSemanticsOfJava2AccessControl)(cite.Moggi89:NotionsOfComputationsAndMonads)] /Names[(cite.Karjoth00:AnOperationalSemanticsOfJava2AccessControl) 500 0 R(cite.LY97:JVM) 502 0 R(cite.Moggi89:NotionsOfComputationsAndMonads) 507 0 R] >> endobj 541 0 obj << /Limits[(cite.Myers99:JFlowPracticalMostlyStaticInformationFlowControl)(cite.SO01:TailCallEliminationOnTheJVM)] /Names[(cite.Myers99:JFlowPracticalMostlyStaticInformationFlowControl) 509 0 R(cite.OrbaekPalsberg97:trust) 510 0 R(cite.SO01:TailCallEliminationOnTheJVM) 513 0 R] >> endobj 542 0 obj << /Limits[(cite.FournetGordon02:StackInspectionTechReport)(cite.SO01:TailCallEliminationOnTheJVM)] /Kids[538 0 R 539 0 R 540 0 R 541 0 R] >> endobj 543 0 obj << /Limits[(cite.abadi-lampson-levy96:dependencies)(cite.hoots95)] /Names[(cite.abadi-lampson-levy96:dependencies) 461 0 R(cite.hoots95) 490 0 R] >> endobj 544 0 obj << /Limits[(cite.jensen-lemetayer-thorn:verification-control-flow-security)(cite.milner77)] /Names[(cite.jensen-lemetayer-thorn:verification-control-flow-security) 499 0 R(cite.leroy-rouaix-99:applets) 501 0 R(cite.milner77) 506 0 R] >> endobj 545 0 obj << /Limits[(cite.morris68)(cite.pottier-skalka-smith-01)] /Names[(cite.morris68) 508 0 R(cite.plotkin75) 511 0 R(cite.pottier-skalka-smith-01) 512 0 R] >> endobj 546 0 obj << /Limits[(cite.securityoptimization)(cite.wallach:safkasi)] /Names[(cite.securityoptimization) 503 0 R(cite.skalka-smith-00) 514 0 R(cite.wallach:safkasi) 515 0 R] >> endobj 547 0 obj << /Limits[(cite.abadi-lampson-levy96:dependencies)(cite.wallach:safkasi)] /Kids[543 0 R 544 0 R 545 0 R 546 0 R] >> endobj 548 0 obj << /Limits[(Doc-Start)(cite.wallach:safkasi)] /Kids[532 0 R 537 0 R 542 0 R 547 0 R] >> endobj 549 0 obj << /Limits[(corollary.1)(equation.1)] /Names[(corollary.1) 456 0 R(equation.1) 166 0 R] >> endobj 550 0 obj << /Limits[(equation.10)(equation.3)] /Names[(equation.10) 295 0 R(equation.11) 305 0 R(equation.3) 170 0 R] >> endobj 551 0 obj << /Limits[(equation.6)(equation.7)] /Names[(equation.6) 173 0 R(equation.7) 181 0 R] >> endobj 552 0 obj << /Limits[(equation.8)(lemma.1)] /Names[(equation.8) 183 0 R(equation.9) 293 0 R(lemma.1) 300 0 R] >> endobj 553 0 obj << /Limits[(corollary.1)(lemma.1)] /Kids[549 0 R 550 0 R 551 0 R 552 0 R] >> endobj 554 0 obj << /Limits[(lemma.2)(page.1)] /Names[(lemma.2) 455 0 R(page.1) 7 0 R] >> endobj 555 0 obj << /Limits[(page.10)(page.12)] /Names[(page.10) 349 0 R(page.11) 428 0 R(page.12) 467 0 R] >> endobj 556 0 obj << /Limits[(page.2)(page.4)] /Names[(page.2) 80 0 R(page.3) 106 0 R(page.4) 153 0 R] >> endobj 557 0 obj << /Limits[(page.5)(page.7)] /Names[(page.5) 180 0 R(page.6) 210 0 R(page.7) 266 0 R] >> endobj 558 0 obj << /Limits[(lemma.2)(page.7)] /Kids[554 0 R 555 0 R 556 0 R 557 0 R] >> endobj 559 0 obj << /Limits[(page.8)(page.9)] /Names[(page.8) 291 0 R(page.9) 326 0 R] >> endobj 560 0 obj << /Limits[(proposition.1)(proposition.3)] /Names[(proposition.1) 228 0 R(proposition.2) 260 0 R(proposition.3) 279 0 R] >> endobj 561 0 obj << /Limits[(rule.1)(rule.11)] /Names[(rule.1) 127 0 R(rule.10) 136 0 R(rule.11) 189 0 R] >> endobj 562 0 obj << /Limits[(rule.12)(rule.14)] /Names[(rule.12) 190 0 R(rule.13) 191 0 R(rule.14) 192 0 R] >> endobj 563 0 obj << /Limits[(page.8)(rule.14)] /Kids[559 0 R 560 0 R 561 0 R 562 0 R] >> endobj 564 0 obj << /Limits[(rule.15)(rule.16)] /Names[(rule.15) 193 0 R(rule.16) 194 0 R] >> endobj 565 0 obj << /Limits[(rule.17)(rule.19)] /Names[(rule.17) 195 0 R(rule.18) 196 0 R(rule.19) 197 0 R] >> endobj 566 0 obj << /Limits[(rule.2)(rule.21)] /Names[(rule.2) 128 0 R(rule.20) 198 0 R(rule.21) 199 0 R] >> endobj 567 0 obj << /Limits[(rule.22)(rule.24)] /Names[(rule.22) 200 0 R(rule.23) 201 0 R(rule.24) 202 0 R] >> endobj 568 0 obj << /Limits[(rule.15)(rule.24)] /Kids[564 0 R 565 0 R 566 0 R 567 0 R] >> endobj 569 0 obj << /Limits[(corollary.1)(rule.24)] /Kids[553 0 R 558 0 R 563 0 R 568 0 R] >> endobj 570 0 obj << /Limits[(rule.25)(rule.26)] /Names[(rule.25) 203 0 R(rule.26) 204 0 R] >> endobj 571 0 obj << /Limits[(rule.27)(rule.29)] /Names[(rule.27) 211 0 R(rule.28) 212 0 R(rule.29) 213 0 R] >> endobj 572 0 obj << /Limits[(rule.3)(rule.30)] /Names[(rule.3) 129 0 R(rule.30) 214 0 R] >> endobj 573 0 obj << /Limits[(rule.31)(rule.33)] /Names[(rule.31) 215 0 R(rule.32) 216 0 R(rule.33) 217 0 R] >> endobj 574 0 obj << /Limits[(rule.25)(rule.33)] /Kids[570 0 R 571 0 R 572 0 R 573 0 R] >> endobj 575 0 obj << /Limits[(rule.34)(rule.35)] /Names[(rule.34) 218 0 R(rule.35) 219 0 R] >> endobj 576 0 obj << /Limits[(rule.36)(rule.38)] /Names[(rule.36) 220 0 R(rule.37) 221 0 R(rule.38) 222 0 R] >> endobj 577 0 obj << /Limits[(rule.39)(rule.40)] /Names[(rule.39) 223 0 R(rule.4) 130 0 R(rule.40) 224 0 R] >> endobj 578 0 obj << /Limits[(rule.41)(rule.43)] /Names[(rule.41) 225 0 R(rule.42) 226 0 R(rule.43) 227 0 R] >> endobj 579 0 obj << /Limits[(rule.34)(rule.43)] /Kids[575 0 R 576 0 R 577 0 R 578 0 R] >> endobj 580 0 obj << /Limits[(rule.44)(rule.45)] /Names[(rule.44) 357 0 R(rule.45) 358 0 R] >> endobj 581 0 obj << /Limits[(rule.46)(rule.48)] /Names[(rule.46) 359 0 R(rule.47) 360 0 R(rule.48) 361 0 R] >> endobj 582 0 obj << /Limits[(rule.49)(rule.50)] /Names[(rule.49) 383 0 R(rule.5) 131 0 R(rule.50) 396 0 R] >> endobj 583 0 obj << /Limits[(rule.51)(rule.53)] /Names[(rule.51) 468 0 R(rule.52) 469 0 R(rule.53) 470 0 R] >> endobj 584 0 obj << /Limits[(rule.44)(rule.53)] /Kids[580 0 R 581 0 R 582 0 R 583 0 R] >> endobj 585 0 obj << /Limits[(rule.54)(rule.55)] /Names[(rule.54) 471 0 R(rule.55) 472 0 R] >> endobj 586 0 obj << /Limits[(rule.56)(rule.58)] /Names[(rule.56) 473 0 R(rule.57) 474 0 R(rule.58) 475 0 R] >> endobj 587 0 obj << /Limits[(rule.59)(rule.60)] /Names[(rule.59) 476 0 R(rule.6) 132 0 R(rule.60) 477 0 R] >> endobj 588 0 obj << /Limits[(rule.61)(rule.7)] /Names[(rule.61) 478 0 R(rule.62) 479 0 R(rule.7) 133 0 R] >> endobj 589 0 obj << /Limits[(rule.54)(rule.7)] /Kids[585 0 R 586 0 R 587 0 R 588 0 R] >> endobj 590 0 obj << /Limits[(rule.25)(rule.7)] /Kids[574 0 R 579 0 R 584 0 R 589 0 R] >> endobj 591 0 obj << /Limits[(rule.8)(rule.9)] /Names[(rule.8) 134 0 R(rule.9) 135 0 R] >> endobj 592 0 obj << /Limits[(section*.1)(section*.11)] /Names[(section*.1) 36 0 R(section*.10) 182 0 R(section*.11) 252 0 R] >> endobj 593 0 obj << /Limits[(section*.12)(section*.14)] /Names[(section*.12) 256 0 R(section*.13) 259 0 R(section*.14) 446 0 R] >> endobj 594 0 obj << /Limits[(section*.15)(section*.3)] /Names[(section*.15) 447 0 R(section*.2) 67 0 R(section*.3) 83 0 R] >> endobj 595 0 obj << /Limits[(rule.8)(section*.3)] /Kids[591 0 R 592 0 R 593 0 R 594 0 R] >> endobj 596 0 obj << /Limits[(section*.4)(section*.5)] /Names[(section*.4) 84 0 R(section*.5) 85 0 R] >> endobj 597 0 obj << /Limits[(section*.6)(section*.8)] /Names[(section*.6) 165 0 R(section*.7) 169 0 R(section*.8) 172 0 R] >> endobj 598 0 obj << /Limits[(section*.9)(section.2)] /Names[(section*.9) 174 0 R(section.1) 41 0 R(section.2) 107 0 R] >> endobj 599 0 obj << /Limits[(section.3)(section.5)] /Names[(section.3) 164 0 R(section.4) 186 0 R(section.5) 281 0 R] >> endobj 600 0 obj << /Limits[(section*.4)(section.5)] /Kids[596 0 R 597 0 R 598 0 R 599 0 R] >> endobj 601 0 obj << /Limits[(section.6)(section.7)] /Names[(section.6) 327 0 R(section.7) 418 0 R] >> endobj 602 0 obj << /Limits[(section.8)(subsection.2.2)] /Names[(section.8) 460 0 R(subsection.2.1) 109 0 R(subsection.2.2) 126 0 R] >> endobj 603 0 obj << /Limits[(subsection.2.3)(subsection.4.2)] /Names[(subsection.2.3) 163 0 R(subsection.4.1) 188 0 R(subsection.4.2) 250 0 R] >> endobj 604 0 obj << /Limits[(subsection.4.3)(subsection.5.2)] /Names[(subsection.4.3) 268 0 R(subsection.5.1) 292 0 R(subsection.5.2) 301 0 R] >> endobj 605 0 obj << /Limits[(section.6)(subsection.5.2)] /Kids[601 0 R 602 0 R 603 0 R 604 0 R] >> endobj 606 0 obj << /Limits[(subsection.6.1)(subsection.6.2)] /Names[(subsection.6.1) 328 0 R(subsection.6.2) 350 0 R] >> endobj 607 0 obj << /Limits[(subsection.6.3)(theorem.2)] /Names[(subsection.6.3) 378 0 R(theorem.1) 248 0 R(theorem.2) 249 0 R] >> endobj 608 0 obj << /Limits[(theorem.3)(theorem.5)] /Names[(theorem.3) 275 0 R(theorem.4) 276 0 R(theorem.5) 329 0 R] >> endobj 609 0 obj << /Limits[(theorem.6)(theorem.8)] /Names[(theorem.6) 332 0 R(theorem.7) 377 0 R(theorem.8) 417 0 R] >> endobj 610 0 obj << /Limits[(subsection.6.1)(theorem.8)] /Kids[606 0 R 607 0 R 608 0 R 609 0 R] >> endobj 611 0 obj << /Limits[(rule.8)(theorem.8)] /Kids[595 0 R 600 0 R 605 0 R 610 0 R] >> endobj 612 0 obj << /Limits[(Doc-Start)(theorem.8)] /Kids[548 0 R 569 0 R 590 0 R 611 0 R] >> endobj 613 0 obj null endobj 614 0 obj << /Dests 612 0 R >> endobj 2 0 obj << /Type/Catalog /Page 1 /View/Fit /URI<< /Base() >> /PageMode/UseOutlines /ViewerPreferences<< >> /Pages 3 0 R /Outlines 14 0 R /Threads 613 0 R /Names 614 0 R >> endobj 11 0 obj << /Type/Encoding /Differences[24/breve/caron/circumflex/dotaccent/hungarumlaut/ogonek/ring/tilde 39/quotesingle 96/grave 128/bullet/dagger/daggerdbl/ellipsis/emdash/endash/florin/fraction/guilsinglleft/guilsinglright/minus/perthousand/quotedblbase/quotedblleft/quotedblright/quoteleft/quoteright/quotesinglbase/trademark/fi/fl/Lslash/OE/Scaron/Ydieresis/Zcaron/dotlessi/lslash/oe/scaron/zcaron 164/currency 166/brokenbar 168/dieresis/copyright/ordfeminine 172/logicalnot/.notdef/registered/macron/degree/plusminus/twosuperior/threesuperior/acute/mu 183/periodcentered/cedilla/onesuperior/ordmasculine 188/onequarter/onehalf/threequarters 192/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/multiply/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/divide/oslash/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/ydieresis] >> endobj 12 0 obj << /Type/Font /Subtype/Type1 /Name/ZaDb /BaseFont/ZapfDingbats >> endobj 13 0 obj << /Type/Font /Subtype/Type1 /Name/Helv /BaseFont/Helvetica /Encoding 11 0 R >> endobj xref 0 615 0000000000 65535 f 0000222626 00000 n 0000236063 00000 n 0000224852 00000 n 0000225057 00000 n 0000223019 00000 n 0000018226 00000 n 0000000009 00000 n 0000000048 00000 n 0000001741 00000 n 0000001838 00000 n 0000236242 00000 n 0000237428 00000 n 0000237510 00000 n 0000225235 00000 n 0000001931 00000 n 0000002401 00000 n 0000002049 00000 n 0000002172 00000 n 0000002300 00000 n 0000002570 00000 n 0000003067 00000 n 0000002692 00000 n 0000002807 00000 n 0000002932 00000 n 0000003452 00000 n 0000003226 00000 n 0000003337 00000 n 0000004022 00000 n 0000003614 00000 n 0000003747 00000 n 0000003893 00000 n 0000004190 00000 n 0000225136 00000 n 0000004320 00000 n 0000004360 00000 n 0000004454 00000 n 0000004494 00000 n 0000138849 00000 n 0000138663 00000 n 0000005394 00000 n 0000006363 00000 n 0000006403 00000 n 0000006544 00000 n 0000006711 00000 n 0000006853 00000 n 0000007027 00000 n 0000007217 00000 n 0000007390 00000 n 0000007580 00000 n 0000007765 00000 n 0000007921 00000 n 0000008069 00000 n 0000008217 00000 n 0000008257 00000 n 0000008297 00000 n 0000008337 00000 n 0000008432 00000 n 0000154402 00000 n 0000154208 00000 n 0000008506 00000 n 0000009488 00000 n 0000160824 00000 n 0000160631 00000 n 0000009529 00000 n 0000010513 00000 n 0000010670 00000 n 0000010818 00000 n 0000010860 00000 n 0000010956 00000 n 0000168749 00000 n 0000168556 00000 n 0000012041 00000 n 0000224957 00000 n 0000013008 00000 n 0000225007 00000 n 0000017996 00000 n 0000018105 00000 n 0000223137 00000 n 0000027738 00000 n 0000018287 00000 n 0000018328 00000 n 0000018483 00000 n 0000018631 00000 n 0000018672 00000 n 0000018713 00000 n 0000182507 00000 n 0000182321 00000 n 0000018756 00000 n 0000019758 00000 n 0000019900 00000 n 0000020057 00000 n 0000020206 00000 n 0000020344 00000 n 0000020482 00000 n 0000020620 00000 n 0000020758 00000 n 0000020896 00000 n 0000021033 00000 n 0000021170 00000 n 0000021307 00000 n 0000021482 00000 n 0000027529 00000 n 0000027647 00000 n 0000223259 00000 n 0000042443 00000 n 0000027801 00000 n 0000027844 00000 n 0000027886 00000 n 0000028044 00000 n 0000187235 00000 n 0000187045 00000 n 0000028087 00000 n 0000197662 00000 n 0000197467 00000 n 0000028994 00000 n 0000029919 00000 n 0000219765 00000 n 0000030981 00000 n 0000031139 00000 n 0000200832 00000 n 0000200638 00000 n 0000031289 00000 n 0000204440 00000 n 0000204251 00000 n 0000032263 00000 n 0000033256 00000 n 0000033301 00000 n 0000033346 00000 n 0000033391 00000 n 0000033436 00000 n 0000033481 00000 n 0000033526 00000 n 0000033571 00000 n 0000033616 00000 n 0000033661 00000 n 0000033706 00000 n 0000033751 00000 n 0000033883 00000 n 0000034018 00000 n 0000034153 00000 n 0000034289 00000 n 0000034425 00000 n 0000034561 00000 n 0000034695 00000 n 0000034830 00000 n 0000034966 00000 n 0000035102 00000 n 0000035239 00000 n 0000042156 00000 n 0000042287 00000 n 0000223469 00000 n 0000051110 00000 n 0000042507 00000 n 0000042550 00000 n 0000042686 00000 n 0000042821 00000 n 0000042954 00000 n 0000043104 00000 n 0000043291 00000 n 0000043460 00000 n 0000043618 00000 n 0000043784 00000 n 0000043934 00000 n 0000043977 00000 n 0000044017 00000 n 0000044061 00000 n 0000044106 00000 n 0000044245 00000 n 0000044383 00000 n 0000044428 00000 n 0000044473 00000 n 0000044611 00000 n 0000044656 00000 n 0000044701 00000 n 0000044746 00000 n 0000050841 00000 n 0000050956 00000 n 0000223593 00000 n 0000059057 00000 n 0000051174 00000 n 0000051217 00000 n 0000051259 00000 n 0000051302 00000 n 0000221500 00000 n 0000051346 00000 n 0000051515 00000 n 0000051557 00000 n 0000051699 00000 n 0000051744 00000 n 0000051789 00000 n 0000051834 00000 n 0000051879 00000 n 0000051924 00000 n 0000051969 00000 n 0000052014 00000 n 0000052058 00000 n 0000052102 00000 n 0000052147 00000 n 0000052192 00000 n 0000052236 00000 n 0000052281 00000 n 0000052326 00000 n 0000052371 00000 n 0000052416 00000 n 0000052460 00000 n 0000058842 00000 n 0000058877 00000 n 0000223717 00000 n 0000071320 00000 n 0000059121 00000 n 0000059164 00000 n 0000059208 00000 n 0000059253 00000 n 0000059298 00000 n 0000059342 00000 n 0000059387 00000 n 0000059432 00000 n 0000059477 00000 n 0000059519 00000 n 0000059564 00000 n 0000059609 00000 n 0000059654 00000 n 0000059699 00000 n 0000059744 00000 n 0000059789 00000 n 0000059834 00000 n 0000059879 00000 n 0000059923 00000 n 0000059966 00000 n 0000060102 00000 n 0000060235 00000 n 0000060370 00000 n 0000060542 00000 n 0000060677 00000 n 0000060814 00000 n 0000060951 00000 n 0000061088 00000 n 0000061222 00000 n 0000061359 00000 n 0000061496 00000 n 0000061633 00000 n 0000061769 00000 n 0000061906 00000 n 0000062043 00000 n 0000062177 00000 n 0000062313 00000 n 0000062447 00000 n 0000062583 00000 n 0000062628 00000 n 0000062673 00000 n 0000062718 00000 n 0000062857 00000 n 0000062902 00000 n 0000063042 00000 n 0000063185 00000 n 0000063322 00000 n 0000063367 00000 n 0000063521 00000 n 0000063658 00000 n 0000063703 00000 n 0000063747 00000 n 0000070934 00000 n 0000071153 00000 n 0000223930 00000 n 0000079824 00000 n 0000071384 00000 n 0000071427 00000 n 0000071566 00000 n 0000071609 00000 n 0000071787 00000 n 0000071946 00000 n 0000072085 00000 n 0000072226 00000 n 0000072269 00000 n 0000072312 00000 n 0000072356 00000 n 0000072401 00000 n 0000072544 00000 n 0000072683 00000 n 0000072728 00000 n 0000072871 00000 n 0000072916 00000 n 0000073059 00000 n 0000073104 00000 n 0000073149 00000 n 0000073194 00000 n 0000079603 00000 n 0000079694 00000 n 0000224054 00000 n 0000090621 00000 n 0000079888 00000 n 0000079931 00000 n 0000079973 00000 n 0000080018 00000 n 0000080155 00000 n 0000080199 00000 n 0000080339 00000 n 0000080479 00000 n 0000080616 00000 n 0000080755 00000 n 0000080798 00000 n 0000080841 00000 n 0000080984 00000 n 0000081152 00000 n 0000081319 00000 n 0000081363 00000 n 0000081502 00000 n 0000081638 00000 n 0000081778 00000 n 0000081918 00000 n 0000082058 00000 n 0000082197 00000 n 0000082337 00000 n 0000082476 00000 n 0000082613 00000 n 0000082750 00000 n 0000082894 00000 n 0000083029 00000 n 0000083164 00000 n 0000083299 00000 n 0000083434 00000 n 0000090275 00000 n 0000090478 00000 n 0000224178 00000 n 0000099324 00000 n 0000090685 00000 n 0000090728 00000 n 0000090770 00000 n 0000090813 00000 n 0000090855 00000 n 0000090994 00000 n 0000091152 00000 n 0000091195 00000 n 0000091336 00000 n 0000091475 00000 n 0000091520 00000 n 0000091657 00000 n 0000091794 00000 n 0000091839 00000 n 0000091975 00000 n 0000092111 00000 n 0000092250 00000 n 0000092295 00000 n 0000092433 00000 n 0000099095 00000 n 0000099194 00000 n 0000224391 00000 n 0000116543 00000 n 0000099388 00000 n 0000099431 00000 n 0000099473 00000 n 0000099611 00000 n 0000099747 00000 n 0000099884 00000 n 0000100018 00000 n 0000100154 00000 n 0000100290 00000 n 0000100332 00000 n 0000100376 00000 n 0000100419 00000 n 0000100464 00000 n 0000100509 00000 n 0000100653 00000 n 0000100788 00000 n 0000100922 00000 n 0000101058 00000 n 0000101194 00000 n 0000101330 00000 n 0000101466 00000 n 0000101603 00000 n 0000101739 00000 n 0000101873 00000 n 0000102009 00000 n 0000102145 00000 n 0000102282 00000 n 0000102447 00000 n 0000102586 00000 n 0000102629 00000 n 0000102672 00000 n 0000102809 00000 n 0000102944 00000 n 0000103110 00000 n 0000103246 00000 n 0000103291 00000 n 0000103434 00000 n 0000103578 00000 n 0000103714 00000 n 0000103851 00000 n 0000103986 00000 n 0000104123 00000 n 0000104260 00000 n 0000104394 00000 n 0000104526 00000 n 0000104662 00000 n 0000104797 00000 n 0000104932 00000 n 0000104976 00000 n 0000105119 00000 n 0000105263 00000 n 0000105399 00000 n 0000105535 00000 n 0000105671 00000 n 0000105807 00000 n 0000105943 00000 n 0000106079 00000 n 0000106214 00000 n 0000206549 00000 n 0000206361 00000 n 0000106346 00000 n 0000107350 00000 n 0000107485 00000 n 0000107621 00000 n 0000107755 00000 n 0000107891 00000 n 0000108028 00000 n 0000108165 00000 n 0000108300 00000 n 0000108345 00000 n 0000108390 00000 n 0000108528 00000 n 0000108667 00000 n 0000108804 00000 n 0000108941 00000 n 0000115917 00000 n 0000116400 00000 n 0000224515 00000 n 0000128867 00000 n 0000116607 00000 n 0000116650 00000 n 0000116793 00000 n 0000116932 00000 n 0000117079 00000 n 0000117271 00000 n 0000117463 00000 n 0000117638 00000 n 0000117796 00000 n 0000117946 00000 n 0000118130 00000 n 0000118322 00000 n 0000118508 00000 n 0000118685 00000 n 0000118824 00000 n 0000118968 00000 n 0000119158 00000 n 0000119323 00000 n 0000119462 00000 n 0000119507 00000 n 0000119552 00000 n 0000119710 00000 n 0000119851 00000 n 0000120001 00000 n 0000120159 00000 n 0000120302 00000 n 0000120439 00000 n 0000120578 00000 n 0000120623 00000 n 0000210847 00000 n 0000210652 00000 n 0000120668 00000 n 0000121675 00000 n 0000121720 00000 n 0000121765 00000 n 0000128502 00000 n 0000128713 00000 n 0000224639 00000 n 0000138599 00000 n 0000128931 00000 n 0000128974 00000 n 0000129017 00000 n 0000129062 00000 n 0000129104 00000 n 0000129148 00000 n 0000129191 00000 n 0000129233 00000 n 0000129277 00000 n 0000129321 00000 n 0000129364 00000 n 0000129407 00000 n 0000129452 00000 n 0000129497 00000 n 0000129540 00000 n 0000129583 00000 n 0000129626 00000 n 0000129669 00000 n 0000129712 00000 n 0000129755 00000 n 0000129798 00000 n 0000129841 00000 n 0000129881 00000 n 0000129924 00000 n 0000129967 00000 n 0000130010 00000 n 0000212926 00000 n 0000212739 00000 n 0000130054 00000 n 0000130783 00000 n 0000130963 00000 n 0000131145 00000 n 0000131190 00000 n 0000131234 00000 n 0000131279 00000 n 0000131324 00000 n 0000131369 00000 n 0000131413 00000 n 0000131630 00000 n 0000131847 00000 n 0000131892 00000 n 0000131937 00000 n 0000131982 00000 n 0000132027 00000 n 0000132072 00000 n 0000132117 00000 n 0000132162 00000 n 0000132207 00000 n 0000132252 00000 n 0000132296 00000 n 0000138403 00000 n 0000138454 00000 n 0000219355 00000 n 0000219729 00000 n 0000220847 00000 n 0000221151 00000 n 0000221453 00000 n 0000223383 00000 n 0000223841 00000 n 0000224302 00000 n 0000224763 00000 n 0000225293 00000 n 0000225387 00000 n 0000225498 00000 n 0000225586 00000 n 0000225691 00000 n 0000225782 00000 n 0000225872 00000 n 0000226102 00000 n 0000226456 00000 n 0000226762 00000 n 0000226889 00000 n 0000227117 00000 n 0000227357 00000 n 0000227646 00000 n 0000227945 00000 n 0000228104 00000 n 0000228270 00000 n 0000228524 00000 n 0000228696 00000 n 0000228882 00000 n 0000229016 00000 n 0000229121 00000 n 0000229229 00000 n 0000229358 00000 n 0000229464 00000 n 0000229584 00000 n 0000229678 00000 n 0000229768 00000 n 0000229879 00000 n 0000229984 00000 n 0000230090 00000 n 0000230179 00000 n 0000230269 00000 n 0000230410 00000 n 0000230519 00000 n 0000230630 00000 n 0000230719 00000 n 0000230813 00000 n 0000230924 00000 n 0000231033 00000 n 0000231144 00000 n 0000231234 00000 n 0000231328 00000 n 0000231422 00000 n 0000231533 00000 n 0000231625 00000 n 0000231736 00000 n 0000231826 00000 n 0000231920 00000 n 0000232031 00000 n 0000232141 00000 n 0000232252 00000 n 0000232342 00000 n 0000232436 00000 n 0000232547 00000 n 0000232657 00000 n 0000232768 00000 n 0000232858 00000 n 0000232952 00000 n 0000233063 00000 n 0000233173 00000 n 0000233282 00000 n 0000233371 00000 n 0000233460 00000 n 0000233550 00000 n 0000233678 00000 n 0000233809 00000 n 0000233935 00000 n 0000234027 00000 n 0000234131 00000 n 0000234257 00000 n 0000234379 00000 n 0000234500 00000 n 0000234595 00000 n 0000234697 00000 n 0000234833 00000 n 0000234979 00000 n 0000235125 00000 n 0000235224 00000 n 0000235346 00000 n 0000235477 00000 n 0000235598 00000 n 0000235719 00000 n 0000235818 00000 n 0000235909 00000 n 0000236003 00000 n 0000236025 00000 n trailer << /Size 615 /Root 2 0 R /Info 1 0 R >> startxref 237606 %%EOF