%PDF-1.4 % 1 0 obj << /S /GoTo /D (section.0) >> endobj 4 0 obj (Introduction) endobj 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Dafny Language Features) endobj 9 0 obj << /S /GoTo /D (subsection.1.0) >> endobj 12 0 obj (Types) endobj 13 0 obj << /S /GoTo /D (subsection.1.1) >> endobj 16 0 obj (Pre- and Postconditions) endobj 17 0 obj << /S /GoTo /D (subsection.1.2) >> endobj 20 0 obj (Ghost State) endobj 21 0 obj << /S /GoTo /D (subsection.1.3) >> endobj 24 0 obj (Modifications) endobj 25 0 obj << /S /GoTo /D (subsection.1.4) >> endobj 28 0 obj (Functions) endobj 29 0 obj << /S /GoTo /D (subsection.1.5) >> endobj 32 0 obj (Specifying Data-Structure Invariants) endobj 33 0 obj << /S /GoTo /D (subsection.1.6) >> endobj 36 0 obj (Type Parameters) endobj 37 0 obj << /S /GoTo /D (subsection.1.7) >> endobj 40 0 obj (Sets) endobj 41 0 obj << /S /GoTo /D (subsection.1.8) >> endobj 44 0 obj (Sequences) endobj 45 0 obj << /S /GoTo /D (subsection.1.9) >> endobj 48 0 obj (Algebraic Datatypes) endobj 49 0 obj << /S /GoTo /D (subsection.1.10) >> endobj 52 0 obj (Termination Metrics) endobj 53 0 obj << /S /GoTo /D (section.2) >> endobj 56 0 obj (Case Study: Schorr-Waite Algorithm) endobj 57 0 obj << /S /GoTo /D (section.3) >> endobj 60 0 obj (Related Work) endobj 61 0 obj << /S /GoTo /D (section.4) >> endobj 64 0 obj (Conclusions) endobj 65 0 obj << /S /GoTo /D [66 0 R /Fit ] >> endobj 85 0 obj << /Length 3027 /Filter /FlateDecode >> stream xڝYI۸ϯxPUO sg⪩Kr}HH$4\l+>Jr u뇗~S>$~z9C7$yʂOSR=!LcޛpT h[=%K[! C P?||Sq=Ua{m ~rm) .fFs??R1W2  o,qi>O܍t)K#U'nM*X4X&wLMylc/ww@*RpLL;ݞuuW&7fI u5EcoŤV QF p&]EhM1 bcQET <^߯T]cTTW=flkx?k?8rB=.[/~ꌊIt%~(}X<)*&CYMkdžea@& PN"ʶ{`"lzH 5>.~d1"Xxl%!ed2mWg8Į H}Jm&)lH<v[y}OH gۘ5',;Lm@%OMlN@9 .?]zT` @/m24UkGiomD,_V6#g" Q}"vpCmo*#~wFimjgr)S+vf218ޕVhnʫ$3׵M. UU.xqL}d݂[&7{OΘ9.u5e[34U2T IM}\raG`*sʖ8T|UjjiÁtάK~ցaxSQG`N1oC5%P׽g:DG%c0+%3*ub GQA=]iWzγ@c)\~!sgGZT)^|t7X7N^QWe u9,eF0. 4_].aDOH JoK&9x uv]x {e ^Mr\6`{8*%js?)4<3zxH jb W$C^N/XdB Œ EeLP!w0;${]:<j>(˫;9ajGψ;.VUKA7SǺ SS> endobj 67 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 1] /Rect [254.609 629.261 357.335 644.802] /Subtype/Link/A<> >> endobj 68 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [390.223 409.625 397.67 419.122] /A << /S /GoTo /D (cite.CLIncStack) >> >> endobj 69 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [401.747 409.625 414.648 419.122] /A << /S /GoTo /D (cite.Gonthier:CAV2006) >> >> endobj 70 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [418.725 409.625 431.627 419.122] /A << /S /GoTo /D (cite.seL4:SOSP2009) >> >> endobj 71 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [243.114 395.944 256.015 405.573] /A << /S /GoTo /D (cite.ESC:rr) >> >> endobj 72 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [260.804 396.184 273.705 405.573] /A << /S /GoTo /D (cite.Doomed:FM2009) >> >> endobj 73 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [171.509 328.329 184.41 337.827] /A << /S /GoTo /D (cite.Simplify:tome) >> >> endobj 74 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [187.872 328.329 195.319 337.827] /A << /S /GoTo /D (cite.SMT-LIB) >> >> endobj 75 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [391.606 152.299 404.508 161.688] /A << /S /GoTo /D (cite.Regis-Gianas:Pottier:MPC2008) >> >> endobj 76 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [409.271 152.19 422.173 161.688] /A << /S /GoTo /D (cite.ZeeKuncakRinard:PLDI2008) >> >> endobj 77 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [426.936 152.299 439.838 161.688] /A << /S /GoTo /D (cite.VCC:TPHOLs) >> >> endobj 78 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [444.601 152.19 457.503 161.688] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 79 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [218.188 70.895 231.089 80.393] /A << /S /GoTo /D (cite.LeinoMonahan:Comprehensions) >> >> endobj 86 0 obj << /D [66 0 R /XYZ 78.2 759.456 null] >> endobj 87 0 obj << /D [66 0 R /XYZ 79.2 720 null] >> endobj 2 0 obj << /D [66 0 R /XYZ 79.2 464.895 null] >> endobj 84 0 obj << /Font << /F46 88 0 R /F48 89 0 R /F49 90 0 R /F52 91 0 R >> /ProcSet [ /PDF /Text ] >> endobj 115 0 obj << /Length 3019 /Filter /FlateDecode >> stream xڕYK6ϯh`+cE5Hz 4`;}eVF43^d[d/Y$d꫇~ӣ(,2~x>ffEez,bzRa)Gi> 7 S]rTG*T{+#tjlZsSLtݵinn_lE7eS+?427 xÃmWWt}>BA U(2-22_aYgjV͸Sg8ִ˥Ӿ&rG۵ËPy&`zlx>ėV/Dղ;vBEehkPI t>d?՗H?tL2TwKL 'k.()FQ'v{ T-^Ey]O+E`ΠѴ10 E,%w ZQ;xSW{6dSE&:~Mު, =4H;duIT- {oȤl`9ԕirj=X,L>@ u¸pM{z4 3xM ʆS͞Ju.;:u堰t-гώ֋ӀFs;gػ;5}X&Cp7n|&D, 欆cF XydBpٸCn߹[MKN 0}`y\r9np3UՍ!-Mwd n/g{lP LS]f;8%* Zϊo zSGсaVy6 F9;r) M gDk'3 4=4Ɠpg^bQ`<)fދ|r€l6R$>" s܆4W}zom:}UT~ &gھ1lYLˤYw[B8d &=}3"R-z?w`VyQ(2 #SʍZx#z l(w;>(o\&ZXd)>f ٟD' ,% Q`#q2!̤ 0*Gh#]GW8LYlujkALAHsA9F=C"ONBSơ'"eûV0hHkIZe͉GQ>sIL# kJS,e)4aWQ;A <9ös{|5 s7&"邉ޟTcvΞ'9&( 2bQ$ _>?Y]'KY~[C&N&%Ʈ9@b"॔xD?ewV<!mo0ݹz8ZKZL绿8]c\t|$64YG8*K T-+b~ Jϐ-K䉜t|5>|ջa&JE(_EL=$a2w $cBj \+s;[F莆 q8h }:}4mUL­ j%$e`|)tB|Vz 8X adRQ$x.jflutz,lS9 V '(+[7,LZidJoᅒRL׍!eX٧FWAEPE%'SbG P^UEah{A9a[ 9mx,lԧoE6`!sYރ*0$2WeƙW`0IH>[I?1q8q8Мds2dxӫò{֫=MjvҠZtbrVٽ_Jб$54SXT_U(X֠U 0¹d01v:F5<{7ʑ|o(\2"Z VrX@Pܢ–*F$iD4-Aa-@g 0G=NtFVL3!1w RUv.[zV2 oqD,ɜ*NͥNeuC}(zvm x2M`HQHyS' UOJ1P,loҲp5\ 0ąGh:|}z<;WqOgq(%VUv-6/]/Ne>͹>}ֆ`+Enu&A@Xv"D&(0P\QyCi݂LR*<`BY5l顅$ry>ݟST-"gՠ+^|Lsrg#WAg" ҢBLb$+Ls)2QqKΖc)qDd!Mg ZKhiZty>omW+o"p(,t=@b6UN4ˆ?483U 9:!{cn^2@XX*:#H7&*`+" _I/a\P;NcWXBGH]KM,]B1/:JBԤ-o#ӟA4g%S$)*rPX2AOK02,)޹+@P$WHY|d Va=Xtq71$9RPn׍Ô=HkTi븢VJQʰ(pïK endstream endobj 114 0 obj << /Type /Page /Contents 115 0 R /Resources 113 0 R /MediaBox [0 0 612 792] /Parent 92 0 R /Annots [ 80 0 R 81 0 R 82 0 R 83 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R ] >> endobj 80 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [514.478 694.496 527.38 703.884] /A << /S /GoTo /D (cite.Meyer:OOP) >> >> endobj 81 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [106.164 680.706 119.066 690.335] /A << /S /GoTo /D (cite.Leavens-Baker-Ruby06) >> >> endobj 82 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [180.89 680.946 188.337 690.335] /A << /S /GoTo /D (cite.SpecSharp:Overview) >> >> endobj 83 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [363.181 653.739 376.083 663.237] /A << /S /GoTo /D (cite.Kassios:FM2006) >> >> endobj 105 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [480.632 584.795 493.534 594.293] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 106 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [197.598 502.411 205.045 511.8] /A << /S /GoTo /D (cite.Boogie:Architecture) >> >> endobj 107 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [208.966 502.171 221.868 511.8] /A << /S /GoTo /D (cite.LeinoRuemmer:Boogie2) >> >> endobj 108 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [225.789 502.302 238.691 511.8] /A << /S /GoTo /D (cite.Leino:Boogie2-RefMan) >> >> endobj 109 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [351.972 475.312 364.873 484.701] /A << /S /GoTo /D (cite.VCC:TPHOLs) >> >> endobj 110 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [368.612 475.312 381.513 484.701] /A << /S /GoTo /D (cite.Why:Platform) >> >> endobj 111 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [125.909 448.105 138.811 457.603] /A << /S /GoTo /D (cite.deMouraBjorner:Z3:overview) >> >> endobj 112 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 1] /Rect [254.139 362.161 356.865 373.911] /Subtype/Link/A<> >> endobj 116 0 obj << /D [114 0 R /XYZ 78.2 759.456 null] >> endobj 6 0 obj << /D [114 0 R /XYZ 79.2 340.072 null] >> endobj 10 0 obj << /D [114 0 R /XYZ 79.2 205.173 null] >> endobj 113 0 obj << /Font << /F46 88 0 R /F52 91 0 R /F48 89 0 R /F49 90 0 R /F57 117 0 R >> /ProcSet [ /PDF /Text ] >> endobj 140 0 obj << /Length 3171 /Filter /FlateDecode >> stream xZߏܶ~b>Txn)$@ OI hw{ZwCJ{[%3W:IWb &WY"Y ]?fȜ"^qVWMNJI\g&nL7s}߭Ez#fOגGm?f_ UvmOFHxvp{X!}K|D5,_v{z]]v%mzm YDN5c?r߯Pla)#V94F$(N(AH 8lb)JFLU6/73&D<Guew4{Mzk/44Y֛(S9\kޮhŕH˜ixfCgTt:8?;Ђz=`^^vaUHwVMLB*✁C,Xu[ڝ8hm0g>$̇Km+a!ai>B)XPy!O@3\1Lz[T23H9g2tT0Rz'k8HȦme\&QeHL TP`\K[L~uweR9ޱ'g1bB2 =B89?H_$ N&Y޼_7vY߶+-Xʹ5W4.="nz!bːֽCz3)B9 Jr`fxRjƮkqTdp Vu5\Զ*sD=&r I7Iӎ֎\pi%^!n_JNr͔U}Wz Cgz.gZͨ˳qvޏ[NHGRvՏK#ޡez,d! 3d 7 oLO#b[Z|^.5ut9:tesGMF3fh#j*0;s\hl#Xj(@@@„ќ9pP(4;I'dԗׅt3c[pqXa<)QU{BOr)={,  'Z;-r mb@^m޻K;448T'@[%s8GeҬ]{:W5LwGm&{dY{ 7 ҢH.wtM`Q7ٵf_e92:<#:cYj8}bW/s'M>V b#(Fab$$0`L#pum6d9G)=`k_A(ׄ N@,zvva+n@;'F4|WڅN׻=;o'䪵K9c|`img%?x1ybWݜҎA_:Ll#rk@zc~? 7⍿~%* v| Ap@&)|b9SnX\r/!P.!i?AK3ڐR}^9^o bO!UgR@dpCu ]bbէïOS(c GĖ QHt%'?2}Av!^.Y~ƽ%=؞&WmZT|Z#†178*Zui\9YΒqrqR5: DՋ)nzǨ%XlAPʽ2d?If9Z'4 9s6mW( 2[ġ}ܮHXB ), A>ս kpʂ vNdY j >X&E\&,"^fTvtHwzFL; ՘Pg৅y99hXapvkbʛҴܻO nvvVZ7 r=b(,jp$i1@pn ?3h|OGt7'*R^^vi|;Աo#<jwi&;iZ,9S2`[: $t*-ebgC&k2r`91~\d.[ze_ ҄}{mdj?s  >j;citmr y*uS٘ThŒ 缠O>f$Gc:vmzbo?t0&X ڨBj+BUb[Txx򓫴\bHj;Hk3u )z9`ahn /pW TԵHC>cW7fIRW~')N(i^3(T9wܦv쎯[,C;NPІb_ p( oTT8]Zo2L ?FPֵY"'Np1.`.tw/D\m>{9(ʊnlol.$w>*'f@RFA=eD`R*L} а%t;4 g @ctRiGJzʫ<7}ق/[5t # BU_OGHp&縷A-R'& [z=M P.PB}&-s1IIIxRe dc3t6>/ω$23ؕh 2/ endstream endobj 139 0 obj << /Type /Page /Contents 140 0 R /Resources 138 0 R /MediaBox [0 0 612 792] /Parent 92 0 R /Annots [ 127 0 R 128 0 R ] >> endobj 127 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [262.262 308.558 277.89 320.308] /A << /S /GoTo /D (subsection.1.3) >> >> endobj 128 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [146.047 229.384 158.949 239.013] /A << /S /GoTo /D (cite.Leavens-Baker-Ruby06) >> >> endobj 141 0 obj << /D [139 0 R /XYZ 78.2 759.456 null] >> endobj 14 0 obj << /D [139 0 R /XYZ 79.2 720 null] >> endobj 142 0 obj << /D [139 0 R /XYZ 79.2 640.335 null] >> endobj 143 0 obj << /D [139 0 R /XYZ 87.171 642.378 null] >> endobj 144 0 obj << /D [139 0 R /XYZ 87.171 628.829 null] >> endobj 146 0 obj << /D [139 0 R /XYZ 87.171 615.279 null] >> endobj 147 0 obj << /D [139 0 R /XYZ 87.171 601.73 null] >> endobj 18 0 obj << /D [139 0 R /XYZ 79.2 523.209 null] >> endobj 151 0 obj << /D [139 0 R /XYZ 79.2 400.017 null] >> endobj 152 0 obj << /D [139 0 R /XYZ 87.171 402.06 null] >> endobj 153 0 obj << /D [139 0 R /XYZ 87.171 388.511 null] >> endobj 154 0 obj << /D [139 0 R /XYZ 87.171 374.961 null] >> endobj 155 0 obj << /D [139 0 R /XYZ 87.171 361.412 null] >> endobj 156 0 obj << /D [139 0 R /XYZ 87.171 347.863 null] >> endobj 22 0 obj << /D [139 0 R /XYZ 79.2 212.892 null] >> endobj 138 0 obj << /Font << /F46 88 0 R /F49 90 0 R /F57 117 0 R /F48 89 0 R /F60 145 0 R /F62 148 0 R /F64 149 0 R /F15 150 0 R /F52 91 0 R >> /ProcSet [ /PDF /Text ] >> endobj 160 0 obj << /Length 3723 /Filter /FlateDecode >> stream xڭZݓ۶B3}93qS7$3iro %R'TX$(Ȗ~#b뇻od`a[<IE" Kwx\~÷ "ʪiZ2(^E5j͓dy(}[yE'x%4HE,pH ,yhjWzK)mRoql|mO@ݻ:,L>n׵o7&'۾6t,T[9`<ˇ}&ey7kbP`A$3CUyG{- 0U#QsKz$"IwV0^t,A8y~e I42b-C٭x\@. yYH쇦}uf_]m+Tl2\ ?{ɓjG]@nH *,tQ{c]\Պ- MiQio&'D.;NSgʎ$?mE8 i]mTBϣTLuCO]ۦ?V!ksidq([ch̹]^#xL# 㚧Ԩ)tmSt)+Y)d Qh #!\[1VQۮڔ"W.?^S$j%K0]' K\N)hHtUa)|}*_i$ }ȕ 9h / z**%Y0fѕ="kKEq&yϵԹ L@X;q05 D3S*8XϷRO'DZ{Hz @<|nt]]K,Aeˉ&wڻW%5f iDS"e=Ǘqg2|t .fb_.BQ'`(n 7z{;-$u_D@S(` d0YfR$A׋}qs, D.4 DXLYj:=,[+!NU_-<{ Yzz0k^+ ԒQֳW DhoDl++\D o92!gE|?{5EƳC +h\k^9WdQ_(}$YD)E)]6Y/Wkr\xWXZo9~PC d:U u?[ @s<_ъ] 7JD Q;%rl:B`D l5i4Xs6M{ ]O[|+> aUmZ"ḊM%x2|bec7xA I5 azsjC9SH2`*k!)< jٙM44H3yN y圖ݴm]*} F3/ bp7E]A0(_u2СPŞxԤ.E4q(%c~-nпi=l]QgB /@!n{"҄dhЅl_}GXROJ(^O5Fګ|{ F"='b2F $5Sc +-|I0~` D2^YQ"Aߪ\  kƟ}}S[/\AAУLykiJu B jr{e9Tcr z{ƭ3Bח&IڃH\zQ|.l1YOF0 ӥVK ā!2sYj1Y`"ġ.EIc*VƗ_5y>^%w)aMf7#o>by*݋+ @t~epyi`]SRiS t ~_E'ZM 3\8[y`ћ-=t$uA0aHC2:`ـm|Zt}`lH_X1tOH^UE9-ADܔ:9P)8-  хN@o*N!XY*8‰nb)= ~x1z tҺjVIm *ʺ^SSنbI-1XkSCbQH/!Nq(I6bhTcZd2n=`DyT"-vS=ShЉs Аz7z6z AI3̿U<8yq'(X'0L sgCNA_a:)tIV[,ujbε-<f)'ksd8?o֦Yn`UmzmքVTBZ9e"R/xݶbQL-][H2f jL/k!7y0SxV `U'W n.o \g(GyoM ? G]"TD<[Av:B,VEUmnihk\J0}$,V (q^=%S LAU6n\:6DÜ}Lub~Qa{ hdmi#gҹM+[G] b3u ,#wkelD2cL IQ>&nOJ+\]Օo1S orV\b:֣BngSe)WI4kƪ)]+A,S~R =y+ۏM[H/~B~ŘCwunnZ0"$!4|$M* endstream endobj 159 0 obj << /Type /Page /Contents 160 0 R /Resources 158 0 R /MediaBox [0 0 612 792] /Parent 92 0 R /Annots [ 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R ] >> endobj 129 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [191.41 667.288 198.857 676.786] /A << /S /GoTo /D (cite.BarnettEtAl:JOT2004) >> >> endobj 130 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [202.204 667.288 215.105 676.786] /A << /S /GoTo /D (cite.LeinoMueller:SpecSharp:Tutorial) >> >> endobj 131 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [389.6 667.397 402.502 676.786] /A << /S /GoTo /D (cite.MuellerPoetzsch-HeffterLeavens06) >> >> endobj 132 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [405.848 667.288 418.75 676.786] /A << /S /GoTo /D (cite.Leino:DataGroups) >> >> endobj 133 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [389.907 653.739 402.808 663.237] /A << /S /GoTo /D (cite.ParkinsonBierman:POPL2005) >> >> endobj 134 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [406.13 653.739 419.031 663.237] /A << /S /GoTo /D (cite.ImplicitDynamicFrames:ecoop09) >> >> endobj 135 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [422.353 653.739 435.254 663.237] /A << /S /GoTo /D (cite.LeinoMueller:ESOP2009) >> >> endobj 136 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [114.485 640.19 127.387 649.688] /A << /S /GoTo /D (cite.Kassios:FM2006) >> >> endobj 137 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [263.614 599.542 276.515 609.04] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 161 0 obj << /D [159 0 R /XYZ 78.2 759.456 null] >> endobj 162 0 obj << /D [159 0 R /XYZ 79.2 592.079 null] >> endobj 163 0 obj << /D [159 0 R /XYZ 87.171 594.122 null] >> endobj 164 0 obj << /D [159 0 R /XYZ 87.171 580.573 null] >> endobj 165 0 obj << /D [159 0 R /XYZ 87.171 567.023 null] >> endobj 166 0 obj << /D [159 0 R /XYZ 87.171 553.474 null] >> endobj 26 0 obj << /D [159 0 R /XYZ 79.2 429.247 null] >> endobj 167 0 obj << /D [159 0 R /XYZ 79.2 362.968 null] >> endobj 168 0 obj << /D [159 0 R /XYZ 87.171 362.782 null] >> endobj 158 0 obj << /Font << /F46 88 0 R /F57 117 0 R /F52 91 0 R /F48 89 0 R /F62 148 0 R /F64 149 0 R /F49 90 0 R /F15 150 0 R /F60 145 0 R /F61 169 0 R >> /ProcSet [ /PDF /Text ] >> endobj 182 0 obj << /Length 4414 /Filter /FlateDecode >> stream x[K8hNTGL af0{ CJ]epم'S)YKUճ\lYNeWzOX.+TΊ ww7-{n^?~ϹvN35*~J#O`}m'cRʦˡjxkt3I⛲ّb/X,U-kO=PW$Wwm ];x470*_Lْ3'mwhRd2;2*?~xnqrݜ4`3'\,[ -Konguٕaܔu iG=V+<{nPREᏇj{ j{Yof8":h*\iT/d1d`@D+]uXVhx36`$;3X evAoogr7A4{wAش$B¡'C۶ٚmԎ ~acv7iaܺ=?,`LNmj`4Tt"w^4>U/XP{NۀAm#7F] R`oZվ+OZB]`JiOK3-.ӈoDAAw㶣9 .0@2ƫcXgs3p둃„l@{Sֱ'֦%:'\JpacGE%K 'Y@jAFNbJ sϩ_F4\<jJն*YuN3?CH8 Z6COeCOnYƇ$C4<+r)Q0鬿w|0Nx2Gc+0d0ankSܥ͕[ER 똎n߸@Y"ߵ6Y6쪾Ef X&G6un%/tӠפ\MY9>u rmPv.pG@'FQ{ӹ%knZ{ڛ,sYQ-JPO"Y2>9H;L$cTv4#hL8^+)at4֙g' 9' $ ͿFKcv 6Lj`BYSWژvPV3#l?ipBxu)"@镋|kCEyfc2/'-ph*$aوbo(uӍ+qpxgckNͩf>P2& `"(I(UVN@֙*Q|SUOhkxU#;9wS]يΗiN2skb0d]jdbrKq`#r@~'f(w)*l\D`BhLs &XlٝԴ*ؙiˡ[6 ,(U*D [mXahrg8Rj` 5FsiJO55)ejOZtU5OBsxt\S.9p~("ҔtyM{;Yd]V =uǕt\3, Zcr3mǭK $}i 7Y֝]2kץ# 70b$&˃DLų?5\5<|K\UV.Ue 3|"K@=$7́hecHO{W8_*9.76(hN>+85 AUL3hrf, u C*ɯj c"|b5. pJE ʬIl+Vjoϲ W|%C_)-_Ydº`vbUȈ * %B5}WVݸZ߿JʬI>kϾZ}p@.n~<7b҄\ñcP"g0- 7_(ɥjDw1*W_USQžY$[d:3VܖАZrׇZh!@<hvJ:bRwrYtveF(NloBZ\2R~)XF#tf?_?WwwO\G%!N%cG-+@XNZ eeVżU[Ey`Z@oe\.EX"ԗnKp]_t"< qCX&e&83X> endobj 157 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [510.846 694.387 523.747 703.884] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 177 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [511.751 513.683 527.38 525.434] /A << /S /GoTo /D (subsection.1.9) >> >> endobj 178 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [206.993 278.666 219.895 288.164] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 179 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [177.587 197.24 190.489 206.868] /A << /S /GoTo /D (cite.LeinoRuemmer:Boogie2) >> >> endobj 183 0 obj << /D [181 0 R /XYZ 78.2 759.456 null] >> endobj 180 0 obj << /Font << /F46 88 0 R /F52 91 0 R /F15 150 0 R /F60 145 0 R /F57 117 0 R /F48 89 0 R /F64 149 0 R /F59 184 0 R /F63 185 0 R /F49 90 0 R /F61 169 0 R >> /ProcSet [ /PDF /Text ] >> endobj 203 0 obj << /Length 3170 /Filter /FlateDecode >> stream xr-PJcxyTelʼn}Hv*A@ˬtOൠM%\AOOOg﮾zc EfrnI26IEs ww0ӛ&eݸ[?s3nqo[{},xFįtCmkMO`-_d( #Rs '!Gh"11'fl,6Tေ[c%N_ʛk5H$qc S^0T#H3ؖ yUѠ?kzҀO3p3RnY%$= tCkY&.=~V&0\#(N;#,Q*F>9 (;z(k7Ř`:~k,:TSZ D+1PӉMpfU!4QkS[wg4ȗ`4(zst"xpN$HRB&) k:uڮANLZ_A*  kr"HN] gz}Կ#XaDx^1e#84ebȅ,pl,nD=rzBټp097HܒLMu=6 Ơ7%*w+ t͘Q_7y! jȪ%sʾܘ͇rɛY /|+޶>G+F.C%Qn)4e4G[w0A]y_VefasH耿k%  cfeAH`ɷ=·IBGǞVԭmoCՖ[w5-jñ|t L|g@VM7Uޡ7Qo+?/Du :ȱ妟b6`c5i 4v:²(hiMO<؃rC/$#s \XƂ7 g1 <7ʊtSb@(=mwT0op:ة.PlvGPC DY2Q=tF> p#L7ku,%Ǖxp5 ClЍ`c-Je*ۂq(Be}&I&Xw"(*yP 1qw隃˃s2x GzB:TgHٝ* ouƞS4> kv?ƗM 4DUEލ.v=:ܨ+~\=#O+iO% $cJi9%_;٨_kK,٥3)n.[p2g(3pVNGehulQf~tQ5%klWvE'?WKny)թ# #F׃ C\ϭMܟi,@۽, G,` O2.?W Baϝs{aAs/JO1Q_0 ok JnkXTid̻L8N;͝0ECۼG͋|잓 -[~79# `gNVĀ RRd e "a]n̖}~oO[8\4`;Zm@J6'5PT&7)@zF&IPg(rn 9M(V`=??" am]AMFFAS۵6#,R0U@^Vhc $6RC8 F~>u^)9Ge5 r[,MiN.C:1֠}y\ml Tneந* s|.. :8޵l$ӴH 7Q02*oc":Xҳ=7;]Gvt8&մJnR} Zݱyqqc]5ACnJI, 7vgyaZOQq%bQ?#Y2+# (SU῀8?Xnioh!A%%'K]G4\yC+]RƳޘZ((w$ʅ⌯r!&tzC jHr=at=Q@{N\0=*NaAH宴1FEΫDUO5dUZS–/Pmma}kť e)KP> endobj 186 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [102.797 571.594 115.699 581.092] /A << /S /GoTo /D (cite.Leino:thesis) >> >> endobj 187 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [119.225 571.594 132.126 581.092] /A << /S /GoTo /D (cite.ImplicitDynamicFrames:ecoop09) >> >> endobj 188 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [141.062 488.6 153.963 498.097] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 189 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [119.791 403.963 132.693 413.461] /A << /S /GoTo /D (cite.FAP:OOPSLA1998) >> >> endobj 190 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [136.833 404.072 149.735 413.461] /A << /S /GoTo /D (cite.Clarke-Drossopoulou02) >> >> endobj 191 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [252.919 403.963 260.367 413.461] /A << /S /GoTo /D (cite.BarnettEtAl:JOT2004) >> >> endobj 192 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [345.407 403.963 358.309 413.461] /A << /S /GoTo /D (cite.Reynolds:SepLogic) >> >> endobj 193 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [426.223 404.072 433.67 413.461] /A << /S /GoTo /D (cite.BanerjeeEtAl:RegionLogic) >> >> endobj 194 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [519.933 403.832 527.38 413.461] /A << /S /GoTo /D (cite.Boyland:SAS2003) >> >> endobj 195 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [337.465 390.414 350.367 399.911] /A << /S /GoTo /D (cite.Kassios:FM2006) >> >> endobj 196 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [502.952 376.973 515.854 386.362] /A << /S /GoTo /D (cite.Meyer:OOP) >> >> endobj 197 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [519.028 376.864 526.475 386.362] /A << /S /GoTo /D (cite.BarnettEtAl:JOT2004) >> >> endobj 198 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [229.455 363.184 242.357 372.813] /A << /S /GoTo /D (cite.ESC:rr) >> >> endobj 199 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [245.28 363.315 258.181 372.813] /A << /S /GoTo /D (cite.LeinoNelson:tome) >> >> endobj 200 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [261.104 363.315 274.006 372.813] /A << /S /GoTo /D (cite.ParkinsonBierman:POPL2005) >> >> endobj 204 0 obj << /D [202 0 R /XYZ 78.2 759.456 null] >> endobj 30 0 obj << /D [202 0 R /XYZ 79.2 467.202 null] >> endobj 205 0 obj << /D [202 0 R /XYZ 79.2 326.434 null] >> endobj 206 0 obj << /D [202 0 R /XYZ 87.171 328.477 null] >> endobj 207 0 obj << /D [202 0 R /XYZ 87.171 314.928 null] >> endobj 208 0 obj << /D [202 0 R /XYZ 87.171 301.378 null] >> endobj 209 0 obj << /D [202 0 R /XYZ 87.171 287.829 null] >> endobj 210 0 obj << /D [202 0 R /XYZ 87.171 274.28 null] >> endobj 211 0 obj << /D [202 0 R /XYZ 87.171 260.731 null] >> endobj 212 0 obj << /D [202 0 R /XYZ 87.171 247.182 null] >> endobj 213 0 obj << /D [202 0 R /XYZ 87.171 233.632 null] >> endobj 214 0 obj << /D [202 0 R /XYZ 87.171 220.083 null] >> endobj 215 0 obj << /D [202 0 R /XYZ 87.171 206.534 null] >> endobj 216 0 obj << /D [202 0 R /XYZ 87.171 192.985 null] >> endobj 217 0 obj << /D [202 0 R /XYZ 87.171 179.436 null] >> endobj 218 0 obj << /D [202 0 R /XYZ 87.171 165.887 null] >> endobj 219 0 obj << /D [202 0 R /XYZ 87.171 152.337 null] >> endobj 220 0 obj << /D [202 0 R /XYZ 87.171 138.788 null] >> endobj 221 0 obj << /D [202 0 R /XYZ 87.171 125.239 null] >> endobj 201 0 obj << /Font << /F46 88 0 R /F60 145 0 R /F63 185 0 R /F52 91 0 R /F64 149 0 R /F61 169 0 R /F48 89 0 R /F57 117 0 R /F49 90 0 R /F15 150 0 R >> /ProcSet [ /PDF /Text ] >> endobj 232 0 obj << /Length 3413 /Filter /FlateDecode >> stream xڭZ[~_zHꖴAOi϶/礀֢JdɑlE{$j]/z ]HÙ7oR&,y;lҜM2\n>lX(>~F\n86~ ;ײ9m.˝HmU}{kVϷ"]U4Dm5+ᨱ}[>.NrM2H<0,4NxBk]ZľHqo H)F-#YzS/NmY%Foxi¦_o9W5zri]㾾RۇcۓH4i`ɰY 6 K; އ ؕf= 3EocUx5.XPltGwe9SQ$ 9Kr3 o}Bރ=BR*\3_6*aVLlܜPnNR3E+ڢNy=r}*𲰼A6kOnmo/k7X4)g,UkH*A"h}%#ν].~X1*qErȸX$+..SxZ6C!{ڀhf<{}C!. _Yo: WCj!h][B*J.k^ $?rgt 3\6⓵b LblgkO["$ZVm劚CҡW) ?W>3ar{t"T`hW$zn Ů+>,*xS}Km{j05ۼ;] ۸o Xq.M0bTSPһOf)+) D qqb  =$z!5gWQ$gф%a`v$v zk+-uk SJ H%vP~ Ɨ:$Fd2xc7[?sNAyS5)󜎝aKT"5*_L©Td|-OUo} E, wƆGH1@7sT9C*nT̢8}{<@B`(vS5vqQ<^ MW;$y#y "'*~8:I&E֝l}vTe\rmvѾ*)q>\ae":ۢqhuWe$oAnR~s?H#,fBͶbP)sg4/dg~Y 4{T{U$cR shXEwv*_,; 3;88bՄkv$"X:/gݔ+@NYf`݅+ؑceMկAtFEO2ui!4`idH\6 .ZtQ}ɢاSpr?:bE;9 duBb&eg`](?ɢlɹcxDDx늒pK½ѩ9-q'bbw(/ROYV,c&l k 0![V/+zLE*z]rR3^Srv ۏ"C'i$ } kL[`$2~X H?odM$T6/*SUHһy nᘭ}"BmAzApD= } F`E)RCV0eyݡX C.4h.2Y4AsJ Z>k2̖'ufL  t40pj3<2ͱg"z -3Iyؔt3<@3Bnmu` krtn`n໧9F9eOtBj&$'L'Ǣ_-:Nx7 HrAqctyEL@€S='!\#Hr:N.|>bYނ,cQ>/+g W,Jxd㑽kmP5KpJ2qM]``~#uD`aܢ|X]<(WY>Ɋ|BnZSa܁@΁ I} a?vlOi`=j:}"a8@}lߖzh5(gMӌuj➗ؑ4eE#9`>Mj\׼wx;`˧?D  Ne67,ޙ 3=g ^CyBէ)OY#A #OGhU!XfP((pU0ۻ߯C_aJ&>5y-YD! {#)3H5!0ŨSbK<<r<ȗAn1PH܄<xAt2z$ukSt&I3J)]%8Ȉq=sxD?\+=鲀 3͸|lnڮv ntW{31RCwOt> endobj 229 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [483.391 447.044 496.292 456.542] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 233 0 obj << /D [231 0 R /XYZ 78.2 759.456 null] >> endobj 234 0 obj << /D [231 0 R /XYZ 79.2 646.255 null] >> endobj 235 0 obj << /D [231 0 R /XYZ 87.171 648.298 null] >> endobj 236 0 obj << /D [231 0 R /XYZ 79.2 398.912 null] >> endobj 237 0 obj << /D [231 0 R /XYZ 87.171 400.955 null] >> endobj 238 0 obj << /D [231 0 R /XYZ 87.171 387.406 null] >> endobj 239 0 obj << /D [231 0 R /XYZ 87.171 373.857 null] >> endobj 240 0 obj << /D [231 0 R /XYZ 87.171 360.308 null] >> endobj 241 0 obj << /D [231 0 R /XYZ 79.2 219.483 null] >> endobj 242 0 obj << /D [231 0 R /XYZ 87.171 221.526 null] >> endobj 34 0 obj << /D [231 0 R /XYZ 79.2 165.408 null] >> endobj 243 0 obj << /D [231 0 R /XYZ 79.2 110.605 null] >> endobj 244 0 obj << /D [231 0 R /XYZ 87.171 112.648 null] >> endobj 245 0 obj << /D [231 0 R /XYZ 87.171 99.098 null] >> endobj 246 0 obj << /D [231 0 R /XYZ 87.171 85.549 null] >> endobj 230 0 obj << /Font << /F46 88 0 R /F48 89 0 R /F57 117 0 R /F15 150 0 R /F64 149 0 R /F60 145 0 R /F49 90 0 R >> /ProcSet [ /PDF /Text ] >> endobj 252 0 obj << /Length 3858 /Filter /FlateDecode >> stream xڵZY~_a q {; L%; t[[JLEJrwC)"Ū"ޤJR^WEUIUnOw߯RS&+ōrMaSʤanmC tY1S*}`F'Fx:Ki;}]@y$OT_G&6ɌPys+ɞ,{n2l'gӟs:PL_[~GEm/^߽ήVzU21ZmO/~IvJ%yZEK9޾ۋWO[^Ěg[WnϿu}函KK;~Og)50cӵ/C=pn\&w}vͭ͋6ht= v;/S}_ߟ\;S}߀3jxNs@eL`1w*Sccf%xwap}L`-Zi:D]%%*\b܀-9K4)MinpXKXHc}p| еOw#=JŽ}ɳ5 R5Eso9h*Xů@-VFE 2\S7tK*Ah o'c]ƈ&,D4M;rZjS:m`]_Qg.q7Q)0PM\u9趫{Ǜ,xC?ցE8>ͪGƶ}F\.(7ڬI+z0&UVlZeݑx#!j!~ȸe{=VfRowRM M҈&"4uQӂ`xɦf*)vx30v\"M>!upV}u;aسQv;riZ 50_>]3'\3e,>0 }g0yUSOhJBr%+΋r3kSչoNuEC-c7_UDTUgU0Lw=_8Q3>쀐@uf UטUanpI')Qn֮ފsm]vߠp;$azPLdA"+dVy:a9+I6eeŪ#4䇆N V]Y%5"#0d9wP\y,PD:9VKLhNu `a#GKĿǮ{ȆtKV*=T3 r^Eе #?}3k3mB+Vc-+8CX.an`c7gnr71LI+T]n|F{?['3R[J-`a W/@о2'ߵn(M 0y36N^h;7T|0u$NɎֳN`Z T>iiB4[د%#/Cӏ|8@BB*\ewj#JVۑ) Nr ,I^2Lqį;)MeDqu;AA e2Y8pn}x [;\c=2C某T@S'6yty{CݩwŕdH,[ǖ*Z X q>dg:/ )DT7|(@hW+itmf,c/+B F Jz ҏ) gUhU<{eYle9X rr -C *I38expn&&N X᳸9WKNɔ1.#<# c|3A_<͓!;r~UME3Y(pNHQլaQ|ivNpl0tG]bv O/Ix&i}ً,l,ObLtC  y]#)?8lr6> endobj 248 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [396.403 504.439 412.032 516.19] /A << /S /GoTo /D (subsection.1.4) >> >> endobj 249 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [423.474 171.554 436.375 181.052] /A << /S /GoTo /D (cite.Leino:Boogie2-RefMan) >> >> endobj 253 0 obj << /D [251 0 R /XYZ 78.2 759.456 null] >> endobj 254 0 obj << /D [251 0 R /XYZ 87.171 722.59 null] >> endobj 255 0 obj << /D [251 0 R /XYZ 87.171 709.041 null] >> endobj 256 0 obj << /D [251 0 R /XYZ 79.2 650.863 null] >> endobj 257 0 obj << /D [251 0 R /XYZ 87.171 652.906 null] >> endobj 38 0 obj << /D [251 0 R /XYZ 79.2 300.002 null] >> endobj 250 0 obj << /Font << /F46 88 0 R /F48 89 0 R /F57 117 0 R /F15 150 0 R /F52 91 0 R /F49 90 0 R /F60 145 0 R /F64 149 0 R >> /ProcSet [ /PDF /Text ] >> endobj 262 0 obj << /Length 2902 /Filter /FlateDecode >> stream xڭYKϯPU#7qn$R;(H-Aĕn4PڵF7uݷoe,X7Mb4x/7?zǣ?7R ş+0 aft{VGɶ;+zD?3&TKy'Z><ӔYi9wy.oF& 0Q1ud:&o3G+48lu;WnNa{ ʶOg]Mw&tݵM,T{q)}Ȓ ͞A$3:~՚Dɤgg52fb!2hA7K$SV@fPe]"bۼ, tf{Nk4G6Jv6tSX S{k)w:[4ξ꒷iQvw~h0:}Uuєdԕ[1zZ7(<YbpdCY;2Hv$ ڀMJAi'X.53kSKϒO>lq'޿ԱiA]$9ᐋ5D)8M)Er:S]^wHgCchtW,+ot[JeVL]* R AA)Iȃ bnO?`-몄D,M#ngӢ$=>i 9\UkjJqUzQ%ѨT;- - \\6W>ugPFVCasʭI@.85^VTυvn )xIlt4E3o՟wQ54s uQ_еT^.(k"jKe58&Z$ ` I% m=f)tZDHTx9GѧV+GrXugC9: }"va͗gzl5~Js&$w}^ڷT=O4s?7% E(I2O@3a!FN="8rp飃/ Y<ALcmtE %ÌS;JF2dO14CIRk!fbd ˏ) 8 O,sO'ɟb^D|.0kC屯p,Ҷ tOZhM:e S@p!#vgCJwvܣ?SX͵HU{Pʵo/B/W@p 8y4oTL23gėp o"i 7BY3k`5*4L9VNDvxbi")1ުi?m%Lڀ vڑΙPBIYIf!';/+P-1sf4⥥!{⾥2tԄt8€>+@튗 K9SG#~^M۷.(k, }2cfT 'Be)ܐUP(֕U#V gaM*嫴|H-aih ̸؈~ݧ;,! mRQpp)a XnFBQOvyw7uVJ@D_"+ÚK"NP]궜! @n9mHwܗ+1^W'uhs]е uM`-I,QZiۀ]ۣri ɱNi6{qT =)]CPC !r`F׎,l0-]1(߅^ڍK<^hkKj~Iq[ 7Yh> I@k"_q8 jf\s$4ؖ2m 3FP fW)ʘ!<=mVvW3nsDl^K#<}r 9C@q(Q3Ur+a+7hX lYKVm.P!]nݲQ.Rԥvc!RƁLA ,5f6-0¨hWnE*@ kehB ߊ> endobj 258 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [323.743 651.216 339.372 662.967] /A << /S /GoTo /D (subsection.1.6) >> >> endobj 259 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [223.01 464.756 235.911 474.253] /A << /S /GoTo /D (cite.Leino:Dafny:MOD2008) >> >> endobj 263 0 obj << /D [261 0 R /XYZ 78.2 759.456 null] >> endobj 42 0 obj << /D [261 0 R /XYZ 79.2 634.928 null] >> endobj 264 0 obj << /D [261 0 R /XYZ 79.2 457.593 null] >> endobj 265 0 obj << /D [261 0 R /XYZ 87.171 459.025 null] >> endobj 46 0 obj << /D [261 0 R /XYZ 79.2 414.221 null] >> endobj 266 0 obj << /D [261 0 R /XYZ 79.2 361.766 null] >> endobj 267 0 obj << /D [261 0 R /XYZ 87.171 361.556 null] >> endobj 268 0 obj << /D [261 0 R /XYZ 79.2 273.809 null] >> endobj 269 0 obj << /D [261 0 R /XYZ 87.171 275.852 null] >> endobj 270 0 obj << /D [261 0 R /XYZ 87.171 262.302 null] >> endobj 271 0 obj << /D [261 0 R /XYZ 87.171 248.753 null] >> endobj 272 0 obj << /D [261 0 R /XYZ 87.171 235.204 null] >> endobj 273 0 obj << /D [261 0 R /XYZ 87.171 221.655 null] >> endobj 274 0 obj << /D [261 0 R /XYZ 87.171 208.106 null] >> endobj 275 0 obj << /D [261 0 R /XYZ 79.2 135.402 null] >> endobj 276 0 obj << /D [261 0 R /XYZ 79.2 111.806 null] >> endobj 277 0 obj << /D [261 0 R /XYZ 79.2 88.211 null] >> endobj 260 0 obj << /Font << /F46 88 0 R /F57 117 0 R /F48 89 0 R /F15 150 0 R /F52 91 0 R /F64 149 0 R /F49 90 0 R /F60 145 0 R >> /ProcSet [ /PDF /Text ] >> endobj 284 0 obj << /Length 3407 /Filter /FlateDecode >> stream xZIW-F/ز\ls! "5f~}jkl/('ꪯ7w_}oTdan7IĦA@y.?Է*\o43sr叮Ze7[ЀMppS}_vpVGy+o(tҩjoOM[v7kaUM{j..夛Ϯu.@!/e֤7σ,\pۇ#liP;kdlWǼch7x xXn蝉ΏD(Il+#7=o$ZsJT=,[pa^rD#hӕsZ9ܞۿ"~U%ՠNdgUU/ñ'4= +LO u#Ώ7x_փ ^&?d/pMW!әh5U'W 5Z|kY]ه;ƽ;USA+ߒ!> X/z=*N%?|9t8(ؔEYw}{@+-İZFSa4 myTnR%SO }`Nqhiknf1I@7oT~MOlA b8H35Dq8m bSxXW$#e [vmhc? |(п1C1lķ|du0x2 T8W_L37YzѰ=,Tikwn \<}tRGiPNs\[$܍$͞Hbv4'N9Hjrq_Br]'AGQ(cie,(bXhg,oj'"F5CqŅ+k({,{޼T<<iO1)kP$p'.)fN !\AF8K2q_] ?לD>u$PC߇cW y%ўf1-Fj?0dbx9!Dd )'CuBdPz %m7; ՗~EdmW8R8m4c̓13 kyj8 4جA@) ֒6"+\ أb%ega+dhw$ 4DD!z5[eO \,(:L2 k*^.S&nSjtifW^R~>x é,U, VWNXAƊ骱bs^z]YJ>'[0,hݯ>B_Xз?}5,|B*']=[,?t d0ͤήKj5p2ճDW-S>Aer_I -cF d RF5K9@8⨦(|d^izL7GCq溇ړ+JN^hF/[f_FnW8'-aq|_Zr3v'KOdt<YWdH`'\DeW֝2j7A,+5Rb: '.ejfdcQ Yiծ%wLE.͜2#sn<4{`/>7ܳ@剔IӊL'|G vr&;)6%WIGDǴ& 1 2  51EP~_&VZ픩"TΆiy-&i`!)ywS8ܓo捱"l"Үr'.;!dH:o{Tbug 5IH/ ]=eG0#|E-9["H"O''vE(Ů8³-&Ш>{wFQzHď1i |U1N]S\Y\V4˔T $Dy'M/sI(N& .LA5a8&BD}WűN0Q~OMSlAoa<7jH:n:(㻁s:Ks>l!ד2I(Ul۷5`=/6$ vz$Ubf:KI*5H[Z`3YyҌ7-Wo@ !/Ӗ+j|$r^ k C?T/9t?D% el $A|"jml$6twA7甤J2[#̧̉D)`?Qų MGQtL_ endstream endobj 283 0 obj << /Type /Page /Contents 284 0 R /Resources 282 0 R /MediaBox [0 0 612 792] /Parent 247 0 R /Annots [ 278 0 R 279 0 R 280 0 R 281 0 R ] >> endobj 278 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [152.767 396.624 160.214 406.122] /A << /S /GoTo /D (cite.BarrettTinelli:CVC3) >> >> endobj 279 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [159.357 314.549 172.259 324.047] /A << /S /GoTo /D (cite.Simplify:tome) >> >> endobj 280 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [224.993 314.549 237.895 324.047] /A << /S /GoTo /D (cite.LeinoMonahan:Comprehensions) >> >> endobj 281 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [483.515 301 496.417 310.498] /A << /S /GoTo /D (cite.VeriFast:TR) >> >> endobj 285 0 obj << /D [283 0 R /XYZ 78.2 759.456 null] >> endobj 286 0 obj << /D [283 0 R /XYZ 79.2 720 null] >> endobj 287 0 obj << /D [283 0 R /XYZ 79.2 700.638 null] >> endobj 282 0 obj << /Font << /F46 88 0 R /F57 117 0 R /F52 91 0 R /F48 89 0 R /F15 150 0 R /F60 145 0 R /F64 149 0 R /F61 169 0 R >> /ProcSet [ /PDF /Text ] >> endobj 301 0 obj << /Length 3785 /Filter /FlateDecode >> stream xڕZYܶ~ׯpR K]6c WXRhndri>l8|}"U DtM_y]S%'V|=/>R-HrDW䁶/YB.ٶ''_: {VH'#.MI:Ǿ=c+G\Ѱ9F Wنۮcj'6vY }?)&o0IT;qĎp46+WċE"pd T +T, 1¤i-f-] N!M,BU2;1Hмq 2Uf A1 ~LbXݝDgn1*/с׌@}͊F Yh)vKz4GDwmshx=^f53l=,F, c!M=LSvt0XږM{″5eA(waa2g0Um-eځļq+Ca(xEho@IVut`Xi=#b%Snll1MO0x/p| v%U0D睎R? Pai"p8b? R6.U](. F v``!ײuk_H3I[6 fq3M|/pgA9tChq)韎m^GYnRpGϩB_ޅ^.Z\AGZ h\ypyhm3Rs"Ng] UQC)50^7\(?!6~h{pyϴ 2KB6u#P ㄬfZϦL͍-C&<+O PV@MJ;|'I8 +^Nq..%PI6(oQT@oiSM%̓AO )69a\PcP@$J(lBx:L) 2$i{̔2i1=%s  B˰ is,uUm׎.2醻0{ 5QXT5)jX4;@Dj?t0^@(?5o~k4w {V>J)o" U4Ң=vG{Wh]aT^X{A o`:`m] %]7:fAѼp՜|Wu + SE'zM9u'Sڳz-^zϲyv0": {˩1?Eh)fcìծЮSHɍS:ED(,-[`"Xh mm)Ezp]oxbpo 8D5K$+#pqZX,@2y -vOR`Gv%H۸9J;%GP>{X v3&.J:U'\=U9n°ď7[W6V%L|L9w#?OeSL>}&1+{N*`n kH09`ъxeA<,us3]F]d{J"$ 37 ɇͽ<8p/hl.AG! +xW aerȸŶwפnY Sm⊣OtrяPb `G:|um]%/K{3BI1;3A=|&0'uu2.݆h=Aò©|m t7*zeJ>E))gDk@MUxᯚÙc"c=OX8.=UGcS6UQpcѵx ?JO%pA`^HJܢ 3 [rn.JZO6xLTHi+= 4:W$XzD޻EHnce6$=N7dPh]؃"?KkT-&ʂR$:RtTЃ_7.7do$KŠfUu5_u5KIѴ#xF=5Ct>g03N{?9 endstream endobj 300 0 obj << /Type /Page /Contents 301 0 R /Resources 299 0 R /MediaBox [0 0 612 792] /Parent 247 0 R /Annots [ 290 0 R 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R 297 0 R ] >> endobj 290 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [199.261 589.926 214.89 601.676] /A << /S /GoTo /D (subsection.1.4) >> >> endobj 291 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [514.478 341.879 527.38 351.376] /A << /S /GoTo /D (cite.SchorrWaite:CACM1967) >> >> endobj 292 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [340.856 219.936 353.757 229.434] /A << /S /GoTo /D (cite.BroyPepper:SchorrWaite) >> >> endobj 293 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [358.659 219.936 366.106 229.434] /A << /S /GoTo /D (cite.Abrial:SchorrWaite) >> >> endobj 294 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [371.007 219.936 383.909 229.434] /A << /S /GoTo /D (cite.MehtaNipkow:SchorrWaite) >> >> endobj 295 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [388.81 219.936 401.712 229.434] /A << /S /GoTo /D (cite.HubertMarche:SchorrWaite) >> >> endobj 296 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [406.613 220.045 419.515 229.434] /A << /S /GoTo /D (cite.Bubel:SchorrWaite) >> >> endobj 297 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [139.506 192.838 152.407 202.335] /A << /S /GoTo /D (cite.MehtaNipkow:SchorrWaite) >> >> endobj 302 0 obj << /D [300 0 R /XYZ 78.2 759.456 null] >> endobj 50 0 obj << /D [300 0 R /XYZ 79.2 720 null] >> endobj 303 0 obj << /D [300 0 R /XYZ 79.2 504.505 null] >> endobj 304 0 obj << /D [300 0 R /XYZ 87.171 506.548 null] >> endobj 54 0 obj << /D [300 0 R /XYZ 79.2 383.395 null] >> endobj 299 0 obj << /Font << /F46 88 0 R /F49 90 0 R /F57 117 0 R /F48 89 0 R /F60 145 0 R /F64 149 0 R /F15 150 0 R /F52 91 0 R >> /ProcSet [ /PDF /Text ] >> endobj 316 0 obj << /Length 3391 /Filter /FlateDecode >> stream xZKoW-MI:Axm#xî0cz5Rk$C+UU~uuŷ٩(,BnvY]aA޽ .os?]eQpxݴn[ s%nxdvU_7-ĻMP[CLMߕ-O.F~:eٚ8v*Ӥ`GBn;odG6pǽ}CysW$Ewۡyc3IPwr0 OM۔=4l[>;Z fY2~~&T?s-uV,v \f]`_'|hgT|C6|0 k-( '"n"F5u^M6$֌X4-+ nVfx-[x䒨 (HPϧ+spZ?Vf}y F#`u [ZZ0VP ?57%B#/摲{wi6@=g0zugDmmHЫ-*OXe#{$瓭0gg06{({YQfSOW&^ͩ%ھ?r ?;>ʡ c>| 8U;OӀoS:DϡMRmF ӟPYvT{E%P$ނt3TTxr8, ꮱ#EX&F0X40n%.V&;P#7*3K2Bjo;!-]/0SQpWUGq I6%b0P>r.1_`l׸XdJi6*INq۳FlQtMݐϤhH tzB8ƽS,pi9 $tu(vKMNwM+l:tkB,c벺 . hӟ09sa֋!K9 ? @2pd;'7rGcgnxx<61:x 0qN7n: ժĭ%1 \`/ӫxd0}s*ǎ8}aXIf*s͒eyYlal8Am(ESRd0mէMܕ:k둛kL]`v9/u!-> n.E#PUu*A:e5/Zt#$:WQ1{=S%^9v#%MSS1sWG$)] fWqQGIVaigrF8x xr'qFj|Hn< h"BXy9;jpa16Ei|8rW\1`PkzP>M.ZUsc=ɗ)o9,V`Zᇾ|0qh^;2ѤF\a 3# Bt\tL=HhjNz.یۉ%j Lנ8{tS%5VPw3,|9GHh7[L#3_VȸZe`瓅 TޡK7=" nK_4OdvSH@7k气mtDKyFsb9oWl_}8]v/P if߬D9v|>,ywݟ:)|OF%"tR83,@J6*4qg~v5L0.GZz%IG{5,.Mu#zyyL0Z7馧T>ˢDY/yGIWyg3Յ釼nmx+P{W%kh+ٳRGQF @ r4m8{E%ּϓEr^21zy5HB9MRixW.}z%=^[v*"l5{n|hx0i4Pݩ&Z L!AΜƅ y/<_z|c{ Xϛ@09 :?@'KW"MQ;IM/U {l<#ya> endobj 298 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [110.626 692.134 126.254 703.884] /A << /S /GoTo /D (subsection.1.9) >> >> endobj 311 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [390.633 598.433 403.535 607.931] /A << /S /GoTo /D (cite.HubertMarche:SchorrWaite) >> >> endobj 312 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [376.402 310.681 389.304 320.07] /A << /S /GoTo /D (cite.Why:Platform) >> >> endobj 313 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [124.251 269.925 137.153 279.423] /A << /S /GoTo /D (cite.HubertMarche:SchorrWaite) >> >> endobj 317 0 obj << /D [315 0 R /XYZ 78.2 759.456 null] >> endobj 318 0 obj << /D [315 0 R /XYZ 79.2 260.472 null] >> endobj 319 0 obj << /D [315 0 R /XYZ 103.111 261.29 null] >> endobj 320 0 obj << /D [315 0 R /XYZ 103.111 251.825 null] >> endobj 321 0 obj << /D [315 0 R /XYZ 103.111 242.361 null] >> endobj 322 0 obj << /D [315 0 R /XYZ 103.111 232.896 null] >> endobj 323 0 obj << /D [315 0 R /XYZ 103.111 223.432 null] >> endobj 324 0 obj << /D [315 0 R /XYZ 103.111 213.967 null] >> endobj 325 0 obj << /D [315 0 R /XYZ 103.111 204.503 null] >> endobj 326 0 obj << /D [315 0 R /XYZ 103.111 195.038 null] >> endobj 327 0 obj << /D [315 0 R /XYZ 103.111 185.574 null] >> endobj 328 0 obj << /D [315 0 R /XYZ 103.111 176.109 null] >> endobj 329 0 obj << /D [315 0 R /XYZ 103.111 166.645 null] >> endobj 330 0 obj << /D [315 0 R /XYZ 103.111 157.18 null] >> endobj 331 0 obj << /D [315 0 R /XYZ 103.111 147.716 null] >> endobj 332 0 obj << /D [315 0 R /XYZ 103.111 138.251 null] >> endobj 333 0 obj << /D [315 0 R /XYZ 103.111 128.787 null] >> endobj 334 0 obj << /D [315 0 R /XYZ 103.111 119.322 null] >> endobj 335 0 obj << /D [315 0 R /XYZ 103.111 109.858 null] >> endobj 336 0 obj << /D [315 0 R /XYZ 103.111 100.393 null] >> endobj 337 0 obj << /D [315 0 R /XYZ 103.111 90.929 null] >> endobj 338 0 obj << /D [315 0 R /XYZ 103.111 81.465 null] >> endobj 314 0 obj << /Font << /F46 88 0 R /F52 91 0 R /F48 89 0 R /F57 117 0 R /F60 145 0 R >> /ProcSet [ /PDF /Text ] >> endobj 341 0 obj << /Length 2827 /Filter /FlateDecode >> stream x\IsFWj+V%ajTj*vebHHPCBN\V4@C{tpZogz(qԱۓqόr?'K^|zy3-NhEq~G2:HrJ#_[iR&R)H!6|-U\.Yw#$ڨّ#Rlh KPʏ}'.*3hk>c[K.b54OJ#c#BWG*tf3)+ba;1z^.:٬/EL56bpjEEzLu E51Ni1]Mā?(Y#ҫMt呦ER0F;ř]\d]Pl)b Y&$ Ss4_]Db(>482GNj4?CM\*[DQZ/12 abÛjgQƅzV5tWiӷȦZ?+9]G2Ӣ<(:6JqՉ([T\@uC$VWGymXm yTQW._.T>bdmK|O@*t^#D}Y 11SA6q? ͛lE7=/pBY5Bm$"lr}qѥG6X% t=(#V|B$u YٴXzؤ0$) ? }@0 `7f~ʿn&-${N*NN.oΓ%ⷨ'x1OxH/>xgˑ04%UW<;GSA1aY AX'3e0̭/MEЖ(-2sNC-;N/$P&hMPƝxWئwdp20M<L?񐒹0Ӄuy3sFoA88Y٥23y6˩Msk 0:\M &ݠ]`[(C@هB y*/1n1m>×[Xg>kI J]m\)\ ]Pn= /6\ Xvl*xe  馑H:>1ئEz]BIw*'_͓SI "B#ٗa_~Vow{hi=<H „W*]??yFJE|k<|rUkz!Rh7'x_F5wFH9ɩ{]`NfFf=J50-71zю wI^AWtdwV˿sȮZS2 PjHB_?k6p6= "uR2E);fsf'~Ukrx~}l`i5ִxwC瓓AzPd1d@^aMXz2ʇ7{TGn$-Oz{VXz6^r 4k=Xև0DX[~vTIq~th[[8PZ҃Y\Cqef&p޲D~{]0OzBx)|St4HP4܄C^<#^ n%$C٫aFm[/dj_I)&mTu[Ӷ]Z9x%3^d- 'A& p(Eh2/R(I8f5'n¯ Æ;; ^4^mo(GKW < endstream endobj 340 0 obj << /Type /Page /Contents 341 0 R /Resources 339 0 R /MediaBox [0 0 612 792] /Parent 411 0 R >> endobj 342 0 obj << /D [340 0 R /XYZ 78.2 759.456 null] >> endobj 343 0 obj << /D [340 0 R /XYZ 103.111 718.506 null] >> endobj 344 0 obj << /D [340 0 R /XYZ 103.111 709.041 null] >> endobj 345 0 obj << /D [340 0 R /XYZ 103.111 699.577 null] >> endobj 346 0 obj << /D [340 0 R /XYZ 103.111 690.112 null] >> endobj 347 0 obj << /D [340 0 R /XYZ 103.111 680.648 null] >> endobj 348 0 obj << /D [340 0 R /XYZ 103.111 671.183 null] >> endobj 349 0 obj << /D [340 0 R /XYZ 103.111 661.719 null] >> endobj 350 0 obj << /D [340 0 R /XYZ 103.111 652.254 null] >> endobj 351 0 obj << /D [340 0 R /XYZ 103.111 642.79 null] >> endobj 352 0 obj << /D [340 0 R /XYZ 103.111 633.325 null] >> endobj 353 0 obj << /D [340 0 R /XYZ 103.111 623.861 null] >> endobj 354 0 obj << /D [340 0 R /XYZ 103.111 614.396 null] >> endobj 355 0 obj << /D [340 0 R /XYZ 103.111 604.932 null] >> endobj 356 0 obj << /D [340 0 R /XYZ 103.111 595.467 null] >> endobj 357 0 obj << /D [340 0 R /XYZ 103.111 586.003 null] >> endobj 358 0 obj << /D [340 0 R /XYZ 103.111 576.538 null] >> endobj 359 0 obj << /D [340 0 R /XYZ 103.111 567.074 null] >> endobj 360 0 obj << /D [340 0 R /XYZ 103.111 557.609 null] >> endobj 361 0 obj << /D [340 0 R /XYZ 103.111 548.145 null] >> endobj 362 0 obj << /D [340 0 R /XYZ 103.111 538.68 null] >> endobj 363 0 obj << /D [340 0 R /XYZ 103.111 529.216 null] >> endobj 364 0 obj << /D [340 0 R /XYZ 103.111 519.751 null] >> endobj 365 0 obj << /D [340 0 R /XYZ 103.111 510.287 null] >> endobj 366 0 obj << /D [340 0 R /XYZ 103.111 500.822 null] >> endobj 367 0 obj << /D [340 0 R /XYZ 103.111 491.358 null] >> endobj 368 0 obj << /D [340 0 R /XYZ 103.111 481.893 null] >> endobj 369 0 obj << /D [340 0 R /XYZ 103.111 472.429 null] >> endobj 370 0 obj << /D [340 0 R /XYZ 103.111 462.964 null] >> endobj 371 0 obj << /D [340 0 R /XYZ 103.111 453.5 null] >> endobj 372 0 obj << /D [340 0 R /XYZ 103.111 444.035 null] >> endobj 373 0 obj << /D [340 0 R /XYZ 103.111 434.571 null] >> endobj 374 0 obj << /D [340 0 R /XYZ 103.111 425.106 null] >> endobj 375 0 obj << /D [340 0 R /XYZ 103.111 415.642 null] >> endobj 376 0 obj << /D [340 0 R /XYZ 103.111 406.177 null] >> endobj 377 0 obj << /D [340 0 R /XYZ 103.111 396.713 null] >> endobj 378 0 obj << /D [340 0 R /XYZ 103.111 387.248 null] >> endobj 379 0 obj << /D [340 0 R /XYZ 103.111 377.784 null] >> endobj 380 0 obj << /D [340 0 R /XYZ 103.111 368.319 null] >> endobj 381 0 obj << /D [340 0 R /XYZ 103.111 358.855 null] >> endobj 382 0 obj << /D [340 0 R /XYZ 103.111 349.39 null] >> endobj 383 0 obj << /D [340 0 R /XYZ 103.111 339.926 null] >> endobj 384 0 obj << /D [340 0 R /XYZ 103.111 330.461 null] >> endobj 385 0 obj << /D [340 0 R /XYZ 103.111 320.997 null] >> endobj 386 0 obj << /D [340 0 R /XYZ 103.111 311.532 null] >> endobj 387 0 obj << /D [340 0 R /XYZ 103.111 302.068 null] >> endobj 388 0 obj << /D [340 0 R /XYZ 103.111 292.603 null] >> endobj 389 0 obj << /D [340 0 R /XYZ 103.111 283.139 null] >> endobj 390 0 obj << /D [340 0 R /XYZ 103.111 273.674 null] >> endobj 391 0 obj << /D [340 0 R /XYZ 103.111 264.21 null] >> endobj 392 0 obj << /D [340 0 R /XYZ 103.111 254.745 null] >> endobj 393 0 obj << /D [340 0 R /XYZ 103.111 245.281 null] >> endobj 394 0 obj << /D [340 0 R /XYZ 103.111 235.816 null] >> endobj 395 0 obj << /D [340 0 R /XYZ 103.111 226.352 null] >> endobj 396 0 obj << /D [340 0 R /XYZ 103.111 216.887 null] >> endobj 397 0 obj << /D [340 0 R /XYZ 103.111 207.423 null] >> endobj 398 0 obj << /D [340 0 R /XYZ 103.111 197.958 null] >> endobj 399 0 obj << /D [340 0 R /XYZ 103.111 188.494 null] >> endobj 400 0 obj << /D [340 0 R /XYZ 103.111 179.03 null] >> endobj 401 0 obj << /D [340 0 R /XYZ 103.111 169.565 null] >> endobj 402 0 obj << /D [340 0 R /XYZ 103.111 160.101 null] >> endobj 403 0 obj << /D [340 0 R /XYZ 103.111 150.636 null] >> endobj 404 0 obj << /D [340 0 R /XYZ 103.111 141.172 null] >> endobj 405 0 obj << /D [340 0 R /XYZ 103.111 131.707 null] >> endobj 406 0 obj << /D [340 0 R /XYZ 103.111 122.243 null] >> endobj 407 0 obj << /D [340 0 R /XYZ 103.111 112.778 null] >> endobj 408 0 obj << /D [340 0 R /XYZ 103.111 103.314 null] >> endobj 409 0 obj << /D [340 0 R /XYZ 103.111 93.849 null] >> endobj 410 0 obj << /D [340 0 R /XYZ 103.111 84.385 null] >> endobj 339 0 obj << /Font << /F46 88 0 R /F57 117 0 R /F48 89 0 R /F60 145 0 R /F15 150 0 R /F62 148 0 R >> /ProcSet [ /PDF /Text ] >> endobj 422 0 obj << /Length 3026 /Filter /FlateDecode >> stream xZm~B@?TBsk\M[Nn\!Eq>أH|9$R$om]@?q_3;,gWO Bz",DE"`/M7JՋEb%£oMQոaVeg6m.#$BF?<fID|pٮ(TקE[t&z㩳;v(|xqMDŽP ᶏILg-9  $v8]G26-$2xAZ ѝi,ؖ-2xD rÏ3;~. 5ܿy;#3Un0˩S™ 6̠li5XA5:~"wMA"mp6v{(؜(7PCh/خiC|y uM S4mZHaFPY+D  (& ]b/a/6n1][a#2 ʺ>hp.HSUǒ*M{B4Ѐ ]˫wEZw4T>ۡj?fCL,b0yϻdb2!>:rVG$ 55xtPD˻] `oqC$JF^h\Ϯg@j{'$ &Ӓuhئ3zfI{ՑܠS_$GLui~(R#4M9|8`>}3oic?!%ṉ>/CH &igaH) \@+,C>5ev009@1&h.6a氁!.2MJ&giG4a]ʬҤĖ8|z'˧M+,+Ҙ*&{ FH2s2 j- KWѳqi1Пr_[ԃ/hX_Ȳ0%`숭Gp(<J:Ոr^fe33a-D\2) 1@Uqu@⩠(z(Ɋ9K8>,JzKS:z s7:O9pwQгAP'jQ \zsCYk«=iG '~#V2e2j_D&zvDq N8^[&m Uvxj߯B膈4-ƩU^XpdVaRo /4^aS~ebi5pktapmi{ [zy`[%tp X4X4 I_dw.sJZSc>넘X}g>pKZ߰eN%}m2lHNx0S5X[3\Ш6RVT4|N;LX}a3=v@~ l)a7$}/!ec==A}ލ`ᶭpHR liJYhTKlB˔@𭋪 d61bw}aՀ @Z$mglKK+bc> endobj 412 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [466.062 242.819 473.509 252.317] /A << /S /GoTo /D (cite.Abrial:SchorrWaite) >> >> endobj 413 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [260.536 138.51 273.438 148.139] /A << /S /GoTo /D (cite.Leavens-Baker-Ruby06) >> >> endobj 414 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [264.849 111.542 272.296 120.746] /A << /S /GoTo /D (cite.KeY:book) >> >> endobj 415 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [164.159 98.102 177.06 107.491] /A << /S /GoTo /D (cite.escjava:overview) >> >> endobj 416 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [180.725 97.993 193.627 107.491] /A << /S /GoTo /D (cite.KiniryCok:EscJava2) >> >> endobj 417 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [155.778 70.764 168.679 80.393] /A << /S /GoTo /D (cite.ESC:rr) >> >> endobj 423 0 obj << /D [421 0 R /XYZ 78.2 759.456 null] >> endobj 424 0 obj << /D [421 0 R /XYZ 103.111 718.506 null] >> endobj 425 0 obj << /D [421 0 R /XYZ 103.111 709.041 null] >> endobj 426 0 obj << /D [421 0 R /XYZ 103.111 699.577 null] >> endobj 427 0 obj << /D [421 0 R /XYZ 103.111 690.112 null] >> endobj 428 0 obj << /D [421 0 R /XYZ 103.111 680.648 null] >> endobj 429 0 obj << /D [421 0 R /XYZ 103.111 671.183 null] >> endobj 430 0 obj << /D [421 0 R /XYZ 103.111 661.719 null] >> endobj 431 0 obj << /D [421 0 R /XYZ 103.111 652.254 null] >> endobj 432 0 obj << /D [421 0 R /XYZ 103.111 642.79 null] >> endobj 433 0 obj << /D [421 0 R /XYZ 103.111 633.325 null] >> endobj 434 0 obj << /D [421 0 R /XYZ 103.111 623.861 null] >> endobj 435 0 obj << /D [421 0 R /XYZ 103.111 614.396 null] >> endobj 436 0 obj << /D [421 0 R /XYZ 103.111 604.932 null] >> endobj 437 0 obj << /D [421 0 R /XYZ 103.111 595.467 null] >> endobj 438 0 obj << /D [421 0 R /XYZ 103.111 586.003 null] >> endobj 439 0 obj << /D [421 0 R /XYZ 103.111 576.538 null] >> endobj 440 0 obj << /D [421 0 R /XYZ 103.111 567.074 null] >> endobj 441 0 obj << /D [421 0 R /XYZ 103.111 557.609 null] >> endobj 442 0 obj << /D [421 0 R /XYZ 103.111 548.145 null] >> endobj 443 0 obj << /D [421 0 R /XYZ 103.111 538.68 null] >> endobj 444 0 obj << /D [421 0 R /XYZ 103.111 529.216 null] >> endobj 445 0 obj << /D [421 0 R /XYZ 103.111 519.751 null] >> endobj 446 0 obj << /D [421 0 R /XYZ 103.111 510.287 null] >> endobj 447 0 obj << /D [421 0 R /XYZ 103.111 500.822 null] >> endobj 448 0 obj << /D [421 0 R /XYZ 103.111 491.358 null] >> endobj 449 0 obj << /D [421 0 R /XYZ 103.111 481.893 null] >> endobj 450 0 obj << /D [421 0 R /XYZ 103.111 472.429 null] >> endobj 451 0 obj << /D [421 0 R /XYZ 103.111 462.964 null] >> endobj 452 0 obj << /D [421 0 R /XYZ 103.111 453.5 null] >> endobj 58 0 obj << /D [421 0 R /XYZ 79.2 222.404 null] >> endobj 420 0 obj << /Font << /F46 88 0 R /F57 117 0 R /F48 89 0 R /F15 150 0 R /F60 145 0 R /F62 148 0 R /F49 90 0 R /F52 91 0 R >> /ProcSet [ /PDF /Text ] >> endobj 472 0 obj << /Length 3690 /Filter /FlateDecode >> stream x}ZKWLUTh9SIsDhD/EH|"x7~?>}IGa!/C'EXPcDaTꇈuQ.0N.C@͟ǝJU0,ߢHPwژu4ҥm_dxtึ'[=n_z~hsVֲgQ w:΂O73%Ӥ3Ǵ[{ "x=unpp'+v:wm۴7Zu(aYCRm74{8[.;_,rJmB4 vGnjLl/3Gh{ 7t5| Q?l]A _}v$ed}Ԗan 7#]"[k+R>G&c86 c{Lg{ , FdX9_8 B4= Nn ;~ J/SѪuǪilze Xy'R /Hc bƠ0A/'?`!d+ҦCKqZDZvࠃMoIvm7N׃XI;"O4A]l+@574Vr$`M߈]5m0<\;# ,T-}΢ ]x2:,x2C3s,:^@ aYIꡓE& @4>Du0PKMp+If-IXԒܾ5Aߢ4Od(3oӵ`aC@O4=gifܒc{k `Ⱦpb#WA`W1y5rWbiû0 ;pHI W]"h#۽t'9ދ!cͤŌK+b/l͘W㬴=&E&fZ5Y0k#&׍=xl}jvhŸxwF7:>q cѼnfA}휤uPOe#/zFˡ$̢t&8&08 U1yw'9IEWc\é^lTƟ*JrߐJ= l䠰8$L`B⦛V[)B|c4 0F'ҥϓJIRK mR@Qs 9HΦCFOgT@HHz7޳_B2y2}%aRǖ]q1c ~꺆) RKիytG=Is:8f>IҔC`%RӇQDnMtԉ+hxo0$ @%K*I=9>!^@wqo@aYfTW\O$ްNc2<͐}{y*-l'WfHB<.Սŏ>2hJC*,/ "`IyV&{-&:N},-s4I `;o>OFJt_-#oeGz8*ZJq"^d+NϷ(.\'Jk(Oa7fQw!6b{)ukyQI#B8ClFRqe<%J0J+ dz>r|<]Q)bX@ř_[[+ä]r6ΜA77uDߘWSZ,3mXbb(qtkyiolm QzZTi Va&N7vaȥ_叱eBa1ϺxṮo䤙$J>#$!y#L}ڎ*<I_?SB^19g:arctzkř YgFDdJ+ח\CECgFNlN&UV;mGAy)v AWo\ %s~'‰҃g9I%cnjƟenZͶJWy^O&8 Bcٜ=_ӳDՙ|޳ BzpxEC4~d:O>M0{_rt> ֥luqr pA HmKr)/uQS΋; ZA. 8Ŷ 9 endstream endobj 471 0 obj << /Type /Page /Contents 472 0 R /Resources 470 0 R /MediaBox [0 0 612 792] /Parent 411 0 R /Annots [ 418 0 R 419 0 R 456 0 R 457 0 R 458 0 R 459 0 R 460 0 R 461 0 R 462 0 R 463 0 R 464 0 R 465 0 R 466 0 R 467 0 R ] >> endobj 418 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [368.259 667.397 381.16 676.786] /A << /S /GoTo /D (cite.MuellerPoetzsch-HeffterLeavens06) >> >> endobj 419 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [385.119 667.288 398.021 676.786] /A << /S /GoTo /D (cite.Leino:DataGroups) >> >> endobj 456 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [128.609 640.261 136.056 649.649] /A << /S /GoTo /D (cite.SpecSharp:Overview) >> >> endobj 457 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [139.964 640.152 152.866 649.649] /A << /S /GoTo /D (cite.LeinoMueller:SpecSharp:Tutorial) >> >> endobj 458 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [248.052 626.712 255.499 636.1] /A << /S /GoTo /D (cite.Boogie:Architecture) >> >> endobj 459 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [339.03 423.326 351.932 432.824] /A << /S /GoTo /D (cite.Darvas:thesis) >> >> endobj 460 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [355.727 423.326 368.628 432.824] /A << /S /GoTo /D (cite.LeinoMueller:ESOP2008) >> >> endobj 461 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [517.206 409.777 530.107 419.275] /A << /S /GoTo /D (cite.Filliatre-Marche04) >> >> endobj 462 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [150.436 328.313 163.338 337.942] /A << /S /GoTo /D (cite.SmansEtAl:VeriCool) >> >> endobj 463 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [425.191 274.247 438.092 283.745] /A << /S /GoTo /D (cite.Smans-Jacobs-Piessens08a) >> >> endobj 464 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [205.391 233.561 218.292 243.059] /A << /S /GoTo /D (cite.Kassios:FM2006) >> >> endobj 465 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [242.251 138.679 255.153 148.177] /A << /S /GoTo /D (cite.LeinoNelson:tome) >> >> endobj 466 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[1 0 0] /Rect [511.751 136.426 527.38 148.177] /A << /S /GoTo /D (subsection.1.5) >> >> endobj 467 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [458.08 84.444 470.982 93.942] /A << /S /GoTo /D (cite.ZeeKuncakRinard:PLDI2008) >> >> endobj 473 0 obj << /D [471 0 R /XYZ 78.2 759.456 null] >> endobj 470 0 obj << /Font << /F46 88 0 R /F52 91 0 R /F57 117 0 R /F59 184 0 R /F49 90 0 R >> /ProcSet [ /PDF /Text ] >> endobj 486 0 obj << /Length 3486 /Filter /FlateDecode >> stream xڥZKs8ϯpqH=7ۉ3NI*rej+"!1>ntd:{n_w nE" S7Kwqy%wʏշH]/ .vzPW!GdEH$!{ՙ zk?p0)?j)"Ϲj۽Vo+ {t3pw,kuMyWQ7=MA #NcT%p:K&bˇT5ƞǁ'YV?p7cmdET>4`?鯞'r]@p>} "-iWa0hd ؎v1@®V~k("&6!"vX1fr. Bu$(j{3A mlbz[!o-krL٢XIHYhל Nlsl`:qUsY e;KN{Üմ,áZ#+!:rO3ďB/?_HLAϞ' RxN5buk[2#D 8RNBD\/J/94]a' .ez4CCV(T 0$xÒC[Ur~ D&8MnɭU-;[:w0miJA@zKpN(( f9 m}!9E0S}A!&/aabΡ_ .RHc'~*+w1Rd*H])»FΆ;2weR%=BB)v$d-$ Xq ΢_^ة5H4C=U>on(:9s^4ФED7,*nOwkxz=Y`4,\?MtG8D`BYSgCJ:UL: FRxjdm:Yz.٢i`_wS 9EQ4^5 ևC7 ;P*Bq Fh~эm1zyK$5݂3!`Mir,5ڍÄG m=AMstbi[}ЕH^}6f8Hvx^bQs&VXPn4*N(iNSr)+ucpÇ4:+p@$ a5ЧS%pvmQ 4ghDŽ l*>w\XySb;rO\?vCv Mᅩc4A>e ‹|E0r5̟(|kK&8qtZ:sWn,*2o'_|oؓ@%};Bg" "񙥞%g/xL曂ɩA3;unFU+Dv~rih٧MpΙU檍oy22z(,W.xF([U^umsB9eV󞖀La2/X~&D6n'g>;?HAa<=Lx[yX AE@K~*Qm^EO=B]$<>b 4_g@ 70ٔ?ſוƮdǨ{`s65v}!~~DN's7xF0KQ__n6KzIuS> endobj 468 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [148.033 694.387 160.934 703.884] /A << /S /GoTo /D (cite.Leino:Boogie2-RefMan) >> >> endobj 469 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [211.239 694.387 224.141 703.884] /A << /S /GoTo /D (cite.VeriFast:TR) >> >> endobj 479 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [514.478 667.021 527.38 676.41] /A << /S /GoTo /D (cite.Regis-Gianas:Pottier:MPC2008) >> >> endobj 480 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [107.61 653.472 120.511 662.86] /A << /S /GoTo /D (cite.VCC:TPHOLs) >> >> endobj 481 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [192.164 495.209 205.065 504.707] /A << /S /GoTo /D (cite.Weide:VSTTE2008) >> >> endobj 482 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 1] /Rect [304.958 479.407 407.685 491.157] /Subtype/Link/A<> >> endobj 487 0 obj << /D [485 0 R /XYZ 78.2 759.456 null] >> endobj 62 0 obj << /D [485 0 R /XYZ 79.2 592.177 null] >> endobj 488 0 obj << /D [485 0 R /XYZ 79.2 396.08 null] >> endobj 489 0 obj << /D [485 0 R /XYZ 79.2 324.122 null] >> endobj 307 0 obj << /D [485 0 R /XYZ 79.2 296.984 null] >> endobj 226 0 obj << /D [485 0 R /XYZ 79.2 245.186 null] >> endobj 122 0 obj << /D [485 0 R /XYZ 79.2 207.328 null] >> endobj 170 0 obj << /D [485 0 R /XYZ 79.2 145.559 null] >> endobj 120 0 obj << /D [485 0 R /XYZ 79.2 119.656 null] >> endobj 484 0 obj << /Font << /F46 88 0 R /F52 91 0 R /F49 90 0 R /F48 89 0 R >> /ProcSet [ /PDF /Text ] >> endobj 494 0 obj << /Length 3971 /Filter /FlateDecode >> stream xڵZv8WxMc1$NyHq$rUNUD[HCR)uWL7U|~dI$Q%/N.S9 #e%R?I7yQVa,1-3UBaL%%#dĻXd*2t2A͊лeLU[oLtƋuWŸL,mLEB?}jѭ*Vu7sS<ֺ/?LagQ_D~ӛ稆FzAYB@k XǤEi,4$u_zQ7]9+?XƑ!:аvJzcxa.Ih ˕O)K'B&^^Ixv*53!dh T?L>WuΓUi䳓4o;TX(ݦAm6/_oDn{F|Jdg~`B*f(,Uwݭ^ L^1X CK]87t^F`w0_GՃTjYrǘ´/ysl\t#r*@x5Y㟐38Ypzjh>x}I[X7Kl ='\LqCGP))!:qAAEnY+B`tjlN"rGÅHH,WT൚$Sl& {]V8AgvUWvu="w5^tU4۪s;Z9܈.}Pw峱"жMnQEt90)yi|}V|'p 0g}MtgeKH0jhuS8Y:ZDKz?4͜g/fXeɌu^^V4%Oġ%~j=Qum`H p4f- =wz,4/ D56 1{Ǭyy3)Sgq0+Gf*xeW@jnM;Q›x,tCM,Df= D>jXzc(&l,EDX|Da03L!SЋ  []>Пa5Vb0 b },J]Ňw kaVlO-{gf/ViL LU]Mm?'h-Co_;FIQ 'ı{zbamD_Yk}wN>Cv.KfQ+S H XG" _y -LdK =~W̭J|e}9qN{4#A#^*u3g1x"MwrNZ6'+sO'-K]6wys]ܾ%%Ɣ]f 剻bM* $bAI&>pZ{1 v*UMī*`mΧMn02r'lhn親"v^ sUK.2QHƙ(LLV4#L$ed=D ր0lQVC2q͆Vuzu*s{ 1ƣ d ߟ0 j=w%cSN6}*cFs&i;o+C'~ #sz#ƺcAѶ%omÎzv'S粪a]|9xkYwyJ_YF Nw]s?omoz<2)}<ʎ^qZm2= z-RJu J(/B8or;S'V媅vcjLe^3bSyWp?-s˼*/3^ڋڌކ˛Yrc*'ÉݕAz㄀d88DvT0M(xw!PlHib"0ry/o>n+B/yoV'yeׂ\sw}ȷNƁxV:D%3 g%S$џD=XN៕Lq$ZK1V?kVރ ?KaY 1M%9qzs ч?jRv{2agEaܸ6j/.3G "{W[N9%gDeFڜq6L^ux6YR4kW՝]#l 藵Iӵ(̫ZО-Ph~}ؙ!Yl΄v$v޸ϩ\Ի(\d/;ޯ A2##_dC'?L endstream endobj 493 0 obj << /Type /Page /Contents 494 0 R /Resources 492 0 R /MediaBox [0 0 612 792] /Parent 411 0 R /Annots [ 483 0 R 491 0 R ] >> endobj 483 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 1] /Rect [151.902 694.306 227.02 704.837] /Subtype/Link/A<> >> endobj 491 0 obj << /Type /Annot /Subtype /Link /Border[0 0 1]/H/I/C[0 1 0] /Rect [103.574 516.663 110.548 525.24] /A << /S /GoTo /D (cite.KeY:book) >> >> endobj 495 0 obj << /D [493 0 R /XYZ 78.2 759.456 null] >> endobj 99 0 obj << /D [493 0 R /XYZ 79.2 720 null] >> endobj 288 0 obj << /D [493 0 R /XYZ 79.2 695.303 null] >> endobj 453 0 obj << /D [493 0 R /XYZ 79.2 657.071 null] >> endobj 93 0 obj << /D [493 0 R /XYZ 79.2 631.168 null] >> endobj 227 0 obj << /D [493 0 R /XYZ 79.2 605.385 null] >> endobj 306 0 obj << /D [493 0 R /XYZ 79.2 567.407 null] >> endobj 310 0 obj << /D [493 0 R /XYZ 79.2 541.504 null] >> endobj 224 0 obj << /D [493 0 R /XYZ 79.2 515.602 null] >> endobj 223 0 obj << /D [493 0 R /XYZ 79.2 477.744 null] >> endobj 102 0 obj << /D [493 0 R /XYZ 79.2 439.886 null] >> endobj 455 0 obj << /D [493 0 R /XYZ 79.2 378.117 null] >> endobj 474 0 obj << /D [493 0 R /XYZ 79.2 316.349 null] >> endobj 126 0 obj << /D [493 0 R /XYZ 79.2 292.384 null] >> endobj 98 0 obj << /D [493 0 R /XYZ 79.2 240.633 null] >> endobj 96 0 obj << /D [493 0 R /XYZ 79.2 214.73 null] >> endobj 476 0 obj << /D [493 0 R /XYZ 79.2 188.827 null] >> endobj 125 0 obj << /D [493 0 R /XYZ 79.2 150.969 null] >> endobj 454 0 obj << /D [493 0 R /XYZ 79.2 101.156 null] >> endobj 492 0 obj << /Font << /F46 88 0 R /F48 89 0 R /F52 91 0 R >> /ProcSet [ /PDF /Text ] >> endobj 499 0 obj << /Length 4156 /Filter /FlateDecode >> stream xZKspUKU8$>09ilώgr2KPX9䷧ RMiS"xh|uxQa@E"R_&wYy=~,/jYiLj]H_,i"@\9qWV⏞YxWζ%UMuF5q߂(+?1Lih^muME7b&"*3xKs^] `&B^CKeoy$RgmYzGiч$y_#~Z λx^<l@79xeЁ}ja.sn4UQJm VP7M>w-֮Є-`轡5g3z . A8"N\(8<lOeF4.Mɜ{-ՖnwN*$8I qeuf\%RٚAF۽ f.Yr;,1eτB ZI$^@MtT>ox 'j3JXfu52뜡K26;: Gag*ұ09k. 󑫄F=)#֍۰|JٔODq۵5o- ľbDPy #}p*f̼1% ֜m H)(/]MLm`vq\ͦUENYm4ܾAtY@r*LQ 8iz &uD~%Ēq0(p@ /WLJ?Jy8>uN8\Eu[v 4]*) c 9:6Z@u4hnhr& gIc;@" D8И.Pdh{،%4N )xLnqw13m3]=PW :ez"ƌ/L)l&<3"g,:Ρ* M !Klcb(=f{`Uʶ^Wپ_;L`›.;,w B'ꤓ^@feB Ȯi߽G%W$UM_Bͻ]'I%OƎ8IыKW׉2 B#"ӌKjs@5T,SvoVU]#(= W@ZfXEw5d˅؏E*:vqB 24B _~䮞c5nfZնʚש(S~tt̘CX*|6ㅁˌ!ޑ8@[ wժ=`n,_7%5ñ?mmgDzďw2n{ ?a# ~c0G@!ٴr!ɳwk6z>j ѲG%ҡS 3hg@:ua iJS C0ͥ !'"X}w?3aZQwc#jwI ]P,dK52ׁ=U &r9 8>qFk:l\ ja%SB=hIM N7!ӱ//ĭwQ#ECK : O^S: 0>*US\uIO{`ZMMdFt=r~9<\[޴9ZS#P6ȓ>r7 -.c%„AfkKPlNhYkIWw4ړ 'G6M5Zo( Yx.^xi: x cbqoXm0e jzR%0PQ.͛](Ѝn/fW T! 9n@1&.2ӣ@"BC)ɖ%GKaW>! sơRH0aG(Qd?Ik>DB`,m`xd4|:}2p`3`_(&5@TG> .-]);{ɺXa~Sq~mU@A0g_x@3 CK_Sxw3LSm瞋R8P>eHG,X5Aid],V > endobj 496 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 1] /Rect [454.278 351.218 533.74 362.122] /Subtype/Link/A<> >> endobj 501 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 1] /Rect [100.256 339.862 257.187 349.731] /Subtype/Link/A<> >> endobj 500 0 obj << /D [498 0 R /XYZ 78.2 759.456 null] >> endobj 94 0 obj << /D [498 0 R /XYZ 79.2 706.884 null] >> endobj 97 0 obj << /D [498 0 R /XYZ 79.2 669.026 null] >> endobj 309 0 obj << /D [498 0 R /XYZ 79.2 631.168 null] >> endobj 289 0 obj << /D [498 0 R /XYZ 79.2 593.31 null] >> endobj 121 0 obj << /D [498 0 R /XYZ 79.2 567.407 null] >> endobj 95 0 obj << /D [498 0 R /XYZ 79.2 517.594 null] >> endobj 119 0 obj << /D [498 0 R /XYZ 79.2 456.543 null] >> endobj 222 0 obj << /D [498 0 R /XYZ 79.2 429.923 null] >> endobj 173 0 obj << /D [498 0 R /XYZ 79.2 404.02 null] >> endobj 124 0 obj << /D [498 0 R /XYZ 79.2 366.162 null] >> endobj 103 0 obj << /D [498 0 R /XYZ 79.2 340.858 null] >> endobj 104 0 obj << /D [498 0 R /XYZ 79.2 291.163 null] >> endobj 475 0 obj << /D [498 0 R /XYZ 79.2 252.588 null] >> endobj 176 0 obj << /D [498 0 R /XYZ 79.2 214.73 null] >> endobj 171 0 obj << /D [498 0 R /XYZ 79.2 176.872 null] >> endobj 228 0 obj << /D [498 0 R /XYZ 79.2 139.014 null] >> endobj 123 0 obj << /D [498 0 R /XYZ 79.2 113.111 null] >> endobj 497 0 obj << /Font << /F46 88 0 R /F52 91 0 R /F48 89 0 R >> /ProcSet [ /PDF /Text ] >> endobj 504 0 obj << /Length 2916 /Filter /FlateDecode >> stream xYIw8z/BAyر^f:}(XB"5\B,9sH@Ux˯WIzccOO2ILgП]uI"rkyu^)qNEˌ8eqr2@{,WCoX8z,KCs `Y>oBRd/jm=8mzc1L'9{1$E(f0QѽY6gxqLmQ]8FBERѤmpp0\5cmmؚvG㦝ja1Z%; m iEozNcq08JԞfՉL[:Iĵ6GǮ#2r_"v +T[*`z*$SΛٴB }w33b07Q<ť?9{Jqfھ%%yEjAL@Eq=6_E;]=wx+w: q2VhgEk޺trY`^?iA!Ln2p[v3vC AoGQob#~osC.άŔp;xS K^KƱ`Ηy70xU[$Y=j[:SvQvb)XѮvy摻78$)|':͂t +. NY(@j *xtV=Qo2)^) de4ۈsA|4G2'kAo Х#INeSCےʡ%Gͳ\mS DyΚ rntŷdstoE37ضo%ϊ΁S "C8l#vYv8xx<#9g)?U8cx P',ž/۾ |AL|^ 2lB!eZ*[Z?{ZK}n?|emCtlMU+܅vfQ8Bg,Iˇz{rt".J\v:4w*Td~Y!1 r t/N,7pKCn-Bk?4zS.j!x 0@mY U3g%5.E AY·vY=- f 'z~՝;_Q d.q/`oOO cXLz']eЊ9 @~P*_؜ʼn>\><,yίP44(l̡`.T_@6JKf,hC]/,[?$HjkUj*"oU2VTNm7 t|-S4*R CFuԜ8`9/:EɟYJ {ƹBd؎P)B4~!s9` >))%ڕRBa Mu3^L !krnT endstream endobj 503 0 obj << /Type /Page /Contents 504 0 R /Resources 502 0 R /MediaBox [0 0 612 792] /Parent 506 0 R >> endobj 505 0 obj << /D [503 0 R /XYZ 78.2 759.456 null] >> endobj 308 0 obj << /D [503 0 R /XYZ 79.2 706.884 null] >> endobj 118 0 obj << /D [503 0 R /XYZ 79.2 669.4 null] >> endobj 172 0 obj << /D [503 0 R /XYZ 79.2 643.841 null] >> endobj 174 0 obj << /D [503 0 R /XYZ 79.2 617.34 null] >> endobj 100 0 obj << /D [503 0 R /XYZ 79.2 579.362 null] >> endobj 225 0 obj << /D [503 0 R /XYZ 79.2 541.504 null] >> endobj 305 0 obj << /D [503 0 R /XYZ 79.2 515.602 null] >> endobj 478 0 obj << /D [503 0 R /XYZ 79.2 489.699 null] >> endobj 175 0 obj << /D [503 0 R /XYZ 79.2 451.841 null] >> endobj 477 0 obj << /D [503 0 R /XYZ 79.2 413.983 null] >> endobj 490 0 obj << /D [503 0 R /XYZ 79.2 364.169 null] >> endobj 101 0 obj << /D [503 0 R /XYZ 79.2 302.401 null] >> endobj 502 0 obj << /Font << /F46 88 0 R /F52 91 0 R >> /ProcSet [ /PDF /Text ] >> endobj 507 0 obj [631] endobj 508 0 obj [612 611 763 603 722 333 631 722 686 889 722 722 768 741 556 592 611 690 439 768 645 795 611 333 863 333 658 500 500 631 549 549 494 439 521 411 603 329 603 549 549 576 521 549 549 521 549 603 439 576 713 686 493 686 494 480 200 480 549 0 0 0 0 0 0 0 0 0 0 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 247 549 167 713] endobj 509 0 obj [969.2 809.1 1051.6 913.6] endobj 510 0 obj [388.9 388.9 500 777.8 277.8 333.3 277.8 500 500 500 500 500 500 500 500 500 500 500 277.8 277.8 277.8 777.8 472.2 472.2 777.8 750 708.3 722.2 763.9 680.6 652.8 784.7 750 361.1 513.9 777.8 625 916.7 750 777.8 680.6 777.8 736.1 555.6 722.2 750 750 1027.8 750 750 611.1 277.8 500 277.8] endobj 511 0 obj [277.8 277.8 777.8] endobj 513 0 obj [600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 0 600 0 600 600 600 600 600 600 600 600 600 600 600 0 0 0 0 0 0 600 600 600 600 600 600 600 600 600 600 0 0 600 0 600 600 600 600 600 600 600 600 600 600 600 600 600] endobj 514 0 obj [277.8 777.8 500 777.8 500 777.8 777.8 777.8 777.8 777.8 777.8 777.8 1000 500 500 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 1000 1000 777.8 777.8 1000 1000 500 500 1000 1000 1000 777.8 1000 1000 611.1 611.1 1000 1000 1000 777.8 275 1000 666.7 666.7 888.9 888.9 0 0 555.6 555.6 666.7 500 722.2 722.2 777.8 777.8 611.1 798.5 656.8 526.5 771.4 527.8 718.7 594.9 844.5 544.5 677.8 762 689.7 1200.9 820.5 796.1 695.6 816.7 847.5 605.6 544.6 625.8 612.8 987.8 713.3 668.3 724.7 666.7 666.7 666.7 666.7 666.7 611.1 611.1 444.4 444.4 444.4 444.4 500 500 388.9 388.9] endobj 515 0 obj [600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600] endobj 516 0 obj [500 500 167 333 556 278 333 333 0 333 675 0 556 389 333 278 0 0 0 0 0 0 0 0 0 0 0 0 333 214 250 333 420 500 500 833 778 333 333 333 500 675 250 333 250 278 500 500 500 500 500 500 500 500 500 500 333 333 675 675 675 500 920 611 611 667 722 611 611 722 722 333 444 667 556 833 667 722 611 722 611 500 556 722 611 833 611 556 556 389 278 389 422 500 333 500 500 444 500 444 278 500 500 278 278 444 278 722 500 500 500 500 389 389 278 500 444 667 444 444 389 400 275 400 541 0 0 0 333 500 556 889 500 500 333 1000 500 333 944 0 0 0 0 0 0 556 556 350 500 889] endobj 517 0 obj [556 556 167 333 667 278 333 333 0 333 570 0 667 444 333 278 0 0 0 0 0 0 0 0 0 0 0 0 333 278 250 333 555 500 500 1000 833 333 333 333 500 570 250 333 250 278 500 500 500 500 500 500 500 500 500 500 333 333 570 570 570 500 930 722 667 722 722 667 611 778 778 389 500 778 667 944 722 778 611 778 722 556 667 722 722 1000 722 722 667 333 278 333 581 500 333 500 556 444 556 444 333 500 556 278 333 556 278 833 556 500 556 556 444 389 333 556 500 722 500 500] endobj 518 0 obj [600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 600 0 600 0 600 600 600 600 600 600 600 600 600 600 600 0 0 0 0 0 0 600 600 600 600 600 600 600 600 600 600 0 0 600 0 600 600 600 600 600 600 600 600 600 600 600 600 600] endobj 519 0 obj [556 556 167 333 611 278 333 333 0 333 564 0 611 444 333 278 0 0 0 0 0 0 0 0 0 0 0 0 333 180 250 333 408 500 500 833 778 333 333 333 500 564 250 333 250 278 500 500 500 500 500 500 500 500 500 500 278 278 564 564 564 444 921 722 667 667 722 611 556 722 722 333 389 722 611 889 722 722 556 722 667 556 611 722 722 944 722 722 611 333 278 333 469 500 333 444 500 444 500 444 333 500 500 278 278 500 278 778 500 500 500 500 333 389 278 500 500 722 500 500 444 480 200 480 541 0 0 0 333 500 444 1000 500 500 333 1000 556 333 889 0 0 0 0 0 0 444 444 350 500 1000 333 980 389 333 722 0 0 722 0 333 500 500 500 500 200 500 333 760 276 500 564 333 760 333 400 564 300 300 333 500 453 250 333 300 310 500 750 750 750 444 722 722 722 722 722 722 889 667 611 611 611 611 333 333 333 333 722 722 722 722 722 722 722 564 722 722 722 722 722 722 556 500 444 444 444 444 444 444 667 444 444 444 444 444 278 278 278 278 500 500 500 500 500 500 500 564 500 500 500 500 500] endobj 520 0 obj << /Length1 1455 /Length2 6097 /Length3 0 /Length 7079 /Filter /FlateDecode >> stream xڍwT}> !")Si6Jc`lcҍ]J ")!tNoy?}a>3!m*H(jk P$eg7aпqRv(C"$C cqsF"npH=@ߎH@ h4(]B:?8!\y(#`#W RX,JB@ÃGdx0#ݡv_:`j#G/!FC8@\ յ((/gx.+ݟ_``#`= hc=0#A`ls:"ᇁa(,(+ vH(!՟ KpH'{ ;71UWッH9@!18 *`䅂6~8~>($ `Cq_>;EA|)A[ A8j74`0;$o#0SSC_F'OH'(b 7?2#쑀_%~]LHpYB4o[Ey ~+H m]`p?8Aaqˡĭ]Mm6Vu,$@@pF Ӄa!ijaEerf -"xUgN h4؋' I-$q#Ѥ-"- ZpDQF\oPO("TqT#2*EvPoЊۧ&zpЖ<)Ңc7j;h"G?TRǤ Ք C3T,/5܃V°TʒJתMfo喸ofPتms8.lZL~hd}BUHCF} g%hI<Ę^U~aq[8sLU7ɫ }QͯE}~ee, ?~6xg褩XcLxH[C*!!rwXZ Ư׊|/w;;8]1 3N@ 1.՞Z."J  %97Bb"V~^ؿ]gWW~Hف'D^s}!E5xݔ4r#×{S-U7@CE8rn 4M;ɓO׶L-N s[y+GG y`zӘhZ;Jşr`b͒jizi{lR84|i.wW u#njANJoul;[46%^zoA9NIux9Ҥ926s>F]oOYS֤}Lpao5Bu,T7%>,>d =S!F/F:¾|ϫ&z-4Tprq^F6fz( GĢiLhId Kz:-7B±>qņ,؟uS%qՄ]54xuZ* 蔬kձF}qv[肏d@^EsE p->t2QQ׬<{v7z 60;1FYbu$s]B_< uUkR=gF1Bnf'^hҍGu"$賛T|@GuQNkݣHl]@@lf%^<޽byNow\hRMSGHFF!^(w?"[5wE T7f~q4?MjFc}(8+$D_x$=ܐf[ӝ_ [L[;JXN-d: •D{3Nܙ6eu$_%kɍYCQko$zġ*ѤgqŲhim{UרuM/斺gc8E/=n|$o^Q79#@':I纀;: d.'Fj̃ ^q&TLV2TuגPm8Ső̘$/ /90~e㭊w[qgGM|{QOׅ</: 55zn϶Ήgf^HwMNU?R= _Xx5r!nɶ嘬i41>&adryόاP~W5gצb2ѵI˂ѝ9=j\hF}FZ~2"=u/ЉEcHolM'80tKGjP=l=L +W~ qpgړ!Ͷ3ồsY%j~h$q}Z+Q1~:[S[J Gz:5 s)Jqޔr/A'̆dS}^pΠ%+oy[q?t3ȍsӝъ}Vn/2uNzCQZV#}»e'BlP.h$ب6D|\T;`|w)uw {In=DtєǪy]g{!s l|]Ĵ,+v-=mN;"pR)CQ,;knۆI7b͕(}wJ|K^d FqQ.:'B9੥K>-yN1;bV,~UA%ΔD^TgLl۱1O_Ns5w͟T7ۿ\"e)bcaHL _ *D>`jG*S(Mh $MKhK䬥Ν/\V;rhoOq.Z;m׼]=+7g](Cnjb^6(ˤ9Aelw,xj;LYW:u$.%v;Ro0(Hy[wWy(e䀍r-GO./ٹOD,>6).&NK mŰ*=z<9XUFdN$qQ6fͬ-)/VMqtR@ ڻt=BY5SsW>pIAg cE4o[?=j@8~RK(ؔTb]o V` V`p6 st֣|~Zcr_W"V*w\ #?X:T#ؤ= xézIh9/x+s >KY}L>:5FV4bnGCMɴ^rjEڸ',ndβ8zT)*lrי(?xtP>2* Jڃ8ʱɵٷDJEc.!ΆQ/K6o/;ZGT'9do hlģ!-FXo]_K)1&"ۍlv,W7wL)*S[Rw{`DzU9^-Kj]_$ɢ&S]>8Yi:FEQo /.'yE:!B<#zBXaF3ΠMkFҮ"K} *XٴܓayURD`U:YxWCzOp@TXr̹fW|bVC+=I١͂Vr Zv@5ג,dKQßdVi;7hoR^Jk^*j2efrF-I?xN:6?p &lƷCʓU&!QEp[9>A| "'!RmX5]ȧ&k5M1.$%:=s!d==%6ۯrxn%zO;#nSRcć4l(ֲX$zKsBER2]Ny<$͞뼘zKvct^f1_u5-fwVe4@&Xt7 gwAufq֏7iXVI+`8e˲0GrvBŗuwT/ 3Ե2Y|kJۈ2ciFŜn׈lr[.Gܖ&ϼco1hGX[%hv@ī[꠾i{_n]jS"|Nltw}B%I/+j#&Xl'}HyΓZ=+&7B̂lˊW:e1agN Kb!_Wc͟y)%}bZl}/6|En@Q}|FBr^r/} " NA <Ŏ1y%q?hR{k}/Gr]^$!$EIm)EO2=,goijZxC'qLsVhe,:D?r)[z6_b̡[`XDb{RC"qS2>@Ytn"8f4H^r*E.p1K4_ՐT?.NLU<Uڐn! 4zP.8<^B<&ֺ-/9b/mW}1LD u޼U#eW1O:|T!x's1coH`Ly]!ڠD%GZe | m=peҕHPغM0'gWO0U ;iZ Byo $L;xvjwtM]nT$J05H,96jDk^$;zoPGBY}Ʋs\˓cȘ怴5(Q4=D^uN/2 iw,$ GsD\3)=!/6((ر/F_p*T}uγk‰"V%s!AbUn7*ڥ =Glx" Z^-$ Ml=r"Dn.Ɲ(lWo==U7z{1)GucID?f`sͽT>6O|xfUI^9Ϋr< tdQ}:y_=t5(Vh> endobj 522 0 obj << /Length1 1500 /Length2 6403 /Length3 0 /Length 7396 /Filter /FlateDecode >> stream xڍtT[.H( R3tww30 EVAP@KZiP:cwZY7{?onVc~E'D GRe]# B&P &0 =rPFB( Fatp Ĥ@R@ @N]$PF!.(1/܎<8߯p u`+ s#0F8B!(qEܥ}||nrA?g(' '/wAS8 s@ P\R@|]7s2~Aw3$ x!  @'# q‰C1GB}V@@?+pWXȐ7lJJ_@/$ ~Lw 7_r+&Syx=Fo :b>,/Լ`_f_ v8`Œ.3v5e](0f<.TB (G 0(b|l 3p1'WL WnW)Iv! 4 l?"͸5#cm]SocXˬ`֯E:jҢq8DN։吴Y+ySŪiƊ.VO]&a +c^z<9KBlu<YKlhoDkbϳ}s %wbWϲX'uh+n_. asxLq;kYf2!e߈@X55_6ūAśZxSZXZ(4g{8S ⻡f-ccwc?TpaS}oX~0XxAB2dL&3XHz-mt2cuo>'|kau۷)4$v}9xVϛ%| dD@cL'XdbuAHm/W4Se, }Z֦%W4SJ0Wb Z7y;k3 kDASKSԠߍn2h =}Egg5`a}aN9ﰜSbG$i0dkYm8{^X1x30Ƃ{ȟ޴mv?U=Jwx=+J_I'[*+i^qw_z %ub9Qղٍdj lٺ/{_CIa5C; Y /C/ޝ)C9=`ު!bDCB/N= 5;/.Wnվf~?oeD⵻A+Y&SdbdgRI/vjxr2vR{\$5P/j4V-vΈt~˷dX7>da+l/NWoηJo],kz|2JRZ=LY>kbSoaZ! civX0;iېp㱁xO(l.Rf-޳­ϑjXH3l"8D|(a$kB滔>s][l)?S|e3 }fm=,Ԅf?~VpdkViaN^[<(u| Y~crX1HZ{SĄ'jD ~6#oJ_$dzO7jbԞ=&[8)V][E?v>1 шȡF`~Q%=T4U&ܘa}RL4~T`ǘȯ09v.A>Ae{@ o2z.MXebjE[U_7lIB']7g/JxͲ#R{;9z=bqf:ATf4>|Dz\4(.UpuTQkJR꫐󇒚ߓ3p?_RNPzrG֖v{Z37[- 7v̐1qO)nhEk .]i`by3te:/E^˧c}::n? Vu2S]~~Uh+X[QՎ{I>pb1"-={CwRAncD^/m3AC1=]&==$t7^'=3Ƌai>;hSsSzv4D:%@ź1רصaKLCi߻OXYnopԢ >_d0!C}m7,fVۄ2OqDͷsդoqqQBc+ [54FțHm+LҮ][+d4.68שԸ&L3ck7 #WJ=Ē$R6z'8lM~}ueE>V]ok|iV`,ERuwT-1Mk# ^3rc$ihF& wM{V2q "~,}Q}-A´0̇lυ2ǨԢӃuѮ$2:$bmue@kUA:cUƔ1R!1m» {$BVj&/2g028nMӅ\B5? u+#bZʮY">?74Eax켌i#yG# mY%cQȓw,w.&_Vl; g+|ߜlP%/GR"K- e #9i/4 F?`[]dh0槟3/4^5/SDsut̞ѾS0o-g޶\1T+mRjYt;&Ui9]W '+wb;#{|UqPv_h6.~/V IRwu:4P4lתjs^&\?u?F,RnѕPKJ Hħ>ÑGj؀ϣ}_O*F!|=]/b:t9M9hN64c'˅i^qKGcJnhT [Q5fB<b]iIM3A9]쁱Â5c{,m_^s[D.7[*\xcܒPrDC3_U/q_j;v4?Ī7|<l佷X=p7m0e_}2)wb\;ǦZ+-iChg@fi/snNN0cl'2*_ wtGrc M.FRF83T7.Ney,Ay RpJR9l0Grԥ +Vv4I@opw:-e.ҝgρʥX{օX6&ǝCZUFe> endobj 524 0 obj << /Length1 1787 /Length2 8191 /Length3 0 /Length 9340 /Filter /FlateDecode >> stream xڍT6N%n)fؐ.AD@D@Zwz3=Y; H E?kxXX/ à! "tԄAjn@@䱀c~~ ?_0; PAAp<y+W-@@\\w8@ B@#Yl R?qD \yxx0W)nx \Av_Z@gПxX`==  #Cܠv W:@OU7 _@[[ :@[Iv8 t!@J ථ`+ v0gg?+y^|6 CѰss3TABx` @_\DDXzy:*m #9\H ?=W7Ͽ ]   ';F 0GO7 `P?[̧'忍rr0O8G\ 7'ߨQjAyzqS `H=ߜ_&<C+U#%7䷝ xԳ90@@knkUE3" u@G/?p0\ #l_@ր AF 9zNȻlo9YAAa腇Tr% @Ϊ|P@r\~5VO> hBޑ_ڄm#m0; co2  $->kD'@`.|H"%~_Ad@$9֯b[o32p E C^-) , IQ5r,v(B^ zV]ҝ4Dm1?DăKجDATIB9ˈ͓T)5 *ó5&n޳~pdvឈ#7:㎬&UĆ"Z9XG|ntӼ\ Ne S xC!|}9}- -\aDN,}%,*4qOT~Oe z^uQq/f[d*Htv%OAiy}uial])$*k*`ݪpt 6~o[ꖧJ9ͰAbHecpyPǵgԾ} GA. Z.$laBU># H P^GF "Eh+e^eZZ>Ao `%kwOE{ºjmY=Ql4yZzL\`?3Z`xq+n%r'@9EE6Fÿ<2zH4K1 %~5e=P<@z\%U~\|K @IR;N( ,~A: 4-J$*ˀZT8o}WhM1ދy;zSVi#̮n2LR{r||tBJe1O4ES$#ٲ/u +?[B auKI=u)%Rrj%G>IqVv3VhL͢|zT>u#GW`ZƊ;wb$É"%zcVQ鱐EZb:n{!y@=7lZg| NvۘIu{߾{wY~<}v^JHx2ɓ8‘zFGRMӺ=dPQw9J%ߺ2aLVPjf}k8K$"E#5)0PEWIO IONw|"&,?>(":;wn`!.h&j [zZ(s7%)~V>Au`/V(:}$ynȀqa~{l9yrlA,Ihv%|bɑŠ?A[{man"C1_"~;E/ OV8SDNxS_;6yQNj5990$76 Lz[n ZZr u)2o۱ii^=/b&f}瑰j w #' 0*[?4rda?[5Jk+F#摩'1ĺa;8/G I/c]8i5;P-WTԋ}qfRpMv9 %96~f+yUhKRE$\ Ey}) q.'iUQ!oT@Y :;Z߶E˵hȗLxUþb8}5Z5D4Xݞƈ{5@ZчH&Aojm!7ߧ)^Pߖ(TGgD}9QŷT]faE7msLszr1{Ta ;)Cy˗b(g1x]hSw:yKZ}DNz_L XX3eqtl72(_ܰ6 >Y_~I?I}PCrPbKP$ߋy$`'H܅T}lD+[p 3Cl3z艐ZAej .9 Ρ12/KؗKO(x/-E;h^(&ZZ$e&7\rF{;1;91[<ګ&8oο&j0J99zy[*YkfZ9 j+ZJbV?gd{ |X%tb9EG)r qR>7G#8H :Sq䎌۟T})bb_fY!*ehץgzoUrq}qzh\tV-db~+IF9x.GzNFȖB:`wvSO:s8WBޮp-sեFm15QWmzvE<Յg,{x uY/W7P5Lu:n>K\(,RKc{M鬰(I E`/+8k՛5c[FSxLn>NK B~|*+ ̪߮-3[=" ^ 0/ $%d_< ڭ?v_: P_2ќ^-<؈JaBQ PIQƤ:ky E{Mp}s7!I?& ׿t DHyIVsȣw[w id]k!l%7'yCAh{!:ɬ!ڹãœXz&7Ɲ:Ozi=#G7gu]j!m|IJ"5R[Xh\uC+'%wVB൵9ܗ#/|Hx9>"=շ&+?uYbc^,7}?K}s%4d}} E.ڨу0DHgޘ¸#ܧf0'Ϙd k"'x'(\3,yP|yX:i#zH-BR)69#ˀn 9Q~'}b⼷m[6r\]\K"Y!-:RPS\U=,=͊?WjJ9]9wWFWBCHĠ֒|@(B~& Iq8hN]OqsK{߉rȋݩ^c|s!=dTy)$ {0LPqcvC\˘ :N%,u˓~tq q37Yic~Z{n:؏G\xS+==8;UӀJO︁n]bsԅ{Ӷ[i+dr,m hASQc6SI\[E3Q5xeQ0>cNg>{iD>/|IuSH\>ͯ @4qx*hkV^XZ[,^FcZ yզ~2 y6Yx 3HӌpS}k0IL/# -/w-kW8RUI;z%g#Za`o=”)xcᶱk31#۰/9Ԓ5},eo{̛3<>M-5ڳWDOz =o<9sH~wۖ8Wɶ9:hP1Wٍrq-sҼ$%b}J(5;лBttre]7 EP%WB ,M[ӣ=I޳s@7; J^Ruos-Э ]lu&%'Hvs)jf!ȹɌ]FBo&qj{_6/∂64"gtU{*컥9]\I F~.pa]QZeLbgN_%sR`pUz*>V0UD@Kv.VvFtEfO&;%&2p^;ɲcxٍZA w-pht sҭn "%?!)ǫk-nZ0ʵ/d43>hqG3Ϊ Cz:DBNN͓UQ[AJo vr'Mhk/~\+9{+kCT|hbnce۔c 'hvU-*~?f> yvX,  Nnv餥k =Dae^,§40Obrdzu|=|o7y8sSIR4iG[frW6 4=7C9؊m1xaĂNUVƖC@Ʈi-EC&Z2 22΀a4f'P={+Ѫ $dMKU/[M-w^;dxdU)U|mS)3CLϲGR=ju"P}2P _{L1&wXSȄGsʓ-6f[Z4n[Wƛ qմLZtKhX.^8Ǯ#3>H7.oFFd+@:?41Q54Z',j3Hg6(уƢGłE,:0bcS] P0Q,kfR[=6s~ P5C#"\"Hr)7.y zX)Юb ̧N-9<aޯ3Tg2C- ?J=d_ UgrG ^3` tHGit}֜A+&(0@o%[1!ժ!p}ń UcfV!jN6kWhcNLJ7-䫵x]7MS w HB!1T?󱕫/.;-On-mL/_\.=t^ٳ);_,yˮX{j})>hY˪YEwzVOd)=3Wb)&n^@+vKV}_qo 4(mg_PjCbx{i+/ʿe׾|Qӓ([|hXMOT+/WW<]fQGy'fK:g4>[钦OQ/}ܐ]++3uT W:yqJ,bS5sM`oP{q)6;0IӅwY?Evfs eSɱGꧧD 1/gl+ŷ֣RDH: Kąsꉻ)U-z$Xݝ)tAtJ;Mb9 TpbcBdmY$b/ իG.aL1}^ϟ*bW/=s-L*^{.^V*hnfxLXI=g{Oݢ~ۗj4+ڬ¸\zUٵLD*曹o$ĕUMъ伃<I endstream endobj 525 0 obj << /Type /FontDescriptor /FontName /NILPHE+CMSY10 /Flags 4 /FontBBox [-29 -960 1116 775] /Ascent 750 /CapHeight 683 /Descent -194 /ItalicAngle -14 /StemV 40 /XHeight 431 /CharSet (/angbracketleft/angbracketright/arrowdblleft/arrowdblright/bullet/element/existential/intersection/lessequal/logicaland/logicalnot/logicalor/negationslash/periodcentered/reflexsubset/union/universal) /FontFile 524 0 R >> endobj 526 0 obj << /Length1 839 /Length2 2398 /Length3 0 /Length 3007 /Filter /FlateDecode >> stream x}Ry<B"YƱ$Ęa039D]鈊!Bv"d+%$ɨ;tt~~|>>Vupҳ 2|HV :[ALA 0ؒI³ a<lgP GG@)\Dt"P D* |tZ%:ى?|!$&KT ^ jt KF I-Kdd !.!d/E^T$T:sV;J OvQO` ooM4%aD? g_~| 6F%X}i$@jHeYQ9$MdJX,˅U,#OINYhklu:o#tH0d EAH qD ( fGd;?8t6H Kc ͤrwǟdp0=C@h^ !"12Eg$nU4L-DW S~)7w>7[FnH0|TC^Vfd{QnIƋ-5/a>\R?nɞmYLMG60:Gx UO\K_[v{: ?ֳM9YmӨ>ضAej~aS.V7_R0JYpP|9F;Emn穟p/Q/N| tХ;zaPA߫28NuYJoIVMè 6l͜)3;]鹻-Pu2Bs\McV/p С.dCMo(kb=CIW*&^~3\9>$p|՟ZChUɫx"ڵgAJVWN(H^@$v?84YVrD)w(,YI%n߫?yvT?ntǼAPY# cSd_z-s}Q[~ǬˡW=a[J܉ÌQos;2Dz{y( ?[jґ AjFY"W\\ts #JFۗțcG{L8y X)z>I)0rr$-dDL=RF /_j%S]L/NT }[PvfzItFou@,HL^Z\sٞ'(΅0B-M|E|xnw[9ȰQ;:&я^5O I:di;rzMM )" xM⓹CocHST.QWpڇa⼮(6C%:ުm299ٺܪCWkH{9 H3ls kjV]RqpA(~-2vSn W~PK( l{wjOr f.Loȝ4edoIiz{j1;PUV7+?cE`&q\,eR}_8GRy݁EhV٬[lJ\|*y»H-tTR$%hOk>'vJg9}V|+Bt,q8ٞs;DVD#qV+&H^B̭@3y/q[lݽ$ֳ9JIX]C@m }}&%yτ@M;7ysJ#QmJwMmG[ce S=Oa>=d*,ZEaiD L G%|סȗ e*n ]M#_<"S.7ܟ6Uq0V~N#8lޱஈSSP?^~o> endstream endobj 527 0 obj << /Type /FontDescriptor /FontName /JSSSIO+rsfs10 /Flags 4 /FontBBox [-2 -300 1240 728] /Ascent 0 /CapHeight 700 /Descent 0 /ItalicAngle -12 /StemV 22 /XHeight 233 /CharSet (/H/K) /FontFile 526 0 R >> endobj 528 0 obj << /Length1 1410 /Length2 4883 /Length3 0 /Length 5603 /Filter /FlateDecode >> stream xڵw<\u-jDBa-Ae0fA -D."z!Z%ޣ;9{?ޟ]kzֳ75 FaE\=hZP Xq@PD(*,,Bv l`,<[8 TG#.@ Lwsb\aaEdw4P6hvkW1.@?ĵBz6d 4':RqYԁ: =)' =*@zN?X(SB"@a!?5Zq4Qp ]k JKms@]\b,Q׌?t0 EN8QAmoAY Dq$"_RE/ֆb1)Z_d0(JH ԓLRTB-Dj=p X+@'W!=2R@O" oM<d} E %l.d{ Ł K(!.$d q*'/ĝKd/!N%p8Kr q2KSv qBQ ??Q?>$i p# {ad#hsĔ$lczGiKaGS~ANt_"@;u+Ng!y>7hnK ,<S&{o~՚&2,>3;%a\<z-)=/,<u%mYإ}޶Ύmy(,7nWaiIrؓ޽G|-G1` .WM[[`7؈(tƐ\-+TL_aFmBjTmB'^աLo8bǺc4oy5oTVHg.Ǽd)jA0Sv,seNf*}Rr3I)p5"}bj Y?C*I-Y砾1# ls +VPE*?~Aa!т_}:ڷ F^0 7ǂVl ~ ܲٝհBB =W0? l2v3 TK]s\L7$M;Sg_gpydrqsY^1U^Β'bYRj6liC2 õ@eLNS-23Yޖg0/bޙ,xlX&qq=KlYT$J,q!zBIw}5Iz, *5f 𖌸SZΝ2HN )O"ckip |] q9fzg3Qęy;;^E0 ?eb0z(VЁp[+[]κmX֛euGܛlDZxksf{ZeNm ߴ Edg,_mg{d]+GZ^K0xt&0#xrw5RGyc&=VuS)L9Uៀ4Շ5`;#$c Yo:O3 m[_?t{hdaUݘJt!1&2o2N.׽]rSkO1yX/b t$ -I?~]ǔ,|^CK⋫WcfVˌ ̀] 5ikޭ&V%xk CAcqHr.J_|ݫbuB6L T̫]grƔ{H(qb`5I۴m?h׹-6rh_xJF'6 Yپw"|u[}N|Yf/?Ƭ 1O*}vW!Aj#{XAs?*^kؤEMzv֊kNXBޛ }-/ ĬEԢ}N&R|uAăΝI<)f}E@N2'a4Hs`Pg'Թ*l(ҘzSaqZH-q3h^- GTA*1^1Qv~M 혨g(L5G°==u;!:9S$ƕϛ-h.~ {7ǥ>k|0Rҷ+O!ۢrU;x/iT`K pq)̝N>r&2xAX}[sQ׉ŃnZ˄q6Jq;}"'-7ڏpe}%\?oQи=8\ Q{OX!7ɨ-*oOf^9L b@l?hl E@*dJ \f(c لǬ-ql|+inC{dGꭟCjcB5&wVx] 7# dYN..Res_*9q#04%oˁTI]KC!Lw+7CkK4x9;?\oP+*ՇrM^Hr=_W no=SM)Ƅrq]5AAJ.d+qjږۇl*jr OO쀺WIYUR+):}=xtS{cZH'KlFZ铸4%* ɲY%%6D1`5/bɖLm12/ùfnrRR_nHGR<).Yύm-!)* pZ*V9)6`IHὨr @S޾-r+({/S)N69z+hSm=OKӂ`'&6R[njgwI1?uɼPz"ꋐ/Bkt- tD' 4(r3O&'/nMܰvI!][t.n}s+ᡶsT<)2z4fBWz<&`ճ*ζ˸*W|0"7nlWOcV+Z%8s\;N˜fѷ ltS|N$_3%rNP+Jq;Y$=5oZĀ-'6KK%{I %r#AuU:BEkg>Ǘw3 #}Py; ~|JY/ajLM!nDK̰YzcTkErnT|*S1vos?Leu֥'SfO^T{6r=-H@e8jAWv~}s|\EF3(*ep*Į TFUϳ{Ƥ*Hp<bǵ-*ʒ_kz֍o7  Z u7.E;Ь)ݱ'ӛ4uZeaPZ/F }MYV:n$MƂ/E[3fG<;Ma;Q;&o^&c1EŬD11IlrfGJ]M c]1nx&c"f8^[X+ɋ5dݔ*uׄ| -kC؝~|q ׉>B:x>U d;Wx4+`LU񲚮ѱkj1Ԫ$4jgÞBf G<١' o'uH1K " j8@#á ΗV$.nԝUeDǿBt/oۨޞc?4!dz>7$I ',p FP֘4F9~k|R!3^gs5/lO]iodqRG=Wz9_LT;>NE-7iw$/R8 '6M?"n3t;aI=*iI_?-/nuttg|^ oWtUf!2G`ٻ_"K=Kͥ\METc2Cܻ6hߘnm_+NT]o5\RZxD Iz୴e4d$;d3ib:]TAwq3ڤNza$"d?Pzpө@Pް3c&3_X鵞e^.l0)G!مHNWҩֺ'i[I<ܒ8[;9=HoXHV JNEF[(E=Ț> endobj 530 0 obj << /Length1 2178 /Length2 9520 /Length3 0 /Length 10595 /Filter /FlateDecode >> stream xڵweX[-R@"Ś)R܋wNK)^hqHq+^>gGd9טc̵>}*n5ICalEw `Ĥ}20 (C]NvvLZ/sf ud;3@ޜ sr1`?.Tfff?y,0 l ˿%5q ιDyX@! %&P  +"M] eS;ѿ_C d1uJM("mߍr0S\ ;KA`5nwXۃT࿜X#a 69;[lhIUM0 rXBbrrpx\>Cp#%(c(Ω ~8#SqAi="x?88ᥦ`Q7ܜa 'axKS#\L𬙩^3'Ssd #_8ۂ`V/O?o⁋1B E0 ?@? %lHk v3X=^mevxOGp ?*1>~? |slpSǎp<|v~W[q;ٻؙu[[8P?\_@4 do{_nBg >?X Urc9CL kyT v=AXpG+q WjK=ANsMe_/T A w94\(&C:3qvﰤ~g;roCQFA/-|E2vDcj 6Z.n P`Oflse+SQȈZctm88'Ri܆x")Sr$ͳ!eh B][%FOW],T$WF\R_ڮO 3ﶀs%ܨ.ڷ$HNqP,n1r7.)&ȊD"'bp[*A;gpDcԶt! #qVny. ھuu*w0E\g Y:`K]0c7W5hȷH0{v>N㛉JnG+>4ءþOb|VNK>}XcQuU{ťfna VydA_%X)$-4Zt6CW߅!0't-9frl2YuAܛX Kt6T XdL=Ҧo)Th@*׷9w,Js]?tDE"0dif0ͧ&wX~  =Hzpo6n qp1(eyIqrqv[:U]9QW‡OKz?۾bA칎N$t/Qh!:kG(VIf8.!CREʢcE-8 v%'RN R#\wuwIh{,O+eu;#9'JŮ\ŀ٭ujJf< iqZ\rôاC50o*5bŒnU 408`!I0ІGo*Le͞BfʥƧ.6)GWÍqF0) RE_KYyIcะ~CDtAeD Z2+~[@1hzO8]ydtL.-Vuw*oOyǘVg Pw|@TָT]xBt{kQBͨ@|K+Ohs}|{"`2߂i/h˗7g:1KeygH帉gj9mD0/$ Ԁ!cQtc.IccJ6)H7^OqZe3`4~$f!/$r(Sۄ9LrP?P -3M}[КH-\Q];/-_-~93~jsyT^V Gsdy,qOCz$; 0E%1nDI[,gW_3?ơi`m_O z|cK:v"ͪzqpȞ-__\97Wh Ǩ8~ex'n1=A.vRC޾|7;3w@?az.PǞ#Njjl1(ڌUf\[DaHMks W2*G‡:``.˛,j>(ia&ެS~ffg=鐥|*J!Zⴤ-RDk=n f+u> ~bS2QYv] ~ 楹uW+ޭ2b4 C-뚬{?e*bjb &7tE*=I`NFXnqS9d^gjWZA*Sn ?:{=Kɨ {ôe^}ip=Lb)a^z3{^yҺ(Yk3.' &͠'P5| wic/Trz`0 'ֿʬ68zA G2\Zv/5f|ґ<) .#k]?򌽫@* nEOZBJ"(r2^N+|;;Z7RȜXMt Cp]H5_DME)&fWOT46b"9T̒4 :Z``Y/F͞>@د|iR%l)gԭ.?:}ѝ \BBh(]ˢgj/]ÕZ,I0V{]G5ZU)M$jTu<p~c\r 4,6BI`YrLe ZQ'`ډp+Vgyy{`ѽo OƮٚ90G;*20EE/u ZVfrFc3])܏n{CLL%AF$ L5y-|BNd_8ǻm"/^sYG\;4'4y-w>ϢA'"YΤ5؋x^^sdY޻>cu֒"xyAk[(E ]״QS2ȤwN.dudEzcLϦT[;H쵕$Kb~o=i-DJ'U<;H ˋ*s?S.uUS_qX{b8Y5dʑ昭SEX4$9 bdH'F[d! jL;ĐB=XXbp)A~S"̂ϥ͹8Z'ʶM2j.TÔAք ёz/!!2SLoݩel1 wɋd3@ټ =v$$Mi* {m v?k]tꭺsP;5DP$5jJz2ʞ`3`r ˴'{ՊC4w u17R(ęr۽&끾I;-wH$/w')SR `v`hVU \ȭl]bgr<*RˏDƻdJ Z)!QnĽ~~*|9euZ> $@D|_7*%\}G탨jWGͧ^ʍ6 |:<2s1Pm+&)*ժ6mmSʽ /Ps0^LV"_e֜2gYɨCf]?c̩ن$QA"TLM㍶dJ?\ {7IS|! I;='XO*Z+N_ NKψF+y:ZćEU>-tCyđЏ>PS0.xme/z ' ]qO [ޤ1ĥJ.1zv+2t<OH ^ZZp=X4F@/<A")r֌M? s~YXH `̊Dx۝Ѱ5.CPu m5P32ʁ`"0hn*Qa:|hMCePն,uR 뜞%.lra݉?R ,sX9:o4IM3C]ÔN6hC};0Ȝۭ_ F:o[:Aaه=6VއxGHύXiܴʫcOrP?,1x*'*7\ Fp^-=s9[b>:MCGP5/ԝ=z'rlg"TJy!&yp9e/gɗg5 kX~U"Ik;CKd\p*3V`c+ZWCƲe{jJw7Q~h+M$op);0ϘsA04Be? bA!\K3ZO mTWkUAw(4FC'|ohe dnE4'COYUvwumSFqIi6g!?%ZVTA;|d3 80ix~N`4=vvgtOS/v?1>G!Y' !C⹣}eX#*s'['ŋ CT͡_N7Żf_,=Z'A(SS]oP:yh?%H4.Jx_O@YxP JDev .A -Βv9_Ci bYU *ks@Ub6"4DW%s"W1&{:ک KP^C\'yO4ATF_$t[}8,^ ~I9]H^w(c-1X&~ n48QewK&zuz=$53'98K zb2h#3TC8r}Co;u2^5IHT~Lvm跗Z;B%SBg s9>T[ϯjӤ!%\97G>;R}ę\W}m)$4-?Э3 a ,9" c NL-WP:q? l.ou-żT";CJ:y_rP: hߍwͦfW] AJdk2!Soy҂O}G.Oع=lR :GJ>;4 <8|H1=h-|u;kvאir7J։~_#ZZ~>qߤ /Ǹ#ȗwH838S`jT1N©͜NW9oVI]! _X޴bWCQ`b&1(@CESTA?a3!P}|ѩ.8Rm=Ce܎[q_ro/%x٧ `ꂂe%ee|d҇BWBH_p4U$X"> Ȍ b*[|ӊhA,`Lc7WЊJ,;X@oD:Kg$NƳciv`H($EzLL/_ר:E'WTM :`M%|VHL! _b+nKlkwS'ar~7&Wm %=dHY6~т]؇F+?"Vyž<,<ϋ;9)J,ElXY5 <VWթc,)!&\g59z& '£F3ɞL!~PsޏC^ch$L;|LQ1ʇN@s1ԛ\zi,8v +R-6SϜf~;Fv@~`N6HUlMуx(6^uYIn}> )~_D|7`$S?#8$ɓ.;(Z4jœ);=.RQoZQ{U @NJ܊)#<; ̀gžA]55[?&)=IGKk4k^6Q~t;|(O=biN@XA!5^A+zY뭟2@ik#D*oGHIb Poja)hc@⺽2à1.<:qo^6uU(zjH}hNsGIl'΂ucbIIs>+ݠ]PJˣ !\&v`p3^DbPiJŭc8.?Zy:dTP֗g-?{>kNIAkA|=Ϻ`͗Q܃oQWǤkUOb߼c+z^Xx8#s(fq[v?táܾ Z`/nN_+=bl &[vPOQ2s~GN}]f(6ױ5?rA{厝rF_uNyeeDhD;,^&ᮠv޿^;JĽD>X*3=^_G2Q`*ͭ` _xj#«NbSs0mxY?H8Dg o'hDz+u>˷+C{x=&o=F1zk7ʿ[?R?Edht'+e)3wJQZ{6'uSHp9v !sť3&gd.*rӶzWwd? n,P ؉c(KBnן)n2O*B{zOK=]AOc0[ /#O"D3`yXBM>DӘA!lq6XHE)I&IO~igFmk#/qFPKhd.`% /US&i0FxVY 旦:G z|,<!&l]""9>ӂsA7#C,34n?k|I Wyw:+,~'&BirԖ۬9]@Siךn"ʦ$L mРؐ#D4kn#Vi,kӷA݅|ؓ59gV Nr8S@rD+A0=t#&iM#)! ;ۡ@Ywp ECYY^ߏ/wޖZ%dFgjlBPd7KD%ņgD7Hd&l5@.̣͡8(> endobj 532 0 obj << /Length1 1632 /Length2 5657 /Length3 0 /Length 6482 /Filter /FlateDecode >> stream xڵu\Tn$%a````Vi)TJJA:P[J:;rϽ>ٯyZ [fVxpI4<} 0  ᰰ@E bZ0/@ sC<{b AP7:.  _o43oE(<6`{ Q|m=]  ;1[ ` Ղy@@`>]^'tF,7m@g_2]Xl VB! Y{(#@<@f[0 q!Ew\Q\`7؂ѕ0 C /-0w99_- /J5p@\CJB\" C >b^<.0-WO@ {EZM C^?$$ w0'#9=`;?v?q/B6=DCDv x4+ _W˽ rZ!B=DCDབྷyaѨVu\SS =GCD!:t ܿy!B@h 6'v8@a;✂>` $ᘑQE;`ΏZT $2vHw|fUcs;9%x?&xYs-ײ?s1E4S>õzC͂pg!L^!O] @ d-DH$UowXS6Nٺz{;Vr$`H)ҶR=|'5f}(Ͽ=?A cLm&0R*j,/f_)&&ˣQo_C*ٯ]FxP.ɠ-Cs,R(Sʴa_D:̈́J2k锡IWo,GIry aӎsZ7?ДQ>MeUjP`%q=6@ND*-*ib3}:N/@A5 N }Z-/gĬҋ^KE՜Imu.kSƚgJyK)DWRM l`M\ *^Cgb|¹!Wndkn,$hOE49QBL1Z`7Z;#{E?=IPl66]O釧htwlW3!U=|+&<4:Ei=bi(ٷoZ OˁJYnA)hJE.چy-5㞳A6]kzϸ*+OM꿸$ph58zӒӫ؇^ 9=!A0!zcCW?aP{t=K?nudtBſg>c8)dˇ۲ )UZ x;`n!_+*y_V8E/?e]+bX1;;ri|O~; E`n+8ʺ @.E?廰\ӬƷ8sX\S 3#/̯mwĐ5n -4c@[l'FXfzPONwLuK˟/==,/Sy$C@j)?!Z` <W`(2 M;r.Zkw,A7ey)洲vzɧ򌬵v# |~F|b <}2?,SXh^'^,):VFS_î@@lڶ=|ĻEi>vyM ).IOY ؛:B3>H Qΐ(א;iNR:I Ϙ<z]u=hyȞ]7COF"5^:e"Ogh妩aŇo48U4h4,_ ^eEV^VW5xZ~`t,ޢX5`:Ϳ(|PLC;Ng')O]pGU(geټo'kYTBس% fd~&.~(#WY#+o&mR&4#z;>4θjc0yѦkSoSW'Z#YAnY%5qBog^uVЛ V&\ S:cwh>%{Yb(j2hD}<<+i{uN*绎F,AS҂⪚[3tZΕZ*Th[$ s|-PN7zLX[h8wO&}vl|U~E\y_n%c;']J!(R`"TD@\lQv! xVy3I5P]4Pt4.`fni|"B"Y\Kwˮɰ*3oTOg{ fsl-!LSmJYloVUݡ&kS^fKuku uG+w nhдR0ͥY δ>d~Z:+}1B0 fvxa,]* -u#4O"V}+$v4zv8ŸFgAR< 9t[jiRP*C뤄D͸h/#N8}#8#fastSHdd!t76gWY#Bv^J{YI.f(6h!+/"4G5{> 1~n4gR"g}ǯ @zlN6T%'<Q`974T&Pcڠ1UH(ab;w8OwK% NH1-#&{s"Xv? VsS#`C;%qAFC9ds3CU[ɕ\ƍG}mc% Sfz:˶Np PXnr{lvk9[ n6dk yھ(%U-TP w" fxnA߫O^7ZuГG .i S ^v%+K)U2L/N6)Iy״5o.ɀ.eS[KP]7BCRS1sVlG['RoX^)Ԁߏ=2!wub UZQ9K*Z<~T\W1f>.?jAT/'дPC/O6m*!%A U?5"=~$/`N//511 ˺a2a$q]^P5D[O ](}pLQ\\鈨CkdMȳ|I^qל7uN21̭m{ Rg:_i{,$͐BuÃ|xD/<<1cj&wuDVOAdWFcڶ!pvʥfEL,&}w6y`v&)M>*%#Q7*UB %}Eٴjl`%^zó;kݷYFQ7Yg@ `=uöڭ3$0fT+Aj0O,kgr:߰uEǘx;_R,z-:Ø5"X˜tV8PqHj88aZf`dg) Ywи)J/Co*O(& (m foְȬ2ճNR.Vs]{]帇-'0ܯ9`¹=8_2 eՈ'8yR3v?w#Ҿ>ˆ%2'f >j..1㇣S=7"7.Yf *{E^Tљ&/^wK=}d[5]*2ym/Q(9#8fTQl/]Hpᮁu}\>cF?0%rYªbwB0~w`3!Es{"U+|ؑRf\URĉz.ڑт~g܏ݭ}[ƚTKA)OINU33 ^aV &%) tL)~mgwG^!AL ^-"왍FV >O{B z|ڽ "IءMQc(@Ѯx"]4b`3NJNYmW֎' AzY -*PK7M4hwe_4')=8RYi %|^{[hm2<'ќSTw"iv/,v ndI[{@.2|˱<5Q&mNdL #E}e%4.':* endstream endobj 533 0 obj << /Type /FontDescriptor /FontName /PQAPOT+LuxiMono-Oblique /Flags 4 /FontBBox [-15 -211 758 993] /Ascent 780 /CapHeight 733 /Descent -187 /ItalicAngle -11 /StemV 101 /XHeight 530 /CharSet (/N/S/V/a/asterisk/b/bracketleft/bracketright/c/d/e/f/g/h/hyphen/i/j/k/l/m/n/o/p/period/quoteright/r/s/slash/t/u/v/w/x/y) /FontFile 532 0 R >> endobj 534 0 obj << /Length1 1657 /Length2 1366 /Length3 0 /Length 2197 /Filter /FlateDecode >> stream xڭT{aFa{4Ŧcs̞9r-[m,J f+J5TttK$.vG9y.} d8x$c$eδ$Jcɤ}L+-CCH\!A H`,e\p@$X |2"D)U D@ Gpx,QB(Ĉ)~4`TAZlNc9" )Bf@XLDF"0 qb= DDtF,p1)tU?W <*He$bb@"RQ+0* !)]%Faf@hqXL؊ =$ Ӹ2 #B˒ID xb|0%CL>]SP `eდtU`;QDo"'HAGo?mHwJ(bii? ~"qp ŢBf/C> @(!D {ݻEϟiDP'|HHF_!D1P9;䌈 P^ keК([cLu&"է>qpv% b3i:qL/ՔHa" T薙,e~֏#`0+5jh ${ #n9 $Ni)6ܚ ,\! )J5BM'_L@1>T%ET>"?]B ӺӌVGo%OYSvV!*. 0US}9euOJovxmT+4 ݻO20*ͼtڹ]6$4q[CmjWwz>4 0uWɼG7MLE.__2pbMFՓvl459sv)]AZPjl61kTzM-l##/[C)iߵ;sk%r/O/u^P%ftji{oq'uJ0َWVil|ke6̙s Cod[g,C oAʵƎ:۱ nsڳ3o][FVs,vLcຂ1*S ҆hĮ14M% N"^ Vm<{Pn2S{f=&֡y22j7|nH%;_Yv\Jl::obGCtJx%CK=g|crVy_]c_TIwG'Aٜ;,P3i>}Ik]6/Z#{ 툨#LsIwHX9n.j5r:h;WW7J~Ы0}ܢƬKـq[k}RI;0}֩OU:JS&PoS$.Ma;nd)h/&s,󺋩;KFXO>|/k9n}V[<gEO6RWr^Cpx5#;wzwؘ6Q?儝VJ#YȌq% 7=!*YVuv!z~̲3_S|]|h WvCfن >>$6Ȟt8-E6'w*jU{WCz^azӄ5&N(dd&dIP_nS4$0t/̉UEiQ]gʗ>/a{̪ Վ7y:ʻWR\yĮbNJ->> endobj 536 0 obj << /Length1 1615 /Length2 1695 /Length3 0 /Length 2524 /Filter /FlateDecode >> stream xڭTy\E [, -a AD%d&d$I!*UT\ R(V *􉊂(M`[|Ls1M] A!@ S0  p)*Q\qE ԍE + 6,hFH8kVLd_줣-Kqy1a\p \~|= 0?Qa Bp8}8iB3EX@lGaL PH,!@y"Hi "I0\@zI$ !G0Q<>IpY4!a -(14$JT8 1KL&0IC$D'B!ICrKNYxBaLfA$E T\:^(GhvH}3 2} A"gSA>Oyq2$/Wo QW91ݽٍF'.*ub hß{ QrMYap9iS,s^etGo޲=/; ^x0l 277šzvgjg=E_zSW>]1n81b聆3LB YHach.:m 5~שA 7'oȨ$PP݅t@uPl[dmByS̨'6=)cx>]'":"EWo|=Yxh`n)n J$asO㵑A2e6֏m!N5XԒP0UꀽVu OX]X\s{ 82'5]n:a9cdzDr=X׻نEP/TWZƨ1rcr^ޔIQS)E>#/7Y@:α5%;{Z7u([ IeABMG2W^G;?oBUnyK1OMfם"{|&f`sPy[mSdî\֕?g.jp5Wo֮ ㇓گ*͝~`b^>I]x5B\eFEfk%G?UmU-GlW !=a {o#6PzAC0 MՆuB겫9Z]|@-*PmyGnz(䎍nǵᢣW>+y!sYFiٯuc[%eDh)XQzfR6R(.sˉ0o "^רY=YwcDYWGIݺAZu!.$kƹg-"/*痮2~}}R3icKQ?bcд/\י٤?\ =ڝI q:4?1Oۺz~w}njtjM>X?J y~gFYAF{B4ԫoḅT~w]1g+*,{Kㆤ$nQe^y)N흔5% [_jU,i.=״oyRRի ewTjp+[ bKK<+]'肷\tr 2orݩ>X[0UuWhhw7,m endstream endobj 537 0 obj << /Type /FontDescriptor /FontName /HNYWOO+StandardSymL-Slant_167 /Flags 4 /FontBBox [-180 -293 1090 1010] /Ascent 504 /CapHeight 687 /Descent -237 /ItalicAngle -9 /StemV 0 /XHeight 0 /CharSet (/alpha) /FontFile 536 0 R >> endobj 538 0 obj << /Length1 1626 /Length2 12965 /Length3 0 /Length 13799 /Filter /FlateDecode >> stream xڭxeP].na]6qww .Bpww ݂_̙3u?sǪZo۵j+ lx c'e;y;nYz9)!gG 'q9lE< )@h`a0sss#D=A*5e jZZI2{S2P|m!ǎ*@ 0Y" ZR* y5hd Pt1dA&@[' 5`WiN F'{ nKE:ڀ> 'G [kӿ|dhaahdw|dUNg #r;>;KS;J[Clu8ݝe 쭍<>rw dk/tG5#G쿺:z#{{kO g'3GN [ƿfE?u@ǿDP02?Rg,3@ +K{=c>-cd-drwk ? YN%B010CrMA&3#~-W5:ZlR=3ӿT-@&VP7xF)eQ5fm1Ϊ9;<FXEgec{9|bYIˆؙٚ56*F&.}?݁& v&iߝ~v3CթWuoqT0OxۿIucZSvs}H{rQ)8ihD{]nBis0o))L:]LҞ#X J퐔GiW:\p2M0S =X}Y ԴԴ#9 Zg96jrjG _F~B3^F#Afo+v^fo?Ar 3| 1xZeA/$z\Gӯ 8{qSQ\2u)C;U\XNmf]csϛ`zon368%>n1 f]EYЄu 1ڧؤ)5\Ы>R=Tx}quŚhuGZ 16$H9+fuKv|X%lVYaSʔF9R_vӷa;?wΔVR'a;Uk~gVi!d56`^X߿.(9I6FDUZPq#V e-/ ]Ig4E~-tVc)(- 0x|4L Uɏ .BQ_$4sM1QodsBB gw`OCC0KzPN'l|eV5?K1bkRortIæK u<}Lnf*EFbp/[M_@:dzl6 xb׭4l^JVcp/0-^%[w,kUJ*.2cj VBЕSyפKvR=S4 s٦j2MӲ|W.܊ԡ3/6v-׈}#:2mF@wTE~/ Yrtٌ#Kjԭ ۤB) @{Bqoؗ׹ 9CUVuHp61IY{wAZ0[lGC7{'ȵW|!ؐ gڑ}bCy p[8~D>:N-E}VL`?4}tk?Q4 &{Mk;<ȴptոm}ʜZnJG\6g;$Oyu^#rjrs"y &_ 5+{nT}&߇fve/N⟂/UջehX_ACj)r^p$A<$]ݓ#Edw1Fnk9ݑ߲HPިP$KcFDi PjGީKKkGkJB%ntSN F8eoij i?o[ I[\CKO:}^*:x幺Gw<%K\ \~cTcCZ(J.DDwmk'>-ߛH=]zR >\v7U]eguGs|-;i>}liu&r-̋pW5^R])w-ݢJ,quƬTb{:>|їv >'4TIneIb$!w_,Өf P1t[ZdF/~gJKDۋ>'QBEpg~sRyu*%NӈLuvsw+GxXuJ֝1k~ ΢3)1g:=Hl=bĘkY&5nI|g6#.UZ߈Jx+Ci`2G2GEհ:n_Ov\X%bb9I'5l9QsKlf1.@sEL}Oq7=-P>+Kt"бuTsvI7r C\en*M'NOoaiPiU'ٶI]|i{N(/67NB+~/2GqR。V:]B+F0W;0A`",:=S#sY B3 KRo΁AeZfy=Yd]\,n!%CC|aAZ:RG"<5=r<678+ìsUr4kx[>Xk=ǖ8.؏^3\ygJRy Y~|z#ˏXϓ]oZ.7F"_m4+2?#pi) .{@ӡ'ݡ66dl?5o*[*]hҼjM$؍2PX[|£͚u|\L?,r[=|O iLi';'14qFwSverA뿁x8ZBC |7)s$废?AW^PE%dQ~).<yqC^e6ΫJ5z8׿x &r.y5RTjjA/f2SÎ Eo[?Ťe,H@]OJdY)C'Ƶb't´ nVK\s8MlIg@#=nJ.Vf%WD'F)egapi9nr9K+'j e.{0Kz,S,0.It 91hLsuvVr9&ދOj/Ls< h8S /&= r Z02^⏆A&_򗦿o̜6-j>IR\5p00}_%vpҝ1b pRxaR=9{ÚI9]2S6'gej"^3wtm :U:In^QsiȣEꭷڷ.)\۰aU޼u7i$$ uRVw ³Nd])S:^rM4e? mI\} 3, X`kJ O$H|S%  (p+ͽ>zq%}LaKSRV!Ysj #I!Kӱ@MӴ˼o4gS,fhl=KJDbcPZ6'׉.`؅"oGP&h"UuzRM% "&Anm7[Qe(/Do<+d*CX3S AƼ#52[2!+ng76 ? ݂RynZXMbT +,\,<L26]4ˌҫǷm.L*N~sO&|9gesĞyKM1M1*/kn;:uǽI^W߻2'C&SW_Fk*tmB '=dnF2-&5Lz,ذE"ku`zH~q9ADK~_~V@|Iћ6v(5pz>s6"E]ah(䂷8o kɪFV$HRvёݚ.ϯ~eϧ_~-M` xAVK MֳS70aN1a,_ٯ-Z K3l4&$<(=!^1!*94c[*5.(vяQ:h"90W&a:gnY:bC@P MꑣPo*w=Mi(M╩+ݓ:4q,xݗ5{ve9x4% 6ggUS_ի (FE۩~"r^㫰4ffxFK@nBCWmI&kmFpm.pZbR6Y8&=J+<ܪđ{IrH Qtj^ D SY{\1Ho|bUy`%*Fjdދx|0iI࿡5dbHNx׀7bSʞ܂\Dյ3Y6SVC٠tZ Se̔'|ߡGB(!E={r&2_X\_ҿG֤˫ϼm5ce6*rIaS&3rq/E$?{akzW<cĖuM6j鈓]~q–L$'z2ԝ bzD8J(& q<_!NFdUk],#y$Is!~37 )SR9<'8Ko }5Q;[4R7oHgO<⾊mbw.L"= K6qG )X޻qݎbACE?Uoq>+z\$QO~o>2^^)Bo G0&no߯;bm'j̈ rLfU&`!<rKQJ$ s9_gK-t~#WOFM2*?RqIN]PN} _ΗAIyٔeMɶNE@4_dT,آ//IQ$1Oˏ-fuwL0ˑY\{Ek'Z  ߋɎ~ 9/b"7HkÚoGe~UӸ;Uַ :EDI)[.q!~pkB(a[>00vOeQAq?qSC7,[hR-Lan6:DbIN̸!mKL~zՄχ%T}hHm6A>zPpVe-Ĉ6ΖWB]D;%`71y?^`C٪wE)NNa%~1(5)R-`{/:. و;Ό=3~4Ñ}܍"5QԷU>J_r>A +U8ϐ!$m IyC$^vFLK!LƩH$oNYٝ)jj^D uNFsq`G%Bsf-A&WPFmH-EVPkApIMbDZ1Ԑly_\)|E6*p+ }<e4rHhRE4pTXq]:iU N&hyjL:)Tc)X DXTS`qPh| ) { W7{i`8O^Wn+ )SI~VFY_,ؽit7JTݴ=~ቀ|H͆ڔo̎6~"@Mkqӟ[ &`:˨~k1I.d^F^3Vх>I6pU@R*zsRl`I jykaK>Y\O\xmxGX/澗?]YZQVY%;V|`stQ<^HUL@i H$o?Geؑ-`ioH0?8"#LzzUtM%?iDϠ*BVK Ye/=R/؂ @ gI}z"~nL.#+t;t-]ڎR'̱CUpRɘo nmt%PgdfdceTUr ~a]7&9V ʷr}/ݞIß}r88ca ruKXD}:E(뫂2o4a>",>"}= ger hwJz4!6Y9oH'V%x\Y$ޮlbxI:8w,4$CȀ҃1Py%*CT$|]}r,li3HE8/In4dιnZs9v.,;ߤ@gti9L(zx魨_23AE"1VWQ~P@/mІt?-}ψ1;N>RHY'nIZ<`Ǔ(VH42vGA"U@x L\Jqm> 1-@߆-H(-r^ gkDl]O}MуI2"j9NB62N>l&sel*e>i6/'-^Uy %[¼jR |E;CPDzϾ ʣ_w)`X|*̃) ~ }2q9cɃHrRrs.*~Q '@*T8;ϻ4u{!X.S[̛%xS/$j]D$iH,k&BCCG5I?(LoW#§6cK :z2jt%OLT^6[(UBxt~R BBԫjzuިӺ&|kY6¢G=ΣLip)laԗH[TrsK ]JQ lH'5Z{N^+ٺlp'ai$ 8/s3O$/#&&bW]7־5M(Jڀj\y$-2Bsz_ endstream endobj 539 0 obj << /Type /FontDescriptor /FontName /ICRSDU+NimbusRomNo9L-Medi /Flags 4 /FontBBox [-168 -341 1000 960] /Ascent 690 /CapHeight 690 /Descent -209 /ItalicAngle 0 /StemV 140 /XHeight 461 /CharSet (/A/C/D/F/G/I/L/M/P/R/S/T/W/a/b/c/colon/d/e/eight/f/fi/five/four/g/h/hyphen/i/k/l/m/n/nine/o/one/p/period/q/r/s/seven/six/t/three/two/u/v/w/y/zero) /FontFile 538 0 R >> endobj 540 0 obj << /Length1 1630 /Length2 18629 /Length3 0 /Length 19477 /Filter /FlateDecode >> stream xڬctem&'رm۶m۶mvfIŶT=ݧt{uO\׼ڋPAVT΅ gikdo+g)Cdj +g&%v25t1t1DLLLFNNNhR BUI?%<毧_kGeSS) ,))'Sڙ:\l,2ƦvΦ3{'Ϳc{;Js% 08;[u306uGEp0utv t;ڹ큋=_ ۿ` .N.QD?-f-M])_0.vSbL,l = d4\-3_t?/:8x_V3KgS3:hF1]6gV$ :ӿDPM`bjM/g7$e>(o!7r+G%ZF{.C;=hl >6'jnt`."hg: -,=LM,]-f6{/_nV-#ѩXX[CUv&t+zU9)1aa͂ApQtT#ko? {i8L߄8X|7!gYC'KߺU_`DMeC;?]qܛzC-sXedg4`Nh3:7gDrVk}y(Eu4ޏnCޗfz]KL9PEN}DWy}$Ơv7Wo 2ح(8),|xblt|:/)!_9acsv:dUw/eW]+f|oAexi08$>IY)eɋU&> U8Ke /$5 lD 5LEMhYvFl~RQ>h=X._|(^Z Q^KPXcGGM0gwJ8}lti5pHָzwRwp$-|T> Q E~ٓ=(QM+ |qr~,ZKF#--4ѧ:89Bi}Ql)xـ}27~´I0(kŸd '}zs3:M.hLm(Q[x=?ӛ j )d?|ܲ'ע qoNМ/qht؜uHK(17SOFQQl©wP~Qeo*C-CW+nB\1/T*+RjhV謆T,h|@Ax*Q%Bb6QW1)[Y$O[P&rxboaβ#ya7`ER{oiPԎxBN7L&Tq~ej֒\0bVz7 #ɦUm-Oŗ\5-?q 3_:q>D~Otu@¥˨v*T0f(kvJr|YkTٸn7;?/[)q76}d@A&"pi氰WXYm3 &%l0HJ ˔dĆ6Ў T[ 2ޯ=2uɟJBv<\Ɔ+Qv#BXir该=)NKyPїOb^A B?hN ol P>ZZ9LFа(NJv~ږ%H,C\zXh9;%Cj`3J e >B_JZ# xB(vyk ? |ClS3-F%Xckp`؟`ޢΟ&Dil0-BAhAbV͖ٶ:8fݫ[R'E)AF#blR2gr_Ǒ5m` 3mn,9w؍ZO3)3r@4yt1WJbm7=F=/d7D( IdaTM:^%JS[V|=s! #[ %\Ӏ/2w$'{WŮ#[+.Ɵ>0Z*%eȔCH>B#8@9(U#ZN#aT͢pٚ)|Kkбjv9Qupp_ $~)n"˲st?  iM]I"̆4KL]tbA >$;n:ɷ CI,[t=gɧ EI.2VH 3UW9$n٬w'FUVwE]VXcGUWwT?T? zp&#C U;;BD ȼAv#:kC*'bPc*sJTdYu^fbiXKTzNX7Rvݒf0v駁ɞCدԼqɲ_%>z0x뾊דv%5S矢G,_`2eag<ƿg_Ke؜-N)~@ݽ C{)MyfpǗc vt)4xCOme %\^Z*Va!̰ܖ3 nPInk` 1GDwO~& KZa;| |-s&,q'7 dwZjD"ʡ>.D.HPzO毧˪D)֕ӳܜ+ed j$tKQ/I_˗1^o~p:>vl2݌S`m FvUg/O({ ~xUn%^ʌ,pD<ު]T썲kΰY=G+SA8<;, cMMWG<IstlUTS8V҅Ӆ7dZu0yM0=t:YiR7[mh݉ (nX}~Ρ:j\y&&j$!22*BLV.,A0s?rBaON s!ߝ;W]ͮx4~ FXOʒ|t#: z0ZN|3nz!dh12f2 I>NoT mORL'3btsk*<` %P%`ik ANVY/ˌe DE~3_\cW=U(C杀"pU!HmyͲ9j J S_Rç4oChH IT wuI9V+f<ٴ <k̾rL\")]Ar?@;lK b/,f: }u(3.%P0Urv=,39@7,2:W!~sQYנcP;_6W"Ps"HV :8v6}Ue>RQD2 GO % K?,\46pv6 Y>dXXdVku *I{GU 'y-}{ LI:qP&Z >)-! ]^IӜ*:uknDOMu דPrVJh+b9|ݎ4-+5Yu5rre|& s/ji<5యlv]djH5ij{?nϨ3*@@۽_Dk$q~303㙖^}l~ߵ~P(3yDDG{hV% /3Z6Wu9JٟvaME6oD[n*30ș= tkb %Fhcl]-@O}59'A;iOCr< (_!~6p*3';4?sZ|iBQXGle۾ сZצy "<vnj|`K4r딕i|ūnRR Di8AIl87ndD'سnOڼq [o_?_jhi4~6:Wvv3R<g7Ęp҅D<nWuYIŋ(U4r'*2h&%q ~y~ ^Wpeu-.Ӷ@&_f^,|m`ns\yV3EOǝ /\Ao=5u$]i1fx+1f;CجTIPnCHtv`ف1Œ^&QRHD? }nSQUŭݎ- <=[[-߿K4 $|ܨҖ.)iќ ܶ *`"[%A*Q$(TPeWK=:lQ캋t|}!}HyHޯUDW6q!]#u)M&wS@Djf0PZm9d+[{.0,Z~CoY+\km=B:d.C<{0v䙸(t{25 N/vIѕ Ѫ#! &?bSKݺ JA6VFE_tV jxY֒eq@/L`rnkZf.<{AERc֬zC~ !8x NE)g%v!dGh8Սv瀗] mΚ-fܔPB-UWDʼjIRSY!HQ_m.E]%@&adE y{5%6?Opȵ}QTN߶TA8/v(rRƂWq}^f-z$FeΕc#r*/̝ 0%?C?CW`3'@o"W1w%ӷ4ڤ~^Vl&\ьLiBSME{qbOB2炫ۑƩ\딎㞻4о狓Dx`)$>TlU&Wby!eG! rY(A`"ܑΚ2۳X)$OK%`/lV`.^J',yó=oi@Ϯ7"Q6 ~dLPA,9oM-µ.Qu0N!bEws4%A"Nf;B㖵7_L7?TKͭT558BŝV%|ۿ? )7i`E.>W{pm9~m ƛo8|ʣҭ !^&NZ#m%fMx" u6#V+~T W:d]I-p]؄pkt2vfX_`E_gItQ<W5aNؐoM1 ߋW/9R%t2+@1#bRP4"wE0f_W<+1Ԛ֘x1t^0(9DN%U1RPi:4v/l6 Vߢs}vt4h&c%i-O yb87-aǡf2v3L`-pHRo>޷ʐ%bmG*mgfsz:Lw'O}1+eI! ! ܢ)#uDJgMRe4u4#ĎƷ sasڳ->߽5د:-Ǥϕi[*qfٿ@h XJQ1K\DIPbl&Nd*ƀ"S.WwTUn\e>.tĈlbA,yw KS+=ј'6>6AK=\֯V9#@6$H;F͢^ f2%t#z@;n.igKl@Ld# G%%{U6o_@hb?$kynCr P煤}TeNMn LvU;e-U`74|bH&,iBg2, Z7e45-`[rܘ-,/t1t52PAPoAK> ȷ  u{ӧ;|!RlG(ǜrmfuDv(77daUf]Tn*%vb\rD2Fr:oG#j9x~͉/"6 X!ԲW3"4*N6KIw"3Eq& n2#GOc.',Zד^ܖW'/غ,Yan$>}ͥ.4) [p $Tuo}lnVI8>އ!d=;/N#1HrMo{?N5@ыI DnHۚl\ϲ]$&fju z"C6#E]"],LxXK6ӗYpr߄Ni t`)HK,.#*~@tDFR'D <^`ZCݏ+M M)Q Xi)-p9]=?M>l/Z 2Mhr@d#aj6t"o%rEaFcG d=r$Hw0SerqCHՎB"T򁰲L*#=7(뽽yՁR8 hd'>^Hr(lM(97(5;z&ڗ6q)Jiۯ& 3+\x Ez|yHwcV.wv3kw R3H&\_> uI7*E:kX5p'yusDZD LP/Xha` fZo "[/D>ޯ~+hiy\ Ad蹞( i*<=;!^[E)tåC})G"&9, ڔ j(T]v8(hSMk"ȱw[6>e3tLiMD_⁲JVl\"s{%߾*E&' ig_>|uPԜ>ue{3 EUtMOso jWFw]n;wC<m?R+%~[%Qs+6֟h_ t@pȳF oNqw3U[ ?#n&~tbwkŭ1\K[_FC3[:8-^"B^](ɘɹI$kH/zPpВ7'5L_ +j ;'r?u+U6 73p Ղ6yk Z aѠ=z@pBim==wJLa#i0Yn撖89QR7pA~%Z>a|POe"$EYbr"&}Q^+ưTC]?_*LzzȵP2_tѽ{.\X!xnzglT%iriBHC x)xCI#0JU{#LUL.~$χuԟ H,-;aJ4[: En%P"OQz-KrDxF h.Kk5Xk6BJt͢]pM*w-',[_zfx^%˨)m==:i`NwZ:]Dː FlF z_ Qb-S//=Fvl;dA0;n'0wׄQ' Ax0@7jeK.Y49{qC]5o=f(5eޕJwv|q$.+bGJ(_i)Ocr RIXeU uzOdU˽IuỢ-#ry<۷Q &`.@hyPWaЄ7('$:$yƕH#=2w~c'"15́4>3l3u}7$r3eW7ȍ 5Kz,A.lS}y )v9()]>#ZI?ί_9|ʈsS)7In"cpnW f*x {l 8Q'=~kІ"vk7 fL*oEV`FM̹wcqSc KRRcv Tu$|r|v]<{L-%߾ji\>]WQ^;$2FbE]EPPX" {<'{ Li`9|aT[sΒ PGo#e37^e&Ŵ-C&HO^qIg^Cݚygä3MƥdxX4'7 5tđ,P)mWIr&kQh& 7+`L[fiGEݎiĻZZNTԪ|)!WkRQ >7`DX)oȃy:zUH~ZU] bJ\4I2XӴp?4ـPe1?.rqkeT_j?|e7w^\iN{ yN'LjRkmB'&vp8 >[jSêҞ^%{n4BdU N,im[>ASB(0Ωb\~[|)}C<v,1g Ny> Ռ%; z ̱p-We]0mmMP_=&L/hR6}@_V vÊp;7*F(7T<+Cɖ]-5YfadAgb0h-"䉝Cdrlz =A%5j’s' u>qpGV'a :+?^xi8OxWoe^!1 ٽLz]8] JD5 'j+< BwH#&I;8Nq9Jj)% 5J10U XGboh/;qWk^bvADEc Kuv* !qB8ER|mxFm!xZ#4=^+kt? ,S!゛mGt؛U!U%u,zNt զiRGAz긐^?) Ske3SaIJgcy+-]1GHa>IJN^Q%ckϒ ]nTV?֦ Ѯcvήr]-xPJrMVXXM혹n͌v9}\#01i ׮ 2p6yѻQnKQ`uRVa/SD^lGvye`.Rj"wZ>YS#:!M|틱XߦR_'(6;Hbšs>P[*!gh}G1xV7[cW nIt5W1 Cb;re6k}zCMzVbdKmܕBŅkcK!?u 29':~ְ kf]a_:Qږ\Xrڡ 2Q-weq+|ѱ*{E8o|lB\`u9y)pB0|dƂư/|HcМ+0)35Cʤ:c8:DW*0MtK}O(,=\t}VDL㤵f z+0@iWYڍM*"z\)Ir;BRg;! 5wB(RԵOE:*< t{(g&^uCaƉL꠫ U >Ir(*GeڢÀ -W#2BOv'jBGr7&kse![>#l#vJ[JfOqp\V ]QOe@yir{ 9LKeO`'=$KN]JoMϱx/vSSm NiBڬ{jDg bNNw_CBqTgMWie*CC4 J qhSPB3^ J TQ;gbeײ:Pį/R:ƪoYgSFNMat^㤑۞1@Xd^g盤4C߬h}f&[?cXUu6x#t 9\Ӝ1ᵄlcSHƐR53ض%<2>RY=o+:` W~7a*D Z^ ^){Gx4qSU^[49-kaډg2qwoCn?hMoRӭr3LXgjE8yKBﻭu2|K KMGXT8֕f^wt7A&Um~HZWeE=hݝDI]џ+ K"bYҧiکr ̀`W>;aslk7R_Iz 0.[6 &SN=DAg߽SJ+8W,ؾ=%x\ނ;(W.;AqhpΟAxIdQE 29iXrQ_tqOOQ.0, >%р|A`;eh-nu0#TȪPG5'd8zrU`t ~q|H]eq"_)/i4}ku#82WWrK<=hiS@394%ʑ)]W^ V1oԥoGYIN;܏Ň ;7og Ex4.lq˜mS"AA*6=O7GݞGjs|Y`r*M.]Tq~{KmGF=!RQ21 hMogƨY !O'>~92k%>7GHZ'&`(@H:M.4JP>wb]Pt-gly\,1|l5ML+r=4 umNM^~"6SCעVK.#vߡmδ [mcΨPJcH8TNS^V7-.R;=2z33V Oku)j":-,cnRvaYt+Ok~d*XtO;SOo>ke7uyAx|o(uou!.|%f/{Af5Aۗͣsh.dfqd. dGMUG$k}b2!K  ÉɽӞ9/pW洛6JS)qDdQиJK _ ^;}MWd,m1ܖuS+L>c1SbL{6qPx_ s4 qK!Z4(6w*j6jpXdžʏw}[.y# 2 ) [ QٱYCkYdh1kWlY|#x?qDW@Sym ϑwB8gY0UF}2~zף8$+K~EQ%C~GT&㺠Cͧo߱ :W^[ŖוJ8?bv)n]$s3=%4=!KWϧ (P#o,:z(`P:i/^E=$rV66M ƢKNqiobJl%{^*ZJl/2X)*-`pLa[7Mc2s^W81tEF]rL~c]"5kfjSBLNJ@ s_]8<7 ŕW"Y uP;%\O&§ͥbܠk(ռ9Ztv8 D.R%:Yq=-GLxԃ }t"o )Ab-$ u`|TAP'G#6~ Y^V?6MaSWa18o0׷0޶5WcOP|s1@SSfC?_U6,"~mGXwZ(.MOz.jP?EÊ-`omKޅ_E{䇻]f=uR;^&> EzD(l{aoXWK*^i:6Ypά1FRU8m#)/(+HOQn$rx}}{Ms,-N0rD;)0Ī_s79]7ԉX &ΐ9&3ObHr?Q6xT@O~A>Jmү69|~qO^/s+R!&u5_&bFΈ^OE:s_{϶1&vUzM~&eݪwhsnc_&Ρ9~@!FIk`].m̉@R3e# "$i H|kqn>'4LC{ tNkXW#Î/ԷPҋK0+wg${Y A@H>c:I*r`]Qقj\QbP5 p!z^#KrƢ# #2r=XYZԛG۰I #sUIWB|y@=|2 ]h&AqrRjt,h" x=p5}N8>FTs#mu!P/!y폇Pd/Y`^s.kx H6֝` S?YEko?@pe)6 jjQ'o-Wa-y^08C8qdP:3tG "AW0E'ǒ]BeKg/XOms Kx` +rAFkx1F M(Y̔Y#7z0S@*[O>ؤc̣uLL%a3C)DM'fRku?ʱjI|bIj+$ˋIim7^SI?'v<۔nхG#kUH8@{td.O;dꂽDEuq ̴Rɇ95a6yz^4/ 펯W1n3{5ѫ`)isVQYS_P$i9[ cWn5( ?3jr u*{TVdK寏>28ˀ j"B"gfiIu r6 ~^;z\q5C\.6 endstream endobj 541 0 obj << /Type /FontDescriptor /FontName /UNJFCC+NimbusRomNo9L-Regu /Flags 4 /FontBBox [-168 -281 1000 924] /Ascent 678 /CapHeight 651 /Descent -216 /ItalicAngle 0 /StemV 85 /XHeight 450 /CharSet (/A/Aacute/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/R/S/T/U/V/W/Y/Z/a/aacute/acircumflex/adieresis/b/bracketleft/bracketright/c/ccedilla/colon/comma/d/e/eacute/eight/emdash/endash/exclam/f/fi/five/fl/four/g/h/hyphen/i/j/k/l/lslash/m/n/nine/numbersign/o/one/oslash/p/parenleft/parenright/period/q/quotedblleft/quotedblright/quoteright/r/s/semicolon/seven/six/slash/t/three/two/u/udieresis/v/w/x/y/z/zero) /FontFile 540 0 R >> endobj 542 0 obj << /Length1 1647 /Length2 16057 /Length3 0 /Length 16903 /Filter /FlateDecode >> stream xڬcto&vvtlΎm;۶mÎI:ms:/3箫ꪪȔELARL,|E+;S7U;E^yFU-/Ɖ@E% 2qr0q@f `E;8z9[YXh5TS ?.V [G;_kC5j [قJ:ZiE 47 e7S[+ @ w>fVK`pq<  #7`lb\V@[7+7wW@5bɔ\\]V^%?]f@R/jbepy0rq5/տps g3[_ _7qtÿg V. [s&V>}[X#0/Vs9hA9z@̊]hWo5_u+]4& gؚ8Y8Vjk][#+'V.RV 3e+W%Kaor- -6TnʀYUFAaKYoW{9Ó[E>]:u'77fRS(M(]. UÒ7NvgG@ @,G`jC,vZF])uP5t!}N,<  Y]#ŝ 3ݍ"ȞP/s\b" >*R@%X}U48%t9Ѭ@,jȞ*RXl/Eɣ>'߷n$m&P-Xcz +g&%6G:5(zbyU0rCI^5Z=H8ɇ$le97Bl`CxOv ECU,] b282B9mratB" 9ScnRm 'vJªLʚ.((+ 5@?gR-Ƒ.  aէkT JjpM={LQb1m:ƨ1$^l HOPVU;ەg֡kV&0\n `aG]U)ۍ eTSdH_"u+ OUh|m 3{ƪ1T_&v6-W?-/bt7)@Vj䉥 {q0r`e-2Έ!*X̉R:\?B:oVA9_'| }{tupmh|BpGa}-*Ү*.9Q!m :dsJ,qm%Αi57 ߝU:{ai}}gݺNӏIN^z.Z7y0㔅XNVQ9?FhM(ܗf˭YYu+Te"Tjq5_h ih`,O˾U?;za6%xGd;oW5go?f(A%&lJLIbՖ_F1gWkוմ$,lhe.JVA0?Dʋma&,B;7/IO0|eeLk զAGKڥnݛhf p*8=P2:n)Z#N%Ix;U(>_OXl7%2 !{ΣSrv'UicvD!XHaʉ!GoFtfn"pA2D۰x(rUu KLhOVEJq=d|<Ggșڔ yWfO"{˿. h}[?l rԥRii8+ +sj9U`'330dFޯV |^{5V~xkkegdl(:*u @Y \ lZ3m.7i+ q1foVc{L)+r$ki]V1]Đ²;qMĭNZ=D %An18[*yׂ &r*?ܲLEXJ;!jψռ]rTÖgnVaXpCi TXuyҙ 0_xE*;|̜\DK;&Yya;9ltLLild ua:}Ȭ?k'Sgʌߑ:%F0aD rd]~z4 O"Y%cNyTP{./H#Ofo#`U5n*dT KWA.IS&p=d_or}B (ek r}uk,f[ `O3GEԃ|Q'NWWllI||r.?F)uba{w?SEnVcjBo-5dy(%acveݕkzĤ\46k'1wyAJRZʉL{:H%u,P V|2(k⎅ 4̩)xF1l88f;gF1h=SPIG3KB¹.aK%k8ZWbhO];u6ԲUŨhRײ)퓼dD~q,W\1%#y.a~"qQ1SS!5"Ql*e(ؕ\4X4KSReƱEv ]"wpK "גMcpoX֠38opdQ:{ 7q*}!Yz>)7jO$kʳØo]X} 򲳒WV_Ra? \SA>f d:)}H<6g0kf ~R6~^LGh'pC!h91z=|/{'gg5qP}SCehVtQL}e OQ}2w~y8> e=(WќHfnc2":Z6"7"+P.$xհ0.ۖg:sgIV㨳쬅f~Y;b3!'0V&dSnv&t888NY&YW˞].x>HO)wQIyTJ}j'jyơ'G~fW ^@hnNoRE4y[}qS`7cg0odG{6Nez*l= 0"yHz xxk$^w|fHz*RR13q{p ۝wZxMyRA %VX\DV8F[;t{3؟Pg>76WxX6ͻ~K*i U12dͬݼ}=v h._UZt"DCW'O CTsy!"Movbڞ~?]"yU)mHb}W "r_hV^V%m+.knjsoK+XW,_=sa3ct0˴rZcI A56Ad5rШ'Ӓ'{!(˛\MoC%)^?OI\ddeh_*p}ID_DHɖT:e7 ̵4"wD)N'؎or|~\cF@x}5[uNeXOᨽriADdAtA& f 0M(ga$$8nB񈠠xQ- _h[9B;1n6S!:PUXG {09ZrH93&Cd֡5 Ox%E.{jkuэXOnH&p fH6%,%:q:Rk?#ًKcJ6RW8}'- g0 "に)Z(5 }w)}Y}i33]Ɨ9cv6Sɀ^Z$"*l U\J$CO(xz-]Z yar FEze`o`G;$}q 'f[lg}3M:IWN~ ;p&+aTҪ:s HBkM[̎'xxn I}(B=z0IZ͜NfLvqUw>[6ڒ[W<?$&Xx#*L5 G t ejF& &N QPsWcfS]wp J^x 4>m^nehi 9?=vfR1_)OIv#0ap+W5'0z-E bnFU=G ]<)$ &zB!85YHxRm>whr,c!~W͎ҧ苖K]1^0G}Ra@( !DW[3t\,py+t"ꀋ%qWD%fcwՌ詴Bcd6 t" ۜXz\#4@|ʽʅFHԵ _P?Úω4LS:76URte,e82:oĽZĉ¬w7F#qK?;xō ЋJ̕8iӔdEh@o-LlTb(\idbqkC[i[kY;otB`Xح%S6؄P^6ݒBu U*4NeC2 oߙ&#hjذ|Vr Sn6Us!-r{3%"⼋$G$ @DW:NRiĽ9#KO. 'RTU_ąbr~떰tFAE*pxi\8rZĄM'5 [/,xn{u~D?#(023KT i(۳JBťv=QTrxw$z4 :(OTr y:"Hn6jrhYf߷mM>3,C%cJ)<|,bL Me]q]Wײk.-W;^N&=@{)Hł\;uqĢ5 2x8GWiB?l }7Z$YE=0 s9V*}d39CԀg=wÔ6w ",nYh{V,ZxyKEm8KdV4GZ,_ v=1}R g% 5q[gݪ$Dhݑ˦wJ;%Wfb|u~z:';$= J;uӔ_#rc5[ne{ 2jęFEVφ[䗒ZgT/\|p1 ׅi66q%&4J?̂& bU>[#6)Ū%mQk8+>,8mϳdKǏg*e$W>03M}^|/ \29ִXsʟw+W=>&(a'.𰥻iY;637[뢝7ucJJ|RWB0':Ҭ\>(lͯw!#*w5;6= QlgD3+eH؏Йc߻Lwݣh7 >uFrj$4ׂߓY2b.c͒Y!8SҶHҥt"v_;s JWL=p iee p]Yc?PQ?})1LyfhZɘ2?K瓣L'3|WuA8 1L1 }5V 14\5.ƾ1ΩNn Os6%C `:cq 01 -= 3juwi4atmBCEԫW\;lM&['u{˧X8h w-FOd A% Ӕrh `1 Dw Ī֩ws,e"$dP?dHZCھ2MJ*IhϻĔQnP/Ә9v+|=t/$'=2MuϽxϴ*7I?ThDjD6nV(@ĉνjKE~xq o)43u!F1j|(IoQ,ѳޘkfyw9c.- ?gaIEzxى^JOc[j!-1\2/,Ҋ2tE3gBl&O{{eTvĒQ-V5rm~?!t^FLn*i|©Fz^g(mci܂ F=2B΁fO^ ~F g=v:Bt+ د+QBd0y].j1N+pJ@}2~dLFSt:n{T(Gqk#w)قdh F.5=&=)L X\.+matcd0ZP+.J8ȥ|?䌭7K<Y$m2 F}хS8gVÿx`CۗW.6 ZԔ|)όsДFSqq`;=G[|'BkQ ;BcAb\@Kbģ 39xsn2Ma"]Sj$/wͣy=9os{>[ oڋHx/IdßD.l#VH.t#Hdr.+gNGx0=x 8S JCvNK<釠wM$o$EH;ɸ9/n&:Xfeffs OZ2z1B}%Cx%4#F!FQ\i֗bժ7(  ~D?z#l)ڻQKg*RZlQf-)' 0ԣ8>Ә8'[D n]iwL~ُs98ҐY竮Ms+Z#}:aBlazp|vadoTȟ٦r1z)LTBh޹5akqL H>v)Or%HnexEeX0I\ A\7i f ?9Xj{YH׼}iA(F”l6B5!]f4QIs_NH|wV\y6HFcq"(̪ _ ψui?G?cPk;7Э/7EU&1}s)t(Dp.&qq};IFǭSRH_>Y7>y*NɀEq[d@WVVYͫc)~i3\ 4əB-ӓ4ϟ}nix[DO2bU.^~Z`ldl"tIހ)$Q÷c@^&ƽ,f7ڕk982way 'z:qd`ÛEw^m $]}Ǔٟw"]҉ľBF ~!2m{@F0} Ģsa+z H7=+M!q3d<:c'|?0nC+(js7^1so{-K9?AAX2ᄀvfA3IT0ݝg`Bm['&u$[vxE<[9ڂg"%NE:4U`T31v9.'ܱO=Ie2ʛoW q+^$/ٌ+T/k!gZ[PI#V ڔFζs2r]$bo^,rb[ /&[VL,9 }Y_PF|ѭW^kaXv۸|j甲ڛޫ lrc\$YZ~D0 e\z\DY& v*(F)5FoL[PMϴh@fȴCF2l@dd9:W[ǚvnkT,V_䌾vys)J p-"gY^姮Z$?yfjf=05A_ڮ3ZK((k߬%ߢPH(j5IeBUfAAr36KO¬Wߺ _:'С#qr͑.es t|D/ J_?vg!\72gv`8vQUyG6cMy;Qzԍe$`ۼ7_qkm=<=gزql '3ojo&KTn鴮RLv!Ae/M'wtQ` }Y~ +iRg8xѓ7mMf]\E7&!'x]P>-1U <a` 1]Ǽ8crf!!XV( %=k&u9%L^sgLdVUW:~et1HJjNY5}je#:6 4-yٽ5GeR-ю/SFޘNbx%jQJgm6vO<7kzE-C;X Q' 5mӭ;_} aabȚS!dw[#z 41W9Nޭ(]S1 ueJcԾ/؁_ߥJNNM:6Qy[R1vuiuOIP B%3k4ϱ3Nij⑛^ d#-1mZ*_1FWGڙ27>}6Bfւ ;uR%#8~BJY?[Loy&]Ք<"kb ]t~i$ڔznww[,O )‹lTYPM-0{ ;\ 2eiqC)tA> 0 Znز+Aʂ?E XN]_8MXYQܬLK?¢EG}=, :ZF ̓+ 00fZ!C>~`_(K˖ ;9( # %U4 C;im/[Q?ImbE$Đ!U/̒GQƹdlbw } Io".<-<KJ}I[}lɗy?4A'g mCzQFH m$?ƪmCEz?yύT ~;]u:g 1YvKtf<9mم0L"}RR21|ɇnHF@3-ڦ&oӀγ{ D>LdSFQ?J.jJI!ɣͭBw%ӳ]M=6`f R { MZ'~:ur2(!JSQz5mý O4ߠ%dXp[py_D(PA2DZƙ{ۻ(i;"Ёu)1ivE/1z{/oCSJ23x wx8#dz[?K8W=9A7܉>?-3q-N$~  'QJ=BjDDόJO~-[ޗv\lBD;KNs>򘡘` i.ӆr<x~YwY{"S7rSTP(w(wL W 8Pƣ!x=5VπxKEr9⇪J*SҊק."kL3]V!Q/e8X-Bg)jm[`H`r7IsTؘ0⭩~BGS <,w]r j*~lw rĜ.5qܟ#[} V$)N!6h[x:ySKyqCwJmy$^wkrP^35Lg7Ue46^|)6hBIVTcTDM4Eg ^~U\)O;U-kmZdbBʜx`d Jj!Dv_wE~>x3ay*=nž$HG_i^g/r43:>`vP5"C yB[vfj9}V zI#Iw 9M ࿛ H}I1 yu='L`؅cW%/@kOS¶JNXOJհ%wd(3]ܳFr;!+#u2>ISsn'a8jI4Y*Q-Y{?ꌠEN$<_myi?-tse-Tx RF N XkۗZV_6k~h3RIWDY߉'NwBǸ [?i[Us#t d2|"n7Cyl@`]#o? <\W1#|Y1RUWԹvu "4[}`ԈN  j-Q%a=j=uD0kkV{Yʯ Smc&#7ߞ #Uӻ3i^M.g\l?k8:LlNWe}%fqRU\32}.ۀ!n*iZPf*Dp$_wE (x9D!;KW4&C_L47n GZGhHre-}İ$%B-5wPYg+ʲĽ5#̬0Ta_6GKH;߻B00^vu7љkPND۫bho ˮ58c9M\uifDmA nvT^9@aA,Gjsd j+DeZka/.#1Vf1C/̄Q2+<veS6>NZc&!5&;4 <[oH̶"kyPOi"Sj E5h3't%˹aa;g.y;RvIDJ Wi I)CP cb xf5-D-]y[v4zL2+9?̫D~_6c',逅f_$۹PzBF&WD"[,mZk\rrxa4L O7ej{SmI * ܗC G\ ^b1Px૨e]k"z=!|K=2aTFzɍyUm9gܗC!x=^#ŧ6Jyc o?$7S?D@{jA4'$S> ؉-oR(%uL9ƶظy=D%ޓ +/ C||„! Qmvֱ^R7Ry\^?ąD1č`/yN|Т?ZL:~#iiT%獥Dο+EV#_ 32mVCvM.QR,WYeqgعURB M^NBC3`Dڂg3Zpt^ݾkRtF?cå>II6B`Hΰ8#7%1+jl+`m<ģ7w;9\v4)cz+փв*):f:[GͰ2ҭ )hqI]B/*3p|~'uQ_J+p7U-e&w!b/gZJo*u) n K(mNZBQGiXPbsiwduXب!KO5]Sڛ^RTjt#0<^bSB')Lss#9 *N9²׹[ODxJ$# (3hf!zmN@@j]Ss#Xl6Vj p= F ?^y o>DŅb."pn/OvfRZ\IsI9h4m=5#hD-s9;,]=1OS0ϫz,8'`L=z"&z1}ʯbBag[3r\(y/ӗSqZ BFjŬBn+5Go+ Ϸ5#3(+HRuD⏀PlgP{4El4LJeRNV/tnn,|l0bۉ WȉoQ6D`^F'C0Is42X} Exu1_ !8V 2e{e!HHǖ}QPU,vK!EX}]av![[ endstream endobj 543 0 obj << /Type /FontDescriptor /FontName /RHMYKW+NimbusRomNo9L-ReguItal /Flags 4 /FontBBox [-169 -270 1010 924] /Ascent 668 /CapHeight 668 /Descent -193 /ItalicAngle -15 /StemV 78 /XHeight 441 /CharSet (/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/R/S/T/V/W/Y/a/ampersand/b/c/colon/comma/d/e/eight/emdash/f/fi/five/four/g/h/hyphen/i/j/k/l/m/n/nine/o/one/p/parenleft/parenright/period/q/quoteright/r/s/seven/six/slash/t/three/two/u/v/w/x/y/zero) /FontFile 542 0 R >> endobj 512 0 obj << /Type /Encoding /Differences [2/fi/fl 7/lslash 33/exclam 35/numbersign 38/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/less 62/greater 64/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P 82/R/S/T/U/V/W 89/Y/Z/bracketleft 93/bracketright 97/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 147/quotedblleft/quotedblright 150/endash/emdash 173/hyphen 193/Aacute 225/aacute/acircumflex 228/adieresis 231/ccedilla 233/eacute 248/oslash 252/udieresis] >> endobj 149 0 obj << /Type /Font /Subtype /Type1 /BaseFont /YQPGPC+CMMI10 /FontDescriptor 521 0 R /FirstChar 58 /LastChar 60 /Widths 511 0 R >> endobj 150 0 obj << /Type /Font /Subtype /Type1 /BaseFont /SOSTRQ+CMR10 /FontDescriptor 523 0 R /FirstChar 40 /LastChar 93 /Widths 510 0 R >> endobj 145 0 obj << /Type /Font /Subtype /Type1 /BaseFont /NILPHE+CMSY10 /FontDescriptor 525 0 R /FirstChar 1 /LastChar 105 /Widths 514 0 R >> endobj 184 0 obj << /Type /Font /Subtype /Type1 /BaseFont /NOZFQC+StandardSymL /FontDescriptor 535 0 R /FirstChar 68 /LastChar 165 /Widths 508 0 R >> endobj 185 0 obj << /Type /Font /Subtype /Type1 /BaseFont /HNYWOO+StandardSymL-Slant_167 /FontDescriptor 537 0 R /FirstChar 97 /LastChar 97 /Widths 507 0 R >> endobj 90 0 obj << /Type /Font /Subtype /Type1 /BaseFont /ICRSDU+NimbusRomNo9L-Medi /FontDescriptor 539 0 R /FirstChar 2 /LastChar 121 /Widths 517 0 R /Encoding 512 0 R >> endobj 88 0 obj << /Type /Font /Subtype /Type1 /BaseFont /UNJFCC+NimbusRomNo9L-Regu /FontDescriptor 541 0 R /FirstChar 2 /LastChar 252 /Widths 519 0 R /Encoding 512 0 R >> endobj 91 0 obj << /Type /Font /Subtype /Type1 /BaseFont /RHMYKW+NimbusRomNo9L-ReguItal /FontDescriptor 543 0 R /FirstChar 2 /LastChar 151 /Widths 516 0 R /Encoding 512 0 R >> endobj 169 0 obj << /Type /Font /Subtype /Type1 /BaseFont /JSSSIO+rsfs10 /FontDescriptor 527 0 R /FirstChar 72 /LastChar 75 /Widths 509 0 R >> endobj 117 0 obj << /Type /Font /Subtype /Type1 /BaseFont /USKNRX+LuxiMono-Bold /FontDescriptor 529 0 R /FirstChar 97 /LastChar 121 /Widths 515 0 R /Encoding 512 0 R >> endobj 89 0 obj << /Type /Font /Subtype /Type1 /BaseFont /OWMNCD+LuxiMono /FontDescriptor 531 0 R /FirstChar 35 /LastChar 173 /Widths 518 0 R /Encoding 512 0 R >> endobj 148 0 obj << /Type /Font /Subtype /Type1 /BaseFont /PQAPOT+LuxiMono-Oblique /FontDescriptor 533 0 R /FirstChar 39 /LastChar 173 /Widths 513 0 R /Encoding 512 0 R >> endobj 92 0 obj << /Type /Pages /Count 6 /Parent 544 0 R /Kids [66 0 R 114 0 R 139 0 R 159 0 R 181 0 R 202 0 R] >> endobj 247 0 obj << /Type /Pages /Count 6 /Parent 544 0 R /Kids [231 0 R 251 0 R 261 0 R 283 0 R 300 0 R 315 0 R] >> endobj 411 0 obj << /Type /Pages /Count 6 /Parent 544 0 R /Kids [340 0 R 421 0 R 471 0 R 485 0 R 493 0 R 498 0 R] >> endobj 506 0 obj << /Type /Pages /Count 1 /Parent 544 0 R /Kids [503 0 R] >> endobj 544 0 obj << /Type /Pages /Count 19 /Kids [92 0 R 247 0 R 411 0 R 506 0 R] >> endobj 545 0 obj << /Type /Outlines /First 3 0 R /Last 63 0 R /Count 5 >> endobj 63 0 obj << /Title 64 0 R /A 61 0 R /Parent 545 0 R /Prev 59 0 R >> endobj 59 0 obj << /Title 60 0 R /A 57 0 R /Parent 545 0 R /Prev 55 0 R /Next 63 0 R >> endobj 55 0 obj << /Title 56 0 R /A 53 0 R /Parent 545 0 R /Prev 7 0 R /Next 59 0 R >> endobj 51 0 obj << /Title 52 0 R /A 49 0 R /Parent 7 0 R /Prev 47 0 R >> endobj 47 0 obj << /Title 48 0 R /A 45 0 R /Parent 7 0 R /Prev 43 0 R /Next 51 0 R >> endobj 43 0 obj << /Title 44 0 R /A 41 0 R /Parent 7 0 R /Prev 39 0 R /Next 47 0 R >> endobj 39 0 obj << /Title 40 0 R /A 37 0 R /Parent 7 0 R /Prev 35 0 R /Next 43 0 R >> endobj 35 0 obj << /Title 36 0 R /A 33 0 R /Parent 7 0 R /Prev 31 0 R /Next 39 0 R >> endobj 31 0 obj << /Title 32 0 R /A 29 0 R /Parent 7 0 R /Prev 27 0 R /Next 35 0 R >> endobj 27 0 obj << /Title 28 0 R /A 25 0 R /Parent 7 0 R /Prev 23 0 R /Next 31 0 R >> endobj 23 0 obj << /Title 24 0 R /A 21 0 R /Parent 7 0 R /Prev 19 0 R /Next 27 0 R >> endobj 19 0 obj << /Title 20 0 R /A 17 0 R /Parent 7 0 R /Prev 15 0 R /Next 23 0 R >> endobj 15 0 obj << /Title 16 0 R /A 13 0 R /Parent 7 0 R /Prev 11 0 R /Next 19 0 R >> endobj 11 0 obj << /Title 12 0 R /A 9 0 R /Parent 7 0 R /Next 15 0 R >> endobj 7 0 obj << /Title 8 0 R /A 5 0 R /Parent 545 0 R /Prev 3 0 R /Next 55 0 R /First 11 0 R /Last 51 0 R /Count -11 >> endobj 3 0 obj << /Title 4 0 R /A 1 0 R /Parent 545 0 R /Next 7 0 R >> endobj 546 0 obj << /Names [(Doc-Start) 87 0 R (Item.1) 275 0 R (Item.2) 276 0 R (Item.3) 277 0 R (Item.4) 286 0 R (Item.5) 287 0 R] /Limits [(Doc-Start) (Item.5)] >> endobj 547 0 obj << /Names [(cite.Abrial:SchorrWaite) 307 0 R (cite.BanerjeeEtAl:RegionLogic) 226 0 R (cite.BarnettEtAl:JOT2004) 170 0 R (cite.BarrettTinelli:CVC3) 288 0 R (cite.Boogie:Architecture) 122 0 R (cite.Boyland:SAS2003) 227 0 R] /Limits [(cite.Abrial:SchorrWaite) (cite.Boyland:SAS2003)] >> endobj 548 0 obj << /Names [(cite.BroyPepper:SchorrWaite) 306 0 R (cite.Bubel:SchorrWaite) 310 0 R (cite.CLIncStack) 93 0 R (cite.Clarke-Drossopoulou02) 224 0 R (cite.Darvas:thesis) 474 0 R (cite.Doomed:FM2009) 97 0 R] /Limits [(cite.BroyPepper:SchorrWaite) (cite.Doomed:FM2009)] >> endobj 549 0 obj << /Names [(cite.ESC:rr) 96 0 R (cite.FAP:OOPSLA1998) 223 0 R (cite.Filliatre-Marche04) 476 0 R (cite.Gonthier:CAV2006) 94 0 R (cite.HubertMarche:SchorrWaite) 309 0 R (cite.ImplicitDynamicFrames:ecoop09) 175 0 R] /Limits [(cite.ESC:rr) (cite.ImplicitDynamicFrames:ecoop09)] >> endobj 550 0 obj << /Names [(cite.Kassios:FM2006) 121 0 R (cite.KeY:book) 453 0 R (cite.KiniryCok:EscJava2) 455 0 R (cite.Leavens-Baker-Ruby06) 119 0 R (cite.Leino:Boogie2-RefMan) 124 0 R (cite.Leino:Dafny:MOD2008) 103 0 R] /Limits [(cite.Kassios:FM2006) (cite.Leino:Dafny:MOD2008)] >> endobj 551 0 obj << /Names [(cite.Leino:DataGroups) 173 0 R (cite.Leino:thesis) 222 0 R (cite.LeinoMonahan:Comprehensions) 104 0 R (cite.LeinoMueller:ESOP2008) 475 0 R (cite.LeinoMueller:ESOP2009) 176 0 R (cite.LeinoMueller:SpecSharp:Tutorial) 171 0 R] /Limits [(cite.Leino:DataGroups) (cite.LeinoMueller:SpecSharp:Tutorial)] >> endobj 552 0 obj << /Names [(cite.LeinoNelson:tome) 228 0 R (cite.LeinoRuemmer:Boogie2) 123 0 R (cite.MehtaNipkow:SchorrWaite) 308 0 R (cite.Meyer:OOP) 118 0 R (cite.MuellerPoetzsch-HeffterLeavens06) 172 0 R (cite.ParkinsonBierman:POPL2005) 174 0 R] /Limits [(cite.LeinoNelson:tome) (cite.ParkinsonBierman:POPL2005)] >> endobj 553 0 obj << /Names [(cite.Regis-Gianas:Pottier:MPC2008) 100 0 R (cite.Reynolds:SepLogic) 225 0 R (cite.SMT-LIB) 99 0 R (cite.SchorrWaite:CACM1967) 305 0 R (cite.Simplify:tome) 98 0 R (cite.Smans-Jacobs-Piessens08a) 478 0 R] /Limits [(cite.Regis-Gianas:Pottier:MPC2008) (cite.Smans-Jacobs-Piessens08a)] >> endobj 554 0 obj << /Names [(cite.SmansEtAl:VeriCool) 477 0 R (cite.SpecSharp:Overview) 120 0 R (cite.VCC:TPHOLs) 102 0 R (cite.VeriFast:TR) 289 0 R (cite.Weide:VSTTE2008) 490 0 R (cite.Why:Platform) 125 0 R] /Limits [(cite.SmansEtAl:VeriCool) (cite.Why:Platform)] >> endobj 555 0 obj << /Names [(cite.ZeeKuncakRinard:PLDI2008) 101 0 R (cite.deMouraBjorner:Z3:overview) 126 0 R (cite.escjava:overview) 454 0 R (cite.seL4:SOSP2009) 95 0 R (lstlisting.-1) 142 0 R (lstlisting.-10) 256 0 R] /Limits [(cite.ZeeKuncakRinard:PLDI2008) (lstlisting.-10)] >> endobj 556 0 obj << /Names [(lstlisting.-11) 264 0 R (lstlisting.-12) 266 0 R (lstlisting.-13) 268 0 R (lstlisting.-14) 303 0 R (lstlisting.-15) 318 0 R (lstlisting.-2) 151 0 R] /Limits [(lstlisting.-11) (lstlisting.-2)] >> endobj 557 0 obj << /Names [(lstlisting.-3) 162 0 R (lstlisting.-4) 167 0 R (lstlisting.-5) 205 0 R (lstlisting.-6) 234 0 R (lstlisting.-7) 236 0 R (lstlisting.-8) 241 0 R] /Limits [(lstlisting.-3) (lstlisting.-8)] >> endobj 558 0 obj << /Names [(lstlisting.-9) 243 0 R (lstnumber.-1.0) 143 0 R (lstnumber.-1.1) 144 0 R (lstnumber.-1.2) 146 0 R (lstnumber.-1.3) 147 0 R (lstnumber.-10.0) 257 0 R] /Limits [(lstlisting.-9) (lstnumber.-10.0)] >> endobj 559 0 obj << /Names [(lstnumber.-11.0) 265 0 R (lstnumber.-12.0) 267 0 R (lstnumber.-13.0) 269 0 R (lstnumber.-13.1) 270 0 R (lstnumber.-13.2) 271 0 R (lstnumber.-13.3) 272 0 R] /Limits [(lstnumber.-11.0) (lstnumber.-13.3)] >> endobj 560 0 obj << /Names [(lstnumber.-13.4) 273 0 R (lstnumber.-13.5) 274 0 R (lstnumber.-14.0) 304 0 R (lstnumber.-15.0) 319 0 R (lstnumber.-15.1) 320 0 R (lstnumber.-15.10) 329 0 R] /Limits [(lstnumber.-13.4) (lstnumber.-15.10)] >> endobj 561 0 obj << /Names [(lstnumber.-15.100) 436 0 R (lstnumber.-15.101) 437 0 R (lstnumber.-15.102) 438 0 R (lstnumber.-15.103) 439 0 R (lstnumber.-15.104) 440 0 R (lstnumber.-15.105) 441 0 R] /Limits [(lstnumber.-15.100) (lstnumber.-15.105)] >> endobj 562 0 obj << /Names [(lstnumber.-15.106) 442 0 R (lstnumber.-15.107) 443 0 R (lstnumber.-15.108) 444 0 R (lstnumber.-15.109) 445 0 R (lstnumber.-15.11) 330 0 R (lstnumber.-15.110) 446 0 R] /Limits [(lstnumber.-15.106) (lstnumber.-15.110)] >> endobj 563 0 obj << /Names [(lstnumber.-15.111) 447 0 R (lstnumber.-15.112) 448 0 R (lstnumber.-15.113) 449 0 R (lstnumber.-15.114) 450 0 R (lstnumber.-15.115) 451 0 R (lstnumber.-15.116) 452 0 R] /Limits [(lstnumber.-15.111) (lstnumber.-15.116)] >> endobj 564 0 obj << /Names [(lstnumber.-15.12) 331 0 R (lstnumber.-15.13) 332 0 R (lstnumber.-15.14) 333 0 R (lstnumber.-15.15) 334 0 R (lstnumber.-15.16) 335 0 R (lstnumber.-15.17) 336 0 R] /Limits [(lstnumber.-15.12) (lstnumber.-15.17)] >> endobj 565 0 obj << /Names [(lstnumber.-15.18) 337 0 R (lstnumber.-15.19) 338 0 R (lstnumber.-15.2) 321 0 R (lstnumber.-15.20) 343 0 R (lstnumber.-15.21) 344 0 R (lstnumber.-15.22) 345 0 R] /Limits [(lstnumber.-15.18) (lstnumber.-15.22)] >> endobj 566 0 obj << /Names [(lstnumber.-15.23) 346 0 R (lstnumber.-15.24) 347 0 R (lstnumber.-15.25) 348 0 R (lstnumber.-15.26) 349 0 R (lstnumber.-15.27) 350 0 R (lstnumber.-15.28) 351 0 R] /Limits [(lstnumber.-15.23) (lstnumber.-15.28)] >> endobj 567 0 obj << /Names [(lstnumber.-15.29) 352 0 R (lstnumber.-15.3) 322 0 R (lstnumber.-15.30) 353 0 R (lstnumber.-15.31) 354 0 R (lstnumber.-15.32) 355 0 R (lstnumber.-15.33) 356 0 R] /Limits [(lstnumber.-15.29) (lstnumber.-15.33)] >> endobj 568 0 obj << /Names [(lstnumber.-15.34) 357 0 R (lstnumber.-15.35) 358 0 R (lstnumber.-15.36) 359 0 R (lstnumber.-15.37) 360 0 R (lstnumber.-15.38) 361 0 R (lstnumber.-15.39) 362 0 R] /Limits [(lstnumber.-15.34) (lstnumber.-15.39)] >> endobj 569 0 obj << /Names [(lstnumber.-15.4) 323 0 R (lstnumber.-15.40) 363 0 R (lstnumber.-15.41) 364 0 R (lstnumber.-15.42) 365 0 R (lstnumber.-15.43) 366 0 R (lstnumber.-15.44) 367 0 R] /Limits [(lstnumber.-15.4) (lstnumber.-15.44)] >> endobj 570 0 obj << /Names [(lstnumber.-15.45) 368 0 R (lstnumber.-15.46) 369 0 R (lstnumber.-15.47) 370 0 R (lstnumber.-15.48) 371 0 R (lstnumber.-15.49) 372 0 R (lstnumber.-15.5) 324 0 R] /Limits [(lstnumber.-15.45) (lstnumber.-15.5)] >> endobj 571 0 obj << /Names [(lstnumber.-15.50) 373 0 R (lstnumber.-15.51) 374 0 R (lstnumber.-15.52) 375 0 R (lstnumber.-15.53) 376 0 R (lstnumber.-15.54) 377 0 R (lstnumber.-15.55) 378 0 R] /Limits [(lstnumber.-15.50) (lstnumber.-15.55)] >> endobj 572 0 obj << /Names [(lstnumber.-15.56) 379 0 R (lstnumber.-15.57) 380 0 R (lstnumber.-15.58) 381 0 R (lstnumber.-15.59) 382 0 R (lstnumber.-15.6) 325 0 R (lstnumber.-15.60) 383 0 R] /Limits [(lstnumber.-15.56) (lstnumber.-15.60)] >> endobj 573 0 obj << /Names [(lstnumber.-15.61) 384 0 R (lstnumber.-15.62) 385 0 R (lstnumber.-15.63) 386 0 R (lstnumber.-15.64) 387 0 R (lstnumber.-15.65) 388 0 R (lstnumber.-15.66) 389 0 R] /Limits [(lstnumber.-15.61) (lstnumber.-15.66)] >> endobj 574 0 obj << /Names [(lstnumber.-15.67) 390 0 R (lstnumber.-15.68) 391 0 R (lstnumber.-15.69) 392 0 R (lstnumber.-15.7) 326 0 R (lstnumber.-15.70) 393 0 R (lstnumber.-15.71) 394 0 R] /Limits [(lstnumber.-15.67) (lstnumber.-15.71)] >> endobj 575 0 obj << /Names [(lstnumber.-15.72) 395 0 R (lstnumber.-15.73) 396 0 R (lstnumber.-15.74) 397 0 R (lstnumber.-15.75) 398 0 R (lstnumber.-15.76) 399 0 R (lstnumber.-15.77) 400 0 R] /Limits [(lstnumber.-15.72) (lstnumber.-15.77)] >> endobj 576 0 obj << /Names [(lstnumber.-15.78) 401 0 R (lstnumber.-15.79) 402 0 R (lstnumber.-15.8) 327 0 R (lstnumber.-15.80) 403 0 R (lstnumber.-15.81) 404 0 R (lstnumber.-15.82) 405 0 R] /Limits [(lstnumber.-15.78) (lstnumber.-15.82)] >> endobj 577 0 obj << /Names [(lstnumber.-15.83) 406 0 R (lstnumber.-15.84) 407 0 R (lstnumber.-15.85) 408 0 R (lstnumber.-15.86) 409 0 R (lstnumber.-15.87) 410 0 R (lstnumber.-15.88) 424 0 R] /Limits [(lstnumber.-15.83) (lstnumber.-15.88)] >> endobj 578 0 obj << /Names [(lstnumber.-15.89) 425 0 R (lstnumber.-15.9) 328 0 R (lstnumber.-15.90) 426 0 R (lstnumber.-15.91) 427 0 R (lstnumber.-15.92) 428 0 R (lstnumber.-15.93) 429 0 R] /Limits [(lstnumber.-15.89) (lstnumber.-15.93)] >> endobj 579 0 obj << /Names [(lstnumber.-15.94) 430 0 R (lstnumber.-15.95) 431 0 R (lstnumber.-15.96) 432 0 R (lstnumber.-15.97) 433 0 R (lstnumber.-15.98) 434 0 R (lstnumber.-15.99) 435 0 R] /Limits [(lstnumber.-15.94) (lstnumber.-15.99)] >> endobj 580 0 obj << /Names [(lstnumber.-2.0) 152 0 R (lstnumber.-2.1) 153 0 R (lstnumber.-2.2) 154 0 R (lstnumber.-2.3) 155 0 R (lstnumber.-2.4) 156 0 R (lstnumber.-3.0) 163 0 R] /Limits [(lstnumber.-2.0) (lstnumber.-3.0)] >> endobj 581 0 obj << /Names [(lstnumber.-3.1) 164 0 R (lstnumber.-3.2) 165 0 R (lstnumber.-3.3) 166 0 R (lstnumber.-4.0) 168 0 R (lstnumber.-5.0) 206 0 R (lstnumber.-5.1) 207 0 R] /Limits [(lstnumber.-3.1) (lstnumber.-5.1)] >> endobj 582 0 obj << /Names [(lstnumber.-5.10) 216 0 R (lstnumber.-5.11) 217 0 R (lstnumber.-5.12) 218 0 R (lstnumber.-5.13) 219 0 R (lstnumber.-5.14) 220 0 R (lstnumber.-5.15) 221 0 R] /Limits [(lstnumber.-5.10) (lstnumber.-5.15)] >> endobj 583 0 obj << /Names [(lstnumber.-5.2) 208 0 R (lstnumber.-5.3) 209 0 R (lstnumber.-5.4) 210 0 R (lstnumber.-5.5) 211 0 R (lstnumber.-5.6) 212 0 R (lstnumber.-5.7) 213 0 R] /Limits [(lstnumber.-5.2) (lstnumber.-5.7)] >> endobj 584 0 obj << /Names [(lstnumber.-5.8) 214 0 R (lstnumber.-5.9) 215 0 R (lstnumber.-6.0) 235 0 R (lstnumber.-7.0) 237 0 R (lstnumber.-7.1) 238 0 R (lstnumber.-7.2) 239 0 R] /Limits [(lstnumber.-5.8) (lstnumber.-7.2)] >> endobj 585 0 obj << /Names [(lstnumber.-7.3) 240 0 R (lstnumber.-8.0) 242 0 R (lstnumber.-9.0) 244 0 R (lstnumber.-9.1) 245 0 R (lstnumber.-9.2) 246 0 R (lstnumber.-9.3) 254 0 R] /Limits [(lstnumber.-7.3) (lstnumber.-9.3)] >> endobj 586 0 obj << /Names [(lstnumber.-9.4) 255 0 R (page.1) 86 0 R (page.10) 285 0 R (page.11) 302 0 R (page.12) 317 0 R (page.13) 342 0 R] /Limits [(lstnumber.-9.4) (page.13)] >> endobj 587 0 obj << /Names [(page.14) 423 0 R (page.15) 473 0 R (page.16) 487 0 R (page.17) 495 0 R (page.18) 500 0 R (page.19) 505 0 R] /Limits [(page.14) (page.19)] >> endobj 588 0 obj << /Names [(page.2) 116 0 R (page.3) 141 0 R (page.4) 161 0 R (page.5) 183 0 R (page.6) 204 0 R (page.7) 233 0 R] /Limits [(page.2) (page.7)] >> endobj 589 0 obj << /Names [(page.8) 253 0 R (page.9) 263 0 R (section*.1) 488 0 R (section*.2) 489 0 R (section.0) 2 0 R (section.1) 6 0 R] /Limits [(page.8) (section.1)] >> endobj 590 0 obj << /Names [(section.2) 54 0 R (section.3) 58 0 R (section.4) 62 0 R (subsection.1.0) 10 0 R (subsection.1.1) 14 0 R (subsection.1.10) 50 0 R] /Limits [(section.2) (subsection.1.10)] >> endobj 591 0 obj << /Names [(subsection.1.2) 18 0 R (subsection.1.3) 22 0 R (subsection.1.4) 26 0 R (subsection.1.5) 30 0 R (subsection.1.6) 34 0 R (subsection.1.7) 38 0 R] /Limits [(subsection.1.2) (subsection.1.7)] >> endobj 592 0 obj << /Names [(subsection.1.8) 42 0 R (subsection.1.9) 46 0 R] /Limits [(subsection.1.8) (subsection.1.9)] >> endobj 593 0 obj << /Kids [546 0 R 547 0 R 548 0 R 549 0 R 550 0 R 551 0 R] /Limits [(Doc-Start) (cite.LeinoMueller:SpecSharp:Tutorial)] >> endobj 594 0 obj << /Kids [552 0 R 553 0 R 554 0 R 555 0 R 556 0 R 557 0 R] /Limits [(cite.LeinoNelson:tome) (lstlisting.-8)] >> endobj 595 0 obj << /Kids [558 0 R 559 0 R 560 0 R 561 0 R 562 0 R 563 0 R] /Limits [(lstlisting.-9) (lstnumber.-15.116)] >> endobj 596 0 obj << /Kids [564 0 R 565 0 R 566 0 R 567 0 R 568 0 R 569 0 R] /Limits [(lstnumber.-15.12) (lstnumber.-15.44)] >> endobj 597 0 obj << /Kids [570 0 R 571 0 R 572 0 R 573 0 R 574 0 R 575 0 R] /Limits [(lstnumber.-15.45) (lstnumber.-15.77)] >> endobj 598 0 obj << /Kids [576 0 R 577 0 R 578 0 R 579 0 R 580 0 R 581 0 R] /Limits [(lstnumber.-15.78) (lstnumber.-5.1)] >> endobj 599 0 obj << /Kids [582 0 R 583 0 R 584 0 R 585 0 R 586 0 R 587 0 R] /Limits [(lstnumber.-5.10) (page.19)] >> endobj 600 0 obj << /Kids [588 0 R 589 0 R 590 0 R 591 0 R 592 0 R] /Limits [(page.2) (subsection.1.9)] >> endobj 601 0 obj << /Kids [593 0 R 594 0 R 595 0 R 596 0 R 597 0 R 598 0 R] /Limits [(Doc-Start) (lstnumber.-5.1)] >> endobj 602 0 obj << /Kids [599 0 R 600 0 R] /Limits [(lstnumber.-5.10) (subsection.1.9)] >> endobj 603 0 obj << /Kids [601 0 R 602 0 R] /Limits [(Doc-Start) (subsection.1.9)] >> endobj 604 0 obj << /Dests 603 0 R >> endobj 605 0 obj << /Type /Catalog /Pages 544 0 R /Outlines 545 0 R /Names 604 0 R /PageMode/UseOutlines /OpenAction 65 0 R >> endobj 606 0 obj << /Author()/Title()/Subject()/Creator(LaTeX with hyperref package)/Producer(pdfTeX-1.40.9)/Keywords() /CreationDate (D:20100330223644-07'00') /ModDate (D:20100330223644-07'00') /Trapped /False /PTEX.Fullbanner (This is MiKTeX-pdfTeX 2.7.3235 (1.40.9)) >> endobj xref 0 607 0000000000 65535 f 0000000015 00000 n 0000006949 00000 n 0000227452 00000 n 0000000060 00000 n 0000000090 00000 n 0000012455 00000 n 0000227330 00000 n 0000000135 00000 n 0000000176 00000 n 0000012512 00000 n 0000227258 00000 n 0000000226 00000 n 0000000250 00000 n 0000016464 00000 n 0000227172 00000 n 0000000301 00000 n 0000000343 00000 n 0000016820 00000 n 0000227086 00000 n 0000000394 00000 n 0000000424 00000 n 0000017241 00000 n 0000227000 00000 n 0000000475 00000 n 0000000507 00000 n 0000023363 00000 n 0000226914 00000 n 0000000558 00000 n 0000000586 00000 n 0000035317 00000 n 0000226828 00000 n 0000000637 00000 n 0000000692 00000 n 0000040989 00000 n 0000226742 00000 n 0000000743 00000 n 0000000777 00000 n 0000046137 00000 n 0000226656 00000 n 0000000828 00000 n 0000000851 00000 n 0000049859 00000 n 0000226570 00000 n 0000000902 00000 n 0000000930 00000 n 0000050037 00000 n 0000226484 00000 n 0000000981 00000 n 0000001019 00000 n 0000061060 00000 n 0000226411 00000 n 0000001071 00000 n 0000001109 00000 n 0000061234 00000 n 0000226324 00000 n 0000001155 00000 n 0000001208 00000 n 0000080735 00000 n 0000226236 00000 n 0000001254 00000 n 0000001285 00000 n 0000092261 00000 n 0000226161 00000 n 0000001331 00000 n 0000001361 00000 n 0000004518 00000 n 0000004729 00000 n 0000004895 00000 n 0000005051 00000 n 0000005214 00000 n 0000005374 00000 n 0000005527 00000 n 0000005687 00000 n 0000005846 00000 n 0000006000 00000 n 0000006175 00000 n 0000006345 00000 n 0000006502 00000 n 0000006667 00000 n 0000010426 00000 n 0000010581 00000 n 0000010748 00000 n 0000010912 00000 n 0000007005 00000 n 0000001411 00000 n 0000006839 00000 n 0000006896 00000 n 0000224581 00000 n 0000225241 00000 n 0000224409 00000 n 0000224753 00000 n 0000225576 00000 n 0000097578 00000 n 0000103381 00000 n 0000103673 00000 n 0000098225 00000 n 0000103439 00000 n 0000098167 00000 n 0000097406 00000 n 0000107874 00000 n 0000108287 00000 n 0000097931 00000 n 0000103966 00000 n 0000104025 00000 n 0000011073 00000 n 0000011240 00000 n 0000011405 00000 n 0000011571 00000 n 0000011737 00000 n 0000011895 00000 n 0000012055 00000 n 0000012229 00000 n 0000012570 00000 n 0000010211 00000 n 0000007111 00000 n 0000012396 00000 n 0000225072 00000 n 0000107700 00000 n 0000103731 00000 n 0000092672 00000 n 0000103614 00000 n 0000092554 00000 n 0000104319 00000 n 0000103907 00000 n 0000098341 00000 n 0000098108 00000 n 0000016081 00000 n 0000016237 00000 n 0000021470 00000 n 0000021636 00000 n 0000021815 00000 n 0000021993 00000 n 0000022156 00000 n 0000022329 00000 n 0000022505 00000 n 0000022674 00000 n 0000022835 00000 n 0000017299 00000 n 0000015942 00000 n 0000012690 00000 n 0000016405 00000 n 0000016518 00000 n 0000016577 00000 n 0000016638 00000 n 0000223957 00000 n 0000016699 00000 n 0000016760 00000 n 0000225404 00000 n 0000223672 00000 n 0000223815 00000 n 0000016878 00000 n 0000016937 00000 n 0000016997 00000 n 0000017058 00000 n 0000017119 00000 n 0000017180 00000 n 0000028376 00000 n 0000023541 00000 n 0000021275 00000 n 0000017471 00000 n 0000023001 00000 n 0000023060 00000 n 0000023119 00000 n 0000023180 00000 n 0000023241 00000 n 0000023302 00000 n 0000023421 00000 n 0000023480 00000 n 0000224929 00000 n 0000092613 00000 n 0000104201 00000 n 0000107757 00000 n 0000103849 00000 n 0000107816 00000 n 0000108110 00000 n 0000104143 00000 n 0000028543 00000 n 0000028699 00000 n 0000028866 00000 n 0000029092 00000 n 0000028221 00000 n 0000023726 00000 n 0000029033 00000 n 0000224100 00000 n 0000224250 00000 n 0000032784 00000 n 0000032944 00000 n 0000033121 00000 n 0000033286 00000 n 0000033448 00000 n 0000033617 00000 n 0000033784 00000 n 0000033949 00000 n 0000034120 00000 n 0000034282 00000 n 0000034444 00000 n 0000034601 00000 n 0000034768 00000 n 0000034922 00000 n 0000035085 00000 n 0000036409 00000 n 0000032541 00000 n 0000029290 00000 n 0000035258 00000 n 0000035375 00000 n 0000035434 00000 n 0000035495 00000 n 0000035556 00000 n 0000035617 00000 n 0000035678 00000 n 0000035738 00000 n 0000035799 00000 n 0000035860 00000 n 0000035921 00000 n 0000035982 00000 n 0000036043 00000 n 0000036104 00000 n 0000036165 00000 n 0000036226 00000 n 0000036287 00000 n 0000036348 00000 n 0000103790 00000 n 0000097872 00000 n 0000097813 00000 n 0000107933 00000 n 0000092495 00000 n 0000097636 00000 n 0000104260 00000 n 0000040220 00000 n 0000041287 00000 n 0000040088 00000 n 0000036594 00000 n 0000040387 00000 n 0000040446 00000 n 0000040505 00000 n 0000040566 00000 n 0000040625 00000 n 0000040686 00000 n 0000040747 00000 n 0000040808 00000 n 0000040869 00000 n 0000040928 00000 n 0000041047 00000 n 0000041106 00000 n 0000041167 00000 n 0000041227 00000 n 0000225691 00000 n 0000045513 00000 n 0000045669 00000 n 0000046195 00000 n 0000045373 00000 n 0000041434 00000 n 0000045837 00000 n 0000045896 00000 n 0000045956 00000 n 0000046017 00000 n 0000046076 00000 n 0000049477 00000 n 0000049634 00000 n 0000050816 00000 n 0000049337 00000 n 0000046354 00000 n 0000049800 00000 n 0000049917 00000 n 0000049976 00000 n 0000050095 00000 n 0000050154 00000 n 0000050215 00000 n 0000050274 00000 n 0000050335 00000 n 0000050396 00000 n 0000050457 00000 n 0000050518 00000 n 0000050579 00000 n 0000050640 00000 n 0000050699 00000 n 0000050758 00000 n 0000054619 00000 n 0000054786 00000 n 0000054947 00000 n 0000055122 00000 n 0000055450 00000 n 0000054463 00000 n 0000050975 00000 n 0000055277 00000 n 0000055336 00000 n 0000055391 00000 n 0000097460 00000 n 0000103556 00000 n 0000059664 00000 n 0000059820 00000 n 0000059987 00000 n 0000060157 00000 n 0000060323 00000 n 0000060494 00000 n 0000060665 00000 n 0000060830 00000 n 0000065079 00000 n 0000061292 00000 n 0000059476 00000 n 0000055610 00000 n 0000061001 00000 n 0000061114 00000 n 0000061173 00000 n 0000107992 00000 n 0000097695 00000 n 0000092436 00000 n 0000107641 00000 n 0000103497 00000 n 0000097754 00000 n 0000065236 00000 n 0000065408 00000 n 0000065567 00000 n 0000067093 00000 n 0000064923 00000 n 0000061451 00000 n 0000065739 00000 n 0000065798 00000 n 0000065857 00000 n 0000065918 00000 n 0000065980 00000 n 0000066042 00000 n 0000066104 00000 n 0000066166 00000 n 0000066228 00000 n 0000066290 00000 n 0000066352 00000 n 0000066414 00000 n 0000066476 00000 n 0000066538 00000 n 0000066599 00000 n 0000066661 00000 n 0000066723 00000 n 0000066785 00000 n 0000066847 00000 n 0000066909 00000 n 0000066971 00000 n 0000067032 00000 n 0000074500 00000 n 0000070122 00000 n 0000067214 00000 n 0000070234 00000 n 0000070293 00000 n 0000070355 00000 n 0000070417 00000 n 0000070479 00000 n 0000070541 00000 n 0000070603 00000 n 0000070665 00000 n 0000070727 00000 n 0000070789 00000 n 0000070850 00000 n 0000070912 00000 n 0000070974 00000 n 0000071036 00000 n 0000071098 00000 n 0000071160 00000 n 0000071222 00000 n 0000071284 00000 n 0000071346 00000 n 0000071408 00000 n 0000071470 00000 n 0000071531 00000 n 0000071593 00000 n 0000071655 00000 n 0000071717 00000 n 0000071779 00000 n 0000071841 00000 n 0000071903 00000 n 0000071965 00000 n 0000072027 00000 n 0000072087 00000 n 0000072149 00000 n 0000072211 00000 n 0000072273 00000 n 0000072335 00000 n 0000072397 00000 n 0000072459 00000 n 0000072521 00000 n 0000072583 00000 n 0000072645 00000 n 0000072707 00000 n 0000072768 00000 n 0000072830 00000 n 0000072892 00000 n 0000072954 00000 n 0000073016 00000 n 0000073078 00000 n 0000073140 00000 n 0000073202 00000 n 0000073264 00000 n 0000073325 00000 n 0000073387 00000 n 0000073449 00000 n 0000073511 00000 n 0000073573 00000 n 0000073635 00000 n 0000073697 00000 n 0000073759 00000 n 0000073821 00000 n 0000073882 00000 n 0000073944 00000 n 0000074006 00000 n 0000074068 00000 n 0000074130 00000 n 0000074192 00000 n 0000074254 00000 n 0000074316 00000 n 0000074378 00000 n 0000074439 00000 n 0000225808 00000 n 0000077914 00000 n 0000078080 00000 n 0000078247 00000 n 0000078403 00000 n 0000078565 00000 n 0000078730 00000 n 0000084959 00000 n 0000085138 00000 n 0000080793 00000 n 0000077742 00000 n 0000074635 00000 n 0000078882 00000 n 0000078941 00000 n 0000079003 00000 n 0000079065 00000 n 0000079127 00000 n 0000079189 00000 n 0000079251 00000 n 0000079313 00000 n 0000079375 00000 n 0000079437 00000 n 0000079498 00000 n 0000079560 00000 n 0000079622 00000 n 0000079684 00000 n 0000079746 00000 n 0000079808 00000 n 0000079870 00000 n 0000079932 00000 n 0000079994 00000 n 0000080056 00000 n 0000080118 00000 n 0000080179 00000 n 0000080241 00000 n 0000080303 00000 n 0000080365 00000 n 0000080427 00000 n 0000080489 00000 n 0000080551 00000 n 0000080613 00000 n 0000080675 00000 n 0000097519 00000 n 0000098400 00000 n 0000097990 00000 n 0000085302 00000 n 0000085468 00000 n 0000085647 00000 n 0000085812 00000 n 0000085972 00000 n 0000086141 00000 n 0000086307 00000 n 0000086473 00000 n 0000086645 00000 n 0000086807 00000 n 0000086971 00000 n 0000087127 00000 n 0000091215 00000 n 0000091383 00000 n 0000087355 00000 n 0000084723 00000 n 0000080952 00000 n 0000087296 00000 n 0000098049 00000 n 0000104084 00000 n 0000098282 00000 n 0000108169 00000 n 0000108051 00000 n 0000091542 00000 n 0000091716 00000 n 0000091872 00000 n 0000092035 00000 n 0000097030 00000 n 0000092731 00000 n 0000091043 00000 n 0000087476 00000 n 0000092202 00000 n 0000092319 00000 n 0000092377 00000 n 0000108228 00000 n 0000097192 00000 n 0000098459 00000 n 0000096890 00000 n 0000092838 00000 n 0000097347 00000 n 0000102931 00000 n 0000104378 00000 n 0000102791 00000 n 0000098554 00000 n 0000103322 00000 n 0000103126 00000 n 0000108346 00000 n 0000107470 00000 n 0000104473 00000 n 0000107582 00000 n 0000225925 00000 n 0000108429 00000 n 0000108452 00000 n 0000108795 00000 n 0000108839 00000 n 0000109141 00000 n 0000223074 00000 n 0000109178 00000 n 0000109715 00000 n 0000110321 00000 n 0000110440 00000 n 0000111014 00000 n 0000111487 00000 n 0000112040 00000 n 0000113014 00000 n 0000120213 00000 n 0000120451 00000 n 0000127967 00000 n 0000128241 00000 n 0000137701 00000 n 0000138119 00000 n 0000141245 00000 n 0000141463 00000 n 0000147186 00000 n 0000147456 00000 n 0000158171 00000 n 0000158667 00000 n 0000165269 00000 n 0000165618 00000 n 0000167935 00000 n 0000168185 00000 n 0000170829 00000 n 0000171069 00000 n 0000184989 00000 n 0000185366 00000 n 0000204964 00000 n 0000205585 00000 n 0000222609 00000 n 0000226002 00000 n 0000226087 00000 n 0000227523 00000 n 0000227690 00000 n 0000227991 00000 n 0000228274 00000 n 0000228568 00000 n 0000228854 00000 n 0000229183 00000 n 0000229503 00000 n 0000229816 00000 n 0000230084 00000 n 0000230366 00000 n 0000230590 00000 n 0000230808 00000 n 0000231034 00000 n 0000231268 00000 n 0000231504 00000 n 0000231754 00000 n 0000232003 00000 n 0000232253 00000 n 0000232495 00000 n 0000232736 00000 n 0000232978 00000 n 0000233219 00000 n 0000233461 00000 n 0000233701 00000 n 0000233941 00000 n 0000234183 00000 n 0000234424 00000 n 0000234666 00000 n 0000234907 00000 n 0000235149 00000 n 0000235390 00000 n 0000235632 00000 n 0000235873 00000 n 0000236115 00000 n 0000236341 00000 n 0000236567 00000 n 0000236801 00000 n 0000237027 00000 n 0000237253 00000 n 0000237479 00000 n 0000237661 00000 n 0000237831 00000 n 0000237993 00000 n 0000238168 00000 n 0000238370 00000 n 0000238590 00000 n 0000238714 00000 n 0000238854 00000 n 0000238983 00000 n 0000239108 00000 n 0000239235 00000 n 0000239362 00000 n 0000239487 00000 n 0000239604 00000 n 0000239711 00000 n 0000239829 00000 n 0000239921 00000 n 0000240007 00000 n 0000240045 00000 n 0000240172 00000 n trailer << /Size 607 /Root 605 0 R /Info 606 0 R /ID [ ] >> startxref 240445 %%EOF