SQLite format 3@ 7- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info uu35t ; HOL-Nominal-Examples:threads=6elapsed=363.254cpu=1367.612gc=118.680factor=3.767zXZִF! 稁v]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb L{ q}f#mp<e.拪UөۂCkl=2v,i~+DJ=TZc}˪Uj:#ϻ}&aՉze QM:d_m}[kހ` 4 OÛs_~ėJT;} 1K+,;8m!R L8%/ܐ=]̡Vh== D9W35{Vk =)Z޶& !39yQJPPkV2ޥTWP&'.ލrZ#2ˑJ=Bm8H^TtPٝmIy~fNjUrOJq$.E7#ꪼ!7xv j`H^> nBE֢m$*YƑ0Ǧ2B:°+4Xlne׸_t?8cO\BA3IibQ<:%Vd (Йk"9_. AWrtMuLGu!O-/:[IF۰b~*%y{T-VvB0;^%4%EF{^ԑ3G b/ OweF'A$BY9]TA 0%!NZ!GvRskks~ADq bCɳƢ+5vWiEec\%U,Kol§HhǙb`pmkBgpCF!f+:W!Ɲ(/bȬn_!p84Enهӯ͌#Rۊ=տ上*9#TruGfLKvPh; vz) :NtU%v id(({"ebPpe0g tWK\]u,x |dtvYX΁>E.j=0t5(GX AYB93@6PJD'' Pܑ``Qd`Gl)jnQgtd9Pdv.?"xM)>cU/ bim܆D,c%)̘[ 2=UP!Q5[b P Xa(y} =6ѻܞ({)/1œ!͹|/ ,DLDf #AjD:͈{)2lFu!p*7Z,xO3 +K6}wtJB󔦤F[W#6b qS- wg!|wIbM S1Ve T-B/2BnjP&5R&5E.eVщ?ѕx ͉30^8Q\{or#JSޒD^PQzxΤe.B(>.mM% mԇ&%dgM&@)5:z^9 [VȜ3R5&$f\ ~#@c3ffB\:!ۈNR?##/;ay` O$S]7^RٟC3ȃo=°(] Yk6 ⊲ tvz*Tw>'脄;ԤРA{!n@{zRIeM^ɂygg.sPP3/1bTƳ;nFQŔx/4?Q\*$ď`);3#뽁KY`jQK '!vKz%4KFaŪFt9/@>ܩjjxbtW CR)4uR[p.[Fqdr!}`K{@+9QhyŒ֙ ~I;^FexZ$E L(aP({ |rp| Qz5+> YnVO w;yXl>%_7v3ϜˈØuԒ>aVG_n=/)*JIמqQQe th`8ǫvG Cӿ8^o bȏ'A6 NGT-.!H00<0M3c}'fJx@43CDt$lnTKҽ,JLܑPom 7^(ҐcOé*5XQ"09``—١]ENNyg%U]&Q[6=uߗ@8a'ȼ'ӚB;H?e/H ETDQIGᖯqO'2eInSʇB[\xJ=f9fbM+D{Qt6PrţĜ 4%_K:?^D~ !DHm=rБ9a_yR'gB "pqYCu9.\翊Bs8fRYL3ً41>:t(rk'+B*ӵG-ga5yZ!8& -6@AjÐiF& (rI.O_7ߪ.f3[I`iB]{F\VZ t&@I4\YVcI/ylsz#0O# r|B8}{?3]T~ZheXS{I:v%\/1Q@*0g~Q'Q^9[S_KSFKdh~h^߀:CX Aptlr=emI.-yߵ,j('hb>эtb^M?AKK- M5wxäe/,1+%;Ο v*khH0= %'cm  pqƿDPYЯq؛T3c@t.LEMP F?If;ZK)1v[dM T ᳌(Da- `[SH=`]JӯVҴ;Azs|˺.5/֨x@2_Ї'3vKƞ],LѮ?n:aُ&#"jL)0Bsn^.lD`F:qmz@#Q-7'!)T 2*FDIw[|?a.c&- -U(?j^WX*VBۣ8Ӟ H=w:{ebذă[ / ]4M) )ǔ~S}-A 4FC_u-C?!',3(XfЦې) O]g`_{ ;I%\ i8 J99IZ^:-Ս^szڝg"6R^?s97iɬS6gB$-6ΒFg4I׵ 6ܖIrziL[ˁ!&sZc 0#TV~m_6/j~ X.3z)΢qzjKWdlRٷ7 {u_և!=#^ 6MW+SAp lo+3-K*Hv[>PGWdw0"$.'B8,z'LK3IJ[:if?mB7/[)[Nҗnr CT4 WǛ́8D$Ol6{qYZ[誉 b߿e6n 9]o@6S34ī 9R,;Ipۢ}YPؽ9an%ٱnpey#95 P"Xqr$_-@OVOE1|6(3QQXn[C9@o@.SS9k|++}ULmsNؚ J(]ܙՌlOKjra`~'.ZrqBͳ=3rL W\D(<٬':ap/"-8y~|K*/NH$7{|#.Q`%]lro){NZbJJ#@98m5CP;v%J7؀d4,)N Uڼʢ;廄u_@>wZ 7U)Ȕ߭&t& Jc]9*-|%BBYO*m$G$hM|6ն}]U Z_)6j 8fzd $ *adGG(&YK n؉-DLPkj-< ns+@7iZV܎V;XA,mH7bÂ<1/^Dc),vy6g{>u=ʲi0| 8<} I+K0{(Mpj= 9fu终B\H;ZS@Viy]6 mP|;k_AɌHM1Kg"~"^Fwʽ- +4Ec Bv9&3[Lfo0LizTWSE&Rsһjͯ+j=do뢛c|ߊƾ2}H3{J ߖ%Nwc<n FhXnؼ"?vQQ76Bƺ\֔s(Xz )>ٺc!b&ePd 'lZ.5B&Z =QdLQәsqjJIOx!*%A:h4*-ً!I^;ݏЂm|hzB8%mF^˳6QvBfp6Z |Y"{\E ą+AG=Vn;Q0Y?,ʝ)*hVC)=Kpv,n' C;9!w> Sh':}skcvvn>] HQN;~ D\yuT{V5R-t#P+jcN|RzI#N8 bg2#_TxD&}Y807/6y=@ JAǽ^6͕WkHR3Jvfi y"־Xp;Q0?Mi#Uπ V' gHCQP' e AƅJ`g_1&Ȗe!yuP{ $/šeGеċ}nTm0%kzxИ\z,[MeX(76u^n׎Џ?3gźKmtn̓9Rg}#fBpsfr=ng(䑊Œx zOENoG¬UQ*dLΊjo#;wj +D]SWMpR`l1d35 U?!aR(/Gkƾ-؆<ٯ[ezK Wj;Fٶ𪾙w4DEܟ): #O.%[f7X,V,؂@DxνCC2zM%y,fl~ ĉܓ~LmP}i)YKPsdnV q€R-](  |mPSi<']qU&?Y+@{;ؚC]|YCկ`PUB(MUbe-IH9KF1*FC4A;4!( x7 ztn+R9ΙP&屘>rexIJ5E!Czdn^qx6͜bH-`kS.f8:Ĵ<əP=Cb eFK 19N^@+S;i;'%kByJ`Q*g_5i\)KR4A_l=p?l]R"W\2J%阨2qq'W1* K%BB Lڶq><ᑨFDj31K(2:0Ӯq"߾[{+giŏ*Sl5#~Ib*TFh wjT5޽*41I ɸ屰gj{C QJ͌Ok#r+9v9@v=$U__G!iIkߐ&axSv*p" Ț~j񍤹 h E=!RqA sy=Z XfU'n'X5sbOz>tP\P,*+GŭRX;ZwVAq8z@$I'b&!Hs"ҝT#<ٕ|0SQ?i#Mȶ範 .\F@MmN~b"_LKI==TV*AkR 5HNTA~1cpb ¤h",v:1|W=gb|GLw7Ƥ AZ{Dpbz=_>6 wa]"97엂&_룑M7^}t`XUB,qԪWF4SiG iOȳNIA KfphxJvʜcTdٹi a\fg&d, "&>-@%!mBR0J6snt @?Hwa6E-4U!\0%0CPPQrdOH.XORIoh #$nWhb;%$@w36\~[-iB/9=3i)@^S|٢߱^΃p_R'jJd.;Օ4Hiǂ PwD]Uݹ/mӶ ƨJ /n/<3fPh}󪽍_ͻke8oMߦc<y}zjng[_[@hZ*ڕ!c<#ǡxʙ`>z79yGEiϽEd kBѯ`1zi.z$vKrD3C1`@߅ )ـehV#'Iʵm΄ӏkW\WM l%rTѸ;\QͰ$]EF Jg8,$5PXDul#zwdOjHqGfa [zhCd 2-K 3yS6IIyoԫh:w7E`Oi)R+sSiqeJsњ≈lM:l'6leUm۶EKߕ˳׳UxC}(D[VuBW*H%*h6<SyII4˪ Z="И] 3vt\&#b'`8w~x`4+VEXv [*!GNI w@5l}Z6q.mnK?H;WcU(fWo=!|sw¹woHDZ3}WB'N yzfǹ,%p`jhЀp*fȀY[4Ν% ͬcΫgzvr#-7UЎ@T6$q]ɱB&qo XLNәH]ֹ%Ь-k&RO6-p:P{ĞU`Dzp$]5 O;"" s[-jU:yaAL1nJ;grGגv!l⺺ưg\5hL?r\+8U{PEP\0A)(gX'O\[g yTK>4 f)VrQeCy X+c3Mȹ|aW%l5͐EKؕt^Gj;<%iLeFzkGsrZm~'[TI{ aLGBi}Zܶ`gݣO ?eJZ2tUB,@}:A=k6vNvR5>Y5F!).ꡘ7u>x_WKD8\S [OV^T*$ k״)Ò{<^5,zA83,:'u5yfVC4:Ex CJ#Q<>e^96UM?.@ < mScfw"Qu1殜bi29ϠK|rFrupmO2%t\Pr秡qr^u%n]U,xuр @Gq[C p͐j۽V8Px¸vW etr 0yOE "Nʆܾc?vzkny;K$E ²\>f-G+Px"TTI=৩v F=q sZ< 1a6)3J4U t I#CzU4` N:ds 6e 0gP=Mq/G!}P1  1,5²7?`@;S:OovTz>+,d $w  hqeNLr<3OL87%aڈ1`LV{NjJGeP|fI'#emHM̍LگGX5KoZ@:0/ܹKH! jcm;Rn&Ǚk\ ߻2qUl:aSge"ѱT%{xzn:p8Tw4WFx,IЯ..PO8N< 7lXd7Kv r0ȘtD|̍ 2'&;}$bfL}Q8mi4,iV`㠴 >-/%$L _ڡ6A1+mea']! t`a2 WJo@v;[ژanv-T|Y.tJz̏[9lm%1 -ܩi}t lsL'׼X7T+bG"L[ ؋ {fI1B7ꍻVSy-[K j1M Rvݧa"&TmyV1"+\BvOh k7-5G+Ͻԗ]^6b (,NȉCHe<ƒGJ,#YHZڎِӠPT%'k վҀ+[IȫNOT0![;s N8#iV\i jUy/{LEM|"ѝ> 2np㠊Z ҃F5o@[uNrlm-XmoMv+AUZ\ES[ש T;xS]ۏ06G Z|YX@H8(I^ kP3ZS;=F,c/'ie@]*'E^'L< n%@'sSѪ(o.>?ɬFRzL@F-LvWTH]p?B4PdݱH {YmV+a0u>Kخqec?Ze@ũew/xt.cbZfG28>$O$ rsի&KA}N6Y1S:o .[Mfj{Kvzkh0Q`8}DO?#V;*mO%3 Fe1zp9?Ƥ™pS#9OFwXtUOo=c#iU~;@'%'Lg'jTߪ>Z!JҫR{k$;RicdU۳O@j)Owۂby#ԇbJIÌc1ga0 Q0nuMLHB%{(},P}L\,=^AО~'{l~pab_ws&䞔d0q QcN32fݲ%2HX&f /Y2PwlskĹ:=ضqŒ1aZ7coĚ*8%@kW5 @Vdq U͜KvثKFO6&k: _Fʇb45I:"b_p_+N: ǖK'CATF@TI*ٌ 􀊋oqD׫ېm5!=˵K= 'zW#BimT5c#~}uh8 +B6w=ݰ@ C#ʲۏƽgy{RA05}`!:􋗰*~wF$5/Vd^ rF±jPjV P|̀Oc_lu1} xڵ"vGQS?1+˰W6s9tP5hί(!`یTxA̽'E?(\`a9g=yWRG^N=45^ek9,WHoYnJ uI-9Z*S 2e#dK4U)}5/#q,EGqOM>ںd)MBu~syy_>maXs23bA587*&帓qn-"`){ņS!ҿ'9(g_}E9µ]$ ϧy[tŋHDj LX'X[dxef̦PB d$rKa0Ue]q&  /a&!!+oZa9sKPl٤#Hi˝ *Ws] Ly?0WsoVO ʤ+ØQ%P%pLU![*O`,F6@,C'К(M|aq*8򗵬8T[DxSPΤa+ܗᯄnX؛;}6Q\Y߮W{_-,Ã|,h{hf8~4܏j7Hj[t~hW$\Z4/dr~)6)%$73JKB;%q1j{SMSւH2<,e1 G5go?4,GQcmq㬽E*gBi؎0.],Y~b8uSKciW̧b ScdPQU+U48] lNY*}YIaޝٱL1$䟉zb2G|:RN=Ǥ52m$?nr]Ka&1Ю3.OA6sLmPG޶x;$( %وev;*]L$Jt7uE.W1L w@ޒ@KsMdl44x >+Y41`"7鋑7KnN|h;_Z\Yj׬0/U~;ۄM#ֲq\x90wJ} L{T5 {,L+ o< t@3ZWb>pGNIKZ/>?h6 h?Mo6>9uRx>/RB͙o6If\uR4I߲1M(>N#]]I*p$W r:Y6np.c5;h}p ċ_K^EíP|/|P,sw5>~nWL{C!俻LwɖZϘEqPuzkâcҍHPEx*4 ( )-p/G*~q۷aF\T8ENU~E6BՇ"·쳩BQ/0()7-_.1VpuOO]QKQ)VUt>X |$ 6WOj4Ё9R3r1Q~h_4Oݭ`^4L@Rq%퀃$}ˁ\W;25jɜMTpi6$j\4hKfnx6qSKB%OS P@\*nM9qFp]|A=Ej1h,vmHc 23P;,YeybbrZ͠h!f}|SqW07ՊX+ Y_G=R_ugABnX_Wx*{-қ|B$x-(@/A|LTq-$?S~'rt |roqTXg\4d{"zk ܩBKc&wݞ߭N)}Id); W+Ɇ%13/{D'}m$f^6D! "+F@bR4;j06T:o k낑xL'CA_hּ`??a1C招֌`t{87Ho38EFFJS{;m?>)0jǑ[<-EBl\}@a2LW(z2ڣE|㲋!:~ +eTtO2GJ<2DfD#M&sJpoli λ^PU}bw;g2SwY#$:G-rU;9߂}k_rS9,; ig@H˳cٵa k>2]a*;恢N9Oud#=8Ve-;TɁU^^G7Z86XV8GZ(r YVAe}R{O{}OxI#n'3O~B!Ͷj^ qkXyǣr !Vٚ=Kj{*'mTr >0Izz.9\R\r4xjr)KG{S'j& X7G:c\TvbB%"]$hU 0;njSd)yET/;~^Oxfkd1okoU}L#^b[^MU`Q8D-Ax2 5=0=[Hӝ4Cᵝ%#v޲̵+V##bޜIjG"&oX0Rajk!uA_d`]~prԗMѝIQP^$.oX$!A:pN:iѬDQ渌:2Qnٖptkj< +~JE?K|4q'p|y\EUOهJ:Ee#UX02wz`rX6gV_)"00^jQteG<gege1lZ ۰Һy&.E&%I W'WW5&. 2MqeC(2rVhn69 5$AN]BiLw_0@RDw!15(Yn54SSۻCp:|֚ޙ@{eƌ %:*U&ʮ>4Q^I9& M,c4ΚO hs{w" + )'EMuVE$F9Q!8!%D~AMҴNgRdݧ&a-Ѽ`ZՏ&92't\3an bM>akW&BƩ75 lN 5yҦ8+U]jeT94(ZԠUV (ǎH9mFc)1)bKg"ĜJ)cmI&O+9 @Q*8daiQ0Yծ`W-Ӗ {k'KiT覾j7# {j:;Ab'jh.r=TWj2"SO!t,*Q.M+o0f=SGz#ҖuR'|qOKB% ;,UZ(pfoD=,V6}AW䠴WS6\̽Fi|#/w1!>z9jZ'̚ƺHs(7 @!ʿ@ك{- ʌ9 RNjmY89]!mAVC5ж2V)_S>jL x 53;H5Fh /`b94͈rO>khn UN5œט  /Jc7%?)}`X,@_)V[XjW6qBf˜FDlvr9a^ժ'?ڤgH;PMcT֐B&LlUeL5!+ϣJuW5RWkht rZU_QZfSTBX5ʭیTbEPg~=ybϞ|wl8 C w0݁22KJn9wu9[ר7tgXg5549,`/S׭ڥ^]&@5B0teOG[@ךT?fUF\aA@&ܲʸt@N F!j)աwh9ODqlFn5.%nk2&jn(hpcSC82:E ~Bz,Hb&7&پ ĠQ}Y \Ndͅ,fp@qF0o:59TI1T.w 7fRٗSS*K<ÂQvhz6܉*:~~s. =ƃ%`xնW+|DKu5tyh J S5nǝC7L1dkț s7L3κXbޑ&FJVy)Pa}&{~Hc+%\MA Ooۦe\RzApWNa7dGLyAKn4a(eHN؃sl@I>? P^ on >K!uZ,Vk*[V=0Bfވ:_xƧְ{u _LvHpt)M]Qcvm5C-D +8:y`4sɣ rqEKНG@oΖl,x_?~ Qlc0.eBxڿt UАA[ XN tEfuYC̞ TL/Hwviy<ߊ\h%P!-~Sil"$U &ugݑ3f5cb\-']ȥz8Ptl ZWiBHc#IcYDʇDTaꭔ43Wf MvM;*0 0 r ??W4J}տV"%Nxl *%3kw?pDl`[$2U:̭qmUR@>qzT_P/f ި[dn3]^E@:ڍc+@+,<N-26­hMBrV,dw_zP!O,9}1̂]V!e~ď 4y0ogX\z żc.{.SLFDv N_fM6-Nw1oS Ş&6-#כuZmm;p=5[е& _th͛x*Ga84١Օcff8 `%`_MV3E]<)VZf&iġ>1mƔ7P ;r"=SsXhJ#ٿͮ!c[F!_`_5Պ{WwIsw}%b MB *wVR2= VhCŤ`" ,g) i:C'r|RE%-ɷd:*pD{xxw,$qe"y 9?aEEۍ?i@O ذ5?O@:\O3HϞ }3E&q:!ҙR;8WkdJF-&dkquV;RS⍹ 2bCqگ"f gh =`@{͹M'f*Eў K3cp` iOf>jnydS&cŮPW,u}|ЃVq@HÃ-6q.RSsig" ڸUԠ&R+Cbyλ/YAU3M?cԟUF墤l^]2OcriluƏZl8=) Tle# q:*xH\#zQld*;AQ+~X2I%$i|C f4@u;Mmषu">a9gG}B{<яA>OW Af\ay3ۖv Ïre1Vɱn#G쁪.'Rb:\aDId@P(X?ު%M%be 57remԱ GF3SSx/ p2>& A7"Fz7u/fύI>lllQRʘ(:,ݑnft/G5 r5dQ0 u\.9YboMgFWaZ 5g.%uvh;ۻFR2"&0vBMӰ@`j@_!h6př|r qAJs2#|rJ:˨Ɩ'FK\-}[#[2u'i2 jؒV- " 6a ]7[FH-gIMȦAϚYM.4eW͂]D7'V:˃%5P q~*[Z-W']X{#GZO*~$:Wɉ+1M.y1#Iw^]-dw 0m2&$WHE #hz|}NZGGI[025>bSiUQvrg5ӿK# Ē .YE ǖQ ӄҖ&pЋuYOۺleGWs{J#;oq0E MT i$D^ile.`n%HlV<;?"4 OTht&"SϬ,xQQFcKz>>[KFɣfRG-,xܶuo̻~- J3I@R:!3p!LKXvu59gNj&:B2PSH,c3D m#~GQIe;G¯~mm1C5»cW ՛j Xs;,:uBoaz'RìR ,|{ 6X|x 9 ߠ6]S7Ė5yMt\:DZ)EaDyst2aK+:^rr!=m'սi@G7Xn^+VܮRjpm=Z zgh%6o*v30" @c'S[~^_YP#\U6C3mU\GcID;O)(Df-Iڈb=n `T\%ZEfO<0oZ"ɈnPDv_Hs❴pLۊ0N\CIڲ`+QVYY;^G'z(^&_i+AyCM<_)ZpTSLQ@+Ѡ W 3uOĘm K2JMD3*5IjNߏyrCuIR;loPÓd!,5eXiW^Ro,9Ϩ)ޣހYwh筙nŽ gGXLuc[[ri[٤UZ#`e+SnOPtx1e2~.xiv31[MFX")% ?CDޜХxIחHYHOX/L#o9R6RwJѢ,"⏺o5 |5*wB̭0\g)UBgW):=`&m'9Դ!,xϣ#Q?)9zu?kRB*$#;b2;| cEQxi A%HdFYbM2j[d9  qx9[l9pWf?9gRd+PB1#C!% Mo1 [v}viǕ&SqkE1BCbWUJ\Ð^\|+gGÿ*4Wu!g*ەt.w<Ir"WZgRQ |n6-oW2 'qgeCFBHp-hH8+RTL_y(,|M0ݎZ]9KwJŇq/oW|iKMaQA`mxe] QV#7iÏWR宲3e_L+6Ҿvx>CZ>8Jg /:EP'=}^=]NPZe<|/+qxT%{c?RM=ɐpVO fc m7HJuuEЉB(] !x5\ubDɔ+TSOV/sDkHzR ^g/ѪR3y#5.}NYY|HM187Nܞn]!~iDJhG#PW/# Ppf=v@!ܗo BFyQ/NQ$5"1:KT=%q ?@`*FCz'Wn3qutX]$sy(S9™>S&Թ$3|2tWK5pNjyl#ҝ|@Il^d I+cD>95[o#~YGW; 8\;ujrstZr4K(9s bO={5{{ݗuЊ ZFb{F3wPLαF~N}'f}a_Մ"Zzj.-@BɾzT_屮̸ e_>m43d.~_A d9d"W`Z0MlX?rd"waLmVsdU=NcVR8ϟH-@dK"ny:.}J qw۲$~aȌ?|ʯcn.Zk\a8Ł!5{ƴ^z<=iI@E-w< 8&T3$VT X@·Sŏ9)j4DteԅN-j(|}9`/yo+Qȯؘzs=}O$QtlKQ̖Er,mL~r#)'bUBxM͖'ӫI7N5<~}\{)!4,sb u5(2+K[`P_\F k@gA3g/ |%K i5e7 2^uQ_X'8g>NbS~t {6{@fݟ}Y/|T&\IA|HA6EtC O썑(Tޫ؏{EWvr1>qZf]l[Ӓ7*(iTMgݿ/|h֒>բȁRbʷ{ztyr)##<^+}4wA%[u=ƂړոDdO@J@O =xr])6yA""@:dǕabݝjsye%4Ê)J!0: jߧ+V,UǷyN+fO~s野-{SI$@@%jN&ťorTIoOfuwQ)- 6 KɫB(QyP86 7 :Apb1;;92DԈ9"g'66AwtQ Z77vb^r}JM"?;q}Hb2GGgٳYi\9mYQd|5ZME71;7~׶XȯBej[Ө= >(PƧL]qaEsOC .RMn0?lƠy34fop4JV4 dz#3֎dwÈ3a 85+e/I\o z@{_3]4&a 3Yͫ]M>T̒bXjx!!w4=҃5q cмԛ*ߔG'%<74jquvw87#/K:>cƟx$p+*bP ^`tTz r@Xgy*go)Ʊ7@R ߠ31ǵLid$9u5[pڮqoyCĎ$cf|@_Iʼ#@+['AKw֕;; R$}l%SSc%Al,6!wEs9F'e//}U2I]SiFP%v;5x%e;fk[׳*Y=S{ڭ\.ghN(z>L]w\g$R[K-RLUHˤ/2CᔽPG˩3 (Y$R%jE N=RN#d=~J/BBwߊ}#=}j&/ɯӤ#z/{El, *:$q2& P91S'V0oٚuҌ1F W4oe y ;eu6,E*H\8ɞ'Pͺ+~9&/3KFP "_GV$I!IxA"!]zjƧF+ӏF!r3aH_d"*j7S1bzw?a P ӈ'z`PxktGJ E m76W.u>f +bUc}fj6i`D,ȄyD /?j%d3'g?C)tFҟLџf5dyX!啗5PL)$A;O.R\dpZb}v Z % ~X]UuKi3b=( qQ*M>@+qqyXHKj@pQ&XQ_K( -TC=Dne 7b0)˃Mք0t{g?ߊ_Yw4|8ܝ:r&ӇRp,ǜ n> Jhsč.ƍv8 ziZR'_=KZɆOeDY5$QQ߬ |RHhLezSfmM0]);3(`1a0JCsxө{NPcdh a9XceB8!~QSG+i( I>hMgty]re(!fstͮc\k[3:CRz*3 '?z߬eȧjs=E)#s! Eeԓ3띭$lo㦬7𳨛λ&WPФߌQ};lC2Pf)rz`){R[8Y՟-k%>~%H SaUj~lꂑU==3YjYn{˩Z!C8ʝ&$!ǺP\Tl)}J#;k`3gM(Ջ22F'Dv捸"VCjҹ`UE5̰gZ'?Eo9ƽ/UU,*]޺VWb N_\l| =p<&mצZр&o@op ,s,_@[/hB5og}wڰ8))+m*)2c;txƂ 3 hcJva,lo~3@@cƑ? 2]%ɎH/^o2ZއX.ڦtS:|k=%wF"*Ń/q^TJz?yK#WHskQT[ %a&4`Ώǣ%h+a EB(&!Q՞-D4+ o`΢]܇bjηٯ!B~|k@Dfގ6\fc`rN:6uB4mU$w*i}4(Vߝi4Y0VpNb lOvpIi¸>X=sNC9rE`bae{_e" pU2c 1e|(6#iY[@Ѽb[L BoR؟alڡQIZA䋧QD; Jl!̭z&y~!+THu?K<$2z|٘\#&cy0Ę0GH7p2m,mQ{?Bi1+Ѐ4b-zḌ(Oȃ_tM 80Vֳpփ}P|b!ϔ[U%(& 0j_#4IC(q1<\f__$xma,ч8LQ_qNbt5.JUqk)֍=bZWtm|oBU+,e^=B52T\Y:LX_b[` ڔ?5d8Wdƅ_${cZ NI]S3pn`!MTP1*).R6 df:^LTד;Ј7Q+VUfu4?sC@F^Vч SRst;z.:25&brllk~s{6N#ZIv;O0zN5i\=6Q \"MLsNԶQ[h:AQ眍tmR!u&U(Nb):-OP"*2c6MaZt Xf>l:Lڛ Iv"(oۧ?L_g3|"EG4S|t\Mcf*ÞjX<Ƌ.1$CP,qMf_+Z"(T(bcFaW֊>,WFT/QՃ%w0Z Pv<y 9j'lYA@)`[0(2Y.Rc)5^M MeP R5_DAHqk}g΍xBRjQ/Dc~Rrxo>PY r\=lv0ɛ e6؉'};Oŀ6Zs'8(K"CUԡUx l;u1;.$v4:9 a,構|(ύ~ozTa˰;JSDŽPeHFZɋ8&-LoDXcth(c,WqⰻVs_}4ɴ3XI& #i . D] ϝepM[> 0eGl7.l-$~*6Rl6𑽥>>?\`3*c6J(VB`vKe !({#y~)\vʎM5ףȕ@Zavg랋S,`WIsOa/`ԭ`t(Kgd|ö| P$=%,MC'Q\Dԙ":&yG},4ؓ5AN/4÷Yq qur_Fmuu7L`LIQQs"zê!Zl DH }Mr7NS%@Eܖ5lZ^,җɽ `c#*ͭ*a?L%K3(x0 >gfXe_ⅅ9k!#_tl]82l^)|,)v]2G[r#eUNp|5{/LvZ^b\uaH-=೟.7S*0\ o!d] ^2YؘxA#O󭿷 J/2[wm> 6Q|juo%;pMt (deo1v81$X.+ŤG_ԕ>vLnW },ư҇-ci1Չ#j5R sswΙtI 2+҈E\dtȅS!@a;z1(#uB0B Ֆ…x\F^kEf(/9,l+ R,P+nuvUO{G8љ]%iZY?tQ3ytG{}Yd4 "C7{|,rvHdW~v!9aƾhN_e(x~˺9{]4ر͈p:Cklk) YYXFMD8U mSB7Z]~Vd ! _MTd7&w"Lh خ7JM ѨTNtsL;#DvxuIqtǁyS$ 2vMAmn%a6&B޻J6;"n$Xǿ!L%M.<\^eaH Ehz?Oa;ّG"%D]2XV냗٦7ۺRZ.Q<۝ ':@pEboK. ꊀðdvם.RyQ^ؼܷq)# ]"&|hb5 xxFڕ4sJi/)}nL%-EkFUhlߍNkw3:r0&'# oҙ"n:HTDODe{f/(:Ean(zs}[ `~S[\qxI ge&MUVފX&NJ K*lu(DA+Ӱ⇧GIm,txge $t(Ӹi)Գe:Y|Itn<֣2wbK_r`}}/ɠ)rT^J14V,!ypOErfk&-QC.{UZΆ`6>G>ޗƯa8($VVr$)e&!z[}U#OQ$~&w(@9wfy>գg+kC=L'" pE%.HĽU$aEp"79q;ŃFԗŬr 8s>wژ){fb+[Є*G([Cf >bi-SiU]s܎X *Z8H8)pX:{ (Cs׳LW>K* ʹuᜅL9?][PKWy$Eݡb1I{}9h.y,ˇ(NgwN?Bd5)uo!B @ĜSjB!*&^;EA)Zc*6{8Q$ʠl،b,3]bE\@`5DDECbXŖ`>B W"U8;/ɇTG; e{"eD! Hm`V 4.^ٶ of5 Wŝ}[4ǤҽF®XwԈ# g Y67)m ~Μ}B{"V)ׂG]3SézoCkyKPM}-3 n8SR.%YE'>]w7h3#2̶khѷ }%d>#l3c:Ш5KgfsF-0&љZֵ^RO@B|g%GˏCV4u8h@.e϶U22b\Q(z#{boD(iǑ$zQiѽO rxrg4ŴE#>KpQz @p ڱ'TZ:Gv-#j0"w~/|6 룥-9@$k t'w ˓mx87eF:iMnYcHY6 tPN@aMgqCx_56Gח4N):se $m.W?+jJkbedLDcS+F .Zq;4KS!aNEX$JiJ97ܯ<8L Bx:E^= t2KQ[/UbJw\0$7a+ŷ9h)3uya E0~Ng'-e^ 'y~Bԓò0lYԝO OXBvj**M?s2Bƌ:򲳉{ ҝ2=lX`=Srv&a3<Ъ hHC<eՐP>(9r*W7Zr!^ n;V)o0`o!䳮7FD;;6֑ܠh02}ݾKՀ~Hwv-:?ԃɎĖzvfzˈ!BEiH@]mΖm L,;z@*-=1d%j̳мVx?V)/o0"_~ᎋ \9Rc]1I-7I2Sݠ\V;av(d-F'Z7S1v;‡_Ezh5tyR<[gJ$y^w(DH#E rM@(9(k,uw3uj-jn{6H45v@ZKD*鿂QvK9lfH - -1U:&{!&܁L*N}&&28u/A~q06͚ێ\,{5މi3?~]+@SsIQ{"+ڐ"\Ly!Y"2??;b\Gu3=>u,?{,/J0&/rq+FR !OoMfl_">fﷳ {P>D/MEWK{9׏/Y:)53;2Ѿc՝23i*r0V DPvIɬa`}d&J,_" S-:Xe&'=[1?[i >1Pf>~q,)QMta7ͷ%npL]hjQqH'CXmZ 8 !*kh"M8wdP p3b*$1] \ahS Cdd<1-/8gja1  Qx ؘEcC}Vox48rHfE(ﲧjzw<^dWO*!~F`MW4_b@r٭-4p}[#{H01rVSV$ru LIjX;Smۭq"k}!5<4QiLfz3>[1΢_pf}1 %`Ӡb氏Lntp@ qtrNr h3~p3riԶZyzlCxzE TOl*ɽtPmD4\^=-ڰfgu;z{XFY N Й8L)@\*V^j4YYHt#`6&u|jC˻Qʟۂm+U&Q4ZqP3;r_M'-ޯsswF}G.%7qa+=j@Rmc2wxi2{9^tN-s*Wj]]Ub@T&sV,vu DЀO{fC~#j3)/L>sUb؉H}W\{Y<+u{^Ȟנ&{01k,Mz=H| b|Py8Ǔv%k: 0j)ȱjTE;) nD ."eJ}؊ j+.uJ)so*=g2|JZܩ<:f{ZBbCǨp=$2wiA>]Am)N[)f?K݁d`TAe+$TUeb6߱,=X4Aa1Rb~4UCVZY _qWRZOW΢ @bΐٻQuk 3=!!؝!vP)]ƽo)raʆ_fD_ & ٧?1_}}vu7a蟴t_޿6V ܉ZbX@'rp~8C齲6*yPNQZw|Tu o&$=LP u¸X.EH\̋EQҪ`57U1m5p3A>:҅$WPȷ}?5L᭳\L~O<"=G1Ug@R'WG@,795oq#/*+jGِB]4m>jH /* 0 0Vt' ǿtG훊צ+wQ8c U|R 0q%z@ݻъ5A>$I t]s)ɯXM0d4Zm-~)xno/p:Cf 64l] @ +3t0fcW& K_̆/W䶆T`[o6>!ٜFG٩T rI T^4hh8fN5Mz?)vS\`<?{9}: I!rams q͸K8.b?6~Rvxw1fW~Aƪx+1!%uXVڧh埮vFjF6J{8S_El&@ٸX>yr "6^8al|& FnQDamE,mX)QJt rpЦ_)32ezrӞGNvDU1xnIތjb"Odş) Wiivb_nv;0m BLsO n~,sַ(5n>%JB$w; ȊK^tY?`:Sm s ~F6 d.G)<iec+CNĨBc%by#4 > X$sܪ~ &1yoD`mu*ͅ ,b&~qhI+1/N7>9Q,^/ ;CD*Wrc|WseJ-]Wk5$Ku rD,R\~7<&nA}>.30  d!2N`,R9[,"^h5n v|<0yhBZά~'+X&ĸ1B?_f|lIaNJZ#J0Pm﷡dݛ-nS|拢:Uƭqx\?6'&12:^_hf*Ns 5kл?<^Մ6k8={lb@:#Fe97΅PTGo zAR!D9] 0 1}mYtO$8roaf ש]!d9.)%OV-Uc48!zo"_<ц}i_6/(p3• ʜun]lȗa9[b{A,:3gxpv ٽRɿ4 rCYPu-QR Qpnb{{ƦA?v[ a:f9"b~t#!#•x)b֭.$zS4mآ #7ɋn3<ʫ\I|=87e<'Χ (̄ATA~Q #{]" Q?  nS{-f*UTES񫈈ebYӣqxÁ" S6jK9O5Yv8$۷ /r—MB@K";X*?x N/W't̑4K *+7k(269dTv&ke rg%r028qPRSЦ(VKJ~Wki=֬hO.2ny9WxPe &U|d7'†7b BRe4_%v[O=h.4^5\^k\.ܝqYe]b|T8? 2 AL0tgk{c>f;RF؉rzU JsjCVwOBIjy?4;8ˡ%Ww篣66(ܭG;k*ԛ:r6߮r1= e4Ά4 5k|䒗k.Ζ}޾:S Ұt'-/? 5CҒ6 ˗` a?Wf&ge`w%%?B 8}>t*BG ŻhnHxXR|e(`Sө-~aE6P ̋ y)tXB-ނ {H=oxp 7baU6<լ_DXDl J\CblV4~Mc͕7e+yk?*%<5\! Mj-]o]\$ +[B;4c51?WsJ~MK*DWqӣ"0U "[.ݺrȌ>sBq?yna>J]^ F(#>Žn_#;C},\:]>pòM{Hcl-a <@WA?KՂ%O(3_2gX|TƢ^9gg͌A)s  %PE.H=>\q?e7XS,֋|V[U0qjqxƚ2[̟a.p`c&Qbu85[ůbRp85P5V'Eqt&AM宖Ot3۴o"ogZgRƗ0U-|xVOv!Khu0mx~iwV=HY"'Ư.u:{2H/%( <PW M%z3AO,8:ޖ=1мYVZQa֮>YhEʾZn @K%ݦ=:[ߟo_#ۭ[HQaEL'm+4mcUHGj.4l |,t ~T38"xHa89AA%fgoX VBum^-R>#p;h^S1^td@c5o><&PyJ{1`b; {̐` JB3nHFY).hR-R̓2G޸=a+IBD+ x&{Mhm!oo7鶚pY F`V]1#MKp{90`Gm!iKZ㈎ ̘n/[B[GFޤGD(>kϐ )"OBS^yP|S9JQn5P .t1JdziFŤ/BpSa>JǺi ^;/\C6eP#F <>{_σk ʰ4"˛(Ic{>AQ*:bP!:B$*)(%`w>:R%`h;~ )nVƭm*' U+Ad7 -$kI?t#_TH3z5ޑgm#"^,͒ak+2+~Mj#=/7{~.qX$sЈ+v&KU;6pbwpŠ0}bNar[=p8Yu=Z=UH9ؕ4G<(}熜}V#ղ*O&UXz,v.f$?x9VDCiB6=F#/{PX,Yw~scCS;Oot1d\dd|@U#Ռf$gb 40&6jcW^ǁTfaoĵƠ?/z=R1LȔe<+c$Vui12ĞMMZN^K7`tRj^ J&,.f0Z?[,.?qW`ai 1&'uG߲~b*R\ KE퍖}9lT*ȾLx¸e=ڂBf~V#DsQ r&xR#73r'^v.`;߲̔_u Znj4wm 3l8pK *H;[ש"չ;)$l|_Fh$ý`\x~:@[w}N1h u]a  YꋘkB4K8]WgĴt-R q6n~ug뜧֊c#wesN کQpz0jl+J']*SjPeB% Q޻PXD/[X nA ,CHs# X%~'"7l~)3w;_>izF{j 7xze#@؄ܝ]^$+kFk!L 6n\hYMevo3)g9LѲ_VD}>F@fI|W]<ԗOB\{h%yvF)q/Cq z!u^&aFevgNhm qڰ؃Mw*Wg?*:E̢k8nrH߬NȲI6 -Lyr:{)+v&#HVY)8?[l:./*89= fY~i/ua_'gm u,d+AXb䭟C%j^3ޮnNBֹjö`yӋpq[ci@ o$B#5۬Ey#56,OZ`Sźqw:L{? 3J12Q` M2"%90Dz)2T{|xG:[O+-Iu̞KEXc-iw@ φ6s3+HqK|uO'}:K6ȻT3O9| "(ǰˮ%[( =l1:7AÆ҄N1T".2bۇ^Wa^4`UziC>]d]XwA\`y~NB&*~NLχE;gd)Z):z C;=n;%=~!$^0 T {wzm {Ԯ-43/@Yٔ%G,'.qwәhk"D%[ȥ~.hڨ\vd0l6`wD1TH Drfs'"ӧ*;%=,8+KB7(-ɱk%~Ӗ9曻f\XR-=+ba^Ҧy.N&g|.^64(=Cb~V &ڡg1Rڰa8#(5 DwY* ^XT3` ql_XZnBTX6nM?vY)F̘wnt:AۦTM[׵}HVE4okLxk:I$Gm[Ǡ}`7C8?_q!)z)yfs. ܤkθ%~h(Td5j{5. ڙQN3I> i^\|N y&Rkl /7o5Yщ>'mЃcE3*og ;M (}]+m^"]xxӿC:ZG'%P"/P4-a3 r܋. £4u# 54o+*e^Ծ)F`rGsE3q9A#|gh>HJllxΫ*łeȅsM_s#oLkeW,ezmNh?ꦋ#a;תpded2A=6SxGKIDΪ9@ D IeB ؙL^?lyJS6a"=-y-GoZkWr,'~t PLHx{MSe]Idʊhrh$$曤z6=𶠕rSͺ|Ov>jHL7:Gn.ȯvM<5UÒ}?|!9q 5׺͓K>;D᠚H nKl*M>Nk킘¿ Ȑx&h"T=\grYK==Pr1HD4 x&C3⇀@sOs,nUK_ϰ)oDRn JΔC.sc:j~'lI_K9v0ߥ#|Q+nXzX+܆iy#6PH[g;ȷZBs rl ?^AA$6d.A33T~TT ;>Z؏O&FR5e