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 MM{!T ]]]HOL-Proofs:threads=6elapsed=1053.810cpu=2235.156gc=553.340factor=2.127zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZRr8dӞwrvK})_ M]K-+j -|#(Ҽ7ь&]VK{?Y' L!# 4DT8%: ڍ#BAS,9n:N)m&t 90;?t$b}S@+@dհhK1aNHf5/»yb~Y] XՈ(`ӄ SYt>|˿H^\HK4A+L 8l#9xW1+hlCRQc87vt9,X,65_";_Luq*(o/v;w@u-MNWfw9niY!}^\ϊP 爮bj 'gs66>`V_0~L@QxdF=#K>+t&iL \vgɕΙ7HDb܍.ɭ.$f5ܨZ̴DP852󽃕۩ҋ"w9;`\ΦXNDX UjZlrK+@ԗ؛U|]Di)CXKCt)%x.{^ۅǥyW4(P9ʖͅ|brM8&/35WK2HV+T=͑!_E4m,f|6 9jJ$qCo%ksC#[I|y5D(L  s%.7>C0{C*hn1R=94J_%0l='*/ Ԋiag%jGRDsɻH:lC $LW fËU= -=ӊ5WHӄF ?kS6v嗩`Ыa+h݇rI$VCDa~ce%4(5j▟@/I&-X_kNah=}EZOnRYZ"X/қ'鷧3@wkOAF]2dPZ33 kw_'Fڻ~L%\+ E&|*v0wOtȎZ醣wzMj pO¦jv~,\쀛BncF\{ 2ҵ I . 0nfyĩ\aaT4S]"d>@ 11yǻArij^9Wdu q2:σIAbN;qD0%P68#isC{GCACw]о(X"L̪J*u;Ti+>4d9OCVkθWT]݀(2ns |Ěl'T_$+eM ]͕ǩ I8&kD\"-%UR~ɏ?9](9vPJLu\ 4_l@` 1"Y \qW6{ӳr<6Lỉ azp'NZ1Cfq!Г %ڠ=&I o%uw7F5ו da:LuE)~ | HY#8Z{xAWε:*F9O'rtde2e!zv[ou>q*pAh-k<. [=`( G震WlH\6>?1a7kڛ-x 3jK#Rziǐ X LwByEr|BjiNQ?e^5\.d Ɯe'گiH6I9 qH %)s?F3&Zu{3֢Ewn}D"A o^#B1/ U"+^ZuU%_~fֿ1jr<"szuq挭i>]uE,)sBȇHϰtg iiP6AX/f'9tyw1߅Vm`F֗@Ź$2tĸ \svD+8^- ̮g5d*YYѫcph9гB*A])ꌘdC9R!١Հ-c6@7? %U ۧ N)<.FfQ ݸY_  ! HOL-Proofs0&1bx*nZ6UK 4{7znDo 1bC*`wVꖕpq3Iĭ\5j*7[%Fp!!"Enr(8u&h\_6n'n"Le]-<7lFة6byƒ.ZL)4(QSzȪ{'(ɢ+qkKGәvC7\wa0d$;L飗(P?]ʈ>鶙-_b9m., K~FkPM/[˺/\0%Xz!Cޤ8|D`~WVxp ɒYhN< ;mRw]@I[jqo)l0&=}w)Ab+Qʝ8Y/D97?؎/4߮x`.Q;:  5"Գ< .S5ⶅEӠ/:ΡyBͭB?8옍{d#&gIwҶAr^kgՏ^ŴQ\1ө/NKcM5k&䃇 J | H>AMR~@ $eBɴ)wi)IV7pS A,r0u 2-i&-˺?!OqA`}d0ETrg}{l0v`48 P4 fBFֶbC^q1;zSKtI !(T"|Z/Eib0HKuUW)js!̈h;ɦnX?l y]Cf^jtYC;Hd0_)M AĻkQ#>(M_ ڞ~'tdn~*"I[ YZW-"Pj%"?̓A.r>ZYKx 5AM!d|-d N U}bo}S8+\_Qj@hcý}W< gzTS\8,vC]8/1'$ }Wpye4Ζ0/RXe0 x,筊CO hwvxhє` ݹ t,2N,ǯ֜No<#;5hݔ̓ Vv]\CUcT\m#P ަORѱBu҃ʔ6؟G9a2){eJ ݮg&ZL,5NZrBuayPKYvð[E̞Cda/ $qiMaԨ0{%<);y谼-wAJ+ d_밹_P85q@lOFn30*W)t ߚ vjٖ*J;i{@oLG"KY su¿*?Dd|ڮDS#Ŏ L}[ JGqHc%Bhxm2DzM ^*[::zP}X#: AISqt}UGZ[U  llEwԩz`dc$}ԝ$@ZQ?Ѵc0+7XF}z:eE3[B,1.Mq_g\|AIi+ FU=!RyE:(ث8v*?Y^ʨزUcY*% ne%T=kyn!p_P|#&2Ԏ{QP9Y7V%~8$jo2MTYCa "W4ㅗR@8,KwvڪЅKm?ҠTh+L~[{h`_lAOQI5Oٷ 4IKG]#-iv9}e4鋱m2lZo`?ш@?-cFyAIYs9=w'rYI FC+fh€EGEe9g$g~\ǧQ˲)lx Y!iKlJ dxA؜[_EOY:~=Ԑ͠#SԦYJI;Dg27!Hrwx`4QaDөe)9htCv Ɂɡ"L,5Ez\3Q\T~]4T C3~[V턘>Y`w?Ⱦ^TS8Ĩ.םh3[(|j(a -֋KٳҊR=-BbskN{tph%L(lhn;ZmbH/޶HK&5T&\_;B`jp)qjhJ#թvA^O 3G߰Kw} NP%j@iŽ(򍔮&qhK^Kl8peE_|, 3Un6z:]C44.|Hmyfe up-< ž_ ɎYM{3d0bg8ԂfQڴm^kk/!4+sĮa2j(qd,WL~% e(P"+$9ʘ߁SV 0f˰59|xRO4_c)JCa$jn]s9C: "8ei4@P݃uQpdI) z˗سVL&HE˱~Hw-l4pO<f$@e{?{.4 3 N6ԔO5Ye#Yy*&,"Ukr QC7-+yLC]r3G%|g{A[ x3Lye L+ O׋iRݟ;z֎ ѕpk( M@=c9}ƚ:ݡٲ[Ku8J@to8x/<'4fkQlVI"Wp^Y\.Q8Ofyqa^l9i#Pp1Lq.V9 @q'b'C8}}9*U è޺bw](+*wx.O VczK4 pBHl Tɸ~D ri:~~8߯fOVuQ(r ۩6>F;^.DkGVmPrz#%fTn Iܫ80Y9z"XgV!vNXU^Fh;abOnA.mV@̬>B'+fZtN:)ܗONByu-.?$@z^-R_w0K(>;_i:MYnw6n3Oa/0P!Pc*}=x鑄7W3ϭߋ bIz|:J!9#*[%`Sd_kG`?ԏ[kֵ67,*o(8D-ڶzᕗ;jNnX[5REgYZ7zXZִF! ]ŗXi%6ͫqd?+2kT߯2nbZJݭQGA~!B: EU6IJoݣr37 ΀`xgZ1 @7K' K Zv 6oM0y]g]JsGD6]]ܦIqY4SXx0Ry9!6/6O gh\D;2 3!Iв%p :t] 4f%qw!5f#\~R8~XUG=k [|:,pTw3n7-h/\m1 {]#I`\bFX <ʲhapg#\ :r'ނ=PmAl;cً&VAjG ]!/Aؠ#M |jhm3Տ7z!taҔFh1LH';v݈¨"rtN\ږv{f=@؟+ tAH %{ܶ'ޘ724vHOFxXL<[|zSe UU4f_SkNwAw5p6!PIVxxD0Kk#X֫U,K .TliMJyc!w4kQnO$pBc1T>,3=f.F4q]p}Ey[^3o/cyk% KOh6©E,>WŻ6Ā>t HZn%dn]$3u&Z(`"O co4SY@ *ߘuܸv 2u-OV_ΰgh#s*SBi 5¥eC^n~k'b^#[tVQ50G^4#5. &Vf 6i)7#Bn5~iP$ԁt}]Ps?ͻN=e|]g]H i\I!r? C|/3lPNT6&RsVPo`d;ͤc\=ЛYwY_V^ +q)]4y?i)=5"J )a`l`{f^:S혡+fIBZa3t; a *zO|'`5\~@v]9g$c]̤z[TCOB=%k['ys?y@n7p8ԕ—N = w^C"¼Hx$cȽGur0clOj_C79L=˸$˿= @g΃Ir,U&sn! ou?%OqLx[xzѡOT0\C<\WW>5t חZm^YMrcڌ2DH+pCH^|=#1ku4y ƓQ СB\3=E\F;mH O3lfrj[_uv 2KLqs?HQ5@<"! <'?H61NNv EG6x>& M9"K7ƍT5󽜝x@1e$(|+Υ'Y5M\p@6Xk8P}m}Bs)|ɐz4uC}.憔?n^&YL&R72/x yWnK)t!k'nD8%kr7oX(e[4 ^'=nIo#o1Ȝ@2Y tDoꄮزP:z 7ͅ9R=٩6| ,zd.iv06'9k6]'KȀTf)Wߪû ;̊?1܋q(ȂHG7T>"_DS ˄q!|;?fI56DDy>/Șm)qivtTN-NPCQUTTiI]]QjD 4[}Y],G5BXWW[%6S1 jYvଧdQfN9p~_wO²5̜ސ|7kzp9~,~Я c:g bg j:B% .xn&d)h6Vc~ `zܐ!!6qux1USxc8Φy޶_`xx0Lf/y Gn8sH+r{}h X#Tݝ?=|cgtiD\xv",%JNB_]rA) ]Zc] )1!&@MJO~pL"J꯺<6(z֦$D.+:8w0 MpX>*'`UnӮMݸĭuRH J#bcMF=1d:T2ʼuk2][<\a¼Y WrWX̕HCrM\W5F.nz*}F8 */?`,*Ҡ-- ߩ?fnA{6-L=uZ0g=$sBf.8&i.Lv3CzCK>[Ppm)xJھUK XR P?>9.5i&f_}*X[ 3XOm3.nH\ܨV7W8ʈL?s t -H S/ @Q%/\xSvCG§`gtҽ~-QXH|YEz >N^Ќ\ɠoAInTWK¾vWZ {Q. vk4LWvY`Pjm*q]8<}u(+W$b`1 20(̙].efZ#lixLe~Nv/%ᔧ-U.1霴L~ƹZ D(\}p(^'ҿ^ lg)@ͩ X*yT$ {-1}s4{9JYdcLςdj.x#!A$VvqsCӅ?y8n 5G#ԣ!Kw [< g*x*΋-/26D^@b6hMԪ ʨ+VL;ctqycg՘eRH߀s DRYV1o rGE1ѭIbW`@n4dyqt[0{o%9hv !o:lo @2qBZMRkb]>o1q19$eR<2Si×xir+\iڪcT- or W9kC|1A-&)QdEyRq+, \*Mbzp,5=ea"pI hS:i7Y7Kr2̸F߸["k) Y#UVV?/Ed qݲ~oz3s('ɗB.|q/])'.1K{/La)X1 |wfUܤ]nUΊH0 uM.alN:γtNB?ܰc[IºKa*x°  }&t@\3).Uw.i Q@Ϙ`۠o+3W-ٟ\s&|oU+]8el 0U,ٰٓ|PzfŖ+iEP*vTZB֕W8P*mpG>,f\%@FJqzdϵ*Z85LȢy8p.~Fw;V0f3A`6XT{Ag=d8BsnsK ۆ4ڄBX8嫪4ve( B$/>>!:E]ORQv"ο!sOrBEu?GA"usΟLz 9$*TJJld&63NnMF$+؁4 D@Lٵsm4 t djn5<*<Ɔk?-0@ʼnX ӏAG ee +m}g$<6o3|]*Gn NُQB2UQfjf/yIѠ}@#|g.*~CAJO0\T7%\@_% Rʭ'8u.-+`cyv#tnZ*Xښn+j[}ޡLl-Cr+ROhդ* qRE)Tŷd'}a[hsTڎ ;BYoG\ +0:0Z^OhE>o"8\6JYh4sk=t5rm-]0$nH@ѽ]LeCς<t~GBU1Y9# aʿYFoHoMNQ:蓺+#vS@pp=/IWW26kt+{TG vvLdBm2[ujP:eFN5鱏e@_/|!3B2e\KӜטB7-8#E"۫ 8זѠv S犸r L2BN9ikS[i%U Ů1Coހ$& uq)|]{h &T:-WB^'50;()yޔ'CVle/XC,SnCJGutsC2£lx=L*ox]\#[02ų{˂\= Xz W!@hv?m 8pK`x/V BApVݶPH`D,(z;֦m'67'Z2*LeACjZ{F%Oo!D)ZMzATesazv4 v@Nj>pboOIAɺkhP>Q)d "`GX]v54 įs\7⺌bl$dzS$9"BS@ xTB.Fc_Fg!6 [&jȥK@D4NB048՘٫szaS-Wiv!T-g[zY{yL&CB;ZB@T -v&9h54d%ΑwȆ7>&i 2R[.'B0JNqq%U$',>b&Y1V}e+0-Ka{ҸvN;Qv)WOw&xJg;Uz˭m+rX ?M~e4l}Lpɧ0h8=B1.S 0X >lLYC vaEMȁ3dL$r…(D5b*pC RR}1!lξo ! wmҦKr+U]9h@t{Lz^ (#/k? DJimQz#!=z2`+ rR?di &P $SUTfu6b-Nx2ܦN`sUXʘ&*s7uZ) n0E&,L;oq$4d I{˥|m.=I $ !`MV9n jj޲J+/'iE#aDΗo, ѐp)j";}e$0~iQN_OZ*O %҄d{ApipL4>V&dLBz듣g|etcx e$!3٧<Q(߉05 i< pZl}U(vCzVvy~P#|4U\wHzx?b˶)BnR͑;؉o}. pRI#LӁ7r,(edJP_)lAU@N+sv'k1 ՜IOxF}'f"#u"A ut"BC#y˘+i[ͨ˱r10R(*'2C q)fO| &V|+>?ToњsJ+P DTY>XQk 6U=ik={#0F;h(c*jy5k~u HO&ֶW:4&L ܄ecԒ3J`4lz /߻m=w|jp/}B5}[6@=8w9dceÛ4A>oM,`fxG{0p)Gk_j--TC|Jئ)@sD XR&sE,w]<7ֆ05$XmV~I3d^By<31΅Lݕw f1׈)m6}!&?Or.=tY$Xm>Gz$z%oW/xdv`6}1tU}3&:_k;O"3qJըw^7Wv%JATӖ+-ހ$Oes X5'P<0?Gln .K[J†Noݎ}\OJHޞ$p?]o Gj]mQsD}nZnԚK*v,$(g 9`ƒSrԑ1,W 6 2KFgdh&ff %lڤ+ QՋ0KE3x)HTm4a1wB.h٭OhlZ…&K׍9 K+1Kn/5DOu:U_g9f^8Z 8RTw\,u*DLm4sѽ D#{,C凃TeX=x  ;ނF*K˅3A)a!-n䀣[۽'U37kx&PXS30c '1S ZL읽e_7.84 ?++p *kxj'^V!ބC9BC|Q&ZzɬJ{b#8_g eqI=%%VbráPAJLXqZI pn*ZKSS$ѝ>?=QU'LI_G?}&P &v)LO~t FL<+κ!<X[ UklPTހ"![< UEi꡺5[=*+ .1p(\Byrs+csVxU@YXdNwFY l$L.RuZ'Bv1|_7Enp%'.tTN':Lҙj 3g10 Vq0k*b 'Xu՘SP 0AǍrHLHÑp_$_-Xu~UmCȚ6|}'gPzX+l݂2@kf}s썛9.;b`#Ya%mďх=o<>z^3bߊaKp7=$OTU9vyilU>>>Rn<ɘ<}2PH.gVw+$龳l>zM/@^x|\G&JӜcO]ox~Aow75!DʄIHh)MQ|:6o?C~ YΕ:U4>F 8d-Skw2s|*q=n1jᙱ%t6Sb1\ZlK+ht2\E*;~h3FE\P(,[xRyocv0FV"%<*mM*@N@M ~Z𗻰-2gS$J c%i/ Օ0@GU0N -A/a:M GWM;{Y:0X@\ʭ+k GP3ĉ-ݡk4ͿumOxA()\E!{fLF)$ҙ\MX8:ӞE!g _@  Ah3JD <A\~m^؍ f5SҊc$jh`}lwߖuFzAOxA1wWUЌW;US ,8ez@)NHx K(p7[cϋnDq7fJC'DWb&]#~;D+|աmpA7J<~2s o-y qR(~=*)% 錙t6KJ;F:J`NB4/_up{9#=@ gYKÇT1/vƅuL5x 0"A9?(Z!2# ߰s?kQΞPDvWheU`c,H8J=Rgށ-'cq:qw&F?G徝׈x[OxCkiz/sr`zStuM&ͼu唤\ҟ?N?g$>*XI J$1EXZE]=DPvqKjo)Y(+1Q[sHɸO>j.tbuh,obY:&*EPӐVs>|:7á[Pzsa ywk$b^+'췣6_kSU?^tvq_P$m NhX#+%Nȗyi.p ]GO'eKTd[)qiYcY؄K9LUO:Djg @WD_&SPKxu#_Og ?UJdT%c1l-|h/=(wz^:^yyWty=nVҾ͚d= Zτ“QX>MzVĸř6u<`̲4mȾ9480g6ƒ9~!*+}l,a>^Ƭ(7 s @a:w^:$]0dU0`1BI@͉܇' jvy909ki#TR #\u.Sx! Tnj̹F"~My \YGw\A_T_s\T,Jx&ԝ qXrǟ=['k1qj>ۭm3NunTGV~aqӘY,lZO}V/HTz:b(3.iG+gC{4 9Ҍ: Nۄ34 Gp  ,9fFo R{v_Z$GpVd6 7nbM1f,Uome|]6.N$g:kVq$%ˊCkR{ݭE?T-x@8yYiٴQ[!_f̷GA68:e$-PͷFu0@]<5NJ|*3'ou\; ~p_أuܧm V.6gAg /~Q~AR BSa _-4g$J}T=E-Ml'ŖJ®?Ae#C٘wj˽`/!P:Eɪ!Lcox=Qhv0u%+0$4kQ$?#`n/,TW3)g+-p(7d$RS P죟Y)Xb13˔.hsHb (0b01JBhH߅z!?)N ÏH!RUӅQo\J%.k?o_/7 28Nn~b#W=u3ހJ&xK{<ϖ5f+_olc!}HqetfTV#nYK9T8DPZk#w&f#n*]BEzVhK9vfbdo%xa:f 1+z DEQrJn+~7ȋ- EPHi t@=Bn9|\.=RTT1g+Qm*Aݠ;%Z5wݱ.`.mhدgi0*ϔ"i꧄MQȄ˳o֙x,I気/:|].iWG9?dV PY"n11=d ѵERZͽtu>/ \@`ec7Eځ26&FZ$YJqWos `xuA5:cf_iWAKXx(*y2 z{]P-YB=J2Cb8Szr`x"t|^/rm_; §9[Ə؋}W%EtڳW|txJͦOouW;]VЍIBC^paSUc-> 2jN=jlk8Be0X8FX}I m`B@P+0Pd A5BWa &4@w$K zuLI$)H`hW? D@OwCDyW_aeԉ`,4>DX+=Gz/b:BJ)@Ȟpע{`&.P qQeao[&`Y HOc6lf| 5wr9rbxsđ1aOҝ{U'm, إpgq */$Ͳ7|5&uV2ag9=ثD /eaq0'iKgx9Cqvx{QD! I`əQ=g |FUE3dNr!u5Y!M %0֋PAoWRu0_ w*]lk.ӫu 29VEih BH_lfGyn=ػK@ K_FfnьGW%y H'mNQ(iǞ߭MbaO8Èrɢay{g= `x)D{ym:UD H@43kt!A_L*:Ϟڱlx6Oʜol>J4kJ{%''XɩtL/Wd`0 K)wѦϴԨZDp,,8[z΀K{Wc{ CWW KH7FXOAHN38}pRW0TFO,ڥ{{3 \K?mrf7$+.4.?%XQ й0 r<ϾDSa]ӞCp= 熏=HxLȿʽfn'q27Q޴p)b(y]z>Rũzna1L?o]wUN_{/>DAu8REAzH`^>PǖW[oIf^] eSawT8r`Ƞ$ =t~c{O'%\hysM,;qg>WL 0L gٝ1-C?40ۡڱ2V>Ñ^c$Swd$7MNwL `\GDn[-fĻaTI +Llsd8V_mcﴫm#MQn/.,8a/2)Hjw1Md%C/: U|GOFrmn#(#e%7Hfs6UߜS,;x^^"?T e~Rtza' >G_"L5Rmr`V.R<%R|N/TQƨ/V$:@*&|ETVsBM>Tm!ng1n,N-,DcTCETZwK~gHh]X f:4Vgei$sitZFsP1ܩHse}Rj6}1#A&`@LZyRDKD-^ }YHo-ZNQU}j&CY# NSy^|dǎA 1ҏ XR~o6\)f5t S` &yEfyLA-ӷ/󒟥m[څM_\GtDqTAX^O/1 Mճ(Lө_u8FE w ҟ?'#0Yn(h=V[`kAV;$gΕ匯ٷܗKØ@lt;+8Vj>Pd|+kYkn p9\v#5'Þ6[Ek%Iyق _ɹoŢǷu'v<CXwҬrMEQrUM\ ΂O<`t 2k¹Ⱦ(Y{f7JsSxJ-@aڞc,sV/ ͮ YNEdyрiL֦ܰ#M !,,mhz$pۄ ý1읾n sC-G;z䑪.Ergwa#4J`l lBbtX},KrLjhXişr4Ǟ k߂$sO# ?)ׅ8ǚ^9J`%QUr2/P.DpCkj@uNDa8u>Y5CMQKbiwע1 Z OfPd4M4_Oٱ9+} >l¼<>|v P4Q 7ξqNɅ"ϛ yNJWB{~Ԍ&hOÄFe-漞Nt7=`* `C8N)˜u m.ni'~YnʂHgW<)HjgROlYK^xdQ298NU/6DʚF5"װ)ND4X0ԃ[3?gn|e)V5J ɵmT? 1oG:%46~?H3 tOcGEٓ 2qDD} L*[ӣjOϵF$t_EoD vb5j.k<0.|/Bќph),vw5`31egMVݙ?94s\K#\- A (ksjEave'nN}/nV˃dnN͑=Q2N;NSD>UdJ2 b t}("{,iHN/V&\U/ӓWaSɓZ{vd9 P[ ʱG_%y)͇Gu@EeK0dP cݽ^{Ozh^?t7,x|r tdD#$ OL2mƷ urd8{M']1@ R2saFgkώqW 9`U/3o[Lis7(o-{f7CW5V!M_?T%I2a&oC}w{$?|M؉ {]!3\j` 3-,FNNȷ&AXT٦8e-S\H( Jc}AOsP8 jdhU2$GkBH6ejȴ)A u7j sG)a \N@H sIn1b)vDZt*8I/uWWT^:Ќ{vY.k$"goIJ|bYӭ YNT3+:_il{KaS|$}ؼ:NGnLmf{eճ@M#vK42|o"E`Zgŗ`dH]ީNYJs%#,*!J8.P +C*gĚ3TD biW^[4ZwRM:Y+8ݡ1#_/fh$>yL/8զ|[B4ícuEtG4~2M8)4)pߑPJy= `a\S#uIP~QT!$s|6;.ʮpƃ8[ #6Twg>Pn_zlIEE,?wK9-<dWlirv[2V,xQ/H )Q&ϸ$xƨ- yR܎Ն@דA6A= ;ޠ2L{ȗHQLjiXD>(Q*LcFc V*2'~ji6uP%(] n<\tEGw&m1oAE= n0RpFAV=w׼lFԎ %-t"B*Tۛe®ۓ\/u60gYC\Q׊Yfϛ qqwDP4=Jmns(Ru̅%)B&uZɥW_=%tΊijO#{Zˇc6Z%whuG2z+ U7cYr@2"ytEƮ@ܙ0<_d:)ʕ @LYe pTauw~dfPXW)<]_dg1IAn I`ڬjJڧRz@[] Z ?`01XivX^8hy`gH52+VS(`䝢<φ/%5Bs/[\kjrίc{f~Ii i#%^9?)N?KkK"k%d9lUs2v3.m{쯣'y (3 l6~{Nbɬr+ƋBKG"j|*Ck%i]o뵊Zg5vkJ/,@!{a"}xhGFx !Af<Wv,ؠ1%%XyR+Gz;h@Ύw43yrcݥ#-1г,.b51C"#3U/> W6ê8q^pb@`rزC%?}{¼ H X6oݱΡbFĤGs !~LiZl-zat/Sw5BLDWG0N]vǀӋckBf2ڪgtDU罻]KD .Giued >5ثayiikg?p/,^],~7h`*=TPTazhո}sIq._ƨwQߟlcW%1g<{Zef;? ~ Nl6FZsM|,e/j$r'f'eNtok^3ճgK'5#e dK{$i 䶇ziqn&7>{,Mm;WYh9͖?CWrSgP?xF+uK;zn)Բ6cuLKVʭeGZFbՍ:4$=H͠)α 2E w&`>s-'7%">Ɍ0PQL4Xm#[R/x!su)[LoeɸH72ˇ#/h=A|t!\FMM?^aiMoQl:OB%Rt ~oמJl܉J;@z5Ʌ/dz k?ڗg0ϿN*+0~Iq= c-7,xMpLjwY4$؃UV37q߷ijn屎S TbPd]`Aڙ? ዿH`HRc|` Dr(C[01) AS@{nMlKLwZݷ׫y̟=!RD ̌lٶj r;(~̗ G'NZKo VW_ɷ\-AQuFe ~/5xp|8WόfNĠtyz6jȤ\‰^rm0Lsqa{,A+pK<4nH]okY) 7\8˪d_M{xc5W*Cꌠ#t, IT|VNS(:ҧ$/>&id+j[덆*nItioCF(,kOo@|GqI&o(#Z\*K7VRE7L ɐfDZg5(ϾYؠ,"nGx+JCz8MR1EXܮ畢{ ~'H9_#&^k(TFd\rk/ڛEȟs_UBy3.G-kRiBJ21ɍmWM4=64³Fv F,R]١)^ a//mΥB#TY'w៪`isQʧ7"Z:15Ym0A#aFdgs0k9\&Yjp>-(k6PX3R)eO\/pޢ8P]BL"'_Tw<TGۍfHgeE42 Yut(K?cZfMoo 8hd, hYFW`V^?֥ʁh^^bûy\SPx֜z1x^==_]Ms(s#:; [AU%:ħxЮEV(m&R:΋f=Z(qǜUh{D~ė0ޝ?E\5p .v]bOVо>,#*5c7{܄Kl ʆs%diϸ7LA*\@߽‡0aqo%”+FY4`z׀/A2wV G /-@Kc}{yLqvzi~D»mN4I(@lf:418DLa Vr>_jqP0c+1h\_6Kusv͵ ,Ff )eD%ϗ=kO!3is<m""g |Ҙ_$Z4##'p(#+`i3ZNy)[d{֠z"ƍihT.6_Db,!i/V7fcY.de&*E-:@^KXz - ۻSiq\iK"Ə{[0Vl)d7' u^<M&6=Q)ײٔӖ?k(pШ`kOZQШB;֕"7'ڮ&ލKY2|=(^bCc yoH+,>;=(SEݞ|&AZMJ5p -M~T`w||[[ R }aՍ$'P b d٫!si]?K dX֗)aBc3>m|1o@4"׎X34LL  TSi,Mɨ !ԝGl`^Te߁ri:TEv軈ךO'ĥn&[B# }2֨]`u3G1c"$sl2]ܲ~s@ 9! *,ؓWiϫpv5Q6O7#2wH5cBR'O]ȷn7 n̅B;Ff/Z<+1}#gd(^p42@n(?R />y#H E&=zF֋zXahv"+g]D Gϣ4 izࣄ4d4ro}Dcv+,udUZoI }\k]TN!-rM1,Cz^  s?S[ $TrFR,fcM!`imuYQ 7U&:tUV k걕_8hUxk R^_N">4A<T512pT[5waQD40Il3N/߄(3VB}b Mpݒ7H"v{I)9*GB~MOr:{o5z&-P,՗Cά_tzaf;~I.Z&Dܸ`"dJ $~] ͠tRKEpF0v7NJMSg1pbFϝHQa=K*uTz.JX-/_Oybsn(-zs_ǟxBi#n!E*E0@C7zogpӓR9~5,2739~$#C-Hk;c{µ)}l&ޤN-dNщ7B|b2Q_cΑ Gc [K=J&iDl'r$Iֆ빦f3bvh߈-ڻD]\qms}ջA#v`ԄVmvtRT1M]/`Ve"[d(z[Oއs%u|?cDsby.<ӄH̹X_d&`Gzs K=88T\!+R 'Y?cG\DPR@p*Eŵ9ZKH2w԰K_!s)Kի/҉-)qr;ȴ}717crDJ PFP؁ޏv|{nfYco9|G9qc30/H_JJ6@&O5fʇuXG-ʞOO¯J2 b~fߝ:- sA+Eю˭{J e 8wϽn)sB&/0dQafj>d"@VU=J3c{;OQ22$#jشj7}kSaT1BR}Ĕ1| ;Hĉ'OkvHsWe$1w*z;5 A/ H^:o'$o9󔨂mܖI"hh 2w $]j0.~uƮJ])aOS1 lKc;9r=tr<ti3o&k !ki9^s,  EVCvkz̪.ZVJ!e_-FrX,'-}|ϸ*汮]$"4nvDmtsm? be Ran*e˚G?t4Sޞ>.J\eQ83-TSml[%S 9 ;bP;aqc]H2n,y_؝"{RdI랁^#찎)Ī,.Wfr ?ۗ{ڹہybH|BFf]C'j)xy}sONIS=g[yߌX! NJY͠Xfr}* 07^ G/ukb(* LFŸ8qF/JIpIyU9eIpIɪ#QcӡjZF}PU &'7o(p/@NԁѻuKw~.~ ^?Zن4DܵN~Ӌ<)ao8!)<37=]!60LP8r LK_p%agBsp2)ÌMca(Sa4h7]6c| O^5-{q&@abîa}-3=eS:S,=>QbW:'YHսߖ~uR1Γ7SV Hu=Z3ڽҍTz]GwecMy9:wCr I~d1?(S DٱaEq6%߳"ZeA̘W}_C<iw,63^fmRƤFR$$[j;BQ#-C| di\(K!^}$z)AB5+N(4V @EZ>0LM}JB4:y2|{8dIv]oyu "~d)Fھ+Q/=L*߬GUKލ8B.2Wq(6!@.,:­Lˏ?P bRpp'뚶߹k򖅔T5u G $sum67bjVW cvps /( 5iB,j+㯋A#_&fB!`Q[2ITs./ 8+^Wfo!AEɌ} ga!}@%V,plSz$P闵d8Չ{w}[0`ТWI8nj2{ B-Y?nJJ^>\=7sz(uI;] 9h;o ћS?K]xƥny@dy 0pQ [tZRE$ wJK]"VOd<;5K?-uɒiɚ4d{M/ijf㖞fnӑ{WSуipܾм&oPxYOx)O ښ=O-<) Ol*Jm#~c$d&yW lF`ǘ)ȧȇ18:xnYZ'R.~>/񜔺Vjm8|5Fo DX-S(|s%ZZ5rÌعo3LUq!o|@pWnln%"wŶםU4=O"kp8Ux&ǀE&,*:=w&V>^}f Z;0XrFf œGsj0|UIvGU.4Pgi nM|(HV`3'T(zY]tA% rwC'|?h?Oڣ ᨲX"ʛyִH`K5Jt$aD̵jx(<t燱ƿ/f}@Jj$[ƥзq=Cf\]Z#yD=r[85WiF1 gdʻ"[3ɒĜ=AP<$rA1Em2$"w͖/jŔ>.ʲ YGyXU1RufXsDݲ:js~̶_J6T^a4%5R 3>ݔ&^w*4-7WkkZ&Cpkހo֫Ds~;Tb]l8[ջD(-%(b=Fhe֜b@Kn1}``?[QҵLI_Gpdz#{n[.RX}EOZ>ȘI"7B%xǓ0_~2tJ/<„^̑J   QYD jj,7;= e /ƏG2T|x 9Z聆z} |Qȏ"}PX@& =gK 4~S2 (oGuc3 (nmBN(2iNFU}XPMrUDgWmJU} LL \IwUeutݩф+k!JP0w`>%R뵏o"gˋԺdl^uPfЊI=K!4vfh.z8*0(sYμ0 R"}#wrW]Y}Ϳ1%RcK/TAVNALWr GKS#X d'o#*Q3ӽ43&Y#[_ gH(hʵ {WwLpdU9~J Q("k W*צ1et[9! OU7W??Nj]`}s7Og>]a[A|i.&1Fj?/Y[6(j:ay Wm{T9B ܁ʗE[ Mھ*L\IN@&#jJ`z#}=Jר+q[@M3d+8MtB!R2Hŧ~{@fEexaAWzy)XGF`ݬXc/PqkѯO'/Ř[/AFJtaM,)=[GHI z>ц/p@,LYxpn݇QO #π hðz@M 6>BvVpQkk-0Hù)<lQVeXTJ>d!|}Mv>+]7&-ӄs[{,uɭPg,RqEˍQv.1KR+|Kqz*I7=-w{Cĩ ΤQMJ3qKm7{q"PXِ]ב|"¼c[.D\9VE|\΄=(gu|?i 1gzݮ,.|g/`J{ƨEl94̢Z^mNt+h jO|b}~Ǭ!$Yo+?GTG5ɂVGVo|; W5?K3wdDN#mIYxWRk"V35X2ȘT8?S\w1NI~-kR?_6ǵ&;MBW K8wݿsB_b1]/[_RLWrx¶1BYj29yPeZxCbY\y5#*R}wX,}t7!ů-DAzY'a>zY+K΅; 0 b*q·5?&7df%҇e,$JƦ P+ڷ ZaZczu!4r9?i! 9NG*e$IVmbe::krMa~Z! *7s0O kA8 uI~Gc©///FݣږR?8oӲ`%@U>)=?eDC觶T*ӄIOmf^(Ϲ'lb1XťgxM}?#)vBi5sG({4Xd`x<)Æ:W᫒Xo&OJ^މ' S7_nٜ7^5RLt|xjkԳp%>6;zʢhָ;0:W}KNǜu{Y6Rpt#ǫ 2$TF _$ \09# .&2&(anJJeAz\M=/\5F1>P\-)NMm %b t}^dԑfLk-=elDn5&, ˁmV ,\F@\7l{jXbt^nЃ}>n>.9DڵEkb͟S(]qTS6v9y/ (//*%QUwc=+o)<|leH3>+kG3xW`k^'q[DOЩ'Q8ۓ 7->UB|s0dF48͢i?}uQ7!p XJ9Na!˘AQ{ǁYX=>v)WVv#HBks#j8aОNL)0߉=ǿi2/ae3z&6<]O-JDGχ*+Axջ'gO ZIJ{xn XKHw"m1SQ~r[ǻ@^hU-*^-*F*Idu&BS#MyKE4ܕTg,dM5x{Txܿ{4=OBa,&H9SX|?E㲡tI(,LYᶎ CdthHizҺdty926]26)TٓLy 3%\?)M# q\,5&LJ*=>;>Ǵho7BhR*g DZ0 gDsp%߭\f[B>s5x{@W%8>FRK?s3V5Ei(Cjr(N̞:3 Cɼi5>8!>HzcxT_?EoӵS\{G,L͸V݆4?jt#!&X^8Th( h2Lɀg9 !,}Zw] ҤC[BE<]yvy_oSCB?#9D~лX; u%E凇mΐ4;8d[ +|cx:Iy>"&pQ'#Sŀ9cBQme[ҤRZ5IAI{WCXĨ7z#+I Ku"qL?vúg[9VPLy10K#yIk[wOǸws'%36- 7e;t]i[Ӓ\GdFgV1qwo]poÓbC4אV1bHmk$aIL@>eƨ>khgQS~Nֽ(4[@˂;J$d=JWP.g'+0jƑ%M,WO}J5< s92 ~a,+$*g8K˙>t_13;hhյ;uZ_#g)|ѿ0@E";glꭶ{oS 5P{JXB&0#-%[iؑ慶V_1fR*Ot3YNQߊyKYPװ2'ٲgdrf ]"~[gJ K @[8N'3%n i"e)=)﮶X98+gۭzt3bVaخBL]I7Q Hq,iӒh*33Ջm?9[Ef y(mـNBFԁ-Zab =̂ $WUr!XI傕qϙ^qھObv_˫$xjP=fFo-*{a2H ƞ+l\~Nh`6ײpH恎H>a ~[d֘p#w'w*DZ,$dp zۧX|iC+XTڽx,ΟC0y04g[A&>8QM4Ʒ6E|˟xy}ɁJk¡"A2[>q'$bxYx hNBpm> L[ gf=QV>gӖi؈A U*V]sb-[cpXeq.4 7ߥ H8:|yPPq1Ղߨ\<9WحQs(87F#Y?[eIJsxIG͵V_ttd`!$ZH7;c<,c8IԊEd B!&diC(_'e&G0taJs|-Bõow瞦*Szi G8Z೯ W˵w bO;Uevv3)Aի7dqc659^QSeu'&6%פvrNGat {ҥ!խd.r >3'*1+D98.κ8g[^: ĢSKdrx~`+k э4#bqWsUXV47_?,mΠ:J.Fmω:FwFh33E2YCzo漣i&*C yݪ0vɧ#Z=\F7JFմ: ]pyD@k$JCܾ~.xGZ Rs *|R]d 9kr~$$ n5̧p6a^ah}+\NGxmV]I8{}(+ڍpCPECu[?14,^FhNt;!cH"IFj"6QGTe⃝z8[ #\]ERٟ|siIvñp]) 1 VGYN(M: b<K_C~t-@]~?_ߊhv)` :xx9:B7?]Rmg6.O#.ZPW=;#9a V/1q[ޗ9#b7c=׳MlF#5NJ@=l6Ϫ>H,z%1Q0:h_]vQbRS3s|P}x5-/@ynN"eVE޵BYu>t雄F-&@_Lny.Kğ'wХ;kr7ZK jG}F*]:jxz9Z*׬0J呖 xKޑ9Eh{#'p<)7ZeNٟ&&~_E /M5Ŷѽ…9˓ey6_tAPan,2>y|  hI GkPpɸf*LHiJfUsXAj|8\@sK<yws*m<=͸&mcʺ\RPʑG?%c>4Ȗ:mDeb*Ʒ#'!,>D[Wպ^|:d`953`LƫL{~b0|<}$Q \Oѡgv/Td {5s{ 2%XF>GK8i5V1E 3U?5<,Π@uPaJ6*u J!D?[m2LC}1]}m~c yܸ9 •\I{*Lo#F_A%G}i˪>dbP~XOcl&eՂįs#{^មk>/c8E}ʭEeǻ Oj?s"9|o<[ T2`^K _"CXnCT`aFJ[\VrKZw˚88:*rg#s(`&5RPהrx&z͟2ZxZ½tzOTl!@hxDQA,mۗ'EtJMך˦n~Sf >"cZG{AR!H,x\(ND[\–R֪+9 eUxK\VDZ?flH}[>Dn2i|(S{{;:1J/RvD]x;谱 ,wKaexԛ5hP |=lM $Ỗ@Tt ''3N=}=ZT{mr?bp9yZs{ٛt=Fb{W/1Z_8DDkgIWy*>|G/i ڽq`@Vg 86;@YY\{57IBߋz#-_UM$.`cUؖ$J8ѵ|˕,TkRo3 lV)}+1GCUBm,|,nrW@"!Ď@5{6#Mڙ9y&dYU_3N2ùgV9DYTHIU%V$$'gz`Ql1 }C,*F H`ɣ(83>SEݏASyꊜŬE"k3ŅU 딓mUGbK\~*teqOiEg?bSYݲӥ&;BQCT{&!"&\xP5Q9H ۥ_GCPW3 bُ[$βF7Q$DS6|y#C`g 3inK8vZ^/OcU }`{_:+yc& ]eq"]r? 6REraMy &ԍ<c1 cئ]ቫg_)f jDdMA`D0+4n >}$VՀ"!Ŷ17] 2gFkt3cJҚYE7*-|f#OiD*5OACM|wwesNWhWeyOؓMqDQMw#lL-ZMDm(X8 LSzD}M961u*(=PU@=M Bfu,y ן7[A~Rk[m=7!"f>KZѓjX?Oo&F5ۃ${Nz'9Hv5~*̂*=@B,kȒEd 4 gAŤ؉7udV 0|BdQ sLd0OP*J!%j/y8Z/U ֚; &k}EK݌/> hh]lG "u71Fw++HN|=&WWq)]x.HT~* CךfIB4NU+)XML@} N6}ɆSLTluxTGcF3b)7|^ ,zm8JFs8N#;%I'hQ8:(j-ح{O@DO2pgU@I_udZm+ZGJt3,+Mpi$;Wh[a ǃuEDVuI.j,(5ڰ(C"828ZEGd aظ=Y 2mW) ϹbEoDLn@&0ZdA(^8kpcN',S<;ԖL* 7@]^^߯ুN|뎵)9/==TɐLa@x`T1z+kt^R~$'-\g6koH[u5:ay#5q#xߝ؍՛t ԾJƈldnoQLT3b-Hu> 孷||dHYK/,Y_4&x<_+͡JӦa!n1'x6b)?|T夒gX#BTGA.|;$٥œa[8"֥uv􇬓ؐGBb?omSoX ?p !JF>Ր-9N'a:Nq2է\R5| 9oQ8>