SQLite format 3@  . BBh77otableisabelle_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  -3<,T ]/ HOL-Data_Structures:threads=2elapsed=637.327cpu=985.040gc=89.780factor=1.557zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%̸#xFs/kiYH&n DMM0΄GPz;㔚3?9<8^6d:}y+]0!SK@[߯KWV[8jt՚6pĀFo8 g+u Rbr- rS0Y<+łh:&]6x5jtVB[ئrש"Yө|x96}wȍn)ɡ三(@J`Z,Eʁ' cf{qV'dܝ@*ӼB%{@E_ixhHW?LT m#+i;ųo~m,uX3wJDI cFi,d8IEg~^=0==MWȹpƔ9VK)i):RZÜؿB6QqWmϐDБLnrqi2fR6p'U4Z~Z:Iɂmљ{@^!C/8,"(| 4R |Yz֥x[)kecNkk1 R4F̸Ds fPL=pl#f=JGMsN(^ww_keې-^ {D ؾyWm~_Gj ֧|L<o{$_i;'ڌL [uWVd# FS8%l ?eKf'iT?m^3x6Mz$.ni?l~hM! ;cna50Ǝbkc ɷ8{Ihsp;XxmUn&tyiRBvڐ jLa &cCcO]]T%\SְǚޤRO{Y.4}쉊!q %I{N2?^t|'U kH`{rh#hO]v(hŪX e9mȲ"k9Zh|̥[|2wԓ@;ݞ8SRZMґ(N:7bMILjFKC$>"E1̧_8Q$AXmqUD>ME;)72VhhS[ݛr*&;o}2RAC߸.IQR/28#wiK8}+utS^ޞVBlU/4Vk9 }$\!ԀeŹd46فi*{6] y >DNlo1,iϤI[&(>!ySq+!.}.)7֬*QN, HK&^>oT)BP8L϶(K<;v"ҭs 94c˅ l[_=n6)<t@v(Y=<<\3/'\;̣q:*5n`9;S˸CT|B_/ꄑeZ<>>ԩͮ&]3hÔp8ϋF˅0 ^a>7Ux¦Ft^8˫"*;m=58nAGjNus2Ó6Z28JDHH!b EIAj,MWxF|$1~)9kF_kY7ZXWVgYZ7zXZִF! Y]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Z(T)LgK13*#XUƪzNZ3sPҊnq ݨ Iu>@%kne/6F\|_Kkj}s,xeg%6뵲0s1`G'|Xw3#Vq^J\t7M⫲ rr*aV_ GF: =Yچ)jXur!{K$% AcNvllx2BokFnik vYW[WϾvICOh; b%R4V6vrc>q-ޗ~W IR9js(cBBv$u#?v>KGХ#<oݛ[ϰ2 R`?A+P؎R_*4z p<ފ7d u}U|ȶgYZ7zXZִF! 5]ŗXi%96@u,Tg3ñ8lHv˓Қx_4@:bm{|Et!j/}Ə{a*OJL+>,:?ېi .S'(ў[1ƭ%SAWp3aYŴ(rcf(mcJVsPFX,E~ϹQ6Ejf\T-ZAk$DT( ʢx9b^#y9s O?>!j?OQ[42{kAP*l\Pz&9#e|.=>կq:pfR@IErU HZ9o&bY6z+v-h"fhӦi0lua VL_o|ըdݯUё6RgAeKU) '"BY}J ( W%H? rӂ*Q|o/|+HthXoUdޟh2Q!;Ƅ5J3 tTrTKH*.y{ęW@ W2K?.fe}uSM)NkVb++mݞ !GKAnj»VuVVA rGcOS’_߭F1(H^}q/DFfG.cހ_Kəie>珫l cU.;zd I-Ɏ8,#fFl!!:@;W'c`t(g Tg.G 8hr=vP L fǖښ0HI0:#Ͽ ::Rlϝ:e톷ruQ58qE eJ<1Ou+|b~<p{]|#g“Ѐ!Z#VBm&"kRi +;:mM3U @{jm"4dqĻYp+t0Ek gpz͙GGHэKgt yҮ&+HΰpRZHBϹ/ڀQmF` ({f&g?-pClpx+^9 ^$u ^pr40NA~$Xpy YzS̠ܠ~=p NZfWClK}2늭p-A!\7KLz#}ľ)"K-آLݹo' S ܽnvSM _ci45jI`YOJ; d~ƠDHձ}=MQvѽX8}糕n8[,VLoP$n+@?|\FNXؿWVvgd6EQYz oŸ7b@)seʛLw~)c.yuj^?tʵD]X&]>bV=$ii~?H90ˣ%Ὗղ!tU[cC<ɮ뿥Z2,n[aHa]v+hXh<@mC3Z+b%W԰p% E`kJY:\=WD-j7`aJ$v}CxCIkG Eja6r)ݓ9ҶpPtI两qw :fLiT V~Ooh5OZaŎF)U)[} za%lč׍,kk秈f Iۛ<`,t oLgik$<}$)ݞL rT&q6)<&v@ 7 t9S_^n)%)eb%g"r #a! f -a¼؜L\Ffl1/x~Rv&ti(6r4^Nj>bͺbpX^UtVb;'V̯CEY A\$uEbaCB lq2lX,; _M+{vj N<9w̒o3Lhfx .h5_88~ҩI:y:/sq‰ŋ{fmj-`v!jF6Ċݢ~NAgHl9#5az}\F#r5EQ]Vˁ6}ɑ1"ɝ[װCT*._Aut{w WYiFH"9~%PXޣ6giM+:pSgq4@aGw+k3z e"5:AU#d/c׺ӪgU EPuT9i@jƾ*Sy_˝P{e#@(Vea]!HRFK/%~GZ%]K (QȔFr!5dNJ_t#2 8ݽp~r_l-'Wˮ9QG u% o7\g FjmMjI`[CڦGur/y5@1wO=+ F0(땕._ng[GaN yŻbHcDI n.I!pd.ʝ*UPuQ?|2|´c;4%CRWe ((썯ǼB$N'\|[: m򨑧8\\_gD"(3\_lZoE=S{kȢcl55 H-fKՍkbeO6{c\[-Fs)0OV4y?jkY !K\'?՗8 #᧏$<{{E"]wLh)_)18O7rޒEzŅZTmPxи[|iikQ뛶٨b,Q e[/1ܭw%8 ktE ^/E3aj)8S8SjyH \J#מ I$~00jG(QX ,ZxNoo ᔔ1n#1XXAC]wmN]uOáHJ0d !٘/YbzZcF9F'‰xJ)FCh> O :VXu+uRlH* ZWHwUanRԠ*jesi=Z>r8䌹;uTa :Ɂ v0`6ÎۿD)o nw02eȹfeP~Z$řIO1Keز~ ŪU,q7ݷ 2駷C Beefڥm$vd} 8 VUjYdI_ȹ6j2 K<|HpL0:c# |n,Vr!`Tm}"tGVe#?܏$ K_*vվ4 mw Hh 3v7/K7;ӵyeeβTz\]4+Oz:O^r%,Rt* ytz*=EmʫjQ7ڋ3A"xt8t7MK@,!KŝI{b~j@[B>mAE?2"' @cˑg-Ngf`#vd]|@s C88SðޣF|i4Z8W+i169zoyECzǹ??j7Bs"3 K*[-)nXA:^F 6+l S h:fPVS;-OaM) ѣM-*u+.wڨE2;}H($gx,|@{& PY75 Gb!d$smS~dG { f&AM%z:UFi01V! &R@€B/u8"-P쎑8Ȓj֩NVGI2%u[b2ӴߺO15X@ӅYtnFf*̌!.BcDM6ǿޜw$ĕЎ?k`#%= 2â.vb$8d KPD]I 7;:`Hi\93QLKR1 _4q;876/8UAmg3_I?~`&[P\)L9 ;^AAw{ԬkeyIQyHh@gؔ' ̟M0is{nwn*)9Yb $VݷzvVUoƴm-Scp'ugVq-4hDX_Œ4<]J.:K۲aKjp[Ԕcr%+wc;lN[q?3}t:_7*V9udP{BRI`3.'#ឍT7#1D).v3c*(ئ b)<ؠPڑo(*x8} Fq,+R>/S''Oy ,kdnLf b;3|;j2J`KDly}rTMIg y.wζ^rdgڟD"/yXɠ Y[IU9#|3ǁuAHMԇInU|89նd $&[ϳ-opC_QQ`"M2 i @p08u(H'Ew[ib͚x HH4&z_r0MU"@j(5AhP u 1r mo*tzUAH?u Tдn5 DR8h-k?C MyzKC Jg1~q\EgZCG-k\ektVU1ӾumF[|W_.x?)?L{:2_׽Ğ/A(LN ʶK>\C0ZB $3$ª~%"ln5ҨUxQ6 fewk*o/7 -1Y ume^E*n*7361FzTKo{4v ZJ* P^5r^lI"5H~Xj8Px~gt o? H]D ڢre5JӂWHΔ-.?MJ|!(NqUȤs̶A4S']z?6!f(+upJv#aX```gds piؗR!TUjQ?e/P;nm5.SPHT`ۡpoL̀x 鉿 TS=L{JX6N:~1#j#˻>>K]O.|Rk/U4͖JV?ឱjTǿՖC*d~ ָz3+~Fp2WVe]L跪F_BY {Q %#ʓnv:NI]u Iip:ek@ F?0HT2{|w\PZ70BGtcIro`bmD#Yv j^X%I˴n5';YC Odu )ptzFt 5G̣[)豠K$Ep2=!WќxU`IrѬ|O~f\ vЛWO.hr|ukkͰd,9vW1:߳V9?*7 9)Ad0N0#1aK G!sF9=7-~KOh*}coEgmS55 [t=Bjbù)4Fi "x#A>\CjiRRd6jDm8ڌ aq+%PL&C \ r1L67uoNZ-ZvRy2C'..٢fn=F?_daAGPZB4I%( Hם@ Qa9ufẆہ.htkMpIdT4 7Kzɞ /vq.XB @ItMVYM-`SbBwnm3R|kb^_a\./Zj`}Pi&NcrnJT 4lĶ5jGhGi)iHEuY-,N1r=ֆQC*XNwQ?w?㟣̏=#4'n+`8gW^Ā3$Q:i "vYLUZxp[lF=ɩuY%v_4 {y_%}D J6[z5R6H g f,5͵%oj%qAc_$)ua3dN(IY{bJhFhxrfbY/ 4Gl1p4H =Ŧ4:2mi}Ix9,#۹/A €R-4z1 lA$džn~d[.GmfNcuYԉZ[j^Mi` o5\z~k3UWYұ`ͅ* СhP x `$csԾNr+ϺvDAAbm{‚% C }P7ɽA0ڤc_~JOx|vfSLqh *nL/2lq(&t]:g<{}7鞯 e;HDw|&%苓V UdhV.=ߗl+ n8m"xN|Opm?W5*kt,N4<{YAC; $\o0"؃'3'~`13MNYb=C뱶U;"** Kl&?QNfȢ)iݒ.Zq:eK웞d$Y$GIn`r֦ɱ1K!+/?KKSCnophf Cc}O#U<:j+ 錗ImiS9Ѿa&̔Va {,l>JSMYhN.]8EC54k^+ΰ3O=P3NJߙ?vl$X#o_!"!{(S^Yȹp=/dQ+;Zo#6,瘥|ihz,cȑŽ.D@E*C\/AF:WQUʔKDPLu Mq䓄"oY_7ur{$pTk~+x )-Zt\̍Gk _h:JHF9ӷF *ϳŬ&7O6 X;Qjeyl>r;Ac?ӳ 2}8;FizU-og]%N*`hM,n[2rv\%Շx9H߯y&yC7\*SQ笳tFo%?$޹} LM _MJK}75܄)Cͷe8ploԟə+Sd?I|>x *Ty23k.X6y ǬsfK'׵QZpdn TXA 6G񰁸!^ϧȔ|68m"?1>Au+\+]A$cE҃_?B8WP)sFۗ{P+ ]Ɣ?)͘r1S I~ײ[+]R[,M:*ԕ `|y6D/.=R3Ok+xbim0k q+V*8|Kf/~q"}=ϛ27]5ҌBi'lujʘkug|F"Y#q>v˲o# 7޽Lu(U>0L{4=v ;<3Loj8;W.p nqҥrFּ=!TxSIG;I?}*-C?e{1Mx#MrlSZKra- 8gZM NNKԸV(^Q Y\XƦ RH8~oCHc O[M `Hvr% E`YԨNe \Qmgzkd^w>/\pCoPGnJLhOJo5*ϕpG ty =JB ](N@s7V֝'*4#zGMݘ 8 sʾ lfAҚwOϵ9W)[(B.,I{_=Tm0U[5DJP9+AU)dB؎ ֺkOkooIwZhPiMG34?;jP MБ"3%~ئ;S%BZ֍Y gZՀQJWJVB2]|% a9-ܧʹ' ~=BHk2]9⿑{[|)xCTr&v9orIJOdO$n>%I*_O-}ݺ3[Fn&Zy5qܷ(oQG] } Hȷ]z /5.T D.aX\ESkurHȤsuL'QØD8&i8B:GJ+tV k+&ETX(fY6Ą@ i"xĎ\^V(T@_!65 ną ڹ?kS϶Kn֜Cc^dz;ާ֭.ŘIY1ƪ )ߖB3hkO 8ݗQBWT$oڒQJr˷ՑݡXc"NP1ߡW)ZZ%(ۃeP(?&pc?# (l CuOG1kTkt?_7$%_{\.li_ #7Mĺ&+F|KlP(`TpC:-r4ދYON۬, ,j2 m50Ay)AՊ}R% *1XV@KoCG!:`;Ғ^ɊϽxB*a˫偵t =b?ǯ)|CKAer[u'K,$3V[L>K.[ZkGWtfbGѡ[ F.WbI}*^ s" 2\"wBNM' '۳nq D5QDu$iF:Jf|:b@ySE 3aUd4"S 4wNFc!1WY%ss-C0EUy8aDfD<詌dOXot91 Y0 VWs*xP8do!-8 VE.>y +TrnWns $v6 j<6L]VMe.t@+c.:Eu2l$\oE,IH#$Dܭ .%:G8t*Q/M=g=S, =rƥ;za0p 3&QIBkeb1ߪ-!'\!`Hda{6cF3ENqfsՓЌ}gψ9UMBJ9aTq""3Y _gMDn;]uїA SHQ߮ fwO=᫻(jGivC{W=o}cF}qU2P[;|UGv}(5S]^݂NũN]%?-pVr*= {v"RElWAk+z0-ZqN5<6 c|>,{UFW1ʦ#Bߝs%}W*\s=>7!gv$JSzJ@̭^`\يQJ3T UkףʌvrAU26N u#.HugvpY j~~{#6#%N̹I2a.N0- ^8*l ;=."KixPʴ cFI=:b2dyďXLM`맓 lpY*yo7LY^i  mf GRLxqXr|]P1 7~vhwc4w?Z]Q*oEwls-_A/1'C;=,<5`>9Z2x[ ]F' Ũ7bi3Ap2u8ϳ*1 qlv$L5RQ񲍧(GxU, sH$WO[ ~Lހ+vRď"6Q|}ٽD/LF+φ%!:BPlþ{=tll+!l5ϴ_Vqt\؅i\UwܞDG MsދSGguI0iGᚽfM3LfXɪJn r I'wp73ϘNyX%zTcmNB-碎Etrq0)6Jq<z[}.LHvMjvcCieOu?PVb!97q FoQ2ME%72k%Uvz7K#ЯY]ET-,cU^?M(tTvH,U0ߝ8K|/D~peɇy *ccLvj8+2@+ hGDenTD} Q9^/'rwzn*QI# ^P${V)o<&lM"O{4=a(JQSz\ζ,?h(`)nhe`\Y a qЅY)\qRLRSfo8TG{F5]JUF &=cQZf4K2vdzKŃv7v"ۙ5%6onsPUNhzlƱrߩ![ *h^o=C^rF@i'%gRQ'komb`5rM*`X͘B"v"Z?)(rs7V:TJ*]X~S8# >qi/tv|^[/m2Y,Cfb_}#ᨧM8<*`XIhEe;{2X،gLXoMjS3&7ѦY* jƧ!!{+$m6]9*aEGBNC(tV~ PЕCjD/"5 ~sI|]^ϤSOtwX MU3~f/9cWzMmS)g<Ő[isCc!C x5s;=Od-(: tG0܀uIh 2]1?:vЇi"UD)ߔ~'VHWЕ*A _˾^ݴ&K-fItq[Vn7e&(PEdM{ ݮ*ҝruv(6V1b aywr`cqTyuP{JG X12bA֚lL{h'8UP;gmA۹n- G∤r\Хܤ=WqͶN4rѣ;Y.9{)STcW5Vmp/OcjUu[Z)P}e:zRt=*F=ЇV ¬A5"Nn D<†E$^* i=Ȗ9kdl<oEҝwwALB;諑6W:;N3\E[LdVC刲P$p  ϷK1*L8{uXXO8#VASo͡YdNqÿ|tEe[umUSoMJeۀm T:*^8; u$Sw7 8@1fxYr>s;,4C7#! Uf5cik *U$JawʮHfWGi vgDBM3l* >XFU='\;{fg6c gzm}`T@痰?9\*⿣-MJjc!/>Sġv8# ̌$~[5IE#D{xp"WC-pҚ ^[pM%ŸBޯ;ՙ B"윻U!-c|/.+E^+pHmt^wɴ3U4H=5gIRg|J;Vp |HH(x7/q^b yS~p|]4ѼKX+G\u m$ &]ZtAHi=k,{|;(1qC°nzdIVzs(c7GAN`?hwXȴ ]&lP" :Fapa^&(y-YO/Ʒg1t]z=TOJ Bk4"0ޡ~51K F$ڱu]޵mVeȏ=l W;}Ź \?27A$)s5 Cx}yҿGㄳˆ$Z^7ak\CڶG8[k14+7L<.Uw{$F"ud5!KB턑Do^>P({ҳTnR h ; .XcDWvlW괦^wSYd}X;kv Hl}03p$mԔHe˥g 1^!빛wO+ ^bs"JWmYȮ]rP`JmAG`sa?$iƇE?M }9?{ZF cׂD?xEpt5kElw-c2:T8ԣ$yq)i:ԫ߆-c+==Q0`"Mx|V0T.b ܂_);}]%ՠEQT,J#DZ]NpI|2tM%= % 캺EDOW`At<^t{;:"DrEkMC ym?뎋e\! BfuoPɑ~t2sq vI/-zQjb9?؛yɬQ&tt'z4=PSy iC>Qclmf=q8XwV&3Ч[3Q.I[N6⿻v2R @$ /rlQ'-dUW6JP2 WBIΡ!qۦ T4ͣ@:9 t$7l<[{,ֹƨ?]'c>36YT\g'MU0Vl]Ԧn9>lшJHol3Kud)uKVf/im+=T ]`=Ce"ȭӥbR۱}ZxTqST=.EᜌV H#6 {9A(Qs e[l˄)?X0n6;cp`.c({\t6uW)e#[6Cه&' z8]8翨zr 7f\=5m/Ȥl8l>*c3G/Ї5)nwșW&Ki١uv]n:XR,èGR?iEqPwI&Xvd\Y1H51xY\16od xP7o"*ѻA[{{Co9sw&1'U{Nc&N3Yk(IҜjD㱃'9!"?;& KfmCzۄ 'p0X}Oh } mB${yt$e $i)g>M/V $B́Ή ѣuԈ%Q` NYӾ7'6R`^Z=K6OJY'pK~iDs2P&b&K<⇛N}1q _SA4!?rN҂7WUb MƀG|Zfj|>> :f+F)MEEĶ Q`QGV׃(4/ @{Ez_:Ǎ@nwlQFIi.Qjoej?+^#؈HRf:[pcWZk=nLu[<)~~J[d||& 駎3"GԙcB#)1*zyK؏+wv VǬ=gi$%>2B^7 t33ܣ:±lw'R?%Wo3|* ;O[tWQ~%*O3-U26Ol[ ͘G>4*,NfPn Ulxg)(i*~mGg9|p˽獒bGSl,EZOcRbro,hX*Ze46 ,8T̍7-s* שK9GԜv:h3Q"g +7i,8WzKaq0#\pBf'-CTk.t{Sq{:[ZCRb,= -߳x 7l7~cO*~1߾.j#QS՘i t)ĝ˟jBAQ"3h/zOsm(UDQj\@m HgBtlx"W>LA836I]xj TMLr2rLi\5SD ;P6)`Cn'8 Ԁ) &8c۹8TAhA+,CQAucoKűE=gmd44q[Xmvh~994Qcd'ʗҷhZjsP6G\B?#-h6d|MUyUL@L炫 b! V:!_gz1g^Mzƿ|pxeaׂWS v1ʦug.k A%s`sW;jZ Preg;椌8ksDZ0$n0D'Š>NBA{&Mz8Bp[f|)H ?{%[SZi&~w#R'c~ E8G=!Tec5M;󾱱l[=SYx~ Ta'^Ԙ7;Ət2cN璳r̘v=a{4$W2+ؑ$0Qp=er,4B*Z>|Q zK dYȽ{g&IIN}&XaM@'Kaq┝mȶ9¸Ʃ v~k93_tʀVg^ΐ[|boF4{at)N[ݗ* VS5Wk[M]+ ΉXp(UQL3%9o{㑕$LUy )>\? U9˓FGPZ!^e` hu?x E<:G6A< 0R<ݏ \t)wYt:{T (f,[΄),a7xKقAa h_=. S ŽZ5NڢM'nn4)HW>Ⱦw@'څC6xSYJw/U ;*Wp*%23t׵x~Ő-(|Rb#M]^ö:1 CZs|-ԐV0µ`dRMF|\a@$prw˅۫9cV6)ra`9t"݂z<5e8v A* Upi'}\q>Ɩh%ckEs1gN)6LV.i.f2 ߄ @bZ59mQ& tb?\2Li ԵCQ21VkVZÄ1x!nj4v6Y\wfQ0Imxc[d+-0L߷2OB!|=1-|x'7z b]9~޻SƇ+ݓvxJu"H~3|Cv Y nZg΁p2~b>ϓFv&aHT؅<MŜЎ 4C-d>أM:)zPڷx (u[A/߶ȩZ1rE~ lk{%B~u V ^: .Ь#K;BV L'FfW}ҷӛ*р_>=f"e&jC mð|^՞qXAҨ|_PHʊS>q1!!RKHC-7a{xwM4{,`bş?wEQQKFd)m'wkK] x&$ԁ>2daKhL$fxQCToP5\v|%eD $t\#|ꐕyz̀un?:"CAPRXk 9>TY݂_] 띒>AS7"g<ީg.6-o *` 6Ux 3H2 EU[ +j+|F}:E;='ל QUya(ށo^a+ _ˎ9"~WDQswX74Mk .κ[wdLnF0k8gK!g;QzfWw' }]Bm&tKMݡH{oqf0;9ԩo\j0,y&Fk{Э BWM7s2|y0ʈll$Tܾ@zcZFfө͋έjbEO&I(_mԃ-d1KlE>er~>sK$p~PS=vp¬ȞRP2}W,t9ݝ]#O'1.\W<"wt|WR8]N-e[ XFMdvolo.Y6vV{̼  ocLA!VI6?fx*}~6rp(='^;Оax%7*7g1 @部et 2?=%6RۑKF(Eu #B#6El)8JNw?B\6VY|gsg(n|v5CG n K|H KeV~:ogpgX~^Qovm i 5•,ʧN݉`ã]}~0}\/CDĬOO CW%76J|K +[-#6~Sl()+JDĞ 1[osA/m72=5FyexNJ<|L:hU6GIQVsFu9Ӓ'ւP8K#rRpHWk i-Ϝʒ3IN(uXb{ CMձlܪ'GnO(Ju9=*] $m?Oq4ׁFMa4T%Nz-D7| ^T0TP=(lRurG3%f~"E-cscͣpZYK(]<W #Zs{,f 6NĘ3jiU2 \!n.wBHoy= E;#(ӈlgYך?R*d+yʝX+85;"kLl$7z$&a뤞LWͻIR ziy}Y}yViz)o(C8GgWhBF/^<`)^_K.0?#U*ͷ:7 ]b*]yC("$Me[# "%YӰ:ÿ]݈t:w9nnEw |:'!D`Y^+ܞ}lvC︴v;L @Y%_)_,yeR@o(}Z)ߛs--A"8l#_N6{2,Ud3P+׽9ĿsshVKr5;>x{J zZ )e8O<00Y]PAk؂0;"pń|'F7eulsYÿms᪢[S'A7eb^;KBm[#5Չ#{jyI % i.YpoU|wz+&)r?ͦT B\sN= ryUB^?蛛+:~!VR! v^nL[eR;ne6DjIY0B('σoLrs ~'S8\D*HOcJ5dp7Phxjz)a -2#@Kջ:xq4m>n SGQOͨraº+&=r!̜"+vKo~ (#SL6ԛ9 -u޷pV`,vv"F%?/S7#tz9!y-y&EтnqibțFGVW7^fbgaL10΋MNl:r; rP14HБ)"}2bR GE@ag7݊p d/WJ^ۘJNST`]ɤOMSCN.ej;;.7~vwܒyσKKAx2b &p]b r+9SDimϛ4Cl0r $o񸎝j`|4Gً"Lg ҋ;smo(=PYޓ8ӉRnl NxΒvIf @#`30k#=b*o=<A=KBTM&5K ~&URRRejLGaOZ-X,z}/(옛t$%C`zO4N%z]1m8,O5_h. 6:: g7Җܮ:%&̲ڄ )3Óv_ T^75IQ`߇O?Yټ ސGei/`mx[k8%q4iKE> o'{M;5TqS8}VA\47Eo}JeO~Ic ๭>(O[7@xՂRX3)xM;ڮU?w