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 H!L ]]]HOL-Proofs:threads=6elapsed=841.003cpu=1965.172gc=649.172factor=2.347zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\3dT33 ~=}f3m^!IbŞL ز +})c ;}n;)p:W0zHuZ%za/orr-Wm[{F4Џs(|+EҦPb ~xYK ;jl-xB]4ב%:#F`,KGh߶ֱ?T%ݘExa|#0G0C#,bt>o絓gQs3 BPAQA`WR/M1+"wjX!{b+i'7,JCC>PLKr}k-TzS; 0F\NyܠN4^WFpv,3)rSN)-Qyu0m ]Pu~YՍC..xz[Μd!J)wM涰.>,Ֆ05҈W?p}1a]%B2ĨA04Kߊ4XC3`t$U%M%3-"p%kY[U(:r>0QgI{>{+̸(OT܀H ePzpB*j=!l9&D g C{+jfV( 6\ʰe.g;Q>L5wV;2U)H횧Jc>ni- /%j?IO-%uHpmѿDF9}SPn}>ӵ8zh^{aPUF o<,{Q,Rf``m :nj?jƼG8fknm6~gvNtPgF-2fT#cWzmb|WVt.~1] edhO,Cp6=+]b *[ˣ~u64P BCÐm(:)N_AWt+u)H/r>I)[k lfC?}NFz8[5InjO?PՃ,XͻQJ(jHY5?9(@K&id(1n ϒIssQ|g1]xJ JPIXZm%F|vvN$F@oZj& E2m^=Bk$L@g*d+xv RPO4Abtq(2l_4+Z,f%wvo(ggbq+irD@Ay[ 0 KMR2ͺ7$/eXf݁=WKV4 1g9T`62Nr:hɦ@(5; %g,LC؝sГ8=kɸwj3^ѐQGO`NkZtN2_M-px줝 M1?rE8W BNaWǦ]Q.d"R7c8~xjjJ|0~˫edyFyȣ&!(e]fpEQLD|JdҠ2@_sA1%4oQ(0֥ o=eChaWL2 %ϼ+"&c!3K"olQJ˘a(=mkѮ=^Ӵfnbiw3:gb?%VmYN6Xq3-a0$? #:n2>ZO{a蓸HDc_^3͓<8j:h{c\ C{C\I2`Yd8_QHFMPU"%{A\ 8@A=S"]V } ao2{Yjuw$H/x NGuJ)\&.Iѝ(¼\siSdc^l";" K(pSwua:/lo1ﭞB^JxQeP{|YM_Ki^KҎJUv=Y.Oj~S<˜_B}cQGeU~+qhఖuJ leaOH#F`3 ȦC6On8/l6La ̅TӅT52"Mb)Y r]YNaȁ[ږ'I1MƄCGHxn>`1T[H5`)¶wj   ! HOL-ProofsZ{q,?2?EPBfF F5b:b[St{56GI0Yx,$lOd:ihAK ۺg,.cJK j8]z$,nNEepݟX M]i:u)C0h)(M곉Ob5r>C9C亂Z!Okj\19lx‘m iuξM!n&~KSp(Ddu]Vhmj^aSx_}giO6-2Jz_;7deĹhSRz"0=QPpƹ7ʗ.|#*2F_(te!2ՓuTfHz92Y3NIDI{T]8̝u`-ɲ.?څ+G[ /m &R~|/TASd)B>}vQ5_;s}.Ѹ2(~"-\C4|% 5&iO|7:\`#) b f!(㝽H0`t'[0  zT^)7<Us|CU18mI2&rѹ <@ GKsjZs4M4DJ; tf6*̫5= {p}}LIko-o0 ' J R&|NUI-'$AJx((9aMK*u`>VOt˾AX(X| HΦ[AᲷ5p./LzV LAM竦GϋPR5/ mZ #j5CZ@9}N2wNPT6olXqD6 Cb My@Or79* NMb:*qFGOSo6h]g3dIiGiwbS9LbAXm6'PFb/6qt),!Sq+ܙ.?Z0@l1.B54s 4Os\e3̢얀mpO=£KnYm̬;/g_8׻Nk>ԃPt2pD/?۩ch]sx!~4OICyQSq8@#=/:A#]ҎbA23U+6F|}]yw{KaZB:+ /ac2lSv wM|Ьfd%5m?p)4+gFQK;Υ5ǖF>pۛ}peQ_ ʊ>A|;vl$kijoU4`I$;yOi>^a []ꮂV:=P $ | [Q(Ǽ6TFփ[flUo*x;3+FPі4e:[Mig%S?TfPkn>־uwQv&h9ǀ-`vd2?wfhS~6A IZ(m˫vsq%օ(c

յܙwݦY"&:qBx_9?lvaY6g Y|l(5 BlM$+أvLw<\ z>c;4!Qg$ 7gݵR_X:^/ۓnL0]mR_8E%NʇC&^Ui&OulD}bfjn1f.qA$Eq7hJ) A+.jﹱv@WD%y/Z& Qhֻd4)_ٗXIl a0r ^Ve=zasP0q?M*y߬V s`a~NIY2)fF huWoAVX 2q'լo}ۖ话4X+@AgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!BKֻC['.ȁ|6"&ޚ8kLbc A/BdtQcdcZrvv;m*ݵ[#:WEAt`s8~J9Qe>p%3 뵃8[&TM9(-'rφ+DTdx{uP¿:`k0) oxqT`h"*̧mȹ/Tm7qSㆬ\T\ZMNҁD%bBuMiOw]ںLX5}Ho16 pXh+N?ɗ` ZU1F qKٲH Yqr<͑SGA9;WbX֢}ל6P)$Q-$CER@7? N0 (` h@Ř$4[m guԥsN~%= .qĨ1W,HCoiӋ-`- C|+ZvKM' @l=EjoTm{ڡxcp,<[ʻ1EƓrg` M󊗊L&IPʳt4SDjv v0>Z%ތ6u jj6Ll&vb`ۺn`{z(u_ bȪ2wy~q bNZVH$p7L8 8t U3EB=vi&{vFWiq7drћ s"P:fQ /[zJex,l7cxXKtr9u HR *ecڸib#y7T˔RՐPO=^GJMB,dU9耓V[XP<~Lġ(~k9=Cy?IfOc;1huԢFzZvO!G)Vy]j~Aۦ<*ި.}| ?'2{qiҏ_8ȰpD@ &O1#x&q7 . Ffo8Tx#Аj,>*IćDN6ڥ\"cBx>m|mFLjDgRWBħ5ٝͻ ̿%w{,^EkrnYyQ %usҰVtH+;-O[='4ӃTP t?_$2נL+s*XN֗mk2NRE_Zf"AXFd@3ꗄWr<HS#ڿR  jY\ H5˴.{w732[=}r=K`XAsn C7'оqNބH(&IF21 Q@koL3B(P]?k%+jS=>/c{jGɼrb ĠK"i(6W{Ul=Qi27PHSڱ[ yYi.[r`XWz5~[ɋ奝|MO]9*sM9,vW PIsG ;3tV^.m(zqF&<6t{>Y2UکlHEWL(ovե_~ʋ.u|u)/zնD 2Ot@gYZ7zXZִF! a]ŗXi%96WF@$Vz@.q*=f5<}@!5f{բ͘ckAĀB:(RP8 w>3ȭ)7<$.D2R':4@yt VN2^=sf4LIl6+jΆ!\C%}`$5 $P-VQ8';3=f ݎִ)%o&1V{tXm4B͓(h$/67 ś ^Ћ`2^2,i%vzSdN 0Ie׶h~4 v@#*%bT!y:v]1l FS/k V#eF"m Cm@mtƒ*Wų:߇^O,AT^qܦ"!=O"N?I3yDD95вMz(Xp0MݕA<* >ʹ~ ʍEE)hA]VzҐ ՜9VG^DBDbb`@,yTQ915QljMN!N5Zv>Pڃ@ ]?bjRbCTc-$%p"/g͈T %P )6>Z_񭤶_J!wu`zl^MͰSN\lu9 JIB\|>r#ow.SI$o]$AOIi k-o}GS,4nj;&_wU+KAj<܈eRmp`=wp6#xsRE3FJUuyVYR$ft1WN@rimFP3,*O}?%? '5X͸Eftu`C]?uGO]'}pLo+r'Uz.붳K%#J-P0MN҇t5S,ɐNz9u~C 8QHԴ$B:Uې`*詻[V xo{lۘӤ >v` D۷b7BPr H19dm?Ͱ-E޾W-/t@#M^j^GFN 5BCrRP d'Ae4xꉔd!U'o7>j wJȐZߥK,PYi 2rܔ ''7u4 Mʴ=Te:Qʨ @)Fߎʱ>=fw{{[F1Z+4wuG-cLaA%QP.#L1!rh3X$'fbbH\BmN֔&'M!Y5cN+$]f 6ΨkFK,|MZfz_SnQef)6cI>rڌ7mQmqnaZ{ J.N̴I4-g3CsQӫ[7CjkwפD/^|@(^A'M'HGU53 ӁfKd z+!JOD8uWT&!5!cy+-GjpV-2CWRO[zaGJq ENFrg;ΒJZ7#]*p>trT:HWK^omΌm;/z '6yw}vh S)l?vjAH.IoVA3xAW EOiWQTfEk#-W⎟Mo̖ij2͌ î0תߣX/=Vۤ^-]egq,䃼YƞP<_k=>˭摦φv?*!>O7j $]hILgԇ*u >U@eކwV:!a'!,02ܷhqupOFqLO:-|*#PXvUȾ5j+_<1(C)^` P .0/yX¡GFs fhb"e#9& v>Sfs^g(xqK~΍MOWj+]T.DĹ`i-n֨f$"BZ k? ]N<7z=㟋 ae:(ʼQ*Ԫ.?|N1k5&=bIF X kk:tY7Jsgo`*: }/F^Գ+Qw^޲~'Vy5S] ?;*/U/21_ֻ",gD?}z}[u T$5`l/cG*%S~[-vKso=PBEYSo ZdΙGi8ԖQ}PNamL=~uy|m*r҈EBRWcY+ǭ '{@GVeúZ>BKa7 Q*z~?#)WRr6yHrPv5cDY sku]U*SuzV5!nO8w9sBX ~DljdMLћ>\]+O"[ 6Mb>Mw\sq{6#WZϟz2!H-B l1j>rzQʓ1~) "D@' !¤㯓##A—17VF 7$դYK_! Zz ˵ n4hngX(l0k -U#ZaJX |>lR'+wzqg"iY*6=\ j{rĊᵂ @b9~,ruwTo>VvtMt6qz;<ǵ ,.0wHȊgCӛ;Ÿߟ@d>uηuufpc1DVڛ[ 6B?.'WHM ]pO5? @nrH./C) [|][B%;|8hA+@Y;~hIɇ"0hWGNJd{b9R ĶkQO!(eA˔CRVJ>f:>>427L{,νE(+"sXXf~Zs`}$H%۲5_6s HB(R 0~`Q>kRtx''{TɃ?juvu"P$I8 ;"?"̘Gbrzx[ [[^]O/!׸2ۇOI Eiɴ% 7ldbZǓP{Zl/]], *g*7 XD9oaǥ;PFtv\@G,8!upTë$iCZu&:Mk$)+Y'$%(˩ zeU"1쾣 L}3RWֳ+ZV\YU/ w$!aMteC_6EͤH;' 3m^Y+58is@vU ) 2V/vycx9SWesS}f$eHF8Fq#?ǣj|F"kjpidg33`&6I \Ju&ʭi0Or!m* :AY}tYI}#l_߱x_B,<J|AhsD6iBIJ &}ȾA۶֊^ur, Jo4'ZӱQjjH pӱMϣVd=zM1Sf Y2fLA_s:B 5آd&^xLbIۿ11n [x:$ D~IDY=fD|&˸ V12JSCm*]-} φ67n 2Գ!n=nw*b!>Yx}}HTs>Ry5kh-$Mh5 , prcapXkNy dm'\U c>=An&$c{n{\]Kg G|mPstWrkx)+q-hM@cF%h_=]KHǞvr Sq&*Nεq8˛e#.+HB?-z9nW y,/ԨɊw;^)Зvg!B;Vg9u{VeT,җz =AKA53oS3w9ISZȦ)A>zzw$? 7UAt@Mݰ}13{VKWILfFRpS89Y.-%1@-I9+# Q \""if (B'F%[N[A-cHw ͽI~\!V2Su'*C%d8MR߯1;b88ֲySAߑ1+P])<]q<`/i%IW:+y@H "AӣNi\7R6ۉE^L3&1p` hӯdڸy_` .4|/=^G9}fݎ߿= ubȗC݅#H477y H# $X$y,XV VD>?-P֠*R/%H1u~'^yS )z6g"x~՞aT -8CRӮF QQM'\sP~ȼ25EӛuB@kȭuuS\rd֑w\S޷,>lg3QXuAz}Dۢ{r]z04Y#c Nn$^BdmF8ʇx$m`@^S\Fa Q  ֬S"  e~9?OڞkEH)3Љό1'!§UH Y ,s<2# cA. NeZ(=} < ұ87u~LJq(m?pL@5m0ēr59Zu :!{0#:Mc#b2r^#V-}h *gzMhc2-i5] z,-j3A^`m1 h XO(wPQt4ft>˓|gDů8Wa)DX䫽!9%{G'S5) 狶m{Bθw녨55E@JQX&d40w6c(34AW%r)s7S&St8-*b\ŰBˑu 5i8 u??$/[ ?X^|(HXʏ=u DPz~8h$uՃƜ8X@kHt׸0t]޶D52FwsIo!񢏨څj!?,$? SPٷgpy,do<`()PS aL4-0I =Ëz4 ']{NZwz dخmݍ|։`9@UŃ1RŽymj.Y3|[cŻ9h$9tC c$|Cp:+] 4s9YyRB3u 4krDTGȇ~R墒jh JQKn|Q{j)E(7ۜ4&~ѫWH#gYgF)Z"z`$u5֍Hj6@s^*d$,iid8u b̲%ʢAҮ\/.2H]\1ۗ$& 3j( \-FhC%[ӭ3Ň*>NSWZ,m51UP& ayRɏϙLBN%0ȏxy|jDnm7@E$խ=.]۠`Ռpv+5=&/ m#` 5?ԗDܯ¸AvTB $]+'߂P %]n* Ԏ@#PH9MRB\&b(YT rQn6M]x#ze8y +i°JszS`+CnaAr+TԓY>{'XKñ&vEݵ/nrWQ ܿF)  j/Z%(N7b)7t҉l#XEQ%,I3۳`{,лɼy1ݩȜG?ܭ|c(nC:Bst&vZn͓7G DBħkޱy9fLozGS~$|Ɖ3_RKAT%.A3iؚqg[9g_c".^oĎP?=A-BE 3a;s>srHb?P[ Qѡ-}̼x=>EՄw:A߹b݅9樝>i#:!@P iuև܌v(bo'uլ5|v{:;yL }+9rD5-+ZY40"VH^B) _ ̢:wx9]h[vJMthXA6r˥+L&/p -kS#.Hvl ~(Dh"K7>뇲s0rWɹbHv^  "Wp|3j6v{:ʎ=WG͐P٥+^dL<֫1Q㥍Lك-}E+ f܅G %]jcÂ;9$qpFFwop6ozGݭQ'@.dG฿h7<}4c1~9=cPj>\ e pH=zih(HA\ ¡=Yz9*7p(@s@a0l;}Kʧ¶vDKawV!x0Jo!w^\+RObզL v[t_'#W< LʲEDJ'3+fﷃ][~Br:XQ]oHbJ]оk?Sp^O0S^ E>; &5-Tf1Q).n-Sn\yz ?˶sSC@co8*(@R.!:ʷ%UE}-03 x&T|vsՇڛ1ۓ"6rD՗o[3ks[ޏ|>ܺ:"̐8TA M >#%  nwAg P#a 3i}B/@WHpK}4ԹAGW@/J3Ɨv2e9o`bG'ːns BN|%8j ޯwIEdePvUt 4RrۏQyX>XL0`FT< >y}^o pl`mTֻ 89Qe8zQzfۙ7Cp5X/`X.҂M|?@ͫEgv`:oi67kC&/ T*I/ƫ)7%Q֭40@ B6yQvvMo6Y{9&h}O9hm peV{f}c~|XtY SE˲n0 qweƛ`J0,!'iIt2vY}C>Km`?Q[7 3HhBf qJw%"X/vw$\;D#_t6S)oy +A -yYZ0wd͡1eݯ18\v-0OTRpG,[600c%}ҙO\VM|ukG,M ">Ѥ'> jA05q&JLDRfYFjTb[) ~(9}0 m1$w¼ե=+~C0XBʯ륦%vC-Q\h:E›)b1ۜhe#aǷ>9iiu6 BoQ{Ƭ=}r:L)q?DՊB-(\f!V>O/܈ 8G} '{Z5 =ҳ-/JQV4V\-ߟQnV?X?4{esVӧǖc>DG̊xnBIDimHx}Q`EsUrW亷 KǑtoE`xeErM"Qt5ڋvkYe^[8ۆA:ҼP]Ok*Wa˰Ls =AM`#{пIlo&f`qHY41)Y9ΈbU̪n i3,hj)ͷv\ܿO/Yxd9@Έԗyw#4wğyHGSܯ'KFZ:=NDdJaOdUu99Ȟazde0 @8 9#r= ܺRmȿvŋ{xGɉӼ瑻¼e AO-FbԚGeeWQ˧A)żU>#M/SA)I:Oh7:$'kU$*k-83$3#$bAK7Q;[C),~E$ rB#?8j'+(\cPHb[ c#qM1ˢU4$r*>$-we.x.ȴMA nΎCЗwɨ?YM1iJaS+xw0p7f4sQYw<55,Q|oP5xW8-7  Eja -,]Qg*\]ƻLG]>쐷m 05dXK bՒи5`GL, JK*u(\_/Q32H $%5|9%(bHdzѧCz8utZ=D(8&nۑ(.OQDˍf,'~$*ЇDrO]|շ*Y4e+[I)ҍVp=aAܒcz9YN\uXrsN7xiichH 揩hOnѹr[) YPJ=#Dt p%[ѧy$D+$#.]Ÿ2DPȍL'|c,<&R:>HY47 lBV@v~Ux${͠^kO 9R~}J9[C'xnHMw :K_hT1tn˖dyuЀ-z(BxΒȱK4ۙp; x &nG 1Ш }h#RrL}?Ay^seB̀Kw bfiN۩<nk*_lb. 3U:vNϿmY?薻@<;0vn$h/ *sbZJiMjiSY 8$$w<$`="C!^ ܀4PqP9?ز[<д,-XݾydƔBٕdfF'b'8rJ盛BkT|Gǧ m識tHP U: ?L5nf Z`h%of9tJ;.X%dK}ӭ+<=|i2 ~DŽ$N koȢ5^yґ񹪭`#oP,q`f*y-`7@!t mp?.ba {C|Tw~wOFr r:f! BwT69bE=*XH;0*D'1Cα4@Cb*OK_p,BS8 +GMkK Ws81nNO&͝Кh-Y:6cIFhj? i-2lHg'qAjذWӐ3#B^}!?KOLt[ٶT:@CC\t9p {B.q4Ղ9\ڼ y *zȯ+@`r(N +$mQm,qTůa~蠞Z8 V|Lz_#BN cLɯ7z_:O1(o%Fd^Ҋ Wz[ZTєrZ^ 0o*)0}KvOY PAԔ]g. Z`GDӟ5ݞ0 +VcEiX2ծx _$ZzilqMf./  BN=E&G^߻Ƶ7mO$q 2/yߨNܙ8=V#G;2cOO #U4u#MEYm'A[g\L9ΗK RQI4?ZsqQ5$e!1|xT'>n` VJU?+9͡Kʇ768G(ijFÀs/欲 O$: =ASb {_X7ٍ6 0Ox0>a\4C)?s!LH1!1YՇ]&P9D[4 OI#.sSsL : =e'KUݼg$P""Ļ.!)*֤yǓT(k oաp<ҭ4^ fpߴpQ# %V:iSbLOnꏄb!`m ia#.`shWJR3ܠ<>V 8qL* A@ )Eϥ-s._$E;[H#Cu xꌇ&C!}k~UG}~,}_94qbQ!puI rs2x; \G9\Fi3-:OYȡ{ +XVp9JHI_wOjbnT./2&㔶BV| $dqBDpt a{szN 9űŭrŵC^u/ۚ19b˚%aZV^׌X ßC1w[d3 p"ZAއOMegDiL֠$}[OCzEo[w\NtQ&+),~ʠ%fGs]cdcU޵F5 '!"Fp _ْӾ0АoB]}/lBϱ|Ōku?8fōuN̷N@2=o5C 0H."Xar(ˎrdf#/ hAYs&i1߁>&y%MЦVn%/WҼ!Ƿ~(G@w">{YDQQTǍ=qCbJ"bpܑqlQN M(mo_L=tԻ©=!y$ j/IG24Ֆ_) jz-xSe:,~zω ~E Bd)iY00AhiO*4:[NM7k&hGu*b#rdƮTCN\@UKmoihFL9רAu_ȓ{f,}24yCҍ< gc%ZDnD7/G7#?Jk4UC\Խ/'O90kJe)ڛ$\;QsU4"jtjoGü ve_|+,YD$yGZm#jxsbyeNpGdH^.a al\ y/HW1΍)9ݢ-doD eAT0{abߚzoB}P~f839ϛs%݀Wƣ 8V2x8<ݽHG `CK* G;ۮ{O$l P76ׯ|k82EYs lw|jx H@Cj Bn2¢sg.fAVCxZQKthi{k @V%ˊX4:'j:i SkT-|ŅVnZ@VI~?2g[7 i "jr8ܕQ4pP'aa13&/ӑiH#L6Mழ?VŠ #`vnk[SqlZ}"w6fK[`ED֥KZGN=DrqFD(pC[nI5Զ<<6֗24a]_4^DrY|-F VT5>eEP-0ʞ3H``&Xu[V_C"ٯz٢1ի2EÊ˩T}fIQA&I Fx2* 3acf¿&Q ޔA"vtmH[/^̺&%dqv WTvaƱ;ZydM˻"CKݩZ$M-_F5Ԅp*H."By'B1= xӥ9~+ͧ_// Ip.+zN͟1ʹBWG,ޕE z1EO/j&1¥@?r~f‰+/+ ˯ s|xUX]~^&"sӶ:pwz[UDr꩕f+C)uOTb Xi)%?lB_)\!,H|/dЍV/Uvs9);Ȗ$kAk.Ȯiv#OE1w}a aTi4`Etd9joS'+PE>$83w` 30ϧvIZimUᚳ[`ovݲ>zT=t2+/dFlˎk…ECnKQ>MQK~G5CgE|>.8_f62Ant*zJɡE!Pm ?_%1:H!L(t>ǘ >ԅz?ǻJow^8_%V2e,g<3coi '``5|!˺n)>$Hfl,,u$9gRvmb׏: Ľ3jc"3Yq.4"< X&%r^&[Oz}o&(q?\=rN(F/ixxvh؞'%۴ݷ<\9͓jx3G;<ś/F-VJ4ΠHQ1ncN'Q^'dp ru  =^K tL& J^=Y`»  gg•PFy-xcU&&=*m< :}—$]|12zM|&S08\ocThWg:A S(:4u$ͿOu^ 92&T#16L1os׷5Zߎf.wҪ2gx=bƺ-Ӗp On&}3jYzq_0oGP"py2iϦ0oݲbo[YI7;E#CSr3d)aB;B܃0|CF  XDtԠhs%ЉOikK}ൔ-4O~Ƕ|I/T앃PQC|&5k9ВW>W7uZMKr"~kTc3Q$bܮ񘑃^j>Oա!CP)tW^x,i4l]{#1HmyC J@xjÛ!ݓOI *u_mow+L@+x mrUj|$ńi@VnkXr{MaBzaC)gpDC]lό4b8 r[cQIr\am?X>>?P7SٶKůDGDK])cAHpLiX48g/K0&>q8Ў@[%`AF&ymߕ ^!G>g u(Wuim8Y>нUA\A#~?oJhY >_0Ƹ` ee[0+LW!'-p&9ɨN3&cH ~ݓ.7XX\}Gx ˥Ѫ芗YC."b9i+Fv_f'Oj^ E& 2> *;Ⱥ+l_'o[<༐ڌO>UJ?$N4"њ8.ў݅m9wj# .q9LPFV|bN*ur ۀqd".ª i|G1T!x¾ ~N4]D5 +^=ˢA_okE>4ܮDg<V5* #1 O\bKܣэ\σ`EM5_oA!\p>0U*d?*qwj[ qF?&6))aƮӫ5@2 &uFcQL_ZӾZ~@3iL   Ƌw\1+>dR0y]҆ MGhs;̉Ta$tf( ai0N y-CMNj I'YV^xjk |~.rѹ r[w:ewZcH DAIĎj%c Anځ[xQu)ˑ k~A^J=m*&X|. J q>z96y(>/3ʄvQ$ic̾)^Bnc{d |7JU/:yaM;xkjE]2h-&W;x9qBBM 9e 5pVѫZ)! d]-L'$zMeC3gGEK:Ħq$3ERK&DAbo)@J|  lj1(C|Xk3;onЫ +bG(yѓ_"SUԄ?.yB5HX5,4g!"E+Ќ+ɽB)8W96YMc9~*%7<`/>4K:*]8)G3ddw 1?>/dbkcJ Q]?/(QEșyJZwEKd9nRkh̨"F$XN"?]YCO4g9!>py/l2I0jGeӏHjM{=yN>u/Ab\^la L(<Y EjYsXb!!b}{%{xԉ#/p7$"MؖCUOb4l,D0XJnB{l̟&kaah2T O5a:<`numF*hGtO6QGk(%Ҭʷ-pH9^T f*Һf100:}Ue*y{F9[MdEE S xkFv[/JFi_ }P{4)1'oB9}7D&aeUFq#ʵ@F,z30.z7-ʵ@Z~E$Jب5{xseY7~n"ܖYa͎QO7@db^{}F@,C\i-{eIRƹRfet;:߹ ̺w.wϒv)M-vmz؟RH›ۜ~njgD-u6MYvAIA^TiBO]ٞPn΍$VN~G+A/2G(\")OB6[4s2e`SZzEvJ ZieŽJKzqqgW>rV2&Φ)My*;6F]ݦL0-bL+NewEAb}Rwp# ]1M6EV̾M&!DKzpnsT.Ja%X[A?LH/fB ZzS'hKR &Y_$+Р6 I[I1} s9ak%8 t(,KHwmlpuPt*A3h!Ei0 ([orGӬl7eaH‘W CcBzn 5:4f.tx{d?Ta^Hf]_1h7lq<ZpmXB {*MqK9{b@ :$gOvuwi L ]x_9qj1}~S*8ڗM/ ߼vԎ n}1F(*%+g0 Npk[KD$[2sgΘ$hmIFBs_|Z)Z^n6?+Px)JĔ9& iܹ竹tGbgp:F:6z w3},}괎8=ZK2CPz[b>U7MXC}%E;ф!Jws50BW{U$=a3bs\-/t 8pUjsUmxMOfѴ,B L5TIoJ7.U* C {\Gt6ʝ P*+^#Y:=礹փ+j(:CVPQDŽN^% o77Fp-k!c:ЋnWBež+nolʁVYr.H bD*NڦU=wyQ &3ORCUZ캳#67;EoXהA|'L]o&t.O\|+EWFbHCm L]X⢗ :KOHx#f< .S-T%iMcT_%\9pA1wKܲWpS[{<3vtlV&Ԓk^fd ATf Z7zk.7-e! kϱ,Ctl\huW:{ȺU2h3(I=I6ռu.0C1aOOVđLz<@ r:od*#QSMBf7$J@GP0%"̝4A]h% 2=&qԾU1|%U,kcuo,[s#cfd&QIS,n^J&>yKҔ6)קtCӆW.fN.!QL"RA5,&8mیy _NrРb,T5AM፛]/\M$y|6NF+~Q"QBb&Y%b+Q˗8k ݚ%>7KXGyt4sxb_2vlR3LGSeiY[E@śaAoL0#HdZ936ږP ;ŵ(}URH+IB9d0ـWҺcۯRkb?8z4| Ŏ\-8yJ=au9҂mҙ+oYňnH`Mi8A]Kon)$ )2OFJiK1&`]cB52^ /l$1"3RFWZM=^IeZaFN( %}"h%:4}( dPk@.JgܩO}>+cH.;^yeh ]pF5 T5kÂ"аFjץ׹n4ɖce&k`E&f|9x?gGs"P&ՑJ6f=!OͭK䖄St\y4HsH|D gK.Ohbg2&?tÈ.ZS dD3@F%v ' yP=u[a KE1](={AGcR3(>Sc0=^7/yH#44ЖT 7D^y.71MpZ_2lxPԐǖ|M*T`[)QXR$II$J,Nت *I}b8!>-Y rRJ<33 Okso&oEȘt6pQd"^rQF#TS۽,eFs3nεh+ yÅ)V0T#WzM Z\Y}N=BH#V-T! uOs8tuEo!!g;KކҜ66d;2Kg8s=0luΠ6n "Mx7 }3N" Nص^Lmo~F䆿Y*Rbyk=M5l|?6~I!6[( yinΙ=ri/ܛZYTPZޯz硾-\H@>aUJ8"j7~ 9n(;A.w5)]PA׶bh">96}Ԛ6$(w > `PVuӫKLD>QcQ3o' dK+-6q0(T@]Q>=:lBPmOVl+ {HGL5ٲ,cF {fYmR!x!}n~J6d])VHb3nEsTW/]D`S6w 4om¿RҕH puW£ތӏar`f5b3 ʋwPxes/dv[^Sf6=pg`fR̽n:thLLpCBߕ&Z?02UW\e|q3H Ҷ$c@(+i'~i~VGGŵׅk20T iŀO&[ڮ0CHB+w#h!͍Z&94bgBZUY#:F;CuI!P?T/ո#~ѩS?t%*DPsPC\,rToh=54Yu&"аܩ&Oh|@mm6_^zuCSJ*5e \yRʳ{1CvtUbaF#l_LZTťg̞z-ՀYS=x]x -nЄ8|r,z^C$|XG%iKn+R/0e怀 xTX P 5H@wQ#Ho BWvܩahON/ 7YVf"mTHt]悦vYLXm5:/{i#q"l^|>B4j]iΗOb;W %{1 ^3ħN'8ɱ1okfX~XzȊ˥9#Q4 8Jo\h<U0v-mdk!W=Q+75v{2ҵOxH}3+P욙>;]H'{\ %D`+S WO]epO/VH>p@Ϸiu{ֽgՋ8Gg]^Q"x`*qsw%aqR+H9*ށ0jmmʙA+wPc\=s'ijCc)eƟ2z٫N@_dHi¯b)ڂox4zmO@*:8_mez\UPj)3@~Lt oO]٢fusJ.TNDuK \*!|tZk/]Xrm s^]I%M]Ʊ86ۛf')Yyex'O$2T W`-EA2-,+6r o}Ŏ(Pl8< N/d >Y [&f dlf.u+W!to$rb.|p :C.b]je2sOGݖ| c=NE/gvnHzϢ5xt?BeO1~zr㏑c)FCfm27'ͽ| nS,֘ ΥbX/՟|릦!/mHrY~IM͋/ ,{GSϔ c%?K9YDpN.)![*WoU!E}gB!Wq??d'[hvHX)mMU%wn/LնmF I>6T{ 8ѿqqs3 ݽFHyؿLCY'=u+>h[ބ CAW,]5d?s \J,D%_̀ 쭄;;ͮS5cS 1\y>Jy8@zX+\-cp }d*xiVآ''W>@ihB]w1[u]ZO<`H1FSq'gJ}3WxC )2眃@sʷkQ8J M :Ws1gYZe13ed4d318ae5476e6fb5a0d89cccedd6bc9e52e6ae1a84ef57c6bbf74a3f57a85a1826e7af5b405735e5d106852f5ba7bc4b705c10c466af8837dd5