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  t tX% \d ]/]HOL-Analysis:threads=6elapsed=327.017cpu=1446.336gc=93.804factor=4.427zXZִF! jG]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpk!hJgCap~`;, R+cѠ3 宵7 -ĒfIavq+l:5͟͸4ٻ.rT̰5vO!~k-Y,G>@gE'ۦEsU xٌ}ܤG[w^9#^M!Zߍ/M1%K܈j$wM ;I3*!vvJS3 (q+NbB8e&L[xC_IwHh+ߊ]T`Kɞv sLL`P9YByIMI_)v9{!f}Ωu&q6C/UZ.Ke_uJX7E<*K OݱK($fʗmں] % HOL-AnalysisY=!POG NS=+-|?tRgpjrbƧOrNW({X;XJdZ>w*`1~Z4׻CK%0FSLW8цVGn@M毜ޜu?2\ ^:Ño9AAPlpJ?1q)uh?lb!;3bNh8!YM|@´5YZL~߲^][ZQ]nnNTkB9z q/&8ȭi=є>F<5?_mF̫u{&)I)R*)&ق~'Wxy5/zʓkZ~Dְ,IT8:) Ña@)*ޟPZoVn+f]nRB)t`1dᨽo1Vdf)^AL/~G ؅@g;@VѕCzme'}HftsSa,{!-z%,15]a[dMlߝ 䳓 MUj[ӊ\ѪKOcD5){K5ǓA=t !lY4j"mAtCݥC;F-9 L̮g]r8]Y nYU^4ˍxeo41|,Ow#{&*]|ݚڽ݀2snXKzmrFC P4uZ;`NT{ E `%8b"án$sϥ4zQ֢A+DF͛5V!i9dM ޑ. :-R(Y1:-CrS_&euΊTr'QiP c5ZpPSCjaBn)] `8-.魭:sI1v Z*^?ПF}sg?hQ7/uI(**" ʦtYGi[̗8M%sHZ8Ǫ6;uZjs's84G ׵~;F(؞B]P|$c Y81KLuEF^{̗"3.u*GH0(ħ>U4-zǾ8hˏY|WyŃƱ}ܠLg !/9IM#[So)JTcyNhIyv= :o EKYO1-RP,j i"}=Y,v3U3f^ZlQYZGQc_%0aǨ+èRN nB~.V@T2:R?0J&9oc)'%RaXg.8`UD˷Wf hizZ/Wmi<(DCM֪(M:ȭ>界9)pIU_oh!i:|9Eln|m'eurWyR[ ~pMH<+6j>h`} />JגXb3ctHy.L|BX>;2z!xYgJQ"o|dQ8Qg sW挦u'Mo&U^.\ܚ /Ж;Y{3;2܌H#l&62cd3mHׅӄ,ןH>\h $üҾ'qeuh Ȗk]",iN߂*o]k۟?3@C~^CwzTbevF6ݱT-p1uГczʐs\sN'`$OS5L]Xﯜrk%}Èfj£yfc'` ymu&D慯'0p2ZX8Xr^>`+42d6tSK f|1-{hޕl NYvϰ0?e,ͼm׆3r3󳣱4 ۼ&Lvآ<2y0ן_/8®]k4ҕ(]C.Qv_hv)0ƽ9$&mDqe(- k>7jsY_eW,蝵jkxRcs`鬦?P+J 'UjlSsɫ5_+ꎖ"C}nbaDS6f<4 :Or6öYhqeUO-5xf!sBytg|1kruQpdVS ^QW)7jTLbƕ#1w B:n~z2y\'hܼz顺Ol.YRx4!\<QF/pqXg=GBy6r3T.먾ڲڇQN$~vfK;vzpk1&9Ҫ/ ] V\,[PsyϦ'?`G:._O&ՂM_n:V(uhl Af-J76pTYw%,C(%?lCn\51vW"`[%++>v4樶d䗒8NCTj-R fX͸GGN0c~ĝTe\&juUZ`ח=Y[ć°`H5\4+t6(>N[[4{$^5S QBU`lfᯮ}QXAvgu8x|,iy 0{ ]54>7$]hnGo!߮`k(b#~$e]Ϧ^v,$`Q'_$('T Ttw+FkCQX{6 EtVgAK!V5O[LD ><|'`?)X2{M~G;)[0{= fG ߢ?H9'KOF&fT{(aO@j4ar@2ɘ1$fWcxZd@bya?`f^l_2tL룱1L`ɡ Ev4`J#n{q he8ULZ#(8'%/yItO[ kJ Pj@3YgWǤ{vxۧ:<'&ikpONAHwakl5]">!6eھjP6RN[n`iCgȗ?&T+NuCݸ~fN$rZ$@)=Vtrs_p;kt08栗N 7i~/$搜T|[zUK/L{$`u4-߹dTƔ|fkYHdlyZf$TqR93ZԀ UnO|]_uH6p - __&&p %Xvt.~4%fnw bXSo|efvM;vF 䉱~U(!G@&K-`R13PPhV5ZtğZFFFK{Y%[<=>H+RsIjSz {boWKWhUP-AKhP\q= UÌΉYbj[{vYm;1"NU%"U3?ͯu#+M#Փ<TFZ`;(B4)iuZbȺ[zd 8ja3#ZԲ?AK$AEݣaĀ @U&slI -HQ@H&K= s#6Iʈ-,0NmCѩ'FPlCUc/a|Nnpjr _0A+r;wXJKV{uV/Y` sqg΍o@j4-I6s a} +JS5=v:Rb&ޢ'oTy֭5k-gTճg.cN̔辘g껠)@B0:qiU% /#ܯF {Ex`-W; 6\ɟm~+R#K%Cdqej}?7[[LeD 粍y$ħk:IKnJ+{GN M)X44j'Հ̩X7_0ˢ%XUČ'/,ob'<;_'rU ?gF/3*+hjcϺ` u]v>!-L3݈NY){Ֆwc/]VFpTt!LosZxH\W2<>jJ  30Ǔ8o}̀D^q>6#W (.ImA$"=)`Vv=fޫ0s5_%)'Wx%?S5&niծl4C{i,^Kkb3x*~PN AitA ᗄ (zFѿrГ_MKGӟ g5`1畂tm?adҠW?d1SeA jPwfbz\u~08iJMc^ro[Irz8-Kڋ/[b8}Nr> @Y.&<;=ΏP;;vD=gMkC7:h WR7<$kÈF煉E{[Wq\քa:y 2ыKFvX.hP.=dܲ8;mI P |]*NkQqy%t/Y0R?Dt2cƀr)*[YFgۡ/zoĂ8m-G0p9L SEIA޼IL P7@Av]E\1آXh×r=TD o}A!X?$%̹J'2Ϡ:6UEWFR'6+0})dW [6x)'VE+nKEz`bNN8|sĒ A {U uʟ8E5&aW9we7gJJUfuTﰘȬ;3ձWOi=͛r6. { htz$rVæl\ iY`gHF"&Ek$8ioNwN?x\2W/`S_Z&$KP~ߓ$﮺:_yݫNi!Ӆ6Ә ~X@<TܲNEQF9* 2!'*MC\,+%+rdև͂jpڄ *5j#W<^2-RqƉ)Kģǒ&3FerzqO37wvwK:aZ͈t;QVQ+2PLv&^H\ /e+8==;'y˖`&k'm.b~Vv7q?R0ATWul#.^ #58,'[?ǛoɧbvîT_JMq6ɮF#Mb4g ZpՊgm Iۺ{I͌C!#<ZXS\`]fW{cL`(Tޟ)}b BtͱjSF=@0B`aBp7=WDH= @Yݓ+<^bv;a$3cg \4 IpD&6 @PӺMʊfh(|NaZ1c\Ismfrgp)ht̃G4z ]?Le.wlOST(#șƜM7ϲ.耿q>ĕƦ Z*BYOn3JRY::qZG^&~zr5 RSs7Uf }B˜lseִ{-_bСGUJѐ6//WSmPs҂Di[O <V MkTw>qH 춀r˝ isE^r$9q,2HtjV("3޲8uvXkO1w[>C% CJ{s/uʆs$ [M2cp)L$5f+lY2NY,3ɭǜc\/< SׁBZ ufV"d1 E6W6?Uo{Sq\I(׬8TA8`_ t9Nx wN=yz{KqgZH+WqAk1n#Ŗ("g4k4(61ǓwB5ZI˔YX~zξ!":Uې C,z!0@oZۺ0d9ỈV8uM,<ͥn ds4+ES9Qu`.؟,^\ME}uZJog tځLϟ^DyO=F oJfy_ ?脴|=Ǟ`7,_vRTPFWy,M9JEק҉nl7_k%= ?A(nQA:$ZNnT݌䧹EgR?dyuTiX[Ljr}5T 8cb<}|sgqB=ڇβѳ58G`WS*Kضpoln ]I̋62iHKmk#dtΏo!B!b ťuK" 7\nj]+v>:qx+^-L)g9meӴ1SA g)^J?+Q7bF<s|tiO`./"[zƹlW4H٩_;b[בk20o (Woerm& 1Fǫk7vV(Wʨ 3b[!>̏BU𧅏s#_V"=ʈwps?"MS^VWCݹ ?@!(M h0nDj*5"li`_;6P`̊!?lcpQŦyt/(Ž/z\- ` nD\حwOjb;iYF;|zTqE?I["ʓ*3LlsAh;=yMvO K6ݛBM%`^ue)+WkNMId;m^Qj, j]R=KL*Ѭn9f];uZ Z{\.2q,($HR[Op8CP쁦by^hJ^VDrl~!˷qZЕ9&Z 4S?@:,#Ч}ͦ7,)ʽA¢M -(G\ԂB Ƴ,V]v7rys1[qK& _g*T4W0@A1ڝͨ(,w % ֈz+X56E,O#:&" $iP[XrhJI7sD{0~/ _K= ZH8HƋ`]Iyv-8tD`@0Fnv@,:Da]#ЙA5eLt?7QlZ!&跐O`}EK #Ǚ߇w W#UTdr>/IvV}f[m3}y%ϙ=G]):>vq . ~{AQ!tlXx#I46+`O\+SE뎖4uS$\2%Q_ʤilC=f)~[DRdLD kO~- Y|y 0z#(u3g_iU̢6w,VPX)j Gy u0yG19AּЉ4WΰEQt:(;'eBʽqwYu?6-1ҩ#>xDq;hފPk%o,Gtc-he4=Qn@<5?>Et7=|ū#[ak!5MU^Yx?Eybg &:0TW4!![4EZ*xެYl .pt>D>zܫ i@ Vr:PQv{aR(k|1R|7$ׄrc*b|(uDFuI݄Șn C7ևuIZ؍oX{EX}}3G2AǓe e1@J *w;[Hhp7(0KNa, u [,)z^7󫚭ڜmZ6[8N8aH%XwA^>Dnh.UI US-EUMxub+w^3y] +zXBYqifN2Ŷq\@~'SC N\iwLJl>E^\w}dex M"D[S}[>/ϬFUH4d, ]t_=̤0G&53P'g$[Z3am>NYk1׍Rk9[4U(BkBzƨ10{c;*6x SDvlu`e:PY2 ]bJhe bt'I"=Z\ ٫"KAzSPy@ h"o(#}D$5avFԜy5AlÝ$jY\=E/9U )EiOU'vF:bʿC5Cb}v6[Ktx~іX=O~ a&a8IYsrzH"OŐKk%ۯ,+4ūb'B@,p_4y)ÎW )z:/GHbʻѓ5A_+MߨY78Usԥzx#Wm Q#[O/iF:-]K䋎! ljk./Sr~pYE’gr#Cһ:=q(mBb$old- =3[2_pZN6ʝ;6g{]v9Du!9FޙUz6c: qp7(XmR'6qE漡eϾlTg|Jsl 2Iʰs,' L33f{Si읕-*3\/+ccK}n}L0G*e9xQ"#z^ NfKBK+hkTy>IBf>W9fȀ8rm a1lBMJpn3?Ѳd{q{b=!OHÎ=VHs4f T-\/:Cb9#x.#+ri(̜1E*_VwXG",Eˬ6GU'cҚKˤ\YH-Y;lח\#"&X$kYsɁ6Vȼ@\9*vD~^=3)A@ua?fD'_AO3$OOVښE _ #ʲ i2㏃Rp`3QgD!깳ڴj4LQ;dP8kx& A2xؠia_&0e9ڂU֜738ύ{?BPiѵi O8ٝ^OτfZ %Lp@W#zZqo i! Kڵ2Hj,Ղ<҄$ɱsM"M:Yn~V[nE//.)m}@|gBO%6o"`x଄{4j0qkۭ7<" Uqk ^z!XR7RBu7h)Ra]oܓ|Ҿ9#m9L|*ҁKpTqlmlW5%[[4ej[N$"]n޺;Ц:'E\S >Yr5Dt5v.y'{QvtU0s#phqdZ_/R95Šp`ѵ[O{m> էs_kwD@mlD:hf u݌4p#f 6:$Rl4᫈`;W}P l34\l!Mb27#lqn@#KdȿvMXKZ{ <`NEm0lceQ=~Bǭt(rb\'H XO|#n'Iia)whL?Q+rk,}V4\$Fe`>9()&/|0]aT Y[tNljIPnnZĹ;DxX\e++X+hЮqƛumsczXjvWVfJU,Ә% YL|~_ w7KY -=hO_1W6 ~hi^ٓ DAT$h]Fˈ$,T|3ʄL^ "Q*tc?,(EB^{xK^@Wi$NJ ןy_V'xDWcb`w [-M)"9   _a9 #g!'ڦ1=yk sʫBxʊ-M0% S@$E I(AQۍ<%+PmIUr--I-0dYuT#3tx 4K&w 'E4QJ;la$)+o~"2k?+VŲiPM'LgF.N*MQgΈg Ppu`B%ki]oTo;VCZUn1D~3 4t88 j.Q2tBaU??k<`=Yۆ _\Iw1K Ҟ7b v׈ [eUh~6=#LҨís{gmQ<[imk;SyN5Z &14^*\%?#@߰_⻯g*æϱzb[&4ݲ"a.병㙃 ܈Eibd;7zzwF4d[dicلn-`B& n.!ˢT$uAW$P?9^$ Tau3A |mklܹ7p|f7?>Ç-W@H>[ 9mB1܄\ kW8";OZ. AǓDـ[ C(NH` 7S+ *ܒb3Oq\4}qd I/Ȑ .Cc{C\f[1+ߗJ8v?Lj䟅}uO} }zPA Z ?Ա?%FQ‡KyL$l ;YދGJۂ4?,>=n$&!t`U)d CO碇Jkz1j.d d%'~o<ߋ*yǤ[_cx3 ;\z *ch+[[E#A: ZmI:,}3"k1񣏃[@Myw}e*!* >?^r͖<#**?=BbP[NwVfs:D>ܭ2[meOS61Ǡ~KoC ӧL>) w'U#ov;I q*YHL~qZf2mpC7؄;] Hj<o6 "ggYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4{<:P%0!}ˌ/ ]:d;2JNns/{n0/-D/WLQT7F]F&Q-||&6ˢ$t ηؼ[X{6V0#f%|z-3J| ŝo|m*3& A^ŖjJl 7R դ T(lCtJ»T)Q=pNyr~-DG{:6v/}lKüIXC&;}R^Eߜ8?ata}PH}g#ż1x LKV s2}=]xU\#/\ Ta*T*JI4@'G#tLKݾ0#w9{cY9qݔHR"9ȪKE.13Ib=ux P/htPɶWI,Ŗn?HR,=A|zw}K ^|;VR?[̣Mo4n5Ё6!WװL&YFe#86~s6@:\=qM{t]*ZȖ`-kg_W=gT'N{Qv^It^6 L"4 9vIʃԏhw >g7Y F@Q(F#!S7&[KvTU #B#pRt_oZ[y$6a2SI^hY[:yb4%7 ({wE1k .`JCJ|q)byS2RRr_O=bZ &i/ߛ΀GpU w kL^˙vrQ0 IŶ_w_8k>g|')uSV!RK-XH~`-K8GTtUX!\`7,P:LfŠ@{tsbst emDz,%D֣$=>߽8J*b.|Fz#KIC|j&a*$DXm/ hKw8Uc({J}` DE^(`^pUm%O&m'$^Gឫ<>IM9xǀ.xnѵ+6`.gE.jąytȮ3jXuk}sRs'vTka6T~,tHLK[tj5(G%:4E 2Ϸ')Y|;g&[qO hwZP}Q w0\=w͐ 4Wc.PsV-O$5<=9J!0ߥzHxAja=Џ㽠5bZ# j#08uX~,Jip\˭ovZݯ/.͗ ^Vk)m6jn{Fđpt޶ Sfj_Vh9/ovqfj.LSXc ~34]zH,gQV.qNCAl2gYZ7zXZִF! ۣ`]ŗXi%9,}w飯rٶ"fy-PڮT6鷘(9T6=(釾RTF] Z_ߏo7)ꯝ9fF9kN3ϠTHu3_60/DW2q@iGc t (*U9rY2_5)3=d2uy >`DLn׫tոm"S\99h2{k*p S 6Wm%LjsL86 & jʓ>V[slxu&p2ИIgJ,p=a; f?'_ +"\PD|G{Yک>bJ]#}Z#f#R8-_2Ʉ]Jv)gSo]XT/9K$'RUJjLL*{YmP d$f XZ,4٤AH\).hWǑ O[N.f3P,=B~dQHA`vHdMe ɋ4| );Z5a6Į-,zT%k&ZtyS[cŽ}UDȕX Jz8N{[ 0&y\Vhf +n<\mJCK W"hg6ov6HJQH@n9%#Զwí1 ܱd=hėrb5z/Si.7폍T_3KRP`XDCI0W"$3]I")!|l# ] Ta[D=I~!XwJ뼭 ]"  @!;ǵp٨B4bWG3!8P -%#{f88пz@lLo{?O$ ]Px c9/`E9gsm XR)N Uv[B<٬yOhJ+[1}o|13~_Ƭ8~|)mߛ" yP;Df[Ls"i ;$`jK3_u*Jgj\t5*{9F:@.-t}c 4~UεG|2Kg9xѤP .+ʌo'vv!dg)u*Q[ӑEzFQ._Obb>gGi1Rnpg f}1/k7KCCb\TYҥfۢsМq KSciak$A;Nb3ϛI~Nuj^<<&"Q9*YS Mcȇ}@Dkh.7 #n /n q D(xe6E ?bкhXn)7Z9L`L! /sMMC6]ޫ!# wP~S0 ?t^pgtg1a${( %O s'E LN9<̹m`[`3qIpP1#wr `^p= Ω fQI?Վ@K.܂~ufy }g0ŷ_ cuС@Gᦗ۶j6*J&K]v-s8vJd<$|3/SӥT څ3ۂ'B Hы@߅Z: ĩ]%B?8ܑ'6[^#Aٰ[-x6h^_b@|JvoPN\j:^9G͈8%Z6o@P QNc_`p .80`+u5XΊ!:}?,g^l)htAѦ(*iH٥XFDžI0DfrLj C}Q;Oqڈr_8)cËmΉ ̍ӻ$yL}v{7#.-d=wҟA/bcB6k21=>'; ѻ2o=Z[%9A]ݘp-+/שjJywpZ[4`+F@SLeWGD-J \zG'CY?%yȥاXQiK  ?# D C` 'po)x}A^YY36]q {hFcϴ hg!V{XCcN 2^ ѽ'r*ƁNdF н?@|a*3|p@ EOܪ&OsŬƩq,I+61vٕ moGKe=P-=EjԵ2e 8LKT Z~\qYZdO߈ct^Ox+6 R]ۍnPOVȶGc:e!{1do tTGqcY;PX>RPݥ\{dˢBrVu~98g7Fr`fz+(QeWU!8peAdɪl|j!C0Kƚ^Ɏ·z\ds.X[oI)(! >ٹ'y^lJ&MpFW ٞYvY'cjt[UWQh!Wbim[&n: Ѽ#81iWjHLХ}_v+ʰ^uSseL,& ga2]{^1jpa)9e끵4 u[v#ŇSeU;m=zBa1>JK)ׄhgǐm2g *BeRyc׳hquVMz6{/e"MD (DvY֠ g>5-BFg_Z%-Mѵ_*C)$~},lhÿ=y;Rs2+3rH6OQ ;펽Sw23U[PA aMw,ɔY+BQӷ8"K&Tw^8#c~yt3Mjh11fXkq1?R u`S ;`B=[IYj5ѪZ%_fDn ⫌\RVA<Hby 5s6sv/hCQ/өv'Z"כ<5~_75Peq-:{1g>6{D[}GȚȓXhiW8>34.j2o&$6usngm3[R\mS"wD;xܗݖ[,[fE_WY@iu0_{ԒgGP"lDk$f9k QiA' af)=W.sv !A& 7aSFhDy&qM-M[1ߗ#&?4V#GNAv<.KI]DV<`J~ΤH¾GRTRU Av kAHC[v28{PKUL/O@,(z$kq3TE# RŤWHbM{q(l)77J۱v4h.X+$V#輠I`47BRJBTGt%™\Bpu[ j K';LBϢSv= r9P;I%bs?3J9-gO\6dԿ}iTжΰ>[,?{l Aw_챈ygq1?״B>֠fj'Xm_m KikPC{]z/Bwc@Xd~y~'6t%ij:tǵ`*#LT!^V1f0(MY ~KlzM>D@jcu|\ٸ\(Dv'Sqb%+G6ylead+dD6/ΧUbW|-V+"yi<%8fq ~H5WL2|<+ ԭ"Y& @‰jOdIduiW =STH~GxXժdS3f=6Gl␛&He tJ#.*X(t4(qCD:.n'U0,;dJa# [iL{6v}x 3M}OM|>+7dI"vq2[%+jKMV*gUCWS܋k^ǯr0ÊZXUi$b xT"(R*g%E%{n_)(QS< -&Uχ^ l𓉺 <'Q9LAfõiG~"/dBFj(| I`TIf›/e:XH ]4/hw.X(s~۶`@ǃ8+)T,^R$:dsg؁c;Bckݣ AZhNDR6= [mKp4c(ch?+yNC~ZJ^lC19,ə2"Af;&!.E |"" "{o^;uBk~S Ry: e0U:cETξ ~:1%&AZ19_Zl}f'1_mb ;mq Wĕ ׹um? pIb)]ldXN_v- [9_!0d*l yb/3ç'TٞX*{q3z/5Z:ZEs}r<ԈGzMsJ,. Ba똼L;$:8 +Bh`7O)['替%NW}mw,${O ۵34eY(b:mIcIB)A5{r,(u wNJP4#%kZ"EZt箓ڷ U2(Fx!nZ'|cWu5)QG>ok";XCa?-? Y&ro!f>?I`ެ6|H;bkH 6NBnO E!V<96bQ_TvG4$IytpRNM+7N/.B1r@c ,\hƤXs㯚{a^RN}⩒Xn{+z,WV)V,n [.KxI %3! 9ļx_K f,LEL?%ԽƝOLޥZ~llFp_eGK gGQAMԷ@(EꈙH 1N@ώܩ0u"k5x G.ӜoClN^q3K6'& ]"W k>SUC B&6V;jbfYۆ6V-1bmq:XԙuBU+86J$Ƚ&}IS[(zbeNӣp?FH[Pݲ#8Y1Y MO{!iT> B<@H` RҼQ!3ku5P(" miʗºO8>+0%^ZiqXB"L=PLt68=<#60Akۚnom1҃tػ#,:W)!=Z,OlE^D & bwQ !ѶyMp=Ѩt9SM N-A $Qϭ"bvKHLE\-^ɠ3g $нaGS(;wY jęDAݿs'M 4-n32]Y8p@a il`bTDїB3pŠ#M =SsY.`lFS v!8D,/skH/D|RÃ&ieQ(3P m8JDBo+iG7;8gp͈%u1D4^4bE?&}E:D[ސsT7G9g Ocf$읤*m5YbcU#'xMkIਛ]J)~n`ޛS-E- QuHʵNI/bhs`vy8aCg Mw}dmsGꗑgqcf'YBg9M2kVH>`5Jjn\PIߓ|wbdX^[ϴ6JFzڴH (=!RVLp*h^y,Z>@vu\2YJYZ{ p Z2]obފH (Q$7J4J+"miȼ|( Bk aS;8˷nd%`s};N j_bP(gfb?-יm*TXг4ѹ7OowYNlҷeI%#S"L'ˬLtiR*!n<{- m~4Va"zh0rxOGP<_a_#+.<>PY+*ivEdB  UKAlMSSsJ-.J`4Ռ_aږIWꉣm7 v"@yǐo e@[a7&U\fܙ}V-6I03X dz `vǮuGls ̼ylz>cSI.䞍9c29f|yR°`aW*7{ˣ*<ggU<0 yYO[JHՒf TE o#㑇l(7NE'be(ٹ!%WLn"C]1^7nm*]Q2 #UؔM5PPTzĐ  m۬I,$7MVo8X0w2A`ݳ]MK~TiXyoe34rBقdTla$Sha+<_rVup܎gDBn| wqAtj౭G޹}pF͛/dDgmЁ"K?c= :eHaݶ# z *64-cbGUz3&c030e}D,J_YKYqB"^Dǘ GCr)1 l c{poq*|zCRS$ftV #9XzvKa[ .  >ݾ=t{ nO fl]3;OSNHB7a37GQѺktu:7}fFrxߔ⼛!3y_({y3J{Q644-#yCVޝeX"`*QI[\Jw \=9[`N"rkê:)<+b(kT1)4)NiT('B%SƪCm*W& j^ts|xLN0<ϗ5*yށ#.Rr vU,Ǩ_xiYv)4\C0`'ΪjUi*Qe^Dz{@(} H{15=h@f}/ @1Ѡ2Z%kTE 1b $XeNvh`5֏1lqpMוl8JXIUyͽ_ovG@0ObP U-w(R !VIQVU@{f w*p%Hm?Á^\ņR1n@;{nU.Z[;!-T)YŒ;x1pkV ѐ&6;P^4R-CLnELzPٷ؀:#jyn_}IX.o$ 7O,fכKhV~38!(RB&3Y:lrdH2gݾ[g&Fyߦ;ݖqrM+j PW~"i9xEuwi]7ʞ#R2afF,EC/ABǐjYq 42p)?3j2Ȉ`s1qZ\u8Q*e-+O\ B7?n醍+ $Yz wuNQj9yb4U ˡ ,(:4gjĮJj%[5u< _~K8p}Q?)HIۡ&'᧾eVR/Ӧ'Rs>{ )_+=urOvj|8Pt]]ǐ7aV=5bJI ,3R.hB2 q ^[v-Hzg$5Qe=Ds5ID>HXtE+gmYr: D|o6,G-y&^I6 w_!魒6 XoSC+uw~J*;A(V Eٸ8,:`26TCɅJ#^BnmW+4>WZyOGahb"pZ0_JmGՊ(:qU}kT._aLxX<2Z 7L'2І_u 0ELs#lO9X k,6O{XJgqvy4ێ%ָ tP#Dl]E:f .[.ړ狕ݕ\|@%E ۈj5 >8cZY E{Ahdb#JQ~oc b{L7ႆhAN<0XٱJv#9Y9" J 7Ye(cڧd%Y)f VRD: `s!;=[(dlD?KukI-8jL5ІpvbgN9{Inuۊ((X {iG_E|4oDcvՔTHXqr򯲲o ?%e38SM/KU-%E; ]π_I rŢ-L~UAnk6BO1Qj[=iH]u'c5L-fezx7@OuϻoN #"nL[vj4{ί<3ґ5LŔv,/-.hԂorѠDGD-"XAT<1*%ˬiTFtdR#\]ZlD_7n| d8k m.w~0~=#i(??`{v^: 1ҺQv| b -ƈy_/SQ1k!Q) Ch༉eR:W9)XL{|HXSD\qd}G1(ݳ x4}!@0:'X>7jbN%;Z0sٿƹ;˝q c]&Fu{uP?1/jd3o/ǰ]7SX,]h0lDO@xAz#ف]ڏ)p+{l> /H6EsL!/iUz% &D2 t ?QCnrct|PC"e fOߴ6DV:nWvP^ў.9Y#ds3Z?K?+vou0b1u~%m7Fvu:{6)vtVpv^nbZ%{ gЅU||uM2+hiF>Tr\,vMz@㊌:NB$pm,L(1%rO #GF*1݈N@P| ttz?Wgdf7U M;\bqxZf[]=/&F;"KbWxW;5i]ۊT%Q92F.W1Pv,\HM l<UЀ/Ɍh$M#80z8rƠ9aZ)b]oC,EA|Unᒭ ^Oŵ}9J;/12O?n33F"a3_ =X_#vշ;b+fv;GyNJK_<; ndѣ@sx ⩹4萞EZ_x"]fˉ RX 6a+1O"R$Rl]SeWں%\^Gt*ayoG]W[Q{[mJMNi +h\)I7 pBښD>g5F&_Q1G'sP\ÐDI>пU2`)a^9P𯜥x3J*rq9AGoh pV$X2맴lBI\]"+O?T/. ձe0Ei?Ku "C7j-&pr܊vą'T6$PU`%} del~AlzT sBnj%.ln2ڢkoTT+ҘLǜ@R !" ҏ?5FDƫԩ7Oƃ3x 1[:T ݸm3`C)ז}8olil\M"dG Kag겝#!N!ơ3ԉaAAwك *iB%K<߲@';5R{?xt!Su@ W!=fICVDa)b֌ND;/ŹkU7J6TOG VEՁY &hV8b$ljCn[_5#``_+,PO/jB8[3jE,kFA@{CBZM#aX^ݣJIo\i$>!?eCac2iaie& lO(U&*ф<Ǩ9fgbARjjKҞ:4 N~ސѨ=.ij*1")#g*DIJnũ|u61؏2'N-UJ8D{q%8Zi];99X2%5΀ !WKqz.:j,2" YLQlSA"TG % N,rRH[8|Zb8~zmX~uv$g=?IUlCIl )R݋+l+].!%:[Mgd-Q 4k~#a`6]Ώap 7.j\"4!cFiլ !L[af>y# "WU^H۞*nT/Y6D/}>eTOq9MlË6>M 5:Nt -nGQLt^jsj. <h \f-*dE;]Bnr&W9xz@A1&2 Fp3gzf4.:z`#UTShu /IyzMؔ\ vXSds\?\_aSr/h8@r"Kb[YlS^IZy9Op[tCp3"}ɡO%QObcIl$ ҋѕp'E'(:dN%Y9 i {Yr@(&[A .l#RH)eB_ I<ҟ rl:O;R4GfҚ*;!<cg` +z]6w4kL %oHb҉zm_Eg4DG͐h%Ǘ0xXj$<3n<؍XV{ܴǖp;MwT2*u{j ~[* /ɱyϋPx(63-պPTCMm iW\4I^S/Z bBBLFwBWW&78A:wT;n30|"{ 0~ø! r-ϡI1qC{E=]^ ^u͟ PڲK/:e뙭 ~#r17W\jfA۱xz0&4XnJlRp*z{JWiG`gT{yQݢY'kɰ$0Dz#'s:y= ϋ p_=!xE6D)ҡ zK2t/{]c/%[*G.nHwAVH+4Ɋ`kn,|y*px5CK j6C@FgHEmK}AfZyќ% nU |F=hԩ\B c8 q%F>vt&*#)ς\}$YB۱=Sbƾ]X#Ps.3h&Ug{3FxRp͆ƣX~DSi3 KuiTBgPh!TW[HR؁s!YQm/ύ9}Cr'=31l 88vI?tD65G](6ŲI EmR ^S +pk0eȪ J5,&,Zd1.>(M +l~Hb'r ޮ%p9ދj Mw#mV'fjVyOS }Yb{X4`0L CvINTCTpb&s,*u e+zykDٟ_:)OvRI1_SSV#SztD_Ohi$$w VGdBV>\Vy2`?zJZ O麚,ar-^4CW Bv02|-I'$9 2<.={6U=u =J (,"+ūXfoeL4)<Mm/l g3e稐(QEA.9 W&KJ˒'y~ AEʠŶYN׍n  ,&k@_EYfMj|]n'Dڃh R vBau)A"Y8me&X  Oe˭8ejqrY. 5uG7"la#]݃+F]C+Z%Eg1|Qݦb9KPx'pP @9>-  w XM J(JW;g2ϳKRj[ rv7HcbM26͚iCZT@wɞd軒IѾU=k4qEC?Pc?H\na2&d-5UkJɩ?^NcZ3{KbO%T?{ ^[Ydu bBrI-(VM x:BҼnEuсl/K -SYMo^ס"lr0}>On8% s{IFHS>:]W RObjfH, Iw9#8_W"}w+ޭtGX4VY.(o|8?6iNy/=N[O^b65Y߱גʃV4n+fl^?<jn@o$EYex! 9Ԇ8 q[ٕQ}f Z~%íRm\[h¡ꌱE A) Mum1TMM`GwXq2-\\)J{e+4]n!*)EIR^  n21m};,&Z:ʢC5pk4x.AB)ٌBTݰTD3ʘͶ6c)zHB άM*YDhnXSyd82 @_xNYWǸڃ_gwj O b^* 2v f#mH?=hspzӗRLXWZ%UU|69o-Vj/ͨ  @*5Q QLGN a4ɨܛiZ O M7LԺ҉?=XYw LP?..5(WM^Qa=y[cA.ce&-&00|ɯOC)3UtA*Z)z}.B|.M{n73{.<2JVVl6Jr洊,"ۂ+٤I7gtvXn~:~hKxALf0 ïO kg^γ+e"kc1}ia0p}qZj4cYGB]ІT5H95VSx@v_^ μO$)뙤, SAk"ri,I>{GRNI>Q;JJOn[/Yd8wa䨟 2ULp`~HGr ]|nǽξ8xXl3_ZN6i*kC>6 ZeD1]Dة9b VK}{8Gm&O$ 3#m0P|&ob׉Wj.J% ضcmO|1C"V=1M(wO,O?tR&>#2Qڌ1oF+&q¾ FCHsl}v!#Sb\lsmperU9n>nQi0xDuci0rᕸ#)F\,,nؗ}ًK]| nW_- M"F\RW~%s~ՅF8[t. {N٭`3gZM ck95L3:~lҥ ?";p[223zhle+OyJ+Dʻ@OqOV0@3eDW yF&a/c [g8x2e9B^Vf{fn8cu~_!܌w[̈́`vr_އs9c%O97-l3׈t 4 Y^)'fݳ䋦6&B?OYt{;BGLUmSCt]7U}e݃gO֚-qUFPJH^>VX)wJ\uPۍ#-ޒf0+$kglO+fE}kLkJOͱ-@'cfƿg%u y)Pp *yiNY[5.~Np/&(@w3#ڷu CH uKSA-}Ful 5u@vB`2͊..L)]xqׅQfh5?`@\[#L;PHsKK0O(>{߿$S| XRht Qk&=7a@8F"ۡ\eO.笘w I7Sj\}8MZCwu~ϔBpVzb(VKo JS-c(̄%l:T)R. ǚg0DQ m:‘::q Z,HO38E|r҂QVh\˒nD! &r8 9]TMdݗi7y?@xlsw\>Ef^TljԦ_/!k{" Ow3|Vc.'NZw>iZX ˛5Cl-~=Ȍ9b뤘}&X8)aR Ȁyyb rX:Qf6j-~kdߢ/A\Rܩ|NTG) }PtlX'>Z |͵?U6 MweЄP!0 O18}2lY2|s!&ؑ4fG $\"|\tI e5O>e^yR#474w$'8ƒMX&I6kF[UWB*)$FVL.qTJKw_6Nr\r &UiǮbkMyvƙHzǐbq?^B"cGK ME?9:̚ز*3l]=:#e!i+8#W!*&Ï *Nm#m He\[p_nolUueT M/1/QNXN"a*.a=lgR$/Ў(LDیo[0z ht"!ArA*ܩ*Pr\J(0V>FQ='3ʨa_ftSyO4HTd pTHc?w-_b3V1ow|M3,*B AsEx-`Uz[6*;vt׏aePU>h-#z Ry ;Vz¢]^"|cK_,Er\Q#2*m56~tWt}V2Ӣk'Z\S'qɓGI.z8и%pkAZs#|yNyW.q+Sj(GmOb^#f'~j}+xଢ଼,((%ˑG l5X,{{>1@ZhAzL ]јL%7.Nf%`0҈ps7T?$?[b bb93ZS!Yz|`~ p~-{$ άrDyr&DiqxYF Bft;ש6LΫ Y)>WUgYZd6533c1285227470e139d495f2618e35657076d26c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f5389306852df5570a23b5a1ccf68cb731e488717a88