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 tt\!| ]]]HOL-Proofs:threads=6elapsed=533.975cpu=1311.404gc=125.992factor=2.467zXZִF! Щ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ^d{ 6oN$0P%#R!#J_ Xn[/H=ݹBt\ ҼEHNcސf̛͢="xEϵe:j&BJWQQtʇG"\=>c !@*bt,|~ ѯSH9'*)Ap$fRl,^Rh{t'f[ݎ8#9~WW&.*(֡c27pF9'QbM5nu/l+AXl{wM&w>&B`4:)}MXGzm鎒ün HӒRa)8.atQI:2A@(A% YpNV6vS='ң 5Lla9ޒA/($T[ 9-3;p'`kġ[Mc3Pt0Z*:)?|SI77. FFicMh\u2z=o+#$<ѳ ln $s`;ؙE>bE{,W6cZVsӥc!{L|8:huH9y.8Ll&;QwJ5ƥņ(-^%*v`d*`i, BEYw@ҪЗ'a~wq2E=z&.SD!$EPc3-<,m޽U-|'aՃٕxY`Zy'H\7q91Ѡy~F yy9QxNk\w+TF\T8SJ }ni_|^öDk|K&jk?4/5 DcxS<⺓g7e o4{!n+y =5 ,7lH:v!P{JM!e*;#hL!{${"e'aA" 皧BT<ƴ}+ctr;GW +KO@qEIb am0+_jJK붓6g"3.J3}XᗮKs]-Ae.zenc~ʱȅN_#p'65NY1,o< ;̎4ctX)qL$] 7%؃sqG3/?8]&~b<O:y6ԒL]S<(,;ԛ‘ [2J9MjiI> NuPIтv0b05j!_.Õ&!v|A2_tk-C{ mQmxwQэzEi[#(z Z` ]Sn "W. d;FqM܀%b+dgC )'oYgQ?$fVwy l5XG*bp6%M&a_$Po+cBq)mDdHgS#숭۹ a-bWx\_%z#W޹,ϒ tĜ3ΉĬo&uXh.6E+x> lU3<.h{L@\3+͸L%Jpsa dkBt5 mCqeTv4!ymZAF=T~zJK2[ AKS=#mߏ`+gE_ U- &d/6 ky>By&^ӵF}h=qT7tyO ^JNw|QJJOe>w`c}_A^}3FRM"L~$,6]- fd Q{@zMq|"du!w"QJ[2i#:"MmـK䈀3-t rw[ GЯÿ986au7e!NF,a,);?>zV]>@H\B1 D":Ws .-S;J\XMs .%dwv;L.|rV-/خNlY-͒.m%K\!#fSe] >{"ţO UÑIm? ȁlx`A2ZȮЂKW6iGo&W[ 8"K*hӱpXV X. &8v9dh7?ƅa U)rBE8 Jr0#t кHӛA-qhh0?YjS8YE[u~Ax"U ƚA;Y_lCGIvp몸Y˂m ,#<`0Nµ]C1hiӟ:gVƯ뤟J5v覥/g57v3\Vvʏ!pgֈvtaV},pk"f ]{uB BX9%Qd?c vx5i_AUM|x=zR0d@󘪤l;K%SuXȬ8,U<&QT- ]D?*TͥEAmУUdqӵJi0R!6oCOƥUSh$S)kWHKxYC~*ZtgZe( =neďda/.ACij`tvE3^Whv2i:i:CT+S42lqpB:xZɂ&[kִE\"+zMi4;di~51XQ%4LA`ȼV|K5/YM\@?sI54帜}6~[&ydfKd{؀>_QO*s}]Ҁ.HFE^ RωZ.3q6D>.R,SҦQ?aOz723[\Љ._ĉk/ S=҅Եᥐ[4/ ŝ7A[1M#!2VIy#SdNTr:o5ZlhDҤ`qf\r#؅<8 AS3ߋj}lI4n N _B3NoQ] r>>sYdþ{1w H<\$ UֿU eHd/:U[weKn>5Q μdcj&ft!Rgelgo>pҩX;_"+[hYTu,g)aRwGTH'Ԩ8%d4k*+ѻiQ0Z0=(aډ-RnHrfډyڂ1Re̦H: VonejtAdue>"^uDbx,^C7PusU߂f{|6-E )>-Oݙ "c\| jf78gW[$:"/ PM6|>63yvֶ/ΨǷ+)^+X냝 ~ lL!tWpܜ,;)Wsmf ∗Uf.~KgYZ7zXZִF! Z]ŗXiɟ29aoʼz[%U>EM!!*X/varNCҝǞn̘E s"z6G=0y5wd!f ~vgEÜ?sNM=[n֧ؿv '.TI.yM`,`B'}l}Kҗ)zfel>rdzrGUTH0$,C=S ?0CWri9`CkQ6MaZ;E>ϵ$%n?>cOTBfNy!L!1*׊4Ƃ-۪6n_*MNgqw @\ަX5elz&$(<fuW>&ʲT34'{f81ީiX|?>o? 2+pʊ^Ҧ}./CHid$>NxWW#5JDةT\ ]:I%)ms9;_X8 ϕ['""/F{ T $sJ:d͞qpKEeґSk(Egxхom<~γ4VzwY)ie& hALh`V&=G~љZH=q՟* R~naOXf*c .;1@^r4"k?{?Ѽׄl5v٤A _>m(yՔ}9Ϋ!WY[I ?)3% GI.'`*U5T1]pN=A  Y@UOJDFw>se-^'^>+0fa-D4+?)15?u:X`Ngfޝh"j߁W5l6F_HA=xAɛUҶ,9>RQL#ŤGCzIrt,G"հ}VͺmI/~`pwS͘CR 4T!\ܗ^ ?ge-wI-X p,ɚ ok]pSYd8" в ,f2?'o{7:uR),K 'u!;>^+@ܑâޑs(؞`WHc:y K5x3=&Q׌QVM8J+٤ "i+H^laao%a Kʉq>"@[]z .baޕl{9ay86a!tK=&g 3S[N+VA$4^su2C.ҋt!p5'T).ߝ!__ `-*(Cڬֲ(s\gKL<f4[e2@Q  -j㠾<ً0~h{IWAq H[8 nCeK,:NA fGZZbgOX q1VvM^O2@ N_?=E;JHvnqe[-Ѯ6Amk3rnsO1p}L 8.5l 8[8PRSBd)iaPZ)K@j w[cqƚsxMTg!vcGU-2% u8&?9McliIM^R)'.t#J-|21O?MLE>l8 ̅ ?_1Kg7q&5YaPlAhg$)k+1sT63 9w뭬=J9{dg6w%qcA 'S׎tQޱ_B})F4mA p9pxa\p x #띭<;IT􃷝@Dʀjp"Es=qMh:qGs:PFwxWMs.*?vž:pNL X,ٜ /_=-z]Y3v%|m+lJɃ0{HP*ps)xgYNS{~g]]C71 HmúD`R> L!/z 0cU[:̌PJ9PFwn:9v(5co~B+6n:1۩ۉ˸4 M˙]ad8Ku+m/TXg#"UgsE7#ӻD,ٻPOYܞ< PI v-y4ߞcꃼ߳&p9Vl`4ES8V\4Z]f`܇P>0/DuԡX8TKB4볌_T~kq,LZ7!Yb"KDY-O$~<,oQ Y5>~]DF6ZEXwVٕc@[&f6 *{.2BMl~$) ùG/6;O P3+x4[J%5EZwH`DK;[`ݖZ6Fg2VOf=rKD/NVMlNo|cLA!L];c4 4WćX{~{Pͮ¢*lav6K=,-`=rCy`Sw ?t-R;em*+n$ xE1eɘj)Hs7}.I/CZv0ҼJђͫUcD֗u"C}(恅]e(R"'nAk}9&Z4 `ʪ] 1<,|'uMoL^hwtynD&7 DDt#,Yc+:Ms3g訇.@Yd"RTRʢk9,fShr1-O7xL0Yg|9:&d>'] ՉKfǰg%SEY(^ՙj4 J2b Ban4"Nθ> f~Sv(%(i5^` Pn^Jpͭ"qA@HQtEE}^<5M(:+V5n=he}:h$v,U? R."ޞ^t'!7Unk3c.-Mhu 4{= }ò:VWJZ3365{m:,>l"s<'Tn"2| äbߺV%&$p[hyy+bZ:s8-KHú䘽[Nb`v-x *3ˉ:h^*Tm;dB^OEz2,34*/3t`8EWJ.@39swX:3,ڼT娧:dA:70Z .ŢMmtk$AA zݗCBua2;m1փ>qsu&ۃ[@8m_|Kgv:ZlRedmFfiGX/Vk꼦W=iɻ;zԁRӀUo/nyVb}xrqHaH4bcŰMz" YPd7-=xK"Kpwa R܅KS~t=B 44Yq-GuWޓDU-xTN3^F)XE%8V.!P2NTت *,WخgTFTNJ_6O"Q#kֹ/е1 }BG\GZ,'Ҍ3_5iĨ]P8(fH5bcRg|\L-DJNUw h+X/6q  >v04 }Se A݌ޖ# /c~J6,+b`^9peưfۄoibw8KNH` 1#T l {~-BR^BA#1'OA~ÚrvziyTpa$WUr8Ndp->f7tB|9;&x7zF3R%ҳ" cj%lH^KTJny%p p{7Չ6$ʓGI)G\H YZ' Pn|JBjL4ōIP3(] 8l' Nˬ 1Oh{tJb͇k Vh)ak ''{C;hBcеݖUձNBXF߭sĞ!)  1BfJG Ӯ41EXvOCG۰GR!- mv3~j*{s ̴mbA|bb@^ @( 7[e+d\l(jw8pa{MYd-zs?& 8e|am% DJ=u괎ە^=ThՏqBpK\ދOHF c+kk+JyeJx$}a fTP<曛72#廂"`חFFS-z&Z uVF*#P}A~@$௅u((LVN^BHĞ.H92k3 ݶG<} ޵m{3dPn9 A[="Ƚ~@GK\$Y_k]Mt! xB/Du-Q -qa!Z*D9Թc.&_BOc-zKzךߦ?ʱ~N" >o'Rù\4 l-ٳplR?+MJS,du+2v#.?n7_ˣخH܄/}Ap{'%@3ەx){ `ͱh\c3I6Li=f-ם @ >/ &q~ӭ? i &=8װ W2eFћYG2XۜI:&+IOOB/(BQƗum쿣O'n?9tCQP{ޣ()ڢzScoZ+tH B&Ephnu@[碒%Th ZP{vbv{k%EWBRy'@+ Sf/cA*' ŕw%q ;)hoIOlMT딸qkLZ л]P +Q .[ZaFzܰ ?^E`.LαY9/%Qabgz2}N!Oh+Ҫ8jcII@)"\a-wEIHT^iW_IzT"ԵS$yuS[J̛U2})pĺUpD*MfA2,ֳ hy6ڇZe#|F8ŸĂw8ͮs(fJc\sKsPjT3߬?<ȧfժw#oȾ5׸0T w{vM6=vƿ? ?,+rS@7 x?!Bpy"Y5>Nq`˚Ŋӎzx-8hp;ka_ 5+Li(e=5?3PƴE5`Aޤ! 'Uq:oʟ>D!ye,Z%C3(3dxv<}U |@v]gCFuvR{k[c$Ngdg|x;gG]Nj{Y{6LCƐ]sD+C_wwAye$WJ.G& ?v߬l5j-:^ GN lQޥ?ڤTI6Lfj &'iޙ7/%1к߿SNKc6y?To;jo㯂Uj44*2ƷEIP 2Uftߡ~P "ߙ *; 'sEeX;I /$lsԖ8LJb {Y |zCq(jҁ>we(8wL(6@] }; 缐7odc6kE[ԶO6[c$#3s`M[V.ͦh~o%dosނNT =n׬v3'Uh_3sR77Pbit{tBp)- sxnz{@[Zn{4Εq811F_p\Vݓ.5V)V M,qtiPRVl{|EGw,֦95!s8Qxd$΂XO QP6 ~PXh ?=NMSj@iT?u*V&R>*.Իm,m |Q]ćrǘtJdb^Xv%Q$IS5S)T{4K{~+F7'RdpW#$e 0DL5}"NJ;J@[aYV<})oyA۱m냔 l4.ʨEG%q#vKvW.ߘ'9|XRdwqI s;+_YQIi15"q"H2U.anܳ/H8Ňai6 !i٫O KHw{ ¼2(YDS0Tl*Wgׄ83{o)y>S9Pg2L.i?X>Y%EYrGH('+2эYYu B_YҦHǻ':S*ǃNXy]p8>zhhvڒ;<= yI$~g ##|1tʊ3M} &y ˼&'4w^Qy@XFULяB x@1Q&M.\hAaG@. ?`~W *QSȖo;3knl9jFeA`+ AJAU&H< 6lڤ&ſgW$h]bWBIdkTlߛ*;s+#Sx%!XvDKԜl{x_E;c+cLmL9p_I`Db|DTZYY=V'TYqmLV )N{,$ԷistuҞx}~nr*(9 yL芞v<|fOՄ/ KP<lӆl4Q"RFMqNr$W L{\!TuA MkˏCm[^)`;ǎt+3uG>>w Q|#jrjE#GTF4YnJ9/GOrsCޢ)RKg}I`{9j`t v`̐Nh7mƃe][1 Uk $v;>q>8B=G53Ƶƞ"c,(MÔ Y?.'{܉{-{>QWv 6p/& `^VY7D.$ Aȗ4k]\"?(}z5BDfl q^UhÄDENx5xmf-ju h J0ulߝ^0>N Ms m/߅nvj1} uC͍wd nzX('wMslC9&*@z@F\!+gHzI'V)k4{oR`+3>P(wOP%)J3|V'uSDD.ⱹ7rH cEЧHW%ږ[eZƘ m'vLjU1q \$M<-+Y Z[uӧn=i1 24F] >, ?EWj1c`G=MC{*/]p}WʞE`ǎh X||b-D'fē3\TUyw}Q{1:/P*^fqy, eydIF'@@) cس_ֲu1A/qzps/nuIvr`8ȿ^;53i*3Ԟ{W~뙙e}s¬1"}&̸ず2on&-m1ӌG},+3"`ej$^UӨgMح&U঎vk*M2;{R◇gfu|ngtA|Ey,s'CꎽQ*\5g*_~zV# "v(b a09\CdBQU$T:@؂V~XA)]5 \W;v\d,i _ {r>g xd$+i5ZΝH!ol[Yk¬KCAk^KxCe<MހAhĒ;?H VA«XE `~ w"h 0/q܀h'J Bh nA7ow zخ<,3Hi̞}ax~d_+$8jwQnr>S !mLk+Q%Kdm +]bbkNCE ;i:?+T(Kc$7el}8W3JDH.dC.|ḁ慾v b#S_db}E\s$_:y/݃KKI:3#so!<}M{ 屁Tj2ճKܠR QpUx%W00u*u ?[ib$ۅnы8%gi@kQ*n;Ld(~A 1s6a2r43j*P8jZY|2:E8&fs,|d~G-dVۓ'm\CCgʼ87-BC J܏$vGRĆ}f"tOжa|3׆J:CkB&hg'(DH*(:'f  AQ$k()ls56,uͻ; bRʼn}}و a8A^?:8Q:DLOpJWɩM~KY κp`V}[pm " )^'mfy݅s;İEUX蹇8ROu 8 ~:.uʡXTf},0fioD*,ԗB:UoorP勋o#Ic$^7>74S<8#Vr~qomS6sw= (I?-$xc7N~TID>q+!?f+F|oS.پ[ mwMuyrfg)Hjؗ//9*6hFq6s[~"!B{X[<#^]|f,eiB6|lYEtL n告s,G^>Ψ8wdz_TG^sIta7OƮvfҖ9NkP (͕w_=Έ/8/v^K#; ؟B弟bsy@γ0C2'vC\1cizDVC<.r-߫wds?.3:/o;veݯ1`ZRm`Ex~n`58Z57jAq!fjB7բ@9MvfT q^W=Ȍ=ӵ'jY CazHmk4/Xڸ*/Ś~kHp\lnM=KCzSFͩ>6@dx4Ty]ݱ]eQ_.Q)\x`U*~FJp|OjrO":Yg{sPPR5\jlLW BS M'yZ''7(a??5.D-'x!*7q>r.Fۅb䒡]G./t!722sI3l v웠9nEI@1ٟ50&C uaƽ I?Uw?+^X&Q2Ult+؂-yS֬LA6z  (1go-P⹊N<+W3Be?^L'}b}rCGJ>!ss}b^ 8/#IoDyB81꓂llw#M\>O2Vg 8\2iGg\\%OC :`< g="~sl_m\i_m,:}زF۶ٵf;X]wm 9>UEE 4^B+(aLcYAHIރ9V&";6H'Y߾tNM(%E[/:1O̙+^|)O)\U/6액ٛ,;7QIƍ-]y$$&`UNݽjT-@lLfEC N@w럡!OEт-$0ka>Jṹ@HhB7(pbxtbI 2EMs#mSZ+VXCL)[kknaEڤc؄Aރo|4lOA_V 7\|)ae66&?ƪ:͑-[Ljc` V5Mj=ca;fg>g*yX~ n#;`lŝoД'}ޓк4WZX:C.cr8l2GD ٱ$ MwQ VFe-ӈ,͗YJFM5pxvQK#X|{C'xtp%}_<%ujp菙J2IM`u9d(F=.@tUW_V$ a\4/ަX]E kgP7R9$)b}+jyeECڤKٗ EtjMG+1ّ(M39:q.Ip6ZJN2f`Sf[Le]ÖMϕ6UVP @ pCyC_A[tQ=z)k*Qh /_ӟp`E6& {J1ՐRۃu9"0,jn\3UY*{R]&.CTP\(%/eqS-YHYylD#ZVzVKEz) yFMhM\PɌi&{P) $c;;E Ŷ|(OmLh'KFOyg ~c'/3~{'5w>#;Zݣx0ƴq9 s˵œ1*^Sc'SQQBIfڗ^P;䇩6aw6j[ ) Y(D6A([Tu$1\6>@찀JcޏGD {eFX:|>(I?0#}2RTݞ>=l/=ReCgVq[: hs‡/\gBϿC`P_) 4ϭC p#}>Kdq~CJrq:bXJ1HRwh.rx,:$ .vy $xl>`ηQ 3^\q]35!fcպq4c73I58v]o@m'EF![nza]|C,)i:N1soSqY#7)e2Fx*=Ils91LʆzD_ OQ j5GpUiTQVRիcj_uH 'GyyMWısm85/Ѥav 6U~8‹C#m_q#”22_e4fqܺi",qI'ETC*CN#A1ti)OL g;}4&jf+r_As*Z = |s`֡ h,uP|C' ЄNdW`wCYqTޢod#'6dq8jN,rg?:[}t{طtqaV ?`6*їZqtj!x%j+\3f}M:|LJ%ݮq4 AteU})FfsZMljO%h,.=$)+dq:-_1ꕔA9]M~諰V@ΒBoOZ.lZQvA0( {88>= k8`h + c;̴,+"=7m9D_}gڎG>NH(i)^s󅄄=xXC05rƍs7Y8(?t- MQb([h0c`>G\jNe !t,:aZmxR'#ђpbQ O9^1!؆*K}MMX5*0 nQAD)ZA}KMc)m5~e8#$Z*cb=N6#}4ȸ%@r5ػܩΝ)Y| Zl"(LtdDfsmM+IPI^`VG {7[pQچQH0LrQvȞA.w7꥔[R3Q.铹0V97RNO}X1If̲\Ir8:rVL#/@zW_DzE^mG V7$+;>Ҧ%ۅhf~:"ڄnk 燘M)݇g<irR.M`B'%7묬}"g=`ry&_&Ijqi22U3Fֵ+0Bto h,,pH_}FVt|o;Y6P>%Øx;} ^ l2oO+[{Vr6qz68㔔ѺT7ﱄ:'[N 9˱d"Pe.O e B| 97oXzN*Hya5S.މ6ю ' 4 jHE[[#Wpf@<{t9{)fNv,Ifˉ:hyT8K2 N&0ۿ'N"RĨn՟-o$ؾ7q ʬ?Jm]Ţ:RЍ}hGT7pfAZ}]-`ǤSK}J;eC0Ro *Ψ4wu%pȢ6 J_ W&5~c)~3E? iE ra"!Rb\*KMcm)FO-(¥[˓3~黔;ױhn"ppM&< d0 Ŀ/v3+vYMfQN&A^<·$xo-2_%HT ? [d }lJ_;d";=Uk!=4ayއX}!0^\׺\ oY3E gUǡڦlQӑf[F ]nlv\Qj6(P{1! z= S=N-1ϱEip?nmB*<}WU4NFR.HMK{s<4ѵm^|<36!\4N"<1Gj}{kw60Wme` j6g˄s;.`HȪwW8ӉIJ"˚>@xJlc6VWYXC Z9F2*)D4߼28ЁS؊rذ l~SRÂ;R}N[P>n-zoҁoAXwgf}WK'J+q0٦(/cRoQc$xfߘ֪hQ Sm{Suniry{dzRـҪgR; :ND{T`:b7|8_lvA5@' Xi33͵)ֻVЧ/i|H@ Zb$hDx+E-5Ȧ97oS{[\trIᙡَP qPzrZͰ_(m3ߧnkɸ҈+{3VV}57]IFwqg)gKrz [Unh[$1)Rau1e1c9!N QlJg0ʠP`M>QQ 'ѫ!w:š^qr/::Jmoݗ|`R7z(׃f7]$:E+rت@i7u7Nn`k '_W m oqFL9-Wjңn .×4>rN2#ymq6$U}ҿ}HTzǀs9;T8pO[/R"</7 bmY`%a[=C]XTQنp~aH d(I 7ta5 br?a(M)OX 'Ŝ7lwq`PӨ!ƒaX*0 S UM5lĬT&+t>QTwxyL(JaD{NK4J5 b4POg%d8x w#N/ٺ=S8'3Rn CȕFEf)`p#h:>xp lgl GTh]ر2|Q*|$𯌙U{ o.cv'v%8WoY|uWl&M^D &3V#3[䩃#ِ^r2k!9tDC#biyPoj'bŎ[_@hY`64]BvJT]EPzkČ6`ո9|<͍XRA_K 8L̜Rj8" i/3kG]/:SƒB}w`Ąۧ10Y;cigG\zޅo?3Oh~IR1dY;$b;3#hqXUXUY-cr3rN#J ]doJC,BqZ'F3ƥK(/˦I%x~I?ȵ*+SL3#[*j8Ҿ.Qaa]N˗Ѣ0&6ٺ=Nan1t6=ͲYxgK傍 4sjw_[s](կՎn|Y ZР=22fE^d{.2%'4=<1E u:SƨRz<.΄t+/UD,Wk0J xQ;n 6WBE+\SֵX4{l{b󺶐hYDB84RFx g]a*r? yjC~nŰ{ ŀ`/lpul*)/&S$73 hTSHMVR)x̗N챥A@Jk碍]/b7I'GJ|P{ I#NѳJbVC4RDʼn ~%".Ʌ"K-$?򔓋Qedcm;=I">5%0C>-~v)5 6bX|Uv3tr/dU,j ucͱ5'֕X̑Y=ML4N4/$(r$bT ^W,+EciRwJ?;M*Anm!Vb9Vj6{< )>>tGYj'&c)('zIc*!CxSe (wkJ:ugY/WKk v>V[}@ciNE)]x>ImܻNtAf@OksIE:}0E~1 pXh^X: 1=^l?*"Y*JWԁt@'&W,Y;2"ӈј~k~ANcvsj6Eӂ&tME3|e$G!K-s^QCge-ųێ$AB4\O"5Oʪ^Etyz⅗\^t#jv!zqQ$W'V_k3 ; OP}]Ma ]gbr׽.} dOHS5 v{=TBk ۭ0&YR6yI36 s@؏fh^z~kߴXUH'c$(MVq9K^5%-=s{=vלFjAl\EUsKՀ|}4l~8y"qqi#oܝM4H6᧽,m"6+'ˍF`{;S4CZyS]pW\cS3Ti;Fg7w$$Y #FIiK0*8CU>ߌdB,sʓ* UMč/\3l36$[HRMp21 %yJ~WI)QIPpR7'%[!i@24wۯ'#2#AΪ߾&hh-m C;FTCj}mtuxZo x%pu$nn@Z{JLݐR?#6,)[aϠG3K?{; V#.z>xK k4eG`GL,PU>x|6܋xFKtH~dTI# cYJ!u/ ! S MV~j"g;`aXQկ!q >*8dۤX,dVfSM=c!x?kxWfDv!%xcoYWHBƿ2KT(:éVe]kDqR%[BDH#GA0IapC-n7$u2'P)TalΟ0+|%etَfu lؗ6E%+j GwѯSg|ʞ$MTU_ b&S_ J"7Pa71_(֔$J aB+f5IǕȂ%wUamߛN^tk?U;^ Mu1<~pQvw}]q_:X.7/GrD>0-J1 x[^ X.d`!|wÛ?&Bi9rxO[+܅Y2Ch:oWt8ڣ$ 1e4pʆn쏒*%VOuƧmk;v *Gx9Ww%dw C9LTA9ϵ-Stvd9'0K[c!@94ᢇN E`L)ͼ|F}ZY>&.<?jDO-CjB@) l4޺mF?n|̝ve䰒lFGy:C4,@[rMS®;~:w@4˺u_Bz0zMVP$|'iyKX"~oD< )n ՃP-NJ89jW11"@nm*ZdN٧Ы/?135hi8<ԱcX=/3kGZV, HҨgnBMH{T$>]d0'| 뙩l`CSrBy giFC)|b7F ,MDƼs4؀K&wiE_"~]ȑ3+ Lj ^4X!j%*\J @?/]޷>RoBwەEСpCJTiSmyJRrɴ;JkQi=lxY[?#gr u!< Z$#l8Tle[+_AEP"HDdy4t{6¸foEխUpM]Hsǃ*ΉV+@jf=bֳ.^żˇVΟ7]=$si@O(2T/zJdf:XF@wZ)!X Ew*R0ǙoCCbUrℇS9Raՙ\V'Z=z9 sݔpJP; x1V_bZ%zOROfGB8=o3`.+cKǥysgA[9l?t@UɂPHP"9 zm~Z[ z>㶊E y~tKy*S:bv(zEӷ2c7Jp赬v >G' a5)Sb>!CJǽ=Q.tyj@88W7R %c, y37Ezm~ky;U @ /#[|W2%Ih@N`]aOyՃ3⨟V6m7hwVf-2݌EL;>%EJG_L1+X&"ŭȥaQv i&ȃ{]O\q\9Pt&FJ t#D!/|hh=BAvxsF&9˯jצ 9pnQx8pНR)W"x9,RomZSA ~:I)jsz6wU1瞻k>NjnD(a񘌬˿_"+j66@/<-3IآN#i8 Tbj= ]PYȳDgTmܱ܋aO~<mS(W >?v(Xk& C\ @t{]`'68 q \lJqPGߖ ƻB˥P58%;]{dz(!M,"a'\(g8~in BtҜIU(tf;"|4*3q! gʚwe.Wd+X3-&r//Yހ UF1 < 8_?74RM2-:' wa;8h BBBr`Xg,7[ ?3i]a 4oump4E ].@;x/Wl("aٸ}ma*t/;T1fI%?^*HE[+oE!=թ<_Dh:2U/;>-~~ĵYhdN͕,GS` rV.rz)"<<55:򈠔7@l!VImƕ9&giiwHK?zN,)o0i=|!^~>p/ ;j cӒBCNgtmց‡=ݨT@_m?PBo2q ~C3:Z){8 LKbv@4* @E) prP}ѴWOS+h<kD 2DJ:}cx Ϙ!dm,w.t6"XSt4Vk{80$1kS&{e=f`?3" ڼN7}[O۷:t]HTUqkc*O*Ļ@ x뜸GUm2*{Ixbo}s0cSmA1fY'X/LXr'އA~ba<]^8Bfu~aMMu !)oV`(h*N%{؝@4vGƅQ̓pWﲶ5'ȽNR ӷy`L\"=c/BַJ<Ǵ*|$K5{HOMI/%fl0UkXr%ܚO?;j1O}-$$SkA2Y}w8OmIni4Ues~K3Of)~;>7s%]oi)Ϲ.e=lyg@Z yJ+Ӳm1dSJ.xmr;zr=d(=/T;W#LTi.t 9=ߕ .Rׄ"ϨoR \U$oD/V=ƴ`hNU<V N(?leVb(/0JCc4bZANo8l/K׃, _묂:NdGsJQ/OUl,EReV$϶ԳP>ITa^XNSSt0Z檐G ~qe[Ofsdό_0),+mR_zӶ)X2svVSÿ?Ł--|1%^N8/HwΜ@Cy}1uvdr5Ea89Q毤oCPa:}cA^c?*$:/Ŭk5kBXBU!}&uoBM#V})q+6χйMoa뤶jRO`2w6.]9ZU¥|1%#~7op|?{ F!y~Z͑R ƋFYrKWH.sIZE+'Eh6 FpI`%!]O^#cc_x'М[Ey:nABQ~D1o1^ Nbr徢+JcY6g}^&fe2N|8YD0k"zMpVeGA-TBEs0VXbm2(,VC/R*uRk :PJj]ofFO]%%Xf^*hrx.~ :S\Hnp6+H'$LM_F&Q'EDЂyhs }罨u䮻gun:J`5^^c՘Wh5z0p G55mk7\xX"oJ}ҮI?6fs衎d}6}yt?2G$WݕbX#ZCw(FEpo9.Y;{&<Cbd߁p˦%h_)do^;wouTo .7P1rF<꼘I X-v#!iJ|2TM0f+ gQ[]fg3aǙ X*!v "QXX,}q@2牎a2G FqD^ect`q]zwDY=g/?;n;h4^i \cseVU7bVNP,GszyUoV1w7ZC> <ҽmڧ*BLQԈh/?-&ytTmpqDsbs" SBE+:烤VaHgG O2 !=ӫ&=k `TMcl9L=9B t r9i[8itOls.( ."a_Mygu_Gו1tj#hSVكj1V^דG;7Bm@#h?z6, W9CIꎌW io/,MB3m5E(/?yrnǜaBb%цʬJbDI}dYHg^m)5 S\P0`Sm 7"(^=] Ӓg7a;08<'zbo >ͪ>qɳT.ZP͖!e9bweZ_($x6̟(E+Maf&oh=Yt MUr{1.mwp@)V* 8O%"_r rJ'4U26]@Y:'Qq:b|k1 CYdY!wl(WPǰ/$3bb'rD=J Mpx|q^Y7t|g]kxž[З*K)\` $YnF&c)ҳ<+FR zsԙZ@6Ng30㯤сR߸/HDž`'fvpoγs7Ě9S~_] 7 -#(#]F"F!:mxv@L!XSpL fc_ ̬ć 91GGVI1%!`z8LupXqzO̼c0 }3Y5:?j&dsY(OW^倆-8?*,$gu FLuX2\Qπ*ʫV1 " _hA-UkHʢ؁jЧ=r0'OtL!h`$)҇_?zb7{r4$| 6"n&0j}152'}we3Y>淭Ub g,AP>a6nZp%o#@4 d_ ل7ж\QBbWtV'W⯠HEF vz{kNn4ZHm*Ծn<ʔ!nE9j95n5pV!޻g!kSAhHnC]$x藢jl; ?TUv2