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 ^^r# ]S Psi_Calculi:threads=2elapsed=672.349cpu=1219.468gc=49.704factor=1.817zXZִF! _]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0MǶZ#VO"C*X$d%#If ҁΦ~BO}D<3uCɄrz%Kz#rX.va%KHIMU1[%?%By__YSОP3z_l_B6ỨPh)X9e2)?& -?v>zyY٢Tb|jofd+5{:q"=dUF䀪9>^)TRȞ_}.V*/=L@iRP~\qꤛqCb8 QW@FEHQgLbWZ-YSDz`IQ ˘8LU R52| m#}T#7.@5nׁ۪-ʮ"U".M*}sjR%?S/>|T{I@l¡ ы5Y\8=r7S0spT5g? 3%Bp͟d>4TFh4? ̈́#jօW_EEZ2K!Bd=o 5o.gӹ4=s=",KdBL@gLT 8$."\BQQgZ#ǝJ+(v{6<6z Tt, Sr:ۭ n*ysț[ٮ5bp6+tb(d] J~ .Aq`u/~J+aH;:, pBzOI}$c*NqS2r|N0 ݼ3);g-%rD"x -ݣl axA+)gGX:0  f+ E|#L2)Ku^ma"L?yxsǁM4XeA4R%`+OY DԠ=.>֫I-}3Y f={# &q dv*Hkv s3Ԋo8g*{f/.1LShxY띝BP>|6:0:!<\ba(C sD'F<7dC?gn>ub`SϟiK|]ь[Xx. # Psi_CalculiQ;33TiD0>%d5zCrq\J^)_XLhd/z 54̋HplM:߯h9jѓ 'xFg߾$mQ|pQw[#*|ɞZ*%Y$Qq8vH-yEJ ;nocdW~1y!E 6ُS9XBGUf6p/%O uu_"6#Ѡ/|lUy9KZq@,ȰFc5\D3I.e{By>0 H#gN0O[ Q=Wr.DʮNvcGVI>u]:{W.L]$͵ڇ,DǺbk7+<˙ys$>9XR![l6{r7o0> L;N'kRgp[9x}J8+w܆#$@V~WiM|(z6o i'd}.#k/}kk emHz& =9ws4yӯqFqVE;mEь =7\[k.WδeA1E{Td/qXh:[|zq> XBgy|(Q%8 G} ^<"%th)3ᔃDl-1Ҙ3wѨ7/>A1BX-2q@,c#ˏ06ɩT"B-Y 2momqShY椗)̞CW7ci{ ?nK e? o ?:V& MDKG;rsk/&Nd r>$H$3e#O(+fyy5>Fql൒NݫMPߩ`z 3'YQ5a*KeIGºxP0eCxS@B.a!Ѡ*N[\Akm͋lٮ>Ԭ ;O rא%L\h಻Di`@CeA$6C9*悢Mo"NFz6 o-YM4g1ÛO1P%Sniп!X@-*:RpY6?swf$#"j(&@IatCR{sUKDH)ST7e.Y,<߄B=aL?R}*h~YTG6&C@AkV^cs44?N_m0ǕP/0"/|m_d߉z씋e>g~9ö$*с|ul{rNF[l2j7m&`X(B{QsR06`"*Fĺ BMA@n{ ֭b$j,*W,;F[lvd ̈@]7OJ˒G!'j-Z@_hy :?o>Cx<(w8$AvYLns~|ydPϡ6qT.3L|T TfH",^ecX1 Ր3d4[_09P^ $d""}V읪(a% ezTUvfGd] 9F|3Vq R8*)eI[Y`g2||T plQ[qvāe`bbh *r듬ڦhqFl8ra=vRhvn;dbGH"!Nǡ>~/M:ZçvO^!Ȯ[eOkX 2`茘qάP(y2ͭsd7nXQ3 ?,3tjɰZBęoUvĨבhbZw3wIV,GƩ䣄A.$qS\loɛr^5=ځl&2T䊸l] QwX/U6DO7}"Oh8x: i ?m8--ƽuV-Aט \F4˗kٛkG% (VtYʵUB͙="٘TS쟀8 yO>6>@쳨9wsDg$ .mfsX釔n`mI ]J8?1~.ǹVN zU֥xk.b-u{u4.+L F0+;^h`daQ}JV0zvD?W )ث?6lq AU\L Sz8ss>X+XSIWOT8V>W灡"3M%rť@M;x7zRAPLZ5L18B[(6i)ȣfDqō4f0[3&2nR_uYak+2l38~hdV$j&'@n'X{;-MtS2!s+CžS )Z讕z)]q"gu-+ύ#oӅ¹= U%sW+.DztKtF4y~ Ԝ?} ږ -ϜgoU5aW}~xS.qMfjݗ—&W|,|FOl;9Q,SQ]$af-,\"yf/ڂʢd~R0zM$ATN$fXG=`L-{."=<;ez\ &Q`=/RoGb&8ϫԣ)SAl杏wR> fG[ͻ־i(*;0s_rD> b.!ȾW_ 17¬GȸF^PSr_c8(*3v-u_ݎdlB*yn֞ȸ|?F|[ ;妺5F4j@zd>ҘbPϡDɺ+0~l_[ 6^Lr荮vwKo(7K{i])!5c]E c]Vz.O,'⭥^PW.?k)}785w8ّ2}$K9!'P+ČD&Mf؜M?^ž6Gd@B&$%{l1NapW;SPJM yAHAN!4y8ޚ0 d!QŠ~0 %YxϛEt_;i29Erk-eN10d"w!{ѣ1s\:LZ>A:SBgYZ7zXZִF! z.]ŗXi%60i.k;blD) q*ꧡWMֆtR,)L~q]_?:UL8Q:tYz@ BRݎ<F6p ?>n b9s!-'gPӏ-P1ᠪ"xAmۣwdXThSx Ϙ.5:-e>p'a9 Ҋ'N+6AvXn97&jykFji,zZ4x %'D27ұU J[j6 ]e'>9r9YR-srlAy)!zs֘p74l1m &-.4̀lMԯ#a2 6) yrjOېUG)_Y0]7>GbIEΨ KxAq2BClT"}|{0\s9K!Kb2 jM{:t{e^OQVaS\=mkviZ Oc5Ћ)kŝ<Y4p 8m;zI uN?싮h0bzPMJ.Tr^JWcj%V?tm#c >0qJ{|^kyQ)|CVWhbFRtE %7^iW3~qMyzaLhg?¨E%|?:ŵ+EO%MݟB$ycB(<&R"y: W]&Wx=0^7_$YV=N?f\\5 DVD6$r`K[nQQкڻ^Xn[y93f"a1@V_@c|ǝZ|&O< = TpOl}.&q!SR_7DJo[lBGxJg r|힃2kxʰ@LP-'iΙ40-msX襔Elͦ괚ur4LpuN0IbWV!"g0Yҵjyn[M86`7J_>T;z:~zot|3Õi;{8&a#n~֖Wͫ]O4b:0"qDgU49ٓVs s̤E '5 gU"J^O#3Qsk@649rcvd(_;GX*YQT4 |un?AʓȅlW[(XpGĺ4wqHY.I4i%l+f7AX6T/S*8v<-Øh2lO ͒DNlGtǾO ~γ}ICtAY桪3U7?QPű@A|M 66}yhu{LY@E|u Ry4qxžnmUs6hNb[DwʏPfc\G-&2] B ̜A軈-{JtkM5 0VĦ* ]kpeIυߕz}ŋ&@9rgfj~eF3?l3C?FmKi+(cz`ĵ= Y sfxs!ȐV?Ɯg_7`^l/9[$qrWx@t^_X¬hvYdҫ 6d:3 2לqUD_c e82OA!pgd; T@Kff9 3%%=&_>2RONZ-9/Ds_⛅~ŋj`725A*臇H\\M9bjښG`SO]~NvIsLTTT` x5+i>zpR):"Wί683h+mZM2m0}d\Ū:.Ҷ vH3 ?wF5ԾU;X=X2/n;l>ӣkc-Λ^  `vryEdlYVQ-X*ePn di#^`rȝgmSkCʌe(Ǟʠh-V[l=C9\vr "gݵ߆&&پHr*Y0g{ao.p"1y5)7A-ڏhʪ{"DhkyX{$bW}IvV4g2Μs5-*IPNWrUVAjB'RDm[> ,1R.y}ӫx ʖL_$֬DoCm:Fq>,BSYbdz̰ϵb1qQ*>F$_}[M;l8j%q(ltly' I=/> ?>oT`wD)Wwq<mn򰈗vI*]FQ']:#o7OT֠cxWhY7RbpRNҺCPȈ]SݠakZرLlp?\ROAQɌ~*e=+E =È BDuIAy)u!^YYDHZZⷄ+{@7ϑ=Έ8"Qtn@#С_2* XS[K,6OX-23jCjS̯?GN]d۳$ed8:O)YϕOd{L1)ŝ3ڈ01֧\d& GXmffi 3$Dͬ*h؉'WjX}^]n(eJ8^4%ܲcNF̙9DK$rgMO!H[ OJ`Q~p*~Kv@Tfo>>$(%x˽v>v)!N?^YM^hh߭ &!Fcmj YGy&XT$hWN#% Pl8_al}Iy QhWo'Hћe`zOST\bhU\"yf6=&vWϑ~?Tڙ~#9KDQG؞4^fɘ`m1 ȠkFI_Yɪ*by64IMBϞ|.uwp NKL`YIoc'jN>5 ''UntTE |(-5kdfBb0Qȹ vb4M?BԨvBp#vS, @`3UU\wg{ Ά^mG; z88ھ`HźR084-~FWc5?9Z-moCH2R*ɴZB*3xpLgӸG!P7ֆ`yR/фƣCooHMZ_evˢ>9;o\ LeЗ hTN&dBmjȁ8LU%ۇUN-3oc\b 50`BEVФ1q'mlp`2xDNI@BcUγϸZ|h[Ңru(%(s4 B(N3t-R+l> %Ɍ{n`Jkkm)ըuMxe\0h]`#\YqC'|4O ӊpဉMkٗݧtQ٘U䚙SoKaZA|<iwM)wX*O5b۠B3v(Lf$O$wT3Tr">LrQW2ĞByf&&SMǭ{ tF<|R"̆fvG~y"Ci7g~t8C<U!cn.czcL : C7oCy|!&pgduK܍jRpסg/ۭYi+ӟ'ŭ= , `bE>)%WuGէ^uVh?8-z{ək:2,w.3\m1 VĚV5geW%ˡB:DODEJwzuY+\WzdzNsj]]B&4`MNCG+PCYߏX!婿|4&`&0U}mAB+-4 .d@H)2ju4cN3}u9IuͽoS8kk XNY&bEz0yk*y! B6aб2=I4lXHC~67*N L!?MΎqrVO" ئftLMЉcn P-j(JXM|_N>qv0tPFR9 LR, tո~}6 [UUo/W{/*ك Pgͻniǚ[73 eIWZIű1= E-5K>&CR`0W|~C|x|=9ڪtNx9{;H+P ;dpzK{衘tzhߞ6 DX%* ~q+Rx*w1|F _ #2h3=K]`G!OrҚjNJ|cCvsUuMP⥢ 'I mu'YH%8wo+5@thVNJh{j:ֱC@iBI f H4N09[/3} Kd5) Uqޓg?¸S97]([a!q~_~X~ K@y2F6 Һo)D x횘t/Ő?qYX*nSlL4(vot+'nFy.v+ͩ=FÒQN+"OWiXMP[ٍE!5O{ alg\w,}{ȋS-\ 85%$ძ099/̤f0d1CQtk ~~fڛPvw 8 ` Tp5$#)+,[Z g7kB8 s M 9H!2C\ :"p"q׻#= RU^Vr`7PX=.yH^h_p%b8&G{8(5Y`<ὅ Lj负ЫmMr3vXz$}mQXl|)\kŞf/)+j0_E8lF&.f<~FN=GԟJ-Gn%0_/Jle/ Sغ٠gR8OR d U"pi(G:>+HA5Yfky]}W[ꇚ!<3`-jv6g$ڭ6Hch}ّTҕNaX=2z%%{m`(MkӳC&HoZKd!cUV2_(fi܎a̫Rb4Ȳe$q Pho(@nޜ^Bde/Vq}VCCH#;B3c*zw6/s{8pJ-Y$^H2XW5ꎺ3J@zD뿈Isj]*}dI=ZN ǭ[ڢDuQ{ ƎR kꛑDN{!ooCxF*cȑ˞:Dѵ?k7z"q4%| ☮y n{ETku_ \<: `s7\KWjaN]zޠ9[ 4/շsciA̝DV]A< oY?Aq M̠2s7m{jWIh1) )0z)T+Y|Pag-Mo.@vtpY؃VwCH c@cmgoEo>$4PZPs3_W\J5*zF߄vM4/-oҬh > ,{2_oByWOV`[1@)B쏱$@醍s_v(liv@S~#ag k WKmÌ~|YޮP0!s wg1-]3%g BmRPgxo "]E}%nQ|Ԯ7@r^Y~]%:k_ 4etk=JεF~l(0gcC74XeU&Kx]dn~4Ny3#;T;%yx4+g$avX5šѢUK?|OcTjޅ9 MQ,L 8.8g6S`*=t&[HM39:A&) S["JnnESZױ-Z{(o[Z2lRHlS?D^63!5D%G(ӡ'S!(3蓷qGyRAJ`3¾ZZK.{wubr8-.(VaY߇;(sW6X_7(o} r1zfցgJ:K^`ƫ$\u;%b1:q,F3Pb|E yTp[69|E;ax]KLލdL']ǿ(Z=hƥ -_8oX '^8?ˬUEd]cCG ؋;$2L{"jHQmzIӮ|1ԄOL?8@2PbW+wj/;~>)i{C$gį;tV;~c 3-̴-1I* &c}/OH׹mV'^ocfRMcК;nV6)sj/+>Ys#o?H]IgVD gH%"G$l9-o%#u]څ$ qa//1Ր)GΎVMYdn0ѫZZ(⢂q?%Ea.] e5dCGҟTT\ЯUJ֍^{0=XV3}CՍmE4uۂ}l>^!,?kȣCo))&i% w*PE)RslYގo wA41OZg,(.)(c2IVoR⩍XF`WZq}j},T޿1 IPO|>9_.ja>ڸB)6pJF"#,$r97;cKr5>Vτ2/}y+nEQJ E|Y TȄT<^1k&G#zT:!6뿕L٬qf&PT Sfa (,*.}Thďol7"2,FWz##EU Ճ\)ލ츫j1Dc(vO DIvͱ(\Bݻ6{`^"n\ j`|B$@ l;rhP^ #q8oҙuc̬&<['q"sTZP*N0XO MA'Yb^)ٿkF%t&;.tdgT*VZi {O3mbqg*:<+7ɕ5:ЛxȤk⥿LYR2){aJQ4'x2 ASfv H_@".۳0$Q OvRZ 6A+,K逮TS"Fcᙨm<} O"u4obk.ON (U5b=~$'cf<9/@bgRZ NsLUd%k "n?Ĥ;o+ g$cU{TNAڧk8:$UFcϺ) 0/C+8E!gZ43'.sI6e\R26$p>jS%!4V^+]2aaSGOYö͢8'ukb\01:Yݮg˰J؄X ٴ{*vk'*6WHAq:fo-N^%s L;|\)]GZVNt>qwR7؄D,`$~mo MgsTJYTu􄸸pbQ/t^\F2tni:I+&7BN&°/jf=F)4mr|%w4g쫪uHK2 $ΡAm%J:_N4Uk)F;3'>9%P[ɑQXSgp,1jA³ WnMCc^dq>(B_$^;11́~DΖ Vw7AVL*X19uUH)E@i.3׆kb):NZ-x铂Okak, Ow":#N#prh 'g7m ߊ~㶏3G=Y9Ϸu4 .POf=*Pd<'k`{ҩȭI:|s6y?%Pu] 2Y"e )?ԯh {KT]Tv(qCC92u9Uf(V(Lȇ9(&y{<8Nm s\oD54{d  GH<[TQ4Wau䃖xIccc07klReH C̖XF`kƟm֝ зЌ#l=^vg> nnqЭ)vz;`)0e4 9‘]:VEVpv*ΜO#eD~ !7+>YgIȮ>FkԮ5)c/T+F R o @h2131P޽N'@s5@1񸇆lזS~4i,R>)hK_n,-Gg .k%0mv5R;_He7Ŏ)Ѝ&G(yKu`;6{#m +ogrUTc^ 6* i)צ;FGeke?o!+HF$i(#}ty줱q#xz|Xl p{Co/ ք #s򹉀B:Tk&^&HjxW XoGdnj丞3H-~& ;&zK&$bd] D딺ʦ6tUYJ&Dy|꽚f;2?V ѮV` !-r jņ U/Ϊhj;G?j5[C%`f-tɷur a`v 1emBN"3^0րSŘԉ#jXXJGSS\Ȳ$ !,k).!}0v84PS L%FD)l{3isT_N"ԬK |wt 0W \!/,l3vpу:b1ƚ~a1N+tjd$eI)-ztH1#@MKc*#磛6'JȜ?Ow3o6{%j,-\/դaD:\[Boگ x-~!_aӜEKFY0y)lRs5ZV$Z~u G/5[4n3pm \o}p_-j:) ֠ H_"G)mYp7'̥^4#QWe V ֦c'{ҧW  W)`H-lzSH~+>OzX" EpjJ09v5grYל*2Tč,ꈃG#͠U>. ӗb.οF|^DŽ/=%zgodž4ԲAQ3d:ir-߰΋ΜT$q@ ?ZTҸ7\n7dFIYNhR 'h?xfZ͂ ~ X}{ Z@J&mR~BX̶@b^`-^hilO}[vW)F5c^ZdJ-4!=-9'z_ v [_W/=)@}Ƃ~X xj.0%_΄o(rfb;P!ep X% K]FzU$$]X|ta @v4{;BN*W $#:LM6LOTO8MĬx Lhv唫3S'a-7J1s&ps圃 ;hj EX-%- I>dH{F"<<*{V0;۹= ѽLI7MG9|TF61.RdWkSGz AGrIrX/ a8KUD'(ɡ~G2ɨȗf~8 ˙i`* :݋iKFWs {MV2Ă/Ok1g(XM`,YGy`1{FCcCG;3|5;g|ཝ; XQ_)]-+70ꖹ=]|T#QhND(ǚt< T߉R-ExgrBwh}E+7{C՟Zbqv2De\6ӱMAL9H˔j޷'q( ^:5N#D^I_RL̉`D9 !(ݷ cݑ<~(_^Gx6vc珊dže(b!}5?'R^DdhaO5)%ۣ˕2ն({/ɾV@ў!I(fh_t:Nji55EEhiLqxau t= {~-Ե2˛z! :V|\6g~Z.b6+쩾 }r-KWse`CXK`u'^RVN^ݮ/}kYGum2zْjit[*5.=u}cUGA@2cg*}ߖi̚Qre԰+p_xr%46g!:0a Z@zn0zP<&_:7'mzG1S57==M)HTغ)^gD oِ{ ŀ9R 3o 䩗.9cFVl*3k[gJHY9eq[5FHP8pbjвnو“Ī2۵0uID~pFRYDX.7DN$ T٘TPa'\|eQ5 3ܫ0Rlì dŪ@$'5(ADZARd }"=刁!C-hp +{wq_\*QCf66iO <]5|)``dr󥘀@*߻f:WgJBaud4*`ט&aNπDҥzVf/m534Df '\5iZ҈ۀh##Q }yIlU.u^#&]$s4*񭝩cE'8Q)y٦Ʉi_U uC '2U_([E0ߩ8T# NA' >oTFD,HY~ -O4mH,tS'23t>' n_ un)kbNχh9J 2 bhzIoKv[N'hoGqzcZo_U㑴ePY!`*  T1)/~t}h>ĤT&;,5X k%QQU}Fv[!%# 4eґ AÏe7EmW›x4"]ȏ&(-H+!eG"Uc >hV5N Cܷ[bij1ȭ/ \kz2{ rf%5$ }i!;~5hD1pcqΩʝK,>rD_l'-E{a+Pakd\\[KIwO?4yy3 FCLk1>hF`2mhq f^4W-؝'qo"K~pIj|E`{ 蘈vH N*{RFhz򄹖d(q&Ш5SCF~żi,|YԦCcb-&4=hʱ &Q\.Rn]Cm{wrm5 D tjX]I}78gKRъC.S J €cO.wUJn7w<4\ƍIf\A3>hqVQ(%I 1&j{; ^ޑnnp4Ό့-2<&$7iHWq9 0K]=戢~ Z'6֏<ӊ<1>F6a'*%1 d;|f:vuNCp 3}zw]Y-CG?6i*ƾϴ#Y( MzU'p,i6 d}yyǑ:l봆s.HզkD0SU`=,{e\җt>74]HȑS D\}W&-8a8+ͷ 41{ ;l  r/^Dַoޚ2Dh&#BN!f26'ROc6䧾E)5pV)wl[D8axkp[rĵV#"u ZUnw e KejsoI:y25BR~;dJ?ŏ&!ٷYl}ir璋9uՍ >(b%{oc9À-rԎߒZM ,LfW~JWN^e]W 1mt3xAfTp..ZUR:#lI׫r#+UVhT:8X/-Gx6n}P 0k|%!aTnAFD{o3!gV<`:C yT52Kaߒ$g 1eoWX E~:2qZ ཞ:oؼ, t,;.>38x]ۮ81ٜhLX;^ IÃ?70Uwtv-$8٥4y BN Kx beL6Gd1>p nBK>2 C8ؤ#a7Dze ڊ~'1mJZCj/]"k^me*?Kң|Qv^ uxIʊcp|KZ2rgĉlT1a:S8=ϞU[:`/|;hFBi5Z$Y'^0F[ܚy*׆Srk&6ީ7YUb6%5& 99[Ԝ>vZyH'-gt4;ykhw|"?;|S_p&lwH7[CDԢK~ $KhYIWo|cVL!;z t\ՠ)E`%@|YW = P0737XZBXo߿.>'^>ڤTX[ Bp&EnݧnUN4)g}y2O܁JI%=X,t <9T"PPt"[Y"IJ~u*CS%(JTG!P\{%{iHA6i_[Ekn+W@vַ8btn+5y8zlj'^#+|`Tٙˣf- _qdz` !si?bO&s1uwpPGM;dM)okK:KC?Vme7fD^a! /իh'\5X3)0Z4"}Ssc@L0V)lʕձW~k6-,1DH࿬ bT^"ɴ_*`N-9!D,F"hPgG4 a:h_DL,zOuT^2 t\<:xO< '&$!ZEQE5(H+3#8Ԑae~-soNtVީKls*5dI0-ɨ=o^Fbҩ>@al,\ >'fh -lE+v &a{|%{|$g3AB]QƲ *$r}V—k{1pso6P퍔T@?&nq+rNVWtDh/>"rJeK$aCDB(Lt\ DҁJ(ؔiUp9#xLUPߤp"gOZ0y z|lZXrgqg( ĭR$sFhT`RAޫ@Q&2j=ˇQ>Euwt] xѡ%aPo<+5G̱kf9c:]cv!\Z:&heo3*$ȥJ#0|T"R+Žz_\1M૧DJ /vF4q*VgX܁ Yxʭ `9>O0ӛؔ-Ip=SΈCU-` ЫP|Oa)w2AVQT !B!@3 UmAԶ_K<_ "K-!L[U9q*,6'I4IVs**{7 Qh?qÿi#!;O^//IG^stnUB)R AH+#NST+/ZB^ʱ|p:K%:^'AQ?ԎY\l/EV8Vڝ*&÷]'md-Gu`C](}R4[, j:K䀈]'Po3sx sKo mrqx+}Vr;؎^\Z2"+$J 3o4r0P4 /82( !Ԩ c(FMv48n&ӡ,IEnII\9HCsgw(o%p,O/k96v0p[էt`NN+uCo5}/畬cM9TJD/ޚT 巌j퇧3X}O|E( V&VH&/gbX{pr ÞiG:pu̹;jn\y+M1`}pB!T?Zoru}` 'z*0)fՙpݪJAq#rDk!Byv!0xJnc)ۿFHRوC6$*!SիѨas{ pEku<4RT._Y%']+ 7 G?XsEN8b'`j|rkpkX^A[0{@} IY"Â6ބp\lHEĵ_5L]o!I`e1pYIDkf9&i{w!AJ؟iwQhh!*{F}1cunk7?P@ a_\^RhpN1eO.L wqXpX\%wU8h{:BX9%2"; pYI<$AF÷ kNcLPuLg"*ZQ+1s%k74xVyV0  Z=Y# ӣXM ?A~qaFVc$BNyewš(QBVnsQ{O0=srʇ߲ W'^<1EKP>j*KexUah&װ>S?C9&P@:Ѣ  KT'vJ惙>4[T/Ĵݓow75/ۄ (==+WiUz[z?ASE1Q6gT8:B|(qQ/%WVf.3LxߡʏA4FH%p=yσ^.M߰ґg:OR@b8I1^nF ęĵV(̻8> o3_`u닺zA!x^%'Ejn?H-C)H(-#/>oZ Gj݂ 3( ξ&NcC9\ˣ uO"%cx9˞G7x]ա7㘎i8!6*x˕ .ʹ#_2b21Zp{*V6՜e^("(rhnЍ /6.ie$sv ͖g[4 /jHw- m8]Y.lǶ(>=)o) nH`HJ촊ji wؑMtu p9#>=7 5bH(VukQ<خ\c:Slt76qn!=/{ 8bX||YiʻfuVTw57UٜI)0tfƕu),9 <ђ6$dJΜRVoayfw?U|9E^vd7uce6NCT)ri#.x=1)Mۧpm׶ID˛I:&r6{筈mMc?V7P{?L#X9k8^ڊBx)Ik}樉 4To=rV>WdEu]Nl @2{&_UHpԛkQ~䲸\WLX%>[^mWlL:tYBJi\&G%-Nr(ReA/h jJ(.Ewϥs4 q3z'ՀlFaa*2X0G)_7MߠlqkUy'0~V:/ʦB;[ l{/Y<3`DCpJI* %e;;APq9R;ױnx>ifxȁ Mћu#ٚhpodtxĥyB0ԣ2>MUM Osy!xcG[^N^W no<.]X ݩDdĤDsl )Zf  9,LQr u+`m8g ~Ea)߳R`맢 HS]Ht*/MIe zFL/GʛיݾEg얊! )8SO&(:uxGѷ9`&jɍ`A'! ]VHvgA7 >Ӓ?`ȝvG2PԺj55D1cЫyȘz;N+O# 9N(G RQ1;@OJӻJBF78QLW?h5խړ4)|Hq!oB\.iϓφd)=@*E]>8gS^&"_l:b87w6<|9wSUFݖݩ0a,gXj8@EEn^pl<2?ٴhrP=sd8 ql4 [뷥V߂dM 2/V?6d"M/Y:upD"dl>Y낉y><.<X-S "ΜCػs?y4S2]ѭKr=Sn%Vϲ-#d}u>bHϼsF94rr.vr (֬#A/Jx VCU觬syL]1aͼ@yr6LD{rg&L1(Ηil_lB^-YE3ҏ(!@TTM et#pk|/9d)!g4ݱ3*5 zƹHcOʽ /_ú힕F6ЁK*T1Ţ,q#C#yrNa;< PWG 4SHJ1BƧ7+]ƊN52ݔs˸_',QcJq/kmo&Wvcb)d{>A!}oBAYAgX<[e:- :tђ^le@YW lFW6]XT;+ o8<ӎL8-S3e!OLwJm}k&YTDtQ\|ſ}ѿn<83 磎o) rxansW|ӑ/fn&=‹%YFSsry4NUdG d6B >XPT Re-4R.a(SFN)љ7~:fߔjç<0D̙(aU,S&]%ܚϙ콦-i-c-w6-'GDsY!terП|~:e_5kZU43aƢ?T*q Q(N4AEL4:Mՠ%\8%+=8{)ݝJixMQc /ݖ#INKQo\>25HR \VNWɋey /|wYrsb;? PKW\.}mGsH^`K_/? GO&v[g %U 䓺~q7о*D|@M$z2U f݌$_HzdWa5.\}}M/3-#sB,5G# ,KI;~P EKwOLH,Z$?QZhp; i 1WǑU=`\gzJ_:}i`@VTBu&JG(hU$e;1az^)aqJ;o:et7,z!5v|}>_Ou罘P*ۆ#+,3KS1 Ac;~yºVp:bq)w3FxògQuQx+􊾞GőBJ8@zS=?o .ˎDSr|p xZ-}dҟ.W9")t:uiDBM_qs6=O59~CmeG^xa^ՃcTKsfm;qr{#\jtR8ar{Cyꬾ jTN `dv'`ީsoȷot TS@"tP7;ĕU r\Q.6Ca ⩾κ >ԂUda݁~ ']{g&/w@60.*h ܎K T(1 rO1ԥQQ~k yV_"LyMZZQAۃ")!՞!Z=W{G3kE BN LMO1™I ̑LIUj hHdO S ߩZ Kyvz]A+iݐ l)]=Cސ6\1岻y* l5Xkr=bF9h:|fYG{h{ǂ%|lG&ljgbΆFb!Q).`Y}`;#k* 3P׼?tx5;}xwdZ+,j 1GCvf>=J x[+'7o.Y/9(v "ѵ1iS@UCJFʍMkiVR]InЬ1 Q.{F]C+֭iWLN * jLjwjtֱ$hJ.˵Q<5`Z*h3s1.޼F7J_@ ?T}i 'Z.QUI4{/ƥAN= r_b*91͊ۀ &>>y>X!ڵŀ8nv\~%mIJ#,C*PTX'UT$1-noj&Tnd5@h*fE7x#cf Qs((%|(F֥Bk K38/ʍxקʹ#I(3OD\J_B1/NުzGjg@!Tp!Z8A~Щ-M"4LKXC*ްhD\ ^~qd+:F$ۆ;h BVQI(u/=^ Y[\- [ՉzoY!қ@C*Jj2#tVsПs<הxuv'te;˩-/58?4:qՀOꕍVE.b+CLG/^4GZXFʒr+FG簪7-VW]m'\[jZDJ@ArӅ8OB$S=?*4}>WnߕCЕ$K3DFΏ/Ĝ./5˿|破s >0mOXk1G٣d5JE;V}(72ԫ&M@r4xihPتF9L=|c&(OC?+=}, q= k65ܣ%yk LcnBR,|T҈k:O~̿a@b/)YKcT1*001ͳqxϖ*Iyeɰ r^IуrA֯ƶQkѬB/{-Z:@ӡ*. #F-r<;So&汑+dʺZ(gWRd&ǬΡ#D%-!"&h_3\!:i e& [Ьv>f:l*LŖa6xꭌ,j#Ǧ| |vglP(pTSVfoQ*,}떊@h :]O  t}^riE;$ ewW&@rIv :_JT6.W՚xzA;yښQm$CkB)} ǁaGBf2A3-p6sqI7PjQ)4gM,qCtY˅ͻM "S'f̐`g(DݖXS,u`T# 8W9y$јzd ߌfG‰~z9x FE#a;޵@dϞNIEF:{35w|A7pPM/?|9=jZٕw'ɫ͖ÑRK5F>QLuSdhĜBaeI3{-S+^2LӾˮ%vJC c2"UŒy!P+i3&S\.]fJD2K2f0ٙw6/d.tO`D4iNdCf ͹7n ٤MP7N8|2švyrb1Bh7$GcљmDUKK_z12{b+\AZD?šg1