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 8%,\ ]/]HOL-Analysis:threads=6elapsed=297.099cpu=1324.408gc=94.216factor=4.467zXZִF! X!E]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sd:^mtLbX`6aDZ?`P%NCF::1*Y-02Ɲ P1TQHlS-kdQT)3GOJJ32t+Od~ݺyǔCDU Ws*GZ-E1ز~H Ll(1y\L.P8'8'Nr&F*#H@W4hH,6 ?Y8@]kiۧ;"dCpGAYI<]J9Oa*e) &"%JF0ES"H+{!D;N#i+U@ސI ?wMXUh"?7^6'Q*}˰;_KCGy/I/񛞙:91P~/o餝3i# stc(uH#cLB8= ;M"tEqM9Yi>!#ޱ ?30:}^d|6^ b)2uG"._mSg_"$J5 Lh 0ACzj)%MKK ILON$E{6ٵ7SP+#9w_ (d Ee\p"%9(b')Z(.g]ɩ5E>(8Î<'A6RxQ1e`/ߞt?x_?fn8H\{g03]w=(X֍&}ctVIE:t '8 ѳϐGKFE'{MB̀I);7;3y!;vOPfEh<@$iUJ?{ìONblx[ֲ]P,3/8r (ą18*K[f"9MXMŷΡ@:#br(@GX#^m2Y8L`)o%xgexa֜<Bq.Z#h-s8 $z7jAt)Wk6>7! hyql}"~Z2u*Ry$SIPEM#s'H88L4SF{&wƳjBeTV"\#(us_d%FGt/fH~MdԱ>G)\dhPcOp Cő-'π'cZeiijȹ%q:G"|p 2+Nך?# vm똻(0&F0 0 Ǘ//wyڱK{ǐF}u[ѱI#y|Ay+{Aiz0tv90"1fHI`+l!,fW+j*d[S!+r}_2Ыx· fvvNQOXrD)NUs0TGbU)lIL!aʷ#WF5#69bVeWR{Yض=>oX"1f"qgy0Ѯ(-jT-Do+b6[)F}nvu"c,[Ǟt9|L:9)yqEb3rR3K^,=~|ӎw t#C9]k0bwkOތ5ߊϾg! 3iq=zڠ];1Q3 * P4%@b5t4T*xم j*R&PuT$n&$o)w⫚+ I"sʥK$ܨQ?VΌ>k<+?Mc"nփml!.KĆ5q 8[q{ 5j®4um}":xs0> ۣA4WD;n-ߨbPD<{#*[ B9Jj{" }%1!e[@DmZ]-} T<9a NS[KkJ# ?yyΨ[E\W'ifG џpG~DlSЇss#bʆ> 20ud, \ˊhL6H-^[t+[ч0ydlec^4x}M(D+㨣%-VsMl~@~  $r9Z(gdF_F܀C9`3tϹt:qٜi𐿰MDއt-&{ܧC0[\;.Զ|CSjJ-6hpv([լ!>fW'nN"ڎV!eF,p(7T0< y4): b7í|qqۻNێ)qsqڕ#vH;VDnp`j(cc=r!'T&DNBA"*FM584EH GQ)/ 3I("f+*Wm9 f 6=)H; d(DC 5Z$H3e&ƮD^ ȃ#MzQ5UJJ 5'7`lي?j\y d|tmX;I&ʯF¤p+9;{,ԙ713)bzPBSVxī,\(e;v Jǻ[}/*HyJƠE oHPj'` rNV396dv~a5Qڴ}ؑ=%c/ֹ֮+_(\ ay '`tGt7mr B1K;!NI>]m(DϥI4B/XNVxkذO8k7u}6$ihˮkNjIiCQHZ>q}sύn &#t90rw #&Tշs9~,3eל9oG`vr.4<'M%w_{ y/`?Vye {\hAaFF*Tm_ف$Uu,@cclzI&A,ޗpa'udL#ݽ߅4:e*pMHr숬F_4ˏB樺sI pe sS]? X!dB&qH+ȇ;dDpdɍF{XO{P36Xa`P3M^ -&@9Yo̬GgFp#ȏ~^i%nPf{2 zRW3l;m(צDYQ xU&߇8.Hµ(([ߗ)+@*=DRxwifN\jV=L:ghD#.=,X40~"c`:a#PoLFA|M.!kÊS&[&~T 37^hN/I| [/R3&rԛ:f/!k[嚟ŀgg*ω>.\bL t@r5J]*@!@JRW%W8Q Nlj <1JNF7t)Hq( lJ~se)ͬ)+}ݎUi1_kpsH/c=Pdb9xֆsiJ^Vy5ÎAbtVN|Wݿa?vbqׅP{ 1TL>(# @b n!ƍa*'Kܔ J`:"1h|äpfg%=3lc8>f "oroTMmp* ^UqWx(|CBqL3} ՎD3^\M7B%OwºV΂~n$ h.F<.XbCb&Iu3xu?o@eDXTjegmu!DDm[Kg@(~dP~`ŧ^ !C)AQ390ҨNff u#ō"$M6N:a47J.ծ3lVzlo#K&8o ޙZc[Է}@+.v!A,~}%#iSWڢ_MxeSwCP0b&k~cTONAhfjs!LEH9\X^;$ VUP .U6&H0ݺS+E;xVSH ~C-9_v_eBfbL>G `O*OO@ׯF;<)?CyO,Y}12Wrku 53#Zg 0)O}LXJqA-@JGvgh@*y,؝Vϼb)g _"\9(æSvxR+; &pl"c zV& )+ A, nԼ٢!KC,.tOG^8CV75ڱf|SO`kv#Z,&Xٷ鈷A{j 0oTj=^b)UIn >Vĭנ b'嗉EszպhE~V%JE<>݊j)~6jbdOY'EEJr:{F4Fc>bݍ S*eߵ$/LJz}p" oztFV6.T*m4K,%/j>F{?)"yT3/ڠ*at>p7qAvmPkv]NK m r"ΪZ 骳Oџ"O\^7fqMvn:e'0f*Κ5RZ(M- ,J%;W; c̃l$nT/*{K ƖgYcXئ 9Jl|mch$->Y;6P|Ij6&/5&Ryk#sÈ a'E'x/i*1x]V?s[G}ۇ;-\ K<-9l(] V #nߥ?m%m 3hɜQ(My=fZlmN%\[pzX7c 7|ᎉΎSEzg+#sE8vn(ꥵLQ:nc0kg#C3Sr%ev~,"t{k ɵ@Λ$}ڛ1q,/dNZG"m CEے߻D^L3wb>Nv c%AeNU(v}E 8pɖ+YIgl'I0* <>dE6V59gER,ë 6?qܦpSqlfi.z>mz˅b_sQ΀ '\sm*x14fe1#s\Mٱ9IMYyJCe-=8ӿ)Χ<"AUp֕IqP7ul,2ϲzDZfSHOw=,N6=ꊋ؜ٴ06"棧ΪY l/ 1QՂuid %[llƯ%(6&M $ɻeEOTSQN܂.ql|UYniYYgF ̵o(P7;&*Jb'St=54Q3lAs #w=pN@4fΦ8Q5He~7a[pFuڦvVkToeHpch<s=MrNMpn[z3`02No|^K ΐ{]K^yOo$U,RK8.wtċ ,6Z#ґks|& oΪXy#xv#\ WŤ4u=': @##ť൭߁.PvBLF@ =]9`s% s-h_njx~f>oo1Τ-==QEF,Q=hDNI D^Ȓl=3Q{P;n.isQzV扖C׭Stt]0,%kR/LCQ[=Zy@X~ #:F$W*DžCdaA)cNJ'rdƚ pY%!GdsxpUpD٬rٕf&Z$J&@s9| q XI=~SE*7*g31M}ٖt4ߌ_ˠx=aۯVg ޠeLǮޫ RH 'R8Xӑ 6o<٭h94DJ N9"D! Dp&˵Ghz3F:Nޙ~R2Tho[gM> b$ŕ7G!JșV+mwl !x$O4ׯrO:F&I #>I>ƓQt,Ԓ#^`Ze@Ӎk *%>0qvSпO e0{օ?ݶNYΝZT6sָMzb8Җ](K#Wݾ,8%9a ˅.fFΞ!ZO$PZ"ɓ~jR6.-SyDS< fnoiQM5 = 8Ð>)Q%}c+n\dj>+lx.;EزOt`Ʀګ-!*Iّ .gNfmuL ]|މPfBF}O&( !4:5M\tIh8kl@ 7+FK :a&0beÙb*RFm¨G2fNU.;&7uBf)6kDΛ9OX2*e;O]`UqKif<Шo{xFΜVn]ZDb 8( ]$qm\.e QS/{wt)ϢFdn_{k!S!$ԕJ#`hk\ϭA]t@dAsi2꠸ (x`E}g2NKXN""#K.r/`}H]3Ӹq`֞^)Y*cgAOb#b l/d 'cK)9uf)lm-S;_sKgv""wB$:?`<*3$W饘[񾴭%.Rke|ZR|si#_ Xxehyylnœ0 >Pȟ:G^/) ]\%y.OxαiwCίСbFؘeNeS͏-{Y)MB׬RuYtFd tYBuoc#2=ieV9ڵ s~ +BV\\#KʦkƴETD􊶎"{5Յj_=Js>Q`n8<pKI" [)B OfYxJ7` eM3FcS-XuVdn>Tj`\RF7 qj;@oF0\Hːa,sFx(o۴)?P{'Dy4JFͼ|Tjpo .K*G1jۇ OrCUVˡH᳆9Kggm#hIR||ۡV8bK(Ss(B|DdJ +j0ï pux_ZϜ*3U1VGͺ312RORi^@E э*.Ez~25ZK@4l:{iXt-e0%; )Ub,8ri8;O"mȥ%2XYf;=|W$~Ffa J:_?`/怳JBL#U*OA"yk& d:3k }졳ܹ2T[z9GWa nUV<]_u7a795F+c~ّ-=@5# &ø[mf>C^ݿzRkɭǹ>K(+poY#Ϟ}SvS u̠Lxb07Cs{H<}mm 9 @!Ď+XH"UH) hx(Y%J@=ee>}˂<_]Ut:vo8}\NߋYe`W-D^mA/j0ORwCP4t#^j mR<;ZK؟iumUɱTZ@g H Z[L,g3ʙc1/hP['bDgReɳ=f j3hD_p\ u8 (q%)9b{ M/<eoh(B*<]Z[6ʶe"&tZ gыLuj5^vlk1QS+YW\H|t 7o~_]i;T};L!.h 1bmnK=L.N5qP .n7e}{ COMϢV;=>3j<W bךۗse7$QQuy91>Te%=bI|{yD$͆،rMQ63^'{M"EfMMC9b: =ζdwR/-XGflsUNZ\K&Fc6Wp:^؛3gh* Q$t`o[E_;ri([Ӵ'?lc r[RD(1o{Zվ M./Z7ON5^z7)= 6EY%WL!etl&:.)WLٽ|.pPe30`Ymi#~i%>9eeA2T`KsL?=FŔP_^Li iZp3{^("WC gf{u\8Kn'_QS?$'AXAaW?rt{m)MNڒu%n+,؉B jRƝAen919(4KGǀPWZzNa7ExQ2ʅBPG1ۣm6Tވ|# [1톰XS p$Syj#\91cD[МgUA `C3uA6R983('1wnO4v}, x. UzruYWFW?FdzT̃4Y;&3c"20pXS]}>JH(6Q4[Um(loBMՋcx#JT#t5q Idi'`WM%i|d \5ij>*䧚j7և͐c {g"i*`T*yTo Pm4 4 3MHQhVyԊ[u*i_|BUB&FX22̩zq"Tpc5`*Kbۥ ڵǧsc&`3.%H5ԱIeQlpe+SKWS: Pohdɰ- <#ᒾ-t͢'Ǝ fAe7g-Q?=ѫJ p! )yӰ,ܵq ,@1D&hkI~vu,*֏m-U Z-b>m-{wM fݶڝ~3_R?vIݡK>iƘiOU0.%.LW}`y@c.1"tʁR~S{AMF ~YZ|9Ke=s|ˈGDoHDgҰݵ&gIesug 5_\b5|OLCqPgYZ7zXZִF! BX]ŗXi%;ޖEڷ&{>'ϓZhktrILjZ'X]1 `A WǗ,5[5H"fڂd5pY.qkN#=dp *ki זَ0]PF'ϔd xؔɁ3/{.{\SAOٖW2JO:`(#y>1c[Pp+V3%GC`֖cO9~/zL(zra;'י(O2:\& PXyݓasˣ{2}Tij& IsqOEsN.)B?(}:] pO\ +Rǰ3ˈ7ѧ%mgj_s[>"2x@X" "ކ/{'9r/yRKҘ$NVTPaN 8W"FFy=e\(hrR*g3C3cVn{$E7RjRV2<:{2i1Ik8(*4}I$՘3qC{Yn~Rm9kwaRyb~i%,T\-NI/ɲ[_"͢ 4V!3gk/:c%5I"!#/Ek꧓ 55fi}F9D@~IYAO)GGjN_]u~.r iB1%t8oW@Y`׵fG-Sg+~b)ϰdQ "-}RG"RCr_.߇tO:3'vdTwu#ش`ցk jZ<2~4<*B%Q4׌ ZCO<9W#eZ۝|swZE+E[¥WިJzr@u=X.X7[+#6H!3pTm9-~|RImInXNC\m7NO ?+~_+ikpHه -m;&2Um'*g[a[=B4 *D;NIvU=E #hP/d&Q < -JiO˼%Y?x"NY1dyᭂw QTPwKNLKW'>|F-Aw1"I^(u,B0H6(lsQ3*i~l&PvKI ?GnHW7jq-G@Ӯ0:PՉF1+(Yownkœ1, {sulkc >gIķxs>,@odO$M'<g ]pܢCBA.EoS*ls>p/9 [N)M Vx;07gضc7݁BEi K >|wla50njmgz$UwM[ GNLۙ[/7G93D'4T">R,t,u!S.pOzS7+#  S57.(];|5uREeQ੽*K? ԟTL:dx {K.]0|KND# Eq=M|}NcJ\]0 sԼ0R`5urYzOrP^3|fO\=%0b`r67Um_m,`gb矔#,ҽXp$R{tVcm{ULqO_4>(^)ͪea/X<ԨVgWUq*اύ0L 5,ڥ[- r8[`_jI/~ ;[ӻM:KIR-B@JC&uLZhsw %'.`:Nx)!jCJ4 Gga,]i:=]0@H8fIJ&BD(=t]z~SIrx6%:fnarXxUYNRcހj fl|jOh,TڷD(_]l_DG?'|J_PJlL=TSP6)#3w 4a2k}Uۼ;1Rv@`\`j㿢KQ'[ d (٠uֆӁ̠MK6oxs&R v^٥#7-w=hB0gfLoI<ֶWYϜpЯҠ0fPeUrU{$`MV[MQYz v)zm E4'r@;WbbZc Wp-OL"sbRE{@[ڶzt .#.#a[/ >#*H:r1K2܊X Mzi-E6(-~"(:/?jdVזHYftCoFh;DVt3qK)vbJm:9g#ix0FrҔyM7.FջL.W7g'j|o)vwݿ~3xt~8mq,@y:2ꖚr!y\#DH _k?MDa܈$JI5ni-ٍļ( Qd^2r›c~]oHE>=55 aVmi}\.y7 d~Kmʠt8T \|+YSn7&sh 1S /`A6e Nh Zl-k6~-8~-6mo "O7C=DT=r"JC$_8NY\"su YpPӁC;pk,]]&&WaR3]2 DC^f^J@]%ss_W/%riO2[6.NԝhW&1Cyi>l c`ΧvҲ :%D6 twumHju+3 On6koK/=X`.znTA``-C ;(=*`GY錊~-˟ʳkNa ] #`EG?A;%ʈCvm]1 cļ hm-Z71.>r4b/a7}sSg=_WNo6N^Gh>(X5v>_qqE{L [69CʿE9=+y\Qx`9xi#L gdG5\~c]Dyv[zW F-{6#ذ%&*`Y eQz^]Nj ƴmD'J;HGIJ TE 3iUD:TimCxRr|+$R 1I^C2 %;"mCV#zEbVxNá#2*ƴNFW_ O;kfޒM)/F=d셗OmsFJ"2^+qPOE-j~Fq ,TCZ"J=JOF:gפ rudX,|&Կ+/sQ ׂ/u.V9FcJvPVQAq۳G28hIFŨ6xZjuWk)c&c@iy_@rt$"9 5 \m5xҭzr r3K\`{ѥ#nxC@뚹)qQC˺aIij߱b>PɱJ*q˂DʭY[>JB]@by pl6\ *yrYujq]y\K97'dxF?@'mZgƌj7.rjH 'z wO0h="ȨQ 51߈[\_R~[!$h#bCbƠVMs4RZ#!ຼ+ Dzڰdc  AK3xϜ_@>-gf5]򵗓ɬϤӂmxְ̓W Bc IКK,Njㄥ {A5 ok.'_~k xt@vb]+f A9Ofl  [n,5Dԟ "}w˘v;Z١S@ų΅^PŴMJwσQP'Cܰ WX]s#`7OaFe'h7N%ۧCawi;n7c.dDTA ;:'z[扬fKF*g5Yvl3M/@u"TCAeC쑝d@c~uZFS#*C%;{3xvۡ=A%,z/whdN;-v.b_{Q jNɓZU/(Of\rSflN ȎzR=*Sxܪ\k2kͲ"r.vK=)|:IyYϿtyfa\v]9<@o?NfpnkS}tא0]4nl {W42\IIrي4F;gVbZ.nxfzw4d;g2=*[䇏 `axB1"BeLɊOl/wBݥ٠4Gr |9ȔG7e;'$Rboz8RhC3@)֪= ${<,L_!i FȂB E0j6wg/l cf\>}sn`}P.mMJނNTƇ16W-|_Mа=s9g1C Jh~PǽjJ+)%{yw*@x 7g @o<.%%ۚ7 =UkIg|cJV)3sҼA̤_}O&`g𩵖=rZW~Ut‹\EތAZm]AYw |}Pʑ$!$G_J]|IcPVr!Y"bTD54t@Q!ڹuDk 67BCQ +lrk'N(؄$pz c  -+Rt ޗz/$tVVQQMnlѩOjJ;]:Ha*Z^AR{TqPgQx@\S.!wIH'TaKcxio"Z&CXT(d/qfgk(kRXo/,֜Lv;>,jȫsU+I1.iN<|֬v6JQT;m𡴻¯'ffkf9T3 Ec?K\@6z2jƔ̍sY5EJ|Bo $4id9dLP,Ssyw a G?4zŘ"ɔ;}iq!3(25͑>u,/#NT*D- iJb!u)#! ݀,!frt<PdtE =Nv$ݏXvMlmOlGj|4nZ!ҩ} ݸ?qO*2i>tAP2WvT @b#}lE]$|#+T\0eaB]Z/$=~s6fpob,*B:V{`9S/b+FwTk(ofcTf NGDF[t/qJix`4X\ ~;F '3GuIx}]*sD-s tJWP8QJJE5vVl F$vb9Q>RJPCNW_"2 'X@Q@ ;l#f35*R_']N·X_:ޕ!vQM+%+W"hbZ)QW+2;ǰqglO'` eK_k|lgX?/|úQLò]Tn+O-^JB`z9xYp8@J?b֍@޾D;fp~]ռH_+JIF\6Ձ1s| m@#HPz1ߔuܰ'`̎~<}J,rDR\ekӕ[^*Ì+d|dp?/Y3_1ZܺRx8>!;āa£ ".VvŶ:-zCW -~uW0?izdi:'ycNgIviEQ9̭M} ŋ"P=j ^*30TS/*,c#-;r9OndRXҐB:CCF}¡בnUbc:su9q{dhM|P@])$"Yy)#lbF S͂+ B UWݮ+BmN$fxtJ,(c̸:g1.F`хNZs[" *d >Vb.G3?76DQ%=3T,DS7G c:]D!W;ddh>4ΖjU#Yqr|G] ?9)ԗTj)w#n 6B߭V§'/O$ʆ/gAjf3P=r4ȾU\/)?0pV^jy oj3T8]LWܹмQr٘zC~X6"7@)L($ȃHI rEVJ8̋Ԕ_HG&8t+gEhyeWl`IioAT 6L59g.Q*(kSN:傲pN`dbτ T(sN!_ٞzc[aͤjbZdj4/ fa QCd"h(-+M+s-1H NUW,Ic$J{C s@rb_`vm ދr;*SHl#BQG׬PsH+u~0+dM/ sbPCu\T|)Vgo$&]H2 M1ibL5Kv!g-A=/ tRǗ1$ln.y5w盹+v}Z(8{bI|^N01 T,_>O ~6#hA* ң6:xmCMBtal[i% <Y4R2^ڏRh\2q P%G8Hm//Izqw|/$4l'<: "B9zqOȹ\7]4#:?8 =F 'ͱy] #7MYqrc:Tk[KiѰ W6&)M#C=&ۘ~bǕ"J0O%s?-o%phOx™HZX0b{tA!|/ MČK˯U|"G=/uo]a&AYgJώtꄦr筫.v7m:nM9l_Ev7?y t<9mua܏^~]~E"GXiF+iӀӰ/Wp*mJy@CӐ0OqT #v5HAMñӲDD˥'@2elBhy]osqD ~i>~u5(˻c\'!C+ScmM2L#\C'8/!>F 9%L'h9&Sk&9f:92"m}uM)0~8ѷ}Nc%zV'ӁąرT~2{VRe[}0pzUSrJPl3g3(O"* 8 L  pS[+O6X~[F2|5;a MQoP"$ 62s Pe3ZL!jP)Jv֔P-ljSN8K?ו ޶l>ť}jƖMkm7>"6z]88u$&}#ү-@'D񛦨w ^]f3,5o7<]c7:TԵzMSs+}4ab'vr[@XԔKN2٧ŸPw0k߲<ƸVT?̢kW[gq%-i B ݩݑ9h6]6mV?]n72HqA5@O=줲dwVlTw bcاlXŊbܿaʹCH[o %>G2iᬿmóX VzmQ4"|K;"&CC)۩j.zƤIt_(# NEEs' p')O1%82Gf=I,է^I)*&I^ we*#8f̓,BlB)X:²F`UO?ş#@[Hmtan8?L"(ɹ L5czml:Q*9ȼ#q\zg;WZQHM= ߗҏ%dz<' S+-4[b?O2CC_ً z3nz3]?({`i75ࢬ zV155uǯ&!Y$ j]_w${@)U+EokWBY >"I!OmU5md0Q$ה򱼖@[T cI뽃X|r3$ b $(90 *UUE י՝BT_ܑKËS2W,L͌/Ģs:Q*{1<.7Hc\#0w[?'0qძbY?,^U";mQ'tW=HW d5_$\ m\6?_$lEݚU&9ym#30YX?5`Pf l9*(cl8F烡^-RU8t-ޤ8,d[}q%c] y/0U g]lj=琋9XɮO?Vׂz>vx>&Ub헞 o#B]Tc췏Mf?츶@z~Ԃ0IMy.?3`'w.zl?iS#yR՞OɌɈ{̤i]Elyb 6%ņ8a-هXY#DJhؗTfN]6e6" L1爬#2QTsp] })rbBf.{:^ _YJA}{-W^-݅˷Rd^xnAEq7wIJj&"zp┢и+G/拓" O!Nd'ֲbêyJl?)=,7u 0ѕn> SL,eSqhNmȮt1k<׃Rׄ{E \|wUw[%kw1ɄpzX.7Ua<{Z\DW$K;Et +PZ c2a50z^"NsM7Sݚl.]4NaRe 5$ulήHML~e/E {(R[~=A_זV%L|<SOa~~[@'T(Ayڔj-RC᭄?nCXv>8x\֋f?!㑩=X{iܵilkߧ)~䉙G+2_1&[tt4=L6Sf-{! Vu0[RvkL<;=Rq-ɛ*L(}w[qj'1'r,fY[Kȷoqhi4:+/ 9?c9Fs8/H̅l—,5d6֓[(ߺ 9es\xg5BcA uZ\=e‚tch.(5ھ׈Zhk'|ZWS0Tf"5r.sx%hq>v&:,IO33Tsۏ|5bYA2b%|[k{W:{W.ߪn!5qŝ;qG:8;SݱB'Ow )-EIF_3 TKN{LeK É?nIl"mE@(Chx\!vh9p84-`MmئT̠6H025Y4n9/WƖE3*|x0J#2n>ߚ Z9^{RoIBtM(4)"9 LZ^VW435Mޕ0kC|O2G'n'\Htlh(a:?XBa'b>(@䍱ߌ.KjMx8d[FFM9cWj'\D*y)$S|^[_'ixv{Ȱ8b`sĸrK+Z" ܳshdߤiџ$;_BN!ѩ y d6hh!-LO",ڂm$hf<=8  !lU\H2l7u-[?õFvWэ c,Ud$m*ɗERD:`SyjLlC0,{:#%^`!%!RJ= | J%Onǧֲ2_{$' ^?Pb!{Z|ls {glਞ O"|QI*<6əY(=0T#4djgey6KWMy)%OGiSlR-mDrӋWm7a'Rw+MU-|M?Ct( V*r`# B1; 5߬sQιe#acϝkQ7!wWYz͎Xq*xZXZds1-SzECno!Yj"$k TY_Ee=ܛi0Fn!It(3l]^ [Vh~#&`b&H0:Y F;Y@4qc_ϼMJ|AOS87KGm~97BXZ5%-ssKNcJcLGcE Y9$Tžw>n.e)lԫP4_E=NF!M+xFM1$Bj`98,VQpE/rCtӒ9NsY%7ѰJy4:mͧX9{+GPZi'?n C>N)&5VlCdpFSjA{x(j &pa1rRӑgZ"%MT\pyKi= 7\h?3os Hε o⿈*8x)д\og,g9M"DԌl~CƠ,5Xnu*gL(|DH0WdZrݗ¥|]C58FϾ5?Pw*ǖÁ, j?~Ps[VL|}QOVr PF_pA/5DxgꆽtU<`-3-Sfjsf_]"ry7^{/2v|QڔT Aכߓ ƈv)h9Rc%_)O6HHS d2D 򓩽 @ cӘoIW֢sH!q?i'߇^ʽxV5Rwc81)oS١y?MFP6n&ôN="2/ ѣ9B/][ViDk7x[\L;hM'E9ڡ>[pU#^ Hwz[W4g$`}x'v,$S4J8~%0'SA`$#v$#/.R؆N)Cڢrٺj> (q*tׇϲ|cKXbm-֠bԘSN`m<ȵ/?uOtiKZhC S5fZg =X]35xk'ƹFV酄iS46.~;U i K!{X w mz2#P6qI h99Babci7oXI[ ɊFduf |y=u[ĻlE/6(jFL*x8< Ab!rmJnEgg̨͆a̤' #/Krg3Dx :S_i b'qE9XcA60.߷p@ײVpe764γt1'Q%rJ&T`F!yfwϦVUBr}匙2GF7?@vL{A\T (6r=f!ƛ}{&ByA䤏퉌YcWOޡh?y,A bKb{o/v\Mq|G4=!'п'!*3 -&H&Յ r*A9yyY-G2?COC,{y?K@p|cUyƀHD 571ߘFOqm3cS(3,&R [DY$R .rx% `埐6w{1!Ft"J-<|(5f 3T{N_`A5$/53 kdMAd.j Y:7}4^ "%xQ^"m "% 26'@ A !ceLuR?KRXG;rc[=1)`AhKpO Q3gG-6 s'9v1yzT— 2/VLKd~P].t2EH<vg/IHk]dCx&FH s ICٕ;¤)"c,1T)חcw0jF ZߋgƏ6(7GoTh{2/̙)2hTFCϵS\֏].夊INsYOX>TK@#TzEz1XCvPxa7m3'-j BCE 1fFQi,$`g_ +*/qCEy1׹,N1F<H ϸ$av[`j . bbLB(b? ØvmcjmP1{Urx-sFu6ZWf.q QR66UB(L,8x Z6r~-KyVǪM|LKԴnia|(|˙!1Wϳ|M+PErֶ2X1Pw4o+#M=iPq=4@=)O5ZmXjʤ! JxJg33[086yQUەD'CW_+'n>Bی LlΓ."՞S5K`OUƎ:݂ L0ȕk+7; #m= µ]FZ,kLRq2({LrHhX+"Qf, ! E5ui‘OWЊq^P|^+zcm|1,) iC$-s: jw Wjei 7{H ƒ{,V;] AEW+œ{}G+fJ+[Yr2yZ8t/D+(gh¨wrbeɘ#y.ۻÆ#ᘴ@ %?ŪfE9V$#_:ڦQf7'T%Haqg{4 zϻ3`"~b0= Wvn;)4(Z`tw@ҽдI5u> "r:pT4<BF5r*ߛ 1e*˦UJ{Lr9em ) @]nC`RƮx&ucllଳ~dvW5h[X7,=]ut#ፗt9(F_by+>l\4m~w :2ni-ipu"=iaMx+.Y CuY@ Z'A>H#:+6l˜#Ԋn/.DՁدwZg j,ޜNp+,c(ۊ?Ǫ٘z҉$Ukf؉K:)9y8)hY#b0rQ`ݺ87*% vzAc _ =.-cb<>nLϭ'FIsO(uA䩕%^,mNL3ZrB{EۅA`KZV; i  1[C7ݤ9@}C\&| rv]#SX$\q4DELU8ҁ6抰5pXSs`ή|7jhK~.'BOkeͅĩ$+ykeYyזɹydlQf#yJL`fȀՓ1dT͇K$(;aϞ]Ҝ Ipp84wXKY `/lo(YHB+a:1ՕMZ/Us?/DJW#M]$IEw,VrzIۦozJV }6?I[>ܪKH E~6¬˟0sZvԼQʯK 8g<+Ah$,I?7輲cJGK2C ?w9S{v#حC*|"FuHNYysFPw[{˕ĔA[rS>dZsvcK O{y~}5bgYZ57e66ebc2d36b943fca0076ab1c693f74e90cca140d35f92060f57be7e534389481a5efb493217ff 23dce64ed4db5c6ce048649289ec788386d1a71309eeb4a690f46ec90bc895692faba63004e38771