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 Z1x,l ]/ HOL-Hoare_Parallel:threads=4elapsed=200.020cpu=573.040gc=8.5047zXZִF! U]ŗXiɟH)0!h]F,4f|zaB|`_߂۞*xTQuDщq%F=N~۵_[[֏FY>%&˰1dۏpTxS_+Sn udӛj~aʽ=zkV,,/*tzRvfBu+rz%k<фSMǮ?oWL^7so͇M= 8ٌ^S|@OvB:W Ñ@JIT'C\d50w7׺߭CkPUme<E;06* bvrO66qq4P:7n_ԉ1Nu 1 HOL-Hoare_Parallel 1C% ,HOL-Hoare_ParallelHOL-Hoare_Parallel.Gar_Colldocument.tex7zXZִF! " ]A-MՋhvG"uIBm50R&ZJl/;,`$g7Gԇ."!]Wa +mI y> fS cԮucLHjm'tP>=͔쪋*Ub{fO/U+9L{ߐҒkVɘX#rĐZ'luA tJxpV+wm @\+\b,\:ڙ-~1'hUyNNQUt 7/Bd QL::b(8$o-D( pr _AcSmk]ބu|ά`, S3{ hA{=  1A% 4HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Trandocument.tex7zXZִF! ^2]A-MՋhvG"uIBm5Mw^ c`m*~84X Xrb(DC- TpH^D`CoѴ 1{[|t{!8kU2?Љ/&#/ =/`M>!7ƏVyJ4L&4oTT~Z']R2~/5Jw|ʘKTa7&''Y3"57{''K3 qP} f¥Z ttN;Z5Wv!oo<-ކ~iC mFT#1u]9{=тYm$LbQ |DaRP,*a氄rr!lk&jK Ao[ {1im*xz{w\'꼁P Vr#<%mmyO9!>GS|ca2~ީ61N_I_Ŧmb~}떓,P[        / ;?  u= y?1C%HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Hoaredocument.texE1O%HOL-Hoare_ParallelHOL-Hoare_Parallel.Hoare_Paralleldocument.tex=1?%HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Comdocument.tex@1E%HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Syntaxdocument.tex F1Q%HOL-Hoare_ParallelHOL-Hoare_Parallel.Quote_Antiquotedocument.tex =1?%HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Comdocument.tex @1E%HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Syntaxdocument.tex C1K%HOL-Hoare_ParallelHOL-Hoare_Parallel.Mul_Gar_Colldocument.tex >1A%HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Trandocument.texB1I%HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Examplesdocument.tex<1=%HOL-Hoare_ParallelHOL-Hoare_Parallel.Graphdocument.tex?1C%HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Hoaredocument.texA1G%HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Tacticsdocument.texB1I%HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Examplesdocument.tex?1C%HOL-Hoare_ParallelHOL-Hoare_Parallel.Gar_Colldocument.tex=1A% HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Trandocument.tex Y\hD0yikkPQOMw0J筘)8%0D8Ps&${66|`Դt7b6>#u.ǯ]8Exc-InK =J.-ҿ:^$FasysQ:a?6.-F8֖)–*msw* #^ך|MguҺH͋f:Ge [JO/zƱ8@2,HϏ\6?*D\L paDm/@Z6}\W>+&W81 lGi Ћq hK) AgÆF*N5<6b1L%j)mTEA oF+rf\ah)8pѬ.,s\luW*NѾ`-3q~#ph᡻޿\ޒAd [7;F.{XF-n716 -=/u+k0YW"܏J M:PPu/79I▐T4q*㦣UԁUcbqpu:KG۝O9^1R\qhoM=@Eo;@p@x1O|Jc}DM˶#HfMݵ`!F5uJ܊lV.'puq wnp@0wL]A6mF|s8N}BC2ܪKA6MކN0tI)jE$KMT^}W"4 䳓[9L}sh#}L)ibA J!G8n[`IKz)$ݒ; p;! VOfxo C~3n=%k+vEjrud_DpY.r79аa*=xXoQ &huG-9 jOc'UM8ؓhhkٮʹvxeuo# /B.LW0߷UlЗT{ϹsO*t3Z_H7s 68̀>*n@&ͧ tBKU뵸]@gavk7s!tH.VœEı @Bgau0/Duά>C>&11%R|؅D0|?V1s;aKnhH3ӵ4W~q+m4:$'t%R&v<qҰWk]aхI%h1d_?Y8ϫ}JU2DXYPb,PhpRA[X3G 3B~g4KBn&܁- +K3yo9 l[\{4R_VFe2y v7OA0~Ŵ%ȏ1a4ѿŲh:2Чk6~rSffQ) ru."R"Aqgd@*3<&5~-faaUz?\C7H0EHr#J>)c @.{>'vş:xлx6$M>jhݔdx {s'DY/:)>/~# Qfp)#*JXjAdXCj)bCb}ODnYbaP42$ F~@!{(~#+싙f.޾2ٓZ5r͉y.?h:A~a}IeÒA v] מIԭ<-D=fMo{-<#lHa4Mu~Or{AyNqۃ(: 1/\:E x=$9/Agv'~+/ڑeVgJMuWEE2rrgFܦ;1mC>\"k6P2v̬pRIsCyi<̷k򥖌Z҉014ݏ6 # ע456P8} #Xk9RC `fÅ4#=)5~A˹67۴,cݘS=FS&QnC9t lF>pFQ>F9:уWGrѬš׻)S@pEay=7hFr^IQC- HK y{>p⌅b^ Sv@uD\6Br(?#qmpE2\Ap{iu*mey Cنz1k*[=!+;brƋw~+F53KTلF[jS_Lo##25 >R0~EEls {DKG|ѽL O 9 $lTweU—}zș4V*)ղA48?cB.oOQ1+4PsbZ>>K@+57ւVO'GpzMj$ cq.Ӡrr"kb"z `:XJtEػt\pX^pϲК@rP96t^<w\"ڹic1/gn5} -u5!?ҞGs]>~Ԍw.(` Q~_&0N{J 4=28\ݾ6u]k5b ŨˤwNDY< HK%BvV-WJZ+mJqhSt<gPܾĊȿ@s|dƅuqk%Q}jE0'^gƏ>>WweA{gO X&cRO_Du#6uQZ#*%"(|%?mIkTF^HԨe^P.1{V )Y,]T e4c_JƆF]߫9MlKz=)-ķ,bFu6"?D >4sVc!SYMjp E.;LZsfrq@c}JZ;Pj5' Ww'F jaͅ^c]\#7xD)Q?c{ x-?CØ`,a |(ɍ@`Hn xb.Dox|m~XR4|.ekmG' U5`t} :D25` ưG/fa6|k'ljaFg8M@9IB2lY%gYc$1x~BʔkX%!/J8@_TݮGþʅ{.8t~1y|Cl77quYdIn|Vuz3x#5AF=Dlu z%+e|)zQ3<fRg ,Gf5.; W'ى+)Y0/YqV)4>Bwb,iQ,Ƈx]G덅"[ݻi\Uu'^}`3niO"8 ]@9_r@X,6H{P֕%ǽS6\P~(, O6ϑ7zbW_GWdO'!eyA_ju{-gAv$}~7 }@r@3Z1<6 e`Xp&|l{',+֙^%iNv2}wP-xg)Hh.:2dFd9ݘL&qNS/"Ջ{yv634PsZjktGh-  ${&իURTAj. 餗\+7AVl܈lFoqBpP_֚bt<5w cXaܞm}F:h2. Bn/c jX-4pUsn{1 E|E1ODtDz{oΡ3i7`7TZ5 aA&ȒklkD԰W!A!12#˴4fXKBm6h]#rNd4:KKk&9Eԟ Cb%Z>A_߫.uD[Ojh"-tH ^S #elBC}^k4ֹ?@7u1@a H{ipIT * tPTf.%EѢ Z!qH^ 7P[~@ Oqn&z7k!Td wBG-?-#I#l'"vVgfXM6(8e"sp͔sqA_ھkꇭˀ SX{moq2,DUYýGG-? lvBd0Cߍl~*Vᢝ%>m)'ȝ]<&&;)<l iCa 70Кz~;ݾ)"PJ|PesbqtHNn:dDKDy eHL&L\{w%Rgb`ti#6c HW \[y҈bnĚX(I`7sZmci媵H#zۑF/N(HAmN/Q BY^C!rI-^g ^K^+[l ˫F_ WSBH_');EGɛNԮqJm],7mQD÷l{lTaӞMLabhcQ0;oA~Yiq66[;> 6~s*i[ԫߓ `7"Tx @&q\bKE9}^4ųuSq2Zd\(28GWy`tPk{ X=i xbDZJfj i;$,V"~6єR ̦݄q1MGfhlTJCOs}U7'3 믥\B!j@)@*]0s&swGɇ7IYBsֶԞ ܂|FUtP95!`1#yڗ%?9˅Tj=&n*vH*Hj 2#k/4џ2LThO~+_~=g%ji.fZg/%{z)d=l*G݌$&cΤG"\2P/v3}{t)cfШ613YMR !>&f7xyjhGsih50}ӗ}6poF |.`(W4jp+h*PɧAlb`jxH!2>LF%=+н6ZÉS^rW9rm\uǴZ%U\ UQ>%N@`.J>aө?h6?)FV}5K[[m$:u z)Hi3Pk(!0I2Ӭ,'&|Q# 2L[sm}տK板15|9,uVnvlǬDC+A=Y$u'@QO/G\ܵ1og96mV^.HoVnpMdլAUɱw^Y:3o0=Uyl?%DŽ 0U(:"Wлܾn*a]+OG;ٳFH^ |Js6[#AĻ.88ER. `]hc}OPc"n5z%ȃo*GH%Zɣdvr¼bla0ZRwx$f$kV EwH>GC>*okgxÖdvӹ9?s"rgJ$OmA zڟb)eHDQ :&U&Ӵ}Λs@K5#o9vfF ܾ3+z+0hUx鱖4J%EK)yˍ`FuY 6>Ej,YOw>zIyN4ʮ,I9wi 6]f1j$B('dO S: M&QU-^{NWg<6jfD^=maMt@Jnpƫr{ ,:)qjؕ^W61JPvʰ{+q=x~B`uG—0ňz# m.N{2;j;vEqT2rmmڲ2GoG,/ǂ^YMR%E h٬y\5Ui m+H}{:R5DȜv(P!u-2 \Ǫj* ǒM=1د)'ğ]̦5آMB$=&E؊J$dM]'OmYdw{(%FT.aX)*;E,f9-io0f= &{ /tu'nr"Xc4QPuJ!bkYbxx[Y "B 2rc%;mJ;{mR1jJEd1HCQkH{ڵlaZJT2r_ 9.)$ ρUwoK)A:$Dَ36]b=)\6GwX;է_yBLz^ogYEq{Wݠ; 1 ?p9M_5 ^')I,7/y%p82He=g\.q9)aL'{6gSrբYL-7/ʠ vM*DJYE&K=â ('5r=mRR㩰mE&h̖W6gY{]:<S?\kqtGLɿo@2|1˸ҩGReFj.M "< rI|*50ڞjzB21IHSa{n$]+ \!&k9VrpAw]Y.ۯ6|dlC%q{K%Bvl|s#໨j}C̋Ht\-Oѐ:r/ !j>jJ/^{g?QVV]1k.??4\H̆`6ߢ _=_t&}/BqKw۰QWS }S܄Azjay2 rdo 0`Kv{w M<[ZU5Y'Z9X0p|PGsPJɶ3Ɏsf*3c, =μ!N!J>}h8MRs>w z1!lg~YIC[g֍ Kz܅ڶ.кy_+NzjYPWF28Y^$ٿ @]`kc!giWbވu4 6$_z5.Y< !dCo^ #TRxDP݋dPK]j=[[ $>h"iS^c +i0y!Ac:UDӇf jZNh(됽F,rpB*El) A[*fS1 e>70DK?)6u]mBʡv?籓B"<| X ZY/9 !YV7}(!w<#*sp ez(j0FDJ>>' ˤ- Bc|y #K B5 p~`U!:j3{N`׉G:Lٻ$﫬O7i{f.Yt*u5Yg<Ӕ5HF\[EFg- b cr9z |ʼn.6ҰY,T}* Q$>F{ \6g,/ e#~ `aVz[n0l JPeX~ߩUo%/SC`? K@CIl'SYZ<eXOُݜab̯xiUaz9kDR|pM1 t*ׂ*H:pI0,m`^~SYWf͓ ,C[ C9J"BFZ-e}Oܢ~`=)Fu,l$9:fn:R$ CFXd_\IZ 4LJCk]\WsR9_ XQ7U!`Tb>hnI]RwK+ǩ% m^J#6Ԇ@.@:9ZNTٚfE̺S4`mỉ3_^cOmwyį)k%[R)ɝ$TT"^ e\Mw0 T@NbU(`Y&*/ِ-w;ZF>iHy'LR-G5VQ<J; `uFL̈́hT:pAa\|[qCOl:哅yh/1vVnO$gaPы9ʴtiyM(qF$o&} Ko?2ClkXD/S Q$ߓòS9A[m!K)҆nsDaC!/Rz@2h9k<} $J; ^aU(t4ٿrwBsaM78Q"7}Iݲtj/eǯNI@7Gp7 yeυYĉkd̀zc&Z<Ȥ0Vlwra%$05 ]Z,Ӵy9I!<0ϬYK4$/P@3ڇn=8AԽ"O> G.e&eF 0+{Ϭ,MrѢap5$ ~7,7冷nQYFLzћ"읽dJX賣T.W`As[޾eF{޻"M0x?fpTYl9^{S#P䒳7^=ιxf)#G:,?3$Ndͽ PpgYZ 7e7!ɹ@vP l{n~\#we3A{r6;(Q,>X*{DUOP,|Zǁ\MƓZRTJ^\:!a'ڪ?נ !{9Ƙ,f).`W?o9(9 -@>zq`ʹt]6bnx{"9#a{]fnuױ*Jۑ 5"}5h-m43LGBqD;uم02V{hK7T8q~:SWxd]mhX*k(edXvlXlۗ>?oߥL6z q h $σ~ndPz.5ތrqcw* %bǁT{bzvK-E1H k.zO7f&#W+o>ؾٚ7ciKjUtH?d$hWY%gĿ$7%+} r=ne@Gղ^&_wh'VBe~յ#~Oca!SafݬAiNy9ZK{{FzaYL$ / {[(UcD[qPV+o{HogHZeKPJ?1Z:L¿ ؊A{mod;4W|&2js!yV(5EtUkTK'Fѭ8AiK6x^az꾂=0u_6-h*dpڍ̆RuBU^ k]ĕ2*|2M1V.Cɲ; olj##&3R9^g$MҍqA*7Sqf~`: H@W>ӽĭrCXBI is_MU=neS5vaByH{ -9q̧ߍ ƒj[|5a̧q }</~¯v JsUʧתф0D;Ktg0*&Sp[4_Is-YC0T+-{{ب:ǯNGX%c< \U`ؙqd 7'Nl#'Ɔ|Eu$a Ϛ%upw7!BNGsO;0 M26>-P)2nS.(- "ⱊ*mؾlE U(~=e]uȝi?7"Bǰ6xD2Dף>Y),X/FQitFכ@eG{ PpKLb{tF}9dUA}Ř&jOWj>\궖DqnFƧTrk|PAh \i&{ftpXI *k2ҐL=235F|{<~g*a`Vo6z+ǟ 2MYszUuq^xnRlr$bV\.h]&zDbqury.IplAq3P8$w12z EX2][ڄQi*Q;`@?Ĭ/sBbEq,PR1kE1Ng{Bh|"W[^fx7:aӇ}:Vv9|Ѹ-cܿBhS e96]:ۇGYcٌovYǯ|ILh+tgGdW|{-0 hA. WZckgs5FA; _ Ox݉pCFv*Zw:PLts9ZS=NN䒰Ųga|ҖT+4ۉż@ZhHm guPBw27ny]ʇ/GO))IAȞ3C-B0w[ g!:(Lb0UsȎߩYuG&PA`KJFkZ҄[z!<阌:M)GCK-=_iT=ÇS4_]"+P`ɣ~w]YƴdBojOhG>t=8E,T*vӖHu,Js×2(\v&3̧9U9P4f3IT.u!hRQȠTLȐ 3H# %*` }D6iU#|}h=d8vQD92 趈ܽ8;2[>եsȝw,^xr5TOũ m(*?FΗf9Q[pK|ϋ>]E@'F:jOĘ5֝`+ D$@ X6_L#ߌM k{AKV^/?[\gװJ)n@z02Qw78y!N|OG4f*GaG6ip7ZveU>)(~q`INwSٹ[\TU۟f|:5/UflV vg%a(%fQS9H $= Q\]@|E9HHR+>Ek+MUIY: `DTtt]]/XaJ:]u-y4 <;;|kt{vşTsHP"(+$T$O2 *{<)ysFaE& ET3^/h{;XiMS8Ť8X?!6=M>;-ݬ@[=?JwqS~vm# o+da4nق,T|2, }{1ETf}mE"wcmf۠;j]DVBJM"۲YL_GNԒPkX_ <63)UJBآn6c溺⠙Y j*zRkޢY9 p FeH1:Rӹh4: 5kKK<f!qt8^]6WcEY4:U}|{˒ƄvqOj|:9Gq!y ?t )fLL=S zEE~Qi.1)Rra io`͹y< r;rP.L,mȣ|-); ef3C?>JId4^c6e0>Z%6@׫OM}Z{[#I 'wÊWh֝?Qe ^H> C{ZHխtIT@& D$ۡ+=/IKI; D2,nS`6?:sn[a(kxInCNfa֜/鲁qOhK\&FWW1wQ3'ʹi}ö>~˩3ًcG,YlSvkסG}¤f"f?Q s b TcF&WIʍ[5pi3%=,wu]($7Qyk7(`bVso} gQSYpX!vrƏ3=䛜,#;0s |Rak1Asª#sX˲ Љے[鱙C֜?ea;i$R\Kb?iA 闵䦆ݑbsf\le ^$cMR|H]4E]=w(.KٷJRBByR W& B% B$e+$)',5wd@:1";Z+_Atu_ty%i$Y'zuJb`4!o=K-0T89Wig|= ,ni%È{g6T (zS=eǠG2P?ۦY0iH#{J79u߰9;|vw"ngx&ufYqt͍` -:d_dys"]h#SeGC[kӫ:߻v\4)< "&Y4Gt3e o('{5/jgtr(4s  d]C!noǒ)Wm3,w ܬ *ۼxyçթ zN}38j'*ѝV*0z)AT/63_4_&-pxzeps^ep m i=؆5IG:Y#A(7!T' =dp]R$Jl 1~~dBuABLg7dmܕ^ʷr!${Y.РX8؆L'<,cs{{*#ًEޑz +JJl"e'HJZSUx ,|^a] $yEwtL8|tl7ogp0+$*~D3It%>2c#[~Jn-FDZ+f'Z30nG[f0vKl+NK~#muӴ\m97- g~d->IZVS2{&nF(!̨~*Q"}ټhZԖC<=2#9UJ!~Kkz@;!ǎ@Р/`صկ J6##+C]ϘF@ұB*l(V?67?G1GhX띛QaM_92mE"P<S%%/S)_p PlYB߈Hy pl|9q s0J>:E";Dh:lFpzWqSL ϯP&dU. 1*@n@iz^K*̽"ȼq/V6Bۮi-hٴK!V;}龪Cgw`D pp^ £~GU>!c`xASlrI /ej됂x)E\Ҷp|E{&xOD,EJ4AH}ș16ޔ a#vbrT;DWLG0') g=G[v)Ƒ܋j ,ؘ_1O&ɇhz -oGtߴ.9ODd> 3l= K,D!>Ymծ*9?z ^}X6M`#CPJ?; nB8xhurἜg& Dymj|-It#ȋ ^EX,`w=C GB=,稘^~]A?$}S,"GUb 6:GjC&pS4L+ v>X䏳ʱԪ˒?P[߄gU 1o6"(^ѝ W  >ܯ (a 2jAO=kӳ"H ,A'jmLgaZU -#ۓӾ5ӛe[ڄ MW\ۨU%{.Eպ57{ z :StB8[TdU܄Cܼ)71O(vac'^]b'4gX3se = vZK}Z0kO|C?S9?E~oݩ܇X{luU Բm" M].>_jNpgRu֘pA)EavjP}^֣JfLH43Ƴğ |OoG~?,9?gw{jHRRTUFq= yF'h3h!ĝ6H7Qز>t{&0=EB+GٕoVi=j=U~`ˉsA,&quCy%Wy>{AD^YN =/CWsEA]\RI"[ˮV: ?UMS -#j5ǸMer;PRx"55Zb1q%80C%6!]㕠۫JdP5@1RAM4o.A7nbէ')y6Ā\BqxądEWqhMIJoYVOhOIdӋ8]MK/qB#?e,Y p?X&CDIrVn+< gQ߾_?[md {]N^L6&nr~9B ][qBO|5s9~CΊr"# 9S.xs庂 x>\堦`RA1EYD 8n{ޖ dcҢPInev'bXUPFO/"*RF׷ø5+% TM&%<](,AT$ŠwD;$(ȁ2(wuݱB`ly*hwYo哭(v/{PzHdUʦ0ZY2gm$d ;;34?zZl k#|֞)1v5R*)"{1]NvmKr3p5ũs=Y-  vU,ўP:?FXP, +#ݢgj`Y~9?K>PRԎ ]Vg/"0THyA#.cX5 &0GSҧL90M8UޜiAl˪ޮnT2|I[Ǿ8E1\-$3OfhMeR6KK4̍9q܉,n\[skmX'hlǣ_!N0:P{>is{(_1zBΆGȗHOZ挆ꩀ$(Z羉n,k -Q$Q{Fq]q~NV GTv'HkJX LA8ԻnsGe#\sWp0$$9TQ!QODK&iA} k<)`|~{g"t2쁜ۮ\qШwJ-O_ׁHqg8`WxIߨuM6w n5G&-mT$F$I'p7McwG2@MF̖ܶ'IJ#-h7OOHKR O!S]H z7<ӞgW_ru#/h|T9,/*z 3Ë'H6zJ]LY߾k=9Hq2kpfbJ]nTfv)Y:ܣƥiQdtAN AdYB 0NfKUupwHCKqH$f^%PDSoh]CzkC2(oit,˛$B<#J̣3{h/IfHgq\&_>- c;*boyo,ܑS{{ ܟA̓w|m؏aAg'+:v_,5+z ; ל֞ރ(q.̴5Tbf0rKtd&(X"sSVȒ9Il *n0d|![6-C7B ; v(/DJi|dlC^4|-&cpey_9w: m?xSLX?Hmv8>e1JU):%W% h=h$SdC+XoJVfiP-eIը Xo} Pop>Yɴcu ůQO,JH1(WUfVYԤTmbe.jaC(QrWٺ֞V6D1l"[QypN58p7%.K2f_-})}7S z>iVɮܹ,A7'.kC'g;l1Q_@)?0=ʳ7v=w6Ω{ EaABp#]Z*-x:Țq}H8/EThJ ,:QTB$1PecCy`{7N(Z03$~$r魘yV5#},;0bg}X4 hU˸/pd.Ixjll;/J}r IJuuU~:I؃7N$IaE(RkWo -|9^[FNJ2IB TC08lJS&XG5O_9Bx1gk?b,8gc5J[Q L5S'B @^2J//}%yNm8P~\GۇaQ(<"䣿1LH~AG̰&&3VBݶ}H'<ƌ:'0+5_znR,һB(L4&^i=4W$gYZ  X  1C% ,HOL-Hoare_ParallelHOL-Hoare_Parallel.Gar_Colldocument.tex7zXZִF! " ]A-MՋhvG"uIBm50R&ZJl/;,`$g7Gԇ."!]Wa +mI y> fS cԮucLHjm'tP>=͔쪋*Ub{fO/U+9L{ߐҒkVɘX#rĐZ'luA tJxpV+wm @\+\b,\:ڙ-~1'hUyNNQUt 7/Bd QL::b(8$o-D( pr _AcSmk]ބu|ά`, S3{ hA{=  1A% 4HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Trandocument.tex7zXZִF! ^2]A-MՋhvG"uIBm5Mw^ c`m*~84X Xrb(DC- TpH^D`CoѴ 1{[|t{!8kU2?Љ/&#/ =/`M>!7ƏVyJ4L&4oTT~Z']R2~/5Jw|ʘKTa7&''Y3"57{''K3 qP} f¥Z ttN;Z5Wv!oo<-ކ~iC mFT#1u]9{=тYm$LbQ |DaRP,*a氄rr!lk&jK Ao[ {1im*xz{w\'꼁P Vr#<%mmyO9!>GS|ca2~ީ61N_I_Ŧmb~}떓,P[Y}d%8Yjli80^9db*m --H1I% HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Examplesdocument.tex7zXZִF! WC]A-MՋhvG"uIBm5n]w5zaLAG*)78fׯꞱ{ɋ[a4TN9 LSӏv#4"cs wʈ.nA4yuWBre^$gZ{'lyYU޴6*UC- ?2gL}Z}%=2\L<[ z%U>zx85lL[3Qk`Z.DAe쿾 uyY0gUOvn14iAt)DFS!_0dIk KwmZC@ÄƠǑKezx"OpjLe*oׂa'9I(l_J5=(/ '}y%;>`HTwKDbk;kRꧻ|ب1Ɠ9_\#m4tzm(?V?຺Hȫ`,mĎ R _sq$̔[SgClMewȷ#NeGN穘 hř 2ޛ#%WYI0b˜pqx56>6 4u@6Č!kX4c<513ސ H*Mhg ep,T~$g5Cp^a䯱 \GLO4S9ti@ lj*I)EELnl4'@ٞj^uL6X)51{SQߥ4 cyCv/JVx}`U`[0.Ww?rךՋs`Cޞ,; 7@H9VYvӗV;N>qz k v` qe7Ru Yxģ+dYdnlj/)OdŷdH?շ6_dh(-ĩD5a 6WX_fVhh[{ÅFX)t>עH]ZH FО™0zrݧsOcl,ZK>xCK~8_C9?|zj4MU>)e{^ V=wRitb1J0K9]ENDt|Da%5=KV{=԰r'T<̄#L"-  |u <<em`7N'Pc CN6MۅvHo-_l2"zvv'6Y"C 4Y:DӉ{~M"PjLV/$#)JLA~UƆ7L7!E"#|/Rn)0b GMNAi=D\($lX ϟD3[; h5v@sT6A qؚu'- -6~++"/'PJ#ZF"v)te|qoj_pBuWʉha%Lpƙm~go&78NYUPؤ4DHAvXg^Jw,>PBV_:Jua5jhR.YӾv̨ŎeC`(B#7y uUܤ0x&4>< }%ǁA< 6t{Tۃ;Rr 2W3yla-6.QqxB-.Y5\ΰ}wz"C!ĖQf-CS~.? e@(^BƋfɂt>9mZ[#rY̺aQcbUƄܒ`KW{r|]2#CGN费nO\ ^.dscn;W6Kp+ld5jzEȯ{ZTLmOT_ށ}|f{U΀9DTrQʊ8 C:TܺkU @LmMMOd>ښ979mLCZ}ygY.lP߾lnZKmÛ!S_s>G-顒AK-ЏzN8u,t~FB1a0pڿp@ʺn(%%0ۜ1F>)34%Ҧia$jJ]6;U+[z!EVo-Sd Q!,sERU#cC/@WohrO&q[_<؂eu`P@07?QiXc}~n2ZOݒb:=*Y‘`JGʕ\6]gA1 ))b|A؍8pBA~6cWNz "ys4lwi hxxHG.|?]2qۄ>[jv8L$U>0})ylkS{nY@ S >5`}@{r$DVoBqUdY}[ft%KǨ\ 5y;SYtzC@a|i-ല `@ $7;n\[8Nữ>OBWdXZz2䵕&Lrp8u =ڪ7IrX^M\/(~] ى0R byg:kۀ.wFfX?TeClTn ab?Sq pa5֜g|4czn yԣBYE/9KW~I6>zO37hcUj֮6JZV$;7~`K-uniQ ʗA Jt@~Q#]H'Vsy!q|{I_ɜop ê)Mw> |q5 eYP'Ԥk$E?*X7w :{:OW^7j:nϻ`+*_ޛ ; aꊽP汵CH|$!  (ԔkltPO=~'>"+V,Vd<&?gUZ\fJ܈Wl O%7죢%Փ"%ŕhn $ϴ&iԙ"f޶1~1) KSrc>F\ЃKH+4+)Bnn$jٰk= !*.Ʈ) 3~+m;&P{%W L+q;_`lju~>b8YOgd$dţ} VxG/#.Allyt_0k*ֆuqW[znJH u=8<\̗#m%|p.e8p' @)5'`G_ _N's),~#̾P  T*覃עI:#/ A]/*TlGs5?oip7NsZڗ`]d2r5| L}Lx/by&huc*^a +{%oXd $&TQɽ>c9uE\Ag鵕6V?'<éwaOQR] : 9v zV4E]8 C޻Rգ{K~'C0-IP:*:TLϪrF(u{7Zs s@:raJ$Ƅj=)@6JrI`FwY / }O<I@ hP'(oNBm MU=9Vߊm+ebaڛ !? nvƜ倚t9>7|]}zNFqpcJ͚CTDM+@K'<6&I%!L[?ͼ(c@I'n[fk恧cLCpnD[D_1_ZXM9IyKW"۳_AP<]#z6.棚ꟙ&fbl%@H9Y9 !b- [ HfeѴ8I#zCk+/}/kֿHTk;[R&y_.{/%T9 c=X ΄gIFTSʀذdMn" g <iByWcӚ#bإ2{yJ:I)4P.'fSt\WP]~(DR(5I%stxx$L?]P`R=${w ܉˾\,_Fn0_=zO1o=?FM^e;Ϥ饮vaGcERM%|},2<Jp;b 9vy٬Z1*L*ƻ͔?YM"BAB/ԮٝpUvxjTx^_c0C7v< bFʃ s)3K5"AɴZO}6Q ',M l{AY?~Ndw+H_ʖ.Y8D򏀈:x~d*Ѱ9JP\*&D52KBY̟):ci$ϝ6[dP+saF?6#&"\6ȣ݀xtOpȩb"|peZ$#eɊ|Ϊg .:s=%Pho^d䇐 xr#(Ոl-WS3Q i 1+.&r%sf>e;/!m=1l_YHU 5?dٯ^Dyd$ -n]CTusL J#uP@̼+&_Ef"ۅF Nz *q-Pix!ŮnQ_wΤ)"COԞ;}TKPPl8Hʅg;&5\2 #x;(ٶlR4| d+_%V$7pihCzx87sa?>} aw2e"4nenM:dnĸj k?GtE)0'dDd~ʽAb0ơRRB#KO׾pI.p`M#{4ڿ$)3J @/Ui&kUCX<{-lMOV@I.2lݟo]h8h<%p1_W%!v{{鲽 m90c)3~p*X6!Aa4}zPyk׉Bc9͙Ҥ!U) 2NQud4n&ʋ۱2bIɐ%Ã봖5մ9@#HXwϩXޅS,l$L U]93,Iέ'R=ALNbdzrcsS6`'T|r9G6tьlfThE5ύCH!bB[We&hM̯FTFw|܁C,[>ku 'Lwg zӬb[uWۙAj>Кw<
صFt6S/ep{0`d&@A:.E|/ѓC >(zxRo{\xpi#0IRt`b0 /qG!*D&5n7gYZ w1G% tHOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Tacticsdocument.tex7zXZִF! :tr]A-MՋhvG"uIBm5n]w5zaLAG*)>g%n55*֔/V)hظ:j2xݝ:S쓟46! &Έ.TK K؄$b,X-o㧶|TdHđ_=[uA c,DtwR^8(C~32JȖDS;!lxJpICM0WOfa g^:*XKuABH;{hӐ^$h^BãvU%)Gj"@V4'G¿[O |#Wq>PwشЮ:Wן98ꞕb89ϖN+g>iy'z8G C0KK0y5{x34Rԧ+^c Hָgruuî,-2a݈05D-%uU2fչ^Jȕ_Ѷfm>׷B7kTs4pB%ĨG9ee9Lz!ڵ"Yr"[?8y+|q(JKPLM8)w0ޗ55ݭiS6;XGbt7ZOԬõQ{&Lte>J%tCڛo_/)ǎGEq[7P ׇDqkR?}2y8;/f[\T[fl#*c &^ROA4-?yrd0ΔNINnseCN U6 'A_ @kc규؟ ]z/҆CTݟ =b*̦ BxWIiUҁ{?/:$qC.W{yA)8 CpU*J,cz[&8h 9//!*ɦp&fMm%#UfI.W6?H$>O?S2if~v!>efiм Ntvr`L&pj6bAևW4jmۦ[?GMIayU$<Ϥ,diDx'G$렐F@:ZF&y ,c*+"`(Z?(avGaUYݒA|VI >Klq}4+1N#J$wtqc@!]R+OÒUD9}WTyp {9Dzn"Koqs"V Į$o'\ ݪ .le<lyM(G-+xDF實D"̔-6U?XX Dp6.{Ftlg5kTќ)'s YLgvC*JȡU3dJ0Ӓ\ik5&AkS:^IR7?d<c?>@ExB($ry ϝ 2# iSq#4@']*-,I K,t !$9>Ba3=~|Yw)r^,b3*-,z(]Q'DHErQ\ʇص!N$iφ6"AS؜V7I 3y#_9Jа9ÁSIf?[Z@󹎡CXm#feO\)kW<ؒe\"^h29ۓ(aVXỶދ` ){L+jK|4S)Cwds$H;Ut:éBr?gOzLn>}<]T4(+CFf1g6SPđ)kk0:զ@ʋbmTo"מ&sXdɒIx҄ XL\T{>uUlsǘq44wi6zP3X:%B1Ԇ6}vmH׻gUMo9K=#P+&;ZOF,%v\z KEB }G0Uz?5 !_MS^ _ʶa% &[ Lv Pg \eiC 3 y<#ҕM-6wGOBvYP☸m1b"TJ$o^"fJaD ي !܌yOJPm T䱻R?[-qվ=3\L4 (%ᣣiZ1Іq=/?jW I f) X6)i=-1#)Ww`b\`b/=B3!hN=[c)֕;N pK3zgA_LZ1`1vO#nQ٭7k'=tL@oqFfD–ig*"pǃ:,FTA9] .BXVUC.dg|g[xu@2uʲd7`Fq)Tf0@r)b ORKc )y;6;CXWHcӌOʢ]Q[#c= 8fxɘs]m83ߨyIʋ6Z6iN:Q 8P_ذ,CON )Ö=jx9ܠUf:\," [HfA@7'YiGrt _F>6tUopfQC@,a&(k"& |j^5Elt[O`'ڪ jE"sHɝ^54;gP{Iˍ' ԈɾP|!l~`(l~3X}d26U-[ l&jF%C&uM'R@+ 55$pLe͠WBHۥVSj_fӄ^>P_dMHrJR>4T㺒Ag{!su[mAH:of*g q0$1IhQiy{b}N[uZ=AlSQm(m$daz>X8isb#L[ҁ HhM4d(%glw9׆MVhBw>ǝOмYxVӈz\6(͑ffWv0z'?я\,v銦cOX_ /J_7?| xvYM+P8,RDw!If8]R|T_&o(##-6ì 0m>Ay_ F l ~ YXfCO /=/B6`h}1/}ġcԭqԑ|tL۟,)՜5H}xD@SX9iy2RLwH&4²W64m4ߢXw,ᖹ5e)TNh]'+#o1-H ِy\"ʝ8rKBOy$ EGk]?K1/Ǵ0# i6XL_ZNa& /%4T&.UfS>jEHO57\;xa>L˅ek1ԟ3"MM/LM~}l YbU+P;7w'!MæNY_D%;e`O9Km:^PBcÕuE {9R͜2J$ӝ }4sX;sd1*$o׸Ss?F} q1.볉DŀuuC*"  e<űiEuq*Z޼H=ΪEñ}Q쌊ʲ ~_Žc\–¾ ܤQVC."(JUƊ;=bb]ߊ+-c_\c 5C)4†܄CrwZi}޶\82okAUi{a|(ɐ{+b)Ļ V9jhy/AC}A8W9pp}(m[i0M/Bw<:+AR[kKb8,U3'`WM'1jTHf4d)'c Fh8p@c3)1t+<Ǒ.SYE_jQ4AeԆ-nKw8r D1hb88&){ 媢Ɔ Kƚ36 ԩRCh&PObDu/*h|n >n?"+䬤A/Vnv\>׶^o*DO-0c*sWAKEAʻJjJj{`mէ)_׿3?9RŗvJ fT6Σs[HA_HS 6 eαgYZ hh 1C% $HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Hoaredocument.tex7zXZִF! cp ]A-MՋhvG"uIBm5n]w5zaLAG*) ǔd0 Ճo$9z0RI!}I$bPIޅ|Ce~ۿ~ i}1EV;e]t秅CviiNR`  ~Dcɯ Z#1oB;!{"akwܼlZNV1JqE߭Ώ0'l=TP# ҙ96f$:p?Ӷk]M∗f'ΜkovpVv`c\kiQ~R2U;[IDBc 9VV#wY*Myj0bބQÞQ>7TtŁ>Ql5%92`E%>t|tiK\M2PS,W@*&*V\ qq?BwX'AB)4^]q(A tO q 0Yc ZW^ABosnTޱ!!t}~]PЍد%' MC#Z//v s2;b,-X#+Ic4rDr|[BF*<ryn  {{G>6Gʎs* ؊0M.ȅ3~'M;Ҙ7]lWrS{38)׍v2)a]b Z&asաtbGS[ ‹egq.M#:N<}:͸ϼj.8jpS6) _~L)}&C8Uet~INz9+V #yהS@PڍjDh-Gy '߀<9'Ba=k5b!kixi$$}_>!p M[ooΛ rQ !IT)}D=ʠ툿4rGJNQt/1&p[O/!^pGp|&P!=5kG: puuN+A ԹmT_T2 1ˢ0w^Dzw1ھr╒4A؏haW]N$,[LUPL~8^:ϟW=g*RBnU|ƶdIN\kw+i1𮩹gԶ(et'5(V䖤rOk&> 1kj zIQYO/Q@zaxw^ XxrΞ}46IQ t޵Ft iY-l_bzL5~J7~)0}mW($>niS`iqKTz TS#QKս+xo=Aol$&֬ Үcd#υ5V-3j<&~ʒ̫:15oڙ*تf!(de/b MlP n&x 8k^WaIaQ7Ԙx ar (S֖cg9|<0ҤoΥYXI]%fr%xT)̜wJ%WUxk{ '.W:ȿ 44vQ|+7"4^'fn`ZDeҩkiHϓMR7E-q|By_zy b›ŸՃWj08+95eݔNE،发tYM$<4LcJr.t%fv1 [HntLTTȁ 2V˾lGP]2tr~9hh4ZwZq:v3>!<%I_# h&ӿ``,t֐{*>#Μ)ƻ!obs~qR͏v=v(aEdI?D:|<\cnYYf2v,lPW7+#$_)$ Y{|Xt:S/oEzh&@ {>pv#ky*Q+|>0Gn> Bʁ]aEYyvbV>B74*%<ި?)@#Vm\,fMV?qw%tP"'o~*|RjuegIIlnLNˊJX[%yb=DZҗo9iSnzXz<ٌz䱭Rfa!`W| 41ŘrIf/R+lnwk`#:˲xLcְzLyJ{Ž^2yP8y _%[k3z&3_Y@Z#8D+2LIx{S ƲWhU=.zm^xg"k+H-C/vY-}mƽC4SZ)o:}i2YZڷǭZpǎ-^wPK#@b%e46Iq(]Fwf"QnK/G-> 9ܻؑbG]5_NhJ;R2Ӂ!dG'4cRscG.4pF8)4PQ=s&XANxDs(ڸ6(*̂$_)28kH{) S܌t[xz vI ֱtl KK. T0gsh߉*ZThIPWT-;bh<|dRGo󟯦fYpS#\rڿV+\ vc9D4HOZ &GUe,鸺2}kw,015T.ׁoW!|I;enl9]yܦ%Hc$0֝toMx*;8nY]HG/ǟ4TZ|+~1bS<{kXd0b;JFHz88nwweV`Ȓ*µ[1WWE6Y.iB$Y\R4%pJ]]_Ns2-Ͼ;ȗ*Q$( çM`Ňt!UFPԝBwAζE$6f^ >dj5+BID HLwj. ;GFΐ@uݽ݅6sc֖aٙ.Ege5 c9U-=ǀ/3FCgT7!*r&|}#P^"j1A!J9j w~'D5uOk2HJsJ( ꭓ15%oB̄g COxQ)EG<A'Z06Ƣ؎ܟ7Y V#nF,G{Lדn\ѸYƠ@ĠiD~]eG١Iˑ}% OCU|%ZE8Z+CW~Ѝ?og䔀urp28MO :Fogp#=A~ 8KiK˩b&ִ2>EF&K`mh⩅-nMoQroat4j Ux7dA|MJ3\12Ax7@|_玵F3%XxK9y$脐_UV܀u"bb,ז|݇W! q5x{9tDLyaG'KQ Gc o1ф |IC}xLhCw?2[o¾@%qV=#V'ԯvJeMD-7J.۰BJd-Nj[ܼ|3f SPnw㽮mJz xFGӪ6Aeg7ߧW@" let+{x@6)?z.~uwe5;\- fEsB*Je0t+  gy񿫬ۗ1Tb],nU9{jŨn4v_ z27֭膓s a 'x_x% n )SF\VɄkr#Ѯi=G|&~D٠Em~T+WM~m2_" )%j.]t=vh8.4& s33=-flH|G[9Ivԗѷ@Y:.=喩HU'bSd ?H%~ c. N:X|STEGS?K!vo<g-@[A>h.fTP;5"tL}ʪxT@ȗ7&y}KD߹po\6-M>-ię6L826<iM5qQef (WV͚-B8irYgI˱ 4p3.jD6MHf<#E𺸹~-ĕvo_a;^ n?c+M 7t{p8IvRKU ~൉kﻄh~fŪW)|_NgQƇY*e:2Y҄ػ/byhޠt:2\㕤=~{#J<%fbwGFj&< t ?i}q$U@J͚Զà:$_|kTa&[ښQ0InT+{6knV.w9:} R FB< UcAEtwvpkOq`|z@\&*mxJgYZ  cpP1A% ,HOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Trandocument.tex7zXZִF! |O]A-MՋhvG"uIBm5n]w5zaLAG*)o }b&^)xUsJ%4Qa7󁡩h׶ l"1kLW -gO-L+Um|S771!uRlE+ ,0'XhEg>m |g!^H@I|i oBXaՒ sP9gRy#??ײo<ħ[ 3 ӬWws^uOBB{Ʃ묟YTÅ$߼r=[st, }P: *vierO޵ R^˽Zy<|ڔN  CmUBqy: GbZr|cK )b$ y 0|fyvN'(0u_nI׊uRzWC4(\q_|sY =sևMW8/݄JwPt xµW~Ka?vbPH0h1I% THOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Examplesdocument.tex7zXZִF! fa]A-MՋhvG"uIBm5Mw^ c`m*~ ~a+Һ8fׯꞱ{ɋ[a4TN9 LSӏv#4"cs wʈ.nA4yuWBre^$gZ{'lyYU޴6*ܴK^cb*#=,'/="7(w$8쇉H$3;-CÏ5m=+,Z ?}yhݍI/Or 7Ts'Cȑ-"[!C 5\(@gH7.*?.i|HXsD1J*ݙ }X~?4D;%` ^-)\WcL{`M]7螚;ً椠zۂj-U*Ưn܊%Y4ia (U]RFBi`%UBDVBonՍѽY@t"&ǿo_H\~֙cTC0'MV漡yZyZۨvt>8[J~EtyC{zI"s]Ay1%S~%S7\{yS_ H@ 4L3rSf:a%n,noTRءH::k!.*[Q$2o-7\HbG/3q+-^;]T;WN @Z=M163ZjyyE82~! Gx8pK6:A#ruM&}AӕJ,H5#Ut|hD*֗Q9'g0R ;t1W oj ðWu;Q$ѱF8 MwZ,i+5' /yPD!P[jTc9ALKRy|0@$@Qhhgk%(G#/ ༓/dK>L(9D=m rIU Ѻyd_K֋״Jqo'F@@:.Ǚim mƕ;|}Oou:,he#ݢk0H䱘}!=]:8.I\T0X*"oC;9դh_B0Q=S-6D}GeCj~6ەc%=<B'-o 1CG!Vβ*XF2Q=eӎ+P/jf mj4xyp\OM+CF}'\K粉 XXRXvz`nQ$c#ۜZ*QID1bqx3.olϕ_YQ[)4tæ&q 9]5P׺ gJ؀ b|.dCi3b;r탘6,!*J!Ѝ 2V)9섡cΥ*^SBD~2 }TlO{.u(;5ٻz~9v-@2-m%:yt% @թoߝ^م qBgHZqꇣټߥ$Bpdh6iQeowPl^\JԲʈ[bXqZjs1e(<& ;a?fœ)|#샯lώ&_]%#*_sQ}SgA[+QbI\m}$DjC"B PvL)$e@ H0"0síl8҇[P" uƦOa݃еL +&Ge7[~y߉G#x{^'HXt8-,v K*_UX ueު:Lw$ߦj~jgs tL/W<EN4y$ղ )SjLqcn.:^h4Y[j>H*z6]E!Қ4E q"ԝ#(2"oIj&Ưm5RmؚZ25=S=njiTSq\bB܀7f>LΤNifaoB!.ٌk1"Av, yɸ:õDF:b/MW,e|ZŸKf笇TX]ӥ`yVyN2 <^Y!I͚p=Udꐥ)jT_f)ƜM̆ ѯ'9)`u# TӴ7*K@ Vi ڭVǢ:TI:\@,xOĦrb%%p{mYpͅAbR}ZվVcYO2EfGx-q: b}#!C)s@_R. }=ƊQ]3Ԫa:MUnA&d(ʶJ8 `.+5$,T+5,%ݓzHYYQ,G <x#THf_B$]FP`miLTFlInTC=CNT{aO> V+%uW)iIqNO >;}s+2nC{l@ݧf(u^};$; w>%{.Fsì<)6>Y% Tl 3dc_υG{=+aАg8;UX^8BQXQt-!I'IJZ2cډ⃍yJ W&uϟCp WRw36Gj~$:9W 3zÊ"2 Wϭ3E1 kt{բt-+~ac1i~^{l84`T* E&WU)qFnU;~ eLu oLpH݆ Q~/Lc96pȹ΅.W;:%ȳleڭosEMLՎ!{$)R֙*7Z ?2xz¸"_)^V <;ulZs<^I-lizUZY{Y`{IvB7r<%<M,xsW}}nK~c2I#W&7\J~N|0%f zq/*mTH^"ӂ@ਜ਼Snw:pR8TdP,wEɇSWBϤzf~*;O`r~Wbv8| nK= ʮ-fouhS2hp߳sj{k"K//;>Ojv|0P  8Eip;qk5!&Q_mQla0$)y`fC~Y"m!*%`(dEx[xOh#B|Z+lܶUja77k՘Gƈ+*+m&$7!B [.zӖ[ dہf WPc^T*BEqPdeUH67Ӯe+H^m篹 Zm,O @avC#FR ej6D2\kVss޸I6K`A^XW|roxDZ~ CEKyCnBVJ*gݳ>aYfݘ/ƿē>%Zl5Sj=$pxh/ +a:BY8f>R;mEO,K sX+[ž ʀ7”nS! z ]#{ftFLK,zH.4xB+v[~h +osrp5Z+P]N Rwʝº֛KB.jPto?K϶%Kqvg hd&P-NuC-(˯(3=H} (c͑hC4KЎ,L~g^ U[+>:t.zk ვ4VOJꇌVi5JvםBK_ykBAµ71? j\a/ ƻxdc;%{uh )I#^+XbG ub@X}'1ϗ"D{ #kT@_#WA(u4a[)z)m\-~ul}OϏl7aGvs=~Iʙ>F"F+bzVLS4uahN}7C+<ЙmRZxसp[mѣ&úmBy$Lf΢ ل2@ow/*F&5Ex[,M( Zp(MᚫUCu ` ٴ_a[s@J^'bW3",rrC z\)AI%E,`A\/}:.BymJB8}Y"2הq͋ 9Qe$*4]^F 54s%FdY|Jh EPsi2B)^+IyL1`~BE>Ip}4ϰo*;e7O#Zd3.$F$4y/QP/fJY ޚY2`={F@U\&4GeCdzI7Fqǒ[A.aAp*&mj(;-q{`maOS+LqB6t hF|j,E<6o'R /mHƴ5FMFpv`grQ}0ڙ :N`9  mgЌ=}!9j*a:o7L{**̂޼AK-4fSvZ• q+zT衑'(B̪gCdY2EU%շ1WGl_gC3\7:3?eƌEFLZ#OWUegଌ:< 5bx'_2lUuQI ;"dw #G 嬕N{E{͝M?eɭH&dO{1KUl](f}vlBh@:\F&b3IOTrrB.?25SRk(RgYZ{qogU9]myg:"wֶ{E2V{ 'K2A aZ1Lnp]aA4 H^}7n%orIKZBϽ w䩞 G0M 4GuL$"oJv*8)(a~,9=ȚiWޠ%-B_%􂳨K{!Y'ZtWΒBs8eo[mQΖ}Hb:|a7:bLn'}-VK_,z+\1xB׿)e朄-"$lsmՄ^fI5-xV8,H?nR5Yxi?Ta&jMT =ld41iVKФ_5C?ķ(t${.v(OO1`nsg:8>%~^}ƚM)B\jJ"ΟgGݬzt1w5r?"Yʪ fZ @YZ?H8`\>( - qAB2 fb_VGª3q\كXSDlS{.=!F-]bZCN2>|Ck▸5.͛uIFK \pc.W ޚY+qN?Ryy7)P!2 pisv@ apd 50ssX][lƇF?)ub`bm&:a)\j"ʰ'}ꯍʽ]oc\5nQEl,+\R.UүYXۀPShe`hoTFg'yS(ƵEmZpwS1 xP6+(6{b>lF[U& WV`)a -fI(J&pA8/T6\u4֮ѪͻhZ h޹\>gOt]S3%͏Grž+m7. 1 N^7Ơ1fH% _Љ'VϺ(`n~U ;oH Omwߢh~}g@C[ݗpbAB;+35Rrb!qeh 񺲪\[$_uNnXdEoqgu Zbys~`'G 㻞dg9ho!}C:,qY$:F*b-bVPQΐ$nxí[%"4$v.`3JTp;h60vW$Sgiv>T 24~eY-1nx_eސ·R<`m\|Ho04Ty4eELqI޴ d7BCӋ@xrW*ryxٙ }2 4Cyin&$4qP3+IJtGuo(MA9s8LOB8k mGm Lg޲]ç#@'m=NB Q`ў4t)XzȦF/v.沛|k11;2w{- <_~rwDoκ۽_;N'tt[ &}3I/h+N,U&w/}:P7qv^f⥪Mn;64e3`OO(]=# `߀[ɽ_bNE$#tS'prH1к'g՞O+ r3>߽pjr-ba~ h}r[<EJHiD|*6RĎmS 7n8/=+Q>5ou3ToE@ssrD1]|b(g#'n}}h&<mX_*g_-W)٩Değm@=2" &%i>R\Viǣ*^OU0hֳH%7d3c@QYîs3=[8B lXW!H_ɴV;5>S/X>37@s}h Qϔ tcs&ɡƖ_z }bċ96:A|[%Uy C:.@,9R9duJ(WRW)PgMi8en:cS/n]X) v_7 |:VVnqSN80rt!̓n?d-MvM/Â6KfCع/zg^mw,HhMߟ,`gN+҉+xRgԕq\ T.V?x%˳dm{)?#XR 16,>v/ R,}Cn!GhuΑtp%<sNosEժ  9ދʞrɥSm)5mR&<4D#3gabw;]4*.)P! eKyLSKqMhW'aP'xm!;n8eP2K1`M#h%l./H) z^!3wׅl$XH&Q gYZ:Z~b\~oOs?oz~G*I]+"ӋQS!cZUI{_[&H/7LlhV-*]9=-Q@sEeB4k9t +„.ioHjs8hhr#dXViۘޖ>t2[=CZD;gݥZq!-1>ٷ/sjb策`Y<*݃F9sU޻X^;O!; GS? 1egbd<@?;)%3y}8A LZùcOB\]!hpFkT5HMzlr!b7#HQFH+ք>(%sYENIBb1vJp>t[Z6/w|;U]d/U󖸬ǿ:,"%QZ jvz=A&<-wƈT9,H~(5J>cj/eud rNpګ@C/m%'m`6T{{ :",c{jFbH(Pv2BVqo\n DUͨbsAh73(S]Ve=<|!TgoŵtV`MH-~"Q*dUHit=S`(T/a4Y IϐnD<>41 p}悅2hVAI2B*z9~'D5gb8on'^ vSԽKy{h6X6Rfnj<;` tܓK2${mG'Sʉ}no)&S' ^'`{%ba&AIJQC0D~K *Jetx8qUgUڇ+DŽvsW cOdXLw> [,wR*=S31~8F +qFk{aXȕ|!il=0w'XlVd5l-j["tQ5dE%: im/d @>foX#_Hp#a<) &b˟Ps,tԐo~%%˝$k6\8 }1 세<%oSJE~VYEˋU7ah%T˿K2vCg6+Xus.g"w+l.@H#!$0*Dw=A,>}c;'C ߠͩ+ dI}$-u;oU(v9F2 c_vSF\{`Dj|2/Vx إ|>|`3~&ZHֶ4pX+HKR0c1cz^d0mx<)I}֍jQ#vSj_V d@FgVd7ŀ4NٸB&<>8{ޱ{-= ;%^[D @pIY5*H||-W7h+ՌG\<&2w;''U&h-LsBATaaƁ1ĝ\`@ta(JY^:@U޲tp"O+4=eݸ=FGOj:t\B1b"iyXM(7e/@Q70to7>`z/bQ%De͕ZUYGP\qZ D']A]D$Jz3UJWBxhsq5W%oMmMmh(|];*-|-0ԋ3Xz?Zq‘T.]cɦ 泥'KZ Yҷ4[0l·hkXG}#X] -xv_y7sφCt}*i<׊t),*@CZ&+˷aE$4=(9v14."W}|n6e煯[;ُ GR hwtt}zm+gZ/+&F^g}]I̔QvC*J()NT]p56? x"M=z"#5=8s 0wyvxh!o,V}QY.tTֽn2&-i;3r-oâ&g'Aҭv-[N%^F{u#_/TӰ_wRc`WJ/=3;K+.+DɎo$Ѧ#_%*]9j^ gjxܒf1!.>l۬ 62(R9㝜/QB ;MKX}eJW` +,˭c ߑ0Fϑ'͋6V8.!di= '#&2 NQ3sry!a/a3CV!Ct(eKx捖aƧKFLvp4~x] ƆJ5c{/m@R5b?oa <'&;GaXGDx+c>1mS28ᕊ/Wx4j.|;;?c_g7=O 7ƭRQjaLQFs<{7FE9gɒG*Kq-nr&K$-iϋ+]t0bA%K3V2QnTlo+%Bo'ԯϧ-r2Nnjxk07bjҪc*m=ynI+tc)>O/HVVkR_1Ǎj-?w&dE+w6^O#JŸ.҇_-i%`&Ξ {(kZG {v*pcQk>E_hAD}7qrʗL4EvϞ#cNR $<>"ʣH3鞎,@n E8 3IB8ܑЎT6Χ PveVܫNk99a {}pw/ޝvcOesSub*1zN1nl,,IÁ-d07a.ز9r蠭l ?[+T_\k-˘eej3ۄ"C¸1[ibi??|;f9"h]+dUtZZW_G'W_bP[Hu)T5AuNk暱CWIv.M ]5!eԊceǕ;WDCeT|Cܖ.r8Az>zJxOJ/# ]&0M~pcEΰJ WSypc <셻f 3qaŲ"|?j2elL8Fy[NR*Śmq/tT vsb`]Q7vDZ<~8m"3+ X"p)u,a.7dd;l/3rCʑíԣ͂}PO)L STKyleLћS3G->.օ )ղ[~Nb O, s-כ8IQU^!j'.moxu&3 gCq32! KdީrOZ޾ՄF9 F^}-muD%SxtJ9*m6Lhnю Bpm'`nwW7m )y8H0FDjY'3o:.uG*5Y3Ș\܏@y~yGԷd LjW1%UPXC)W[V~4x)ʲz ]Tjsϒ0_RQ&j_8ǘx0sYCvCNz&/<͢4X 8Q\(u Xev khF^YUpǭ_FiU9V!+kDsHտ0³;q3 3o tfP,$v6MGY9/^fƗ(0w79e4TSE+0(Bz$ w-w[!&NfAvY吿$'%QOo,o*6 n8*"ǘwpŏQ+j'6ˍR;v#/A±APO<|v+Xf|Tt O|,7J` N眣: &tip t29m]}4D6.0_tU\pV5uY,7E#!cz8%sfsd$Zs5Vt >Li[& 뗣!^l߾3ʻ[`NKrG,st$hg? QɎTruV˦a" ؿL܃ASa-;dyCE!fDKyANېkiJtPCoSC(n=ֱuMvDFg<1 U6IIoIUDoWcЯ 15,rN>}s:op)'2@<*}d@5R{_f̀3Z EF,S(A1)H.Ke~[,?s0NnvQ;>3_-OnKq 9bVPe7 F%!ZU6Og#캊\$? o !F BdJsg%_`QY~D<88 Yvax3@,h`FO+,jž[ s/O5&-<B$k?pB:R4f-Ն-ynJAab/ wPߪ @\p4Ї~FPJӊGn@ 6{f͝d!Qfxk Zݢd4`o:M{/Bj{nO4=}P@#9v*eS_qcƐzS>&2TU, 8gs$Q\}pi &eB=hq@+2q*ԙ4jKJH_Xdє2Iы\[a=Xi%PRw݁կGmbXm4x0̎^X볔E7%euz _Nvj5 *e!Dy2$Flfz&VoqMxl昜6On:X!O2' -0k*9"pzBW*[uf8鋖1O܁aDslqGp;`Z_/!pst/oK<}rv XK  )$LNXxWT6b~i$g; Wq~Cin1][轙c|m}/}4HQٝ1{.zK΄,> eHdg$=$ѵyE`0:F Ue.u2|dP`4 ֘*}ߓbX__!-F : PsM 2՟䄶AZ* `d f̀b[@-镪҆|u{.d WHk%Y8*!Ha%=5 ?orM32A2Rȅ`ׇüL]\x5*cw̬I=AhTbQv`DWBh$rao)My0tjm%'-+CvD>]d߄9儿O|>wӷ'K%vp=Rq60"A)3WՓ6j?ˆj3q\w㞑bm鯖8zm:znT0j=b#@?,Պ@MC.i-tǗ?30vl" CQt;ubHr|d{o鶎 ra*f9!A] XL~. $r%6É^ؓDfA6X ƟhV@ ̓'Yt XR;r @ 2#9M0;dލlwrPy }[ sDυT0O2Ǯ[FaRf9FCѡ]vD#C1!h{hV錺-@t\u7~TkߙAl|iWV7^OaC+[xDݬVWX4GzZri^%{_U(K'Y}b7 x?tܽ0,#/[a77M'(?NS.g Dp`҉0:{yLſ^$S#m"q+ZqҩJEsO 5B Rc?Sl"ZSE`@6f2)aͱ(sm]ꄔy>Z(nN,IqL\z7%8FSZe \QL>;IYG#-y }#h7 #iTlKjS>C0C.i@*[pژm;WFhLne]|rWİ)^yJ!֪}kP!p%WI Iȿm cA>ggi|?wQ8VQ1?;@M NcV }D y!q9N}סa 4ܹb@p:M1}NP+ۛ53"c!(2>H.oS1˴ 4;Z+92 3^n_oxi%Dr3_a"hL u({b%c ev}SLo n=2 w_ 1EMm^OI*eD&A\3$*^R]DBr~}u$~C R~ɪt?.hȑ<U^lTPT[x.&hv&S3=,*(sWM/28EMfe& Rl HvcgYZ 1E% ,HOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Syntaxdocument.tex7zXZִF! F]A-MՋhvG"uIBm5Mw^ c`m*~ҵԃqK\1׈c,$ejZKCU􉹻2N:ֵ(47eze0M򓳮1ߎ- orS,G"p{ ychŬi.Ofg _}<,bz{C"$ 4np?e+iǟO:J3vETI1"ND9'r4#%@&m66rWMf R=8tS|cUS Q"'Ob_qykA0`£xbƦh♹a5]?,H*pͨڇ2,XyLsZ"5j9FGmW\-WpvU{ 1ށZ1T:k҉fjErڃ&~xU5/΂ϖ[W2@|]Ă5 4;aK~ ؖa2,ׅ(XwN$Ajxr#gfN Ryy.fv"rGUì/VfPG2(DE9 hu1u0?mU1AjZA#qtYy਽>a6c4g9ܴoq Mg͐_w) t[R iĈA?|zB՗f7vMMf( f/۶ #w"O(?_O7UmO!or!9J?vJ-q;L7(PwɨC'϶JW|C7+i!?8R_6Ys_@:"P)#<-LӻrHVp8u@`WH:՛GDZC kחZpgN_XA_W6 = ?.;|pia(xPx`h?czJƤS{ րX?EY ^$־à54 i'B^I)H;;{jLU8ۗe:@ 7/?,?(͝H213YEc-vМ&M?Y`+lh|5~ajڢ(Y I{X5䛄Vq@$i 4"K °9FQrBD3|vzĦҺ%T1Of;K3*^4%J]J/_ܬ$k5- 98v8/DiB#'B_h7 ie [E?O,O,? ޡo0sb{^c)[48FM9 3lk:/&yk:5JEeUX+;* f40~>{x#O1x +Q?Zwg1Ё{ҥ!D5e6onjoAMؿ6ǂ=}~&P:׊|x Fev34n WlC&>; d 5>Q d mE\N¸mN^x"U^awDV6'V09K>Ѥ"'*7t)pwF;TхSk_H=ikehmYz^N]Yq\svBtt0D`y3]%V1jYO" m;u-G_]uB|;ӱH+>RvXqK"M7ߧ]-ȴh4"DZR$^̱ c7'1S+GJ"޲Ǎj`Z+@̊G&%4_(D,Hd18Y3嫷&M3XuWzhq!Jv:P -T6)9 դ_o a!yA$[AA8g\hWZN̓PYQ7CT|c,< k!12 @q[g`HKF [GGe)yȻ*"2WmR<?&5:^W~mXPIEZ&nF ǵN-;F2y;z 7]V_8ex}kgYZ  2 1E% lHOL-Hoare_ParallelHOL-Hoare_Parallel.OG_Syntaxdocument.tex7zXZִF! ~G ]A-MՋhvG"uIBm5n]w5zaLAG*)|L8́L-n87}1 , TV,) KPRXtEbkۊX;{99,L` q ]xuyKB1+ma_CO}+rL/xTC&=ŞMdL(=~i]õiU7HO9g]nzybfǞ]pOKڊo*)<_l?J'Ž02׬͔T]X_~ f/.Gj*aF:OCgz(i蝊{j fb. ;smr@[O(D\~SC~8ލθTr{9"jMw >DLxZK!dG<%/Ml[ WҒeRk9QSB )b_Bh" ɋͷπGJ^N/ )>1]i~#؊t}E!zkE q w<K=xECg7ejp#!9ۮ:DE;Z^M o{%Bu)`kNNQGvҤ/ONouߧؐܩ!l>DO mҳj1,U7y{r(g=m3O*_sofN1L}1 eu> .UT_{_#oNer f_^c xHi?wWM Fj k":]I{GQR8t Vz,KǫB B_%ԟz lr Zxw0a\h%i]13]0{ ݶeR}D{,%YzDI #ʘҐ'Cy hڿJ8+^18?\r$Xqg$$շ|b 4 sߡ׭m'\d֞R,=;_-ӳ1Sę{b_}`,n$z&?<ۍީ . Ez#cJfG)9P."׶C+vUmC hgns%;( }oc2gX(s\-q@qB%s1T>=H u4=T bW/݃Q[_ k5B? &E.֕YoD + )WGr:cyk^}-$EnA=a&w]D1#:qbMMn'-/&4䓚',a 0A>9'$f0tiBK*NSkVdu/;" RSr/ ؓLިg^7p r{ f}BŁ:¹EF0!eR{' _NҜ fVw%YF7T4;ppjP[];Y?"ֈP mc2WírfkZSIlStRvB}m-v^Ԁ>)~rBCW?B1!!-A?HdoV̙OUdH[hll8ƏWTP$Jz;qyM!DgYZ  ; , ; 1C% DHOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Hoaredocument.tex7zXZִF! :'?]A-MՋhvG"uIBm5Mw^ c`m*~+N,a]M *Z{ԺRJWyKh cg̷< [Or,}#&P5͠SOF FTYqB.;(|HaXdy>4~TDYEb68B\?6`&Ĩ5Fi+ cZ'L@Xs:|g%U j^MT_8›?lSW3[muwr65-B[vנ `u #EPLM,J_U8T܎%igڧ4֦.҃0[jY%c#N1,,?a2C.aFjo!-{!"ʬO#1O% DHOL-Hoare_ParallelHOL-Hoare_Parallel.Hoare_Paralleldocument.tex7zXZִF! ]A-MՋhvG"uIBm5ۙ,H`&Š〵a=Oo ou'{`aXhсnu٩YAYǁm1̻l E\ބ',ΩP{YL/ӛ> މRbK ZS9ۺ-9c6nlc,m<`7RaYA;ǵheAq] r)efWVOBT;a¥Ŷ6GPbi 翄rgYZ+1?% dHOL-Hoare_ParallelHOL-Hoare_Parallel.RG_Comdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Mw^ c`m*}G߮7e*qED6K tJ'BŊw"-vbc!NU<ݑ{ 8dE{{oS]? _p?_kDY1} 6*z;LT[LZ%9 YCKW0$$V$yUJzR 9 yΔb) _|?Qì:K(u]nؑ"g8^`iUqc9q~@ ֵ|z%(<HՌ['[ɜЮ6h;yX՛]lK¦HȌNP]]y7Р_zIYSlI7+Z1:ſY(DKY"`L *wQ;@Rd*gYZzŖL ۛjN֜&Sm2t@z[<2M~m O* ?č>鵺6:h`Z7Q0>g,L, ~ߎ}~pz +c (OҜ5MHz:eC쿝hP@ϩjٖqL<ReGR*k0^!x_ #`s! K2^l].2AG>u6.$]_'iZ ̄SG P@{pbv{vG8›O"6og!vP(fCɶ?ИW/iUyM|a$&M>_>!K&uoQXw/ZnE-`+#(F?,SDGP-+.U<)ԏ]d5N)!9X(>#GaA^D T Л!ݙN2dS,m0%΁E? !`En¨5lzZ k ~Bg۶sq}N '>2k|h ,|um_neDVp Tqϥ+8a-p109"V$UّJbڢ!;QCqET;87``S?fdaʣE&Bx]~l, a`!oAܘW~?DXl׵ga"6q Iw&"/ ngcpa?MpK>h!A"wʸ-ā@&D gԘNE-P_3ʺĐ1]lO tOG-̽CW)CwmKƒ{{ Ti5цX:A\gВ;"ބ4ir'Q4(JKX9:pEuQ)3#lÛ0ێQbxUGƇ/kίT]@5Z$X^tҵ,爝uMWm WY9ufܤ0L!` csZprV,i`jeL۬ kCWoNKu*J=L&TPzM~' hPJ~RH;7Yem0R8!Ԧ +8NM(#n IW k28ePT6ԤS$O6-~vسk;jt!T̖;zV>=OxEcguJ)%P-PCig6$ŀCi^ #Ѓ1J Ԝu }31Uպ;^~xtFqqqFte&Ta24@tħ?UIB"x)H4,c<ŜMMMDf1xQ}5@( 3[t v `ko/Fs($k;)u"+0P!DLb >Q^#tB^EQZ۹HL*?JhWڋrXs_ub/l#v>dSfST #^e޷K{A^/s !{lʪ?x &),  瞻/gF'A0,R8e0k+'!obkcLCN.:!8Eckۦ@k*ުɣYF,7GjB\n=bbM< U-^fϞФݨրeNc7tJv2c]ΫK 2g<aT4V`Z7X}GbE'=b{5Oq +KaDt+[P'B5c9“扵+45| oWuA䂌AlvB75=oD}٨V xS56/kHge4*Ȥ9501,UWWL S#{H A]kE1_Po$="kHMI;KF 6(̠`IbEn;n:](Cd`Az>F4w};5;>\zG3]))"9d?d]$^KetyOC nωSd|gsVߏMm$V yW˙ X}P[J:č(?-Wv8>[H9R*5 Q EZ\M|~DT~:eib"\_Qqկo j! 2,2sglQ M$-ɉ]g>`(Ӊ]G: yhVQxuщ]۽TTϻ3x1 \(OՄ㋋g0Wh_\%\bmЋ6l竽ڽ.A#*$y1)+xEŖ*QŷFuSݿ_q8$ìx4NE !;i7vGaHY 㞇i:8 $('  !f}cmoRqz1.]6_&*,6O.bE F?l1mϛ'!0X蹏B%IzZK ײu؊^h 3S|]y!"#QsEݕ"+seUI6P| "Gp?O'oImm7tE=cIB=?H_^zsy꜔b2|pLO5jqy &GYTB6 FYne:?υg K*pʖk|,-cf NWH:U}gǑtLBR_ih5^mGbllv{Q)574N֤8> ^b4X%?χ:3_55/%Ⱥ*GSdCkϸ8:liQ:aXͽO!e)tO.T{$0:ِ&Ul(^^ k:ˮӆaF"zۑ cIOv%mDo8 k 6ߪ!Z2jt@'-o O| q8HwY,2' i?M`s0a7;p.oe, c?iPq*O}B s!FaѪXр?+&E. go<(4X lV㣂xQlPym8mg@#НfPDl ֩/DbNB4V N<$ d5Qq7Ӯm$?F(jbw!T%HH5+c]nG,Zod">XS:s&Ok251:TGJ =`ޯfQEB> O>lw~?;/֯0=͠ Ǹ,0-1cr|ZEUC)B^'% DɧA/9C't)s:0|W{ 񵮖V4!J!VS+av)"HՃ[(jʀ E%ze}$~&<=Z>T^}a <~U-2~L 8Ġw14O*r޶8|B |ˉAq&rKvURF  c 2#j"a7"aTwLE߶Y^2SiTZrh! 4kPV=lg{]Wdž:hOPWm[ .~ITBÀ)6~6>e+y #;0CFZw,IR쾃&^ Ը :` 1Nz!{W GcTJ3}d2HKur:~zbAE&6Q}2bcEbmA{5ٛfz6}UWjH (B&iU9F5E6"|)f( T lArziD>).%!SqxLD&qA΀kI,C?h 89kn]`O2/8DT{܊*.iJAV 0qىw4 *A1$6jt) z9,Lat>ڨx3NBH>4xZ;.ܖ! 6f򖉚mNʭ0(yw@PRA&>ulq2n}P͎͇siygR栨%VѷRg!uv5Hn hPҵ4{^S%" fp2Z.7}gP}sk&‡w1_z>PUq]!Tc^9>GB#%OH%Dw'n4 ahbdv3j.H7em80o'=ZOSɁG^ 'K9pg]ceP`?2R-{V_uJ%F_XsUj: ?J#ڗqIK'f=P@cᙠ*M޿M<4>+$xјn~Tnў=O6B+QoX(seM T_ 9ޏzQ:$(FM>OE18^1g {0NdL+M6:üH4Ѐol4a=r޳ߋi-A4\]S`[;4RAр.Q~[K#hӍ<§Nq8(<2<=<T>ʆVgiw.WMx+x2(hawU~2>,)嫝0)^,$>CW%U%RG_Qʞ`!06vm.XˇZPafK&d6ds=^-]&o_#.ցlOk/CK܎'l}Oo POO >L0x$uAc4`LBVM/OcDȦT'CEuّ@z#bW3Z"|W) uw+Z1PR0'x\]V{\ȄqI$`C̙}s,fD_%ה n-Rqx<Qw߉?C}[qA :{)jPYZ-ƫ?ǚQBƓ z/pAM6ɽ=8#LqXі|U9h<2su?P`Qru} U/ @~*vڮ(:qk]hy97h|,h ՇY*:,f_nMJZ#IcA:@lI,λ! ײ$ >Yh6Q[bdsN>+Ɓ=`=K{_dSÞ(nPV3ݶ1*_ӏKc,ÍWT=Hf'9 ,´(ɓf M X4ESDWo 6e]*z ٠Xgxw-X |oÉm}lܐYі~Bg >Y Pz^.x8*{A^Cjv+BpA~r#U)O'p~&.ܟHV1 5*%? YP߷^O> !h/u}IM)(V6h6FM$lڭ:k.ݝ>``\?K}}JhQG}v5SC|)Fv >v8sU;s2TV!Hh8>p-Jt6S^a3_O w67.+5ȏD٪B{ 'W;ߛo~ֺ䧾s޷֛lpú;/aTU,'jLS#3"Y#faMxqZ/fip KME_U~vp`<2ࣇYYp@(Ȁ4&C*zu ۣg 1ϓaO6FA1%3so쮆LtiWڕ|p \i~LTӴÜa:0ۥpyp  ҄$Qw`0i7M !(󏃪]KJ'ЧUeG{*3=Z/AΑWba6!^͜Ų&s:!swEi1+9 Vz5vH,2+к[P#pAWFNzU(sd|ZUʣnle?Q;P+ZB>@MoWiWO! d89ӛ ގA| f\AqF+of5DAdQMz9k-j =j3{0GzKc=0֬Г드p, 8C+}^x;lZ@^Q8$CG0f] iZKGSQP툙c8aKy'/ri>" sñS950r(`U{a@,^x'Y,] R?$mBKPצP?zK`I“ݟZS QER2osX1Qɭ þJ~;v+ b~w٩1:PH c7ur9^/|zkGl4`޿{|ڷCs{IOX+U;ˀ ʾEY į$=S6~H/Y}Z|UCldL3Lu佋4fk ^g &E27|/w!,N[W{ _2URжkyM6F'lXZPYA0F#] UߤЌp&/-N|fD\Z_𐡬64WjG6PA\Y2Ng+-i$NFA~0ej6Q1!z f0;TnG DMQx"D /Q߇渣n<ݶ\{1lNNгG^n41䳋饼f)+[ #Y`v^+Sіm*H a+xvե#K-~eGuge?pDl;_#\؍}> 5UG3#mV&P.6M}ޣMxfL!zBp8(rMgBSǭx3zt_1=&#"R| Ll[L>orI 57qMM~\eRV6cZ̷e_K_DpF.V5)m | /,юˣ3O튟K2Zw!s }TQ]ks6ݠ=?kLXs;I2V*DcvAY/c@/ɀ֡7E*WvyX5z L7djDXlMN8Z;7 I^DB tzn8V>*!1[,5yʥCH #Bf;1>^ER#|njoF/G@C7d Fjʀ0}c$ 0&\iLkZN3;+VvB]nTⷑ?ВBeG8ۊo]qW%),y4JX7"LcVP(^#T4VUĈblفUQ|{Xz>*ٵgA7yd& :w"\Ѳ ?jlPP%Mh(u>b\9&f[ۀfŠ;dU)^5[{.`Tq۱3?# ^GRU{u@2[1v;~tRAsfu 0}2dB}+Aò1Xo[&$ُ$+STx"dU 0`:Ξvh,l#Y sj yY]%^=S-Hم:TX@$?9Jq(GL?5%xq7ר)7=:*[;MHl8<9b&_/xCαF`Bq~<8 nO+N[:J&jqP]N]Ijx)Wֵե1@ce'x{6N}qpt(z0NN(#W2Ob V괰aP̫,8ꕈM v+iOSwLq6'f~p}z :hFD.Hg=VAH+keUNSUYL;!{I[<*@6_HQ H`<:&*[).vBGh$] c{VмTNmw;Fаx*ٺ#zP<{gȁIn_&б{F~U;?Zۿg[{ D5S WZzxQ5HaBuݯ~I) 1ỻl ImZmo|ˋ;r,Z-zx FC]zDkvpۖŴq o{Ů54PuVdې,KX{ƪ`v0\} xpSMK ]ֳ-&{Z99uY ^lfgaWa노Id8.B_xK{-nUC\bVK7H}Z~A}E2ܶӶaQFu #2)Ȑ=.oLFxA}nH&&xE}"LxtXU;,?c|]k NF0FݶO,̎Aad, f@C1@G7 xG&V4{q~ ;v/+ML`D rqwpKONhNN^'Ѡ[7;CEfͳڑY=I`G@CR\Oݨ^Ҋ@z/'cp_W+؁W4Sk<$y4FbdٶHt#_s%%15pA ՓHM*d.7-l=yԥ$NH:XLӸ$La m*$ q(w% 4CFTO+&q*RN:5C7W(5a?l)?7t=lqްwMnJOhZC nшsB}B N" ۩V@phT J][ *ɵ&ю:s"Y(pxf6k*m[eP Ÿu7c[%Klo'pbQ?]<9*=PYFi'E^l.|~f-H!& <`N>717y겿k+:*', Q?-yBϚ?A4Q́`NYACTV]tܿԄ=3Ϳ#[pDR!ds[SbŘVDBI)D.vЖ÷6^3yZ=ǥq5*<{_ڍ90WO3ЕL }ՁIܫj?&]-;EaLUHg}(HΖghqCZX=7Gft&qm}Ф ͙3{Q" mH7P~&B 2Ee Q/ވyq&|aJ|Í}Ƥ[{(0poE'u'f^ ~cUH!rSs;ߒ$;`#|+4] -ƥw/:zoہa"cUvX(9ѪşuV ʩ\ RbO^e}nYNb/xp7@Z τU#576LÐԜWeG9çoN 1%\ֈKoc 4N3x{$j vJ@QyUx=M(6z%fd2;na~[:Cy#eNY9n.J$\WʪL~@YA0Wy.lY͞!]yўezL@KƘ*sżX?YFP[k2t:̤eεtteGFfl]~d+qᑏ/跓 64OJrႉz4JO'SӋ՗nZ\evrx5|V^V.h6Vޥo(a&}+AW :12Q<(8Cn@*cpA4˹tsk ) iѶۥvEi-,m};Ü?^D}>9FU#wKCszs\M1`6q&kc=A =p8fO/ v+> خ. p6X!zv*YxO݌u>_ W>t[=FU{[˭W[ʓV‹$!w_=夦gQe%#tM&ohS#r? *=.$wk~eG[DEBna I# gfQK*4ݣNp(GKEX>[84|g$qş0@k1ӳ'S18c7!Iu]ա F q!JȚ֘r] _|륖wzY] ` 7? z-,Um ayN"Cݬ󿚩ƣ͸7x`^)Ŝܪ`wQ%]TN% !jd9: 8Yp/}vQΑ1%ZfrL-*4W0)Q\!\3 tի[MGtuar##gn7"yZ=T RN-I uw]qޡG E\-^Ryɓ^[zϒ;hK'^JH,G6&ⅷ8`FNq`ms6[Sia|"ƻIRZ%AoʁO/!ȧFАJ~nq=oIG-IS]}4 BzQGMD΄V{+)JpnVݑx$G^e 6Z$x } <'౬ V { ֡6_hy.V.sF2suzF,+*kajcyvU0ss$ ;˂4bd8 CqW? _WC "*Z!q_:>(I&>8V7CA;(RtlRGBcp=򆠌ʐH-;"cm6b^XtkM-5txhOz︳+wp1g\ǭ5TE1HX;z\ipLq@+Rs1tR0gt%!I@e,DS,L¤э0ʻT)F_zbOhe/;.=E4dhye2AV` 1O11!1hy;c|о'ODk(QFNsT !YЀ xKB1%mB2~]w\$ώb+8*~jpVt`)PB[MhFD}Q?EwoD y |TSS@<_(/خӬ[}2kϥ* ڧ\Gl,|c=uX@Lt $$scNVv}|soSI UF@C$^l%0Qv~M8aIjp$[A?X*`_xiD,v\^a\PPoE > *.#lm(g>%V#]W #Z\@uk ?9q 9 )ra$Q%QЊ"9Uua~]⢹䔫#2vcϝ3ՇhO l"(b+m$w p&ZƑ[ƶ<&"Q&6'?tToF$?MPMr~r\wOIuB)aE,$\npFw(xQׂ?rh1xsqkb̠{5-gH +tOPg ^e4.qӯWMvb Pg?:pcǮS'8LGXUkҭAE o|D ڪضd3tKcb&L28GBHg:+k"d?q->şSQrC 96V"{$œtGαEӷ7ju̥v~Lr֦g(|46  }E()6ݬ_}8 'a<ݢGRD4.^^+)Ðr➜x%WO'ⱜhUO]28Z@_ȉ$q$8_jO/[C,Dmf~=ZZ)fѻaė0)(/&c-w)70qÇJ!Qy37$vW0 P(Js߱CD]ʨEv{aiF@ޭҎ3͠F\e#ːIcGnoQ|WWJrjcy4!e{'r 5 MΖ%^W-n]7 ofX\]m<9rf&so㉟2;^0-,NnO*MOD-4ր|=&Q>HAT<^6=EAUwޗ;K F"uER%Z_aȆĬR8OekB4'΀+عvY G 0>8}+_4x]uK]9fؙ'S7삹FnmcXvBWx9Der\_;eո?2~Q66aj.b˾o WIF:Ҽ R<:z[-`pDgD_W/;tm&2)IѦ?96w\fJcaӠ]J|}9םe29$m]ڈ4ROq [1{mu/?  hNϞb7gOkar8SBԄuq7m r̃UIw\ 8_ 7Ӏl5%a.CSHS6π™/$| \ 1GaG;tSYuZ΀(0o20zXu-Nhx-@'$j#U1  T"ja;&uaVJ"E ?p@#m髾!L~b3n7o7FhIL]KB^s=2" ^ك_z4!Qa],ę3{/i, d{ 5WhJ4λ%BE:fJ37" !Sts|`+~%\$y8XcZXS}!å]gWr-+&}&U(dhJr{CaZ6l1R{[mORTf2k0V#2լL,EW#.oK/Lh;ؐg0 Qn[%:{ߛ1Pℐ,Y,v4a"a_XYӶMl RN ghrN˳#G.>B9Q!_tYwud^z-l i\ʱjh-ih:O1cDhP߻Rfʎ6;V/ ^h! M)tiiIN}up'1X6#r>T\ Ζl#Y'k7آ2 74te];O\zs*#9  Ykwt,[ 2DHo 6# JsIjtaR_r g~'Xcv^\M>I}tlG'pe,5E}Ӹ]e l]ooOKE5 PYxigZp.0r*{]49m;\uab1BƩo8o;;kg-lYVGk4B:Q]wSHRhb&aߐhy\ 1&yOv#>+ [A@ G'b5MYt֋HGo}ykDl O>Ic|Jㄒ:@0Gwx3j%rz|fU$K!|K2챫Ox*F=(iH9޸#O :2rwc^?(9vIs>I{K^iF;E?݄SKi~:e'&<7-e0ԍxGeioU$2T@DRgq8Uw객%JS'XmU:?Zږ A yKZa Ӆ,6^1Fu:RӂËK*m<QED:Ѱ|O²͡RLN#'Z )SV2nhѻÿ:a@t;FMa+RZ Fy8n8'G5PǏbW\"_ߤq L͗C}~ ^ n@Yn֨x>0i[pPϗ#4ogͽƗA3Žô?{>tv )poV.thhk)P9l"eu٣.k|eEIT/>r*U݂!F `sjY4&QxQhzHejo$ݘJdFmhm@@ZgG@P~z.9*Q\mXS.X4)CV Wn ~_y=#z߾St)K^׷'fit "/ZWd[DZq99ӿ D4b<' Erݍ]}LrڢTq׬w]:FHŵc X5*A*,8:N^q36{N֘xc+cOchNdv|]2ii4z^\ # /CDKmcQ'`H&2GOajkoHW$ 0@څ ~U9@W7Oۧ/kph`xHlIi܂LW"z$cG~q-M_FD q<vP,JdE9 2_9ꯂ'^ý:ũ]9kO3h2p`rc'KZ~bnjkƎZv2xYuh5H\8eul烤N Grb[v`>9_{:hf7+%6{ ; 9(* [f^ulI1e9J9J2[\?M1{nnue Ij(ŀ27gWtiW%/.lے? _EHcU4Ke 4|M4pj>|xIҘ9P,$@)=bWzeClq@R'n$uԤ4'µX\Im-DPI5u}M&MM <.[R:C:R mU+M(Үg!"F[8ت[ri @`{oLDZ,yp(% vs_Xf@!ԙYu 569 mp!5,W#BO?)z>eF:1 <ޥgYZ7zXZִF! Dn]ŗXi%D643hq6JJp[gv-2ٯ#loMnc2ynٯb:!v1DLQWljr.Ƀ-U>ے&~{5 7ΐٹ|ſ q#qQRafl俤xUHc /z^1 tX$[$B`c5wd[_Hܧ(=Zu 0wř{USo?#'z&6÷/H%LQU Wo>}BcJvCNt]m[ "1I٩=LE'D! 9~Vp7JsWeVeb;젝gM$hbyM2:W*vEx"]$FyA2ϥ-W@r#9X/A~iZzI1d;MF`h pWºKw qo:Lz$}üMmAft?IC.AP6Ak?w.jG7GD$'?n;Y0"H 5PN=z#o@q₸ZOkZE5-;$. ʧMdV?_e\L2 D#(4bCixꟽCcDpzq^f|=2*nqЃOu-w\،[ Ĥmۊ0 k4f`!S/b}(awF|'_$Fv15_`4INId-Fr5EPɊ}_K5V 7rJZ.{,HR͛paͿoP=t \Hk\-?z&B_ eT۫dRR~ݶܶO'C(0^Cne3j8[(9׺jN@!kaY5Id9>0ה@b-kiΫr5,fD* 4.{HY2'1Sō?t;'KaE)OBG&}5BG7ʤKj#D`wOWMr{abFj7ӕ =%Msj [+m )'7&HcDA:'ϱ>-Iz A#̝>QeCků-^*kkk*8gzwG~8zΟ֐eY7~INs4T]1ֶyt]! wduaú' }a$^* _{W'8k-c>{;7%' E3^+Z3Vx9[IyueB!ve*%b|q=ʑR'}Hq醔.hP}4=g Y|ъЍ M[7=y]kعT0t@T){E'og ^ޟ $["tߵMDnuљPR>rafWLg:O? 8.3ިwI52ѭ| .wQ-W-6f`P xJB[I)n> BN|0CY/17~J6jHy3˨3z[GheaXMCigbwDgԣAѾ^ow\ndmQo1dޞ0.]! Roje^*)*?h WpE45G]+hD- J /YҟQr?Yl[)qCmٺV,i{Cn W͠6. *84lj ȱc~欋=C;xe05/t=RuH^ʅNPy62\ύ\*s~dI,\lgFR]_XFV9KEpͰزP:7FEoAFui[VfsGY' +Ğ-7Gf" whߘU;us4QԽ6+ Q: YU;A\<:^ +H&.FdT i_;n2t'p,g)k-"PZ&O+`K(.E5[ ۙ?)&?*?ct{^.J\v4Zڻk\z|v d8B!HkBs|?Сm@A.8bf[Q[,31I1}fR$<S\vDU+\#oe)ɃJq62xhz)Y ZK =%ñr^pX`/Cč ž]|mAZ8@뵀&B.;6Z"o4:pY3]W'-oh@Bމ9aǨNZ"fR(àG:ٸ.쭹c8/<ݥƇ;~NX[K)(ʃX,8~$_3KoRf.D_e|USK߆tk{F;n䔋Rsᇈ*wZ>tL߾" Q/h0o!v3-s; @F\0+SBt7n8$2M>Hr{֛51\9$ry|w]N{e2׹ʙxgݓxzc&$>5R+8u_&w9zB ]E02"1 'L`2+6Vӣ?!y q#Q(hj=j"3^v6|`nDhIce67~U`6U&b]$}4v?Mᬈ0)MCHa%]|Zֻ'L4"m;蟬j69b'Np^PS +VHoiZnoXmO)iLH@U4^wڻvFKY%?FTu2O1I.%T1*^҈% Hʪ FM; <`y\Db<2z?7ה؞PtܸGIB.U5b=jQ)e $~\w{{#͍`ndO!pc12H@)ΧhxHdj2]bHQgd C?Lg߽%9t'Ss?w{xo nvkZh7H Hҍen}f.?D^~ܷŒ{DFXqw:yfC)(7ẅyhI˵fٜ<m7ּkk2z qIbC jRZuL~prez|e 2JOQ4#y"( $fDG5ik6݋ȱo4[/8ո5aD$q[*ܯo|Ĕ2tT09J.̢e(f2sgB薁mqwY` ..odiO矑9ආ?mգtOV".@<[nz4ՓD4>;ǩB7P : 4ƺ,=-$&yTw2`]Dqk\'F-k1]3PD, k9y0&sqɭV՟v4ԃ3\Y;pO@Ku5$Nu2C4X`<B>yN:ӹH_Xږ3%-$! ,D̮}@b-^IAfk{on^t D-AJ+G?X5iJ%3gi[Hp?-f 617R bBYbzJD]7/CD]2v:S&X.>yxK;]>$g5y')K}n`0#gkOJ i1nA/^ ]68p]~LuMS-wƎnFG3ça铫!@ LOrٿڅnگc8 vo!ا zoZ 'Y>``\dtT\t8jRPLkp8opv]YcoȌTdĜbrhDO:x5԰_v08'ȠQf9.kJp3Di+dH\in4jK.^" rxԫbwmmq&"o L5v1DwA|kh74q׃TtE4'.f _esyx5 )5k7Da;> *W"a,iO3`+4+(tFmU}zS n86od ť> V]"fk5 q2LԺp  QklY;YEA=-/g/k-r$dKOۧBKў-86t%l˅);z:ZJ,;OF3W A_}C&\dJ"ͧ OJLa s.Tsclix`0P bW]uWiga45@c (G]HZe}Up6{b/u[W4aq1sFPٷqы)G#m=}:2q~Ձz $a%.PztU ceO;*X[0*ۑ| gS G@_ H*HCx &O_oy=tZА6czx}sMȔ{¯Pa6'⯿5H VE~G%cn΍iդDJ <쮢L0>~1+4}r3$Lnb\"ȕ4 <\ g0Q_<Mhrry7Jwp5om$U: Oh۰()%wW=Umö7\L8o;88Ԯ@fo"rxL: h| M'$U#Δ㡸`pP'dB7@6L) HJz}y'c `0.kHg{|D;eP6\|9f۔1\uάy.E"`>XOk6Ibk}}){P)zuDfn :jQ沵0X3Pd|eX:7yC:͎ggKVF 5/ם4uρ-@]0I[V C|_(j+*Ŕs0q;;#} |gTȃ 7JXƒ} tz~gsE*s$I6Hcst$78}k-cڋlLNE9ƽ{#+c^bo+!G975G3:ȓoSKB.g>[%GgTص%@`NGЕbaM:%ӋccnhnFu ;`اtcYP]X3ϼ=20\7~V`0RZ$_{m'EV!XcLwҤzƆA.%A۫1Z+ַ87E"%D2Q9Y[G4(UwWQ:3 Y x;5t*UIDԺf3~KBSA|g ʋ%$`G?\G=ɤȁ&kV5:{{" 2Xav‚+6HKK55ET~ ^涯uM ָ:|^9Hp&_r$_\Fتe|Kw߃E+̝92P $) mDO_l1V׌zh"~W]0J􀤖2VMi`McYX!'ƅՎ<QO5QO&5H B%P'<x*[F0K`A &,RObS2`~ghg{(,YЄOfKPW5ɑ@Z݈GG dI>׷M{ 4W_}ܪ7.F8n)yYZ FdtD}>R-ߓcb,nv#Ƅ*+q>k@ȥx9=X~mjGTnkR\#~0uw/!Wnvfly;UV/-]:5si?^[ Ӕ4=cq=:i,uZQs>WD274tuQ^µYx$w.9z88ڙ|ȃ/T"⺻!+\_ KnW`djNe~.wsh(=orX]Ե,#W.57E40V0i a˞UTB]ydsWjY鼒/%WC|wl}az^[!cwyپwӄݠT'AiE;?LU/c}EZLw 0Bp\N6ѦǍ!^`k !0hq$2>i""F;!qjݽmes4E]]#;v^eJ5&o}"ϼ M䮀 ϡ_z?dCϴ ;p}!<)^ĤLgiULRsē|Qm缁$͓iVeqKAsӄ^ҹ~wX2ӁQbٗ5D]sJcY蝚e>Yk /Wy[XPd̾%D_֩F b1[rvM?%' ?m(ÁYTɱ:{% 0],$&A,#iq NW5=zmø썲wL)f?Ɍ+fJ8V:p̹Wǽ_f..U Je\[\u7>|d"Zz.`3s?Y9傴{);۬o{S5Ȑ[|DQIHҺ*[5xYh]_z2rs0bƒ7pq>q_R}}meJf'p ʝnXMDbt:I6CٽDPu"'}e+H\-F`׺lv=!iQVm*T%yBN՟;)=vmHKb.\8dnyJlqQ}roj07n#18N<{@CD_jPhOuGO%%1w%Z*)ڃAV K }JB3`[(LLbM)WA/N4$\cG0aPyFaMc%r%/饇Q#?$|a gp&7YGGm3]B]1וd3j)*= jMcq2p i߇}q/x%I.g7U~MxxC.Yd ԩlo =(]WifWfC "6_+R7!L前\b8L2|>epW:.>vlBJړZq81f?jLFL@aeeb4"eVW#Ͽ'xu}TMzhFE٣"gmM\y(/&#թtZ+0I[1q ^cAUQta@n4ymfTD6v?cOШ8W?0p3GxSr%'+kBܙ S'ZwD 1v_ȫGVOIͯՍ|E'6?ADQ5zԇgic6Ī%c8ɀK+@n H 5iBU07Q5AZC='s0LknUL+zMTi6?oB3u7~ FJU2^_贾P)WQŽ|mEkBCsJշMj.wJg4);,I La.{}S#d RQXtckNn뺚,ȭMGlJ4ib |V[THCѻ]43]ZFt,[X * }.I$Zg'!T y AY E;<9*j&&CZlwzO'icm'![MD;i\{z!1,g΄pB^p="[]y*ې_R콵?pyƑ_\P8 ǁ~C0lLsQP%!;K|Tǝ Lf\F08@CRW]V>#_݉|}8SzX@fL*3 Y)]}==௓l>fܺSǮNnnՁKct.K'n8O[`UYEP Xn(h7=eg (I3\LTŊl!_|Ikhƚ|A:D= S7lV4v} f^1?2(X.+S2F,&=@5Fk/$DaD5{3 pqox^("{W"wU]RGxVqo7'}6:_G$U;lڮѷ볙P8(ܠeI.)A[BY1_cPyĿ~"pmBtLOFwC{U@\*LRm)l$Y<-s̾}&AJHpV W8{jæE'A=nYӥtbN[otq{x!A@LЀr-GꦾGIϴXH~qy UӺg4`rxԞPÞ5YLDʃcdw$DUq19l_淥EӈYwW` r:(UzfqU |xerH,z,\eLLvmF*M9vĘAEiZ:W \a"4F:3_f S ӱʣDD0rb&t>"ɽa:`c }MڎJE޵C'<6c=CNKw_c3n,ygԺD$kNxkf¿ L`䞌1J;(?c["Wjpfg}F'[hͥ];3yu[l]1nmԽRI.: R%lAzZ7MMLvDC0i _o-x( N/)r6(,D ctG4/:l ஔm.O8?ces&8 J)whʦݳp"5iMe{4o)fOIj=8-(G1o=lnf$NjE_;vW >F9M}.0iP*,@6y; (t%մMvVn6U&YNܝ^h@m P a9њ}YsV62RCKg-P<]LgtOAh=eci&p>JLu#oBO>C?AL0}bkbE5N7UɡB#O|9kuj?^vܱdkG ?QPf߸򕽨begqtuV#]3' +b6W[4`A(U}ň)Q\F5/y@`p ޸[>iiIƚzWdeY_܃jGa9GK*J3fY9o-#.9ݨ+v|;YR╞҉eM2ih5#`4^R|.QzY^`7!:IM4[Wo 4cA; cC]t>'>x8K{XmWKQ(aؙ/ EBcͻ”dw/S/-aɿP+Q5=nS*'' Y9Z\ un‹Ҍ :+A)m(Qk# 3SkjG;YppQDK ڞL^+IST")(XA\J2\eM^ rL\ r(fZxK )Y 5?Ni@[[Z$8mr8^$@r蛛Tgm&VȹVd 4iօn1{*Ѓ@4 9y +Q|Ǟۺ~[ȶ3lxpϚŠ@o]@ԁ~T\ѣj\QcuD%2}Og1v!Ao:RZ]]/*w "95O8JC#bt`F/L!+K- D8q҇eVn@-\Rs&ܞF\iQ8{+&^HF0pG1"ZHQ|q^5x 'HO _*>|76\x7[}Xaq^hSu7 u'!)؏3{εB.Y퉧@ϋ,yR$}g~hc_gcdBL<6(wL5_Nd q4_ 1h84N:Ҍ̝/;T܉ qec?NWcd^J=IfYeZQŬ[?^,=̒³PK P|+[Kt ԜK!rнuy!Äa VKLnذfRu nI'3 FYI,;r^h|S.MN*!LfcH4|~K@gn~e.,Es9a%` 5B܃ %]ňҦ$EfDZ.)^pܨ%Qdv AlsSyp8:x v~YP"6b@׊[Sb;E^)ٝL5!FopBiiL؝)dUiPjK1$?1oEHC`"sE;uD`o#NAwCMv*K#ϾE. rՆX@ TEHRI٩@Mw= 4Fn?DV;|RW촨1VF+]Z