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 HH %4l ]/]HOL-Analysis:threads=6elapsed=282.372cpu=1253.744gc=88.992factor=4.447zXZִF! @]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT:UϳMS-@Dب䨻8M֓~^ ΡxvCmij0}85lܗ~Z s O-TK"Wͦ}2@YJ}ǝ zE_ Qt΂Y8B מCm,󗰼S\\ܶmf tkFigF{߿n}m KUQF6JU:([&žTgom K'(%|ȁx%Nd02Es0 (&DrP6#|]53Yا#ð E J]W1XKt`x@m9x.;s \cߝ?axA ud4{ba0ȦD]Zdo|cZ[0X`6mDӿ,wI܂>飗"늓(qfSBWҵdbw|"n[w ^v/ OVIHb9!؜grVfoͺxKgy 'dGM[0Sm#6'g ؙ䡤-rn=Rl>.f[P54yAmʢFs`iOޞx8 4gc{w\ ĘYlՉ9_ȫ3r_ N~AÁ|&bXE b$.1u#Y_Μ3(]<1 }~ٜobtedG_ߕeWL:Hm~@8M\NKޮݦuދ lWwבQ\QT'PmNz9F9f=]eaߜQv;!T?ey>VPZD0aQzR4Vހք~ȞrNٌy+gQkM&/Mm%*ȻׅX4[|EtXv r"-#"bPNf``糘m嬋[ӵ6@?VT7E9e2PDDG'o@ߵD ka1+.ճBLak@1x mlVp8k8Ț 9YH Nl*hj5U/(PAP6,@13O] z„sHBhp(,>8> -˚%inW&;n!R49|k#=Z'sӼQv mfғlV`V߯Xi@< #5p:0vGdFLyhqF;L+!׾3lԛBlĄ*i3dؚ׷[ i5E,I4F`"} eFc=hXKOE2'V&bgs UUVlႻi"  q30_d,&`et s8ثD¢iº.sQr xs7Cnk*lowslfZL%>ޜ֢AiݶH` {|~)޴&=@Mfң"0ME)UF%y@n|r˞C!w vFXYXtFS:e"K/gtшǫ{+7q'~#tGcrǁLQKSz_eT^"U'A؃ QY'Vw* %si=|qߥ,o!MqDuy[37A'.wnJms+JZ>`.-Sv9+wS Yt Z\sgR-Hẏހf7Q%;]DVaC73`\ǸAuf. !Iڇ Mt|Y۩^*U5by:ђn^TnRs%s tbǠNM̙QPr!2]&u2m#XZIw=GyZ`Id9W:[Südo@r{ oR哏d wl-/N|`mx 2UWЉT׻4?[sE6)5o`>A*".}EN m"JW (;4 :_D-\BźgDgr*xHgpܨQDҊG[)Y;R5o7s6ay2 ͶF& }8|枇|4.`Qǥ_NU)Ҵ#TTߪҵ-cTSEZ\Tkߡx@#Bhľ:u 0*o+ % HOL-Analysis f[[Hz,uWH瘟.ۑd;1a ҃C  _=r\ߝl+q/S ]hD<×qqqn)lvQ"S5ؐ:i_z[PgHBJ[v;@oZDc$6sjyH`{X 4DN!>1ðj?&=TTVnHT}QM=(#DxGOtQ>BjaB-/P͒m}ŭ;vb1eu`l>o/Ag+Y>űZLͿR+aFI$ӂ*Zyil~}Ց.FIV߰Z1 +B4H4k:@`Ff ^[T{Qe>s\cyvkbs < UQN ʹ_ĀD 8B6ؖ#a4'Фi ic-,',R:`b݁mƣWs f2J$q:6JZcryS@>&OhPpeN&0ŞI߀@ͯnWWnS^` 1R8=ٔM@^~SN4I0L^zʌ&G{=r_kf mASI\>cV;cxXI/1dj5Mo{X򂖑({7z _TtN iܤ5FHܶT#%EuH`dL]+iHI%B-˄U؈$)?[!`9TJlٮeyQh-{+m`qTZI *%GdX T68y6*}:_Ŗ~5hZ\eXQ'1ߚ:Չ 4ٜ&:T(`M([RLyީpx@9ʼngyZ.7~ -q&eJ`Pǀ%ɗ!6܏n\x9thlmz -8 VG#bEl(#R2ɃXY5jى,E-^ ˥EڂV_1wnĈ. RW1zh >_%*_,*7l8R-PpLCn5>Db+# aϵ^('^n)M_u+µW !2FuR-, ݊ #Suԯj#=liEZr0E˫{q_nHtTzN NrmB2.1+}ZIz``mv FCd5[^jp/"+U?um(K:S}tDKG6Jm mB~ܳ^_oLaK{mdT. i#乹9FXN\Mǟ%hNHց۱ވa{GcUBm9iĤc2g7a%y7\ =j{T /xZǢRughAL%944T/l$o6SmCdaqz1D1ZDOi 5[a>utۮ!Q?$SVI,)ռܸ9|e5[0w'\;@V_#7rs4GKTƒ|m|iE)"LdKo1aQ1mmЊ"vQ6TB"Bh?y0WILć"䄀 Q*qKJo0YY7''.VnZOȲJ ̀rQr-V5< 0@xͭ(̠m';2~Qu؜f?Z$%2?lk٪pP01T\L>Zkghtzk{ 4MK[ !7(t1MSB>}ndLLZYwZ{ƭE:m0ξRY%.p zp^BJyo3;۵mgxQQcAA;ulyr&sC8T52,Gn6;QE儖Vwlձc`P):y',^v.dw=e{Nu6}ƛT+0gix ґ$ɱM{HhVx|ayooz#Z1P1+)V<߬Z=s#& 8;fbZ_%0Ys臻 tʱEgw\@~%X_sj7et2BKTtFT{7%W3={nd(]7I~69*IˉJvnGvΧ$ۂ0 d![=) *̩߶)X(j]IӀk^w;?mvΑK^GͿ(߲.c2N^LӗEed/!8bm!c║\,FE&ZyRJ|&4GC!&h."/r=Wp#`$.]*`Խ*d`TɁ\jmM RY`D]6F8qK u isk>Ll*Z:¸| a;AMW|33Dיhg$I\ c_4YbD3o4` Gvp3$;c2 <@8衄z.NrbZ9̚*k O%py0V! oGC4l{1FXWʤzr Y6k+Kd)fV5.-oc<0׾z^j6xGbss-{\];]LqZ!H/e%tSNob=%cݹQ9x\ ls~]4}SB-LhE<*s?{9ksx#eƌY*N>iԵ*BX͡a[@'ǐ3!6" Gаʏ2b `y_h/V)=F7c0Tɕf]CͰBY hfs~—:A  T("6zגXٺ=B+[H8p"V暒3uѯ6'nqJƖFT UR[Qj_#ktak*2Ow3 Տ7C~c_#o+t} ĘX xȜ"umSƅ^6/'pNPlHa2sN-@:!¶aK jd@'f(V=4m.Q_ZVJI \AQB?"xCE_U,1( <ڀ`ȔoyFVQ=LPxԈT$  Iǫt]*IiJ шI{ 5)Pl TQ?w/+όUZ焳3탔ض\>T&ti;#" u=CMכ_ D񎅤iw^V>|&q娌\-2qy_򠖃XYο!vt uPEr3H0wM.!=fc2 g]Q1S1_6 F +w<ֽ"zvg eGVR70ڽx/K5 k]u6ϨX9@%Pˍ\ۢM CkY&FUwsԂpV3@8O Ixv=ztDAet#̮o輗cJ;ߺ#$ڧ47mJ^ME8 QK(8/BNRo^$廗tQ'E̷@ڭ6­:̡>&^ķY8+p!vB! vZ(&^m;SuwcJ Ǻt)b|0Y6.hueY;'br]t PFNg0uK% %᤹gIn"|~%=|^3z: { Q.'H'B9O,wMeXo[ai6(g3N K^z }1ůA#+j|Ze/)Cуn{5+yL2Qx~ɏ;-jW!_*r^jmynr3 2Zk)!J"!ٷA61BZaj 8³q>,GsR6aTټPfy̛`pݝC!1.o1' {{enp(6<qt+*?+s0w=_F굎>jc]^X.`HD߭Y`?wşB3ҋ'U`.9P=KH>m4bDF7UN(3#)QN:nz: Ou1Z]Ԩؼ2c(GS U 6_O"C 2C*b%K1D(~܋Nq@žU)Zb܃?yh/P*9(`cX`Y0wwF 4G}$֯SX9&_MF甓giIL^yl MfKx8 :jSLPP4Zؼq`RSVȦ(}DwFW+^td@C)OM1vqܫ,C7-$i2nkP47LwoJ3yh*"zTlNTq_50<jxbP *bp\X>;yٖ 7{R'1):x:ތz~}dŠqŮmR)j"ab˫uyʰ~ Ƞ.S;4tz t~1}u(}8hs6TیwH`4/(^du؎\e|b'{ƚ~?j{ W;!KB1Dg _EDzr\cћxz3 ҫq=۽?,xGT+}0Rc =r 8|?g6[aN%wR I']:C_Mxr)zUe>ݸ 2%fd2'RDP,{tyˮ;jL:?T7q{qg>k'a9Fvh\D9hGBZ|>{v؛QS*Ivr2->/𑿅kU y9&qpj)w_V0B-vvDzs\6:3+*oV|())n۪?^ 8CQ@S)ȥiY(7c#"tΚ/:ڮo6ֶ"\qTG*7s<>X9wrl?(9?ʴ{{u|$9|{̋ dyxeĐ?Y?zw5& 2 Գwe \…Ygm̯1]n,DYYPlf`꧛d5'Ѫz`k> s iuN5cn‧ yIKchB.JӇapс6{/M>{ 8W]I*c' (gw7-G@;_5q} K NmM晱W0O1 \ ֕$S)S-W_Y {ִ'~%p}Pㅳ6ih̳Z9TXyXQ)PyG nf}j{B_,P+wn&/yxS}4mDWy^Y`R"AҲ m}[3@"T|ŷHlڽN,/y4+ց[mMg-l-۝h^`Ӆ^JG.Xg`<+-R LV@!tHrs/Zh8bVFrnl6}VNә6đl#?՞w^6iPGG ރpgŵVlT=oPqbQ;+!1ݒ(, `6o 9h) =4`6V-?IDj9T=Z3.|hHY^Y*楣bR@K@|[\p-|VN)MIMe"}%[L?BOzR!}MʦΫ`FAR/Snyg&M?+ H6+wCNxb%)1q(Tge>:"er-7>=& .3ső,`#/J]F&d۩Gݙjλ @gAJI;{gUXvN̑haCnB ÏpȞJWf6dۮ+R㤭؁]go [t( h"H>eF7 CAՌT8\4d iu 099D 2DeEc^MY0r)`Gc-e>7XҏJFS`&j (^SvW/?,H0aD^N8UnG48)lVtn^5 ck vʛiIG_/kNʵ+RsW,dBfQ-/ roXW͉m0ػqg@5"lK5ަi)g GF2o5ż37v=|H٧AMd Fjv-2,DjafU6Pot7y~B6E1gwm &BiﯶoHyr H+X%>(Aq^SР Z%?}&t)s{᭔.I|alOE=@+m.ffhGҥn!La:`TP#x|lKmkq̗•zZ.9uTsNf8ڹjճ.6({frTYx"b5 ^v//(SnҲ.7T Y'[O0-"Hm\oXFSVƜςyecl}:C` [#zG&B'(U D2g2ez΢8뗑.K~sRYXh8[;~#zGJDT"\~hhA'VfeAUt"pi)heloY"ПoVnU/vkkߵn^N) b#~EH|FOG9_E5fŜ/~8 i~EY:v%V ?qt_PDp ! M J;gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4ba''lÛ]@=[[Ţ@;  $K8TKu}I-v 2]0^q?r4zx+4f ۵8 }I!+O"Ͼ0q!i[MҠ]0T掮ݹ;jd} %@Od͗} d@b` \~呔W3jrv#5 W<{7PzrᵂrG{&j3c[:x?.Bm↫FK :ͼ9]E~磯CK k% =40|pve]|\ٻVRenѪw5F R֐7IyL>,^`떒!~EZCtUE{ZmTlCwKLHI8;hoF q04EJL5R)E h q&y6l]DVS98؃b`L]@5\lŋ X<b` U M$9d">z$ݹozgs kiXt-rMH^L'0Y\-ًWud&/{9Y9ٳ] shƯSŬ%``u{#AfC>l%}WT: R~T`(Y䏊bJs7 q@S_o%jC=@X|YP&j>H#|ắǦȩ]?z^tCv~K>'btr&8e c jk p'MÀj 8I|HR.(H,Xyޢ^+K~,9Ehlq;;*Ιqg<QuoZ*E͗5Ș:}{/GX4x} S o(PLܐj@ s:"{}ّLƜ,sm-Qh\4CtOe5 -] # B:0 k$jƚ +GZfLZJ/!޶{~C#)W ;ָP5U]$3|$BsdZa K } iާ;GNP{P(N0+u(e64 JpHzjNހf!Ra4"zm(|' (MfI7_A԰#AjP׋׀Lf]md(cGK==/%S/&gasis[jn`Dfw:SWz^%6yt+r莫)k!iX+dgN%*:NzHqO5STLGg?5`9jIW̳xe΋'֝e cu`S7sY'v[] H~{p gcZ  *;|͓ZAC@& Չ,v4_2b^@WfFSQcP2r!&#a1Ns~vTi v`n ӣ=_og* C nʍpf|s[?v&Mk)A8 vgYZ7zXZִF! T]ŗXi%90Ślۻ4}sv^ʱ]uZ7¬"y#UFظ~ϼZ~DP2H)Q@7PpU_&EO2 6d6K.;8?`ZȼDlHgQD4mI߼q]yqyۊB::z1`Vܚڝ^zE:0y^w'v a>`l1>ؒ?$@*SoqDDrWE5Iб{ YFm葳TsY -[۰&zm٫QU)tWAp^[*yrm쏿mzՂvW; .-i/v*h}B+VqR}@^2JZ%bA/v랍 gqzpQ_]NI&4 u3 ZbvY3\ Beu86*$ a>Tߠ(߈+\/rvKVmoFI]XFAc*Dx*O"NWcBϿG+nu;%l9UdE!Ox>뎨p[^ngr|%gr=f4R' @dEr/y Rzhwo]_Mv%9G ( H]3BLm/3C1sxnHL^KJ]|"3]Aʖ,6xl{ݗJѹdm9@3oYg 7#cm.-䑪 ?rچo-Sya H^ @:ցwJ8-,?v*dCCK_R`Ot)Jf&~3kDzƃcc3Odc{h5<#u 9͟hFbyHJ@7i+טdr:WfyDQ~!x֒"n+Gc\ȷZ "k*b5'ܼ4Czy˔$1a>T~j:.GZ@JdTTmnW6HCLvICufd- "e=e!J\M{ZtKs̝0;$[V0>Urݲ H745`r&{(iO6֯i)Yn' u{Ճ= -@@S[}ӱRIfr٩.l JBs˘nV%}p̎ݶ_Wx L~EMŚyUIw }35ڠ,i ;=+Oq+}qXg)T7Is\'8a@}P7k{6O!7'&./7\2@*琞ae *HF~c˭ڇ6VR>p"l*%RAGUT/LeS G,p0y,4~%Q'lRq6?F3>IUxR!G򀚜:p.ʊz_֡ȹ.N#3&[1y]N'E ~ϰ`$ud6C`f;4bQ!pk} 4+vaKATO%=׵sلyѵK AaLE$Qlj=ͫOe/LbiFYw=l3Co 3^FuHk'6i=g@Q(HmjSY}d_?uǧ!wDt0!kg;G;(wlQ=ɵﻩ=9f2r ߆Y8^! ! 5Áe`4[Dk&W47l a.4/dވ]2 N1H&b&Ztl;jp'/&kcgg-W96fG=\3H~Qjga>K=>wnJ Q5Ӏm5ȗ}?MJ>: ߷>|*fgK+2]cs;Llm󍒱)P3.E<8# iIKgaj$^\_"Ed1)Sh~iMg]+4N`9p!gG_*L1t twb={ F~G\̢XUS_yF&VðFv1UEѰ*T>z‹&D34_mt=k^E1eE^`CsN-)xpDu󬎝6崑8QaD6Qﰡ:tJђwW20iygJ'Oxhb\zp?ހ EB9AN0[̸cM:DL:KLp~/Ƙ"J(\̰(HSax kmEK<\(I׫;vX2h~pC`6FTOwM]o/הZzjEԼytp(UD>JVl@(&{&g0y1wCsT^0VR?0 gN0f#>ϰwkAz܊ <i mSFb$K]^:Ch HB깎zYrhJCGۍ'Ο qmrmkH$: η[Wb$3D_{Q8D^&sB*51Cwϰ-CoS,RAôa2@= dcS =j }˔TsPJMi0<ᯓ>5eE:dI~?;PTEs1D%Dy4 xA/1>$pK^ an5ɮ>KV7L՝H"GݯN ,7#ٮ :,|uQLM3*HTZ2l2"a'ѴXcyŴd7ƴs4>*xOMA!-` 2kz2YE13k_UEnr| &'W|dE׬wPΝY9!sIzF6-Ab(!VL'ӴjK_5D_ȦxT שXX uЛG }fTOTa18C`oU9.X8#Ǐ2G60TeĤf;B)&u1@@*xH6`|gҁ_E {A8/EXL}-/c?P `B-*{Pc: -s/ᡊ^[oi(futT QAFZG; 8iBb{]]̮i AS*jARaN7; )w/zs L3>JSԙ^mC'D,LHlCuDB4b"._֗$tc+tzօڮ-SYGuˬOXRk%lg%|h-/eK!ߎr@kto%Ōh;$iYXg`3:*ת{5_xwޥ֌@ d/=C#ZNk! 6N7[hZ(*슥SXوe>rB!lVkP< Y%+ci{BfzeA "]Sn/phlm= }eJgfQ@Bfv]^4۲D= VBͪƉbp3aXtup++z#B~-G˝.C+.5Hxk*jyCUT B(l~2=-R2O1s)R,KYDYT4nY*b5tp2ु5~{ϖ'=3Uڿ܂M2`ykX;;Z=Mu tF ԛ(9*ޑuoruɶOJ&Ą`184TԜY_fW>@xX|9 ^hp&]7\r,VMҕo|8̔ hy֑ 0I|9PW 91eFD,\R~z1Lp+"Sts48p1f4oҙ /}0cz(l0~XEJ!|xj=4A^5G HYp\~ﲓ`Kx4]Iw\A>I+8J0 0x?| lV,'bD{k9hjucQpG lB5LK#I#x2. Θbm@45SnG'g Rȩ9eGYnemڽUMp/ sɣu: oл֟ѹ8د5K]SA7o9 M|]Ą:M}5nC 233pMxڽO _ LDYԂw Zn,(wR'z\?9HHNs]-Q7l tKɵۄU9/UųJIN ɸiɁXcă+e&F+\g=YycX LFB m4dpvW!R=}q-ګ~r${+;fšE;qC6]zCjp̕4MF>"jHhlpzF&T l?wT_nE<%0B\HL>e"[MO{ #5<&JnGP3R4Pmr#*&1cCC-ؾ-M%˝*w1C)VPj 8_swc'M>t;5kAM}'z* ô2x_5KYt ׬+'|rqVExS7S3RH4~kCS )UDڸu*pXBulicyrڊR@eے[0ˢ\$ h >e j}ց^ʝ`IKpZcN3XEŢ&iZ?[)__4,'2㱫 )G{`J 9\Vr!5shen6y,tD A|O(/¢]KX!uS4XSIr0Ӊb+h]U ].E!F.,&P-=%uV-X5AwXx.}=02Vy$d <k#uJh) 'Up$bs QX=0y $m )b^+Ja\aҽj%0tUTF;;MF98%?g8j>@?%ԙ{4$9˞ -6k%(̫sRJٹ[#nbu-Zf'cO/K}/5;@Wff+KZϠ}!%Xj-}uhTqm, XJ]XM_t 9VKF31Me mݧجP62n% &ڣWe=v߫٩ic],x9]~9Wu9ab4+2p!?"ۡ '̸t0B곻+伆y+7Z?M䫩":vj LTA}BlX $; Q:E29_W*«47uE,S$3i[G agE?ubq%AP[xN.r96 3`.'){4)<56v^n^(d KI-Hx%=|q5y:,.,$ whv{]*OPV({ѰV9b3,֝HԼJ!boc2Ϡ(tl/iS}1v}4׼ͦ|蟧b ߲ )L&4= 6!wɵ[FRtX`u! aHy=Bt/z,LKsafCS oMJ3ZTpmO0wNэZP ^\9 *o)~:%vV_FhOӨs~G9kľfA̩,#52{$cK p1!; j^Q)bDPmruҐ1|S׽hbܬ /38ٓ[E賿cqrQ I5V%@M@!ͦAUo[@&l 2AϜ;/nbCSր߽'ToܯD%@ͮ.ebl+%` B/"Kă#ŀ̍65Ir448Qr2ضd[,VBGBQkpH/>!7˰ܵul- :^TeaLT~o_Ajf+0pΖm*sOJvOE`U2 )"Ch%eԙM =EԦ;)%[60G*hX'fRNW\N8vlJ6(d9˴꯶s+:1^_[Pt0l@#9\ [MnScӧxuU[vsj,7;]pWL@pMuUeOLԛ_}O ,RP#4'k*p#>yu:˖8|R [Xq1bea6Vh,5Ӣul :Kϕ7Rc~t'0\& iwf6@'rڥsK;$6~F#Z̅0iBk{EYKObsw[i{HLa y?wY5O0VŖлňnM}G߫S#Y=5Un>gr h;XpXc.Q3E_v0Xf/0uEne), *8a 0]ӾI[ݛSPյJ5sK쪤PDEZWjym9>׺+"6q^W;MG#?q9=AQk:] ~_RΎ^"!ũcI};yǎ@ew7wt]Ѭ9|Ԉ 9'c<iyHpIR)qF}1IB*I[~N62Ֆi3;)OJ"TaF-LE7ěWѥӯ6yhuvH@ֹ.COEl:߰{D:؇Gz.,24DX;D;e]<{1`7]dϛ$d ζzMH.a]E! C׌=X.}>`S*JŃhm&FMJV"zp~2`]剰S>Cj RR@zuq;.P>!5Ti^_~kϟIv>h;hЃ@8<˛.hэ+sEƋށwJ(VHNM(2XG靫Y5.8 %NB4nZBX+([@ߵ/Сc6?,Ϡ#@gYU@J y%B-AyQ+IEfl~Tx/Tb˒joJ`SrG gy7cER! [pMFX'Q=(p֒nwz`mt."25ݺ4y]\L<` 0#BяM =)2Tsbsh;`SŐ\+A9u7c.xuMqWS;`2W~';I,M-`>7vlE~j{`$upZx'6[L!Xs #z""&| 綿헯?L MyЀ.IO5iO[$az @ Z[AhmnKǫcT3XOYnq*S qb¼p'Ψfݷ8 9ʵ0#( *kgjҀ'Į<SjAb:1FҡNI1/N8Q:" $=( }p3amim^xzq=̚2Ho.9y l̛i}WN,`}rjBs9.78-LA0k"AWph] eݞNY+emYY798Bq|GD? >.'6o8>%ȹc?p w"fQL"yh,*7Az~VdS2YQUsQEvYI?ԛpX,< εB/,}9oB~f)}~Sc-ŪɍHUŚ\8,(-!$p$zVasCHxǩm Pb!_/\0ك L(3=>ػ#%!FZD؅+C}]MZH"L?AG`QetfNyOg\  ;9Ay\L [9E;{5#mh 唠_'Pp2'b(@KػL4j$yɤXca[u |8D,a\V_3TX 8`%u웪EEP\(8+;[1T::}x3w/")vmhkhaw>RjNv1o\6Hx WLYn :{}FcTJ6s+3[Q`vtDㅻcBz YiDZ gªqq @ c!%\̏X*suӗi |_Mq 1~-8JBc߼quN\:ωoj".+r:R_;[ǂw#H܃]vȞט ٙ8xI79aw΍ܼynj‹c _;(ȡhTi%+e@1 SLMAZq{c"z%h^?np;QrK]# 1+TvbYM 2"tE>VnyW[Jz ]i؍8KB<19:%i+\܉ݹoGTB.,!F6|*>]oorJ[A^Z819yQԋZ5E11 gOBm{d6VZ(F2'Ǒ( EmR Ic뒵܎)rT@Q|8rS,?paYLqXc:kPމ|ri&m[L¼[B&ΰ![jq(Y6j09R] bMelH+DX4^Ѕڧ7eKޖsLt R^W4]dB)Q *{hУ7Oa2CuAMi6Qy51e|>YIԳ=Ha42e0T40씤]<XQRW&XfLKU̳sg% |}=X5AY!~iӊ틊鳉6uwg/> רj&,QyC?u4x㢾4 :W 4.oH<gK?2u]/\ `|^BiIY O滕M`2S',vgXS&6#U H":@SKp3lr|4i@w;2zns +XTs<(XeEj5^"+4Nj%*q! G&m|܉@ o+fow-*b7ƹP@Y.4Oo+E-B+gMkaDqD[al |+9LK^D]IEG=֦ʗ?Jpl#9%FcgtAWa}QrڢlG/4iRLj ji֟G=mwus\r ު-J-4n̕%6,~VMze%:e<ܣ៰2*EWwowhjaXAXe4b$T6$)?kcm`4{B:N"sR;`FCA!P]džAwS=U63`~mj*v,JI,MH-DGNK5! ?EۇeΓJ9@"Yk[ ]qH)pg@Qf浸}w 1iӜ̶eI(F;+k-E- Gx*LXˆo-${ t`ÌE K!zB7!x^<|@.m@7_/\RFy-eiߗ8?f6ϜPǽ%bw1kP}t*X4|䴹Փ;a\-a3#xNvNnUgT( ` J?O몳 bfXy/b'1QohXWD]oeS!pJg7+%~GT6x\"y5ՈuL=CM(xi-FDHe O>Kw ^zt 5//:L]mLvvaI6^TC+LJ+Ņ o5Qt@z-MCC\`xGD$洝p}fa]!&D]v4ɐO/,(Q VG7(QԐr=atd7q# .*^#x2r`Q5Tmoع[8bqhvx=- #|YSK秬,:gB;jll#T/X8JͷS<]@'P2 3\C "1 ; s;`Wc z8ls`VV~<y3Zi(4Ӝ+d ɂ_,^hL۠E&ThnhC̆&*^`<5,}˴$T׹G8bΒ^󙪣$_Sil&}>1]t%nl=s>-T&K6[8]*%3DztV+2}g 6yS+oBz`yPBp?\EZlZGk˷1n7;'5L'CV?7 YpWڃќxJ4穱 _Ǹ\}[sC ҈f\g cB1&>#ejG5.9{l^nC᮵QS51Wmf ;ߋO܂Jbtc۽el>4`qson"40VZJT};S8&l!(Yddr&%pfT22>@yEj] j3${v&[w('Fyܮmýi3B.> 㒼d14V5N4{2m3sܴY/H*R]%3dͣ&nz-uޙܣ\}huDNKj١*J6+$=t*tTBoevoMEXS'HgԾ =CӬK ==*!% pК^`y mrx46@:zofd l72$jՏȘe,0:/]{x"Hh1` ];XQd[NzG5.%' + I6ex?-Aex)L'@=oEzN2&]x R*zpO٢[}T Pi.ؕEOi›Zе^s"}xGO v"~鮳!+:n]5i#{;QwvFRwwaGS}e! Wǫ-]jS(SX;uFPYb++g.$nmA"F37)zzuS1`O|ꀎ g+`(&GF,jpW_cIif̔"pr.4&`IZ~z˚d2Aݖ6D WjA}=7kB\-,- ۛ3s{Wh>X=j\ e(!8h(64  o[I d<4 Fċ@ȗL<  *Ȋ A54!j%YQ#S[:8`!CJw ej%<{ >G!]s4Qy0֢@JL߮O$ۤHx]>^B̰@5Mq2gep+0.NfmL8b0ymt/Iںeʉhwl`+ͳKRП{拞ƵF2Ô>Wpɪ܈k6^dU(<^yXPOC[lm?dʅcuCǿ_|f_Li ͓Puc{= lGP~oX~p(1i>s?=H]֨UM!YHρ*%P {oN 3M˒߷;2%"X89X˖6Oqۃ6TLx׉Fk$w3U@*]hXEM\VLm+{Z~Y$C&b*6K9R|w\;8 ʺ.Dn F) lor#0&!Y?&錜rcV ;C<9gQS5lyLήU7:0&f筌!#]<+[} `5vgfF&ea%S\Β*GH5V3!`Uth;ro#}J<5oU`pKQ'p'n; i2g3;>Yܱ 0W9/afT."r 9.wNޜ{=>At2S%\iZ#N3w<-ua[<jfK${/)\ m?cuNSt?H|T HP ov{\V9I;ݷ­K @5'gdzi.y\u[\O3 GKsD볣EѲd B%GH JP*duF/CmC ЉGw=>*XD5=#!i:(Ӵ DhWɊUY"\ s Kvh'o]&Qwl? U8$q3BuJ:0 G"3ŻPnj$nNLVMyF*ɐ%qCnY1 $ af}gYWNy8ܢ%ܯ= K($n$ @X}uz(~|LCi2}i5럂 Dܩ/{ϗT:yd,9]Ήwi)'PIu>p7ؓAߚ >jy?WW8@3J nֽ C[!7YD0|yfT *`9Sv[;5'-:9ax~ݖ$k3A{ '*N m.=U©VN0S9KM5$߮)Mf˟HѤC6WCy=*;L}uOhJˀP@eW-X,]Xj\:7IFS=B4bg~^V?p9d҈UL.l=hC3X;aB@]eZ6ݏXr>ZKEѼx݇ yMF&;"spJShe3P^_6Lt{mG wW,fYoao5hhbpM Z08?@ik c"dh?G(@g1AL 8B"{ׄ`]D^-u%yjkա|>КkS1βuU͗_č7M5^d؊P证3Y!x0-tGG| |fd0=8ĺ}F>c$4[&?2 b\cߒ=&:?( L幄_/{dH] 2to/ZA?4٬2DdUŮ h]>t*<$Ӵ<+w)hM4ѪP8`PrNfY%0'y\a8 L-_Fi҉`gllU.@qJ+">^@ }ʞlFp1*iY~Ke M|M'?DD_nH:I!,$'D#8RKFWHVIn`K+$5"ݾ~r!WYjoZg[TK[D$JC#WPt!* |w+[qt6Pr> D4 Qr}~S (ھJ;1 4aSկM4A},HhW+>@Mn8L67ҭTl}!HN8ηp/N H\!2?'A*~01`(<4qറo4hPSW* *j|%Il`[y8yv*էt؆ԛ ,mwr xfĂffK"H$P=M>Pj2@x`L4럭ufr⣀A8~7$9Q8icQŔ6M$gpƫZH^S5db[椃QrԊߗ6`ˀ6nS$k@Ȕmn"F=LczPi\*S4.) >82zA/R{^>KV=^E~ M=O*(ۨԖ5l;h2ӂb/5\[?Ƞ`V9M5>F%/4>H׸-NQK*V36KᄍëV W~Zn)B>z8E*wNþ\FI4!hHH2T2Zc+HRѰ%bhҶE{JS5>9nhq6!<`RН#w7|CznW0WlF4oNcT3b ldaeZ= @ ڒw2X}N2JώɕZ]^{t6k(^kQ㰂O9 ̘:!Ը ?zPf>?ȗ$ ־qZe)s{ipOow(@ޖx}JߵL)qhsWkʫ4/ފam \s[+s~+\fD@XdtC~KPu8{D( =$fF ǰEOY`ՕVy|(vpkK20.~o;O@idj PtWSTQXAlxzwt̔ -ޠT%B ZHp˟ *#$Y =)x][=8( l%pH>A@'bs0ZWx8 c'GR:c>u:!d@{t5)) IҾ U҆bfQY(r*iZI5S{7?WB ̬{10jLg+aoQv% &2Q21Tdj@;\-ٿ%]R RQMzVC7:x¹_HܔϚVVؖ O5{K7m\ :oK[riqP:'NVt<Ewb &ת1ֈ|vCdquBS?G]vݲAxz2%OoGMuӝ6Y4/u?>1̟ p-`VPx˜T"qbHdI܂i[G[Qƨiqҟ&e<ƱiMyHP2X$S˂4_yq,Qhq6'cΜBA@U"Zkw=Y(݃K;\%at Q$=“|<:Qs`LcG@ ? VU lWm[y{x+M?lx߇wE\?' -0)!3 Y d'g-B-L'r9y1l*UWs Cs%q )ͬ SOiA<,?R&G\OAZEs-%