%PDF-1.4 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Background) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (Logical Lattices and Their Combination) endobj 17 0 obj << /S /GoTo /D (section.4) >> endobj 20 0 obj (Abstract Interpreter for Combination of Logical Lattices) endobj 21 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 24 0 obj (Combining Join Operators) endobj 25 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 28 0 obj (Combining Existential Quantification Operators) endobj 29 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 32 0 obj (Fixed Point Computation) endobj 33 0 obj << /S /GoTo /D (subsection.4.4) >> endobj 36 0 obj (Complexity) endobj 37 0 obj << /S /GoTo /D (section.5) >> endobj 40 0 obj (Applications of Combination Methodology) endobj 41 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 44 0 obj (Commutative Functions) endobj 45 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 48 0 obj (Uninterpreted Functions) endobj 49 0 obj << /S /GoTo /D (section.6) >> endobj 52 0 obj (Related Work) endobj 53 0 obj << /S /GoTo /D (section.7) >> endobj 56 0 obj (Conclusion and Future Work) endobj 57 0 obj << /S /GoTo /D (section.A) >> endobj 60 0 obj (Proof of Theorem 3) endobj 61 0 obj << /S /GoTo /D (section.B) >> endobj 64 0 obj (Proof of Theorem 6) endobj 65 0 obj << /S /GoTo /D [66 0 R /Fit ] >> endobj 69 0 obj << /Length 4648 /Filter /FlateDecode >> stream xڍ;ے6 =lՑF0eNu6{CJ0Hv27fh4 UU2W ߽~$2Jl8}qTHYcV[]o,f,TiDҙ*]A+SyT<洫ꪾlM캾-=׽k7:Zov6~t㕎THpU+DiJt?]NPrD@ DUXqLXۦkG׹?–,2Ij7[ "k Z洰het2ʋhqɺmKۈT6>}|p..Jl:EOKܘb]Qum!īooGqWi+f !!A2û0kk͜ɣlmaAT;%\csĀKߜ-xK$aki XY+)LGR6]Okr_m :=䓾}S<|얄41\3dl?8l:tix9(qW:"?'\9 XhB=]nTѝ [ Bn+V5{F? = OmA6P{8Qdv9]>W#\6\ }&ӣ@} U1 -WoGz#;ڡT2<7p$ ȿ7ԜmӅBBxl+bz_.%Omu#ka,zrF܂֕TŹ|An|x*_%U -B0TW H9Ǯհך*rڡN;;n˥j݁~?p GW%nΧc41ܩK˖:ƃ.O]%#S͇^: 'ᄰb(pOvcLN/̿,(Akt>9qK wVsi˙^̭S厴¯ ֨#ˆu0s1cN@d"P{J&&\A#8eI}\$&%:sr&UnoDjUnlϡPsKb&$Vqѷ p@:$4p>+D̞́^)0ux?bƮ99ňA dxA5h=0(.u`.wfǪs?z[(b˦\ .0齈r'p/?]v;L"> u QMn0FWn>₫?X[߃ /4W©/A\Z_Y3^ 4myh40fw(*ѕv~+ZB\&NLŋV*Mdv JDfvGWvM=w r4~2ȿOݢhOI4Y⳨.\'M,` ~ɝз4R k%4?wݯdy!?D&~V1s5X#ŝ>7Ox#~ڀ)d+D[Oشe35Ǭu$5KHPGp?9ى{T^zUI{](uSQd {Q.G<,guiE0r?uF.U |aaH8Fp!ppт6z6A4ľ_yvshx2t+Bա6 AIWmtQ#~wK$mzs/8n^)a1+/pXT"ɚtݷ ،e ^ ] _'B̍|tM/]Y NbQ>tHzGw#CzVj9+{@y(CYe\XyB\P H8޴w7|ꭩyE)E;]6 BWhI((Gvcl}g$e>D9\2r*B ߾v\p7a@\ÿSĻ_" rQ*cfv? qTO,p)Y,@Wv=wΰ<[/`axO6I0P@DkfRXMKJ8J24 zsJ)ܿ$7&הB߁ޛ ~%ckZ>8jС06|} og#䰟x:9֏Xg{ gVȾ8hUf֑O+d,sZV`ex\|8 V%֧-#=tȋAH>84wMun(}/X j3mWDzOhP(NF)_A 4•%Ҟ1v$yVє-ffh/6kdP,%,HJ6*n6 pt%Uq@|ArIǝJTT F*N4^?\=oj*Ab q1cu#0E/2s7QwǪ7Nec31~h ,3-$<<)=C#$4 jIV:愃7qz^ZWmue4il"Gfy<3TgK?yy~c(XqoV~ 4nGUٌ\!N9řdNJUb?;A~y A4M X_c8фOY, ZBY\ #" o\l [=E}قm uc ߲p lLp@]h\$f ħG2%{Na(L-s%+/#Wa`u y7hz0@ N/y,9ٳ "\,G oGhO r@>5I[$(/5%C G7Ba@;;JK3k@qܹH=]}<*rD຅gv;G\K 57_=J}$$##DDpB/N1WL4{Kɔ>aRo8ߦ]Ų< %RDYTYr\o} uz_ JoԤNAwk^c*Kni53MOd;xЫqx)fq.[]M{^f<"r6L=r*??s!sKnj)6耖jsYJ|JK |{Fގس=^҅:=[+]S28j@NY1,h? a c@ 2cF#N+P,~ꦟ6W Ć% endstream endobj 66 0 obj << /Type /Page /Contents 69 0 R /Resources 68 0 R /MediaBox [0 0 612 792] /Parent 103 0 R /Annots [ 87 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R ] >> endobj 67 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (figures/example1.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 104 0 R /Matrix [0.00000000 -1.00000000 1.00000000 0.00000000 -27.85734500 523.46748300] /BBox [54.14297500 82.00032000 441.46716300 481.11029100] /Resources << /ColorSpace << /CS0 105 0 R >>/Font << /TT0 106 0 R/TT1 107 0 R>> /XObject << /Im0 108 0 R >>/ProcSet [ /PDF /Text /ImageB ] /ExtGState << /GS0 109 0 R >>>> /Length 1912 /Filter /FlateDecode >> stream HWYoE~_я {oH"'AA2 J<cu 6(>fz^[ڝ:Kgeʲss m7sp%os'\xvN_Tm!Tvo{Wsx-{lwyx%֍L:[n:Cv"{D~:J_jx#~x_s#n]AIZwK<|M槯KF@Eo3fY%ڕ$; Abȣ!=H9Cfq9BChJ h:Ce2"E;K,n:.4XOz\4o?^x<ˠo֏c5(=\ %<,MaBxp a >ۜnl{X2!'ęPz>j rf"CHR>ْ< n=xbqCISEZjK=WS<`,|(XHj@ol,v:di1E RJHA)\3ܺcJ$s$O[8k ElfB/rJu؎/!|\&VrVB%sh3>V PE*eSXGk:Q f80>~I)y4d ?$)ԀkML~*_ˊ}-@i//`t5c L23V*啲x#ʹX0 "k 1T.uC (ܠ&Nƞ.V20[rIzUZD#yj"M|$5Us):d6Q,nuIqGͤ✧Gd<$ik.+kVnLBQ"9bT'zml%p#R:%j50 ~IVw+|Wv!W'TDRrCtj#YTqٜ<1yrڴ#r l(F_bQ}b1'4ۀ[ZU;˻i=CtX'T'l[(6W^qoC\i!fy><#܌t=~-$p/Bo5/8[q(crGeU%g\B 8TY ׹IeR0 UHKZG=r`JGе$T}!EZ7Kԕ ֯iD ꁫO{p XztsI{pAfAS=b-f~fkԪ^xWn(¤Ʀu_ԛP/`fSnr}-ǐwB|\1 ^6B ՀqShh*>ּfaF6fz Ga~t=C=C%9C"A8H&5#8O]b[ݾ3T?/\z W4OA8~*6\ꔪH0 )QrfZgfd BOצI`?jendstream endobj 104 0 obj << /ModDate (D:20060309195707-08'00') /CreationDate (D:20060309195611-08'00') /Title (Slide 1) /Creator (Acrobat PDFMaker 6.0 for PowerPoint) /Author (George Necula) /Producer (Acrobat Distiller 6.0 \(Windows\)) >> endobj 105 0 obj [/ICCBased 110 0 R] endobj 106 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /MLNBPM#2BCmmi10 /FirstChar 44 /LastChar 121 /Subtype /TrueType /FontDescriptor 111 0 R /Widths [ 277 0 0 0 0 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 738 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 528 429 432 520 465 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 571 490] >> endobj 107 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /TimesNewRomanPSMT /FirstChar 32 /LastChar 117 /Subtype /TrueType /FontDescriptor 112 0 R /Widths [ 250 0 0 0 0 0 0 0 333 333 0 564 0 333 0 0 500 500 500 500 500 0 0 0 0 0 278 278 564 564 0 0 0 722 0 667 0 0 556 0 0 0 389 0 0 0 722 0 0 0 0 0 611 0 0 0 0 0 0 0 0 0 0 0 0 444 500 444 500 444 0 500 0 278 0 0 278 778 500 500 500 0 333 389 278 500] >> endobj 108 0 obj << /Length 10 /Filter /CCITTFaxDecode /DecodeParms << /K -1 /Columns 42 >> /Width 42 /Height 42 /BitsPerComponent 1 /ImageMask true /Type /XObject /Subtype /Image >> stream @ endstream endobj 109 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 110 0 obj << /Length 2575 /Filter /FlateDecode /N 3 /Alternate /DeviceRGB >> stream HyTSwoɞc [5laQIBHADED2mtFOE.c}08׎8GNg9w߽'0 ֠Jb  2y.-;!KZ ^i"L0- @8(r;q7Ly&Qq4j|9 V)gB0iW8#8wթ8_٥ʨQQj@&A)/g>'Kt;\ ӥ$պFZUn(4T%)뫔0C&Zi8bxEB;Pӓ̹A om?W= x-[0}y)7ta>jT7@tܛ`q2ʀ&6ZLĄ?_yxg)˔zçLU*uSkSeO4?׸c. R ߁-25 S>ӣVd`rn~Y&+`;A4 A9=-tl`;~p Gp| [`L`< "A YA+Cb(R,*T2B- ꇆnQt}MA0alSx k&^>0|>_',G!"F$H:R!zFQd?r 9\A&G rQ hE]a4zBgE#H *B=0HIpp0MxJ$D1D, VĭKĻYdE"EI2EBGt4MzNr!YK ?%_&#(0J:EAiQ(()ӔWT6U@P+!~mD eԴ!hӦh/']B/ҏӿ?a0nhF!X8܌kc&5S6lIa2cKMA!E#ƒdV(kel }}Cq9 N')].uJr  wG xR^[oƜchg`>b$*~ :Eb~,m,-ݖ,Y¬*6X[ݱF=3뭷Y~dó ti zf6~`{v.Ng#{}}jc1X6fm;'_9 r:8q:˜O:ϸ8uJqnv=MmR 4 n3ܣkGݯz=[==<=GTB(/S,]6*-W:#7*e^YDY}UjAyT`#D="b{ų+ʯ:!kJ4Gmt}uC%K7YVfFY .=b?SƕƩȺy چ k5%4m7lqlioZlG+Zz͹mzy]?uuw|"űNwW&e֥ﺱ*|j5kyݭǯg^ykEklD_p߶7Dmo꿻1ml{Mś nLl<9O[$h՛BdҞ@iءG&vVǥ8nRĩ7u\ЭD-u`ֲK³8%yhYѹJº;.! zpg_XQKFAǿ=ȼ:ɹ8ʷ6˶5̵5͵6ζ7ϸ9к<Ѿ?DINU\dlvۀ܊ݖޢ)߯6DScs 2F[p(@Xr4Pm8Ww)Km endstream endobj 111 0 obj << /Type /FontDescriptor /FontFile2 113 0 R /FontBBox [ -34 -250 1048 750] /FontName /MLNBPM#2BCmmi10 /Flags 32 /StemV 72.203003 /CapHeight 687 /XHeight 453 /Ascent 705 /Descent -214 /ItalicAngle 0 /FontFamily (cmmi10) /FontStretch /Normal /FontWeight 400 >> endobj 112 0 obj << /Type /FontDescriptor /FontBBox [ -568 -307 2000 1007] /FontName /TimesNewRomanPSMT /Flags 34 /StemV 82 /CapHeight 656 /XHeight 0 /Ascent 891 /Descent -216 /ItalicAngle 0 /FontFamily (Times New Roman) /FontStretch /Normal /FontWeight 400 >> endobj 113 0 obj << /Length 3746 /Filter /FlateDecode /Length1 5844 >> stream H|LTWǿᇀ`p (*8H v*ݦml1ֵi1fnfҘu614iHvž+ݗys=s>  ޝ#kH{FrYGG!&ׯA?z؈s @ 4~0;z((B66 Z׌M4xhM1gd +rY|Hesr (JMWQE8Ϫ9dcO2E\9F14z]цVC>TY/-e#_߫ԏ_/3j3b//.yrL(u&ZY%~;M<`x7 \#w1/P'ʳ8z E4Vȇp{M[APŞ5nQgY-R\aݠJygg5}lo8tH7̔$W+a7X_p(HCVذMxώF!RZ;z=_EoƜZqRۙ5++7-}])vgGRWD.wI"EiQLNCCz85`z>f5RBK<3WV9a$ncs9ͩ7TM'L' EӍp9-uW:Ap0Ggu`Y} ,ٗ1CfpT)Wp5Cw¡v>Lܠ£%)uo"> W/!\D\qaXaLDZ-%M'-l巐&_ .ha >&% awT+ȩ1|KP'ΣI<9!!ڐV@1D MJ,ѧJ31miaP8bV`Z^}K#v%{Zn9rEs#^%|4?A6mL8ssO=z()C_Z$#]2Gz`ެ>7-xO^7C>UrN|TO?`3n*m6oh5@K ?fK{5gryA~c2N+*b Kר>gd]G3" pno|2?yHsXP,*RaET y F窣AHW uot:?CgRdcZcX !=M\8md/j5;NDȽ?بV7X{C5 2)*6oJ,RMdj_Ȝy{ӭnKK>O;;P23vyO?;9"KV1qB'x~pmi ^ oT2jc&-yPθPڕ2״76&jeMZGi_SD#6mUEKm֭ |z1y:}nZhTK*ؒlu9jQɚgҸE@*n+EYcX_m1-ZJwZⵛ8FX1bZĢ ,dQ/ǣU,XK:bͺM߼1ivyR8Q+ ݵ6Զ =-јT|GcStZSW_Uʴ}yQĨ3;Jm! k^V*X .,ӶRj `JfN&k6ZZYdUM Fɷ)?ޠ߬ZJ39utjv?Un>e΢;w(rCOZ|@f=[4P4v)XJ xL5W7$Z+^ƞvz1YFv_l[llQ n'w,<]M; N[&lL6K<,( w[/r+mcS\OGK*RVfbb*szz)ݺ];mtغ 8nnZڱB%BH4ѨLƱHÝSF en1pAmrRD@1!LjutzIpNA1ESHܛsnN/4h݀u3~Z,_SʑU(oZj/y| o }yx}jWL #h|s]bwG<׀}2!h4Jv5&uItst8 z kȭ\3hb] "io AkyZo{iZ:sRFUTA*dFZ'3ȣP1RHc;46^@Bz{2Idz7`m!epxX %$ny*vZiӸO#+|+E_A ,s|c`czȸ8$"𕁜sc@XJҎ~E~+͔9"VЖ}wC%ꗮ$v6"=Di,z?\ڴRe qbZ%R<+32fn(-þxK_E,긙;fV/U1``E«C6 z ?nNe4nLJA0\&thCd N` 4A鍢)\5pSb H1/o9w 1[ShzfJiڧV^n\QZe3okHi$mӟCW1_[; k\a~;iEb0%?Cq9f`2 U=*f3 -9 ;pqەAM!u܉J>G-O-4tGHm|/1oЭ ®2E]nפK#&"\{vd;b].1s'$:1;ƢFĽטs {QeK̖Kǰ=!87|Mٟ m3B /.jtq >" <Y"XB~XZOGnFO, ᱵvc"6{I>xZ@(GUh-@h #fga}S+i.zn˳_ReUd 3ifR)~h"IWp$D흑 ё߷tE!FA1D;PMw\?|aբj"qC^xv@K f,Mm"Vk<$3} endstream endobj 87 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [249.044 189.761 255.52 197.994] /Subtype /Link /A << /S /GoTo /D (cite.Cousot77) >> >> endobj 98 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [406.834 206.799 413.309 215.032] /Subtype /Link /A << /S /GoTo /D (cite.Cousot79) >> >> endobj 99 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [415.53 206.924 422.006 215.032] /Subtype /Link /A << /S /GoTo /D (cite.Cousot:ln) >> >> endobj 100 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [451.486 166.948 462.444 175.181] /Subtype /Link /A << /S /GoTo /D (cite.program-analysis-book) >> >> endobj 101 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [475.393 87.372 481.869 95.48] /Subtype /Link /A << /S /GoTo /D (cite.Cousot:ln) >> >> endobj 102 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [500.691 75.469 534.01 85.517] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 70 0 obj << /D [66 0 R /XYZ 54 720 null] >> endobj 78 0 obj << /D [66 0 R /XYZ 54 588.342 null] >> endobj 79 0 obj << /D [66 0 R /XYZ 54 576.233 null] >> endobj 80 0 obj << /D [66 0 R /XYZ 54 378.746 null] >> endobj 85 0 obj << /D [66 0 R /XYZ 54 322.524 null] >> endobj 86 0 obj << /D [66 0 R /XYZ 54 306.152 null] >> endobj 6 0 obj << /D [66 0 R /XYZ 54 275.617 null] >> endobj 94 0 obj << /D [66 0 R /XYZ 356.413 383.192 null] >> endobj 68 0 obj << /Font << /F53 72 0 R /F54 74 0 R /F23 77 0 R /F57 82 0 R /F58 84 0 R /F61 90 0 R /F13 93 0 R /F48 97 0 R >> /XObject << /Im1 67 0 R >> /ProcSet [ /PDF /Text ] >> endobj 120 0 obj << /Length 7300 /Filter /FlateDecode >> stream x][o丕~_G7ƥ7ID`g; L˲LYrJU=7J*3 D\V7%S7Ժٿ|Snߞ'y塟!<;"."[B H~mvv!=n]Yx_1C2Mɰ$8D3r4)fKO1,N1L)<7MQ9]hX79"\U[fsi.4[[UKs.9IspklGq s9 m&!Oݰǥ 4?A 8F9xƋU 9$G-<"0Kj(§pt<~pQ- o ;Ip0׊e+S{2eR{$uDI3d pA'qߏ@E@s#5,w?lD ӉX7iʯMS k'cԎ.~-o?1zxPz8 gtyMd2t]4#K h&Jgӣ W@#q|h3iC^ ڃ(vھӟ;ANY2zf%/; e7#:f& YY`^YLٷaB&$agDQ0v`0'6=qj' p_:~Ѷ0(h_YLDaMb=*EHGBc,#-p>@L԰+puha)IǸ!8Ml`:<"V?9q%7e9gdh ux~z5o95ŧ+)f/[+ټxe"T?9PMlL!>ɘN[#(,QvcЅ yp`0(b,MRD LkAxbg B'0!P8 =8ԧ^@^({+<N;e`[*g1SBE(Ÿ+DaW+45{E4/;i<1)"N$'^:ls.jtj"Tb{Ue460O=M*&"Xl2rC TBsg۔us|T˃t_T p͠p)*rl(鼶b&k@};281юYx_*8.VZׅ&pUj $uM3VC5=p"f\@vS^Jlp@tS5OA%!=r6([0Ei$*kX>I3 }<xN\ ^T|OH3n҄%*̕CDـgy.YxpYv:$n3h@8ɫ3\!rF adbHUx#<DױUDM[DcSa&]6IKPS5 ",D,eyqvASEcx%e ?%0&I'|m5"<! K>G ^f}?&7nWJaRvT&e#Sxn"C+6#) $"* RP^|YiK+D)(\#Z0YLv(p|ֱ{ # bݖ-jSUaDW#=}KǢ%v倕p+K (h)Y^0$GwufYU:S1&$iֱ$BsuE?QfF|cM:B\#r ͼLLY92)YLL&`4Lfjؗg@92MaHwӵ]HGTh83v3. _8\XQBkVӆ]^,wy!WEuퟻ4!{rm24~xzd#gJc{-ފteB:>k.DH6VCNGɳFc^œVJK^ bF[3JSdV~]q裼,6LCl`D \ٍHH-TIy-Dlim([u4+Jo#E똭g -zUJE^ca Oy: Fݩ'O݋D<6 JL d?׃O!{gG\HnNS6)}b6X)!&y͍Ek(]0a|nTt$痈k WdƅdrmCL `J'pf0ᒡLa% i4?ut{dc.5vpR"prH%t# 2*ڹFӫK'7{D QiёJR#?F^TZAiDܧ<[Xn-2d=8S Ya[5$9{ #6 ]')_06{]ԋq9GlF&GWfO\26B"B»'Dbl]{Y^sl(dͷxLZ:f-mf!6k"ޙYsn%hV>BU +WI}4GZ`hG32GҀ_7&D Qi.);`;~‡VDĄ/SL"Jm9KBe)a31 c= o}[/nV:o.^ykGq[v^Agq!r8 *'@M; AJYŇ90BK7u@v:{3x`y&]ESO-h/)%ebfp,^ͦ8DT; 5 +٘TlXy\$xcunH~KKu[ 7߭Bv<LLez؆.I珙!ט&1t-j8ݺJl.Qzgw@\ ̗*be$C t*x}=^:1UtN IJ}Ջe!Eb &P|b@o*w]7/MXz<ta/ԑ`0ny} .õn%n:1䨗<ljƍObʼ1^h$Py ͐r2^'a %4cn4͘ԭ\!ZϛG[A0DBS"mU-oE+[!_pI.el 1( )wyU&Rr)FXM+ARXNp$Ht?JH0Y`$b $˻8q-&G8ĪH%EAbڦ"fBF҄o3ЈdB-h6P]Ɩv"P޴`kUI!ygʲ:xb8 {7om`#ɣDBy`#J`5溢.Uz%ȸ`ėIIz;#8 bmLѤ+lQuQeؘȔ0%ǨTD<diS4oi.zoJ޸@эO;BsUEʺH0*tJ*|g6A/T>E $ߒ B40=U ٥.*uڅՔ-*^@1'Tg~\/ JIOSc$8yzӫ ^F/)*T./h2YO9~& Dnkq6EXJ$W"Y|I%HlX+\|usY|΂Z}9P"SUn{( F$K3ZS׆8>>wфyb #WI^3MvJ/WwrHG5ղc/{pI-eb.x; Fh@'aE乐XUɧ dƹ|bMW>7ӽwB}U٠3jQ\զBf׀1_ͅHKZ O"pfTmZ.Shk4V<JMT92\BBFP!VԸm@ wglC 1OQ4Ƞt30+ 7vqRxGy@Hq~?r:O4>NõFVy mB5J80(F.p ɥ7|_"WiUԗKCmq7^oF~.h6f7/4/m !e vo̝|(\a8Jd_ض-ꪺ 1.(k*c~/X[C\`h4I0t{ qW:`[$eʤӯ@`_n!r_;o4K2nP3{P.`fe.CJ>zTZgab6'4Ys2#usEr!Ci1O_B&N/>9 %D5 -S( B~/ro/_y[_U w2~pa백LZI:oҬۑT o\mջe6RgZ6I)[麥+f֙@\Ic.UQX1eJݞR3ɇ1svbrݾ31WT*ڍB_cݶFn.Luy7[ػ|'v>龖C&Á]~3.//g8|SI-UA=e-|mn!}\q3@hxt=ݵ0">оGS5$ *jW3HzyLGC?NE)(_;4u\ C-y/WmK!.Ǖuǩ?@أ; ӷOVM W:άę™oTpfK8Mqzjla R.َ > endobj 122 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [185.875 700.946 196.834 709.178] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 123 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [213.228 700.946 219.704 709.178] /Subtype /Link /A << /S /GoTo /D (cite.Cousot77) >> >> endobj 127 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [237.524 651.258 248.483 659.365] /Subtype /Link /A << /S /GoTo /D (cite.GN04:sas) >> >> endobj 131 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [208.271 511.655 214.746 519.888] /Subtype /Link /A << /S /GoTo /D (cite.Cousot79) >> >> endobj 138 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [88.29 220.923 120.739 230.972] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 139 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [157.034 93.153 167.992 101.457] /Subtype /Link /A << /S /GoTo /D (cite.NelsonOppen79) >> >> endobj 140 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [337.647 509.84 373.227 519.888] /Subtype /Link /A << /S /GoTo /D (section.5) >> >> endobj 141 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [468.667 440.101 504.878 450.15] /Subtype /Link /A << /S /GoTo /D (section.2) >> >> endobj 142 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [464.712 410.213 501.201 420.262] /Subtype /Link /A << /S /GoTo /D (section.3) >> >> endobj 143 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [518.383 410.213 554.872 420.262] /Subtype /Link /A << /S /GoTo /D (section.4) >> >> endobj 144 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [316.017 400.251 351.581 410.299] /Subtype /Link /A << /S /GoTo /D (section.3) >> >> endobj 145 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [316.017 390.288 353.297 400.337] /Subtype /Link /A << /S /GoTo /D (section.4) >> >> endobj 146 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [502.052 360.4 539.285 370.449] /Subtype /Link /A << /S /GoTo /D (section.5) >> >> endobj 147 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [446.763 352.253 483.599 360.486] /Subtype /Link /A << /S /GoTo /D (section.6) >> >> endobj 148 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [316.017 342.291 351.634 350.523] /Subtype /Link /A << /S /GoTo /D (section.7) >> >> endobj 149 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [540.927 295.394 551.886 303.699] /Subtype /Link /A << /S /GoTo /D (cite.NelsonOppen79) >> >> endobj 150 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [325.235 255.616 360.851 263.848] /Subtype /Link /A << /S /GoTo /D (section.3) >> >> endobj 151 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [376.289 255.616 411.905 263.848] /Subtype /Link /A << /S /GoTo /D (section.4) >> >> endobj 121 0 obj << /D [119 0 R /XYZ 54 720 null] >> endobj 10 0 obj << /D [119 0 R /XYZ 317.014 333.324 null] >> endobj 118 0 obj << /Font << /F54 74 0 R /F48 97 0 R /F28 126 0 R /F47 130 0 R /F58 84 0 R /F52 134 0 R /F49 137 0 R /F53 72 0 R /F40 154 0 R /F6 157 0 R /F32 160 0 R /F31 163 0 R /F63 166 0 R >> /ProcSet [ /PDF /Text ] >> endobj 172 0 obj << /Length 8148 /Filter /FlateDecode >> stream x=io#GvW0(D}b/vċ(%ѡH<n#Qwu^t"D32}zG&Pw4~!TOg{,4wLLeP+DY Ew?M?A5T_&Nyff"+ ~c|2# mT;aߑ44;?N ,KSQKLJ*ҡPP ) QyĚtDEe&CI% =\^qJ/;;-M`ŽĄ K۝9 JqrN^0s \pUW9Yeao.jF+:}چH;DuEc44fxeU*lX:aUFC;18_I @sR)q4E"h<~>4^G㳎hitؾմ@n Dbm)}( !զ, sվ,_ hOG1oqgُW3#~| g*fΎ4G*Cɺ-|}*2,zSŠLO,F-KF-)cq_vn`Xfƌ*QC I,:/Y>bg5q)|Ϩ>A4|uW~c+,_؅Hv2'v D~؂}N+ޮzFH&-J5k-qqZӕث`V{WF_~^6WOzK%SE#tGplfEќ0oyy\+z*Z#`? *9t#bC$3Ħ#I{d͹}p)3qLӻFޗ~x,iədrbGTUsԠ~S<Ӫb#^_Q98_=/Cewu{t_euPAx<{=O䤑螯HGk>g`[_g/AluYć-ol;,U{\/ hXRؐJj1Xzg6]bX=vu7eSo5Xv6[Tڟ^W~8}~5+J]oO"'?)^o^i.|,v$k*x99GK\╱6Y؎]y;?%HZ1Uc?;+SNʔp籊?" C$![+@ Py[f]<%6F$ȵDX=PyJ8QTåt.ڌwZKRݓqǞ_ڥ}(HxwoWLk]?ՁS !@pR-bD!Q9}~ i.]C8jt9(em|w#bڟ;h٭=.l:E, $!3|qQVy@%3J:D(ihN_% ôHph@ԣ+rMߝ#LXb똕u:N5lp;$*[܂ Un>c5~®gIGBSYw?> ܩlhXU\x\|?P"9͵)h^imkjT`aUE4IAD M 5ՂT],]PϢu&D %ǢOݶz\#A9+XRE獵KGB<'Q(@2P=TnPϩ<$5~!C:t.:UQlXOPTbc݇tcdqe=bQ$ek^ Gi=f u5o=DFT W,ʬ !n:_M=߮Wp~~ oH*`$ڮGXiN.'|}1+˧2\Bop|]Cv],-$zSǃcQ< c:C8T`:a:HHccc4 ޳v-vvLVʟ=7p"-1R`2QK#ee#K o !mMXE9v:Tz5 *<ħa %ul{lS U >)Dzh,Kĥ@xPf2n9 QmF9{9ͨSk҈uA@U#;' GG ."s=  .R r$w@g۞V2Dm4w0Rx,hծEEe3ʷMHG3>BG4GZtZpT%.p`$Zu_腰[?Ϣvd (uK hZ{;F/ٱt9['%M\F3-iY9`xn7x_Khԛ7STlX=e Iv0̷ޯ[Q@z H3z~ LΦ]GA>(M2&*ՁKXa'i'3킪GA$D1YcJ,~/[@zg0s 4j񼬯#k-Ë: :ܜ+qr-t#qTdD̍n!P֋Q8/փ50ai:Di,.A"tajX{T爫M64Cex>~:PTNY?^C漤rޤf@_(KyJUpܢEԷʐ=8Fxu~ -E?鹯 !Y-{iz.̘)YT=3Ͱ|xiJ:OH&'a$*SWLqt6xZ,#(FP\q 8{ٹYrVdɑ~),ы9Fƃƣ!MБ)e)1c,6z=K<=/~SQأ.&H{C0@VyHk-抍PĂ٨f5Z*\3s)F) Z]]bebԁ&xK\|,?xzFK|/HE}>x .gJ ܨ h a^dP0gШ pXMHqс9;'踚VԄ eHgXa}٬ p%i)rOr?Av/k,pD}P=rA)R6C&rG)O 6^i-mX@ ]EqzRZhL 'F+Rq-Q vT9FSwQ$FQ]yU<zjA6 NiPX9 ,?& _qTYo7ÏHU$7WL_ws3 $8y@= $/V{8B/HΧ./MS_o=t|@e&JiD5Yzt=#X[YcPz5]،?_ߗ8@5fGHw*eNU9:2ݺc'!CcʪCǢ嘥3Orn>d^mP^*.sN.HjKJ[ɜKkd Fho8 F]\i:6Hx0-IhGu?!0CTC%vL%D0SǪnOO]ZJ@Q>-JBV506SCOavZ0Ա[SQxU۟pQeǺ!&P6lRB]VXdQ@ܸIk=Kn'3 evec":=wjtݰt'.xRU,%zeW ܎ a8Ig|Aw{%ȥ]D޼z@4W@e$W{JNEh.)jT 3@ j Ӡ}ol 40n;S_j^:Va 26~I$O H ^֙`vÙ ~$n(ZBʇB=s~-â^a"5l6\CfnXV4~ӋtBo.bO{*oibZl$;4)5MFtNr8JWt#-h( ?,}T; P!XK7s C:>l3$lָiSK^~ q٭8eB$S' ^5]5|N4,&D~l7uT ؝,ØD,sr˶0&MϓۻBh@2`ClS=6X{TiMf6Dφ %x| [1B; HErD+]?fs%Lo :%+FԹF{id)Xr 5"(0ܹSA5gMd~KV0AEhmKy|q$phVP\u'lΉQz,JCȕ$?0f$a*0Дd/o+h^]Vm"dw]?6~od}x9gp|,Z-SjOIA:FBtnFiUo]SEpwmQ/8ǁeif$:=)wcYRiu _5c3]!t9j1Y;qIě^FkMʉVe T`fmPʽRGv uWlwMOp.AkɣQ1 ud_~$K{es;mbIY1A rP:[CI%QU^ IlF1CMq1 $-#s3K*}7MC.i8xs#CW䔧E?|+B{\-#eo=Ou m8:^BNݐBӚXY <;ːTSA~m3P `#g@>ms+ń<63iG0"\$9md1iŬ&z^&Pi_x[6#wXD%ZZDKM1YrZv#^&@8§ܻ6ZDSQLHɸrO46WCeg7:%o ۯ/E, 1r^BuU⪜qY~dw攁NK){1VÃK@Fyxy>DK ~]SkY7:OfS7Fa6WFĄUt%Q[փ endstream endobj 171 0 obj << /Type /Page /Contents 172 0 R /Resources 170 0 R /MediaBox [0 0 612 792] /Parent 103 0 R /Annots [ 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R ] >> endobj 179 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [222.984 421.58 233.943 429.813] /Subtype /Link /A << /S /GoTo /D (cite.GT05) >> >> endobj 180 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [153.784 207.37 187.879 217.418] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 181 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [437.395 511.779 469.958 523.9] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 182 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [522.475 317.578 554.872 327.689] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 183 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [348.821 257.253 359.78 265.558] /Subtype /Link /A << /S /GoTo /D (cite.NelsonOppen79) >> >> endobj 173 0 obj << /D [171 0 R /XYZ 54 720 null] >> endobj 177 0 obj << /D [171 0 R /XYZ 93.258 626.448 null] >> endobj 184 0 obj << /D [171 0 R /XYZ 414.405 248.484 null] >> endobj 170 0 obj << /Font << /F48 97 0 R /F47 130 0 R /F28 126 0 R /F49 137 0 R /F63 166 0 R /F40 154 0 R /F6 157 0 R /F30 176 0 R /F54 74 0 R /F32 160 0 R /F53 72 0 R /F52 134 0 R /F31 163 0 R /F58 84 0 R /F50 178 0 R >> /ProcSet [ /PDF /Text ] >> endobj 189 0 obj << /Length 7372 /Filter /FlateDecode >> stream x=ks+uGj*n]؍38iC+)|{. .EIu;\xU J_Y^-?WPD)e!V꫹?~7^ǻ+Ta2eU~}}7^U3ՅSY8m/4A_m !eUȲ, 6?30_?w rb.utaJ&,GJTQٰOh9olG :͕pvp`)P9yv=/Wzv/+tIjnRB"wqppܤrO!<܄Gh-x E ##rti27;LLTZ.d=JQ&ب GކpL^Xr 9X2ˌk%]RB7ϩDpY[hqw-,Rja8sӿqš TJApb;- hg"?9l8cMg%8v}h8ܶ8uǿZ,ɺb)x 7mJyp)-y-eĺE @* ū-m\O]!UB ;)+89ɱ+3)+iaN մ [&oߋm)v<5x ӶOǠ2\ [-LF3aE 3?0^Om [EUQr<;y9M:J6A(ߴU!̈́":)nb,9>=6خ`$/UQ[{ lD O@r@a7 Bzo%BJ1^00@'( j,SF؅;rZxUhjkBco<1(TSؿ6Sp6''ٔ47ؗ ~[Ǟ6 _ ҈.F-IC Qbe K 4hq 2p |?Nq"?hӮa;I}43*`@-0qO])Q΢3 ^ײ=7oK]"@{|qi#ò.*cv펑Qǥ.0z4,b.Ɨ?0з>n %9Q(kP8mĎ0e̋b!S4&"Ã9Bi@Q!Cw T %n[q෠X}>`J㚘>LYWZ^,2&YuޫY=Kz,K/^-CY > Μe_8nsBV{]R'_f(¢6Z&`2|#52K]G: “GЉCk)[H7LJf_Ҳftl%Z c_uwbBRT{sK=iiK!NMFQvߍ @cc"AY d;I‰V#ӎ@:7QKm{v lo\:+eJ-m@zBL=-g6)RNwrj2"W= kHYn6|U*CʢqBU5|_2&MLhm#6qVlus| ?bG[*Hr{_;D*TɊH#~%%Cm/V}7 JmSL O"\xhS&D ,~fd$*~V:&'@wyg4Џ6bN _"8خW^ AZNLYl OmXJ;+u 1z xKPfťZVgq93ǨАZj-*g4M6]sdKy//y(bb8`4N cqME@c/o|Kȷk@KGMta6pesVuugӳ3f FBGMP7T89U5_x$cw&:2n@n}\$Azu@?uӛa]l"m ތ.ڠJ!OOn 05o(` ?ᦝҏO\|=2|6ՓZg}m+ =:!kRcW*rfKMMـY @0{خp`^op[ J)H¹1s0E$&V2V⭁{iؑf} >i~xoO v7V!+,-p{u40BdD/[^h<9h!-PF0M-7+&`E4\xs]K7-c' ;%R{#DA:,/pi?ql!bE"Yv *6iמg}yTP.A p U7?]K[&~ivu{#/'i )RˢS{e'v yX\˲W AA7T'vUAO)3(u B&׷鰑&i82% M@e! JY~!x@o>µ13X4$Wn<6u .Gy=ιq٢ݸj)| y~ ^@ģ Laͦ`Uze0!eEN˗L<U+ 9kMvo&df^ʆL2ssϾͪ/w[ʡ~K>t=V):`\]ŊxBGN+:<6O;:.3W^piЕIl?58y_m0 JF<.{~]܇,|&6 v[9uu$A&".s.^z=\V,Nde#W[2f,^c ! t&N+vE*sy<#j]v1dagj4J %Sqdz 8 q_^kX =bȜfч";peI'vɫFq4剺A,` Y$[O*mIŠn#DH# 'EdaߜfV}`tʙGhYGUɎ Nhb MJ;.Lo6SB[Տpg**\mHqiıUE:Po*5pM/j@o;R"$(H(|UV$H|RcHl} XIkv>nW~G6Q"'u^r0zy^>[[B{^y#~'awDr,*d]M#>*Ȫ3k3\˾ Qz?a8%~TEBV~7Z6v):=' ZY y 4.`P.mס4WЅ<$%i?5g!+ͩ'(q3sF]7cN2k5 n,QD6&Ë3itBme#96 ;"QNU(xBC .c$ _O_kC vEvtD5\b J}e(Lӝk 罩k`D{FfKof[eN 1|+"d"pCPoua#,S?tw10 FX7 @WeMӝ*7'lo_7!l[vrHY)&•9eFόҜrq ss@l2x4[e$H8oBF{0W{0y)g+|_ص%v"HoK|H=D$ N3b< sD3c:H >VWek魅w</#9KWEYo:щ/' BH[HPΊ: bI*"2%"gKtqY =+FT^+ S*޷+Ծ'^j:l%@*⎝*YSCHy+Æ&,&UAޓݐ.*^&ѥc@hl@ 3 Gwku2]2.lv!᮫:݄S" &ppqp5Fc pDO*5Dau>Bο՝4+05QĞ2!h +km+ޥxl pw=r hE {?;v>PSؓ+H輁0/}L=)*=== U9zHu>nt#LKݿk=#kio>Tug o~0PDɵ4oxv^-UU5|VyIk4HڸN.f̮ZH]]cy/CO%a?ѪCr|(S|!Wœz6 77C UeS^!Jva2οf)'ߠ{\Г$7 x Ag\L0ڷvxQ1mkv"Ϟb $[`@?ef#vLXC i Uaܸ٘I$Ndd+e/>rLT&+Hjvxb kzcnŏ#;6D{Y4ow(%PނQ7־-ԶH\wTtMyz m`◪E'&duJ9dH`_Ex30XI9[- ;7>]D'>dpgDw/careoyH=-?Box}OdGVc!X ϶/?)뵦,a$gণBy))r6|D-ݓ#BAvYp]!n 䥑MH%\V G^vBJ܀!S)o*^1_<ޱa?}в_slg2FP]6f`L?=m B|LG;Zom;_5º]`phaҹoQܙ9"ՂM悬f)~aV^66࣢}J]w.%)*>lcG(_d?>mhXlX.*crrQR'=TJ2zL]}( !tdBv=2yl}EHuۺ\wpOʪ͠bW>z_6>/)+e5?g=- yG'bU<]s s)Z1f\K_W_ endstream endobj 188 0 obj << /Type /Page /Contents 189 0 R /Resources 187 0 R /MediaBox [0 0 612 792] /Parent 103 0 R /Annots [ 193 0 R 194 0 R 195 0 R 196 0 R 197 0 R 198 0 R 199 0 R 202 0 R 203 0 R ] >> endobj 186 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (figures/example2.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 205 0 R /Matrix [0.00000000 -1.00000000 1.00000000 0.00000000 -36.42881700 479.53857400] /BBox [98.60759000 135.03640700 344.50216700 449.50293000] /Resources << /ColorSpace << /CS0 206 0 R >>/Font << /TT0 207 0 R/TT1 208 0 R>> /XObject << /Im0 209 0 R >>/ProcSet [ /PDF /Text /ImageB ] /ExtGState << /GS0 210 0 R >>>> /Length 1285 /Filter /FlateDecode >> stream HWmoE b>6CDR*Н‡4$(Ǟl6Qvc~<0gle`~> 6z}s`"A0)lE_Rm!4{.~~֛ܲ 鳋sFoߜ$ {S%b?,/%!p l?Ha zȯwo]&kmvBz=/C8,pP 8Ƀ ~xr}}Gd2MF{^sm2Qe3=ުԞoy s◔Nb(`I~n錨Y/RE-Yznqd&%8(hERH EjӤRi$eh76R_ԛ([9PT.l;h?5WڔXUI{sk9e-&A)PztQ\&#JlqNs%I=u׭ *gS>z2D.UE=ҽ@OiPǓc Njpާk@準Zi{ Q3?=,0{/dbܯa/tzV4sB/FBuOlB u6p'cOϧuuܑqr!dpC>5é.}s\nQ-L+2qdf2>hf0Ҷ#$PIYZcsQD4F|@"dͻhާa##P\DWZŹԌT4YVE)Z6imlv*yeЇF^˨Kl;VJݵ-W*o?~ Bp<>(&F+ǒNQ*{]޿M}$q˨tZXRxpaj >%:9sMB^! H.d'٭&q`S,%x}nPž<:#ـ@L1g }Uʼ#Edj3OSYendstream endobj 205 0 obj << /ModDate (D:20060309195833-08'00') /CreationDate (D:20060309195736-08'00') /Title (Slide 1) /Creator (Acrobat PDFMaker 6.0 for PowerPoint) /Author (George Necula) /Producer (Acrobat Distiller 6.0 \(Windows\)) >> endobj 206 0 obj [/ICCBased 211 0 R] endobj 207 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /MLNBPM#2BCmmi10 /FirstChar 44 /LastChar 121 /Subtype /TrueType /FontDescriptor 212 0 R /Widths [ 277 0 0 0 0 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 738 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 528 429 432 520 465 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 571 490] >> endobj 208 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /TimesNewRomanPSMT /FirstChar 32 /LastChar 117 /Subtype /TrueType /FontDescriptor 213 0 R /Widths [ 250 0 0 0 0 0 0 0 333 333 0 564 0 333 0 0 500 500 500 500 500 0 0 0 0 0 278 278 564 564 0 0 0 722 0 667 0 0 556 0 0 0 389 0 0 0 722 0 0 0 0 0 611 0 0 0 0 0 0 0 0 0 0 0 0 444 500 444 500 444 0 500 0 278 0 0 278 778 500 500 500 0 333 389 278 500] >> endobj 209 0 obj << /Length 10 /Filter /CCITTFaxDecode /DecodeParms << /K -1 /Columns 42 >> /Width 42 /Height 42 /BitsPerComponent 1 /ImageMask true /Type /XObject /Subtype /Image >> stream @ endstream endobj 210 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 211 0 obj << /Length 2575 /Filter /FlateDecode /N 3 /Alternate /DeviceRGB >> stream HyTSwoɞc [5laQIBHADED2mtFOE.c}08׎8GNg9w߽'0 ֠Jb  2y.-;!KZ ^i"L0- @8(r;q7Ly&Qq4j|9 V)gB0iW8#8wթ8_٥ʨQQj@&A)/g>'Kt;\ ӥ$պFZUn(4T%)뫔0C&Zi8bxEB;Pӓ̹A om?W= x-[0}y)7ta>jT7@tܛ`q2ʀ&6ZLĄ?_yxg)˔zçLU*uSkSeO4?׸c. R ߁-25 S>ӣVd`rn~Y&+`;A4 A9=-tl`;~p Gp| [`L`< "A YA+Cb(R,*T2B- ꇆnQt}MA0alSx k&^>0|>_',G!"F$H:R!zFQd?r 9\A&G rQ hE]a4zBgE#H *B=0HIpp0MxJ$D1D, VĭKĻYdE"EI2EBGt4MzNr!YK ?%_&#(0J:EAiQ(()ӔWT6U@P+!~mD eԴ!hӦh/']B/ҏӿ?a0nhF!X8܌kc&5S6lIa2cKMA!E#ƒdV(kel }}Cq9 N')].uJr  wG xR^[oƜchg`>b$*~ :Eb~,m,-ݖ,Y¬*6X[ݱF=3뭷Y~dó ti zf6~`{v.Ng#{}}jc1X6fm;'_9 r:8q:˜O:ϸ8uJqnv=MmR 4 n3ܣkGݯz=[==<=GTB(/S,]6*-W:#7*e^YDY}UjAyT`#D="b{ų+ʯ:!kJ4Gmt}uC%K7YVfFY .=b?SƕƩȺy چ k5%4m7lqlioZlG+Zz͹mzy]?uuw|"űNwW&e֥ﺱ*|j5kyݭǯg^ykEklD_p߶7Dmo꿻1ml{Mś nLl<9O[$h՛BdҞ@iءG&vVǥ8nRĩ7u\ЭD-u`ֲK³8%yhYѹJº;.! zpg_XQKFAǿ=ȼ:ɹ8ʷ6˶5̵5͵6ζ7ϸ9к<Ѿ?DINU\dlvۀ܊ݖޢ)߯6DScs 2F[p(@Xr4Pm8Ww)Km endstream endobj 212 0 obj << /Type /FontDescriptor /FontFile2 214 0 R /FontBBox [ -34 -250 1048 750] /FontName /MLNBPM#2BCmmi10 /Flags 32 /StemV 72.203003 /CapHeight 687 /XHeight 453 /Ascent 705 /Descent -214 /ItalicAngle 0 /FontFamily (cmmi10) /FontStretch /Normal /FontWeight 400 >> endobj 213 0 obj << /Type /FontDescriptor /FontBBox [ -568 -307 2000 1007] /FontName /TimesNewRomanPSMT /Flags 34 /StemV 82 /CapHeight 656 /XHeight 0 /Ascent 891 /Descent -216 /ItalicAngle 0 /FontFamily (Times New Roman) /FontStretch /Normal /FontWeight 400 >> endobj 214 0 obj << /Length 3746 /Filter /FlateDecode /Length1 5844 >> stream H|LTWǿᇀ`p (*8H v*ݦml1ֵi1fnfҘu614iHvž+ݗys=s>  ޝ#kH{FrYGG!&ׯA?z؈s @ 4~0;z((B66 Z׌M4xhM1gd +rY|Hesr (JMWQE8Ϫ9dcO2E\9F14z]цVC>TY/-e#_߫ԏ_/3j3b//.yrL(u&ZY%~;M<`x7 \#w1/P'ʳ8z E4Vȇp{M[APŞ5nQgY-R\aݠJygg5}lo8tH7̔$W+a7X_p(HCVذMxώF!RZ;z=_EoƜZqRۙ5++7-}])vgGRWD.wI"EiQLNCCz85`z>f5RBK<3WV9a$ncs9ͩ7TM'L' EӍp9-uW:Ap0Ggu`Y} ,ٗ1CfpT)Wp5Cw¡v>Lܠ£%)uo"> W/!\D\qaXaLDZ-%M'-l巐&_ .ha >&% awT+ȩ1|KP'ΣI<9!!ڐV@1D MJ,ѧJ31miaP8bV`Z^}K#v%{Zn9rEs#^%|4?A6mL8ssO=z()C_Z$#]2Gz`ެ>7-xO^7C>UrN|TO?`3n*m6oh5@K ?fK{5gryA~c2N+*b Kר>gd]G3" pno|2?yHsXP,*RaET y F窣AHW uot:?CgRdcZcX !=M\8md/j5;NDȽ?بV7X{C5 2)*6oJ,RMdj_Ȝy{ӭnKK>O;;P23vyO?;9"KV1qB'x~pmi ^ oT2jc&-yPθPڕ2״76&jeMZGi_SD#6mUEKm֭ |z1y:}nZhTK*ؒlu9jQɚgҸE@*n+EYcX_m1-ZJwZⵛ8FX1bZĢ ,dQ/ǣU,XK:bͺM߼1ivyR8Q+ ݵ6Զ =-јT|GcStZSW_Uʴ}yQĨ3;Jm! k^V*X .,ӶRj `JfN&k6ZZYdUM Fɷ)?ޠ߬ZJ39utjv?Un>e΢;w(rCOZ|@f=[4P4v)XJ xL5W7$Z+^ƞvz1YFv_l[llQ n'w,<]M; N[&lL6K<,( w[/r+mcS\OGK*RVfbb*szz)ݺ];mtغ 8nnZڱB%BH4ѨLƱHÝSF en1pAmrRD@1!LjutzIpNA1ESHܛsnN/4h݀u3~Z,_SʑU(oZj/y| o }yx}jWL #h|s]bwG<׀}2!h4Jv5&uItst8 z kȭ\3hb] "io AkyZo{iZ:sRFUTA*dFZ'3ȣP1RHc;46^@Bz{2Idz7`m!epxX %$ny*vZiӸO#+|+E_A ,s|c`czȸ8$"𕁜sc@XJҎ~E~+͔9"VЖ}wC%ꗮ$v6"=Di,z?\ڴRe qbZ%R<+32fn(-þxK_E,긙;fV/U1``E«C6 z ?nNe4nLJA0\&thCd N` 4A鍢)\5pSb H1/o9w 1[ShzfJiڧV^n\QZe3okHi$mӟCW1_[; k\a~;iEb0%?Cq9f`2 U=*f3 -9 ;pqەAM!u܉J>G-O-4tGHm|/1oЭ ®2E]nפK#&"\{vd;b].1s'$:1;ƢFĽטs {QeK̖Kǰ=!87|Mٟ m3B /.jtq >" <Y"XB~XZOGnFO, ᱵvc"6{I>xZ@(GUh-@h #fga}S+i.zn˳_ReUd 3ifR)~h"IWp$D흑 ё߷tE!FA1D;PMw\?|aբj"qC^xv@K f,Mm"Vk<$3} endstream endobj 193 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [91.126 256.069 102.085 264.301] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 194 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [105.326 256.069 116.285 264.301] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 195 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [119.527 256.069 130.486 264.301] /Subtype /Link /A << /S /GoTo /D (cite.NoteOnKarr) >> >> endobj 196 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [165.513 236.201 171.989 244.251] /Subtype /Link /A << /S /GoTo /D (cite.Cousot78) >> >> endobj 197 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [198.814 216.343 209.772 224.451] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula04) >> >> endobj 198 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [212.792 216.343 223.751 224.451] /Subtype /Link /A << /S /GoTo /D (cite.GN04:sas) >> >> endobj 199 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [120.81 104.813 153.086 114.924] /Subtype /Link /A << /S /GoTo /D (definition.1) >> >> endobj 202 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [345.851 192.873 356.81 201.106] /Subtype /Link /A << /S /GoTo /D (cite.GT05) >> >> endobj 203 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [381.095 151.194 386.574 162.663] /Subtype /Link /A << /S /GoTo /D (Hfootnote.1) >> >> endobj 190 0 obj << /D [188 0 R /XYZ 54 720 null] >> endobj 191 0 obj << /D [188 0 R /XYZ 93.434 598.441 null] >> endobj 14 0 obj << /D [188 0 R /XYZ 54 419.289 null] >> endobj 192 0 obj << /D [188 0 R /XYZ 54 374.28 null] >> endobj 200 0 obj << /D [188 0 R /XYZ 54 75.922 null] >> endobj 201 0 obj << /D [188 0 R /XYZ 356.834 591.234 null] >> endobj 204 0 obj << /D [188 0 R /XYZ 321.497 140.174 null] >> endobj 187 0 obj << /Font << /F48 97 0 R /F28 126 0 R /F47 130 0 R /F49 137 0 R /F30 176 0 R /F6 157 0 R /F40 154 0 R /F32 160 0 R /F50 178 0 R /F54 74 0 R /F52 134 0 R /F53 72 0 R /F58 84 0 R /F63 166 0 R >> /XObject << /Im2 186 0 R >> /ProcSet [ /PDF /Text ] >> endobj 222 0 obj << /Length 7688 /Filter /FlateDecode >> stream x=]㶑+QSb_LIֽ8*ęaNǢt׍H(hmR޲HFwFf}<@˿cI3MRJe.__}LV*uFɬF3w?B䋮MC۷-5?EQ.gOnSo~|WD9L0 tsE0E~A1enyVʂ}C0Fda"\˘n̘fioK/vdr3JUCq z ia҂ٵ(v-χ W4jnp oVnkX]d㖧׺[LŖ%L&_mnRxntE iӬ*%LgcZꨩ<4:^ D ZߕYooZlzV ;-[l)\Cq\HcS1B's3f:ϸv` GB((·L(/9N7/-H>g zX00V@* cЪg܊}jri<y6!6!-nH32{@A G{4oYqo䢽NJ&7LRļt 1 R2x5hGiX{"S\( K` pK 's%C]-0f~QG=ؗ <a39 7PS_]{ܭ.|+q94 rh]U;'w<)/P"Eyua;npVH%4?^Y^ \G+a\%50`wέ6R#L7un[qE͡;vn a_x%qMݎhqgw^g{xA6:eM@&})יWq^^ؔ )HHUlLB4L  lW /dx 6;X9HxQ#WDn9-vyv5l_Cj=$Q2ϔ`W-U3C*SdZ3OScq]ЂQ(xw[QBYi[vֵ"{+=$WX"^pM @I3& HR)~㠗22$d(63?2Rd8rA5uL@$jX7NHGwF7=Ӿ^55iୗ,dHT{Ɍ ڙ^}@AѮ$s4xLLH0+\VHCo2zylݽ3r;tdCE 4`?+.ޕLKxt!\LFif8rdr s ?&B27(ll(RiȜ-8nWt zn^ ݃Us6rO);Pҙڔ-jG\yL 3`(uW9c/fLE{o~O7#rl@rgQ,y+Bټ%6 =0Q' THዔI]"ۼTXM; n [{PYJ JMY%F/>6<ځ1o,.xz??^a5P!a~3x(4a ]TD!$I AQA+/ XY%%cG~7r L𸭑;YuUdՋ=ȑk%+\qV} ~6.%i2:SU_dzq@~otɃPXk8N&s99j\}^R,pxQ.XYilu~c E5G  L%/GR󑼧~lД)&39/:ǃfcE`D@݀Ү*.mA@P$ʎujT_y t1-~dc8ZBWq/߻zUB;]8jK*tOn^R ߰Yy q9m~Iz&j`P{Sox, 4$.),S)Awo3oO2aί}WqK.=^6V22V)1OL$QAcqs+sZ}8}ZS8<((6(vO_m87*鬧_7!ktA!m - Iۃw(_K2W)\2NTYE씽ϣ Gq.# $fӢbdIvzKϻ6 D!<+/NїͦO3٦sn6TTn C9.U/wjL䑥 }}" Ϟ Pwz3uؿ[4(nF:O:Lh92WEl<%I^B#Rd6Y0)Iq.n)t@ v8b?-Lhhu &oM|1:f>Ge Y+*O)4o e(Z.;՟MńhڸC =ޭ??^%IXc$Ҹ`Q ht 4PnYrsڐtEMSfxkD#E0HpL|SY G"\ד㌤}rkG~[략/GQ V `g $DG(0ILѠ@懊5F.ZRjmXM'ṳFd4}Sϭ^9M?΂M&! sObZf~h3=" oD~ jMa%jv8N1vIOG0 H 5*,e΃S8OȜSYޓ/SY ϟ3S= 0?>.}\{DAXqvd˖H : yh?nu7w|KJ\OС9l栗G]Fd0 5gaK`fGwL^QZ[~5 >qP i8Gnϐ=`,O385e)n{A{9,+O .ln^d-|;qh_  ,_׺O(8(%0Ц& yxStHM}HZhM5;F-Kܨ(CIfkdS>ʏb/8|̩PD̪x\EF 5۸DmDu_wO )[%m֋0^*}mΦd8/7ڕ0.E U&A3_$U5ULn㌴zRܟQMtt1z=K^^Ew@n]nݡC2Za[&w+ixDl-&v@Qh5 z ^ZA (/zx3ĴG1]R>y.k00)\)b|"B/MYl0Z8µo=]Ø(kS@ pQ-V0#" Q'7:X>?,ELHJp A $Cq=.rq9 wy+@C Zޅf; @Λ:Cɺ0BQK4E_ )8 Ò&Ҭcm_hOGNcbfTFFDG8l.({vwM_ߘ&1Tx- {͑ZmWZ0dFv-Y=<{;'G4Bʆ C{ҽ~fuFsl_{2:lÌ[sp_#bc6;,` ,̧_F(Lp}Aί@vOXC#xK]1p)"C)922= J/GPrMb*}`O.Y/Eq"Sڰ`晻.VV9R$p}kkѮڼtLw|D NR(5`BA-nXnrwֺ7 Vp1lO/R<& vXB5l!:xj>\ks_ >:@81rr_Sm1~w dJt F"fqxn-pݵ͋=W6ɦߢAgH\0: ]U]aI+FRxe>9.#O @50" f~QG!`ڏ\ B h{)az2Wxf2^D8;n=/Fu=H&e436BxّE*-E%Z S*#0{!} Adm|,%[yZȚlݣ* y[eRFʅ {jNMWl)>/uɼF@w5JZzG9E Iu3aNoS NSB@3nCr[ ƶ3iVX(P& THNDxsHJrd t{8Td\bxMO2ouUĐl(qT~ ^x9#;e>F]'flhhp3;#_Oj zAЃ+8 ,nySv+q|$]8=7SNfʫڤ*ȱ*WS*șM/;͎Ux)X'G5-*zH,ʌ>Oгwy>/,rxGy.Pqq͞dm? Pvkgu~q~+g2*ʭt"L=XlB؆]{|xْX/t_Պ{S6Xopj??[̲q=5Pd \LlE(@ioډ~_Ht?_8h(L,_b@/=ǃ/bع40?B}YDY^s}AEn{ WgyH-| SLñllKOeuU"Qb"8'Itm`KM+-'6@$13|CҼ#%H@a^pO ,BqJYڰ)mɉŅJIM($h"H3*X1sر&5oHlgfR.D(#t/5Zfb틭2ݭyf%ErXOuqͥ3vbRy,~ac@P=hx[{:jLέz)'~gO$Р!%~rC BʘEr1_rlqZgp>m!\)@&gCI aoMۥ駫6xXRHޚk{_裿@n|}7[r¥4<]7A 3421ޗ!h˙/ _T~G3|3tz܌L5*љ}ʨ9!Ϲ?o{Ge]ƶw]"F0;w-6[LJ~Z riR=:egޑPNe1SSwΞJ"RT*LXM՗%lб/FM.p5c`7g(:!9p%_ƊRqOvQG^k"2$ K\|USa !q\n>^;Җg W`XL-q8'-Y`'HՋkd@go~{I夋-Rr 1LIeH ?v?dOJ6 ߰iSS6_*HMR0Z gHP3-]ʕ9i=2 ,FL1  endstream endobj 221 0 obj << /Type /Page /Contents 222 0 R /Resources 220 0 R /MediaBox [0 0 612 792] /Parent 103 0 R /Annots [ 224 0 R 225 0 R 226 0 R 228 0 R 229 0 R 230 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R 237 0 R ] >> endobj 219 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (figures/nodes.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 238 0 R /Matrix [0.00000000 -1.00000000 1.00000000 0.00000000 59.46470700 395.96658300] /BBox [159.14372300 99.67901600 296.28756700 585.57531700] /Resources << /ColorSpace << /CS0 239 0 R >>/Font << /TT2 240 0 R/TT0 241 0 R/TT1 242 0 R/TT3 243 0 R>> /XObject << /Im0 244 0 R >>/ProcSet [ /PDF /Text /ImageB ] /ExtGState << /GS0 245 0 R >>>> /Length 1518 /Filter /FlateDecode >> stream HWn7 }c\6 8n6Px>}p:Sח%4u dgΐyDԷzǴc`v6v)~OL?IE`5 cS\?ŖF{ػw?2Kv5Z6Bs!@Z+tL^޲g9OϿa]gc_9wxS埖Q1OSA, sX -60PUW6}XH19 6f&E1hR) o^n'W?8}βJMé+ԯf *AYcS/.ɓIM=;b XSv-SMrGq iݜ`kߚ'8I0בh0endstream endobj 238 0 obj << /ModDate (D:20060309195551-08'00') /CreationDate (D:20060309195359-08'00') /Title (Slide 1) /Creator (Acrobat PDFMaker 6.0 for PowerPoint) /Author (George Necula) /Producer (Acrobat Distiller 6.0 \(Windows\)) >> endobj 239 0 obj [/ICCBased 246 0 R] endobj 240 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /MLNCEE#2BCmb10 /FirstChar 61 /LastChar 61 /Subtype /TrueType /FontDescriptor 247 0 R /Widths [ 777] >> endobj 241 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /TimesNewRomanPSMT /FirstChar 32 /LastChar 117 /Subtype /TrueType /FontDescriptor 248 0 R /Widths [ 250 0 0 0 0 0 0 0 333 333 0 564 0 333 0 0 500 500 500 500 500 0 0 0 0 0 278 278 564 564 0 0 0 722 0 667 0 0 556 0 0 0 389 0 0 0 722 0 0 0 0 0 611 0 0 0 0 0 0 0 0 0 0 0 0 444 500 444 500 444 0 500 0 278 0 0 278 778 500 500 500 0 333 389 278 500] >> endobj 242 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /MLNBPM#2BCmmi10 /FirstChar 44 /LastChar 121 /Subtype /TrueType /FontDescriptor 249 0 R /Widths [ 277 0 0 0 0 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 738 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 528 429 432 520 465 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 571 490] >> endobj 243 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /MLNCFK#2BCmsy10 /FirstChar 48 /LastChar 48 /Subtype /TrueType /FontDescriptor 250 0 R /Widths [ 275] >> endobj 244 0 obj << /Length 10 /Filter /CCITTFaxDecode /DecodeParms << /K -1 /Columns 42 >> /Width 42 /Height 42 /BitsPerComponent 1 /ImageMask true /Type /XObject /Subtype /Image >> stream @ endstream endobj 245 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 246 0 obj << /Length 2575 /Filter /FlateDecode /N 3 /Alternate /DeviceRGB >> stream HyTSwoɞc [5laQIBHADED2mtFOE.c}08׎8GNg9w߽'0 ֠Jb  2y.-;!KZ ^i"L0- @8(r;q7Ly&Qq4j|9 V)gB0iW8#8wթ8_٥ʨQQj@&A)/g>'Kt;\ ӥ$պFZUn(4T%)뫔0C&Zi8bxEB;Pӓ̹A om?W= x-[0}y)7ta>jT7@tܛ`q2ʀ&6ZLĄ?_yxg)˔zçLU*uSkSeO4?׸c. R ߁-25 S>ӣVd`rn~Y&+`;A4 A9=-tl`;~p Gp| [`L`< "A YA+Cb(R,*T2B- ꇆnQt}MA0alSx k&^>0|>_',G!"F$H:R!zFQd?r 9\A&G rQ hE]a4zBgE#H *B=0HIpp0MxJ$D1D, VĭKĻYdE"EI2EBGt4MzNr!YK ?%_&#(0J:EAiQ(()ӔWT6U@P+!~mD eԴ!hӦh/']B/ҏӿ?a0nhF!X8܌kc&5S6lIa2cKMA!E#ƒdV(kel }}Cq9 N')].uJr  wG xR^[oƜchg`>b$*~ :Eb~,m,-ݖ,Y¬*6X[ݱF=3뭷Y~dó ti zf6~`{v.Ng#{}}jc1X6fm;'_9 r:8q:˜O:ϸ8uJqnv=MmR 4 n3ܣkGݯz=[==<=GTB(/S,]6*-W:#7*e^YDY}UjAyT`#D="b{ų+ʯ:!kJ4Gmt}uC%K7YVfFY .=b?SƕƩȺy چ k5%4m7lqlioZlG+Zz͹mzy]?uuw|"űNwW&e֥ﺱ*|j5kyݭǯg^ykEklD_p߶7Dmo꿻1ml{Mś nLl<9O[$h՛BdҞ@iءG&vVǥ8nRĩ7u\ЭD-u`ֲK³8%yhYѹJº;.! zpg_XQKFAǿ=ȼ:ɹ8ʷ6˶5̵5͵6ζ7ϸ9к<Ѿ?DINU\dlvۀ܊ݖޢ)߯6DScs 2F[p(@Xr4Pm8Ww)Km endstream endobj 247 0 obj << /Type /FontDescriptor /FontFile2 251 0 R /FontBBox [ -66 -250 1011 750] /FontName /MLNCEE#2BCmb10 /Flags 32 /StemV 112 /CapHeight 687 /XHeight 437 /Ascent 700 /Descent -210 /ItalicAngle 0 /FontFamily (cmb10) /FontStretch /Normal /FontWeight 400 >> endobj 248 0 obj << /Type /FontDescriptor /FontBBox [ -568 -307 2000 1007] /FontName /TimesNewRomanPSMT /Flags 34 /StemV 82 /CapHeight 656 /XHeight 0 /Ascent 891 /Descent -216 /ItalicAngle 0 /FontFamily (Times New Roman) /FontStretch /Normal /FontWeight 400 >> endobj 249 0 obj << /Type /FontDescriptor /FontFile2 252 0 R /FontBBox [ -34 -250 1048 750] /FontName /MLNBPM#2BCmmi10 /Flags 32 /StemV 72.203003 /CapHeight 687 /XHeight 453 /Ascent 705 /Descent -214 /ItalicAngle 0 /FontFamily (cmmi10) /FontStretch /Normal /FontWeight 400 >> endobj 250 0 obj << /Type /FontDescriptor /FontFile2 253 0 R /FontBBox [ -29 -272 1123 779] /FontName /MLNCFK#2BCmsy10 /Flags 32 /StemV 79.264008 /CapHeight 781 /Ascent 778 /Descent -271 /ItalicAngle 0 /FontFamily (cmsy10) /FontStretch /Normal /FontWeight 400 >> endobj 251 0 obj << /Length 1720 /Filter /FlateDecode /Length1 3392 >> stream HV}h[>$+SN^_T'cI06صϻs=Є a'w?:سFߑvfQ/ iM,.h_3E8AS< {۩ruǾyU,8P 释dh2Q@"rM=@(GKyfr (?N;K4kgׁgfg* ěF%៝/fYt)^B1wPm HA{yem oVjŠtQ9 Y,ɂL~pW7s`3(qqCT6_*ʈ!Mi$_oy#)fwm.5aok {}}=lct8gqcna-c]ؾ}W#5bUb9Jc;[~d{sSPC0*eÚ3;{tE|<қ>orC9ُLf`]%&,-+h\6-)Zi\rL@,Ҹ*rN>wbokoܦ;-W*1O;"fm0 q%)JDFs%ú̸b/چlÕ +n{lLM9=JX@7rbXV6vD̈́)U~fabִK\Z 9VwSr nfL\7Gܖx0Lת#q^21ރ ȫ=U)o"D4 XUjY½ oP* !+}[Rڍv>W.Dq)T$j{{`h#9U_׃6G͡M`GB~SZA_εY~7e1GkV/vLkwiiI4L}^"Ԏ4_;gQ|śH$Y1Wd Ɋrn}.j1[oK3ׁi/Wޘ8H|D6~*Rm9 $rlް]Vj^vgrwSVH}qpqqKTkP$ ^0aO"ޥp; >t} 6R~Zv;4,<=C=g5>8j˿ߥGxC2CQHԐےI# TM ''QƾO0dhSsV?k?Yhϒ0?4Wi>V 1] DBb(;cfD)˄_J>'lu4U\dof9RYԎ9jXXԎڈXVF b!ٕ출c9C{\.L,f$blZdžۙLܞ> æYT1UmZhN A؂Cf eƒ1)BQ,zd+FfxZXgVvQn/ 4d #+ <`1U*ǤNW^<Ӕ˫8Ee<xw28%txv{_ ?qkM#j ق> endstream endobj 252 0 obj << /Length 3746 /Filter /FlateDecode /Length1 5844 >> stream H|LTWǿᇀ`p (*8H v*ݦml1ֵi1fnfҘu614iHvž+ݗys=s>  ޝ#kH{FrYGG!&ׯA?z؈s @ 4~0;z((B66 Z׌M4xhM1gd +rY|Hesr (JMWQE8Ϫ9dcO2E\9F14z]цVC>TY/-e#_߫ԏ_/3j3b//.yrL(u&ZY%~;M<`x7 \#w1/P'ʳ8z E4Vȇp{M[APŞ5nQgY-R\aݠJygg5}lo8tH7̔$W+a7X_p(HCVذMxώF!RZ;z=_EoƜZqRۙ5++7-}])vgGRWD.wI"EiQLNCCz85`z>f5RBK<3WV9a$ncs9ͩ7TM'L' EӍp9-uW:Ap0Ggu`Y} ,ٗ1CfpT)Wp5Cw¡v>Lܠ£%)uo"> W/!\D\qaXaLDZ-%M'-l巐&_ .ha >&% awT+ȩ1|KP'ΣI<9!!ڐV@1D MJ,ѧJ31miaP8bV`Z^}K#v%{Zn9rEs#^%|4?A6mL8ssO=z()C_Z$#]2Gz`ެ>7-xO^7C>UrN|TO?`3n*m6oh5@K ?fK{5gryA~c2N+*b Kר>gd]G3" pno|2?yHsXP,*RaET y F窣AHW uot:?CgRdcZcX !=M\8md/j5;NDȽ?بV7X{C5 2)*6oJ,RMdj_Ȝy{ӭnKK>O;;P23vyO?;9"KV1qB'x~pmi ^ oT2jc&-yPθPڕ2״76&jeMZGi_SD#6mUEKm֭ |z1y:}nZhTK*ؒlu9jQɚgҸE@*n+EYcX_m1-ZJwZⵛ8FX1bZĢ ,dQ/ǣU,XK:bͺM߼1ivyR8Q+ ݵ6Զ =-јT|GcStZSW_Uʴ}yQĨ3;Jm! k^V*X .,ӶRj `JfN&k6ZZYdUM Fɷ)?ޠ߬ZJ39utjv?Un>e΢;w(rCOZ|@f=[4P4v)XJ xL5W7$Z+^ƞvz1YFv_l[llQ n'w,<]M; N[&lL6K<,( w[/r+mcS\OGK*RVfbb*szz)ݺ];mtغ 8nnZڱB%BH4ѨLƱHÝSF en1pAmrRD@1!LjutzIpNA1ESHܛsnN/4h݀u3~Z,_SʑU(oZj/y| o }yx}jWL #h|s]bwG<׀}2!h4Jv5&uItst8 z kȭ\3hb] "io AkyZo{iZ:sRFUTA*dFZ'3ȣP1RHc;46^@Bz{2Idz7`m!epxX %$ny*vZiӸO#+|+E_A ,s|c`czȸ8$"𕁜sc@XJҎ~E~+͔9"VЖ}wC%ꗮ$v6"=Di,z?\ڴRe qbZ%R<+32fn(-þxK_E,긙;fV/U1``E«C6 z ?nNe4nLJA0\&thCd N` 4A鍢)\5pSb H1/o9w 1[ShzfJiڧV^n\QZe3okHi$mӟCW1_[; k\a~;iEb0%?Cq9f`2 U=*f3 -9 ;pqەAM!u܉J>G-O-4tGHm|/1oЭ ®2E]nפK#&"\{vd;b].1s'$:1;ƢFĽטs {QeK̖Kǰ=!87|Mٟ m3B /.jtq >" <Y"XB~XZOGnFO, ᱵvc"6{I>xZ@(GUh-@h #fga}S+i.zn˳_ReUd 3ifR)~h"IWp$D흑 ё߷tE!FA1D;PMw\?|aբj"qC^xv@K f,Mm"Vk<$3} endstream endobj 253 0 obj << /Length 1992 /Filter /FlateDecode /Length1 4100 >> stream HWmL[~!|$@ !M 5 vj0`‚t4_Tiji.TnihهL,?4Ҳ65i=6[Jv.}?{/A@Z~0t""945G1`oV/{@pOͰU 7[ȫyZ ֕3G,MZĠj*# @z ⢶WaVB16-c8?6wM-۳69f;o;vͫ]e#XnK!ݫu+9^ `ZKT*ЪVT캭Nið$U'NVqcWSc]^]A\ԩeV^Hřz Dj, Rj>:͍El‹(,pk"9ڟ#]I."J@jM 1"#bPꈦ&ZY$NwzhVpQK8h B8C8n#}Jrja"7B̼E$uNK.F]NaPVJ_WjkBɢAt]tڙյ!X#@PiQ@u."Gp*qJOԵ:*eS~Nn_uQZpJwPҝ_ )T<6ωRz(mZSL5-_ VQj_WݛX*{o>DfEV0ߢCtȭHNvJڋsL"ʄ % F0%u`J+e[R xcԉ}nT[.]*^ |8j^Fg B2ś$O"蔮)V-TofWgѐp `_ sTt?2"}D~(Α({hc1aˏ_7kx0O1N9T 5)8є0Ŝ1Ox8Pp<}N*9^|Zdpi*s uO1\⅏u6"PT*r{o]v([k⢦I^ӿe۽WK7u]=7Ƚ66#F"3>t.`wǟd+Yaͱ__> lNbGsHv"gdϱ wl۸ͣ;'rHv>_&;t|,6 6(mmin %Sz\*) h*:=[t31Pr:D":<ONhl4}=CaOp<5_AILҪb!VwRt3a譣äTP=Igc)2VR%9f>B~n14?CR̔Dn!E1Lê8h/ȃt 0> >> endobj 225 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [224.42 546.99 256.769 557.949] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 226 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [71.689 386.35 78.165 394.56] /Subtype /Link /A << /S /GoTo /D (definition.2) >> >> endobj 228 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [160.599 349.493 167.075 359.474] /Subtype /Link /A << /S /GoTo /D (definition.2) >> >> endobj 229 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [117.091 334.219 159.701 344.268] /Subtype /Link /A << /S /GoTo /D (theorem.1) >> >> endobj 230 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [197.674 314.294 229.758 324.343] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 232 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [409.706 536.759 441.835 546.808] /Subtype /Link /A << /S /GoTo /D (figure.5) >> >> endobj 233 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [385.25 510.386 417.379 520.435] /Subtype /Link /A << /S /GoTo /D (figure.5) >> >> endobj 234 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [476.007 420.948 519.308 431.907] /Subtype /Link /A << /S /GoTo /D (subsection.4.1) >> >> endobj 235 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [413.144 397.338 445.273 407.387] /Subtype /Link /A << /S /GoTo /D (figure.5) >> >> endobj 236 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [476.489 199.49 519.63 209.55] /Subtype /Link /A << /S /GoTo /D (subsection.4.2) >> >> endobj 237 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [412.651 175.579 444.78 185.628] /Subtype /Link /A << /S /GoTo /D (figure.5) >> >> endobj 223 0 obj << /D [221 0 R /XYZ 54 720 null] >> endobj 227 0 obj << /D [221 0 R /XYZ 165.818 397.412 null] >> endobj 18 0 obj << /D [221 0 R /XYZ 54 294.646 null] >> endobj 231 0 obj << /D [221 0 R /XYZ 424.147 638.944 null] >> endobj 220 0 obj << /Font << /F54 74 0 R /F49 137 0 R /F30 176 0 R /F6 157 0 R /F40 154 0 R /F63 166 0 R /F47 130 0 R /F48 97 0 R /F32 160 0 R /F28 126 0 R /F58 84 0 R /F52 134 0 R /F53 72 0 R /F31 163 0 R /F50 178 0 R >> /XObject << /Im3 219 0 R >> /ProcSet [ /PDF /Text ] >> endobj 257 0 obj << /Length 7951 /Filter /FlateDecode >> stream x=rƕzjH_N7z*$I$g< (J㱓R4}=s^WR\)F֛W+VP/o˂P BF+Ai ɰ꿿}W0eyax{뿽7_sr% 4VQ ))m?:啀"ՒTR[*"jZ뫮h+%N~fWwi  _$V4y^H-|?_ f[-}zI͵F)IE5aS4 HWMkY = |T6Ld7LV/l3Gc:0gpb:d4U(C Գ3=6\ hɣvtl껏Cbx &b`wXf<ٰ̯a!ft2?? cTo33)8C0)VS3gC:,`π·}:kCTUeaB|0aip6|ԅt<<}~"kSh$KigͰ?܂ǖubS5'nj~ 24A[/8jg)eӜQrFJ8g@A lXi9i|PcMgJD8< ,1KtF9nBԄ Āzw[P]MoG%rx)@& `Q(EȋSm/,V~J_%% cy$-muaeȜe?qYŬDQ=ɌE L\e9L5职*1`OY(&@`]?Ka>6凔!:dH[f64Cd jJug`3e/MzF mP!d |O!|D}-|N#{1"#]Vb#žD; '%P vb}nj7Y)J9),sͤPF&l<~YXXOUa{1,;[4x$ S:k;N'j)@Þ?gף9"@QyX7FxKFDUwS)1wPL3 5l3+ #8h:L꫷m3 `zW?\ݾ"W߼47\\mժ܅]c6DHV7pKUi)'G>/3ޤdAa;`o)e# ˀҰ{ǜ|˾׹_R̶"|6PZ-Y5!qBr2ſ]/3 $Z4w"!=8}n"\gV`3ES.n#=REY+`I,u&-?n:fY'ii 9DcW%8_ɵueRϔ^,0N?g`ɰ_Vh\+=n1x.#By!gw2嘕@Mk DiEJ=e?ǿg l1 |\jb- 79 @R8bӍv}ga]șMN5Fo+p*MVQ(|tO# H #e!9|ƁsgPsQT M>eq6w7Yۋ":{E=S`pn;BoE d3>0)h3>䌑=|(de_RL -ll rޒ{I$x.1 O9(>׳ .$gaBj\π{iN=kPf@dvS3u˧5"+*o -L~63\ʥmbvrsZ$6j:{qNЇ &g|6y40KĜw^p.?1g35gXB͹xIbNaXƅmm*N]we4\qA%KCze[vM}ߌFE1f̰(QQ]c(˂s)tZ0(Qo^)soTQKn!)wEN֕EƗn vo뽫WB\VuST7j7V5߮޺c6fuJVá^Wp 1rA %$JUvJ6k@pA82ġj6{7]oz^vUug 3&7,X2^rz8{b))1\ 抦 r*Y4r' aT}D|KU%sM $]ztQvfG&F X?xzL'!ShF$rm02Iw+ ?VF^\Vu>:,kkܷl(} z)>{W5H81f17ݜð26< n ҙͱ숊4`͇z_9}Jq1螏CTZڊGh UɘIcҘl/ `Bx[mw^8o6(T==!@'6A(6ভ2*Ѱgsy6[ ZA52M=TK>z ]ڬ%KJ(2O u  \蘑$ O=ԙ`Yɍ*ye@~G_D<7 F#˺ ` Y<6վڮ-k+cnwֽzlvfyad~hP5޻mdN-1Vk}P?ە{*O=qpBn W~Ȇ?"?ʹ ;.7}un=rTcVW t7r?8- /ۙ}@` 5hIUH0]={;<(n*Pm6pq=0a>zWe0>o/Sgy+w؄ˮ@5hjh3f`[!(d =*T/2Cn5f{X .ҡz "m$X7@#@ ơ G+I |j{~7P:;ۮ>pk5xlB Էko\ tk~YVfCU/zdnIժeJx x,XF0dau0ܦ> W- ΃k)@-8,n@gʁW*HAzH4E&k 3Jfnt%HS|IOS&rN6kFZ& r$-_۽_D ]ĬȳpSp}2È  D>Б{ڱwx8۠Ǝ`?t!l, iW(NIGF{ >9 1-xAK//2 샶 L/m Wt*^AM9+tP{jPW~5vExf6{ڈ"%ʌVjȿz&q t\#޺ ㍕w4O:NC _8v^[v8-9,;/!w'gA, lV9D(%h]Q zd4g00]0OBeT}L;9, x}3ݹ44ޯ}01"mz=z?V\{faU?Xlˢz p B?l$B\ zBń1  |~C_'gVuLNG`r\oX6HU+RXQ@O49M3Ӧ<=c{$Oo4MHM6F8/­Ek'#;^~3)B'W$ `q*.&-7GƟ`vUsWtkn&w ]wm-U 8a,wguV^I%&;.=6պga2 deXvU4Z:gRl`0,BLz$TΘ=&V9aڊ_q%աr@kY曻M䩐.> Ir ZeרG!g Tj yyrHJm<ӂż,Ϙ9gA4"k z6[^J/-''K:$< +=tiCjO P}$L鋯2mImw=^x7_|5{Y.)$/3J^f+-eT8ӞQ{´k|l٣VwC~*Ӆq,GtBhjW!_$/tk]bcd}. ̵ п #U"a^nF D$^I /$`vAB4gȒ8/xF0HT5`ʜ07MǪ^^:SϋWԜOn! *-p0tTzbaRC kw6S9Ѷ#"} BU> ݱ|M(ǵ4y/iWާI .l *t)Ԙ s'< <q/x!@>pY(UŠ8#^nWӻ!al:/+Sd,˵ar'Ǹwƽs [+uLXO·[9ʍVH;kZi>Vur1 ZSs7s"K %} O!r\QW4'ԔP{UxW&ꘔ%uUJI{z\_NO ]ɯ8:j/C]I&'۷:ӽit;eTnP$/מפ H''L%l1OTnjbQ3Zѥ%҉ʊ#*رAR ,J1ZoxV_{UnkI[-A0i㶫s7S:;7! nT}{MN6=Q[DO'=nkcf㏆G>+ђ?$bpQFc$X3?PtLuX7CUү]m1x/, +fX(N8V7w|Ie͏ 6SF9[wUΘv4&yL u5gݜ5Py^YdO. fLv%204$/-&\.w~ڕGGlwsXstؗ&/X- Q=dX(&Hwd/2 nTWHͥ6Ҏnowɢ}N5ޞYj:cOvu#wO}l2gHGζRjmJBɵkh\D ^h&"jc#{g?NAvpUڽ]m[G6,nN/!--$5 ^-M}{Q28P@+ }q*$3P_W.ȍIa7^F3zd Taw+q yP嬵PPh>Ȑ<%:QhIAӿOc 9L:ޣA@LB.nmiGBvg!ٳŋ֦n3)@&,PȾDnl]h/[RkvlB1Ng#LP;>@]0@ˬ&'_{U*&06: cV1C_u{5$~r;RD J贍PP`5* Niviȫ]ticvޏh7w&a &H AT4U ̈PKH@}R&Tk٪9.Aa|E5 E%&̶vwkcoP=[5l v#m99BP`\- /P)|](JT62W=Ô a&޺^41C4 Uf]wsT%tA2ܮŧ/X߇pE,xږu4s 1=ht*6cJp4tYY&ϝsTڔy{_ev {fĎ'wLEiʐr;RMHdWf[T0<ؚlnhj|o#۴ԋЦ1)P]uN`?]8J(]m 47@2l}O0㙲4L> endobj 274 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [158.338 324.673 201.515 334.721] /Subtype /Link /A << /S /GoTo /D (subsection.4.3) >> >> endobj 275 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [214.068 165.064 257.448 175.331] /Subtype /Link /A << /S /GoTo /D (subsection.4.3) >> >> endobj 277 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [327.973 417.716 360.074 427.983] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 278 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [462.119 397.997 468.595 408.058] /Subtype /Link /A << /S /GoTo /D (programline.1.1) >> >> endobj 279 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [486.648 397.997 493.123 408.058] /Subtype /Link /A << /S /GoTo /D (programline.1.2) >> >> endobj 280 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [545.41 315.746 551.886 327.64] /Subtype /Link /A << /S /GoTo /D (property.1) >> >> endobj 281 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [373.167 305.783 379.643 315.832] /Subtype /Link /A << /S /GoTo /D (programline.1.3) >> >> endobj 282 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [395.77 305.783 402.246 315.832] /Subtype /Link /A << /S /GoTo /D (programline.1.4) >> >> endobj 283 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [351.078 285.858 357.554 295.907] /Subtype /Link /A << /S /GoTo /D (programline.1.5) >> >> endobj 284 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [389.821 285.858 396.297 295.907] /Subtype /Link /A << /S /GoTo /D (programline.1.7) >> >> endobj 285 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [488.774 265.933 495.25 275.981] /Subtype /Link /A << /S /GoTo /D (programline.1.5) >> >> endobj 286 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [526.928 265.933 533.404 275.981] /Subtype /Link /A << /S /GoTo /D (programline.1.7) >> >> endobj 287 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [546.154 195.757 557.113 205.806] /Subtype /Link /A << /S /GoTo /D (programline.1.10) >> >> endobj 288 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [414.597 165.87 446.645 175.98] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 258 0 obj << /D [256 0 R /XYZ 54 720 null] >> endobj 259 0 obj << /D [256 0 R /XYZ 51.474 677.48 null] >> endobj 263 0 obj << /D [256 0 R /XYZ 51.474 655.167 null] >> endobj 264 0 obj << /D [256 0 R /XYZ 51.474 644.218 null] >> endobj 265 0 obj << /D [256 0 R /XYZ 51.474 633.153 null] >> endobj 266 0 obj << /D [256 0 R /XYZ 51.474 622.503 null] >> endobj 267 0 obj << /D [256 0 R /XYZ 51.474 611.554 null] >> endobj 268 0 obj << /D [256 0 R /XYZ 51.474 592.884 null] >> endobj 269 0 obj << /D [256 0 R /XYZ 51.474 574.513 null] >> endobj 270 0 obj << /D [256 0 R /XYZ 51.474 563.564 null] >> endobj 271 0 obj << /D [256 0 R /XYZ 51.474 552.615 null] >> endobj 272 0 obj << /D [256 0 R /XYZ 51.474 542.653 null] >> endobj 273 0 obj << /D [256 0 R /XYZ 51.474 532.69 null] >> endobj 254 0 obj << /D [256 0 R /XYZ 93.006 518.213 null] >> endobj 22 0 obj << /D [256 0 R /XYZ 54 151.408 null] >> endobj 276 0 obj << /D [256 0 R /XYZ 144.801 107.676 null] >> endobj 255 0 obj << /Font << /F48 97 0 R /F30 176 0 R /F6 157 0 R /F40 154 0 R /F47 130 0 R /F70 262 0 R /F58 84 0 R /F49 137 0 R /F28 126 0 R /F63 166 0 R /F50 178 0 R /F32 160 0 R /F54 74 0 R /F53 72 0 R /F52 134 0 R /F31 163 0 R >> /ProcSet [ /PDF /Text ] >> endobj 291 0 obj << /Length 7375 /Filter /FlateDecode >> stream x=k+['7+ɉ]N*9jykI 0<$eRųo4Ȭd&Lrv𢜽7~A/%-QWYQ<H*V"(Dz_r=Ӆrn&Ya o̿%+g *lQ8oqh (Jaf RA,q <ZY 2oD!bS7qi9ic)JBsΫP?\-".4P*[]PSC|> =s 0hLЌ(8L~˾T+)ʼn. y[0~̯iA<$jFJ -Ҋʷ6B6^HL8[}H1b p;{%$-ZpRXvP?)iSQB fdO*o !I!-`yK4|wg:b'rA o~<</&E ! & "IIqU3 +iMC!$=8@~xR@5 KG "440)vB<[CĘ7i3`:]uϙ HpY.rʵ>OXZoSwcdxt|q*BN",o"+$l+tSAg%5Pqy1B&=MEQ+iӈ S'*z hP bbd8 )zO=ϋt`agq~& -DF*P=R8녖g*03'QYwBP1_י`Js*! I?ef>MAA=*Lw{T]V(U'$!L!!䇵}BClA5sƍ\ tPVi[n8m\5\w綒 C)L懙fO+XٱHd [k~U 39gd6sT;:Di1cDv" V:BpˬiWm*Dt p3(wKkiRѪoLhK+MZ8gZU4>']|ۻUFs$(&NDLiFDzC\fY@H1BH};q1zuB*D@Lh+*{[@۝gJ+Ž|Xn6o4thkHyqӝ+h'@nWr\|޾]'`K\L_<҉61tr?D(!xUx3}ڬ`qv.ç J^{W23em>Ue#^e|w`@Kx؛vor|XzK~ptWXy0Vsݱr VznQe6a<,ݓt_ݠ$V|+j@ӡD+#Prvog@@xyvҫHѰD Íy"RN0&KLM!;$@d-"*0(eKb`}s6~f=UW Yɪ#kׁv*PM{TcUExi WJ=i_Y>Tjcդ@ѩFnf9]b5+Gz (h_kǟnݗ jâ2 _1vЋ'S7:N虨I݆+ 'L)(H VI94PEUfatv x~ J韭ר$}ORI=~٘3J#F;#De&e 9QPWl>!I\&0n}? w0(t+S珻seqω"$ c\^vJHT*>Mt*?dY{a·A==K vƊ]Pve.(:砨=h_Z{ֶ@+v})O>..UD u!=/Ztn -tj,l)$?1@pv?)Z2=tOWB2v:lt!Q@?cXydOKj+`ya'"KRxiꭍ OXu\quC D'Bêvs׮ꮭQ7[oB`^$2gZK6C{vGŗ>jSQ|nvoCF1ES?5tQ\g4FZM2Z8K7Vv9dP=(Q "mB> VJ(T$G״_>lW} cy躹Γ5OX[<6K[!u\ăDïr6C'Ck+b1gH]p>њ3<@b`y[Z2ph`a%c8V6rKo U _,XmnWq$AP@\P3eYdU7TL,5hM,u%>|hH0M-40 MSbi JmDխĘyb2\Ā[%&r{_cDQ/Wb3 jo*_`\' d:h;и$!=ɢs!hoI۽S4Ç忯H9M qyU7t'IPՙ=fGnPg6S4| |e_S/15J0> }}GYTU҃_ä)(JM~VlTNg1<{f\É>u:ۣ>BdPiEtDzbBjEdztG;H3N^4@jl ƚvꈄLDY* ٥O[GX њd6sճv?3E0>pj`՗dzA=,0è:(qTN{YT0`hH%SŃHVbYLE20So!1DRN;րkW hN5e&p~O(4g؀]֞|:>ReI2LR,Y׊ 2fF CD5"ONQdlL %[fe7qԪvv/=F~$(Z9̹Ϡ!T(C9:/7Ћ}r[R4@bY%x2Q*+X.q [ǧ]C>Aw5/K߾]%u(0Kw.\ɮr&) 8$ /|iW-$<,u~ YB,Ʌq_{APtt2PbZ'l Z+oT\;3þ[mgcwD}hoEvj#L昲n՘byw-_ܻ-{xwo}K",\ʔ܊]6Wڣ_)s6:czgT\e'neڎM=ؚ* !vۻ{f,|Xp@ʾCU[ރpfoW4櫰eDb=mý"}WwC sPҊ n6GvԴS䥘VA$R{7aBAg/44{W/L:g RҰA:!:x,WCȱǧXR'c\2kZҝbLIL1T%K*TdEreOD!Rp ՝ɾ4w ,tf\=`a^ +.S`՝+P맒b ،ƃחQXQΗѺ n/E&Y"W P:Ã0 BTlzKT>U>ݧ)CsYS(l&cޠk> Tt"n|L+ e=XK?LQzDT.4AaDA#vR -CPb7]^ޠwBS9sj]hXjF)z9o( J1gvhDv SU]Wȸݮ nHr.AfT-wlt #mED!@IY&mbm&9sOXgfnu LFywBUُ0Sx2p9zaPe.`z\v:5OGJvi P=;]{iOGYi& ~YXʏDJv-I4xo_@&j9-$'"ow12 OBZ0d% CRGs¡lVeݯѻ\Y3l~sL  endstream endobj 290 0 obj << /Type /Page /Contents 291 0 R /Resources 289 0 R /MediaBox [0 0 612 792] /Parent 336 0 R /Annots [ 315 0 R 316 0 R 317 0 R 319 0 R 320 0 R 322 0 R 324 0 R 325 0 R 326 0 R 327 0 R 332 0 R 333 0 R 334 0 R 335 0 R ] >> endobj 315 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [150.157 287.274 161.116 295.506] /Subtype /Link /A << /S /GoTo /D (cite.GulwaniTiwariNecula04:FSTTCS) >> >> endobj 316 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [154.942 257.386 165.9 265.619] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 317 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [211.333 234.907 244.007 247.102] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 319 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [100.403 174.965 141.436 185.014] /Subtype /Link /A << /S /GoTo /D (theorem.2) >> >> endobj 320 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [131.557 166.944 142.516 175.051] /Subtype /Link /A << /S /GoTo /D (cite.full-paper) >> >> endobj 322 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [100.404 65.506 141.437 75.555] /Subtype /Link /A << /S /GoTo /D (theorem.3) >> >> endobj 324 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [327.973 294.379 361.109 304.428] /Subtype /Link /A << /S /GoTo /D (figure.7) >> >> endobj 325 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [442.912 284.417 449.388 294.465] /Subtype /Link /A << /S /GoTo /D (programline.2.1) >> >> endobj 326 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [472.385 284.417 478.861 294.465] /Subtype /Link /A << /S /GoTo /D (programline.2.2) >> >> endobj 327 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [361.306 244.222 367.782 255.817] /Subtype /Link /A << /S /GoTo /D (programline.2.3) >> >> endobj 332 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [345.391 149.032 351.867 159.08] /Subtype /Link /A << /S /GoTo /D (programline.2.5) >> >> endobj 333 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [367.789 149.032 374.264 159.08] /Subtype /Link /A << /S /GoTo /D (programline.2.6) >> >> endobj 334 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [428.347 119.006 434.823 129.055] /Subtype /Link /A << /S /GoTo /D (programline.2.7) >> >> endobj 335 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [450.261 119.006 456.736 129.055] /Subtype /Link /A << /S /GoTo /D (programline.2.8) >> >> endobj 292 0 obj << /D [290 0 R /XYZ 54 720 null] >> endobj 293 0 obj << /D [290 0 R /XYZ 51.474 720 null] >> endobj 294 0 obj << /D [290 0 R /XYZ 51.474 698.972 null] >> endobj 295 0 obj << /D [290 0 R /XYZ 51.474 688.322 null] >> endobj 296 0 obj << /D [290 0 R /XYZ 51.474 677.672 null] >> endobj 297 0 obj << /D [290 0 R /XYZ 51.474 666.607 null] >> endobj 298 0 obj << /D [290 0 R /XYZ 51.474 655.957 null] >> endobj 299 0 obj << /D [290 0 R /XYZ 51.474 645.307 null] >> endobj 300 0 obj << /D [290 0 R /XYZ 51.474 634.657 null] >> endobj 301 0 obj << /D [290 0 R /XYZ 51.474 624.007 null] >> endobj 302 0 obj << /D [290 0 R /XYZ 51.474 613.357 null] >> endobj 303 0 obj << /D [290 0 R /XYZ 51.474 601.022 null] >> endobj 304 0 obj << /D [290 0 R /XYZ 51.474 579.307 null] >> endobj 305 0 obj << /D [290 0 R /XYZ 51.474 569.344 null] >> endobj 306 0 obj << /D [290 0 R /XYZ 51.474 559.382 null] >> endobj 307 0 obj << /D [290 0 R /XYZ 51.474 548.732 null] >> endobj 308 0 obj << /D [290 0 R /XYZ 51.474 538.082 null] >> endobj 309 0 obj << /D [290 0 R /XYZ 51.474 527.432 null] >> endobj 310 0 obj << /D [290 0 R /XYZ 51.474 517.469 null] >> endobj 311 0 obj << /D [290 0 R /XYZ 51.474 506.819 null] >> endobj 312 0 obj << /D [290 0 R /XYZ 51.474 496.169 null] >> endobj 313 0 obj << /D [290 0 R /XYZ 51.474 485.519 null] >> endobj 314 0 obj << /D [290 0 R /XYZ 92.683 461.079 null] >> endobj 318 0 obj << /D [290 0 R /XYZ 165.985 237.408 null] >> endobj 321 0 obj << /D [290 0 R /XYZ 268.796 147.578 null] >> endobj 26 0 obj << /D [290 0 R /XYZ 317.014 419.288 null] >> endobj 323 0 obj << /D [290 0 R /XYZ 317.014 375.504 null] >> endobj 328 0 obj << /D [290 0 R /XYZ 387.659 216.641 null] >> endobj 289 0 obj << /Font << /F48 97 0 R /F30 176 0 R /F6 157 0 R /F40 154 0 R /F47 130 0 R /F70 262 0 R /F58 84 0 R /F49 137 0 R /F28 126 0 R /F63 166 0 R /F54 74 0 R /F53 72 0 R /F52 134 0 R /F32 160 0 R /F50 178 0 R /F31 163 0 R /F77 331 0 R >> /ProcSet [ /PDF /Text ] >> endobj 341 0 obj << /Length 8694 /Filter /FlateDecode >> stream x=ے㶱v4uV qObRI[>N\HQO7 4W}\["A ݍ)yfx}vy>{%x◚WǹR7~4f+ٛaƫZv45BL6[|ѳ_>.oVk{ߜ͟}VJιvv}>g9ŸLUXa*ga, IGj*cκ fm"(l v[gsRSr 6|Tޯ/wͺW>[e=׳G\PgC;*Ytm&.WZ19{l3silHf훤*Y*kj×jE05[l \Na>Wowg+چB;Λa΄jfdeuwni?9g6"Olm_Sb}EPiO {߮i| P^&Decٕ6Hc{ŧXy!uNrZ K*׃%MKVʛjFY&Y_GZW&)`;8 XE\ElSb'ۤJ)sWӫT+3fG@Q$7KK1Kd:lY.+aj7q˫δ[zN}@_QIs$q0%2u<eNVcn8MȰWSH5`B̮vrO;SÆÇd,RcСnۯ/hz[O]?qk0#f宥~s6;*^D:W N9lX T}ohM?eWD *8bG{I O>̘o1b A~@a K778@ '? N!  ɾ +Bx*szܟ9 tҮx 9>$-2[Y6I@3"oMz %G8vycNdg_{+jT%XxC,-8!˸vr=4( =id% tXtX,"Z XC_ r6zsHfl .]ʯwRdSКI\Vk y:,j[yP.HRLԀj<_蠀י \;{E䵯zw@,s UT= j&H#+)"O:qQBu;8+ꯁnZ]l$ڂȄ5ssH/0d\F&]tdy9.T~ zk0AVX{wCșύ,yc tstWYsٳ悛B#ɛZ ӠtPO[ $daɀҺπg8[ES( #ΌA&G _NCE6-"SEF7x XSa(!%)I^0}Ut5"SeXw;h2 &(aj4"]>LwN2ً Ǜ|%=3aR[r3Â8AqnŹ\eƄTmtxkҁ/c\ m*͎jCyR}$&˚t\]Hgy3e5:`$Ma 7gd$1rp3ݳ[рFk &^&\:8DUnm0I9ss7%Bx_o*a RC6Z7bTw>6%(Mܐm۬H/ }?{ݠR"\i޺ ͣãkjWrçmwصZXl: [8TcG x" +P3ԡ<= S+@Pi#U&41:/|OEk@PcvnO7im[;  1;tHF!ۖJHi—qZj5|"/6'?ibp=DɅ/mC/ɼ ͋ hZ\t $Úy;gYĉ3@O !`ƿAc]O< Mt8F~)"?ù"p&x[շk`wuK?"s]{qcѲHXtߍ #Ċs`ѓCGQ{e,'pJe3\FÁneP }F輸 dXn࿅5(AxŻ-8^nSռd,z3<,Ȉ08E Ζ;`f$K.K>{Bd"E | 5GT H]]@_VJ\/:3SI' 13rjjn@HOutɴ\vK2XqA;2AzCD oCPOT _#ABچb"?u\sUwA?tLC _㡄ᗼ=uu<;e=D0^eT{HR$ڬhxZE\\JMz֤ >dxJ/ -~_7/ŝH]z *WX)hN5`=0e#i(ByR{7H>RNm%$^Pg3oioq#.JP읰]SQCP8ozt`Uʰbde;W_/v [nW7R8,$j4O=qoO턗74%*`VdMO~>lc F"8E4KKϦCvs"t$ԟxv-- ?)BrlW`̣o+f:%f5}M 4*tI^ XG`g_,?6jwWDfu\{rutŀ}}WM: ~)'+n* 6R`sPWTŶ ~K"tsUQ 1P{ !&"\lI}y\˫9Vd#e@nc,Epq-e^;$|虷 B!PN:2uqՆUMgIyPRF1G.1Nc:Cf6iP.Cg;f3V뒅~ݙJ ;l[I P&7$ ߦV? (0 {CA$ݶa8W^L`Rcj>H\U c,ָj" E,'cyrvd\BI>Fif^9qMHh p'EbnՁ*=tJ'"y^ϯJpw͖*z C]rS9a{WC3[pm\#*J`.oӗMuj*( ZLz ά4eV̝D.Yuode)WS[ "7={^oB#8,6b<2En^_lVmEo_cMƦ #?B~O8I~M%;L$A o,n%j?C* |_IhQ8 q4;ng6RE;MbIZF@TϮ hEi+T)ӄZ) MO6]hZWwOo"M|%e]I.L"8*~wߵEl:k{7S¹9:}#̶3Wq ^ x6y秓DfqQUS.fz@|`[yJ.bR@ku9-f@DI/o(_O,GbFP >%& 1bC1K"J)J)1b<>r<6YJB C?Ԫ|Ak{?.bWXs9xZ૳d : WCœL`>A'&2K͹v t@*^]aVuTL~|()wf)`bhtA;^xiy/R\n0h\D;oo ")>~͝1 'sk' C9 ]Y$b-n鐝wQOaJ;\̘S`e1m m1S*0s-4'3a)^\({.~) 9dNB:byWLXm4h2O^d-*T>'֙ZHʼko؆^dKz1\S2.nnj1$0G%O#uz]+$E]I. ԅ]aA w!ԙW2:I7Bj[(Pu&ƴ2LM}+򙥬 X6C\>YA=2rIFN?B|#EHE] FK^/Vm6@Eg!D9svY.ˆl"M*Ewx_*bW^Jai\ nAfqlу?dP'OIqQv>ιd} m([BAB>֥o·Z5v4W]Z'@5N'k}B:YYͣy?%iKb]Йɉ~`2T5V[s r8v~3/;&4\ .Jݔ>.uJya|!MDYWvA.:^7 lj"_#@PqdD }#k^d^LCX=khfU#&H'ɕˡDi)/&OCZ\ՅzWlO;4Iu9y-`qU/=0/P4ėoyGǻH5EB?un` ;ّ݃Mdb?tVN|cyZ*r@y1K=!@Wx>ZDX{TkM;˘_90R % YBcwKK8k~eY*!z2r>̚D-G=q>%+du0EUݱ|2[DG䝁ƈN_º6ȴCA~፽*-XPpT`ꬉy ŰL RcEP鞁DzIE;qTy߼h :;AI{p ? `Hgh'㝊:;{"VGʹر$_]m;9wH= ׺g+[栏0{I?Kbt/c#$tÁЂBqUwB>Nvjv$?p´ץD+ir2݀'WiW:=lL~>\G!CQD _C (&{r {gӏ[ztInJT@aiǺEtrA78>7•fh'̛-E6e޴/Rbݹ <eSOSTU?U1G=4+DB=ps/$TOq b8:`,p;/ qZ?}J?uKZ :΋ҭ 7<ǁy **UunU endstream endobj 340 0 obj << /Type /Page /Contents 341 0 R /Resources 339 0 R /MediaBox [0 0 612 792] /Parent 336 0 R /Annots [ 343 0 R 344 0 R 345 0 R 348 0 R 349 0 R 350 0 R 351 0 R 352 0 R 355 0 R 356 0 R 357 0 R 358 0 R 368 0 R 369 0 R 370 0 R ] >> endobj 343 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [277.16 539.427 294.1 550.386] /Subtype /Link /A << /S /GoTo /D (figure.7) >> >> endobj 344 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [53.004 529.765 73.381 539.826] /Subtype /Link /A << /S /GoTo /D (figure.7) >> >> endobj 345 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [191.829 511.781 202.788 519.888] /Subtype /Link /A << /S /GoTo /D (cite.full-paper) >> >> endobj 348 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [101.37 374.642 142.725 384.691] /Subtype /Link /A << /S /GoTo /D (theorem.5) >> >> endobj 349 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [131.127 366.62 142.086 374.728] /Subtype /Link /A << /S /GoTo /D (cite.full-paper) >> >> endobj 350 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [147.455 364.679 179.475 374.728] /Subtype /Link /A << /S /GoTo /D (figure.8) >> >> endobj 351 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [77.556 326.644 84.031 334.877] /Subtype /Link /A << /S /GoTo /D (cite.Cousot79) >> >> endobj 352 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [252.883 214.801 259.359 226.396] /Subtype /Link /A << /S /GoTo /D (programline.2.4) >> >> endobj 355 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [338.675 555.51 345.151 563.743] /Subtype /Link /A << /S /GoTo /D (cite.Cousot79) >> >> endobj 356 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [363.418 425.989 404.451 436.038] /Subtype /Link /A << /S /GoTo /D (theorem.6) >> >> endobj 357 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [385.236 417.842 426.64 426.075] /Subtype /Link /A << /S /GoTo /D (theorem.6) >> >> endobj 358 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [417.939 306.438 450.397 316.486] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 368 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [325.64 197.687 368.385 207.999] /Subtype /Link /A << /S /GoTo /D (subsection.4.1) >> >> endobj 369 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [316.017 167.564 348.146 177.613] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 370 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [363.584 167.564 395.712 177.613] /Subtype /Link /A << /S /GoTo /D (figure.7) >> >> endobj 342 0 obj << /D [340 0 R /XYZ 54 720 null] >> endobj 346 0 obj << /D [340 0 R /XYZ 54 510.836 null] >> endobj 347 0 obj << /D [340 0 R /XYZ 130.473 447.884 null] >> endobj 30 0 obj << /D [340 0 R /XYZ 54 178.264 null] >> endobj 353 0 obj << /D [340 0 R /XYZ 258.49 85.611 null] >> endobj 354 0 obj << /D [340 0 R /XYZ 356.816 637.9 null] >> endobj 34 0 obj << /D [340 0 R /XYZ 317.014 272.658 null] >> endobj 339 0 obj << /Font << /F54 74 0 R /F63 166 0 R /F40 154 0 R /F48 97 0 R /F49 137 0 R /F52 134 0 R /F30 176 0 R /F47 130 0 R /F6 157 0 R /F58 84 0 R /F32 160 0 R /F28 126 0 R /F53 72 0 R /F9 361 0 R /F64 364 0 R /F41 367 0 R >> /ProcSet [ /PDF /Text ] >> endobj 373 0 obj << /Length 6358 /Filter /FlateDecode >> stream x<َFv+-jUam\n0/{A~`KmIE=_Y\;SյK}]f]r /Вuvظ>ֵ|xo_x{UJ݇+:IgƯN})/usl'?oZmu5f<0U8ErV.)>*{~kt-a>$ݙ Ѽ8D=׸&ڭr.7Ku>+eSsƂ]=xR#˥Tҳ_F>4s|.m>6OLyܯ`7p {ێ -c+6)ŭ0Pqj%` gҾ - BÙi^eK_=~6I¿LŦ ]I%8|)#!,P[ P87s4ͅySx+j+s7<3PyGk26ӤnNN[m@]qˡ|ںz~ F-0;!$7(U&ҬxiE@(Ͳkڊ{`2I( |+BOeL8*w`:q @kGh*Mk|kS)40o4="eʈ"3OcUZd=+y<sdž.:μyUd94Z冹[$*xމ }f7(`ǮAMp[sMAjFsq]aJ:PpnIP \?= @~*X&Ltء t!Iw iz>;# B]`{0a^ܯ]nVO<{ "n,tmlWȫvh՞kx*!bsAjsyiPJ;劜w2':]TYq6% v[P CԽS,\*x9 VTd5vjwMr|y Oy+,4%<Uo-mdDpJ/ܰm @(ͳ%mlp%Ȧj01wn۶R9u,66耋6@Z(X7%%Zo|@$D $-%~I܊h/)ZI7jAʊhK豃Z#6^RݰDdžGdxE*ER}L.t{.-HǃT"3cDFVHtg1:`tu Ĵ3[K7mr3TV1\8]q@ibe rq@.O S>ąA#B3fgZeܕ׈c8j*u̮G҈L֯Bb&}gu~[8iVڲA3ү8qZ*~a2J0ܗ&")X`)Kʯ] #Eu(t|Y@@LƊʢS9 zO v*w3vEp~ni)nZʧŧLT ]PY0S;0`d2|H㚡Z{0ttY,\1#=fE`.#YT8&K}`&*v2qo@=@D9%_:GN]ܜ1Yg^9rkMR}D=>bww!ZbFeE՜׸^$+5OOŵq'H}f_ǚ.F7cVStph:/Q̶՞>;yȗj̀%z'cJuWҷsU$a7~@}$$0D_6ն ){O H8B'5c+[;1]V (;G|Bj9GBވ.4j-w(8ݨFdFZ#`ԝOMKQc5G(je,DL&1o[UK+b  Pf㈿KuԀN/KP YT"Qro-'>vVBCH?$9֗JΤR܍Di;';_BI@r\\5;j$ UM\4&F6Űe&ؐʧ`t"!haYP9Us ˄2ܒW.\7}N4z@a%◅;c0(;"HAȗnLlrI }ւZZ`Hfr9ޣGrv&V_­,]Tuq>IBmT7iFv[ĩK:^3XC/1B?cGErx5Fw{_cgrŏ4P+ƍ8k{RIUa39RG%7>QԉUBChU;i*дBݰfX1s`S+E9Ek_K"&ʒ0q$(Kӝt P&y}Mֆ}(pX\e1N6xobZ&zkVCɐy$UۆqIq܅~rZZ V%J ăj:͕svj:Se2ƧfJo807}YCCpuEbDH{1,' V3nC.r-'zP.A}ra<}{cz21dSgs K! `E1"]c\}`x?:v+ƅqKDžq}0^,~R^I,H1ma轎_IO?,h]FKBs{bXbF9 /EBg+-C,BhI|%mMHqJ"m%/jOا NJtu O. 2 oEBoE8Ë>$!}g/8gpxQ.}}_C:la#03">M0UKg2rČ^,D>ե+J ŗD{l}RK!!Px`jO䶈uN 9cnK z f*I?<6oʹj@_p 4J?PLrPl 0#^GgtEyRH tlDZh-ɢk{DbJ؋_ùl|Xyi-9O##L'#GD+ˢ2zbÀ<!YX]1g v"+<Гl`Ieя2{UoΈ\nx`=/ç]j-8]QTK8WWwx ")n՗ rc4Ċ tb!`I%B's'Dhx¿LDIB\ 6:YéUAp,xO}et;dհ4{[r/ytQ4Sּf_{1rm@J&JDQtۚS cX<.eNQnsu$f:JAhRC޷٤qw R+phX^5 9`$dl,db;zax 0p|MB?M2(CJ:tx!a7 KjAT>$l<7@YՋiwX)=0 [;l'_ |W*KMUvΆ Gi&Tذ^Gx>1Z` ٰ͎((Im_yÏhQt_ktϑat?2콖&^z{ĢVB('!M# dskQ^0m3:G[I޳tf7l _B ~3{]'6R`^7V~ >H,$Uz=B%CĆ zw >{.#i<"<'@0gTPzs IA# A#s{@D)Җ˂.BazLmM4z[^ 6{ɼ./gQKɾ~] 0-P{8pQ^,Ӣp1\kcqnB2Ctkj2ԙSJT#>'w՜*<ԩ$+tĚhLzs I4&=q>xNctG1%|WZ_:I_ȝ!㝿Lq)=%ucuXU'BJtpX=t'VH_풬șh'dqh?"7UN$O\(\<5*}^nmxx=C"H ?XÖ Ҡ$_Bd"r(h2cpt Ӏwx]A1yC%~ݡO5A:>tZZYFWs*_a|x _HDbp 48Ks #Y=H~gBf߶C%:0y°͕_qg endstream endobj 372 0 obj << /Type /Page /Contents 373 0 R /Resources 371 0 R /MediaBox [0 0 612 792] /Parent 336 0 R /Annots [ 375 0 R 377 0 R 382 0 R 383 0 R 384 0 R 385 0 R 386 0 R 387 0 R 388 0 R 389 0 R 390 0 R ] >> endobj 375 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [185.575 615.081 191.054 626.901] /Subtype /Link /A << /S /GoTo /D (Hfootnote.2) >> >> endobj 377 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [53.004 277.031 83.643 287.08] /Subtype /Link /A << /S /GoTo /D (claim.2) >> >> endobj 382 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [316.017 653.338 347.057 663.386] /Subtype /Link /A << /S /GoTo /D (claim.2) >> >> endobj 383 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [535.984 595.342 542.46 603.574] /Subtype /Link /A << /S /GoTo /D (cite.Cousot79) >> >> endobj 384 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [545.41 595.467 551.886 603.574] /Subtype /Link /A << /S /GoTo /D (cite.Cousot:ln) >> >> endobj 385 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [448.136 445.902 454.612 454.135] /Subtype /Link /A << /S /GoTo /D (cite.Cousot79) >> >> endobj 386 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [385.203 366.326 391.679 374.434] /Subtype /Link /A << /S /GoTo /D (cite.codish) >> >> endobj 387 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [393.503 276.663 399.979 284.77] /Subtype /Link /A << /S /GoTo /D (cite.ChangLeino05:VMCAI) >> >> endobj 388 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [335.162 226.724 346.121 234.957] /Subtype /Link /A << /S /GoTo /D (cite.GulwaniTiwariNecula04:FSTTCS) >> >> endobj 389 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [363.083 176.969 374.041 185.144] /Subtype /Link /A << /S /GoTo /D (cite.lerner) >> >> endobj 390 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [419.481 117.26 430.44 125.368] /Subtype /Link /A << /S /GoTo /D (cite.RSY04:VMCAI) >> >> endobj 374 0 obj << /D [372 0 R /XYZ 54 720 null] >> endobj 38 0 obj << /D [372 0 R /XYZ 54 720 null] >> endobj 42 0 obj << /D [372 0 R /XYZ 54 584.966 null] >> endobj 376 0 obj << /D [372 0 R /XYZ 262.699 323.385 null] >> endobj 46 0 obj << /D [372 0 R /XYZ 54 266.491 null] >> endobj 378 0 obj << /D [372 0 R /XYZ 58.483 104.309 null] >> endobj 50 0 obj << /D [372 0 R /XYZ 317.014 631.384 null] >> endobj 371 0 obj << /Font << /F53 72 0 R /F54 74 0 R /F48 97 0 R /F30 176 0 R /F47 130 0 R /F49 137 0 R /F28 126 0 R /F58 84 0 R /F29 381 0 R >> /ProcSet [ /PDF /Text ] >> endobj 397 0 obj << /Length 6957 /Filter /FlateDecode >> stream x][6~ϯuEqN\rlF"$N﹁ŋ$;SjFùՕU\ڿ򯞠WS*\aDky_:K4c=\o?nMzm":krUu"?Uulw9'6zV}~կEYc]maCΎ(IV՗f+J셂x4TM#NЂ3VS]4-b30{*zhW%Z`yv] 6r3n yVزŢS8sjFf+Rtw pقXq>A`"k~3MC{~VGfg>,aS9q1OŊ&KԑgdڊŴϫ #s~c R"#Xa q!Sid[CUf!,p4qpRj@T@Cm`$ מ&+/XmNH+Ki%ILaj^ Mg;xJ’IgX؇8A'8- 1ckY>IKA11dP;`\5>4' *ՉH 5T3zdAx<($nM^pELj8בĹ)*h4YR r[ΰMDMɹm-꼳!oA2U>uI3]|8C̉avӷ26<+&]^ e!&5ARFVnwZbіIx!/ń=FL@Xz6)y |+odKNu%,5ڋ}xfYGHŘZ&ܷDn(j-2$@^M+qj)̓`&>>l66jBؤGKCE/ռt\HR̸ #c[, WXk'@wQ{]ccg'̈ґo|Wo-NcM(9l%:dV@i}#f-0 H& Kݛ(+T9F!"2 `*„ې,\B$p!ώpvAantoyovuRDui򂻖P 0oLr74B?#nDBN= `ݎc`w !ywAuX}?& Zzq} Mm}Å23k0oXTHw&, L䆇v ,SFu4򬝕vVsfBNoZ' Ui:ƭ, a<\KRR0xTz 9k>؍AbgLK,2-/8JJ-X[|Q>H!O0fi{Um'T#CE+l e}V~J;E ƟxƨA$ZoAKw>kA-XA F*pCtET-i4LۄBs9K@5z 6Y[qV[ 89;TܦcX{o8f* V+pg6hdo@Dl>n{>m 6Fuސ{RNv\9[Ac=a1_C~qĿSFY7a:*F4hgRj@9A:~|flt zYm;ѡDN r4]4ū4!Fx]"uūC9A7%F-{F $a0a%F4"*&*OWl9ECZgƓ (% $Y .  E- ZVm?]pT~KfG\?n3Fl3?A;[i Y!q3Qr(֨"Q:uJGNDp;„@ئ2`)[3'$9N4,5Uќ`Q`43O'Ɍ`IH%'h"/ pIy@-@B!GBCG=y*]G~z%=Q]̈́ sխC?BD ŬP6\i 1}{RiC935*YL[x;YNپh\>8E i#{dJ%%XI;Nq3 HC[`Sx }^)3 ^ːrA6aHYH-ҳZ'ry|tm)?C o巃zA *A0$,jEEPO16Ё?4p GS;s|B4>d1& T&6UMuu.YB0 gAfnH ^%bv,5#~X+{jo<.-`?;*Zg3Aױ7=ts}~j {Mz6f8 N0:-гs3'Wov7WA'\WW\Jss9܋=N5v-v[Z(|h<" cgנ ؑ(BnGR4X݃(̟PRxr$6X N85I X_`HDqȏ6ڼ oxNhvH^:[@.߳ڊ N5BjW.8-&Xķ{4߰N OFo̪**v&ur b0k*c*T'|TKK^,wͱ6aY/Hs:_ajŔC񇂀-FtշR]VRLj @%^Qn>wι`'O;q. ytfBLiJa"/o3Ri/ ] &t18I^pN2ЫR'p~&4; ݑ0|&f{n-5w!gQv6{Swȅ (;Z.CkF W:MbYQe_~c~\TvK 8PSlhr͜kŎ F%J6: aRNHS]PY}^}6'uB=%VׁGN&OS|k o)$B~.?~wJ4 @Q$]z< i;*ȿpud<[P3XBWGC 0/g$FqJِ:l0&}rLgLp}?xa >?Eq RKEOCwL$ V+- f@0U~ K/ ($ωWI2ϴz3L0wbkG)V,?[8!ƿIW.1Eq\2N7(0)InfV2t_f 8ZLU}UU'{~C^Tcr<*}AۂZ "[K-jQ=͘ vk\ep^4'eia#C88XD~M~/pY'E ZN4jyF+Q";{OU pq{awDw~ܞƃ΁Ljݼ}  =7RQݎFC>'~~6I0 ?*? endstream endobj 396 0 obj << /Type /Page /Contents 397 0 R /Resources 395 0 R /MediaBox [0 0 612 792] /Parent 336 0 R /Annots [ 399 0 R 400 0 R 401 0 R 402 0 R ] >> endobj 399 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [282.397 671.058 288.872 679.291] /Subtype /Link /A << /S /GoTo /D (cite.CFGPR97:TOPLAS) >> >> endobj 400 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [170.326 659.279 176.802 669.328] /Subtype /Link /A << /S /GoTo /D (section.5) >> >> endobj 401 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [127.223 379.152 133.698 387.385] /Subtype /Link /A << /S /GoTo /D (cite.GiacobazziRanzato97:ICALP) >> >> endobj 402 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [136.442 379.08 142.917 387.385] /Subtype /Link /A << /S /GoTo /D (cite.GiacobazziRanzatoScozzari00:JACM) >> >> endobj 398 0 obj << /D [396 0 R /XYZ 54 720 null] >> endobj 54 0 obj << /D [396 0 R /XYZ 54 626.248 null] >> endobj 403 0 obj << /D [396 0 R /XYZ 54 185.765 null] >> endobj 404 0 obj << /D [396 0 R /XYZ 54 135.04 null] >> endobj 392 0 obj << /D [396 0 R /XYZ 54 138.028 null] >> endobj 391 0 obj << /D [396 0 R /XYZ 54 105.572 null] >> endobj 405 0 obj << /D [396 0 R /XYZ 317.014 720 null] >> endobj 116 0 obj << /D [396 0 R /XYZ 317.014 691.455 null] >> endobj 114 0 obj << /D [396 0 R /XYZ 317.014 669.458 null] >> endobj 115 0 obj << /D [396 0 R /XYZ 317.014 629.607 null] >> endobj 217 0 obj << /D [396 0 R /XYZ 317.014 607.689 null] >> endobj 406 0 obj << /D [396 0 R /XYZ 317.014 576.805 null] >> endobj 407 0 obj << /D [396 0 R /XYZ 317.014 546.523 null] >> endobj 215 0 obj << /D [396 0 R /XYZ 317.014 524.003 null] >> endobj 218 0 obj << /D [396 0 R /XYZ 317.014 493.721 null] >> endobj 168 0 obj << /D [396 0 R /XYZ 317.014 463.849 null] >> endobj 185 0 obj << /D [396 0 R /XYZ 317.014 431.35 null] >> endobj 338 0 obj << /D [396 0 R /XYZ 317.014 391.5 null] >> endobj 337 0 obj << /D [396 0 R /XYZ 317.014 369.582 null] >> endobj 167 0 obj << /D [396 0 R /XYZ 317.014 329.732 null] >> endobj 393 0 obj << /D [396 0 R /XYZ 317.014 307.814 null] >> endobj 216 0 obj << /D [396 0 R /XYZ 317.014 277.531 null] >> endobj 169 0 obj << /D [396 0 R /XYZ 317.014 255.012 null] >> endobj 117 0 obj << /D [396 0 R /XYZ 317.014 224.207 null] >> endobj 394 0 obj << /D [396 0 R /XYZ 317.014 202.21 null] >> endobj 58 0 obj << /D [396 0 R /XYZ 317.014 151.469 null] >> endobj 395 0 obj << /Font << /F54 74 0 R /F58 84 0 R /F53 72 0 R /F49 137 0 R /F48 97 0 R /F28 126 0 R /F30 176 0 R /F32 160 0 R /F47 130 0 R /F63 166 0 R /F40 154 0 R /F6 157 0 R >> /ProcSet [ /PDF /Text ] >> endobj 410 0 obj << /Length 5516 /Filter /FlateDecode >> stream x][s#u~_Gjm'I\[3<JH-I/@n^&Sz<ùE?B ͪo߿7#s)v^}И!Vw]Ô_i9ns~O<,O{o{ײ\_C_^մ8W54f~CR$+BiC3N7{w($T#v^J>[W'Յ$V7ӊp}j$>Hvc{4É1#}ʉnMT7 {YBbĢؽd-E&\oz۵?6ٮ愫f-J# Du%" V=Xd:# 5}a}.C(Bn+Ea9s#AYEavg: eYOy듏'/8)c}> 9f04e/$.KkhQ#o 9fCF\-'e5M5a605=Y08b_5ѳ:^5;G ЀpJpTQ+|JDb(i{^ ?TbG8IAr&bY"P `_"ks|aģ108f[,7iiϟ2Peҍ2OWR:\qoL|bГ>OYVVZVL{K)'߷?Dk\شFVhnefl3XqMz:U"0w!8Mh t ,rNqG+2I|nR{Df߹*ҩ<ץrd>A@ ;U* t,ʢ-~*䖁U Z M7d6Va+|ZQ`+Xq7 T3d&j]n+2}Fc<:tpɬ0-C.W.ѳn?zOpZo~:l\J.xrqoxest4qTHiTg6k)M<:VFvZnj苏Ce+Ik[6 ƣֹZ﷛k9EyNg?W{;qj;`Za싆z^?;:2+Q'OR* F8|XÒ؉cn˜{McNxLqA4eJDw;ZV@TMiJ K(Ž1 H$@T(j( y q5#"c-ǵDtU+K*O:af͎Yf[fЪg c}~x f֪ӺO`Faa=kg ãM=K=ڥr_&A؝ < x&:Eh`|t4enЈ[5j8k2^٤?Nq4en]>&m90]f~S_l[gKc.v&Եv:'kCiBi zX3Lt\> zδH3d5)bn\mş36GCL p';rjXq$ jνZ@-'0m$p%Ԙۨ8!Qn_kqƬYW)ʝ5S0kNJDs↨f[iB u+r䌪K T3tt'^Î"6ػM$g7(#;U<Mx `a }.ByXrjp|sQ߯>pE=zu]+:qt4@¶T{쩃.PfhQ? 3oGBO:9(r=fAݹYw|BZȳL { suJ(8 ]b _Ir ,Q: DzXZ+-pYgoP'Mߡf;zrS/TO;Te 竣+r˝_NJ^pϛ.}93:He^JdY_KLkjɰc8~f/yՒM)cC繒&ݲu"bJFE~]UB`+%l\†z'o2[u+`Fl{^y9$#Lz@~`" O:RGBUK!]>2y@&n9leN\k"F?R P7[`S*qx]O& C:`Լ07'᪤N̕qĎ˄/9)sc`x ?A*kh=82ȭ`G]q{Խv,ؗG{aDz702.JV uAfWPU <!5c:BI%3U s4= '`ճz@P#jEK3UxFPE)baW ̗~OLZ~/hꋇMu䪽#N -Z˛#ޅ6,qmakKoXbɃ>O^R  e|LwDZowqRs}S T?7u]SXS0mT8Ԕ-:63ɳG1L]BrEzxk2 i PQ/Zy: y7+\h !LS_fjC:Yò;5 qipqĵű*LlyU1T֑nSA<< Ϩ qg:UAL"QAȉ n`eN$`> endobj 412 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [142.433 708.842 148.909 719.153] /Subtype /Link /A << /S /GoTo /D (property.1) >> >> endobj 416 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [109.312 373.213 150.407 383.262] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 417 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [152.897 373.213 193.992 383.262] /Subtype /Link /A << /S /GoTo /D (equation.2) >> >> endobj 418 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [211.671 373.213 252.766 383.262] /Subtype /Link /A << /S /GoTo /D (equation.3) >> >> endobj 419 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [84.863 327.542 91.338 337.809] /Subtype /Link /A << /S /GoTo /D (programline.2.4) >> >> endobj 420 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [163.958 274.559 205.657 285.622] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 421 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [222.303 274.559 264.002 285.622] /Subtype /Link /A << /S /GoTo /D (equation.2) >> >> endobj 422 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [255.243 254.545 261.719 265.79] /Subtype /Link /A << /S /GoTo /D (programline.2.7) >> >> endobj 423 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [277.99 254.545 284.466 265.79] /Subtype /Link /A << /S /GoTo /D (programline.2.8) >> >> endobj 425 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [413.66 696.5 420.136 706.549] /Subtype /Link /A << /S /GoTo /D (equation.4) >> >> endobj 427 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [515.953 663.536 522.429 673.597] /Subtype /Link /A << /S /GoTo /D (equation.5) >> >> endobj 429 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [371.832 573.977 412.927 584.026] /Subtype /Link /A << /S /GoTo /D (equation.6) >> >> endobj 431 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [467.296 531.05 508.391 542.114] /Subtype /Link /A << /S /GoTo /D (equation.8) >> >> endobj 433 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [375.46 497.879 417.6 509.149] /Subtype /Link /A << /S /GoTo /D (equation.6) >> >> endobj 434 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [435.128 497.879 477.267 509.149] /Subtype /Link /A << /S /GoTo /D (equation.8) >> >> endobj 411 0 obj << /D [409 0 R /XYZ 54 720 null] >> endobj 413 0 obj << /D [409 0 R /XYZ 85.99 513.017 null] >> endobj 414 0 obj << /D [409 0 R /XYZ 85.99 487.177 null] >> endobj 415 0 obj << /D [409 0 R /XYZ 123.082 392.364 null] >> endobj 62 0 obj << /D [409 0 R /XYZ 54 205.13 null] >> endobj 424 0 obj << /D [409 0 R /XYZ 115.522 68.443 null] >> endobj 426 0 obj << /D [409 0 R /XYZ 384.135 681.417 null] >> endobj 428 0 obj << /D [409 0 R /XYZ 361.546 618.46 null] >> endobj 430 0 obj << /D [409 0 R /XYZ 378.536 558.894 null] >> endobj 432 0 obj << /D [409 0 R /XYZ 407.605 515.967 null] >> endobj 408 0 obj << /Font << /F54 74 0 R /F63 166 0 R /F40 154 0 R /F6 157 0 R /F30 176 0 R /F48 97 0 R /F28 126 0 R /F49 137 0 R /F32 160 0 R /F47 130 0 R /F53 72 0 R /F70 262 0 R >> /ProcSet [ /PDF /Text ] >> endobj 380 0 obj << /Length1 767 /Length2 1093 /Length3 532 /Length 1663 /Filter /FlateDecode >> stream xkXWDžByEAʱB AjEk Hf0("(Ht* MZ bX+( p +.Q X>K?~gg}~?T$8cAXX/0-t!!0 XLo@pY\d-'M>%@B&@C(ROv0PF0@JIQBB 8ioGH1AiLw`B dPNӠ忁5<@P#)0FBW&IH0\ l4 a 2T9 "*a >Tϛ>jL G)p1LS|u|Pbg"H6{m@5`#J3LBv35X<`!DK,HcA 0i 0q2u6N(>פy1}ed0âowa0HXt_tW&)5% J)^\ꟕx|v5-SOe}פBO}x~7Q)Klu!4y^z[ifaըXy#Fu}ƇR,B38(I~0)-WH)i-? Q ^Oo:<`<ؕ4`[N FZ"Czblk\1OTm].bW<5E?8!y|Xj,N(X]'+XmΉH}>8f@ol^.8~T냭 BB [xnLuqbqhR9֊ݟNl)wxlvd[< ob_ș/lmg'Qt++x[o>pmi[*I|+>:3|p(j4pK8Q]Nlc44)̴Ͼ9+c>z@gU|-}\TO\Ϻ\' 6#0'ՏPtoרcU~"ެ7 ?zF4t~N}j[ztsC_m@䔯@,8'阘޳h^Ȏ^^ Y}kʒn$,X>i8k> endobj 379 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /QBBDDN+CMMI8 /ItalicAngle -14.04 /StemV 78 /XHeight 431 /FontBBox [-24 -250 1110 750] /Flags 4 /CharSet (/L) /FontFile 380 0 R >> endobj 436 0 obj [723 ] endobj 435 0 obj << /Type /Encoding /Differences [ 0 /.notdef 76/L 77/.notdef] >> endobj 366 0 obj << /Length1 876 /Length2 1482 /Length3 532 /Length 2101 /Filter /FlateDecode >> stream xRWXSiŀAd,ȣsC1B %"!F!9IHWRD ":QD"HPP2k^^9UΑ+\"A;ɓ Ą*(,9QmmI)q5<٨  )p!A\ 0@(0-CB.^b xU, | QͧQM c*B0 $ x,\XYd ćEXTcn"̸r7(ʔffe\ Uhbe.HY]Bc H E@ [rZӉ n 5Lct6,BNmr&R8%DPITorq\XHd-CDLAq QLĨ2ISK\e Si A(G@2x0:$ '82"(HXG+oCnhE"V^\*D)%@Pvu9H//t9r~4v ͸GUw݃,z?fj q'}فݛ\_%e >V=:(1#%md՟[{ R|Nf2nVdR\\dž횉lN[dje*gxv1q;4,{ވ+ ?8]9vN`uJ.ZǸj3&s.y y׆5&veEhpɻ+j'Dl Mܮgj&bpg\MzIcqcFYICs>kl\tkMu^0McNSY{Vs&MV|sx5Bk,}`s? `ak+>?ئ霨8Wqz'Si*pOwJZ^jK YsJo#-wLD$ɝ` "&Âc <i!قSNԌ#W>\B8TVY91p٥:FOW6Gvhdt ݮΠ(smEӾol[=KҍmK`N/~}uX6Ks_F7L ܧKO,b߽H=7N\U: `V&sH&Gӷ}՜}Dc̣Gn)}|eyu_0GJngYk f6/Ƶ:VF;r(qҵFuQ=hokRꢽ* ΒKwTWM"T`8:Q"?- 7d*yx?Mh-Cлmz֥+uj= gEʱ-݆I'ND쳈Eúb%\;9*OӠ-h.խˈ>69_/=LVe{I}f% 4۳TŽVZn|Q/ÿge @ Ie6UkۭfaI`ݘQ[ElUk:z`RkOL~ og4Vӂ:|Q:4UgyK#LUmU7ߝq,[ͦ2Jzo_u#LJxJ17c2f'.?Ɛ6`EOT|>eŅF muI]LNXqkc"k#V>#nC5| \aעETKt/6=B=r%5(ޗ+5 = )gGٺOaAž~Y:4A$ GŲCE񾀐 ϷbH~;}.~ .]|7ʼ!f^k<.}U h > endobj 365 0 obj << /Ascent 515 /CapHeight 689 /Descent 0 /FontName /VUXIRP+MSBM5 /ItalicAngle 0 /StemV 56 /XHeight 463 /FontBBox [0 -574 3027 1074] /Flags 4 /CharSet (/T/multicloseleft/multicloseright) /FontFile 366 0 R >> endobj 438 0 obj [667 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 1083 1083 ] endobj 437 0 obj << /Type /Encoding /Differences [ 0 /.notdef 84/T 85/.notdef 110/multicloseleft/multicloseright 112/.notdef] >> endobj 363 0 obj << /Length1 763 /Length2 1118 /Length3 532 /Length 1691 /Filter /FlateDecode >> stream xmTW] T*/J!VhHDPDR $8$ITȋE(JEXE-U BT䈼lzz~s Ipz+oGqkFH*0"qLbDBoōg!F|MJl0f~6?1L+x! ʘ@PTx ZnBU8UD(E&Ob o18"<7:7 "L-Gx hmϼ6b"\bR`z!A$h`2A PL2i0n`'HwtlOذW%x0X4z2<ـńSH?`Bf0"%A b1󶖠DDH;uɊC%Z/QcS=XM{D0d( eZj$],aVp4$;( Qy*4ZƜ9<'.cqߚì|'GLKOֶtMҟEړ{=kd`WM9Ȝ1Nڮ{я,9鹼8K.^hV/.7l}?nYkMtOyLΕzWʩOgLP=~WsC>mRqE+:_ey m|g#m"} ηjt轖=ABY@O&NcF.cIjRȧ~nb1{y]N^eͥ$;Hө_Ҕág^X8Ɔej~pܙ ;N,Mo`O_iV';paoKNiO:.[wJ@dK.{f嵀JG/}]J lpe^껪'V~_uklU,}Oipz]54n$ڹD sՅin}`^mᖕJׅ _`Я]ip¶JGsx3tTr6W+k؏-pD)g}DENj?,p5Yft{m,-|j׼sB"ftdMⱣv?wH>A=Xظ]n}dubG4vrgQƪiZqyOTǏTݕc(SKw[Av|VDBܹaYOMNr Lg}k^U|_& G?> endobj 362 0 obj << /Ascent 694 /CapHeight 678 /Descent -194 /FontName /WELWUG+CMTI7 /ItalicAngle -14.04 /StemV 76 /XHeight 431 /FontBBox [-27 -250 1268 750] /Flags 4 /CharSet (/A) /FontFile 363 0 R >> endobj 440 0 obj [866 ] endobj 439 0 obj << /Type /Encoding /Differences [ 0 /.notdef 65/A 66/.notdef] >> endobj 360 0 obj << /Length1 766 /Length2 1239 /Length3 532 /Length 1809 /Filter /FlateDecode >> stream x{8Yj4TQ$q 2CEMޗxɸUzIiVU5]Z֘iGۙzCV]:5RPly>{>{^[+f@(9^ rJ lmQ$A^" E"z"K0/ @ !a# ҃hCP|#DA0 :D9Hx0sYA#(X+sEZY0S @ EpTK< R/֛`~%ߵ/0H("륱".ca!Dts&`X q0Il~&Zze|. 1QqkcacI!@M&VF$c3@T ,qY4raHdw AiE"A6HvqFPL(%|Pqp"nLO] g z (;qDB!`2wTX(!xU\PGY7/k>>!˵h5՞ୡU[}Ov6aM OfQNtS*l[6ϐ98%iKl.6\|a.eD-~C)qDHdDYIO[gƵ>VZ2dOϔ$#3Tk(myW]w6*n7}0~ѐV<ܭyHkMORwl.2sx0'tQULN+@#Kڧ -'('~=^!=1w?FkE -3S4К|RJuF#ָ/CĬgo}g lzoKQ߂^qjujƷi5i1dzrԊ>k բqԤ,ɻk?€ÇB q~ endstream endobj 361 0 obj << /Type /Font /Subtype /Type1 /Encoding 441 0 R /FirstChar 76 /LastChar 76 /Widths 442 0 R /BaseFont /ZURBXH+CMMI5 /FontDescriptor 359 0 R >> endobj 359 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /ZURBXH+CMMI5 /ItalicAngle -14.04 /StemV 90 /XHeight 431 /FontBBox [37 -250 1349 750] /Flags 4 /CharSet (/L) /FontFile 360 0 R >> endobj 442 0 obj [956 ] endobj 441 0 obj << /Type /Encoding /Differences [ 0 /.notdef 76/L 77/.notdef] >> endobj 330 0 obj << /Length1 811 /Length2 1542 /Length3 532 /Length 2132 /Filter /FlateDecode >> stream xRkYz?ﳞȖC5`GzzD1zzv|מBhn4@̂,%v/;@|A4:q :@0F[6p_8 C? b1 0a C0CXD ~EjZd"\vX "I7L}/(`]/1@ROB|0!>{;ĄTΆ6$<: F@eވ4EN._uFg)pO$Rui\„1t DeB.uLsTz&>fZMBi_1@`}  .?HxtMLSSs4i^\8DQ2HP q=f`i10m2!(y d B5&@x;?V~i'5$T I`=wlFz/jW\e .}\ȹ4ء+54@hrYIms1O{:2aەyu03!W|'Ш<~:<9+ÅˬLBS Iu*Ʒ!&Umǣ ̫Z= {\y^/~̃.&Kw^y2-X["vH/f(\)ڋHcdk4T 1X.a3L,ҥ9rc{Jz0V{c`ΩƸeqL2sM '{me.5K q1xax~oT(n"e}q6xv]cNsh4~2\^9wDٖw_W,KRۤ;&KYZfF*)i7OhHpǙr΃]θ KO'?&.3#ܷ_v"m4Z:0]slggu29&cS ^1JΪ7U޷éܸypߡ ð139Uӆy"ӯɈmMnp.S r:: 7L IM;T_x_HԺhwKyq MOtu Lb߂}F:A@g~71yK"YDf!nz'kPlSkû?mޏEގN.ܸ'~{qdW#(1u[baDca -ic'E׏%@5l(moSS'H5L/ajqV~Mc5 Al0wU!jܪ~U=`/?!`Ct>p`?stf endstream endobj 331 0 obj << /Type /Font /Subtype /Type1 /Encoding 443 0 R /FirstChar 68 /LastChar 115 /Widths 444 0 R /BaseFont /VKGEEN+CMITT10 /FontDescriptor 329 0 R >> endobj 329 0 obj << /Ascent 611 /CapHeight 611 /Descent -222 /FontName /VKGEEN+CMITT10 /ItalicAngle -14.04 /StemV 69 /XHeight 431 /FontBBox [11 -233 669 696] /Flags 4 /CharSet (/D/e/f/s) /FontFile 330 0 R >> endobj 444 0 obj [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 525 525 0 0 0 0 0 0 0 0 0 0 0 0 525 ] endobj 443 0 obj << /Type /Encoding /Differences [ 0 /.notdef 68/D 69/.notdef 101/e/f 103/.notdef 115/s 116/.notdef] >> endobj 261 0 obj << /Length1 1054 /Length2 3548 /Length3 532 /Length 4249 /Filter /FlateDecode >> stream xWXS[)"]E"%@h$ ti HGJ@A7e#E)"%*EH)z󜬛ߚcy"!be+\Bc898@ ,H@bQpp>b($ 6v6`$6g .!Qh&_.02RL HQBJ ڟ ^L 1^HJP47_uH @!@b,uD D\ho$ 6F!V(a2gʱN`gm,8YPh!o_ſ/(+*(onec(4>0,F`\  F d%<l(GxaL(1_oEUOߊ& @AxV(; &ʰIM _u#HsUtWHP@AJ#4 <g8A5@w)/9mLX (jQ^fF UEEE ? cH4rb/!aH8{ߘTmtg wSź#OeQ}e$WI:1O7/zi=`rPf؏ybx ?t!~_a{8Jm9"שzJUKH}GQ:Ԙo%VRYĆ ʕPcS}04N|Ŵ90A~<5Nɠ]k_+D9!iРo7pZG5V*4W7H9m2^ O\CY~ޮDWɼ;R&:f>hig7Jt7Js'ĸK~jMw&ecJLDȠc)R>a#~F3b斨qG}Aj@&ʽ=L^6L QhGrX=&}W+jbDY/nH_|R"rtD`Uh"kܗJ<}2¼~i(WQ=hn|zNw%$_i{Oמ>*Lj1X((_z}Hv“WĮ9؏o?}Z?"Bdϰߕ&63/zp Ez7!󱞂2~a+c\)ZBk=Fw>><6?7Jaʉ{) dN /O[Тr7,:_]N`9R~ T[E^|O"C^ƒxJ~]$ q#'~muz&ut)EƵZ>1xU&rXe;Xe2dfDr*ux#.=y`C;7Z!Mצl9E@y@*Ģq9,mb&Q6XgY:; 4Z?xoe%x[\Vtxq}/̓-[dmЄbΑr0mVyj 鬞[졈o v '" ۱?n4l뭚|z踾h 133q UE,J5r7ww{ "/~2JX ϋ`&G4JЊ&1OgUuG0(KEZ"m&<=\"=.%Ѥc20뒺> FJ<۫HXm!w)nTȄ޼!0fC ߕA!0*7;~޾wϼp Hu?yZCOH鏲.JO|wAՐ>$+7+їݵ?1|*CQ^bw0`z$\2M6oKU"_M#͖B4hZ_|DOcO·Os{UkS쟯#:3ohߧp5Ol8#X IpfAGCmbvET|yRQuaoKFAg xR+9"LppkyP5lpT5GEG>M$ sRKOKO〵Dt<gP^v~u iEeg*fxf%X|c%L; g`UoF4-R?'P  76L nk 3&4beSrU?;Vod̐[*\m!u΁4d@ OhK{hP lZX%tpՍ\:̢F}%I:eVJt-?Iwàq_gtfk6˩ǥi4;7h4ճ,CTwCN FoE<_zj{탓Uu]!u#Mo.Vņ'[sR=y+!*~wsAھe=WJܩOivOiK©ͭ®f:&bVHI|WO]8&m&Bqwu~ɭ C>/t3:4F:Sdu֒6غ5jIg?^%+vmԽհL xd#XE^NL~?|#_GrOXilUn3 -C$u=k 4U/עXp7.$}v6]i=fGT:]T̓#DSw'MOiuIHϮӠgD{sq\fsb+׼sxޤUV+6.$1E%J0GٳX_ bd/jJ/5?E&.C5/@㺕̮D͙6;vaI %{}QuQsکfIjq=1ҏug{(sn-ꍤCUUi/[)6=o@̧ѮnJH'S䒥(v 5U{7;s΋nRvZ9^"͙5d՛mTbyV"vfOTwrHˠ}ͣoM}/QcÎBpa3hքdX R 4rfpn7SALT$Y'Pn| O0,1 endstream endobj 262 0 obj << /Type /Font /Subtype /Type1 /Encoding 445 0 R /FirstChar 44 /LastChar 117 /Widths 446 0 R /BaseFont /TQRVAZ+CMTT9 /FontDescriptor 260 0 R >> endobj 260 0 obj << /Ascent 611 /CapHeight 611 /Descent -222 /FontName /TQRVAZ+CMTT9 /ItalicAngle 0 /StemV 74 /XHeight 431 /FontBBox [-6 -233 542 698] /Flags 4 /CharSet (/comma/colon/semicolon/equal/D/a/c/e/f/g/h/i/l/n/o/p/r/s/t/u) /FontFile 261 0 R >> endobj 446 0 obj [525 0 0 0 0 0 0 0 0 0 0 0 0 0 525 525 0 525 0 0 0 0 0 0 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 525 0 525 0 525 525 525 525 525 0 0 525 0 525 525 525 0 525 525 525 525 ] endobj 445 0 obj << /Type /Encoding /Differences [ 0 /.notdef 44/comma 45/.notdef 58/colon/semicolon 60/.notdef 61/equal 62/.notdef 68/D 69/.notdef 97/a 98/.notdef 99/c 100/.notdef 101/e/f/g/h/i 106/.notdef 108/l 109/.notdef 110/n/o/p 113/.notdef 114/r/s/t/u 118/.notdef] >> endobj 447 0 obj << /Length 267 /Filter /FlateDecode >> stream x픿01 MnPhEf`qRGh< `Pګr]`wGkn Q;JWíZPks8Ofx:wVc\UkHTH5=Ë]-M}&"]euG66'XNlU3.~e™d4+y,h"NQ:e(ObQz/Y_4w~ '$cirk}v9)R$PB endstream endobj 448 0 obj << /Length 285 /Filter /FlateDecode >> stream xmѱj0` [ZjHSB;uڌZZP@^,[^oӝ1|BοtEYR:ql`рyւy0ͽx\Y< R34K-|3?̐ _Ը')%)š#vD,e sP׹@/D0D(èV䑼 o.a`%fGoSb:ŸiBPO(b`hCT6Q]8FƜpVV> stream x}N0@!6 @@({d]9Ƀ=hfB?O'pdBPN!μt_]^U,*/ Bkȟn ~_?nD I<^>\iDW&D5jtBW(3+diKɀ2ASKZ!LrQ*5+ Ih+yu9jd?\8KZM/%W+) t6Gm k^ZkxX|h&  j(8l_:j(Vp[#f_ endstream endobj 450 0 obj << /Length 288 /Filter /FlateDecode >> stream xeѱN@!$& ($HaJ--4X^^78J 8Þ$Gorq&1 s~e"keFkdw2qqo>8^=ܘHg.8ۉ[`'J{6.mT Aa QʡaLnEhLi9a"m(Ѵ&}D FO-5ɺH7't7,Xp(QbcSGv ڵ`}3C=gP tʘCwJ.-+P endstream endobj 178 0 obj << /Type /Font /Subtype /Type3 /Name /F50 /FontMatrix [0.01338 0 0 0.01338 0 0] /FontBBox [ 4 -220 81 3 ] /Resources << /ProcSet [ /PDF /ImageB ] >> /FirstChar 40 /LastChar 94 /Widths 451 0 R /Encoding 452 0 R /CharProcs 453 0 R >> endobj 451 0 obj [61.88 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 0 0 0 0 0 0 0 0 0 0 0 0 64.01 64.01 0 0 0 0 0 0 85.35 ] endobj 452 0 obj << /Type /Encoding /Differences [40/a40 41/.notdef 86/a86/a87 88/.notdef 94/a94] >> endobj 453 0 obj << /a40 447 0 R /a86 448 0 R /a87 450 0 R /a94 449 0 R >> endobj 175 0 obj << /Length1 1081 /Length2 5533 /Length3 532 /Length 6262 /Filter /FlateDecode >> stream xgXS[A D tһ =&HBBU Ei{G.tzt*(pΝ3sZk?k>n}#{p#Ce::( 2%(! H5]b@Q)Y,Duģ-e?< u$}uaa(Sx h!wCEh` #!Q40vX_f\n˹(?e E±'O aGŞWCkߐjNNPhsC(' ] v|o`ssR AΧ!&JAD}k sEh!R#0?oۡ"၀LO`ar/jCTsJ(\&7T'ˉl1 #BR-W dJ=.o#PY ;ňriiM֝2:=|m&`+[œ9,N&yWi2NwY2N_iq@,4SDѮ넝[ŝI>\W6$1X2\*yĸ4>-?J -Ayς YHOt1Nع]TYnT A' lndky2q˽( 8>$恺Y~Vzu׮<{SG|k]vAc* pxEbi?DW6Xq/cs$_臖|b7ӉRg6>Re"/I:*1~Ƣdgj; R!nMj\C4]6Ȕz+'-%SS]I1 VUDb؀۟~N'7PGϲc:Jŝ58Fy*ͦ d󊝖byrYtșL 6@r US8~; ͙K_y4*6&m$| <MW: >8-{җϷTF1'o9i;e9Ȱw47G;8T v-=ZsbZ2([6s%E(zblP-N斜/ N;C '8?PQ5mlM W}T8NdےH>[4X̹(\BEXtpi9rvgETwfXVmL}Cxզ?tUv~ܯZ59R<؈LvcsiIVU4duOd?/p{ݧZa-.ÛEy1`SϑϠ5T,oXW~ma<84YM) |歹MA!¾ ::^7{E>y$]ЉJ W\נX[ˎZ;+b^i:_lU$(i]N[榠V{-zH$uzE R4ؗQw\uK/Ǜt3;1}x:Z!} CºWE-qVo; Iö׻?רxJ }J4ߙ@'#PA7cݶhsml'm}dBɱx:0{ƨA4McT_CA;\nxӰq;ʿ6!c?Έ^84C 뇻?̦;Y2H:OX3))-Tǔ6Gm]:tN{J yy$%h34xt.^sjh!+ioDMMYM/Vۚe*l\睌*]RJmC&~$;#cdn3s:`r Pݕ ו$7cړ*(8Ie1aH p Ets=l睜>(%O~_j 4rvx%kLvRUcR*uJt9{NFB͑[eba c&;J*u~r?W3Vd_ʷ:ɓ_Zφl\?5'ݮf~yh`La-Ǐnݍ't{J CT>oIUn??b:{.HN ZT>Ս[)MyaFo~N ũO~yP3.pSOĵƇt"P*Z.)<^hw*N>D#!AQ|Թ0JxzU]W«RnVUq23/ ͆h%Mبo-WkjHW ; WMD=!˺Q|9FD# K?KQ ߳?Ym1!/M;dP|IR>?MFR"rL4Dܵ<[Tv XaX#1Sfާ!KXL4^ƚLewsM1#}Ew>*kS?Q)Y`QY^nCL3& '[o-ؼ.|x7 vRnY:I~t!t(ִ aj#d԰%&d҂.HҲQbr9`AxtFրv+6.8\^sO@v?AᨠֻCBCţ1;Qlp)qz{]b]R?<]}`nw#XJ@T}ӖJ^xn0$w}ݤ2Ҫk*#\5zCgt~\/uD!r>%X< >=E{E.xH?1jR|ŪD`Z4qEmW@;v@D֭|{XyM_Y_B3k$5*pDkarw XZͼ )hO`DUqW^fcVUieNB K&bSK^^.?mYoǠ$J7/ͼieRS(9&F9ߨl^Ků}vmwŅ[G>J2qMT ꀺ'ZJ:b¦ܠj}E1c%Xa;n[>,7BiEGB-s~3sb}N`ْᮙ_R~f7'|w!f*Emu; np'7/e| wD kZe..P,7]S3[, m:jǷLJmiYUVHz86eiQB7حu!'Uɵƞu3T8wn,c0 OWIyd}Y.\}~,@ Z݊th:JuC}cRhE{vkC z!~jWx!n-K6vF-86lб<ԝ2J[C|ځ΋H7Kt8֠}]+ﶬ^{s[LKk5MBRy{&԰}x}Ėtm7?TQRm)+v"ǶdBqQPb Cɒv%QϵP.o_7(Kc;zƔ~;p3LV>7|RJ٢JM|-jє/ W)l^]%w>X|+42?}JxK" e n '6Rp6Exv=}s$&,;XVuq/̜u_nRrqfSiȼym]YX5ћl_:ZEU[(wRӱ~ ޤt(EYg}q+a:U=MD=pG"ڞ-ڡx=\UyWiq)GZ%ii2V{dyr)/TMEhÞjvf'E%+`_O#-ڃOdl9-QL3 *b I nF |T13>=N(t7 Ab  doY}8uY@$Q&,}ЩJRNk{>r8I.C) w |Wҟ"(*#={|q)>VwO7y*[68/fִj}(le=5NLr} '3D6QL<-L1&ظE>)I0%DiEw5 < ƽ 4џ}A[=xƄ\Ab>e Ŧ^$mA^N^!{l)ԭ?.? (PjUfBa9"Bύ*VT ~VʽK!n$J *xoQ޸ 06&IE׳6tl\-*(ʔ$[|TJ(Fl.m2  *qLn#г+; %!MeǷx_ctS(9f1UT{x,/q>p/ϛf`kf` j/oN}v[6T1^DxAXsҤo !p2Pa)ZlM_'_C޳_̅߰KwYg)!T\ms"6LΫ&δ;}On,&e&5a2E8\Z> iz<׃캃\ĺg,<`|gozpຖ_L>ǬGq54H*pY2gW"' Og~FU iɼVD Z0-5?c)Y]%KM\w _bX/m ej )ʲh{}`>.Co/y5n]뫶UW; Lw.~cs5W&9tA[)Fs|>\@ڪhKx?ƧpF%ۧtcNTȵ~ܡ)]l_]Us%]gTJ#z"!(MDSQU"/-V0g5P) 3dOp#N^ȕ ٷ&> endobj 174 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /WVXLDW+CMMI6 /ItalicAngle -14.04 /StemV 85 /XHeight 431 /FontBBox [11 -250 1241 750] /Flags 4 /CharSet (/comma/J/L/M/P/Q/V/lscript/a/b/c/d/e/f/i/j/k/m/r/t/x/y) /FontFile 175 0 R >> endobj 455 0 obj [380 0 0 0 0 0 0 0 0 0 0 0 0 0 0 682 0 846 1161 0 0 780 966 0 0 0 0 730 0 0 0 0 0 0 0 0 0 518 675 548 559 642 589 601 0 0 446 512 661 0 1094 0 0 0 0 580 0 477 0 0 0 698 633 ] endobj 454 0 obj << /Type /Encoding /Differences [ 0 /.notdef 59/comma 60/.notdef 74/J 75/.notdef 76/L/M 78/.notdef 80/P/Q 82/.notdef 86/V 87/.notdef 96/lscript/a/b/c/d/e/f 103/.notdef 105/i/j/k 108/.notdef 109/m 110/.notdef 114/r 115/.notdef 116/t 117/.notdef 120/x/y 122/.notdef] >> endobj 165 0 obj << /Length1 1157 /Length2 6462 /Length3 532 /Length 7206 /Filter /FlateDecode >> stream xe\]IS$;UjffhnIQnD@R~>8dc畳AXA P|@MU ƦQP" HHv@q$H\$`* =P;{S"1# ;5({mk0BP|@98 Wt6Pk bueH'lvW t55hp{m ~-ĭS ;Moi# h D@NYj Ǜ&vϬ* Z9!@^a>?qFڂᮐ'try7TUTR5|ϡCP w,o >@￾CKau H$m%("Bl @ǭa~>'v vc|$3$J&1q oiA@~$MB@~$ 7M@~[=tgo ?Po:o:?V7 9B?V âi (x+7$/ R|BC' @bGH$ ?|{QŶۻ x@k@Xrmp \.)A)R|[ RdcȺ R$iGVdVΧ[?h>WN>ޞ9VoVwcF47纇{3,Gn46rivq''_8}^&xcò0jHm,o+#TG4#sD)Y).,zߐ[;ԃx}9 LRiGnnQ*k"Ϊr_1!ET1bQiPX[^QEf4|̎ANoaNdҼlj+w*36搜Egwh 2Q= #0+<Uk|jYhV3V[c i iS"E//y9GsFY8eED f ~vT,/٘ppݯ3w늾.Oh*33 :r>hO\"]~w/Z̟G)6޷uNUCLU8jd}$?'hI1'eBzvb>|/*NܕA! Ixqr4ۄ ̢^ZA48D1u"{H9 cZb,+,*?QOQ*Ѿz;Ш+8e}f7#NIM*VqdUq)$"!9g}_NB|#gt`T꼇-KT*Ęif&#Gq%Ua0A93>l.'L?yWB9A8%?@KU@uۗ!syZI+jTO5̐&q{]6cO*Q:.H5lrU:6&nו x d;/s4JKxL\Jn״%!JDUKע$! ?.ė6x[G/QEF;j h/4"Pn[Ohf@Ouq"Y%2rOE(\1ˆܔꤓW*s}<X?kkmҋ%r""t$zG~ԀYt$l46 {:3o#֠Df 2Z`B# OBWTO Ha@ rX[)`bAXA2b "#M&SN[_9e_0<ę> JegTgx~z7j%YGL€&J[@`Xn? }5`Dp_ ǽ t4A 5|x(|ˍ+0v9xP"bNt@F_qEX\\M Z\Fԓ[f Uy+(zUv3gaXz1QNfŝZ]r$e3 ߄?N@oXL{V=yȯMOr+`>텪&6Kgllڑtŭ"0cytnq>xȫ: 8Hyd˯.^xd", &`kˢ{ NXW-iȰp2fw󰯫ԱA_G@T3?ԇQr-0XgdJ:k-{Gۥݖ΂hjw߃'' 39ΐ9sHۛ}u \WmH8Wi0v>XQ-8GU@ , zlC.|!%8.Ad ^UxFI$v)lɮv5YvwQ;@0v0c|eU,Bvznm$5cǺ†v(0(Meϼi4c3E [vO.>o!b_@@z]yQ 6wwƙi$XLVg,(20#U^͕*}Mw@[V&)YTe$۠B"saʼ?.NdfȠԏ\?nԿhN<5ǏŏK|SG& 5͍bW][J.\QOa9ՊuuqAl/us}Z=Fg##ȌZ*aIRٟg^X;(3"=[JtD#K=TTe>5uNN0ӫ ]h^կZ g_յ^v_v~$c1?wxJHj9 Z(ZI\56;}0α 7rE൩k-hA ~txŚVv.KdEIvg=Y7@p]K:L:LJ4Q`؋Pn"j;:qۄឡJ꟩NBkˑ1'6YPcYI0鑬?D)BcZQa9b$K$謹5uxwvEd;jBGc7i-q._8hf)xڭ&cIHÔ /[vd{$Lulcm.:AEH_st;l<\/2pZ b^z\~3ufsI@i(; { Q4U~ֹP5"5Zmvm,kx\gscnQud?cɲp$7cE= "}{' ͱײ^KNg~/"j22dFcn߯ʵJD6{ 0זOk VHVkvJi4W, v+zPσS"Z0ǍxGujmxi3Ur$q2Er\~ 2\rL>onh:9&CZI 7}$^D>3P)y>@FިT6 żRꮰG%2c:Ny;⎿ɿu;9ܳoD9 ED%C=|s۩/tm,}d5FHE#*Kw5F䰥jj H&Y™K  >74h@*y0~>+~YndgYc_=O GxƩu4Ѳ6m.RA/i~}W en.ի|r<^jƑVVPaq5nQxsپ \k9B pY xcÌf2<&3Lv@M!CY^~oCA@=|lznyȑ>_ 2DW5YE$IjkOܛ}SbN%/^k,=[,SBu˔7U#3Iz|myHB aMlڴi3Kg.$D^z>'lE^g2Y4^T.g/!m.;#dFSA#a kαl;hJ&ꄍbX9k'e7 ɠX ;юo|7R20L^I&~<4^ʽ(dS /lUn*sA_DImhgA򢗢Wȩo 5^0lR̩imY)o4OƉZ'>f$m ]!:1Si\_.F*m^R.ucWpVͫMlO -؉^M@6BQH_動+3+Rc؂+B %aew47hoȱ `%nc&KW$d/ꩬUFcc%yL%nBvՅj+/}%Me9;G9'#scLVnUʄLGtCHmg",̟o<0z?s:sz<0c)76YEif~F+M1>uc JM(^CT/}?Ma,M63Dx6"\Hi X5KE-ä?bTxRXHD6mJ5{< ^kM"#q$qx6߲(Gvn&c% tb/ȷZ2>;2D@s1&y!,eFքf ԍ E/[)ͣ0B]H=[~[be{ﾕ 3clq2;Zej樅JՄOT˞ 9.67_U9]St_^+E@;`" Sj]O~EUqsϯ-5{l{86Ppux;Gć S‚J!ʗkGh@G 2=N~çX&ƆO= Jt2b4*wһMDzY);m# lƘldW},)Ӻn|+u/s}2X߀_0K;mKTR*7OaO_tTU^0.65rz?mQ=+w7[}K!5j:(HJEE5QnqTPYs.fAv,d܈ꅾo*."s25?{s6WqBn{׬<ݝ]~>9N_L70l)<6e_x@:vnW\%05Bԫ)%RWm*=,!C KfX#l+FjU/|}n7"C)hgyJ3HN?>m?5F`4!\< endstream endobj 166 0 obj << /Type /Font /Subtype /Type1 /Encoding 456 0 R /FirstChar 65 /LastChar 121 /Widths 457 0 R /BaseFont /UIDEIU+CMTI9 /FontDescriptor 164 0 R >> endobj 164 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /UIDEIU+CMTI9 /ItalicAngle -14.04 /StemV 70 /XHeight 431 /FontBBox [-35 -250 1148 750] /Flags 4 /CharSet (/A/E/N/O/P/Q/S/T/V/a/b/c/d/e/f/g/i/l/m/n/o/p/r/s/t/u/v/y) /FontFile 165 0 R >> endobj 457 0 obj [763 0 0 0 696 0 0 0 0 0 0 0 0 763 787 696 787 0 577 735 0 763 0 0 0 0 0 0 0 0 0 0 525 472 472 525 472 315 472 0 315 0 0 262 840 577 525 525 0 433 420 341 551 472 0 0 498 ] endobj 456 0 obj << /Type /Encoding /Differences [ 0 /.notdef 65/A 66/.notdef 69/E 70/.notdef 78/N/O/P/Q 82/.notdef 83/S/T 85/.notdef 86/V 87/.notdef 97/a/b/c/d/e/f/g 104/.notdef 105/i 106/.notdef 108/l/m/n/o/p 113/.notdef 114/r/s/t/u/v 119/.notdef 121/y 122/.notdef] >> endobj 162 0 obj << /Length1 769 /Length2 589 /Length3 532 /Length 1139 /Filter /FlateDecode >> stream xSU uLOJu+53Rp P03RUu.JM,sI,IR04Tp,MW04U00222*Rp/,L(Qp)2WpM-LNSM,HZRQZZTeh\ǥrg^Z9D8&UZT tБ @'T*qJB7ܭ4'/1d<(0s3s* s JKR|SRЕB曚Y.Y옗khg`l ,vˬHM ,IPHK)N楠;z`軄yzxiCb,WRY`P "0*ʬP6300*B+.׼̼t#S3ĢJ.QF Ն y) @(CV!- Ĥ 8?+u t-FZ*[֢* ,,MtQ05000x5(5~ae55"5d떬Vֹ.U牵/oQ7;36t^bzɒW m;,}Q+zp^/lZ,bB~]xi<\6cN#iEgu*\g^ ߻-4IKI bw_#ZLΊdS4u@}Ywo^RZԬ/F03b۱!HWD=*zwId &U߷霺Ͼ;J֪\}zG96[;؜Q:8#% S\;㙘oKBp?5vkF ]iMæxҞ=JgOOϛljؑ{INq E9W~W3K{^ s'~)ջ3u~k'xξ&cojgJoPmewtyz>_ђ1:ZE}*蕢~_4]t$w/DyKibԔs{'|#1 ߻J$> endobj 161 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /DVRIHJ+CMSY8 /ItalicAngle -14.035 /StemV 89 /XHeight 431 /FontBBox [-30 -955 1185 779] /Flags 4 /CharSet (/bullet) /FontFile 162 0 R >> endobj 459 0 obj [531 ] endobj 458 0 obj << /Type /Encoding /Differences [ 0 /.notdef 15/bullet 16/.notdef] >> endobj 159 0 obj << /Length1 862 /Length2 1097 /Length3 532 /Length 1713 /Filter /FlateDecode >> stream xmXWmCD"0h^lX\@DiPA(B ,ZwCZP b+b;ҏ/ssvK d!lҘL$}QzGZ{8#.4&Q$j LKGsE+A JBAR^r9P!TAbiP4QTR )B*pHa ނjqs\&̵372ɵ*P$$IH@0:a* Q9&erX+[0?)1\.Fܛxmy'7 8(.&PI<$0so]VhXŧ@g>pϺPS"r7! >JA/'5q F B o*$?+M?wg_袸>D`[Y:RrpY|665#ً #V'Yy4O|l~IϾKN\';K ۯ6}nekZ!ڕTɻ)yZ6ֆxN XGs5Ȕ~rM}WsvI Fm&K#[|.xp9%tr(tCg2J4C.Y#!Il/ wqIQӻK2O7nؘPܖȱ??jE澝Ğu˻W] ]!64ܼR_6v |O#\;4[ he256<;g,V_xȷni[Ydu~c}խr;ݡC9m/M]Żά &j,Hk|!ulp?lRF{ѱh |2&ӧ-[V~d( p>v%\8L3=Wf0yAIgk/_b$è^X=8} s/~}|lkJC%o iU~  ;K.VJblgM`xuUN 8teiٶYzac Z#ӑaS9~O[|-[+zG* Tզ~UgfoTnu=41WeMV=bf~|{GzM\Md3[{9wީZm{י~U86ң^@[mkʞڙѐ*^!v*U' '4Ym퇧%vBQAP޾eϺ|([:/oR:iʞ$ܑ[v2۔q>pްd%N7::?.*~ӆuHъToogVYwɫǣZtѣ vJRLNWݖ?a$_Н>S,h7h C  (O'O endstream endobj 160 0 obj << /Type /Font /Subtype /Type1 /Encoding 460 0 R /FirstChar 48 /LastChar 105 /Widths 461 0 R /BaseFont /AJCKYT+CMSY6 /FontDescriptor 158 0 R >> endobj 158 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /AJCKYT+CMSY6 /ItalicAngle -14.035 /StemV 93 /XHeight 431 /FontBBox [-4 -948 1329 786] /Flags 4 /CharSet (/prime/element/union/angbracketleft/angbracketright) /FontFile 159 0 R >> endobj 461 0 obj [366 0 833 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 0 0 0 0 0 0 0 833 0 0 0 0 0 0 0 0 0 0 0 0 509 509 ] endobj 460 0 obj << /Type /Encoding /Differences [ 0 /.notdef 48/prime 49/.notdef 50/element 51/.notdef 91/union 92/.notdef 104/angbracketleft/angbracketright 106/.notdef] >> endobj 156 0 obj << /Length1 796 /Length2 1413 /Length3 532 /Length 1994 /Filter /FlateDecode >> stream xR{8Tnسm#]d!\fDNhe\eff2ˌ &M[Jek SvB ŶQC7MgyZ>C=^f4 1PDhF1,kbN&; 1(B=@P0?{kk{%pF Ia0DwP q 6P6 X cNPFH ~.sDa_Z6-4pB@ bqxN|'W凉CS!,/2 f.ȟKp88{`!;yBB8M-Xpvsؼp = a.`#@2.'E[ l#\1 ɸ5M`EP$AGq8v@lM,G?0ǡtrB#ͬXu2}X t\LݲeanCP$&>@[,!?%q +O(zkiW*[S`ZRuHqH'+z60F%̨ mw0 VYۇք-Z5V7g{XGo_8nc$ƗlceOP{]$=\-Z)RQܾgV+uXb ow5QTu *K+gEu9-iA]Α ot8̍Æ;ԫߴi]kyiEIs7Jk׽4tԓh#kAA]PޚEL蔛5H&64˪;0~`RRg67Gy@E l YUol@l=31J%tcm}}Շq[=.bNBR\FS4g7moflUwc͹o(v}p;x"#!=p$V64 ٳXF&fH'79KRYIpx`1?,޲#6uIsU ~ ovuS-Gf'fc䉨֔ fZF ɚ^'Cj){1LB+%;2إҕySYnYX~/pw-+9LkEGlk=%'MvmS-isrK99`u##5/fn3*u4Gm] }K$*mwo7E314SB5憜N*mM (=\v^nikYYQYۊus{3.:ak:"/YU7PUtۦ9t˯S3Xq=}:1rpcƇ[rZ WwfZ/k j$n˙hq؂PScz |4y!/]>"Sd%-uKjǭ.(uRxW͠j(%VZ wBu,:&,;3_>Ŀ/<Ą( )\*| endstream endobj 157 0 obj << /Type /Font /Subtype /Type1 /Encoding 462 0 R /FirstChar 49 /LastChar 51 /Widths 463 0 R /BaseFont /CJJQWN+CMR5 /FontDescriptor 155 0 R >> endobj 155 0 obj << /Ascent 694 /CapHeight 680 /Descent -194 /FontName /CJJQWN+CMR5 /ItalicAngle 0 /StemV 89 /XHeight 431 /FontBBox [-341 -250 1304 965] /Flags 4 /CharSet (/one/two/three) /FontFile 156 0 R >> endobj 463 0 obj [681 681 681 ] endobj 462 0 obj << /Type /Encoding /Differences [ 0 /.notdef 49/one/two/three 52/.notdef] >> endobj 153 0 obj << /Length1 876 /Length2 1482 /Length3 532 /Length 2103 /Filter /FlateDecode >> stream xTi8OY"'^ǚ9bH*K C5;3f,$u-ْeH]ԑ){d-Oґ}t﹝ýs~}^S#oGx\c$ LM] E[(B_hBCv6h{<a (B@p<6e@(:(\P%N(Y>ȁui6@ P(u\x>d  u3&pb @~HF`0L@4F2xaMB@n]y\.@y\ \Dl'O0%sWHUD鐈#JR͉dz 1H4L Ok61i'9w 7 }%P!ژLD[߿˕K!.m O а0ĥbo<MȭV<("']-$}Y[i>}^)5 OV3r9FtGC塴TVmrOY-ݫ2/)gn˒ꈼN_%+.O/MOhu*]fNT S&'Lu~ç^oڬ;&̈MYqJWtsFaTA"k{}6sٸ[4"2Guؿsk7 Bz o|1Vv6'%[Yvy!iy^Epnqm$;_!ꯅZNt g3Xp<=^~OB[=?t+/(ovSlP.dYŞ[v*a:Ij}/&rU;yZ)Oѧ-+Dcsۑ/c]5{> >mv+uT\C~yzrYJߘ6"z_0Y-(B_Q.8!*ۊI'ȝ)r}v~6!C#K7qL)rdrDnsiGv\5s˦7y5 )A2YڠoIO=*Ҟ ^|ik[`#쉘HSFI3օ.Q*M&V a95yrǩ;x~d_L<7;C^g|T|4^YұH\P!Rb^DUީ0ƕ$O:5+W nIHD[Am%~ t#oiWk o 8ҬF5Q 0 tEʐz[\WU8.NLOşltmD2uY5714bUxhV?Nҭ}TeZo ̼*׺2 3zsrH]/9bKeLKP{.]R}Q~9 IrY%~)+4r4I{{'.unT)2嗋޿awG>l.'ķKz4^o[Q|qn&m%tɯ|otbzހz؈OJc,ﰾc_-QؙN嫾 h5}lSIR.Жs\}Cacvnʳ]Xӑ]*v.d> O /q(r endstream endobj 154 0 obj << /Type /Font /Subtype /Type1 /Encoding 464 0 R /FirstChar 84 /LastChar 111 /Widths 465 0 R /BaseFont /CAGNSN+MSBM7 /FontDescriptor 152 0 R >> endobj 152 0 obj << /Ascent 504 /CapHeight 689 /Descent 0 /FontName /CAGNSN+MSBM7 /ItalicAngle 0 /StemV 49 /XHeight 463 /FontBBox [0 -504 2615 1004] /Flags 4 /CharSet (/T/multicloseleft/multicloseright) /FontFile 153 0 R >> endobj 465 0 obj [667 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 963 ] endobj 464 0 obj << /Type /Encoding /Differences [ 0 /.notdef 84/T 85/.notdef 110/multicloseleft/multicloseright 112/.notdef] >> endobj 136 0 obj << /Length1 1333 /Length2 4030 /Length3 532 /Length 4883 /Filter /FlateDecode >> stream xTw_~_#&lf!swq$,L|2& !HA0LY>MvPE999E ݇qr&%HRv6F7J  0G| "@в  ƠH` A~9h_'@ RD%("%h<F ({d,Fa>$6ƣP+mCv'!iPx 0$3%?q] ŽB :z&:RO .`gد3#|* (_K£18'I }@PJ)9yy/ o0M I0?#P0 #?9 @ƒ0a0%08bo"ف~Sұx)7 C~.@w'( Sfp0r+ XyJ ?0~n$:b)"PyXӏ V|]r#wʀ`Pd,7CdcF(PrE!2h_uaPJ'oK`PJq$ ~ˑ'{"Ͼ6W(S `EEEZ0d@_0P@ ?s(uvPvhxR qIU诛rK[5w1h? {煝H9Kӕ1\}(;l h(,ʈyֱ C\>ILRKSoN4fOHohcm|w|y)^#c9| m$ֺG͸g#5;~-Hԡ%jfݟg>>n읖i)zMV2ݶIicR=|{Mt`+7 OL_K:`4p ?|~LWgVzF|;!!GM+ /% [,8,]_w@Hucr>ڃVi&jOqז3Eҵ%ŨU~oN]#-M .;,WMz&5$SHOsjygi&jؐހUNݩ8-=kdQ&0Iz^5U~X$OsӞ=a 2i:i$ֶOV/8)u8F\ٓ9ZL6K  zq2o`=OuVVs;t9n+Yg5PæZ 5S$ݰzCv9>RsIӲϗxKqWTK=tRn@k$%~ϤI 70io^Wo$R",tdynԝ0M%*eU)JpĸpFwb͛0Ixe%Lv.p|\jj5:e%ec{AG;4ヴIYlߕVV-0=xpQo$3E'ڲ =N>>ã1H,xCd?lNan'^s Q(hV4 ٣^0&g$fS]3oyqx yWcb$ ׊}C}IxZ_$i>s^).Rc4 YC%Vk>4VAe7FYa,:iv[_sP!Y8g=>>CǸ2,g>E} ]DinOaF^Y,x,={fΘц&ĘS)FD2TVZ0]дA5F6e{y2ė<+F&"Nh^ͣ!]4S kaxTY p)d[YLE\*2:ԧr2t:*H7˺8&RK(_n#^z(룸qa}ǭL 7ވ^<pyN0!"XBʆhN!͌D1p{|k376+e"`xQUn:4wT>2rg8Ÿfgrɘ/Zk'z]wd|7ܒmwm^9%T_IUC913v$E_Ov3Ž1'y#ot^;1=cf_:ImػQqIpҡk nSg$}Sf֦˂w?vѴ,O rξ"ro(_Khͯڷt'tq3v!!E\n)PPIj$A7#M>gb \zU ^>O}ч#q|FiY3޶|OчI;Wה4GLCdėdw9?c4<ݝv =)uȲ(w?tEzfw,/ =1بŐq[@DPjɊ5r5v#F.׊qrZFpҳlvՏqo.Oٴy@)GSv)ua~AHa]]y q~\3>7ҍ>mZg[Y46ޮi~}a>̻ϞfSjnY^9GJ t $ev'OIY-'OE<,ճe9šz|CP2԰~ըB 7%9@)lSf3z:/qRߪzZ x=tg41<_"c|6 35=4t.OYcuEǔ8bϯ44TmKg"5e_:d&@ir2Gu|XCWi9,O>3>\%ъEN[cxنM?:BE~Jc1Dl ^.d4JԞElKdc73֥>Q I'~rQdviZYsђrUXZKU$X{Ͷsz|ͥ/QG Pk֦QӪpt]giq(, uNTә,/z{jqܕj;4鯆'T w.zCx2~fT+HaҼgSCJ1h̚^1 (Vɬ:' =oKKGI.0HpyRx[ߥ;CKKIGo * l4 J m yxQ5nS:zEk (H $o endstream endobj 137 0 obj << /Type /Font /Subtype /Type1 /Encoding 466 0 R /FirstChar 0 /LastChar 106 /Widths 467 0 R /BaseFont /BDHNDE+CMSY9 /FontDescriptor 135 0 R >> endobj 135 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /BDHNDE+CMSY9 /ItalicAngle -14.035 /StemV 87 /XHeight 431 /FontBBox [-30 -958 1146 777] /Flags 4 /CharSet (/minus/multiply/reflexsubset/lessequal/greaterequal/precedesequal/propersubset/arrowright/arrowdblleft/arrowdblright/element/negationslash/existential/logicalnot/emptyset/perpendicular/union/intersection/logicaland/logicalor/braceleft/braceright/angbracketleft/angbracketright/bar) /FontFile 136 0 R >> endobj 467 0 obj [799 0 799 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 799 0 799 799 799 0 0 0 799 0 0 0 0 0 0 1028 0 0 0 0 0 0 1028 1028 0 0 0 0 0 0 0 0 685 0 0 0 0 0 0 571 685 514 0 0 0 799 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 685 685 0 685 685 0 0 0 0 0 0 514 514 400 400 286 ] endobj 466 0 obj << /Type /Encoding /Differences [ 0 /minus 1/.notdef 2/multiply 3/.notdef 18/reflexsubset 19/.notdef 20/lessequal/greaterequal/precedesequal 23/.notdef 26/propersubset 27/.notdef 33/arrowright 34/.notdef 40/arrowdblleft/arrowdblright 42/.notdef 50/element 51/.notdef 54/negationslash 55/.notdef 57/existential/logicalnot/emptyset 60/.notdef 63/perpendicular 64/.notdef 91/union/intersection 93/.notdef 94/logicaland/logicalor 96/.notdef 102/braceleft/braceright/angbracketleft/angbracketright/bar 107/.notdef] >> endobj 133 0 obj << /Length1 880 /Length2 1466 /Length3 532 /Length 2085 /Filter /FlateDecode >> stream xSkBhgG|h@$Sl&)|ļ0>`< B! pbab@N<YLd6a,&`H(&`<.h1 G3b&pr3`$=A @#xLgι٢o`fX*pŘpjAi".׋;Ƀ⹈-".~ Dذ=.dra΅Ҝ 8̀ Y?/k0?-`ad0aD+L Ʀq@ @"X ~ gH8@(I0†(SL$ |!D ؑ5D׬b*<[/G -6;;Ya d7P)~#]k[OD( !+ (b<6E&q|KR >q>#Ƣ_QlɀҀA]+'Hͧ_GMըyqzwW_ۙ܀▂|[0s\p^ci6|$rpf^̙TIofn΢ގHrB|TXmk}HN8t7{^4Xm&0Kp*s9!½o`ȉN /@Jmo`OdSe>^u§S;ʩ9cΜ42U7J;O*iJl+Z|vsO VIŝ͹ Y9\g *|qfwYPSp|`3a/tkbӔ^ELxobt$vi-RLlX9|ξ?jĹ8 8V= xWA5܄jİg#=F6ҩy){5.zt =̕w Ԇ% QXRثAkˤ QYa]AmWculCl_LMWo31igrEN H6rX+bҪP~bw)Z5"ݠU:#t^_qsE<<2z EwEhOz͕r%Ans1[8 ^+_!LLb7 tc۬N#tKmȺ+N6d^[dlxWˬrfK}Yk=_\{p`PWY4a|md P-|Q}m+sS\U]Q)ݝޔzU,蹑&4$n/.lib_S{Q-KgX`8֪|i^ct=:d9)cqS$#fc!\L ̹ȱм߯a^ -Gmš$I~hۛb_8#ng[ h9r+J%jOKbo/ 6f%BS퉿(p#AI߫M֏Qe³[Ly7ݏ?]sd-ȴ{[JlUz-G߭'j;kxk;`zԮ:*u~riňRm7~5RJvGeʯ*Uܚ%Qk;ӻZjx[{B϶V.8ޞW}#&<=oڞs2SsyiTQbiAɁ56-iՊly!}CY bB>F2[2 endstream endobj 134 0 obj << /Type /Font /Subtype /Type1 /Encoding 468 0 R /FirstChar 84 /LastChar 111 /Widths 469 0 R /BaseFont /XYKHYG+MSBM10 /FontDescriptor 132 0 R >> endobj 132 0 obj << /Ascent 473 /CapHeight 689 /Descent 0 /FontName /XYKHYG+MSBM10 /ItalicAngle 0 /StemV 40 /XHeight 463 /FontBBox [-55 -420 2343 920] /Flags 4 /CharSet (/T/multicloseleft/multicloseright) /FontFile 133 0 R >> endobj 469 0 obj [667 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 799 ] endobj 468 0 obj << /Type /Encoding /Differences [ 0 /.notdef 84/T 85/.notdef 110/multicloseleft/multicloseright 112/.notdef] >> endobj 129 0 obj << /Length1 954 /Length2 2242 /Length3 532 /Length 2895 /Filter /FlateDecode >> stream xy~s9~y1r 4iHR0 $ BM FaiD1 @Hm=ZO &_ML$Jaɀ X5pX"`G@k?AjAHOрS cN:0RY%He%O!)^ KCԯMD5m_?- ogDuՊwV0 ec}FWU%Nd9eLXD%: ~|oD&WK ( ^޺g^wmYd+oZ±sG|5Hogt꣎Qt-G}Kdu.V %)6jfLFWL5nTc~@?BGNBPjIqE_<6 ѳ*ҷ #+$*'.jG]"62rn/뒚brĹ( 0vjbҫ(M #ǸG>p W ^s~ߤ1^NQ]g`=2#T:R89ީ)+ꢔJy hA˧J/ ΊW)i J9i>wOVLw)4uheH1eةw9ѽc Id X"aטLS!Rv t:xt|?lTDZpfOu^i4+6Psgft*7kMFC"rzW˜_>f]s Pv_tvJIR5\ %sm=f_ݱIujSU=*q!n,@!TtN-ˉT|\̈́j}Lﾓ7v@{⎈u)X9BwsKIՌ (㗲*W;G9Ok4+֥b+m>b|.d\S1T$:W_10T+d # ! M-,E%~ ʸ-JdLwf}vm4,nSpWnQy7,:o’\!:o^91Þ: ƓPz Şwdo\1` 61; 7? OCL ?_[ʵkIiN ޼9?Zw$;uBYeip]j!=t-2mJќ"%wfo 8\z`"CCg/0`r?L5 b Ҹ)\b3[,;x{=jy܏F: g}'krlzbd]1UYdB_'82Kx;?p W6׳S`SAk0:s҆{PrFDU\ q|4V#G*51əDkJm3J.-u3ENۄ} xws^(ouI F[-j5FַJHpra+4h&7/re6v=!O|4Ы}&kS~ΗpTlu\DqZFR٢XVB:;\'p.Px)K5?fڴH/oaoO](ǣ$/9V)mzr.?wAj]hk2;z9;׎)j[FrfHUctߐj.$Xt)zMR(Կm7R5~dWms0'%-A9`NUҧ7֋#|c6DNQ.nD\ڕ o|l9YTrqɨi/AP$X* zש}lnuv>(#X*BR} 4 endstream endobj 130 0 obj << /Type /Font /Subtype /Type1 /Encoding 470 0 R /FirstChar 6 /LastChar 93 /Widths 471 0 R /BaseFont /UXEMYF+CMR9 /FontDescriptor 128 0 R >> endobj 128 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /UXEMYF+CMR9 /ItalicAngle 0 /StemV 74 /XHeight 431 /FontBBox [-39 -250 1036 750] /Flags 4 /CharSet (/Sigma/parenleft/parenright/plus/zero/one/two/colon/equal/bracketleft/bracketright) /FontFile 129 0 R >> endobj 471 0 obj [742 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 400 400 0 799 0 0 0 0 514 514 514 0 0 0 0 0 0 0 286 0 0 799 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 286 0 286 ] endobj 470 0 obj << /Type /Encoding /Differences [ 0 /.notdef 6/Sigma 7/.notdef 40/parenleft/parenright 42/.notdef 43/plus 44/.notdef 48/zero/one/two 51/.notdef 58/colon 59/.notdef 61/equal 62/.notdef 91/bracketleft 92/.notdef 93/bracketright 94/.notdef] >> endobj 125 0 obj << /Length1 871 /Length2 1880 /Length3 532 /Length 2502 /Filter /FlateDecode >> stream xRyw‹:3Zrzmaw7߲.05ؽխƖ-u_ 1qb`EN㍛fXgk>ʨt[3 gi6i1|\{qǫv+UY!v>q)%LY8_Y7\( ߊJ] *Mb=/?p6 J2ۊن*eŒ@IӱW=/3Xˎj)KJה3Vm;m=7unB`<&GjxJ>[.,^!lt2E@WǢw?p95nS6bvNH=K.8(ujJ_ciMI_vd5; i%_ 3` (9]\kW5 >9k{'+9i 0zD]u&$fAP /oשTC AapGԻb5EZ3ծþ*ǹf'&l1M[&DGmr}ɐ<)`P{ N<&N ^oiҸũ nnEm=3"jt.6*U},Z/!{9 ]g|Wz}CO۫k$8~z]\4e"~{sЕ+.^ZRKr,ˆrTjG6yWƂ[B9ٿ.Ȱ3R$/_06ƹEd+"kx9P^ٯ\|q͈{ry|ي7rd6yfk LwN.2VP8VUL]jG҂FzfuqTbbnLuw ,ڋ%ܝpGGXY}Kҽ;]FF8krQh'Rk֩M;\,]9Sجz`F.ۛKLp J[{__77N+>D H4** endstream endobj 126 0 obj << /Type /Font /Subtype /Type1 /Encoding 472 0 R /FirstChar 40 /LastChar 61 /Widths 473 0 R /BaseFont /MDGGER+CMR6 /FontDescriptor 124 0 R >> endobj 124 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /MDGGER+CMR6 /ItalicAngle 0 /StemV 83 /XHeight 431 /FontBBox [-20 -250 1193 750] /Flags 4 /CharSet (/parenleft/parenright/zero/one/two/three/equal) /FontFile 125 0 R >> endobj 473 0 obj [481 481 0 0 0 0 0 0 611 611 611 611 0 0 0 0 0 0 0 0 0 935 ] endobj 472 0 obj << /Type /Encoding /Differences [ 0 /.notdef 40/parenleft/parenright 42/.notdef 48/zero/one/two/three 52/.notdef 61/equal 62/.notdef] >> endobj 96 0 obj << /Length1 1336 /Length2 9068 /Length3 532 /Length 9894 /Filter /FlateDecode >> stream xU\\۶.ww UBp{u91\%*B@[#=33@DNN~OI)2t25t9VV';+;;<%@ @-$N5 gd~06BVVp(A. <33hn03U-_a/ߋP]'{@[+wd(ozFY).le%oh_ˆV+ l3U@@sg\r22717w7w͝&V V>`TTRhhnn0IL LL/1c[)``.dAn{ 6N 0ukWYֆ00+[i 0Sheh'`C"~绡zWC,F?`CF?ކzwP7q;(w?5M律O=fgLކ?}6wS໲d~WKwK9pw|7r,Fn<¶n,zdglARv&.NV=c ?tޟfGr/Y6}Yɑ0$h3>x}֡iRD|fa^r*S4akTa ^DBsn|1;؋bDcD{L{åZ4lawbs ! H& R?؈{55-rfG_YgaԈ^ isu̘% TOk(V?68IH-kG^t>=wg?%J[@¶*6t;%K8-ďe #1(JG&Ll+V8gx =X7Fȟ=0+R并~L6-1ژI~QWfX2co`:)/OzkUF~S 1ϰ>#)A{Wx5j͠a'q. )wQӤo2{y*x g<Ɲo6*Hە.ՐnHZHhl;ǝK(7Mںޔ}ι2d<UȰW^Z<kl/Ҟk EM)%..~8TJIpʻiS:#<$$jOx z[꠺f,wsB`"(oY1[*JQ_:!'NG\Ujx]nD,0l̦3#_ *v_?~~SޮUbʪw4"9&>V |3]a;^!YNH&fFiĈ!jGTޡj@Ŋ.@?Qus-x.:BPpZQ!QHDMVq~ExVt#9>!q):{]t6A\`bo)VN@^&8N75!խٖ,AoJ%sǬacI'ͽjg@ 2z8It|4o%e(HO "6yεHS ǕY^a.mϬ>XWd[[] $1LQL;|n0>A BjȺb!\q7ⰺ|h]џ9䟎vtrh_SQdKjϡ=HԿW;Ry(BmSL ָq0Y3v u:9D)'ElrSgdFWeDd0MP™ J&3(+1(Jf B5hG=?txЌaGcTyӃIQ#EI{Ν_]6bd"b*٘x7Y-,Cv;Ucܸd%i uWAG0Grjd#n{ؔEθ6C\ڋCUpg=Z5 GHӯDu(6 hvTvc(MeR[Hrp;>UP#AhʹBx?1Sޤzo2pNth_SoQ(Y4=*,ŞU5"cžÇ|KᰜGROlh(l>,R~=}ׄlCQoTB]V)ѧh]L[rHІLŒsfY{b(@7CVEAApc-&9ȗt݆ih.f$}B!A -.G~0ۄ$pfEzuËyIX(܂ i#&㟢y= ip D;qvΊʐ:ڢIZ~[ut ~\k ~T !_8-jWW- $cinOwg'oLël"T"4N*[pWfpcT[[^d ;!zvG#Q&Gjߩ/"?P ?-_ l\"FM$}f|6Bb7F7v釳@iC6)k~C[N$p5? l[-[12agd_CUT5R?%'2E> GHg sSu짎DN۽?Kmq*tc9#/3{H-3?%W_mm~H;f It&Ek= zL勪~\m[ۥW2ԟ9ˬlb獟jANB1!&A"鲄tz`Ҧ $Ÿfo(BΔ #׭nWVWIA}"`ZJ_L)X.ŎFWBG+p -j?h5M*ħQtBG-)֫NU0V|p^{Rۏ hcȂ藈S}hݧۤfW0,!`֕`LX 4 Jq7zy]߰mnD~,! At[s"ܪt.FD+hn|5.?L/NcG(gݑaIvimO_Pb!Pq0;xX(M_cNN{J~xUCؽ zmrKuH{Yw#]^ǭOj)Cv łUl2*rpa=ĩNbJ7CɣtJ^J^}El[lv*t8rMH2 R[bhA#N "/!*th@;I_vHX@؉+j)Dnjot}>jRӎIث?ziÉ;("#9o 5&A;/^i+:DВ%LOt:La9wpi7m 另ʒQo؈VyEapϲ;TsY|ȺjZw ɹ/%8׃f9xPNC>14ca)0h:bnP~+Ja!C7>YJ#|}r+qca|/[QQ7C4ը)ґ uðlCP"B]ݷ,{MT2 hBebe9cJK$Y͒y4Sj/oA⎯q&\$h=x0!#T oz-0Qvzĝ OOS {u"oy`c-ڮ,!AGd/qr[ Mҷs}q3*d͏ :bN'KQGͰ%ڽ!/U壅Llغh/[茮&Ԫelwr`-ӕZf:4`/`>^ºpMḎEԜ߲G^^\ɂVS@&/-Ū ԉs6a{ZSNJ/>ƊKB[j FPT n  ʊmA4FU3b$ad ^,uu <ՈNSqp]"}.͵+/jz O![5t4XMo0ɉvVm̢8\_q8YMZsK~e+rzbPM$V!ȀRI5*k>~m{!0gІe?%]SINsg.? TJWxQ+= h>(hqۀ\̴?_nTC\r~RW$m5A![DP&J޸FU:W~Z2kn x$ }w0|[Df@{'S1*/AOH;u#khN4gO3? ]uƅ:V.fyb5 2ppɏ)7 j&=cѝ$}=7*##+{w؅`Cl#4JpX}`g,=bST7]=My Lq"stpd=8WuXKc8Kw-E8szɥ@Ϸ 2m0zSK_EyJ,4/A3Ί}؄"LȉviYKx6 G(ӴTS5H=uAG( -;c%Q6P1 F/p:L0|&eˇA3z>a:ƫSE/՜ PUJn1mDOC*,η.iEbN @|tVt(l*0K7s~|AlSNɦg׻_3 E#0~0+36 ^#><ؼǎy;[IbQNDl9p/ZSAk a@.B?_LT96?'e,OȐWV/XJFTR!̶EdFY\'nK(|<Q-r~s̲ DFhCO N-zoΆxwńL`m H&^dː̹"Bjeee^qU303 MbO>J]˟Lmr|f0Ty꫋덀?Z@ek>oFl&;T:AP|Wo9]zSz4z tg@pxxd"m1*bED@Fw/֩yL4g]= /*b <b+^\"nģc%q~I(tH6 ]U VلnCvZΕa|SU)oWrrz ޽`Z6.wq=J JS@7E f(abQC "u@ ֽݘ1#nJ3U29 ?!`l2tp6t/ endstream endobj 97 0 obj << /Type /Font /Subtype /Type1 /Encoding 474 0 R /FirstChar 13 /LastChar 122 /Widths 475 0 R /BaseFont /QIHQSK+CMMI9 /FontDescriptor 95 0 R >> endobj 95 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /QIHQSK+CMMI9 /ItalicAngle -14.04 /StemV 74 /XHeight 431 /FontBBox [-29 -250 1075 750] /Flags 4 /CharSet (/gamma/eta/phi/period/comma/slash/A/D/E/F/G/H/J/L/M/O/P/Q/T/V/a/b/c/d/e/f/i/j/m/n/p/r/t/u/v/w/x/y/z) /FontFile 96 0 R >> endobj 475 0 obj [531 0 0 0 513 0 0 0 0 0 0 0 0 0 0 0 0 612 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 286 286 0 514 0 0 0 771 0 0 848 756 656 805 850 0 566 0 699 993 0 782 656 811 0 0 600 0 599 0 0 0 0 0 0 0 0 0 0 545 440 445 533 478 499 0 0 352 420 0 0 906 620 0 516 0 464 0 371 591 499 737 583 506 478 ] endobj 474 0 obj << /Type /Encoding /Differences [ 0 /.notdef 13/gamma 14/.notdef 17/eta 18/.notdef 30/phi 31/.notdef 58/period/comma 60/.notdef 61/slash 62/.notdef 65/A 66/.notdef 68/D/E/F/G/H 73/.notdef 74/J 75/.notdef 76/L/M 78/.notdef 79/O/P/Q 82/.notdef 84/T 85/.notdef 86/V 87/.notdef 97/a/b/c/d/e/f 103/.notdef 105/i/j 107/.notdef 109/m/n 111/.notdef 112/p 113/.notdef 114/r 115/.notdef 116/t/u/v/w/x/y/z 123/.notdef] >> endobj 92 0 obj << /Length1 775 /Length2 650 /Length3 532 /Length 1210 /Filter /FlateDecode >> stream xSU uLOJu+53Rp 4W03RUu.JM,sI,IR04Tp,MW04U002225RUp/,L(Qp)2WpM-LNSM,HZRQZZTeh\ǥrg^Z9D8&UZT tБ @'T*qJB7ܭ4'/1d<(0s3s* s JKR|SRЕB曚Y.Y옗khg`l ,vˬHM ,IPHK)N楠;z`{:jCb,WRY`P "0*ʬP6300*B+.׼̼t#S3ĢJ.QF Ն y) @(CV!-  əE9ɠ8+ra)Zt-M  L-jQez(XB<\ZTWNE2ZuZ~uKmm+\_XŪڗ7D쨛Rl:/P1dɫϾ(l=Uhd_OܗEkv-X1tލ`i_y. 1dz:un~Q?3/S}] $e~s]F1ʻ/zO]3EQ^Y^QgI\L!~y?hKDgV;Ow_df|fg81`5q-aK_jV^,u ꏌYuU~5g!'ɴm,簬?ZؗɎ3w#hu=xĦd'zSA=L{]sk+$h>fsغ6FۧZ #_xqktNӟu&+b6R=-%> endobj 91 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /IATUDU+CMSY7 /ItalicAngle -14.035 /StemV 93 /XHeight 431 /FontBBox [-15 -951 1252 782] /Flags 4 /CharSet (/circlecopyrt) /FontFile 92 0 R >> endobj 477 0 obj [1139 ] endobj 476 0 obj << /Type /Encoding /Differences [ 0 /.notdef 13/circlecopyrt 14/.notdef] >> endobj 478 0 obj << /Type /Encoding /Differences [ 0 /.notdef 1/dotaccent/fi/fl/fraction/hungarumlaut/Lslash/lslash/ogonek/ring 10/.notdef 11/breve/minus 13/.notdef 14/Zcaron/zcaron/caron/dotlessi/dotlessj/ff/ffi/ffl/notequal/infinity/lessequal/greaterequal/partialdiff/summation/product/pi/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 127/.notdef 128/Euro/integral/quotesinglbase/florin/quotedblbase/ellipsis/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE/Omega/radical/approxequal 144/.notdef 147/quotedblleft/quotedblright/bullet/endash/emdash/tilde/trademark/scaron/guilsinglright/oe/Delta/lozenge/Ydieresis 160/.notdef 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 89 0 obj << /Length1 1666 /Length2 6069 /Length3 532 /Length 6936 /Filter /FlateDecode >> stream xWgT\H ^!;H -iMHtPz/( HH)6Wgמ͟yy9ah"qcxa1<@rcP9]ac@KQa< 0G] .0Xw356=H~x,  ׁ&0 8!0RK_o Ѐa$tP8a?vD* 'BR E`PK87!h<x "=%@;a~'un>!AX1o#C:P8x75+Zh' @ A|fFaN<SY'Ay5qz{+Aώ  .עABK @OQmڢq po!u8AaHFwkb@_|PW/!`hǿVAw  +dMabH =, 7>s=?UU1?a1iY5RߐYwGx@ P_`PA2CЎo@y pw' %AϿ RNa !.Ϟ+[.v?V ,Ǵ ~i?gN #>62j#++kxj!m[`̌Q$ tdW2-*pg1N%Akwbyc<冪{UҽKm[TYNYh[7xp2 IkIxlۤ).n`{,ܬ~<9|WtI|S(s~eq,}J9.J`j]QSf(R%/тD+!HF뉝(22;מEI֬e#RMBD+4S-G"ԎgJ8_sQLl+~/Զ$rΗNSҫQ[,^O#xjkj5dNN|] b5_ѥZxI3/#cDf6$R'scaаg;Oեګ-XYaSC5Ԙ;:oPuKXL7r]D`f:kj{/:eƹ"UӌLx+[ĆҽD0kYo5 {LPyavq(TעtR%g[M(āed J8*]^0xuVвRnID-}[ QtGV69#ޥ-`F }g']9/)oKGo4%3͈"W]O4"ފK供bί4@/\Lt!@=f<{& (c@(y&e?-PQfEoƄ5TA3W}Rk_'g1sZOl Ym9i5l(G5B33) 6bu>$窸Hܣo0}]Kf7]r93<]QYTJښВP-ɾH6Jkvݥfc*/?2H0\xiaNνE@9íh2l`$h-z Hg޹#7ೖI[.y)ԗ`.tIxKC*6j7s]:VdG*5k9Sk1vHbr,,LXajP9XN3S!pK%IOD)4msnu^gb!^׶oIHۈT[JAj~RSnRD  7K6Tu({?3;Tu(X@Njу簦ӂ-)]޿]\=j~p; NfcMX>8xB@wsZ6“73N [TzQtѾ@5jG[74jFtx/1rsyCđ"UZ+?++w=g[:bb]![9ڂ"WN8%&wZ$K~T 8Y_4еZZmVDh'KkFo].5r>/rˌd)hB;ށ5+ivhU-,㻡0Jp`Q&T(*0;qKfy\ %4x6юf;iG- j![{"I^Ÿ󽢑3u }}uuH~L7ه_O\Hj]m"kT+ IJْj20/H&?YhYT`g~x/MQDiTv-/8ՐGJrvr  sm>S2,$ahdI/-Y;j+Qp&#vNT~_B֛OWzn1l3y1:_SS8{ goe45|!ռez;4eu7١,CB*\fK vLwޗ M@Ox[v䈴3J됗lV<]i| @$H1s`k 13~2m=30[q wÓmxW|7<|4E/dPYR;)Roנi»Tŀc,0ן-Mi˜yLD-4"^bo|Iz(߫u_@!Ø1Qc4 IzǛ8t"ۗ7)R; ݞNJ-Z҇7RWM4瞺 r0m7[E_X *()v_e&w\dcqkJ HЬT]U m ;"aw<qwh endstream endobj 90 0 obj << /Type /Font /Subtype /Type1 /Encoding 478 0 R /FirstChar 39 /LastChar 80 /Widths 479 0 R /BaseFont /HXFCXZ+NimbusRomNo9L-Regu-Slant_167 /FontDescriptor 88 0 R >> endobj 88 0 obj << /Ascent 678 /CapHeight 651 /Descent -216 /FontName /HXFCXZ+NimbusRomNo9L-Regu-Slant_167 /ItalicAngle -9 /StemV 85 /XHeight 450 /FontBBox [-168 -281 1000 924] /Flags 4 /CharSet (/quoteright/zero/six/D/I/L/P) /FontFile 89 0 R >> endobj 479 0 obj [333 0 0 0 0 0 0 0 0 500 0 0 0 0 0 500 0 0 0 0 0 0 0 0 0 0 0 0 0 722 0 0 0 0 333 0 0 611 0 0 0 556 ] endobj 84 0 obj << /Type /Font /Subtype /Type1 /Encoding 478 0 R /BaseFont /Times-Italic >> endobj 82 0 obj << /Type /Font /Subtype /Type1 /Encoding 478 0 R /BaseFont /Times-BoldItalic >> endobj 76 0 obj << /Length1 971 /Length2 2627 /Length3 532 /Length 3287 /Filter /FlateDecode >> stream xy<{Gh*{{qelg!Ɍ3c 0ƞ'ًdM!ٗ,Qإ zFwy=~uݷ$VMdؓ t/g?S, oUw3fWIl p8ȾzaStHL7=lBB'0L`_5LN;U ' N{HEY#k0?v#B$B5F݅l)?Ȟ=c]0w![mmv!ۣ.d+{~.W^E WDw wy:՝d p;Q;I H^$dAv/ ?6SC⺮9Y-&EDA)Ω_EV]1o3X rг=qy*ѧn%{E˵9H֜֙M)s[Ls CA6%I*8D")%(/5'\9lēv x502*w m/ogãJԇ/yՑP!LbJ|>OH^~|[(Ƚ2ֳ>v&mp pF{}p. z R"k]K[ZlZ^k *X BԵ4/;WwQCmw-;ԉ@x[rg&fz:EU bep(_tjA]B#Hb$ 5~t egnuλ^vRѰ$Z}dOYȓWq.Qt"&`𳲛/O5?\Ӳ(!`Z?נfwEvdZD>_8`h1f&\y_pvoxPpGz @ s%NmYK&QMݽb}: ٶGźJQ;Ғ8cߊo ?h|tpo̐c!΢B6_Rp,/V1Q XP~*lhO./B>Ye!Ui)Zw䦪 H?:`9n5F/K, A *K8fxN5^z8]%򮸊fPnp/b\1iŗЕu@qTg7>HmhDَ8{[yb(Jx 7g<U]]So % &8XX+л 0lQց6 }aG!`oRXwEwνh㒅ph;NWs}mNT}Mb=2=6\ˇ8§[!%&ʚwE  oM 3U FgrN-]=:nUkS~f_f 6eeJP nyG pɟlVyIMLĕЊ{8:/f ?2|Sѿq)lq"ImWlCqoA/UCw`Y%9AK(K=,~",N$f}Xx}Sm1uj ^oSu?rHZPHϨ|}StGj*T ­}>^h-2}F_{r[KJĚJ;YHu{ؾ?^ G$<Šΐ endstream endobj 77 0 obj << /Type /Font /Subtype /Type1 /Encoding 480 0 R /FirstChar 46 /LastChar 119 /Widths 481 0 R /BaseFont /FDQVAU+CMSS9 /FontDescriptor 75 0 R >> endobj 75 0 obj << /Ascent 694 /CapHeight 694 /Descent -194 /FontName /FDQVAU+CMSS9 /ItalicAngle 0 /StemV 83 /XHeight 444 /FontBBox [-63 -250 1027 760] /Flags 4 /CharSet (/period/at/a/c/f/g/i/l/m/o/r/s/t/u/w) /FontFile 76 0 R >> endobj 481 0 obj [286 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 685 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 494 0 457 0 0 314 514 0 245 0 0 245 816 0 514 0 0 351 394 371 531 0 702 ] endobj 480 0 obj << /Type /Encoding /Differences [ 0 /.notdef 46/period 47/.notdef 64/at 65/.notdef 97/a 98/.notdef 99/c 100/.notdef 102/f/g 104/.notdef 105/i 106/.notdef 108/l/m 110/.notdef 111/o 112/.notdef 114/r/s/t/u 118/.notdef 119/w 120/.notdef] >> endobj 74 0 obj << /Type /Font /Subtype /Type1 /Encoding 478 0 R /BaseFont /Times-Roman >> endobj 72 0 obj << /Type /Font /Subtype /Type1 /Encoding 478 0 R /BaseFont /Times-Bold >> endobj 103 0 obj << /Type /Pages /Count 6 /Parent 482 0 R /Kids [66 0 R 119 0 R 171 0 R 188 0 R 221 0 R 256 0 R] >> endobj 336 0 obj << /Type /Pages /Count 5 /Parent 482 0 R /Kids [290 0 R 340 0 R 372 0 R 396 0 R 409 0 R] >> endobj 482 0 obj << /Type /Pages /Count 11 /Kids [103 0 R 336 0 R] >> endobj 483 0 obj << /Type /Outlines /First 7 0 R /Last 63 0 R /Count 9 >> endobj 63 0 obj << /Title 64 0 R /A 61 0 R /Parent 483 0 R /Prev 59 0 R >> endobj 59 0 obj << /Title 60 0 R /A 57 0 R /Parent 483 0 R /Prev 55 0 R /Next 63 0 R >> endobj 55 0 obj << /Title 56 0 R /A 53 0 R /Parent 483 0 R /Prev 51 0 R /Next 59 0 R >> endobj 51 0 obj << /Title 52 0 R /A 49 0 R /Parent 483 0 R /Prev 39 0 R /Next 55 0 R >> endobj 47 0 obj << /Title 48 0 R /A 45 0 R /Parent 39 0 R /Prev 43 0 R >> endobj 43 0 obj << /Title 44 0 R /A 41 0 R /Parent 39 0 R /Next 47 0 R >> endobj 39 0 obj << /Title 40 0 R /A 37 0 R /Parent 483 0 R /Prev 19 0 R /Next 51 0 R /First 43 0 R /Last 47 0 R /Count -2 >> endobj 35 0 obj << /Title 36 0 R /A 33 0 R /Parent 19 0 R /Prev 31 0 R >> endobj 31 0 obj << /Title 32 0 R /A 29 0 R /Parent 19 0 R /Prev 27 0 R /Next 35 0 R >> endobj 27 0 obj << /Title 28 0 R /A 25 0 R /Parent 19 0 R /Prev 23 0 R /Next 31 0 R >> endobj 23 0 obj << /Title 24 0 R /A 21 0 R /Parent 19 0 R /Next 27 0 R >> endobj 19 0 obj << /Title 20 0 R /A 17 0 R /Parent 483 0 R /Prev 15 0 R /Next 39 0 R /First 23 0 R /Last 35 0 R /Count -4 >> endobj 15 0 obj << /Title 16 0 R /A 13 0 R /Parent 483 0 R /Prev 11 0 R /Next 19 0 R >> endobj 11 0 obj << /Title 12 0 R /A 9 0 R /Parent 483 0 R /Prev 7 0 R /Next 15 0 R >> endobj 7 0 obj << /Title 8 0 R /A 5 0 R /Parent 483 0 R /Next 11 0 R >> endobj 484 0 obj << /Names [(Doc-Start) 78 0 R (Hfootnote.1) 204 0 R (Hfootnote.2) 378 0 R (cite.CFGPR97:TOPLAS) 405 0 R (cite.ChangLeino05:VMCAI) 392 0 R (cite.Cousot77) 114 0 R (cite.Cousot78) 217 0 R (cite.Cousot79) 115 0 R (cite.Cousot:ln) 116 0 R (cite.GN04:sas) 168 0 R (cite.GT05) 185 0 R (cite.GiacobazziRanzato97:ICALP) 406 0 R (cite.GiacobazziRanzatoScozzari00:JACM) 407 0 R (cite.Gulwani:Necula03) 215 0 R (cite.Gulwani:Necula04) 218 0 R (cite.GulwaniTiwariNecula04:FSTTCS) 337 0 R (cite.Karr76) 167 0 R (cite.NelsonOppen79) 169 0 R (cite.NoteOnKarr) 216 0 R (cite.RSY04:VMCAI) 394 0 R (cite.codish) 391 0 R (cite.full-paper) 338 0 R (cite.lerner) 393 0 R (cite.program-analysis-book) 117 0 R (claim.1) 328 0 R (claim.2) 376 0 R (definition.1) 192 0 R (definition.2) 200 0 R (definition.3) 276 0 R (definition.4) 323 0 R (equation.1) 413 0 R (equation.2) 414 0 R (equation.3) 415 0 R (equation.4) 424 0 R (equation.5) 426 0 R (equation.6) 428 0 R (equation.8) 430 0 R (equation.9) 432 0 R (figure.1) 94 0 R (figure.2) 177 0 R (figure.3) 191 0 R (figure.4) 201 0 R (figure.5) 231 0 R (figure.6) 254 0 R (figure.7) 314 0 R (figure.8) 354 0 R (page.1) 70 0 R (page.10) 398 0 R (page.11) 411 0 R (page.2) 121 0 R (page.3) 173 0 R (page.4) 190 0 R (page.5) 223 0 R (page.6) 258 0 R (page.7) 292 0 R (page.8) 342 0 R (page.9) 374 0 R (programline.1.1) 259 0 R (programline.1.10) 271 0 R (programline.1.11) 272 0 R (programline.1.12) 273 0 R (programline.1.2) 263 0 R (programline.1.3) 264 0 R (programline.1.4) 265 0 R (programline.1.5) 266 0 R (programline.1.6) 267 0 R (programline.1.7) 268 0 R (programline.1.8) 269 0 R (programline.1.9) 270 0 R (programline.2.1) 293 0 R (programline.2.10) 302 0 R (programline.2.2) 294 0 R (programline.2.3) 295 0 R (programline.2.4) 296 0 R (programline.2.5) 297 0 R (programline.2.6) 298 0 R (programline.2.7) 299 0 R (programline.2.8) 300 0 R (programline.2.9) 301 0 R (programline.3.1) 303 0 R (programline.3.10) 312 0 R (programline.3.11) 313 0 R (programline.3.2) 304 0 R (programline.3.3) 305 0 R (programline.3.4) 306 0 R (programline.3.5) 307 0 R (programline.3.6) 308 0 R (programline.3.7) 309 0 R (programline.3.8) 310 0 R (programline.3.9) 311 0 R (property.1) 184 0 R (section*.1) 79 0 R (section*.2) 80 0 R (section*.3) 85 0 R (section*.4) 86 0 R (section*.5) 403 0 R (section*.6) 404 0 R (section.1) 6 0 R (section.2) 10 0 R (section.3) 14 0 R (section.4) 18 0 R (section.5) 38 0 R (section.6) 50 0 R (section.7) 54 0 R (section.A) 58 0 R (section.B) 62 0 R (subsection.4.1) 22 0 R (subsection.4.2) 26 0 R (subsection.4.3) 30 0 R (subsection.4.4) 34 0 R (subsection.5.1) 42 0 R (subsection.5.2) 46 0 R (theorem.1) 227 0 R (theorem.2) 318 0 R (theorem.3) 321 0 R (theorem.4) 346 0 R (theorem.5) 347 0 R (theorem.6) 353 0 R] /Limits [(Doc-Start) (theorem.6)] >> endobj 485 0 obj << /Kids [484 0 R] >> endobj 486 0 obj << /Dests 485 0 R >> endobj 487 0 obj << /Type /Catalog /Pages 482 0 R /Outlines 483 0 R /Names 486 0 R /PageMode /UseOutlines /OpenAction 65 0 R >> endobj 488 0 obj << /Author()/Title()/Subject()/Creator(LaTeX with hyperref package)/Producer(pdfeTeX-1.20a)/Keywords() /CreationDate (D:20060322165742-08'00') >> endobj xref 0 489 0000000001 65535 f 0000000002 00000 f 0000000003 00000 f 0000000004 00000 f 0000000071 00000 f 0000000009 00000 n 0000018388 00000 n 0000237842 00000 n 0000000054 00000 n 0000000084 00000 n 0000029145 00000 n 0000237756 00000 n 0000000129 00000 n 0000000158 00000 n 0000058352 00000 n 0000237668 00000 n 0000000204 00000 n 0000000261 00000 n 0000084027 00000 n 0000237543 00000 n 0000000307 00000 n 0000000382 00000 n 0000095720 00000 n 0000237469 00000 n 0000000433 00000 n 0000000476 00000 n 0000107501 00000 n 0000237382 00000 n 0000000527 00000 n 0000000592 00000 n 0000119445 00000 n 0000237295 00000 n 0000000643 00000 n 0000000685 00000 n 0000119621 00000 n 0000237221 00000 n 0000000736 00000 n 0000000765 00000 n 0000128371 00000 n 0000237096 00000 n 0000000811 00000 n 0000000869 00000 n 0000128423 00000 n 0000237022 00000 n 0000000920 00000 n 0000000960 00000 n 0000128541 00000 n 0000236948 00000 n 0000001011 00000 n 0000001053 00000 n 0000128658 00000 n 0000236860 00000 n 0000001099 00000 n 0000001130 00000 n 0000136804 00000 n 0000236772 00000 n 0000001176 00000 n 0000001221 00000 n 0000138257 00000 n 0000236684 00000 n 0000001267 00000 n 0000001304 00000 n 0000146902 00000 n 0000236609 00000 n 0000001350 00000 n 0000001387 00000 n 0000006165 00000 n 0000006331 00000 n 0000018502 00000 n 0000001437 00000 n 0000018062 00000 n 0000000073 00000 f 0000236150 00000 n 0000000081 00000 f 0000236059 00000 n 0000235377 00000 n 0000231811 00000 n 0000235218 00000 n 0000018113 00000 n 0000018168 00000 n 0000018223 00000 n 0000000083 00000 f 0000231715 00000 n 0000000000 00000 f 0000231623 00000 n 0000018278 00000 n 0000018333 00000 n 0000017127 00000 n 0000231259 00000 n 0000224021 00000 n 0000231078 00000 n 0000221803 00000 n 0000220316 00000 n 0000221645 00000 n 0000018442 00000 n 0000219273 00000 n 0000209099 00000 n 0000219114 00000 n 0000017281 00000 n 0000017436 00000 n 0000017591 00000 n 0000017760 00000 n 0000017914 00000 n 0000236240 00000 n 0000008749 00000 n 0000008981 00000 n 0000009018 00000 n 0000009367 00000 n 0000009784 00000 n 0000009994 00000 n 0000010080 00000 n 0000012756 00000 n 0000013032 00000 n 0000013293 00000 n 0000137207 00000 n 0000137269 00000 n 0000137145 00000 n 0000138134 00000 n 0000029206 00000 n 0000026064 00000 n 0000018683 00000 n 0000029092 00000 n 0000026332 00000 n 0000026486 00000 n 0000208627 00000 n 0000205845 00000 n 0000208468 00000 n 0000026642 00000 n 0000205093 00000 n 0000201919 00000 n 0000204935 00000 n 0000026798 00000 n 0000201482 00000 n 0000199114 00000 n 0000201320 00000 n 0000197818 00000 n 0000192653 00000 n 0000197658 00000 n 0000026954 00000 n 0000027103 00000 n 0000027263 00000 n 0000027414 00000 n 0000027565 00000 n 0000027717 00000 n 0000027869 00000 n 0000028021 00000 n 0000028173 00000 n 0000028323 00000 n 0000028475 00000 n 0000028627 00000 n 0000028788 00000 n 0000028940 00000 n 0000192218 00000 n 0000189833 00000 n 0000192057 00000 n 0000189498 00000 n 0000187224 00000 n 0000189339 00000 n 0000186652 00000 n 0000184657 00000 n 0000186491 00000 n 0000184338 00000 n 0000182919 00000 n 0000184178 00000 n 0000182202 00000 n 0000174713 00000 n 0000182041 00000 n 0000137886 00000 n 0000137641 00000 n 0000138072 00000 n 0000038759 00000 n 0000037658 00000 n 0000029429 00000 n 0000038583 00000 n 0000173983 00000 n 0000167438 00000 n 0000173822 00000 n 0000038636 00000 n 0000166867 00000 n 0000037822 00000 n 0000037973 00000 n 0000038123 00000 n 0000038272 00000 n 0000038423 00000 n 0000038697 00000 n 0000137703 00000 n 0000046657 00000 n 0000058644 00000 n 0000046461 00000 n 0000039008 00000 n 0000058238 00000 n 0000058291 00000 n 0000058408 00000 n 0000056828 00000 n 0000056981 00000 n 0000057145 00000 n 0000057303 00000 n 0000057459 00000 n 0000057623 00000 n 0000057779 00000 n 0000058464 00000 n 0000058520 00000 n 0000057933 00000 n 0000058084 00000 n 0000058582 00000 n 0000048450 00000 n 0000048682 00000 n 0000048719 00000 n 0000049068 00000 n 0000049485 00000 n 0000049695 00000 n 0000049781 00000 n 0000052457 00000 n 0000052733 00000 n 0000052994 00000 n 0000137517 00000 n 0000138010 00000 n 0000137331 00000 n 0000137579 00000 n 0000066897 00000 n 0000084145 00000 n 0000066677 00000 n 0000058908 00000 n 0000083912 00000 n 0000082087 00000 n 0000082241 00000 n 0000082390 00000 n 0000083965 00000 n 0000082541 00000 n 0000082696 00000 n 0000082848 00000 n 0000084083 00000 n 0000082999 00000 n 0000083150 00000 n 0000083300 00000 n 0000083457 00000 n 0000083608 00000 n 0000083762 00000 n 0000068943 00000 n 0000069175 00000 n 0000069212 00000 n 0000069385 00000 n 0000069802 00000 n 0000070151 00000 n 0000070325 00000 n 0000070535 00000 n 0000070621 00000 n 0000073297 00000 n 0000073565 00000 n 0000073826 00000 n 0000074102 00000 n 0000074365 00000 n 0000076173 00000 n 0000080007 00000 n 0000095659 00000 n 0000095838 00000 n 0000092454 00000 n 0000084422 00000 n 0000094876 00000 n 0000094929 00000 n 0000164625 00000 n 0000160093 00000 n 0000164464 00000 n 0000094989 00000 n 0000095050 00000 n 0000095111 00000 n 0000095172 00000 n 0000095233 00000 n 0000095294 00000 n 0000095355 00000 n 0000095416 00000 n 0000095477 00000 n 0000095538 00000 n 0000095599 00000 n 0000092690 00000 n 0000092847 00000 n 0000095776 00000 n 0000093004 00000 n 0000093155 00000 n 0000093313 00000 n 0000093471 00000 n 0000093622 00000 n 0000093780 00000 n 0000093937 00000 n 0000094095 00000 n 0000094253 00000 n 0000094410 00000 n 0000094568 00000 n 0000094727 00000 n 0000107686 00000 n 0000103556 00000 n 0000096100 00000 n 0000105986 00000 n 0000106039 00000 n 0000106096 00000 n 0000106157 00000 n 0000106218 00000 n 0000106279 00000 n 0000106340 00000 n 0000106401 00000 n 0000106462 00000 n 0000106523 00000 n 0000106584 00000 n 0000106645 00000 n 0000106706 00000 n 0000106767 00000 n 0000106828 00000 n 0000106889 00000 n 0000106950 00000 n 0000107011 00000 n 0000107072 00000 n 0000107133 00000 n 0000107194 00000 n 0000107255 00000 n 0000107316 00000 n 0000103792 00000 n 0000103968 00000 n 0000104120 00000 n 0000107377 00000 n 0000104271 00000 n 0000104423 00000 n 0000107439 00000 n 0000104581 00000 n 0000107562 00000 n 0000104731 00000 n 0000104882 00000 n 0000105040 00000 n 0000105198 00000 n 0000107624 00000 n 0000159641 00000 n 0000157225 00000 n 0000159478 00000 n 0000105356 00000 n 0000105513 00000 n 0000105670 00000 n 0000105828 00000 n 0000236356 00000 n 0000137824 00000 n 0000137764 00000 n 0000119682 00000 n 0000116736 00000 n 0000107961 00000 n 0000119273 00000 n 0000116980 00000 n 0000117128 00000 n 0000117277 00000 n 0000119326 00000 n 0000119383 00000 n 0000117435 00000 n 0000117586 00000 n 0000117743 00000 n 0000117894 00000 n 0000118048 00000 n 0000119501 00000 n 0000119561 00000 n 0000118206 00000 n 0000118361 00000 n 0000118513 00000 n 0000118664 00000 n 0000156918 00000 n 0000154828 00000 n 0000156758 00000 n 0000154520 00000 n 0000152548 00000 n 0000154360 00000 n 0000152111 00000 n 0000149728 00000 n 0000151950 00000 n 0000118815 00000 n 0000118971 00000 n 0000119122 00000 n 0000128719 00000 n 0000126382 00000 n 0000119943 00000 n 0000128318 00000 n 0000126594 00000 n 0000128479 00000 n 0000126748 00000 n 0000128597 00000 n 0000149420 00000 n 0000147476 00000 n 0000149260 00000 n 0000126895 00000 n 0000127045 00000 n 0000127200 00000 n 0000127356 00000 n 0000127512 00000 n 0000127666 00000 n 0000127831 00000 n 0000128007 00000 n 0000128161 00000 n 0000137030 00000 n 0000136973 00000 n 0000137948 00000 n 0000138196 00000 n 0000138318 00000 n 0000135929 00000 n 0000128891 00000 n 0000136751 00000 n 0000136085 00000 n 0000136247 00000 n 0000136399 00000 n 0000136572 00000 n 0000136860 00000 n 0000136917 00000 n 0000137087 00000 n 0000137393 00000 n 0000137455 00000 n 0000147265 00000 n 0000144125 00000 n 0000138528 00000 n 0000146667 00000 n 0000144369 00000 n 0000146720 00000 n 0000146780 00000 n 0000146840 00000 n 0000144522 00000 n 0000144675 00000 n 0000144828 00000 n 0000144981 00000 n 0000145137 00000 n 0000145290 00000 n 0000145443 00000 n 0000145600 00000 n 0000146957 00000 n 0000145756 00000 n 0000147018 00000 n 0000145906 00000 n 0000147080 00000 n 0000146059 00000 n 0000147141 00000 n 0000146212 00000 n 0000147203 00000 n 0000146364 00000 n 0000146514 00000 n 0000149646 00000 n 0000149622 00000 n 0000152419 00000 n 0000152335 00000 n 0000154746 00000 n 0000154722 00000 n 0000157143 00000 n 0000157119 00000 n 0000159973 00000 n 0000159849 00000 n 0000165086 00000 n 0000164878 00000 n 0000165361 00000 n 0000165709 00000 n 0000166075 00000 n 0000166498 00000 n 0000167116 00000 n 0000167262 00000 n 0000167363 00000 n 0000174428 00000 n 0000174236 00000 n 0000182648 00000 n 0000182458 00000 n 0000184570 00000 n 0000184546 00000 n 0000187049 00000 n 0000186903 00000 n 0000189739 00000 n 0000189707 00000 n 0000192524 00000 n 0000192442 00000 n 0000198584 00000 n 0000198299 00000 n 0000201790 00000 n 0000201708 00000 n 0000205587 00000 n 0000205369 00000 n 0000208945 00000 n 0000208867 00000 n 0000219888 00000 n 0000219570 00000 n 0000222040 00000 n 0000222015 00000 n 0000222133 00000 n 0000231505 00000 n 0000235804 00000 n 0000235606 00000 n 0000236465 00000 n 0000236535 00000 n 0000237914 00000 n 0000240732 00000 n 0000240771 00000 n 0000240809 00000 n 0000240938 00000 n trailer << /Size 489 /Root 487 0 R /Info 488 0 R /ID [<155F9CBB1AFE9863EA74431F5EF43113> <155F9CBB1AFE9863EA74431F5EF43113>] >> startxref 241101 %%EOF