SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 V% t wS]HOL-Analysis:threads=6elapsed=308.267cpu=1315.832gc=83.040factor=4.277zXZִF! bE=]ŗXf1-q恈a.WM?$bfRv層?/"KjOW'HpØᮋQmzj@yD3T0RSHmW "7unlKڒhGLj^n2F3mT̾A=eoi+̝hqq !Nteqhdxbםzκ-wÇjkkKݲP2ek[ɢ\]2RHa#<ž*ĭyUV hް0T-!eOZk̉lhTH}?L!#ުZiô|D@ _ EAV@ksEeB* ) Nnӝ7Fu@]En^dHrӑK9nA$W,\gEUcxthXf)Y$؎$OS~ Ǩ9`xV%~Cܫ2n@tU<3>L.F_LqոU(鵠s&Ծk>ƚ+ iݱAe*>eMR, X#Hx(LGy#'8D)=Ⱦj'[ID1@]>|l|&ݏxOV": 7Շ@5[Һ"UrΠ6L(΃ˑ4oypa^7ʼn 2Q2h_v}V&`5' c@1e25o&6Hx X$|į:ņOD";8 EV4C_M&jR6H;Xv²?$9E6[nGY& lH gc 3 U82vS?ʿ9s#B)Y@ i_u=SQL5bXz~CA~x[ D$8;QoZ pd/i/.,EuJG'2]&~7b܀ Sw zJ8[51x18&3Y].2R@&ѽ*O .4F[.5f+J@kՕڒz.*굅vfo.0J(h&|vG@N5띋2}nQ\+mZ>=ϝc-i0l(eO ;4a+(a't~o;G{u;ߣ;4(+⠛HcEyr)X3U"I?Z(q{G%O!7(n8{QVΠ>H67˓4#|UyH?2]J`7uho_Fߔf2q%4eX|(^R3PiPij{Qslk3KE`Ju_6yX3*@Ɏ4|i{D'X?>&v2ԂM: s|U%l[i7}GvԾ1EĂ R3bU L  K\rҎoJ/BDۢ8+y ru_* >ҫzBn;& IWײ./y˯j~ѥ#yDg.CQ"LMˬ Z F OUXlb\GuXW6&Ihcx25)ʃ]?ޝǧp2|f?۠ g<l{!F4dw٥mPP\AG봱${CZubSkB K8rj]1ߖU&ӆ| x׫mQŤ ໹[R[qՓ5.z3jEf&ġUY7iNWmlanFm۵x"[֞S~h~w oxLϵ ]Any(PދN̿5I 8#Ƥ@;rC<$d2Mث{$Q83k~cf✎X)#= KP~' D2*y3ߑYt& G RJFSIBϭUv"y{3{WHgO f5wPyָҞ.'|nkRh' -6[zD#G!WbMu:vL8+};*~9bG#lkd*| 1MMc;5;c1d ;8O)F<Ռm6R[l@>;]g UI||Y,oٰ9ơJibh;jRIe695skȖAHya_~(u2%eѯ].eL.KtP:$5)aD1K͊uQ.=q9|hV V#5!u ew<(*cKϕC/Vܐ! HdQ z-d!ƐfĥώxTx\3 l_ܨy8|D&PZ"FShJ)t6SGV߯` ,'QIt9H` &ѥ^$yVC A,hҵw=Zkh- 8^n0AU.;\k6dC >v|dRr.w7`ϨzKv\qrvdXƋ:IA:`p,TH/"5SID- rk{M A* YB0w׬kܳBT%VL-=96|Q֎`uFco8ԅ}4`Б I:GC ')ϥnƨ1|xSB0ٱt)"1.n꿲WB^swc4v8K+˰/5ygRuВeNCRi>Ɲ2=z)LJ;?r)Hw#-4!AtgW+a/_žHO.\nLVaZL s+ז71[_9H@^}B;H5Nb$ mؗMCHkDKa6 @?cU Odd3HDۋ nr'Vs^7i~-Q1 /DMY~ ]} K*Hۙ'ˎ}ϘAܩmȂy%~iyESElnD{5e8U=ҶkCXU,h\uqӡ#Djvz[3\&Ie-F"&nǵlO"V'%t̔ZĖ1VnnΞw+kl2p{L`GDs-XBb.ĥ4:열 Ќ_<8A]~9\IpU@ܟ3j >) ,LF-1Sj6^ {BTmS4\Qn] IKK̓Rj\m]ZxZo))SPTwx a::uS|` =9NX*-S G$U|n8msn+CRbBvzTD ueTSq] I{y(mtH rͻs~Q5[_˦<~"2Aޣ2PyP Gkq*&hH% Qjg5xWzI*fVQc dńF½s(ws_j "=qO1N1)0i󄒪wr{X $f4y0Ҕ?""XbaԳ%9w-і4)cSpbB3]dR`ᲱQQY7ɜŲ(o(^0̐1KYNͱ}]A&}Y|-;z?C.n-Z fuٟҘ`@K8=*^r! ,hæ& jx-{fP*+N4"Ƌ{;v_0,v09*U\gR^1sW>F)08cm1t2GRBbԢR?Bw\eϼ!3jajk们4Ar?uLi`6dTaهvKjlO/iEmaBVE|eٱ aMpdٜqj\ToO S?CۨCnpO' )^wu> 1zЫsHd[~B؃ ;16+H!j+Y }1Uuc4gmb =n5~N_.R"*O [yZ7NB:> >_SAyJ]>vyX ie)bSR9]g}ٮZ#ޜb1]Rrg>(K(g8-kX*-؟K7/=ްܪiEb(|y3\;1wwWs,f\U JF:f15}iǎm^N֐}GODž1](2kwKpN'9^.P!'5qɐL3NikK̚Nt*Gox?// n;6‰:I,G\F2ffJ;yQ )j+^yjR+\8W-9̂Tpsk]mxK2.*aﴀ|]yM.C0Ae€gߊ!9<WoNze4tu<`^;콥;w(:`5a'|< XҢ9VHU;qKVq!2|ͳ\BVmeE~IԳz@FT\/ʝ.%b3+Bf1kRA5j)Kiq@EIwi;@P{ kIɎ{ۺ Q )WQ&-%A[̍ՖQ׎oOV-&zGJ{U7ȀE|Ie$Ѿy:w}!r1% '26̴,ycC&2EJ1ܒo5&6~j.1}'6]ݑՄuk|#"b " v9jnwl} !_ǐW{uSBE(t?~o.V\^UyiuS }y ]a4hOWfU&t_'o1WBM-/ӓ@^nz8ƹܞAH|jL93ʳKnBOcKx)F"pF8 k4iyp&fb#i.lrn^ܭ*So3 gEqԿ@qNR)_&`17F|H0FZv@}J{Ha~R@1̱#hݎsG`X'G'٭ [.h?6`~rr&xX1Lzsfin2:|.HuWyvgzaC̾)AKsWy^x6^#H3<[Wҿ4)OE={<8hvnXp/3-^ϔ,1/ X""14X7_[ E!yO99:V(Y% keZ !_EgΎDkDy(qӁ1q8g ޝf(E `d Z S,ؑ-CE${ @yNyaf-y`LW~ͽ4RV䇈re۬qta5õ6ha-oQF 4T oF?;OENEPf*.Tt؈}q :]d$ 48P:V+Z}%,N&;Ӿ&ˢGf +OTYB=M;:XҹYjjĀz}Cjc dD1:\{x}vm=A6F !ȿZ`$d%1(n+2 x8D{C# ND* ϻ4 5gH+NG*K425I0݄dW7h}['jgj*Ζ )}*?(p^os*Z'i^q`G.VP7`d~ԙTP8ɴ]x8 tm F+՟nN0BGpK8CެYtx|teAVB~k|]PW_8,fRw+nFK&0|d}lׇT;|gbɪ"dTciٳZ􀜵@ f[r?I- ^M\A yqI|a hs1Zf]H} R]k 3*U9P,(Čą18c?ˠٓB3-?QV̂+ Aq"VYSڰ _!dQqN۱PjگV#ۿwd1 4':_+״E#K;.6(ɪt1@N4 )ZkLG\ב9=()_N)Y1bQ)~ t.$B!VRBPUr04DkW+UEfO.0M>Lf hUG5揍v9=%YrAFըYg٠V~w_^o/Cx\5Q\SWXhwkzJi7p09FzShpq:[g.$:t!^x/< (,Q{&:XT1f'rfKH +_KG duWdX4A0p"jF ĕtI<3`nlEdGU3x-il;b3 og,㰓UDp wNK>+MΕ$hg7vhL;Mu{!aٔ#t fYˌkSs~5Ftm)wĖ-՟‡2wp"􀧅!>kMW<;J˦޶@+^l/r K8=ȶ ̿׭*ERhx*ɷc~)!-˹tN0XbP;w`(YLюA3KbGʏX^W=8xߡHr|?Tݰ-Ҥv **l'zk _| K%y`>jo}h]Bn*#K+];+Ǣ+dU@_VGr%__E7\TB8 ;K.{Ҥ2sSi 5#[HDǷT= \}ֳdc2{uKݼxhTx>weLI(@[dەB|Cw[JqmKK 0iOP Eeޮx?N<.ZAm,@ bL%rz؊Hm$~ Ź49 vg^D[ >E#7hVLUzI$T cکg|q+?-*bS8qFA'.qO;hnѿ`y+jws49H%Ϻ0g`G.3, W8'0?} & ?wpٵ )Ժ0^< K Yl@6E_>M4㘓J* k'2EX뜈ƴA +@,T«9<,}yyk}3sF%jHb9x1 :ı2ai A\32%;]0{pY bC7n*R|Qb>hō%YTC:B3biW=6 fo'E^obdDDFYź㙤EX3"Ʊl<0X-Y 3N}9BsƊEىmLr_9o{LJoQ|qF z)䄅a?We{/'ҧ)!coai!AcJQ Cjub-uXa%F{p ۍx&$EH'*Fgq8>"9zP"b/o8ÅVoJڇR`:G#4dh{<r1.)fQ]++Sl#/6/(ha')ԑs t% @E6q^.=ÏYW8bKۅ [wa˦P^`=c6`DoVté5̰$h\*m ~zGW-¤:ءB =\ 4moUts te}m({>Ṃ;P"G+.W7?" OQ!߽F2:'/ Cf沙8Zo'~"qq2A @ h;[.‰SݚVvqΟF" q幤;֫`uڷLPup֝H r*/^XԥajMRR鴊+3AΒe.kW +kkR`kW$B[%zfolTQ yx-]SfF&mjC'S X FiN Z#{TjsAa :S*@J~YJ} ۿKg}NQc/j`j1gM,[U|S1hādmr+~ӂ$𩡏ĭN$,pjyOc8{msw)lHDN$X9-s5u ݈ţ{Am&~ɽG)߂p &g)u^.L8Qo8p37 ^JU:睴sz,Sjs!\ϦlPUQ~?:2=uՙ ~K_1VaqeN( sPXd6Mu1fNWTM\)P-TgAmAO26+kƮ YH<}۟d#ݝy5-kXd&|ߌ$O<.0Qҫw[޽-0rLV90)z1l2wqC Ю5{_)\XI =v͡.?3HPk`QAݔ{Ir+D&0lJuiX~ !YzŐ*rKλfQަ6u`V"X?@,<ΙK__]΁Rz$4Urك=}4u[ˡ;Xa:,sd'1"8 z۵1䐇Ad'=zI&9rG"}P#9i | WBw!t:ộpڒ؁ؔTa3;Ol-ҍ +j桃_]t![.ȗ,j(TiQ1S|čTOW~jEA%Ƅ; "l2 _]HKr5k g1^?Z608hȼ(u]~ג"VJ!d4g#lQe{6;I`ܞٚג-@ \vm Ϯ'm\[[#qj (rABžő9zSg>Rj]Q7X/ǻg&1԰U eA -쳐Wp>\x,Gއ>IJ<$za.S{հdؑW l ^s/v,X[߈'/katt=K)C&@]vrI{}5Hks1i:8Nݰsy1 Ӹ! }ڗe};uuo6f6j O1} ǝ&]@DʈU "LNKnq`va'tr$'q4" 2KFM[GńӐ:>Z6*C;)n>|H%_5 CPL) 6zm)%Q1FaYZ3񍷡3v9G$166hMdwvQ[ԊOt!)7rָ'<ْtPJ'7U`T2xqoTCҢlDďfew k0o;Ϋc @6472>n70*4fA1bE"Z\ZonF 'T,0b[|8BhB`Vc5|58l8USUpESd,F훢;+9km^-5pJO w.[wNKQK˭d3`&%О{sTz.9,^65sU8">tR'bݞEW+..Jſq^:U'ޞ'PwH]p͹4 r%EXݐeqwty.x6 5 rz5d4Fxj{CܡE!h0B#g:K:ecWN`TxSZT,MBX,6pCJBcd(gUG5<>^t%\s1JdDmIL+c.nyv KȣʨxJW 0]|4oCB0wl*fζ9V] r`87]詃'qM 4>ƍ d"ެG.S4ؿ6`zLWU^zJ,NШuXFTw|ې \4@YEN0z5#0Ϙ4_`i8F8i['1JWĶۇm 5yu=}iӐ5Ӵ(hIT{^f B;M/6? S.aÖ$H# sUMG@~|%r P'E*wĵ^2ț0λ\eΤ_|xhf1|!?pjr[ME9#? X*.3Gi &w\$aK<"/b#\d?eW?xi3N& ^M wī߱ԋ $<ȗ.PKrcd̯a$Oꓴ:!ryJD!|NФܕ39\<ę-%Yștbu^5!z!}TLVA'^]Zǝ-6IՒkDeh$%K8#@dz9b%"= ph~ \tXTl̯q7[o@MJ҆ie+8v-E>3ܟ[C(I6;OikfO*!Yԉ|JRg0ZGkR86 cWc5;,x%qO3{3Cd/xG}zQEH ښ`SÃ|q늱L!ʬW4|~Z3N ]IR|[ܖ_,a1)\otĊ1)pѓn]ॕҙс (MBUqAɁ9e=67CC ||܇\րqX´GLԃO fc9Í̎ylae;s'R 5Quïv/}c!oۂ"`/`0 q?»! |화Us "= @C PAc~ɊXXJؘ"<:ysY&(ISuIxAgdM<#b'!fP[PZF^1nT:W!3\@x҅V␄龁me YHlþt܂ =$"?ECNQNvvfۥŮ!a-(ʜ-\zbpuު&D9Cͬg74r‡+ O 4j`Ԩㆣw14G cB6|[ Y{]8M "b3kp-P*2!Ȱ'F[yߒvS1IYўgU&!ѯєo_E |O_"9Vv pO8@@-Q2.+SZ##Nҹ-0Uxb9-޺$Gi'¨`΃% ^x%[9^8/P :9WT %K nEVYnmcF uB) h_w!8~hEʏz?K:b $$rh4?hՙL ~VŲRlՇL{ֿR;wgvB4&[ xq.0;\Hf?*Ɂ~Em:S" >u/"'%l'r]̡Nss71Gmi>e*v}alDZ/H#tW?U/=l_WG@bAeT[L$mP qd#tKxrp6=H`@wֽ3(HkK q6 DEzhQ$JxրP{Uê}9"rM! #ib4G*[q[&DksM|u0mߔ5WM=8iI^w("x- }N}=&3H$MFv$D~0m.ݑ9$Dҫ#OZ/Zqّl mo8 =o.w*WXlBTXmeU o%zԋWdKs*툖4o 7\ m(*RR}_cv=!K@2?r=_$ xk-C[  X  AUٝX=gdRyZ_KQha%FCmTXzdOQt9HNIs">K5L0/oV2 SeyszM`J}W˕:TmCݬ\3մm1Ovfe鮂#Gq3R1ڏtHlt.DLO#8((rT0G i0s(Wë>'{)~%ќiiEJ_"ݴpir}J%pvS wt߷efլR|z2} QjwlQ}[ `.~D(by8RAi\SQABYHsҚꢤD:nkɂ f^5:QUW U˸IÑsFR"A%Ii%c͠TNÖb3=1x[ NkJJ^pfAhkHJ Up} [WcmzkCf|#z':0̔ɓ\ +heNjJ'XsҸ72D p{qx~H$3=<$  aZ@36[ +x1n6LSg-{JuШڶ5 0)lT5I.Ic)Y0  iGu{R#P\_O[>`tヷ*;\ku2?4\P԰ҭ1/l^NX| X -0brn0|3]./U.oj"qxv+Ĥ\curꈏRFG[geup&nM{mϼNL#е'9߇fg8$I8RGa(l?:+_z{&,)ct@p8tZs3i0qQϲlpd5aɞ3 @֩<>Yvπ\Bw(s֡SED+g"Ȅ))Ԛs pxWb=m܎0y.>VcRr:tb1Pov=Ke.6`l6:kZ{q`+U˷ܟDVHTl{XyxK< z*^@:ib Ԥ[YU{z%No`= Y) ]h/ۚHW{HA^/ S b!ӳ:ԺZ\ k: 5?%HJݢ((ǬF^Ie˶T OOXraڶQ<n8JHP 3P I^ knN<ii0+~N$e:9{wT6{N(J҆!l{/ٹ#F.d=676<=CqY7 \a,ļC]ﲬh(S4) w@:165ͯLI#XWk\( fr Mq12kbyɢD*8+Q@uF'6NaL3I뷟}=jt~Q/.-AE&ȕi<5|,b= W?{&MBEk)Eay)-nWxi}oaFUZ_ɕ%KLSVv=UMRzS>de^6ow@DZTyRz)qE3\{NqcsZ|}5+J5e8HGT"nVRW%R x#1hb]䐛C;a!q-\&ę7O &( F N`~Y3JL زmQӘ0c]"9I:>ޔ**FgE }H9\DQyCkp!p2|6L1LsԕIdJGSQ݊rgR!/=1n"C=pKz7w1T0_Q&\Kb=U2`9gR柾ʐ-5")db:>EP-JEtF2DY 6(;Q8 oJQ+D#}.y.q1(' .up)!"iM _B~-6Reax՟- i9~6![{d-ӻ}-u5W71e´Qcg)M}\5&fȊV7ΆD2bVYiJ7^rHHN0.( V%Tn1Mq @7:eY L1$4"Ih /+gXr:l4mEw`eF^Ag8&eׇ;{λE_С2f ?8ݟg`d Y]@,xj`>TKfuΒa,FR( |WhoG)_kuE@{4J8s3Z2בoXU-%4,3?miJF $?r4(lG HJ4jwh]A֯0I{2DuQ??/$ŏy'Ѐ(7"܀L'd9ؿ6׿p.0nLP4WiŲr[eta˂Kt#KIn顬FiCrdpqWѲޡ`r[-5e5眳 KZ1W`?W8h`#C-un:0?Kck+V\эDE[(.:l0 /x_jݽ?\6Λ#f,KĝShp}~8W)7e`ۭm28Z"ϵp˩s]Ŀ{`v.x'A*c{6߼ Y6s^{Ϲ9TAַID)9!1SPq8Ei_;6+:S=\We|KDeg~@҄+869 %QmRV}rls\[:ZjV_hHenR[CLeN$ɵ.84h.Uz5uC]͏L7p&ݛmod[|14܊dA%~j ˱ Fi?nƙ9 (yp"K|^([x$3]\bǤ3`gZ3aTH)tAxca?1v*D/-E,LVl"> `J+GV@xzl#୩v\5Gf[ɠX⹯?qm>:68"?|`?j<a NrX ¬!,sĐtǖtoNĄplB]a Cx+dy}6 e;w]6r-ǧ'pϳL D]H'F?磾m`wj2$p[o;A@jٹ߇"ՆLp5,;ťR`4nC0E5}h a/_~wr(dlWwV`jx٬qRShxݲ]^OVd]ͫ| 4LX-*?N\_c9OK7 uo5$4TSQTj%B@fj +UT !5G"]4 _"=h^>:ZjY٨`hzE0U49Do,mX>Y@vqO>.g{隫493@em-C3xU!Sd"JѼGV/޽g^iQ{7JQt& F+BlPXW & G9b0CDt9C)pK"vՉO_&/6J|܂b~4y{zW}OD'LPz#[2 Uu7]Jh\29Izߕo3j0DB ˴uFy <ߑzL?Q=@P{ 4vI}c˙Lղ5ܕL!}O zJၝ̫_Pܧ7aW8]KRÜnU]E):rS(1 Kv| ;EFϚT9 /M"iem$('!|iꥮM#hdXR}̩KRKa^xEF 4YȌsc]>ɟ?ԥE/-(d}A]* |Ѵ {|H1‡Uk&ݕ><[%W/R#Se<% Z9Lipqpԇb)#$7&I%$csQQ׶䰬 72$܏ 9,+ K>iBҷ ЯQP X1: w>;ۢJ JISt q^ZZ vm/*5{V*M N2Ѡm-@.3 ك32O}sp`v5th'Έ-uX(.T:e@3o]\/O 3<@CϪtr !tK&ƽ,r>>$vaӹ5I܊NS;)6)e/S<`V|ʹ:? EdfcBm)#Iݜ$b0 I#U*'{|x}bx?e?\Zܘ)"M,iCfp!hPZ<4V@#8.Rc̡.w;§gS'@΁!~8 a4DO|{SOM7L,F1 G 9rH}R9N8ܤI'P8)F8=I^qR2Sn]n5)2@ˏŴJ &-Β@P8>`pP}}/7H#<dp0%3ڲ#Qt.pB)|mL~h4:vYm:UpPh cSu~uc'7 1UhI'vw:k b>$_XĀ eCt5+c|8[^mSGvNJ["1h>S{vO*ɾoNjluF-51TI7SǢ"!PLˌR$(qdjܐWͯk'9rVўw=sG6mlw(M?i Jz: 76nE3y=^˟ῼ@WRDEeFSɧC=nAMA?!y@F O{#OLf\[qى'X[cAW KnhC jn&BWcaSXM"sz9SaVi)< o吀x9AwO;bfu~bp8`mNFGJ(dJeyrQv~9 n[ 20KQ\iVĬ~b9+4M6;G0*,OZr_z7SS8wۧv>2|Ȗ;,=QU]t(TŅc MtzXU7DI*cƳ<5#f-wJ8^L&qpOW ;^߰ aWWmNlˆmwrPv#; p2ܒV>i8WhVaNI7"4Oy5V"Ay\7TG(d*&yS=㝣_Y_k]Q3?1M{ILz5p#d#[RdC,Zx(0h rnCF;^lSlN(M؀hb>w=΃bteTqoRhk LftMNvcF Ts,g'J*`Y@~7P)Jqnxw{iߋ}f ŏ.xD<qˬùXJեw@\e,Vk?oGXD\*j9:lQv3T̡¶bDp~2C 톳!V#6o\k>gSoRC~n_E !χᆝEca%\&U+D1}f;]k׫Sϟ>Vv9!{WzlQ2XxV{diAO^ͻK\}Rg+T/iQ $F.UBC`G/!#4Jꉧxk,PP5]>aq -Vy,Ub$w[rca2a+Bzc鿍 u]$?HO YZP}@V1ԇ1 Xl.\ݠ6=B&\}dtoh*qR!(=|XY$㸻K+jR Y61]Ӈsv1jr6K@ Oyh$ɡb21GW~iezb |is0Ubp#ݣ}7Y=2Ts>CkpԬOWi&m:0K wq]$78pf.T2gGh7St2A]5=K󆞛7^TC}VoC%v]$Ǻ`<U3ar|ǐ?8p &T@;X"1}؍ _Ugi1m`P=]7i{k--coh#1R@ۿxG5!; !h ȽC~=>h#D2md^.å!ϓʹ{P2rox)<9)Y];oolF`%H ճOk0_v;QBOUD/jzq3_9}S_t#P Xu=-^_9{ox_ExCZ)(V,/`vC]%w5~pB1G;gx چ4|J&t>W+Do]\6zK׉ꅽS&YIE${q ~:3.&~pqw#S (Z,VZH. M8҉ALeVM,߇ Sf`f/v<тk !9OAcAVSex02;yXoygZՙ4_r nvv>Q}}'U7t┫KGts|Mk:"f/VŨ#B]"J?XuTʨ(_Ӹnl:=Xp) (yB7 #㷶3҈ӧ7@b)˞Q߃Re0H!hg"%Z'!'1x{.'gP8R,]Хne8|,22c-ӉW|v4(_$S(Ja n8@KcN|^F}{4̓ v,ϦL .g'Cvk$Qtx|i$|{Z+)Q4p[z;'^J<g˅7({vuWΙZ!~qT@S4-=1a~"+$lr0NGG:A@Ǡ\:^!ڈ`l !0,׹-d%[Q-g)lS<213Hv4>9 ']4Cq)䡗VRl Ҍ5{Ȍ5G[Hpu Uy$hL+sOeƅki\r kg1Ȃj^[,f3dbe{e 'INTԩې`dΕbaiG45HaPITz%o|0ՐZ9}Hg6xf/nq~г]SXm65|=϶1W^" | fat%A By-JrӺ2e-X}n(L7D^]r:|)W裣 m1{,Ugx>L-4Jgg7azP]--gw-`\2%|)NI \D<}s0 xƦÝ/]f3 ?^#l*TV9.q p|;S9?Aq阨Q4S?Ζ8mƸvҊMJ׾?yы" Ri՗#b/79EY4uY}AiJGZeӈfǐrf%|e.%Ktȸ b۪cBe ̦lLD, Gkf~@ 2c&i]WV51"y)`,{AC1:^n3 ,hr3W OnwrxO(@aT&O7[=A !:= ;5f/ndt}gglkT@EC~w,27C.*[NdnZ*[p?dQ첼O;?6iڟpFXVG۲Fcͥg@@S>d[A*RwzWVw7'h޸ƴt'}N(mQJd@<[lrGƅ7 Eɰrilf}Sm;T|j_$RX mYG:Dfyҗ:bC\vST8tu}~y8aJNMոپg\xϋ$S58(_zg\> 5}5EW}GLe`Yk_tB s|8#@AEM 螶'{E?ZhmYG՝NiIZ$=a>kriړwk) yUɵѠNݭܽXeJ`8+`T,ow!KaJC~Ou c!Ԇ7ĄYsuOp5@kVx?1ʧى۶i:IUi+†ܸpU-usK~;3g-VmҤXar<~%De%7 5oQW-@|<MFi ;AiM4(CfJ &tA#j/™$Qȇ<#诃ǥJL6n !5f0uM$4((%1N@4.;yL-'/`oW^=ƛw%tbS)*5XCo6~<xXrE\<,rL<5¸((k͹}CNu?b N9SԊp7D"EK%WPk:<AH߽H^] Tݳ?ثz4ͭ5Dc պ2QKXQ<-E3NB;PT}<%6mzlrs>8o0˲]qp sB4wF;(iӫ*&2=XWlU/o9rh xLj4zBr&( (#@uc(7}䕹A: Z ƱZ`|C%e4/q _,x=$ӑ?] ΊbMAݴSq> ^E>osSly%zbwPi]I&Z1r%b_̉^xU*𖝰<*ԻrDuF_@rҨq\98Rdft9C_m <3]C>=򛕨]/]}lpʪJ\FgCZZLl΃U ˡ'ĸNʼv$J?n`d1rV}Ytf6]dŸvhTY!ٗ6 Dɬu"lٯIJFfQ=p8a,-JW)X vѼ$]:M~fͅK_0YܪQ-W!'m_vrwԗ;x-RR8ќ{Q]I{k [cvlFn̛atG{9_y"-@Iu*4K*3ppGD"=/t0X*q !.eC{>Nͭ^t|BIPK$DV @Y-}<˥V(E }i$h='&_}X *ÊiN4EdG?oJRJc6k] z~x=I~r F*A@,8}ưt#D)D3r|ٶ'*n {cG_hOP/A]^D 0?ab*a{fqCS ƾNBORn,;C6V $rqK;q`㝈,4ʚ!@OH`qk;';ڨ :p!G1 !H]R'4ui'[Ɓ.({ᵬ K w 6VH׮ʶ*H97̛mmczb hBy"  \`2Yׅ @K>?~`&ZdR r //6 $r t:!Χ.E!SFne\!*@)D]˒Rh;}1 [#%3>x ,ݦ/b $gؾ:v!^9"ۛvaEQ_Ep*ZߌvK6?û0pٲz*cjhYyi7ʕ*3hA 8v-Ll_& ^NFjj[5zwØt@+ $ۯڤlZa܊eGPd̬?>g!yDU='B=fCCKr]#J` $7t[*DSyzAήE7|O|x~ZwZśS*A$y0n$MmL x@̥"FYakSYkOq<;.붹?YdvlfՎ̟~ 2馻+N 4/a a1m)[56U*֙k;˘WblŦH98mj4=Rd_/1^T5ZX,h˸6WPq0FT!8~O 9 6[ຖcZ۔Og`lD2nGQ<ޢi1OȮJ\+Rt9jvu[u"׳H߈r,< C1 DhB44X[jKHt׭R]G5ZF ڧ)7By63E,9j8OeH?iޕއ2u[[G{OV0`Y\[a9i{+kN/J|IOyᶙo`rX-3W YW‹p[9˄t\wAiEj:t{ fh|1 `L(*7p=:ǕaJeV垐D!,k`lBi0HV[AQ1="8q)7`¢OAځ8Hoo.{Ȯ3g _̙Y2* (C{<cۯe;lExs”}O<ײ{$1;ςnDŴc7ޫwVv{6VJ4l ).FW*LtYQ96 0LJljIm%Ou: KEeΕ9m# 9y`fmg7b5SoFw]]lE;|| Q@=~t~&쫿0x Q94>OB(OʈZg_+y;CHMR`w~*gsEfb%[_C"Q.mnq6ȰL.c0%'kz p_*rz6˕9V&lR(QYfE6%Òt(7b)H =tj+raȑ, ^߃هh ~X e#c$`7J)a% 0 k1EI.nnY]~8#z3 UI!z UDHuVӾm7?5紾"lz(}J'Rw]sSCԸ4 Gʔ[LDERj.}0"S!50'f]M|93ōЂHUb5*В;cx}2o"ļc7Y%-Wc`^ u3}5tMvXfxf4v Bm_K sѝKB@(t`i}yqIKQ6ie*pdpU4}mQ&@`DP -2 `TکII $bO1 @fьZ0~h +m)?U!!7w/m.+@X>d Ί(uJ2 r 52xԦ!AǕ;can[榣UVN5u5Vwl~~JevX$ZY%'Y)s|8'!ƀ%0 ,?/o0T"NѡdnTЦhJxpN'X'PrYL&+tFC{I5Un+wǙ~6ETIdӞڣ93LR*Va l#P.tJB`W泮fMhknUjOyb"Qz}G y_LwT'Mb,pWm i'<̷b$WZP>O,+Mb@84_Lh;Af?s8N+[{?;'Lj} *{73#!H7Y@7z9EK~LRږjZ8Y ,m7 9Bp (1("}*M69=a>oơ#?iִ#p4>8e.zA35Nsm~z ~L?"M0eN<+/&~"%r]b i> >"TX*țPx?OoDȍwCA%F?tJaxTj3q*o{Q\SuՎS]zFX}ӸM!Lc< DCu9v T1W1]B>ZӺtE)ۊeڷb4,S} b=Q}O7@ ~Iqيdqn[Z\ D$Znկ&f<$CSHIh% ++H'@i=VIq:^x41,B2Ih'Рwy\nw!מGR?lCyuߘZcfsj"Svv#cŎn)GY <`r7`ǝ#}Y `oй8*~vāIM FA* d/2;J45/1H%!E4}otdpk%doylE`'a땞e yphA z;Y3a]?[9:lkk7+%=#Px;`Z$Xwڇ@*Kneޱjx!z7KQq!{n/ 'pLh% ѐ4ܨ<aGo=lN?f.8,~K5/xM;VֳT; x $YT1Fp2Od M8(|OD+)b> FDߋCFt?ʻd\/UB#Y`Wv)dQ`+ͣ,vՋ&9&(G^ySH3Tqc󓛠bwaΑ=B@1~2]\` @ziߨνxV-+odȿPߥȕn27]D}TCʪr"j!sB2L5ΣjN';W?NAYE}"LA$D$us9^u+$? XFʤn`5X[?ÃF. ˒~ gdR]Q>MbPrkqd3[YF"S.:?Jǧ*yQP QlFejJ%M:p]nz]㪊[ٯ)u& BMِĴ4$04i'\N=50.EP`T ̇-0%R xe $9 `AS~ Ylѧq+f}I{ڲ|xn gH=9v{'8I=kQ_߳*R穦dƗ Wt |ȎmQ3rBώ  )#!ΥuMg3R볆s9఻0Ԁ Twrl{7FkXa;x؇q0dI&r`b;"Ulm(P蜢}C}&^sZ[/ĩiPҬ'0柺cH4*T;?3Pat56e9w hjaU3Rqm,Z[u3Ɋ[_2/\\ϐm>[ՂV qD=Zmtya]qtb Y ve>ۡDWџЁuւHYd%Q]TK.dبM]\ 2#elsQ@膉_+I$~DGo/ (}a uI=b@՛2cEܫ.5U=RLlNm-IZP';zo}rl~M _*;f̼E=LL(_K 0odtU={HP)QU~)LZ ռKL*{wW)CڦtgQntQ]G<؜HtZk~z״΍KXM~- ˝0__7U[yM(rI{8rS<A1IS7y-dNH#?eAiZVv{Bg)4KQqt0n 7~x3'(Ϲ m`>Ą ؜-}ǗmiJK%m}zu=عdd0W?{'1 g} Q9DK] Z 0rc33u5NjʱHLS*M@`?#:c"?4K8E{ RpJ 8؊x!~Wv#@~2F(E`w'O ڼbeKi%uksWu{C;dT x7"EIY`4]#'F0'(SnUfPN%?q;2|Kh,%tq-pƉ~@F)@Ώv)^'ӬK2B%P +`)9~ꉼ9 ֔u>b ߞ5 ?J>!)OhE_ >'xF濽4-[~=Ԣ<ߪ&ncMr-[esY t PlGy7ôwZVX"Öӭ岠f-nYI m';JİxK;1ivR̊Q x=&B[Aؙ|#WY[0"|T_<Q01|Yx:eg }ޑZ&^7|ueFI1X)SsG=ĭ#^$B+li]b5˘s