SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ,,Q7r|ZohytfT 3c9w dAi3j aMݺWXZpUn[l@ўp(f$E`_Ensel5e5|vlm@#!q\IŘ8 ހ l_x 4ohO^BEP U0vx$~y?4C-&.\4nҨnlС"/jYS%#60@y% )_'?6*µ53WK)l'< v~j a vPNް'*ݯWKUsК[sͷ';!:@!y8Ԝ/ 7_ UǗˁ wâa.l׭qxl/:jT1[l #[w;2ߤ(mҜlǞ '+G @q+TTT'R1*$_|h+ 2ᦈs#GrKƍ NNLP)td\3U)+UL֦hA+@,m- X^/Wgk?.C3|r-|{LU% lBZ*,64a^﴾~q/VfmipJ`'#5FigY|8KN3] ` L E ^AB)LT>~Lw[adgRjL 9tWeXJoRbYV]@DաFc =tSj8|oگAa]un39@}X8ӿJ2VƉtJB BYIPߢ >]((\c0\G5 QްBAd2@07I ZN80tgE KҔtKt4=>NีۺcPwZ6 2F~υ LOdl+ |! r+Ƈ+^̬q]]|#2jkLW2~y\ aĆbrB duu؄|m@'J{"B\+?Ղߴ+.9wh?ͶEREE쾦5)) > 0fCs 0-,\\YH"_Yj̻F_7j濎b`/6?#t<* eb p ^< <ڊ^Vß*мZ1-1cسHuTn{Ƒpavg]֎ڇ[gm6Xֈ'R BO79[N⦸:4dgHq_M,'St _/=M9P'p I/\zJJ׽n[@l!pF}LM {{gYZa3912e0cb958b88530a5c884d53a788271b2a11ac3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 7 Abstract-Hoare-Logics p7C% dAbstract-Hoare-LogicsAbstract-Hoare-Logics.PLangdocument.tex7zXZִF! ]A-MՋhvG"uIBm5:T$DNr M9hlk L+>ac\2k%zo^ӖN O㡅y>*K r/M $KW);CG$e2OWV/zkXH&9"68-`pC_a86\fOհ>-9BK[޹9ʁ7#b,nLb)9.MyrӯO+ W726Nxw7KoSu:j8Y>ǥx JO_'=1yhǣl!#GVc|PC2&BƀQNr%{PXlR#S><O)U{PTd^d3Y0:e|> ; 3tsxUX=ތ4&;b:Ncʟ91oy\jMml2 S# !hӈ%($I3fz"`Sw>ĖlMLjK1$Φ%,FVJyCdTc<*HWUkq)}EƁ.ƴUȝˆ][L1Aޭ {Z'2z}Q.8a`Z$"mnI!(/N ZһQ[5yǷ1~lYB{C ': ;WN91C5:}?E pO} Uɜx|g7J;Fyjn%՜/B뺘];҈ =\`,9+~GdH?4%{ɭmї:?XsyĖ35F8aEu^IbV9ADGu:x@.UgqϺ=hu, Xf``b:j_ȕUjJ7CGW'KPY5U4Dpen#Yl~v͑H敕֕/뇰#V8N4y^g~p f/֮aP ^Gpr|wd5fed-F}caji) Wd4ȩ9#k鱬=OzsF3fz7XF]MS[4EΰE|OG SMIh7a6gt 0daVGhzieR Z$^l'bbb24ף͢Ӆ,v=nfZ}!"4JH٤qJBejObvp`'8f= |Q2g66o[cVvv1 'qphP>S t 9/g_XfO9"hɟt7/DGLC\CJ[CpdfR-/̉bW,AľFx$ ۏ^uKZ: 31$f1T"k`ٵ/-\@3X2t}7 =Z)0Ӥ>I=B7od>͑j[^eھugs"^#4YYq=5hLk=0ҒQs 4,JBuv^S)UN Be ZXQ\B2ڇ48]RbtXYțahꗽ3ZFkCv3;XT")ʶkjDi7ӇLFFQ9z["K,H *q{Zƌ`*JKn;L:EJnieR𨺾`vlvSs9`56PY] kM栵0667֮BlWPz =,o(H3pՖ)(`h-Vci''-[5AB70^]cw_|\*̲/SƓW57|qYLUmE&(b%PnO"Pۡ- #cʼj0dNO?$r;ӓ6ԭW*Vr(f3*@'6̓Q}B+C:yeƞY |q6&Sݠ/^_nMk^k[!P{NVb8dTNIx\QǚfVXww擃ѓQon"D 7Q/nv!;ʞ\FA6o"Y(R9y󁫊qZ8P+r T{{o|`OX)):G*9J ViG]a[KK~[Eais%EDt 1)gTjϢlfD<`'=a&@_zSlv}aLQM6 e ^VBNLC_k87ZmTbtf,~֊ $29Yydv-S٧`ӧ .s:&_ѱ@ߞ?.0:ruYvbYH}8RÚw#SY 7 4ۀ^@@0k -gTqpUmSҙIߐ&yFGԒ,l$| ]tK"j4'd !P7AcZd6hwɸ0Bb/Z/ akֽe[`..Fӫ2e6/!nm[l@WRAh6ã D+ 4oWq<;Ӗ221l)qFf?(L?`v/ڻM  $      u K+Z C7E%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PHoaredocument.tex A7A%Abstract-Hoare-LogicsAbstract-Hoare-Logics.Langdocument.tex C7E%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PTermidocument.tex D7G%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsTermidocument.tex B7C%Abstract-Hoare-LogicsAbstract-Hoare-Logics.Hoaredocument.texB7C%Abstract-Hoare-LogicsAbstract-Hoare-Logics.Termidocument.texC7E%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsLangdocument.texG7M%Abstract-Hoare-LogicsAbstract-Hoare-Logics.HoareTotaldocument.texD7G%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsHoaredocument.texI7Q%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsHoareTotaldocument.texH7O%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PHoareTotaldocument.texA7C% Abstract-Hoare-LogicsAbstract-Hoare-Logics.PLangdocument.tex0\Lb йQ8tĿm >9Fu@EX:dŇ]L 9Z:|o~ Dx_^Cx_3-v}_ϛ5kGu\X L1 Z0 +.IdwvyQb&)[f-qRwӆ:*lCbZ/ عK|9]0/x~5n%V^ Ef`Qnv`4OImayE\_Ky? d8t' Ȗ=M6+Hlx"]"8Yftw֧1CAރ*m9 旅MJH A\7GAO*#d~ -\5 JbR/_$6- 5Fܨ^A(n c NIh; XUGR,-ƫf+!$cDcR)ՍGCVeQIqc*D:v1v ,Im^FnG[B6 !xX)8ۚr0Ɩo@H;ppAEJDϧtY义NAr?X1ZH߁E~]pN|%kp^PV{idkpҒ-ӦfJcj_/&2;JK#@JU'pU_wCSE G߄4UK*Pi 2\T -Rwr˧o^.̉a_E}Ttq3`>ñec>+ª=e$E:7JU^vM*tY2d1*SA̎~u =GFL"8< K =IZ!M;ywbAUhgףE?Ą\'l& k>Bnʡ9̄D~7"Vb$9G#ZSn{HnGfMfgKim.D8(:H̹RKK!"@Kة|#?㙂mϏc"˲-ҩk[ AϛmTfbAIM{0ot$s67MX03D?py{ˊ iygOjr\6kֹIn+p6"b2jmY]11OY˟秴D72N ø9ΌoM/F?PM9e>* ĄR!M>s?CYb0ۥ,x}?B/B9GTC~(kTA2 AI X72Nέbu5b|X`# P<~gNtnv]F2dZ#A6HJʀ$ ir:⿣ < af%~&;`EcI\̊#\-Se^a *F[fux_|z.j|ed(ŦSV:g׍G,v!((m8OSfֳ$>`Ug( =jzi)a@T&d/\b),D!!Cىͅ~=K}^Xʈa蠆S4+ZLԼT͆4,` Qڃ_DocM xjGQ|qM;=pE= ) ?dKvtF$[.<2x.kӆYGMgOG q֫"zV?GF`h6̓el|YHAk(N;}@%fwn@֠},H tҵGI"hPlD[= MRr&Xƫ26a8& !4ƀK69M).m&knW.oqN( g?}[0±fFQN-$"V3:MMm1:gR#FVjJMԱIN!"sH/(*2e&"*X%oNEHSy^Fz.#k ӊ}*F#Dk ]}+5.Gr;f,&umL!*F/Zz޿^CKHam5^3njٌn5+M;[Wt&݀ J^7j!#O@M.0 {7v6ih$_H u̍+6㛃B,)j̜(STm37%ɤ(I4yVkNH;dO.k\_mwUb]N||nw~PC T:W_=I0*͕H6"NzVf'M>W+ZJд ՟:&I^wz+%?DQ9H!w%mt&=Y/ְ *: y Z5:D)Ҥ%po-mL &lEg 1D>Niꃡ%gYV .=}Eo{crZ8IB3{_syAr^dj7/ulnAB0ق7ȟXEMK ~ K~AYbdeߣWG-TkF#7XHO?ei8]Wc5N/L1̃&&Iv,-FR@a").dOb7k?(S)IלYW_XXlܼi~t^%'.Qj mw^b@Wu[nwņ^:aļҏ^2  *"2g?̛ofgk4ir+J~;Ӳ(gl2)^J!`,ro&h?QR׵9(ml3#zdΏI7{CA=Y̲iHhu:\AZyP`Zgjjx%lm/=0}1-ֹx7jc4ʯrvGn+PexuBwZVMlzLOB_rjnHb 77H0&O4FGEPǀK 'SSh$@"/.ù%+=>m_] 0<8:Ļ.a)R_y=ݤyfR0O09ȭ2<p˝TH 94;uѸ?dlfhA3y$V0!L]l,{S8=i'_L^c<Eh+[TFdn ʐ 4=̀kް"5AXH4ngI9"@W!8[ŋvg-FV(9Y`/ee}=6ײZ,zPhE' 350I6Lm4iO%&c'&DR^: ~zfhnkhs΃1f]cb2o(8ޏ<NBi++5 Rj@7:b!7xU~ZM;[qhjAjPf/S}KSy&Fb"uc7/F75vJ;Xnᣐjd1wx,yi]5iѴjfVfhׇ Ra@P4ȶCA}hlHE!Fe3|ʾ_K8.c,Ĺ_}ETE<Yg9UiȄd_B9O&*-4 ?H3= X[CUpWykU[IJ3\rfNʞX7-l#Z򻶔>?˭ʡvF/O 1𗰿p$0'`㞖='- :BX'pFe ʯ %ȫnwta[x(…PU¶-,&QK7Y֛k2r{?/w?ڳ\pS\> % 8RF9Lp* ]wmƜDf]'w.gXNDwoN,o|UC ߟjŐǕp,EBnYm Nd,O`DFgH:u9YFTuؗt&jskCY Fa6AaCk, ';AUvCȔOY0Ďfئo@M[KFbu.3 )_i7wYI&g0}Vրu16ooנ bhj(dzUӭ]c%6Ut90foE]մ< ҽhYbB)p7~긦9ąq{4t~2BάS*S|q`%Íji9oE:=*I΁@fոᙫJצjɘ#B?Tշq(qK$]/vs'o}R7>(%U@*/l&m`9iJr9/f:=dڢ7ɢҩyqJјR.^ED&kyMT&r=3&yeA\4`3lWucvp)V 1b먩$Zm!B؛֭R|li%dBt3O#.B4JSwT /$/ {ۭpT̅VzU} ]))M7>6C;͞uv@lõ " kxU (ɽ'-7iW$Hq1Rtv+.tNK򭦛'P4tS79ZIuZVF g7W;RLBm42NpBs\aD e3ӽ4ܚy.=YQ([kBa@Q~{C"rYEd&bM̥-|xR'FGU6e"qefFOBVa 3V{̨ĭJw 3%W-[:uu)'l:\-s_qFɵrbbȠ1 KL=neޫ*;v/iHl";0/&RhwnVΐmgqR+F1Csظ/j>EhXIdLt * M:_@DCy#ep7BB|)xz=vBV/s1=u y/nޕ1YxEƞ(ЏۊU >V}^#P\qZ'Fq,v3v wa9]h(]߽ (_O< kOc4M_t\c=m6]?jC'dO}FP<*%⏟y̨?1'-\CHq.x$;pwolYD<-b ʄ.#pXBf>;i*G-M0x=uB4w񺷱Y 3kJ$m p-ᖆ8ϝ&L܄% _]KWJ'?("D"=AlN\QmP wմK\CpCOp JTE)0C]_&־"lMq$Y:Ew՘vuݸ5w>9CUs;ۖsv;D?4G\9?%Kݎʙ?ߐ^ͥ!_oVo%ʜTD3gC85ijoQGL0 4&Ě3y#%Y6\v^06 ES, *`U~E/ňXBY?4$dPڴ\V?)f2U E0gYZ p7C% dAbstract-Hoare-LogicsAbstract-Hoare-Logics.PLangdocument.tex7zXZִF! ]A-MՋhvG"uIBm5:T$DNr M9hlk L+>ac\2k%zo^ӖN O㡅y>*K r/M $KW);CG$e2OWV/zkXH&9"68-`pC_a86\fOհ>-9BK[޹9ʁ7#b,nLb)9.MyrӯO+ W726Nxw7KoSu:j8Y>ǥx JO_'=1yhǣl!#GVc|PC2&BƀQNr%{PXlR#S><O)U{PTd^d3Y0:e|> ; 3tsxUX=ތ4&;b:Ncʟ91oy\jMml2 S# !hӈ%($I3fz"`Sw>ĖlMLjK1$Φ%,FVJyCdTc<*HWUkq)}EƁ.ƴUȝˆ][L1Aޭ {Z'2z}Q.8a`Z$"mnI!(/N ZһQ[5yǷ1~lYB{C ': ;WN91C5:}?E pO} Uɜx|g7J;Fyjn%՜/B뺘];҈ =\`,9+~GdH?4%{ɭmї:?XsyĖ35F8aEu^IbV9ADGu:x@.UgqϺ=hu, Xf``b:j_ȕUjJ7CGW'KPY5U4Dpen#Yl~v͑H敕֕/뇰#V8N4y^g~p f/֮aP ^Gpr|wd5fed-F}caji) Wd4ȩ9#k鱬=OzsF3fz7XF]MS[4EΰE|OG SMIh7a6gt 0daVGhzieR Z$^l'bbb24ף͢Ӆ,v=nfZ}!"4JH٤qJBejObvp`'8f= |Q2g66o[cVvv1 'qphP>S t 9/g_XfO9"hɟt7/DGLC\CJ[CpdfR-/̉bW,AľFx$ ۏ^uKZ: 31$f1T"k`ٵ/-\@3X2t}7 =Z)0Ӥ>I=B7od>͑j[^eھugs"^#4YYq=5hLk=0ҒQs 4,JBuv^S)UN Be ZXQ\B2ڇ48]RbtXYțahꗽ3ZFkCv3;XT")ʶkjDi7ӇLFFQ9z["K,H *q{Zƌ`*JKn;L:EJnieR𨺾`vlvSs9`56PY] kM栵0667֮BlWPz =,o(H3pՖ)(`h-Vci''-[5AB70^]cw_|\*̲/SƓW57|qYLUmE&(b%PnO"Pۡ- #cʼj0dNO?$r;ӓ6ԭW*Vr(f3*@'6̓Q}B+C:yeƞY |q6&Sݠ/^_nMk^k[!P{NVb8dTNIx\QǚfVXww擃ѓQon"D 7Q/nv!;ʞ\FA6o"Y(R9y󁫊qZ8P+r T{{o|`OX)):G*9J ViG]a[KK~[Eais%EDt 1)gTjϢlfD<`'=a&@_zSlv}aLQM6 e ^VBNLC_k87ZmTbtf,~֊ $29Yydv-S٧`ӧ .s:&_ѱ@ߞ?.0:ruYvbYH}8RÚw#SY 7 4ۀ^@@0k -gTqpUmSҙIߐ&yFGԒ,l$| ]tK"j4'd !P7AcZd6hwɸ0Bb/Z/ akֽe[`..Fӫ2e6/!nm[l@WRAh6ã D+ 4oWq<;Ӗ221l)qFf?(L?`v/ڻM  $fRz.䕚MIbAiogYZ ? 7O% tAbstract-Hoare-LogicsAbstract-Hoare-Logics.PHoareTotaldocument.tex7zXZִF! S*]A-MՋhvG"uIBm58#.Yǧ.Hv2\YHq4bI~c>]@NdJOQEK' Yy8HyFWR0T+AF1z\gij#:<~ 7DV%g=X>8e%4J O!엪#^]4|Jz16ʞ*T:ro$ϘiJAc_lλG8 -ih%Qow[#z̆xOEehEUE¸?}Ldun92Cӻx (.TO Q`tjD=|˰:oonS~nTG- ~OÀRHR!9uBC#<-iezqaU.]ͤb)am>\* v*_1U,K'k?$gs(UbӷnG;5]MČ`J^]ʼ -j쐆51^-NqLl}:uDgi7k݂Z2ԓ9ֹx&Ɇ_/-QUWÙ%qM5eNRdϟlPQh ގiAm}P.5;KSWi?i!^S (؝NwdWii0љjZRTx|I)^Doje3T_Qqϝ-F`PBD&Y YV5e޸@e쪸'\k$si2wNw'!3?9":02л*h;n9GQ{巚6 &۾[=MI OuʒKZ;p$qKƾs~J F2ݨJ2?l0af>hZh7֟HR;Lv3 %M9.MDU*FP>Zmz43(?Z˶Ĝv]Zp 9vˮx &Tk? \刎kXRaS1BլGG|-Y7OoLY#F!/,8xFo1ȡQ_J7OXGıFTGF5[sZ9l;S[kW6$,}*C4[vLa8ʹ`5H3avX`k}lYFL`'vp*#Ĩ/ܠ͍u&ze\9C|4[9 2ߺ$r@bzoxD_r&a >ܻ-< E.-0fɀlR"rIlr2#s5Fw+2E! ̠fQ3SpS==Sy۩|P4TsfU8+E VsP L*) R{oiAHAA1画fx{`0/irJ[y7Q3r\6!tt wnI:%s$ނ[E&x?Z v{PxN")3=*ha Fgah{2ϧLm Kݚ0:1!U%bc@A弢咻|zҶʨym/I=,x\7IKy"kVmP㿔^x}=-׾D'l g(A2K|%Ƞ#^GA=K~.߭A ~ =YI o/ôk"`ls B6I3Cݵm cG04Nt'7̬c6UjG`}yt﷏uyFI2 "p|(wsKzo%NM1Fї\)1҆lόwpY: qb`VUM3f#uR=. 2GuT& F* !P{d{.D_. Fe!/nC*';UHUKmn:r5=/_TEY1{?Wړ[qI{ X##0a,ܛ?­[oJNpL`!YZ NEc"ۈRzR>#Y8$=fZ,&F0((;ޤdM9/g}>!*6]rEuHnWtB%YD amqZPv,?Mx{>V jP;fצ3/ヘOIH7=$U:wX &&8މj N)<-HheWh~jCGa^%<Y}5 =,}R ΋SSS}#&.a5z@ D[%]8 ΑƸQO|9qDŀZP}q5wV~ \f~G{d񖾢;pk^v((͞ +Vߋ9T־r"= cAA"ν7i6e>d샲dr U.y I2t?߀h "j"-F(|y'.$9)iL*<.풮Ttװ3 @2¹:!07L3߆}%%yqE)=hH*DsvH]3`w9ey:sPJ ܹjM:]LH`;?t.V?듢^1PEg]ٍ4A2YgS չxG&vv{&ҟRIxCЛ]bYH0 t诌&ߔl`Xd ;/vY8tT 3R5aA_)Hp`ϣw]~o%Q^1;\Gs I::h l䉜RA۸顟 uANlF[<[D*^-@pxR[Yrުޱ0pVχ|,g UuSEӿ㮛E /ހlJl,#{خu7ۀ'(ի,0q4X;T'Li@Ndn}jS̫0cY|xIGg/qgwO.5ړ3ɚV8}vXt~:[1 %S <5$ Njُ3Ab:h{ªn-?ijeoP[wc-XdHRך\ 'q}6^/˜ ZcP}2B@gcmFj&D碲,[4'8! z. C W/'!RH݃V`EA/pU恆ZJ!3C_4Vfaր {i.ve|eHaS?GALE!8︣/{02`4uU,<)nb$2W)dt߰~⽧J7qJ^CJYևEo7lAlᜀB&F5{#N 5#CU%!Ntz Ӥ@8/g}? rH']-+:3Ğ#8!1+sO$*2 &XCDWOt7ό7F$PZѴc[+H;:˴d:2Mf5aiέ:,B0a q˛thsV=k^ZQbs&9\f\'Nve)[u6vyǣƝEI>)gs\0d#2+Ֆ"y /^65ԬV) &-C z9^ԡc Ѱ,TT_{_zߤEEF "V `,t SBfhl~M)}l %Q 6xhMs+/[MLi ,m-Ob?+=hƘ|0,4qT  (YW| &د'>@DP"#S7Q_Ky2%U b'Sp-7~|Ddv*q4Ǣnہ}6xbֆ[VA !D&0ܓͻ?F0ui0!QWx[Xl] J-Wȫ bŃh~ak1Hi[>  `kXK.VGI7\;ƊJОc}tё&*$QPmhYFW\juiE'on,@Bqo|(+ɢi *tn9guHJTCʐK:, ^&L/6EjJ NW kvͻoCl}y?>ϡI.I6knS*KDV8ʛ˜lЉήuy"%%fT$vܞš/yTUQb =޾`~v|ȔyhKӚO) {}0wKލ{]gJ2~^bc܋=YU-Y$Y ƿǩH:Yc|hqjsg ~9*50LM)|9Ήk\G}w,-K+gcZrk1:$PJ7+OAkż1ɔ)a;amlJ֦~Y[!ˬM*Ogw5Zp]BOF;U-F ǤDYʹ\E)>U T[Aǝ6}\4;;ˆ 9$t?e>Ћ?>$ l𚊀9#}RmK?|/~wl}dg .Ѩ J< 2K3/ïS1)VG;R2NFN|"dޅYȮ3j128D.m5+7kq4dJc:ؼ(zl#3ʞl(g[c0o=TlU ֳ/A rakj=Ԗ(aO7dՏqdzo2ufO~62Jo0ˋ(4 \%Z)a.%LIw-OhvE%t/~᐀&R戕.a_%"iBU'L [jBa;!vN|s "5~Qލ2pkYHȷ]y \CĆݼ΀D9ɩ} c,% \3̗ %r} =fzh[RcV&6b,[f^X_llKXZ 5q9hv|'yH-}jVqe eIŻDxZ0\V}/c\PL$+D 4;e#QJpLkꪄ^Yy0& 2X2}ټ'ݯBtl=f3I$NP]-o|?1ET\ NH7SGcM9G< q"r@h =ttjcZ^+|n ᓒ=W`1-2K;r^ȍpPM\}MXB@R3 a(>dOZsHORώqqB\Zj0vr U-:1sKeq8IƣQ=ϒ_5U p.WCP|2?  DWAcL WI~<ͱUeW4+nOӹ:\ZB((Us+t͑&5X۲H_O$y,Fd}ݧUš&%"{㓯FAQvȢ?$i/9HrK ^eް1]p.M kXI[RxFQON/w&R4IȹwY(;7ѝ1;(a~I޼9B u.g+1h14w"g`هଛMVAe^i(Tl~ޙoU@CU1-o#!| ";BaXRZD<5=У-CZ2ubC4Bj(Z|:?w^9*8D*_Psu|)эcoLA6&w*!EFPd:ghzp:فoZ.M8sdmtJ ~4O"$':6/{6)hyEᠴX+[us5̡+M EP Gx>iBCH^y8ǯPscVOka J4S[Q/8 %'aZV6n6m}ZƱN ݣ`@"e&6 jɂ*"A3XUǀ\xMT+煙neGa`?Pjz=qSN͗ Hf9!f2kYivm朲;M+O e7x( R>JnlmۭyPvtsE MHօ ޣeoxf[o}ޚG6"d.ҭ[p=ğjܕZ jl$FPH#gQQ&VPk;yy? ,@eI0j~"K*vAaдD\U 0 Dx}u1"u(>Fr)P jf q)_!WS^N0yq-%'$٭q}`fxyN 633^^x]B2/(W$Bzyi6 "m )Yhx'@GˀO^I|‰Dn#&Y*@Sc;*_W't]L|w.fg D Ҋ,_RxFƵNU +!\?ܞܔ[ s{ALo=$c+:+K UłٗtwMo9[ht6`/d-4\4+W@(_OهV9+# zoEx򡑸=;m>"^P=G\jKM$R9q4"?sUr'BSe3 a]]y Zg1m.$Vc=mhۑM`W$)3w9S}J /uN!;LK _Z| M5*+GyJgFJ}P3q*~ q$B܍< &%W?0_1ǘakD T΄'TL'w7ZCu(O@3r9TO ˣQ7 V) $ȏ΋)K'$C UJ%2͌VGgi&]*q6ͬnm~SP`?^ؕ;N^OꢼmKkLB},RJ Z}>;\'CDh-IQ,>ӴֿQ#D`NKmxD|#I,5Qu0X7PoP8|Lim&}`+shy^T{@O8d"S47<ᴜ)ɚ\~VقRYsyǓlX5SIH.r8\D^0Ӽ-{VUi-c(9-`JD)=èr3Ж;hʼnAxτAm;jpKryHR'/B%48 $ɹLcOձ2)yX 0d'>Y)K\w__y m-ɠ\y*NuccPofhZFӝJI3,%}|^=fw&Hmwd}KӮiʍ =pD Jri!POY"E/ \_E3rId'$?"1)Le`}x5ziq% ;uFMB"4Nǵ%f>A-o^'J¦ᙄPI4KEud?ZPQ`/΅ragY+aӾK،HXj ql1$Y>i@@!>V36m|IfYYe[RE|`H6 €خн3;`B򲷧.1V6G#`;> j'c UZce$=_*aP9,c{.?:I1iRa3fݷOXA_#GWΐ pg;{TSg6 )IrK*8uфR^4yqLS'4>˹`R%V'j7Oku;[_ J֥HMvZ9CJ;ݳj;gf0m#ʾ3L( )M%o!ȦQᇄiY?dߴb|0KqN~8(YRU0Tۖ=c8y#~9v Wy 6kI̸7" ,cO5bgO)4g`K,dB''L4|J^cs.oS#| ֳ6jc4Ȧen;  OmCgBHvJMJOf{t[6w̮aD_6M- :d=^2g-{/K'ꁣ8Jt]5C%.7BrHhsLN'hg%` 'l\3=䘃FPr|^^7H\#c'=EjsUg&Q$.|X\ܘɊ_j)d5qh/Lt6@7M\܉﷗q*BD])jҡY_%]1hĄgb{#@RgY&/怴|gꘇF=A#saH$rW}4ޏKi٨4u-z8NB! l#ݖlӧ5M?Kn8ZΰKDyP5]>oLg* *c*e_5H}]a,|Sf_c+NTGޮ|WiE 4y,G1Rp8{)"Շ+IfY6b͜CE~Q .ѡ):|"=zWWI);w` | 'tq'AKUo 6LDjf^<&`3[ضЩ̯BT [A n7G% \Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsHoaredocument.tex7zXZִF! ]A-MՋhvG"uIBm5M\~~*t^'Q2](]`4V-FEǑkj|MON_]4F?W) H" aӂ!bʁ"2 yJroqYTprl:g8g'8_0R& i.Ӏ1a>PsX%*pB1ysw5&wy|٩njؕxO%5:<^(? 6=11JfٺTpJBx91 KQnR,ϕ0DZ%?0{QIcUmfp N3EXIx Oaezg2t?[h n C{!dπpX0V,ċ{V y0䩻ƦOm5R8ěиm\?sֈsy#CU q 7vZ3}r21I<ݟ +k_L%ɟ>zIuҴvxG.sjaڇz`A[6BTR?a׽r !38iEA/kk ,7>Oɾ6+.ìoYV@,:oTN>Xtl/C6Ća }iS, L~ywuH_s3Oyb(zCcV ]Aۍ64et?O˾_6fHk4a32£J- K_tA_6"dUIq/BdLg"P g^&`uuvSF#qQPEghomᑽZBށ "N?›k_]t}z/m,k˺;lC5wTcUR:Q: TD^%\j[L,$Io3 g[{`gn?(?$SI81A14HnM&/Ly mvТ 5 Ȫ.V 6>|F* 9(I2--j ݏ+M_3]{ۍ %G϶y9cag@b,PXI}g_ lg 4vB&aoJ٫Ljx|8$aJO>slFΣrӨMwma(KBչ!C^JE$CǼW%\,dZ^:KΘCyE1W*Ҝ -:sQI`̥_Yuu~{I,]OWt:o)o|V#L_]ŚIpDSGBӥdyMشׄDP-QA B3֚7 `3{`;K)P>,.`"ecXI4ݕb5AƊ=RBc]vثx\B^H0؋ :"Y*A3$Wˊ|2YP"Pe%orm3t)KW/A6mؙY"=?(8h|mo*Umc"ж`Ӻ#]EJA$Q'慕}b Zt4'5Ec 6t>Mu /M%zKފ@w(Jq]C{r8m0JX2Z:.a8aՒo!y[wɞA1#7?E%.rb< kr?="0v\ry{rrE,Mٷd~Dnvqn ƋBSeLIR9]$ӌVjմ^I5vXYj{i)ۿEyE9i߆暍sU51?)ۚz-@>%u2Idga TJtt[$L}m)㣺 q#~-áh\ۅKS 91R]x;\ 1 ^C&4>i l{| Rv\ 3zoJWѢ}[>(V G[{2ш,o2uEٍGE; =btԶwz 0)ϱLLXmp#~* ߘb1QCQhgNC7|>-U3MڔZ"a*|GHN{8+6 ?eqJ&2YZ[ 5ĂIʣ_,I>J)nAҽE>AK쑺]8l'D"fdpA 8@3̲ 'w%I/gYZ 7M% ,Abstract-Hoare-LogicsAbstract-Hoare-Logics.HoareTotaldocument.tex7zXZִF! b ]A-MՋhvG"uIBm5ۙ\DX- wXXpZfz'֌DG_T@!1z msѧp\Ӗ.i~c> p eKdc BDt.VE@U8^7 OD . eg1j%$ IbE_m?inϵo,Nۂ]/Ji=MrU RfgMwa\7@QM?~6O=!BX[U">_s7gb ڡ[,ԿNU^TNiN~ޜ#*9eQ$>ʻ W C~x(>ḞFwF4nk?hww.&<֦(^;^Scr[2J@/_v//nFΰۼ~ăF>9 PZo^B.f$NJaVKU]@90>]֕YDEņF<{WdUC\ MEkK:2$ɢISV)@ofZ!\7GH)m+9Sk$Hި161K8Kwc΋a#Rbh05LWIongNG>[S 7{Y2f|Z8W{ RR"V/E{(9dHBG AfjKJ3kɤ^顳a4g)lo#ER*\ƖY,KTU*@HSV7kHA0\G wYj,CQ5fH:u iF3о{qEY+yӍnwq9߉٩‘O,#ʔm1 Y +lƊBx9$P2t\ ǬhF ɾTĮXR@Eaۦc$ZP3ri&{6]Y/dz窥:d}[,nm z>P6he.yy?ٹRUmRNT "1qE7L&# ]YV)p5zw =MDž9P77:3:dk Gb I yq͋O0r3 >H$*½G.VK|ljÍ\u:vغYo:$] mpX]*5L)]+Gif1$ߵk 9:U[4 qXH >1mGGs/k} +]㋙D*-v$d#>x5^r7.B+gŽN?``[N;zO#U>ߎR(4I z\l]y[B^n0ּ<>*U݊62gLwj 8NsW>lY1qKN_xP/vלDypۃi"ڔnۛ@*3ew2F3)~FXJ!liQ] _^Yz|=u;O/3 NkU:oR,~ȴqDf 5XPB'Ԑ}3a{!G|VQn8ʵϸ{~cLVMhl7 oͽ*jEXc˖*F~iߪģ >6oOy1\[G`!v|4lw!ק'j(ZOefXӐ0[_T+\B-)ߦױw5nN]TsqFlq#cJ\#-_kTKJ6W? 9f2@~yb@$g 3iE q ;Dn n+[ihE!^m3gEҁvjE]rXq0 r;k#A? 瀩NrJ֤W/S ϔO=3~nj׊]v UIhH.dp!P`XSE.בH9*"[wo$~IjU-8R.E3nE٥z!xYO)Ut\7;ظ JáSV,5U%^E2tiPqe{Gb%+ WW`q45^].-sѷlԢ׹{9I A'sܥGDOB[4?OgD?G3XtY=("e ]$$+RC A=Ut*jGv6=gPef./BT#JImԄ5H&θS0e'5ДP3dș34=THz;DF}(e!'I;y(OJ'O0yG')HMs@޺ 1\l K_YQ#{-f=&P^̎jmrt,G^b޵&[|uްw !?NаgV+`C PK{ow? 8}1If 1oA0 M<qz2Y:8TJNZm t'ԑVf!aQȪh0k8:S, =ǩ\ L?J-d=g&9---R ^XeGXZ*gkAscK. Mg\<&aqNo3IsaihbXBmd -\)ЦɴmF5^Ⱥm ($lYUnO ;@j;].\S HK$̮Q>sDjpuj ؅72@*h[^܊v gLQq8gtpAcp9pm2fg/=EaUA]F۞eN9wݟs itmL}߯ I: ʞXhbp5亴}=Ul^"`<sd~`Kq[R%e}o tůT͹~)}KkbgYZ q7E% dAbstract-Hoare-LogicsAbstract-Hoare-Logics.PsLangdocument.tex7zXZִF! w ]A-MՋhvG"uIBm5M]zaDחl3j栱9I)B@7*פ JR(i,gx ݌{ܲQת L(}q]cD{|F]׃yU@fm<%0P.fHJw*&Q1"*8cCaЎ-׋s2iV)ڣaNTlT)S IYa+ʾdaoA\0HYϬe~a淨ؘE@əQ% (%=-r-ƆRHt8E/a[Yc/ Gwx D˚P\TY(o$[Bn<9Gne6rvF+N|$,m"1쪃mV O ĹJLnMy =^S<(%>(s̵'E^:E_X(T &au譎I$:Muo_'fhb8^)^df#7 H*uX>+(Sy+0}V+|EY/=蟽8A޼|wLBap#74^_5T~Js*)qT AT=S,a*3W!l Ɯ(uT^/ePKp l9 02锡(m<&R~߼% vy d(qX[a[QjA:[kydhuRO7)9{,.O8,Ԡ)_-?^ؕ .<5z/?ś~]z1VhvxBnLe|A7ӊS6C(BB8B󜺊g{nxLL׻8!vApܨB|dN#O@ڶa(3e&pƆ`C%jmWy'>@!:pikl \Tm['0dJqJrK#XH\qa#/z09K0JW1^_.ILB߅1,hjIU0bdA1w-[ 6D@.@~ !W$qdAGb-r6 BIT.5߆ M,oz/ YКc6>abo!s-"N\@5DgGƳ#h U~KW\F࢕L"2Xz}Y~s[ee! ^:ϋ6s"ImW#[utTrfAyZ_!ə=ivȆL gĉRXWXw(rFZ/o§t M u_]^tq.Y~V hMn)/( 4]=zBGs, /-wc~ʘm[g5:vVFnjb~GA4<æ8kip{-v1JilPIbG`;ԃb=^

$ n=7ICPA-|'# [HLBhqމa| @ypiAا~k" %_`ΓUƟeM>۪Ӱ-zZ窷95Ɩ+/whH3.حg/)D%Gi.gKZHw jw FurµqX]>lQ&KL+_3bOzݫM_JIf?V[xT˹)fvW-3͒vf)8: t$+zHxx/*)`ApH ;hF}3!Rh'b9l{=;BH5Ԙ`IXws5`~hьr7 5I6B+S/Uq89ۡZisd*nz9'cYC*,SBz)LCߒSAdDOyiÜx9jևlL6wK@Sum*3z%ܚW VE ZهkJf1ZiZϲQ:+L[Z!)B⤐-'ߠ6&l;^㍙EuH #`׊N7gO&9^Ե_n)w>{5Go] a`k=)fɛ'۶>}rE8+J3TsUsHӅъ =9`AZ`Ed@kɊ ,G=NuSa @‹MAwtw ?O8gYZ 47C% lAbstract-Hoare-LogicsAbstract-Hoare-Logics.Termidocument.tex7zXZִF! 6]A-MՋhvG"uIBm5k /I/*ijC-hCx[gָ8tH!-m'PuyHn4o 10۫Ŝp3<$јl1霦X\O駵9Bl8(ehEF/b @!LO!%5RC/yp(KH j }1*EQ ^T.r+R玌A }o}KJbr qYA "W.:'A| EzEZ_̃ppVy|3?D|9Y8iY@=d"70NUΛt+4.:_MR͝^&vLmL/&hqL77rAV/'ʼioCJM~*E% 16߿g@om;[6!~̊wqcyb5aZ;-Ќ0pOmv^yf[yXm.\Jv1dNU+mSaӻY[Tr HBn0N0S|Tػ&FYDHHWvT(>~Aaŗ{yoyjzCT%aU؛0*-&N;oQ\ϊfe #kf$ty|Y7_J=g(ȴSt'!XE-%MpQ"R?%D#BS܂hC6zXCx(We=T| {lдL=RSp|'nZןY73nP14s^J9C9ƨìʦ^)g@<"ɶw:tWâYO%.eyT; @{Ze\|-u[#vn]ٮPJ4)Z"R lE@2]Z8!x_1ڑ2)\cf(BI^EQțyKs*5,8*Yb/ %o G]Vets{0ŊjUYz{{/uJmp)9b^r\ƪEHedyH9o2CWQ*c0}OC:Z'*I˭l<"RqCFGm``'x208KФ9.qs! xj%`X".\ !!?jeқR{#[S\7 `"ǟ{p@n&eF`l7^'IN7HHhYLl%0xE -6^\膃?&_]T5љ5tTM_O {m\A=vfVb^З崅 kaEyO3,ɾi+ۜ?/qp>фj|Diz27  Wzֻ$%OT-8e!JOF{,P!#Ve{uGpAM38Ed'V}0xfy݊ۡt*}L_"4ߝ뤾*nTޭ[BL$=4k;˕z~x1I J\G o`#gep-6Z`)=`k@b/S^|{s$[ȝ9²܀ѓeo`a2RY&PLjלt'E'g{cz9HUoN5?UUkR; c4=혘'7Ԍm~X=mZKPFU3gM]>i7 Z (FRk֣m;MIS\pKu:h]lqp+ȕ ln88`ָGmŊfgYZ |7C% |Abstract-Hoare-LogicsAbstract-Hoare-Logics.Hoaredocument.tex7zXZִF! ` u]A-MՋhvG"uIBm5ۙ!Ybј v84meM墂۞w}`Yo;4%L#B|l%0{3:ii.b/ŚLp5˽zS͓QחYtg$ ΂D=6\ۜC7\^u`#~hsywCJBHOx@;Ow]W65?`t lr79ms*3&(s^sD,_Z'/攀~/+t'ڇ@ƬrAx,Ti"-˓k}]LMh2UٟEMicԟKP:Ȱ\wG܄YkнjEۊH`O&99|cG# Kw-p${x8‘"_HGuS"%c\}/qT~x~Շ]Cϳ_2(/'I1vϺ~o2%jBXz<ɯCK:CzFzs : K.2vRf0[hxu7đzȇ1[ה+1mV\+uE,`ə@"vە˦N$4F7O, nxЬa=/fOr,Y)3xK&?￁mRJzb+f yw>{C8$]Zl#'Zx;g ]`c?z/!(XpXr!޽!PSFCuJ--'@CUXk?Σb7*+pňUnʫr;xii8rrMd~89OuJ:I{{*Q8Rng:ig6i7?C (FSN JEhXpzGK<9$Pi~*"kp_ hN hmR @2K0rE6Z4v6z2`$w.c=3E oW}[6]^CY1li|NT0e*뽺z#/mz5d+SHyn:6X_%8fFxDoxg܍&;M =LΚZS +6a΅Una.U=$jQNj`x%[ׅrN$'zӰcNfXr%wច̺}0.j߸2)A-J:XBizj9B&˖"T(8"L]!gdB?IɸD|eLwvbI ;dzPPLjۭ0Osk-Oq] }45F6f=lm ߐ*sѩ,#&۠P= %`xm+m2!{1s4RQZ2"auK GTn{t$/EF6?@]h<ϘHu kZqO7(?ÉIdsOFtp I@Q҇(Aϻu,JS6#Zyįc KwMo;:fB٘A%cV㥒0m!sDzK 7+ o5'3׊t0Gp.kNM6OKY2R;"cKz6O,+rolJ3q(014Oݍϊ҇!V^ъE3`M83I;XT4Akz(,$+8!ɮtWB$]_r)&` ]{B@ޮ[/QqD$[*Trm8! ;$8ѣ22\^>Z WV"ଽ(^ `iCKF];GSp3'cv\i.S۰"{x,c`}0gU^'{@0D}CRJ5̧:?{"C|4r[0 P$9lSa'NX]Wb>(:HUu*I,8/Z L 5XXx&x% <w~4Oih<6 -)^KY`pm9xqVTcΉ5Ɂ$`/ruӹ@ѹy.z^lj.1}(ġtIC+[$-,6Wrd 8pф8vH Þqy CAʞ[֠{&>8뿜Ƕ竧M `7;#] o[+Gg]֑v:$hDvA ƈLwI(R*` En7xE]>.EkRkM JB?i5T;1DۺK=oRgLR׋lW(c.)i={F(2vP_qqB{ܷr)"RWJ'\$!aǜ#QNrIKw F_I E{KWXT醅 ;v#M43e_Iv(䴥TABCIS~6A~5Y{%d_lf! TSKl"DY>}B i_1),:I+a&OdmW~ oőgYZ^ 7G% u2`3L|Ѝu-ߡAMB^(ڳ`?@q,;inJU0H]G4 Udw)#^~^9;SaZwFժ7;7 ALqS{"~2$۝j8"yPnIH{\CwbyP`7.[T_PaЍb𚑝kЃukCT)ZDóA-Y+ GozŪ~G)}&peAUB;Ĵз̩ل9"m,0Tz7CeHW蚧636lԁQdPm ybлZa=dتW:iGZ>Mg %&USOIU*._:8`>:93RnE5XN&u 5hfI*KOvUR#<}Ëw=%])we$ c$xcU 8W4oI")@LDQE g͞X+uh7+DY^^LiZ -0K-a Bܶrmɽ'l/ ,XݸnNLJ8toB–\Qy{r=d1($.~3Jxٿ!@hF[r>aPB؊7(daAo;5AC#?c&*@ra]?Ϳ|[& p'sgYZ zu 7E% lAbstract-Hoare-LogicsAbstract-Hoare-Logics.PHoaredocument.tex7zXZִF! ]A-MՋhvG"uIBm58#.dDe/p5Th2A# ~?ON˜c+G_Y#8U6}!cjhY5 d+EtPqkH1_r2٣N]7s gAQrS!rcݷpxA)[|knGuP$Eu] +L=CEv%!^ ĥS仨F2%e44zM)Z# mFv@^/t0(1|Q1t18l]5Í|lĻ8ٶLJSB<& eȝkj,=j n]~/D"l^偂X&ԑACisagȖ=ԶQKD0qLEՑ(/Olt7@"2K}C,;-1LiGvtf?S dDҩ/k^竘y6wkc%q?%>_`V܌9ۆ';}db%g^kC=݄gX Rh ;-ߘ [\v3Phx2vznjjR)؆МQ5akȬ4W>:50B$GTl~ 7A% Abstract-Hoare-LogicsAbstract-Hoare-Logics.Langdocument.tex7zXZִF! A ]A-MՋhvG"uIBm5_jNe~0<e9^SFIjԠ(@9BgY?p{/ ml߷H+|.w㭂9>-D-3Hln*w!M0;Ͳ7bʃ'Akf\1 PD׃ߓ ht)61j>7 *M:Q̄R)DŽ7} &rEVZ-Ko:lz<=gq bfMگd0bf(6@=y sA-^ tՋn̿ >}$1p ]"W9霂 rή(sF6JNfSS#AϮ)C6WvL7ɣ|yRt(o6:u=t7W8yl`GÚ3bB]Ҳp1vtR[^'5251 @sq һltuZsL>)y9gBޡ lɰ!۞As[Me~qz9Bl]qM=A O^0ϼ/V4v nāIDn#1C(<1>G6'=)4*"(**­AQ8Z8͐QtO߹ .wyh،{ڶuo+-={xOy@vS9m߰|0Ov^s.Fb?5{XD1z\&ϺN\z3WH_Bu~ilVL/vSd/j"k p%ѸqZ="OոyPsl(`4YWx'T.t9$@#cPGف/J'QՇd@ ux 9Ŧ?|T7*8U6ɢ#ҳ1(AYj e\uhRҝ/2x'|A3q &q,biP%>u$L#!LhPn;٥nI<* D'zFBO8dH "w5G\V#[?䳆UC!qb*RC"oNq4rHMfYO@ţ+\*B6͞f3eٽ:QdB] |EXh#8,i$W~ wU pYxOX6y6Lΰbm3̫hL.y\6zPF,`vԤ-g,B߻ #_F8MgTz/Lk+'VeMO(w=>w/{vf-߻R,V6x( v=Glpb1nA :[ \ kz'67eƅlUosAxg@h"1-$ە(B'ˋoW3 Qw5V!w;ѹTMiQ)?T5Z[եͅR'V6x'8OGPDXG1V@\G s,(,Jۄi6\-=|ws)#jBR}`ݰo>ZN *fd75m38ymKK=xr8}90RC )ǃMARcG״{4ځ55|T V~# Xٰg䰤1dJSlRʛGU<-,( *7ǰmlMك0=i(T&&#&S%#+܇se TLϧȯP4^?םt}aJbJL@ 8ʨS}]$%ӌMA 7@먪*BrxtZ b@H}Ck i 0^b ꢾ"zB3ϸ&$Auo-{&ο Y®)GC8/{h-Om'b%!ko,I ax]֊ yǔ?o^&4,{!aRT=kSQRWޞ:#NgGV-%>q.Ds?-YQV5If*Y@m^͙"}fM_,^4)񼠑( `ן$~ #f*a +kE  8UKQ`+ yęU& 'o|2iGʨsz[ grbAi9ܪ9B;5>͊]UBɝ@Y#7y_3U,1>z| 6i b~Pni֖yhoI 7?셜ĮF=|\oNdzF"vOW)\+t)a r-j6~tS_܊d XB=,P0ɍ<6~lw"P7_#8UMF;w9%:D.TLQ2h "äDY_tX¼N)(9As@娱VՁQT!+XɭŸbVYRb=?2&_ 'vԕ}@rdNב7d7Q&)1,"QMڊYv"E+nzZ?5Wp?']vJg[R"#]GH,Hi<% QZ)5 )}y6ZvŇ`˕ڱgYZ?cű{aG$m?!ź":&֬jå@%M Σ}Bx䋊Z>des7[Ljݩ/g$紧\BӆQ9ޭb#M_OM$G%AXX =8n鐄(eEp:Y@TXs/O6X!c݌cDNHJJ2}}+c}3{I+Z::/M^8YsZH%uVVvFJܢMl)&tܰʥ'7ѿYr^tec2[)]ؗ^9%"/ ٨4-\=D<+RPŊϨ6FP(=F(ت  d=cbD1(V `I#iO@a1)?PH Wlk^ ;7$u&Ms x^u4c^wُ,RžSK41 &+~@w=UYi[g<Ɓ~3؝4zeP8.]xe@n#iFGiDԏOyKq( ~f>}dkbβOI0 ֺh|UObn2˕瀮]ʹˆsUM2þ(&ĕefd:7%^pKzStlf͖BM>ŇwC`uƻN).8Ƕ&jn8+f,)_].Lv8Zz M3DcZ{C/l{~5 Vra"{]/Rk ѳ; y#^E\*VbZ Q|Fh+;w5|e\(?ca"_qjoe=9>coH;na0iU4<6n KC.jcc>M31A gMr`9&k tz/ךܝ䥻6p'oG J1Ο6a6G4)ZBooW:sSJo CK"X%B5ZBİZɢluxLW ;#iGqjl1Z{>crA%|Joe1(QUGc(czs!H{S^pTb.}-a#5m!_-ʆ#yw䫧~}ɬCh|ZL"9Nx.S V}/m7r@x-+⌆6B5Ė Z7iѲ_‘u7pOK0^Z_~B/X>~΋u(zy@969P!΅S:mysdչ q4F?ςX}B"Nƥ*B:2kF'7sz[lZT+$Bbe8l@h̏vѽ5$dէä1@MTj dQrT6F9On ۣ[sP,~֟5"iwA(,htZEu*'k'o䞫dd\^4u6pAe޳!vnӋ1")K)Wh 2BI >6ueA"J} 8>|SL7­=ZAىӸ;%:lν] "wLhs `ƶ mi]G>җ4WԓI0MLtDMoŞirs̷f+Ԧ}-%p?Z21~F{0#F1\