SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ~~Z!|Tl ]]]HOL-Proofs:threads=6elapsed=350.441cpu=608.552gc=123.0007zXZִF! lb]ŗXiɟ{MZ9=T9~L/Qag1( )pK,&|HѲt3Uk\ JWcۜr0KJMΆEY^ <>džҩQ y㸲rEYkGHPp1ӝk./ĵVr~ޓ؍vGb? 􎚆;=\4:`]af|w613l۰CGm??k<ˡNՃ [KV<o3kHkRS|m> 'ʙ~].RXuIG{㻟K(⟕B $s\gxy|&h.#yϴ{n ut'6FBe֯PW$_9US,[].a6JhdEclLNr81X@_-U*|GQ aFť-1規-#׳x+9[{ZᄁG#U0B^ZT.1 hPwT@CH}@ !v? w '`,s/!nz_v֯MN? L# DMQ|m4wN9G|L#hQxx+kHX6h%A'9-~*u)-Tk.ːGV<f ]m M<<`lib7џAPb.텿8Ns`b/ Wzy.j6:ppQ(q%DFhf&>'ub%I Ɉ u6:!_Qj/5g` ҃P[V;0 E^6a` ,K"T[.7@#I5%+s@YWMxcqFX#)v<*5/SV?z1R ίՉo 1l0]LkZePQZZ|؝R≶ ENș2xOTA~RF y{'+y(wo Dt4.OE׫dtCtR|swS,8&j4nLa(-3)-yx։1iaߓ6m۬t#ƶŬt)́xm%#u>h֕l!U wWՎ}wERAh'4精^J,u]L֑_wgMÿY\mgf|>}@mr3٥|5:C V ̈g %{WB@GUW\h*|tltM rW8v>{Y$ ukT, v"@Qp+|՘B/m&,Ć%I tfMh)xJͧcy*j3ϋ&%fܽ*b/̝Iļ5NY].*+lux%4brL呡2yErp'D ; tNVb &XϺ`~w󕲺 ^Ma勵|]p/>쉛y#YH}> -w `ЩG'G#Oz)l7uAqnA@#BSę'sEɆWє(ۧpc l/4T]?|Ե90rqK֩ \y&U ~pi](NBTh+7ؕmkQ oF`J35BYzG+T5bn3cQ4_}L3;}`/OѼ6ȟTcӀf^ڷ{.=e=w?tVkUف_pG8[klUuᢘvK^"ׯyv]%̆YMʽ!")..0L9BC0f/zp!WA60їyiY{zsr(R7vC`bq>2s [iʬB~mqF<uz"H5PC#~ 5߆3(AJ- !v6v^wJqR2`ԠxY',uoL 1H⌓UQhw C4 [s2 |iC>mT!(0~ 54єU6t[ Ȳ4p#=VGU3IQ"_[[!Ĝ )vv$vx +jiHCbEN5I&ak)zMY%y|ŠPq0.=9h>m@&9!^)[fէZZoTeD >Ƒ:,ϟ9r2vh]Vr3zJFwWĪv~flߥSB Ɂ]u`SWu¿fNh>:p~ G{vCBFIWlg7lu>&}#8I={1 MG,̜ ɕ̾)R891H+[b)fA)'(e'\Sk*8$xڒI:KvN@KJQ샇i"l@~\ކƕ|I1'윽xKuOK| ޗ#6̥q'G䘥g ? Qҿ]j 0-lm!2>ο1iA{ ^xK^2iJ@~&oEaz0[x-쾖|wM<9ݚL,q. {J,cHOt" lbs[|T!Q]ܹH>}KC=GQ( Z; j7ץ2 B!`n& i,?.?G2 R`; Egd(nZy W6,tB՜K5ZV c$ԏEސHLV()#ނs~ esfXd تPmo6گJ@HugWaC6h k!yU 83﹄OR}!Px>O؞g,=Eֈ"tb=b%bay8t)Ȼa]-`ƌw\:Kd:-ѨC_[B"$i=4!akSSN6 /dَͯ0֪. %0x Jk59â2h[Z)t*7IHYE7zݻNJ[{ (Dk$f$'31ʹJyqn1陫"Htb}7}YiJ!'۫ő}؇qpy?e*1Ɉ}wPV29_3#`2*_C]Ol!;e OO?<±5GfG'S`Ug5UWK%odGI *- u1t PBS`ʃH\ UPs%sn>&J]##ڃ`MBVt?]j{qqz`Q !ڣCpڄV!EUc-/:tL eY@u a UᬆС !.#StE1SYЭɀ}5-o|lt^{ SuQ%v*A%z{JYGD ]KzƬʤ'!:FAG1?]8*F%ȥF|V6H'dOKPc\$SRGm#ف_:Hx@E?sOeq⑽qN|Vա7g \H8Zwh+B߳$25qB6flS!%'a61u1S,FOBdyZ :W`Qe[@ >s.ǯXnW|FFJXÁ̷ܴV~6f$=Ka8Ѓ Zܒ~\KE H %@ח9w -1.+.œ9kCr~Se|9W%Pb! kdyl@|#S*<0?,B4 qͼϸ\/Fo1h|c`221 jDЬqI#($gȘ-^:EsՠR,PFC'{SAb)nv{ +BqRR'ZJ3hIݤc| iK,,"W>Wc]ljZVș`꧌x<ƃ}Dv^f %pI("z=u,{_`1),+`7aF"ӉTcZq=W?~/lh9< r7BO.3|1Ys]c9e\1YR7ώζB}DdN.$13z#OJc,U<^YV==Ġpog}M/ K$ڎ7m+) +F:SƉdZ)"!H'$A|p꧞TB<)dğY^/su 69=Co*׈Bn]-t5ߋ#ԁVGu%X~4@9ȌP ޅ7Ed =y[Lg%fAde>U_!ek߽ʿ4D1Jf8"!AzݺDfM /%dؐp=Zؖ0#~LOrKnvˎ'{,EMLP]'LO<庹V?/ԳR[vLݰţX>>=eḮJӤegLty?5rNtE&?=ļVKt}Am }W] J*Gڽ&^/eh8\YxRw3Jm-crB=@*_XLMXUr"`"Z{{ְ4TNymfr'a~? b+o؏ E}BGA |$H'Jf_ð88ܓ>:%1S x Slsye8RZ]V$ ~4K')J|;n^XJ''f>K#5PH6wDH]Lpr5 9nq8Fa{S#DE(ɸ2"1Jt;hqZo #Z)+yUNӻw nu`k$aoJyXKy`y7 @=Aj $~9Sn]FiՄ0S}`< Qk8S01J< '|:g\`Az֦r[);s̓ Xٌې[{o=j.ˢSKȃ)| URW<Ý~rO[%e?҃uAdݽ:5;{^#\2 g~s Ei4ֈɊ ]Eʰz5o] IU2툉sDV-)bH̟兿wQXmjr8IIWŽ.=+vJ/>Pkq9ƒ]xNO?(`'~, 3]}H6okwgb+gS>okH7uJV?.JIF%!ދ9/qn0{ C"+Ԙu4cE+sg~wS7͹ix8M/$1WZƇ}%\GDjJgQJ]h[4]b/% сQ;cW~]vҊ\6K01W MwŪ:6ǏFnNX?͐7*Af%_zʕټ`E\=NPH -D 27$cgYZ7zXZִF! e]ŗXi%L(q1N:PXbbߪi6ö>R] Za9T w+j<8+fd*Gɱyͣ#ʜ f7dKuSl:fgP!ZF{[A76RIT] zi%Rܬꁖ@ gTS.?&w5&EDހ\ i5M?fp+Dޕ:^/ٮן5d+ ?VAY-ڧm};9l$*:_v!ہєQ!XIVЄLwzA0xSB)b}4 ')m7 si*xұlc]Le%ES˽NY[rߖ-4_CìHXh2bлO m9..YqgĻOfO^3ޣIM{dFZGu8]3vq>@MX2l %yMewE䙓Vkگ'3[2AmbyπEB\_Ap_K_˾zY %Z9ɴBk O zq2H+bPŻ)HR-+|C,l튇䝮>hX〣aؼ2'<>8 uv X+1! 5*LӶf ۃC Pf-;砗؊zZX.WG۠F?P;OMpп~iՓQZfʷ'0]dh~/B \9\gZPpϩyw-\ Yly Pdu€դʭG_K4{*&B|H6 AbNcV:R TV$_ϬƮE H@d0EylFfX looBIx#M-8 )zot-|DC@;_c+) X_V9 A4n)d4kC+*&9N,svN|O:!wsҹ }*ibf~`Vf66@1[YMJp"-Xq74ryi*&yhFB仞b :+ ~$ H$T)+o%2ڪgj7#4ֿxVn@gT0EL3UX8.d␴Us%2XV[̡M]oU{y7jʖ &SsG;R]|1{^~IsK~Ʈ遅vj 9Ʃ/7cP *JnyJ8?Q́ݧRN=OQi.] M.R>)|eVbys,`+7q=ơU_^<0c #w|Pd8Gs).Qjk3샂lᓡsI(d (іBgSu-xXu_l[65 FAPW{upT խ& =n(97xA"/rMx0+]7^4kM;ZUVѪxE=6bAA r6VBd'_4zg^WT6 -U(զ̎ H^e3 -BD{"1\`)1|`9^PZ[݃PE>:sJ$`E{I)G@[Y6934P25PðAU8|O<ڳVW0tҀ௕!{$ӋuQjs5`Y9}>%I2%Oܘt5S*&dHfTf.I%hG{$Fhf)Ċu?K:*ʙ4;i,'<'@:a88~V4n%'GbϬ- eYh:o)2(¬Y CG\QBΚ2Qr7dn2f]ɵ("z q- fmެO _]`LƄ#hc FTou%|C`)\X͔ j.Z={:KLI*Pǁ[)~ R.'%xݽ ~vL>rUNv0I%3~T2jW\[7ykGA#&{y2oKN1(xIS~ UQxt &oop8EvC.O8= 5ݡd7^ms~.7At g@B6>b0#) A>/*,,u0'j}0T,kVS 4q[>nd!Cdǻ&~L]VhRpW/'F7 x*OQQ3[>j(5 POIkUwR$cG:]e~  I-[4f\QQyzj-?lY18OZK$ j/&fu%?ļH=t=;sb1:Z,+k!g8 *GJ:а3A?սFf޵:qn;S4=N ;=NQL?Q)c.]RA"pu8rRy/d t]%hHn:sKN-vRQQ."SEdivlïXnT4ub+ۧK/ ^2~vީ,!?vi-FXlv8BX;lZ3M6.tQRڢ`jBy3Y$:R+{P%Q; Nfy2$& 횎bTyM~Kܛb1wTlVVi<:G 5 zumŪf|,C{п{ʹIrG y:d?iFr5A@wr;c)_>+qؕHՖڞJ'$_ǪDfk.@^Vd q^p/}tUz`*>PoZ!Һǘ+P&ګS2G؀ƺ?i APݚO7!E @} o(kg'5j1V"w%j-3mBLaz32̢#hM3&b 6g{ ڛU<-p3)&'-==7IƱMR`wrBu_Y8o` Aw9Sd]I7aǗM02^3tx"Qn4Μ@:(i?!s @P~>ㄬ]v(G1~Pʩ|uKo+Qx9F:f)6Cd(eM?4ExUgaK%ǭg9O>(KAL$Dڴ\5ҝNJAh;y{[R@xn ~o)2*:J76QԮF ; cn#?bǁw^ wgA#HƩp.;ͨmb8W kgtԸ /|xnPÚmẹQ:Hzs1ijs3 `()V%v+^ MVz}C`ttlm:hW/"#|Fsh5ϳ2I1Z6yD:L!%|83+lK .ǨqMօt`FJQZ#;#fIKb16k.G"Gw UҽTGcSϙ=s44Nl9 ٤ D(?c[)6IAƚE Lqhz$0wazJ%j$@2OD,^DŞ # [Brڢ$mr_Sۖ)W:avǪK gIs'rkʴJ VX"oaH+.?τ[k\ )!iݦd>De0[Y)\Z#5`vp(RlV6PP1``z)()!2# cC"B2 =πRǵ2=&PWm;Bl33rQ<+.a`XCHyeKrqx I'cL4]2!ELAǥgGH1SEyo=q$7b.* t'{ >e[pCgTCǦeYzFZI$DALud԰Q/WL΃wе$:Q?d@yq% p{\ ?lۢ1j%%,ÞY94U&g!D u HZIɄvIC$f9O2 IڱG~ Q]tti:B24KٿpmaTB$WƱ.,՞\O#vjpT|_Pj}ϵ(w Zr#x%ET-vՁ$ Npyt;uWEuz+`)c5/i[*) Ƿ`%K|lOA@^x3%_oog)advLy<#vP &1vI 9iAle}ÅWH>-~a\}?Fc'nC]{yܬn#9qis6UY#>G_dNgmK{JD l[טԔ- qOT#q7"29`9lg e+N45: `4~F"A U{I @AIЄ-ӥ"{)-_$ v4S]D3J F ۰ BW^jrŢmu`y@ԶW/g8` M+#4ca$#A%aes QQvAuֈ4C n?Q@qbuߦ=v]j&R\; V4l[j\.3-ݟ\RCI≺`˲ӽX$vqړf66383#x-"& tIh u17f?;hU$ ׅeZ/eg1pq} ,S +7_ޥyv=< Q]P.gF$0!`#ȨȨZLX- wv0>-9v|2 M1J󜣺)ȯTE7>}p2H'IN6m(r \MU-Z喑# 7SpL3v ꩳ^w0\ r'2K|V{ԆV^ښYr)Яm5t̃eZ_~lԪڦ˹U ahz/oZy G\|m BN6a6;diTUG@luLz_KQ%4cU93B*YyI'o<98QjHl؏^"ۛN%j+9&ZpQֆ>-pyu9>OCUq@ڦ̋ҋ*2 zb+{ǮjS0UA=8J7L"Ig{t-zD(B?4}YM#kD_چ7ÀC>눱$fG.~#7lR{~u"$&iI%Q>_FŶ/5q_*R\ J0pG,8tWsN/ }TUċM@> $7`[,Ye+jzgrN y&9!5 b_dfMѻ} lp&N,w- .(;{[ɿ4ѵTm 71Ux}w?Lb ,>nJ%3Ε_T"2H?:]Eh\Z9|kuTM*lX*> OӺhGђbSCQ_Ȋ5px}wAYaI/h+-+ƬAQmQ4CCD Ju@ CR /mCH%A2 'B4+ŸخU'y]ig' ?v& T?'(o2o䙥"7ԕӋ_a1 UgiA#՗BHp0zx"Hi9G x78OLm[r n{嗎1- jQS%eŕ ]3_^ciJUDzU@+i!Nĺ;~Y+ܛ7<=ߑL&vn_Ϸ<@ڐ8/]7Ero׾ Ad Y1}G,M!_f; RC(kG-?k5N#=JnKVMcq[4B,\Ե&쵤YRAox;葏 D`HiZWOTq/UF#5| %Q3\쵟Cov]/3Q|W#6!XwdXsp ]gK;1nO"_l4"sn5 j2R+2fYD| n5WF;fQJ u1Cd짧B)IkZHkrLwk~_ +ŏ] Ll;%nnuBGi1>Me)D돿|z~ 5!;,^>%_oÅ)SOFc/bə~X#bځD1geܸ9` .Xu>JgoԷ&+8r%aAJT!ߥpHr}L>\E{h#.@NF+qVmU,UE¼4п 1bϬ-?1pVU#N@(~5K/JTfW;cۜ@A LqeM~$b.-&0@Wv .)-2XA#%4TVvw =b*L׺Y8[:St;x]q0/8e 8º!2i0DKduvh7UCVV)W˯ꥱ w<|rę'쇝ͼYWbzx?6H]SA̯fkf<ҪO[' f|L 9_@Y I&P"dA ĺՏ==S:O dfN14g$4';6:S7d 3BO_C- 6Tr1Sh5_ٵr[ .ƔkpڿArƸ# J ]O@]FNWMc}i_F9Q#86Ě|!5͎?p/~Ĺ^Z |bkY [e/M%Dqq(}JšAt-XCy>td8uEWCZwlG6PŞ{S(rlGK{JKg@>,˜щFl&[ ( d==(1RaY .C%=܌R3ef(;^X_"Գ`.57,= lu0˪?t&>Ufy$>}% 4AC9 J[wesϕFxU6S"x/{w 7`aK|;6 r@⌍=/llϧdSv6QU}lz+>?=mtjwX$N/?@q5)gt9Nh -ϟ-4nA^=?v;F#iK(aǪ*_7bʌj mқ˗:R\(Je!zͩ*q^onv 디E"Z$e?kfSׯfZ+UiwFr3C;q@88O23ɱ*yeVVX1| ᙀeYb7C[M Bvi$azDŬ[Q,/5ɓ`0zGUxiя$ܟJyNN^w|oNk}f@#+=~umA:K>#ʝkcze+;`"waQ#C]3Aw<&"c2ƿ ^I: >|qI7ZQ`p/9!|Y N!MHufjt1*5r k_M-"" KIzٚ$[ 퀂#1X%YOoߋ^XlǟZeN+gFpBVaR6a7yhs{ܒ̠$zMBFS}UkTo* Ϝy,ٻ.gW/$W7OCe)Kٵ8Z.Co %$H|"QC&%r-Qpņw12gUN?Sj1wF%e7+VLݟ+=AԱgxxB[Ku<',U J8#&6+Y8)R5 EHw ;Oac+*{H[±b>R. %z $桤X̝ :P C1+nT /M{M0Sa|(.5{ج xb*%1CęK- |kzP$a1c[$P֯kń#7xYq̄/?}Nޛ5Ʃ] ?H\RT٠֛CnՏ*}Sp2MifuU}2BBg+\rՒvb< QBM3!Ժ%J ,ڸI}ny@T§U<†!~}z!䱒|Z<#q?:h=`PFx.ෑI`#v#1;";wVqkX/;]xol[7"lk_{uC3xHk ֥7YI 8\,6L7hKJ̒ہH, kBmDt -{di~TޱI]{v]Q[u&dһB/+YP ~uдXe  o<{e%HvMG*7+I#ZA[V${97S4j~)Aԏf_͕%P\| R1VGM 5ntu9T,%Y/ę"tDɇD#N6F=.&U-*&)0墹xuh$(z%\/XdirtL2\U*IC[i_ڹ8 @Bشg H¿G[jQbRf&aתCVuv  p_x=VG%~vה7etqW"և]6{EUM 6j6kjpJ*︀8e` YHehswcy]D{fqNCIO ?@:GkV@0ץw-Ex4Le7ǽ?X}="TM֥2d]5I' JR}5=yiŐAD!K}Nz|GvS(kahGlN±UQn_1Ғ|NT8&t.;|œ%%P.QB-(*& Ks 9vsJyF=8Sc 첿؃2_ho'bB4twY|K?M2K5Nrd<̛J3AP*JSPjr#]7E-9lQ~ hKYٿ굄lD=5zMG@~,SLIX`l׫ϔrzkg~{rZ EcՌwer\ղn6hG9psCJ9`5? gB} ++.isHbMNXE5ю >I΢%a6 ڸQC֪KpX7hFwG?rNeϸ蜤{qgPcLd2;Fx`׆x)vBr‘̜hB`3e_x-VQTNx _C\V+j19% ~gi~V%qF+x!ih*L?t 6&uy]͵xyt!h*r6I1-A0U^gPⲭ{"𤐦+Mx a>_s• d?HC˜)t&?Rچ5C /zOVɒpu ёK2!DQ2<)N֞B/ߍ_"`x+8 B~Agb'NE5IXQ%}yTgOFߐ. |ԮN\]onQ2|FlhX3jz=3|ҏ@ 3S^~9"S =yTA$~Q|Ϳ"}1H$8j%.86&E9F@?h#E8Ak׽z ۅ<'B˥ t@˖MAo }mѫ-6hnU'_# sҠ;yvtteHe_A]m.gÆM`d ?mzh|-#!d%}1BBwmߋm|'m],z DJJ2-!ӿ20y" ]N&<_݌K V2yb|K+ԾXb4E q#7 m Ecz1A_U#r]"͛?>P3ZTJN@zv+䜃!멕2X~/I7PazK^æZ9Wp^sC W+BoܳBTlx!V|mSO]sZ+3*J؃7+ťxpYG*0$="FDJ@rAڙ@mT40yіΔom"m9PMp@Fw~Y^ V#{~Gf-7+!oh7J_6.Fa2 {$]t5E2% J5JqF|n.fh_rm:5?;q%X[j;.nmBqM@ll}UjguœMlf3}cl~#Zet%ޓi%;DEx=c5kIvĞ7#ezuZ-+ܕxJbRTp]30inq :Κx?ԉT7^y$M;Prgo؎^4{7imp|T ͦGώ5!okV9fd:aFP 'u4mg&|AwDX\tKC]RAcj h0o}sj>\]n+m=kRhBPA*C3@^ GW0U:o3i(.*"`[5 ?B8>6S/Yii'A#E+*_Q ļ iF(QT4UwtJڞuX',g Н~Z~ H"β2ߒ$0x 4I9B" gz ڿ]u+A>@pn?GLs(Dg lmEY1ݢQ%UdM/Ǡ7D.{myls\Ϻ-R1v:LgyP<^'xss$m 둾*Je@S: % eXSWpop&Ɨnb`ߣ?.|* RCObc9euY䠢.ɛ?Fʼ;Y1 p'ĕ7K60nL*vL} R)K[>o[U!@+Ybƈ0v $Fd.B^ "_gJnn),w n3<+6q+|П{)v߈A"d. !{=I~9$Yfc8.#pFȗvgU$!d[baƠcZl&!vjW`"ΟJK7ɾYC DQW[/%ٷ#Ve _2-m PBuз"}$Qf8q7S\ S$?2D`w/*(-qIOӁAI[{g tP+_-g^ZߦM=6.Tу)v،~(؏;74+=πڕQecceZ& n>#R> 'cA-aA3ֺbcV 0TqO3lu3jUU:2Qٶ:df`r-@ @"?v#d~51дy[R8R%V'I:;59i3m7a^v~PNj|b&kk v iMzk[dx@~,> eᮛ }IqZxD<272 : &˺lsOf2X_čvPQL;ÒD G6U9eD1?Ř3*ت3=* I/ 𔠂]dϘVW-yW wHb _Z IXyh$'PǶaB~okG9*oqBX:a)Z8gFz^oPy[)xxDpM9 !DJW5ahEzS-Rji}xr'465\_lMR41BQ}FjdӼ/ SsxQiHXU–$Erӿp Q?1X{Wz5~?_E1l]}̀.H)G#4x9q/&a~F2 )څS} 7 n,Р~ 85Gu# 5b\e]&ҖZF"]8w7c͏B%@toE; yz+Fl=3spELY)K~KD}!zF=X_щ>ߡR3WLH2r&H咪hNj蔔SbRD$W\TĘO[wb.gcw[MN4Ik)\ tfӍj밿`8KJݭ0k7L9=v /;2 H ~Rz H!cŐ>ȽcCSW D䫙5U V[/fIVRt06ׅ.F1(5h˽%7i`~'PK'͆ì1 2<qp=D7M3nX#EL$vܭU;ϚG.Zfgp$0ݭ8~[O=|*_U *to X#5!8%ϰbiwrKzd'u\L~R!;mAm[Ңm$f1&pSd  ͷH>Htɏ5Uo#:a>ಧi RA[3y#XAVUOLl}c% QTTGt7p-* J}-*$jD{Yo !L ܪD`N'qzT.;/eLrb#0NU7eE蟒D߻eG<݋G毑`@P?j.SXMTE#|]QZ<Ϙ:Ͼi:NB/`,3m Q@H,د_z2#'4V+sq|pNGU̻{Fz%X$Uh~ܿ=K*f4 RGi v;5y7\\h$91L0ޖ. >Zt{gR- !u "/y"m†zY ؔYF7mc`pdeW6㡌0=C\Nuյ .V g/alO̝cO".h@:Ǜ/,+#ghgw?bD;Wg[d_,"mzZBJ|.k}ë́z6YqI؂I#༙Rz[B`̙fp-'\/imF*$ k"IsP3u[ hP)|e{Ҫ7::U*3 OC.b'(Ei&0+=_ -9=>t3 ~u^+ي|6TP猌dJ11r;<\rY=+}$\b̥M1<2Xv>J3s1:N)] g9L]FVcjB9t0 +q STX>P$֎ud$?tj ;V89u#*xjkѾSF^#w9UEfעtۓ,˦&{4cmˁQHmŋoƆ z[yL#CŨM&K :|ڭᜭD<*.l~$oINq\қ"Q^| y.$^0TZ} Q0'U0-;8a -GiŽWaEn;+p Ϣ{*{{ ~D6 3?2et>+r@H%=42̀=+7ӨtNy*Ji[IK,ƾJ7DS?Of*h{&qj%/yg-ma @u|g+'KW"^j^7.B-#hpjO-rAQUN%Q'Sf L [uVnP_tΥ6xɽZR,ۿaUԌW(ޏJxW _5{>?^p̛, Eʼnp1Zika3w[PzF{K^4-Z#,}TKvRڥUxq9JNNroFѦ7G@]}:3D pDlYeV+!`qXh%)pii=) /0P#yA0f3-^V ̽5 KdOg+3 Kٻ{n5j[r] rf\RCsz%]M‹<5-gG~ՀB[D%BȲ焝vNI'Ņ ;|JHLϺ/Y?sƊz)=JkL@,j.m*лbe ? oỴqy9*4 z}r0;P%J~ʄ4UY 8#M5ؓDUo iャr"[oT[a0r]eW]Ӳҥ>Ryup@,'"7#Tfz]̢c]@SiY9kFYjPpK xj;(Sд|Xn4ZtT;|0C7yuP CM/^M׹L3!f;Vn_9ޜ)fX|uvVDEfF p֍݊X1(gUoO4ڥH/W/}SVȍqJڜTv$6*<+94KgsNFUr.qhp:K΋h<6&gڞ Ip[w #w+g%Ý$'4B%2Ww X t?&aȊ(Zc(-!p)M؆ޡ5g Lpr2 䣈D)\E5Kn)mǤ&5p7}}A|bz\+lB?}.msA5CX=n*Ԯլlfwy#Q"qⲭt@Vs4póv>L^G6!"FYkr80BEU.~Uj/G]\}1HΓ;P?dN,S MڽF.p"#I*Qċ8=p+_>,KlO]wE+ eEoxǶYb1߿=SdY ?B9ޟsKII AhA3tڌzĶ%QcjC~e6} W5' ~tk}BRq; Apр"+יTˇoKg,c?,=C@D"ӌzq!`z!B˻pWFrr \ȊzwTZ*Ʉb@6ٲ}Mz=_Q=@|~'ʻU<ŞOF^ԩK}F\QnK14pIzCJ>] ڍaN\8p(!&#$9Rk?võ6K1^(!a*B?.o­dԽU;cԄ TBXUAvޤ 5Xcljuq !/\+ .t~?2I_Qy^餿vj<[_`}n?2ZTLecW8Ѥp)&epxuܵ)=<^re]ζGfc{R[i|*$A3`!sĬ8' di叾eM‡p(Ƌ/gYZ998fd6a92415d5b94ffee93de558205b5110ddee675319d71f30fe1113ab62adde844862bf61566dff04dd8290cda0d926f672a53b192a381d6e7549