%PDF-1.3 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 (Random Interpretation of Operators) endobj 17 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 20 0 obj (Random k-Linear Interpretations) endobj 21 0 obj << /S /GoTo /D (section.4) >> endobj 24 0 obj (The Random Interpreter R) endobj 25 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 28 0 obj (Notation) endobj 29 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 32 0 obj (The Random Interpreter Algorithm) endobj 33 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 36 0 obj (Completeness and Soundness Theorems) endobj 37 0 obj << /S /GoTo /D (subsubsection.4.3.1) >> endobj 40 0 obj (The Symbolic Random Interpreter ) endobj 41 0 obj << /S /GoTo /D (subsubsection.4.3.2) >> endobj 44 0 obj (The Abstract Interpreter A) endobj 45 0 obj << /S /GoTo /D (subsection.4.4) >> endobj 48 0 obj (Fixed Point Computation) endobj 49 0 obj << /S /GoTo /D (subsection.4.5) >> endobj 52 0 obj (Computational Complexity) endobj 53 0 obj << /S /GoTo /D (section.5) >> endobj 56 0 obj (Beyond Herbrand Equivalences) endobj 57 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 60 0 obj (Linear Arithmetic) endobj 61 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 64 0 obj (Bitwise Operations) endobj 65 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 68 0 obj (Memory Reads and Writes) endobj 69 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 72 0 obj (Integer Division Operator) endobj 73 0 obj << /S /GoTo /D (section.6) >> endobj 76 0 obj (Comparison with Related Work) endobj 77 0 obj << /S /GoTo /D (section.7) >> endobj 80 0 obj (Conclusion and Future Work) endobj 81 0 obj << /S /GoTo /D (section.8) >> endobj 84 0 obj (References) endobj 85 0 obj << /S /GoTo /D (section.A) >> endobj 88 0 obj (Proof of Completeness and \040Soundness Theorems) endobj 89 0 obj << /S /GoTo /D (subsection.A.1) >> endobj 92 0 obj (Proof of Completeness \(Theorem 9\)) endobj 93 0 obj << /S /GoTo /D (subsection.A.2) >> endobj 96 0 obj (Proof of Soundness \(Theorem 11\)) endobj 97 0 obj << /S /GoTo /D [98 0 R /Fit ] >> endobj 101 0 obj << /Length 5090 /Filter /FlateDecode >> stream xڥ;ْF|؈!#p_VnK=>R~"8|U8#UYYWfV^UT+*W;Ӎ:͍VDN͋ס^NaZvE/ À07t⸰ ,?zjި`N07~.6}yڕ0e}ny NzǻyuS]m=Nj5q/WPv$MrqW;: W#Yb{n̂h1'1 垥J1O.-`Q&tiНvfbCk⻴W'.S>צMۼ*JND "N<}w[+e]a[@_>(5Xr`YXhzas p׎w4'`8oLUekwpe&는gĸءWI>1m`:Ărpȯ9a|8'S !H0Y˓e̫FLTsb3gU8!̼UI^?֦n2]]Z$O2Oos`:ŗORJF{ď öCGkL.A<[ʮb򗻦Ӭu\͋&k|n;שRV6?!GM"Gűc?C ,Dzna4u08)(L+P=}g3-3xvMI[R`4-r1kйyHӶ@8*HFV]@I{xHp !I e #Z %B%]8P kc\MDF(4\Wœ`+Ja`/ mG(.݅vUh3(,"YX F:Hm5;<)5Å+x^4^711ryrlA '0Gc3uu+"7%m{LS ]^dy8WPrNڜ I؊FX Ii(%6JBP ƊI-[dX/p5TIS7.UWS z'>0yw2( k6 *uГɥF^)[ 3wpNoHCo}wnQ"LbyA$>>|sq_3RG׍OZ#a,:,WU8Y`< ҢTbtiIRoZzhpKaci24煖sh|@LAƴ ᰰB`;qqƶD3` +5)y/v0WOEŋEk.|C?)Or5 ˮf (%}~[:PaCzϐ:PRVe.Nǂ':Uk D/ry 'is. !H6 r0j:Z xJv_XfaWT"Q/8rm0)BNhjBaY('SA=sP MPbWIdPmtE k0zB&! áyr)!~|>}ԅgb`ުH6%ط^4k#)+u*%2珱_R5{xKa>Yi]Hg}vHĸҏs$ LInUEk(@r.}}Hte )Kwulض % il*5dR"lk )8!dPMM#8?ߙsK:9ϮF[6Bτ$3u^XKzt}! 58 N57޽yX1>$$ )m'AQ6SJ+}n=WrTsb9aX»wDR;SLvxK숞sT3GTꩻ+ C|.[he&$rXiuF-*n*ڿ9ˢ$Yҋ XoکOMŋs A;LSq\3<\-6lG$Y((88GFV-vMd vɠssiD66B)ҡUTqf <' ԟ# G0 Ϡ3a>%VR DFЕT`4oNR^=%ěwcf /izO)V_&pL'(fmi(aR v&+4?\BOf6\=P\r3QSו{pS&/88 (%: ՓMDPDC䥫) 42Įq%Zm4"O'b_ӤeG'?ŅKHc+wIw&1t>TnX22\䦟sN됇)tjIa$^liPjz3J%*WȇX*s5:I' y=Yr();*Q~@`bVV_@*<8ڰ@IFW)\)hq"'r3u^rOW&f8J!p\?d_ aځ3z0Q)(oDJO Θ LWVI ,=1XE@Ɖ JfL[4=%%kr7jҺ,ѻ'0%bOI=,&o0VuՒqѨauq}z <ؚZ|z:pqD<~Q×Pqզw K+G%_sj:cӄZ?NB>ـ5pLU۔ps*Խko 4L.\%\⬤;^>F\z<~=hw~3L!qfW%0NƆ/6_lr*ҁZXڄ~o [K&j>{]~ug٠u.RCq8zCUu",zy!,;?-o $)c]T&|Ao݆ \hTQz>)6:4٬V|! lYe (mnK.qd7֎+f8P,QR$u~E>(/D)LtS6#SLVW1}uѥ.ŅGFa Պ/ %Q1!> }<$9~w#6:Imqᆂ"G- +0yxuۛtt"_$Rd$V2t$Srgwpj7{ ˆ>}ڈ1O֔!x C0CS [H hec!CPbJ9u9:T'1\o bN[GCGC'"^a@IWnPN`N̘*6sTZ?1FOjk5WVOK}]dĮG=-(Am>y߈T ޸r<G'V$(nWyoyg#}d@Y~i -;zӊdmGP'-g]ƌ^x(FG-֜@x g3 2jŒ_,W0LFrF>I^;A/(i'-'26,1t"j(gc?l.ӝ *N> endobj 121 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [349.508 419.571 360.467 427.804] /Subtype /Link /A << /S /GoTo /D (cite.WZ91) >> >> endobj 122 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [347.789 409.608 354.264 417.841] /Subtype /Link /A << /S /GoTo /D (cite.Click95) >> >> endobj 123 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [357.022 409.608 367.981 417.841] /Subtype /Link /A << /S /GoTo /D (cite.RWZ88) >> >> endobj 124 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [442.189 399.645 453.148 407.878] /Subtype /Link /A << /S /GoTo /D (cite.Muchnick00) >> >> endobj 125 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [504.81 379.846 515.769 387.953] /Subtype /Link /A << /S /GoTo /D (cite.Pnueli98) >> >> endobj 126 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [518.439 379.846 529.398 387.953] /Subtype /Link /A << /S /GoTo /D (cite.NeculaPLDI00) >> >> endobj 127 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [547.293 300.144 553.769 308.252] /Subtype /Link /A << /S /GoTo /D (cite.BCS97) >> >> endobj 128 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [399.885 250.134 406.36 258.439] /Subtype /Link /A << /S /GoTo /D (cite.Kildall73) >> >> endobj 129 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [425.565 240.369 432.041 248.476] /Subtype /Link /A << /S /GoTo /D (cite.Cousot77) >> >> endobj 130 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [461.247 220.318 472.206 228.551] /Subtype /Link /A << /S /GoTo /D (cite.Knoop99) >> >> endobj 131 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [347.907 178.652 380.036 188.7] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 132 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [429.538 150.705 436.014 158.812] /Subtype /Link /A << /S /GoTo /D (cite.Wegman88) >> >> endobj 135 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [339.296 100.766 345.772 108.999] /Subtype /Link /A << /S /GoTo /D (cite.Cytron90) >> >> endobj 102 0 obj << /D [98 0 R /XYZ 54 744.907 null] >> endobj 111 0 obj << /D [98 0 R /XYZ 54 567.572 null] >> endobj 114 0 obj << /D [98 0 R /XYZ 54 557.342 null] >> endobj 115 0 obj << /D [98 0 R /XYZ 54 310.938 null] >> endobj 119 0 obj << /D [98 0 R /XYZ 317.88 557.288 null] >> endobj 120 0 obj << /D [98 0 R /XYZ 317.88 511.575 null] >> endobj 6 0 obj << /D [98 0 R /XYZ 317.88 480.619 null] >> endobj 100 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F64 108 0 R /F65 110 0 R /F67 113 0 R /F71 118 0 R /F72 134 0 R /F77 138 0 R /F73 141 0 R >> /ProcSet [ /PDF /Text ] >> endobj 159 0 obj << /Length 4813 /Filter /FlateDecode >> stream xڽ;ێ䶕H A6g?~SMg"s$iR/Dziځe&ͳ85v.4Q_,]$QİJTܒ6S*͑kN7U3ց:"yh@PLP3 Z .*_oӋ.U]o]{ȢsHKpwObg ;՜eM.'^ᯃ y$9y}[ͣKڞi {`[4U G U5#xA 226}cFF2"5gtTonk@ }{3C{|n;.4mw-ג YJF uDmoP$[lj^78ww=75 %-|bdo[ \ Q69MeKHVͱdx-s6sV m<ξjHܷ2wÚ*Bcgagz9Ց[#{8ks۹+o0n ʎZJgnڐhE5(6Y> LOf G(mP,YN1ƃa6!("08< :J53CR:m>S!%>F K nOHؼ&m:,QYhM"2k>8\W":Pυ0:~X}QGJ|RYq){4brgt%chxdp`^YeRM+f\o)2b9~V[3,I2g+Ȩ[9\o%a+hA]"/YtbX zWh2"^zT/D6\PvW0=K\s3?8|W$坔 |_{IH"". 0*t+O -|L2N&+Sn0l5P|PDD’ z`pH=99U ]n]E*>Hp$%9'lu6<740TG'HY)'hXCc_ 2eٌYtΗ0#7yB8XL)Cp: lI۟Qs# ߞcȜt3o1 sP p39 |Vwچns\Zl, TV^7(b+^He ȔC}u\LRT"p*OAյ[ -F.l1ez4(.7*-y=pDMќ"n4}-|b-ej/cHˬ.(HrfE q0N=IE";qumKΎ39M=k$X8)nsK4տMl D-{X,[v-{ cXYŷZH*=IsWڧGPJk,S0!Vq1+A h**|#-#%RK[dF q.YTYBrb$]O*q#DDZ@Xq(a6ˆF ĹgwOώC;IXp'ɧvVŸ|Dx1iJ( ]YX N5o>]6KqzuӚSyPìo$j =%S7,[r(.+]A'RGQu=8Lat3pE*nnP=Y$ AW| a80dP٢abk"a;=;g )* *HP+znt% )Yy[X,fS{ j2gx_fBHuE{`=I2:0}=#JSR'K,&03&v4m=uJ䑞 ,X ``ߒ|thЉZB݋ $M$c(%u6]ɚ%!4v}Dȋ `upsp\9 'n}WWP0-9g„=¤ IfjX/_[Y+W0)l)@;ތ4{7٨4sG>=`MUEqY:Շ ]Djb8Sv[&'/[?1L^$KaG4w# 7f &&>M T:@E)SX,,X f?\%#Թ8OqUe(Ԍ5 }2 71G$Q5anp>5:VI:2o3٠)l) ar%u5NGWJ:#| %A0ǐ3Fq`$-'#Nm^M f&΍ -mDWxřb_xy%Umy#UflwIЂo{ZFA̾1rY`'a§Ch1nfvE>P|/ϒMM % 4.@kܲaQ`ƒ$X:SG1*0IJI ڽ )*;p+ml:8\0zG]5ʅ{Pt]r.Y嘭=Lϔcv[ol+`+/r_?ApUzud==K uA1}1\p;3X3jzԒ 2&Tx> ^HU:S~j -3KȯcoLX[;,x4Wz6q[ap[LAf1e<ϽvX5Τg\8Ӟ6؜pmj+LBn'=T!.!ÓT1hfq"h~ԙC/(xw#xJKB0㔕b 'Ąp#{zXnGk%(Ipqt .]B60xS`vBg^54ҳGZi5%)ؙ=k ϙ“V^:1j!:P†<ʦg.N[(1FGl~*'馨fpu% > endobj 99 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [78.667 212 334.92 436.3] /Resources << /ColorSpace << /CS0 172 0 R >> /Font << /TT0 173 0 R>> /ProcSet [ /PDF /Text ] /ExtGState << /GS0 174 0 R >> >> /Length 1021 /Filter /FlateDecode >> stream HVKo9Wٶy`HA+M6{ YԳB$ *C"rWj?H?p)4Q{xǿ䟸H/g?SA VFxͭJxtipUX)1%vwW?_/_ރ$:~gFG \;)qW`t+A 8Z[#Ɵ78'fdoMUngDs%gDP1>4|e~؈m'Ym8TJB;*hGt*rPz# /]鹙I ͸y3ppc˃DW9~QSh_z%^ P5ZQ[)*%QVy.Ԡw?-E޼J{xr[~%TcC&gѦI4 IǒuWbkg2UXiY.<1ˆh%uNBG *]Z&Sugk=9úW7JW<,~mכE49CbaH42Hފʀ´b`>Hebqќ/P*>Y 3'(ЌVYNmmoh4E zBwfc_GP ]$J-H Y" P"PA\t%Dy&mׇ"Z^JOcޑMAzb婭[eX}d}H6c2$='yNB Uba X:L2> LP93j!av^d盔 wmav1I/쐽rxI1Ah9UW`2p6Z4 Tğjp]>8nNۇ/æw儱9L҂2xZ綗Qp'c',v8hL b(`q+endstream endobj 172 0 obj [/ICCBased 175 0 R] endobj 173 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /ArialMT /FirstChar 32 /LastChar 150 /Subtype /TrueType /FontDescriptor 176 0 R /Widths [ 278 0 0 0 0 0 0 0 333 333 389 584 278 333 0 0 556 556 556 556 556 556 0 0 0 556 278 278 0 584 0 0 0 667 0 722 0 667 611 0 0 0 500 0 0 0 722 0 0 778 0 667 611 722 0 0 0 0 0 278 0 278 0 0 0 556 556 500 556 556 0 556 0 222 0 0 222 833 556 556 556 0 333 500 278 556 0 722 500 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 222 0 0 0 556] >> endobj 174 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 175 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 176 0 obj << /Type /FontDescriptor /FontBBox [ -665 -325 2000 1006] /FontName /ArialMT /Flags 32 /StemV 88 /CapHeight 718 /XHeight 515 /Ascent 905 /Descent -211 /ItalicAngle 0 /FontFamily (Arial) /FontStretch /Normal /FontWeight 400 >> endobj 156 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [97 192.25 412 540.25] /Resources << /ColorSpace << /CS0 177 0 R >> /Font << /TT0 178 0 R>> /ProcSet [ /PDF /Text ] /ExtGState << /GS0 179 0 R >> >> /Length 2013 /Filter /FlateDecode >> stream HW[oc~ׯcϒ{!)EۇnA.@}f8^$/ Kww>7߼}w*o{{{E^ .FK29'N`9g?zѿ[_⩹ȱ(kEF'Pkʯ3Mcl'0nXS6ūNk_MLn6Z_1j0P;qI29bQ\[Ն %eN/ 1 `d:Ddž)W1-$mVp zg4ث(Oن%ǜм1K x(9YZűՔ?V2*8?A)L,50ĭ}!{ yv2 r)}$os;[=yH'.i*!֝ɀɰe#U6N&b'Q\lJ\[ÙIk c-( V-zãpn0;?NYHLf WhOf' Z*]N%5` /Yxy=fﯥ3onՀީļsZm wK=%`sBp\}W!`"@JȬSMݩW.qHi5 4RXrpv]s l R.!ף]"շ:6sV`NZ$6 DZf]mfI:b,a{KBl S r؇%2T٘}^Eg5Qi8v?ppLzdo/ ʥ%&+k}#DQJ1D!ׇ Lm ܳ^-τ.gv.Vw-K!ǫڷW[r$ɤ3@0̸b "ì35WGE Vk !kw :D@.($gKy?c  dDž8cLwc-C'X8BbIw8 Ue*}lyf%e=TSCe]];l.9leњPo%c' I:"Ao"G1Ar5Çy?!pP5z`De#% ĦвFaeZ"ML^߳ ;Nuuvo|^yl]\uMzt-;[{_௽OEU|ꏗ/M [A LNYؔZl{/m׵1gdd{yœ[!TUznp;|qZx81=sYq3<~Y6ݟGTy_G4hk$ĺbXLZh"՞#09$(i¸`]wiggI2c|ZMyֹ&  ) ^]'H7j:vQ ؽbG(KȮ ŊA O@90%;%5Ш1LVPf2Agn&Nd=WEdeD!Fh&6IGJXmr, Rꆱw[;LAk*L`x<%CJy;@JH-sӴ ӘyԼk,PWCB1T" G}$cQ.f˗вx맃d80qoUۏ37a0&G*Ke5~sZrPYx3kIIe}&UtS>q12kKS&t$E }mmP^sV^Z*7Eչ@|,E%`KK 7v OWendstream endobj 177 0 obj [/ICCBased 180 0 R] endobj 178 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /ArialMT /FirstChar 32 /LastChar 150 /Subtype /TrueType /FontDescriptor 181 0 R /Widths [ 278 0 0 0 0 0 0 0 333 333 389 584 278 333 0 0 556 556 556 556 556 556 0 0 0 556 278 278 0 584 0 0 0 667 0 722 0 667 611 0 0 0 500 0 0 0 722 0 0 778 0 667 611 722 0 0 0 0 0 278 0 278 0 0 0 556 556 500 556 556 0 556 0 222 0 0 222 833 556 556 556 0 333 500 278 556 0 722 500 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 222 0 0 0 556] >> endobj 179 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 180 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 181 0 obj << /Type /FontDescriptor /FontBBox [ -665 -325 2000 1006] /FontName /ArialMT /Flags 32 /StemV 88 /CapHeight 718 /XHeight 515 /Ascent 905 /Descent -211 /ItalicAngle 0 /FontFamily (Arial) /FontStretch /Normal /FontWeight 400 >> endobj 161 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [85.861 435.491 96.82 443.724] /Subtype /Link /A << /S /GoTo /D (cite.Knoop99) >> >> endobj 162 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [265.513 395.64 271.989 403.873] /Subtype /Link /A << /S /GoTo /D (cite.Gargi02) >> >> endobj 163 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [262.425 130.712 268.9 138.762] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 165 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [326.497 296.281 362.016 306.33] /Subtype /Link /A << /S /GoTo /D (section.2) >> >> endobj 166 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [460.442 286.318 496.69 296.367] /Subtype /Link /A << /S /GoTo /D (section.3) >> >> endobj 167 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [351.495 267.07 388.222 276.442] /Subtype /Link /A << /S /GoTo /D (section.4) >> >> endobj 168 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [541.071 256.43 558.996 266.479] /Subtype /Link /A << /S /GoTo /D (section.5) >> >> endobj 169 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [316.884 246.468 339.499 256.516] /Subtype /Link /A << /S /GoTo /D (section.5) >> >> endobj 170 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [497.735 170.563 504.211 178.612] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 171 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [432.846 118.876 465.15 128.924] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 160 0 obj << /D [158 0 R /XYZ 54 744.907 null] >> endobj 153 0 obj << /D [158 0 R /XYZ 129.211 557.948 null] >> endobj 164 0 obj << /D [158 0 R /XYZ 357.442 522.697 null] >> endobj 10 0 obj << /D [158 0 R /XYZ 317.88 221.591 null] >> endobj 157 0 obj << /Font << /F67 113 0 R /F62 104 0 R /F63 106 0 R /F72 134 0 R /F77 138 0 R /F73 141 0 R >> /XObject << /Im1 99 0 R /Im2 156 0 R >> /ProcSet [ /PDF /Text ] >> endobj 186 0 obj << /Length 7141 /Filter /FlateDecode >> stream x=rƕz[bb򃓍dcOUjDBlPp&ܺ 4#OssU Uf k*-67rg`%kc7uʤ󫷷T06뵶}@|U;>l~al\km]r6ijzmJ>A Ơs갰ZݦiAm9g 88Z+hXooBixPǮ= 8RIjsu]24,hhm~:~fZH"`}ˤ,ӈ1ZXͪ9c7{ZtwfXJIUX`0PI-QA0j]%e~tXέaکh0Rj$/,_,].IlQ|{YTh/&i'0,52(/K,^P&ZX`YM0_0e n*<%nj9`<]NN/}l0}B%w֪Ȓ<30ITeBT"w;Lp~ځ󺇦a9 gk@% Z ƦJ݄I?9U$j1W(_ЏxE?Gl8OL)L3ط +D\˃2~]W-A"/%cٜLmU@0>EH|C3 a 1/ y *1iwb䕁*w,oc۞m<&V lgQ8!@V &5N9 @rl"0F_!QЁ(cÎ,Vt($gj gubs/ ]eZ?Bnd?Yjv ?GN2S6hT 蕻>׈}Lȗ>p'|]% ,EN1q/e$xwDVN>+ iF1.Ӊ1u3A')W2ƛV-f<ۮF,`^%):*7HIf %gM,' ×-]Pَbk/O9C2bx4qp\fcYC3{^ &?CBLpd@GqĔj_Cp֩G~65Hx{T-fx_i*ㅨbDnlq!iVmuCy@x3wL>JIXuqNF)CsXqM:U@j%Z/ێU J a\h5m6#Ws?hN㑈3)KWt 5iRCO!2+|I 眺GqoA5\zpԢ{`{i8a9s?u7y7%Rϒ1 ( 购=fF'98lQ Bd@ S<+".d"܂DF.ި#)^}.NVz)ڵl:Jæ0r>b*CErc@TѠCyNE&]@A6Ԉ"jRk=D23 UatTP1~L5F-rIfjB|7z<q<3lF )0W8,fj0EL 7:+3Aw69Yia:6M(h;T\Vͯtll|wRߜc ӶuE5Npqiԃ̉4qO9cj0OhI"71i8,*R:=MҴMNpMP _j'0A5x=g珕[@g>jFDiKPyq~W&n`EJ9BJ"[dd(9zޒeY$ndoa X`+loLHdF.1`B~'@`&̒[\?c" !q~_yƙEt$W3pD6m^iEAL%d꜐o __ag)ZYaif%sn@u{,ch3 @ lgFՍyp}c˦ؠB7ǞX롶`B5N~>p~5̜~$fp|6}y?%[_|zlu=q"?lbSERgX7㭃^i ܯC^( a9Z{_C|*4<́> w?Q|F~Yt^y&< 'T- ُ13L2)s!3ׂWA._W2z| bI $"~^5VڅUdd/.A?C,Ҭ<9X HgOof/fTRPWXJ%ey2IMHowY쮓Б1۩VL/&I ҵNӨmA+rW cB"2?3n^,3-. `⣶c9x2^[ڏK338ƿ?)*bGk:ԫ? 0_$+-ىMHgX?*`T,l$e3\>jy rלt'mK;9/'RrEOd3Y2Bl2Wp0acy@ܓ Qm$-GDV>_bSMTr|2#OzԖs!:JjLNbL Aq:1i&19p-chpwbQ[ey t1C75k|L6f!cmRyāB71H WT9<医l4{z|=\ω` C͆b>9!)/3 CJ#;BYH ֊75e6z2dPsРJ֊+59/ɉbom rK4!zlqG+'C?%8S\maJ1T&K3`01#)dmvhĖq=ʗ0.~V?hi^&Y-^jʥysdaZ-Y Jh}d#!jG{WHG0% maM[-ho: ~v(C]FZro-,~Ko&~<`SH,6 ,coSLeYx$iybuJ'IgHH%*uڷ킝OUԯbI0FYVA^/Tn_^=tZF٘SVX1pNޤɪh_KQo2L7߿ӄ0b <#GwhUz/-< yvkசː,b9vxe9L9V}7k"TV.?Y~0!5} ńh̓4;w\c*k}uxx+cW__lLPzHoC3FaE4v V޷K!D`;{^ &_eϛ r%p;t-A*b>6گ $t"7%ﻡ8~6 951E:Zt#gتGhyD_*E*D:bQIX+svv C%װ%\k2B{jr5d*qn&oi2cdS$]^bpfIKIk'q@nHQJib8pA flF[|mOs ERRǘ1FBq?F8¤ VK+S%{~'T#Gc j.aR]$~D Pe.Bar)'Mi+I4ƌ~E$c[Ω0\?zF-nTm_B&L@fV#]ROcJ2Zv,aP0j(X<GV@{0cs0圬ˊ6t{.4P㷈o%H&1T0->okLFN\@d5|/G'瀔%!8lm5E "m.5jӨ".0vqE0cxhw Cf^)*|r>X1R.d7rt^0CI}1J[HL#9 cn˰G2;䲓D *wa3_$q1W5DgwCmw|banCci௒YIRD~֣ԛoǖ5Z.GJrױoj ֫$l:oށI4ь,Mbr|Жy 66ao#EWfp_qU| ¸*MӀLWaX+2]\!珒ߕ_cW]D腧E7A l}/;}N|H"u@Z!9g0[ͮ[ke,L2~G0]oE" (ЈDp2zqEY}Pl,>ZP#9"K0R^? Q$+ - =^cUwDvr1+>}ck:jg31ͧ&&;$Nܒy}y(I2ܵj1.W^rRcw]P/-0Y{ d2̓=f#ܟc k:""7E7ѹh~b+vHhD}+o(Z8<=!6_ %ACZp.iXgv1Y7S?=2J1U֦_uZhM-.f9 T=S&~e9ԋrt^brOn1"j 6my%znętleHj.+Kg-}r03]زQ/"jm"Zt8<룥1YReYFOيBS]?29g6VGO endstream endobj 185 0 obj << /Type /Page /Contents 186 0 R /Resources 184 0 R /MediaBox [0 0 612 792] /Parent 142 0 R /Annots [ 191 0 R 192 0 R 193 0 R 194 0 R 195 0 R 200 0 R ] >> endobj 191 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [165.568 388.124 197.528 398.231] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 192 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [229.853 350.148 236.328 358.197] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 193 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [278.177 228.722 295.116 238.829] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 194 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [53.004 218.759 73.411 228.808] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 195 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [355.385 589.364 366.344 597.597] /Subtype /Link /A << /S /GoTo /D (cite.Schwartz80) >> >> endobj 200 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [358.586 69.063 390.714 79.111] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 187 0 obj << /D [185 0 R /XYZ 54 744.907 null] >> endobj 196 0 obj << /D [185 0 R /XYZ 317.88 589.087 null] >> endobj 14 0 obj << /D [185 0 R /XYZ 317.88 243.508 null] >> endobj 184 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F72 134 0 R /F77 138 0 R /F73 141 0 R /F83 190 0 R /F79 199 0 R /F67 113 0 R >> /ProcSet [ /PDF /Text ] >> endobj 205 0 obj << /Length 5628 /Filter /FlateDecode >> stream x<]6r+枢)x$ڔS78gX"eRxק ifnw[Fw&F-efs}9oOXh%&ز23o?w1-_VwZbՕͶ=`YTuǮԸiDzzznZ }_z};l-7vy*e aburwmdFʹýl%UT+Tkۮ׌L3EnsyO~rzTsPb] 瀽)gRL(+6uTȄk0B:B]N,E4/NHnlϛS.:'c J≮*.CŰGIJ6"ˁ቗^:TW O|OC~IOci&&mfP28S%`fWW#R%,V۪;@kʻz_zCU}{n `uǪ;=Q4ZBYhp9PLHɅ7y)Rny`!LQL2\pvWp+uY(Ùջ:A_ŕ۠;, 9hj3ϼm&L9|)[ 3Һ̇iv }3aM, ~\ԇ1W4 K;As#ˍz5cD@Ƽfً}Xy˄ m8h`Ip<c4mÒZ}b)ao.mw/& t-Fu`)i($8bq A. K 2KeI7C@)4@*gLD`h}~c-<%bGh>,_ ׏sDD.36X2› <"y5`a^|ӟc!EzRY؇OB l5P|淪&)ic qptl5.hUj8r:Vc*:688M2q3o*K9Ҩ! TMU7Q Aۅ62,Ui>_C פA?/㟮#Xf($ i'n ΍$,m*blNlZA;mw*=⁷5HO(KX#t7֎٠ Bey8gS] QǛ Чepiݧ=j>7e_$wms_GhO! Pɵ=Qm~_qƽ M.ZD8LI ` fcNB.`;C-`^Qy_`^]|'8}"b`2=<1x򕄬X\%0ҹ`T oFaqFjȰ^r8MkPp. 9l1<H$r᩵ 5/aCp܃ÄJaBU0a(~񁼧?&_u \ϐ!upf}X_aM2L>YV8pp:J N+/c(b2Rq Jь$`N gBrQRu[ rY`6/ޗQ.]m7ׅ{O==/gAP[_ƕ1C Q0jZ^]a=y#sq( Ia/hi8gB:rHJ'4tIkT`i2R~2e{x[.~}g2.oL d a/}p{cbPל]&&F19KY~0#ܦ;e}? 6/fP0" ̩HEt quxDUs?}fBV2КнcP_#]3aV_O&oX1K%遑_w1^?QGgR}I@1SǽW9ZY^(>e2W]v]U[OUv5v1Aa{RɀRJ a]Lh߃o, vؖO!B%.@]:Yp\t]$Xa(_3 m_cr%&mlɅˍfRU[aKk+<+w^黶S(rmߗ@19aL菩!*Q) I2V4$`-כ'CMpܜ\"r>TӮ e9,;lp̑}rZӳWc̼m$ֺѐ뾉zO(TqEzp$rpK\kدm%PX܎ S[Ob vά [oOhsDē mf*fEURsvkf`₞t7U,"#qP.{8fgy[ 0G7/i3=ltn˱]-s5W,5Wbn,edn=B 36sxZ ;AXrւ)eưg(FN]yrRwεvp}Y:zP@Hrw%`RNcU_uEW]q)Q:D0[wSKi= YR_7t+2 GBUP[?ͿM?"Ҙ+1HdTW?[f3l%uV4\y|w 9-f45'IH㞜 C#|:ɼ]#_G,&OSK:Pd¾b<^ Ų/>8s\PTA*v[H wuSv"~g wgf]rc=pAR &`Sxí| 5)Rm85 uN~t *N[6NO-Y|v*I(Qa*PL@+'%L S%^'DJ/2KLE#P)bs=tL@ voa07T0u2L*yЊ.j%ؚϒ`?2l?g,}VY+u6/"ӹ`֚g}++9S*Η\'/zsl#F"Drulvݚ kf0{d9.QOr '/PgG^T\~18⦃E|(}n)osE:|놤&}˼SrC*tfS <8OAuEQ[Q> 9Sr)T3X-l޴ͩi1u5QpzKla.(ZHӃT=5]UnvNy-PYeW}t~ 3E,u}>+ttG"(*zΈLqpplA%&T'YCbPO^5j,3X;JdZ5MfM$O/ʡ߲6u؃4n;{(Op-M"=/w!KtΎHn{>ͿIS{e|כq4q{F ^23՟|H08<0# ?/=]:y8޲vK~S2ޘSzϽ[/SP1l4I*Fr SWovtՖ~}ƼK`uw4;q=ojM{i~*\Ryv>JBgO탯m·; ew,푿|%o;wiXmZʂ%9lC]fyhD:⌕M&Í .uPܻHq @ $t pegCir>Qi($t)2TA }8,)]lL/3b؂ n Jͱ!Yp2 Z\=Η.}))P>[_?J&$=Kip נ %61×~ߦƛ.abrLΝ*aK]0_/%u4x хesDːXqSK./SpA(w%lvpY 3:> endobj 202 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [103.75 163 391.75 421.7] /Resources << /ColorSpace << /CS0 222 0 R >> /Font << /TT0 223 0 R>> /ProcSet [ /PDF /Text ] /ExtGState << /GS0 224 0 R >> >> /Length 1347 /Filter /FlateDecode >> stream HWKo7W6͙Hs-ࠀt|eMँ}H_.!R-k7o/o~z+Q&/W~vujʨ힭?t ")#z}6fsmj!:@JvSsPFOYuw֨H:F%$m4XE1j~LQ=MZY#l 7b- \hK(^46_7c!vD^S~:gc )1 eSiޡ> k ВN\;X ljHe NG>) )IRѧ;"1OW+g?T(6+1-bg4LXyUR^]gH 7 <cȣidw2|[=;O6ؐ/-k<Κ!x K%{f!w~hՕyu ^X{Vē&hYn;]7Y]f]$CCHsǗ/Hi{>~j 6K#<q2sq=5okkAg'0n`AM rPOF pb&euc vo"JdтRlmrWk.w: ǯ|?7uRrK0 }XR.]M\\Ol]ZLr,Ukb՚I7Yj0wnQQ>Om@FXŜ5څ'xt0k3vB{P[ע@.1 =5s|G.2?_+1TNKvZKĭu!zRE0$vV׫Dd(RzJb( >531=2rzFendstream endobj 222 0 obj [/ICCBased 225 0 R] endobj 223 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /ArialMT /FirstChar 32 /LastChar 150 /Subtype /TrueType /FontDescriptor 226 0 R /Widths [ 278 0 0 0 0 0 0 0 333 333 389 584 278 333 0 0 556 556 556 556 556 556 0 0 0 556 278 278 0 584 0 0 0 667 0 722 0 667 611 0 0 0 500 0 0 0 722 0 0 778 0 667 611 722 0 0 0 0 0 278 0 278 0 0 0 556 556 500 556 556 0 556 0 222 0 0 222 833 556 556 556 0 333 500 278 556 0 722 500 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 222 0 0 0 556] >> endobj 224 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 225 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 226 0 obj << /Type /FontDescriptor /FontBBox [ -665 -325 2000 1006] /FontName /ArialMT /Flags 32 /StemV 88 /CapHeight 718 /XHeight 515 /Ascent 905 /Descent -211 /ItalicAngle 0 /FontFamily (Arial) /FontStretch /Normal /FontWeight 400 >> endobj 211 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [124.746 455.613 131.222 465.662] /Subtype /Link /A << /S /GoTo /D (equation.2) >> >> endobj 213 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [77.274 293.204 83.75 301.254] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 215 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [269.014 148.764 275.489 158.812] /Subtype /Link /A << /S /GoTo /D (equation.4) >> >> endobj 216 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [182.595 138.801 189.07 148.85] /Subtype /Link /A << /S /GoTo /D (equation.5) >> >> endobj 217 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [86.291 98.65 92.766 109.609] /Subtype /Link /A << /S /GoTo /D (equation.5) >> >> endobj 218 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [61.86 79.025 97.116 89.074] /Subtype /Link /A << /S /GoTo /D (section.2) >> >> endobj 220 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [350.638 446.967 357.114 457.016] /Subtype /Link /A << /S /GoTo /D (equation.2) >> >> endobj 221 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [327.506 399.058 360.546 409.107] /Subtype /Link /A << /S /GoTo /D (figure.3) >> >> endobj 206 0 obj << /D [204 0 R /XYZ 54 744.907 null] >> endobj 207 0 obj << /D [204 0 R /XYZ 61.92 498.178 null] >> endobj 212 0 obj << /D [204 0 R /XYZ 109.449 420.57 null] >> endobj 214 0 obj << /D [204 0 R /XYZ 283.665 191.328 null] >> endobj 219 0 obj << /D [204 0 R /XYZ 359.548 524.501 null] >> endobj 18 0 obj << /D [204 0 R /XYZ 317.88 293.366 null] >> endobj 203 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F79 199 0 R /F77 138 0 R /F83 190 0 R /F72 134 0 R /F73 141 0 R /F80 210 0 R /F67 113 0 R >> /XObject << /Im3 202 0 R >> /ProcSet [ /PDF /Text ] >> endobj 229 0 obj << /Length 8335 /Filter /FlateDecode >> stream x=ks䶑W㨲b7S<8Kr޽sa$Q3C !r[s{t4 PH`;|6<荫A'pZ@AZ7(h|FCsi=[g7d bDF"VBuD#I"YnK_5۫^.y:n|rLF|!o2':*/oO YXA@* *n"l\1T.h`DLz2m*sap ر..0~%Dw&]ȝXgk7X0qa(7zI}2o )aBl8YJj}I%l!aI\YZQb?߉$8K_u^%Qfz<4fҭa4ys΁Rl,H4,ܵe@"y;~J2OYBh*X|$? G+;XĄ-"tG,:d' STjތ|,]~"Wi?bTf_Hsf6`JSW1(˕U 6Ad3RB)) ; c9`PwC>G Lʎd%:_]>~; l%$*<Vss_/X%+*T`Dn6\e[BrB]DbR?#B.V2gDٱi-3Op=2k-zƍ1<gF*8 jTpj%kHq޲)h"[醳]A{zXBXV (I8l8Mu}FjLjg̑eaK{.vn'_ n ֐We0'UhNO?dS`Ž{RH*.>U.MuS#$ |Wr3- DrfĽ][d}av3Frs) dT 30KuHc 1wcHX|}"(Tzu zJ@s1z'@TǓ=Bu-,8?v|!xm+g7zr(`pfq߬kj.gﶵ 0.ΣgiDHc&KJ$,kukG)^j&O?D{5(`'u ͮPz9~D'sgkrXHCTx0(ˇvT}'hVW{t@! ڣ٢=)g8#ֽ:&|BS%^Ck׽6cv]lt}j\ȫ?m%p.EQ;8G'A#È/4G/4]ckjp0(x:n=PR e9X9͸y8Oi%JJ~j(2"j/ 5}Pv/G0ѣHsf'7Cr (u|W+4+= zF~!};Gٞ?P56s?36H;I*\ʏS? EFȳB}B6Y!rR9Ɂspg%<7D<2'?/,[ھtIF7'R^b#4ԝ*09>綜%Y9gr3du]^/~bG'K1 W|j3*F Ԙz=tS6ygWslݼr^7W3~L8 5wc».}t<0ɮ 1NԗZ8@9J͙⪘P o ?|BDq!9:@I߀2-kx gˌ*oܘ rG=ov[ :O!u޸7C,x${! 9&3z:wM:`)'xdȝnr~kn:h_juQ7q/p=٬l~蒀^ᦹ/]p/?w#\P,&cnUt*(+ X^ǜIV r^O]Z ]@H~dGWAyђ4c =:X(06 OsȝjgU֯-@w~Ğ0PsxF;,}Le.kM 1k!Wm "_gv2"սrX}'3B^/ Q!bi.}:sHy`1Qu7E/XOƨwl-rNl ͏7qAi`ExbDL@)P#2Gs|~;gº}ջwH*9اeI!) Q "b2ܙ &\D*o IwE30ZJц6oւ@PTa)^= `JъፑmT.v[RG{/~:N>Jsr8It7;}irǓ&QdӞ(񓺑? fDz0NQ=ja2JB4DʍB'[xcvkCpdgЌ4%3_Lsd혓~JL t#k;Ȳ;͢T"7r#a#cIPvUuLe\_4]Sl!ϧ>`/UlR:Ju*B99t-:ʒh%Lw)6\3$( 3s%'ojγ0*^pCkcL$rW4-8kUaj)7;fDxM:gcKoy*`o5e3 ``#]:4rE|W8 ,"tXfr #P%,M79<" hG?_[V߃>ld5߫p C!jYFʹ09Jy)N7&Tx> @W.)wr?\ñ>=BެfWX#|jW=:ှIa_ |qЉv6jM⽟iǴE+Ќ;yc.JݜKU"#Ի#9rGЉr?kRePޟdjloWQ[kcsbL[$!&vME=XŲT]Bnz]yw& 1xdIr$kS heͱlD6a#c6.THIN1%)OAW)M /mtM=2AmfgS[?|ǜ"[ڽ~ ̦HT<}osloBnV&)?Z)8q+*9LVtԭ,$쥅i\!w0S d}{ (gtQw5$kuud(Qeʜ>[{l_=ܥ|L$/T^ EΪ[D)&H0D^<+ :1_95:Е_pWjr%˟hZF_Mޣ\d*cʱywÐQ(hC`Gʳk yUg8l%~_yҝ2fo^+gP&.. |:f>&nE$(#&_<(C Yٮ.ՅCejaEa@lPЏuu;<_=,RMn)K`ϫ!4:)De]*Ux#Ϋҡcz@!?+$:zCᆛ9Vty4@Y^'"d{-oZ:Hzq%; m69kD_l}-fXW..C**=\ /juvuGڝt{H[[ffzapso.} Y`a&"7 W>г;ž:hh~Mg2eraøKh' iW7*hNxio.1Of3xYv9]=cIvjMۀ.{MMHMF2Q]lI<Ĕv 8ܜ8Atv$~(Sr`.HjUexWҡp'nWŚZ) (\! Ҁb+ON6Djj Rw]_'-?>'eWT @CZHhY(#>:T~Ӹ)I^wnw/ |ky15e،Y)1Kt&|l&5IM"co lmsH}zW`Ӭ5k*@[شmA"TԠ*@UKh;>;֊Y*:xӄK?^WSx5P&@u,yps Wdހ&Q`avH:f|[{i"["PtId; 1poܶ/MhXAL%UD,i71$/DB2S(yoY'Ws L *5f&/sv) Á{Dwler J8HwuC&nU74>uhrމ_s7Ꝑw%]q`޼gǐ $h5zJ pJlatPZ7řp߅ n$7wX#$){Hܣ>E|G)']F3)k>ojgb|DLCw}o6!RbG^+9< @-D5Bw9gs%Sq>ѕv]uGRYcc"F7yhbߨWFdcΛ`w;EBACsoeǼ'#%Z{l>=JKL@\[ çפb0@{B^;z!"B:1 uO^.lof ]B78=)_IK'%cjmWFOn|KZeq~:%KUA\\P2`%ݶyՔ tTzk.dUWn*uÿٲ zR,=ɔ%8( 1娫+WMɣx&Cug ؑl/|M;׬ 671N;ZU6xtrM>__&lXANIR✈b \BE۔ o3:?R}l!>ʢvk8כD:[˫V] +i"&{#%KmCRInO WMV`TrX])v~B~R˺#~C &kslcģw {] 8 Qa8ԟX~!5%ϠRRjX1BX=n~IrJ?` %| YvqN.$Σ3+hu`uUݠHx=:ͫ6cN +ɍ)l0Uz<"Qosw@vEv $їc2JkVu4s/m>i>K.끔c-BxHſх>Ow扱,ʛAkqX2Ueh5:x,HedKb{L0|#MI`j){I& 韛s.[0@KezӨ3ҪaE L<54'[֊ҫ"=[aBE·a';pC HK:Q@mun;ɻP@2EH6i|lv( $.<R҇[OȤs $u|/g *'0})]IHHsܙq(6`5Gh'.:g FaN_l(1FRvyj<*:Ң2YD^=oX)y0E+#3ǰp O0Qc &"f.m?Gvx1V"Gu2BxRJ[uBq!:]0 FӬǝI?Og rlI%Rc_{YB8ty0~vdJ1v/&+, /DeNNuVmNtv\ #л5VdgkG^d,ǣJ*ޙ9Dj]Hw]D$Y*6bcczta_B8vk='BuYah7>9+G12#1n|B6G#\A3:-K炅Zc%R#g\40`PSDy=΃zu" T%a%Cs:Hڝ+s̚ڴ)@+cK24䜟r{֘nˑ||%a?zXdx{Sj4pK'NԑJIV];Md36K#"1<P3[GUދcߞendstream endobj 228 0 obj << /Type /Page /Contents 229 0 R /Resources 227 0 R /MediaBox [0 0 612 792] /Parent 142 0 R /Annots [ 239 0 R 240 0 R 244 0 R 245 0 R ] >> endobj 239 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [245.651 200.194 252.127 210.243] /Subtype /Link /A << /S /GoTo /D (equation.6) >> >> endobj 240 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [69.671 157.781 76.147 170.399] /Subtype /Link /A << /S /GoTo /D (equation.6) >> >> endobj 244 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [454.731 347.967 500.715 357.836] /Subtype /Link /A << /S /GoTo /D (equation.14) >> >> endobj 245 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [511.013 347.967 553.769 357.836] /Subtype /Link /A << /S /GoTo /D (subsection.4.4) >> >> endobj 230 0 obj << /D [228 0 R /XYZ 54 744.907 null] >> endobj 234 0 obj << /D [228 0 R /XYZ 209.888 494.662 null] >> endobj 235 0 obj << /D [228 0 R /XYZ 54 456.45 null] >> endobj 236 0 obj << /D [228 0 R /XYZ 54 436.524 null] >> endobj 237 0 obj << /D [228 0 R /XYZ 54 416.599 null] >> endobj 238 0 obj << /D [228 0 R /XYZ 182.057 371.872 null] >> endobj 22 0 obj << /D [228 0 R /XYZ 317.88 565.316 null] >> endobj 26 0 obj << /D [228 0 R /XYZ 317.88 510.108 null] >> endobj 227 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F77 138 0 R /F72 134 0 R /F83 190 0 R /F73 141 0 R /F91 233 0 R /F67 113 0 R /F95 243 0 R /F79 199 0 R >> /ProcSet [ /PDF /Text ] >> endobj 250 0 obj << /Length 7185 /Filter /FlateDecode >> stream x=Ysy|lqYYNJYzg@p E}!wJ;F>⪄ĕWN.joK k|V?kUU^}V]utbA6MoNS6'.=޷?w.~0.~ lQ; TQPV;0q]Բ% -y#ͪ==ݵ{jjm-sVF]C''C zc=Awk\~>@5)O__aaU. H[ݴc8bGo̧ns O~It9~ʢ7,QA>vLkz.ޟjcw.=8#?6~#Bp`C8Q ꫄BXͷ0`5ۥk_ ,y1.,K5?=7:PHkD%}sO &푲b,PL09Sg*3GK;1;;2nws8'rFU|X8dzM YH J@Td% m˲~Pnloj^09c%X::n-}%̔)!}BvțC5l" NX}xOJb>;aױL$-_#׽Cl=gci r2TmGGұr0h,Ҕpന5(Ty݉#h:m}2'Q6| WY]t #'n}](J &'A+H_XlnIZ^RUя{~@v"x!b(DI(ۚePaJ(utmVȪ0<ς@ V+Él[ѯ0_h*P<:q=PP^` c?nnõ{l6892t-ȁSlu1@MZWZBVmwFq3UB Ub KYZP& F`+ zԼK1JV*o.s}{8ߠSoU0[_,Ϭ wÄ{FmBB?gõ(TZxQſH /AhS#"%P@oKS0{kJuHJ=eF8* #o_7h=BjP uU/ٯcXڅȝ#9* J]_uPdO_^/)޺Y퇁Fx(H( 㼅U'K$xaOt@#q/Ǿp5Cْ,WN|}YwQ4Ы9[J魫x9d stoĜB:6f*i> Wc &$x&L zsl{961(V o llb;5YIB/`yT35KQW‹^Kaؔ«?]f(yB5w'ߚt9+qqXTXplW \[AS:BS>v7rK6~sO`"[.S0Gs *[vDWcF*g Auook0=ZZ}D5 nGA|U@U#BpjlȻTrg åz&^ܼ?>卄k`&#Ayd" $O6ȴtM xU#sTwm3f#l9/?$jI<#|Q-#2rǢ--i8-.c%@pu@0 2ױy2Sω zx0dW ,3 \ɹ/̅~C^y2Ω U nC]s^K.$х%jRއ~wj@&zXw]Zs.oqjlJC-[Ux+6@5>n-;d|=@}^N@ؾ 7x߰k7Îb4p~5] "H^{+fsיؚPDh(Q%[?wU`{x?C!EmTY-;'  B޹$!6 񐑄NPZRTEˑ ^~/+`D=Ī&6 Q V[E>Qf\M42`(E5(<ߚ\|ç٣$vߚK:,W=Ȱ-||vQO#ul3yJ9SeP.$Ba]7ݮO݆bNv}-o󓏐%yJcG߾9s3:iӁvoFP?1E[EQE_&!@ 1H0\|r`EY89PòC('4̝tCIq156RܜJ+Զ%sAG<ࣣ ĠL,` # #=c,'農QDǯ>۰5 Hw6[&9JeoI܌cJl= :2Q'~CHƣ.nOO-+Q@0f&K7)S&*W%Y?Rf ·€CEXW' `oR5!PEh@`k+W2֯>Rg  ReYfR|\U)&=b*L$j9FXb9:xx 0LDB X _ h]wnO&+@aYx="3 r )tKےt!ǞĊ5DtC=E4V)mfsdl*pV&QZ F&L\քQ0yA!">aR@{|V"#$@Q'АRC2:S@(J=V@xXGY7FZ!sBw Tr"^ԅ;+ >WXN(8&.aj3=$/">nǁ/Y@)SȳC of8aN-(81ss=\@P.PRS-߼0ewο IQ\-b,^}b|٭R[-|̮:Y@+IR̗,5m6[eB|R/gذ& S44 22u"f̹ ;jL;3gd^]=] ,$|rt9gRd|9v~.EK3~ L|yF@.R%(}>8tlO \V2A #l}$od)(猷b4aZwhG9ndK~?ݸiȗTA TA AU VwqDLK8E:9o)V;9=C>u pHj||9|/@ŏB3>o~um㸞o! ,0j.D~sXE?N8x\tmY;p50}v Xd6qی0٭dQpt |I-}bdz&> r8𮏒0o0z^/0wk,&`NK%ޏ=G>:Ϗ1j#M)oj -bmyc5ySQ7Hrn==f! $g81#^#spوj_/KeE(etT#v!Aicve)gL&R&\>DUW<:p0#A26E"2 WpXEDAzq2JjQ"|Fj YhwVԃ:KWS&G.fi&Ox9>s}+Am`vym\[-(OT~1#zkB1@y99{wTyPoeW eFaAeB,|mX,Cwp)&F<d8!պ_Fbsv>e350JJ\Ŧ|$W!.[uc4,Cv8G"qT.H2G΅auD!M x 9JB2ez 2D` j*䯣8=K 楇N=npw=e{vcdʹ#)l<݈ vu֑v52p^^9~F ǧ*; 3Xr{Qf&Zzfs>R4tRebu׭a6SSHD_Qa20$/g>í6Zz\K5t6N>-4!PI;u=]KN7c!Rjb.}@>m{NnY4Ө/D1@i]2Xz`kT?Ufmױ2_FkiʩWG׎@Grv@ dB[!a R n1*0S {^3I3`"tZ^/_6ctySM̹LP,Y mS‚Vce EO!Ӑqc‰q#~&~Thg E_NA՟5:-^܊uCWYpR:U/FD:0r jٻ!Wp7#Bח-ST=߯xnSg&hz۷YUfa~n&`wJ32uRwg C *यendstream endobj 249 0 obj << /Type /Page /Contents 250 0 R /Resources 248 0 R /MediaBox [0 0 612 792] /Parent 142 0 R /Annots [ 252 0 R 253 0 R 254 0 R 255 0 R 256 0 R 257 0 R 258 0 R 260 0 R 261 0 R 262 0 R 263 0 R 264 0 R 265 0 R 266 0 R 268 0 R 269 0 R 270 0 R 271 0 R 272 0 R ] >> endobj 252 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [195.641 697.137 232.596 707.186] /Subtype /Link /A << /S /GoTo /D (equation.7) >> >> endobj 253 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [277.191 551.435 295.116 561.484] /Subtype /Link /A << /S /GoTo /D (subsection.4.4) >> >> endobj 254 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [53.004 541.473 82.905 551.58] /Subtype /Link /A << /S /GoTo /D (subsection.4.4) >> >> endobj 255 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [124.994 451.809 157.122 461.858] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 256 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [157.893 431.606 190.022 441.655] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 257 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [157.4 407.198 189.529 417.247] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 258 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [129.999 382.789 162.128 392.838] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 260 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [421.774 485.741 453.902 495.79] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 261 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [421.28 461.333 453.409 471.381] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 262 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [393.88 436.924 426.008 446.973] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 263 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [433.642 389.006 440.118 397.311] /Subtype /Link /A << /S /GoTo /D (cite.Kildall73) >> >> endobj 264 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [542.81 359.19 553.769 367.423] /Subtype /Link /A << /S /GoTo /D (cite.Knoop99) >> >> endobj 265 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [459.824 319.398 470.783 327.572] /Subtype /Link /A << /S /GoTo /D (cite.Steffen87) >> >> endobj 266 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [473.274 319.339 484.233 327.572] /Subtype /Link /A << /S /GoTo /D (cite.Knoop99) >> >> endobj 268 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [411.86 188.312 452.798 198.53] /Subtype /Link /A << /S /GoTo /D (equation.9) >> >> endobj 269 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [494.544 188.312 534.989 198.53] /Subtype /Link /A << /S /GoTo /D (equation.10) >> >> endobj 270 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [423.061 178.349 464.597 188.398] /Subtype /Link /A << /S /GoTo /D (equation.10) >> >> endobj 271 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [474.318 158.424 516.49 168.472] /Subtype /Link /A << /S /GoTo /D (equation.9) >> >> endobj 272 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [354.489 148.461 369.68 158.51] /Subtype /Link /A << /S /GoTo /D (subsection.A.1) >> >> endobj 251 0 obj << /D [249 0 R /XYZ 54 744.907 null] >> endobj 30 0 obj << /D [249 0 R /XYZ 54 614.3 null] >> endobj 34 0 obj << /D [249 0 R /XYZ 54 289.411 null] >> endobj 38 0 obj << /D [249 0 R /XYZ 54 184.591 null] >> endobj 259 0 obj << /D [249 0 R /XYZ 317.88 698.134 null] >> endobj 42 0 obj << /D [249 0 R /XYZ 317.88 627.248 null] >> endobj 267 0 obj << /D [249 0 R /XYZ 317.88 278.669 null] >> endobj 273 0 obj << /D [249 0 R /XYZ 317.88 149.457 null] >> endobj 248 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F67 113 0 R /F79 199 0 R /F72 134 0 R /F83 190 0 R /F77 138 0 R /F73 141 0 R /F95 243 0 R >> /ProcSet [ /PDF /Text ] >> endobj 278 0 obj << /Length 7121 /Filter /FlateDecode >> stream x]ݓܶ_ C|]媔ĊRr{Ҟ6u$1ɾ]A|4 ,?v䅖2Xm_,~K,Y/jBߝց *?^YïϽX z!d}ΏC }l^E?dfZi o_CMfUZx]Kf%|!_r)Xxi.a+=u]~w_\EL >t*`fƘ'|ޓnv82T,,{ߤ\͘`[hz6[֣x(jj_ZmnͦA4שj]Ce1RVhrT~]~~_E k.^ ܾ(2ڼxo16&GpQdB/}^Kjc؟3e?7fB<"ubk|FwhۺwT1WV+Ej-٬рX@+j<8fs>w%=but.|nS@za@S(l7U n%wV@GuhxV'5ݚ:ʚhzIRXnw\xv/_o:K4O0/Y^njworz>wݿ>Υ; e|gV - S0\}5l<^1_ 9N`rqT_~˪M$ LěE D3l)]T? :yW)gJ ^zHmhkz2&ffŲRsRO~(0Fć >ak'B36:UӶBnovk0{𫸧9qEXL+:Lxܢ R3S!E_dd,xĩ+jo%^@@uuBeda62鿟/9칠. !t\x4U+<"tJ9,qu`Y\txP1mOi)av\TUBH&F7 Ez.e΂^rmkÝYx'B] =x;Pv4娟(2n7js؏FP%p~$U;^)KBh/p00S0t%NdPM[ rm 5Vz[%B 7]MG_.Y}+,ɑzp ̱Ai 0}͡-6 0slQyi`M"djMM^P ZY`CbE,Qq0 eݠ_}mn9^U)ᇉM՞|(ℌwX@]n*0Y{bqs N #1hyt|]v[ÚJ =m6)'f_,g yhy]0:_A:4 Ih>Vmz=T =<^;j& .v0"dH^a@d)(Vۄm埉 eOQcDyʙ$Y<ի;pʍ_Ɠ&:⺴~;!`|QAӄ~no)a AS9OQ|Q] y0ǂ76%HD+jF 2v5nft m92!mUvԌ TjaYCjJL8bA1d+Y c]4@,"*9l8A}!rR&%\Ÿh͆~We%h$.a0}Eٍn un6%b h+?znBFx7͆RWT}nz0{C =),; X*DFm=WB 4~u_P(R©꫌ϦNx'̙f񿗠UCWQ,Za[`־W1A. Db``jE0WFNžLK .ރB3sz<- xΗ%j׻!w g(hU qC@6{I1 F,N2Ԉ}57Ф̋2ݖ7W ty~0]5 >rY^>&6Gԃʬ`!e;Gz*EYA2±rׁm&ǵmtLxVHs}̯Qq (qdO$n^l=T*䶷F5Л`a{mGY<F`|"SPu{e0yl`&c\kMH BPi} =]W!%}V溇?oiϸ*c=@B(Mzr(" %׷Pޯww^0pES\)k(Ћ.C^:FH)nP{Fz9m ,}w9Q7tT|~:Q!Yn/i^ݪv)ÚqT7S)z VIN1n׊DsӠ3T"V{C2mpd蠜K5$\Ǚ[zv|i)ꀂ:bw{cŠADH|Im]P#g*~+8?X7OAFK)=ЌB֜Bkkb/2|db܎ZuK!io78>/ƪr.cw\w3ole4 ) /DaG72ӛV  Œ!b2@7=NHbyVF{{Z./N"J,4ERp+2)H+B bGT,א`$hxRcƸ׹8H qH; CO#p,^OuKD @bA `aQߤw)Y)p# سo~pq5D9p dKa q[]oߠcR>Hp"/juh{0b;7r*u:,>t$xe8 d5TVAShesL4 xujI{o彿4a@s̹I_c@ (:9 3 s<7LbEQM?e \^OIèOMz2r:~ B{'y"ܹT ,Ɋ Z]E| o#>h{sG q' vϬ'v,,>r{ýp/\'3Z}k45dN}PE`+!6k>Nn鿂Z.h^&Ln+JJgLt7cSkH&1N1 CGBHk!FAP\F3=r1Ha'Cٖj@z"Rc9SF$0XS%*B K$K|d th&)H MIm@_p걔؟"ɳljt> 4jP0r0"{\"5X~K31ꉛ;wp}3uMtgdڣi2- ̲1b8O~& Y~&gqtLqѯY6 #Uoބءv1,bJ07CCѿ~_1r/_݋EVn-0eoDiCu&b"D ,z zDig՞r&lT3dY tWUS>bU`~ό.YĜљkMrԦP=bBm"D`ꮾ A>>lIIz '>XMPu*R3"UO~Zq'&fe\j#"“L(z,k{6+vAx$ cLQy 80IZA}Gkh!x.ç^iGga"R AxtR}pfȟNϵPYA%bUEXx!h5KbuEjFQC<2Gծa⭜c =N/iw 9}ԇM2`6M !PȌ+;(swdx7r☓D:9lOw_{1;rD `aBH,P+hVW A)z#|m mŚID} rzNd{Z!,E_$|q Z \Q3R3 H}3t!$MsgDkZ#`~M>),;3Tѓ vBLBL6͜z)Ͻnb'¶sE'3DL#\hgUpȵ_I"ݼ$0 'ٶm|5'8F{߃^E9H#]jԲ_q;vNj?qGV)N:~zF+ܴt;$vn{f& O]n;Cy烒@4Ҋt{]ALmO2һҭ)8BYAg Wn8k*ԱDP` d`w7{q"cXss}P5qł-<1badli}qÉ95PpOF77U؛ {5 vFm;AIdP MJsu7KȆ@+ >VnkapMq[ft Z;vl)Fn)TGهdG5FEI 8A|F6xCS Q8 $(r `zJWhźQ-/rΞ~uZы5Mҿ^',w`sL~^vƏkZLe({y5﫡Ms²Ȋ [ =|(fnIc|h/#>r݇ېxGw,܄Ka[}^%ams^&*p/]نY-\.Æ،g`('3b w[DN(~%+ wB.E/FYDW50I1W9cq6D Hy&:-vf[2ɲ܎`/ȝ-M4|Ϡb¡CHQ?0E7ua[AxD&@F p̂Nry1!;:Z^_>"!q5 _x ƁxO ,łU۷5a$YO9+P5ڗp !Y3Ú!ǀ}["xꌥsl-cIтt &F9Ut~h+c[/Rɭk#o+ᯀ =gI=ŽiXOb9dz?FsoTAc>5|~A6gӸHEb<*B!Ix;f7pvDj?endstream endobj 277 0 obj << /Type /Page /Contents 278 0 R /Resources 276 0 R /MediaBox [0 0 612 792] /Parent 298 0 R /Annots [ 281 0 R 282 0 R 283 0 R 284 0 R 285 0 R 286 0 R 287 0 R 288 0 R 289 0 R 291 0 R 292 0 R 294 0 R 295 0 R 296 0 R 297 0 R ] >> endobj 247 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [257.4 133 403 704.5] /Resources << /ColorSpace << /CS0 299 0 R >> /Font << /TT0 300 0 R>> /ProcSet [ /PDF /Text ] /ExtGState << /GS0 301 0 R >> >> /Length 2417 /Filter /FlateDecode >> stream xڝˎ>_tP/Y|x1 #NNQHd̮ԃfw{f5"YWǷ~_WV}w߫VgeO=F}B_ (,}Sԗ}頇*J_?z%:wim3'zsV~HlФ ZJ0ޜyCO {S2Waoh @虘F@z&@g!GUX?>"nHxZ)Wۙc"!Qa?&-j @CE)ߐX≧  J^eZ_pwzЈЦBs6R+3HߴEYk`͛%2x W4hDv?E2$SK r݉lTTXXhfFՠD"3{A9W+eRЙAL bz00ͳT{ N3btf& 1YxƗABxӿb[vbN5x,iP_Rѫ0kQN"śpthe"X rcI,(CNxA a=sA\421Y#qY2!:V~F ?,e/Jx0^8R!ر G("kD(1:h aTx V֬r53y֮&}&{ئg"гKwŠ[^Le&!m #`SjuZ5G?su.FBtOT60Ǡ].F X|e 7P1Ҩ91 ܴղdJfd!{\gyq5չ'J/1zSpΑ,]CKu7YxcA>?kaa:c3WE-SaLkw~A1+[Ǖol TޖF374u$跒D,InW|kQbpd4Y Ӭ/5*MBBO8  Ȍ;8-czN#E(fyQ:nΝ d:lY4K 犃}|n\\AHJ[%u[/+Б^-Ս o#xhZ=3z ) S+t6[;bz#wkgƯې #zd8 z}ו깎W껂krD7F' \B,fܮAIĸ^}jW&y| FEnaLt"7/w1j@:cmTz-hOhGy6fCIML0hW!V>ْ.jUx2c#k*-<&Dtl޼T?~ :kEOH3"Dlh;uҢwHyv{Vf!M }/QlQAd۸~^Q@LӏlC- ":gtYVD=WwX(?C9o[XT ֍rVLmA708hB,)~zUSRendstream endobj 299 0 obj [/ICCBased 302 0 R] endobj 300 0 obj << /Type /Font /Encoding /WinAnsiEncoding /BaseFont /ArialMT /FirstChar 32 /LastChar 150 /Subtype /TrueType /FontDescriptor 303 0 R /Widths [ 278 0 0 0 0 0 0 0 333 333 389 584 278 333 0 0 556 556 556 556 556 556 0 0 0 556 278 278 0 584 0 0 0 667 0 722 0 667 611 0 0 0 500 0 0 0 722 0 0 778 0 667 611 722 0 0 0 0 0 278 0 278 0 0 0 556 556 500 556 556 0 556 0 222 0 0 222 833 556 556 556 0 333 500 278 556 0 722 500 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 222 0 0 0 556] >> endobj 301 0 obj << /Type /ExtGState /SA false /OP false /SM 0.02 /op false /OPM 1 >> endobj 302 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 303 0 obj << /Type /FontDescriptor /FontBBox [ -665 -325 2000 1006] /FontName /ArialMT /Flags 32 /StemV 88 /CapHeight 718 /XHeight 515 /Ascent 905 /Descent -211 /ItalicAngle 0 /FontFamily (Arial) /FontStretch /Normal /FontWeight 400 >> endobj 281 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [103.106 420.828 149.073 430.877] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 282 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [204.231 390.94 250.607 400.989] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 283 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [53.004 381.655 89.866 391.026] /Subtype /Link /A << /S /GoTo /D (equation.7) >> >> endobj 284 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [186.247 381.655 232.569 391.026] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 285 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [186.904 361.053 224.189 371.101] /Subtype /Link /A << /S /GoTo /D (equation.7) >> >> endobj 286 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [239.096 321.202 285.779 331.251] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 287 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [121.97 311.239 137.161 321.288] /Subtype /Link /A << /S /GoTo /D (subsection.A.2) >> >> endobj 288 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [112.422 301.277 158.047 311.325] /Subtype /Link /A << /S /GoTo /D (equation.14) >> >> endobj 289 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [137.932 168.352 183.501 178.401] /Subtype /Link /A << /S /GoTo /D (equation.12) >> >> endobj 291 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [243.386 128.76 292.13 138.741] /Subtype /Link /A << /S /GoTo /D (subsubsection.4.3.2) >> >> endobj 292 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [100.272 80.841 106.748 89.074] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:NeculaTR-POPL04) >> >> endobj 294 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [392.786 430.992 434.848 442.829] /Subtype /Link /A << /S /GoTo /D (equation.9) >> >> endobj 295 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [452.237 430.992 498.781 442.829] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 296 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [550.279 411.067 556.755 422.903] /Subtype /Link /A << /S /GoTo /D (equation.8) >> >> endobj 297 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [480.356 313.382 491.315 321.489] /Subtype /Link /A << /S /GoTo /D (cite.Value90) >> >> endobj 279 0 obj << /D [277 0 R /XYZ 54 744.907 null] >> endobj 274 0 obj << /D [277 0 R /XYZ 291.291 624.338 null] >> endobj 280 0 obj << /D [277 0 R /XYZ 54 501.189 null] >> endobj 46 0 obj << /D [277 0 R /XYZ 54 290.992 null] >> endobj 290 0 obj << /D [277 0 R /XYZ 54 169.348 null] >> endobj 293 0 obj << /D [277 0 R /XYZ 54 71.897 null] >> endobj 246 0 obj << /D [277 0 R /XYZ 317.88 262.624 null] >> endobj 276 0 obj << /Font << /F67 113 0 R /F62 104 0 R /F63 106 0 R /F83 190 0 R /F77 138 0 R /F73 141 0 R /F79 199 0 R /F80 210 0 R >> /XObject << /Im4 247 0 R >> /ProcSet [ /PDF /Text ] >> endobj 308 0 obj << /Length 6656 /Filter /FlateDecode >> stream x=k㶑WGM݊G<%]}]W g^IE_hDHyzj @6 ].*y,l/Vʋ[+ZK L[B=WG/Lax{zn/x54I߼BV˱YGCNb O$aY侹W;]΅гݾǒtewɫn z Xi #MVmo}_t0on۬h`%^%tt]>U2=^sV(N&kd@8]ڭot[.pT\>l:*$cÚ*c,P w]6חs^m;* &(WJ6vws]ʆcfU2H .Bz}=A`n͟({+LIXxO~UrbJZWnͫoqJ`r'pϔ09CB+11}9EFeᱧ.3&'% ɏVpjlw˕t뺾]z`#No ͔ $4/[Ywۻx`9^7|lnvCw9Q>49s Yh*gk˴l]YFZ;j; ng͔BUh ց=PDͬ,_{^ǁip:ds$sU"5%R(%rV_ѨA2TŃq:w0U*#lNLՠASjt]}P˪|׆\5ߊX5TU1]wn ĂXȅD鶾[mwwp\Qޯ8l!r܋ lh=5,E$ԋ~~=]Y9,m($ ˲JA@`4G쥞}69.|yaJ`y9NPr1} ]T"`]5=@PL)g0вo[xw d@ ]wygVz򞂘)v%>SRb Ww΍Cy' 0hn`u$/-)O]ɫ gW]RwCצvd Y@En>4t=u 04,Q&[Oe91r15J_ZdPzez7@l@A$J8. *@AK 95 /y9D=hZK,UiiuA#["nPޯ4pWo@r2}0BO,X\ri]UɻxVaL5, 2lG(otz4O!AzZAFXc=캍Oŵi8ޠ2$qBz12I~lAox1G @3vDf3Xu4)`=bEH :KIPhm/HPn Ĉ~0x2f4 iN /}qyv1YX0+Xe".ʰZX$~%\+KlaX4!}O9B|#g3J& LF_.lcmV!YU`Fi!*={< 3X*P*2K){R! oiFi^ju?-bk除ԁ@Xx#+뙶{=Cz5nA`vzDvBH_u`{ꚪHKa]BUbs*DYoy@]9MUaOjrS$/" b@H(`\i9FwW`R޷ha)pa&HT*OyM" `AR^gTO7@U ˉ*lFa{:Lyd{)VAjUw9(y'. .X94*P$0̩P0]JQD] Sz`uͽ$ Ho'5h!5Z3'MX7=Z\},ᝑaK<ؙh9b#E>20M'`Ӓ8%=V"3GQwX88V [Z(p̙ .q A aE|#2gR  JiGB̕`';;q"}IwdacEtea{E3iI@iVЉ%zH >ܻr3DP/m4aGڵw(sj"N\\gX.*UP: ' |Ӂ],Pj}O׋B&5]z8%zm !k?F'B gvMh'xu+1Ȑ7jUz0hV9#{ߣfmynSqaїTZv9k ~mcm-ݪdD91D2yޠI QtZ~ܴ6i @TE<+qe-}#1".6ez2QjjU"Wuqu;ߟXJwOO) JX1uJI*9.O?aYbaLSV jHozzFPjT80gygBQuz֤P%Y':@D}UQ3XcaVΪ8w`',0\xL.cI#/h).u0Md?z_PP׻vI4MT5t9XsWGq:<AĈDI@ÿkq>ϧJB5nEn6m;l}=pV2]oݯGk-hngm3l+IPq7ot_8UC ~ڎfSTXb;`yYu׬||鯶_dXXԛPPè$9P¥P.T83r>׃v8`.Y݄~HmQqZ]66c0U yLO‹gȿ"UkE0F3a6*\lΙ)yg)F.wy7'#M&T:Q,un\>d8[bHM;G4izw E"j/ڵu\Ձ`ք4;%2u ?PFEEbWWS{@=Q1Abp6 H^{Mg{#.y. .@[?M1ǿI?P,qYʨWv )ֺ2_HXJh]fHiXMF~Y碾Ǹsa߃8kj_);r]̂hbieQͲ0suTC &A %LQ;4ΪXH:,GeP$64IʀͦuQ=0oY׻q8U9eP@U 3ީ ju, =0q9cuP.@U:|f^>U)7PЅVu`g=|38+Dq( >%t]Iȳ0y1Łl!|UP@)0yd678(B㥝wK:UQjM-t.|< FsZO=lj]Hr=>C: Ngn4'h\ 4v9m,1Z?GmZ3ar眃-Ó8ݓBWy:O^gt =S@'qs(5YQivЎEC~{-p5rCi U&g,̲]>؊ϷkL7 (h*MȔ~R>jCӠb-B͕#ӎVwa-;Ji||Vj`ЦdzlMK5?YUHFuvnmUKֹ`ey润[W\aWlXܣcz=UQ<Yj\e&}1B 7e4璪G2} \}.."3|ХP{lۜ@g=80deuxe؅U?;IA >X&鶦n?$jȥ~X8|;`>|*vm-2 3\EA_=rBdWyV*o\l+DVAnEUb؄#j?C'NaQIޣ"ʃYVfC!m5lj/yN W2@鋮[6 tVЦEyp&T7sZ:yl&`M^ˡw!6;A~>қ ='{lٟ3L(gop2C=dK,c{zPәPO!z gԴC*GS2Iv0:OF@ Fr:`MG5 ^dej\', v0Zvof6*yeso=jMr` gQb` =xnn|PiY9Y;*W%!Qh'f:u"@Dż蕟}n㬩%H![p029){ @-BY>cщxsßN85s]a1wƇb88A5MtdοJE&gL'ñ芰{19)H+c}Y⡌3K)1˯$1}zv1.il!u>w/9gBYNVֹ/'7gp1U"6cՃGI!YI99<:ӠHt( {OU.H?FX(q>, >N{1w'L<:ҙI']"bYmL&":d1x">yZz £b*05Q;Ta[%;T~ed+lNH6SBxb݅TޭsVֹ --mb0 Of=N8~9 1 \K["b.x?MD,Je*%$` <Up]1`4"f?3vw^f RlLv }X֘q{2??RvyGFdsVҔnOOpngR_OBj{WѾҷ~Wu^giAOBZ -o; Yx.wTr;4Y2ڑds]KE NO%%ƺhÎX,{g*ItUq oIJV-s!S= 49o❠cuyD@uaq]Ó1Ejtr nm͎<<(1oAixp&H0&+@䇍9VI&?"etendstream endobj 307 0 obj << /Type /Page /Contents 308 0 R /Resources 306 0 R /MediaBox [0 0 612 792] /Parent 298 0 R /Annots [ 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R 315 0 R 316 0 R 317 0 R 318 0 R ] >> endobj 310 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [162.852 706.799 209.201 718.954] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 311 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [202.472 697.137 208.947 707.186] /Subtype /Link /A << /S /GoTo /D (equation.8) >> >> endobj 312 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [224.385 697.137 265.471 707.186] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 313 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [53.004 675.941 98.42 686.159] /Subtype /Link /A << /S /GoTo /D (equation.14) >> >> endobj 314 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [193.27 375.627 230.239 385.676] /Subtype /Link /A << /S /GoTo /D (equation.7) >> >> endobj 315 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [285.655 198.563 292.13 206.612] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 316 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [421.774 450.07 453.902 460.119] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 317 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [421.28 395.774 453.409 405.823] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 318 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [393.88 341.478 426.008 351.526] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 309 0 obj << /D [307 0 R /XYZ 54 744.907 null] >> endobj 50 0 obj << /D [307 0 R /XYZ 54 610.854 null] >> endobj 54 0 obj << /D [307 0 R /XYZ 54 320.375 null] >> endobj 58 0 obj << /D [307 0 R /XYZ 54 239.628 null] >> endobj 306 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F77 138 0 R /F83 190 0 R /F79 199 0 R /F73 141 0 R /F67 113 0 R /F72 134 0 R /F91 233 0 R >> /ProcSet [ /PDF /Text ] >> endobj 321 0 obj << /Length 5623 /Filter /FlateDecode >> stream x-U~,3f[K;oEfm!bcFmCaa ~w^ m*-9-u&) ^k4fè2*?ɒȥ"^c,8<2E*&𔭎w@#A0{xMZ>!0¶%ƩxC5E-No671@Pg,:VD/ ?,Ajl(5=SQóHQXzkg>QQI}:G P #ITe| |5_-2I*bZ7{t~Eϕ6E>љ?Uq*{U@CA )\h:+o ھA-e@% 6OJg i` ;)igI`":q jj ib<^ĂɥūdX _HU0ô  dX7EF* ъ2lEyw5E4?;$c>Nv+,X۱z,2Ovȇ=j/z{8(Y }qy%E|xjtZPhݾN=m$XLPh԰߻T yOE-oRkIل``q;Xh}fշQdKPNVҙCO=X1HgٹM\EKoe4"H&a_Ҭ]J-7)?[60LDgae&L N~*|8v( ,+4UIjJÆÝ_՛!v%d 1(`,64=M_S*fJ_S{5zmu]mi Li>hՐM{c('ۉrIN(<%r.ddEr2s{bLS>.`Q:%M)a^tJ(qj 7 n QU,ԍJt7|Fgҿp5B8TbS6hO2ZI<3]jPIgF%IX*{ӔG)܊4ai #l\)m'pJ%A E#z_ !2dY,:IUOg+qzlbRr$Ӗٓh5XjיW 伢s,Z9 b_XI%NiBU%z~*eUR3$F'ňe*˼C' x!0Ւ||!?]?&R7 ZU~0FPS=5Ԓ/$JЁrJ?޴r猿?Â-?,/fT_JUsE5=)wO'΢p!q*1*gY^,L'~PۥW*aq2+QG.m1br6$+&clG")<+('ɼ^2 Tv35qd,\@֔Y3>ԠB_ ӝ}K]""h,68ϜBdV-$5b$Oء*_Zd+|57;VZ#}`}uآbKoAK"%u&`8ِݺ2)}Xo 4/6K*>sg)rX2b#>() ~{#Y[.٫#_rG ~+v$VI.relP>e˩kYfb 擊QM[+H\EހAS2h@|ҙggt@F̥$MR9Qdy#%N,ɝ lH>`eV5~_ :hL컻JIْ)b=-ɲ0&;8C˻ +,ٛ)8^mH0Ʉ oB yt!bb.&]ѭ ;=. p*5A P9RSR65OJY0uC|+9φuɼE3j*Şk1WS%Y%SQϔc{LA&q) d 2i4L8K4`f3N !kMjӥM <\Gr~i9p|_ymb"R::2@Orci%(Pg*r3{VM1?ő‹0W^{{'"ڦq]QrgSA6~4!\^-ArADRk`T.P Jr+s.]]7{= e57v,p_c_fO`hi9y|&bz}VX%sTrR~[;roRDTǹ Օ &]L$plPSj. Kkc^Bql=6u=8wNJo ́ck0Ŀ7!lU*il46NҜ8iT|@c]䝆h@cz#A݁4@8E@jQŖ5F0:Jrybcl1a&!)v1IS0@??dxuL%NU wso8y՗[[Z%bbbC8 RC؃{g}8)<8\vs`2 ap> ᩖ0X/pg(s-/[wZlp這kGBKwڑ]5L /eCIæi_rw'K0%T[ӻ^ȴb|&Xc:!p_tk!2 *[EVh2K / EKҧr !a1l)R'tLf*@nDBN\E_Oa]w/̸񤠇.4D9~ӆ/yKx\q=;P@׆,in*a{]wF̉-;5콜%I/GKcר4[y$%0RD szf+;b>f>Z'1,X!Wrl!jw4h>Z>o D1&Mn `>fR ˊH/YtdYRzl=gendstream endobj 320 0 obj << /Type /Page /Contents 321 0 R /Resources 319 0 R /MediaBox [0 0 612 792] /Parent 298 0 R /Annots [ 326 0 R 327 0 R ] >> endobj 326 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [187.587 69.063 229.928 79.111] /Subtype /Link /A << /S /GoTo /D (subsection.5.1) >> >> endobj 327 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [398.648 301.401 409.606 309.509] /Subtype /Link /A << /S /GoTo /D (cite.NeculaPLDI00) >> >> endobj 322 0 obj << /D [320 0 R /XYZ 54 744.907 null] >> endobj 62 0 obj << /D [320 0 R /XYZ 54 674.361 null] >> endobj 66 0 obj << /D [320 0 R /XYZ 317.88 720 null] >> endobj 70 0 obj << /D [320 0 R /XYZ 317.88 269.572 null] >> endobj 319 0 obj << /Font << /F62 104 0 R /F67 113 0 R /F63 106 0 R /F129 325 0 R /F79 199 0 R /F77 138 0 R /F73 141 0 R /F83 190 0 R /F80 210 0 R /F91 233 0 R >> /ProcSet [ /PDF /Text ] >> endobj 330 0 obj << /Length 6501 /Filter /FlateDecode >> stream x\ݓ㶑߿bNSesvb;v[IUl?PFb"eRfHnb窮@ b4˒$*n{| [ klY$^/ˣڻWwnj^ū+j6~Uy{\-eutwWmvrSaPil8 mձݹ:3^6\4ԹqåٞDjqo!=#!3U//yglnsێhh&^ӦiO CfavtP͆D<{pE=ҥKJ0}RU5%NP(_VE*-֪L3ʲQȪL881QI,"fWQ꣸O>zDis7){H+hP<ů%:J #?=/sDis`e0'i`_^DF 0/~*H((:" Rnqd@9|EFoZ33sIF d~rUg,c4 {`YyAr DO)M3'vy( Qn0[_wϋAZEbKg,h Okm|< ;Xs3 h:X#1yGQQx\#r݂LoL*hcOB a(9<4U$Hf͓k ]=O#˞E lҷ,; ~{.]"pGxjXsh/m{\4*GUcdq]iH:_\}Ruy5{_.$ծ6Wgke(m+%8Pyڮp"mZ.4xWE.}{ivrdvqӫHU,A%qB)2 hF~~o.cKDda6p8EzDvdQn]b*&#L fa w5H"ʒVWCY'q[9,#0b6Jf(W(@Pu`G,'`ZGZ? D2Hx ү ICpqhXE~[-t?0d jwX_bwd.M`ڻ.O_u%I.l?ƧP5(KY~ 8xi}k@ג/~A/R</z^(sBy&Et4qxHf# U%ʽ(~lcU=aՂݠ5@g)e Xz&0ЎywaZye>\%_߼6F(bWx饴qeH 7RIh1"BZe}UkS;sQ9}9sGoϒ^[zDk1 #qK 34+Et޵aL\C\lۮ#̤Jm+i/牃Ե1D ஦{TXUKÏ3_ U΂-m ?|y;Y\?f͛Sz?2;ss 4Vq.8-2 dk3ˢ;mu. VPJElE,>jعA#'63 lLLK(&lל1n #"/mKejk뚛rܜi}&54&ȔX7Q"A:O9lKMW|TL@i,% M,MBw2!|j`W|60CVӻspx:,r3E&nsW$2Mr,jzO*쮟.X`0␐c-KӈAOսpxr-$թm`'U$M~H̄3ڷ\LON;'DY%K\LV~} abd_3/VZ:tdR-a1RU`A#EJDp޼Ϣ V.%fq[n;9n'ljg2tbW *d"i$#1*XLĭצ91nw=M/ `Ǩ|v Gv4`Ԏ 7G׈Eȝ5en)oGx, x PhCtbPƝ>-خx 5٫{܂x1~A .Lܵ8LÂ# 3%IU)<>!P&ΓZ;f@]ֲގ$Åa_zgMN9O DaQ;1R>&C"7ՂeАYM&HXĵa"AV:r|Cj^/+G\R kkPG@ ƶfWrkp̛ \Ƒ +}\v;o03c<36a.-7dy&fhZ$ }m'I 9*xuHs`?e3|56^-~v(LSc6^P_ĺiK@cs[` ;*p$cPqA <|BT F'ea'WҌc/f]}ޜG!GkH;ޅ@B@2TŦ$a+BT|GHu% BPlXK'H:7|e}eͭ%3W; ϿȧfؚG ]-2D#H7МOl\K>l 'rpu9'WgH9h5boqN%(wvՆw*x(<pPYU;W/P|4$J;o%43 dW#im9Kx 3]iki11̯;Ȉ0pcdidS=d8p?MXz=(`oD&+R@ * OZNbNAǒjSUq4W )q0K7r9 ,۩ 4r$Fmc=8Jm= x# y /8>L^O08 RSւ'xM52X.W,ꋄfW\{4\CHy(|'rghi/Arχĺ I^5UJ:ۖ`K Dֲ}&i/?7HB>H\Ұә7%KSʶ+;l3K<6xR;,\i+E.ǂNVS'{)f" {~pǡ&ѸbɻqGB#Ԁ"6?bG}ɱizihfъ?/G3D.RZծ:kL99dCCZQ ps_rQ@nF \IC 0?=BW$Zo>PnKgMW=@*+zJ'A"VT\0+ f m8e޹B$]*X/,ƿ3|bCkCxīo5,/wHS^_`\9 ?6&p, W-_h2reqb,#ɳFYV\PYT<ŴЙNK*|uϖ&4YZdQ1r|hڹ/¨|endstream endobj 329 0 obj << /Type /Page /Contents 330 0 R /Resources 328 0 R /MediaBox [0 0 612 792] /Parent 298 0 R /Annots [ 332 0 R 333 0 R 334 0 R 335 0 R 336 0 R 337 0 R 338 0 R 339 0 R ] >> endobj 332 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [125.982 399.574 132.458 407.878] /Subtype /Link /A << /S /GoTo /D (cite.Kildall73) >> >> endobj 333 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [230.587 359.723 237.062 368.028] /Subtype /Link /A << /S /GoTo /D (cite.Kildall73) >> >> endobj 334 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [213.912 220.443 220.388 228.551] /Subtype /Link /A << /S /GoTo /D (cite.Wegman88) >> >> endobj 335 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [266.987 70.878 273.463 79.111] /Subtype /Link /A << /S /GoTo /D (cite.Gargi02) >> >> endobj 336 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [516.446 669.191 522.922 677.298] /Subtype /Link /A << /S /GoTo /D (cite.Wegman88) >> >> endobj 337 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [454.474 659.102 465.433 667.335] /Subtype /Link /A << /S /GoTo /D (cite.Knoop99) >> >> endobj 338 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [418.052 518.488 424.528 526.538] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 339 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [474.228 274.555 485.187 282.663] /Subtype /Link /A << /S /GoTo /D (cite.NeculaPLDI00) >> >> endobj 331 0 obj << /D [329 0 R /XYZ 54 744.907 null] >> endobj 74 0 obj << /D [329 0 R /XYZ 54 499.764 null] >> endobj 78 0 obj << /D [329 0 R /XYZ 317.88 455.03 null] >> endobj 82 0 obj << /D [329 0 R /XYZ 317.88 153.07 null] >> endobj 154 0 obj << /D [329 0 R /XYZ 317.88 125.631 null] >> endobj 149 0 obj << /D [329 0 R /XYZ 317.88 92.69 null] >> endobj 328 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F77 138 0 R /F83 190 0 R /F73 141 0 R /F67 113 0 R /F72 134 0 R >> /ProcSet [ /PDF /Text ] >> endobj 342 0 obj << /Length 7524 /Filter /FlateDecode >> stream x][s6~ϯ[Fu,ʃ\6ε"gOhDK<j3q~ 4ĥ*FdOrcO|b\nO!XK&21\&G|9+_?':}}e܉t{CvW<;;繞<^r:t3UWXTZ~rfg\MMAee*׾5f}fE,<ƄZI5f ȹ͜־\ oIN|{J럾{)*Z*VgL嬠jI'׫3X@Ź^.FO+fq;/r= R*Szvz]t˥s͕ y/6˂s*= 瀦X&,+QOg P&bSWk4Lxs/~&.j: eXݮ OΕ40Ͳ5yjO&y4A ^UU5%N]U׫"^ZB63?iD;mWA)>2SL ؤlҫxnn:Plrfq[f ؔz{FmV f,CGtrDiCl'wgB:1#1so֫j/EHX@>M>߆U]4|~=(z1] H`Ř;W#| E5ެ4G =GٲC{9(PQ҂C+"Cr 0w᪸-W$ M6|BmIxyԄhoYO=֔S"$S{˶M.cb.c&"Zf;cJŐC3qA{ޕSK;.T|}r};]({ p]͂tWlFA-x<@VFB4! -`(U> JѲH,Bjh|j$t)0_9Ƞ1qr`@C| 2T6"nB +TY@d>Pu"**6XsAv=6' |Ia'_o8tYb SǐC1̧ U8?OTzX f:/ץgSA'$Ul)60<39A1y\n<}d@k LTI-Y*{%Tca)Eܘ[#XD!LU v:+V{q/$M]1gi0<5ُ'r|ygS0]f}Pɷ˪ iD|ؙXAb|;\ ¤ה<$R==K_( 6Y*OFpSݢ^y vXGmK&sE Nwx2η" u冊%eŌ6ab1͜d[]XVVj>m [p'!› S(-VCEe Tx!T>` mYXHKq2D 2h\K=m% b2,)• wq->-'" ;$?y khX p-ݑc\flSw0(՚t}V ƀm]c=f&Y\jf' q}j^ ٮћ%=p F熼o>r ew8{9,eiPթUn^qCm5p.EI|R^L2v(D8 {U2D`,*WQDŽryzk[9b$/ @@4oRDBcr #ӰP .`P8 >6C hP0Ѩld&*rpP`]= =j_5Rm;umUͤڬaj MH v0֔GKrW>!hkk5R.6Lhccާ&GO ±DaECn|ZOx6 7iLDCз]\&.`T2HT+=܍rA&5lO,:cfѶCcH鵙4cE{+1OرJCN=9y&<3n6w S+lJ{X]k}F<EהVa]bB#0=e"YB2!l{w9,qgLYTp<_'M (;]xڨ_F3=]z? =fz̘!o'AyEfҊX[\k\17yq4dwԙjAsD!(0i=(oRL\=J|6nQ+>"ċP S/h>HlPO"ax{+vFμjA2ӒC׬p|hE[P"E>u+[y}Qdp$0FzsB \=+~٤cmUrm2{h {T3#K%HÜ *E!? }Q9XIŰ1 UjմvUyY#K7AzSYj2!yHQ^y@\(I>Q@aE@a+FM Vmb3q(ѯm^c>mV.mǺNv"[MtF𦯄 G$d!\`V6RjVT)˘LA0 5t BLjᣖf!!!{w\fb͚֘;\T+_!E Rʤtޑ*-|s&on+x&sJO*l<b|hn{4.^3Խ:EknXS7l_AQ7G6SL> +LPݣ{ˬa `ǜEZM{8Vp>_+c @s\kWjvv 2xd5F=协ѱuHXaF)NE:&NjB|]*a+'kHn΄;PXo;nj)A 8K.RjQ- ̉1Se1 D;O k-a`DnEŃ;,?\(8F.0 Ś]MdH]`E|*|IL4Ƌ\Q&#THUX0<Q0K~Wv6(^@Zm_i߆$, q07k.'Q,H /u$X,!(4 HQ߃:.OQ}==Θ}3 eum/̈31-Yk82ƈQT~QFcadFQF&o>HJDY𳹮9BQ1G>DjԆ]*NA}Gмv?::1"?ƎȥGKLd4|!v۸ W[fΞj+4,+[iSJHc={B{cdnd?Հ܅PCg$L:;=a=4u o3yHw|<O6'y6Qc5=d׏WW~!Dft)^iH;ѹ`G^QesҠ9SAH^w?Ӊ1~4g,8 r-DX62-,=@6>Ed辨Pd^xTˉP[oqa)O~* î?PGDQǘyOXr}?#9Q`;c?q:qpppO{4 :s*g:T[0B97uz@ƶ`%>m~n׉H~wqXc4;G7sb3NM Vgg6B+t܁}^ 6pb,wbL`1glw̞Z!)zЪބ CyOaz+0c{.aI36:ކ,?f|{jno)jV2mI?QG1 PNJz1YL\d nL9,>Ъ}Zߗ޺ F Vۥ-|nd]Egml[Ꝉ?sH pn?YiBwxGۜыkw>czԪz;J0}%RLf3~r~rbwf65G:>q؋ ? ,~VwBsR#l=i'v^lo5"d,Ofrk X^N ]>ިOz6t8+C܇;^nY^<4BI9Pj7<]63F6A9AnI5jG':r&Fnߨ);zh";h9 ^v1' j[vw!P<}L2s^+5|#>fNoUE=9hn#`` ގ[:D1鰅<9~+oċni\txi(/yAY<,yK|rkvn޶i,>*.Bo.==w:wphܞ[p*id | KXG; w\_ď=R}8ﮪR*$U`BHd`|T ,bdOc*s ;yυևY{YY.nw}"_Mv迋n_N sn]rd\~oއ]e.*0xGMs(9 לMsߏudDy8`#c`Hԛz]7k?'_>&4oi 4Pi q2ܓ7zuG+N&n{tg,0ŜKj#\CCṴxbNT;aA\xc*|Ll %}[ɤ?-yhx7x F KNQD?'mnH5qrqX~7vH$t)f|Cf}74 R+vQw>ԟ_C (͙V$H< 8~jq+69C>Œ=ȫ~g:Q$Fñ .dl6el"S}Wٚ~EG?Dœ],iV{#~d;Ž>F Lu ňֽCJ =P6endstream endobj 341 0 obj << /Type /Page /Contents 342 0 R /Resources 340 0 R /MediaBox [0 0 612 792] /Parent 298 0 R /Annots [ 344 0 R 345 0 R 346 0 R 347 0 R 348 0 R 349 0 R 350 0 R 351 0 R 352 0 R 353 0 R 354 0 R ] >> endobj 344 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [104.413 98.951 153.266 109.169] /Subtype /Link /A << /S /GoTo /D (subsubsection.4.3.2) >> >> endobj 345 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [517.323 643.844 525.293 656.506] /Subtype /Link /A << /S /GoTo /D (equation.9) >> >> endobj 346 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [421.774 576.739 453.902 586.787] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 347 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [421.03 530.883 453.158 540.931] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 348 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [393.88 486.549 426.008 496.598] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 349 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [336.809 446.398 377.402 458.276] /Subtype /Link /A << /S /GoTo /D (equation.10) >> >> endobj 350 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [500.753 423.717 514.701 435.955] /Subtype /Link /A << /S /GoTo /D (equation.11) >> >> endobj 351 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [357.367 364.326 394.405 373.957] /Subtype /Link /A << /S /GoTo /D (equation.7) >> >> endobj 352 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [351.998 336.263 384.126 346.311] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 353 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [351.998 234.504 384.126 244.552] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 354 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [351.998 200.133 384.126 210.181] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 343 0 obj << /D [341 0 R /XYZ 54 744.907 null] >> endobj 144 0 obj << /D [341 0 R /XYZ 54 720 null] >> endobj 151 0 obj << /D [341 0 R /XYZ 54 690.379 null] >> endobj 155 0 obj << /D [341 0 R /XYZ 54 650.03 null] >> endobj 182 0 obj << /D [341 0 R /XYZ 54 609.761 null] >> endobj 183 0 obj << /D [341 0 R /XYZ 54 569.935 null] >> endobj 304 0 obj << /D [341 0 R /XYZ 54 537.951 null] >> endobj 150 0 obj << /D [341 0 R /XYZ 54 506.569 null] >> endobj 146 0 obj << /D [341 0 R /XYZ 54 475.788 null] >> endobj 148 0 obj << /D [341 0 R /XYZ 54 452.77 null] >> endobj 147 0 obj << /D [341 0 R /XYZ 54 413.023 null] >> endobj 145 0 obj << /D [341 0 R /XYZ 54 372.073 null] >> endobj 305 0 obj << /D [341 0 R /XYZ 54 340.691 null] >> endobj 152 0 obj << /D [341 0 R /XYZ 54 300.342 null] >> endobj 201 0 obj << /D [341 0 R /XYZ 54 259.993 null] >> endobj 275 0 obj << /D [341 0 R /XYZ 54 237.888 null] >> endobj 143 0 obj << /D [341 0 R /XYZ 54 197.229 null] >> endobj 86 0 obj << /D [341 0 R /XYZ 54 164.023 null] >> endobj 90 0 obj << /D [341 0 R /XYZ 317.88 667.249 null] >> endobj 94 0 obj << /D [341 0 R /XYZ 317.88 446.398 null] >> endobj 340 0 obj << /Font << /F62 104 0 R /F63 106 0 R /F67 113 0 R /F79 199 0 R /F77 138 0 R /F72 134 0 R /F83 190 0 R /F73 141 0 R >> /ProcSet [ /PDF /Text ] >> endobj 355 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 22/.notdef 30/grave/quotesingle/space/exclam/quotedbl/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/less/equal/greater/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/backslash/bracketright/asciicircum/underscore/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/braceleft/bar/braceright/asciitilde 127/.notdef 128/Euro 129/.notdef 130/quotesinglbase/florin/quotedblbase/ellipsis/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE 141/.notdef 147/quotedblleft/quotedblright/bullet/endash/emdash/tilde/trademark/scaron/guilsinglright/oe 157/.notdef 159/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 324 0 obj << /Length1 1640 /Length2 6416 /Length3 532 /Length 7290 /Filter /FlateDecode >> stream xteXm6- 1ttI 0 303H4 "-ҍ R({ygw|Zqs/:A!bCB@a^QW a( UXB!-( %TPP hnp |k^Ei{`ZVbyᣱ}9 Pm4`0w~0ϑU 8*Vu mE&_W߇]%x2^%o"J`l;Q$, ۗ-<<Fd;I@7V;bՓ>\M{jckY:Fx†_\b9$DW:m0lʧdWBC*އ.Hd|JјJc'MHƻ[뵲]Ak=Mcg%G1V6k^7'ߨwaDɓME4asѹ;M+]yī|d%.:n[cq%9c =>ʌTQjm5RFt?(W̦!au DTmD$WKug n.jm _}ryNw.-O'~bh,a-~4gъ \9>SgYp,DF 7Pw:2^NU-LP:lⰩˇrT#ܯ^juwJMr,M##F8N';AWW%*#{~Qn'J7`qzOP_mvcG>0KE;%]C?eAzZ]9wCu Z,FT M H7l.}xʶOQqk^X(ցGє}E>W /mw͝Q,?lϞ eP}@=]cAtѹvb!OUs(wvQLx IEMKl ѝN*hfjwvטd;ƭ~ }!°{1u 2.“B!31oy8:ev$^fW9YiUפ B]oJ3L_h+P UIj8 |O"ӎCi>u9CӏDž1%"J+h,Jx+^ڙG"B.ăG6{o54<^(zum:}ϵ\þ6EJ3/sk.Põ:BgFҭG,[J_:d/,KZY\$"{ɽ.Z['ñRByjPC]/$rJ]ѽh+c!%8h˟=fċ`P^,WƗiz%~w6C~IV嶯 T)hF~I40E1:+**-S=9O0 ]mkq—a|–S RP9g8\l xquOԷ҆'z%r)!cųٹ6.)ƻ A0մuW7dڪ支1uoNv5^GW;{w o~!RM;ޘHZ,,z Dj1co_H G1b K" R{Pj Sz :CnWJj˧O'Evע}W+tB(͟)|{拙BMXR"CudY].?:>iw+X#ƚwMtZWk, |#W\}2eZd|0pO&M6|x4N;%f|)}(c/!g~y} iiB";9ӈ:/쀩ʏ)z9~d@i6q=?GH5o[^D ~İ/>#5W)9Xs穭c]ApMw-Y8AܤjO}\mXg/[PmVb :=)TtzZFHbǴL1-ewUug:_5Jc*^C[1:VyXäY=oEx ىw%|@(3]ނ ^0_kMPiJ5\}^>fɳHcG_W!6Cqkplv}^ZhD9@y6ks.:\:3u919 j}Q\nbҷCiK9&-)4 VLQozkQ%؋riS#Pc-?T(Ls];i:%gR >-i//<4fۧduL%Z9zA<Dn7Zzwy&#Xoͯ&RlwLTp:{Gv\,] O`OφNpY=nXŞAܤJMia=Ш+"L RsKjݢS&+b OWQQi kz?Rm6٥\;^ ]!?zs50R|ow/KCD6 =yke:r]JR'tM ʼn=\82:w]i!!(x+RlnO+OWqkz޸>꛲؈ÝaPo@ݍtbS%F.ɟ*„K.Zb*>Ć2b9 )`/zG7d5S>'L>%pS޿EyAAwbdT85@sτRɂ:i2\W3"G jve鈟dlT-ת7h.D*c7{5ʊ쵢hYכ=Bv %d۽+ jGXG%f}'jǾkn3.@bQV)WRʪ*E?@lU~؞gx ]ݜ5]!1w}Wm"#?}M ֍r~-c67x*Tϱh*f%z\AOzS`a#^B 9eucǏ}P ˝{LXD3a>?䨧ce3@ne}1%i,;,( C'wۖ4;|Aq7reVKDNpuDZ ϟ]Wu9r2[ ä~bl[r<_qUI-'W#>3G;smD۪;ЍgǭvK2ύ s,w<{DTBWjaoϋ, kOۣ@SI+_Y܂%T% eKLfVL|LP~B-ğ{ܫS]/*a]Ky1'B*p'\H\|T5\ZjB*!Ud%Ÿ.:F7o0WyyO%[J<;)<ٺ=OjI5 W42\Ǻ=@gZydIEWtRWs 4N1Hz~VXvyBEƔ=ȭPƨZ<ޭ$r|똻PC֨6ZȈ*z"J ԣuJv5}9zF*K^We?xHdZhdj @PV(Ԡ~,W}55QE%dZܯ^zϑ|/3ȩT3o%[_RM9Nʖ&k;Y{EѿW/ݓW~At$"*źvLkM$u*nݏ,A T1 NM<N1>a#:C!u5>I~O})LHe:eV4! kIjwDb0bP]yLሺo%ƈDr/>b8NMlkbh?5%rd֧w@c9xt[OSXٷﲀI(86,JASBe'EVf#W4R{ aϺ4M^WML<3? UBV݅jLSzܦO7.wٜD=ާܗ_~ 0 BcQ 4endstream endobj 325 0 obj << /Type /Font /Subtype /Type1 /Encoding 355 0 R /FirstChar 38 /LastChar 122 /Widths 356 0 R /BaseFont /ZQMXHM+NimbusMonL-Regu-Extend_850 /FontDescriptor 323 0 R >> endobj 323 0 obj << /Ascent 625 /CapHeight 558 /Descent -150 /FontName /ZQMXHM+NimbusMonL-Regu-Extend_850 /ItalicAngle 0 /StemV 41 /XHeight 0 /FontBBox [-12 -237 650 811] /Flags 4 /CharSet (/ampersand/parenleft/parenright/zero/one/two/colon/semicolon/equal/M/S/U/bracketleft/bracketright/a/c/d/e/l/m/p/r/s/t/x/y/z) /FontFile 324 0 R >> endobj 356 0 obj [510 0 510 510 0 0 0 0 0 0 510 510 510 0 0 0 0 0 0 0 510 510 0 510 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 510 0 0 0 0 0 510 0 510 0 0 0 0 0 510 0 510 0 0 0 510 0 510 510 510 0 0 0 0 0 0 510 510 0 0 510 0 510 510 510 0 0 0 510 510 510 ] endobj 242 0 obj << /Length1 808 /Length2 1643 /Length3 532 /Length 2243 /Filter /FlateDecode >> stream xRyiy{s%6 6}2.p$~˓+]&Ydtw'I_kC/ʋq!E9++٧Jh&l@*i2s|B2h6i#ןҳmR@Ll;-|7ppBѺs%/PeaP uJlqm}ӕuCjP>[ UBX'Q/f9i!_FkOɷfgYfni:.n7h;CٔT>/_2Ę\2 n ml%Tj*#彃g:pRkܨ&НLYK-744 /kgz}jQo⻱!:{ ZmS1ɽ&Ia)솃3s]KUvjO𻹗%m-KWj,OM}4|gt}@dz_+ۇr=s'6n:yRok#H υRF|[; :-aQnƽJl&exl$7VubOӎ'V8?/ZXZu;a kd~Prz{Nр/!Tx'H1G&E^b6ETRӓȷ':V[/w | CehЧ[đ;-|?v&Q)@\N^_l#-3lNr,1xu9quIa=^f~u7 MV>>2zvȁQ%")[^|[.^͙l'pS-;NU!/?!EB ?ğϝendstream endobj 243 0 obj << /Type /Font /Subtype /Type1 /Encoding 357 0 R /FirstChar 65 /LastChar 82 /Widths 358 0 R /BaseFont /MRXHJN+EUSM10 /FontDescriptor 241 0 R >> endobj 241 0 obj << /Ascent 0 /CapHeight 702 /Descent 0 /FontName /MRXHJN+EUSM10 /ItalicAngle 0 /StemV 70 /XHeight 459 /FontBBox [-8 -194 963 738] /Flags 4 /CharSet (/A/R) /FontFile 242 0 R >> endobj 358 0 obj [771 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 723 ] endobj 357 0 obj << /Type /Encoding /Differences [ 0 /.notdef 65/A 66/.notdef 82/R 83/.notdef] >> endobj 359 0 obj << /Type /Encoding /Differences [ 0 /Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/arrowup/arrowdown/quotesingle/exclamdown/questiondown/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/visiblespace/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/dieresis/visiblespace 129/.notdef 160/space/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi 171/.notdef 173/Omega/arrowup/arrowdown/quotesingle/exclamdown/questiondown/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/visiblespace/dieresis 197/.notdef] >> endobj 232 0 obj << /Length1 1020 /Length2 3541 /Length3 532 /Length 4222 /Filter /FlateDecode >> stream xg\(ȦJPЋ((HWB @W17)T)@" EDg{x3_5zf5b"V2Z+R@ej*00< хjTU hr&$`}q(w< #3IB#q(8 H4Ep, hy{?,~H\!"Q&OCF7,gQG1HPLJ,;@ ݘXJ-${{?6?ahw%`>x$0"8?Smz3A"Pa( @ QAH9 80J~9ؘZiK9_g0ooџɿ7SCYJI=9E0}PT`8,RB @ _,PZaqL? ?CHE[M oR6&(IMPEB07n!oH) U(c~C27(eoHQ 07|/YjkcBe9yy@QAPRU i6?HP@ *!1_eKb7e $i WWDQk?L3mx:=N]4So2=Y8P/QŐkic.dBH6$x~k{κ"@y}q͞s ]%)Nǀ;1Jvo"l Ӂl_EGxk>Vt,?Upr<5 2BЗWy{\P2sxKpK(v0:W 7CΘK2N8R u6tO,e,F;ZLvE9z;ă3q0Q$_f^T$q4ARĩU?2m@[rfѺJliw͗1܇>:\35\du+˼Ȥ}ll"Bs5jGc6ţ'uoHESMNEs[.IMׅ& NtfAtVd[eg#D.kkuփrO?N]l=XmSq'Grs-K_$M= > dUaGG#*rUcl7vbJA\aX&anGomm\N 1 )co :RڷUT*/UZy AXl}g\|*y;sm\8: If3U4u;3P;4JTal 72fd2H7:e|S,hg" lE-v!:p0NƣEplirnӁ\K*0q|Φ%eR}oܸAN~Tsp9n2Pct\7Weܹ5kMbO:`l{v84z]=uc= Yl.:@Y#EnS4R3n@p *J`Hg '1~cȽiZߓ~iw;y>_^[΃s9DWzu`xn\[z5VlvB+X-Ν%x8jNʷЅqFJyNd} [Bԛ<۾2` }`ʁc8<GhC;;]^^DC NL 9/t4, A!uɜP`Ý{s+I"(:W92G*{ ϨZvTje(&P q i҈5 FfiZu WkEjW>=d4SNj=9WʆҎ,|z[J+"1} |Ay,|o?Q׉7?~fpLj1Ӓǽ,]?x'xbq xQV{©RfhZj]S5r]'sfLEH…~P''&IQg_ h8qnpp"H(P6 szS[umdyKs)Xq4΢MaK=svl鬒n,YYtur:mv_EGP9n7}gROWi~hpomBYaEZͶb{[Rdj3F@kuK}L&=oME"* Hwטj0]_ 1Z&?h/Ͷ~pυhN1Z[},MaԖ}fTf޸Z2/)7vk(aNH z< @g6TBx.P(&Z-/_đ|e)&zQWF9u7-+Fm>;uӢyr~li)Ty~LduR\Hb,$e{<ۙaZzTVI P/PCN8h>"pƷ dr3mަ4Q+iEƃHgvYZ=o^V3 f0uvzKˁiU\I"gT$T5񙽣޼}a &MncDU8]|!>*ڃ̂Iw'%[BD)(М,ֶ^IPBL1o)MJJ?CLW&j$_'g@PKvSĽ"=hyizU+}[Jm߰٣v͞@+S{bǷdN|uv%iJgԃn0;JEVc+ϊ:<Wtv|ڟy]mPP< st\.WҚQ>܌k;kΙ*klsto/ǵeA%gѵn53Ĺ?x%-S}7㶷M +utOG6pņ7/=zE4)F4'q{OiÈ7TaOhUj!Nj4x1 7c0ӿÉendstream endobj 233 0 obj << /Type /Font /Subtype /Type1 /Encoding 359 0 R /FirstChar 70 /LastChar 117 /Widths 360 0 R /BaseFont /MUNDSB+CMTT9 /FontDescriptor 231 0 R >> endobj 231 0 obj << /Ascent 611 /CapHeight 611 /Descent -222 /FontName /MUNDSB+CMTT9 /ItalicAngle 0 /StemV 74 /XHeight 431 /FontBBox [-6 -233 542 698] /Flags 4 /CharSet (/F/S/T/U/a/c/d/e/f/h/i/l/n/o/p/r/s/t/u) /FontFile 232 0 R >> endobj 360 0 obj [525 0 0 0 0 0 0 0 0 0 0 0 0 525 525 525 0 0 0 0 0 0 0 0 0 0 0 525 0 525 525 525 525 0 525 525 0 0 525 0 525 525 525 0 525 525 525 525 ] endobj 209 0 obj << /Length1 791 /Length2 1247 /Length3 532 /Length 1835 /Filter /FlateDecode >> stream xRiXSgk 0 V/hP *T*rMn…&QA(2 ;+ecdQ(Ǚg>s?~y{>Gxr"9D}J P`!1~!,(nK&g B.N  8!8,AD$$IQ&NKtA0Dw xC6|l¤$|nH DRƀF%Wߧ9чR$ |"S#DR\#@ \o!j%8*/`{EVV]1(S8^0 _ -!5rck/׼@.cb($ ^[ȁ`ae ( J #+( @Ѹ`2 b@$bׄHR_(>J-pF*[QbȕXQhZ-l BPps>\!6A/dN ;["?\]L͑w3zujw0`_걭Qo 'bLGd[ 9Rm|.%>nvJͳw<+tꊗ o\ ItK_\aL3:!O GieJ<&ΡaDg˧}kw7vkǘY'H (ZkjAI Xs_TN8{}cƮ$c~%g(n㫴k FnXk{?4Țl7fweD@42:D6aKMWZ!%fʞvʣk#q*1hFmGvxFŚQtY:hel Mשzeo _[+">xҟp^қbu…0O6*?{UGqӓM6;*WZh~H U1QQat|F3kƫ뺉:s /bJ{|y]QDG~3"l88sC{ML|<ꮼ IlNу]{džw5%P0j@L<ߩm4D>10^Ls#rNޠXmsbry/e:}=m\mcܞ" y_R^@MDX&ﶪSXxGpꍀ-O^eTHۂ*ggX&MQ}oF0箤<~״̐3b 49VzJT?9~8%P6,gցͷ]N"R fIimz1r^fR`i 6eI 1*t2  H{7Ǯ+È2*u yZ֬2*x~AY01߯`sY]|aŕ iMW·JcP0Xǵ^؞j[ ^:cI KU4{m+҉ty+;95u{SwY3FuLŊa[oE? [ّkſK`,ī.)Mαwʛ;ȋ}!u7w>HaWR` R0;^'/lh3Hi7- t(G? ~l>Pendstream endobj 210 0 obj << /Type /Font /Subtype /Type1 /Encoding 361 0 R /FirstChar 76 /LastChar 76 /Widths 362 0 R /BaseFont /ASSOJZ+EUSM7 /FontDescriptor 208 0 R >> endobj 208 0 obj << /Ascent 0 /CapHeight 703 /Descent 0 /FontName /ASSOJZ+EUSM7 /ItalicAngle 0 /StemV 79 /XHeight 459 /FontBBox [0 -250 1178 750] /Flags 4 /CharSet (/L) /FontFile 209 0 R >> endobj 362 0 obj [869 ] endobj 361 0 obj << /Type /Encoding /Differences [ 0 /.notdef 76/L 77/.notdef] >> endobj 198 0 obj << /Length1 836 /Length2 2363 /Length3 532 /Length 2985 /Filter /FlateDecode >> stream xRy<}C Ěei"b,)1Øaeb-fiAJ'*K))M}ٗ%;;?us}=ZѨ -6tvE"m$TEe34*`G tXeU,) ) `DT*p#0dP߷뻢`<3|@^A8d,(F@zHԆ"L`^ L¿M ~B@zo@7.7F0y=zCv4^-_ŭ);?O)?-pْ-H$=S *!r9 $ړO A*<~; *{\UW,Ӌ} K][to*`Mד׏͍wI E?rt퉾*(gvѓ=̀/ɕI!K!d}<[e*ſ$'{pC'bYVϰzH gcL5mDA,y\D6P;.0fZ!C[iF zw )͑"p. ѻ !Ӓ'6^RE%:湶@5bJ9 /?I=z§a/Y?!K(X q*'.Oa2WpM1qǣ桗%*يmv(2.k,-*~63|w_+"lm@-*O/K{Ţ 7 KN狶vu-Ѯua7f_%XXQ僁'&Si)=t(bEVbEԞ@_{1bAɦú^kT0th/x}K9gMKGZ#Xa/-,դ (Jo9-k26u (`g9z!ӳ D{iZ3{4GsjP^7T}jj 2妽OҾ5{>Ai s"&MUO7KF"Ԯ@ƭkf/ /jmDQԏ22VkDlIP6ӤQlO2<vfӴ[Qw-0G8qJw#į]n$+z7WQV>aOXqI!INw'ŷ܇\@70W) Sj+ h}Ʀ&l(!yNVgQFhG2Goz9oi8ä|f:$2AzT(weE#&OFPӨuCsZw@!9Hs,5:t K(ZFE{S jۓԔIh}]Zo Wޗ۹Knkڙs owuuX{3ҞU98oNjdԖs܊?j՝|Ӷ-w#x\evg+tM:Ԁ ZKޙclqLF[++<L\,=R+c zQIMɓx k0J짲,::_@z:GcȽӨ%氄9SXSpsl{P hSsdϊL݊{ L]m=^dP6v}%9(vғRezǰ>[9e]vXW췩tK^be"4LӮ+#NHe!Z43Lƽ_Dڼ!lǽ@W[jۇ0\D.^Oubl6 IhjYGVXÔBZLm-@EVG"L,CfJ/U})J\aLvMHz sSBv,<+>ČKh \g.&_P?@JYϵ|5v:SO͠\e%Gj2iR:)RQ $l/hp=CNI Y`_R5れGh^@ABoiō$WS]xf ڶj!Hwau+uE5:=&>LiI/klvD)+.zgS2=1^˘"DKk:zRH뻛*R z9|t˥PųgF^Q{V>V+:#%v8@0"o/T.! 4< lendstream endobj 199 0 obj << /Type /Font /Subtype /Type1 /Encoding 363 0 R /FirstChar 65 /LastChar 90 /Widths 364 0 R /BaseFont /ULYZGQ+EUSM10 /FontDescriptor 197 0 R >> endobj 197 0 obj << /Ascent 0 /CapHeight 701 /Descent 0 /FontName /ULYZGQ+EUSM10 /ItalicAngle 0 /StemV 70 /XHeight 458 /FontBBox [-8 -194 963 738] /Flags 4 /CharSet (/A/L/R/Z) /FontFile 198 0 R >> endobj 364 0 obj [803 0 0 0 0 0 0 0 0 0 0 746 0 0 0 0 0 753 0 0 0 0 0 0 0 684 ] endobj 363 0 obj << /Type /Encoding /Differences [ 0 /.notdef 65/A 66/.notdef 76/L 77/.notdef 82/R 83/.notdef 90/Z 91/.notdef] >> endobj 365 0 obj << /Type /Encoding /Differences [ 0 /minus/periodcentered/multiply/asteriskmath/divide/diamondmath/plusminus/minusplus/circleplus/circleminus/circlemultiply/circledivide/circledot/circlecopyrt/openbullet/bullet/equivasymptotic/equivalence/reflexsubset/reflexsuperset/lessequal/greaterequal/precedesequal/followsequal/similar/approxequal/propersubset/propersuperset/lessmuch/greatermuch/precedes/follows/arrowleft/arrowright/arrowup/arrowdown/arrowboth/arrownortheast/arrowsoutheast/similarequal/arrowdblleft/arrowdblright/arrowdblup/arrowdbldown/arrowdblboth/arrownorthwest/arrowsouthwest/proportional/prime/infinity/element/owner/triangle/triangleinv/negationslash/mapsto/universal/existential/logicalnot/emptyset/Rfractur/Ifractur/latticetop/perpendicular/aleph/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/union/intersection/unionmulti/logicaland/logicalor/turnstileleft/turnstileright/floorleft/floorright/ceilingleft/ceilingright/braceleft/braceright/angbracketleft/angbracketright/bar/bardbl/arrowbothv/arrowdblbothv/backslash/wreathproduct/radical/coproduct/nabla/integral/unionsq/intersectionsq/subsetsqequal/supersetsqequal/section/dagger/daggerdbl/paragraph/club/diamond/heart/spade/arrowleft 129/.notdef 161/minus/periodcentered/multiply/asteriskmath/divide/diamondmath/plusminus/minusplus/circleplus/circleminus 171/.notdef 173/circlemultiply/circledivide/circledot/circlecopyrt/openbullet/bullet/equivasymptotic/equivalence/reflexsubset/reflexsuperset/lessequal/greaterequal/precedesequal/followsequal/similar/approxequal/propersubset/propersuperset/lessmuch/greatermuch/precedes/follows/arrowleft/spade 197/.notdef] >> endobj 189 0 obj << /Length1 1278 /Length2 3840 /Length3 532 /Length 4685 /Filter /FlateDecode >> stream xTw<ߏo231WIq 0B2▒$N6xNݣ?KLFV@DYy9yu<00" 5ꀼh4| [Аo];PjGW},εo{uydTczoM:C,594c"!rWoMi!fWwnsp΢DyqNۧ蜌>u>`;}'F$i[I3L-E_ր[?v-T{ɰ ycqo@ATãl-x7^j9ʵ`btEΧ5b3:6.}^ όs)xu`}Ť' SW6 ^;PAUK:ūۂt B2. t-bH7P`%[vmtcjc:G~bzCƍ&=ҋ"Zq!ؤNk8|u |< 9Pr[ &qU=G)W%JOf5ñaSB\${KmnV*]LQ> 0{XsnR/tr~|16Yǥ2XG?hz9&;VlV)3J?Z0M*oTNzNPHEЎþ6>Hq>YSkRҗKut2vdG'qh g1TiIqq//MHVْe<[%"_gKĻt ?|UAUƪyf)_4eR8i|֌onT~ADC<j6[o­u'qV@y޼suDž]c믝@ng_f%)$,[8s_MeIBxk7yvbSsCREn 'm<"ꪄ>FsW'#nO [:ӕ5hF+n}}#DIV+6RMzF1wYTkD0ǟfr2=؝&ų]F*: XDr)}X3Z>yܝ)䈬s <Ի⡘q`INh9YxDveZJ*bي8CH EQæ%k9r_6y:Pc|Ի-:/م<7$c–eoF=֛ =&*T4d97YVe2*裵M\UĆo&8=Yi[D՘mx3x3 7=OV7W'UŴBz'س6W_% K)ҵu{yTsgXsKvYSȂ[٥D M{E,?;vthruN*G/v)>GFu^k(13`rs0rǦ6kCgD~D5hV9r:N[Oo,<|DZMW{^t_}hUWkUj9 FhG n>mԶ2w={إ÷?Rp loeuS#4h,nގ t \Mq(9.S6dIaX}3I?:~Aɹ6Qrc],  {npaE`ƄvyGGgUNqw}LtKm36I7z|NsuEoY}52WQC_LRӞ]%)ں1$؊XvTuζ~&ΌBo J*Z Twfx3ALlV)M}m˪C%c6*Tg\' &.:i>ʂHSW% .ے.xUgU,cq?Rq{(_\|o`lE~,2:#U[ k?,@5n+ym)o\B_Iw_k*F}Rd}U  #`_4W,URX+[U𶝰%Fu+Hme:;arYwrͅfM (ɠ{^ɡoА\xnpkwPXnݎ~<=}%sUyt*\J({7vGXlQy>A,UfE91(josZ{/RfrڬimrfKGpȆOǶ>漣qGBlqZ|豶"-s\")׷L3<GU1?'g/rO7RYI| G̤dhMYSMj`ıt ]=茳_Ղy{_-Yso=_zƏpA#)mg[ҡ>)[6ѭCc6wZ4\3~r UmYDW»ftO;A.Q* ]rql,J`v>oL 4;?l>Jg\ӜM-ap4'00/O{2endstream endobj 190 0 obj << /Type /Font /Subtype /Type1 /Encoding 365 0 R /FirstChar 0 /LastChar 106 /Widths 366 0 R /BaseFont /EFAWWK+CMSY10 /FontDescriptor 188 0 R >> endobj 188 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /EFAWWK+CMSY10 /ItalicAngle -14 /StemV 85 /XHeight 431 /FontBBox [-29 -960 1116 775] /Flags 4 /CharSet (/minus/multiply/asteriskmath/divide/plusminus/circleplus/bullet/equivalence/reflexsubset/lessequal/greaterequal/approxequal/arrowleft/arrowright/arrowdblright/prime/element/negationslash/union/intersection/logicalor/braceleft/braceright/bar) /FontFile 189 0 R >> endobj 366 0 obj [778 0 778 500 778 0 778 0 778 0 0 0 0 0 0 500 0 778 778 0 778 778 0 0 0 778 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 275 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 667 667 0 0 667 0 0 0 0 0 0 500 500 0 0 278 ] endobj 367 0 obj << /Type /Encoding /Differences [ 0 /Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/alpha/beta/gamma/delta/epsilon1/zeta/eta/theta/iota/kappa/lambda/mu/nu/xi/pi/rho/sigma/tau/upsilon/phi/chi/psi/omega/epsilon/theta1/pi1/rho1/sigma1/phi1/arrowlefttophalf/arrowleftbothalf/arrowrighttophalf/arrowrightbothalf/arrowhookleft/arrowhookright/triangleright/triangleleft/zerooldstyle/oneoldstyle/twooldstyle/threeoldstyle/fouroldstyle/fiveoldstyle/sixoldstyle/sevenoldstyle/eightoldstyle/nineoldstyle/period/comma/less/slash/greater/star/partialdiff/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/flat/natural/sharp/slurbelow/slurabove/lscript/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/dotlessi/dotlessj/weierstrass/vector/tie/psi 129/.notdef 160/space/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi 171/.notdef 173/Omega/alpha/beta/gamma/delta/epsilon1/zeta/eta/theta/iota/kappa/lambda/mu/nu/xi/pi/rho/sigma/tau/upsilon/phi/chi/psi/tie 197/.notdef] >> endobj 140 0 obj << /Length1 848 /Length2 1407 /Length3 532 /Length 2017 /Filter /FlateDecode >> stream xRiXSgV(ȇ% $@BD""J̽ Wx8 EaRqaQH\%ZQEY\؟3{|yw%8sYt-,ET 96g G b0_H|T,Tmx1t/Je "S@ $0(qĨ!W*@`E b1rC"`9m!J"PAqOlT(^aH)cr)2j&!)*N,đKF/ [_+|ɈhR%8OT"S*` p_R#80(%_v PT#ȃ # ArxQK'F}. 9f8A (٣5sm CT BPFtZcA@ !螀aqA!X`1J+& bҽYf?B @H%O a3@d/Y4G& Uр;ntH^tʦ'.CJ)^飨@a0Ecڟj!b `N*XU8)Ĝ(wz>ևV+gl9:Q<  VN%'Y뾶#Zt ŬӐ[_7A t==zj}2)~sS 4*LxC]!BpC{-w2Rs97oQ*&5;I\yZ`2Y¯*²7"Y;m&4|A4oaWpyZzq|6f2;7;W|Hv &Stx7[ŏXmZ/ zV0nnkiL= 9(ʛYvJ/&Heˆ~Kٴ5[n /.-eJW\8R0~"+q-s6AǣLϜ>~,U>/tL2}Z|:~az>46ٻ9Y/}iV❒^ƸFy4/+V/\,w J'Rګ>\K¢kjP 5To,YCo+z[{V:xYFM҇BVAUWs3}Wp`RwRz0D $v8?_MAuղԝ ‘w' 5I< (w6Bj2KC?5ztn~CRn3^=-CH(E7;zkOõ + l^轃%'Dom2Xn9~޲~@dSCur1e%e^X?f&Zb:ړ^S-* IGtyvu=ʽu n,JH;}n \г]pSܝ s6#aPk[XCԭnz"m":|fo0|.oP+*v n+?pa>JX<$Sendstream endobj 141 0 obj << /Type /Font /Subtype /Type1 /Encoding 367 0 R /FirstChar 58 /LastChar 62 /Widths 368 0 R /BaseFont /QDFGBS+CMMI10 /FontDescriptor 139 0 R >> endobj 139 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /QDFGBS+CMMI10 /ItalicAngle -14 /StemV 72 /XHeight 431 /FontBBox [-32 -250 1048 750] /Flags 4 /CharSet (/period/comma/less/slash/greater) /FontFile 140 0 R >> endobj 368 0 obj [278 278 778 500 778 ] endobj 369 0 obj << /Type /Encoding /Differences [ 0 /Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/exclam/quotedblright/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/exclamdown/equal/questiondown/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/quotedblleft/bracketright/circumflex/dotaccent/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/endash/emdash/hungarumlaut/tilde/dieresis/suppress 129/.notdef 160/space/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi 171/.notdef 173/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/dieresis 197/.notdef] >> endobj 137 0 obj << /Length1 878 /Length2 1569 /Length3 532 /Length 2184 /Filter /FlateDecode >> stream xR{8TI#crr7ڤ%4K,fḭfAl"q+BBɔmRPIHc [ga~vs:Yk=~);ӱ| C%m($"@%-jjVr`sȁ$2Y|l12bUXGV $"B`*@ @5 Ǣ'T`06@ t$@XKL_`ӸZFM65$d4B^~2` `FV@ !!nВ7s~r@L`1 lќ` 6CLڏ&-ZeUk)Ş39ΡUȋ5/":^JDo+eͤh072@CA+# L jXO[t&/ .jHAb2 _Bk %.6@a0FyPBF8Q$|,-Yp}# ٘W B;#"hJ/T.,U4o/A<}FV^9/%e4iV B'G> JLk>4 w8 [ʶɏF{Zz%{\jmpI}ne:u&6񘊍|ZPQ|=Oū^3y4Ud@$P|8^{e>4Fe- [o}٨c8jj޽ /~O=*9x02M%U}}lTibʒ*2 0n2e!p{p"g-5{|$:ϖɾhoWOAX&ꖽz"0Hirj9t_E.??2WvXUKlqUe5NTڊdFۨ[]{KYƟSKNٸ զNު ygm)z:b HR,6Y }JJ3Iy9!}]K=&sT:̅sӲYAU/';>R06aRz|e ^q7B8 V|nl\EtµEO=Mm {zp:^cIr!gu<'lç`TdO^?gAʹ'ӣ_ 㳹\ܿг @ E\*MlMCRӍcl6qNF[ 7g)ʴxOѮmh%VP`Tj-i:TLp'ӊV}n+y>n,'Xm/m9OUpR8^IR"[}'jHl$h]oDo"f{DZ}ݱe"o,(iI/Dܯ]>'.§m.U߭P_?*ܔs2Ft~PQ,xywQ[XIXlگ&롔u\T%)[q)W&]G5x_tLޢ_ _h5>d v6Ut``RxqhSFHUI_t=}5D|ww[CI#̋~[00;7aw0]^>p"6k` k53 5][WgO-r뜺%TsUCx?;r{[ݻY<'gO4f\35j(jޓh?)Z,ܼU\ RaڷS }P>&Vn'U2tߦ;LqͮZX6֕ᰕqv3=0Ql|,d*XJ+*j+ iiB/' D897Sendstream endobj 138 0 obj << /Type /Font /Subtype /Type1 /Encoding 369 0 R /FirstChar 40 /LastChar 93 /Widths 370 0 R /BaseFont /HKSXWV+CMR10 /FontDescriptor 136 0 R >> endobj 136 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /HKSXWV+CMR10 /ItalicAngle 0 /StemV 69 /XHeight 431 /FontBBox [-251 -250 1009 969] /Flags 4 /CharSet (/parenleft/parenright/plus/equal/bracketleft/bracketright) /FontFile 137 0 R >> endobj 370 0 obj [389 389 0 778 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 778 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 278 0 278 ] endobj 134 0 obj << /Type /Font /Subtype /Type1 /BaseFont /Symbol >> endobj 117 0 obj << /Length1 1663 /Length2 2482 /Length3 532 /Length 3332 /Filter /FlateDecode >> stream xWy<'#B%2l3DJY= cū13ͼ#[R˱$dQhqlEHǒO9ϝf~{y|-nnEzT Uh+aI2;@j(4Z`J%` ]XB:T/rYkK[9yy?-kWW=H$roLy@=@ "> oj N LW2D0@9JHJ H0Ї\ {A ;@TLZݍNEnx!>̜ʀD:D\Wo#O؃q3 Pݐ$*VҺA00׸\A1hd/zLDq3$2` 0Zw 4w=~ ݔPX#6+7*lIL>o ٵC /@PʦTd;>ykOd)  K@=EC&%}Smt!L@ڢEqGQ)mX!!HH'Cw"w")K@Z/@ hEF&~p# / ~58jkS}E!@QyHj8 :ϳ C>#F "kߘ5? `NPTY ? : u&`p\D&L@yaHDx Mױ8{dvVP!OC|ջJ%4Vv}1j&&7|#]uPuQ)/u6?頎amty߳*U:̒\wVE 18fg@ P K2O7rՏ쑿Ã>'}9=w?ΊՊ7yD2x7|~(zxszrc# p犒̧Z v''p֥X5=Mb7I1]D16z5n?S~_c, &oVG aXӼ70QpF;?[t7kZىvPq \S1*lqIMG.8jj':b=>yKN,Eeua[սc8#*AwgiƫbOc5ӚLZ|DJO@B+tUZt?)u۩_Ǻ1Qۗ{n|t^*MgRT֑pY&KXWorLfed+<.dS~ضFck͂p/ 6я?TˁUJW_Xi9PY@vDzg|""X =Kcyjǻvdn qReTŐ_)/L+l~23⻞#W6V𑋍KM.wOtף=iNIb-i&"jYAϗX:NGV  ↜2F8F=;~oT+Ϧl`h6R5qՏTDtvȈ]h R6^7qp*ߑ2^Jy(qNt:\RTK&/Nz.1G|#;lh,c4H6]I_X)-g5ܷizvNW̪&y[+t zhaz) 0ّwyesf< ;]|-SR؁sy T4 ??>^TZ0-? p,$oW 9t>,_tN(dkvlEVvERPdVع Oцuӫַ0{J}cq3(* ]ˣDaމN(_t`fԥ)KfṁVj|[Z~9"6~RmD)KƺnA G; /uC͌=Yv*Z4J7*ɴTA>kP6.RY`Q>dfdذ|ܑ>egS7Ffܜ~ݿ+dj{=r~3镭ZD897|m7\DvHAK al79{8q/#%ǟ54]oȞ:|^] x_O.DkZS:ɫ'|VJ;`)ZM :z_[ '=}-ve ^㩏ЂDJV (QF[o)vJ-Co_Pc/Cv@':wM#ѻFDP7Q%H"O g nuvㅦ>[bL_ (HH6Ml~cv$|S-a}3ڱYY[΍Fzo}[95oqpdaႹ4ŌosܘZ5pOGݢ- ͬMOO:#պI~s /SGsO;&X3RD|nŮWܮ$@0vc#DnE} "-iiSVbR|K(u'r9QlՓbq+rQx.yG *#Ew`^U{Uk4iD[ܘ3 qwpq~e-k8:jc uş˗ȉPp$06;kjbTӂ_%}[p 4_-6?$cs":Lp~,SHz!KSb"+W> endobj 116 0 obj << /Ascent 678 /CapHeight 651 /Descent -216 /FontName /RMNULL+NimbusRomNo9L-Regu-Slant_167 /ItalicAngle -9 /StemV 85 /XHeight 450 /FontBBox [-168 -281 1000 924] /Flags 4 /CharSet (/quoteright/comma/zero/four/L/O/P) /FontFile 117 0 R >> endobj 371 0 obj [333 0 0 0 0 250 0 0 0 500 0 0 0 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 611 0 0 722 556 ] endobj 113 0 obj << /Type /Font /Subtype /Type1 /Encoding 355 0 R /BaseFont /Times-Bold >> endobj 110 0 obj << /Type /Font /Subtype /Type1 /Encoding 355 0 R /BaseFont /Helvetica >> endobj 108 0 obj << /Type /Font /Subtype /Type1 /Encoding 355 0 R /BaseFont /Helvetica-Bold >> endobj 106 0 obj << /Type /Font /Subtype /Type1 /Encoding 355 0 R /BaseFont /Times-Italic >> endobj 104 0 obj << /Type /Font /Subtype /Type1 /Encoding 355 0 R /BaseFont /Times-Roman >> endobj 142 0 obj << /Type /Pages /Count 6 /Parent 372 0 R /Kids [98 0 R 158 0 R 185 0 R 204 0 R 228 0 R 249 0 R] >> endobj 298 0 obj << /Type /Pages /Count 5 /Parent 372 0 R /Kids [277 0 R 307 0 R 320 0 R 329 0 R 341 0 R] >> endobj 372 0 obj << /Type /Pages /Count 11 /Kids [142 0 R 298 0 R] >> endobj 373 0 obj << /Type /Outlines /First 7 0 R /Last 87 0 R /Count 9 >> endobj 95 0 obj << /Title 96 0 R /A 93 0 R /Parent 87 0 R /Prev 91 0 R >> endobj 91 0 obj << /Title 92 0 R /A 89 0 R /Parent 87 0 R /Next 95 0 R >> endobj 87 0 obj << /Title 88 0 R /A 85 0 R /Parent 373 0 R /Prev 83 0 R /First 91 0 R /Last 95 0 R /Count -2 >> endobj 83 0 obj << /Title 84 0 R /A 81 0 R /Parent 373 0 R /Prev 79 0 R /Next 87 0 R >> endobj 79 0 obj << /Title 80 0 R /A 77 0 R /Parent 373 0 R /Prev 75 0 R /Next 83 0 R >> endobj 75 0 obj << /Title 76 0 R /A 73 0 R /Parent 373 0 R /Prev 55 0 R /Next 79 0 R >> endobj 71 0 obj << /Title 72 0 R /A 69 0 R /Parent 55 0 R /Prev 67 0 R >> endobj 67 0 obj << /Title 68 0 R /A 65 0 R /Parent 55 0 R /Prev 63 0 R /Next 71 0 R >> endobj 63 0 obj << /Title 64 0 R /A 61 0 R /Parent 55 0 R /Prev 59 0 R /Next 67 0 R >> endobj 59 0 obj << /Title 60 0 R /A 57 0 R /Parent 55 0 R /Next 63 0 R >> endobj 55 0 obj << /Title 56 0 R /A 53 0 R /Parent 373 0 R /Prev 23 0 R /Next 75 0 R /First 59 0 R /Last 71 0 R /Count -4 >> endobj 51 0 obj << /Title 52 0 R /A 49 0 R /Parent 23 0 R /Prev 47 0 R >> endobj 47 0 obj << /Title 48 0 R /A 45 0 R /Parent 23 0 R /Prev 35 0 R /Next 51 0 R >> endobj 43 0 obj << /Title 44 0 R /A 41 0 R /Parent 35 0 R /Prev 39 0 R >> endobj 39 0 obj << /Title 40 0 R /A 37 0 R /Parent 35 0 R /Next 43 0 R >> endobj 35 0 obj << /Title 36 0 R /A 33 0 R /Parent 23 0 R /Prev 31 0 R /Next 47 0 R /First 39 0 R /Last 43 0 R /Count -2 >> endobj 31 0 obj << /Title 32 0 R /A 29 0 R /Parent 23 0 R /Prev 27 0 R /Next 35 0 R >> endobj 27 0 obj << /Title 28 0 R /A 25 0 R /Parent 23 0 R /Next 31 0 R >> endobj 23 0 obj << /Title 24 0 R /A 21 0 R /Parent 373 0 R /Prev 15 0 R /Next 55 0 R /First 27 0 R /Last 51 0 R /Count -5 >> endobj 19 0 obj << /Title 20 0 R /A 17 0 R /Parent 15 0 R >> endobj 15 0 obj << /Title 16 0 R /A 13 0 R /Parent 373 0 R /Prev 11 0 R /Next 23 0 R /First 19 0 R /Last 19 0 R /Count -1 >> endobj 11 0 obj << /Title 12 0 R /A 9 0 R /Parent 373 0 R /Prev 7 0 R /Next 15 0 R >> endobj 7 0 obj << /Title 8 0 R /A 5 0 R /Parent 373 0 R /Next 11 0 R >> endobj 374 0 obj << /Names [(Doc-Start) 111 0 R (Item.1) 235 0 R (Item.2) 236 0 R (Item.3) 237 0 R (cite.BCS97) 149 0 R (cite.Click95) 144 0 R (cite.Cousot77) 151 0 R (cite.Cytron90) 155 0 R (cite.Gargi02) 182 0 R (cite.Gulwani:Necula03) 183 0 R (cite.Gulwani:NeculaTR-POPL04) 304 0 R (cite.Kildall73) 150 0 R (cite.Knoop99) 152 0 R (cite.Muchnick00) 146 0 R (cite.NeculaPLDI00) 148 0 R (cite.Pnueli98) 147 0 R (cite.RWZ88) 145 0 R (cite.Schwartz80) 201 0 R (cite.Steffen87) 275 0 R (cite.Value90) 305 0 R (cite.WZ91) 143 0 R (cite.Wegman88) 154 0 R (equation.1) 196 0 R (equation.10) 273 0 R (equation.11) 280 0 R (equation.12) 290 0 R (equation.13) 293 0 R (equation.14) 246 0 R (equation.2) 207 0 R (equation.4) 212 0 R (equation.5) 214 0 R (equation.6) 234 0 R (equation.7) 238 0 R (equation.8) 259 0 R (equation.9) 267 0 R (figure.1) 153 0 R (figure.2) 164 0 R (figure.3) 219 0 R (figure.4) 274 0 R (page.1) 102 0 R (page.10) 331 0 R (page.11) 343 0 R (page.2) 160 0 R (page.3) 187 0 R (page.4) 206 0 R (page.5) 230 0 R (page.6) 251 0 R (page.7) 279 0 R (page.8) 309 0 R (page.9) 322 0 R (section*.1) 114 0 R (section*.2) 115 0 R (section*.3) 119 0 R (section*.4) 120 0 R (section.1) 6 0 R (section.2) 10 0 R (section.3) 14 0 R (section.4) 22 0 R (section.5) 54 0 R (section.6) 74 0 R (section.7) 78 0 R (section.8) 82 0 R (section.A) 86 0 R (subsection.3.1) 18 0 R (subsection.4.1) 26 0 R (subsection.4.2) 30 0 R (subsection.4.3) 34 0 R (subsection.4.4) 46 0 R (subsection.4.5) 50 0 R (subsection.5.1) 58 0 R (subsection.5.2) 62 0 R (subsection.5.3) 66 0 R (subsection.5.4) 70 0 R (subsection.A.1) 90 0 R (subsection.A.2) 94 0 R (subsubsection.4.3.1) 38 0 R (subsubsection.4.3.2) 42 0 R] /Limits [(Doc-Start) (subsubsection.4.3.2)] >> endobj 375 0 obj << /Kids [374 0 R] >> endobj 376 0 obj << /Dests 375 0 R >> endobj 377 0 obj << /Type /Catalog /Pages 372 0 R /Outlines 373 0 R /Names 376 0 R /PageMode /UseOutlines /URI<> /ViewerPreferences<<>> /OpenAction 97 0 R >> endobj 378 0 obj << /Producer (pdfTeX-0.14h) /Author()/Title()/Subject()/Creator(LaTeX with hyperref package)/Producer(pdfTeX14.h)/Keywords() /Creator (TeX) /CreationDate (D:20041207133800) >> endobj xref 0 379 0000000001 65535 f 0000000002 00000 f 0000000003 00000 f 0000000004 00000 f 0000000103 00000 f 0000000009 00000 n 0000009968 00000 n 0000168092 00000 n 0000000054 00000 n 0000000084 00000 n 0000027730 00000 n 0000168006 00000 n 0000000129 00000 n 0000000158 00000 n 0000036400 00000 n 0000167881 00000 n 0000000204 00000 n 0000000257 00000 n 0000049227 00000 n 0000167820 00000 n 0000000308 00000 n 0000000358 00000 n 0000059028 00000 n 0000167695 00000 n 0000000404 00000 n 0000000447 00000 n 0000059088 00000 n 0000167621 00000 n 0000000498 00000 n 0000000525 00000 n 0000069838 00000 n 0000167534 00000 n 0000000576 00000 n 0000000627 00000 n 0000069892 00000 n 0000167410 00000 n 0000000678 00000 n 0000000732 00000 n 0000069948 00000 n 0000167336 00000 n 0000000788 00000 n 0000000839 00000 n 0000070065 00000 n 0000167262 00000 n 0000000895 00000 n 0000000940 00000 n 0000086631 00000 n 0000167175 00000 n 0000000991 00000 n 0000001033 00000 n 0000095417 00000 n 0000167101 00000 n 0000001084 00000 n 0000001127 00000 n 0000095473 00000 n 0000166976 00000 n 0000001173 00000 n 0000001220 00000 n 0000095529 00000 n 0000166902 00000 n 0000001271 00000 n 0000001307 00000 n 0000101976 00000 n 0000166815 00000 n 0000001358 00000 n 0000001395 00000 n 0000102032 00000 n 0000166728 00000 n 0000001446 00000 n 0000001488 00000 n 0000102088 00000 n 0000166654 00000 n 0000001539 00000 n 0000001583 00000 n 0000110422 00000 n 0000166566 00000 n 0000001629 00000 n 0000001676 00000 n 0000110478 00000 n 0000166478 00000 n 0000001722 00000 n 0000001767 00000 n 0000110537 00000 n 0000166390 00000 n 0000001813 00000 n 0000001842 00000 n 0000121324 00000 n 0000166278 00000 n 0000001888 00000 n 0000001955 00000 n 0000121380 00000 n 0000166204 00000 n 0000002006 00000 n 0000002060 00000 n 0000121440 00000 n 0000166130 00000 n 0000002111 00000 n 0000002163 00000 n 0000007383 00000 n 0000015299 00000 n 0000010026 00000 n 0000002213 00000 n 0000009624 00000 n 0000000105 00000 f 0000165669 00000 n 0000000107 00000 f 0000165576 00000 n 0000000109 00000 f 0000165481 00000 n 0000000112 00000 f 0000165391 00000 n 0000009680 00000 n 0000000133 00000 f 0000165300 00000 n 0000009736 00000 n 0000009792 00000 n 0000164929 00000 n 0000161293 00000 n 0000164746 00000 n 0000009848 00000 n 0000009908 00000 n 0000007610 00000 n 0000007762 00000 n 0000007917 00000 n 0000008070 00000 n 0000008228 00000 n 0000008383 00000 n 0000008543 00000 n 0000008696 00000 n 0000008852 00000 n 0000009008 00000 n 0000009163 00000 n 0000009312 00000 n 0000000000 00000 f 0000161224 00000 n 0000009468 00000 n 0000160831 00000 n 0000158367 00000 n 0000160671 00000 n 0000157151 00000 n 0000154853 00000 n 0000156990 00000 n 0000165761 00000 n 0000121267 00000 n 0000120418 00000 n 0000120982 00000 n 0000120812 00000 n 0000120925 00000 n 0000120869 00000 n 0000110657 00000 n 0000120755 00000 n 0000120471 00000 n 0000121096 00000 n 0000027606 00000 n 0000110596 00000 n 0000120528 00000 n 0000020160 00000 n 0000027790 00000 n 0000015095 00000 n 0000010202 00000 n 0000027549 00000 n 0000026011 00000 n 0000026163 00000 n 0000026317 00000 n 0000027668 00000 n 0000026479 00000 n 0000026630 00000 n 0000026781 00000 n 0000026932 00000 n 0000027083 00000 n 0000027235 00000 n 0000027399 00000 n 0000016615 00000 n 0000016652 00000 n 0000017155 00000 n 0000017241 00000 n 0000019917 00000 n 0000022466 00000 n 0000022503 00000 n 0000023006 00000 n 0000023092 00000 n 0000025768 00000 n 0000120584 00000 n 0000120641 00000 n 0000036460 00000 n 0000035188 00000 n 0000027967 00000 n 0000036282 00000 n 0000153137 00000 n 0000148170 00000 n 0000152976 00000 n 0000035360 00000 n 0000035511 00000 n 0000035675 00000 n 0000035826 00000 n 0000035975 00000 n 0000036339 00000 n 0000146106 00000 n 0000142840 00000 n 0000145945 00000 n 0000036133 00000 n 0000121153 00000 n 0000042519 00000 n 0000049287 00000 n 0000042331 00000 n 0000036623 00000 n 0000048925 00000 n 0000048982 00000 n 0000142544 00000 n 0000140429 00000 n 0000142384 00000 n 0000047707 00000 n 0000049042 00000 n 0000047860 00000 n 0000049103 00000 n 0000048021 00000 n 0000048174 00000 n 0000048325 00000 n 0000048474 00000 n 0000049165 00000 n 0000048621 00000 n 0000048774 00000 n 0000044162 00000 n 0000044199 00000 n 0000044702 00000 n 0000044788 00000 n 0000047464 00000 n 0000059148 00000 n 0000057906 00000 n 0000049491 00000 n 0000058677 00000 n 0000140044 00000 n 0000135540 00000 n 0000139883 00000 n 0000058734 00000 n 0000058796 00000 n 0000058852 00000 n 0000058909 00000 n 0000058966 00000 n 0000058062 00000 n 0000058215 00000 n 0000134171 00000 n 0000131647 00000 n 0000134010 00000 n 0000058366 00000 n 0000058520 00000 n 0000086800 00000 n 0000077868 00000 n 0000070247 00000 n 0000066602 00000 n 0000059337 00000 n 0000069781 00000 n 0000066878 00000 n 0000067031 00000 n 0000067188 00000 n 0000067342 00000 n 0000067493 00000 n 0000067644 00000 n 0000067793 00000 n 0000070004 00000 n 0000067944 00000 n 0000068094 00000 n 0000068244 00000 n 0000068394 00000 n 0000068551 00000 n 0000068704 00000 n 0000068861 00000 n 0000070125 00000 n 0000069016 00000 n 0000069167 00000 n 0000069320 00000 n 0000069474 00000 n 0000069626 00000 n 0000070186 00000 n 0000086512 00000 n 0000121210 00000 n 0000086861 00000 n 0000077624 00000 n 0000070423 00000 n 0000086455 00000 n 0000086574 00000 n 0000084128 00000 n 0000084282 00000 n 0000084435 00000 n 0000084586 00000 n 0000084740 00000 n 0000084893 00000 n 0000085047 00000 n 0000085203 00000 n 0000085357 00000 n 0000086687 00000 n 0000085511 00000 n 0000085671 00000 n 0000086744 00000 n 0000085840 00000 n 0000085993 00000 n 0000086147 00000 n 0000086300 00000 n 0000165877 00000 n 0000080583 00000 n 0000080620 00000 n 0000081123 00000 n 0000081209 00000 n 0000083885 00000 n 0000120698 00000 n 0000121039 00000 n 0000095585 00000 n 0000093788 00000 n 0000087052 00000 n 0000095360 00000 n 0000093984 00000 n 0000094138 00000 n 0000094291 00000 n 0000094444 00000 n 0000094595 00000 n 0000094747 00000 n 0000094910 00000 n 0000095060 00000 n 0000095210 00000 n 0000102148 00000 n 0000101464 00000 n 0000095761 00000 n 0000101919 00000 n 0000131067 00000 n 0000123474 00000 n 0000130885 00000 n 0000101604 00000 n 0000101759 00000 n 0000110716 00000 n 0000108919 00000 n 0000102338 00000 n 0000110365 00000 n 0000109107 00000 n 0000109264 00000 n 0000109421 00000 n 0000109577 00000 n 0000109730 00000 n 0000109886 00000 n 0000110041 00000 n 0000110205 00000 n 0000121500 00000 n 0000118470 00000 n 0000110866 00000 n 0000120361 00000 n 0000118682 00000 n 0000118843 00000 n 0000118996 00000 n 0000119147 00000 n 0000119297 00000 n 0000119447 00000 n 0000119601 00000 n 0000119755 00000 n 0000119908 00000 n 0000120059 00000 n 0000120210 00000 n 0000121663 00000 n 0000131403 00000 n 0000134424 00000 n 0000134364 00000 n 0000134522 00000 n 0000140275 00000 n 0000142758 00000 n 0000142734 00000 n 0000146383 00000 n 0000146303 00000 n 0000146513 00000 n 0000153575 00000 n 0000153858 00000 n 0000157381 00000 n 0000157421 00000 n 0000161084 00000 n 0000165182 00000 n 0000165986 00000 n 0000166056 00000 n 0000168164 00000 n 0000169905 00000 n 0000169944 00000 n 0000169982 00000 n 0000170151 00000 n trailer << /Size 379 /Root 377 0 R /Info 378 0 R >> startxref 170344 %%EOF