%PDF-1.4 5 0 obj << /S /GoTo /D (section.1.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.1.2) >> endobj 12 0 obj (Analysis for Linear Arithmetic) endobj 13 0 obj << /S /GoTo /D (subsection.1.2.1) >> endobj 16 0 obj (Problem Definition) endobj 17 0 obj << /S /GoTo /D (subsection.1.2.2) >> endobj 20 0 obj (FCED Construction) endobj 21 0 obj << /S /GoTo /D (subsection.1.2.3) >> endobj 24 0 obj (Randomized Equivalence Testing) endobj 25 0 obj << /S /GoTo /D (subsection.1.2.4) >> endobj 28 0 obj (Completeness and Probabilistic Soundness of the Algorithm) endobj 29 0 obj << /S /GoTo /D (subsection.1.2.5) >> endobj 32 0 obj (Time and Space Complexity) endobj 33 0 obj << /S /GoTo /D (section.1.3) >> endobj 36 0 obj (Analysis for Uninterpreted Functions) endobj 37 0 obj << /S /GoTo /D (subsection.1.3.1) >> endobj 40 0 obj (Problem Definition) endobj 41 0 obj << /S /GoTo /D (subsection.1.3.2) >> endobj 44 0 obj (FCED Construction) endobj 45 0 obj << /S /GoTo /D (subsection.1.3.3) >> endobj 48 0 obj (Randomized Equivalence Testing) endobj 49 0 obj << /S /GoTo /D (subsection.1.3.4) >> endobj 52 0 obj (Completeness and Probabilistic Soundness of the Algorithm) endobj 53 0 obj << /S /GoTo /D (subsection.1.3.5) >> endobj 56 0 obj (Time and Space Complexity) endobj 57 0 obj << /S /GoTo /D (section.1.4) >> endobj 60 0 obj (Comparison with Related Work) endobj 61 0 obj << /S /GoTo /D (section.1.5) >> endobj 64 0 obj (Conclusion and Future Work) endobj 65 0 obj << /S /GoTo /D [66 0 R /Fit ] >> endobj 68 0 obj << /Length 3185 /Filter /FlateDecode >> stream xڍk (.Evb#A PGΗ_y-II0p\kg7>*MhS>iA9_ߧLeqy/D*k񩆿Ui#r U ~3,~`2AK+_NΤ^W#}7%ӝ,8 ~7ٞؼpwhDypfpj<60U/N=)C!F䝻O"o זebüs#ӏb6RdԈ$<\*Rpzx5QWI"Р@m8, Y0nl`!zpPfF\m)dH]C8 J [-dTۼa02A0u=նgE#B .耈 ngnrvpg_G}{mYs  ['&Nw7t,R9GqQ"dB?Qs K0Q.5 2+@ajl&n2y* 5-* +6]Ɍc\IT-B&K6Z.*GEj{YCgX6\WG` 1>gxx֓liJT!~Җp4 Օ"L{GZd1 a`0,cemb*pցѷ.smǁKuI*0Ie¹r2v({w-Lz!s.I/B) o{tOȷ\M,Ld-At k{lèU+\r2ǖ_θzPUEPGVK[uPYTfd&t 5dd22bQ+l4x1t g6^J&3FѴBgCXֲvlǢ C31iJބ'k!HE-p+thbѳa9 U>b ΒC @;V޿v,K^iZv// @U8S<.o4^1 @!;&O7(R4SP=ÆF-ЯXQ^}Up^evE}aQ2*&1aT0nйb4U{ݙ`%Nĵ@K!f$:8vzwh?uG l^0R2,Sm'_@]~a'S+I Pa-52$ aO"5ޚ1ﱫDk a7KPb_YpEayu 9;b}8ͯgW!f 85aِm9cbeJEHxd8t&bUoi9#p|u`+L Bp{{l+$"J8G5E"+PNTɻkԔmP#O,RR4=R8D ٟhߡ$%5O?m#H;%Ծ7aLs{fM 8sjeЮD*c‰nׁQKWZ1\ >uʱcj!Ta= 2o;X[PDRQrmw$:C_6j lEY1~'`|xg`:\SDIWQ7H|(@]\qΫ oŢ?.ބpBN|K3Wit^ϊSa$ ({Ҕ0,6׋w07}-&z/75 љ R1]@y}D%ʟ7ˁxƘf fIr<V1r_ N!F%Az&)*ʜJ O6ʒ0m HEbʏ͌!+e*W%s&Ta-ؠY ɤc3]#6S&&\Hׯ&b-a4Ϸrd_ͷ>u 2x͗G(H:Wt6O&<0;רE3sAa$wώc~/i׋/ =ڱ)¹{>_Oudz`@͵ Ϥ*oc"ۤ3M$?>6=!f\Ya+{ګXDB533 ;Fn[:1U!)/>\=d5cy(i\œ^e!mSk䔬Cvl项\6S5{Arx=*~?\d8jZ}HBPכSZo&*ouendstream endobj 66 0 obj << /Type /Page /Contents 68 0 R /Resources 67 0 R /MediaBox [0 0 612 792] /Parent 101 0 R /Annots [ 93 0 R 94 0 R ] >> endobj 93 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [254.505 288.398 261.479 296.811] /Subtype /Link /A << /S /GoTo /D (cite.boolean-abstraction) >> >> endobj 94 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [332.701 202.521 371.345 213.369] /Subtype /Link /A << /S /GoTo /D (figure.1.1) >> >> endobj 69 0 obj << /D [66 0 R /XYZ 134.765 692.105 null] >> endobj 73 0 obj << /D [66 0 R /XYZ 134.765 676.164 null] >> endobj 74 0 obj << /D [66 0 R /XYZ 134.765 676.164 null] >> endobj 6 0 obj << /D [66 0 R /XYZ 134.765 362.896 null] >> endobj 67 0 obj << /Font << /F8 72 0 R /F18 77 0 R /F27 80 0 R /F29 83 0 R /F28 86 0 R /F40 89 0 R /F41 92 0 R /F11 97 0 R /F7 100 0 R >> /ProcSet [ /PDF /Text ] >> endobj 108 0 obj << /Length 2091 /Filter /FlateDecode >> stream xڍˎ6_ XQoA$=,2-Ɂm6YHt{>,[4dU.JySJҰ3/PE=>EP<)!I,,* T=dP N09=iVbIg/ ӂHD ~;*'&i'I RqYVyA Z8A7O>WUxͦh*PUp?>I "U$߼mxs_)_q;XzU\#}ys6x ovե>YFI WI. \\iYNh"#p01#ޭͱVAd~݌#S|6_VY@!9bc"=ڣyĥoNv' 2P`l70(0^_UE!Si?Y:KeU % (fJU= y6Qc7HDpkRVrK0BԚ)F~ǃj2vEt68բEQ ڢj GX$=AAk57 Y!!,]wb E-H"*Ydlxd) |$ Mw;?:JB·a $ 5ntAm5Kِ"xvEn3Ɂ»`E<32*Q? fۖ;,z< oGtI R;\]z9@ա醔b!ԣG6^ͱgl^Tc>\KS8QTrRh [ԫŰUO2paꆳl1?#e/AŨf%wd g`Pk`h`[zf8XYK(61@3n]`&̙-{ɦL:]]@0;E9cLuz*s}FqYQr:$G`vNus|&R|U6kLjP6=^𢶟B?2P?R6Ξn0#qu^q2Y#&[sr bjsQ8gt{`#/ZYs@O8SSӌ+;4PJ(o2qݠv, k ۃ MwW@G% T1hrLi jUa(›40QePgyoQ9<+#m&@y`(-#>u Ѭ┥\,I, _.} ]>EPImz0/2rgBAUN}f=CY;mKv;iSEeZ[J~SJ RÝZa3utWrY=MB9~C f1M"N"F$l1zhj^SZo4*0ۚϽmp0g3+Xt(ӹɅJ]B3ˆ_yFHp?ŃYQu2 ń!C\<(؋(,#z2Ke+ tՍt.wwAi0"b7J_߳Ѽ0Li $ ˖VVt%+Vv|мQj!]>k]iw|4' s¶f 6^S꒪S(rΏDZ/hNl^oy^|{FH&/rvŅ]Y\$QNͨ?鼖QKOAt7MJTޑpK4uZNEjkdy}pyzM(<$aeR$rȮo"]Bmw{S:c"9a Fee> endobj 104 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./new-example2.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 116 0 R /Matrix [1 0 0 1 0 0] /BBox [0 0 519 481] /Resources << /ProcSet [ /PDF /ImageB ] /ExtGState << /R4 117 0 R >>>> /Length 118 0 R /Filter /FlateDecode >> stream x= xTՕTpB>Xw޻ʏ-Ͳu[\BJI*P0_-_ݶb Ū0 ` mmݭP͘]k᳓f{ޛ;ڸm2g¹ιs=dq`i})V)lr /kqmel92V13nX #5C`fV7}ɀIW`iشkj.3b5YX V)VsK ]̕j,7^}uM-OfIKӝ_2k`AluߧG'-]$Í87F!C Fk3(ytO]ܢs_l{~sOB|i䌽=_wj˲\?NMe)JGz0l0~n<26^Ұ&sWϲϙ0o6ЋL2a@Hi>{VϺzcӮ#C>|Nfe}S_ֿ,<_N[qA[H0K-GR݅7~88Pto^d{J.2f{ FlEd}{kdh$Ӿ=^~W Oy&x6; yq&$q,a#\ aN#?D{ք͖7sf=/[Y *r0Yق<~/4H[)L2.QqAb?n8BȠ˘${_<6Ǫ+4)L6Je*&pA*SYPa&1u HKJ8 -%~p}SdL{}qmK]voOн)*~ikxxmG*tiWOUuý;_MB-nh4*G:qi+}|09 ԲBHrv}K>y='ڵ=>yM@x6#U$>{7=o8N8RK wX~KfՏ&|$Qq͵shOnV\-2mȽoniy$Ohz4KTЙ97So3>]ݙӷ]ۿ kܸxtwδof 8xcgUg~COϾ޶vчh v`kByE hb5j4JHQV^.L`}M}轧:301Vw C_IՏ SGş#-toޖDz6nw7sYVY'C'OpFw'-6W!*$m֬6P_Zr8nZrЁV[r=jeXru+Ԓ֬$8\!Cw*^!.evڲZɄ_f"\%Nrd.!ctWMWټqtbK" t[9\sA'T;jҙ~d9K]%;0ojȌSº-ٓcfօOZN3L)bJt`M~k2W__5v笾{ٵgƳI6ά;lB֦[W94hGbc|,kIܵc-[f]/l1cojYo[2UL{yt6/yK{N\yϓ_kwk[U:ӻz4߰x lVkô ]uYճjOM?l_i:Y5[3;B|ܺ%!i:FmnlvH+ä'L D0XXE/b zڑ:lyTm0/Gxo% Olj0>ҷ.hf0To]u\wE/\M ECv`b@@0<0~"$^z0miۙnxjrhxn }2jsxe[{s\aՃ)Z`ߑP,="Мd??n]BJ~f5Ż7"_~3*2#bތ'/N߅_?^v“3wqfuuuic&]⩧2C utd~ZS`;16<`.g#W7>~x~'h ځl6S)c> K2hUDTT)f!p%;V]MhUaŵ 0B-VIܝDKQ;Xv A` ؂EQ8LDBeW"pFӯ$p}{o&^Kc/uRgO\M'_?Zft?MPZ霡+ ( \`3a[pq0 &+U Qg{פBQ};8t+G"+E[N\@8;!<N'-pE`Z SKRTlbdS\z>*$hWw?1񶝭Ӽ}?L,$ z!KԥRB69DOl>ҡ#%2[!a+z`:s$F\h^) TsLF]9Wx5EGKZGH2I=O D/OO FQྜྷ=' kT6 7z[Bz4'?K +eCS./IҖZE3^ӮIWdRkO~9Rx%*9Dy.+w=KY+Yó@(Wv` (Ƀ4A<ȒTU<5eBB%`KA=`Ug.:9P)\/o^y#֚GXwս'zW\Z=E?Xz?Y']iZtEgƿ}oJW.s PǺFi~K6=ܞ;59q9gU 5G;|}=HW^}[O-:'S}װϬϽj'mp@|!oc̞V[;\]x=y/Ho;Ls)fb䘀)au30,U@}k]U^mmƫ=PU_՝|Iȍry—ms- &v Hl:Xo:.{צ[LD&솙CH P95dX.JyG6&ңLm96uS/.+fӯnE:/A;fh>$3O@8Jv8Cۉth@|]EErQ$h@(؁}eahrdCaG"B<ՄShr[b coh{()rMJDYZUnsPKb4&|6?1ecc#c=?u["},FlYFlcPF#&bXZv vV3¬rNj +B㹖iaLv$cpA6qhCtC0a VCJaC\ق9YMg,dS,;1Kp n:Z ;A z86Yؒq3ðK܂EֳD3 w̺O<˂݊="d&?n%"]KQ(Q-+A^*NaAk -+ cN5c;tDPy':}i,F+Z!?7a*C1TU[$jU|z^`z{N=J>[]Pt$ @ڛ6Q bzYqa4ªr]A!3Paɨ@i:Vekʻ@>I/mj-&Apq(=d{.*dsŸ^| f 7/?qgu5YC?oy]ӵv@)9X÷4g~1:z|d{;W ;Lc̰2B:26EI ɇlS*Z/fN`rjb唴ྪ..Ūk)S&JC)%dYr}j@ l.^&͡& *hM},*,i-\p,XX&jj>.^jXMV`k5j+#[O318 BP b(5s4+4*P 탬w-_euK>4S-TU5lv VYP$On}rdrJL(R֍Ѕ;.k I}6M\wgbw sb,!XH ~ % M; kwguhutٛ[Z%Gwg{zR-73-4ZѝL{[:D~&Hkh e&rOش3$].|N*B;ZDHwBlb40#4l;2q $= MB"4.#-|Jlc㫒qYnKpE$aMLi&A'e"#R(?;9eI( y ~sSoPM@FYs L|^ H 89IݎkmUU\êl22((>9(< $F[""/D0"Ѥb)2Ps" K,EM;u+ l0:PX@G X~tiZ>L5Tuc *⮘H]N$Rw]\ ,Y]Xw"lE4H#x5" L +6q-0,cA8=َL#@!PbjT8܌}|+ J=J޵wgDQW^FwŌ6!'^P<*q݅3fDiq@p'Trv)b򴩉/9҈xMPY" En]\!wU(>-h{ iF[\Hmqx-T‰-YBF2X`qZtG-77D ?'^O@quZNmU[2Puŝr{EXnpPc ;-LC끿]W_>my}}rLMDK $$ZcUq$|#X'- endstream endobj 116 0 obj << /Producer (GNU Ghostscript 7.07) >> endobj 117 0 obj << /Type /ExtGState /Name /R4 /TR /Identity /OPM 1 /SM 0.02 >> endobj 118 0 obj 6352 endobj 113 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [359.075 199.812 371.031 208.225] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 114 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [180.549 187.857 192.504 196.27] /Subtype /Link /A << /S /GoTo /D (cite.Cousot77) >> >> endobj 115 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [423.671 187.857 435.626 196.27] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 109 0 obj << /D [107 0 R /XYZ 134.765 692.105 null] >> endobj 103 0 obj << /D [107 0 R /XYZ 256.004 427.078 null] >> endobj 106 0 obj << /Font << /F45 112 0 R /F8 72 0 R /F11 97 0 R >> /XObject << /Im1 104 0 R >> /ProcSet [ /PDF /Text ] >> endobj 125 0 obj << /Length 2683 /Filter /FlateDecode >> stream x˒۸>_#U5 )^MVjGH)R&~}9㽥Fw&zmII2topsOwZPl$0^Yܹ՝U5W5ec,|&T1ݗ 7zA~͇ﯓJfV% qݻQTÓRX Imw:3Qc:lVE:\lw>: -:֤A%p{ v V G iYk !.%A"U-:|_&;| ȕ_ZeqL8e"5~5FgV hkw):y<7~cޑa^D;_P7y!+NۄjO>t8(Q\UWux#t"Nd\"0H{x.o.I6Vh9WMjLEw(A2⊐ڒ:o@^f˵*UMl]s@L~%ycn=} A8I( X<$ .!//B~t'!<&.M32yl2Fr*_H`u, 8(hI?ee`{Hg1IY#5} H@؏~OGvf Nw2w%%Av NvI"jC] BBrr܋fZZqfpҦn ֪Hf I0AaF00&.hHS-y F܄*W߭P1CiB "PQ´$'N-+pͫ"J\"I`@a8]FY ٧0mj%0y=lvp`i)^<k_u/ m{.mn1}./$C7sWKp(%p/SQ\i=Y I@z^OpHVQ&TjxYϠFuE7)|D%[RmLvCZց w{sO=xΑkj,Vi2Mr""3-\QK\d:ʚ+a Z9Rw$.&JVU6E!uI&](je Ub8m,)WE$Ɗ~:* ٮ S=.ؚspsng4NMD= ײ0 D޺34+Qvy\02\I& !0٬Du3P~.ZjgC0t"0&R#-"IZϥLJ-m,Z 8Fip`vAK=X$ ~; ,lT"}8H gG`b<_oZ#2Ev5LlWT3o%;o$\AN"@hErk|aChMk}_RsVtZTp?'珴ٝAmNJQzIO5wLȁ#pr]8g+9P҇R}#FsxI" QQyW;/>d @HTIQīLO\sʺ{|/S!T y&N+^V03>ry+m~~ռ r(Á~<2¤WP'M.?½ÁvRu {-cV2'~3ujC(,:]=*xz, / rŠ3;w,2e Uh׹sػRטtqnX&,ftswϏ ݙze%- e^$[ךS-/J3:\IO v ?!]g&;?kp\:-8;-+Bc葒-p{GF/Dk*oɁȥkm,S:{Qʄ@nY.䖆*endstream endobj 124 0 obj << /Type /Page /Contents 125 0 R /Resources 123 0 R /MediaBox [0 0 612 792] /Parent 101 0 R /Annots [ 129 0 R 130 0 R 131 0 R 132 0 R ] >> endobj 105 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./new-mtbdd.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 133 0 R /Matrix [1 0 0 1 0 0] /BBox [0 0 560 185] /Resources << /ProcSet [ /PDF /ImageB ] /ExtGState << /R4 134 0 R >>>> /Length 135 0 R /Filter /FlateDecode >> stream x]p}DZ XD^gj~CR_*INGfq>uq-΀Glomn?Qwz*{7U}ֿOf|Oz֝%SN]Gu+uJ)qYq^o| ~]P^i-;vqf$  OTF)fTi*uBZVlBU2ML*9%[s=4*uU<\-lxMH×#M+a(זɾ66A.GaLTtɝ!ƬZ5[pLM>x-T@Q~}"zlxux|>Q&6y3}m\JHDm1fsHĸt3Ľ]PLjUS4Xӓ\jEqZg f.mgϴWѡRNC~j?VIgOFCNk,֕q>uޓ~:S>|GlF)o٧CQIhk<[o2#G{vuiY/O5hįhYI~ѽS]H^ Pz'53lW fW]ԝν^}ӌ;h֋ #G&*f4 8bP|ut{"y\,:rb֚p#}k7G>z L4ʤ~h j]crC\#Ԗ[N(ҙ7\\`!Kg4 8x x M_`mOT*\O t1' T|4 =9xƯ-k֬nlh@{u΍zBAk[߱q4eo#N";?[zrkmNc_"_ps6I/Izځ|vf}>3i_ƽyӞ[e]+~Tg|.|1.v0/rkҒK/o`KE#ڇZgtyezwR5~qRrDj̎O_}Do#'|g^?*xv{^$XxJzeO.˔_սCݩH5jʡÿ=Q ?uCX*V5%h\"s_w~Uk{&LbA*B[{3,o߾>:|ꕥ#5Ɏ}Ud9MUwڡg6wGkZyۧ)T|ҵ)l6rfc;>U wj+!wmX,zt8NƲtO[X>y0ؒMgt< NTo0RUDni<ȵUGܸ9#Dl 4U:L7qDxaA>U \,1sgx L5 ƍq;`h2A7 ]rA &h 'DR@`@=G}L?6.(`Vpn^\&.-9b` -!#*X eqkmyXnr??9t3\U2Zw2If. 4e`򕥩оT(-ǁ'{ t}D}Xᖺ.==~uөIbU|U p 2.1fn&%J, HlZh鈭d B `2AJoLgVqy hZ! hQN }yT&D9xXhՠ4;-JgwhWɸĀALDb0bݰqw7 D]D64*f?*2RQ0 X*&fU2*US9Aѩ.j (PөqIfplLU4"t0$P1ΩDDcf+k=Uk S=&8(=m9ި!, ]Md, Ð%k<#kTC$V1" a/#=9P#̕H2*G(ĕIޕ-{ Y1\yAyPUD="TƓS¶Dִ ̈12i#8@K!C 9G(g;4n[BF$(1^}mz\&JP4yl:X}LeZ>?fMAW5O[f+Q<14Fb5/3GU,̼-&-!-SZ*,iqGfj3QEAn GJwN(⒮-b^catIn8 ke\D: `Ґ6(Rpami|WQE%HϽ#uɬ. T٘-D-쒂ʓɬtR<re`T=\i\47` )9שӉH?ԈA0&| 't 4 #/DiKH?NDJXBԬSeO.<_OօÝ3oz yrcNr4=>k#[6FwM~O*w|pagJyQ-R y޻븐~m#.gU.yʒT'įmMfHQxf5@L9{" i_mK*>hF21<+AȰ@S]?.NDIX?&uEq&ިmZLCUuY=\W½]in)Ή"_oR_$E|K1&!"1QK1SDxџ,uIW@ ȨNI[bhz>A땚 (Q'<"&Cb,4P£%tQ^B .۴nQlj;D ."N;0d,"0Q e^D)*axQ:=z۲m6V:z1V۶i`%JtYoT:F&}iKeY[ѕ[YqO,wݖ&{g1H\RY)1nKSD - 59: IMEoJ{x=;T]hQj`ۻ swaQ%mMUr &2@Jh5EcZ@>G.8<2)R \>ɥ#]9;θ+WM!onF†2J8LChG,*p%**,*p'*j,)p 3pdo`gh vk 5ĥ¶c΅]{wl]lՆbeG~Mh;yX8sN-^ߓb|+Κgp4ʴة9ʌvF:T'lf4dPo"5͌D#K&?;I>TGer2ƐKgԶp0p3qD(n(RZQ5HGaJ? 0˰o(̷eF(ll' m6T64X OQAX1Y6 e|a^p2jb| "rT`$ɐ_LwU YTcV4z\,KdwayD,X2]vI*ˋ1C4sFE 2jHp4]5ҙ,rAbefOHH8 ㌾pGqnwsvoQPS_v…?;K/ܾukoqߌ8l-8q4G"-ɺަ{.b/BgΜI?( _5?Ǣn,`(sw6?[~9V+ .P@'gYϼo)jXMgksXmkꓛA#JwKivL=w`*>ZeC*xy0=HޑtuЉtuRCl@t矵ƎOk  >_ɟZSStNj(&enzI:O '`"weK(4}a$r҂cd4w"dB:ְyi|1VvOߢSV8܇Ч|B0ѱ1pQ=f8U3fT=y"wb/vL<ջ'u|iEEEE2_)Q@;8w3(蛂endstream endobj 133 0 obj << /Producer (GNU Ghostscript 7.07) >> endobj 134 0 obj << /Type /ExtGState /Name /R4 /TR /Identity /OPM 1 /SM 0.02 >> endobj 135 0 obj 5904 endobj 122 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./new-vdg.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 136 0 R /Matrix [1 0 0 1 0 0] /BBox [0 0 392 105] /Resources << /ProcSet [ /PDF /ImageB ] /ExtGState << /R4 137 0 R >>>> /Length 138 0 R /Filter /FlateDecode >> stream x[p}WCT8':8ݷ3`,D{4T3ItcIq#ԉǞpEkP=u?bVG5e:T{voWt鹭1~?In}vPGG~ Y$Q'Ouzޟ|*k QuKnoԓ?xZ oR'H>F'6uu@ܲv^Xg?x}mVf2_Op=LoөH~Wԧ=mTqMƊHqx`T] ] k u T5 z/|M%vle[ʚQ#SIVm Tց{[2H$ÇWre ZG ZՃ@@UMI:#wcKOd1AIHQb Q8VOUbW*`VYUnMf.4"26)jY4c=Qd$.&!)Ƨ)<*!T]-BHTx1[ƠOꅝ+G+_^qp@Nؖ6[n{j|y[[g$;By[P$㑮tskgSox&o5iW;6fGw,6}(f敲{n*ubOr69x<[O@<֦*UoR< (vز3eSV-“ ly:˓\EI1SmE ev?nZ)v+d`/g7Nj>&Vf6P#X 3% 21ևb'&MvٙMNh&~HS߲Y\ A}E%I TMR5Q`,Hh.-B1NKN@Ą3,B`I"iU)/ :=H81N[ ԉR #&E(U:S|M3&akm. CQ8i2'{T $qZpRHx^[}EtF~Jۧ`Nm-{ q"qˌD(Y[dPX:!m{jmպzzzxL4oU_А͓3Hjl˩Lv*}v/,9v;u^Q{f? $DRá -59:y0.(ʄ<>| jh^fjO`Hcv4I|HlEYڕ ٵҺHXzddiTP_`im/Wf$С(~m{pl &pM'!H,WJ(-ʙ FΤ''G-j҅-c3-d֗}dw21v%t6ÞIxc8XGy ~+ojlu(`7ypt^@a!YvtY幅.[l(:xj讒jpaKӶ?IqTrX)(Aulх˜1T^RuO,|Ga=:pc'F%IʌO^;-[OS07t_ ~b~y'O"Šg'Uްϕ&BG}^ɒ3D'yST2h{v'dl ^k3^^ܞ3;@4(zr|Sh遃h *9FSnE`4v0g95![UbU+%cƸiM)90ΏV^7[J"fNҹ[{MT Ng AB"mwol ?BJt5NGTů6eRKtG[vGg]X0𵪿mtI 缇!r2a/Anª=X7'TC$J[Od $33{I0Θ 'H}ssÁx4f yhCwp==| M)+Zat|dv?f)$[Vt]ާxZh2Q)rCwߜtC)?<@ҝ ɛ_-`M0%#M~'Hg.OB` &}~49Ar [I,>Er$$]$*FGLAIJuDעWAHd%\5he 6{Mc-Y2Ѡs Xg]at- K.* L+E!tčDkJ U$tnr>^~EZtzDLe)k|U-LPI"['5Qg+6=[k >uHabzضEQD*`-$,eBV |j"2ui~/W5r ~C!k`Nl`>z1.bHr Vǘ2H|FH|=J%rO fZpu=\T騺tq#QC?lI*scVIuDBSy\q-3 23uxlqIqil6rVv@endstream endobj 136 0 obj << /Producer (GNU Ghostscript 7.07) >> endobj 137 0 obj << /Type /ExtGState /Name /R4 /TR /Identity /OPM 1 /SM 0.02 >> endobj 138 0 obj 4119 endobj 129 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [186.858 379.357 198.814 387.769] /Subtype /Link /A << /S /GoTo /D (cite.MTBDD97) >> >> endobj 130 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [351.836 305.688 389.415 316.537] /Subtype /Link /A << /S /GoTo /D (figure.1.2) >> >> endobj 131 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [358.265 140.037 370.22 148.449] /Subtype /Link /A << /S /GoTo /D (cite.VDG94) >> >> endobj 132 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [438.559 137.546 478.82 149.501] /Subtype /Link /A << /S /GoTo /D (figure.1.3) >> >> endobj 126 0 obj << /D [124 0 R /XYZ 134.765 692.105 null] >> endobj 127 0 obj << /D [124 0 R /XYZ 168.184 575.078 null] >> endobj 128 0 obj << /D [124 0 R /XYZ 168.185 451.845 null] >> endobj 123 0 obj << /Font << /F45 112 0 R /F8 72 0 R /F11 97 0 R >> /XObject << /Im2 105 0 R /Im3 122 0 R >> /ProcSet [ /PDF /Text ] >> endobj 143 0 obj << /Length 3284 /Filter /FlateDecode >> stream xZKsﯘLElIUrsf( 3䄤] SZ9qR: F7x_MRg7.*pymawĪL;hL,R6ƈ÷wﾺ6ʝ= 8t7wǿo.6mqQ5/՟^Z@s:-;NdWMt2ߖ=P40TL\3t?34(BKá}>Un-o߿PXoowA!.Sq3unF-Iذ:p6NF"k 6dj8Tf# xDTZaN ^JaT&/ʐ)ٯWT0*ܯGt}Y N.߬h kW@ 2|,F/N,׽Au ?)̛n۔0JV3K2SKy`tXv-*W'޹q&yM6ЅC: n5>(r,ԏu_?X;C1de/&# oB@-D>V%Mg1nKq vr(Y<+qO#V(<ƇNAwfТ4n_ȰjK.M.§&q*+i7vOc rr6UQ{Kw+Sz۫aPwYigݶ8?o1hgeᕍ49'EۣX+'&Ӝ?51}!ݩ皻l ϻw5J"y4f(PyJ=~D>sm?YHDgT 4={+>B>K{cb^p{t qm&G Ryt(r:G4zF"ī|BWqDҩgFx $07ڴFG?~iz?S_fϟy]7C`znhp 4p#ӄkGA"8>1=%" B={ }2`!y~=4S˹=D |mFw';8AqMƢ9x>dRLQNc%C\xʞi=D [ _v+Gf?t xF<a{!P2pN I#=Bpd&ke?#8,AfW^3uCh虆,;+sPI{ãK4vIQ: Qs?ԄQIdxi=@tV8C_`F˜`Xk&12闀$*K*D96έdoЖR\r{=h4n+ŕ~` r]ִ,\nkc%> ByHC!۾Gfť[TC1-݇>R"nTw+S:A=/fTOƳ>N-Rrx0hZw cx!L)BDUsj{wu=yzk Kה5NRl*H 0J&>Ph%vˢ&xX-/>@>&9!]%yB$ʇi3P| *ٷo6&:qVy6hC&1ē@VZA([f gJ* # х/ sS҃a-Po5QRmSE7jls!!bgn)(+§.{5Ag`h ֲ퇓Z9 r SH׽qZ1Rp_5PiWAX3!;<& my-H<Ěk n7&䡨GE-G4Ȭ:_E)>мxh_;SBKŠyQ4$i1vob ޏ49ǩ-2H*T ͫ;-q)Ӛc(h$Ⱦઓh:j\8i',֪oz AfD[WASV|5mŶpղ'x>t5q/s%*WSɢBGNx K\lo/endstream endobj 142 0 obj << /Type /Page /Contents 143 0 R /Resources 141 0 R /MediaBox [0 0 612 792] /Parent 101 0 R /Annots [ 148 0 R 152 0 R 153 0 R 154 0 R ] >> endobj 148 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [338.406 591.537 376.285 602.385] /Subtype /Link /A << /S /GoTo /D (figure.1.3) >> >> endobj 152 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [354.4 428.436 392.811 439.284] /Subtype /Link /A << /S /GoTo /D (figure.1.3) >> >> endobj 153 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [160.498 162.01 201.673 172.858] /Subtype /Link /A << /S /GoTo /D (section.1.2) >> >> endobj 154 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [437.936 150.055 478.82 160.903] /Subtype /Link /A << /S /GoTo /D (section.1.3) >> >> endobj 144 0 obj << /D [142 0 R /XYZ 134.765 692.105 null] >> endobj 141 0 obj << /Font << /F8 72 0 R /F14 147 0 R /F11 97 0 R /F46 151 0 R /F7 100 0 R >> /ProcSet [ /PDF /Text ] >> endobj 157 0 obj << /Length 4048 /Filter /FlateDecode >> stream xk{~š_C E.ӦkN 3E%cZ+J8i\1 f4ּz'C=e))vKNt&$oUrMr/۬|(X* ,D_x~:+nOɬD+z5Lt :inu xmO貽]7t!O=_/#/kE+#|Z b=tRŶ-)"|,z b<3rB3:[Z 6zQmMm/A_d{ ⃎F9kS r_|!H1~YF@#< bBScYbV"{!*rJBTɗ{%|+YACQZKFZI߰xs˨90T=IykTۂ* [Z)MC|.ARg ?`?)\t͞/ tmTX/'܇utcX3(mP U =p=TBY1dvA5G&Ҁ pȃ{0Z݊\y/FA@n 4S%_ݖ%qcVF^سOd_aETL,,Q7W,df~5X*sk{,m"r SUB*2O:%^O@HuW`gO璷dr~|wi[|}w5VQV8j.;FDCpƱTc0.Ov!y.s ]RDo@w,5AU5 P^ʦ%d)C?[_E㹼mk%5$pwuK3{q-_ze3np@)T= U|V]Y qu-f+Aܫ{cy6kU.DDA W 4jd8cd"KaL(wQ6 ,QAR$$z4F)0.&L[>hv~vVjJc ';BZ9'=zUJS|.]D~(o1)wNvQ,ؙ̠;e"SdB77'gҩ}+UERB _̤';Haq<5=ä6ƒԾҹTG; 3L=z@CO7w'][:=F h߄J s 0!WK!1"U pu_=ИsuţCPΕ D89᠇nO+ n1 L5nSH|ʡ8#MjL `9>AXV9 da7ʄU)7kwxwg;ׇ}e+Qο1LVYĈY}Y54yIApCx15llH"D& 3Km'i ԅLzyC}R4$[a 1əg`ˁjbu s7?Up[-v ;HEnp`dI0#F ͍&8sl*a } 1qU*H<]Y > eSg~cYM0ʍ*+ʾW>1ʘSsTSNc( ]p({C `8훇;KqkےC 9=?.k_iyڼY|liiÄ́.a1݉]0FxخhkN*Ṓ.\Z<˒Nɴ!WV'CC>Dg_אp11䟸 b̰l ~&s=@fx,VM Kjsex1Νt1[˙EW6)4Xe)S)P ƕ5hg\C&%󔫙tǀuHc_'kfOd bɏu|C+imghQ4//jjmo3iG[|D/յV@:s^/L.9ùz._!n{ǂv%;n9{(7 ,6js[z#G)0%|?qa<=)0j{w F>M~PL MKm ̷ ӷ9Gl61Dl%#`ĩe͇lo${woM׿FuOڷ\&bOWg_{NDb.[왖E~wdțϬ>U:tRɟ{Rb41%rzÚ 7MEe{^Y-[L pZZK?yq,~4H'\<p?I:/Nng tolÉ]_U&I!t{SgV%?B qDob%3"Jj{aMU(y7U` awydx#](_}x/{/ ݴ' ,*mSy̤'@A!E{Yj#<(Gh?8> endobj 164 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [336.626 444.916 350.38 455.764] /Subtype /Link /A << /S /GoTo /D (Item.1) >> >> endobj 165 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [371.983 444.916 385.737 455.764] /Subtype /Link /A << /S /GoTo /D (Item.2) >> >> endobj 166 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [362.135 399.032 374.09 407.445] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 167 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [374.865 399.032 386.82 407.445] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 168 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [459.116 351.212 471.071 359.625] /Subtype /Link /A << /S /GoTo /D (cite.RWZ88) >> >> endobj 169 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [471.846 351.212 478.82 359.625] /Subtype /Link /A << /S /GoTo /D (cite.Wegman88) >> >> endobj 173 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [241.35 327.301 253.305 335.714] /Subtype /Link /A << /S /GoTo /D (cite.NeculaPLDI00) >> >> endobj 174 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [177.399 128.081 189.354 136.494] /Subtype /Link /A << /S /GoTo /D (cite.guarded-command) >> >> endobj 158 0 obj << /D [156 0 R /XYZ 134.765 692.105 null] >> endobj 10 0 obj << /D [156 0 R /XYZ 134.765 676.164 null] >> endobj 14 0 obj << /D [156 0 R /XYZ 134.765 653.036 null] >> endobj 162 0 obj << /D [156 0 R /XYZ 134.765 535.897 null] >> endobj 163 0 obj << /D [156 0 R /XYZ 134.765 512.265 null] >> endobj 18 0 obj << /D [156 0 R /XYZ 134.765 249.766 null] >> endobj 155 0 obj << /Font << /F18 77 0 R /F45 112 0 R /F8 72 0 R /F14 147 0 R /F10 161 0 R /F11 97 0 R /F7 100 0 R /F46 151 0 R /F13 172 0 R >> /ProcSet [ /PDF /Text ] >> endobj 181 0 obj << /Length 3768 /Filter /FlateDecode >> stream xɒ[8nh|,+TRN9४Erfpɱ|}{6YT:??R1k>]?._D*͜0p]x9UbWOyjVy&*qjdu'| z ֗W%S3mjot,qSE=h ;~ hT>L0k7V3;xn-> ᰄ+|[U-bn 0Fd^t,>SVgքS'W͎09$B"Tw, Z}X<; ܿ%h=reY4ÛWW) w'lsC&[BeΦr 3d+IY~&ry/ε'>ħ-&^ovj됣ng밯@դdrǹpR\eѬ๔$7٬@q#2:%{JeI}'hvNĩnDfn#7 bRpVngᒞAr ~S 6krƂCq:g嶹&vd?#B?=bfMJm':jVH6Uo.^0bhVny:" m_ǹ"~ټ^EZn[-UbV، s2e H,Wfܬw/xy$"7:QNx p^Y0-"Rq> aU2 aʙ=' [ srN3G1ezF=4p<ڶf cj <*e 8W8CM%hpXV Gu(LnCщaLP&O̜1xm:f(YOp\!0j@w/i4:xE(>x auW>떈n53fA?S+ѬNF y-#b ̤{ \{U8tX"j3:?)6^bH|݅QuņtlN] (ÁVc~1-:imKWD1am |V`8 .5 -2WGwwFoE_X0p&S^Y nD5ImA`f,2TX[b#1u} DY$.z>l=jbf UJ)TLU_LGUxbzW!.ų̪2fs} x2}|Aଫ{frt#!-GBxszqIj 9W232̟O{)tO^(LUm 7_R$\:- tݴSl(RȵTɿ66r_1C`Jqw!ʘ琗6/(AE,/`=c4^H(/i/^?Gr(U, V4k]S*M`bH_A qjXg 箨!yUSJWJ$9d؅ٱAiiv럅 R'$Q sC8~S%`G*D˽bSvv"&5 e)"/ϭ[|d\|\S$Z,:zt% ȵ^iFPjǃ9XRA e =Yw$: HrB",2 L~FyQ,CJf._,`I'\}yh1Xz1KGxz6F ;F/aϩdP{+. .sd2&%/k%)*ԚMw#4P]J?m-F-בe]) 5l¢йjA7`7jp] 59x mv6HBwîm[ ;GdĚ*<OC71샅UC(Mݩvߩ9QA[a2XٶzX%`YdEM|֬.W$ap %G6xCr Rl E2U@OO<,Yiޥ BDjഊmQ(6o=aוHm-6 hK/Y$AE/)Xeh(xK#r b<e (e/A\> WbO9b\G|VJ*fkU >GbS<1pդTI痶&dWᏅۂ][FpiuJ IAϥ1^cdjkd,u 2(~ס2LW.aWc4PC Ez(Q^D혐m^OapNzd{\fqvGWiq )|yO 3t/o^P!zA<2`+; wl|gwU18]>[ʈlqm |6~gX6x<jgX=L?' ^dN/h&?"#^1i虢`~I_( E@]MG_K㲪h/+endstream endobj 180 0 obj << /Type /Page /Contents 181 0 R /Resources 179 0 R /MediaBox [0 0 612 792] /Parent 101 0 R /Annots [ 190 0 R 191 0 R ] >> endobj 190 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [133.768 440.936 182.635 451.784] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 191 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [186.626 248.011 236.245 258.859] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 182 0 obj << /D [180 0 R /XYZ 134.765 692.105 null] >> endobj 186 0 obj << /D [180 0 R /XYZ 221.412 488.221 null] >> endobj 179 0 obj << /Font << /F8 72 0 R /F11 97 0 R /F21 185 0 R /F7 100 0 R /F14 147 0 R /F45 112 0 R /F46 151 0 R /F10 161 0 R /F6 189 0 R /F13 172 0 R /F12 194 0 R >> /ProcSet [ /PDF /Text ] >> endobj 198 0 obj << /Length 3056 /Filter /FlateDecode >> stream x˒>_T5/HNwq*媸GF\K,Iy< N9[94ݍ~a*Jj#ԮRLjwIV X ۰V8#`l.d0F\2*ï"+v?f2Yoy NZ$Y| | #$ w7>raAlҩc>lZcBjoTG}ߏ𞿊˞\͹8U]U7[/$zn0ҹɥ* QeyxsZIzAHt, 2r/LNhQίȄ e6 zbK_GÖ#LEBWYﻢ{<4ͅK^d[ h4&&FlUHՙ:Jwz-STec!üƊ2+t(kw${!-F8F)Xb 943.]uWiCJaX,/I'ȲoAڴk p}NS]h-l L"W w V*wK5CSgjUi.ADZ~Az,n <\\ f5fbUyN2CSfz}# vlv~)HLFhbʅ L" Wʽdc^nCdha7Y\HTTN3@23Kͱh  6`P\"Ͼ<6!zHs1s@ * -1#:1=>1q^[.:d$dA_bdy1#sB'o xތ>6c3:L}١?E? z3q6˰PY`?Hc]Wf{P)U2NaBb-i:}5mAAs2!-z!KG @{(Hf@^7'*b>{uqB5@>̤S3;CDM1S/To K=/ ,s,fM՛L&{Y@>7>V)VCb *\Լ>__7!bÛ nuBREB݇i3gV-@\'jU}҄G[Sus Tt<})p)Q|PRR)v"U3J<2zr*wS1o܌IzmpiH <5\OIkk·YL!7Ov(#s~Y75B% Ө -3q;In\]V6>ܹ\t}hނJxX'I*t*:gftĵӾmN:[ lG;a9.֘ H_{i95OKDQwVjuT ӑ?< OEˍˇWx4܈=dӨ!! KڷI8Ư*CXps; i:!\ h^]`} 'ݏPo{m4ނslw41bW'<]Ǐ|mq-9ԇ1X8PbeSt, 6K֓=be[x揂&礚h|K̈"4 ~-}FҕWU޿ս.82AF絋l>`p;Fͤ izv~lk!6^ tG?JJՅ.G~oP R&죨̑ynfxJC|a]E}uplZalFOIK"eY~";i͜yIˑqu o@ %;.{ѐ9W'_5o}AeUFqJ8Fˮ^7h{4jG>#gK4|eKpWI,2Px D4@^;29 O_0@D]fjǦlcOԳіù'C9)'/ڜs+Q7XsW·LpcoX9tDz:5:Mr \e\=Yx90@c9j@]RՌ 0yPPc(NㅲpXڑR,\!?;3O|ge?Ӎ>Qa~l6H9|Y$A/Ey3Bώʣ0c#, qƚWRʼn|,a/l EM$q1'7kg {aA׸u`db˽"#'f P&t*rH5<&heKNHpgI˾@ 7`u^Sztp~pfqaBSo<`<>N3AeǵTwAيUsuՃ̟M*i)B X ujo=endstream endobj 197 0 obj << /Type /Page /Contents 198 0 R /Resources 196 0 R /MediaBox [0 0 612 792] /Parent 205 0 R /Annots [ 201 0 R 202 0 R 203 0 R 204 0 R ] >> endobj 195 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./new-fced-normalize2.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 206 0 R /Matrix [1 0 0 1 0 0] /BBox [0 0 231 439] /Resources << /ProcSet [ /PDF /ImageB ] /ExtGState << /R4 207 0 R >>>> /Length 208 0 R /Filter /FlateDecode >> stream x\]nUNK9oѦWm7?PBĒ mZ,i$MRJ흍 hr^ۘV҂@/ s=Z3{9IWC̬Y~twgO/>;yO#ݻ>D)v]qЂr?vyis̋?旘Խ@l+ܖrhhŲ)OaHv1*Բ.KZri?MLne}/<'/\z-eOw>ŵ}}^zYRLL KgaYI}LrP@4 1 V/% ,#Fƹ%W.i=4pBYV:u!2SK C./oAъEJ";K(uSۏ\pſE^^ʘ~_cߵ;5jwru^[w;Nno=cysˇ&7ݴ=t_xKϽO=y/߾L&k砏gdV)KÒ UfEfOMڍh6ƴY. eeeiAqI5txQ@!gSc!n0R] /c/p2|(59ԷM)4 En>roP5WڇZt@92"7 e]E9t-2>9r\ Jv l!a'oZM-E!Epdʄ$C_X'm}P,RYsW.)s;ᄥ̯ ekeImIU, f qL)#~20TQ+A:ѢHdN( | %h`Zױ(y%."#1essWouP#M!С`S^ƫ1.nf m\Ptկ[@`;@iQ0,ٺ79o`aGf~zFي-],B;&c]2 4Y+d'kT(vK>&3Aa l LZ','y; 4nIb &[ D(LnEP2[ApEZ >bgK1كp] ]/R7/PBC=yCSa2տA|NT]fҔ|*قŠ#,gK݀M3*yLuР"bXD؎J~X # Tީ҇5ߦE v)P$oRc%~!ʾ m⇒!J6%Yʶ)yQ%-Q,ex52 e;o샯 o|߻zs}>'oo?S/\ԋ_8CwW?ӟg{G.G}5o35Yec <6 Ybu`zb:E XS#2dֳ\?S&-V/gv s(8;މy$#8 E[4dD0 -asMXl.55'V[`ړcfBWTȚ`"vPIbFɎCbtF}f*Cئ:mN=7Bҡk!I*Ft _axRs1 *f1-L";>n+'I5) 2U Z-%e: De $ڊTbwb*Ё!"#9)irjJ0\RҬJ`H! +7aʏA.$(""&F$U$Qp!$]VdkS4" WL'kn;zh<(4AN[`n@<{ D".@pzvl掂?3?(J S5 Z嬢:Gu; DC;bU(Ql0{AwE$ 1a'&ga\OаL*Ҿڸ _ Z . 5Kby6/݉q_A%mp9Wc:)L"s46+ȞAOh(&v'NP(</Խp!k!^ӝL.a F봂 :2ChI[1d~*:I3n$#]}vzx}z7?_|O~#wĻgMl/dQ493{ѕ~2nqbRJ[9ɑ@ꨲIjloa f!R|v!m'*uz) IÌhqqEY+rD0ҏ#=flhZ;$P4+WJ6j+8:i3[*3f2S iAaH &Ƀ u&c6uXy tAJ(9fwJ7a bXqR0YS?z2fv$o((@D9r<0 {]fE8ZtiP1:M+hL&$F1c(1)c3 ]ý';xĤ,>O}[ O["v@N0! t~, 9HJ?p-w]{=7?~lx/o>/}?7>ݯ ~']csϞw龿z'o7^uSU [2<>򯽮-+ChV9-=$5-߻ZM`WeBjyZ+e`f]6l^2oNU1ߪm(hf[@o}ꔙrC 6,^2wSN MY,k7U.䵬w,Bx-4 (85 :I1`vZ"ϧ;!G2PDef  r D xUx|'8H7uFBr`BU8Z$[1BШS4D4b6rk$!8L,1,0D2A:U6URH]~mHsQcC:7uJSFŹBڄ1!0igp'PGHS`@ 9  É!HgeyAu* AkVG ]HJBɧG!s1901CgҀR p'x I(aF]dr&"BkqN84rsB/V7h;5\sxM{ϡ]iR-Pf#F#(-28LȦd Рos,R!3d_;& YDRUR2Yv赼`)'aSpG1o%;jP!Qv.5w 3mr<{lcDCꓜ~xE۔2:-*OA NHt҉tKPMʃ෱ t2^8`0t""RH3UU =)Y9D 9 BF_lIc]F!{ͬ5bݜj[mfjp2kjlJ#.5 &mX2^i;7D1Z:BٲxA;mŹS{{g,V;g~yTZ0׳j 2 a6y-}(*0{ -Uk/ z޺ ̀z6'٫5=AurIA,wZY.5-T[4ܲ.I-/v@I:Ryd/}@pN^jrMk>VB-N1]6rK(ya^9 )z`DOz] BmB߱Ri`wrlh0jg`:nAHRDrA^ъAx߅Ĝ0kQ1܄kL GR]EQß$4yL)ITbg'hnX%MT]N *%Qmor´yk+B e{ @+IN?-M Ƌ"WJyp'乀cQ ČF?<1TD]tk/\bKDˆPxBXMt\o)Mvԁׁ.NP#yA$OE%/%ci྇Oo|A& Z⍄K[GJ$FBZz-)P?"RLLh$E&B"N,9Ğm6ȊLE($8F4:HLHPB=#C^#ɑ6aFLbignd 47"ɼB+TgOBuy&xt |h҄fIXDu c²Ff;FR?B>p@>N ?>0ASOya)ȶ*D|yLI; g%̏GK!*546e҅L*S8]D'`1m" p4Dݒ"07DZ Q~gEвJVGJlE'^?7p{ny*beܜ͊ͯb m0ҁ^mj5j-И0U ZG^+F<ZZgʞPrR*6+du51jY"R *4l lj\f¡sVԵ4hQ@ìWPqu۸-[r6'L{0l+Ѽd쌩a4oy y&hxvpbb3s: `i%J uӽkknʤ?&V8<zi҆wjʇӴ C~!ZJ| e*WRH(j 'cѬ tFh4/1+MS8u\,:, B qpb^,4[`S^՘P'Lы9uTF̺)ba-τN!}pØӸX81Q/b~Rɰ`(1I\5obӸX81Y/F $2Yv.rEWǍ6<v&x@+6zP?{5Uc0{GsI~\,Ƌ%.viD;;g;x E-U& .eU#"+Mt}T]jz\2-TY_)S"`j_BGEɡYpu[1cQp[˨A "[<+&5 $0.L M{IuE\Ai'NQ2KQڗC _^XtcCnE!hGm#&F$vPaZiވe{.z&65q(J\||HsVU\']! Qx %,?͛j+R}Qcq B*)5l(F dgd˄3B r="_8wE z@"=u4ʘbK f+CJ \-b25ňKJhIw \Rb@;j03adw+&L+ ڝ~A+gb+5'P}"$wD@jQi@dY ΧN5=CqREOR)gD MSLkn#h4yO a@cANVd͇t"&6="5ac(v+J6N#=p6N$+z ~.2J'|W%x@re /j.KGC^wt7q_s :cCkendstream endobj 206 0 obj << /Producer (GNU Ghostscript 7.07) >> endobj 207 0 obj << /Type /ExtGState /Name /R4 /TR /Identity /OPM 1 /SM 0.02 >> endobj 208 0 obj 7579 endobj 201 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [195.765 459.853 245.623 470.701] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 202 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [312.203 459.853 350.853 470.701] /Subtype /Link /A << /S /GoTo /D (figure.1.4) >> >> endobj 203 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [267.939 447.344 305.917 459.3] /Subtype /Link /A << /S /GoTo /D (figure.1.4) >> >> endobj 204 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [302.227 435.389 342.022 447.344] /Subtype /Link /A << /S /GoTo /D (figure.1.3) >> >> endobj 199 0 obj << /D [197 0 R /XYZ 134.765 692.105 null] >> endobj 200 0 obj << /D [197 0 R /XYZ 215.807 556.118 null] >> endobj 22 0 obj << /D [197 0 R /XYZ 134.765 373.547 null] >> endobj 196 0 obj << /Font << /F45 112 0 R /F8 72 0 R /F11 97 0 R /F14 147 0 R /F7 100 0 R /F10 161 0 R /F13 172 0 R >> /XObject << /Im4 195 0 R >> /ProcSet [ /PDF /Text ] >> endobj 211 0 obj << /Length 3475 /Filter /FlateDecode >> stream x[[o#~_G/-&IX4}KcI}9$G3JNv(<<\H+ĕP9klLps5YW3x(mڅc93U`wEe˫z,FZjlNJb=dZQ|~55Y;uSѴ߇|N΢@uH6.:DHovn.-h.S%t.c>,H}5vli HL4yӈ5{|Mޙj2 j,4 Z ߃~6_Y`vڪ7̎̓;#ރ|U-n>oxOw_s} wwuW\=ɂh:sL6ȁ@*ܼ|R*he3BT]`}s<TH+zWчA޷t`tU48!bU-{'ܵZ2+Aaˎo\> XY<+X\mEI5>HNM#"Οq c^lPi KgBw2N/װ b @0Č#odTx!V1כ:fg;<Ю(͜3KL8'؉Cͺ`,3!dZm54Vq[HRfYW)푘t̷lsG",FۖX#(D]e@'sTUFVaT(Zt&6O~/83]Φmk1<c91¥\brL@]ٞYH"SSRЙ@@bŶO!gBpRb]ۥJC̋OS%d 559csBD])te Je!9MًJBaDjYB$yg}ylr6kF^ -n CmB>74XATž%CK0iwYǻD:@zοYş v?,cy{kb}QXx7f#ցJ3n-qRa hҴWyl 53Ohl7r{jb6} hHcw3yoiJ,a q8B5[n'E(:vt$WjeMM(4mz;=3Tt)X(ZFbRMC*E&FRS`F]d\tEG"5/U i 18pS$Kd؎ʻVvЪqrЖYg\ u5z\Ik3Rc3 %="A=&؜.2ӏYٶ˞gU()hŋٜIpf5.Լ *Hpb]vhI*M`A ,vƴUyWŗ=&v& A(?I~t,~ϑ^̹y8x=r%=X,>I^ǯM5K`^V\^Eb, To7ЪI.ןP͛q6b$(ǠA%o]z" 28ISqtL7_O{ߒ"orlZW+yac<pICAcuA~FItJkų\]{%% QQUHwJ"C81@Rg+L{ZyHTbK dI/  8-ZrEpty;N!`B(O![,`w_,o+kq嫛:/\Pr ?6|2JL87i:V^ZGzJYr^ 2(" fZuty'Ӕb>z}w@:bOLWsvy.sa!iYv\(Y`-]8MWKIfFy3XgC˙ϔuR^1 @kd#cΒr4OVb@àrn GbjuҪpϻgR>g͊/XDФH?sQ:jE{Y[BB8Z|5#6ϼnGlԝ#h.]?@c6X+&D8XYC4o[H * b"51TN ?f{J}J'et̥yCުj”Um/_#M: m?iXvO1' +퐁pNw8B 3aendstream endobj 210 0 obj << /Type /Page /Contents 211 0 R /Resources 209 0 R /MediaBox [0 0 612 792] /Parent 205 0 R /Annots [ 215 0 R 217 0 R 218 0 R ] >> endobj 215 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [205.029 170.564 254.649 182.519] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 217 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [175.612 138.099 189.781 148.948] /Subtype /Link /A << /S /GoTo /D (Item.3) >> >> endobj 218 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [369.947 138.099 384.116 148.948] /Subtype /Link /A << /S /GoTo /D (Item.4) >> >> endobj 212 0 obj << /D [210 0 R /XYZ 134.765 692.105 null] >> endobj 26 0 obj << /D [210 0 R /XYZ 134.765 296.077 null] >> endobj 213 0 obj << /D [210 0 R /XYZ 134.765 231.052 null] >> endobj 214 0 obj << /D [210 0 R /XYZ 134.765 206.924 null] >> endobj 216 0 obj << /D [210 0 R /XYZ 134.765 171.561 null] >> endobj 209 0 obj << /Font << /F8 72 0 R /F11 97 0 R /F10 161 0 R /F7 100 0 R /F14 147 0 R /F46 151 0 R /F6 189 0 R /F45 112 0 R >> /ProcSet [ /PDF /Text ] >> endobj 222 0 obj << /Length 5026 /Filter /FlateDecode >> stream x,h0bS6"W|{gkŁv&apQ a= /IKVLU6{V*Ֆ.*FdO\z4 FjF=;ՇEjIQwm5k8kԙ-ߕ.ؘUq(6VVc{L;ST C˙sP {F}|vN6lFx1X1@_$;HBM#= #%jS<E_(AFdizn!g`.RYDŃ ЗɎ1 tB˃ 0Mc63M GѪc5i~Bw:Ylqe~ L`cI}0{;;;Ej0O8R;̣n1wYW3tf(/*RdZ]dMWaQ \.4#_f>J{Ьu ޟM0J=M4;<#QwqO#n(h n&Ace>J kbGM k:I~@g쳙=':ɼ eI ARN$AHNfDrB LX-8bơq_䫛\Y]X3jqeVKRF~0>s7<5U2fYEscr)z 3H%B' XWMT R(m NJjsV. E]q}Bt׆ZA*4YVu#<_oϹ/Ō`uAWCZ`1V!$A (&܀<-v01b~6()Sy!hm0i & G63WvE_~xşeBBOwwm 2&ih,Pڥ4S@N0WF;'tQ.hԅ2>?SF gCC; O` ܁S63\dMS>#ݐإ}AHCдzrۨOA,Ls>'\VMYXƪ/$b11@2 A>c3 |懝`<߶9N"5+L;ɢf,ѷ X_ja~XMeK/emlON-^u89, hZg(r2S,5X<ȗ{iGoQ~iVۊm]!C !2)ҌG9pds=9n'PqL%9X;k4W&RE5zqg\wsH!5.sN{ GIU3? ɰ>-̆*\2.h1oGxF^+|kh}O G2QJr BI'FFCm`ϱ`Fo7ѥoVft(T6Զk;M2#4ՙ٫?RE{PϞz#E_U'e'7FEьΧM2mnæ<ҝn!vsbQZ%Pp6!*Cj_g`1PuM W89/Q9v@r̥=2`{ $o}년Y(kM[3":'Sͥ1i>\6ǵ`uUۅۘE/oUS+N㕖qqVZJf'yXdкMVacZR~o[.5:Lr %7`E*  qzL⧚c\m~=6Z\4sЯ{a|201\{Z}0ET4Xqr]c-hob'3px_Eώ ' Yd2%/vUfz7TX^.8uࢻ5,A9XiGY_6%zvf B>His~{^"?sxCi-nA~nGNP;:F06YX$[ќf^ŋ6+F1_z e{d dGp~gc: Y s:~y2?e!\yhf⫑@?@[c46Zpe!(rT>(t`*WX[&obO8B(ԘO̷P–Sa&wb~ n@oCC[V?Q3(LY4\N0;,gWમP`v_PGx8 /{~GOrRv}ư?.@l q.\7ic1j|W+h_ː"T5c$GMJ2z"7|6Ÿ<sOk`oZ Y۠[Һ$Kj2j6amdžH޷uHq#uo+wOIܙȌ{gn-RO6rm'[ҏCtM+,$hyV<{ ##_v4v^LC"m1~gH(cG\w,pY%z͇?,C.t#CzZ\85H= 7ԍ#c@P@ZQK}Op+ڝBB fYǥ]{6^}'e{^4VcJ3?ՠؔi ~;/t&s!Kϛ yy/)ͷfud&ipz^^.j9[޴J{ܒd0KD*D˷65ۥȭ~n+>qaw[=JBUsBN?46qfPV eRr3zOH2'6bʆATHM?1%H]֨F3rhKչOst.Zb/ Nml6{eMz)3\]&l19ðv!()jԔ4bcLlN`] "ۺe#}B=c{BsJNp$~nGD Z*X;ů_5]6fbylfbM-C-TVISӧ /ȹcrhi[wYdf 2pOYfK/;pendstream endobj 221 0 obj << /Type /Page /Contents 222 0 R /Resources 220 0 R /MediaBox [0 0 612 792] /Parent 205 0 R /Annots [ 224 0 R 225 0 R 226 0 R 227 0 R 228 0 R 229 0 R 230 0 R 231 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R 240 0 R ] >> endobj 224 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [211.892 638.804 226.061 650.76] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 225 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [402.732 641.295 414.688 649.708] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:NeculaTR-SAS04) >> >> endobj 226 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [261.723 600.165 275.892 612.12] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 227 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [419.67 588.21 433.839 600.165] /Subtype /Link /A << /S /GoTo /D (Item.4) >> >> endobj 228 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [382.756 566.79 389.73 575.203] /Subtype /Link /A << /S /GoTo /D (cite.Blum80) >> >> endobj 229 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [390.504 566.79 402.46 575.203] /Subtype /Link /A << /S /GoTo /D (cite.GeMe94) >> >> endobj 230 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [403.234 566.79 415.19 575.203] /Subtype /Link /A << /S /GoTo /D (cite.Darwiche02) >> >> endobj 231 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [415.965 566.79 427.92 575.203] /Subtype /Link /A << /S /GoTo /D (cite.DH02) >> >> endobj 232 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [199.992 552.344 214.161 564.299] /Subtype /Link /A << /S /GoTo /D (Item.3) >> >> endobj 233 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [197.749 538.168 211.918 549.016] /Subtype /Link /A << /S /GoTo /D (Item.3) >> >> endobj 234 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [234.442 538.168 248.611 549.016] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 235 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [178.539 501.749 192.708 513.704] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 236 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [351.978 480.33 363.933 488.743] /Subtype /Link /A << /S /GoTo /D (cite.Schwartz80) >> >> endobj 237 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [245.546 405.163 259.715 419.357] /Subtype /Link /A << /S /GoTo /D (Item.3) >> >> endobj 238 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [154.021 320.201 168.19 331.049] /Subtype /Link /A << /S /GoTo /D (Item.4) >> >> endobj 239 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [362.254 221.786 400.445 232.634] /Subtype /Link /A << /S /GoTo /D (figure.1.1) >> >> endobj 240 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [232.386 197.875 270.933 208.723] /Subtype /Link /A << /S /GoTo /D (figure.1.5) >> >> endobj 223 0 obj << /D [221 0 R /XYZ 134.765 692.105 null] >> endobj 220 0 obj << /Font << /F8 72 0 R /F11 97 0 R /F10 161 0 R /F14 147 0 R /F7 100 0 R >> /ProcSet [ /PDF /Text ] >> endobj 250 0 obj << /Length 3160 /Filter /FlateDecode >> stream xr6_GyB rvnvoMh8+I|xiij@zzS>Ifz-a -(*5 gWatc9=@u8NefEWɂ'P.'7⺺"(>UQX%>Q:q{/2%vqsױ'6Zl~[/Jgfo}O|lf[\ͱ˻|M}lЭ._>68Y#0\7u4)iAթUY셊OQ oLPsdʧwU[mS-PҤ˖10EOd,Uu<ʼQF(9B@ᴲp@Z~}73̔ۙvc/~Ԩvfm$HjT\Uj-mV n[Qq{ov6VZ u1> Wܯdf孬6*t0~~ӆ RZTIfA_RULSO,evV5˜?m},@3v.iޕL#:Z5KD$rb#/薉S9ʧnb55 xؑ > *Cd5"D떏8:d)kAɢ`dފYP \G˛#%ݢƯIm p*T'5|`}4c"u{#DMoЫp8=-k3ͤ%ms8v޹xȖw?5Jq#v_xY~ K%ؘK=XUz} AXpUhTOΛ;-i9FI^Pw;<м9{v'HV`6ˊ]CM96Ģ]9B Ŭ;/RkKuX !sleί-t2:Sun#+8^} :2BfɇAUْܼC㾗AX qJ8yu%दw o5׀qoG'9:9. >V;VM*u]MsKԔ-T@ PSM (F?^!.'k$hKfi-*`3$ne.r$~a~-2;lɜ)'IlX% U`L/i D%N{HC42pq>Lک̕x ثiju"{ˎtwl 6Y쩤w;$ȗ!b\+׌fGcjy.2lt#uF#]0#r٥,g uA?h'@ iڥC4\R%"b&OlLS1(.wF4:u+E5R?D~tR3.^!;':G").+Qܑ`Y(CmBzVs}z!E ~Ti "*7鬮 Ii7`q%1n~dVu凹sy;ݛ=V:,C )46ЛLWNi3]jfJt i29VI^6|"ga!ʫƃ(JfKQVo4[m|Eȥcv)yE>*XyEfT [0JH gbMxH-RBTGLcd@d۫c6 \ UBU#!I Na6l6s!B[`!nŮ/7fHyt[ژJ6Wu[~+וVKws50z 0R&[6@s쭲9~qP_ӿ_'Fy/P>ogEz} %7 ^կ<"{dt~ _ceprCŇ0^!L}H//2W2+0 sO?J3Uk$ KJpeYwʼ&N2vQ205B~jPsy}*=ȊT/?EP=+AO4k.ϕbWre-YGΘ$9w~ˣ31}|"AjkqWғ­Q'ԀšHJF}#:aCTJi;Ws$L+sG؝O47M!8,R)j/RT{%9B?p n&Y`lrGsySdJʱIK|lMsYpR$Sm P#B2mVš =S~zsHXI}GQb$]('M;ޤ94r}waHɥ;biAeН³bj /^Zsٹ*G Igl-)ADv",ϽC<; #ɨ`!GڇXF|He8 t5?Z;%pL2KoDO޹NVuuWDrJ߁'!"Dř=x1#$dOj4wA.A^{h ͛xk~ptPN]޴ZWǃx3۝Ln: i⩕W&~g~"e u(WՈH~^)dn?|s(vendstream endobj 249 0 obj << /Type /Page /Contents 250 0 R /Resources 248 0 R /MediaBox [0 0 612 792] /Parent 205 0 R /Annots [ 252 0 R 253 0 R 254 0 R ] >> endobj 219 0 obj << /Type /XObject /Subtype /Form /FormType 1 /PTEX.FileName (./surface.pdf) /PTEX.PageNumber 1 /PTEX.InfoDict 255 0 R /Matrix [1 0 0 1 0 0] /BBox [0 0 346 648] /Resources << /ProcSet [ /PDF ] /ExtGState << /R4 256 0 R >>>> /Length 257 0 R /Filter /FlateDecode >> stream x}-7bۊQ |D9!JMJkLZ+TfC8 ƹ $|U:_#~_?_l1%~WŕW}{j?B;Wv^"Z2/0߿] >Hwt/c|yEw4=NG:ؿ{_BY?R$%i2VJ Un8.rW`Cmp|+V`UG;?>w،Ra-7:rq6N[B<+V5=P}b)j-8t䶍"m X+YʟIJ&J|oy6ܶqBLwtAy$~VzzRvѹ,}t mmCOf)KX~W|kZqy.v1Ў,m?%WZhmʃ6[Dϯ_k?IO"it2Us?nwiWIՖaǍ6 p]N]ƫ|n㸸8An.IG>֐| mאj'TԊmM`Dڡ-ttB]אj_O.AnPMxqtB]אj'TU86+luWF)q vqbHecaG cb](potB]אj'-i`ij,gFAn8.rƉaXztB]Pt'Trk߉J yyvq\] 7#cljg9.E8w2bp.FpBֿ]i}B|,Z.ƾ-ء3|m8o81A{ZbOy87:OA.khyt 3dL,Ϭq 2.cߖtM?Y8125@r<<Y8A.N B;Zh5žw:OA.kV_H<PZ8k5ʼnqV:bbM,ϖ\}gY81cp Jit]8k'Y'8c냗]yvq\]TԮʈVR?<7qPĉtiʔQ9.^ E,yOwq\]*Iid@=8k5ʼnqVC%~p1K'g|ot]8k'ٽĉr39삵x$]WE pbp= 4[2l@6 Twۙd؅VFan㸬mgk|VO^݃yvq\](7g;+LíNq$]W:)Y ?@wN:&NO﫽B~if}p]b7:&M~oݓg%vt䶋*]T?'tZ躼`9)$_jot맛8~nDa1JE^Aĉq->^XgQϓtwF)qvqRnՔ:r{N/,&꧛8Qn=+ssu4f:?j)Mڮ!^<'Jm''K3qXwy.vqܲ]>P*Asy.vqLc}*cY:.-6x$]WDc8fIS{0.HV멳wq$]W$ǡjx(M?m_awΏzłu/st\n8嶏fcu4st嶉mD9{/}i߰.F^jt䶋*](7W{{LJxw:Orq.NuHAaWzt嶉mDKmW9=kYLxǡE̟-S{8,'-F^φE)@x#TΛ5rSn\vuo{,:Ϯ:AxoT WO0ao`#[">Aq_C'GpȂCJ(71Y ,7,Wm2̚54!CxJ 3]@u$Nk a{b ꊑ^\0 n@ t;((E]F`womsC', rT#jI拋h !U/MX.яf&ѫQr"3񀿇.'[0E*Ǻl{gM Ͻyq _Dc}cd; XO4./#+^"K/;ѭe+yicۻ\ f%ߙ}IR$Lز;9ٯsgaܤC]j}bc&\zo\3xd\-DY].e3W6 `;9e2nAJfF= Dٓ ةv'l߫/{i^sW1n#WŤD/w-l1x-4qy[ / prBGfo|G59Y9gҵ~)\H?kzz0zԎVD &<5,w&9G,zYђi,. IV`nƜ)qe$0{ْ:AƂAh0X$F A)jp'%u,i3"rZ+=G{I4% J|8C@--WQ0 # AB-Y# D9"KLR֢}&Q_tO@-]06tϹZ7(AӣA;SMNsqG;rݘ~s+|'y\0H2 Ҵ?Q.Z6ҴwP ?HE} z-`3*Dq:a3 iXQHݒZ,h% قg`-BdiƸ*jpێU+}kiZ.T1A l6ds_* K0ou]n4Is-/ 7XJ_A;'pzI7T3bi'rg ô.; ņf_W,Wշ4  .p:ӟ-+̻be[_fA49q+Rᰩ4{G-A4a: *|V0[e.vqɞfKldXUD3I9 Ojt݊|֙9"W8wҒR Ly:&G;6eKiő2U\'_e^'te"p?g//pǥŎ:nKO`ѸHPE@D6E}\-J.f ܍ a +njQի!["oPTOYcW W: _CNKW6L>.eOݙbKY&7R[\`TPf#re͊`{eb` 1F&ؒل8[̴FyW6e^EqXR]ja0j W8#~iR(!YEr#_9pbS?Amyal/p: }{̞hJZȳO 5 zpasࢴPĀ3f FJI ܌2QO4DMSXg36Bۢ%bxp~:ϲh)|ŀPg A h[ޖ3@Cd@P$;;.5azm2(IS'-G>*{Fzp"Z0&"Pe8' > n*xazX'~Whe,16:/vk99CcUOcL' C8&Xl9O34`v>?lg[ hp7lPAOS80lz'Lޙd:+cgCqc_M]g%HI*lå/e>z&Yz9v]==nPg_J F+ bS;=A2`2+ɒ8|u48yMEE,~mήJt^w^6jyXtJ'0@5$2--ꍂ0wCqh m AoBFߊZuRs)Nd`f4]zd}H .LkW.9[L69t4v-āhJ|0CNtH1xUbgRQ#v  Erhv5{`%`/k\P\4Uy_X,F^!8:IOX?<1[TWL, he^`dN&=ZsUU\cA,UR#Y{ZTɚ$s@s"¤kʒL{\c :ndIR `&!WՋYQFTr,-YaUdh81V8E|xMZh# rIsۭ0 +L vȬ"q9@4f^zcO{ب/僗Ν;i̦YR:N[GcOO8CI:b U5#cWʑ_fYȳ%+o p+'+xAA\l%=j5*Yz [kF![Sb/DV\4s`PN8:i-\Nyw4륷,A9G$jsZxB1{qfZut%wb<(!YC>` d\zc^ቮꇙ:`il%'ٟ-ңҩDMXӝӫ-VXI(_+0 ɹbTYw^k ?,MCfX"k{:R7 yraNg;u;;t;cҹ[3P Sp=qPGme)OVb_'n{02Y/<[xW F@Wes6}dGR VV+XVPG5.Vp W+( 2:m\ ѻ Y@xK Fa]fV+81Ͱ  տYAXA bXW+ۻX`i7+fy8j;|[AQXAxuz4XA+7 [hTī a9W+ȓV| U$F S~]M5ҜjlxP*ZALZҙφ&gE5iN[6Ur$U :,)ߙI~AM+O(pTB{|7ƫ1:HlW-Ia tCQV˜>t*baLfnbbR 'ݽRbZh ,Q$xh>&XS+DeD)B5󈰳9"L~?$쵻 Э/F=Drl(kȒ^/|8bLTvA%pMnxzD*L0lH)5LMCގ`UN %Ȭ4F#*^f4pND_02(ɦ(K2`-,I=CD?a)7 {X> endobj 256 0 obj << /Type /ExtGState /Name /R4 /TR /Identity /OPM 1 /SM 0.02 >> endobj 257 0 obj 10174 endobj 252 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [291.482 343.626 303.437 352.039] /Subtype /Link /A << /S /GoTo /D (cite.Motwani95) >> >> endobj 253 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [172.348 198.051 221.567 208.899] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 254 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [374.662 149.501 413.671 161.456] /Subtype /Link /A << /S /GoTo /D (figure.1.6) >> >> endobj 251 0 obj << /D [249 0 R /XYZ 134.765 692.105 null] >> endobj 247 0 obj << /D [249 0 R /XYZ 168.97 533.221 null] >> endobj 30 0 obj << /D [249 0 R /XYZ 134.765 447.35 null] >> endobj 248 0 obj << /Font << /F45 112 0 R /F8 72 0 R /F14 147 0 R /F11 97 0 R /F7 100 0 R /F46 151 0 R /F10 161 0 R >> /XObject << /Im5 219 0 R >> /ProcSet [ /PDF /Text ] >> endobj 262 0 obj << /Length 3882 /Filter /FlateDecode >> stream x[ݓ ߿?D>rd&C-{Ɩsw DYwlg:7sIAY KrʹlJgk{2f{3f,93j=Y-Oʹ6,fSR泷"43JWv_}qM$g@<,4gJڲO__)nV.EnL1an^;6֎#9MMh቉x"1ҳ,͞FׁHG +؁xiIen֓TZ}n$&}9Li]9t$Tir&oSVLW(ox튃Otʕ䰫C{;ӟ,S| L{ίyΧ&Ȅ3VUD~>'Q)\G[ 8 RyFi;Xʤvqqg ƞӳөkBsqϚ2w]o8.϶uj)$1؈*mjmVNPpF&/0;dFy-Yr v MM]RSj~dd:h,U]۹0x!e" X9(4D.N>GNMya1efJh Nr-Cpχ*UkN;&@;89Rh)rJ@ѫ9ĐuT90"("Q>:M.+-є@6Փ L}0nM QfOqi1HryEjN qߵ!t+҆'q葝P,la(Hn~\(X8OS-\~z<)m7΅)1ٱG&ϳf"G~93vH( +6%.!CǀE<+GAQ|/Jͳ7dW.J W|(E׵vP Y_;SAp֪ 0^68v,:`&q$H.1rk)_IC~[28:KMP甫$0^ov| ۨoǎA;?yhäP-UDP&(Ez9|b*ualG|p_&D]bX-Zv.Ez?ևl5:|Yx ~hD1eMVz _UG*/K |\^_Rú:j ΂!DWGA2j<devR»K;?$n9]zg⍨s@D=]ô?>M\}nr|PYMHЕFNnrytϗn}Dyy ox(pØ]*dY9 iL=V;v}/od9q3 &c֓eCS4>oܧ(93>D*ts)`$M$xv10ݞ~ &o&4#92MvDP4#bRGΉendstream endobj 261 0 obj << /Type /Page /Contents 262 0 R /Resources 260 0 R /MediaBox [0 0 612 792] /Parent 205 0 R /Annots [ 273 0 R 274 0 R 275 0 R ] >> endobj 273 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [145.744 278.586 195.688 289.434] /Subtype /Link /A << /S /GoTo /D (subsection.1.2.1) >> >> endobj 274 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [415.352 232.703 427.307 241.115] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula04) >> >> endobj 275 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [428.082 232.703 440.037 241.115] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula:SAS04:gvn) >> >> endobj 263 0 obj << /D [261 0 R /XYZ 134.765 692.105 null] >> endobj 259 0 obj << /D [261 0 R /XYZ 168.166 634.601 null] >> endobj 34 0 obj << /D [261 0 R /XYZ 134.765 586.399 null] >> endobj 38 0 obj << /D [261 0 R /XYZ 134.765 444.476 null] >> endobj 42 0 obj << /D [261 0 R /XYZ 134.765 211.278 null] >> endobj 260 0 obj << /Font << /F31 266 0 R /F27 80 0 R /F30 269 0 R /F29 83 0 R /F32 272 0 R /F45 112 0 R /F8 72 0 R /F11 97 0 R /F18 77 0 R /F7 100 0 R /F10 161 0 R /F13 172 0 R /F14 147 0 R /F46 151 0 R >> /ProcSet [ /PDF /Text ] >> endobj 280 0 obj << /Length 3853 /Filter /FlateDecode >> stream xnF}Bbn2~v$1a 㐵a^^(_h_XB h~tÓhͳ*ʪm^*p@㯗Wڳ}V_|በ$ֺ%װ oTnO]ѫ! diT[#D>FCA1x 7FR.VƩfL:yTw .7d]io6ːp瓽hcwU "$JY-5xm\:"o*yPX-nwxA1B+JHH7V7˕ѫJ&ѷ#L9B$FvU*ό,;pƜk^ĩgZl|B)\DGՋEjc!zю R*+R]XlyՌ{ӈoyw~->T:4 @(P$b6WfPfQbń g[B(6X5ߍTH>X)wof۔4g< fpd@DX:JƲ!&]ʴd]ޅ!tlYrO_9X>:)kc,k^,ބ4NF'] oG SfiJk`?W bb¿ p5JwUjU8`Qi|l[|P@ջj,6ni;ʫ&M" G=u8{}~ $úUyҾ3Э>d-J3'{ʫw7@ T\x 4BP!ό`;2X쬖kFCjwaxi\onN,MڤCc3|zƁF?*& mT`J&hg*,!΃ⷘtQoS?ʓ+ϡo;aU2Kgކu4O4/q'KP]\T \4-z`INz̓hтgGoz>Tb0j%N&s"&"zx!KcnwhwT+Q!>8eU9(E&>H k}_m4&Z>jIt̔~j$@Rp("҄Zj(Gr:Bd4Ŋan-2/y@l!ϾZhg\}];t|retqNJ` O<7yXHfwa]yW )^W;~:)'EA`Z*zOQb$xƂ<o [_ҪezcPJt:_b~W5B Ҩ&)՘m56hLҀ*{tVp;[؛`V Al7Žhffٟʤpᩇ..sFa3R*XoQO,mGllf`<ܑ̭RdTۆQJ7Sȧo [%Ny)!=>ΐEXG"'vUAf~a'UPm6ˉ'-O.YŽK[ qUa΍4f'Wc Pnӵ[8cJf'fG`z@*̹!YMyljӪ<}խWc\tea[ o}6æW%Ou:'{\33{f68YՀ߽RL7ou |g?s-,@M$1 <ꦑ1#8 maBF*XPtd*c@`W5 u|3x>;(Qʶx@B@FRĉT@J&ϿfZ{z{RnPmoH1.^~Kqvm(;t~ i&vNNJZ''꤄sJ")C`2nh;onΜC6yi4=·FM16v؀q(k±C?P5xn)e1Um~7&U8SB帇KǥMuh ̑zogDc{r80YO5pˡ2  6S(rì)?ǕAZ6ϼl`a!Ƽϊջg<1CSc;>{|~2q,tW'8RTljoMN$| \qI] & LcWZ?1,P 0&LiG:Ç!~5T( bP cI4]"NSDy9žc끑U慧gYbqcQ{[ Q[Vm uT kR#GbΗ!6  48x$\ ra3řbSMYIyꭩ8S9U"^t.\Ϫ$85G%1eAI4f(D>65~@g11o;z=}:3jݔoNjg_sk="k7}mW=̑Vr߷L`^PyKS61 ׫YIc6QYU:$%8ܱb?8un> endobj 282 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [409.779 663.268 458.87 674.117] /Subtype /Link /A << /S /GoTo /D (equation.1) >> >> endobj 283 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [374.712 445.438 424.304 457.393] /Subtype /Link /A << /S /GoTo /D (subsection.1.2.2) >> >> endobj 284 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [287.218 221.368 336.991 233.323] /Subtype /Link /A << /S /GoTo /D (subsection.1.2.3) >> >> endobj 285 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [245.16 185.367 259.329 197.322] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 286 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [425.007 187.857 436.962 196.27] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:NeculaTR-SAS04) >> >> endobj 281 0 obj << /D [279 0 R /XYZ 134.765 692.105 null] >> endobj 46 0 obj << /D [279 0 R /XYZ 134.765 427.958 null] >> endobj 278 0 obj << /Font << /F8 72 0 R /F11 97 0 R /F7 100 0 R /F46 151 0 R /F14 147 0 R /F10 161 0 R /F12 194 0 R /F13 172 0 R /F45 112 0 R >> /ProcSet [ /PDF /Text ] >> endobj 289 0 obj << /Length 4306 /Filter /FlateDecode >> stream xr]_1&ʃc{JU%JC\&9_@PQր@h4*zm$^%Q:WMz/o(VI=3DY|VUĮz*ILhVwowmJTF@( D3zL26Y d= G"eRu"㯠o&SMu;C)UI Ld*4n߅q8E`UoomgA_q|qHE{ m`lFE66ĿE~e3TXtBrIS~R1ݎ sߗ"( 9'D-2 WYrOtT*.fӞj)l%Pu)FıTfb3n۫y)@#Enfd;=w+xdI8ֱۚpkG3Da$>>^GbwJjV\\f ٖ2bҳ7ofvfj.љG^npN^ $TaÔ˱= tSymVfGQGXo/-N,ڬ+ mxCIM`CCU}{˨#\~tXTiU=Q_Xg%+Й3wpItZ)-pSC&n.>Nג\_ kWj獿]̈{xÛ,Ply9C% SO: M՟78kJ b0~D`<:AxLN+Ly.fxUrK Ꙍ\-K@cxQg#}cw3tx j䡑gu\^@o#:*SaysGxeQtSF\ҝJl"KT eCI3kBduIDmgvD Qx&"FڤE˛EjԐXrg}A!7H_o^\#.}xw0Ԣ\#a-"e_S^=8]yq.'h$%KD:3.՞\M0<$逇SY)My#wq +W3I\eKm}=_N_Yf;[@asprf~IiyPn):C4"ȮsLoPsμ g}sS6U:{b3kf*5Q W 5fP#^桖pAg ~Q;Up9}\B $;OGײr=R@3C%=^Ajggg&$f^l1pAO!kO\|IaHtygAj]Yqzhd``WE7GeĹC4%e8%c<t321a^ecE]5')B2E%sxWYHܒWP~7ԙdR(]c ;v1mw CTH/źf\?6fzǓrW ځrIlj%[uq=.Xy%Rvi/[JoC*I5zk+/2l?]E$PȚ(mAA \ldJ-mwƭ{ |;qAI4u`ٵY<́z詣?GyiLU,bo .eшͥo MՔ! F%ucn ֜,r|%X`HKv}$9,E# zoGK(0AprK3(pe ~dS9B91 P愴fEEd}R&[X >tTݪ x`A;>dںgN9͍XL Rc=?G' ф=M%RC,.+xrfQ4u0?f:@验;=I)H-R:^}P% Z^j}siVӾ0WDN4sa:ŬFuI; ~r4z6p 1AUЋƔS:53dh!lRAQ&WD7 ~q &Ё>m3Dg6X$41[b`ݝ@/b$ 9J @?Y5+OvۧI$Q!zx@rD-0%l;`5:KRi)` O{^PWMwMx9"?vr m+vw9}*ؖnHJIt.}_ԯb] #5*X5JJgb\FR%7 KFXfUiA/Ra$U:}`jyHiC({Q0[c>rGdw8R'qw18{ǟ#1tqDFkDeKefx0&WV4μ`Ej#<1ߜd*vZ 1>ZsT^9&yR<ˑ?.~)TX-bx c:b=)%vgy#z?k28ЊA?jQbHFW܅wF(ؑ|xK7!j\O N۝d`}}ass? x%zގ;JX'fao~3g(z8&8 OB,l9vU)+%>·{)4QW^ DЁLÄ7 @(kB endstream endobj 288 0 obj << /Type /Page /Contents 289 0 R /Resources 287 0 R /MediaBox [0 0 612 792] /Parent 309 0 R /Annots [ 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R 297 0 R 298 0 R 299 0 R 300 0 R 301 0 R 302 0 R 303 0 R 304 0 R 305 0 R 306 0 R 307 0 R 308 0 R ] >> endobj 291 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [180.598 530.055 194.768 540.903] /Subtype /Link /A << /S /GoTo /D (Item.3) >> >> endobj 292 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [195.542 530.055 209.712 540.903] /Subtype /Link /A << /S /GoTo /D (Item.4) >> >> endobj 293 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [210.486 530.055 224.656 540.903] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 294 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [267.401 530.055 316.943 540.903] /Subtype /Link /A << /S /GoTo /D (subsection.1.2.4) >> >> endobj 295 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [432.649 530.055 446.818 540.903] /Subtype /Link /A << /S /GoTo /D (Item.3) >> >> endobj 296 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [467.418 530.055 481.588 540.903] /Subtype /Link /A << /S /GoTo /D (Item.4) >> >> endobj 297 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [403.909 518.1 418.078 528.948] /Subtype /Link /A << /S /GoTo /D (Item.5) >> >> endobj 298 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [335.884 508.082 347.839 516.495] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:NeculaTR-SAS04) >> >> endobj 299 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [222.685 472.216 272.277 481.127] /Subtype /Link /A << /S /GoTo /D (subsection.1.2.4) >> >> endobj 300 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [157.623 372.932 207.215 383.78] /Subtype /Link /A << /S /GoTo /D (subsection.1.2.5) >> >> endobj 301 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [282.544 372.932 320.956 383.78] /Subtype /Link /A << /S /GoTo /D (figure.1.6) >> >> endobj 302 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [228.306 295.454 240.261 303.867] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 303 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [355.535 271.543 367.491 279.956] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 304 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [306.322 235.678 313.296 244.091] /Subtype /Link /A << /S /GoTo /D (cite.Wegman88) >> >> endobj 305 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [314.071 235.678 326.026 244.091] /Subtype /Link /A << /S /GoTo /D (cite.Knoop99) >> >> endobj 306 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [398.111 187.857 410.066 196.27] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula04) >> >> endobj 307 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [410.841 187.857 422.796 196.27] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula:SAS04:gvn) >> >> endobj 308 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [472.319 175.902 484.274 184.315] /Subtype /Link /A << /S /GoTo /D (cite.Gargi02) >> >> endobj 290 0 obj << /D [288 0 R /XYZ 134.765 692.105 null] >> endobj 50 0 obj << /D [288 0 R /XYZ 134.765 610.609 null] >> endobj 54 0 obj << /D [288 0 R /XYZ 134.765 455.423 null] >> endobj 58 0 obj << /D [288 0 R /XYZ 134.765 356.138 null] >> endobj 287 0 obj << /Font << /F11 97 0 R /F7 100 0 R /F14 147 0 R /F8 72 0 R /F10 161 0 R /F6 189 0 R /F45 112 0 R /F18 77 0 R >> /ProcSet [ /PDF /Text ] >> endobj 314 0 obj << /Length 4267 /Filter /FlateDecode >> stream xrFm*Ge'UNjUr2_?oFcaIxPMʂoo(,Yk,-"lf"X'*Rx\EBS0|С*jUoB#ܗOxg_9PaQ6q_.ӱŋ0PERE@'s o#aEg"Mʃ ]^|we\i:y0i"ݮ>ߗ2WK8x~]]."vEm/b^~[K3J zPd^,{ʏ?/Þrҡjh_m>֭b&y7ȼ QQM ߪ˰kFܦJΣjqWLbI83~]-mK4Q?0=|Z?twF>nĉ1<)=ZK*w6;ij|o[[_tIh#Î [WG#t"GcAl 5g9XGW!GN(^cC?@ע>;ҝgq~9a9 m 8Cb<<@Wyt+`0R bxsX00̈́Gq~e]˗qseÕuw9XãuwdžnlP>kaw0TYڑ\Z\'quG:A6=|YWw;qsháu9n;h4?_y~O ~u;qX|%x#i9"G NQ,,HF94{m$h#ILZ U i"ݘѴg1HI} =m!<=Õom^FdaZ:8[^%YF)~vge ZQ}XAD|TNЍev!yiGd[owx Ǫn:)1YW3/ |*hLѤ9ɇHugYkp X?Gѥ.yyG7F%T3W'ǃ~WO Q<&8J\!0~b}<ӱd4>CHMTiOB[{?g ދ/qk*ܺ !YFQkԫ3Eo;ǩP:Gxx^bzZj-83텯e )|Ξڲ#Lޛg7,f.L/imc8 E3?! Vk3qU&X-!إV]̚QGI&OO]GuDQ-gZ=*LF6U|fO.%-i K^:u g6 vgF43KH1D ]=f6ۮ]PK緣zg;< {ؖ-x&1:P&ބ5T*ueb;u8A=.1]`|TE^h)[Ê^|YݺN6a%g"):!Z澘 9!p? *,7֒I~,Ln~c() _)797 rT>Z(^S}9ɖ)ɀ)yA Z*Ql"C- 9oylV{ CS\t= HvkBj>4pmo֠bBYu \фJtPri%Z|%D/AWBY@Mk<x">x@ ' ;-lQq]nzd1NIM 7WdRDi=eC߼#^8㮿9KFd# mϸ]/;bYoD=|j<:Ulr2xd*^KmGu">L|O7MLGAOԅq7HZg. (-ƿNRdIqѐi/)0^j<5>P?nM!Nջ4DQLD Vi6 ;J8ڧCwⅸGVਬA3o1n.&KIN Ts9&XViG_uM[Z zN 1XMiIH:Ҍ`]&1rz nmXW:|%%g! \FR/FÀ&"8@4tR$>2iH5Taiv кa<_V8 J??F^8G%ǗTyR/ %6cKw~BPTG_*qUOF/( pJ#)v| tC4Q0(6iCbOS}G}h9WSa+b&CgLl/GKeRmE(|c{ Nn. -%K!i8SY  5 ;O/M8`p\O}V2*Gv{?ؠ7/IN-p7"C3όiq5ge[t̪1ag}#y khfEB|s<F00[{p،?hj$ͿЌZ @&^(TXִ V t[cendstream endobj 313 0 obj << /Type /Page /Contents 314 0 R /Resources 312 0 R /MediaBox [0 0 612 792] /Parent 309 0 R /Annots [ 317 0 R 318 0 R 319 0 R 320 0 R 321 0 R 322 0 R 323 0 R 324 0 R 325 0 R 326 0 R 327 0 R 328 0 R 329 0 R 330 0 R 331 0 R 332 0 R ] >> endobj 317 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [171.81 493.779 178.784 502.192] /Subtype /Link /A << /S /GoTo /D (cite.ICCAD95*236) >> >> endobj 318 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [235.963 481.824 242.937 490.237] /Subtype /Link /A << /S /GoTo /D (cite.LICS97*88) >> >> endobj 319 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [243.712 481.824 255.667 490.237] /Subtype /Link /A << /S /GoTo /D (cite.GeMe94) >> >> endobj 320 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [191.348 445.959 198.322 454.372] /Subtype /Link /A << /S /GoTo /D (cite.BFGH93) >> >> endobj 321 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [199.097 445.959 206.07 454.372] /Subtype /Link /A << /S /GoTo /D (cite.dac93*54) >> >> endobj 322 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [257.154 434.004 264.128 442.417] /Subtype /Link /A << /S /GoTo /D (cite.BrCh95) >> >> endobj 323 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [441.88 434.004 448.854 442.417] /Subtype /Link /A << /S /GoTo /D (cite.ICCAD95*159) >> >> endobj 324 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [351.748 410.093 363.703 418.506] /Subtype /Link /A << /S /GoTo /D (cite.MDG) >> >> endobj 325 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [269.101 336.425 307.588 347.273] /Subtype /Link /A << /S /GoTo /D (figure.1.2) >> >> endobj 326 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [207.177 266.631 214.151 275.044] /Subtype /Link /A << /S /GoTo /D (cite.Blum80) >> >> endobj 327 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [262.985 266.631 274.94 275.044] /Subtype /Link /A << /S /GoTo /D (cite.GeMe94) >> >> endobj 328 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [351.098 266.631 363.053 275.044] /Subtype /Link /A << /S /GoTo /D (cite.Darwiche02) >> >> endobj 329 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [363.828 266.631 375.783 275.044] /Subtype /Link /A << /S /GoTo /D (cite.DH02) >> >> endobj 330 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [365.924 218.811 377.879 227.224] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 331 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [203.565 206.855 215.52 215.268] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula04) >> >> endobj 332 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[1 0 0] /Rect [273.854 192.963 312.266 203.811] /Subtype /Link /A << /S /GoTo /D (figure.1.7) >> >> endobj 315 0 obj << /D [313 0 R /XYZ 134.765 692.105 null] >> endobj 316 0 obj << /D [313 0 R /XYZ 168.043 586.447 null] >> endobj 62 0 obj << /D [313 0 R /XYZ 134.765 176.49 null] >> endobj 312 0 obj << /Font << /F27 80 0 R /F45 112 0 R /F8 72 0 R /F11 97 0 R /F18 77 0 R >> /ProcSet [ /PDF /Text ] >> endobj 342 0 obj << /Length 3697 /Filter /FlateDecode >> stream xڍZ[s۶~ϯۡglyKl'MOzt}$ZD:$?. JgLX`ŷW(/ϳ"+#? ҋEp/B%/IiI ^|S\~;&YGAtݛ{ =U먈ǖ^;iWL[˨eFFA1m#s aU252<5F>t  Li>LCLSy\w$A=nPM%]P/>o+ Dތ^~uG}}{"\|Pno@sswm Vm:Q:ZYY.ڙ';áf`ŚOt)}9_X=,z6 !0 iTs3;đXq 랿m7f/n`!H2}=[f{yiL42f3j9XT,WvO-yf=B>_J] ,1u#],OY3)GXY>ж'^OwێU-dĖTda}̦B4#QBf<a$Pm*iz%}СʬoWZG;"eEOYZwjIL"^rX+|0֧De:!#H[ tY({lbl*gBaabÉ 㑎$$bQ#aRTuB&~$(9Ex46Okg9gA3s!aaL iji nQ18!*SM/D],)uǬ1\<(u`lwTC=݃sQy_i]PǑw#C~"E|〨1ۣPBI:X8?ܡ>`Eax7 $?C!9kS0[NnabMq(Q  H҈VO,>\G|3P,YnL R?(&<yߜlRir;X VN5#D#[Na>~q֑8+o %; ٬Ah58نCC\; l'|cW=g?4tNv&LrNҀ=SP܏5WB; Zlu$ƌ]yyW`&h?t[ok3wNҜDjϯg|fFp@ ߊneM8ݠSۊs&$8a$RҶ~U"-cX]FSTBDϑOZ|nx"͗7$YSJƝ8ج56wtL݈ 227M3bz-=j$- >4>tSDcܫ9.K[ vs]^pDC\crĚC`$*T]kQxs5*Xea "q4 MfGf.>՛ŊD ;0|:ǫdHFpJE1Ҋ-ui;"?DAZ}6OGqqYj0+|'$ن;/IIe#_kNIj?yUK0"|Òh┨.M8nEg:;YPlT\|/ .\dʾh_-Ps9(.`:\kKhmm ,)^ l{݁N6{TYm\%/`Yoq!Nj8Y<'L&c~,w J&}*A auN*M/'\ɰ?ZD7Iݫ`G{8#c)$0r`CN%d7i*}TŊL碼db;!BrdEo+Lq-MaaJʿ(Ap%DE{?KB3 K?+.vW+l1s&hƗCHh۽ mcaiIFUA!+*>E'~V=EђbWK}*LkrKGq%=L;/^zaWuhbLo:U.Ι(pYja\ft5vm,n"&CB4їn:͉m`f{v娎D/[grj`-Y5B4}a'섵 x04#(/i1lN2Olŧ gr\btR*J(1gnG@3b/hWߌ֕0|v&vW)L@7*5B'='sJb}qTk|k:̊i/ .54h)uo%h5Zw$pgV(Gz@PCK|`?ڮS!y-0^|5duO`A)cՉɸ$I!M,*Cg$HP ֨ tg OR̀ýP_o7F+zB #K@ qyO0h^7Sz_A47? Hp$ q<r' YI9(|QKlzi(5B sS$Z" O..QY . pKܩbN+;=P1_xlBU z޴<;RG54pIe{w'PM,4(ƎoGt|JO7 s,F>bY6࡚;5)hDޮ6:voah[@:ELywJak =[:$74|j#ڟ0lԗլ3ODor42+ӌAf$Lp+cOXI\_m j B;)D"s T zO4.Kg^;"XĶ.]DsYayˎ%!LrK#Fn> endobj 344 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [296.781 557.366 308.736 565.779] /Subtype /Link /A << /S /GoTo /D (cite.Karr76) >> >> endobj 345 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [309.511 557.366 321.466 565.779] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula:SAS04:gvn) >> >> endobj 346 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [451.367 557.366 463.323 565.779] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula03) >> >> endobj 347 0 obj << /Type /Annot /Border[0 0 0]/H/P/C[0 1 0] /Rect [464.098 557.366 476.053 565.779] /Subtype /Link /A << /S /GoTo /D (cite.Gulwani:Necula04) >> >> endobj 343 0 obj << /D [341 0 R /XYZ 134.765 692.105 null] >> endobj 348 0 obj << /D [341 0 R /XYZ 134.765 272.756 null] >> endobj 176 0 obj << /D [341 0 R /XYZ 134.765 272.756 null] >> endobj 334 0 obj << /D [341 0 R /XYZ 134.765 248.852 null] >> endobj 335 0 obj << /D [341 0 R /XYZ 134.765 226.692 null] >> endobj 102 0 obj << /D [341 0 R /XYZ 134.765 193.075 null] >> endobj 242 0 obj << /D [341 0 R /XYZ 134.765 160.453 null] >> endobj 340 0 obj << /Font << /F8 72 0 R /F14 147 0 R /F10 161 0 R /F18 77 0 R /F27 80 0 R /F41 92 0 R >> /ProcSet [ /PDF /Text ] >> endobj 351 0 obj << /Length 4419 /Filter /FlateDecode >> stream xڽ[[s۸~_3C-o$+۶}%FDH"݇v[ڃx-8E'%4ĉ)n[S,[(x1Lr$X OMsj Xb|4i]-7Bxm8!{x;z\@^-1CH{$lU[YtCF>#- ow5lJ-f?IT7Bߤ !4S"Ybf%b %A'ڛ5y Aw̅y gҍ:?=54#y|@:Ym}Nua ;dpH۠+:H>#Aҵ%$(E1gɅ6QQqǰbcR22yɝܘ4$DVN̯,NK«So(~Cb=ʞUDP\60( |(S\, rIn".D\P\Bt5@bp죌uHΫWW lĶap R Q;Ky̛%3h q{+x0~ xgsVB2lʊIvm>>oh7"W,lq{07xsE/#&yF/wCow7UOx=BCWNO؟f?YB`yUwum6 ~~/J)h@EJh7-?Q<~8#MUUI8%\!seVH w]XD~C8Lc@\z..n3śŎ[uBz" Ɂv;+Sܬ rPv6>w!"q=!Z#Y}L?PdBqš ~RI8,*"Mh6B^]rM?]^ya$.$. $Dn$ !80"aE€9B.eg}&dIz ͒(sdwD'VBCbga5jipO.N'B:ؾ|P+Dc8rӚf]} N`6 9O| C):QȘ..24=ap>X82 3b!@4wL', \KCu%' p' p8gyC BBX}^ 7#8K6g-GX[NaO򜑈Ć~dӫ63f`=VHw7eE'ms&š9ΰdx[RV3ST2mT#N#uaîhmZq(E)BF쿶;:v/M/i^CrDg"u!yVo6ud|mNcDn)g=v)nV>o{feK &NKsOEYQO4o!XI$-q MB5vKRY3.tIkzKX[ʺ#*~# Tq&![rikmT*3U=Bݍy a4:7ŀ0ȄEqƜ d@ƜIvsS,Hi%ή4Oʁ4(DT,t}1{ݥy>쬭T┈R yd84`d ,0anvC~vPw=1vM-rTU#'%~p D?kcynb^=fDbw@䆣IvS,X { GJŜpC!ؚ5^cݝQiȼdCj =~VT?fUjnvHө[jDf a:aDNZ:⬪MNr3f);],q!Z۟".>SyȴvlwOT@!C7*Α$PaYXrc_F8Ԝ-gl^W=U]R ܲGѴ6!t,03V:T첐k' t%9#@Nqy$4'gj7 72y c1WnVܽO3ptEg HCbhHn@jLRS&V=ZwA z6[ |H0HQ4M(zNmeMEWntFWOFeIv]S,({#PFs^_4چxGr)6 PV3AASJ-fǽTkΗ>(F(Ulb<"uag 16@aAqxKgrAeIFLLWOFM'Y4LqhpxnQ&e3!3&Cޗ|s[?zrBk?NV~ lIAWo{ TWV/ydfz#'*TNS.)KS%ٕr2a'gvB+={Ydgz7$ 970N.q<a0ΑT_ED8~oLR>:l;s1!X{l|!$Y8[1=)BsHsfh<YD$ί [4 r""IvIn!K9p9#s$׿"`iw>_? O?$wG\섗eqy& ,tO~aI9dR&Ɇ=7yFc'ch;#dI×C|2LƎ`"CsJ-/OEO !pVI&YfbG:?#x=y%ıB,VAL׻Nq۶X fHA%lG12RV2Hr`k|,A %:s$?2_wglpSÒk )F#1 `X(\U68 9?j 2ᙲcłL׈ǚeN!u6 5=`WA,sP藌L#FL]>endstream endobj 350 0 obj << /Type /Page /Contents 351 0 R /Resources 349 0 R /MediaBox [0 0 612 792] /Parent 309 0 R >> endobj 352 0 obj << /D [350 0 R /XYZ 134.765 692.105 null] >> endobj 337 0 obj << /D [350 0 R /XYZ 134.765 676.164 null] >> endobj 333 0 obj << /D [350 0 R /XYZ 134.765 653.001 null] >> endobj 338 0 obj << /D [350 0 R /XYZ 134.765 621.164 null] >> endobj 336 0 obj << /D [350 0 R /XYZ 134.765 588.828 null] >> endobj 339 0 obj << /D [350 0 R /XYZ 134.765 555.994 null] >> endobj 120 0 obj << /D [350 0 R /XYZ 134.765 523.659 null] >> endobj 245 0 obj << /D [350 0 R /XYZ 134.765 491.821 null] >> endobj 244 0 obj << /D [350 0 R /XYZ 134.765 459.485 null] >> endobj 178 0 obj << /D [350 0 R /XYZ 134.765 438.109 null] >> endobj 139 0 obj << /D [350 0 R /XYZ 134.765 416.234 null] >> endobj 311 0 obj << /D [350 0 R /XYZ 134.765 394.857 null] >> endobj 243 0 obj << /D [350 0 R /XYZ 134.765 363.02 null] >> endobj 121 0 obj << /D [350 0 R /XYZ 134.765 341.145 null] >> endobj 276 0 obj << /D [350 0 R /XYZ 134.765 320.266 null] >> endobj 241 0 obj << /D [350 0 R /XYZ 134.765 298.889 null] >> endobj 277 0 obj << /D [350 0 R /XYZ 134.765 277.014 null] >> endobj 119 0 obj << /D [350 0 R /XYZ 134.765 256.136 null] >> endobj 258 0 obj << /D [350 0 R /XYZ 134.765 234.759 null] >> endobj 177 0 obj << /D [350 0 R /XYZ 134.765 213.382 null] >> endobj 175 0 obj << /D [350 0 R /XYZ 134.765 192.006 null] >> endobj 310 0 obj << /D [350 0 R /XYZ 134.765 159.67 null] >> endobj 349 0 obj << /Font << /F27 80 0 R /F41 92 0 R /F8 72 0 R >> /ProcSet [ /PDF /Text ] >> endobj 355 0 obj << /Length 633 /Filter /FlateDecode >> stream xڅn0E -)bH7.jHPBK$M!GGa@x/gCG<4*VPT4YuX4cK*5BD(jYzֳKh`MM_dVh<;T8ˉWW5bYUO_g,yƪj5 Ij0&(خ(X6A?ΨUm /%AGRXzq Mzzq,˂ ɥzfIxpXt1|xG̊[kְA %F2Mh2inGӵl;}} 8oIw`Q%IK?q^z!˦ y9n.x󼞢`0Ed6Z5^&_?u>O !%.EˠS~Z\z-T2Ǥ ( d(`lF tFzCZ*%Uwa OO| 1ג!5۸í]{hw=_+/k-:{D K1K!&M7ˣ,?M3Nendstream endobj 354 0 obj << /Type /Page /Contents 355 0 R /Resources 353 0 R /MediaBox [0 0 612 792] /Parent 309 0 R >> endobj 356 0 obj << /D [354 0 R /XYZ 134.765 692.105 null] >> endobj 246 0 obj << /D [354 0 R /XYZ 134.765 676.164 null] >> endobj 140 0 obj << /D [354 0 R /XYZ 134.765 653.001 null] >> endobj 353 0 obj << /Font << /F27 80 0 R /F41 92 0 R /F8 72 0 R >> /ProcSet [ /PDF /Text ] >> endobj 357 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 271 0 obj << /Length1 766 /Length2 1111 /Length3 532 /Length 1678 /Filter /FlateDecode >> stream xiXSWƫcU@W<<C% KЇC) ($'ppdeQ)HUTZgܐH%.OȦ2UAgǙO̽_yqp1ПNl|BB\qbQ|H(PE.#%8΀9y!djS>+B!8AqPj! D(T @ 9rH&B1f1*RT R.!\Yk%BRng1)&pL PBe no0" 7mDb L$!ĐKw9(F "/<esuT8Upq|c|LÄ>^(⊭j_ųsscD$,6 Ѯy{"BⱀsI"j*h@T Pc0{ 313%oM/É3Zrlcw6MP _c:͝A$I+f1ws j BQ ݄#mϗ25~e'Ui7M[cyeEpp S,_u+=)kپĚ~HeT4{][2Ѭ 0z{Df?foZ&^q߰HQ!u믟emԑo ݌=[b}b,2`tcwȝE ֭z삟{co.{\{#&i]]~aҢ[9ߩn:nN9h^{ҩɓU}0m ~RuBIWAjwd8|{Ϋxڵ?y{o#;䊱V̅&L-?v2D$CіJz+K;nDN ,a-7]f~3:ҚdΓ[ϗ$,#ꐯҔGU+҆*lhn7\ޔ$ˏf Fb{Lok(/Y!ݺMIlm:ҔY12eЏB79˂vU!#u/|t8o~%{/*g="ۣEeUY;^3]oM˖H]ީU >+xK2 Ɣ']Q&e~i_cV4|W8 ^՗ M??E.?9]Џ 2i]훒U958>dUvCBӱCe܇ ī9h#Xtqu֛%iZi5]l)_^HN8ExJe #"S>&h7|!OZ`nj&%a@uD%mնE} 6ͼl}FSg"뻭ϳn2JX7hyW/L)_;>v/fmz@TE^sUO޷r1-^ߵv|2vƴȷ/Sk4Y|4]d.taS#/(uԔU}MP/-^,b %0wم}#Ӟ˝ Sw4%0ft?aPuF;/R$8]Ю{Bwc" ""d<;endstream endobj 272 0 obj << /Type /Font /Subtype /Type1 /Encoding 357 0 R /FirstChar 98 /LastChar 98 /Widths 358 0 R /BaseFont /NOQZGU+CMMI6 /FontDescriptor 270 0 R >> endobj 270 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /NOQZGU+CMMI6 /ItalicAngle -14 /StemV 85 /XHeight 431 /FontBBox [11 -250 1241 750] /Flags 4 /CharSet (/b) /FontFile 271 0 R >> endobj 358 0 obj [548 ] endobj 359 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 268 0 obj << /Length1 773 /Length2 1212 /Length3 532 /Length 1785 /Filter /FlateDecode >> stream xR{<_9ig)93nms4 J1Ε\*[nKR趶CIQ6ukUâEl]9b_:9s:<|}~{,,Pd 97?@$fH ugH`g99A*[(vN$[)prJ"Pa2P@cH0`2x`D`Pyn VUq0!z@|6֯s ᙜC7 ɥ$iߪ\Rܘ?`n0Ə~7/ ߲)eI[$ _iޚP3/8%~z;ywRx|G D1: mye<ޔ.֥D~|fKc?PiX]Y|=L{S0B5^U~0&YhHO)2Pz#nNZȓbs;Nb5Y6|}W~9S2^ҽҤqzԆr!~#NA0yf?q!-TÒ򗂬W*Od+ PZMV 3~aÎU~Ɋy~=I󫩖aWOMc>E3+RGh9K荄z>0$y;qx`sѬJ7wytDH˃N:݀nFo̊e! niv(ܿ*;`Hg&.A~Y[}%}YNϛY! r6_5 =jv7|E3DE;endstream endobj 269 0 obj << /Type /Font /Subtype /Type1 /Encoding 359 0 R /FirstChar 49 /LastChar 50 /Widths 360 0 R /BaseFont /FMKAWV+CMR6 /FontDescriptor 267 0 R >> endobj 267 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /FMKAWV+CMR6 /ItalicAngle 0 /StemV 83 /XHeight 431 /FontBBox [-20 -250 1193 750] /Flags 4 /CharSet (/one/two) /FontFile 268 0 R >> endobj 360 0 obj [611 611 ] endobj 265 0 obj << /Length1 960 /Length2 3637 /Length3 532 /Length 4307 /Filter /FlateDecode >> stream xyy7hh}$BT:02d ӋHE* Ur*P((@Dxx:D-qC0$;pCbpM X~KF! F=0xzЯHFxw@2[hI((@A 'Oo?{eQaA% |Ih"F@JmdQ?wHH,M Ed @u>&2ǐ<HwG3I~J1{H df_|""&?ûP@@ z, `(t xH'G'  U8WwEA$"yO:1/e%Od'>!DL}Po~@[xMFV # =i X PCtPv'x2;Iсh7ajWPzU \T=;HB nEyaXWM*@(w4sࠨQ&l8ͺ۲μ,ܸ19:uT@ә'B[T#?BoN1dD;4MC[Jzb@x@+<瘽~4:{)K9>vz(K,-4f{_B˯0jU1'Hwh`>i Ц֊fݝL;<3TӒLBgS$3\pI^ƽ^:S|ףEJz-Mw1crf7./+²6pO iVc}z|WXod.33pV W.g+PXbX-c 刿9Pa^hoj ގx}`dRAS1鶆^+)󨎌Y'Bxw`p&LhxI^;[q3|ے"7y| "ٺab6h}NT%ܾUU4VY7oS]M˪]t4yI3MIlu29i>J |يx嚖K ?vuLk^?FJKV!GyJR]S7Ӣs&y!g=?Y0}lh 3 A`%i90yb{vۆ JՕ7X^( v.3Z;fMN|01e"s@(qUuP ~nf8ϹSnf ÐC9++W 0]zH+ƒS#V]Y{*Mi撂Y-3oV+E ~]919cxUMGCn0;+IbOh!1q]F?)iC)zFhs{T2pr[he8!/ީg;oq7x_Q.]g w4}ʦ-P(lev+&#Rt.,rZ\$#R5wtm 6A ܔW]fJt)*Y&UQ;U*+gXSܓTaV7.1|yS6Y8e>ROakFj.6^L+=By5#Zǎ\K*1;嵉 jkgcjz{DQ0@SyI^o+Bm5""+C%늞uBWDW@R#[~<N9*=im:04P=WP;TyUMMU{q"d(Q3X},՛+KꓝӔt q; Ȝ]p0v(~g&kUS6n)|lXVC7Xk'3%d^sb/j-?t}+D aiv 7z/5ZN.NFbV9`LP.{V}EՠU.lmX * ~eʳY7A=>L,/;%R]Xb>\7=߭}I8A#_qN@i&|ŧ (Jr&= 0:> 91ZX> J^ZÓhTšeo2ﴖzJdWܹ/A7Ҥhv %4'ܿ3kz|u^K ٴR>u˽ |963㫆Yѓo/W8]:t8G8n>ܻFV28^,|^nKM+CSKm\bh(1{Cz_Gd g?>2YjEKXb[z6SUm+@/Tq3m^~mGui3 8[0 ǏR5t}(ԽuXݎ hjeUW2Cupt[; WcpڤWm4㬤mX"[w#SntֲN@E5@׾;c 37>0x*$@2;ΞBԻj*ۤφr<=$dYt#욼`㏨#Dn`n7 K& qc{/j6p 63]Ms1o,Jמe~TBxrRxSѼ7Cx}d5W[wZl q@nwaLز F< Kǚk^2g{n|ωb1V^0ǹe;q"z1J% cW䨩Ԣ ^VɏJ?= 3TZIǔtxxݸÁ@:!\U<gFZWJ,Ҹ켨\pN42 o?нItԶ셼YΚ4!Sd$mZm9{AC]ɓ=~o FIM/fendstream endobj 266 0 obj << /Type /Font /Subtype /Type1 /Encoding 357 0 R /FirstChar 59 /LastChar 116 /Widths 361 0 R /BaseFont /XICEDL+CMMI9 /FontDescriptor 264 0 R >> endobj 264 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /XICEDL+CMMI9 /ItalicAngle -14 /StemV 74 /XHeight 431 /FontBBox [-29 -250 1075 750] /Flags 4 /CharSet (/comma/C/F/S/T/a/b/e/g/n/o/q/s/t) /FontFile 265 0 R >> endobj 361 0 obj [286 0 0 0 0 0 0 0 734 0 0 656 0 0 0 0 0 0 0 0 0 0 0 0 628 600 0 0 0 0 0 0 0 0 0 0 0 0 545 440 0 0 478 0 490 0 0 0 0 0 0 620 498 0 459 0 479 371 ] endobj 362 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 193 0 obj << /Length1 767 /Length2 604 /Length3 532 /Length 1156 /Filter /FlateDecode >> stream xSU uLOJu+53Rp 4U03RUu.JM,sI,IR04Tp,MW04U002224RUp/,L(Qp)2WpM-LNSM,HZRQZZTeh\ǥrg^Z9D8&UZT tБ @'T*qJB7ܭ4'/1d<(0s3s* s JKR|SRЕB曚Y.Y옗khg`l ,vˬHM ,IPHK)N楠;z`GxxhCb,WRY`P "0*ʬP6300*B+.׼̼t#S3ĢJ.QF Ն y) @(CV!- & E@0_Qmdkib`hTnniX.4/4EҢԼp Ԋd[ok[Y*V}Ο'־~ bG̔`y%K^-|xE dE[${z,^k nW6wMpa،9=թsr y)/~V$-%)+2W}~"gmma sWs W8U l9atWQ3sȔxb0r6NjlzU=Im͵\Aw_xM? ޅsýZ7|轱t7s~vwv5x1![/\4qD.n- ~eNb~X.}^\R'7kQ9E%E\{endstream endobj 194 0 obj << /Type /Font /Subtype /Type1 /Encoding 362 0 R /FirstChar 48 /LastChar 48 /Widths 363 0 R /BaseFont /ZDJQPH+CMSY5 /FontDescriptor 192 0 R >> endobj 192 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /ZDJQPH+CMSY5 /ItalicAngle -14 /StemV 101 /XHeight 431 /FontBBox [21 -944 1448 791] /Flags 4 /CharSet (/prime) /FontFile 193 0 R >> endobj 363 0 obj [441 ] endobj 364 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/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/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/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/arrowup/arrowdown/quotesingle/exclamdown/questiondown/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/dieresis 197/.notdef] >> endobj 188 0 obj << /Length1 830 /Length2 1685 /Length3 532 /Length 2288 /Filter /FlateDecode >> stream xRkOwZ>}~ϻ4U| 8t!k l!qGijnA@C$h `-,'0Xx~8% lF e:[tIf"42 $V(jIt&@qF8@A$XB#`JPEGP })lV M:K6uI 9 A=`4PaGq'6Ab, s[Ġ9 &"#fRhlƏ]WN#!*0 Z- xXP DphBܒ6Ϧ.H4StTc ( # +$ ?r0Q#)@BJp@4A0 ~ц^!0Z\9~,4 8 fEau( @ld {pT 00a1&).ߙ- :a0fK( Z!Ch•`HF dK8t^Z'jOIlsl({5,9*+'nsz K;e<"h<{C:yTľU3'dqɉsZ{8lRQu7;)p䚖*QtXII?RD2~G쁽 +j7 ز+Ku*zko/$HW|mzPn P}`|Gr9 ]S펉w7U?kΟuWqs5c2Kk>Ry8M_`k46ڣ--M Sh.~tZJ#ReѮ]MCjeUEs%aZ6ގ֓{f-=s;+پk1|ĘVȚ#J=CǝOg A}JDZ뙧gc8[C;9gz :2k(k } EaEkjsf,B?1 exP0eQDE5j] V!{N>^q򀾌i.v'~``J!-R:h=o9I{A:Z jzI9Xs]4H/8.|gmݍQ5mur ooQ֭MGc"w~, S 8rӞj|Rad=LZ jZzWѣy~pJ`AB1ݩ0Y2&֯:Sj  +ZU͂tH+xqjAAlOeZF7 uóznEֹV[+CO}\m۬9w~Z~*Q%0_7IA4F a G3{T=4V%5E.wQo#U8ȴJIx.#1{E^ 3$I$),{%_x}([7R994i2R3˥MOctՓu5nL ndQi?Y۴qr5]X\Vfg_B}x7 J3O2{qjqsxE|rWU[R ͇Mרa<; 4uG 5k<1^jbeMW7i6U`l4'pN"΋gf^ 6G{^%$E9Թ^;Tr䧍NO64XrF>>X}RY9oqU/S 7 Ť;;{܃.D;~Q6\|{ᓭ|E3ʂ_?1_ jݶ:1˝ڇ c%^Ix|2O _U>bc)&"LM1+6|%Ъ@Opj RK٤8u}BԬR4#dH,&kR/Y#m3Ȱ~are*C vTi'%}$ sಽ~ٓ3ҽ'eOyL8wC7.tzp\]yO6i]$8r+<'t` هUendstream endobj 189 0 obj << /Type /Font /Subtype /Type1 /Encoding 364 0 R /FirstChar 48 /LastChar 52 /Widths 365 0 R /BaseFont /STDDRS+CMR5 /FontDescriptor 187 0 R >> endobj 187 0 obj << /Ascent 694 /CapHeight 680 /Descent -194 /FontName /STDDRS+CMR5 /ItalicAngle 0 /StemV 89 /XHeight 431 /FontBBox [-341 -250 1304 965] /Flags 4 /CharSet (/zero/one/two/three/four) /FontFile 188 0 R >> endobj 365 0 obj [681 681 681 681 681 ] endobj 184 0 obj << /Length1 836 /Length2 1164 /Length3 532 /Length 1767 /Filter /FlateDecode >> stream xRkTSgY̬X"^1ᕨPyxI>Ր BEP*Z^RZ[D`  }0 ٲh+t*pyl.tJ  НŕtHీA # @H Z XqCd^"<JxIej j~lwACL TPJHv8)pZL %%9`IUT"VcHvRb$?D-%UHA_ԑ8T^D([ %qU-rpD b *( BqA,Arĺn 汭bJpZ/yBLwLlCU`J X2G" Q3aD#LPT)NO& #F=aPSbF/yzJU{# :hm L Š_bYX-*( ܑ XvեuVobN@mk_ʴi\0T:]QhHi>Jxg"lJ ;?>'FSS`~,3lUc]1v`PWœʂ,O3jۡLn00*vpj1v:wȖ\֩J旯^Z{5qrM~OVU.M$5;^RZvy6ZQ]I|/0ƢVaیWSJy eW\4ghOPG+M[ģvZԳ,w֣vzJ7X߱sN L f'T+k X kZ/S3>;Rswo RO|h64\9Ǚ/0Wfr|[as> endobj 183 0 obj << /Ascent 692 /CapHeight 550 /Descent 0 /FontName /OJPQSA+MSAM10 /ItalicAngle 0 /StemV 40 /XHeight 431 /FontBBox [8 -463 1331 1003] /Flags 4 /CharSet (/precedesorcurly) /FontFile 184 0 R >> endobj 367 0 obj [778 ] endobj 366 0 obj << /Type /Encoding /Differences [ 0 /.notdef 52/precedesorcurly 53/.notdef] >> endobj 171 0 obj << /Length1 808 /Length2 761 /Length3 532 /Length 1337 /Filter /FlateDecode >> stream xRkPWE˪W3n&!P>\J f"8@A)(DDbUtZ/BESbV>*nSsϞz/2J"8DY#c0$S)(hp0 :@y 8ax1Փ*b?+Hb 9"T:  Rz z" ,HfC%@)( U`[ I4'aN;ʆdm &mQIj=P4;tpZ%X!іk0/(HHB I|:5NzJLޕRr5*5LBM6p,*eHiru!nNo;!L09ՉLT^ rk R.ԍ_6ڮ:/ ;Xx%t᥃WŒI+:[̏*fWe_ vku,/80 { s 7dw?fwtu ߲&m$oa5ײ',CccoOM1߸SjL7={q8CE8x0ye',rFv>$m}%"ًM_(KbFeloh[Ւ}B4l:ٱeqj9k5{2mrlK4eKk枕G%j[j%loT՚n.t80S')xD^#2,[dL7U F|ɻ?ǭ.?甘Rxjwh֧WZk~x֑εC*f^.]m+J-J_uzV[s.. I Ɵ;endstream endobj 172 0 obj << /Type /Font /Subtype /Type1 /Encoding 362 0 R /FirstChar 0 /LastChar 58 /Widths 368 0 R /BaseFont /VDCSVR+CMSY7 /FontDescriptor 170 0 R >> endobj 170 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /VDCSVR+CMSY7 /ItalicAngle -14 /StemV 93 /XHeight 431 /FontBBox [-15 -951 1252 782] /Flags 4 /CharSet (/minus/prime/logicalnot) /FontFile 171 0 R >> endobj 368 0 obj [893 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 329 0 0 0 0 0 0 0 0 0 770 ] endobj 160 0 obj << /Length1 1051 /Length2 4816 /Length3 532 /Length 5518 /Filter /FlateDecode >> stream xeX])N%GBaPD@``FNI) )FI )8sx9ukk}s߂ )BOa(Ht. \rs+c`X8b$X "yW\#(\1p[,WW$@ ,QmK- yae裭00@Ѓ90.00)­08˒: + uvWq4mpiF!\P5)P}ywF t,5ҖH8? Hg, FCa?K`yӆAfձ"ĄEÝq0(X["`0N.PQ_XQXW@ /[EED@Vf8 l`q %cJ*r)pp(4r 1k4Tť@+4i+;r9*t|7/?A (h8%@?ғxi 7.mK?RT#R ^J.$E<{! SWܑr``(ᗷ H'V/e\sbI}_ -uNfSocۣ,BnV)zt';X}55'LmoDNqؙveݷ0y=ʹKjZ{6cSd4M<=2;d?C M8"5O㼛\/ӝo.D5/ⶓd֣[V᷈u/ ] Azu/: (xXVof;"PE|F:hNWK8U1ʊLZ;5;3SzOL="%E{siYX.eT*aQeq$j>uiYbW[OvSe@%u6 H:fE᥎NPv} 1Ɔ[f^{ʝGJU!葉pA63E=Zarr`C |rL4ʧse3hLqWuѫt܈^խCaGR.|Sp|QZxYn?>R8 Ő5K &$/jԣ#5xE 莣F>nǕ&sr]P+ų>]+țƪ%713 G˝&*H ^8͸ nz3b6@NB͇RY+4dq?P fh[]PrM  ku@hh`GVF^ͶpOɖU}~0y@!G9ěr]ՏE/;MsTlKer-}лbӽR=?&ՕzCjbո7 }﵎2*D6-9&r&=s絝*|f}ve$w= /&Z/b~dX븖|nSNI;vh+n]OXd?܋3Ͱ7Ԡ;;mU5J1,hJ[ O/5Xbc}8LfYM%3ǁbAq}#c Z`C ӢˡD$Ѷ#i+a֘X3<#/~DNuKvÎ"IkÀi.31f"^֖m&cLVnEJμ[=4Kiu]C|iz/!̡"F66b#.,Rj=qrI,|b|D=C+q2vl%GE ˦*vfpwӤRD[ck$KLx|0i1{S? *>k^iֵV;Va|uKCfbN*⃄oq1+Eo0~zs:Gl[Oex²q-cXW3!M9NuS-&$Cr\I9MhOw^28N8p=(ӡ{ub(x2,"^6kZڙ!W+ eu썒@NQ.6 FRt&s$F)i77rk ?3_fH^XKUgVpmEx;"Ǟkh][AHC8>+Q-ӊu`x wjM8yƏcH%sF*^Q`;~iqK|su{lVZ6I{j4tqtGgCqSzV <7VChVF]!\F``S> ilQWӭߵEGy̗{M'f~fg#ͷaBWto{A?(9j>nbіꗋ;u67`4tꟅ;n #lHsHzj)ؗEM˄Lr:6>ķJosGqdY%Ƨ5/Y_{\~Lߗ@$ԥeoU|6#ft6ί&,*x&nlҪ'r7:ʧ^ݵd_j,9&r[v IrW{J@hz.CT@^}~V[}1öC_i6s#G%Q3:F\>J2˾2Ŷh yݴ) W |WgriK=CQQןꉰ5_h9( #t|Py-V|ȖxaVբ;9[6nS4ʭF~<ǥհ߽eM0+uG4_se[N\]݅QOp[-2{x-6,/x.QF/+QUbf >Z/_n{\ f:&Rb5vr$ 7˼=1gw|%`WBea^Ij4ѝBv#.jB;o[Fϣfwُmqٹ|qhY.Jx2\Yl 'dtAn@RWWՆ(RovR8Fmވ6VB66rVum.Z#s6 tVXo1_986gUSEyf}?7Gk%?!`Ybh%ƞ?u1endstream endobj 161 0 obj << /Type /Font /Subtype /Type1 /Encoding 357 0 R /FirstChar 59 /LastChar 121 /Widths 369 0 R /BaseFont /ADTPOY+CMMI7 /FontDescriptor 159 0 R >> endobj 159 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /ADTPOY+CMMI7 /ItalicAngle -14 /StemV 81 /XHeight 431 /FontBBox [0 -250 1171 750] /Flags 4 /CharSet (/comma/a/b/c/d/e/f/g/h/i/j/k/l/n/o/s/t/u/x/y) /FontFile 160 0 R >> endobj 369 0 obj [339 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 620 502 511 595 542 557 557 669 404 473 607 361 0 706 564 0 0 0 539 432 675 0 0 648 579 ] endobj 370 0 obj << /Type /Encoding /Differences [ 0 /Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/suppress/exclam/quotedblright/numbersign/sterling/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/exclamdown/equal/questiondown/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/quotedblleft/bracketright/circumflex/dotaccent/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/endash/emdash/hungarumlaut/tilde/dieresis/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 150 0 obj << /Length1 1163 /Length2 6487 /Length3 532 /Length 7242 /Filter /FlateDecode >> stream xU\\۲ ƽw ݂5HC -]C4nFw >g}};|_UY50ipI۸X\\<@Q7-$ [z@\r`Q/@l8xDEy.0U/'!3,=Ώ1-:./ k;@ymX<< lbҤulS^`(2"m\N-H1Q Y\IW[:C| ؀at5KJNkihB<N`*y:@jFڿ'5-!P]_W0￙~, 0~2ϣ#H&v@Kq=ڀ}`G q 2[_}]-2">6&A!H!H$ )'ȣ /d@vj?Pw>ue8}AG. ?1/|>|>s/ȸsxR! =7O@[Wo' z?nf[}Xskư7hlTiE!ib%1)XӘ. RJV`Q5_:K%f~dgjܟ9+bkvݵhb٫JuG( dq1pde;Նa#YNj2X{9~fK~R s_'pDrP$0|l`d8f(>ToiBEEn=Ϩ&ЈeѳWt뽁fSsP}R)j~2%0! ,#7qSۃxn6czu7S1S^ њۑsulrLr0Ln Ecs. UA-ۤW0lިPpW\INsfw$B=R<6_3ESѷC,`_ҟltkK-JvwZ?L! " @3fk[7,bN>ץjѮ˞Vs&O͜(cx5 lZ0_+50cpu%/eɿv-ϨuJ'Z{L3+S0 AпA7Fsi9:,2 pYl(#/Vi [2|&ޔwxydlzW.[{$l1q+6NO^4a˦os2W.wx0I5w>kc"b"=-xK0w2l;F>;&Ȳ|1EhX'BK7уq'4&)gȵ2Dӌܕ=Gt\f:6+ė6~kXuГOz k _e-Y)zXM35s#v^&C/bxsXE'Z Y82Q#5v—-Xem$ۈ/Km2o_cOE8C?B[@2H_Û 1DqY 瑝Itm^+܉`\Ry~F!gCD>|&~].ԇM H]M@g29ZSֳ'dC.Y)$,QR# _ZO>~I-H.B sI; ]/`EJw&/> òYz(#W^kE7wQ9'dpʒ8;ܨ!:Y<.ܷ)#@At P͉w=8xZͦJoQ^dc^i FbANY8OTB#i&W?C'F<AGV`g8 H_aڪ"Qb2|P:#[G 39bj{NJg],^qEљL b/WF BȉHV|?S"g?N4PSX{2M6jܷTՑH+4,5|#V2=];O)٧}RIުf{"҄c88զF2|+R*3DlW]W=|UJn8ZĴ%˷SepUzL0z%"\q)%u .'-ˤH;_oso RѮ!c?w|)J%>܊IM+cӓKXRΎ]}XN[/lVmo}r(OJ=i&ezXQrO9Kʨt0{<Mt6{fӆjzb-$,{;yG(`tvG Y(+ [fSY밁<ɏQ{h 'I$[ $aE't}]7tѭR5;\|Og%Y4`+Xt:@, M]9+.١~S+ <"'qҲK~(^Ur~<=RtGn : \Owf2 n^h$j Wx΁Ɂ,ttCzO|b>O"Ǧ\S& FlOG$H2Bt۪X>u6_P <)L[7"zܹQu$=gm:ju7 ҀU^MNͬXdSаmqu!< ;8hܢ*V6Jj~fe.g1[xD]ws4x'IZX{=Se.Q ǒc'T̯I;@39U !n65D:2GAERT6ڠn7=BiWNāšn)O3t㙢g-"WZYc$nlӠ'+2Z˺߽΀0=OEyYNR9[REogD?j5)>iM b5qݝz@ uyqQEuɄܹۨ;Ptor=]$rd~kFx=3N8H,4V(gy\!z#I:>WxGyQ}ɴO%\v>(9g)\ߢLda uaT䛁unI[|Q"խ~Q=;\߀og}]8;K?b֞/0+#**dǔܻ#khKo)5Z<%>{>DR+*}{YfŔT]mKkDsRn¡܁܉!u&!G>q>OI*%ƚ*J?èVlSgu;}"kH/UY!L@NkOyqyޜ}8Mw._pZ?;4xk=ls4E嚇my:o0uCnPnHȲ l ϡvĐQ"@ +W7{]砫ňZ*M;S&%ܰwt1 \$2zHWr7KQ~Lg:`Iu(Eu\G3N/?kˁVIj ex.x.ĸmF<}{O!m];NfUA):|8}t(.bK4`.MhӚCsgHfṇ2E4(1u0ķ=x@J,h\\M7P ~X;\g)d6$ddcĨ؇6aD- 6+|. CX8״eRNIoA]?{k>ah?xv@ c&v _1tEg)]ӓasP %EPs#As2J׎U9r&ƻS;Y;Q+BZ>W.N_\a3B,mJ 3K3)/d>Pee|A`a6p |iVS%>䂖Vn Q~BċOm ZV(HwHN$H^'QgCr ˶{MFCl"18z>wa!]t߿]]Z9\|uQeP%, 7qw:f}:y_SghTɧqH'[W.kV;gګwNo֙I娝 tHY~Re"2OB/a A|* O#>ڈ~o=11?^q:zUOF$pFT<@JMv; DƦZRDLz'7꿳O񞫧:5#ޕxsORB"_ƹ/ rxaM;2Q43|NH͸݁К%#=k{J2('tcOQ++‰ q!P5g.^r:i|bm6$qVMk?0dS'k,Fy)&^tt$3 :ACÓ}7`OBdG-ycwCϖ6 {7W؉D,+6`Qu-]3۾sS %έ2i,ۇ-B7㾔PkcS߬U'PN?]-}"r$C֣ vtRVHQ]7T"ʸ?Wf+}5Q]ܽ07_! 2XY Y<vet`2Ӗ>W$Ώ/FHgc=wЕIF2WU)$bx+">iWdoDwJSLWBq3?QaR>iԳ\jˁS}*'RO2ncOO[}scL w%kʪ7+8\'9NKGOEs[:M|!ʞLYCQg|Buxjn?+568y *B/zE7a(K_!A"~fZIN5}<{ihfT-\kpRHۧ3Q .TۙFMpܴc"fqT .pԍYr?8Un"@OՐ>~0MM ddܷ1Qcy¢pT&ZW$}xlb 69TKlCOVfXv%Dir;"hU`en-E|sxOa$e<<xtrɑ`y8[i}.endstream endobj 151 0 obj << /Type /Font /Subtype /Type1 /Encoding 370 0 R /FirstChar 44 /LastChar 121 /Widths 371 0 R /BaseFont /MYOHEV+CMTI10 /FontDescriptor 149 0 R >> endobj 149 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /MYOHEV+CMTI10 /ItalicAngle -14 /StemV 68 /XHeight 431 /FontBBox [-163 -250 1146 969] /Flags 4 /CharSet (/comma/period/C/D/E/F/a/c/d/e/f/g/h/i/j/l/m/n/o/p/r/s/t/u/w/x/y) /FontFile 150 0 R >> endobj 371 0 obj [307 0 307 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 716 755 678 653 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 511 0 460 511 460 307 460 511 307 307 0 256 818 562 511 511 0 422 409 332 537 0 664 464 486 ] endobj 146 0 obj << /Length1 1145 /Length2 3071 /Length3 532 /Length 3836 /Filter /FlateDecode >> stream xSi {P 8ADߥ6/s'@ 7kDFh$0U% %` KF.( xVi448.$-PX<@7akfX*UBaB_ã ,P("Ls`He:( dٚ@1V(q)O@ PpdߘQH,!Izp 9?LIH"190# ܃A w!xcq8ЅI6_[@ @gD¡Hn:$G ]ل5"d "7`69A3?t7 ?(f$?0<(S ~s0@YhzR@#}աPu_qBSDf ~>[f2]4 Ds Z\w=*Z?uY "_v6ⅼ$wj{/f<΁QxV9ԅ@Qvv39tϛB[F!1 kLʛ Va)~z~~1,lc]$;{B1#BJ&nfћڽz1Kfl'(nT]Q{n5v} pChs:[tpdw+ ·eV!yy %vچQb$jJtC F=% 8K* cQΗC`623guKOӭl7u xkj]J"KGMV"[9#M \bWC!]R R!!*Ae%{!0f^l 8e@q}Zx8yU_Ń拳Df}QYJ!xԆ@CB#lE'Lktfcŭ֨)c ,|M&?7l;Tk!{''`;RۡϿLSC2JCv-"&7km\q+.M۳o$fʘ;H;&MmN^1o\j;.(B^ c&ӬyͷAmƗ!>Jp!1ŨѦ1ivJ[W.LB?gh$#FDhޣz'et\ӟhwJJR @>[ +ZF HnU064rV*&!,x,NL=v(p_8kEt('V8\+nv,N9?=Os;ZpD63gI-_ ku!?:YX~ Q>:Čml`#}K;hbԊk]~[ P9ڌcN$#jKϏ<^GT& Ĭ|7j 고8aM*+9)-PGbchmb1U9jm$47}rVZgC;t8FB'HĻ)AR5|_Y|S=eK!鮝 GjkAMEVugwJS|dD̷5̶W@s{˚ " z` Cgx;^>` ьX1F<O&Du%iUYl5mt_'ڸm#ʪ3L/6 ~E3GkZ}YrюE3)S0KvfxwM1^;*J[A !+q_ƜWUm m*XVPQO2.t[I _>S) w2l,ƻ`w {ɦD?\T2<+M [~\_ا&QgmP4R0SuNXj}g]v,]+[{NOԡgV]^q=?/T.aa1>BSx-z˅t|*Urp^Z3|&/|- d)~YW DeKaՅ 7eG~<S?@HbUdhiXachiV¥m2xB~jۑj{i Ψ!+9OB xR;8sl]Xx*oU~=KDނ^I=2lb=E<ҮM;釩3q}3m*H.fOf!lq՜eDuԎ &iېs&Y j ^:A)I3z0IM[L8^kUlT>K|R f▴l5Lj.EyHHO6vqfc^CmvrBȰWPTݯRᑌk ڙ9uh<ET)p^q%gۥ(g׆o[d(]۸s1ꑘpW۞#{1VXrO:M#Gi->Y DŽ^^25KZ ܟnt]qW<J':^=J^.YoG "ѣIJ_'*s:"UcN q _vTL kfo%;۸h,Jv62//JHztF2B4;w.ͮZȞj64&!XC.;iA:?_)(zLNUI9ļBFSOnF3L~wzo >&[5H}쯑/˭euOncmGpn*_Rކw5zj (mpuL|SLP√٦-szaOR警ŝv ".",kl.֞jY۷5Zb(Y{(=ћc a"Ҽވqg|>l{d"Mf|ߝf2rvc cOsX.KI0_{:0R~O**cJ6m$j5f ڤ2.g v9Bߦ]%?d5qHfJ-d7u4זPYYrSڲZ lPJ 5o.u sw?+!Ɓ(""^Stendstream endobj 147 0 obj << /Type /Font /Subtype /Type1 /Encoding 362 0 R /FirstChar 0 /LastChar 106 /Widths 372 0 R /BaseFont /AKQGPH+CMSY10 /FontDescriptor 145 0 R >> endobj 145 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /AKQGPH+CMSY10 /ItalicAngle -14 /StemV 85 /XHeight 431 /FontBBox [-29 -960 1116 775] /Flags 4 /CharSet (/minus/multiply/plusminus/equivalence/lessequal/greaterequal/precedes/arrowdblleft/arrowdblright/element/negationslash/logicalnot/emptyset/L/intersection/logicaland/logicalor/bar) /FontFile 146 0 R >> endobj 372 0 obj [778 0 778 0 0 0 778 0 0 0 0 0 0 0 0 0 0 778 0 0 778 778 0 0 0 0 0 0 0 0 778 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 667 0 0 0 0 0 0 0 667 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 690 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 667 0 667 667 0 0 0 0 0 0 0 0 0 0 278 ] endobj 111 0 obj << /Length1 1384 /Length2 8479 /Length3 532 /Length 9311 /Filter /FlateDecode >> stream xe\[qw hpwP@qkA/V]{qw+Phn>{{?Ma=c57cFWZRf`y(QrHc128A0T|y y2+kE$a=bTA0k=9`<RvvͿph]n` .,^^0[AXyRZ:pun MVܤ`Vs^ovvj ݩZC<'v:X 9iQ RP+;0_!<l 3X\PoutgO^|@a=)Wqx y'219jAX道 Z=`cn. ~ 3_඄܎-rp;@ yl #㯚ο!vX`70<"2I-!a;VDk~ܥogj&|nA n/\՘?iE@x  \FtqC@uN \k/@D@x/\@+mxp^iioN~x8 P+XQ><<9+j ~F?`k鳃XMjSH\T9*UsZCl'vb<]z]E1>>=KD[q}7^z{tۛ澝"Ϭ%f}xE*-B[c !a= ;z&~ZM405w@_P WS[sH6);֍FaNQʜ={27F;mw;k=wqtnF8kwS/-0:ExICAGGM*g:dAq͡>)'uɂoev[|j¤!P[{Uٯ9yf).\qE2tK]M:d0#p$o 'DкMZsQ㇢Bk6ԛ4BabKgxWy!X j,m9W(ewX.Ͳy cb‘[^gjWe 5 &\d1Ceh% dΈ(I[.\ #%U 4' xuh^2|wr23l~!?.7}T? g< {g 2 py$CQ&Ƶ "z{8`(/ν`*=c%puK]`S*S/x%8n닟[1KJPW"ȫSюbPl$%ޮ+o~WYh]4}}iCA[[‰^՞〙(=Hj *2ϷC+0g['"_uQک49[H86#Y(u1vin ZDjTu1:qܩDZkPPul/ݰ?]rlIԉ'ml7 +0W!TOF~Ӻ_*HI}*uɬ]C-饸L>|ʯͣX=A(gWoА(Ӳ\܃,!+z(\{ thz~i2xh7 첢neJeeDB@OB926ۤh$BV7҅=onw϶0˟E #.Mc\368$5g_nńߠrd*%)w= À8,XPD|>R@SfsB|f_iqXAG[U}`pw+ )ݧ*|9>1ؗy12~agE  v'١gnj|(WnyY߶{̿'SMOe3:CyQZp̠{:ƻ HfPmKٜs.Ga#1Ë\8^ F 6ƹ7]6-]2w̡ E\v?Bto:72ҵw~N<-|E n3aGd+LlV2Tq}ReI((9~J="R]}2ȗ?oC3Qʡ/o:b;t?a2/~].d܂ VA};/va"pX4?˲ڈue~n؎d_)._ө2~k» p_ i;a(`>bq"UJI6>q&o~XcI )AOP~aIlPoS3GU5r[&S(j +SzE_aQ/9ib,ՌH ƦO~nK{Ŭ#RxJQ)=++ΫVY71SRÏ8(<Ž;dwYmSӫ9=Ō M/OBx+X(_ Dr9+l3n.!eJ|3& s?ԲK;ᶿzHU9:>EiHrl6Ȫ'sZ"!8<L 7dhu]9I%aYa)y1b[yd;W3- ' j<"H^/&ghc9=ZΌ2c9P²npHn1I*nc`8=2(?&h_$&Fh}E`i;=ȈuN#Ĥh5B.ChG,mlv^A IƔwaӔng^R)efJ] eEOa͎.ꞃvn'r6$ ' ;o_ߘ"uIhT4Quo~6_O=֫ދ@m.5oWZ񤴲@f26Ml6Z.uFY Z >$T,v=pB*9XB)GRc!wv눱}osdwbqQypFsE7=QfDZ`C ə!T|nA}WxOLM~ g5<. s U g_ә,Y"0s)KԲ}z[VD~n9yH`l)V)K徹YUdz~amA|I ^\7gUi w嫥LHjއv0Syچ''ܭaRk;CyW`Z7K(ԽmI ~p3ǃ)`[¶sʶGKUݶ y(0I"MAqm׌\7-sEe:ZC-Q W5.9<) c̦̩;cQg w?q {O4&U wF;ULjټABs V,I. {9.v 'O%.茴%QuV0dD"clNޒָSW XiRdy$5tIK_qbʅ~ wzywThL8g m~Cw6{-MG׼J*e(&8aH=v \d\w,LSܒ4U Y=M!`^V1"4HJw\?fȼ+5B )*1ti|{Ϳɸ-rR҉ Q5z! g2,bJWj cċ0xc¶:GRMHMjIw0"@#WF'QR`hrwTJ̟.MxTve=6ɖ;W8 /LUTZAS㘖o8S]w'01m 6oHgHoW;WWUd%q)+[Jx&MA{;9=*WO`PC?܌޺"^>E]_rdځvr)xelTRDmq kkm|o~{n!$(aF_v+V&]D\'ʣh a=*'"xe wϗ3{=~&?ԧ?%!_ѿYز6%|~2*"Nsn~13#Moj[g'%i+jBlgǒv !jYZ35?NdZ@Y޲gP9p\JL8>^ZVNYTIu>؟58s[Xlo[sz|$U\Oe8 #t vB?M|ixK&4eU؊SiS$^Gh?vС8ٲǫq8ϛdv1@?[Hڊl{w%XX>4X& 8$KOD6ӟ08Asi v-aG#f-t)Q<C|k|Po7t=Ow3S~Qw&$y]hK'~ D|/$xN 6ϣۡ6@bK*A"fs%|bzOrz:<+G N tblڱ.QqB͘$ (之2؄wH;hQ˛b>8?#p{PUR_,sʡW"Kl)O#.RL*Ndڎl {jaK 7u|`!Fp&y^?6W0Z|RUƑG:B`LIɱ737 !@gesa/S$A#ʹ+-R.` 2x͠s5} )ʔ }Ll}õ-7 O8q_s=z{읆R"EFk,4'f eB\nL%JFt-)գ)tY2Д<WOnR$g%vDOnl_*vznV5þ+lz[z770vrPyxGyi4 ~H?{8QȢBEIGk&)\P6] kog8/agn /c-<4mH^K^/`a:6>Ik/ Jd.W  ~w/+z!&u#z1PWBҏLD91g`dhم'ZiE3~Z4E3t[a[1zD:>,"4#TPZ$?PYS޼7 *ODlK[k5V :d^Xߓغy%v|os(ȫс ȒyCǧF5f>O'S4*j Z yƁP G}<]O/&HɆ D= PLf;N``|C57NB f+c捱s>oB l7_UP)Ꜽ4jɊxz*[Lè] 5A S6̀z+`񹼾 [.;pM7kVOfW맫VS#-sϊQkOEG7CG:{g؜7o}rPʏĝ|"ɽ2f_֣hy[ bً)ԟ x5g< yXg̀My <12 k1jfE"4)W߈em% Ət9)ٴ#m8A)c뿞yH)hy4,ob8|Z+3D%꣕v~Fb篌ΥS|&b` T6m~D[67Sm_οYq5{\[ ^.~ue3$[\ VoeH;g&rv7 y$;?QsrPtӮ3M|} !5n6 bͱ{_7dS`V9ۆٶV|*鷋g]R }O3q " -RΨ^e_} h럼M.ö́㑘"#dpflŞ׹A%sܗc=Z-٫tgy5)Ik\ߛ?qWaO!s=z`q@i+Z0~r@/s 1fEt\etlDsFX=Q6:YSA3フbjZ#|Qht+9Ddj|K1C8cNW-~3` ^3'.9BGb`VA{Qmu^~d1]eȶO2qADW.1 k.=( f`;.+Q?4w\їAì4_,$K] ̸uB$ĥɉb~ jp5έOf!Fг:MlbjM]c:<ꪗ=WP՗:)nbMt@hKdZtD 6Wn}GkccgAo\[ND?"6'q"k8Cѱjl23|"уo-ě)A;ڀioŷד sSpZjW ,P24e bH6|R$%\dpvT!^^VRLkƎِ>*B6W̥7H!3& tbpDy، 1ߪ*7 =J;W5!rv0tGEo} \m#3#`A5d3Vb~zeҭ Wno+ Ӵ';_ЬO"Xg^IAGqzmVD{f@a-獍ڨR3U7IJ 3GQy='oxE=rf~+[jp5`~ Ӈof$$, B-MREV$0FcnP-/;#r)hA4Lt kuxH^61k%DDϘϟluS3G,M 4.6d>|4yq.P6pPZ F!3>j)ܢ* bzN{o<1WE7BG26b)jI`,R"LNN3OHBT.@ >u;eF42;)ct=Kz21(O$Vgr} JV}}HhV 0TR?Z3N~^t:́D(|NNq꙱ӂ*+ASdU {ON~~B=$(N0 :-%HEyx08MD.aJ̾,bM|5='gPwVS^I\]#W frLyu,0_( C♔3J0,K$$?d):Jbv 1(/a?jI*Q`~0X87R:'Opr kBoCʯ kg4 $F7 J(s$y:"a*ϖLqejn]7@Y͇T~ O f/sǦfY#5`S,UU)Z~B9=(G:X*@HYat^ùfm݊)3zboӸ:b_< bB)`O=%cál[y-SJ+wRP淖L10H;{ڒso:_"$/#;kWJ!Bۇ)?.65ԀL/@۹0a bu~S( hW*Oj^lBʺ$U*{V|(柄5a/2*h,|^ԡnnSƊALxuJ5ðh (V@;H̫z u4DܛH`B*k-}˖PI٭If}G:Oܜ,Ѐ1 " ?wn@(վ5a0z3vOm~Da4־쨐-{~C**.(rH uQI#RptPH%qK39::`^Oucބp#2ͱJB;Z(T"][Q,64ˍoԓ^V)+=iog/\ٛL~KΌp{E5'|փ2Gw=]%Ʌ+)XW"eI"9'S޻wkIwrȈ]6  e|x_X g=’endstream endobj 112 0 obj << /Type /Font /Subtype /Type1 /Encoding 359 0 R /FirstChar 12 /LastChar 122 /Widths 373 0 R /BaseFont /WONYSV+CMBX10 /FontDescriptor 110 0 R >> endobj 110 0 obj << /Ascent 694 /CapHeight 686 /Descent -194 /FontName /WONYSV+CMBX10 /ItalicAngle 0 /StemV 114 /XHeight 444 /FontBBox [-301 -250 1164 946] /Flags 4 /CharSet (/fi/period/one/two/three/four/five/six/seven/A/C/D/E/F/I/P/R/S/T/a/b/c/d/e/f/g/h/i/l/m/n/o/p/q/r/s/t/u/v/x/y/z) /FontFile 111 0 R >> endobj 373 0 obj [639 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 319 0 0 575 575 575 575 575 575 575 0 0 0 0 0 0 0 0 0 869 0 831 882 756 724 0 0 436 0 0 0 0 0 0 786 0 862 639 800 0 0 0 0 0 0 0 0 0 0 0 0 559 639 511 639 527 351 575 639 319 0 0 319 958 639 575 639 607 474 454 447 639 607 0 607 607 511 ] endobj 99 0 obj << /Length1 825 /Length2 1682 /Length3 532 /Length 2278 /Filter /FlateDecode >> stream xRy<5}3cK1dIfyyycՑI)RZ:EEso{y=|n4abEc-;1(MM;6HF  rY[X(M屡 б]iL Q,L<`*"<4``r@v8HCXQB,ъ'_4nW*dsI]@h<QFp(t08`+ŒƒOfr 4bA\淬Bf@T[V 0_JE47t2A[V-{y_*FX'/OѕU aC`7YT dJ.F`Я#+0XQ+41@6RR`'6FH_)Vt#:eGF!NpYPt#-DC Y}xŒb:$FTCjw9$R1=B`]kMSodqƹaz#> e 2b*+q~q$M :ٿ<0uUg&߅4Tc}^{0Q[|]7=/ CgOO2V%ɝ +9l>!n;9.8]op=W~韖^{wF ܌TrSnUg/-q:8'#s1pҶ#A6i}w9dNHZz(;xavqw%w0^u[vMlyvyB"irHی6+w8KRUJҚ8BHPV؞Y?.uϴJ;1M  .NvnhBq:G{(!w3:oZtW9i.~Ǐ {'e(ۊ^Xzh(XFaFw%g'G\; $V7j1ooE5-/zb܃I"TSʥʊ(S,x~za}SbvYdy~»UH1&zQi-:&[xT $B}oY:B K#fp*ǖO&^n1>tԈ m/,(OGa m^)ʉAv(ܻ1Ws_Ɇ^w #rrcDO+SƆ8Z[SH|zI{ϯtzy?FRy۞z+S#-A)ڂsM3jLqv=S)54i*bJ^@Vhp >yוNr UU7iuٲIsseFJk=U-'C'ZoW͍oV"ڨA$u_9%`{gM/(1 v[%ۊ 'ja- [^PGйKq3wZ)T+:p\kl 8Ub-=y|H& ]'3Wq쎚uFJK핶9݂E^W54XQ_%P%_/Xěo=%=A RGN j/HzQQ2=.gbiӨ'ECJYP.i駚/$;f}8*5> endobj 98 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /EVSPLW+CMR7 /ItalicAngle 0 /StemV 79 /XHeight 431 /FontBBox [-27 -250 1122 750] /Flags 4 /CharSet (/zero/one/two/three/four) /FontFile 99 0 R >> endobj 374 0 obj [569 569 569 569 569 ] endobj 96 0 obj << /Length1 1427 /Length2 10085 /Length3 532 /Length 10945 /Filter /FlateDecode >> stream xUX`!x!X7Bpw!]d\\37UޫvUdĊ*tB@[#=7@DNNOF&2t25tqVf#7 7<@ @)BI!k @ d bklrrYY#@rpᙘ@sc'_NR6& {.G . rA& @.73өmΰsv9l /99?G ̍lL@:&VzF;NfC+G?q ?M( mT@?a?$s7#=##?G11c[)``~މ 0 wcz:k_ f l qm ag0X :-w=0*轀ؿ=b0H:轂z +(8+(=b05ßp3Cjٿ@Ề_n`+l]/| 5d 5lw ]/|p 58VỆd~p 5w T¶nt,:f6NT1wI99X8;;8l9{&wr/5 HR#7U M刟V4\C΃68 "D F0/CI>`mTa^DD H P@uFѮ]#2͆Kto&\/W>K@ҽdxV$F㱄mR%U4,94g8F*7qxtK%L.inX|94.q&s)4qTw-^iq D8GӚߦ;tZ)Ͳz/ɮ1Ls4Ե[$N癱'1اJ tJ#1FٰAb-C}'!u -{9&׼0%f)ٴr4Mbn`\Z}6[}_Et ThDC>7.c`̾.uϸ{=>qgLeU:1V;1\;-"d Cñ }-"ScZh]&<hmSn@M0py;ϟ^91DR;WQ|*\#9+cCYDen+%8,zvx>z '8 ք&!X zq|hL죲}@] 6B]2;Q't`(u6CL qȭ6pn- J >qtW'e +>!ItiM. (~* , mRrsV7Bl(s݊r^] 9PDO@I9S48Vh]3֓1Qz/QEy=%A&řFsG{ec9{ˎ&G CέÈĶq{;OtRtG L?mқFcQ0i]gxA,[4ΫgY|X5IʝYW=iR ӣv'V^V?hLܫ3OJs<Eؗ-n9S`#j *`p9O,+ىɛf3MLΐ u$ێ(\țXOm& #hڞ!Z3m{hYaQָ7 3!Z"ԏ2k" Vk9xP &poW]ò $/Qy7(\౴1f_c8a @SMm8w_E?naBGc%L,[O 'tVN!Ysߘ AMWY52sHdz9mexx g򭵵Qb}Q+-XS3h63i^8f<|lhJ?$S$0S*r<]lhT, MHsT)lP?{ʎ@5s+N@ ]eDPH?)kk+ӊdkp゙:oSN%:7r9 3u TժP b 닖aTRNp-5[Ewk Ubo}3'~*j`J^7*(M,U5M\oF}{apUPHCwr\ݪ8]dȸ\ev>40T;4DD@o̾YV>~BM]6n 1[7;=+Ct傹dJٜ>6ߋ M64@G`?-h7t_h_f9 HuCD./?Ҩ@ ~j>)v4/jFV93+kK˼8fՃVbHE9"·~{Ms.9j#+JI)+"Հ>{]x8nszÀ"1l҄o%܍Oc{bg8rW#`SRM[GVﮢ5tgK*8uhĭ ʍ˘;C~buq=A~&EFaʇI<|2P <,?лs5\h 4t)Ġ;>;\cx;ۃip QhSULG _Pf&j8[کUug9&x}m0DS@\ն]턶x앶8;QK |`HQ6qfQWLF)z&o$w:<|n̞ vH#jJ0y@GgxbUfF H״9How;>V8LƲrşd!q״!'zh689uupvae#,#VJ}44V!Њ&$P]'}V&QA\)?z]yϺ:Z%;AqQCP)^ns2a?nMn.^͈t?EY|J8(CzL#;꺷){/+?mSݝ m?P#%$ʐ+O8hb}J,a/x@8̂Av"ţ S36&{<7)ǁz4˂Oqi>@CڎN$4ɥoU|;%y[B)°IJ< U`j̯Jv8RZAVߞ] p7?1+r[{/$.{d[tdi߅hҠzT ry^Bu, 0N!?t j Ia~6WΖ/ٗ|#?-B_6\wڦi3pƴQ!'IvlB Uݫۼi,O< #M>CQzFB/trTCr("/Ki'9\ֶ9ֶq SZ:-,}{H4e%J][.󈷲|*Vtʝĸ ILџbE}h+y4/,BV@d+{"R%5{~w."MD9"t2.s }a] Ց6xvodR1mBfBn`Nj~utC=/!-]{}JhDKՄV" hU#o'})(A#=E: Ň%Pޅ=W^lW3bG!w QrmhO%}q6u#pHK8eAZv>rքɰ5 LL=sZLRz H5Icߒ*'}j/YmREUf@x[<+`O߸M'77]U/ė {pPGH,x0)l^]"=lNtH}Ց f M #Mn-uIW6ŕ1EWN/:$1_s\ o.0pt#@ք<:`Z>[3L \:H4k0IUDvl!H:Fwpi 2a)@nɁڰI`jb/܄| DPnrEv!g#M-rt97ùKMU9#2>Sb>| "CE ȥ\d FF*ҡJ\AhCakaG*5R(܄! UUGWg^x}N~OZMx4\k~">]M8Mļ)?fkNjBn߂*HZRR\${65'!.lّ '<4 L>|e'% ZgW\!A XI"_ F[lxk/A,'qiBJe g `ܤj^GȜȖ,om,s*Y$R 1Y7-̣MH7@%Z~PT&T]JB# {{|>|y;>9mr- 2ѽe:Ht B}SOd4чT4KcG.l3ݓzIv LMtWcC˥{6RZrUQ;ȱnܵQ7{;vbHj2( tzƮ;xg+zNǗm$r:qT~t 9 Nj0GȀ;3N"P#=S}q #9[)⪩‚ N5;cXps ӫ.<]LT tu?,+>TSS'^f7 zz<l.2<{xX_B.1`T}5e==X_> (mkN7oa.LLfEQu _ڐTa~\/KYdK'F%qPTdơMr By칟G5 ڣ/ 2<9!{Vg-7XƘe>+* u #ziiޝz3RjzY[an6'er7J'kiq f{Ғ6y}?ZxsXwШg>۱;l4gQx Vt"tӍKbFPߪ\* 7ۛ/}_r2BxxW6\cEgki>U;a⏝"n0 ⌝qO n0R9kʼnY.Hq9%AZQ㲧,bpEDm3hcMQu53mZWy2)xCdת~O↗.0Gnj6^R`ávV@T!/N-UCDN--c"To<3.(*vT6xQ~n6n/$^߃b1/DfLc/T]RVjkEZ$:R3p*;Սkxkzԥ 26xuNY_\ 4ЗٕMfj#"OvoZ/g[]Lb~FˍLy1!P-ؾ5+urX_Mp& zw^z,@W&ckC6 FUpD2bkC[-*T,.BQՆ̉4]B \Mc s K񯮏8 qaW #(!7ȋ݆Eo,fO:uk}a|(NlыOc,?%l@)oV>PȈz{M2un,kT{2" ZN(ph*zK$؂/S5s-`Kpyg'o%WhvӒO[x1OCUe_䉹6n%]AT,V:yM9 PtO%@y>,=T<qܞ{mť4D{zEH9pIAWζt.ATADf.2)Cؤ. `)CZH,5.:v)!z?ӑQM'Zʎ|pF߉ %!@ l, \g#<2[G|6˯܍͇le/^o,S۫gI'g+q{`iqrKQH{ܙoߝ0p)a-ަsbR}~OmǬiۻ3Jz骤ر2I{*]AaN_14ء.ԏ7)6e䲮Q{p/V @(x؃!VznI$sw_ v,4k!H@C[_amHPv\ytz j؝(zXQ9iwP|:D r?:Y%a"eʅ44K5*tabbVXh{}jг٬/toŒlEݕ1R~܏3{l Ԋ 5/yMdtu3^=rx6 |\Wy뺮,KCU <}Ol*UcXO#ԠiUһWd=P^' xsՙLKs{q~b$qSVa%m1!Y6!N=jvn먍3!N(u\=n9tWh\0m.G}ѤC{1r:Uum#6l#&'8BSo'LخK tՌq+H=B{|V W?՚C##n[ _+Sӌ=gżxL =@g~; -狽xrB}ybR:i9JH0.SWy6{u*+.xi%V3)cN0=dxLbgk_r<N_=[,MbAG!u#)(n ۲1в6B[f'el>)>8^0eֶM h4ƪL(/ K{Z{{{zU,/f *5 Qsw('4*$o(hu~h)b[mX5T/X͠y]&7 iKOsڗD'd^+Ay-!ٹ&Y)l}c>|kN^ 5}\.~ &?$e'p,M}ܣ#\mF+0=lW]F8 .(JY;ƄsZ|AtOlTUVuq]ͮ1'4#Q|^w PsF%ܑM(#b ۑqDH' K22|b=HIкGrjIbEaJa{8kWoΡfaޠC﯍jX:AɜwE%?a& `, صykQu68iPGL Z?HP"O ݌bPhܩ]rI]pևڇAvНW{"M2S.6 5Cՙ`Qum;zG9|zEBh ݅8}|N*eAԉ_u+?WAYKZx |r"¶NzT/Alz!kT=o">hO-R QO5#zA9h!Sk㐤T3a6EqmY9}y3I!^ܦ`fG"و'l2Dă,V0 ϸ(-L{TࡍL,g|i5VL IQeiHfו&ggI<{]Grg[W-:QGdk}!t 2?ΗJjoY&%",bDc/㉋g%|2=뤥J=SE/!, U.-ެ\ncBI4ϛ+Tp~uMū!?Goae d<)"yM"+NQ֤8tj3 ͂]xELj|89m,ϐ\)7,,Ґbz\T옒J=--271;nh{fCm].JncZf;bY߬H^KU$zpSߌY.o,%3r,~n:^ *:57;Wň@k<9ɫۓ? ddkm` ?~}Zendstream endobj 97 0 obj << /Type /Font /Subtype /Type1 /Encoding 357 0 R /FirstChar 26 /LastChar 122 /Widths 375 0 R /BaseFont /IXNTYD+CMMI10 /FontDescriptor 95 0 R >> endobj 95 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /IXNTYD+CMMI10 /ItalicAngle -14 /StemV 72 /XHeight 431 /FontBBox [-32 -250 1048 750] /Flags 4 /CharSet (/rho/period/comma/less/greater/B/C/D/E/F/G/H/I/M/N/O/P/R/S/T/V/a/b/c/d/e/f/g/h/i/k/l/m/n/o/p/q/r/s/t/u/w/x/y/z) /FontFile 96 0 R >> endobj 375 0 obj [517 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 278 278 778 0 778 0 0 0 758 715 828 738 643 786 831 440 0 0 0 970 803 763 642 0 759 613 584 0 583 0 0 0 0 0 0 0 0 0 0 529 429 433 520 466 490 477 576 345 0 521 298 878 600 485 503 446 451 469 361 572 0 716 572 490 465 ] endobj 91 0 obj << /Length1 1499 /Length2 10429 /Length3 532 /Length 11333 /Filter /FlateDecode >> stream xUX\qi\[pw 4ָ;w'Bp CCN2g.gUծ]n:*uMV $ qtcdHh)88P\@n`H) pp899ޢ N.`k7?Eo #@ ܼph\A. *''tXRpW))I&E YB^@/NogH[l? Nn  rqR]ySUp3[J8Zۃ?fnfUqQMLu"i ($Y7ʇwzkӄY0($+rI~Zo(*P6ͲzˮJ R ½$7C[E@\ZnGj4Ƥ~H )1^ȏ&=iHT^Y33VE Aj'b&lg(XaΩ8pY v.v E 8CtqVz%ΦkBsG_'f/h.MT 2;;ߞ-wy7Su#tU+vMhR1[ڞFD䋁x7`xF52xP]wȍo|u )?{;Hrq/_ L Ej(Y,qz0 {3 %N#v&AOm#} 3oYs=?mzN?}iPr.{>^{ȄimwoF q=[f)"ZWqH)BE٩wf=(uSWsӏcFv>yQE_o Պc%:NNS )$b[li ReЬRA-XOzH2Y?!YhϽ1x$)3bwv‚$7㸤P@*yy\rn4k;yҫf3HzJX5NٟX1b#ܒX7߇Df G%%|P|O9#o\o}v%E8i7k\&:~ iuS`]3 ]$5Հ|%tm߲Z͗cTQ`"]~ ;+0 ̊߳*jr*K%\I?pPja(]BӚ(YBmcnay&Q(&t^2J4>mxiw[xϴOAi_~@~9#EȠ5KydW e!#EIy c^n!E]@NgiH_f ϏXU<aֹ:6J<@0.5':ɽAC$T/qn{Np;VNŲ}Úg_Uu4RY U۸7 }Fʞg<Τ] X 9Ϸrc֑2nk\_~@#¸B6ǿK݂:p#O*n'tF&- ^lǁQ^,ՊptMR8^1p%BDTMPD)HZyf7,u" JL4[4L6es'k)?nrXlBb_1rE:ܽ2M^ 8bO7/(ĺ_}VVʑovhބ;[dVmm-u2 (g_W ]ӆJܸz 6fH!{ԓB-Nea}ӠDK 6U'o[ w)B_$,:C\`,?镔Wg ̆3g^5X-6G3ydS LNk3 mJ|~TOj71h ,W)9RŠ(3u14%`<׳_$cnhA4]1B@B7H'(6ԣ^hr|tmzu qelàFY} ̊)#N=Av]#E56.5y TN$vxlIBRv2VptRc0[Gį%Cև\zҒ5i)("m&!<8U/'U'+H<. ]{M #e}NXn[k]ƋWJg7Qu1)PleSz(06b]h[ a}iiX aP°.fB~r(h Wy,c`4sB+.pu6 #W$ "a1^[B0޲u0e&Bh"dR)c Q܄hlA&N+P(fI 9!xNS8.agw (ɈN p 1:7 Fnu[\(X,Uch]x-Vۅ`%\A|&Oܰ# vhɨ/=8m2Sz1ADžՐH|9FO[FI6Tz0:A)1XR=k?#3PZ`s;#g}No#cr!@2dOW7) _q]=[`5&1>.%ZӼt<n߽ca[h(,Z6%eǴK{#$& GŒ`%g7y!\T>'VV&;VW>paiP$ŷ%9<;kL]l]4+ @'<]cNfKy:'V:gwIېoQshNA'0&e[ 8[XOۺ7VZ%GxXY=Jt/)*ƭ䒄}TLV<Px1}RlIm$7"K\?JOp6~54pmjFzT;u)%⫝̸aZx6m~Hy>p r)q3l?$ INމJ7U` fg:!>cqwgt*7w7!N>t?PŷJ=9$3eȊ~Е&.,Niz]q_LjHP[b#Ȇ$zly@/"=Niz=-bxqK~[A-VIXݨ [p*UVe 䤌DhAV1Yɱgf>ΆFT /&aI eqᥜPA`#{ded^>LUJJF$dd#\qb(bQb*ǃԍڂʔBmJV)=^,V 1ͯGY1 ] Bwa|oD 68͛L9#fIy6s.͔4?1kjT6]= g3X ] EO`D޶nzXS ܽr0^y Juh|ը39VH}CYK_1[gn۲2vIV^ GY(8}&X t鯞1np$3il6QK<>(`oq`L QhUkUDpͩmkjtNyTdЉ{/Izv pfī>wm.G}O0}˾{6x< 34#7 xֽ<~,ݧ tW(2i/U왹[vuUH&!AGN@(@nB,e'2b +NQ8W =,$fƊX"Z).t&n!p厴qqy:C0NJ e"~U*cb=\4[77uX>fvnq~Փ-Yn*o;tWI s<;:/{~GrޣmmtB)5+YԘK%װ 2+W;{-5 5j\g}"DR׋5.Wq_닌ۯȺi$4 l^e(YWTs>6 bR1>KѼF~ZN{*fپ0jY_:|/Vt*t)Bbcra'$ 5A1 ө#w%FsS=(w>uy"}f埯fwU'Ӫjib΀wmE'gK PCb!SRPf#[56цAimxݑp@k04eŵ_AO*_tMd4r9uBOӋ7Òux۽T1rj6ĥ0^&mo5\tc)Gz]T=鬆ZLbY Y !$BpSxzھ"m~Mߴgd]8 xRĎ0UL9CndJ$7%NY*F/ i3+L0^vvpSd`g!y̨hb Hvl M}=̢_KϨO_iGWzCN &8݁@=RKMr;1ё2ZF}U;#yXMsEk) N=.. x7| <(3C&x؛a{%F 4_Eڼ-ɁXb)"%GMF p \@Y|a!lL:(>,ߎMs-p;lEj #~;?<wyNa5s\G;s'O@cmLA1&"%k.Ph {Y"e/mC٤Bݱ.j@yi;*5&?XPdj#ݾi.<1VS޵mé^^cc~o" IZk)*e@~Ƚ0j(Fi܊L4v!]Ҽ68 ;v>>| o@SB/& |aUKհ jVslf3iC}/y_RkG>-UBgԻi鶼_e|DNULq;I1S-_u+oF}?{?R[*~ͽ+2=Jqfw"m<[a *"ڸwԇ&' Qydm6J>l!w0b Y &J yvN5ҺCׄSn1~L%͓c]7˰:پMHl>a7pc"(ósG'Xϒbp)A!YM:b"_1RŔ$B Z?j*9'n6h6DQUb8tJV ۯȇJ,JQٟK :zp脦s7k-t7?V&3V5h '5/;+i ^#:dY%iMz O( һI&y%%2 _Ra߄Zwl,צvq{dw^޵YֺbmݳB;{X %0ם=$Ѩ;aoafY+ptPBsUPHrieW{A֍q&4lWe$Z-}HJͅ';4Vgu-[BV-j*n%"oY%c. i9 =Mou׎ThU^,-*nkSm1u(`$׌?~Nj+t~چFw[,K>Uҽiy-wjH"Y}arR3} CK|pX4Jn*Kr F({BU.|.h@}\`ſI<p&e mҾ6*Yrq[5v'L_V.F(J.iD"qf)*k-y!zEWjARJ:k1Š[+8XDeciQ޹ּ8R;lKׇ4DA5aZ=oTqQ \Jl"L.j\jG!=nN6LMqɍM!n $עN_я{oyDyҜ'jG.:lmusRBʊ2l_FV#.ah5N+^W81_;iX`QدLjUmf¶{x^ՏnZr ~kRtMқ諆CQ\ .lm>{ݿI2qlMe2 3%+ ,&TYjx3[ҏObP'לt>MЄ4O֟4 bw rd0e*(feT}XYSQ dG׍'% " Jj{]zoū=VM d `m]h%&~0Q>ܶWMA{Ym4̽@o3E1e#z1SQQnڻ/Xn08wã߿fMi=Uo>"yu,{{ށaZ"bGIuAޑdaC6F+V~Ū6gIvG=e.V׈5yi1m sF6&R#1̻$p*t+m4BU>H 04~:6沀 p".2Oc} m TP ju.3y!ǭ=&w* }mb/B SD.^,2~@ O\5=]@ܱrͅsA+{!.y'j:7*E+Ϡēw>t&Jki`JqQ䨣}ju5>[ר>2JVƹ"ljiދ4TBSڃN~8}-r숱c7xکVQh4 .yn|_FQ'ruFJB1\db9 +>&\E^!RqlsJۚB?5}e+.剖KݞNkf9#j;4240LX(b}`0m/,:ڔxh&~ǩ,R99^vDq5}ĕ2j9r79iܵfhl1݉ڞKǖȼ`x6M&0;Áp9ҍ$nBkhl`WM{6j⌯=SshykZWF䫘57Ƿy8-<#N(5؂K9vI3Cӗ8ϣ}"hY3iiK[S'xFpÎFAELeIxݏ4y0bWAUӡ_<.Gw@wAVin'rzUW r ƣ=XBo&ESMKJ/V 2ޖ*BH)ti/ˇ]еQ?9G s7endstream endobj 92 0 obj << /Type /Font /Subtype /Type1 /Encoding 370 0 R /FirstChar 12 /LastChar 122 /Widths 376 0 R /BaseFont /PLHLAO+CMTI9 /FontDescriptor 90 0 R >> endobj 90 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /PLHLAO+CMTI9 /ItalicAngle -14 /StemV 70 /XHeight 431 /FontBBox [-35 -250 1148 750] /Flags 4 /CharSet (/fi/quoteright/hyphen/period/slash/zero/one/two/three/four/five/colon/A/C/D/E/F/G/I/J/L/M/N/O/P/R/S/T/a/c/d/e/f/g/h/i/l/m/n/o/p/r/s/t/u/v/x/y/z) /FontFile 91 0 R >> endobj 376 0 obj [577 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 315 0 0 0 0 0 367 315 525 525 525 525 525 525 525 0 0 0 0 315 0 0 0 0 0 0 763 0 735 775 696 670 794 0 396 539 0 644 920 763 787 696 0 749 577 735 0 0 0 0 0 0 0 0 0 0 0 0 525 0 472 525 472 315 472 525 315 0 0 262 840 577 525 525 0 433 420 341 551 472 0 474 498 420 ] endobj 88 0 obj << /Length1 862 /Length2 2051 /Length3 532 /Length 2666 /Filter /FlateDecode >> stream xRy<.r2/3J˱/k̼Lc';eI*HDB0Jq҂ug?~}|8 Ja"h@- ERaY @ sv ( R,p10hYj5 R{,+ hd#p=L\n0 2B@8)R5C60FٴK! )0h Ljx*Á* 7L}/a5% &@ Y A7oTߦذd"ΜH7@ X2\A { Y;:[xz Ki5cğX1 A,+ 'R 6\J. D""`0LBe TZ(F$Bů @`?1 00`@/P0, jX.G #L~)D:9 phű Z ~ 6 qRO8R~]Re*1!~io8K|ӎ3Z|`̄431ʹ!~׉7< _T'7ߪXB 9GTxδOs:Zʆ-gPF{rbizeaHlWt'>,Y,-|^$|EyqS]b*R%<+|A"|sg4|yտ҆ʼ%wVȱ5hG%@xj6-cgض dmۏ$I^TےȮ&,oO/q!nyKq>fQ5v>^mv>'' :eX[t+:v qi0)y&͍ORm<:F<4 vp%Tb+lmU=AWB'x/lǍq 靟tyX{tijˏqvJLѹ:OPzV LTKNxxM9#i V32H5E!U?ٝ '7e|k'=wt1ޙO( L1mn=xؼs0x,=*MM`j]_w^ku#}VD̪.La%1 }2Ү[\w>;KŗՔG{5tuT!C,E~V]‘k 'ˇs&kUB-a顮O(uvC䜐yօ]{D"s!A\>M^f7='F>&ސ\8w)ĩ*~xlɋc>6hrdT޼xg/˛h݆$54q\)*oѸoWpՃ"k1+0[F8wow\$wΨ挛txᤁǼ5O$鮞 *:]q]~_jmpYzU i82MY%r8lv&ZzqkCtFK) zV@W(7-lHמ7=fH>NGn #gT 5>py6\tFPw;i(;o: '}) #ۜ+/VU=E;ml")Uit2–w|?cLGȼo r9)K$6aX\f@m\!ԜXI)N]1DZQW8T;fŲ#}^S&@Y 4QZq|c5^d=v춃HVis<ިˠg?ZߧO[+:[TJT G}xU6|O+N&b#\{ݰ"Ü{q 7 mSvfw;!C=Ͼnݞ:yd;Ckz3ѻz=s)_oGeXno#2/_*,L_7i I8}kZDUH nwyu@#ݧ\ETdDϪ oVNۛ25҄#4UbV/ ZƗy+J[ƇKM+KnЊf ̀w၍ ska h4^Jіrc"_*#*Xv{+qobބ"8Mn٪yBVKG.Xb-uDgTܱҟ0/ŀȎ[a .0OsV"ńoQK2;,{ SەقQsFN^ö[0 {TV7[> endobj 87 0 obj << /Ascent 694 /CapHeight 686 /Descent -194 /FontName /HOQUBV+CMBX9 /ItalicAngle 0 /StemV 117 /XHeight 444 /FontBBox [-58 -250 1195 750] /Flags 4 /CharSet (/period/A/a/b/c/r/s/t) /FontFile 88 0 R >> endobj 377 0 obj [329 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 893 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 575 657 526 0 0 0 0 0 0 0 0 0 0 0 0 0 0 488 467 460 ] endobj 378 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 85 0 obj << /Length1 1015 /Length2 3518 /Length3 532 /Length 4206 /Filter /FlateDecode >> stream xy8}%"D$en#[v^dc XBl%Ke+" #TY& eB T}߽us}u>{a`- A+X$%01ZXS =eVRURVe`}pHO/ }FG!a #x!|h04`uG"A> x!?p;DbX~2x`_a8ϔ?i&eE8%+,?ōhC4/P,G}5#Hw}'~xcd n${3vl?(Y:Y[Ϝ !8%'f"?\㎅#1}PS`8,4RG@_%E @{I(ű*J!aiE0_H&M/@7JPP %oHk i}# iq!M Ҥ!dߨLs}`u@AYEPSU5Oﲳaf@S*Nϯ MD euD{߮)jtQd$֨N ?ُUNe33"۷~əC{3n3W 8}͆MmF-p4Q;`$|a{JB,Q -w5gcUI+S 80u;NntHھϜkϕnHegާce=.|Nn f7U2®A^bݗA6i#vMYSӖh / wp})(ϋjREߤM5^g&zVN2#ks:NH L.wnXE5\X$!˝iz ~Q%kdͶX |b=/f0:޸wz @{|:Dzz!G>e>C#WU_T2x/r6x2(SE7:"٧B̬ӵ+ 8"<1m<ҒFqt E FYiF4c2H,#w4ÉkU1LƱMƦSz/)x;a\wnˌwD&C:gWݒ˔#\_\-2|NL̲N- ]`sg EЎgՃ3nBB<6t /ܿ"<rh(Xئ6)$OS|= b*ZQoOz Y&S+keLϕ; +5UnNgzN;҃X-M%K{_ wKC!f|ke8p}4J J\ HRĻ$vcNܺ4pxkTl)jPN:[N3{ڪÃJe˦OxpŨC{ܑAֻR5X_3Iv~ >,5z߈H$)R˽6Zm=mXkϏj3߀`k5iaE"(x/IkojCwW.4}ۍR{oV&&y-Iz=}uk'S*Xyapcef"]P B I#M³*N]qWAZ>;{v y<q}~tRgL_(&}4#+ATVes\jKoI' (Ҩ&3 nV5_#l<™وm%#r>0)":[ KW~ؗ`U8uunV̱۟t_ˊl=>[xR@ai?Rm!IFB7S>;@cw}xs^;Zn ]L|7]%pOSQ~jQ+HI R旷ɛ^Iq^9(Կnֺ`[cNI>\al,j>Y(ѓ°RLsXqoTYy괔{sYvsw6ec2®ƒq桭 L(uT1PAōGe-^(na_ZR5j}^; P$f>I~f0>ԴK8$y'V㼯lz/+~evļ] t^6jym1 ]PPwd͏&c`X}>xtDMՌײZi v~0J22l;84jg;s?ɫy٧i?GZ4zgVorBEQ~D^OnQŒ^ΎUrs@iKJsG',T;؏f9dBzw-ݤ3OmA|gp]`m?*:ք8(rω ԭ{OA>7Jr\}ˆlCSyvްk+Om5c]-%pkQTHkv}ph×_ uɷVs=t-fuʀeW"7-doxBf17Y7%4~'sOo_{ 窫ϗuB:/ tZztyki}QṚ, Z9?7icKfo5х][&~J$d2Uߩ`Q6TFhngcRcYU{+G#Ţ'9s"pu%A."V:>Wxu>1̒_m'S{FK"C bmK/$q9-[3?`lrixUEz},zL$Ci牽=䞳0Uc(QIJ0bLCAT"씮cF*4M.NԜpCV/U;W^RVl0k KiBvw,uvumCy Jѷi=|x*C; glZ+l165L Q@76Ҩ#ъ=7I7ErίӱAX=*JWߔڭkD욊m iFj$ÅwtT-+Q6J^c:b !*ɱKq=e!b 7eEEGR  ;O8jJ1qě)2-j:۔(#P,Q.endstream endobj 86 0 obj << /Type /Font /Subtype /Type1 /Encoding 378 0 R /FirstChar 44 /LastChar 121 /Widths 379 0 R /BaseFont /EELXOK+CMTT9 /FontDescriptor 84 0 R >> endobj 84 0 obj << /Ascent 611 /CapHeight 611 /Descent -222 /FontName /EELXOK+CMTT9 /ItalicAngle 0 /StemV 74 /XHeight 431 /FontBBox [-6 -233 542 698] /Flags 4 /CharSet (/comma/period/at/a/b/c/d/e/g/i/k/l/n/r/s/u/w/y) /FontFile 85 0 R >> endobj 379 0 obj [525 0 525 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 525 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 525 525 525 525 525 0 525 0 525 0 525 525 0 525 0 0 0 525 525 0 525 0 525 0 525 ] endobj 82 0 obj << /Length1 838 /Length2 1215 /Length3 532 /Length 1820 /Filter /FlateDecode >> stream xRkXgZ@n !v< JD.!ā$CI;"M@ZQ** T." PW39;y;MlэF^DJ(t v=0+EP +Jn2!PD;:i8<@c"'vK"pJW*),TuJ{Zm%X\RIbDEcdR>($l>0WL)W$B gD]!8/Dو8x%QT-!vgV̱Dꯈxy::9HDQ UۯUwyJx(#ubWTVT*HD‡IT:T$ᖖbHĨT2 cD81"@*i$"X xeKopwGD'].Bqh4Z $H f2 J_<O*,@Tˁa9Q '{M}^͗AMɧ~ZkPZHVno"QVN'5WR[H8Ɗl7-O'N3-9l?kҾ?? Wڌ_桺xLSJyS;l8-݂Frp.$[^7jUl@*9CψgM%}H3H<ћRvC;Nin|t:aѰBJE?5ɡذ1QԤ nŚ~Gx}HgSδH>X*mRpp~s#2_wd36~I,>^ӕ`ݜyyp}Bv09_xge,)}n}E)&eUL(I9WܐWJY_Z.C[Z<: ֪ L{?z%c7>Hx@^KX]dO\ L|OOk4s^CwN,{kQ ^C\ڿ(NL[.>`s{ĎQfo\*؉;RR.jtJӣuz⤲>A",#Wx#8(Y3u{M.:<,]S0}܁Vq=i_dhTgel܌S!H׷Gc?UeW=fmTm$g?NuKVY5ZWӡrթܹތUh˜So_߳`-ֈyVӓ޺̙̓œnZ[z31L֟n=#x.CLSo9Pofeؐeh eۘپGv _!7+`j:"z܂,/Cˬ˖wo P֧9IBt{_ j4xN=ҶMH_y-r\0kByjY(30o[H#+J*Ni-2\h6q74n<_UϿT\tP=-ScifdLj&|=t830_x]$%L+w/A*%{,% ot1]NTo|=w^ㆌ 6?lG틣݌3jqE'C{48a\LX4g+Dendstream endobj 83 0 obj << /Type /Font /Subtype /Type1 /Encoding 362 0 R /FirstChar 2 /LastChar 103 /Widths 380 0 R /BaseFont /XBKYBN+CMSY9 /FontDescriptor 81 0 R >> endobj 81 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /XBKYBN+CMSY9 /ItalicAngle -14 /StemV 87 /XHeight 431 /FontBBox [-30 -958 1146 777] /Flags 4 /CharSet (/multiply/plusminus/braceleft/braceright) /FontFile 82 0 R >> endobj 380 0 obj [799 0 0 0 799 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 514 514 ] endobj 79 0 obj << /Length1 1923 /Length2 12967 /Length3 532 /Length 14035 /Filter /FlateDecode >> stream xUT]h -%8!pww wwww;}} }T}T՜IF$HodcvecJ+pf6B@N##`ddd#غٛ:(ڛ[MVEC3 h 4cd: &fp[6r!gH @ l-F@c8zP- N.di)oOz_Vfn{h1[TUդFfNV=*oifomb 0;d b 43s44[:Zh@!_!9}3kG%7$gA{co dc``M_UJtXXnp{"# |mAK-s7WBwd;~gW=he \NP6C++ hbR=wۼ860 H}hjk?8ٿi ]СA@\A@?zfZ-Oϖ6XA*@;']f%'PRw%|'P6w5-b,N*jV@MwHE@.ry'"N NJN*NjUx'кZgNu﷝/n_/5b:bb,B_AV!/Y +desB_r AV!/Y +dzi32fVߨ6Z& qVd?'*[9Ņ@<ӿN @+naƐ+GCppxGjpΩ6Xp˂?vԫ5jhw ]q[=GDbg^wvSݛq.SvlZYe'Wz3(4YDR-CjșC 'Ax4}YiuB}̅ɊպÈF1l%dVؤFW=. AF~=Pɗ0Q~\Q#-2GXwkT8TU腌U{`[i|>y\Myۘگ)f=e9So/20,VS ᑘXd#x&#D3L6ը&q4F+k듦Nmк/{Gb `35ܓ/F2 _?H0( 3 u acL]Fѧ{AþY{WӚ )BN_/p-x:g枀ezDV m> 7zc_/8b؋Yc)[h~9WwS"GLRV"o#WiS~}Y:_ٌ;+1\TCn)XZ1S^/LsW/?;IR,Iҗ]`('{h)#qڝjcHQg8v |Z?vwB)Eay l`o5L_Rd8HԽcd\CCEObԆo35ʋ3HcUn, '6`Ў#_8B&UʺyEs8eݎcFltVT~#?@`ޮ$-d8=~.Z:NՎ3/!,rXq8hL;̊=p_y:/u 2Лh=6.pL;m^3o۸|v&ZRi3WdLrF탸fJx $s@H=Gz9uuS-.?Yg*"gZ_a(d߯adf~yGy6H2xavy\Wdݣ*jIkLL8Z"-je]DT÷ xǕ6q(^W.1"]ԃP y^%xma1[)b#M.pkB=/+Pfk"":Ehdic~PV D'xj'¡LZzYg}5Һꔛ$ 34^5Oc;{ZJ( Oos*|lI ˍPώ]Lwݗx 528s8 N&"~ңLVdYW9^-Ըdyqq/L]ӜXސ7XX$I̹1Z[wrG>J !U|g&{jc%%н<-=ڟm}6'+qjɢH# 1+c<5Ə++ W3BzJX!+ũGT#ZyC;v['~R:;_0Wnvױ>SW 3XefA];FKlJ 'lfR5͌WẊǤ 5O@n> f d+z[^哞ECpއ%g|i^D`x(ΟHeh$#DڄK ve40tTJ5q7X @Ƿ}M5D'!4@mS ӶcFbi߼x ߈=0 li'RkU}H.ę"Ge Ȱ@QA[ ;t< j7 gA!uU`;14= _<Ԃ݅Ow\U[w~g=壩 WBhY>㈩Bq#9[Em%호u0@ tHkK߹lU(k,"*.-31Jx3qk' Pqr mmM9-r>A} |U )J$\۵'d+cI<'yxxovє}\au.G*+: 2r\B𛾇y߆ Gբcp1@P[:K ff^spZײ:D۬Gs:7o֋L)+DpϴbH.BpS ɉlG- Uuۤ+,;O/be`,/ȷm"cK[:Dj% 6L&xl0ofJx܇T *֬:`v%>k P7`34N:vL]m ͫzb;¼aQ8"r1 TuyZG߆GߺBB.!n= iɈ83愡>Cŵ?ёesہy>(W\vx;:8ѧ%r*/9MfભiW?d:#? V%eg%%4)vgg&Oם/p۫(V ʵVǧ-aOIp)ͣ/+S.y $z>鲎mJdh%~֩ >1;K%/ˉa2eX[S沢e`(Q=ҭvF(O2e4!&T)Oy$qV&u[}N뺧4.S;* L{o(;ZWnpEM'wԙֈ LdWP0ͨd n9%T-,9־QWWđh)r$?!@ kXA?P%eU%6&}UoྩmqGsسϾmeX5I6['%Wyx=՗]Zx}3xvDtS(F^ ?XєGe#LwbYR]B΃%oMQ*N"5jji& P3z[qYXğc3 6dׄH4<ʥm%_Idqyj\o}KAɁRå:|+]ݻc&L9/*O9_& Q g:=/-$lb[`%uv\+_}OZL"%T<L\!XV32JQGZm(˦n5C]3y_Td˂A(pLlH[u&$)4}kygH9SJU*)/bׂ4M iF&"dc?Q*XfQ~rgAx0:qwHbmL4-ꆟGVݝ5FN}*Īq$$CvOUPZ-`*n%+zU?<)6c"nw2Ƅĥ箏V}[ߣ&pø\nw!OU~_̄I\a68UӐR9g8(]IBef/jIJroHlnR|Sp,J>b }¤6} &HŚA*rmoqГFXG2_Wl|hvtFO =C6X9ږ\Qպw_fCY.yh?5TK)um;H?b,"ِqڞ>f:8]NܱC0=]o˂aF}{ze^g/J #d8鄙̹_d>}۷UYl<-)w#J4P\\+Fn"[K\P5^F!'85L#hxd!ӿ跟sve6΂M:hVʈeUd~R#W߇%_^ܾ0PWvń:"a ^2}J2YzV/wE`'q0ԿM)ˌ ^"uS2E.Y&&]RH.E4RVV<uY|g?_x%巳Mm~s>eNN(JXKCjOf*]'xĻ93~td!Q͛&Parg:]?S!Sb47>j]#-m[pƚRfpoDT7l,Ӛxq/9#r/|\o"xu6x߲'QI %PuC*V;+5Z0 )pwshR*xPWmU+wZdSl 7},n ̎3.?($HI-?fQ_B0pea2E> +tO.wmBdx g';*4w6ٷc p򪌰uk?m?dL[Rn=Ihpa^ ev$Λ[7`_ ${یLx|<|C4Ipm)oHǑgF^kS\R:ZLߑC$p Nճ w|@BOֲ/pm*\ L^z`ۇ y'Y ^Jx9ULϥ\OéMx?c6h+{FឋY?/t(51{LG'rHz;8N=Ē}?B^z@ts]kn6P*O6g"f!Kv{@3MRvz$=JZ9|9cIZK@g7Xi_%Th)eF?ŜILpcIm]_3ߎ|d2YMᥴ .3ո Ң;^s'gʻ2?T0Q4>ECyp1//ESV'n& +kҴU SϒQ+ ni)fJhn?yH4 =91x?pAMjzW39:|TPTiv,ٚt!aی`-Ǵg!Mj02 H* C)L3ScskƊ#< S_綑#/6+[Gi.|m(uo, }?uTh[|=PmYyy½~Kc/taW4MA#Q=rIWJrj^6\譲?$K]Ntnͬ8aK2mAʕ?yؖ4y^cWMa.ӯ=OlSQrؠ]4a&Q[=  妳V2V }C߼P%944(DTS1WA"@L)_4wq3|ZqCI$45ȟ94di-&¿$^M#k4rl,8!z͊$|{nQ$9ͽ3uH:#UmP &f*׺ƢGcokZCKKɣ}@s#Rk'rE, <_؁&qBզ$E5%-gYr6BM*r(]ZG8@)r7ơaK9rI`n8d,QQ% SAUyI nfI7[R:`!>,5sZʦN'Rj2ߣkcSF¬qN,ے F金VQ˅O*K%`{GT痢*wf `i(,Äp r7,'wϻ'g%9o aB_3WZz~ Q pO:Fe*T Nd|tM+YVK +kʰn]UCƐ*t)2r5LˋpfhXurNֵܜGuZPL8k#ε.PâaR:$.g0H>vx#lV".ʋsp B,S๰"^("`xR?C0_& CŒ4Q8rl%]vL+7u U˗_p%LH\Uer]%YP\*x_2f7Z* k ƾlpV.(rj*STjnڽJ40UՉ>f%rߌNy`a痗? 2ypzb%5$PLxg҃-%fو!, ]Ô=HU73 3ka֣Qk(iqъkѐf jR\mt5LlQgULdL¾[S_6^ >ңh)?4HtԪl{tm!nwY`xB9S0CS)8D_rn(OQ_>Ez-6s;b2dPc0X5)^Ó͠A-9u^bmf~7&nZF -DJOx:<(f;Tf >cIZȔkhP*>s6ZaVx2wo&@= gW=+* )@1e@0C'a2 \P${TsH>E5Ee{ncߏKM.FCR$4/ra:Kwq׃^4MAqcE Vlw qD,lۂ$s?Y7,Mq P[; fNzwbdưAjT0_6})C_wB*D29oMAe4@~/bh1Ǘ`&/P9kS_M} 3a^W:6W~dp7mEuf7ޝbznQs3~^gk^_볒վЦ E/nTGb0k#90S 7Q7/軟33*oS\1iao2C6z 䪨0VpaB/h'`,֒]gOMeF.ܫUPZЖa$*XqkQOh$N%6;x&"@Òn@[ңR6^Te7aEtI%2vJ/ճs]PKVF3%o w# pC+ŕO]sdSTpx1.>RG)u(KK),<|$\8b6F |Fz5inʄn;\ feW!C'H4CFyѦ G,ݬ/S|Z!b<%-Tp&Uk7R*&KLy$'L,a-zJ!·?YԠfjAw9\!a#-Y<7|TJdnC.l:TycO!3g͏8b.1!XBIGN=Ut_5|CisJq_D% O|RQ=?B;F>V.7L iVow|0 }fs Jd#E,B3z. -_<cc¸̽ZgiIb H9ԫXĕn'{q}dw'+7FU!r=+jJd+xn-&wUKWro|4($R qUd6| pe>5wզKUE\{?F}1B*CA!hU fo-s#\AZ pZi&'f+V7_sUXD7 2G+BC&'滭oᯏ`#eup8?GxVl˧6"<5hx&qb35fimfhʈd::fA#ZhEO 3ppz/=_@us".җC 3LLѨ/{IH7~jiO{*1tԬԓCaSOI̷O{+Q?.CV6F*X"mIj诂)39w\tt߮ҭ7D)krEGG\6-Q8G[I!N8ijDM D6`  JB[/-4W6ny:iEP;.9e'DCKendstream endobj 80 0 obj << /Type /Font /Subtype /Type1 /Encoding 359 0 R /FirstChar 11 /LastChar 127 /Widths 381 0 R /BaseFont /ZRAZMS+CMR9 /FontDescriptor 78 0 R >> endobj 78 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /ZRAZMS+CMR9 /ItalicAngle 0 /StemV 74 /XHeight 431 /FontBBox [-39 -250 1036 750] /Flags 4 /CharSet (/ff/fi/fl/ffi/parenleft/parenright/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/equal/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/R/S/T/U/V/W/X/Y/Z/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/dieresis) /FontFile 79 0 R >> endobj 381 0 obj [600 571 571 857 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 400 400 0 799 286 343 286 514 514 514 514 514 514 514 514 514 514 514 286 0 0 799 0 0 0 771 728 742 785 699 671 807 771 371 528 799 642 942 771 799 699 0 757 571 742 771 771 1056 771 771 628 0 0 0 0 0 0 514 571 457 571 457 314 514 571 286 314 542 286 857 571 514 571 542 402 405 400 571 542 742 542 542 457 514 0 0 0 514 ] endobj 76 0 obj << /Length1 1286 /Length2 6256 /Length3 532 /Length 7051 /Filter /FlateDecode >> stream xe\] agFAERn=Wsz3ߵ^^{]3.4fQ9ùA< 123˺A,P%"[e\ݠvp,_Ii'n 8!kX[:taPܛ k;@qypA j XAlθ9Rv#\qsG!M0gGob˫CjANo GG KݥZt:zOa`BeN_2pKG#Wpk;;8m:ߋZPg?eA7LCL:#BP`f鍋 $ |A3x!8-dK607ܿS@kbq+( ^'7l#kC#PBH$ ~roC"L߄TM} zr y-ȳB "E R:H]B:H]un RD "m @ ?i7!ui/7j#{3QCN (,$wq A.f(@ ָK0k0戊o08ض$j4t.&=p,SuX{ktSEJ+N? szX|i6:Rvaz@<{q(@sz}E-69z>ƾaBF YoYu3\+"W=S^NGbr.:o?XPMe|8a}i-Dz;+lYYs.̚nO5ךؔoU /ۻQkY'[V ;,5ӎة*7Em4Ʒ2A,k^3ݫ/%̇n ̤uO'ܵW(%fbێV^kZ<|$:+Ԯ8U΀DbGCodb b(VE g!@W({yr]>ָ70VU&GBߔe7ȦhpYCe= >0i2s xGT#OSo2PzYų/Ch0"[*QJ 6rNPB01ul䑴/y@_F6'(fZg{G_UU8*XMm%^$TJkmδʗn~o:*J~" 6/xJu8Oqg!h|\A( oK(7OWUdw ._F$Q[[;ὃ/YD''/Y Ș5ғ Z;} ym&'Y,#>ˋimGtAJj;9 }vϝ7mY ~X [)엳)nUb|>{;svKK8नxVA8ɣuvC^ޢ}3j7O DVF|[2xd=pkᵺmEBElQg& xI. ~xWV`#x{0DT%k&{/)_y`5?5Ђχ d_1Ԑbcutw63dBEkYr[xUTIvl$󃟶(`Rܰ%*L'rdSP?9[Tҫv c""(TfcR&HuuT܍V1R#t00л+^οMw5d͛= Uȿ ELQpr*EW%P[/Ǿ+9m ]1nVpٺ6M %v %PK?:t= An&k;Ofi=EM# ׀~5)#ch"J-\q=!&Pɦe]u 3x%/j :dۍҝlS2n50tㄓ0Msi6#,zh9Bj/k1q UP;q^+S} k'R3Y#.'|7?W' -HwUՕu~0?Ln?9dOCVc2wL6kLfthrZPhwf,%I3,, Um+<>'s_Hu]&GmXz&* cEd($qP@R:v:jSvy$[2^ hnwZ䖣˳nw6[of*X4ʷ'6f9A%Y2.V<Hrr07ZYfzIiУy#2 {pdzw1nVZb#ӹHUu/,Yq3Xeqկiy;j1ŗaJ~W(秘qi>N!o]ZTaS:.O0W)'i}Wb MAK7-^:1 F=o1${t=Ͼ}dXpE6Fup =. 0Һrnre-?=UMγS4;iKybvn:^tˋX3V*}ߓƘ '&kuyԟ^e:f\1!z/&ބ]S/|E7 bU]jn/rj,jZoA57@PIg졙wMa!v+ue!y7;Ab¡/蚋큄t3d+6oC d2YJ_E笫lb JgqORi<lrxi}VѐcQ'dhqњ1f(Y oyqy =F[AI>OhŸp @JVkr2BD۩ɞG{>ތ#ټQ/ErZ(\B,=t# 2ĤKNJ. s:tǏs|#u{ÿK]wJ~tD %,5CHȅV)\ e`9m].N<m_HI L^8 7)m+:ߚέ\5\),-rZ9SYys_hu,ҾT)el($緪eA-zgmn:MWuP{[K1)idp<+O]#!rZk+FHKwu?Jm?MU#ķ߱n׏-L&e6=ߧyŚFic*.PjBs~zA|fB'Ҿv*hpSCbwmj-' 1}i ^b2҄mfؾJ:Pgj$?^%|-_ya~ujc綹i9aߌC~ݺՒ>1їl.Dzf)r挿Q墬̚F eEPycDD3Z2( _mb &eZ$X6GLͩ,bL9PT >N[}U=[섫=uB2)jɩy?`>;ZǷ9+JVFDJ`Ȧ)gJdDǒp/Fx3/ i-7ץVaUc⫆0C:~l)WF.OKF7vZ1T>̜u8xtBba®ĚCPMEhy*[')>gE` ^cT, %nK/>'J(Ơg6 8Qp މl"iz{'ܞ: X^cV ({r2 bkhU\/F<+&kĴGrf[>Fo"rMy\|§5 =50Zh1;zj/ۥ¿p8gT\؂[vX1KJ! (y1{5KijZYkXX;nʼn,RƎn g&B%уMkptjtKbώ3PC檪 V;wVo?ћ Dl!sםe\{bP/qLJ 鬞3+/wo>I &'wRFvWæG$YɢGw{9tku-chdRh6Qk?8*e`Я/Gut~\h®ƣ;2cڏ`εf^qX>PSGwtc+C/#uer~d+}6ByG-{?ݴ /㭣A/夣cSzU0֝J\9} a# 1I?h2b,mI_}Ԕ/嫦`%bAD8s͞g.Ve+D:gg{\Gyt{O>BQkB3Y_jfT\1aVtx2HQ҇9lÎum(bIyaCT0)-Ckz{ؒFJDXNmNg;JwhI h&=>jYw#+ڿ n^i'c\ٚn$'層o[C9JJP+&( ™i ,aD;~.e@Ys[v>~9rG1Ed^xƈq$SAә+=%ƙ%Op* DЭo"pA߰?B;~!B zQ;q:"n$%X;%xN+?}~N*JȐtAbykEn|a`Q&mVO\, PRՕU!F5q?< MA7/qw¡J>|ʯĢ>v8_T$iP,sd7%(4S:dˬ%%j`utD,;eUt%u&eI#u[ʥ踒 oR!.DM*FKflawq/{h6.UvTM.Ò̝3X3ZLl5 ia8n5 !W_~29?56ɤXĖ}ev}I*1EnCR `#関4'([۔ǹTB8]w`Gzor}H7VGoô]㮝J1!9'c R7"#p! 6kq*6Ɍٚ^[_$Pe\v|O@¸i-SLMl4C#JÛPaz9R(DŊ5:߮4CS6Kvo&@р>MKKZeȆUX\vɭ |G}mFdct*EwOģlK~Hr 'L'xUx$&c" ݰ.Ydd |o]Ԭ%*dWԵ<A j )۰K>WUK#vXukȳOl+|߰"D 3Tm%ПJ˩gq:zP>`tތRUzx!22@$n|,}F(uQ'`K{O&"A#'r{-5w -<5ćX+mTXIxٷ`Em=ihXwsw* px2c ;to|.=,MHi(3]y/W"**4& f!FCi앤 ` /@WrbX Jzi:haW.qHd^ѷrÅ8}8(!C(بj,3oaW>@Y*v  ?Qb9Y9/nrendstream endobj 77 0 obj << /Type /Font /Subtype /Type1 /Encoding 359 0 R /FirstChar 45 /LastChar 121 /Widths 382 0 R /BaseFont /ILIKXM+CMBX12 /FontDescriptor 75 0 R >> endobj 75 0 obj << /Ascent 694 /CapHeight 686 /Descent -194 /FontName /ILIKXM+CMBX12 /ItalicAngle 0 /StemV 109 /XHeight 444 /FontBBox [-53 -251 1139 750] /Flags 4 /CharSet (/hyphen/one/two/three/four/five/A/C/F/I/L/P/R/S/U/W/a/c/d/e/f/h/i/k/l/m/n/o/p/r/s/t/u/v/w/y) /FontFile 76 0 R >> endobj 382 0 obj [375 0 0 0 563 563 563 563 563 0 0 0 0 0 0 0 0 0 0 0 850 0 813 0 0 707 0 0 419 0 0 676 0 0 0 769 0 839 625 0 865 0 1162 0 0 0 0 0 0 0 0 0 547 0 500 625 513 344 0 625 313 0 594 313 938 625 563 625 0 459 444 438 625 594 813 0 594 ] endobj 71 0 obj << /Length1 1964 /Length2 14020 /Length3 532 /Length 15105 /Filter /FlateDecode >> stream xct$޶۶m۶*I:vұmc[ݱ;Xo9gw~F5z5TEQ G"B"GI)0qvt0qHL/>N>N68JqG'okK+7qID.f&$&nV{f&v$f7o&Q;;z\.s&8VVsk37S?d,I+l?MW)٤%4wt&1X1+9@/o߃K)3?M; Bhpqߩڀ0v߭n&vfv YJY{U̬H,L\ `eYKGWEC_m*&nN1VڋDX^V`"? % '7pėEffrptv!ğ9ſbl@@$if-af'(GW2PO(ghoo'Ildp: q0ڙZ0\~fNQ7?@nV.2˟?+hfYW_^+ 9s:Xm99Չa34pv7X\@9?C@?ԐC%MBH!@/&![PO -?v!ffw ϘE^?^5r̡r5`(.@Z~Յ |qs[ઋ7uAO \P|T"]L~VVkΝt !VV|FWOܶ;E$ݯwGl܏hY\zm ̀\ՉvC(JbfVYY)"aDALB׾$c͔3ܛK٘=ALW˾I=tZ[,=eZ<?st;kķiRtiтI/A&b}, 0M/ + L{p؃@Xs<+[(US=cbߺH('zŞd@J&0YMx-$m[lf#ڎo0RjB4^oJV-x<҂MbeVC k[ut`& " D@6u4LNP=Al|lS N;"Nq*%2 xŇ( c7r5OUb2'^9y2Q<Zv[Nzw^f\UnJA܉PPPC4NciOH):My\M=FS*K\ AWnG+AHMKZP}ijJ g= i(I(o}TRVsf?H*K).zJ9h":p@79P3; )ƃΩxeC~ijm+3o&)DxcQ=Qԭ(3axN$IWʷ"[o!wđ=/-~<.q 9A(@%:ͪ_YղY/By+s).d;!>|-YgO~I%nnXwBX[KU tŠ'pP-Fk(3rR.w)=A[Ŧte-<;Q|_=t [쎎05I\C7X]0\9t&p/[^DJ 8xtU>=e_ԳvvL"^b57j$HeHEvX~Y.e įwh_ [.SS E4mQ؆pzbs{M3aSl3MsnBl8'ԬF3c .J<9y]?g/aiW9bd!Ut$G lV؋I m޺GIʦjEѾa W35ٝ(n 9Q1;D9&T:{B>r8.#}|(̺ĉYljHAr-n?(-vJ *m;èyAzR: ̷s|(Nw5"gܪ0f՜KBQgv>W_bWx(ƋJ=1=ZCd VVj3C1nO⹛Trm^C3VƦw;o# [k%`5PPZa*d:H/mJ K v+h.bPBi^C%.]렡lJºiPRCe<@oSuzO۱4ʀJ)Ne38 *ӾKugfHޘ4~ec{+.Ш`ۃ=3dsBjB C8ep-]<*t7 ։/mœT)p˫V8.?g+PtTqJJ=AD mVr+gQ a<ۣ‹}F1H¡}h3`5LaSpuLDy#qW3eL݃|]7W4ko_}-&O;BȨ5ʩڇ Gc3m=faD Pž"Ub?b4$c5L%R缼*w"@[JC܆OT# ̺{L)3dpHn/tBO+yW-Ҁe 5iZ^6MJ.yܩʚ 7YM>ŪK߅ Tl\=X]Bmf1qYgATSqAHHjQ|/889`aA^Z*|ΛufېwEBLOq~z" ]w <;q&W"/Osom C* ({ol%ȣr)8_{`&#k" !sY%L@brzͦL4`]\P0jKO~` 0KsHTǾ^[US4L4;]vL-0wXD_E%qS'Sc296fFn 5lH%cdЯS_Hwz2yj ;,Y48ٜhD16`?{NggZE9Fӗ+9%TqȚrwwB ZKV 5sV+uCf+#KAWh2wӻˎAFteߦJxa9`#/My1P+G@8jvN}kaa& Mw_!YfkO0+VgrĻ$x( M4Ś 4Մii,ÎצCU+/#/8N.٬G l5iϩ5?z^/q /}]X=PD9U50Mf6A2~x!_JmX9%V-A?| E.q ?yK(*P83u.͕C1L#*K.L3ڝ̠_@̼&`0+q#q.2ބ3deM[X%z{OMsC2 O :^[_ڠy{TI|UOgLmf 1"D=l4vm'"uW'M}przgY;sC鮦* 7+1GZ7Į'%X&~ZkvhQ.C8@ dK%A#sAb$.;(󃎭b;SN_O{f'$e2 0~16zԦJn#scPmUG9;U~6L|+qAЩևHf6JkaLGjzU퇻ak聢$L_khĜD  grTA>_U% L-7 I!ɸr9#Zx0 NXy}h+tw~\i~^ d@|qOXC`X,&y&ka@n}ʖgj|I_jߛX:hR&gW2"X>ktR-)\qmA}Yl[I^V0auҎq@0:]h,2ƤpW6Ŋ4@<ԛyˏv-VUACȨwl;$̈́:`h)ĎcCQZW-ji_[&c'wX:>ZJ#zf%җ'EIÐxkbg i@{/;$p.?o*şCh/Y>2m@~}ȱ@y`]c`C$UhZ4n9}C#CЦh4:`F|'u)m|_ST\>uPr,/ ]&h-6O JVܪjTyȷfH&&wPFN;z#/6&S?vx 3|pECIPIEFvDy)6Lc3&#Rn^}-T ].yȉȬe˚`UL`Ac/Z,usYiqo]Q~D٥ھ*Ϋ{ilЏFQ~b+f4Þ2`HR3 떃݁Y Oi0oa.1-~ɴ !9 4++=` wڅG?>s\]A4@% Gt(LZ[~&gS0J .yu_9kpʣ&m"m; >m$obUK{6fJ[ޭ)yKhA#-I}l.L}6]JYeˌ늨h8ϝXqV[scU{#}Hh XIBUͥ2TQe2?|fT52- __Epڒ1|cD(`M1 j,؃'^;zU@5\`:[{g\[5*?{.?uf8>4v Rk)#|Flb8՚H#!=}Gɐ%GCngbg٘Q+%- Q1txXoT$!nmc3~3mucL1r2߂jX(5'гjO=wKdfEgg;뙱yK罒>6pUgJs)A7x,FqR}ϡPTv[yKy-( xviE~XerZ&ֻhJf(+~{ k5_VJ5{T* j6&";p΄rzZM{WV8S+L_ANi^뺥ecI1!ª7PwaSUԠ+3[+ܯ؇O z3okٚsy. g:\TH]䳭&{->Z\|?+Q2=DT~%=Eeuw 9+U;mQ5ۇMH(=؇D8oh@m(;#ъ@X]<)Q7b7?\;@/?岼:8)U\%'r = tFwJ 7w#eq|P/fU5/WСji_a[bXP&ޫpѢΑ[vLgeZBIb ǔW0~θ?1]9d7 7ZcSNCc!m9+q4%b%+! bg!+u!E  vlѯu8"dS>Pu zR.zQ\ #Fdʐu)nZ"&DAMc2jtsWVvj9xZ92 @ $ZHK.kCM:dK hZFTUo7gK/(C WW~H[%p(ʂ+@. /RO=t5;u7!Ѹ 2!h @`yim!yÙv =jrot^$ `]sIy')DmP#"B؏g󲛅^)?݅SDq4[p0&h;8'v>$DΤE+UnPqrCHSK7%~+[g02'P :\F~o*3 )L2YIw=J𫼽ub2  % ޲_늸G%`QRAF6_Esأ]  iUtE_*KYqW6?H"߮kb{`Q[9↯FE(~ӻL6GAIV%^oB]iBS7J-%h"nIy'Pm}Ԩe46ާrX;K[F:uy1$zNH-CVU0}iη9WkT뮜!i ú(WϘllOۇ <׎A^HͻSX+dJ?4L-b=:Ϋ }J͕0O`ol[ }!n.k! \F(-~^m?P)ǚYȩxUoGd2"=V ֙JH_՞׉G \rR:~靃|IJ()~ /ÖgjdX[r$.Y6,wb^a_x~p?/Wr9TT;p.d.>?#$[H&z_o gkZ&]3w]. ,5T'# K3&Ukv B q/_X%[@ MU6;X7AEt?|$fUMЌҞ '8P1jV9~&mv|UjF6ʠO$u*^c*D2=J-#|6!Lu7&+i:ıȢڸYOP7" 빂=i9bc"Z{}ްHRzji x :^!|&uF-+f'7'@j}䃖Ѳ<<#l]IN)ga;QGǮ:wğGlͤ;H7 ?dzToiaa`ml(,.ιM YyCb! -kҨR B {[z V 4b{61TJ.TZXo?.NMg#07Z$y:,d}GNRc)iWB4cjp}kgBo:鲶͝b4-݆jx,2^eߺ[y9Ν8\>1ۃň8=8qe%[ zN天*3]45mr`lڹ8{.>Ar2 ăε)pֳR/KEy{݆ĨrƂ?SL|ڕw,aT\,E?LDu!.Qw7}Z|Vpƣ<@5L[F4hЧg&?!jأ/1 C5CN~]II ѧ+wcyN?O6"oOIBa`7KM< w4jL6V Oi2Ny!$UPI,!L{  zmM^`L}=8ɤ3GcD*qlRq ]"S9tyѪ07):C|gL64oUGKq]9׍-:y:݃E#^܎3ӎY@D ;&1#!7GӚ8 2?8 r;"$$ !h[{ju5\\} *!N3b\ɷJ;4,mθ"2=9=;TjqTó8h@ʾ(NZ@g\U&"3xyIm$N!..KMQ~K@xE`W )3tnJQ7m|+jk$¦}Z#`,bN_SC|+-9@Y~DK[`xǕjqf1{V@Qo{6m-bG~VTm#>`$j=bG⧼h\41B,NTEdMn*l烗ؽnT/6NUQf}Xkd&B BiBqBIk]./LlTYIoEPgZ=*} %9V[(:]) Q&%>[O8>rhvӱcb^pa˸^W)QzX?CdzrQ|- ߴq* sD~ |d5OEʇ±Cq'PR[Ƞ9U(cZ7,j^{ᕚQ"_S\O!ˇ7aT3J#3T (pi$Ojolf%kjk8ߓY[u<4F ISA-4#G (U紮OXXنs4;_"|P>(K) ޷7 ~=Kvw@Kl1L;siDpIjKT|9֖`ZueFVJujh&\q_݉ ⃷';<Wa<xE^goc$6*;4G* wƖ18:b{6Jn3D  xiZx"Nxw'gZ̥M |m^{/) a]Rn28%#Ix#8Lng;\xIg%"cQGhO9r+v}l=o Fת V"HwmͿ`5 D~-ZZ5xyX)|LH_^{3BAOi?3$0c`rF+dfb.D$wT+;K5?M`RP՜^=W}"\u(sOG"*̶HB[}aOfJśϫ7:~F$)TݹTuZʴ5> endobj 70 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /VXYPTG+CMR10 /ItalicAngle 0 /StemV 69 /XHeight 431 /FontBBox [-251 -250 1009 969] /Flags 4 /CharSet (/ff/fi/fl/ffi/quotedblright/quoteright/parenleft/parenright/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/equal/A/B/C/D/E/F/G/H/I/K/L/M/N/O/P/R/S/T/V/W/bracketleft/quotedblleft/bracketright/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) /FontFile 71 0 R >> endobj 383 0 obj [583 556 556 833 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 500 0 0 0 0 278 389 389 0 778 278 333 278 500 500 500 500 500 500 500 500 500 500 500 278 278 0 778 0 0 0 750 708 722 764 681 653 785 750 361 0 778 625 917 750 778 681 0 736 556 722 0 750 1028 0 0 0 278 500 278 0 0 0 500 556 444 556 444 306 500 556 278 306 528 278 833 556 500 556 528 392 394 389 556 528 722 528 528 444 ] endobj 101 0 obj << /Type /Pages /Count 6 /Parent 384 0 R /Kids [66 0 R 107 0 R 124 0 R 142 0 R 156 0 R 180 0 R] >> endobj 205 0 obj << /Type /Pages /Count 6 /Parent 384 0 R /Kids [197 0 R 210 0 R 221 0 R 249 0 R 261 0 R 279 0 R] >> endobj 309 0 obj << /Type /Pages /Count 5 /Parent 384 0 R /Kids [288 0 R 313 0 R 341 0 R 350 0 R 354 0 R] >> endobj 384 0 obj << /Type /Pages /Count 17 /Kids [101 0 R 205 0 R 309 0 R] >> endobj 385 0 obj << /Type /Outlines /First 7 0 R /Last 63 0 R /Count 5 >> endobj 63 0 obj << /Title 64 0 R /A 61 0 R /Parent 385 0 R /Prev 59 0 R >> endobj 59 0 obj << /Title 60 0 R /A 57 0 R /Parent 385 0 R /Prev 35 0 R /Next 63 0 R >> endobj 55 0 obj << /Title 56 0 R /A 53 0 R /Parent 35 0 R /Prev 51 0 R >> endobj 51 0 obj << /Title 52 0 R /A 49 0 R /Parent 35 0 R /Prev 47 0 R /Next 55 0 R >> endobj 47 0 obj << /Title 48 0 R /A 45 0 R /Parent 35 0 R /Prev 43 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 /Next 47 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 385 0 R /Prev 11 0 R /Next 59 0 R /First 39 0 R /Last 55 0 R /Count -5 >> endobj 31 0 obj << /Title 32 0 R /A 29 0 R /Parent 11 0 R /Prev 27 0 R >> endobj 27 0 obj << /Title 28 0 R /A 25 0 R /Parent 11 0 R /Prev 23 0 R /Next 31 0 R >> endobj 23 0 obj << /Title 24 0 R /A 21 0 R /Parent 11 0 R /Prev 19 0 R /Next 27 0 R >> endobj 19 0 obj << /Title 20 0 R /A 17 0 R /Parent 11 0 R /Prev 15 0 R /Next 23 0 R >> endobj 15 0 obj << /Title 16 0 R /A 13 0 R /Parent 11 0 R /Next 19 0 R >> endobj 11 0 obj << /Title 12 0 R /A 9 0 R /Parent 385 0 R /Prev 7 0 R /Next 35 0 R /First 15 0 R /Last 31 0 R /Count -5 >> endobj 7 0 obj << /Title 8 0 R /A 5 0 R /Parent 385 0 R /Next 11 0 R >> endobj 386 0 obj << /Names [(Doc-Start) 73 0 R (Item.1) 162 0 R (Item.2) 163 0 R (Item.3) 213 0 R (Item.4) 214 0 R (Item.5) 216 0 R (chapter.1) 74 0 R (cite.BFGH93) 335 0 R (cite.Blum80) 242 0 R (cite.BrCh95) 337 0 R (cite.Cousot77) 120 0 R (cite.DH02) 245 0 R (cite.Darwiche02) 244 0 R (cite.Gargi02) 311 0 R (cite.GeMe94) 243 0 R (cite.Gulwani:Necula03) 121 0 R (cite.Gulwani:Necula04) 276 0 R (cite.Gulwani:Necula:SAS04:gvn) 277 0 R (cite.Gulwani:NeculaTR-SAS04) 241 0 R (cite.ICCAD95*159) 338 0 R (cite.ICCAD95*236) 333 0 R (cite.Karr76) 119 0 R (cite.Knoop99) 310 0 R (cite.LICS97*88) 334 0 R (cite.MDG) 339 0 R (cite.MTBDD97) 139 0 R (cite.Motwani95) 258 0 R (cite.NeculaPLDI00) 177 0 R (cite.RWZ88) 175 0 R (cite.Schwartz80) 246 0 R (cite.VDG94) 140 0 R (cite.Wegman88) 176 0 R (cite.boolean-abstraction) 102 0 R (cite.dac93*54) 336 0 R (cite.guarded-command) 178 0 R (equation.1) 186 0 R (figure.1.1) 103 0 R (figure.1.2) 127 0 R (figure.1.3) 128 0 R (figure.1.4) 200 0 R (figure.1.5) 247 0 R (figure.1.6) 259 0 R (figure.1.7) 316 0 R (page.328) 69 0 R (page.329) 109 0 R (page.330) 126 0 R (page.331) 144 0 R (page.332) 158 0 R (page.333) 182 0 R (page.334) 199 0 R (page.335) 212 0 R (page.336) 223 0 R (page.337) 251 0 R (page.338) 263 0 R (page.339) 281 0 R (page.340) 290 0 R (page.341) 315 0 R (page.342) 343 0 R (page.343) 352 0 R (page.344) 356 0 R (section*.1) 348 0 R (section.1.1) 6 0 R (section.1.2) 10 0 R (section.1.3) 34 0 R (section.1.4) 58 0 R (section.1.5) 62 0 R (subsection.1.2.1) 14 0 R (subsection.1.2.2) 18 0 R (subsection.1.2.3) 22 0 R (subsection.1.2.4) 26 0 R (subsection.1.2.5) 30 0 R (subsection.1.3.1) 38 0 R (subsection.1.3.2) 42 0 R (subsection.1.3.3) 46 0 R (subsection.1.3.4) 50 0 R (subsection.1.3.5) 54 0 R] /Limits [(Doc-Start) (subsection.1.3.5)] >> endobj 387 0 obj << /Kids [386 0 R] >> endobj 388 0 obj << /Dests 387 0 R >> endobj 389 0 obj << /Type /Catalog /Pages 384 0 R /Outlines 385 0 R /Names 388 0 R /PageMode /UseOutlines /URI<> /ViewerPreferences<<>> /OpenAction 65 0 R /PTEX.Fullbanner (This is pdfTeX, Version 3.14159-1.10b) >> endobj 390 0 obj << /Author()/Title()/Subject()/Creator(LaTeX with hyperref package)/Producer(pdfTeX-1.10b)/Keywords() /CreationDate (D:20040921014300) >> endobj xref 0 391 0000000001 65535 f 0000000002 00000 f 0000000003 00000 f 0000000004 00000 f 0000000000 00000 f 0000000009 00000 n 0000005434 00000 n 0000256048 00000 n 0000000056 00000 n 0000000086 00000 n 0000040256 00000 n 0000255925 00000 n 0000000133 00000 n 0000000182 00000 n 0000040317 00000 n 0000255851 00000 n 0000000235 00000 n 0000000272 00000 n 0000040502 00000 n 0000255764 00000 n 0000000325 00000 n 0000000361 00000 n 0000057430 00000 n 0000255677 00000 n 0000000414 00000 n 0000000463 00000 n 0000061881 00000 n 0000255590 00000 n 0000000516 00000 n 0000000592 00000 n 0000085018 00000 n 0000255516 00000 n 0000000645 00000 n 0000000689 00000 n 0000089981 00000 n 0000255391 00000 n 0000000737 00000 n 0000000792 00000 n 0000090042 00000 n 0000255317 00000 n 0000000845 00000 n 0000000882 00000 n 0000090103 00000 n 0000255230 00000 n 0000000935 00000 n 0000000971 00000 n 0000095344 00000 n 0000255143 00000 n 0000001024 00000 n 0000001073 00000 n 0000103101 00000 n 0000255056 00000 n 0000001126 00000 n 0000001202 00000 n 0000103162 00000 n 0000254982 00000 n 0000001255 00000 n 0000001299 00000 n 0000103223 00000 n 0000254894 00000 n 0000001347 00000 n 0000001394 00000 n 0000110655 00000 n 0000254819 00000 n 0000001442 00000 n 0000001487 00000 n 0000004801 00000 n 0000005493 00000 n 0000001537 00000 n 0000005254 00000 n 0000253444 00000 n 0000238059 00000 n 0000253285 00000 n 0000005314 00000 n 0000005374 00000 n 0000237526 00000 n 0000230195 00000 n 0000237366 00000 n 0000229351 00000 n 0000215037 00000 n 0000229193 00000 n 0000214570 00000 n 0000212473 00000 n 0000214412 00000 n 0000212024 00000 n 0000207539 00000 n 0000211865 00000 n 0000206128 00000 n 0000203184 00000 n 0000205969 00000 n 0000202506 00000 n 0000190893 00000 n 0000202347 00000 n 0000004936 00000 n 0000005102 00000 n 0000190283 00000 n 0000179057 00000 n 0000190123 00000 n 0000178801 00000 n 0000176246 00000 n 0000178643 00000 n 0000254325 00000 n 0000115731 00000 n 0000015332 00000 n 0000007977 00000 n 0000018436 00000 n 0000015394 00000 n 0000007829 00000 n 0000005658 00000 n 0000015270 00000 n 0000175612 00000 n 0000166018 00000 n 0000175450 00000 n 0000014798 00000 n 0000014952 00000 n 0000015107 00000 n 0000014640 00000 n 0000014696 00000 n 0000014776 00000 n 0000121651 00000 n 0000120970 00000 n 0000121403 00000 n 0000024806 00000 n 0000030187 00000 n 0000018280 00000 n 0000015517 00000 n 0000030001 00000 n 0000030063 00000 n 0000030125 00000 n 0000029389 00000 n 0000029544 00000 n 0000029697 00000 n 0000029849 00000 n 0000024648 00000 n 0000024704 00000 n 0000024784 00000 n 0000029231 00000 n 0000029287 00000 n 0000029367 00000 n 0000121218 00000 n 0000123003 00000 n 0000034515 00000 n 0000033687 00000 n 0000030323 00000 n 0000034453 00000 n 0000165372 00000 n 0000161254 00000 n 0000165211 00000 n 0000033843 00000 n 0000160762 00000 n 0000153237 00000 n 0000160600 00000 n 0000033996 00000 n 0000034147 00000 n 0000034300 00000 n 0000040563 00000 n 0000038763 00000 n 0000034635 00000 n 0000040194 00000 n 0000151864 00000 n 0000146064 00000 n 0000151703 00000 n 0000040378 00000 n 0000040440 00000 n 0000038951 00000 n 0000039099 00000 n 0000039248 00000 n 0000039401 00000 n 0000039564 00000 n 0000039717 00000 n 0000145700 00000 n 0000144085 00000 n 0000145541 00000 n 0000039872 00000 n 0000040031 00000 n 0000121837 00000 n 0000115545 00000 n 0000121775 00000 n 0000121156 00000 n 0000045152 00000 n 0000044582 00000 n 0000040734 00000 n 0000045028 00000 n 0000143757 00000 n 0000141709 00000 n 0000143596 00000 n 0000045090 00000 n 0000141450 00000 n 0000138883 00000 n 0000141291 00000 n 0000044722 00000 n 0000044875 00000 n 0000137647 00000 n 0000136212 00000 n 0000137487 00000 n 0000048641 00000 n 0000057491 00000 n 0000048485 00000 n 0000045349 00000 n 0000057306 00000 n 0000057368 00000 n 0000056696 00000 n 0000056849 00000 n 0000057002 00000 n 0000057153 00000 n 0000254441 00000 n 0000056538 00000 n 0000056594 00000 n 0000056674 00000 n 0000062128 00000 n 0000061220 00000 n 0000057665 00000 n 0000061819 00000 n 0000061942 00000 n 0000062004 00000 n 0000061368 00000 n 0000062066 00000 n 0000061521 00000 n 0000061670 00000 n 0000073801 00000 n 0000070293 00000 n 0000067392 00000 n 0000062286 00000 n 0000070231 00000 n 0000067652 00000 n 0000067800 00000 n 0000067970 00000 n 0000068118 00000 n 0000068265 00000 n 0000068417 00000 n 0000068569 00000 n 0000068725 00000 n 0000068875 00000 n 0000069024 00000 n 0000069173 00000 n 0000069322 00000 n 0000069471 00000 n 0000069628 00000 n 0000069777 00000 n 0000069925 00000 n 0000070078 00000 n 0000121527 00000 n 0000115793 00000 n 0000121342 00000 n 0000121094 00000 n 0000121032 00000 n 0000122941 00000 n 0000084957 00000 n 0000085078 00000 n 0000073653 00000 n 0000070413 00000 n 0000084895 00000 n 0000084432 00000 n 0000084589 00000 n 0000084742 00000 n 0000084273 00000 n 0000084329 00000 n 0000084409 00000 n 0000121713 00000 n 0000089919 00000 n 0000090164 00000 n 0000089214 00000 n 0000085252 00000 n 0000089857 00000 n 0000134162 00000 n 0000129574 00000 n 0000134001 00000 n 0000129344 00000 n 0000127280 00000 n 0000129185 00000 n 0000126112 00000 n 0000124154 00000 n 0000125952 00000 n 0000089362 00000 n 0000089521 00000 n 0000089685 00000 n 0000121465 00000 n 0000121589 00000 n 0000095405 00000 n 0000094331 00000 n 0000090398 00000 n 0000095282 00000 n 0000094495 00000 n 0000094647 00000 n 0000094806 00000 n 0000094965 00000 n 0000095113 00000 n 0000103284 00000 n 0000099963 00000 n 0000095577 00000 n 0000103039 00000 n 0000100231 00000 n 0000100380 00000 n 0000100529 00000 n 0000100678 00000 n 0000100837 00000 n 0000100986 00000 n 0000101135 00000 n 0000101282 00000 n 0000101452 00000 n 0000101611 00000 n 0000101769 00000 n 0000101921 00000 n 0000102075 00000 n 0000102239 00000 n 0000102395 00000 n 0000102550 00000 n 0000102713 00000 n 0000102884 00000 n 0000254558 00000 n 0000121899 00000 n 0000121280 00000 n 0000110715 00000 n 0000107788 00000 n 0000103441 00000 n 0000110531 00000 n 0000110593 00000 n 0000108040 00000 n 0000108198 00000 n 0000108355 00000 n 0000108509 00000 n 0000108663 00000 n 0000108818 00000 n 0000108972 00000 n 0000109130 00000 n 0000109281 00000 n 0000109434 00000 n 0000109588 00000 n 0000109741 00000 n 0000109899 00000 n 0000110051 00000 n 0000110215 00000 n 0000110378 00000 n 0000120722 00000 n 0000115607 00000 n 0000115669 00000 n 0000120846 00000 n 0000120660 00000 n 0000120784 00000 n 0000120908 00000 n 0000115855 00000 n 0000114611 00000 n 0000110834 00000 n 0000115421 00000 n 0000114767 00000 n 0000114921 00000 n 0000115093 00000 n 0000115257 00000 n 0000115483 00000 n 0000121960 00000 n 0000120486 00000 n 0000115987 00000 n 0000120598 00000 n 0000123065 00000 n 0000122767 00000 n 0000122054 00000 n 0000122879 00000 n 0000123159 00000 n 0000126310 00000 n 0000126334 00000 n 0000129546 00000 n 0000134391 00000 n 0000134555 00000 n 0000137850 00000 n 0000137874 00000 n 0000141669 00000 n 0000143989 00000 n 0000143965 00000 n 0000145920 00000 n 0000152103 00000 n 0000152289 00000 n 0000161024 00000 n 0000165748 00000 n 0000175920 00000 n 0000179017 00000 n 0000190589 00000 n 0000202844 00000 n 0000206343 00000 n 0000206521 00000 n 0000212261 00000 n 0000214805 00000 n 0000229788 00000 n 0000237812 00000 n 0000253930 00000 n 0000254667 00000 n 0000254745 00000 n 0000256120 00000 n 0000257915 00000 n 0000257954 00000 n 0000257992 00000 n 0000258218 00000 n trailer << /Size 391 /Root 389 0 R /Info 390 0 R >> startxref 258373 %%EOF