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 ) eS]Incompleteness:threads=2elapsed=537.845cpu=1044.788gc=17.112factor=1.947zXZִF! LK]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"'DYcِBsJCkQd?j֑QKh,hW؍5v0J["to+$JOESx unyȥ2V11ѽ)#s4|NشR;?HD GHT-i*Gx U0I%wk45W3mJӮ `mW* l㋊*]nkx,!W0%^x cO!qe$9(42sֺ:,z$#`v߭i/8`%8((~`QX$Mv(ɓ>bo X&6˂11r>N:P:kppWkִWdvr"&j|cԑ.e9IQpvZݎGb(['>D7ۯh\\zy/ep+.ʆ:A92.eRgv;L vW@3a+Wctf=P H!orW%*R:6iD+&|$h j'~8[XЉt܆֚H>tRa෗B![̨M{$9qcfER\V>!b Nގc %VCҗn)b$vU>."a T`K~u9#ZcX*ZTL߄H, ~r>HףaKݦ`%kҮp$ڥ3q~ xPOSɓLms( yd'iUJ܇Ϗ=-Tv=*~uBSPW|a=](R"v?L)d1ⵇ 슼wl28* s֒䙺=:6ݤdJ>bfQF նC#S9z&N*08B#*»\emxc+6KX0{&Y1|yn1Zw,h| C_f,1‘~*EzU=,X\PqN&;,{-O"xxrޑb= bp9>z4D1A. :J !)81lDPA.9ߧLeXs{*1l5D7X`Dd>|@wEcN&1l238XbT6>2R-'z+hlSXJ_ýRܗB|}( (8_y3y iCl k_޼Cȷ W͸>#Z| Ƥj tV NF}/ 2&) E[^5 SeM uCG18ޖ;_)wœ@B(jU(LR̒E.\{'깆##8yquى)+ _~LX͡c0DAa Rօ?+FII>uرhax*x_` US4JBݪErN"zl[qs݉2Ixe:c0fCd~$LsEid" ؁Vkn_U q&4Ǝ QkHpѢ(TRY ;ZLHh*znlـS!%Nȝ{7HR[ᚂvvׯ%jiKU brc.oDy턇/ >ht-p )̓/` @WT50R3U:Uoa:ųʇrL:] jFB:ou3w@0jW//Y ^*5N=&Vj/vK[7Ly,@45Xs3#NQߨpwgX%2jΖC"k?zOH㩄mn1{ӂ=p!48z9W$bhP?nv1vdA6 g:m jx#7_k֛1SһYC% IDgnos{I ) IncompletenessX1KB{Ya77a)C>adTcʠK4-<[0+i_W9wDׄ(Aq^oAosN=5@\߸ZFDFț1bfpw" Adkg [BIwR%o sN^_b}3.ddyo?*_۰@b7΋kӀ]Gw =GD*Pa@ npBO'ZNS6Y˙q>x,Gxߟ:bᨆ!$| rXdn[/ _1htڞż^ֺ^?MCǷL6Lo oTM HA0c5GE$u7aڋR_T̊zjj,Ja ᖇ H5^yݐ'Sr`8aON]@eBǭZkݰN uCk2FL_)e\}m[I.*LcIG{f}Lt[ulߢ?dQ\ MF:4>1  62 Z@lé8|w.QYw>$7UaBdQ_"&A߮r3;chCm\.fIb@ !j+GF$xĸGQh%%١ei98·2i]-gɑiˀp *R - UӌD>Ӫ#;Qmr]F hl<' x,Qx!Mꓽ%#'9FT"tη%.P|e)4˴7A (OgT*%O6 VݍbO]1v#}n%fCO&-r^qR Sh3m/J_DxxWJ2ﯯ_DZ~^ѣwDeg2!%𩿭>S4y%v> J_8j! N)8 shhM),з[=}.]qՍA @c[ xbtFlM$ZF_Y䆄U||]]1ֱm%.WיC]|k P(ҭ:Ws00Q*5Qd ƆxP%gh Z:𮣖1i<#`p1z8Po B! , JO?AUc7 5WMͫe:^.+æ{ekjDa )= ;|ecˈ-v;\UAh0fJ,EڪUH))* PRV `AFQ}&iZȐ_^/ d57kM]fWM_DYʞcKMN8Mf{tGrװԨ2^]uMoMz3Z15MP[~i7yצC i fauzN ׈Ib*mҟ0n*Wiz4x.Tdj4 jGoDMe{*UA@ ՞['0a> 0ϻ+7/ʔJ Z#[_O9G"!8Df];ҫm%#J~Yr4j|nՀKɱ4Hl:l3RXZi~]K%h4ݭ,zVEE7˨j^+qr ͌# ^wMvb(VP6G"3h)S4Q0w}z~9lumflK#հ~]1H%/NP(*VXZ)66Lשm|*ᑌg}ὴ:y: Jo3SSF"0س,DBbQDdq 2-\Uu뼦BKjJvh)]>4ŵ|T}]y&ANt; beKDcq(i GGwH$Dez!T6%Ef0n#566VrAyh6Z^EM[P PܚI0)E"5֞uG.mKlz'R?_6H2YGAVW?SD2  I:}$}`2Y`~b"3q`(=FE-pZ(pvc]u}\L;fkltI]yЛ!oa}1k%d#oIo8Kef]Q@/U7"[˒:'Wvz4F:ʻuu7r#~K J DGH 6xs6@FkAhQ7l6Tܠ%[DQad ׸ %K/" 030]_pp 9fT:'k]̞K@dG]^{ƫf,Y4Q/)"'[94Re[v=H1;!C]Du\}yCG(~"ǯus1QȫZݖg#ٲ zAZÐ4:nFvTI&4{{nD_&Gh5Tj>iܫCh2NOL@iGNa?4|C2Zf"FpVj..M,od\uVNE^*n穖y vNTSS? _x)~ YmsWggseO6˺hP6uƇ:i ijQSnktXEvj8-2yMr>ݾX0Xp-@@kM)jTWT4ib.'`*c>npqzLE_-Z&uu:Mނ+{ "Dvȓ૟VL?ދni?6fhQ-Ku$nWnHa+SXauoԛ_B݊FE`́~"!~*<$H/ۛjJGÞ_fβ+ KU1F*F r-1|>o=6;R~fů:=ض*qVަ!Ci,AD6zn?NTe%G+QvctZ;PeZVs",˵ mnkSi)`NUtǡ^^ScTH٦QNWۖXi>CEtpܸ?_'Q5ݿ2~^ZOaزJ xA4^0^֗fWqK(4%$sRDiAyy*yM.%KwDDE 5QsNNh*@h6,N+17Xai(yB^Ӿ0SªB(aQxп3mMbx4SB8I2/&"K!!m]q%&:0 ~̪Ц>p.Zݫu.:U;MD2yY5<+ #Qé"/^%H+Yu|j(+ܵAz|p⶞J5G bYX6k$ev"{:<( 9Ѫ_tҩ9+|, {b'1ke^u{fOPeJ}Ȏ!"GBDu0pF?IG?vM,B Dbd͓K n(vcH>-'#?v)̓4 eEZ$bXpZE45'[VUry0'TЄ0N<6~o *!^EţިMFM[Mb(T9 Z-im1OUދ bO@)F i͇0ViU(;Eg+qUYtq{$mFGFSMwôbҳ4_ N9}f Wg93wk >'dZ"voqZ,P}d/:jXQSFCПطm&#G BՉKyVhܹĔX1 zHá4q؄>FU'ݸ9Tuڙ}Teh552AA_h4JsrVsaO!c'Rί[;0p_n,^ouఏY$ُ[EYť&.fy ]}.^6koHRuL5[f9Ty1% ]x2~hrFœ=~;䓒Q7԰d "7(ӻ uǾήCZ(TӈjBˌo&X, 4s J/3;κjGcd&vzkJO)`mQҰk}I*48.﷕$8p]N|ɐDWp6e0D֡p@G֣eW s Ȗ_0G#!nˊ8arX{LWL<*L94O˷ݣmIՉ4@o|}"PV!'dDVg0xpU.N3_kg~_W7ŶqӐƛ9~)&3M9'*LBRfN$ GW]Bw!\_m1ihW֗ޟh.PYS<>\6p,aqR.-%KZPxzM3k,P룫xjYR-LLYp#ȝȬ4:k(EMV>ﶒzrA89;zr>˜.\ïGs !|%% Y_4GBnjd.UƹIÑV 1if%MmYn;d_W7PpaE*tj#( r]8;J(~'zLq =<&W%Hj<v0+Qof!ZǸ'yzBjX Q}jJG( `KvFhˎz{eh^v?<nq> Fp!OK **?D3y~| ~[閞Wœc{uځk7!^9$ KkrV/\et^{Ÿ׮1"l{E'2<*ظFam-Bbj,TQi!Gzh7A4#gЅAJZGeNRw*]<*ESX  m5\*2r{!274u! s)ZHL]N-\zgD_N#vRaC(Җ7a3Snu~=yD3 Dl1} @i\e+-V 2t1>]iK9_ۀe v-hά}6~+1 xڱs#1_]LF*=LR{rP~^q~]?>QESX)<,)!3A,~z۫.-;]K<SroaCUO*Ę(ng첚qګ]6lчl#cEwfgS9StW[\઼1sڬ"VP%H qBrjQV*ǵWb9$tz3GfĒОo @ (nGHmzF陻 =K[EѢa..cgtzPNJ{8ܷ8w|YL?$5>N?R&H Zx߽+T95e߭H!U]USjgvi2Z8'܂toˤ 0O+6܂D.Өr+&ꌵz=" +}L/IJת:'㩥CH1#aP.tm`@^qLY*/CqyK͵ΦsߎzpYWr糸1XgdnܨUY}QcnO?5 )צHf%ԛ/[TrWQZ2xw+Jod fPF5/,9`JR3׏6S{&ߠQ$Y\'#gUIX…ns֫Y ~.?)H*%Y}D-׹fMWXf/ ,M;$Eԣ)15uXu ֔7>p= :Y/۞n@HS'?|/E4;Ac8Ē}kܥ{wM8ػS8AQ6l{Ϙ>;}QϤ?:B';4v T­Zч!h}OdvwNDm*?Ȇ y@WDM]eԯuAP9Iq=Dhdo)e]];^o`l0NjoY";^ ? tÕ ی*Ӯ#&C(DoXE?ZKֽ셅Ϫ#̈́e/ N>8PM6T;|CsLΨmkn$lהn iLx%Q-_AWMz' CMvga0mql@ FKĿe2{d-j?M%fN"( -qxŢ^:_|;Qׇz/0-YF-JJA9 e=4Sxc\Na=/T-BW7r <6ǟU6&(Xm- i;6|Ӄ&ijO+wsV{b1V?t[=k0|x6,!fQA @Kalnҋ}¬޸vNp|:dMD}FqsG VbbՌ@f"Nq1u" :>0#`-6'*m.@ (~".p7=op k^făNkjJ0 m4R8M~.kԃgFmq q *,3zy { FǫOʗR/}oYD6xxPŸ&" N)˖|T>Yب -}_⒖t;-IdKLkSrkUILFzf?K%爯 Rv<-m!Twbȸ3vdb9P}l΍9JFQʭނ Oki>X(!n2sI;pYr|nK<"4-e92{;,u!eJ緤{skcY"ϟ;lL{n#j!LDU֎}~TP,9TxvØ^umwx LY,fG0ہAs)\9I~ f|-˹n7s]C1r{w?w+D3T" ۍ7H5Q3[ S]uPQ K:\W2uqugXnD̗E^l>~*\P^j >N5Ⱥ _G#Œp5{/o_! \>(PF>ҋ[229Φ% j95_i5iU\Z*=-pܧ2@)x )SIگ-gk?Q#GSK9 fbm'¹jeL4,EDPS8FT0ԕ)Ea+|^4.E|6$KdTr:;Э wmw4$;Ҥ{,k4 Y/gS\PG"#WMɑhgKw=ImLI:.Y"t9\AѮjs%V_.w=(`| =jcSma2_st4Sx VMeߘ*z^k2$:g5l6ZM)쌠"$ Ā ]Gୠ׼b\E|I$P6V8"~)ZVe@tJ}ε7|egln37L?niL&࠽~U.1Qy"vxd~ 1]c΍fLyd)XEݾk Insrt% _4 ɽ4OMmNkf ԍ j L^9ϰEуDۏI :xc?PXG!e]vi*Ij`Զ׳eo_h,u[=(#(/s44t'Jp+FߨoȯR0@pz:JRzq<4Ys`K%GvST3ǖE=ME-Y f" IؤbQ& r m|x2/YS8ҍFQ*]tȟ,NhrRkf/-0G/&!\YIL[CޤCIw R1 Ta\EO ^ST  3 &}=Ŏ f|1؏2Q +wbﭵ0r۶ KQkm.%{@,E]@uX a/ .,ŋò܆A OcàY kָU2 EΗm93;#vK t'c=K9HH,LL>*09%mVP޿soc8} PެK7€S#ap.mj|Pn^FɂpKr漛}1hҹBoHێ: syL *;W6Mc榓S˂Bwx$B UdGe;[H0RB.ʦTAWi'9!I4aH{9xNp7rk8ܔ4geHu9%3lӍSWRtvBB캄y|Ƴa?R+l)5N"q;C]?And׹tG4q 2yD~XkfʅXd4cPyyT͔{~vGiÅ ޗ2F#@E~!_X :RԮ uHt> uu@Qhxm4S(^dkdE(ȇG qR55` D5ҽܿ8iwRޏ+QYN::"'Kf@@v2)_ sAjOnh^PR(a¨oS&w9po_+ȃsAl! 5Cˌ.ߒ^DrX%ף1uS1#ɼQ~[:ْ6W 0^ލL:\p,;ޡ;*zMµ_D샪 "S0~µؗ*d;/[mXB Av-*IϗfitNgp(%}!ȁR`~3[vS=41`Gho)7)Z5=j밒lw8Pb@C oQ@}3vQLZgAf"oyF:.[F$Y9P 'Z])mSd?c+;b,Xcӗ7{s!̺&.L }$9FS*+v1`m3qe[}'4sȵbJOzE[U0y΁|U,Xbt l9,;Bp˶N;zA@,`> ;)W J;p~)Vy8k GȔR`7;܏Ѧu@b.)/BbQ_"͇q55~Kb`c"\I쉂yhT'O}w.Skڰcct5u5(_nYU\s0&DJmAeѾ|ؚI Vr.EOuCD.அPMzr:ZCRn95#u倦vX.^zQ/ޠ  ǽk b?nvHi5$ł}?Мs_aˢDN}I}> 046N#hhgdCuN$=$&{'3ݔ"Cѣ`W] ieJ7}4#z_pb,v(mQL?7=QrN_ `=+:4G-c!c,ޒv@ $CpYѭFS ~pMAZn 9;>آzO4'C'iŔim*B^e}O*]m>N~6Q4YMj47j_H.ff*pcٔJ#&xJYsqd,kIE*[v(^d"s[eGnRkE޳EJYWLUV:\pwb$V6(ۈk9zwm ٬϶c ],EYAS1a \B1ɵ:+MOIpNXQ.JA*;#oˬufRDHaѲ5ENO^D1hhtƵW~ CbaȏӠ$]d[+OW2=q~5Vj7:5Xꛍ]K?S0]hnq:9٠JE*ԫ= %M[⫶LݶrZuO\ Eַn KҊwX5 yg~Naʟ  W+ɚuIל-dp˹pGݞ" хG7 COHgĎb<# U[q}Wr'+ep%裍i^c.P">6$* uHjFm!ܢӁ#mT Զ :Cy2fHtwO5+{Pn[1tmYȞb$^+V2~mŖr)!V[lcthI)5ĮX[:CEUQ^Ihgmz6-Feb1[슓h2? Ɗ= nw󿀴Ze6MC,ćnm]p :8(R%s! @]^), h~eLE`ޛYw_X(S74t) */6/{nRq w,.@|D++ g-}QycLR+|-Fkʣ=v6'4K6$ VW0+&+xG)u ;<\Q&M2D,z,s\) \ܛ[9jrgDlJO5y'{ׄ@XV3Cbt!H&ہ⤻mv&G}8Ȗ3b" ۴Sp4/p~Z^aloAbN/B܏wcۅYM N0dj5]fO 5 - ϘAS&C帮hV] OK[ឱq~mH}9dlUEC@Hܖ蹢ԭJ='.P@$ˆ68*1svT>!Kuav| | R0w'؟Nz.'J==aM$ș ]/hxŠLa9b-EU!h_SUG[>'9v1b30Iʮ~G_ *"%=ohh~(1ʱ[Ϲ5N#WD {zoN ^V8_X+rDBC#zoomMR{@=%Zmx=Yj Їh6Wm Φ@Z51^ Q]|&CS}`-ޜyEՀN=o9v4؏S>z48y8gs-_8KEۘze@Enc@kn J#5(ߓÀF^ɩN(2 D^{x>-M˅e,m淾2EZ.YU %wvXRdA^[8^gbp!է1kVùJHeIlwY6%$(]$vN-ChDR葦Z9ǵbgOf)%ؚ̂XLT#@4uzTZJDRv)iÜ)e׽Jg`-{|V YWQ읚!r] ` 9PhXU-9qgfqYw, s6E}"ڊPb)brM6$_ q_b(Х ߶Spګ' yP)r<k;YX% <9S`Z2 ǬũPge%SRb#߂cد9IY^Ҏxauѫ,X* ΅jKiǽX FDsS"͂m Ƭ~z(y U*|bU0::( |NZ oqkJ5< zHۭ2ΙL(?ʼ 3?" `Ec'?Ll㚤s S;ʡڼe ?2LF [VuNY_ Nw\83vz[%%P7e6,y'ĥ{]wn܌~~] ^ t¥pYȴ;ކԼ(1{ds.V8V5]}d(#ݧ8ei.R :lnH7xЭP$-x0[U&aڿ2P}@LLjFЧp|h,A&K)]:KKP8 ?*@ o&O5Z+}YnsbXHF[wpJ?VQ^k \onuisiS$Gܔ!% }! MW*1!'cV 3QkI6\1[@=PD] a"POfekOFz{nj!{:Lgo$A  e;;qzFwidػ?Ҭ3p?m~቙0;Wԅ 'щ ߌ+ExFR>^ML\nm[VE%6"wcdyqeS$X8$ca0Poq')AX`QDbh\q\F_oD~J񧗪yS2VT =ə! U? D@2<H)E"0-pˋ2Y܇[f؟FΚM_LؐmzR"i5ɒY3w"^dO# G~Bf7+"!9oX'uA%BL;S,u,6:j/#6R9h#|⦓5%y=Bl0CI8U%B &(#DB3%%eLpѡSɒCdL,W2C轳+\۠#YElCpЀ0ϋD(xe+iJd]p[J2u@- Uآ9 bg5L P"] {n`1]kjaOde*KܭeWR2|ok5uֳD!^ ѹG7}ʠ \Xўa+`U O;(?*5fmSR6 {Ql^r t uAQ$x/'8{QГCq-F`%/G ~Z_qGY<>[nYj=L>K[ .N1HօO;ɼ@je$/t0txΤI %>ۨmp aX[$v(r]Yv%w?:=QNL֓xOmKBr5$Ve׉c`AH[H5uZSM8/s LH3auD:S\iˇ}k.x\>PUoIs?.PLyg>"K>Q/柼A :w9ڽbr&gqM7Ui;/etW&aj,/Ȕ<LR133T:;;҉>rd'wrܵ= d;$yc2_u19GO eNQ-[V96L` c Q}(`PJUL28f W@nl,)̈^rvVȰ7Wk:qx"H 4"82X?y㠖Uhn8!M]h/+ ({#.ӕz{@P_➫ aRڂ֢0昷^>3cs]7ַ7aw$yoEIB~ yDBTḊ?F AMkq$(ЪύS[\Q~xPd)3<۪vYfacUb K4= S} TȒJSvD7UC!+y#n-r߉"McߡetXU}Ř'=wYs+♳lktƍ*$F{e O>;j5"W."(m!%.5OQȒ9x} j+sl~};׆Y3zd2" ^Awȕ J8hA.?@;B[~!˞kLK}6la4ٲHR9e߉qKX#s [+qxt?࠷^rmVp6ǃ,9[5Xt*B3 #Gҝ yQ7,l%q(Mlp$]Hw([U-K=^2TQ4O`|+a )k0,`oܼ ڔÔ^ڐDunPHxm99t)Dj׵Oohc(8LE%L iE\Bd\依jW>‹nƵ 9;kcs4#+jrHXd][Xm->@ΜxyXpZ-;e!FN ȿcFo*iـ^w .XAUF*;q,pV4 CjgԥsM.~s^u>,vUab;6f3jgm7UU^+F\T I- kBϰǿ4i;<2LŒE\RRʔ#8RF3Jt{\gmϛzZn]53Hsa":mpc4'S6QτAmE(ЅZ,/縠z.~aG)val!~̯qΑ>,eX52qO\;t*vyɍ .Wwꩪ1P!HPyojW َCgeꗷI;sczOw/yrLG *q-j6T=oMh~GDSi']6j6~>֮3MmL5a $|^^33}Lm2x--^3cbȶf+]#}eyzx (|x( T?l!UIc:>8ش^R3yп2Q ZR0"ھM;_7ƚYQ _ރ bAj쨪4EhjkeLu= Ԟ(p'b([e6SD=,ıDh?#/`-nh6m+իCizyˠE%SQTowlғ.ݦþڞ׉qr*]WdTx+$;v ]Q?#0V4ZҖ^}o5)m%މ[B ňV8])CAxhxTW$ɋL=Fi,y](c' 8ϟw,?Њ3>cl.n qY)[?: 3PCc3Wg͘=ӮOpmVpK2aӠЋ_5g(xlm4vtBD*W3y Cz4+ Bx֮{IdT2=֚#QpW"](%" `\3=ILH8-rJӂu?-I29N6$y.A[H34Sq([w6?b D:3]s5'tkj\R{4 im>f笓Q恒BWgʍxI>_GP![S^<cN!@%\{.V-kݚ|ߦK:U\sW}%hyy;E|Q]t+UσJ7SHYi_nr:b® czZe7K >G4][/XSs@ܙ܇X(57YBk8 X;܄u$y 0aIIR/;Ϫ;sLD `Q{+l}P^oxPZuǛ @x G4'|:uuy_" `YynkM&,&݆4.SX}2o4IgQ9,Ϟσ\AAc{r~ӏ#8Jiu /JႿ%R Qu8"kә-*oJqUg8~_jθߗӖ"mȡIКiRhB Q C=#3G:']qK`/T5 #IA$@, 2k:K#T!|_4ۓ!0zNxx.QHzrzKQFy%Fg9h=uOIt&)=.yJ0 bMG *!:%W.O :VtÍi?01<(F'l#0D+ٌt4ֻ$InY\I|MlhP(]eyl2G{\/%l|;X=Ǹ찺Ie3TD)!N+e ahuCvl M; KceAtUjlhmM6Xx`s6k 3XYp՜Oj0/A[s{pϩS$ 0:қ/H.ٝP +1l G9wrk\Ju$DHQob[n= iR̸ |Mg GA+J;IaWAmi8.B37#Yo4+Cs>RypYI{ixB=$kŝJo۹/pXY R{}?('!s?)ޜ-D+1zTjO/qr>Տq,cQ%3󚺐h33͊{\0k"F%0*g?* Q껄)$t*Djeld r2T\'lsNcK b;McFiCa)c`c}sZd7˛e 'ITB{)*Z! 5T OmCMZ퉁ķM c8rs_^3hoHF&*u juH i"סLx &q_E3R}TO5=* sBw(:hI[Ld& <0l_`ipEȚ{/` 9V'pi0l׈4x@dpH# zM}#QfwF{cI{y29޻ tڑUi~WJE&>:~QNreϽ ]+^l?hv ӮigNtT$/X.t*y>-s͒f'5(e K\K aWĖq b 9*ڵN2C2 Lz g@l<5QE䔵ϭH S`ay_% 1](fɖI|c]~7VC19D:OX`'TY^e|ya8 \Z(^6F$kW>E# &ŵ| )@dƣVt.v0ˬC?e]ϓpefhVgy*{mn]z\N2]`ZPiD[ (&a9 VPDmVɻxC8 oQsn[w%)i}gt[|tӭlCцʜ СUo D%X;ggE,Wn}+aޫ!0/1Ӡ@"<#?Ĵ1]1VfοJU+dWdGGUlƏ1I=5A~tQٌJ<>ɯ!MG)c7"z-B2c8TA8+Pf_+{ OUZð0et&B08Rak" ik5Gs1E OmWY Mu)i̍VԠc&b'Tja9@Ś_ 63 c1z`F-]A8;3} ꣤V )ן[sNAcy+7Uvݝu"cp'oz!1ߕR{3o=f:b tywss=AfCߞ ZU%.lu=UU66~(2_=<'.3rry'|hO!bxD'a*Wn@HX[wu&\Tn0]?sNfnb699{~ c }±gh\-Nʦ>>(M)Hd)IB<Ҹ\T,y3v̞}r<`n0ϼ|[@vvQ׮yV4Z6"8y126{TClZx_ĽvyQ%*G.|(ClQmH1S ѳ7͗=$4>2O3`o,>n~.>}2pa>tviwY>jG}K-ܭ(+8]؀]Y\byx{,.F>hs%Xš&\-TcϮƸ|Q 8y{ٴދ搝 )P%b W׫7A^v c[dscfrI>fyϘc 5 N7kƖH]JJ 5mHHQof 'A )z5?1dOҚA\A=dc[NqhZ!Hg^VZqAJ2o.O`n ׋< CȎl U||dQdz`|ty{9YB#4~@^$BmX[FS3c@i2KD P9R V[Y1c.?!(B` /&Ow6k3;܃A`\y()AZ%Gg2w3S<,q$/yӘ-8jzV#غYCaA}~:uU?5-7#h/_^tXy.cOwRNh5"kz<uP^" /f/r KVї UkF&73(;0Jd؈"^ S?=s]Džm5 ~~-Ɍ^E:7g~Ab/!ӇhMF1x2*RF+R( [ʁjKɨR¾2\<B%Ջ57> 7Vf qB{uh緢5%̼Nv-mufɧ4,heeT4)! >Banb鞞s4搱s@g?~K`(/Hʸ|;hTLܰD`vUet, ^ )e:\b Xzh=h%, :)R(޵%4^0kmR6kGꯡ xg7{1àRue Dj:Ou""C0buG^xzģBkmV.STJcaf:%*_}% ,=ݸsŀ?o NZ8jl1I#ff]iRyʥΰMxQ;*|N`cIzh.S?AI~5raǩ*.Xڏv+ jLGo?9i׍UnyC}Ļ]$2N Vr_P+fMY@,݂6+wnRRe-1t9`kL0 ^Oјgr 9ynaL1q,q8p ^c%v7w~=9ﮄa$Z~[IXF;9F!t,O$FX:U /gYAjInC̸ƙm 76Nc$`x#5+9mZPowTՑ! Fxo&uC5Tt3.vqv`r"P$Es&9'[]u.6X(5|GQ_G-X[к87e?̭:N9Q"PlnP-8c*sqkϗBzju!h4Pw^-NZ)׾@y }K-"Aax:l_]{ncmAoPD[_َ-JrTNdOKqv2>9qlHׅ $X%~d%jO+#a_м 2:W!Xg:4q8 WgǹJ!MxW(Z_,G .b5 ;R î9ˀnxÿf;;]ߵbxnz9o{Uq/an|;T0zP0-k姺*%TJTs{\d;1QQtP%&fN:ac2vxvu7BŵMK)5 + 7P?HAL!N\j }ZobmzZ,D;%,@­t;^6u2U)M3BtaZl8輸g3f^9^\t3?KC&]^h95y׍YpOsʐ)fY$K?$:^αQ+\*z%ҌN%40Ĩu'اlvP!FkCpڢh@=!̞.$ |}(ъ";Se$̣/ V kz83z(0~;p 8pݞ7&ij1G/+IWp}vu8XG iaeڠ ҥYşr Ũs[-tெN ?ыkH؎G 0hhkM~\Gg$FM`:YGbÕ54˹Λ?J[oJʰl>?XIjhc5_Bqҋ1qw<]`oys$rmZ\w6MQ&#[ l)e*L>>ϭrM`b33FGUc.9 jKG[J$~M 1huY>ȷjO8:hpzwW1wI7jFG%0@i'Ozz_üWDos$e 9#`sY#K2Fs+@[o &ӑqp4gD4rZ&>/n,v؀8R|Z?7 ss:Jd?͋~֩?4 $ S&~V񠑦"9ꩡ CXWf-Z`SMC9|*IF$A a2wxжpuar[fb*=L%s#{IoQ{,Pv쏪_XkTjAB%Qu6 WeBpX}(sءOJrdI+jX`WCv2 䩔d=ʣ!سiUYua`i+_(̘Rj,{MSԇUWKunИK†N07v5]}Ɋw!.!\)k;Mrsh!'&0]-_w~Mw0ȥ0t.>Bz/ Glj@]~.P.\ۏ#EnWzC#ZoVog,ݵ B>j"ke'd*BcGHbb[8-M6y|9pEj>E9"ӶeyV M(I2JI^v^:XYsCT,Jc76m}቞/R(ՍЌ{zI3{XX2ip_Kt:IlD “ Dvn8f-+i-07~ ^6iCk`}1ycIHŽ+%yl~<6FȓzIbhk}OLAk BI=yy_l?}$ّ~#/3OlO~ǤPV*L ߨ3R$41:=V%8iwkoP ǰKJhrYL܇yS_\Wla_KRS~Q'n`֯CBI,/l$ ; ^X:Έfm:T24\֠^@3sAk eLmml_ZA[`OTbV=H 90+7{y9mN _8Ao֏Iv`&N[{GE6 o^W7&CMYt*48q]!IK3 7ӴuBEQ,ntN֭W>/ihZySw7-7R,ܺ6Y0|ɣ [\vF%r"d(5H7<|8߻t6l(E+,s*d.jK(<͈w 14S]JC0MgxȹqSnq.ƴ5xuvOld8RHo~{$zx>K;9QgBvX"fP"b-,<le4(c2~M Iz鲨F?H,q嶸 J۱NZݩ/j.nPk@Я6'|hbouO ,yR?IzI%F, *=+{ZtV$MECgx9d.|8fb %i"NgC9YqK.ժXڵ̉~nLvO G VkBU箌H3yd 2N^3v"X 'SL)qq!ٗGQyC^Z&(ㆉCTX Nf륋NSDRlH>Ud7ISudsZGwIDp&ujeFn.MK";\F&wo.\'OJ=!s>J)d)-,sWhUp^D<{ƿ)1P:ģjW =,u\6\aG60XOEq6ަ̉*>徔q s9%k/s̤ȏy^˜'HAaEBRnp2ߢk', :KAK9f+n İ Z<x@E (^7N# *~bphp^KyA;eٽ%$Mhv5=ي)4YwyToz:|Cb1EڲHjձ&n{~mtob(7=/.ˆ:Ll]i|u_W[z/ąvA5~GP|~J7Ow%r,x%&dŃs9TE8C-NΟJܧP4 g 28oQODD#4u)_簭x}kCK;yM ߍsp"|B^{!ү%V/2Gk&.@K3߇D o1 FGo%4.z''qC)JV0:՞{b]r"^X>iԈ]$9 hy.u( XT!g^2DQH֬-|12_E>tnm \+nZSB}D LkҍihS6?) hmK?+ǧfqF7ҙ_HWIT}:&$,d x&bfu!.cvK`i;.kɘ4brRT`an0evVTc.04Le㋢/=vxqw0) Hw? $E5ldBaD̊삚)͘R>%B HdҞ.d`Z ^6D`'7;EL_%|4H66JHq>b/dP$dhxwoXlH$c_sXA,Eљpk1!O*ڢvv="V"g YAZdĈX5@ mu 1]z N _k>U ,r{["?h? \DdEK: NR\s;!Rxi8܇G Míڷ!Mm7 _\H:/)U=pc r+aƀ]b g ʔbM0ZϿGIbN1)m+ފ#[?cVzwDPq̅/#%Btξ=oF-d F곑qCI䈂  '+A^IQ6zDp(?#k`>њ"Ld¤G?GSdƘȔ15Jli9udi?JEN zx6ߵd o"G@wfe'ѓd'؍s/װ.wIOZ׮1'Qciv,!v=M&aGK9TFf  t?rC"s3qǗ`$q,Lz,j=RÛ)Gu9ݓc( a> b2!nvrx rx74p6%HY TQn[nw(P#3YX8{humg-H60ݖWgV5*_^|rk8W4 >7sK[HNx}@YJaٽJ.y3 7OY^W[2h#&Če1+ҖwZO!cb>kDvE5ygTf~gЦ4&CKp{U"H8d ڷLۀ /9aUqau" #9V] |4Q(ptc-*m&|%={^A |Ä# 6qz+Re]F0~ G߂ǗM-`ݸV* l} j%4:DjfrI:|K9 J@Q^H+j[ B4k w;r>.2%8E-LYa]F >3AIGq~^c=K75Ukx3Jl6ۮs[{Dӛd2I{5~8 JU9(w"2+&͆aMe]Uhei Qp>Lp?.UvZHY՞1QkT \5`u 5-I&vqGNv#15rVC;R's&1]wވbˁAlyl~4IdGNSbN+xQv5({ZFp şQ &~E7OISS O815s-Nv4Ǩ:d"ano9_Q)Q_2z41uMm sB*\Q&2 9JbV:@Tw8tG@2-edhs_QNN3q jSoUex!:†Q̓B%ޥێb\0[4]vUT/vm,G&S:r-\{u^ofyB& ) \ R~f7lLT>;ԫ%̰sW}(٩Ƽi7[}F3 8W"aAQ x􁷚l&:=4zTI1H֑dfMoNdf E}IAB{qnJDj!M9MAљ6DqْyBOY<vJ˲$s\<{= iY8{G}V.nLw{P 8 x Qq뜏hG `U_(}@;ŲUW鮡D1>fޘ5IWSW!s#39M;smDAC9{֞2 ߩ}5\w(Z;Xձ?PD N Kb=2>p/ɄgDڊdBqH.,^=IJp~#7gZOU\C՝PRjjd<@Kx`~$?A$ͷ5jv9.腡,ڵomt[aÞ><C M܌05UK0Dd;pSapwN4|Êy!G3w` u}BMؤVBc-V*hu/<p7 k粽䲦a1YtGej虂uN4XSnl#}ۘ啮QAi%PFV.a.Ŧ4:3Q%+,ZwaL<7dp宪8 Tc?{fn1{8y@UgLrvul@~Dn6'J %Y$s+F[BqŮ#A=_\pU{+@t0b_w/籣"~rő k-_ݜO `7!zi,})aMK&}53\X_La1Bz&^:_W#pO8NyYS?"yx3]XQOKmo"pC0oBj?7q>i\uMJW"]kk f 93}k+LD 0)-QME:) )IŝD8u{ [>|q}+acF19|>{XAɑHp+ѤId0th'aS`p"5Or&Ci0EԷϰmoIhm:8EE@rv?*],AZXAIP裲0al~" HHz-% oR {n\2` 9D=C1SF3iC6Efb͜If&cvۗJX7oZ֎~<>MvIJfnZ0]%Xv} #N֕ӡ p=N4WݾL㑽V嬭uMRuFM5dvV_y1逗Dh2,[3J*,,F*YM@SJWi4=|"ЏT 'dR*{'p]oF@!e'< ^[_g!\Qp!N.a*ˡ;06?jwXT4iԙ.@ [M'x:\.nU96jl%7Z4'56+nXߕl'Ɓ=%@A%D &Sz/}>oe ~bp> .~yRW0Sx*M>+%g[2VUrX|`埸n#aKrhND0ȭ X@RjpV)>|]`o}bKIorIޫ&.‹?) }k6t>20y|Iw[DВCKeDSxOg ֔E-=Z{lY-),_߬磟ǗF :-\óה%̬Jm7nMyQ 2YO2Iӽ.۪(uitPF^rt\J8WLO^ :Wk?@1Rh9 8o}4/k7o@&E&ȒGz5lz<$rzZoGm6v ZM/kPZ:簽1;F{Q Iam9ʏu)UEt Wm¯2f5OnwP/ m3|(rQ/PI×`s+1ɡAIPa<êaLG T>82@ԓ2VL6ȟ]=6-kZm{aX}-oV`[8v@{7d 1s{˒؜x#e܉z}ZeL|K*-z|G,KhOf;"li?vX)4s1C;MA t;C*U%0n[VV˓Z|)CqJOaYJ:Ō ڠpO_'raa gѰG{ 龔WW0tP%izrCKs^,nRuZmn1 Eu_tr6\gPi߫3)7]sTLZ>Ӄ;+<ھ N&yj)G/Luq:jR&7ԊtÑ$ g,Q.eN|ᩇ.qky&!p8GIYN@~\$9Q񘤋ۃsPޭ,{RO?c凓%$[%_U 樂۫gG"@pN n 8$40ܙh@<ŧĶdOJ(Gt_A=.LϲmJE!+W@9 ,YwYl蘓;[ɣ@'L3*L'P ηHIpG|eۗB6.I|ٲzrg\?f;5}]$^h 'wFu믗#81 +7ՙ9ПfVJ[`)|LheAdtۢ\[`c͒Q]/Dx s"%-{MJA%E8yjYURW~+6"Lau%C