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 +7 _=֭0fA@NF &K][S<<+p,wx̸!x|.Dm)lݠv_f{?Uq˺l2"^?9-Zt_0) s.a܏'9Ö( b,2Dk6N}5 v;:_W\Eٞf{G \]F %jhxc6Ŷ:>zM@gYZ7zXZִF! R]ŗXi%; :"l #<"sx*Ɔ<1S!Q貗)>GOǣ)q)WZݟDlb6dJ4ͪ^B:vxS\ro+/Ȑ/X6WƋMɠFژaF791 {6Й1h'~K=5>a7SGjD:%Wa˔ԑ:Cu3uCl[iȥ.v5UqT8liin&l.<2vREQv/Bf '5u0Nݡik>(q[: E=W +sDaŒ:Fa/.$OBV.!k>ևP/,_x0< mq'ÜG/3 *PNzzRPu'`8EQAw1j<,1*0xʙ# Obf]i&Y%)L B"iQ,в,m)v1דn#HG@\X:z.MPC?r U,(;N(vˊ|$i0SX5yIfYDo@&xzcb%]@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%NM        + nZ K 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.Termidocument.tex B7C%Abstract-Hoare-LogicsAbstract-Hoare-Logics.Hoaredocument.texC7E%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PHoaredocument.texC7E%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsLangdocument.texG7M%Abstract-Hoare-LogicsAbstract-Hoare-Logics.HoareTotaldocument.texD7G%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsHoaredocument.texB7C%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PLangdocument.texI7Q%Abstract-Hoare-LogicsAbstract-Hoare-Logics.PsHoareTotaldocument.texG7O% Abstract-Hoare-LogicsAbstract-Hoare-Logics.PHoareTotaldocument.texb й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]մIiCs-QO #IuB?`H^YK fF(EO;9('Ō&)Rlyƹio;N?h{|bU1c?HdZZyLzʨijkXsLoa*Oe(rm³E ~׌lJv%̷r"j|< ޝÃLXk'YreoXIZQT}<Ap*/VW+9}7d(\?*tΝXZA;l8}G;4OBw)KWRʢ?L-~VT Ɲ:SەfZ{rFõ/"I6/Y,d݁ZyX[?P| LXvh栭69 p_!Uuc?diRuq -!5( "cST?Jw{3> ɂZFHOȱ$!q1)}iG")LD`YU̼ʇ+V!9e~Q3\N2oNp%~W5vHujꘪA$w>plCX]ޱh2D"8òǮS*z2(ZՔ loP +Y/[⮰W\ \ɎZCR˵_c\9TNja16VEH`dm;ǮMe!MS >{X#rr,7UqZSvķH&e NB- $uP6J'AKܜ=1!N2=ǿ}I$n٧ )z& Bvk̓ 'udbm#I&@L<\':Au3 S*Co!0P}۟׳yKb9,VS]6koruxIjW,XK3mA&؉@#DpC`wP2~V>nrmmQ]A\IlTHkFR1v)G݊}LkحR.IXi̯α6H-}D i]XU/8'6V]'k%JXkFp|]ˏd| 3ƻ2w{NQPLZžJ`欍L̽}@kԾj@\ ?!,$yv2_ Z%x *FLG m${=8sLxWpd"v RPgli%8b~SG('PxOgV0J&sVF;LhQ !e2 {pSejݹߪ&+Aר$\୔U{m(ȯVu sWeYwvPrSk҅7/Ζѽ~lyf̒b7Uj=lc%jL4]Cvd1+ i@~BTxQ@,#]k'ACϚ#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ɩ~̀ SxB"!]7€Cxy.n;jTCX)B OJDulhh_{k<|BN勤c]0>]h?Q&ݸM1~NG U$9]:YkC :uXc߻o'rS4Zf of(cˆyH Q?Y /Erf|Ya| tרx'!B9h8C/ώ>ԕ&) Z*k`%>zyk@;6[X@%А#hn /cz`SCdG9/==_i'M7YxGOnב`͝<>j:L1r-s*eemet#fW +(?ouXw}Xno\лf,t$7Pڃ4_ph~|=#䵣'0OL%ѡt_bq<ڒfDGZ~rsX.B]p&@︋h]tˉJ`SA38ZPGlN[}SRUő~e䲋M&n\2#zQr @,_kˊڜ9m`6ۙQ|}W>MGϗƚP&]fMw pHb^ rRa02 Gg_qP$IBw6M22f1-m|qr~eNNpH#b%OW{}jZA+\P2m? 3X¦r9uAjy$ͨCX - A78'ᕩ: &&њWw'kk,AٹtOi,Q +ω&q%y'G==JGKQf$gOy'5|1~[aFر(ᮍbUV51<6b>x4v/ph # )/ҡ!O30&pvъ`G۬EVoYW>ufid"=$",I9 -x}(`BG ,0c]T_)G9.즠1ĕ u*~$w!^*RP)5&kQ*yaʒrVq%&T*q.jqzAZX0xKK ]PaBu{( L[[uѢ}MT9<;j[9.r&y|'+m,f=GƮ.wGIA:CRloS[6n#Vi{pUF촀IT7SJ,RԨ! jHg3&˱ ]i} Eaǡ2s?0I*k_m](-²{,J% -%Qp2% 39l9 S\ k%aO/MhsGS{sٗ 37ncЌ!M.LI冒r%'2XJG)+Q'瑿gt/L* {閣ealiFJrСp /{W|\糰`#31YʚU 6-#3A%0L<}lYKJkI&lۭ1Zʁ'5ߞ%Xv?ڄr7>zlRvXmDq'.9XؒȥglCt mc&]$8;DG43Hz+"9uyȌ3#rF]#n@zcϰ)bx,O=;n'c(W`[ݭ] nkA<}yܳ_gkd'+ 9/T_w`A姕ʾz\R8JH\ctEG5e)M- %̻@- UcE86! $B ^!n<21Bc5 L=Q7F ɖR̂C[<9%H)TteNEL575.4#ސB4o=W:8EyR'?#t$;Z1P1Ԗ>[mʻ)f{q,18W gYZ B7O% |Abstract-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:0\L k7Q% LAbstract-Hoare-LogicsAbstract-Hoare-Logics.PsHoareTotaldocument.tex7zXZִF! t+]A-MՋhvG"uIBm5M\~~6TSQ1%E0d(k$B_,\`g`EX279 /i=Y&a2y[قs!  x`& nэW6Se3 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 s7C% lAbstract-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/nvo[GRbfY4#PCĬ9(>@ cNI$ZT"v7_6}KO41~zwuhFg6Rn[vѺ=8Xxq_k94#5.Mkc9\{Ց4]ki5pmZk.\&M麎onóü_5Q_Ap; @Dc%UȺEd>B]$8͞g+v( 7@m(13Ak!/L{ LR6ȩdSpz.oR骭,&^H#dئK̚KTټqp?y7T3ڇ@ʖD؜Ov= -LXw2/w 0%kE+-.3 £vQR:_5V3Jb_f "g]D0.Y|^TP4oFa1*l! HkN /%2lA}H~ݴZ$B\p=?W=*fSOo7fs4֬AS$-X\ŭ;~xgDg ةPhfprhmnuE$VWgӯ8Cʈ՞P$>*JDq@.&mNK#D;vԸ',`gYZ q7G% dAbstract-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\ 3/ _>OCU.uci]JF"Ҽ (i쐂9κ$|P`}A@fLyjE_IoޚƆČjga3= 1I WY 9~&+K#:8;O:hM _`K.hY$k>_:&; Q869IqxSpiPc9HƌS]H=L+ iN2HLzgュ);H, *蟶~pn\7Xv8^< >I ;,7#lO-WdgbAcY"y!hdp "n *sH?tsSDSɻ9ܱ&sI—ɠa0o2*@9YRӾƬ7[zO~{l25=P9A烀T̉s!`ݧziq6Lt`E5H4.εqvg4wtð ĀjNV!:|> T~zتYagYZ 7M% 4Abstract-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+`Nςg0ڶ@M*FS NG^; t^ GMa,}@Աbӫ̱ھHh@@IHu,Lښ&j`φ 0~wKo*682!HSX>do Ҷ=Ppc+Y b}|[ɕHdVT)rzpJ{ϷpLnq O]#S1h8 (,mNt~𹔠,L2"Mxu2qPyTiHic]M]P0cß9:ݪ{/mt]dIy=tZu&}y^W% p~gYZ t7E% lAbstract-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}3spVF'a݈;M s8(ޝ6Gw+VmRv}q&I׻SQ ԕ&?M^4@۱+%[ zW@ w.RcewFs mȍeybaFEYy+q 3JuH##u8j l`d$=ޱ&h 0x5,b2i"Fb1"jE2&x#e͂aC AnlWsu:-6c$𩻯HBₓ|ig/$ z:,>hEݲ"x!5!6} HK 穏Kګl+LÅ=$S1p&CfK=ŷ ]8&]/n;-K#ziuҝ>MB&f>am10I2w2 vۄևSƨ_PS+4/t*вUdh]#&`FQy D#YjHn*3( WR"d:IUg &#aZ9-$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չ q4FJ^fxy˧0RF9X/ϻ #Uuei7bBJG'!Y/ 5)޹ӚjW6Ak9:G9 &5XAϊ Gk]A 7xFuBBӒP ;ĜӀzVEβ6/DF}2j ҢħYjOoa;3h7!p%Q@ c 2RbxvMmWRkY%; 5]{5xdZ >{vu3e$ZW̹nqrK0!L=W 2=6 -Uϊ:[qzڍ Yw5{M!zhFnc߬j6MIAEFNղEYeIZ4q/M){2^z: ^@X!ڮCj!Қ֮S@)!>Tb49 \Xg ګ0ʪI(Gw/93#ڿneДth[&uQ ?{2FzBe 0}#oCNq9"fT*/&q@ZgYZ  t7E% 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~ 7C% Abstract-Hoare-LogicsAbstract-Hoare-Logics.Hoaredocument.tex7zXZִF! ` y]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! )oQ\N̄Y+=+1$oVj_ +HՏs1DS~\>F=΁Ee T_{IӒ6 ~n vT*ˊ(a}heg[Qҵ;?z'4$r5oN{9_Xafv/ >Hl=UzZZ/`R\>PV#2F@6a^Bre 2YrEx9rk b籀'& OEO&t[>K"N0^Sx~9sMoPxz\W]6ϯOA7*u:Db2`SZrGUbnrAD~T/0e]6ѓNg<3c /0cN8}?lobhUf{) dS`޺t;*E`jE_'wx{Ol|~Yצ=dl);sF]Z&?*>2 (roUŨCB給YٓnUG ٚ8 #̉c?mAQMRvĀNC%IRҠ`gYZ bba 7G% DAbstract-Hoare-LogicsAbstract-Hoare-Logics.PsTermidocument.tex7zXZִF! 8:]A-MՋhvG"uIBm5Man|dlk.F\|cg!$Wۦp|৤tqvuSl#ƫR} aiї6,ʰ|:J`)uuB-9)|>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 8W4oƉ(@*555ᾭYϗT  ;xsq5a.e*CƉyMaQȸ"Ts!ݗ_#ʛxaqLi %4!,wz܍BSC5N:s߆l!/\ K L2m+ه%C=`K-iE ޝbށ#wFw2c4qiCks}ypA(`_Ocp.-@L֛

~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}0xf N~_UPu&<;a# PK,Oy OJ/s$8_j. 8W_/} 5Rg@,8R'19:\}!K_9u_xOCw 2{@ YF&A_Eҡ [8iyYc"6qNWz' av c!xUN6j.K`'9^;5̪Lb]5ch)!1s1~4Ϳ{?+vS~JZm!"HeΩznRogYZ T 7E% ,Abstract-Hoare-LogicsAbstract-Hoare-Logics.PTermidocument.tex7zXZִF! 7]A-MՋhvG"uIBm5=!nC}vmgfFQ;=їET%fJXXx! bkAid'on5 8`Pxn?$F>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뿜Ƕ竧MLA5tDld܌9z@y_pA^!`瘱lwy8,-cqdJVDG3K(cfcQ;cױ=qZ%_Frk //i)(ɰ\9Dx }t;l^62fU؄F@eo~lzƕ+)t!oc5lEwuA.b`$Ar[{\|e OUX, T!2뼫.+#`p~릯$ڗ)V|."(4L@iaY' /8?HatA_`Xn_^{"I=-P\J-#AA3 o:gYZ ww 7A% Abstract-Hoare-LogicsAbstract-Hoare-Logics.Langdocument.tex7zXZִF! B ]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=|\kTJh\9 rS/#F1d2MMSYO9Z5x#-D/<0&HU-h^=/N`z,AyP;pλMXTcq<Ⱦ 'ЁE+"ߓU W563D6`mk+|OPTxG$K 0k e-q#H<,ifWQDrp> hʇS ^T@Ύ]@֙j=Fu:Ρx$(@\1FBRmifalav&ڭ?E9W%ƽ- uan*4W.cIgYZ