SQLite format 3@ ? .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  !<4 ]/ Hoare_Time:threads=2elapsed=159.926cpu=284.868gc=25.776factor=1.787zXZִF! n ]ŗXf1-q恈͐7ӺV GeBD?a ;#!y[7⬯ Mku %mg_(6hfViU;]-հ$%2IV5h=j ' nG*LkA ~]7V/|C\S,+6{c%5 M-8Ęftō,#& v 7'EԎdSƬքA ]g]@ Mk17}a}%u45s;1xoƤ2F1ڳ!u;OO&^ؾ(̙( a|& i㪊@ $BBs_%9;.;,pJV_X=  ! Hoare_Time<F!=% ,Hoare_TimeHoare_Time.SepLogK_Hoaredocument.tex7zXZִF! UR]A-MՋhvG"uIBm5ȢC=z >/ypb x`0Y!̛, se$wjŶ<8s0H"ro){s&Ff;N }*+ b215tVt1d4./ye˯ mp ў qg[7]"wk6EV Kz2FKmd90ثژ$|p'DQ; o"(R?:$E~B z^PsS|`1+Ƙ-̮:9]| 㴚j3;hp4j`go:қ{&׶FKZ,ȏ9zD DWQ= wVz!^CZb2 -'y^S.k#hDub喑(oٶWpvڱI{6k>a-hd&@.Oz2Q;ӔYd@Jq".A=hVn0):?FtЩ-ļhA7ފ,̘ܵÓö)r}\~|%HMn2| jlPUtȐޒ!$fZڬaC *X4hxp/ͱ_Ǜ_3OaJP ܹ` s4.,npu4A<:(һhOIĮ}vu~=m!+V؄ }!;% Hoare_TimeHoare_Time.Nielson_VCGidocument.tex7zXZִF! 䱷W]A-MՋhvG"uIBm5ĵnw@v\nEh{07#S˹?dLv**?hpc[ Bv>y3Yo\2 7-`#l]0ɿzT0&W% ]dG$LWXkB"2+&pW吇_x*2X?9(y3lo\kn[v&.\gqoHَSy-LZM-@̺L >[LhT$-ݓÔJMU[ d ?!0Y9' (Е?d&b*=v tWF_Ceeqz,\wxQ69V: HeoJ23w"t.z?G5ɁsYo%z4f;`j3ȣ ;HDY1h;n?&2I4w-$"*.&X!PP@ !#7~t }^bNi,#6QnVgӃ_YNboڇbE@4MW|U?D&epҩ2ԤɑA4m4c̘(nMX=h߳C~;1T!n} io<2(_`~ ![{5_{̾<\Z+f )]`#s8>g;OAg H2`O@݌&P?";- Kp5| PN5JJhٓ<7 \0tA 9508$g1ʎ~gZj%bξuM]ʐC:KYb;VEo v#m%L}ul_G7Xմu/b{+d4.(BP'I&m8d^boDkR-8M JvĄ/DoD FΜ堁JiѶm/LkxD}R83sL`ŧ $!M&M>5fyq?YTa%j&tϻA7` `kH&g`%4qw c5.;絧瑜4d)}gb&ŹBz\>h;(J]xBAc(L|Fb_WJKk<+Iden3@GF9+NIǪHDDl sϊ#/bL/ w##[ v~[w=篴&@%M-kDXD#'Z@T0YXi,>RVM#at Dc9^)tTZZyQ iqJ5cR_ʶمnVxp@Qmlrd#fy51Ǡ.d0Fč8/j̄z훌k h!U\$귎,k6*xFV[Qٵi迪YS0+8u,U?/6{W!>WesMu3hπP=x@@^Ci5?COmN* hZηtҽyg-k}N88x)w ᥽H @%[ wI9{B%~3/+j\~_07AH_Bˁ|o {Lg*elT&Brkhv_[Gpk fT묒& &ƿoa'fp[8au퍉 x޳Zlqq)uBQxiŝ+ՓFy,a_Iu(ze^dI'oY*0*g чqZ׉MShZo[xwYmq}LP1ˑdl >BRvIc $dUȸP&r٘tAMyZM~|DOX QiV`՚[y1A݂֖ż)rY'[am`2^qj5oڐEh{DR }_gU}C3aƲXv1z]&LVr^^G^3V b? ӝE.Kq,-e*!IVv{Aͮפ*r#v\RvlI 5ȶ~^3e|?Y%QB±: .' {SϓPԖH8UvfޑxW *.B?G|x]RFqHsI!׀^937a#&--CE ,o H0\ڇg剠H{:w뎦}Ja H YYH-6y_ɭӭYP?y;YK=NV|2ҍV7pQ#i 詀|. 4wWSC?Xa[`O*IV XX:GuN8,CQpZ(*'2Yb+'Ԗ, 5Z ÖL k?z=4qrbvثT":^R{ v 7Ӟ:͙%iG+#Mj?Ý_LTb ׽s Sk>yǔp?$~'sT,#DJ$b7| Ѩ8W!.+7? Lhv2&`yķ';S<(=d T(AZ^йOʌO); 1#I MWNFuC>#uk%͋/amGac-􀅂\J=q&>i\0!) ^@!`bMgVRPMflW_M6w^ro {PG҆>l"D c2,X)) A6Rm^093nɅ|H  XXo|LLx-}cL/<Ē"t]u\fB]U\J\ g~C!ӫ؊N5_@8,^o_C3}79,GH_uM */Qa** @KQ(8"4I]|9 zJ:SB1,@%f_6?zA,s"kMLT I.TY=_t/N< 0/;>SkWՎUf]8l+j^0n`I*Ӿe C%Tknj]SMM7HeeS6^"bÙj.{.E`' D["WKʻVJjZ&(WM1<92ܑ5f5 *w]Q3˒'/I-CV$z{|Hg:"`V*Tǖ0ゆ :pX"f*ßPψ ¡i|U֞q*O;L ! IFpYh^$|У q{(zIw,k(hc7J8oAUk,=eJb%::@;+V헏D چZ0ts>C~moIHID cM09 ^B+0z2+_kD,24[3FK};(VYI3RU81opP# R@QnNm,v"F^8k"ݤ/[OI[0ߍחSIMZ;RDžx"}}i)kQ>72%?r9 ,wF&BϺ6^g1]&XTSh('~M]q9L5 յoUg_m&~6׉F÷*RPA 6PS=%/v"ن|]W~N&$if8_ F_}XAxu%k(R~S P7O `V'yJ_rzB]uU6 ]GQtR(L*8< g+]Rpʭu|XFH wd 5*mٶ.6}j(Tꭔ_2ለTQ?RAM +Q)uysSgṖ,52zjV@v1٪}~UɎ7Q( b"H$ SDA_D5 m %C -p3J3ev)X`ffɎ%,Q`wԮ)YZdd}3{yҩx5b"YDd?119x0/'/kLU/ȃCr#xM(5f{"[dm\zD O8DP} EαJP)3?>\Ѩkl9/{C\ 2ϭcge5/_L,.=ؔ6̑&.GCID uu+(0'&ϘP!w>Jwl`]Lt?Rx-8Dj: >R8 `tn@U \n .򒭍r+J| lmXvtFOra f$YW*ZhשnL\ F–(qеp4.~A  kW>GxQ=$F؊"3u)y敟hT=N>4N; s5(*YM"A B殄APo SeVeuNdV`|^ء3070S*(YTZ=ZR'y BWԣkT5jVvܼ:u wkG+AhK4@ C9n`w'jK:Kw5s36oA 30ސ Ltj $(l0cLN@>0 e2'}lТm\,kGS@eXIs2VXn&R~6~0]n["Rz,=Cl\9~1M#*ъy`s4u- C~1-BneOJ]\-1oQG6/~)Zy\քV9cƒOHt˞b[LCMu{prV-8Rl}yb~L@pAlA3A q-,!%Ub\%atK бǀ;PbVHrTk솩G'&_^I{(TD{} ?ggiܬoˋ?9 ?XH2PӤXy:䟭&FHwe oH>-ߎG2Űv ERlTǘl5)?WN3T{ryvY<#6JK ?cfM9BPjD(@Cr&^2 9 +.8Fn7BTbnR +Ax>:PrbOz)gGQdHq\%wz 5,Hcra @fK*u? `n[u%$)ė#QSȊ_%#3۽)`˲'7,^ Knλ}w=RN,b_ ōU b840l=4}qocJ蠵۪D\QQ3NZJS4pxciK[#mMry{ Eq͌ ÌM=G(fR(LYAITRQS0mݻt;CPBlNج?0ꕖR,ߏ\]Mx`9d G|Ud8u;fH6!:_Q D{ώSݙLB3k$]#؞zY1@g t9ĦeMs)ơGZˌ0q}(,2?uAB,!u b~Ze s)0Ϊ_e3HidcV1{A Yþ $4#:劧,O_ 7_K/oCB,pU3CP|CEbNK'Oc9NUw: qM DI* aVL)f-v'#exXHc f-!Kw䃬iX&>dHUG br1g—eLǠn\rd:01,Ɉ˲|ѿc ci9c",rNK`RiMQl S27#6H骑E)asY\)uϛs/ "<`q":RR}n=J9!,B߄t_54&"f(ab4ctڢbT̾i(D0/\b 4%DGch4)3c iAވjh~T~$u, @fmLI/T ! nz=MhW mZe̖`8&~F;7JhDp.c"/A C̉3iNkm;3 rŢ%19o4cc| 29E%h ǣ *1j*gfmS2} G'N9}gb嬤Ҥ&Ds` M9sAhm7~$odٿIKΕ`*66Q(؁.5..Sd"9yxLQB@$P }h_үGg& ucZ|W(ed.=H;Oo@xr{o)_uYHՍ4&z"x '1A0q#: {Ԃ%/səCXy e<:hp{(<ٖ֩Ssd}[p1'kW=AWs:9U#~d"QL(i,MJCVs}PmcW<`stZBb$ih޵YicZצ)}<،ʅN\e SnSHӶL%ĎVze%'e/|jjz:rmMM[TRO9y>j[ l%P'bWnH (ڃZ<|»0Y (PoƄK 6gw=$:( uQ䛲:Gy&)TAqO7m5_@[; 'uk_auG7cjcG夛2:zӍ48p^S8Z4†a!rB xWA_zXA!9s.Е|޽X0EPGM}GdtHd1TDs[haf&?<!,Or$V 0E+1m0;:3RwLjq6T2:rWk}֬7<`:'yb~+Rbbz]@Dh.17 ~:5DjeyX}(2Gg̀agN|iVEHVdY3/%beS A(27k ŋʭr/ѱy҇?OlfAfo9pNV/dzztHc*i#bP9UEm*ˏbHV՘(TFΛ6K'GcI56,r.W; q/RI |Y89c>b'']y"(8nsٝ|]ۓߒVXOX!I72<19 -cjEy%\l>œ5ui'vQ4dBӞstX$멐%6pەnzq[oŻ"~{Z4W.? X?l_kV!ͧDר(rQ=!M{7~ o\lW:^srpaLY\oa*?bǛ"Ù}eA*+nJf'?,dB46j]D1mK?UaxT {)Im1z3 4um4a k VnZ>Q׏ Hfܖڡfx;1 s,^ pօP!tlIHӀ"!C|!.NB]8i2!aT+zǓN:' xs4 NX5bjTI6rCa,yvoȗS5sX ј5@٣m-I=94KA`y*Kq?0S΍o B 6-=2h [ BA[5 H9uJ$ǯwѸXt9W lmue j?_3DL뒛3(zq_F; !ig&HPsZN{_aeZYsv!Т8T9/KJ}bYVRrN!wj+!?#`쪈y9˪ށu>ȡL|c7 ?|Q;6mrȸ 0=;lִhj|\@A[n®(Da\ӑ: aHkGם1$+@|6x|LWEaXa1hs&{Tgt9^ xG߲"@wCOeZƇATi2.Á5Y37tsUVe$N‘0Q[sĺ9 6SjgXD'^ wE]UOxmf"ŖH28Y;HřjXj ?RU<V_\D!- wa-N*A1LRoU(f*eymCrcCذtvZ 7Hg K-UGgycg22 oɕb=W2hS@}EE&Xl`oNǩE!#˰s>ݔc!yV$ANBV[o90ӑys@Х-qi󅺜nSm4PٰÅzXE[ZS Ƣ(TB[VnP0GBP%NJsfTabo]ġld2]/~l #suSOTW(?<:x6/ -,ʟu3 a]؊xyJjLz0HYs{-s1,inᶔI>>FǸ[ɯ|$)Ћ/⩎r,]O<^Ɋ ̾]*X2e'(7G1]<ў}>L5[>MEyVq=C7Ҭ@Wꎝ[-wmhɣ9a4<>aһ7 vCe0UW:>Va DRGT`^IN@Cw3l* 'b{m0= 9aA3 {μYwpdS(ßqe4idnx  CPcuh;G,YT7Z_%~$qҹIT>k05<~^]pE֩+/}\ˤ>0%ӗiK՝:튇.[o!͓`Gv_oMr eJ l`^š ׿HKMѧbvKKOOM6?UgiXp wn{xFQC'k޸TWlb YiRD~OpڟefO(ʉY2A]WcD:/ZkSPFҿ3WG$&Sӛh}r3h1Guf;)Dc1}E!DaY5ZM4=^` B \jwGL܌vby}Xu0.Y;^R%q3#wAbG5S^KW&;l <"tֲV0(rtUC?~z!ucQ$Uʫum)gj#9fΕՖ*P`b-a `U%uQk粒{v/ևXm,b rXľI[;@Sf9T,ۣ:pnURJNBbH`Mё Hk7$otxFʑ`FawAbxw\~t)c!gtD8#z$A z2@Z qo-a޹s~𕕏ȑILUy%O^՚ ?QHz=k3fVrS'ZedO;sn>(M:WI_Q[CǶ`EBP {"4, Dwҋܖ@=lSG&zN{o W) [OʆL{|m(%{*)vno81wK`jouN{ѥ:IXf'lfɡ`MPዕ?-se#-L 9XRSE٤ x'B<\DZ8rj DDz;)WT+֛p:St _B+p-$Y6Pn)Z9Pҹm \VݍIhLW/aЋ|&}z|6][ʥWh*^p`0$7]sIspM]PM貌ʈmUL*¥F:8GFؤG=:C֍ozBf9kdԛ0KFJ1^2%ա{~vL v~L &\;>yU3>Ly~Yʈ T\F>{[>ҍ?M->V榞%L.NU-V]Hfgm`gH; aQWaZ.7%5փ`ȡϘYw-.t:TÖhhRla<ߔ30QC[^'B]y!0+M~R3In欒I!^9i=B/\Z=gcgwD귂MՃׁ'32~DgHKF\y^{( !b=^DHm,_ q{.r؉YasO[9K&Zk~E$L%zcVo;AH[_u\<ƦN++ A^p1g0 "P?-jyfo )89T}mN#qE& J)x]skJ"M*RV[ї|+fՁ hjS5a7y˛k&ͳy%.,3KzCuj鼩| E=Q?V"= ;2$<|{"h1ΊٍCD4 ,y5_hx'd3!0FK珠&9oϒ2W:E w^hüvhsHq2eD*wF^mro} m|8up,3O\0p(jp^b xoᏟ@y( SXu<3ʎvz`Wma pA2ق&c :0K~" 7/0y9_s(b+ r ߯ Noq[Ti R}7~! O0ڷQ@,5_-|#ߔn6aш'\stpjf`0cfBXuN} ',c">=C,p`SiU֋>L ,'b i%- ashͬ sMCw;PWC},y9;_<% 8Cei?)cA(D-ζ1ܠ;TL Ad LP+g-2ȅv 'g+q2@ROH>~lZ[P(_!ӕ~ \ez'' L72!v6UJ"Y\Hhp9ӋE\pdBoxxC {9%oiݗ+`C_di<^jmyaɤeI'ׄbOR Jq!_d&1R$Zt`bMU_R#)`鍉Z G3LezL,LHv^B]Bn}(f 28*׷P^}zw+~/賧{~>,=KwR֫'L=M;~抆Ah,gc?NH\Fs`=<׊ &o?AEk= d˗q]0ry0BzLA%ͭE@z_!1_UV*DN}TO6]n7Gd!`,FvW*Er?E#a?O \軬 [(he5̑daS2],?鶆~L1م9D`I[J@P_2H'|:5C-A{PɈFw^фk)x8dwU[o@WC\&f#vwTF%u4\J[$2633VA70/'괴kW*m5B9HM,3-z.X+33.&Wn /ao㝷1k;pDWˢלt ]nWPtBꕅs CۋBMXz ^ų,0Ғ L _5N,W^ 8U6`eCiIB\n=d7ePcz _$qCrkb,+5J3l/$IRVϭӉ0S3KXB3t{MsӤT'gkŁjBwq{g:K&mr!=U|[M9ȌSW E&`mI[Ab[Ghk$)f/`n ?'*+J*{,)*F N(zk`vүֈv."azo":F?RMaZk$:/6+ "0Bܵw+ V˜fQux>Qz-ٰ~V+`({>\ y0`qU93 ~Ȱ786amCU ][|X9.CMw:A"'a,dUZ[\eGO0TGN[&mWǬlN˙-Q'oƗ%qjR;#1_;cqq'kWoO}ze\_;<#[܍=t%F}Ar9rޓqlT1vu2Iqy-J:QwP7Isn-ɻ֮zEA}\0I=áV^Zǘ=Զ+RX׏!nv (uV?ahb Thޕ9.[ۜ`YHv)GoyG͠<]iBg:E$gbSk6#LM4-=8#ʞM{rhO'+GcT-w<꼰^`K^ۓwy4Y=(F/3?tO ,Fc؇$"*cmba3ƫ˳tRK#I- L<- j7KrGU|LIj**ML[r\mc%s,rǻx^$'V}nT'X:Nm]FRVUI;}AV7U?MRx ^OË́bX`Gc؇0gvrm#H@F#MfLWd8TԠf6K]C}DIoA _ Ux8yb Kݮ%5h-RhD Q|ު?))|xzy۞aT`WUxn{3B]bO=n%Bpr|X(lopn+"\GK#):կk DKlV:[-ߥmBPzw[FrƎpZwЋ4d`%*pk/ !lax%y0seY[[Me_q/lrCx]*.ה[xatcu`U8Tѷ41o.P^+uǝh9͇H:Fb`jKn@5>??柫) E՗ܳ계F1}&=L4f\Gcu+4D&iW6/̣N] f#P|b`6o=ȭe|$ӷ 0x'tbE~dby'}v]cܝ|z}X[airpTtIs+ X&E9*Ik ~'Z>׌q+ͻZ1aQHMPtRM~ ,HY9j<1W/~Ѓ8K+ߝW34@Cnl6u/DSf8`lK6P~~,I:n//; Ud\0w3G vV޾ ݃ kz9"˴Y$Y`_;ke#Ho%A<Р?CЌΏ:~F"'l2tه\QGX-(8_ޮ1gdp?ND|y _7EK$*vRx2} I(j!A$qh1/5k^.ez, !YxG B%dS||c90Ыgf(/STW0FFUkp*(d+ y҅+=OOW,U) u۽vP$ύ`E^ss- 'B.v$ '{L!Pʻ_M$NCo?P0IlpՌOgLMG32QS&;pܜfQFIm,K6a>{ /xSWJseFN 3ko}}uU0pt%M6 h gsC?MI˒&QzbSNSgA(sQ|;ҷۙh-B#BPȇfQuh9 &c=uFJ!nyUW6QP 1-:$+S K fE95L&}0ngre,P5"<ь*|,,˅H Ec9^l_bӚΞ'0W^.צk] c+\|Y83KopvK&d VoY]MOK03+f1+R1|WE6h.SٲK9/r^ЍZe, D_u8/rc7t# up2'jǻgh3aR_2}1yMjnq qh\m5ϠVuH.rX_ht0#8bjx OT4y%Xqt<%S|Z'?@Ի`D cYVjhk*& GJA 1࠺umz +r_ʁd8ߠ9>#"z:7B>?gg`(g 0J#[X7w@A T)3Pr"27HGnyAGHy- {fu'Ed௿h EP {^v07(O}KUkŊjLrB,VLiL4De+ԞQoՔzŹⷰLp5VC !ѵ@ ʗks FQLW6¥LnpBj!=N)Y vT_TfZ}cL*%ZE/s" To"op$8 Wǜe0uXxĥwzZF&?/`uhp?6X؊U>c|r5Xm*Ȅ,B+>$1`{h}jx߮M/F{gXZtGWO!#pӮ`9nS(qe5azY;;u$F򢂎>~6NO AT.\uN\=2);)gn=;w3uC+؃7M"a-uUmt㡆% к1ST[kyS}$iFrYN0pk#)T N]=IЋP$WbwjWЏ13F ːp:X-A`T.Gx =: u)yd~uIew5!c aJ6* "ReU a=<9fTDMB[JS)YhA:Ճ˷Vf8nجHu8t9U]lONƒxX㭈 柪YXnUG@!2-ڲؑIt19It&!}q^lj3LQb5ƖyUd vzA:C6XA2`?NҫW_ Kf{ߕ.J>1?~/}PYaQryj{Ybeјt)n+FLӉl$M$^_g@P,ٝh ֐ȴ#މD GeŬ+9 OTw 7\WBFS@7HOy_cʼn~v!mf+`Rk%`0`wAL%'u ^D }ѺnN9b@̮YJw]άum9RiW7I:-Z ’آl.?(ABvX{'f¸ g?hv?Cٽ ;ȎaƳ@ik/ʨB&!!BgkW fo>_Y_mY-JG§-Σ}JC>6ZmvU&~IƔtpASf_atL8>~\P8=9S\)-d^=6#7zZ< hP^mšrUgn%ݬY^ruVH1 r9Z gbc" oɻ0h6v% ]hK+7lWzLJ )/6?w<<>3އ R -H">cxc4᫰(-CNsqT 'f{_S8 >)tJ6hnd.;+c[: ]`}yZ3*C6Gz&1|&w9M6EG;DY&n\tp &0ӧ6syx'xJ⎨':-h0R=#B3IfdGv|_Sn o'3s ċrD+Χ5Q? a;DC aZs^¥HjUdkX"bVt^ Nc( ُ&I2B.s=qQ;5qc>nub @jyyEz-#lVnJhM}OZSӐpbDcRhrB(9MIK8@x5? %Bx5Jk#l^\'X ,&1f0p^)Gj˘qwLW~@ e ԦG<,20ysu!9+Iml @ŔY7T#g+t i(o(#; BAxͧg5#YRJC&[ؖneU0a~>xںTVQN'2;mpn݉f%>WꆘՇly|{,eÇxmq-FJ,}xL`(S8`aw~"Գn-@^Un39oj Z];O3IťŌڜP٫T@1\yNxsC5Ճ(+M k6}|ue 󺙶r\bvATEQ,䭡.>$z8lw;3EJ>1 |;.}_GOy!ځ5-^2zvxVdSJ)NϹ$ g_"b`)^f[]*P`ޟ]VfJr#}'m5.s@ <57l&piɯ8A'JEF2 @@ SWi]*8'K?~ P8=o2}Rֱ?a84E/v)͙~.>3X)u}kReD궮W-Zh-[W$w) Y{+2GTI`+4 3I2/*,;UT o@eQ#CMav ؎CI[>CjX _CQ0m?Dਤ?Co63LH86LrM)_uNҠDb"5{#{Oۥk9@O֡_"JW+؆8B!~vC%[=#~_Kɳƹ1(o*'ܺe ו2Bl $^)U[ jdcr3 VF,ȸ q;23&辿))S4].{94W5rqFMa<`7f{,+ E1xAOa^VK~Jd*]{F5xczj+9AvG&#^@iN=~ַ -y}lQT,J|S0Ԗ#C iW0;o 2ֿ>q<22}3KTb"-z^]{`\ųNtŠM7eHT v]qMsZG]LIhɠ_R'{@ࢮ:I"a4:U!\hvjKMJkODJLO N#ͦ?ǽ =RJ"r]>k˭ ASz ˂ŖbEoG;<|AWa^(vx]qOU^P6OW_bxrrbuvXKt([o^}u˪}DpՐ2|W,N 6pv0F+S[xr,-AwhƭbTf]kDI_ [() + >pNR(@0=Jjz@p:8DXX=erڭ Oa,liU %L+赺Phwpq1CHJȣ9} _9.T2=ީ!?_AeC\nMZ8&%mK{;IϽ&oQ=ZxTMֆ1Y,mXсhy'BJvflT=iϟ 3w"zIJmBF  ܐu,܈G[ksL]>*;z1wnsDN 2Mc6jL<–2*j,`a:!vӣy҇4BG𣵒aBp ˦+>g"7xJBtӢs7P[1 ]I7sR4y%#|ίǦ áY%aNi`Q~INIb=r?S}:>ei\to;s$)]&[8P fX7 ~;D$7E(wY厽5Hb՟ޘ"aHiHϻdӕ{MU%S"_qOpqԑ#xrM1Q]}A?5 ]-D(K֖s<ΪT뗥,Mw}J,O~`=<&Ck>bJkbU bX7hdT͘`3O{V;G3Vwbܖq5˵ x[n3l}|v,G bd^:q&J]MaᕜEA )qeCdraMxI#bfe"ّ[e'rJ,y֡UV7]@[fLV;& ^[&1x4:.T6;MzV}x{%[gC(2ףOߊ;ӟch#xb, EC֋kDŭ Ԫړ\o(h߰\|{~ y ʷ8ITz KKGE!檈I HH=CeEP+9[My^YAH,zwNEӦ_w&|8M!TjAb9JJO ջ?,ΗГBH;@q-rC;1bEa{6)FZwD!hJ[1F}2^?79e㢌cfh]Rb[jt5\*{[)G~_71", " kDK22"Tw8Z_sZrt^e]ةxsEb10k|PyWh Ands]a~٩t}Eh_-'E} `ƍ /"KxV6b7h~5 b _ڌZi#xjьMtz(11= 26^O] \9z FbGIuY.X|@/4ŝ^KPMG&bPlEV5~@t5i5gv񹛅&SL;a8-7}lgMD'n@AW(NhRUq1--&MLơ@Yn[s`Oc q#‘^{&6]ذlWS92@Yyf;[ov B"(FmSSђb,-#ǂs.|,8a@'E(ȼv( 7IT)yưb>QSrMnԹ"vrbf'If[Nl^аuw˘ /~1yhfsTeSAKx1j: NqF7we]]0́, ۾Y*~Ӫ^B6s Вz?vLy :WDJ`Kcp͚vH\+wofXZ51kr΁V?ˡHuѡ`ㆎ_fn?u9ᅧHqƇȸs}!A~v-$IEx042 !F1doS>˯bhD^p[y,tPEVum`yg.dMAvcY$8=%Lp]sO`vZ< lNꦮJ.=mj˚δy3"eEɑ͍7 7,_Dqh!kGLzV~;" ihi4g+LW)C,9 kX Ku/SSDw[$Y H1zZ8ES2^1u+z(Y`Z̶MENVTw(-Î)UH$ äIooSE(A}¨Om2*s|<14e噒X+dࣜ~wOl)?l餁oC@b F#K2^s l0ϰj5a8+P_ZwcR@|:-8A񈊥 y>ڂ&j,ެޤ,Y4?|uRwAlSJ:'! WAX|/OOmZ~B{;]B8 o(Oz#6!0*3 Cfn7WN8>K9&Y ߬NbKIIvO=w_&"7Vb G4|@-44Ŋh/x]A;UۣB=p-@A/P$<&GXy^q'lDRFl0A֨TrEe[K3GR- `*T ͨ7;Er{\$>ۯ)>sE#9"aδ 0feTox~2cϖs8·4%$a"„X(YܜG׹8 "+9]N.;~ahH K3\%@H(=d2E bgo-otЈeOmR5j#ېi:W#I7#tTlI,CjX3Pw+>U !Z?ߤ-({vsuT '>y5*z1]V@Aa236 쿔Z辏ӔHryG"r˜nX$zWł}oMaVO="L^շؓoԔgw&fx,e5nċ,NKAɄ䮯!Uj#Hu]R~h&/ŤI Vst,mY/b)WF2qk1'81K/IiVDY|#U ̈*Sޑ-=OE`x"!Ox%\j^UMP _1 m>RFm,a?WCD4WNjG4M7\kl3m>'% snS>WCzV5D7TzvPO5 v>jD)8}~4_iwс)N.` iPiq%7_'YUȚϛug3̈́#|OD=ܭ5<]~ϷZ=N2׺f_`x?.l"'fONgSf\zL[E5TDp5*|>EhAc"zNstO9JZΩHdGt^10=DnoiJ?GsfdFP:@KA</zywԻ>,=LD[#zELt\NOV{XqA-poLv>VڥZ=${pv(lh |2y9 =V+oX;/r; [q&@icC)9Ƹ3My"Q4Z4Dہ@.rH;f }#lA~fU#̢VN\rwV l5ഔͲyEb 7] z!,sОSg0gFӵq3h|h[c:ɭ8X# ^Lǭ4;qAAҶ(]]NRV֨svؽF S(~>{&rxrlEP;M=ߊ710nݛw3GU%֫ggkOM /]kIM)A3C߁HGj lOV=ڝ{ڒ~ws_/c{w:_=r1B*U@mo\pPq+!Z:JGB 4_M+•fjP?6BЗnjka 'DE)QHx a'| j9ݨ>5.|9X8aV%J̹]_) T`oSrϔo`cӡB?L)Vb| ] ?ecҒa-p_\vV =bŤۢ$K1s~hbq =e{*D6l-谕yՋb|{se'FL_$%ٓH^t6/xu_3bmFGܡnY[ѿo9%qؓc8{^, /"\¥ලP(㭃^xyKj, ~cbTtx͎lK~?ղ"Bftɢ3/> DJC4꘿m.3c1r,UYȬt0 'x}%v1_B%;¨cJb5fFB~T) j$mK Z5SnDn`726-1x@ ng1*R`^, E~s3r3L,QnT؅z^?5uR{zԡnpHP|­X=-l &!7AnL6 jNAuOW3by)bP#Eƻ;G,ǖ-YQتsg.-B,$4b"堥{ 6b0VXzQ%8?ѡI)9`Ɛ *[4 p؁c/*Awb/s+y}sg6G"qHgnI̚ȳ lo>AdÁNRS ]yV!Z%_iȼJ 63SS'@ 4"ucޓk<>{?{99#"goEBb dz&|ص.T=΍:n>gmS/t1~Kx3|ًxGܷB]\^`ힿT:uɋKXj{lDh>3΅`Q6쇋zyʎ֯Lh'!#(Ci3ٌ>MG>"04z\A84]$B 7E㤈[>VȖfNw^X_jesGU0Eh·E "8WC %9]+`Eq.:l& F6$7?]^-4>÷D>)ZY ѽG ?T[A5!%q EFrU A r≨(ʧxa= 'Nm2}aYB|4/ &lTMM(N܆x@Tfȅ1{|$xE4:r3C){c%TDuA!f*٣_,eޢy2b}a] 'w~ʖa[$7!"k.n6ݞ _8ObD+8?uyc"X6(7Baa\<~n\'qF'(BzgV|R]$% w*;e ڣqF6bF:Zm+[8nA9)$I-M_y;[:sui0!y0'9TsԳRYbEå` Ԫ0 Qfhm@(\MXK0J;Q;$N%S"iԨ}dMWDb7t]_ALs!1_Y༧5/x(y1u_2]G EZKǕH= vh܇/hԓdߵoTAL5D5K{jRU@ }4jt ȗ# )|n d}"~1"4z8h5 zB)MF)sQ6T pUI@56VPO,1[Bam<ФiI0EU[J vxf$ZY`8oȒ9yBg*byv ^?7Pm~=GP_"EVC(@E'i#Dp!dpr*9E)$ V45";noQ$Wډ@Ɋ7]EzYtWSƸE=dmلuqJkd/e&h ly#f_O?cA4@*H%/Y%p4ȮR..`y&QCUbiM=P~ USaH):Y@E YyeA?!ƯT%lz<'c>vNk'͙N:$]1D٢2/\֭#͂[:F*G5F M} iVylF"T܅,Nw{)ߟ)T7nR4 B?RNIaV@劈ol}Ld.怹5- -y mme;7gшTv:Zv&FڮJ',Bf jq꓾¤PLx,^n_ɝz՗eApOJ֔UCv9HdxUqy/ :sR$"@LOkX06`eZY}RGhd؇Yc򀟈m?nHaL2ؕ7Wcm$NcᮊWcq%#؊r+x(ʏZq,)2NI^SA 7*=s'5F4n @( 'ezŢaM"'6r}. 8Κns|[0ӊ׏YOFmjkZa'v04 kHEyޭb뢁(tܹldrg2/R`Tkp rm7tͼѯo>K >VhmQ-Mjؐ!)w@QOt̚=`DD\ (΅ƣ xؔ eѻU)'zztkǠ Gg&μj{&e>ܼ;B{})H"qRAcR&QgdC rF O͝1@1qjs(UhUP!f?<'F1lIN*^G)O];׽&63JGP;&`߆"rXXje3ODZȷ?gԧ\]1  et9=&< " b%yj!UWP,ru2pKݧUM]Y'&߇oYLz٪^Fζ"i kBcMӄѭz2-6*p7Fx'6 1b㐠Xuxᒃ$-#?%_olԑю>G٩ s!/SM/&3 s6(~Rڋ #dj#1LGJ7&i ڂmFmԖ?Ґٝo5NFAn1Dt ^TM^fGOKx:TS6s^ZbB LTUA!e}iTdͿjh3 {UxwklkSORT\pY![2˛o p#9pGt~> O\%KFF 8aeE%w.V먌r6x\}\ȋ%,vt$Qj􇡎W8IMb tC廘THiBx*; z)2PV~P-Ri) AYp5\hG­XffMwNیT~2+4!Ls2f _\yӮ;J(bwm[0'<{[AdL e㟁i婒C{Di~re?B<"A fQR";eٝ14HgDzL-wL>:RYH51FI4d'Sl?eJ[0`PT`-ɺ~+NC=sHJaWKYع:=;Ykc3hh%+, E4fn%)/`T UK`<RB暋Y@7 TJ^5SK,!k`^C8KI 89)k8xL)nGTܫX8mr Ⱥl}l7u}8HgbnSBy1P;-lCPLXT*yy.CK("j9<1)M-ȭCf'b]jg1 M ?v'=| ݎc19o2N*I;Ѥ.M]V`:{ڨi?ÅGՂn{` ?\ey}"kUő<|3~lE> kQx Q9*!w$w i؉|iX[ݝHynyxZ)7QjpA=4a7tfbtgv67*Os93-<556@+\܇kp"98549V9qA= ÖvAR@! <\cs9?Zrѐ+N!)@swOȘ<2]LWO0^ƿ(@W'amTQI`~ܕ^Wվ(VIΥK#]_ ,֑u x׏DR1[6N]N*@Ẏֹ,ŧRV ~Z$x# vQA2@vRߓjzd!6FgYe [V;'{J-|b#mDux+qi3 v2'j댶H\Gsl"wk/8i+zwe"ᄪ|!c0xBlIw:#.!CqudNL0СÓJxnm8;mg#lďK!e YW<r]֥93yb/1y5>"r1F.M uԨ v]pO,z$D\Rdh:&O֫W6>IYI"b/#3buM·b(pNЎ~a DDQ3Ynk*GDϖp֯@QGt:CZMMN1S\^9=#}nGC!d,sA8sG>rU1 uL?tvuD'ڡvf6 ~"]"ѩ1O~Z~€"e:ٸ%~P!rduϊ+9QYsxE[c߿y1#eo[i]6  u[] -#_I-c0u9*FwY[9L|kLoiB7蚗V+k[`ޢU^HÁvş]ECvqkHSĐ뫠}*h}FrJ'Ez$|Yo߶Ym!=}z$ !&}wE/ka0tLVҦC^xE%CYO3_zR Fory gWդGc 4JCS&M61'{A28Yk3JS+EaTzktP %+P|^/1:#0ʆ݂8)md糚6]hB%Mq ~kU5b6 9p#5;]퉖n /ಌR\{[0~/3<b wkC0oz "uu g$ItO?2F~ 2 ϩ; cw*9]XsE@d{V*d 3J4a-ϵzZOJVddu7K7t ]  LnAgۂfYCzy3hJTOblӉ3HFsᑰGUU8NC@RKA7g -vBjۧyZ1ZiҺxEsJɶ"S,/Tgkoec۞1lԀ0G_̟pT. b4=TjΟ|3@G@ ÂU IcFGX[d 6g}$ +ӱ0ys>M0&x*TQ zH 9b>֢TLI7^~ y ƳXQΈlVpAґ3PTt(ˀR-(L%חK;0>lꡔwY4\n@˽\ $n+y@T֊I rԀrRwF7Xb<` }p mKtaT(%A Qxm Dޣ ( x`gh@t us$?0=0[kztPFJJP% +m7}ctφHkI_D-4c;iȰW/.թI~zI̊z ##^ZV<*봲_qҮ#Qt^;trټb pMM|e%ћV0F?F;r1QB$x$G?q* ]B2QPۏڡ,0"> 1 5SU(6G2[`\¢*qdiBs\Goԙ2ةw74@ 0u]3n^R/+84_<) EZg>v4\RumkZË;2@ E/]M 6qąXI0oĬt_;;y;akhmaϓg||(xU`"Qտ?H` Z=G2ޮ!m1ƀFQMФ*O2uR#KۤƜJqIZK_:,UW8mH $ ٢Emn0nP<00\率i) iKMwGdUX/ZZfV ٽt+. 2lx.92̑|f~6_0L,=(rֱ"Dw}?+wp0dH;i}2q+V/mOtz]m)-R*=,g_boj􃪘& g)ž~GZύ#~GCF=LZICVoM6^=J[3te9Ӊl {*#Fs``:"ɋZ)BLV 3< Pn'lA:Unoȹ`4Uxz6;U_E*&+Yuatҥӣ%4A { ]j9cI5_I$;bnUu"W;M7*(l@8PqebKqMċ&wg{Yޑ#:A>=OWf '=ыbKa7i,[tb ݸx_ZԦ ^(.PfNHO+[Zϑ9p016Cc0"3u'Ppᨹ EnvrQ@b4hɩ'[O8t*!M0.cB KYh8*t83bunvZh LњlBE>tΦ=Hg Fg+G>v3,`U0!RD#473 \_Gpwnf! wtg7bqsuYB)>(4?qkx#bA4k`H0m,v ^_ͷC,Y JdMbaZ/4VCϞ4Y6R-F>Ln50T{C!-("!tJ%L8:]?4&oVCIf;C16Wׄ"S jxգ4H醻4f& sIl $B Jp%#&a]MHTKiН:_#<(j3#dp!uCxAz K+h_ 9W*ʖ"8^yk`ڷVv/!&AydvS]_vU?ㆺq9ZZOs)cBږ}>9 &!Houin.>$>FPFx~ ~Jـ\!uσty,1 ](#6K:i?*7e,\r<^ ~tW& 7*!׶rJ4& oqI|U/t!^Otx%4pgCn?|*=V,iG摆qҌLx @R#ٮ)APye~̚'͉oPƁVBP(>uDwXvd"f\Zcsa03 />(W+ën7һ~REbߥC/P@iؽ z ę3? N*}΃ %l2JDCcJyDnP b5" *ed&3ѭbjޯi%žD&!WdS_2naNz2ԠCh4`L:<ǜ 6g}}+:KNӼ"QxV<;;B*EQ VW2n͗yZ};"*r#m!VP4(ᦗ}9z}.A^ *+ZzeFm)7C:~O^֧E\XS,JF,| Q5a#^bYA7'.XhA֫hn"~|=SA6i'0CsE\rA(&m5Crzq!Tp0T(ҏ/OƠZaZÉ!I_ ,6caO1̆^]0l֦VDZn/+c*;8fJ ov=J Y}nup$AF1.2}{r::G>2}.mϋ|M̤NʗTBꁣhm sӉNZr5}F(`R~!F[HJ]D=z hqЁegYJlͱW-ǭAƾV: a]O%?˘]ei~s؀яs!|ɀt JBYp&ݎStn/ :Z.!|GÙr5 @ы xlSTaC"cAclfG7sx" 7Zh d&b1? M3pLʍhj0/Pra ?*@|⑪0Jqj? Dc5đFp L K/R!bT.[ƀby(elcZڍvY{:/:̑"?>V}>'U[c mILJD3˙4+*mV>H 0VG R?6x>;Դ>zp@LGu.|L &N+n&75ii=FrަG*;қN|aH{fdo ,YoSv?\.UK,$DC,"OrRKAXlo>jFKi:Ư 9'!{w-U,dڮ۰! ^fKCҎ<^%xثFa(!.%zo/).I&ݖ DPsr Upg]71I䣶pe^r_N\9ԈS2!hS~w6 oE>?7i.SyiE|ոXޝM kTI(٘9'tՆO0ʿwEGbsz=n p<5 r6ȃ8`1]n;G&B x߃P/I $:q0x+ef^N ~Εqw@gh@A4/T򢘁s.+sm!B+0YyLfyo zN9U (Bol%Ki;ƁS~Y!.G.p;e@Qp9;jjj!R_%IATK5CcfDq9BLq!)gT.o+f1a^eJKH=qIW’±e!ŝ 9Ɗ*XDj- wVǐn 9^{X>=G-6o5K8uaa@\U3QD6-H?w Tkʛv㍸ ' me`r*rH8Qw`aG"qϻ]u)d`YF\]0oֶȼƵ;_UM[x9gL&~F:,};0 m1b_!ПC>DV Z)"nX 7E[-󳉪Ө`9`jd>ӄ t]w34{mNym!~Be=51nSRtWĩ{n&" ŧi]}ϤW'EIkp}}Is[`U>սMĈ E%G:-M5lK"elc5GۇV@ npXFm6 au^6Lt=Uj{xkw"QY=xܛ4YN7UȔ/;D~^/ ZլBU~Bzth\!VF,A{M?PO,^qkuYQL`ўo)\47o&q0vgKGR>^P7xQ/F5,:DZZcjW%L))h9f'̻@`Nz;Ψ}pzMΑfśͰhk#s2 s>:q٫RxzY3?K^4Yn3G\5\S{kZ~)C*~k~2g50AcQT#Ƶ~wJLX{y@ȵ]c ~UWk2Z5b`R4,)I̝ -k ^ttvS7V:ލxxze): (RdǏ N_qx7#0u$-)VSH;gC~41Ȟ:R@@6Лk]ʪbW=r/Aڌ(厽3Ӄ"/ye%rC!h⇜*ˣhJE&R=͇Q#kꜘ&pyt0z,b0*%ΛNY+YDT~>&RhXiu۵h2}k0u5(8{{J! g \O7KhwNH^uG@2~{))sb ]Bp!MHcRVoɽ~ ;]vBYP>vܰrl*9Ww =ZLrjس0ק0ʹ.e/0{Z5 }xSc.Rߧߞb.1O] 3v(X~VwlqWL?ZKC>V0/\ygOR$#1z4s\_Smyͪ*\F _?^y;lMf$ (5gR|tA|\}dcX LvΫ6.4L?u{lIfٱ$6D‹^!5A7-^Gms 0ɣvN7wgV*SwԸ>ԣ Q1{L<ói Rbf8enV [ӽmVCiJL Vw`M5pP#y1X6:FF`09vdŷy"vTyڝx\C>()ǜϠ jc4#G c}KIB n$[:Riom !l?;/X$6HꆑZ ܀j⇰XenKFpVcp5y݅p ֖ʓEO˸a;Λ ^B"jd#:cr#y]ys=TާPW_1z(P쐨慉1°eN,Xb"LT5v'zuKѽLys4stw"'NN*{:o ^T\wWKS\g=8Z+MIJ)>J]&$槚}Ie'Ujrrʸ Fb:D 3wi}9) 2yu\WH14pZkrD_`~Jg=K4槴@j?LGPWIV%ص{N݂'y5`~`S.T!@J ޻Um sV%9%MYPhp9 T3 cpQr>l~>/."l ;<8Hߎ)$Ol͂g-sT*.UʝmE&7MjkHA# $d)~ 3cKSP2 $L о U} [ tϾC=ǟKJ9]Nߏm < 3O m' "\ OL/-ug >jVg"v4/jKptW/`х2Bl]%%7[RK&ޮ6[tQoab|8e'ܧ㺜XO%[a-kpqU71~W`X@-f-ѩ9 W]>fA3=+ʢb_ ~37π0ϱ~Ζnyrsm R= .Z4;+ۋ݈\u-JwJ;?XF +o/}M@> Q9R C>H)MsCI $!G M8"-/ ` LI)ҍM8P)WBQG=#3盲D4'*e@.M{ _ر](WxIo/iV4|}YSbUת[b)PE>:z Bo?̠w`eLw`?k*YTb[-,yKQbg`#{MPٯb_ `R7\4^wT,&%\>ш)" JõH<)+ئ^yN@qi3GUځe@)C!4TJ60u4dyH>'||$P.cgha~'K,*7$Gr]{:Pw !af2\1i8NoB'kDY+P/ĝèUha%)m@d}85z65J6y>x$1߈*m,DOdDĸqq<ȭZI5>hSwbm,B^T%Bo]"튊 w/ [Z9 tE+h31$bN*ŶܐOo, Ōɚcun,\2I$.F &̴ńF. DlFK(wttH~Ț05v Uve`x5E:EHA[syvkM~AXn߯Y8ԣeN.9/ q.g3]-3v,ôyEhO ĀtOQ寊1=DRaވdXe*i[ؒ1jE[r,kSW%FeYTh>Gȕpµ~PÎ\QU^5qQx(qW2R A!P+\S)_&ЦewK$|O;&? 9aqt1U0ǑNuj+WZp H;|#=&PR7I.i#Cwt(\v+)5jxPH5UR]gPE vIFp3"RD 'L+Mat/_AdQX[6_c&|eOjsbTM,耰_y) f6 Ӑݠa3rҠ'c^) 9TEC WK]Z>15SuW^L{/[EhwtcB#C a[lz#-U؍E@-j,NOۘ^ǹT/F0r4{;kc $0^Ьj"61CyuH=5ok_w.qxc G˞E%j~](*uNtͧ ];$]zR J>יjjPFG/$sRN{|{w vA]`<;sG{ sxʘU9-EĬ𻿼qQ<綘mvui/XRO98@tLF ";"-TJOXOF{\G/r:@;{)`J6,ROoU!o%Ât+1J BWL Nh`IjD!b<)wЭLXm'ě@>COOMH?@<@t1uŕe_IokA-祵`5b>Us &13}:%eZ~%ęg:]l+Z2'5}DETqw䗤tw2[jO`S#&EҌ--HgZAI B?4Vf 7T~6پjO#Y熱xj h7q*t]*԰.1#ϟ$@=$u,!p8ډc_x_O\7ӼU}<# Pd+rعR٘ڼԘF#9/Pg6b(u7r0iNF?z' )դDSeCH1 %9 NJ^^ :?zxcy}`r@Ե7'(%9Y Z#1+ +ᅚTd3Lڡ iТ?rIS o{'[+]ĩ,,Z]Mۏ\:YgCy|afCud<:ޝ[sZk~F(i% szu9k І5&ixoh^ȍ3ܵV]򻠟GBՇ똍m.`A#ʉ| =Xϊq{ EC[fsܚ>6,? Io&)T`x/y,c0H0-/+F}2?dYƙݮmn[?~j2K$ h8Qf+zuc ߷(]Qb@iEi0Dgex.P/W7ZQhi_Pg)溅Zt!b>#ob16.o;&eN"ޫ絙9/0 Yi5}HXQ;V_Jpr"5!VFOJW<& 1t}1YqXlؘX<[m .3wU \)CWr3YRk9Ytl^Mʄ0VQ6MJrhm3;Վ܁-aFa;M~m*[(S4GCz*2ߩ rYjn!tk_ 8 0g_Z3zlfec6隝Sx>! +X{@ĹqqsND=F>*Y>Z5rd<Ȉ\܊]_k#E_by-7 J&⦋$.ݗJMˆCc9F/'BtUZ3k;9qx A8ȰمZ2ujǢ\W?JD"sP^6*eZ +^tBU(<e߃ 0Ҧ@ HR@k\sv `+<qp= qbĴ:vgӪbTt [538_B溗HAF / 4n9l_OSx*P T6WjKE ?N|(17LhըŜ(r'̝/!a U"d{n5w6>@*mK%KБVܳnJ8UʔYggRBQǒU-A 9[V(P v!OԜPȺ;6Wf&2,(@!-{UPPtX_K c h0&_[ ʌKʀV!gk8 G-?rsG܌.qzs0;'8}~=.orҁBڦƉM6Z:mKY`{3Y X5/mQPx6 AhFR VXsʕ𾅁i#J"+AEnIϩ`IE1*-sJ?̘W\%Iy(\ț {$Lj[-?S\ ! zK% ^^qM^AdvE{KW8冷+F4b#ӌ1Jg)bQ•%s HN38Q9?Dm?W̢ zXi>gUvs*ebkZwO^еt;c*i۬C-h+ a iϯ _|0dKO%٢E\ >)>Wraz"ϩJ2<5@zT v|B"@sQi%V #("76\ffρ"[cO}UTPզ1&=/Õ͏*l.ߛQ6&^Fn1ٞe! v$Pd8BZG{\ y^^h)(1k~CgsEY:9\;F滆jK,6sI,/( X]lfܭ'a7!ah>ch4˅ پ.bio~f7vx˙.MWZvg"D&qPÅ˕r~~x:o#B ye| $rTg-A٢T  h'2vD X(ּkj=)u\4&t&r% E7Y } O]w:ܨӠhTt\z6NLVi1+?ln(*Q<2}b6 F]L |I+Hw >CXytu Ok8!]UEpsih@Ed?6Pc)Rz]H̃L.2k^GGJO{]+piXqwOdH~ai`UX&b!M$繤cI9;aU]fe.GCBhy%h.:11aF^xlu657UՁ#M'YQaʠJ#@+r*~U4 @O)# "}46P D]rR81z ? &.1S/@X`Qj:J\nJ1c K΁ /JJΡ/P vʘ 9ѸսѶH/;rtG6qzBmDMV`30 h@hwc;{{U*AfS`^Y|3'ؖ|q,v%9[?ia޾|JB?8$G?Vp {O:)v%4f02Dm6k/",CZ>B˨(,NLRg^@i8S x&쫪6qEwf$GJ)˅<_cYRoJ ?r{Ԛ;e?ZFM W+;TT_W n]=ѱd.wHQ|7#r%fAբvgh D1m$W5 C2(T6籴85E QP eO`Y,mI$3+5q)/0u}reނ[}[XE&'+W pzI >d$m?)"-<87s@J3S''?ܝAd/Zf Q{fD SAZ_2:~vZ׳Jڔ`_(^6aAN6zl|G}Ymh3Gv|> GSoFG0E:Q <#e M36Z"Y_N'|Xʏl. c?[T&Z&r}HhߊT1IUP_QU}@I7a"n*(Xi'ܒt9S8%Ob*3N#4J.IG<Jh'{Tଥa4XS0H*Y-| *^u4$+lZ֜j|n:!ܚ>8%X+kl̄Z@ ǎѲnipy-.6ÿ%F< ђ.n}.$#,VLP7WkVa9~Tm|"0n{k>@,De} (+L)q^f,qA:1ʍUvtX$YȄJMc_;F/@sn8W)~4B=gWjCMlp [ݙ95F f/b(qbD DRߊNr'Bҭ/c]Ee_3RC;j`@Qsxa`CC:!?LpU7m׋}jrzi>)Dr=krRjU e0A$⧪  )џi6&IŁb\jI=1on"wAI9_Cn?ٷ>]Ub ;JT;Mdid:Ac^+AWgAtNbw[J-@L-(ZR*|=^4wvf}ːc:}G8W,}%oQ&.{geZ q"Hζ^*zWGWzPPK1 d̲tK,|z8E_3"[M@B^&Bo *y| >;T}y>-s,u8b;rTr,RM @QUM7i?z{^4NGa ΓIk(Ri)oM*Є3~|CB9sZ-}o +ő fv6mFe){#)ӕV͇Ž!8Z)Byy%jo5ꓮSBz,jԫU|V6SOdp+MniGi΂- Wx &"5y !nx %Mo/mx7X\!GBc>+#"da_eaN1$ǁ-\V4QcyRJ4dQm23Q#/fT3`Y,qP 87UMIIݸR{vֆxrUo5 L*_(H=\UM/H'}E崒dQ<)kǧCețUfEU| ^ Mր.jdgYZ F!=% ,Hoare_TimeHoare_Time.SepLogK_Hoaredocument.tex7zXZִF! UR]A-MՋhvG"uIBm5ȢC=z >/ypb x`0Y!̛, se$wjŶ<8s0H"ro){s&Ff;N }*+ b215tVt1d4./ye˯ mp ў qg[7]"wk6EV Kz2FKmd90ثژ$|p'DQ; o"(R?:$E~B z^PsS|`1+Ƙ-̮:9]| 㴚j3;hp4j`go:қ{&׶FKZ,ȏ9zD DWQ= wVz!^CZb2 -'y^S.k#hDub喑(oٶWpvڱI{6k>a-hd&@.Oz2Q;ӔYd@Jq".A=hVn0):?FtЩ-ļhA7ފ,̘ܵÓö)r}\~|%HMn2| jlPUtȐޒ!$fZڬaC *X4hxp/ͱ_Ǜ_3OaJP ܹ` s4.,npu4A<:(һhOIĮ}vu~=m!+V؄ }!;% Hoare_TimeHoare_Time.Nielson_VCGidocument.tex7zXZִF! 䱷W]A-MՋhvG"uIBm5ĵnw@v\nEh{07#S˹?dLv**?hpc[ Bv>y3Yo\2 7-`#l]0ɿzT0&W% ]dG$LWXkB"2+&pW吇_x*2X?9(y3lo\kn[v&.\gqoHَSy-LZM-@̺L >[LhT$-ݓÔJMU[ d ?!0Y9' (Е?d&b*=v tWF_Ceeqz,\wxQ69V: HeoJ23w"t.z?G5ɁsYo%z4f;`j3ȣ ;HDY1h;7%>Sl*,VZܰ|hOp9`ʡ8dԵy3**G_)D}fݖa_& }$/W0 $& "EƃJ7ʶlMd/*{ɕ( !|*H!ADPJtx-pe$X֟)!1*E>ie@F_#nv;G b«Κ 9'Խ-I˂ ֥&E;[H]2ֽcIG1:y>/,,n߅׳bh  QFq-?SkZ.9cVJS$X!}ОCy`r}/ XgFNןbWD~룲[8_n1wl\@%dΒ, Xu[{Gm!Emr'(\d\er~{cSs~R5!:6L1TVY3nt>B~&PϜh?d /:L`iyaŅmaحvC1PMh = ֭Tݯri|.o2[snZ[ rWܕqFx<_!l oXH̶NW)r OQ9Xp{)&XhH _]߬g"cm3MJLu͖ r*?;$$T$v|cN3H Yh󶂗*;sGpgLI ȰZ0Ȝz H1%Ԃ6x* EFQ%w^DEm/L(45CبAn} q$1Di-䭤YiyH 6:0 r>=k:On wrd}(e00!-9+ĕtaLR=  Tha'^>-f'ˑjWy'ف9V6*\5["p&/f/'a딍`m'V?5.ĪމE̤G} pb&GBP,ܱ^ODsy{--yFbLHc,)89i5ddP6GA`r>VWps|sP|6 *]W,o8.}G-f!y3M=10:@Zbm WkwٮDSN&;Ws/xtSzl; siOͣgKxPofͶ=ÝlRg7<<otF=ma3}N2/W,_am[9{C,w?K)y64=Is5/^CR0J]|"JK(O)qʐ|d,*! NxcS\ ?zQ 4JA) d3{_^z >hfPoU5Qڊޛߚeɗ&45K?0`^IQ&gv; 3W|,^z2[Rֆ cqcR†gju2?(O̤,g6co~$g'Yb\}Gl B>ZT܅Rv̳'χ=Ʃ~ڍp:O9OAo<Y[0gL,u̢uFR|]-4vw*MEdti!{?xh Ps{s 7lZX{k̆9nަ7Jޤ%v>wB8R!m1FtCm lIF M+v<尯 H3#'!Js|zan:뢸d{YoQ7+"LVO#\X+x=.)6Y’M0f]|}GN1[ ݣhr$Z=deVܸmo5Ɗp#kZ˦5d p߻ Rz2l=t@iDwE.wJ6&oQ~|Tq˨W;A-7Q'r93KdQğb WAf}4{S]: Ț֫ !cU0MC6|#5h18Fu D}Itn.`_㫐 U/P>rz2NL_P1w'dY>p!k9.fha[`H>a8BVfLZI3s=sb7h@{_8ܳ i@p /PkN}Qh_f̣lW!I]{S)=92eD9H\Ѱg!@ۙN4kчiE{Uғ^M?\:}â-^J+}Isx8)ic-E%.C6}%Ӿ[e*5xFZ9` nbIRwn6e$np.5Rx0i~ 08CdmUp͢93 ߍ! s\ĝ^ZԼIKS@3ȥ"|l`ơyx߾|2.8:rDĢ A '3= Cv:Z rŬV9>уt"lF)~$)ˤ֧WCrBVNR(h-"[zY&뾌I!Ȉ® 49!s١в$-7tC ]UXzF;(ɞ CG^E@~ t]8GJc`f; TO%ѪV7 D 5<4diy8WL8LIX$;~DNY3$9yVz] Ɂrt OLpE&*AF<S*ZxYL~fn̑-3l$a޾Jki|)Ʋ_1e]ѥ֮<ɋk{yXs~c]yR}p?EPe1KmpzBۧtzu-e"18nU닂"44^= '4N-7AmYR3=_$T1`o:KWԃA1)ǁboiL xKn&ѷ"ۜh=91ϑBſWlϬ ciܐ.7tk>Uv-ɯ9:_>;Ƴ1VZr,=Ǖ#(w:qQmo{94R̙WM9r =B!oE [2}5x*}(;LxQjO dVO3ML30<ݍFW7pD'4>~n;gݕ2FРCLrB-s*j7`)Di*ʮy|a ATjZm0%aGy4Wy{ ʖ˚j Ü*{'&rJhim:V[Q(qVN2 ?ߨpM}wD=ZhAv#=> ⮧5:6O*膡JЂ B"6Jċ!'v#R` VOueҽL]3ڀ2GDx%L5-®"вjn5ɴ ;Uʮ"2[ܯhn~RaQ8WZ B~b a?Alm58JV./ Zp~K!~A/P0 Uh: óH\ R TH&"ۧĚ̂$O\#ui幺7 14k%xu K*gc"wKo*3^>~盧ijICe P#0\*mAy5QzrP1`Ҭ_褆c@4Ljuf 2ӇIFO{ޟS1hǭBԃTT {F_@GcqyYK!lt)ĊuwYч@Gla\4 S`N, FP^*ǺT#z@GNgݤ#z@RdN-'Rڒ^l/Oqtfatg3*{ \vAB[$9̰x㥌i8?d~_)K!!~aDQ"?4' 9jDj@{,{ XRU1|7m$/!+)zP{ h~ e^quwyZlXgӳr~ isM6 e h80rJs-4F`i'fy@TrTUlͳ+{64:J\NnV2{>ǰ '?-4!~vMz`҆~|NIJԏmUq!v|lXM1駏? /we#_d,v^69˯_ H)ug'yG9$̶[-WUj|ֶWXc* Tn<8whvGF }Uu-*e;CA[M.>z:pr#vnVe[]*_҉D]{hߜ DE-"yҡ-ǦܻP&\4<Zd|SXIw<8[lỷDӎowz1BSȩmA15!fVRk8ȭŅT1 OфUR;Gkњ0oWN!w.y79ƽOM#n,-FϹ/\@RW=ϞwE_(.IPY`H _=O55~d\@A0=Ѣ!y ͦd5 _bSjytSȤ=b;4;ɏim壽U>H0β"v#P{m죻89sF IݩL#'s,!;y oc_%ļRDt:\ĝ- ]ǖN,̋eDH6s`Ŕ4(.!m'Y"E*KHx6 h6󝇐;/Sϼ1?7gk6Y=%)u^eO/;5H0`ᯤ yYA98cp߉ HHؙ=o~ة_eՉfw7ʎ(%ؒ 1AKtO8'oo7EPa=Ͱ=<#Z)o!frkR y)&/[ݽۤw TO׷Q5)ke}:J ۅo @:])Zsbmk~PgDi)/`J11[8 Ϭ;-aLr;<)V}2zq%>apOHJ6=Fέn](LD/y,: pi17 @|E)6~.p?2o_xSW<;i)2 rRY?@xvT~$/YS<2y eňok`&{ɞ'qH`|X_dFdFˀst4*htgmOw}.BjI ?Ĕæ)v^:vQuv)S(0^Xa_(+?[SQɡ΃+:>oekIvvfŨj7{:Ƶ9ەcQh&γB(;%eѷ<&  Rew˯kQ ڤF ` +0(Dm?v m--94fKL(LH@Τ/0Տl٨X 0aMdҋQm"dO b3NƩTWxg6CB4APg G%ϧ;O梴^'8_rmmMFM <37բqQc'YQLO B0Mzpd,?:,p<:VRM2B@o-,[7m!91LZ??ZHCHJ 0걞[};(cЕ_ }> `ߗOl:-֟ *,*Dk+&aR&n5<ڲA' -sfەaQjQOSq? CgFY[;<:tBtT.X)E@v>쩋 d2ByXFS'.랅U/=_I 4*#=!|:SQ)پ/.Ȓ>x@Nm HBfQЯvsQmAvL+\') 0a6@uCb Z,+H>\yө`|~dш!º=Sr5o./ޓЛyrm:Ř"\^*X8ۺ9\[jf~3] $FMΖuX"X~S]r?H"Q),m!|bYJ&6$~W;zJj9^- 6RC~V-'le4א"pIL&[S="QlO0s~!H.@l/V^*g<ヾI>x@oD)~*s lXLkLBenmntl b%K1pI __-[Mb#@u(WKUb!;%ZY^$N{X&-Z7v!$BѲA`hp`ʊgQFHUݑ\_ 6(rL6: 90ˎY_]~r d=d[%ӣ>U(X`pDRu37+uT5EN gĊ`-%섉:ʵLX٣m,e{_\'WŽ)C8`ga{ajj{$Mj 3CX7cJ]A  ud/?""aHxxm&yӱ<]P){4Sb%-ZtA];_ /P}d'hx#W.~f B,%if%aBݸ5N'ZȰ c\ԊL+E|w-rW1oIkYQERI$ [X˦`8X@Nwto S:{.i6 Q}\l~?>I\1YN&~ 3r @sJ&A1rgPK㴪ND. @,.?Ge f,y^7("1pܵk Z(qj瑢%C i7jo=Xo" t ?6t95y@Qay#]095rf\U\H r@iI7niܮ?~.jVg#/-9mEfA5L6gTP$V EmԆ,n)H'!pT])߼/b,07ᴷw:[zPv&(Kl}i[˳R.R#;^9ܙOa h ¾UW?JufaN1=s skirw?][T88;8QBդ*XR"M out@!$&?9)B_2/N]7$@si_DXEbL!_c/_᠟?)9^ uH oFo0InwkV%=T% [x9ߔ}/8Cޒ@7M-lj|Bi"I%a8:S9Pq] nI$j\j*]y ʷFkVYBźZ5 QR;WqS'5g҇L˹8h `QF@#߹/_srM6u:t,oϱ# _'mVX}>a.9ً[#4M 󌫿C% }^HxɴQ dP³oܨ%V5=>X10}+~`;,q*Y;Ii>lE&r|w~V> x87=B/Ws{h3ǔ4+U\o(䧙zAx3g@zWn.)c/(l a9^-~!Zf~XѻaTP6bp" 6;mXՇQѝ@ШWjcGcZ*-!HڍG(YN.º dp'xכ Ij)0>a2^&r ~<~cnB0uT%} @v'Rgԩ\p,WHV'WKb62oakaHy)e`7grRCƇ_w4A Tύ5n,v$  -/:gsbc,A+$qf*Ձ>ib / F+8[Pnlba qtc>xl-5%.v.<NXy^-Fn@ȴ;xȦce@b)ܼe jXxf!#w+ ?kGRܳ0Copw橬 ߾\R嗪4a23 :KFAgQSl)_u<>32eZS{ Aܪ 2{VA ՉsVLNStOs\XK격֪+ۆwɁNBmf#[+< }%0Wq+.|>?(p}9&6KA-hBօ4O: 18#Lb@WCC˭C%Iq]誏m(:_xYgESlmY (k^kK7ne*yZ8݂ 0mIfc 3==AX V(ˉ%x4Maal;W @$ xֈ{DEv5=,7ExB<u.ezE@C n#Lo?k=M O8&ʁݷnbWt;85)ԸSim3GgwI<V.qA,K_U+U5]-(?4ԁ+n&.zHg<3-,J$0p(Kn:KB϶vm0/"w6|ƸIgn_ɗ8S! U h+_ZDJlww-4f_vjCiF IZj[S#YJ')gTv_!D3f,ZQ{woӊ[#b>=(-a!vd~.{*% l_/ٷd]*n熎ie̟QFUM}nFT5`z_*aaduSzy ]Fx]'F/w>;iOpAnX>{FR6wɃFCVm}4j텔=.rOF?ERIHt*B/ 9Фbl%t2usܷU޼Ss ۏ%*jhy U}n)0f|sImGc:=dW\CߝmLcPՖ\[O,aj-r_ALWzq{41p#%j1\?Q҅GƃPsWqŤܺ75a= rx]vP74.g&+emKz7R? [  cr-dG)}v<` Q}O]Z{n,_HH- 6 :\WaB;,p!%rGL؍*ݸUv\K1jI.wA&cdSMKSYmRS]{sǍBo1{YNM|VtF ^Ǹ%TO7AM&ABCm-yO4fE @!c_~_9yP!=h 9v[>×:#}g"L<|CMfFb)rkqQ{ pgi~6(!j#,K>3NLpδc1ѪwQOd,F%<;0RxF ѵ+ٕ<3b*pg{'7<5;OY˯w|e83P*M .ے0"2z('\+F ^55pEβKRT/doM~ek\9'Qz(ǾmIi8GEB57u lߟƩ}˛#J\6ygCd g};.kq6q8ZM&I7<#k l[D$MwO@δo j=b2̺H?.hx; 6O7iF杉l؃,)jik>@+\!@D5' s r^8劭Pü3Aktl䶢H0ySB_~MDU!.ZDɍ*(,ɸp3[a2d82fh@^t5 Ҝ|0m@+jxjY!]yK<-u +zvՑ2aj.+d O;҅7f p*!Ad|9OZVzK_+X A2?X ZQeV90dxM/Qbc').(6N~Gn0*nzxcbbkpȧ*_A x-yY AtDT9“ba*Ed4x+pD<NQ=J"6$ ZGHZ3z{Ȓ y7ik@Es׿f}ZV'_F|!֑%l~A$O@y['ȉZO!_Ef]"BX4p{X/ޅ϶Ju}* KW~ma>ϡxț64=IfR)'Wڮ akRKN9؂ W7q~" Z+#qKȞj-h8IMD N")RBv*hIB[RE1/PY1ĭ>yz<ޚ Z *f!v!fsJn _ZgYZ):N0*ƳȎ)2N"s5A+~I2=;u}\>GOfL;g.@GY//[QHmt4Nb,U=4h UꝘ/}H$)۬Y|Z7W@Mbu@>„E$X ;?j^{Xbhq꛽ 0T3ת<>Դ>:~2g%gj X> dV//LUdo&[NIEU`L-(P NްG񑸷%Hf@Q`İ%%R{:Yz84Kgb留Zr#h3mEfgsh~kdN)0a'X1Et=,~Q x4:r=g&n*]WA3u8hܻDrK]ǃ;"^ rN|t8!2tHG\|W|.D\ wšxD-[O@qϴꘁ0OǫDt )5'.gSvׅut{#b`Uq'K-^W rC1,r!tjwDFUݰ+lyOEN+Vgr ۰l8"ٜ!ї`\3B8|O.l` ;GKJg3pCLzFVO!DVyfAQ&{,,<VIɸ:%_NnW>9ͳt <(nPY'n_4¯l.$mߎtr$ ">PyI#iE]SM'QT׸;oA/{_~~HGzgiY )P̜ np^[Cݶׂ ~lA+^ڣfڀ} w{<ԡ$sJj!z V*/:[Ŧ$3`,4P1/=GΦ3]b(GkN)!*&ܡȍ{Z`ȍO6^(P Y6EԺfB3O?5(BYȄTb7DznoHs=BUm=@F% | !`gh, m3j^a:qηUJ>D%LN[p ǐ02>ܤ5-Ǟە)5+ℋ2{y!Y#"Iĩ ŦM~ű[QR96$ W?9{׵rG"p;%Л2H+ Qhas!2;LL->): 7>OG2xh X4k~QdUZ'˼u6pz=>}8W%OH0ifYu@Gf"yݟrlW "Ry e2œ'MrEl0W5ykUJ}a/HC3 r÷%=8`VCN:azt٢I+4Cf8Ze; ^kXӢ5.kR.Z3gM6"_kePszYVnm*5eL7N'Oj_WAUB( J=aXJs%Sq`MF6HVKBrWW6vꛢծl,Wf^OíɲUV PĨe0! 7/  mC@ƶ}X>.&BC?ぉ9)R1x>!Mq *NےrQHkrt'ٵƁ^4Q3|>@lsGϴ4߭^?Q H,Z Q]+ ݓi,oT jL[f4Qw _6]&@+IVEuSH@\h%SYZfTV1I˿ĞB!q5=^/kI܎#踬~TFE ;pG`VB7`&y)(ω$%Ng_fl#5C8 n1b[c5EX^1pխbTM/]ۍrBWİtЃT'U-۪>rÆ<`rZ]ڟq i^㋍Y`Q%L;m=Ŷлu;" S>]M?#&lNxCb67Կ\8έr*F+2O}90NҘ /x[4$,ñ1@3ÖfRNL =z!%:,EYK^ڲbf I#ф&^L{g@PLjSSN~&k ey׻sJs;P'dɗYGs1+ ֳt_퟾"-O4 Lv]5:vWOJ-#.2F?oWkK^l3V_e$$"u m2ZQ[у H:/C^{AxMs{G%B;P ]K<$ǃ;2+f~d/S~į-%,952uMdpQw?/W΁*Lkӹsv8#4X :t`7J!{xsř::be5$~ܩ+#NHsR@ yZ.~NaNEوUVsr$rHz /?YR,Dn! 2z9Dpa_e (lLA˅qӶŒ% JkP5`XΘ.F'3 Vz>;ˆEAQ|@E-5F%k 1Ni'"t7z$! [)Bm $2!%4=|'g  mB!W͎/6jXݔjI~d@9ۺ<#̥oY5O_;$]/.G"XQm:>pr>cM0$G$.EY@~ƸtÛU E%m>o;ͧhJٚcJ2YV_`M+9'!-棟6-a[ ,V~a"&j"A Q9* A"1ă+kOu:۾<(A˚aM$PXJ`"#ɑXNwQDeMdiP- Ed{@JQ#jDt$FwqL{I)6Ï(贶߈\X 1F σۄOZĀlk.1?$"~8M>t+sC`0UEs^b[!Yw'9nHe-Sf*6cAŃeuD] f ū.q"%ϑ 5CƜZ S%'~6p2עnċ3b bXSjï$_&LBWBcgV?zsffy EBGqgB[W^y((ݭ& cL#Zy/e;Ϝ'3p!C^E]8ֽ;{] a"Jk,h._<׷^"_d=;Q1Fi4R%P y"~;K6L@)Nu-:^ &edCnuU! U'YuY h_@t\iP<"GEk躅]wI=%@UC!;^Zt J}zFZoۊrk/^7k骫wh1I9~Ps/W'6JrC ` :iąտkBX5.=TLζaMxi E{ỷbBWv*fS$}(-;O W_t,y7̾Lٷ Yы@ݰ8Bp0SS6y!pNFG>t $3ᾇ|2Oߛg9&ȦГA]?'_xmj#s5:HPҰ^/,I'n|$z2X-Ʌ:j@cȍFlR_! kzj* )gX N]2SgYZ zR!=% DHoare_TimeHoare_Time.Nielson_Hoaredocument.tex7zXZִF! uK/]A-MՋhvG"uIBm5ĵnw@v\nEh{0YT0QI>+{QmBUÑ]g.rnl7/aIxiP$E zu .{hٖͭc錊r3Sx,Aeç(?pJ D@$!*t.acrwtw |"w冒iD:BFj>ԽίRPPQjK] ZH&3g#>;ï%F]7MC'ק ʍ|#<綾忨#w :Zv]&:`)w14z.8aM8'fPcn i-u1;`FM/dA.pzyV٧wPPV+&o^?6[N\AaԵ ^|u2J Yza#;,mt|O2 ۴O<9$՗׍gPO@pMgbECn0̐:]W†` V t"dUCTr<`=C0y-i`F3>5p-#&YqZ1AE" dB'{AGS#񘆭qP:^rՆ+ҝlF2͋\Li_`VaEi{+@" 04뵶$u&" ^p?սt;.`hh">'9eveZtbw aBըe_Y_wLaX+b__pn(x(Ņ.su4$_x ?bmGrLjUlcZc98g0e.hy8l-X o670{ꩇbr 0Oؾlu=#Tgx'?J|%pdcxlw +aإy87^<d#>3"0}K2\vi5}U!/T.fr*vQM,{n€:Zhةr< ^2!gć;nOUǼMGjțjYZPG`l82yFL c叓 6 Tstᬫ}~(+9/v$u'  2MASXwS$Pi)o|YNLskɹh=vYaKB>K7!ŎABu܃e̫_s)ȭ㈒OthE5벪MD LS>5`{6~BfMbb0b&x#r @dC @WZA/`iN G~d*zz)0.xP CԞ(cŋjOܕUA.>2~`Xef%3D(-یBnb/vi(K>ng\8J7Г)jim tndJ*[Sٻ;4]+elH)s7#$l aBf$K.|hzgwkݎd tk4I, e ޅݦUsb6Vϡ^sYQc12cuevK_j{XHK%~\YFbQMu{ ﲨR0n>'dbخMWkš3sQ / 96Katسϫ !Vbhz"`03AGfw]Q΄ PAq3Wࡑrbe].r^Ti1+ٹhCRST&h`+M.nqޢ$%^k\WuR*~VHK2хNYu@|jxk\u)|)ehf&z֌hMȺi7[g8Ce T3ed+U_y:{}ڏg ]~ ֲg/ޘ#7C> T!E\]2lDJ[AX"./7p!G{L1ŷ?F$Ǣ5`:;ȅrkIɝj>=[|W;S>c0YX[nC<ٍI?kÇ.6s1ƶ*#R* 5 k"/2.u'g@{m8\sc*@m "vJxiUJdF_5GXSXRsjց}Py\O O]@6½:Oc׸92o3 C}(OzCǮQo:p(t5sp5հڷ- , !SM]k#IA%k80:N|QU/H4>n;}_B,FмL${.u9_Y_QXsޡ/]`#qQ*+OC_Q )4ͰMZ+4jz}(n#2o[Dw֘#瞞~TU_چFو6 "|bh-ÃZ+~ 9xk]=:kDl.o>,Vi,Iqũ!+[1HclC=U"Q {W27¶I:n6kUJ#T(l, _qku BŸ'mC ef)MfZZ9Y[i 0I Pzo)Uf{RF>S/<-6 Nz+q'mGɩrh}}s?\Uc~VnGcJpCg/ GFl%j M 2PF.^o:~7$١hDj%֒NuLHؒ.Q[\1lW%JHM0bw="*& =lUX67I7sFD(Ͽ M[| ɵKQ<(UߔArF$:=mIlHZR!߮7r?Y 0j1]@kŵe# IV=(.=?d`rkꗰsrkʒ֟V (DtT6w.q> ~ƬvIl*cĪ5D((gy%H!kܕ\)D$okٗ }I[4&\}>Q":$?LỴfE#Td-^4s0d'/vi!K{KzITBŎReA=D6yXv48-GHXa4hvy}Ez5fKK}l.y8O VAyp=fo<A :0p+Xا,<3dry Jwk؞If~eDyeD@M'm>$h,q~%RF"/޼ 5c]n@"a*1ɖm!4:"~*{ EњXo`Ȭ2բ1?f=a7HҷHs(K iVa!xq q`4eLjƦɢQnf63ʆo15pFQHBX6B2Z'])?w1D₵/kgh&_ -{s—an]L˖;#F@%El`y=+ʽ%f_ G0[^ Cv/dqJ9`Ge>dq$?KTX4G 4א1>nCaRamxXK1&} q啶Rt# r K;0^!Gτv3h2#+{c%H ٽOEi1=˝=  %,EcT`UX0`]Zˈcn|vuRW2.1{:?L ' A-(=yRAB9V3o Cvօ,X"}НGUx+Jp'w`Ii2m/4hs(1XvηݞU8 Sjk|z\. wGlڀj! 7vE73gVp`R˦}@i LaѮo_w!{6D%@M8wG/7h&pYЋFϨ{2۫K՝zx;ܒNG:%\JCy"y/`}@&ɚؠcn3J7+{T2߻fhPȅ";^f ^L^:94طf+`̄zI0@A] M\wu:4Wb&WSvșp+je2Pv{DMr= Cבum*JA3Dxlǃ!@R W PH{Ψa`1)5<9{# 1^-RG󆻪mPܰW͌;$7ѭ!SV/L}z@='ٔtlkdT3|3=хV4m] lzB.IgVG7`𘴇uM"U}SiΗ׿HU>buPGz="o"uDVIM-sUPʸ,Fr>n{_"@-b/UtBB̊0?/m-|\VE6&{psxgZhI>rhM=}/wgeRcblp,Z*(#Br(. XO#OyeK:((\.NW]ޓetGi8W>l$ ::v6uxj9iFbJy!d,'B5n)lLcVXLXt Wj 7+ZrfTiw_O'Eb!Rz3es=N?7Qq[M:shT{݇LXꭝ~nNqj&R®u{,1~ӟe_s7-:se5WL>`֠7$ɋ'kǥpRFfZi=ͷGi!/Tl~WYxYS:X{6,%PdafPGJ?4Yw*0| b)*Z7PMY G#GZIrXY+-;U#7peUs˼MvgR\N; Qް^WĤ(p<B.VZNEY8b<{N;V.5a2P[L \OG.JFS$`WT2S[u &yVcGa=Pź~XvWzKmz%9^l0>\UmG0#rY?A Af`DxKiHL4M%| pTAݑ*Yċ:k%}V,:-lL`L̶gcV܁k7Cuxi%mBײصT>Dt%IM[Ca=PBj6rQU-LJ=ǘr/ʐ) A$޶ k C'$sN/4 "=p@ZqusÙDP<$X kCďt Epa9$xv Jxq[[ xhej w.(Lޒ3$dk8q~202W!:PZ#[&Jyn2= Vl8pƯ S)$7{-IG%$(.UgboкDFB5AA$ asXT;V/B?$'ZRv-_GսhRm5J+6s*nw02n8!\ן%`/njojWoEZK0:c&BUoVqZh9y!/R;q uK/'x`œGplN,gkC,yIgƜyοV1bܥ[T-(TSy &SPnvLM:nzr!q(^Q*qzT%@w23'`u2z=`)'XёiIe[tV5{K퉩^ٳfF2Zh_wkP.իA^$5چh%aDl0j'H{%itS {Q3xҾ?/KxE ?ʭ9Y Qc)W{fX1Ѫ>;&:szZ͖~>fOTK07]UeJ!6Vx8#ff߉}q!@}#n(-4؉_{DE!sΉ֙Xy&Xwzs0>deX/U0=Ŋ.7_~B!Jj/!&*KDWapKO] g־h ΨJtMfqҷGCJ^Νkt0+D5N{>7N.4ٍu6F}lpgpn6}ae5Q7еfR]pؽEyOPTZWve>a+2< c^[oTK_;,h |wk !y$bt'g80wZ%iV\@ ϯ{US0If/ބ;ڈZ _+;퉇Ic,Z CKjO pxcO#{i]@sy t&&utHInuR*Ynm# Qy"?wϪBaHp ;eRoQ.'XPL¼MXtY4St9jexuůlٟ>E>-$@ RfӒ3K @S>Zgj3|OE_7Ŏ_ ca{asqոX#eFyZ, Un70άh Pdf{W+ ! fh^;W}財 $eOddƈٙOx7\;"xfOqfa>[s"Qj1~4Fle:[Q.Ny(G[oOX56LSb^H!6|L)KN~l>5e1sܞ%O KDͲMmqü-sT>%|ybDζ ]?6Ӆ%2TA.+gAw?)EhytecE7J`"qn*Η/qQ*† JI^<ƭ`#:~Fs[۷F5`{lb"^\v-2ͧ34#4<<)rIĸ'! $,saKEL:ZlaϷNM67p'%MeT56zZH|c_"Lh{ARM:I`s 1Lw9ٖЀh-4D\uxu 49?k\0 X G=#\=ZFRB)j䐳F5ŵg]U5D)D|r&[WFplh/*&!+to lo <4ns2d6wfG{ @d2enFS/ayyƽLHϣyLf{EN=eS:D9*9sƾ:!vy% [_jd^n)B^'H6Ȯ4xG+9eN euw⥍$ "iњ@\{R <#K0kh R̈!lm)PݡϞa#<Gsō*| !.Oe{Q[A 7UWdW ƪ]+c-0ۦu`t8.-(~bsL}'z<pNNsABQ3t@H#֋ٝ6OtY r WY{ܥd_L΀]}oC:pv[!eHU.5>0kY%*8X سjQ\~Dl6Rjkt@p H[IBNO(HOn/y)~B4$Z} \;fz9>(_LluRU)di>Iď(-V4ftw&vt]?22uxTHF ZK#qQ$s]B]EA'?pdrŎ9$.UgE|p/?PXs6=gS[8KJ>˘xS[Qh(y1< 5o > % Ii<3KhUA NbǯwR@u|]syqIM8&av' Ry Ꟛ9AF=]3 đr F %Iߌ-@TĬĭ2$TM$fmS*ONc\Н1T0,`nmdF80M/$DK/'Dm#w_VMlNX82n$Qr>YEƬ/yWrcAXuEC9)ڲw [."AL25HI 5i#bҡλD4nv6Wk&kk$MqrMAl[UĮ_jGÎܰvvOf#-cO땾+~b4K*y5[6> lbXk8 cvkO88c!mk Ҍ,c݆v7e5Mi鯛iUHf,`L4S~E]~U>"0m{~K(+x@NPǹN'p@ c x2Mlc~hG$H a! G/};| 4ݰONzWPy8+.bVm:/xZL8 `Ʋr2~aiU\`-N] )oXbO ']AtI5Mo7 撞Cv:g_RW{Ξ^}Ř"` }{7x6 ylwtNt?kwojaF ͧ]o|q_߮gִ|gY*+Dv7C/̋gj'1O|#XpR@J7μ&݉(3eaE;ޙ3p-vvKj//? -p8l,@Jmi0 C5E&C cQh8 R)~%iՏ'鄶9ϽBD)TҜeC&f}8muZn(47f7jS+=}Y-)tKWwOzDJyZ'd$b8$Q귾y .NF\5˗cNwWMfj TGR ?P(=iHbF hՐR3/4%M@V(Mrs9rq6a-DZwnYa/ʎ1oi@Aq iw]q<>;e=A  D7S T0{8 J6v-92ucxk$oCaޥ&sQe}J2SpskKFs1> j%1М4&?'͛`d4ȕkYܓΆR@N0 ?_Bt1X]1.EV6 q?O"ؔ9Ar3i$q50 TՂg ;C9=,QaCc1a"68èpxUΠl8)O&=AH_ M;Ѻdհ!w ?i߰MpZe=P]֮{ !^G!f3K s2hF,(ː7#2M1 .CgLB"DV$4۵^G؍ $(.d2$޳lZ]EQ A/2'`U% zysQŕ5(bcbaü"4i|ƴ2shkDC0qrtF#V« ؚ#A IH"wtJ+;dfuw=ܵ}s1k5^U֧ce+&8@4)<FjP![=&P_ #40ۄz[؞JDzuH N|T'QdCyj0چU≹viWpRd-=\,5c pc1xhǔshX+{罱m ˖__56E! ?X;U]cEj=c RZB76x:/>P}(u ö-Ix N nn'"ILȋrLn&=3]ĬrUo[+_ BgYZ!F&"\<rxIS Әz=. ((9C?J^rH7zSӲo;jed ?tMYN@4 xvP@bJNЄ)DMJT)Bޚ'ӾwCo`c؁yl^cILL3ыO`r~&sDѩ.4[qDfL 4U))dGŧcW2XCxT"A. |d"D>i\]11'[`=@R!C)?dm]R[ й^嗲V`wX1H78 @j}>/UҶv,DYPcY/"LiZqՓ;f<)zYd OY)2ٱMmcC`q;52O3X!c9o-h4A^`gv7{=Pubw+LX_$?gCMu x@V U~=kNJ25~xULHNEvq-ʔͦ;li3w;>'|{J _%V9"d ŎtO0<ʹ!;E~> \C?,S/P{aN=EM/_W&96Sbo"(gNZ78!t 1+fp n|"Ǜ`n7BvE##z)>Qo$و΀pN)X7a)waԕT>*t"pDa$3DY#6.({1z##&e{FIPwah'Oi 1g?v&huF,fc3ek֤aΚ[NRZKyp 17%ԄޝZo( 13jmQoMԒF&W}- ]4^dϫ{ Jh^aɱ1v\FOBO d;6:5MԈ,WOP: vY,L* ><;܍tG܆$ Trn8АYTRzGc, eW/℺.KƃG$U"旝^2ȡo5/]s0If5G\udi1uY']O˯r`B9rMy[3lg!](We::9OOM.AN"v Eߨ6^YA4a$P )!"]G+LOaʭfz`V4V{0 C?[Hm`"1膒^Uw=+.EWﶻmKDX9($ӇPY6^f! Vok*LvNafT'":OT96#yr1{^ ,+%/SBt: ?eOv[[%xЕaen- Gҿ:YK!P{Rw-|Ld5RWAn5YD2>bpU* XGHTH~)N=azV+75k<@G䨚@@WJ7X\-v\׃B#=imyNbS8&j ]H3E,XC0)AuMED>ҕiQ{2`y;\:+/KFU3R }V 3jH{&*w31")PРJOX%j7Q-๥ Kx%)atN' |e.7.Hܴj7c摣$wʁ4}/Y={VR^VzϷ9~ARX囂e^#xc{ԋݜytʖ_[_͞1zY nDZI aQFpݲQ풏:OWl^B5M-a/Ƀ^UWnJA,ﳬvs| }Uvm1zw{WS/Ngs3lt;_oH%Jxc:^`ىd[P!MDkDt~~,Pk c)W,|hQ`2PᗶLS'? Q暒m0 Dm09uݖYf_ϓ1֡}gN_ uQ{d]Uq S\xǒL"c|?dtNRl ]s$0=cIU :M.2CbSUt'7ę@tZ}ϱRsƩl_`& /<E*K;x$lC;S~1x On(% WOg{zh+%>}ss$*#K40PgĮJ .":O>&xMQԽP:֓mY#YsP1|\AmZ 's2 6N}`iԛlR\1~ףiw4\Jx޷'lnWTU{%ʤDY/Z@B+kzhyU9S\tn2\Λ=#j 瓤rWس%ͩݞ.ss7 6)`Tajab]q]Vm@R}/K ` 1Q]Hf##lQASPf:IjxwD~57[0ElSnT;qijO"Dp^~&hv1.Sy07W Xp ggCXamG.yUĂX e I/w 8 )|{l2LxiCUK]2Z!pZrYN׃OļiۆKG-*!8!c$vώORmeOFŔ q dE!u5h>Kyvzݢ`$C]-i#?*NIfz :QpŢDdZZ;?pg|.!Ɋ [NEy8j16.+/:s$4?\1t̙$K! {}^߄)έٷ\Pt#/7s ~2`A%:?5V})"Dْt:ēFXtA֑89CŪc\87f12kR4v=!1|(S] gYك;얷z% ON͛KK|ޘ43(*hyh``]wxN-#UsX^X׏72_]̴\ e>鵦oԼ8,.*gQ|:ͫ!8^ >'FI"F<4Epj4q41ʄ\qPة' xֳM<&F5'9hS1'.Ye|x 䌊|)-f-aj,%YUⳚBa`!dM ^T?8ms3pA.]\S8҂(l @uW%-xG)A77-jEwLiܘ/(U9NEz]ʾ0X\нEW ^贃<(ƧD"Voku O\ZP&^軍 ygmy* ?20oR@0-PD\m?.Eƚ8s} am% 4 \ ,3 3bvb:٩ dZ.SUX.UsrS_ȾUI!Ap%g[<hy5!{~ԣ6,涟M\ _o=<=p~9SCRT&J FC&.5'NK*t߼_BA]GƏ {!i!lE@~2"ḛڡb=ۜx/t AUO+,bV14P"f6ua{N1e S#,X82M=tJxLޤ8DVҼmT`\^JWBwxtNpVީk, ,5Dj)<[_>Q+ qPmdp#kK ~RKb %*,f!ÎMrs$yj빇/Ђ@ap"nftxkhv{. xJ/V 5o~;ǽFvc(,0[19!%9գPs,N+Da(㈤TI͑gwViq; Z%g ^+eO^^9Mhl◸܌m]vK\ߥHfB54f<N\ⲦTn$3_A|hZ7-|Wɼmo㚝r #d jQ9XxIBJWP"Ok&{xZ{si$CNW49~O"N[>~O]ar/ "7bu?H&' خwzj`!Yx5_#F]m­KF=AHqK" H*•USIHfG ,m2agG%Bu0 _94KY򑊨p>?JSM';#,G(Ii‚Qy_+t4} ;(0{\#*ݧ%{Lo)z2 Nܶb('PgW[DeV]/% b P9E.J|umzz hR͢~> SL ׸N DJކq{ SW/*{۱D6q &]h齈ċ҇1#o>;tWjA4ֹ.(C6BVKVך'riF^zz} QgD(P!!k0Ė~s-eEX';/ ;v#ڹWϟ_ȁ+\g'ϠF`$O{*(轹 p(/qo^@2n 22A6MkqߛQ?:wKI/lb*?.P*"I/6dP Y#H:ti>n6 9.CBT[IV&|u;|CI{UH[HݮX45 }ł ^s#F 孓usoCe˒۪EB,8MXT~qѴYOPFN"6M܌' nb0va4=Wz%HMCUUQuDi"߃34V#9IX2iHnߎg%SIL[%A/ sL=@eՖOF LdqEA(lnyJFA(lK[,gtE7DA}2iz\.6X2E|r!y{Gϭ܆q+lt(>P,* oʱSؽugk5cvZܸ:,Yk}Ç,3UOt#wLgyD掘_[a'1 #v5 < j9kBGYGAY)f7|I2D0v 8> Ɋ7q(Wfڿglj= Lݐ]IdJa\tR򹷬Ω]7[~=,  vJmثM1f}:gwDnq>Ћ\7Pc:S_NsK#D4HF, "Ú{b-MVhl_*kh_۝cMiYF~: Y #f8Z\'tjz+N'|b5lmW,p4IfJpz,*bF 73/QoҴwz|{I,4e{k@<`}jh8C;&F㮊0(o{xs\.2$3w!G)IN+7!OaNš6#ZN:H[;rIt6<#Vn<8.'!oԙt^D&| 9aFO3xu 36`3^j6 `-W{~xW6"ɭi}4[2c+->uZA/#vWEEv6k3ǧ ]db7=}QW\"xHƮ+4\qxdA\h8kU8D+{ϰK {ӏ<61Ixw,rPMqn' ϖ^QAVS[viS,y iqXrKy Q w ;T^qPWͱDIySQ Ϋ`eG=JYgc4ޭ.}eNjCHΕܟ+2(y Fa0b8jeMSf։l\%Y%Y"P3}Qn6?sՖYXI6~tVk{+["kLnlМ|J-# Gz؋ZytӨH),=++O;K͋,% EkQ,M-Ņ6)Ap\9k+7c<<ֻX.v}9:+MRl%1@ w*ha{Mym7y$&1UܩgAsH[R-MW ZWDuݛ _*vyi0$I|6g:ȑ-A Ӝ*Ӗ ䷧|OSx̹7{5ew]?ug])ADQqt&t O-GJ@6" œJTX5&oPd1nAa$Ur%(,7', OY)~ 9GpPF%3ntʸiu% c%'Otrd_l!Gu+[<|JWǵwbb .\$xXi/쩹O2>͑J&`}}qxU'S.a*]z4ᙨ-|sR@N*QX`7l+츥'i|Q'nU߿rͽ',FrH"=B,=Q._hЄq@؞1 vP;drH[Cط'?0=ADE/ Vͭdj Xɍ|H ҄Po*fiQ-N WZ2t)'?(/9Rr5NM|#Z7fz2}%12ET{MYt&'pjRmL٦=] sbRaȖ%Y]'fNDvt4ye ƒh#mF(~ ߡ8WśuJaULZ|3ӕҪ1N]neM,G<Fr5X.ϖsL2$35cG1w,7I-k0} T<2YCoTz,To(o{MK <8C/WBq_i omLTw- ڱ#~r!*;wWFvv|rT&Zc iqp`?T?cKd'A]%hspn5yWX5[6`0V9%a)N aյOw g)4M X1 R퇉؄\&!`uIdW7Cs PkwLRFa$ldY[-RwBH+z75we ڼ=P\0&l+{a^qMSJ/2OE~̶Cc'djrW뫨~vqe4lVxgUξ_2;"VΊntne{ e  UކKU!@a2NS3;~zzSDSXH|)NOʪ$dF>&31t+u_33̉kmhH̚Y[ZdP}/:N9 2s4~kLhl#>i'Q&PU.n]вHAO2x= q?oA7ZLgZ;+7QTRHIX)H7Hj)3:9[IXٿ!$9Bz頍u tMn9XMk盏8ѡ/!jV,>Hogd\PnRՓAEr-KQ Qv5ΌKj۪J6\}=l]Zb,UX`::}YLt~{5m߶ُXj/E]<S,AKDVOwK|D4Je뚏~f ~E3Sh'h U޳{uq/YVc9H89 &gʅ=}QALmh Wƚ 0;Юn۵Pf+e]=ԗӄbГ˞q\!𸠔&B !2`U탢Ë5!~ ٥#sq=I<"*n>B8\e)>$[4Q83ƄYh)[GѨ%߫=xjڴU^?=z]/!=՗]6ӊW[,HoH`YQpŴ.Yҋ XvFӂtIP&XYĺj܅@լ"eool_G[7)m Ψϴ`)aLav*[{kkPr@TiU+X9sֶߐJjc y6yدB>'rV,h˂]h.` cyb'K\{&/=P-~83zX0aL`bQ xkA[AXsxEh`]!3+̞~MvQnbV?À $wm#Q Y7bEO~ypO0"vl4V0XD餣glo^N-!Q8h wH}Ʒ4o0k<ګЙ+7l\XENK4v߾gB46Pڂ#=;Ԗ"EƯ*ѳd{lQO;+$2nLK3W8er^.?T%i!^"C M !|֑ Cf Z$K%jDiBe@tWpsMܮBGn{: Lf}AM{Iآ9̼*YwU \MOK{܀Y$VΦ8zyqMP,̝-Gނ* d1%{Il'I&W c"ڛQ{Ձ7)龟d%$͵YL Q?̅?W" @ߺek_3aV[NrH9{EaЪ1_fPMJD܈u9zhƒ5v123)(-c{f. pp&?1|;2W͈j/0KeZF B@g-6̣\I trAP`?Mft)0hS-mc՛lD;#xxQ>3NG1(g't`b.Yˢv*#q~d=vgh]Ao 5p3he׮JG!4EST=NWAVM(<:`Wi 'b %G,7 9̲QM7S7C6V]7UGDE!0 "㗗_z$][ -8b4Tbˢ^Aa}+ n?D;ɺbJ:.Hy!f9h3ccķuq @(9 /A׍jpGu:ZaOAg̅LOa<(PO₴l/nJxאr+QE"xKpʁW~ЕYFG7C+G LlE~3|`S㥥~'̨18-68¾U@ۈ_w` Hwo:j,$ʌV78CZڢ`l~"!ReHy;0JϠ=ؽejpgmR3(4uQR[t2~eEl DeƅZ߬ =Uee hGPp9@#ౘ4(x D7|+a )kpv~\qEXI-hh;g _q*#v҇6F(pWbQ&)Iq$Sbь!:Di\V{1:_& k4gެ~UO` e˻Yvt}x9D\ePjƇXWl,0#?3 P iJ!P B~LOP%<26=HJ/ fJ]ň쏚SS1l}륓/ _AWѧṥ!R3%/o!_w AnwNJaJ,l[±z; +,ilDӉkNA֑9&=c VAqςÃXmqم-3 p5jCרoƑ_P%Tk5?@0d:#%⡥"0*rg(DWޜaJ ^\d wAУk#5ִYUlrhݐk{ql4?ՠqQ]ӹU%e;ޟ" 1Տ΍O5 Z5MEQFKo0,TH vDgIBϦ];!0=t3՚f#t0R9Ao5i{xfU|`l1נg.K5EvH)ݷ;ro fnC 1>(UK3I;nگvwN';ʄi@ab[_Ӟ!uG[yI=(*h1f @EC#b~ z[i tڨA #R ŃXL8B\W#z`[`F9g5Zٮ!5 ڨ&$LaE%Gz BTwDH1̍h.?B44?,U S(h#Սa~8 FAǛe{E9@3gۋK>rx3*tl86L{؎B'o <Lά 0Plvܕ+,m R;Y1#m27FdmpZcWf&"A4'v35?2Ix(?JKB,KvtZDr5-'VА3Cr%ME;^/>j.E2oPmH3T}% %zAi 9ǜғ&2ak4_I`h>cZix ܞ"ꌴHIut A`$m4W{A]WGpI~(]0 %}& 癬LїcL%]%9,Fcy`%0YuS?K/m=Ufj 7ԼFG RX= W!&:DB6S n6<ꆥ tݹLH-ubn&;$qܼ~{N{(21uBGBb1U<[v װN{R Y)({9<`CNp|.R!`$[Ju4si[]{*Wĉ:nzZ>F-Auؚp #H!ZP*WqIkW նGs=E mU=3]/m؟ooo qR #;w+̟Ĕ@ΘXhP>G: lPK m\A_x zE=< >[wGQRJurk՚>8~"@ZIwY;ًs|._gNjaBOyuG;n:չHe ] q\Q_ gX'IYr|FtT̿EH5/"܁#Mqif֖̮6`[ypE-7"жhߩ 6ڰNĜ0kV+ O@ =&xW7p cGH'bҚC{I0= SM3u:9EIb1LF#kp軞( fIݘA EK1 멣[i^'~~bc>:)x5yd5'`Gz@~(jׅgM`0??5&Yݰw3Ծ`(e!poh-Qg2`T1}imJ"\֧)pRjf1a!~#y:OujM? $^)Π{KUP&~bڒS1vy)5,N'D2 sN)fYn*eHgy' c(QxcNʴ@l3AZKN6 Z*͙9nHҀyqBf2^ѱ^ĦX0@10G$A*dQ'1R(bvJOou.%:ӁXϝ4LgZax󇴈[= XF4M8#5x8+<261Dw "zKR 4ڱ HpjKҧ"ʾ6zى5M@}Wqu 'T۝M tl+@Lg(.wޱW\b s([\*GBvEdO*jodQcȽO+(<_Z C#Slkr>f oW q->)j= a2JLio؏}bzUX\ԁʰ[ck  $CxR W J&L;7(~PMJ &JK,[T0Dq [lA ই*^Mj.? ʬ"+ >ߧ+=$QM*u.ig&v$rl_ 9qPFX6C]@k+EMMtozP9岱Θ=L܍eXFPȭ+]ߜJqlDAwgaYdk[ *gYZ -!;% |Hoare_TimeHoare_Time.SepLog_Hoaredocument.tex7zXZִF! i-]A-MՋhvG"uIBm5ȢC=zN{ Fػ \~su3N׿*#fa@yNm)7#Q:B#*YV`udh'h`$>CG|OAsvkG=\PwՊ(lY[w| -Fڜzׁ诇6@5'W7l_~ ê=\<"^Y۪'KiA!zvjDuY X?&A+ęui^ bMp V֏^rƺzl:Vb}+KxIn|]&Ym7!b3YW-i/ iB.n&9Ɇ/3K?#Hx=a8V'6UN9&@i_:' ?lB%{f0N1&ټvLn,n(ē}FIb} >}r8 =rfXv9&0bHˆaင{6+횸n~cZp:4 d."4ӵr2_7ݩ5/[=R (z|\%QB7vrR>(6b̡|;03[buˤYj6ZXɥ{`)[x Y% R~IH 68UZԗPX8Bnx도N[,)4?յjwld!*fA,8xg:HBm>Q93jKun0gg<%Qqm>.W\Nz2 2rd]"5X8*s|jX3@ ?w qښj)aɀFn) P!1tMUڏ맩fQE)VP+;>7>31\ s.pTʲN!!U9X,OkxXN N`}Oevz7#^<1Lюf?7ōc&G1f,1@`3 I sAWc鏮2d8qURAv/i|Igwbe;q7VD=>,+K]񫿐t# ҒTEWQ[<qTc  ƭ+ br2X`4r=;*?yϿ֯xz*'+|DHq l2dD 0n&za]TxP9g fymC 3$!8TP { #R:QF 8L3emv0Qm9๪mb613[^p3=*/) h8 G=FM0 +d Vy䮧|t/IkSOl{WpOBq}>P9{*N¾[D΅&:1~֡^\N:%+N띢@N  +4&OB-(q3:ԴHݮ{&Յ:JtOWz 1>|3X~ݪ%}x++z^Xt#=[ᬂߺyu0}=~C5{)o#M2ڮJۗ=b Ȏ"?hHN<-_))0Ξ(jwG7(uޫۡn!t O6e2_+ @g7-~#BR#|ͪ`"T™{iaFo+б\KɨYh-870QT3hvkR$d;P"]#$4x[PͣLq*,ԋE9?Pb}/}™l]xzYTZ9G\xuXNeG?/`QA9'2g!=IKgЕv2R^yyw.8o^rfklT0}G|e?ķZn]p(HBDE=XSnΞkk4o1CȊڳvÆˉ6ɖL'Icz#;K$!IO}޽]*uE"HւIWX꧵Oy{M΅ _&7TOZ[YS?c:Sچ?e9!w@Df:5Aa;ixfAEoZPY~2}ccJdE8R,L -"M[#-bEWEO,*5a$dq>Č\-bR9W}'ʌR``I%dSJGaNPPBI Ս3?萣iB sQ<:Z4s UUu#D[ 2hր]yv }/-"L3 "{UMT<>Yfim>_|cr!,XT, Zde&B$wmufR6u5~ ÉJ(4+x@M2#S&B\̲pY]z\לeܭeLy3l̽+9%qZlcE P2 lޑ$HY%WVjE+*[+)#ɰbNM;?\];L XŃsV#Yx`gNNK`vX= sfR=Y-{}pkP۟f!-l, -7@|C\lxʳih_ y uyX5W%=c ZwRL4p-16ܠV$ _MhqnuveIvp|Jtq+^EY .TSP뫂g8`/k>ۂ0ٛД2[荲&÷2 DwIxA\3j'J$Hb-auP7&!ьhnOqL>Ԏ(}wnyGRNŸj:1{|R _p Wވ"[w9]q%=0%A|7c5G҂^ <-946W:m]r;(c"IWqoWbig1TN0O 4Uj#F҆Znrlx՗%iڻ$@+M4I j97\ J.Y5& xr,m< )Ms1He~"0q>_(H`CKCpZզ#O\:fTl|erSƀSB\"&$6^L0.ɶA'dEmtO#w"-\(%sU$1 ƘJ4Y =:)@/axV jx$SI+Oea{sIplE ,o:˜^:p) Ʀ޹6j;QWK,Xs]K $bػx7Q2֧/`0 0Kh+H5;#OIyv}(ͅG=- LѤy`۴r~zx<I.QW bsg11^G hv rn!: A)fS/q)yLee*h-IdVgtXpE&C ΫVmlH蓟ЅJ⬒cإ33x@-h%$f0/0{:$g^A_$令; B"o,`f3tM :ZxgMh8q{*Z8UR5 1eip5)IA /C+BcNM|tpgX̲G$pZ\\3s'\R}0+Td7 hpeϛ̛$kgMN[:g2ö?n*wmis] n3dΆ <|{ۖ3՗#zPJWR@<3(t%`}"U/ qAֳ>؎s8+W͸ o/ڧQ$h(B=b^9lzbFsa[Mn8#QW]? =Qea+%IV?7!v9f}`]&_(¦}m߇e!HgzLQ+󪌦5ˀ.`^ ᕣ1nkyQň&\0n%:me-Z 7<tS0aHp ѥ`Ś.n^(*oqw16v tlM<Ą񿌯vЬ4MNIF{Ŝљ);AJ@IXfiwjn!"oŖn#ndU* Xqբ˴u =Z]ZN2}8 gm;ST\*zס饆6yehQkk 2?߲5nef Pڞ ("ĸnbX8+h2\7y)M,vڧFh 'Et:Q7rŧ--rTS5_Anz}崷gǻL~L^Ȱ_$ }00ҪgCbQa&gjk4![ઙ6hQ},YLC-bzHAZVp?TeCԻw~fɀ{|5x҇H%褈~Wk0)ow'CRG H;C4\ԁt.L#/ap:!wHɂۦzh +zcW% KiuăCX8^}yñ¡:H}ikU9|=OKWxc9/ji]05ܡOa-̺h[Q ?>m 2X4n_+ ^7́\ Jɍ;Sl(fs1L6CNtTQ-ĕFtN=6KҥQt:"H9*.8[+Y:45c="pp tyzWXcm2$ PR @?"fP%H>ZZC|o78\&>[QRl}$XK.vfhl#pyhV^_; iG2xOjBhY}}"D9ڣj e9ئ-6Ǥ;?/'$Q)i7(x]oLl,M17Pf/z0z pYp2#ԏIfbJI.6I] uO/ypb xc$UknQCۨmp)sp̯pk}6<:P̌lIC="GУ52RF)Bi:ROFOw/-/M^ة!-H$|vwMgK?rEM1Ʒc_2WL87Ir 6LLjmDpdim^1/36$WeSC!Hզ*Kյ4qAa-(֚÷RO%ꂂhQG!#du470y~;WTWG@\iboJ)maHBST*Ya@*WWEI Ӕ,Eאz;6i{&D>|wP JKKE*ع=񡓕12_F@Xx*?-4WW|F+UgyuZBYԦ1v.KF"f ZJлs:c/@31>%ׅ-}[YNyOIdöY -eIR THTce\R9dy'jv+<, b)QSmrL6$ڴ &3޸prD8'b2Lʙ+1TѮGzT(X{#D ;t 0*̘vU#K=>*!~D)Evִ?ż~-"W'L.K#>Yu0k;$ X[_ U n&M d=~(M esds0mxn s g~f_֧v[}F4Xjm_9IDt٫&Dη:*fU`("p؅si21TX6 /=}ݛ~zM~207{v[JKڅw-Qb]6uPJ.Yh@%e.cM{󬪛5LeO.'!s(<V`{tKNv8 a<S*P'CdQ RbFxInf|ԼmM5s&@hKR݀mECB#KGQBt&e+#Q}(?%}:zJ^|aoB;/2tw|Kk)TQ22|S7` :ס9`zW0@{p9ŋB|xo:̞X2 }+ODӏebaKW0)ռ]A#k* \!.Z) ʦu-o(%{楩6fa&) 6J81쮙g@GMG%~x&4G+l?@Nhe`'Pnː9ұBDM^9zcg"_% go Jen\ Oϴn%,32dM)6tt~GkȰp/(R2;<_Kf ޠcC8,toӈ}+nndw,*+=gp{OnOE%cX*GM_,D9-`#'ZfgM{WCyj"]^>,yp$&ݾ,Я O衲 AP=/w c2r dDsECג;mbX44*]{;֓-F60ݽ |R;*s-!\u${oYބ>w>$2faFWf:+.NPNYu9'e7N!spl? ^Z(-z`G80j;*3$N£_̌aB  u秏ido7k6pKsl% w|%L.̋hYni&g1!K2E4qubrpm*ZO;q$WVq@}:f3utl--Wԅ[壻=?7>zTt{Y osL< dt39O#_G ]R?rvdfL*Q,r@|N}9J;olo%Kn<˼^X.SM?1w !'.+z'T+fIoZ@ 6Tco/}9$KxL\Y7(lZo!9Ofن "T|;7ǬcVV`(`‚ VeuB,HbQ Dpsdgs6~1BMVIUdI~ iM4̴MurZ D`՗Qid u9,ENUb4"AfKxCmŒCR l^ׅ3yk u9/$Z@/$?wz23|InNĐYl$}>bуJϴ gUÎ:UڟH|qBcPWyd'F6Bs:؎U}B͔?rcW c8dʝe1`jh>5 eJO }&:f\b] ;^E R ? $y~}ŅlFɃr:_ü#u(V٤jZMݒv98*JgA >k ?iMzT)<>_:auhA}tDT~jkv]ksR:ZH%V %<ʵCb4k4Dx+QU9*]wgg Eo nh''g0T`r@n%-7?@R@l0*$gɆs-/=yI\ ~@}9)Ow~Q5t|]dWu-&M1/bf4rJÝCImvôV0X"VTʟ⏯^fOq iJ`+z?Uvd)5zt@ x KJx^xmMw%u%X1x$ЅoƯn 8oOZzU0iDa]{ݢq1qLcnh?@Z8VvƹD.ym0­b͎Χnn6"B"m([E$|Y'A=+dEo;ҐUY$+ֻzT 6l9=4\+97I#mV'r ۼ' ٣k~)tIiѳX n4%#P7hgcT3~m$l{(@pN3~TKꗁUF]lf0ӄ<yZbi$5";l4/@㵏5_tL{$\^ v?܌nu2KijCIz#2}6w~E*(,7B|0(E;;em`N6.+}0Y.wm:T}rs(=mgL4b \}!$n ^| $rmwDr;8(3,-Olo q\q|.#uq")< fTff|77URqv5PPI`e"=Q =vP7 >&8 XB{vbĠW *)pD誈8i>^c * oec-bBc7 +1oK^۴KƵO0aq1n:&񡣐n= z;FDQ#D?4dVb'殎G=֘Ȥن,ι'ϸi&MN&,Gp?n7)+Pj}bdkZg<).&!@y" ?|@'{ J T~ⶮO<*$;qT!)ϳhn|4a'Dq_k]km`xV4=i r5k[d . :6<99 kY?`/nϿ\@ *691a2$2vTn$a[HQpIAֱGGkZp& k, ĂGM&08Ŀ23"H3HIW-%5w o¬@#p^aPp6?xN_-XB"a[3'b8dFYjy~*ӄTXMi '[|/RD[K@`.8M< Q >S9^̇yɲ`vxMj$%&?30y@Fci}Ƕ5h'k믧Q}DX\@5p"ٛO8af`i {Z Тt΃dc^R8 Ve?=2YX ZҲA IyROi?&疅7 G:( 5Z n ~I؈&iiɒs45ߝ~cA13V eEX+6ю*S&b\'AM:xv?xHL֭uIA{yD6 ^luy i = 0gn 1Ϣo`woS >8׎6:MB 6eYxp|cZ@MձSQuo:նSO; ¢ iO"% {Od' Fr{tgô'Sۛ0 ^x{Ts b $Lh :z˙YOåBHt;-Da-ꪰ\1?g?e/p q8x`0_`Ƶ\;jx&;ewBGExQqrPeUɷ.ʕ $nhgFtty!VZ OX\q|KVq,)_ol;']p Ip_K UMD\8V&ȢGksoݠoNUoF[5bQw&0f~F-YԢR_cQF/ Q^SRJxZtk1kN׊,H]ܜj4>wϿR#$L#wb(ԬD< p媹j@# J,n٤})#4Dl=Phk6E7`!MWXo[&<iו[ba+qAlZom-D<njqQF} db۲)Gf$GGSJI)%gbԢ;:D>) *@r;@ݥ=J0Qc\jq83G!HZwJ!f 'xcmMtAV'AbQg5UEMeSj  R? zJ`ި^o}= x){ *Kp)iD3|Ga*ヾ&+V}O$f#[s.&,GBeu(Pu'TKñk !a˔Nĸ^He `jj8C (\!Эdi$(n '/ͳ'`tI?gCJ]ympM&A`֘%^h $j|Y`J#D.HgѕF Tq@E{ˢ4V(ʂ}K-$*Ȅ(0 _\bm4#U d\B ٗ/qobHՎlVvxw Or];J( 7L1w- y'Ϭs02ۄky OPosqIf3'4e]5"C U8\xW,kwwZY YDK6tfM}>̼_:_e[vETW21zifYAiBa2g㞞DekY) d\ۯ΁txq\%w!#Uhaepguظz++~a8HJxgYZ   Z !E% LHoare_TimeHoare_Time.Big_StepT_Partialdocument.tex7zXZִF! .%]]A-MՋhvG"uIBm5Effb^uO7[@uў0bB1eR=SM,}oWWj;J(=|CCV+Q]d2Ҩ\9 c5tHeN`}mU/Vw[`~o{|؇$mSM>eZ"хtCfzڮɌ Ot!ޒbYDǸU*2ξ \2^tF&2jv$4fxݾGF!ȎY(<6M k5ƶm0Ӑՠ=IAzh ٩;+ lRyˤ'J?U_`bSzo xY@dܭ߼~8L / 0̻#?[MwR{,_%ٮ-t߼܆B,[59xu'ODFH*āI9R~!A4\=r 4nyq2b>>`䨾p J?3ԾE?xUݹHRQg:W 6PeVFEAS _Gȱ&b?9m N353V{NCRJQQ:hq굨hJ1>Amd*\vu>sJ֦g3hP_X c~z֡ O 5βB*~G9lH_؉/ӧ)U&".)l8J'HÈ3}-tm 1õn͌ +؄Ej^}L_9UT6H2{D~21#z1uEg.L7+<(v:>DնN[PpNaL ?O|(` qSBST'ܹHm_ڠ)`u-_Er_*QAwd&R-`/ԐCUGbf!SGgJo z xt<]%el4ƌi{ 7F@\BE]#jöI뚁uA[=bw*K2h7c7z?̦(> ]xJMz#(yDh+ `:g:I (l; em{$:9ԠD5b/l?9wR@}PPe>'8uǣmr k*;桊]=mBDxһfznA( ̮:i>+<"'l-ĭ:OLRmTNCn_: j`vOz[p|Y Rr^/I7\/^|x_4cU~{t Hw߽rVq8._gz46 8\w%/$wJ:JTo`7%(uXjo"]YQzq7hB6#0&փ H{nTfGi[S=X=-/Ļ#҄]ԨRX) tJ~ uT`@ m|ܥt?>]<ݵw{~:CzFs;@Uifi-Tj6cGDOjP+>˜=Rf ,Ek)!w{eEb?M}lmTCdr#<"|jG.%6qH /%xFK#Y炇aNJ*J\ޛBtƧq<sF%u֟zYt2[2l]hUqn˃R"\{dݯ`vV^eUZI.!)N|E;+4@.%4TSVUj5qA>ȵ'Q%48 jX (ۯ \?cVDr^W"vJExAOT Q{rV abf$xvyd/{#mQIt~" R4EdіJ kcÊ@6Y۫*;A~RJSZj`+Zb*/b'*ItD|L[((X&x^s]Jo>aA94ת;Q& [)//q^_Wn5xS(Uxf"s\dK󕍇iyCXv3_Mmo\It&)DIwb4jPyLE`LbpϺcfѰhI^Q -c11Yijajl>F&?(!hĂIz4}]yqA1SrF2!hE '}d- r2fJ'.`Ғ&솶>̇$^Y'Vw^8L*q3Vv잰e-ͼD<#^59Ŏf)&.k~cHZ=/ bz8 GmfJw}#"|~ogiRN%KܱV{=c9]k&£LBEnbxV"cҭ07L%O]#;3^%"k\P_*&t&(F6Ykݰ$ߧaFˑ|>Ⱥ묘b f񫘳e.eF~өԏ9 GV6+H[VQ탐:6Cw{qG{lᚪ=i5yq7w`9 QOK[|,t­}B2.Mhwg\ؗAtҨm ?)cy)5h3T):lwoe{]Kʈ Fwwc\Wr֛Z2rߴt"X  ňYI_؉ nqgw\J8yW!Gi1(:`R@\aU,3{گAb(NƈQ'WU:/8+40oNb4 % 96u×Gj&X⨷=pf9 Ϡ8`GKQ?1r~GQW-)2nISG "/m}UP2z=,On  7lHЊtD}ɒ3Hqa'zZv=€1P|#QP}eXØrZ,D`$N;|nB-#,_0  NQAL? 'l|WJ/*6gqvL{9%h2-RMKwf;Ktj&.`ehF575duCv{Z#3a%6ƶ*+ܗ~ɧ)?~mdџjqzٓrІʅ\Hxnea){oe4F˭PIԜ0Js^EK.dtHpC" `G{bQ{Kp N6| kO^<' ¶ YscZ^3#葟J߷SI,5 Dٳ; {c3hБq2MS&]mkv4̾i%O)DeZ5| Dc| Q&^2U|ŸƄjKnB"2:loAcd&d]ms@'Yc3{ukC#vDuEDE˜@ ȻܔͼVkNNs Q`p9-G!&ɃS.Qw*;As $;rP!BqHPip7bY\@& Ci* d6z7`k\o o8TN:6,m30{d]F'cPچuGyA+ol7 VۥHf<M37#hjɿXF&}s *CXu,Mk/G3Պ & x:`ݗn FDF2{^l6̐^gYZ FF/ !9% Hoare_TimeHoare_Time.DiscussionOdocument.tex7zXZִF! U.;]A-MՋhvG"uIBm5vbӷ8f4FvH%w@cɇ`ٗչ现^Cb+9m:lLx}K%}%4m+^[y رC>Հ-@~mkTIXM|M|#R![%o)vyR Xa a骃8+كJ] Gna"i(u&l\L~8X=n=G e6P1oʪ,ЭRc7 }EPjo-99_] 2vxg w' Y-t/{Cq*ijE#BmjgxkjkqI\CwqahW*|&@LJ2߹&& d_AJ 34Ph.p} $`iҷKp[P*ĒaȹYSeO ZcG\WjEΧz`_]ams3S4hy4sgz #%kZ[}7l(.maD0N_ hAMFtvH,JXf |m3z8vd12 ;YB 5tv?}5O`r'd"#\1*0O|G89֚T!(6KeBk%|L fye~h67Z(o`Rr(Mj6㿯tiPӍrJwM:ay\n}*ϒ[ x0ݒ`rOXi}e cakQYl!aè&Iˏ6ØM|(8 obAnHH:1 ;'!+B3N=1V:>hDԺyvjj9ijO;JY6iKLugǹkv˝>ߧD݅ǖg(՗{q3dDys]M&]9Hnm,W*T}p 8> R L뢼?isN>z,9WL.ߜKaG7?U)J/V“WvH*|xx.HYvXN'TYXR$ nPXYR_Q&aЃ6`r7F|]t ̆<` _H,~| [Tr]M%?>ZK3J\2O ЈW 4ƒϡ!!~xc1viڴ{q厑=zj00*՚6C[k]4tLH4ڬ'>JcKBQC?2E#]= cYEX wdzi-~g % cV;[HYz }o &+Lׂz+úX/ aAXWZf`]݄ef@U{ LiIi ݴt.Cۄ=l*Nn"_k SbBͲZ:fKlBᚶbCX vwDat;rrXHsuV>]ҟ,cBqyMg(Sm,\ &}B=18J! vNC#{kԗ&>}L\f/sR&V${V4> 5p**"dtA 9mh8O/ŭ2=۩Fn;'V GlEAvg-Cvk$r 9>cAR)'V 1ImQ!|.v`:hs3 I!Ʒni$vS6-m+_qhM:;z.Pb,zRI3B \*]̭wR: [?dtR9c`od4y+_2A{AlY[@opt>Sm/ _< gݷ@~MiWjj'3 {V7KAvj?e=9k%N^q> өwA Ywk{]=Ԉ7lR zT'5 UaHW_~3\J^~b 0%8 XE-΄l]'Q /MS6[L;mw)o+޶^< ӆN>Y(@;F*?q 7w>q-Zd4kFt>"EKe{`z>`MHj?m&~7'ҍee00Dģo}6=zEYӨF BYs DJӹ4VqFXr dVpRASؕ_Q9gtѣ(x[Gv#=:^/kI: @s) Z~q{сvFsI= YrGMYXL(Bw?jY"3j7Tzwb>U:&f3zTP8E(ߜ`PJ-'ֿ/'/2Wε5ajGYR䦛ZA_ Ebӝމܿ! CDM:R%'-` l"`M5ɹO%й fEu#ʼK}= KMM'}>4Hɭ+/ #o|i^c^{eƚyaFA; }rIEL޸ŸzchBH*E4?1QZ7MIZ1hs5n? j ͮ;!DG?e/R'LU 'eno,-VZ"`;QL_G1 UWZy1cv Ѹm./Lw{Pj0,!H6fXv&\gN6LܝԷYJHw [4OX~+Y^ ~\wQ<)iꥀWWlJ_AR.3{6,)Sjݍw|S-pS!WvUoݖH osE &ٝvΘ T=vT(f&NaÞaey] 9J-] ,#tm$ *0;JJWg;܎ pQd?Ě\[$Z`j5AN^PO\ VdW")hԜS`gHd4>/dQ-̯ya PYD1LX<e`jU*vRp RTUugqvi/o xZVCU4QѮwf#T3{;o(,9bJN~ ~I KM2(ش-0 w4p/bq!s ouTEǞ¹Ep"aߕfa Ll%>3t6C᭸xK.g#b--p%^K/ܝ9602b\kXDҤMT;^$IA]pЊ1;R qyJ1NYҋ~8IM`l[qhtS]hy,p}PBI ލ -І +Y%ٚ8vD!-fGO45vIIHtK̷.e+/ZJO6v)ni0Y\a G h\p|!LI_H)6 K L>OۯFՓSc]TISy]/I;g̣g =Б Ǿ}=LS Jvig^b-MX%a)%,:K6|QNY1 U 2u7:va)wA78}Z{w*ި:o:Wc$3r*$ &yL&=GT4?Ii>Ԥ 66ۣGo6w»BnVg ?\r;t $hi_?Ƞd\Q_0 >Rgirvg 94| 3\~Ó'#}ϒEʫLRȺ 2?@Z_Z _kQ qG6󻦁ܝ?.N:tߠzխTnj~SSEEրIf2P,!-^7 2OۄeÛCm0CDl_8@T?pFIMCI*;5>>=,)fZH %1bW%UJ A si%tƊ3(>~<2$6 zXYU`/Bx4 FcBj?C/6VHTgX2Q\UXmєM]{WKgw@ld,Yi?)%Dl?FdJ3 4O3Ϛx'OGWV{%[pK\d$XJ7z8cw-ع Y|-qFtvҟ1N'2%JzgYZ q !5% Hoare_TimeHoare_Time.Big_StepTdocument.tex7zXZִF! ȧ]A-MՋhvG"uIBm5Effb^uO7[@uўj_+T)f3@o(SsGm>l[gOr,_wϻpٗUtsT1֭2AǫTjaQC.<7[0hۇBnNٳ)q0!6&^Y }>W |ԾwwylO"᫏K88Rk`)\+$M!Ȍo : |X$aĚ3|f gIFpF9_LnciUgJM 0d)lRH<]-OP7jE\:B@f8-PBN=flo{ijy>`lVn,7 5"jy!b1l\$|k{rGb}ux,Nj9~V\\u҆`}1CKAޤtT{I<$B}.TRSҏSL# ˀj#}=tf}y=:/S/^{f0(&z.>}F@z_[<'*V::tXDK }O 6Y lƒMݠrA0p , e.Z$qz]4(+l(n#gFpPijcd>NZ-LJ ir-0FK ,Lg4fgFg*.I[ћfaSu4ۖic@ӓg,2J'K 8 a/,wbk 咤0vV~|{8V#䴢;ˬ7ɚ^?zD QC*r auCO5 U}cGRV)\Z!lro!Чɡy]d(i\EucR}0^<3cVZIUMPӆʃLthz5Mj} aVPQeXP8k.LUYnVRemwy1pjн0Fefo?vDxpl_T?+H;Wer)xH O=<Od(L d?z-oMc XA|O85\*[?jPhSImKP_KnlW;lZ"-,]Qo{jdPLt:bٱ},F#SwdmQ3MͷuW_1ͫ q|5Lr<K*_"Bd!9Q6(9F~i3k\H[.FR9:O @mʆpA,R~@y1j/pW(8yA YooB5UO%3*\IY0YZ?k)W0as;Wn#ӗ#t17H) )xB ^S'2_r2eb8h{ ţpZ`:{p:%|~1k<ɓu 6g FQ;~!4 8bۉjh\#p ,9o;%oU;o`PdZ7OI͖,6dsgO˭{s8,/+'YbIn '8= 4^oϒ|8",]fX|gbH&༥y?B$}K8~e<#!/^l'-$SSMd#^&(:{Z sX<s;aJDY$Aq?eFJ|wt)[%?BqշӒV/ s`A)d*vX#;y*kvdɮϭGwejKs&'rN5s;݁GVJ$mGNt6=6J*G"ZU X~}a B ef11-Z`6zwN76ŰGRO1Li>Erh21E>ޥ?/W15*=OsQbz@Ge3d,~X5?'gP(a!V`4Ef=>x(8|5G, 0CKs.,ٙ_2p[zjŧ+mVBmeŜk$3{Oշ)XC*'UB pۈMThן yb &EA=eZajhyC EqikR'X";\,o7X+8ہvUvnPO*[ xyqziP9alKYOi[ M)Nrqm/{:~B[&MMR*!:܅ Hʠz_?HvlBF-2[@fT-;#(m6 !sí_4OA'4+0+Ig pk\$$ * Sʑ;$ЪT}i YcSF; _'d%X;_8&~'n6[0md ]vry͞>S Bh ,,g>jMPMbtGmj\hB yV\Z׹JcHKQ>! gU^߯kPx)/_ilv-=eGS 73Rp#yǏ_M?r.?)lR)|b{( ꑚD;,mF[i06|Vw ]UY;8={+CHIW; T*%ܷd'PZVf!Ut\yE*&U2=Cp{K˼<"m.lek+qq/`2Ccr8q|RΡ2%xiP>&`]fº4p6uFfl|{,J=z5HX)O 4.:r`GZۼ.CJlFJS$DQ&1%?I]rhe (LA# 'mFzDɻ}R=Ӆ8<- 𑓻Aj@M4HT|YbsAa:C{uil."O&B D)ɍ"vRkh&sk?FCMP.9ll6Yxpg^A-i6Y rUOα)U?QEj[QH#x|{^]hphm!>ܸ_Hp-J,Z|3|=S^,'b!oƟcPA $3 .4j=R&#/1:f"PtE7 E>vk2]"O11lsr*ΗՕ)㮿E_H8/Cs3׵6MonEBl )o]zMqYG9;,nXr+]$Ї>N0I[st9fV윐rqf…S:#pB< kG Jl%RcD$B#wvLE+7 @ʻҺue 6)<\_ "芏w ^Ŀvf"Q'%/eBw .Ip ]ҫS]=(#ѕC!3Ub}&Q76Sd[ɿ;&^~ZlP}&6m wbwD}M ,'4ݪgƹʓ)?˓Ix`[&8N)jDTȗyp4yMx`~18Cnո%{H|^Ojy]7=r; Հk%P42x1n*ϻ)kiM5Ypk/ATЙF C +b]>G ӱ S׭im>EC N@\Ghok l_?5R;9ͺ#7Tsp+ ]=(@zrk`CIUBx3'8i!|>Dubƻgt.FScgD7 cۘʭn1)U3k+r&A2C/k}-q1]G c#6}E4Ҋ@a_I 5#Bsm_bj`ݬrrbU ?\=M\ B7hذ y(&EPqݥk֒-^$oGG!Nsuڳn,@@#X> 0JJ?x'Y6c^7{<6 *.hRpqђCVsC 5F[2geڐO/xD5[e5v6‚ l&/=ܝaxpr_VW'y! +rx3e~R>P*t*n5d L1Ѐ K3' /tH{W1&o' -LԺ'ToA}8}V (џe0EԨ|탺1&E`L N!  &O YQ,SdWKdAWL>~S9y٥)ĺ>2(l7P>/n=!g6S+d='Tlex?vPz6&O(qj M13Es> $]<Ӱ^\fRoF  zn=jLѼxSz3ˮ_.@kZpT5h]*p -~#ɴ{4 X4'2 d}m3b$ ɆB8h9~j32&pCGtj. {zfta@{ޕt=3n&g~sJ/x5tf@;sOؠ4ћ,@*LL Ѕ WJs` {jqxڮsjCmyi.m&WW*`7cqtiAg>ı~v:_V9ڬu gU] aU&Rw՟; 5e)g,hD$\P9Ftp4) ̃YK|I,4UNWI%ŊT }B NJp?$^}:̊TL9~''XGJ̋ ًgiW#M _ѿ>d!hPN}6&rScP]>Jz\™Rh3<8"DݞM؂`ujRͮr|ee:JC2ׂnc/iǍN#!x20qe nS]uWGCM%|< 2&9,||~CF۟;Z߆{>kwsWd-aN)SLsbA櫗E]@ ~vR!4ՠZ1 E;Wռ7B XobȻѽx}(t3%SYk؃kyv5ԌтUlB`'UiFgӨP$yǾΨ`vTKzpLʏ_Nu7+3ç *3"|B:QdqS"rB,&b^`՛59vw?jB6 ?&49CMt-ذѸ<,S[B&5^cǕAp?*@>_ @zY ؓt@%>Yb,\}-s,1ȡ8tsP*5!xp+﫸;h - <@MGd^ <^ވs *+50 rq}Y֓q6h9 %4'PHpde=l|o|!8G9WЏXi d,F;jGܗ,Kf=$l4ôV&oL={h!>Le&ͰcZNꐀ, {ğZ' |wmNEpQCEMU zyl}+QUUjhկ>_swD18XhUB\e"}LtK~\v]hmDWݣMVy3/uw[ )p9z5R(Wx$VB jNàFT`ʡ|d\i~tSC.xR4ҿjo%h;J7fPƮگxXɼE7_q5J)Prspn .Ҫ] %>V F!/Ҥ}.J5oZd%ŲCHc(J,vW!DgB._H\IA1Nͽ2#iﲪpMƫ0z?uLo!K0P-٪qxgYZ P!3% LHoare_TimeHoare_Time.Big_Stepdocument.tex7zXZִF! X]A-MՋhvG"uIBm5Effb^uO7[@uџnTw$i-H-+ oH^zL˺[ewce{hλe-|]#EEuA,:#n)=_8YP0[jRC{pNyNj[5[6+6rUDP}/ $#Q_iL xڿ::v=hk"Rb !Ǥ;|]~]੥Q5U֜P TgxjA=|'%eCt Li d0cH{y/x(CG򚖥`.R;1t։M3Q}kNe,'L?!u)\ϭĨvRC)8Sha).`;-Ar3]_Q %I,J)\_8%T kSt0ejeMֽրtC7@&FV{?pP;BZ)Sx-Oj%Tin=rpQoDI],JdV)̃\/G񙞱EY -5TZ;|#[Ȳ*k9)t\8'S;)vv~f7, C2977|F$|4Q;1 쁯_O"} v LKȐ|ԁݒȄB&.j_ׁ r\Djo}ve\ދYR֥0\'Qu0S5zQg椾8/ll߂HEg1b|!>طW%lShxdS $:&p.eKEDzLwNK^CNav+CuLcR[QJet255CA/un5/̩"[S/G49y@TAXM*B"C+h(S1r[cb4>& &OqՙsqWW5mQdyehJ1OAJ 0Mn՜ Ly" dpsə j+ ذ 0ĪY F6: : PT JX~XT\SpBd WنGb3G3K03=Ś<˂3ni`mF kش\ WUOKjT6-TH4\VI^!E!чKa`!>"\8笻eQX8ݾKVk tUq$cA~GAvYAηj?"u@j/TV>~L;"P.Ӄ[KJK|3'mQiն|d&i(*0DhLq,vbv(m)a#Tjf:T=05t X ;&0 ##,!;% |Hoare_TimeHoare_Time.Nielson_Sqrtdocument.tex7zXZִF! {7]A-MՋhvG"uIBm5ĵnw@v\nEh{0Wg6B׶'d"{{,[@o6]!oڤPxuJÜm׭iSW4!ήԬ XyOAqYv(/κ~]c9R>8Lfpt^Ps~8%)'ㆧ8:q8 6F96hHIðFsb&t YHTb:Xv=/+?ƊN"@Ao89Tޑƻ\k!ԥqF & NvbE L+Ƞ; #a+I/aMg}Xghk~;[@ȔT רX$ߍs*tz4/!9% Hoare_TimeHoare_Time.QuantK_Sqrtdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 yXfz@OH#)a_[!p"L`4+ڑrF~Qԭωʀt(wtܑep'R]+QƥVG!e2&ExJq'GU]J;&ʼntl1~?]!a'F#7 ͛^+P5T@0K?l ;Rv#-.i'&lM '&5aaOC0$R$n3z!G% Hoare_TimeHoare_Time.Partial_Evaluationdocument.tex7zXZִF! n ]A-MՋhvG"uIBm5D"@87yqgZ601G`"`{t ֖e7a~@)90>S=81@%>DvivXܱ^MnϲȣME3 D٫ƛ$.@öL0;fpfYJ>n#ݓcvg$4ZQZQceI[AYbp$ԄJ"Bg ]y \`_1VG3E-Ud_53 , FŞV2 dԥ^5~ pX_B@sM^K ,,c9]f} v#3p!?gtPdpD#f1<ƽ1.H9Ovev3*8! B(JCnDU]Gocxz7xoz9Gݴ{G8-^2> &#.e 3,Qۺߡ؛^.2n3fdZxD`,ׄzNBþc0>%袇"@B<7Y:وD:.M풮t0-2p,hI_ou)%´YK1M,O pK1Y_9CaJ4@s34C1wkGhZsnS' 1m3\EvX:%l8,PN?ĬgF)sYx:֚$;"Ň'Ӵgg6^H~^[ Oˑ60W؍ތUB|ȟgSSǗ"FgօWU31K=*,Xe'gpݚFUT?+-%>D:iES>f\.0oB.,&d]A] V/gT7 o0УgՓ V /_HJVm^0NXUoFW7nkzc}d{s5vREIʤ=rC"mb%CrJt>hXOUcL kqF{ƣ"J͘d,`6Sk3ѝGñ1 uz3כn©V%j}óIyd"%ZL{F d O_.4RuMBROrȞkprK'Y.CTEosSUePKZ*4~A8bo-\80f lvƊ?@h<_Lvz%ZtPUJ 5xߠϾzwhogr6&vё~[NI>(X1uVBE K+(`%2,#NxO(?tA‡W51gYZQPs] ƧHT'RbX?"ضl,~ayǬPs3;Jo$b^8:ۆݹyY@W9rj{*-MUt5udXYŧǔiװ\%wUaG F;WyTv;fE ^'Z9Z}]75U'Õ* k|6]\~Gp*ؒB=1|{H`j4hs<4b>vLJHG{4ނ?N$A9>~Ds9V `cǷ{ֺb_E6d/ϸCLG}]g5np"_\2 kl{ϡHˬ}XKCZBI@^΀qy;>ܯ/Ru  "*H3,@tmDnСw3hQd:CTz'HB~g iq7.)/! ;:vdge8'FS9D_$M|8`>CϒįYRo:Hr4 cTFMekHYYŝ-Wy g9%'MNIL5][ ͷY^Kq78ӗm_xkR^mvo^MRkύhnػi=R8Lj3h6!33n|D7C/ X2|4-7.gnxN0|2PCNH"^{h*@9!ؓ"z$nEn׳<BH'q۶lP9'[E'Mp[G]R9e/O_gH1Z YCpj*#%47 o8}zuMڄC]^}q>K)FwWM~k8MP"T9R'lm^l?~9RQ" !@UYyΎ`/O4z7& ƞSn$سt #p6okQfo$s?,H3盌/N\lT- ?ڟ.<opZ =QGwnJ$9'SLg[b^.u[«Ew8 cRatK_=i <ភrբ/:: BB1WE$H Ƅl'ZOic|Q >@5pP{ Ϙ!wGU^'/d:ŭ3OD/) uGG@Ed+B,cɇR8#"VK8{ X[/8"QbO`&Q/ڰae<"yK_GBCi@Y7qI#cN-uJPϗē]Uc6ON)jK_p*OJd>B4妣XkkV7( XȚ^ߪ4c;f#DB;tԳm>sutpTH3-?܌ 4dyO(b(eЃR 7#:vg9 NKO**tXQeJ7Μ@lBpLM`|UH ϫ%(Uۼ@z'3'4 Q2ٹoiR3z54POXI)$1M4`'ƺ[P˦kA3gRLض'"JzQbmdsλoXJǏ7)pN UJ'fhlG> 2N֌1(E]X1Mp a/ٞ*e+EmRs *of:8t(\W>g3t)0s)óioTbx.mz#Ys$$%qx]S#Z9L}AJH(G/ gy l/Dr3$y# #Nr'&t|=er7mN`KZa9uF.+%Do^6˂ ,B5Dn#;{um <1eōrS.*1i0|i/PuL(w,X^IK E,>, GCIpV`D]"Om:| OnP+D xsC~=/&6vxz+1Fxm5ʲiMBeJqX'l4i ',FױbrIQn]%M7gF#^2}MtP%7pކT 3c-:Mtmaw ONa}"wI٤S4Ei`L6uB89t8fW"B;eFwA0 ذ]X3gYZ<ڶ[D%&*)h@^!# J)EAU@fKKiupMIHӟՑ7@,׹"S$[,/xF39R:dۃWPoH&baKX.JH3O1I㖈;`\,N%}Y5Qy.YVÁstD.|v9oFAo,^Drd~7z{=VCHZO tn6t4^ųOT` >R`( pt`}54*^7m]4sʽdW5Ĉ l6m}T¶Df2qo+QUG'S9"P/UgRweNPDuUϭ̓ V힒^xzoy1_ + e }>CySA¬YX(4 $o?FgGgM\9>bA5M@SdȨqP7r FFI=]Mo7qQ|6k9iۋMԅ1 .H^CO&]I(65 Daiq ^\C^iE#BF6V'3tf^r7na^5;o a 'aU/RDs /?ב ;V ޙe =c3+`:{ T(>=_gyƱb}OĽ{O/,މ m1&u7h #~p[FapپR٥M:CCU_)i_RׅOU{x(3_+CZR\cm{c["y=@6VXdAWyFJ287{Q1gS}p\#8k9|+Tei9Y;̡) *,8V?/F;+5k 2az "JGF*'ɘ-tW[؅L+%3g"&K r7j%NmccwLmTBqRW`SmbDˈB"aζ֕ Cj _5 pBNJ>9Ɗ!3lz˘&lV5O0^URQO=h{kбWЪ@+!uR6`@vC˱5+QydBǶ8. V\nWcPp uL |q=:'@>9Ffx˴ Ȋ=y=14zY&#hDIpc׆n.fP#wD>#RЇDp(9o_B).Ql r4?n}u蚸?<ش׹ _y\Y*H-?<&L:\YLT }׀me7Lr׾ūX+d.GU1}B}*tz!NK삨E6xF7|Yvd=E{s0XԚGP>aԃ7_0Ee<%HCyBSe(I!Q#MMWu78`GP+xuBXe4Sugx3?‰ S)m{Qx .X¦8Ə|-Q!0l^H 3 p6#lQDIZAW\;`pJ8b câݮB2nHIJ5]ruZ4xBJwVzΟ7{cA@ L"Yľ]Jdb%? CxkA(BU-)*TblT ȡn2f}UB{B 2+v`Z$$ok$eWB5[Avzʤ1O >.>?D0*{6~uP)e`wRsfMOU&a;jqGLnw81J*DOVsZz+<ύ=o[(ϊ*!k!CuE@4 q%_CTv?}6P˸n!M e C:2MmIw%+#Q6QּkeOuDH,JTП̳ٛQ" >2OiOD[G:m//.VGK|~]5&Gj7@5;'K@E?@ӣ_#?cM*ŃN~O=Nv]^KN$걨.tCˑP.Km~1jE.kLX!#IAF(ZAcAa?5,5ro+n|]CJk9Eq?XW=XyV)+Nj6=;X/,t_;J60yl15{UWT٫zW'G"#UTG1&c}=>OOݰtG0|T&vê6;%k,Yh  V3'+T]4L ~'g9:Qq{'`&r:V9q?,nk#0_]EHm9,]zUo/2c:6(QX{e*i(^'{$+M=6Gq.<Ζ9dw2 $ؖI&"` $"[HɭXBsaz&);77ɰ?A*|ٵ8KCFma|O8PR5x/;pDE*ҺMj.|=o[\6dܭ֌A7 ]׆b]U2ugׅ.Sq $x1&1o`MFHƳ4\($wQ:+ ^eKehgm:Tq8چݗq*RvBɀ^rn5?.H#hVoa@P'G wjߏtd/]'_S2Z# {8aoap1e|-=1\ ;)YүGӯ<@%IP_;СVQa|hu^%3]Z D- ɣaT>̦ՔOcΜd:`L2$@A XV4- i樸Dq7pT% fȜ:Bx:Gd$STWpnaB\cfI07d b=oB(A'WnKN'PًD)*}?gC?!3hlLz;6ѕK C'x& ^0h/eօ̵Vo?P9 952GrӮmBjn~Ykq%7Ϧ`qF7Քa;\TYi0%L}K[b̈_y[J591ĉ7)^W1mEb9 $dÄk"zh8QoɄj@3$>몵IЕܼ ]J< ϸTKU3L?fݓ ':roj*7LmcZQ[+i9]~he2Oٯƪ˃Q$(j56w#xM8lئWj /pF<'[rg }q{s C9İ)#X9q"Ir-<a?`fƸ̪p+a^-S"FwQ`6g؈%)D)ն@ :o*ސfVSI ,~$(>JZrS3{C +HPgX_=+b5csǝ 0H7ubq}q0mcz 5#>T\0}²=Kh]βV 67~gSH'~ sii]ZC K&ee!|-^_'|pHMc .BL0+0yϛ2E\Bxt_g9ѫ4 =qrʼ+NJ2COA;EqOcUERiJyqH]hcXe waƊ]B ){hS/32y 9+\$3`X{75|pzV𝈅UKdKP`--`(~Ǩ'_x4#þc53oY5@W͵Ο["݃]zHZΐ=#ʔg||'_Q뛆~8|8#j'̬e8n0_O{1{UЦ=o6`kD`dlv'XJ)W{dTWJt`aobM6  X)!8t.8C(yUjSC#!P e_,yüilZqOkz|B>9@ZK9T9+P PE6f~RiQ;1o 6b,Oy+y ]5l eD̴[`Rv-l* I7MJ1QЪOۆ h$ jt4f=#sAO?w)ہCQ'C^)5=ݴ 3,mQ2}:b_ qk@@$}t^5Ԉ w`&;X|JuIMoMw F߰Ն=eޱj@wvqlCR:țz}L7vN>01aVC3GY뽹/E^吏crA&*`mPZ>lVE3>_;ڰ Isz#kx"\ Kʨ~ ֛~hΫ/p9yA6`dMEr$'oc5m'\8) oPd<8-MpO(`̏'M&$(alK%V,ZVbE.b G򨽣z/UA<%_Dr1T'ØciE[-{87$W k>Fh6(^P69XX?ݖᒅ)ȯ0Q^ sL4 RslZ\t^f#1Z XGsZ" EΩ?` OyH}OH+lɻ71v.Euǡs=VJtw}5A5y&cs2t;J6拼J]ls6ᷤ & 8a_EjjtU?tb=w;Zr w;Y 3t$iZA;;{C@7"VÚ%!6.HhZ9 r Z_qIy^=qS4f1K8Ex7ٶO@=ZhтapBs͟Q"l^ʬ98/f.-̥G'.mqRP )r uy[0iPރp>U#*lY^ E*N{O "_,{T"61:0f ~ݙ9^,UD&ַVǢk}V1v8:_sNXCJ_יiSHWGmK/S'7?!aaXNꑴD(bQuN {#|~#X|KBrf` Efڣ(GqqVHwiHc>?ƮqE޺8ੴqzUu:1ܼ/HJ -x; *@36^ @*GcYd>!涆cc_.2qP$tCWG}m.UcUoxN.,=taċ'XUJV A;t<7؜=U&)KBs8ri"c|ay]`S1ܐ-~ zǮVh&KLq7 @e,T8D|5i;mqS৑dDSVl@`uYH%fbt.D翠>k݉ۺ2|jpJޏh1I]?6%IdQ Mn@!%Yҫ7^; AAfN% x@*_YM]{|gytdwbZF$l #V4IeA(&j2#R޷Rd~:K ߈_J2X$~xqtgNj2bi\9fDytYR乢5YU "e3ȘnJNV ܾ֚#+FLK2+/ifPXUqbX9a1$M d鄤j5 @;|O2_ FjTs_5,z"Q aho@РU~%4w\NL;LC9imdK{6,A0C~6~<#7*Ev+iF~vU3ny;= ;[k6ҥtg5yrq3 }~C$.lD)E6m?2p]5 E]mD;dRu.}g! v lETlTi,ў&1= 49;,ߨHؕ΄rGF97)xz♞Kz;w$q̙4]ws%]ȝ-^4cߡ'DֱgYZ ~~!A% Hoare_TimeHoare_Time.Sep_Algebra_Adddocument.tex7zXZִF! Y ]A-MՋhvG"uIBm5ȢCyM .}T\%c2+c xګ`r?lhFFd`{u$0}lb>&UU+0O#E紟DFw2:SoI\i~II8pJs=Y?$s G=<rnjm! Bc F/qC]ZGrƖ!Ͻ*<{]5` V#/MJ%f7Ofx}]RTx,<H!zK.oPz1ghV~(=t*pxcdR{^Eux{ǴFy&؍GwݠրN8i6.$ Kif!JGIGsCO H12T?}5ʤ,9V?۴t^w=S?:g* ~53նOO"=IH2`!עErɎ˄'p]_.:M"eq_Yq Ie͆ ؀,R1rKoVg񡍿(`sD,='eźҭSၴݓ)xqc[ha0f9f^6N:b>$*_Ҵr΁Zb q Uی` hM7$PW{.lT #)7fmM/ˆ̱i[_Lu$ݕ>]@amawƣp94c1qS|2TH<#UˏZ1qt\yʥ^Rf=Tp WV&-x8b Χ)}*'g]%vk;ܛ3~.rS+fpR·g"ue#S%Gg&gɈ0{o ɌzyCd>X)ѝSj !$?_Xq6?OlߌrO'Kvt}O]a[/P4 ?gVvdrg;ELo<)?}@5ړ&RuQ}{NUltSǓ|86.sFOߐ #[9jH9(~\u >GTi/PD%4GkI NDGk&|9R!5_*Ip?AM$ LiP6<*DB"׊N/QRMHЗOBԥ+a}*OGXo:X ~۩ ,w#^;V{hS_\lD\G-BrDn}WRLӢ1.h(+ m܍aCk%.<Ԍzkb[`,f^~FS"!;SwTɄ@,_e%⋈# F?8$S易CSNǏ/n5I(<̃81Ǿ<a=4kj`pUﱡH!c*ނFVM'd{^h,<8-L*/+%_Ba鏐9|J˷r©nNH,&Zu櫻KXdŗ~,Z-3N49S9 lCqAf|M̼<˖D S}">lJ8sk2dj?O0t=Va& fl?x%a9)HVJW9Y0-6#7ʪz]A-MՋhvG"uIBm5ĵnw@v\nEh{07D|{AM}q+]S+~#Ps:Ӳȥa 4D$k ޏ$ K&s&=Qw'^w"gmLP'TRƈSY Vg챗:)\$_SXCmDլ#gĝo1fBnCq ri0>=AĂr+6uv{Ѓi/q(BM+-ᮺairާ<|+$ +GR_~A/G͏nH=Ǣ>X^-:?^m r%8˘C;ʎb+rlBy57^72L‡fqckK +<)}F#[y_<-ym'ya GLQ ]>$DϊYWn1׳?׆ҵ/ Dg:pL:[(k߳@*aGۂ/kgBۊ~~d'+Z3]v5w+AOh. (.ͥSCGE5\ޖmRKain@x< |]D]EU4SHnQM/}WTM'd5%X7ɫqAKV_S_" >\/Q' `|;%YO=C=qWuZ2XҖnS?j2w02tY۬U%\RؠШ߯ /f)SFݔ"hlшKD I6{ ՆG"ɺUP!"~ARi,2aot|ЩNm銙d"DviqI6f03ݥnƏH+c"ы .VhAGq^˻||{nHuH&6ma"ANi!V Y6Ϙ~wp(|~A~2I_Ajtl<^嫄)TwXaG [{(׍@RM>vw4gE/Nm^dڵs!RӪMR0" e埲ˀ"}=wGgYZ hh*!?% tHoare_TimeHoare_Time.Quant_Examplesdocument.tex7zXZִF! A<]A-MՋhvG"uIBm5}+홢M? ] 46@4 6/MS$ږKzޠ,.3gh ;q b/o_aΞK((06( P5A ?gmgdOԴ5/I+4\t'D[x'"ě W8$}S/68Q up Y pN7wS}|{]iep}EcU <12?UL/@nulP)㚇}z}I +K9a7*7h¼*=Dz"MY'& '숭%*ųm+3:a~̂i\p; |?."aA/kkd}jh&=96zΎF&c)+]?螽0M7{s6#뼓/kGK{X!ZfШZ6"Q}StXw͠>B a0 kTD "%xK](řBG(X2X$Î?w, Cg1ɉR8_:E 4D'#B"xLlY=]XaM$fcqz,1y5:Ʌӄ@n0_!tH_2GGTV R| yi DlI a4qi|TxR_\1%:3TE펛1 N o/e W?"Wxp32HeZz'CN*>3S^^pxdr Y{BӍ3rAA-ÐUր ӪO@pWF0̈́ɝ_+bU"lݫR\Jv<9H>Rhf/ +V^k4鬑e+豼 T*8/;&C~Ψ©,Bj}j[ƈ_Dpͳд8rqޘ눆+|*yyk Wh_]("fbpW0+_:mj6f(7/UQD V~/f `+K~ݍf넋3qNիcxMgGUvG>ϩk U71 \_v઀};W]s-||z-;r =H_vz<:vt%Na5fq@RV,*F9~1A@ȮNrKfSUc:qX[, 2Jb|CӆmCAA@FDPn3>b,56v fʯfpU纆yȁ*Dm'51EgrX/偎\8j| }M;!RT%x'܋jlP Z5+w8} y>uB%+M{g# dI=gYZh!+% Hoare_TimeHoare_Time.Varsdocument.tex7zXZִF! >]A-MՋhvG"uIBm5*4Ys,L9-1; Yv!v+Hp~R6oP? j ! ^vEF>8-m{LJ漡'% MwʬO.256~w3tP8 O&VHE$HvxnX K.bF ' m/X03C|_"yLwZ%)X gJMc}O/# )@e}om\; Gwjzr"<Ytg4ܝwѝzVF삭[Ju$eEGQP$]lmkSN"oK5އj_<&sP ̗LC`x9q]gk/]gN\_v+ k 2Wn`#loO.ߦA-aYs]@-CKh&HW&alDui"SE=6) l@;K~ȳ`T?>@wy1oW$o5b~r\ ؆c1vn1ɭ㒙ǹƀ~˩)3e4brp%CRƟ_zesKZ$(13 T,պ RH0m )VtBX,.}%:k-/(C(K\H5>:rEE?vb6N,ST&κܔ\ɍY1 w8A\V};ɥJcv^?VSɄT/F>7K<@9uA!wJnoaM&l|?yFܣZ>`!،3/POڃ:J2y֋)h4ƪELG\:LL$7?Hf\P;@J}B" ÝCPL.+|rigYZ v!W% VRZCpʦRsuqw26QB?WfMg+BÅ3@ܫ] Mz'p,鄐IN@xF`y> 'ewT{]ki80~%mU-aʔ9(*]/{ #XYs m@Tr;K^7oVxjNv"KFX<ִ=.op ioJ4EIщ!r"C_"Z𾛇7x"N3`F>RĖ}2GÞM{,M-]ړcoJn-wd#CWAq#d]u()L!_3Xfm]Dnj`8kq~zb>t%G0FMzx=dRD+9q8uRM6d |}t;29()i|T-2a¡foBXQov]B3a_+gZE\~:O\t(初+D e?76ֵsǥ eB<.$'^/+, &UxF_jЌ?cjނ) Y]d<Չ46Y@>" spj;z83,Nk`3 TIGcOi<.Nb@XսӖ*8Y3P RӖi#ˋe8j$Q,ܼjppvioĴ_p&-h65{7 q7(4utc_fFbao1}dndjTNC_.BQ¦+lܕC(@?r XH4o*YVfOpGrUvتaV ?+,3N ƪ'MāgO,0sAQ /!f rhoz6 w8%P@?Cn.OdX%%Gg)2sg% _j\b*pC_8^9KlR+~Q ,a&"- K=(Tkpo^,Ds,, ?$ٌ {g+EsǸnPg;ns+q")ri$2sVBkBZ%8`*RcZT #ҁIĝ*o (l-O qұgYZ!A% ,Hoare_TimeHoare_Time.SepLog_Examplesdocument.tex7zXZִF! 5]A-MՋhvG"uIBm5ȢC=zN{ Fػ \~s&H~PXNQ[ϻ@Buئ\Kls/MnEc]m23Ֆ}/y@s~T.4,FN[8p6Њ[ec- Np.Ib)wȪ$zR1s(h%4Sf[˫>V1wa.-7 Ѵ{cIwnMirM8Z%ip+Ε㼕HN[׌ONR>͈s[ϐg?#ٞ^53;_G\ ƅsPWl>:R@aiMxB L&\sau93 s!EP@&ʜυ VSurMyRJ ;xYMq ?\O@jbGmTndqNjhq,5 Xi0zM9̸i"acZTr2h r`?Ic?h5iPuPQ ӣQ%ƋkV.,syS ,^K:29^]rb6qynPYIvfLH^) 4S!gR| gv`WT ^Z Za;dC<(%V%l$Kukť|dwEha~hC}UfN!P*O\ цckQq&?:ֈFB]F<'`9?ΝXo(y$邆s?Ƭ j]Dyu+.J(4yN^@*IuӬӉ'͞ [eBHK_f)|;ӆ,L3lQ]SX*% ȟ3l %;ǐfiW<ϻuC'T8!a5 mejpܔƍazq`72LjB!ܖRo@ܛ3/(?WEf{#pMOʈ?27 HEp68lx+ogӊd*'BZt\EISnjZHI'̇wXaol00s y3)dz?2uX>+g%pj.qq AQ#`~eȽ9 (2l6 ԉʫbc-FS)] ;XҐt_ȥcŗx2S6~iA'kcm gYZ 7 T7!7% \Hoare_TimeHoare_Time.Discussiondocument.tex7zXZִF! "]A-MՋhvG"uIBm5vbӷ[V9r24[/$Ԍ *]yWqƞeC$Hj1@m.?|  w*G-#Aa啁`Qu/)NĤN">s= HQ:.#l[t,8w; !S5~t3 yM̀m"j (T}| +,[l4URkZB d),4DjdBb14`Q&ҏpp젪.B@nBL:*v_ґT.z:_(NZjK ZV2KKdʆAeD̾CW%M!F*nX'Ӧt# ÍW$͑fM`^| 6eA ]::RpI@K||qZrix _촸vl3)p' Pl`ftnmAd,+/S74Rtq>ds>4{:Ly;/N (HDd.b4 8Ff8b4"uS? =Exh]ZJU,ACwdc8D{kZ1X]/auJ(vulڻTMGP.]cӗ)Y4AR H#Œ&D.Qv]6 YYnJ8>1 WgT 9:ig k iޙu~5z 3m6-Hr>HrF6gT{q{BO~2^M6̅=qDN)3욬S DbA<ɗ[LN|N!"=S%.T+g=`Lhɲe/s݉͝XWC#wM.ran8hjb w'C9~gj"v0h.GVhauȝGCcy<0$ڂCOJM G*S`<2eL^5*lҪ{Ƌ9^ W$՘cV^ЂI*'Ciy.Fm~\m~muT9*!Օb!Q$v {"6s[d㓯'>hh.5xUXWW>hsDuWC߆^r Ol 7'$>؃oI$5_;=(l 6CI2 aDJ"ЉiN^cyz''J[iIX t,`:mn~)_c@wDmat)9#뤈FfDĝVs6CE Sf 7l.kZ,}{^ZQʍk:vroZGć?1Wh6}GQflhbKI"DqCZN[mݛvL1 =qU^c]Uq<ʘ|VZde_t|>O[QUQN">8+LST2(Q-ŹG& m?S8lFO~OIG|ʱgYZ!+% lHoare_TimeHoare_Time.BExpdocument.tex7zXZִF! <]A-MՋhvG"uIBm54Yk,N_ ^@T9Jzw+ u"E:C<6M73S6166u`{.EN&fa!u/vu@af$N|ω}%׻"KݗfeDhY QXmR=pnz'JEν+5QFI7ID}OeO}' YB6z;T{MS0yF: 'jQ}iI& ; PѤ]sN-+"\Tшx]>6Wv {Dc~K[RJDV4 /^ƄQm]ε%Z1G@ [Ap3RQaKMVN(У{eGbv8,LRoG"T `NCk6ss€%pEfŠy56uyCT WTNDԟ):s&V~B6DoiQP?eݟqk"6MAE(b-~C9[LbK1S~pGm]$5`d`P=7d[VT6n𹭟ÁxJˋbKܹ|=d` _9 UѷgYZ8!+% $Hoare_TimeHoare_Time.AExpdocument.tex7zXZִF! :J]A-MՋhvG"uIBm5k k,N_ ^>?pLhPD[vq|U4E6LHK(sOyj֫J),TS=AHx?؀o Ȅlu ͦ/F8/D߂g,3f̒>aB+4 $=pk!-אPx6|dyCLP1 aڠGeshcܟH!M軖htu"Y`hf@|eKHh#l1$JD,ܾT̼Ã./{Nǂq}4I;tmPF]z)JE*BVPѠJD @`Cd2aFrjʰ[,2LuRPnJG|U,f_bKNZO˿}yDRdB&$89)^S!*|`,Cʞh]#4s/QM%h?h=>F\ܙ@4d#TķՠC{_%0K ݱgYZ>_m@ҙϽtYIAZ" O@h6jrq=n@,bzRi1mpЁv*`"NuĒL'1:_G]%52H2!UM%DFjfs=Kݘ`Yh6Hyl&-8dEYi^가'KL3IgՐiiL$<e,mՍ 3V_˯"2p &LRhwb h~߳bʔjA)Ýew]Grg{otPޡ䵞܊Wz}NVNUDZ 0qz^E(†zoKzk7@46C9<*jxR/]Gunң]֢%q2™ރ|>浢FCe <<+fdlPOA`pr4 r*tkc`Mj5R' APYx-"ZzvE7,)V3ʗJAG!W>i0yJxiKN9?^ӬpT-'}-SŸT?FUN 7_}|sҚWTLlsUT|@ik15"LnF@΋|j\*2hzvε=d.W=oϚXQʺm%>(_4U̠@bi3ܙ#?B,;lp_cJ"h.&}mKfkz{Ck5G)n ͪ8G 4ˑ'U:$JC18VPB(-*DDҶ lys@'2?t1pMtw~!6nxa1\:ppFW0=$Au"VCon s@)Bc°ܾ34m.1܋';u0XF6Ʀ`#]:+M< ѳB8CD%1ӫxp&07Iq ItrLڨ5"Pm2n+|?Zߌ/5LMZml|)ݤCa )~I_}aL]x~-G\7܁к $¨ޟHfe=h rhzMRx/b/I„Ż~pl!"xﻴl:> oHRfۇfgpLPJFSzmZԆ-L2 _O7bUv5,ƨumLLQ8VaU8 H)ә;:1|wu@I 'm L )Tǁ laץ*j"<&`ªQg؂Z6JL,ԟ8B0fQ 0W@$RexuJhPЃʈ4k;@ g@ٶ*;c>ۀ%ݸꑎ/e6$=%Db=)oOgwϿ*w(@`>qo?m˾OkCdg/#ֈ?wC”['y)ȳ/р'\´p wACw)k#QcY]e 񴑱ͽ{iDѳ!XH4(x |r?ϱgYZ7zXZִF! ]ŗXiɟgU06O`PEǯ<;fHtASm_;ZSLx3[5{|< ȍeIkRqݎ|L82sׂL[22QAti%ΙbH2Xՠ[Q4R^lϺS>u]F 1Ŝ^R=IQGCJaF_u~j ,ĢA4mrB(Oenx: W`,C3W*ֺ߇Wk]bMdx2Q'288 L!<\v~6֎2FmP 6*1ǤZ9\S'1AʦR@(J*NldUo-t72Q-6Qk܄̦cKBwK*~eJ+]EpJJV 9=,j;mb/YS]yr WcCoPC9>VcN7d%:Sr.˜]R*&+Vm]aKT U*#< I^~p#<_!mDO95P5`ߖOmD' 68ԋmmƕ6ǶA^boʠ j%' ~=Й^}$1B^x~Ȋ @ƕ[;NN)tq_nV48￶l)]!vS+7xC4lA ϘIX'dxKfuQD%_< >4frH9,՗" Gd]ԑ CLi MJ&@1fyƔuE~ O΋Q,¢kh1muHr\1yvO'~+d>_{  /T}" PrςYH=уk| =/z IYI J{>,i6PeFl] Ll|PlҐ8+᰺rg~uh 舲;W-ΞwZo-,kO. &f Uu2k-,TV!lZ>A }fZM9A{K8 il3#LڡU`M Ҽ,> ~ |B1 \] zsIBXtKǬ@f۞%C&Aw'Ri"և+y.R7ؼ WݔyaЫ$$$OZnh9:swwAXb"XzBP,"Gdh"A>]IXQ\N2 >cx)=drЬr<~_ѪY`Wuv4v ${ d`V ~j|a xoб|q}.u|qϟ{d7 SX7) u__C[pZ/ ;a3|;ԓl"^Xcó)&=z8tv_nZGE9"k\Y\7㏙M[ehZ"$A׻-/o2Fe#aufKS,Ҍz} P@7Ӄ6`z4Jp~9R%|',!?C{K & ">Gw8'1D/!xOwwb0"dOYeh 똂z[ 5Lh~\jYB6#WվH#Ɠ *jE@8 7\RzM2SקKuUeh>F.&14P^-o7"UQAHN]9'݌<Ģ>~>s23j(vK"8T񇪣5?{ꌆ 0YP[s5/}Sɐ2PYa}' GPX0aiMױebW;Q1D4|/q}?ؗx5Sa?jCN ?f"ʮs1tާ/po7UE{cul f&S `9DDž(?^//W0]oG-~hgF1% ֵ"maPg/+F@y q< hw N)08jb3 )b/6$`23Z(z4?^ lE:)s d(Hg3+uNHiGUAjdE;X(gM#/,HGe4(!txsé@Uba,&o'pԢ9C\`4#i6f?f JZŖI;̗ݼ M|؍DAejގr7K =h+J .(=kF+qdf%_7 fjS.fҏNXHe6e4: $]nY\:v2[[_wej6~Y~->gkEWkV3ei:B0c\k%wA͂=OߺL̨4bcnxJvik~roz` X̹>i Aq$g46TJ-n9 P0 l?,A >D(@>AlsAy{){W!5s?p ̀ `g(83 $WVTeb'eJ,M]ǠcND:JdSm$X*fXCbjxln[ ik~"kd W|2:lwAA.{ק*rG)0oAޭNj3?Q) v95nj~TƎx0ō5R)M('b:QTksCSyЄKqO<|]~ؖ+AZf3 ~`Z\k-vOm5O?BƫZjFf= }hbX< LEobx: TRۉFTVg&yl 9JZAtکj'wm󺀕}3TY{3j}Oۈ6Ya^14$g?stV[PaLfA XR&@rb:qH(만t^{h˥N9mqUk,L01~Hu2ͭmX~d6HA_ۓAP?n =.:Q5RI%tm?J֘S͏}@3S te*ib;z-̇ne%oR'-Ι\vE1b ßz+ O3w_-[^0h!pYr̕AȯoyD a+,8#ߕhQ)K0Ni;Q;A;9 &eågj LQdu[H=]Slnito0g%X*>r+̼͍n+QpMk0[X>RѧG֢xH`M/԰oH;@ GQo,x^4aveN3?ŗƹχE0>ar-[Ռ~A gAaW&ȎUؙzҒmX5ha!W*^%!;+MK^uCy^Gةx pÞhfJר ۳ͧHbʋRm;}.feIR}"_@9y7Y!g+7s۹^m^b RB:%{ rQd\ pl8xq\78-pue /.NJ 1Bd,*U҃ L+uN6uNGy(0Q~N7 ă9P)B|gu\ CM$S!U7v?"c)˜̠X 9 x,#ځ۱&lӊ4vkanTEB s nR%Z7z 8S|p < Ya> G6m;FX>ּ}tCj J^JUTelU,svhwyZ,=f"ejjŽwLPHS" rkya[nE}*d,J.iW9zul~!<CV F  w:ŵ~0ma:}N02e5[d7. {"˩iy?:T1NZOh*\)zeU|GP1ɟ|9452h NEJ: me(U/! =Xџi|E $rzσB6;bβ 3/I[ 1Cd\/32IduƘ:"Oq}jpLx &|]|MWsn7`{%@GrXgoׄVb;^FL4"bvMe]pG#v.F_;ږ| 5$@Qڥu'0&ܔ}j %guL9utE&=ҴsS:[ K>WTсtv% lDaUZgQZgk2 MO,0HH#xHdY8)ؾ}{,ach"hYFM=rldוq0-4c\M,/_3mzDž_qa(P,avivdgKf DNG>UO&c7Qsp5b;%ձGnJ{/R`ɹûh:@CS'lb3F=M`_1jS^I6Bi w=a§`oI5 /6U>\6(Q-f!VdKǎ&9]?TJ<"Ϡ íhW3/.p.8^dJZ y lXµR*ݦnHy&F:_NF>TJr`D.plko=F_+~~J{l4mmgِ^Eb]wrhzC\{2njK0&q|{&;ݒbC~jO lϳ8F9Ob]4KTAM]MEV=;P>VT9ܠx'ϳlh?ڞ[ /t3$B?HF"g6T5^A|s^D6"UZhP/2"?fލݻ91E@"*&&% pb4l7Gob(# eXʚ= ejWFg"Edi6Χ/\^FmDŨAZNq9*ofN:aҾ!TQm"ʡ/s<%Dd4@kOFV&DGxˋ@;WMZL|N4FNŚVj(m'oU${@LXe.%r;2y DMd__00!| - ԒWStUA_V2(UHG)яN|c7@1QMkyj,DTuc &ّ*HzE'>'@Q@29Qt{IbeKbr'l1V 8Zd3w1Ȓg.pɧF5G-,O))oi`K.pnNHxqa[3pSO9>nȃ5J}8ji6u+P=ŏs4N_%xy+|k܄MTaٶ薒hdx|zx?i4"d4lyJ6yI%ܜQ;l =0;Kkp}oLr9j1۪)gtK3R]MA؛0^'x0,/G ?Oȭ#lڂ^9y=0"7Jp&"V|GO)>e74쒠1ހbbLՕ ƨUJ)Ǣ5n,ۭS^ۢ,s 1PMcj dNr5h#$r6M&G KT*"[GAjQ2~rz~y`]"*\f8٫uk? umACyD=S ~jP^'6{ bBsViA|0gJ&18]R{70-eeۥvˮ@WK4FD !4DzSxSqpKS=_c, DR\:Ewd|$'3)o:Ę]Wmfp"/d,Zw Kl/ZBEx\y\+b]1_Jl|T[=f 9gOR~DBPx8dEEn*[BX 9L儖Xyof zmy .X .3^XT$ئ ix<̇ɣ%gc9"JHRPUL,::rPF{ Xk2q%>1DɟԭMdPD Z^hIg ځ|7Dl*dvsf9_`b Ԅ٣g;% pTc/IX̶^xr-LK~H*5 /rm(YLЀ#\ue8Uh, UݥosB,In\ν8?<4}m'a_mmS-~ TW ߵ[dn*W <;B-r/VLT՗\WȒ>  .{Őwn&\6jatWǎY_StFWoӜȗ,d)~ȗ=l)̪r݈J=Zfd, TՎB%3I%.ݔȘ/=SbٽGq2'#L9dϞO-(5`!O{V٧$<? WJ1/a'O? ?` ɠR$3n|T"te@&)ːzY6/h 녂lԙW. 6Ή|I;$ i 8⋥@Ց#~\WBryt08s\faQJJQ@a:ZpT1 -m)t 3vWw;5cp{6|AF1܉-컪Bf RF 5oW%$\"ǫX]: lY T(Y$Botke1""M.^6ה[:XWvdqbII8\L^ 2]*!]}!}|&WyVE cgYZ9f48f25f85e1661d4daeb6048d32c7b75f5390890a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122