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 n1<4T ]/ HOL-Hoare_Parallel:threads=6elapsed=66.358cpu=351.748gc=7.888factor=5.307zXZִF! ,*]ŗXiɟ TJd`V_XjيJsĺU=M\uނ'] R =WbЭFmnAK<<=ZQҒiꑢ@ȺtnL@Ff{uD " x ּ ! jw YX;~l+AfUjr$I:R; Krw2v*zKr#BL7T|iNAj(TxՉ)sP'45ɥU*N42a iߘ Ve̙QC%~w=cn=&&!=/B]#Ň.AYko'|>nzW1xpSĊ pL|Tz5ĂbObwY|,RU9,X.^GɁaض9/i]UY5VXГމ |k~YDGw35kyLwFEDbSyY)|D1"0Ҏm_کHz+nхZo\G)1jd-plUb}/"fN_ޠR=BrBqiV6 Xriʸ*Y@*wDUnh\KpӰui=rҪZ؀"cY7M7`,!P4Ǻ*"DrTեEI-`OEmq>,y-H&1},,l,4BvؖТ=L?n0ў29;o` ŸG D[ h¯ z<lܢ.p$NW!30E#(, ze(y~+s5xQ; CNG(h~'F$qϰ'z_彼q`a= Oe=1$~.?Ο%dI}iiעbs}.T>|j6ikxӻG`ϋbnjFoV}!tXc 2h*eda' -%ʕ뺆[&E ^~!`4]-1:TیxߎL2&/X$%Z*QX[{14 q Oٕ:?$B\!IT^{N ÕV4`gbı>Q͓h-nlpc%R'^WSA!覛ʠFS-'^mMՄޫB_$*Dg}}+y89ܧ /¿țB]xKPRz m"I0ka%AO|O q J zc_MMlt,p;yqBqS G`qu~f: FcDFgCאj88G{S'||N]%==.r$Zbԥ:t,3lg5 VеC!L?Ay^tbNVѻOOT$IJPoD? Q[Efozxe-`Pȶ Q&7`~Nl߾W?Y{G${K!k} 5D2!JtMgU]W'?:+pN M7:t)>9͒TKFZ%'ݸЫmglO0R+i  `oaϘzdyckcf5BY"H+ױs9˷",Z:. ëǦ?cLZ!LAAf\OSvm x=~#g P$v "4b\&Ә HpevGe&Jr6PzIH5XYKo<#?,?H`>Hd@gEfM @g>cQaߍRskLB0a-`3õc 'Zb'UwwZg憌YE|ݮ ܧ\xA1_JzX VZw/$5…yg/*W6է\(@?(eB];:v)v N1J(mR76ĥd C+}g \WiZ31L* ˔ є&S%ǐTl_ 觤c[-> $\,XbE+Pr88O]2s. .rιevX"h.kubS0C` .Ml7.X[`?N4i!N7M_77*6懯 O=ז0s Ǹs b{@C^;,ɰN^I?ہ i*zcyͭϲѼk_51kpk(4+} @?'Hė(V9lV86*:[1㤚%$}c AK?/4D/t@}]%uiP 1 HOL-Hoare_Parallel   Fo2ϕ|0|Uma"43Uq1{H8+w2Pj `Ќ}t~y\ _c~Ó5q-Lp"?NA]NLW[A/z0"t 0i& m%tqX<ŜЦdTH˲S@~U#Qn3|ZmsgG ;/bG? -g~bG 0zW|r&>7r(卆`WyQpg2}Dr,H(n/A͖{ud\ D4%\(_R-UI'yAF=WPX%'\:j2U*I H=+& r-~-B SYyߍ;_T#: V+ٟaڪT ]\N:5x^# n< mP=SY $ƺD #MOw3{d%ȠBh:ʘfeZ*u6 -6}XlmNo}lݢג,}s˯ ,--G. RH%TJ:γ`Ҝ| or3w/aBX 4DemU*s(Yc_o&czOX]Uxʑ!O- Qx5^jT%(0\r4:j@SGH @jdJ݃_Kw*8*N}ZH҉)wR%!.\ygU ci\"EQJNcR4Gdcje-KUDu,PWs-"u"U'Ӛ;pOk9/ǃ4BsY ára&LG?$efRv`5$H۷K}H 0z|Al ЦBM"m%mp:;DTM߼<3N}hd%!AL?1FvlB +1Hp}qH,'9î:Don%*( >hzwlB$y1{sFGB8K=|{Zͷo0o.L7Ue(d7y;-t^N\-6?w ,Κ8y-cx~h{ܟqJrN3̖dK: }0~h;ZEܕZQV~@ MƪE>X<ۿCgg | Ik+1ܖ'e["_}Qd~_h.a={jnS>l`Vv pW4 Om?6MlxYPgW* &zEʀ*_h)eމA YǮ~~-29O)>!V2`o$K"I_g.`.=jαXZG"~,ߢ Xy@CXH >pcvsv1ӝR~Z BhFcѥSLM0Bo_8 ^![3geb44RtV&̀~ft(dewP-REGck+_h"vkTdz'\te,,"{Z Mp'.=A!U{c.(/f\:HB?M n]ܹ{!y'\ܞ,6/|qX}( Ksy[$g#d۝ի ̷:n8'Wj~R!\&P |?(N|aS6۾VJ_AArB?=Ej㤁F00|>]~YτiLx L)@u1'4&K7}<1XԷ ASHӃbKN$9+^'~ŒS8 y;E SI#dg.So +*UxO5WLrM:>w]wy3Q9&x FbUɤ6jZ |_Oy5=3=i"b;nc7u6Wg$k]!c?˞L}& dD;2_T"Eϫ(Ar}rW7%LEuM}uZm Pⱋ U42 C 1)=Z UGk-be+m&~9EuiMl2ǿpռ [;<&l-k I솭5FFbhK G$JݥVSRr:Y^6dሏ˼Y| /$˅uX9[,(\ޠXB$9K P |DbizS.kdU?`U1 j|[kVNyIh{ `>Foqt˗x:p?B%ޭ1(2 \1^I<(F,y<ڥqmLƄ <;m+iץd|6u+_Iɡ]l;f YM9p)1*SkzMW~H`£+"?Ϫt;wDqIt`WSb:dUܲBD;k PǷqr8 Q&ĭufA$wnD/Iѿ.|Ym#YvTMV )PCO~#\O0I P[_ CV!ld7`mgFY$͜BZ wNGX!3¹clpS3dEE0##⭺܊:vo]deC(~tK>w ΠTMJG6/{f1 x".(T~>4?m׭vr|*O~JmfO$"]XaeXDaހܫ~KǦb9{8r10 A.d*QҔwz")Hcx`Bߜ)L}nJVsQcaO~`_9Vzl\eOÑiW%-rtU{N~Ԛj/5Ux9a[WKY$蕣hm,$ p<[%5{H2`f2D'uIuT9Y<.)b4mEyQzPl^ b] VK.èZbIy-\EFH:DFrP0\#~t8V{:Z{ȎE ')=]P(Շ@8u\R/]YSnn?JLnxe9S,S"?J>.-b掴=s;ox@D܉2]xA3ĘH\ ("VtGCuj+Q8f%dMEEapNϏkCp.Òy! .BOQ,J߀ܹ(ZT#C]  &>0tȄD:"4mKT.|7lGb)̺'H0ѵcƋ_ G &kwggPBy?">qtR7F׈p$eADD4}Gos BOIb~&gKԀ*/N+%*c SKn GXX ɢ**r,_; dGT,&cƲׁZ 8@,57td!dV̧^SPx0G'&B66[̣ PT;'P mP[\w-8 df2} *~It6|Ҟ]xiIt0&Ӽׇ'_^WmZ9 MgVigpF44dDaXHYS"[~@#mًl9x`U~C΂ԹA,l-v2Xbiht@0X^Al_L;4nG}r>ϲഐ%x*U>\۷KZCǢrqZ4)<qݤ4`Ԩ)(lfV( el+3:;?lF"s]>Q:v $082 rv!bnpނ0@]cb!Jtrxs-#ЈoST5_|\ĤYYZL}xfaEѷz#X*h$HU(mp\- \961sjFZpB9tT"W<_ j{4-ZTɛ$+n9mkM{ X AsL?8_:uOPK8mg}nT,)LEo\81.EUp3!8`F7)q=?DAw U&cGd' lZR,z. HÞ4MpmhIC9ST v8]ׂY;"tP|˽=sP7cE{ ɚk ĔbٺB٨J`E)9΄1&`X_?&. ez<@BQ0¼jD+l%~Rp=zSn+UUq}oF3FTh'Wr*Hz1fj9pA:N# eO}ry'K1-Cx=$C|d{)+DJfg#\&}~6 vJZkg`"ufdm<^P +4HW,NUFۓ9[깮uf(TMGݨ2| giL鞼gUAW*w6i}C }ofT݆aʱq}ܺ44&.:uFyǙ,gOQСUA3G0lcPFMEY2V5U\leM"`z<#6oO3kO\e@}l0/;q ɴ3<~>Z7|eH=`;ѩ9ȣ:k$r( (9Fɉ5+Y'5\aZ*ئwɜĻpX簑)GΈKECZVVZ(W^262qS$OLn ΛXF0"i~kX|T |i7]tNHIBH|/AP÷e^Sq2ig@K Q< ۓ[nb#iEڗ-<|r0 k y%3AcF)Pa$Uw ?;h jK%8(?ѻȌPrDsNP;q"/'Ļ9,:<9 z5+|ΡV.ᔢJz?O^\rsWPVv;;4`kĕP8 f^i@|+rXt1m\̿a\}i]-p u# j0ȿp2wJb ΓImq+gMk"RNߥK\^0RrCcsOϣd>/"y [IEn0 Ӿ:(&{M+ǮVUQJlviB熡WtS #`H(6 :&RyLYbi.;zF!,Wl_|S0l?C71wh*."Ƣ̊#^$oNNlM?$U4%mCn[+<r* j2yܛ@L[v߲"{!@/O[Yfk HG^^!h`+bc6>="3C yky %bV$>O/j[ډNߤ(syQr]EHU;_a}p߭\SK6!Y<>6=u<\]e|cbh{J>oI4:5#CS^_*)f4O.n҇^TuUj~PT J=c٧>nnVu }}{N *dyLsyZh>bf!cyC9䃷n!"M1bá(sIQ0YJˮH7_1 hj60sA Q]T1j%hd>Ć}0w5`CJeͨcg ΐfz l^FȺ]SaOm/>5ޮϚA(PCmxӸ&k7#v.3cy~%h[#P4#,\jSy;jLm3 yUVޥ6Ǭ7CIc`w.[U~ߥX{ym(+k}xbS-Nٍ״b+XO댹v=xQM|`tt8 > 's> C1Y$.1jbZ(Ѽmwlj9zz{UUR.э+D]Z%ñKTͯÏ,¾Hj/FqG! Ņtq~3kN_Pd'lVp+iinDw_2F~]ٮ,RFzmbYU4[e̔dw?^DȎ*;PL񁙍ܲ&w n%V!/42 DZSRHl"j{Ekҷ SwMpVA5I& 7HK(`=EknU'qZjV>٩. Gw}r9 b-ۋNԱ4Tj$$984/ <Gj >:Ӄá2Ռ?p7Oo3 '% IĴl!ݩ Sϗ.փ+ %ךlWOvLSywycչ+>8"$NwA> 㯀HYڅ)6 }_ԫnCMr:"Xk~aĊb̍'- _NM^򲗞QdqN?EPxJX+Kk(p@EBMlu‰Syby5&.Q*H@B̓b'AFJ~9\SL+1L[No|SR⍂"/x=2$qήQY }a TJ˔l?H8D5AĐآ?~X EB -ð֊!=~)a @7ρ&vBcb*"rn)V\T7E/^'̩yiL^H+6^'Q9Ӑ]GpQgCp[9H˨*yɿ/pO]ez{&Dw}tsi-k]"x<4Ô¶dmp%. mxC΋bugBT\@]%c#%DO*[rK\rZW٦xsiRH]2A0,ӷD/{2_6?`)7y+ɴ6^"u^aC] e87 ܊|o8y6+#iJ ~H(}pPq]>0 [ԯdq* E+!gOa*^ǚ@ `ޠ&3KV_VU{tT}LTr^b0E xY*"`*W}m~r:9[]KEa]$z5NvEcj5z1`ӅMx0r>>"+񟔗* ܟe–59CXmA d"uz ϩ:nM3+RP`gSS74j^PزTƵ?̻z0/hS)T3]w%gY5vBⶀkjek.YM_P:|AaBw>Ue?n Tx-i?Sqn.9|~t$|DɢmJÂڇ#(liaj۩ٳjž%,T.psyu g =}z.kRv鼜d}Z8ybY."MJ#|'?}C Z&>`3#k]J>m<օ'nO+ ;6NX3[8dp#%x] {교X J!@?**ΐe*K-ڠB,g/)B [*zns_Ns8%W@0?/ɟ䨟5VY tJDwa znՠDe U}з7}$|t54mF U8pFЊL 9+nIh9J$@g1*Q xq)'~t8xAoL,Mޘ"{G2gfct:+ւ4Cxo^3B` %-fZNYVC-<,P%ܘjj^ wh~.y&.B.vؑTS17Hè pҳEDŽ$E5]@7xǝ<\UH"yv&%곾J_ <  ęu( .C}Xwg΄Zyo?ZqNPz8=@ux?9tuR֣(ȜkAA7@9(ҿ8̳v(?WŅ %C[xr^5]Tpa@sT1']f ρscZ]\^y`ճK(!m|¨HLO:.g\)z Tt -M=K FsδTx?d`ԥRl,6*AUGF AE? E%N33Τ-sZgʮlr #!@('uJ_:ײIKm] ]9=k$c{oނR eⵖ@=J$FgX`q@m'E21F4|f[#+ ~ i3҇[?{lzBv_Ǩrs-:h_5(I#m=>M,N3A[EQ(jܪn٨AucDC?*BVk |YutJ;gLWwݞQh;\(f+^q`./̧|[9S''E4bMώY2Zi[13 ObiOXky_٠.򫬅U1e}rt$ gO]UҰi\zzYoQh|;R\eʩNsz4 &M:JԘeRd-C "ɗ ^Kgt4xu* {2c^H##{~d(/#lD7p%: (GE5.`[vX+Jfz J;R@xWmK6p`6 ~3IYCrgGٯdIf Qy:w,;:kD# ט6 Hzr-g{qZSPHIy_B-Qpp)"V.X;{J]?\58 /4 .2kID&GJ;Jɦ=Dy,0BՈ6mSԞӒ!BgD,_'qM"!҉"A` I*C0l>lXВ_$v?v)ЛIJ3y.[1?H@֮x>F48"; dE];+oE8 'W?Nj[o|f" fX``[NyIJj]nnGX1gV~x |NMC _nkJϵMgh>uڱFOC5Xg/bZ>E3u׈OM-os{%| |wHϘ'S,Y' +AU2GqR&揘r@ l{/zEvęCƸ" BLF Pj͎ 5mw;5".wI ]T!!DؓH<{΍/|B@l#_+*t oy۬7=~>hE'3[Yꭱv0F| F@ٿ5w7H+-?o[r )e9CYKUOc2qR|}Zj,A'7b8dKu曼. &Ih맿P8I2{lR㗻"M&lr&Vɬ'ltB9[fI0(n.w`j8+D\f̞"XJY^w4!W: Ӻ6(aa"r.&hy+Ex˃8%H&k)ph$~U4NqO뽫^OK/+Hu88'^)g}x/^aiREmɇp0S(7Y&fUP[ -o SccB&]~H=.3u|F"s=;kj]t6 =:ؔ\K*ݎ ȁf9BNHG3as;I"sh%N#5r%QH@U CTdO U}u$дK@h gWn@vWU2]%uTdOF;{)F\K!b'rg]vЋt-/Ya1!ϹjF2a*/ęgt!c6|Ced^4҆Y$QY;j~NzUL' xW{##Qys.;f~~7q,l>DS+Uj #;B*&S+kmD]E*C6금 =Ef~CaF=Sc9)$bGj:YLɮ-ɞ~Vʲ$ex8&Z3Ek~$AWml`|ș`9|I idy6ơ2pjHJ '9+1:tVH*!7ߩF 8M/&)RY%寋x[̭~{:^y;EBNͻw^'Ahh-T]{EbG!ܤA]D0B&9/ yc})huK{S7MD,WR;W\jTվx1+RMv9?5VhZK,/63r+E`/y5]J0]3Ӻ!d368E`lm;,.3di-ޫm$>)Wښ}3}e6ߙT@9#;%.Z{_h)VOKi_ՑbYgto3Mh>xjH*]DMπ+rkL}M){e IuMx4RxS}\J_j؉G6#tTBti+m7j:TPFS*Zw"[F^q;:l'+LCڝzC:L?Dgиe U &%Wx{>0BՖ JާЅCGTKTΌxN꿳YJ*L3(nAF_!r x cߨH|A]5s|F3f UTTR{h()]y(6JS;iZ % Q~>\u;au,3 3N%C c鐣HmI /k , >c$+̇ NR1YI!S()VpJN vW2vc((/d{_<[K/;U(BZbv`$2 ]^z=TT/DƄ,'Ex{ҳEJm6b; kᒚ66I|pE>DYi?6Mo͵QǞw*=58b20oS4¢R !8J 3@t3:r[a0d7:Skۉ_w{ڣDt5 4M[دi #WbwUJi)I3s5e  tAjc= 랜6!p6>+BgEOfXdR-pm $q\LK$i^'bAPȔw\wDG^DJvHŢ,~mFZ VaCP["iXW< U&;N/|r_F֘[0Freg05=] *^` .,~B[]`39}TaL5n_֪dbw)(D,pd?o%j\/ P)P9@[;~ctFa1\'C&DpCUB\J ߳2,³ͯ[P=QET@.O=cW*lԪc|^M9Ωl^EXsgV 9^H!h~/͵ȲQ)F(YWg2.5S`ncup"&A&Yʗzؐ\R" No)b]dUfHy}#l$DQm&yh~8拡x%SvwX?~ZƆ0eβ,Vl+k1* xM ٌ) :vLPd$ov?]KW3[HȾf"F&sSmN|At#l\-1u#ߨ]mnH&0⭥,t;7mpKM^~ۅ +Ҧ/\_h`Fux7FJ1H3ʘ1([#>:3zx䂻)/ov-ڰ+bQP~t+7\+0bT^Jn.+ F6׸dU!>-ƹ㑫ǰ}4^1h[;K|(hr0̓E=(Ur@UӨwvKCQhŒȣyDMO/k}],x/Bgɩ ɺZ-ֲM|m&LB/)vbڌ2mTqDŽg`ci$ M1|#d,ն25 _&O0ٿqkȖ]֗ϦRDfEM(9Flq~XǭDZ3P VSLUhDS N";/S=.*8 2:侮zR)^忼SRtN3ؘvԷtTH]OFlŃa#6(^>oԬb5@J=:>40`,Uq`l[kXV*u"p?ŶHA=|o _QmDǶ&;S{/hV]DU=1d;QZK\VЙUkoVJyUH6S(LX.P ͰKP -c̐slg'4;ѯj+)3 6 sqF( Ic4BeB(8jƏ?ǹo6+Je3aNnNڄHp22==RHAfnb600˱)pK&!L 47H(QwA|?>ړ-{ߘo./ .Q84 WS)xDj+{d:we!<'åpw-#S"b25FڸKW~$|R: /Rk z90Q4QXUD.pJ"Zk9dTNqaa8:^x|-$rOT30{zux?3+F0I>yL MuKk&ΰ mbׂͯ}頻|:=l~e[1ݙP˼JE?5KfاcG!TjdK\8Fuyv@/EĨIT5oۧ%R:5:uk0q.+2JT Z4P*?z!x[e)Jӄ4}~( We&Rlfb-G ֚A@/,FoNvNS7S@T9F7U2wxӬz|ZZnpp8j1_#\[?<* J W&6r ?!{NQ7.VD14t@06=UvFJ԰v-:vh7noҘpqvs:y{(vKhU:HgqE( nyev^z-[mb+@U*KO[lci}&sJ og$v g3LhUh*h3גn8QTX4{yx{9ܽ6zqsa@NcDn>x>܁Xn ^y&'^tj&3A$U8IlKdv?rP'lJ7N }جd邞;Ư~]^T|K[rW`sH'}[hzUҼ]p;^_(GuvY/e8\,)p C>- u 2 GEϑr>':sx\!BEJ&"Onw4וT28 -3>lLQ]7$ sum IE;OGM o? I53ɑBU?a8e DҚvZ;j&{kIү 9}Xh7Y & ;4wtd^9G"hRv>_Z ffAH ΕO4LvKw* We B#0+&-];a-^ރr_ '\22))W y I{0vY^kRmoq=?S ٧^25zvglWB|?n>gJJTPhbo)wD'z8ƂD-2'^,~{o%GLm"C l`(g6e3֊Jg]G.t^܍#K ;DR\&>$<>FΠI M+^iVy"0e 0}AZ((3k06c#įUY0KvJf /WQKd?ʾ3 uHL$Qt6٪py.ȮnA[:hsIuz_FaCko^(Hfwu]r'yJO| `׼ݢfW/'f'~"| aF 8N.x&DiƢ"7W΀Rth+zt4!g a _) :x-DiG[G~{DTKKж(aGe7p.nHK'Rogg)(6k<22Mܧ7꺺;kH `KPUK o19Pw9:qTo>OHzgՆgSL ;*Ώs 1}F LXtWut>x/dV`m~[2ɾPq4ǰw2']_/Z>'ۋT YHCw`Ȓ& x{n7 NbX͍t")2֤nw}uƚ-G5:vVJw`Ox.$.`dSi%Gs^(obZƯtfCݮh$)&|VWwa J2$A?@cM0>E?)]JQBd{a/0kCߙJݏ=P9NV"?Z~ wp5bI4ǜ=!S1z(zz/ -eS3lnTF,I:TM)A@D7u0&P."#:ɒWgr$5|M\hr|ϧ5Ve#nߩPb&Ι$9{ʸ*aOۏZuߙr|OqRBU0~Y[ǺImw[ YD3fVL-r\5\gP]M(>LqY$uoVf&қ1Cbǀp b@߇c֑1ii*|HX&Guu_縡.Xc{Y*ɒ pi?\JP4vB[jHɧ9ΩuSWB%}0>Pw,~m׹xN헒~P:vTr:I5bVM4k!_3jied}¾fˆCJBQ^2 QÁv6t1Jfj-;Mw s3ŨU8x6f`V5QM0>< 9劾=\Iq}T B r)=C!'!8z+XUI)9[ͤclaNW4K1rb /0gꏹjw ?P%TN \hy1)hNi#rcl+ B(mOI8u10;kGc0f[,6}x"Q.kt7~ps7J4PRǰPy+1Nt)7f4;pw3+;YyϢ4['5[eD?(lPmz!BF}b <&:Ryj_ۼpŲJ22wK#b[篦κR㜭bMJD;,5pul)?W.)e{@dxǷ3{DbdCZCٟ#yl\i:J-~¬%n(hW ,1AtQJ杬L'+dfǞ]7+4=F8s (C Fs tέd4D5wsN?ٚCR9^"7$. xnI)MFQ= 1! >8,)ox8?ʁ;݉.{Y7 T@eZLP| v-@9獅.(޹u.kn] 4Y/- d~gT5sq+ٱ?:`j,waeUIa4Dz㙿N5u4i]zL, 0`쇠ۚdtho\ j 6Pdn~B۹+Nw5%RP:ITtЀ`/D'Wżw_0v<^qѯ!U1 %󵲽]ftW^?qqP= R_M.aOx뱇+M^Jkr\2Y8-TJ -% ?H.kDKbuG#Pp̕؞(K2$^aAlkӄ*ҫy9é>.R} 'Fsz [IfeV]A6 j+7Мxң+UkYåZEڞmfo<-Yy0wm3 y6/ 낶o)xchZ] &? YI`HMd2?փ@7?<iv+Fh-߭i7G-wuS)*n/9plJQU[pVjaPgn Y>ѵjXz{!\[ (V؀D_b[xX# YKQlvF!$bv[(JAtl*lfmk6q,f꣩ kt [竭Ϝ;5-5 tANjZœ8oJ8L^OU bqEtckG12j'=+ %T K,9 dEV(?Ut(fWT=3~jtɇ^^W\ qSQiح}Q'$և/9iDEsj-B}Oo0P!碉r$,>>qQ_sK==2IZU?i\<Gu%u Ewb?HQ;7,`E& 0DT|τe:Uޡ^F`+lm=>pO*I'!%T9@?Cpt,1oᮯ^k >^d: lPFL,&21)C/s N;1iiVTc?nFkN+ Y/wP'4G/;^Z*o#]ɔru8&/nf:Lz fCLIqgM.x|fլӟD(6=wUͷXĒ54;?,#zʞn;0G`w/-rAAI "#SPAQhH(>O ~+5al)nF{>p_xJ*XuU5ղ2dS eG\yމPFEDe,{>v'jxn8 NX"Qr=x& UނM!),DL#e/>>zScR֙΃^ r֪gM8@ko㦫!]gZ ѸU%uWVeZ<=@O.5: ɝgΧ$4 lW>bW @ԎW˘NӔIVףYq+/=أxhK5;2 0YrLA ոGݖe ˤrVn_^/;p|_ъ}_MjB2bjO1669)R;}QQ0u8'O(\fԝСPӽ'Acb~d AF{"eĨ76!wVakY')7 ERkeBH JC|҄yR65(^ yox ۚ7U4f?8:fyjRmp[P(:B,&l=.$ (( vS&Q%,?j?]4F 7a٥o60%ЏȰQXʼaFomNY- 5 f\"łݝj(;JӀHKA5||Tr` )׺RaW޾q)AS]a=?Q.S3؝8phGPJZM~nZfF{D$cяcM*Sؖ{h_'EyM  ⾱QNq%?MY]}u28H!u1s&FΑ&Ɋ}^OzT>\1 n%QPƠejͻf2=DehYDOP+H$7pld-w3U}[[c8W'v(R_dѫd숴}-F M_Ɣ?P3n GC!; | $lA8MZ oWH&8 KH COg;Z&.K& )s 4ꬽ7v)fd֌dLz؝QptPZZԪONQL(164S 2C?]G<bfm1"UWxkS*XUGVJaiduSr2_ E.ZB_̪eyL L[H<5 wy:9FYle6 ݛdq%M(膂<+~U<ZT"I28+p$%UU;?z}7jn(Ply~ϮdZ޺&<-Z12EΣl/D%fTeZ$`6/XuEn~?P~%PXDǰ[ |O7ge+dF](jйÜdͱ;^Ox_'cΒȑX|W1G b>Cfb7^0 ' ,OMTO]{ 'Xw tf dҖjaF[@%..} {IM@:0=ăEkpUzzv.φް5eWH R8E=MF&=HM3,>pe"_a笌BYn4; Bn9ޮy{Hv@(h]t!JƒZ"ۅk;<a AjkJ?ypvrZ C%\c.b&AVN]Acv -'h@ꦍ')IʧmhM,?L4>俛:T0zs ^#g;cDq&<|+v+}5-a37MJ\zoٸD4 V[iuN{Jߟ&N#wvG}{ ^9wxHQ/G3'XǓT;˚A[D{ٔZ(*EY)RJkQMU+H4{zrFXRG:LuWL]rdKg-Wl`6&{蛘:fíZQ` Ay -/V^0i L]\#UK8WCZ7ZE-Y5JOhlvpc\_&wn1^˶hB!.)8˩lp=%Bl0 d-):%*p z_n@ڂVed;b {ρ ݉"vД$-yXƢ55[P}^\d]ᅪx6 @vM4Q@:!&1]09a(6( L)*(KS+"lx@\hu ͷezVXih<B[z)ln@&Sυ2+be= HD9!E.(0"`QeI ц5g7HIg\G4_VNI{ieG=#KޅDɶge|lCC)f8zGiGWZ%kѤD7 WNz76ZfK@Q12M) xȓKd֗ZbnL 4OX/|/F%yW#[ }aW){ Fj88B~hkNǗb)2*Qw+޵Dk,U1{1wv'iTPXokCJuCҌuꥠM3/g]9'QfW_bTWzˡdCt=:,kq{N5uXzKS-xJMwiuq\8r%r- ,Wu1(:1%sk"\FMBm/I^>+BCB5ҝP-OeKξ89@ )F}bi^7wKV 8; A@6}D뭂mU,,s-ɷuүoCPL?UR9 ~!oCm|t-w^xV qȦ#+V NaKy9P~9wË3=-z@\chDNM~cC ?Ye`w_Yl.}hF]j|}Loy~s45TnY?.(^p=X$QL=u4[඙_䢃ZKߙTW :^p︒1<:oK#ah9o$#lUc߰QgbaG] ~]!4.5?kjG]zԚWu~ 精2]+[R9dr,uE'Im`dwP ,] $l>(1z#SߺHdwW,bO[dnI Q %tAWs5YMlzaČr Q$E%&AWѠ;'Bw lE#Ivl2=٩&? n-SJjصEIhpqp &МHxRk x)n ](#:'CIc__WAy2 Zy嫟ӽurgiȃ];ƥ_ԄL~c5@bفdz3ud[0qa/_נ x5L8LE,h\d&>z /kl>ԤG8p8.nqJjL !~;֜HOE%72!3):m.|׉@e-[oC 8d֝iYgzdfNeՏδ/A\փL`$JfMsN 'cW},ME$JL4m4ӋCCY8VYBjAZd\d,|u'D w+{^4&޳KFnx NAZΠMP6E^e.5cXyh^ϝvb{Z4@?;OgBy!cU]mvf<^ oR#VO-l Ƕ}={"iDkjS)Aq'|j%vؠKb)#>4I# b¿a+uDŽ Ԫ>=M~l[46k9jfJpXN$^mzp%'C? pz.q[1l,6UO s@Xه.f/{+>] ˝Pe@sx?yoVojû:8O})]S5 lO,aDBIcn,86ryVn5.ŨˈoLr8e43\#b/Za2?DIГL:دXfH# b32o>O;Y7b"Ⱦ|h&c /z ā9]m'#H!jX>Cmj*tR@)L?B[.ؤy%5yBEv^ (f\gv)('0:d_=>{X+vʤr ɚ;>fo j!ON*,o N Vpͭ.q~RD<\FʽI i5`i ҢBؾWT:kO.+Lw&(6E`UkU8:/pw$کW (@]2R@^UrJCb,m[dUև`Nbm9B`X 7g=Q%uΌDxMO9%`掛 V( n 18~"v@\TK~[KzwQ=V*L~ իyB-n3Hx(N\{xf54$2v,nmҴyHg*7۫a9x2QwJ*woA*Ψw֕Ȝ$z+ 7whmzbM$FԳ8uR|̈́ؼwvG1I*aWsվ@2`͇2ymXrB;o/m{52kF>li]b,Zn8jI:xzFSL6+LP'8ȃXZ7 3~:Ln*WtzfQ• ź,(,y}Qb2bTɽ&6,wa} ːIpH8뜟۩2%&^?a~߿O|Rf]8zIF{ׇoc#=]7K4EI"jFf`㍭a<]Ƶ^ Ry_7gLJuQoIZg[Tٓ ?jX xnD/!vBcc>"kFLSpCW;ށu\őaKt~iF~aΈ98ؔ%D^vXթQ+ʜGh 4YS-ؓZ&[MQUr]μ&.! 0zV )^TJoPdS"gk#Ř$zoqWK Wl֜1r?>Ϟإmһ/:+`iI zGtDK6^o#%x8 J/rL_>U`Ro\08 "A,L7&Gt[]ԦS؝myd܍soMikeho1A~.aB~T - 5߭Ui?465u>|BQI /Sr]n9.Je} ~ʏJS%i#&߯K2[X+3Ӳ:#jgIn3 5_6bPmOܢ驇ޖ51|'ζ\ >З\j&P+j{? l*ZVUUVi N%ZOԲ|ѥ~*}>$[_s$]a*-{ӛ3Ǡ\ĘsQ۾bQ[Vx.?A넅\z9E;L,'@=m%BcF"'O#&%4G#2v/p4Վ]W-C>A4c8w+N$*Fnh頲rͤJLv\V*82]xd[ϚhQ((hz֗u<,2Pk/2o䣉ivIa+j NdX~C(A';|j>s#PzHYL8= 6xaylCEA\lD*$OچI!`R03_Eq&Iy?e pm,d<`63~  pW0ʣԔڏ!EFПK khH ~1zRvj1/0+2> @H*wuy4d"lKEU\92+9~Ѩ $; 5hy!>!^sR1ZMoL;>s @P! q7LR`&XvYш3:۽BFbZl U0|7["WpGMtG㞲ӡ|>Y"u<Ef.!K srd$'޹9 8: }Ɓb3,,@N2FiNr9-,3R3wrP -H~DՍo_!-HI8`,2,&5"xi\M;\< Q mѪq}֛A󶫏sf-X\r;b^˨)*On`ѱ"qY-|en(Yu QH߆8q.%`9w+4RmlDA%c0ep )t(fvTEfq֍G# K# %Oܿ(D-y{ym\(FustD:s+f_hIo%l?AO7K9t5N Br1Iq0ɉC=-#$\ >%? S0\;ֽ6mK=3%$Y:v-Q;4H-}.G9:u@Bi]G4sioaj6jOF$?l8yPƙI hp0{akL@osQ_Dlz3Bl$%v~]h0~LJzn$V1y36ݕ,jf,}$ûeph@' '%. md4eSkѯ$zvD;=t|w k^AYK$2Kcglsw\Ƶ u כZ!i\$9FFC}lwdFg }|SҘUr?F.1p2 G,ϳ'>IRY]FƚstŒ_y?}+D߆|I/_sp{ }#pa r5™S<} o!CWMQ4H7V|skK\zh;h@>QC.@pӂNp.P Klڽ#ÑhЃlΘrQtN9@-DObI/~ƝOR5ׯSP9 %ES 32ȏph8Cv H: E^tDCz"d#cG읔pjTOu1i9̖[O`BEߥcS2,VFgbRChd %iy3N?!8[wR@mF2w7f?=?U鱤Kk>qĴH:$$P傹 1? (AZI򂘮ۭ.'m2bn9EoņQL51'y 'Ppd8<]!N.n*wvH-4@!G# 6٥r;?':MiR1aiycD{Qzk?l'1sc%RFKn.I҆NZ|yw^3-:V<$:I6|z(;l!o 7g{../^ꂀ+O.a/ݰd&Mū^; (ZJ)|ʗ?{^Q_-Erb{; N8!ig=c9' WB$'U 4$a;`m:$^,49}2i7­ b٣2}p~,nGTKn8ydTq MncOǡ<֡OgSi]#g3V.=[x,u; u Hz歹)|-KL-I 6]2aq5 X |Xe*UQfrPdv(]@j _6 m7R#8m|XA&Ws Y< s<~R:4-&@j]lݚiY % wenX:WML~0uZ/u33kG"q:c{3'_o|?yU72]1${Xb q*(xHL7|hy1DF׬ty[D y6㻪(>7;Lp<ŗE՟zRienOͧ1B;am$y,w1xFd0ٞ g@#7@%#(O.n' r827}#G6k#  1@13PVw wf:tXF 3[|ڬ[IJJhӳlޔM1Fk' lYXQn][sjG1z}SHrҋNՖCd"U4ݳL6n.b`9x+e-`̊n28) (,9\zWH ܥk V-Iil/™1ȟY" ,ĸ/i*O6ƭ-@liOmL`a$~0Jؖ-n \M7ReTĆRJ 2B(Ik: z,D(&4Tf8Qh?hq@,iTA.bK喟|^ >0n9;i?q53 ԀЦͿw,EX6'3U݃XEʁ,Wu{݅/`PV? d&S0Cj, )tfML$ 1ݶD5^]_i2’g\g8HoD4-(O`BhA3U%aFp͟.sbZt~H "̇9`{UJ rB hJzN+l ዩ\r1Qq?ѵ]&A|{Nc,\Ŋ Rw~|Э|Jczҭ!X/,[蝑ۈʵJ$ "CXPuEjP|rJs,DAIK#3k#wti6h"tgg (wߢD=tf{xAq_wT}ƽQ^ZJz( 3mŽs:;S{P`cCqр rqwG |gw@K [Ld5Tv)'!4GwϦݿ{Q"T.{Ƽ;_p=*Kh! iPmw8!ů ݢ.$]ܯqVXчSpTXIO)*j焳7b i>zSEvǐn"W#V49G)>t}djt$]kp틠PɅ; "e x=^^5Ih:w$>'޳r]nG,;FSy?IbV'h๚\6_creưWp g%3͵m Eѻw\#%bGYʞY~}+X%^;~ %Ji^)Tzl/bRW7gxbF{I6ҁýI)1(>.H97IS~(LPNb@tH-ghB2@Qx\"(O,EYl1%zje;\i-́6Exط[i3iq[L )KSV O*}/凫FS,Bܤea4i4{byS}nk}[_ٞ^S]󨞜Y7^cAݏKIGY6i?dH3ww ŏļif&P+;`Jj]BiNT6]OIj뽳b,3l&;&blt Su ӹlwhN>h GRBA:pb0y=y9ܥ9.L9G*%+c;;BjVOzO_[si콐*쭦Sć`G%SM֊/[giI2e׃FQFpVpt[|]V$/p.f/V^@Hz6lWlXOP~Bq jI.f`{/I˥tB4:?YT=vTSä'Fؗ."/݇[ǼaY*J/Mr]s8 &kx>n lWvZ"ۣؓQW!otI;̍HCשԏ=EIqv_0nMtEyָ$ +~zkZ՛v~1 =Q)nAwjkj W*qoj[Iđ%YεEmI/?88'&q"{*!`aUuߛ&ìjp lz|̃ԭu12\PnVW|'M&&gJ'/)ɮ,n|7LRR֌ACZd4ٴ.̒< P5L] nf0pGX$$kQ/R㯊=`H-/f,= ?qf9gݳ٣^L Wx+ǫI%J!A:@Yf og_үJs d>0F8SM!y7Kv#XBjQ~6Mo^AqV xv]N<ȟjf};,%V`8CƧ 9GPE8Έ-8ޤ82%GކW~ګHͧ¤}dw k&αiI쏫tߦȔ_w0L_' Ąx12%%`Ec`cv] Z.2@5ĸt[ހ]4O !\7}FyeiDI D;Tl$\\ ͡zl) Ayi I+lx lR=g*}8ʼnxQG灺-"]"/l' <6RVo> *hr7shSMr-AhTQ 'Ú4k4Ԡפ,5 ,"y Z3ڍUĿBa63Z; fֽ$)."~2_CsZC n}#¹ؤkUz.y:^e tޛ P CU^.jhIFq}}zF4 ;+X߅kQwF ]5P{ۍ^Ҝo5wvZteSH'7LP0'NQ~ICM'!4NFip?W ?WdKhvƃ1Xqp-N챀^dDa/bڙU1W2] bToX-Q%kbN{Rp&j+>K zCi=_DKݡ ,1L҄Sw<$(IgYZ7zXZִF! S]ŗXiɟ1S:JI 5i;\ŮIQrEz"X7Pa1˂J xã??Ԯ)_T%eG`k.< Zig]ͧX Ʃ4A?y_P x+ l/^;NJV:,bR(sG}Va* Ͻ_VYlPt5ZL0>.H\K'0mp]ݲ}'tj}7H]Tuh-T7ʫ (:16i Q̛)Dux D4.17C !rsgYZ7zXZִF! tb]ŗXi%L#K;zDHe}b 8JW6Ld^),o}^,`\!乏M.n78zju5G(VƖփW Dk+2nUaUPdn_4Nm!+=xK9K~eTVK\wnґy[C> $cT._5O4IkUv=_6Nh #Svr0—{%USo:78i^pg|b[Go2XKh`Tq- QbYʩ|+wA,e+鿢d ^WQNU{=HT_xfAh n8}v)}x~fԊr &O= ,‰Cq']'dd1C䤺+cxr- glE޳ Z9lTj\R^x'*t4P"Hi5 }u_%_-o#FrqSSҶuHVwE k䘯~` |Q8,YQHZ.c@vGqdØ!#DokRk,BJJ IU].KEk郉g5mzoq39*%g#%Wo|KM[䤀K6,Bsg"w3a҆F*(ۮ% 4f$5P/G*yx$jP¾u9ryW˭ht r#͡W6n{hm],@%{|LqC.om ~,LQ\: 5<$xB %%oEܠzq $o oV ϴa(ң Y%ڧ M}|o/}u9,+oš˩Te@]wߚ5=$ǷpL:z ɝ5twp:Z,30㏯UBnY r.F;̐sKo8 T- F56;8dw[Yvq⇂Kqi*RSr CF\:vS%{xVˬG>L8L&U_O0R]t۰|[oeOb%>rzW?r?O[Bgh?5* U(C2vȴ%Ej8N1Cژאk"zz9r?baC|#  *Wy\Og(`[Fu[<+9ʺ[Ĥlj_A{i%W;ѲkUhuE!bcaQξl|qn&c,.DˡUd; 2pKXޔ38-ĉqK$IH9Ɲ:~K;y`nitTRPICj4Wej[+]QAkV l׫"as劝h{:̕c s-(y -Kt_7~%#9h_Lb؈z PڜYfR"JŨ}A?zNm!FG '̝6 x{d[/]4ߤO:ÌEL!F5Kx.f,m BsZՂQR\;cbd,+ד#C'^, XE V|W31H~X~?Cxu2xxS bJ.; \$v,j eU}U[=6MFfTU`%7BEn} ʐTpIEg>kVU})(QLo.?-i ۪C^IdP큱^ Bً^]$ŗMg0;`#Y?U4)/}@\g.Ig0jVoOL#D=-{oCLS45c\h_צȆaJ^I=D_:EÚw:~EM='.-^%D^+bלFx5wFߏˆW1K Ϋ$wdS'Ĝ!gYQDOxmMi횼'0{*5P\L;LykC=6:ig`"J'9%G<. ~ u_)֋ZzT#@#-_3^0CQ L!C3l*زuTd&ht-3Vz(b^cv7}Mz b%{fן62WgTgi8h3Jc.;"3TdƦ 2H8\,}DڗPoWfj>'f#|XCT;yJlsGEM7F,A ^oZe7JA0^w du P7 ʼ5wϪrilo{jaR'W^l 0pG^bh{|U`:< YS? `?ռѭ:a$ψỉM//1;C$ԻV%'4(s8l^5+ A##I}w_UuMf6^~>❭M70&LЪaXuN!CPYYDp|!2W4rSG(HӋqfk TBRϏ_z4bx#,!<`~$@#< O7)ê<]xք7}UqG#>]3PbƭToȼd0e8dŒ젇 YMբJjNA܋Du8+fAL\bA (b-vq+gī>$ [mrJ&؉Z ہE0!|/^:IC`SyzA.uKf.яV36L(Agxcw ^O3 h87u䝠|ÌX.G])-~VGҡC^ Etxc"DSZZP€r"`rU@&(d3 B>j&7Y{* 0=[  a|8mx4,!=f.#yz[(~sDGbyWc&?Bz!qqeb#1bLJ;3aYf*J"h뼸Ŭ=%nS[4,7V>}2[D3Ugch%.Z:@~ڇr)am$ē1uj5bbaڝy.qۤWDݿRk*ʅdV=:k(!&YѤ!àS]}˂&z¸Ʈ!7:"m6 9 F9XA&^+ҮLǥ‹SVS/㞁Cs<ϟ1H,eAmQ!WeM$2-7YN_ ۲k6!5q_$L4FLbWl)T<(s]j-[ޗ@J0Gtէo4N~rye`_rf$s5qNnaHO[I$@q+[PRsѐ`Pb`|ܪ//G^7?-3RK`nOPF7 F;xY#,Xxw7`mvw҆t]*ns=^+1!Faa\KE_ G6f5R7hĈ.Sz2߮upJ]ڠxZ኶^mxKا[ܪ ψ;e~gNF"o$ ~ξ` 0 gYZfb639183b13f57e444b547b73d172a230c7cb419971b735bb93991ebc30ab05e1c5d2490d534dd41 5e6da02360216761c8e3eeec3df5cdc5e01ade87