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=705.996cpu=1731.452gc=225.568factor=2.457zXZִF! =F]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^5MBU}M$f^elB`ѹ{+%#LmWs.S)*#C2sJ[DA- S9oHH'!~)',@?I+&ԜG*zP[Uc*<$K*H$˨hh.#l_-]kbZNdk_reKfDMN͘ds$ CnowUu괫:) CZ&)7˕JǛEYcHB}>r?eJvDϭ 4)4=!=zQ?!펢}QexLt3|)8]+в.0"?>ErǬ +y5 0Lav@.ЇC|8MxULUB}Է;w_c@J)!B{g+W^T *V({J^?us<&/W@^v= geE`һPagrjq ꛯ3$^#<|cDG !QIZL<l %@ÇYLJjM9=qގvSҨFrbE/ ; &;?|O$f۬b֩ދ=[htv[zuLߙ~;Cd77L .uf&7]~pi#?܁||I]'pR՞Y!l&; mq6FIgdffNTj2yi5"Ȗ*:VV66?+B hMfzGiD[o>IAjN8l >&͗]2)o"€?KM%o@ I7o%VױVW=x= +<4r1/I6%%I *Gn~l+]-J)ct*4FuT'1X?0\P0i]=hĖHv|F } c\K>bδ]XfJoE:w͛`(D-w/_y\.ZϷFlP7b%j7B$Y:?ƺ I"dӅI8C!R'5ܔt*wA ~cV8& .@GCj-H:V,.Z"eng",9)BB^ɁcI(G:&Bu!3၁=Ltyt|nKߣ!>H-="E+0+KYD6< JG=8T0\mn o2%\C\{R!(8Rip pq*pB"֦: xci]=CͰ͆e^J~vm:fu5_&#mPYU^Tu7\ǭ.9*(\!R]X_Šh>y=56s <' ϳӛ|$,_D#>BOT .Gc#!x@N=|ɹ ]y`ȣ덢<ٜt7*[$Aa%N?8Ο@zk4Klx뫙OX N#Ci0 W!fjĊ^4YŽs^Io)vΤo(s;gXꛛ"t ?* _iX9GR3 5\9ÂR.KaRrҒm7%g#4hLcfb-4ױ?]u?!faĺLr9^,Cf"@5"Q!@kCf[R8Q_ցKm,GzZKѴ mbUtx,s\9RŃz`@+ 9bClʅG! bd{.i}v0#r5^[ѹɻ_.E_;l N=k/U6IJtvO 'PP=XbU=1$72 h돚#j%]O˶)r|4{e`IC T*t?u9qġ)'R;Q} xY*!:(,f4qr/ō{ߥ?9VTi_+Ӂ ]q?埠_uI&2/_..$ /9gpio9[f+x ] ,t SC$VCe$ҫRXD{i}v,axjb җ9 Ew^:Zʐm^t#J$vݭ*} 7@5x$ :F"62^q GyeLRԐ] pN@ekIk%Ј'&Ѻ5AS#*K7-$8[r7[M5WLkR(g+= j7_p:Gp\7UhH;[ق ̫^k`T4ERŃsi>ph}:+y :ղX`C_Soby$7p؝ɲᎶH{OT3Gp~ }a`;4+GЩU~KDW\(5F5v0_X瀂%؍ƜsUP(0`Fwkv|ʴKNbaء{InhLajE0Rq3Gs(s^2 1orYs07)@PM.{81ɍΚ jE[>:|bک9EVAAxqH2nȴBz9 3 —ʕ%q6ӣ'#OڬhPYy2 'wˏwzsp&4LfѠ&?/_Y8i->G8LjF Yfxqة'{ r~ uف  l?~v5L17G}B4| vL&cX w:b v(uW]ϑm /3y ,v$G\fDz}rHKqs(lW2+G}/{#RJiʀ8Y#WA?¨%q/e2ՠ[Ba7ʤ1{n;LXLFIi^C[!̓kv6e;4vvfaΊAnsX[Io ٓGM r9ݎ;袯v3~ԅE܅Md]SW dnK"vK/l1A莂n/ 4Beqٞlnj#x&VMI}ĭF.9h!v=BLQ['ZgQ݅=30ŤJ쑳]%X_Wkc[ %o4FE$յMd)2PJmlԉe'C]Z`.eB@5xd&lC'DY1}| [,V{,6Kᡵ6kd] uh #X/TZhpٓ,,H^Vը0O8;.7I3LH x9xDP E|ՇA<"x?';eDA@-;aVrX,Sܨr͜@< ΁Po?cVך,EH:^{P"H▇3~ń!X贺0k}ajHʁtur&~8ArWEM!!*XL/2M-,٧`Qr}gxΒL)v(Iڜ0Uڴ"sbIJCP 'H$ھO5<.QЭ_?~ OXe+2(!nMKۇdVǕ~?.fkjּxI~*u_cN p2e&FcLX/VҕteD܉7CvGu?K!ISt1 y\Y+|+G36.kDa(L9vqzLrM pVPMHnd g3uu̡I\mt!sxcT=*8XdBI@R>  Ƀ"Tg3rћx&uC8{ 3.&*%TUk F2鬗@ s Ty{u)cҋ-؞J 4SOt+9Pw q8@16d:hO5uY)Џ{J PTd}V| Ë2SgGOO}K Autz7yR.y%avg U^-a} ,~fug~NE d$p̲þ/Ǽ%°{viwb2%cL;0RƝnozKZ)u`7U"( ߠ9IJn;8Z8``GjD_FC(萺)({28ZHRPӇxb}Y0Q-izuÖ-N6Ix.m:axk9[ gQLsu>ʩ§H1v/疦~xrWX74~A2cl#͂ۦ0BfKiK#,"[#W+oT䡹=z&qhg#aP, 9Z/L m ?\Dj_)Ş#oξѸQl_)}ˣ$7"L'/=##(lZV?=m$CUzDLnJ#d%G4_J`,׉a8n,/t#> 8px`IBr WFt0*>WC']wC{ONUk?P͡p}HIm{DYFTHZU _6Dɻ >2g'1߹Bٯ4C:IPBd-4SRP"Z /6R/i`aSE[Wp{uӫ}=xe$V(p}靈"X :Wg=v}Sqw.G6=21fiGfg6^^K ~6m;݅^i6΂y 2ȱgYZ7zXZִF! &]ŗXi%96.{D8=~wA0^?NI>PO 28(_Q'옺qwGDUSܱ*L bf~=k523cԆa7d;uK:_X|bO#qw2s6A*d,yBDZw |G< ?O.YnF32o_$#ԛZ{ ]2h\j47tvv^10ȩ ]$}/M\ Ԅe~ߵ27^"& ձV#)8‘lsZy= 1H(zZ56*aod|z4ll؏D kgW tWRj fXш|[oMW[O /{9= \&0I_>nq^Y|;#{% {g5Z XeIq.&,Cߕ7LKFc\ިnTglj9|kr gu, R,.jY(_: Z'F=b:A|lySA܏+ YVR])w"j%P K7 HӺxÍ)B=r^I#W7KߜV V-=9Qc\Q@ۺMʤit5@sʔNow=7|l]j JvƛxYd]X gݬؓR}k53XSVaqث '(=-O}1!|Y uunnfBd7mGF_@*c $J01᳠hYh{f ߮k"G|ۼS0NuLڵ1y̾}n%RxiC?V,qB=MpSa_)a,}˝6(>2i#Ewp@H` ֓^F>R;ug~I88y%%Omk;ȭ~DΕ7k$ Cjjv"T>5U,:Nۮl^(tX G3ˇ< ho>}͆!*F'cy$"Y[omlRT$uvvz&޺Ȣ6!6k.Dˤ|d^U5bF wȡKըy܌DfrR Ϳ4? lװʡn_mwR] -AljMuڳdMmۦm%awiJ\.3# aC}znì3^7׌pK5eX&x'h ,wաgR4)ו^c0*fhFҀ+Z4\8^3WUKiCG=ЩÀ<)"u]P mTO*'398mV9߰PۡFh0'QYգ]$=f՚3B4PN4J@WY$VN?'*B6mhDK'{h~z!~ZS:4WP6ʥ1hFyi#<~yll,-_I n{N~lYm!p?Uo=~#߆~Ð^$K]Xyǖʇ<[ %4jD802|~dm8cƔUDR˙鲫u8瓾cXt?&ݪG> '2H]=<)tto;tBd3j0.u?"6,Q4VcJj {̾:Tc46pȳډ6پ/ͣl9v 5agMrcFr{Хh=>A>a:: Pܽ꒏]?;y`SE*ĕglQt_r2H:SN/Vp2 XUVcmni)T n\pzJ/Ҡ,4p4L o_(am4Պ$}TON `a;vuC`DBʿkngWw'jwpZQΚw<Ō[KP{ȯx0v ^۳Eý^xtp:p!7'$p]O^2SK2kЄA8*D\Dgv 8^8\ cG;z5?N0T, J``iyh!LcZ0FjPmYMS+bȚFd'vXaVGA_8֚*]jם{$mKlS툨k拊a`t &Hۘs _݃sEAbI~)IEHv ;8J I[L%k}Vy 4tb;P* 66>0C-!gv9$uG{ Pbl_~e3ޑP#x?mO! "ʸ2> RqV0U{FLk+d@n5ho*-hT>e}/vW IR{.y\~&x^67 H̛1ZsH C iN;O0ՌN ,Rr]iCo͋*(F!yyzg .- [>%_  n`#Evk@)76* ;&;.Pxx|Dd Jdav3")hƛN#ף놴f*yߩR!oXqVj)%x?ԍFF5w-B\d)(5 EPuv!J6c]' }0WBÌL f}G/_ch*w.Z;[30mM+r9x@ MUDwֲ D c(`Io't?ХTz>WIAJM` 6miPo`>|ܲ ݭ|e B)-ֱ5=|\\&,ѸdQ/4O#aCk 4թc~ZX#CA EMTwG#H_78TUmN{BbIJxח.5_ fuxgH K _rRE"'3\v6¾Pa퉚$=۬(IT*>Ŀ,z(nz4(XˆZFj’=D-رQ^F? 3ךGȀsgt%*VsHys-(Phi$ )59-,,|juU5H#ofiTY͓i"|ֺ귐/zI?z ;Ҡ tr /ZU Nh}fzBZrtrGd,?; r`nB^`]ͥQ/ \7ư@\P8Iz{ GXȷUn?.uj5:u4[M|Bfq:T-j/RQG+Bʖa<SqL#CP1|9 +9 _tSC"$'sfLll)l̦;w37 ?Kkσ!#X̣#Hvl5&}*r)PĀ!Ȇ~ZV&Kiv.tQ_S"~%8By,̷vli|OZ;~= #I.Kt2*ڬ8ew9M-2:d('"+y}=G뻱<ҽs{;}q&Tw_gU *।\K S|,'"0hrk}]2 ]J٤~nx,(d3rVe &/㥯1U*$P%*0pDtT|_l[Lq8N>F5KuFn]sV{-=;UJ> ACs=5uΔU+O9Y`\DT}c.',G^pdžP/zw_AFc:G9Q T0^9OgF<*/Ƣ;%Q%NɅ;Sy+krpBh~I^D՚6` O4+vK)#q}v z>uKfx?iJEzߺR) g[ܥ<' h=8‹EW.R-Z>Xц1tⳭ(SszpR$DP@oJddA&Gy|_/6Ccᓆ ی*{&(9"s̺"gGh},qDOSwj>e8\.,sLH^erRw_5JG _cI縣JM6;Li^Oi("Ez *xcQ^F0YIXA4HwYX bQEQh;ޒخͷٍ"4Pi0A :N3dOȱJb.תECe 槍JŪ8Q+wc4lI/VݐBwFV3 ;}'X)g$1Z|X#8kU;Ƭ|x4OR P6>\ :CKܒ=O_9{73lNCKV)#pIGu$B;<4JU! j\i0ˍ ÏZ˚|#_#(԰5):5QUbhW]nFx0[55V.}'Q0Sy,ٻX腇"և/9bq%Zjd+X:2MVw|$t?2 p NO% W%sq0aMx( 2rd|E|\5Iy Npu+U̼ƫ (ih3lJ+*~ vyxLsJX&rةq/9|U])RzPcț.vu׸8uF?wʮ8. , .H>_} ~u2 urmU&C39 q2X|F@ i5j)8ֆ@Bp{-gxЗFKtZn{BLӤ<ғ)WuI(o;[{7U; T3Tˉ,q5t0tYx> z'BVcn;XrPGf'\}fv7>-atVlq@:ʂJ[4P PNskݩJ?GBP]擏έZ$(J}<b}AĉvaʡkYB0| K7Iea'՘Bz"Q+KP6qh[dq0SaL8ӹ' !T?>?=ڠq*!c>D0;dg\Iĕǝc.+g%.9OEK0ZX66Ca^HiԮIk!D(OQSF7Id \a9fZxwxd]<*!iM6s5:#:2y64;*.ӐR1\x'^AvN 2{6[QdX:~s@{xL/y#+α fNB}"M2) pģINl/ϴ>8wN*_"UKi3.!?)Hmحӽ4OFabRy(3FtyG !kx^[\+#b^=v~=~nH =~)?uv63JkRZ\[GuәPq;8.g#!V KXz,(ݥhb}q#̯"37T i@yF\xӘ7AOA[lKeZ\o;-a튥X:pf%ʣ "/B΄"}zLDqu78LZG׫ua2͟ubW+{h:эl`yeq$кH//OeS )zoөB[b[{EJ4,YҚ m3Tph붬%|uяC `"AG/ERՊNn4҈>},ad\6`o eT?ʉuF=T~T84R %O?|3 5@}Ʊ}WY$jBb7K};Szv Sȼ$w!.IBq#:6k5=7]s4:m]z1) )1z!Ƙ3N'q)cAS$e>= |dI|FB#M_dY0q狐`"DhH東؇bvzrijȔ2R⥡?:ljtvD<𥉉Ic/vH@ÀQ4Tit:Py諫\L5"+o召ZAu;Wh'n`]5P #$ 67-0H.*Dh(k;[YM\M|U¥Jb BYJZoYZ$gzY~c#f_±lӟY㇐13j0GCoPv+vpZ^q _-` q{frB(Yjs#I֦\ݒNh{KTc$6Q}bc5hWihs4R_2LB4W\Zjfyr&Q9xq 9-Ic#cIn.&iŅFM9D:iGڰVH:䯒*V *D$e_JV?[w=ap*O]~+mx*oޢWhcF( P?Mg"rlzǪaMR oE#Lvv}Nz%`~T3gh'} wvgr`{< F R |mŸsqMcԸ.KJ>beg-C|F lvFȷÖ-l-IaKPf.xAR6dLӡv̶ztTYm#e2Vk^aJپ\BSTHJ<VYzD]^G]nk}zYS2vdcB%Gk}MS+ޟo`h:MsJ豏65AoըvZb|5< eM͂vLD[/ /F)4aKIl_9L|AWyB1D{3 u~)'] tI $i pP;c9y>8 ߂$ Bd&|\hF" = [blBnj0w] ! Z$A}BIYf\@N`mԜ=^ì2tTxՇ|.4,yՕ_O:g)r?)`;m5R]qta51o''aը{_\&:mFqmjEWo:53346x'hwJd*W ="XT-Ԟ83 'cl=cB&mYnZԝlp4N">Fl7MZҍR4i/3:)zIWjl,TD Ro{ q싡1ՑP)[VOIРgj{L-f|u:kb>;u΢/YI" ;}(EthQ_jJJ&3$n~s6`}0a]'[e6ӞsX/_ymUDciqZox;J"Ϙc_b7܄eŧUϠLmZ=E9(q#hBJv ěw!6v[ׅkQp>Lwljw.z*B aDGAa:I!C:LxPMݤ7uEvuRdh!;EN>|bɡD-;>i׳6ctJ\~ɓ/! ϱ{C{_rYPrM9B 5| ݟadz2ӬUm7>SRr\3mByc2q|AFxG,`-ǠsTAkxاq~[vjo(녬l.`m`o0':BI4da3s0 wC!}v&%ل K2-ϔbSĉ/LQpFQw_q5*Ϸvu_ڵxyc-{T7YZO:V &F᳼u#%+%0u-r]8$܅w̱yʬANBCɒ|~bl{8@"yEZ<<ڙw傱 grT޷z[n8S"f wN~ >wʟ' T`U5DWk:]\c+Xaը#a֙€R Лؾ1~qv"!luEI=N+Ad^^-T?ť ۂSQw|`b請-_ifYt`CGɼ[!;PJ?=d_ִ]^pK/T{h{c1PU[f#XWvwkSgޝ81> `y% |ENya:E!uwQwhWC(rC6AwdӫiKvUovD-R>P{u3F%{i5#0C]J';ֈ՝Li%M{Jf4>·y$x|KB9dKipV2qgu<7Au)>*8l"XTȀ.lVSom__f-8VSuKa/>+FԟI;HGa1>:<`5[( VOMVsxūIzd.S@N"*<-Uc Ӓ`#wL4ppѻ@U:C1rI0'en8Xާ6TxN8F-vb/  JZ'n*ˏG+R[,!-Yg"A_+H ۻ姖Im/U$!v~gvr_IXxeYI5Gylڹ٠p=K!|'#<a$锩TF F4*h)CQ[xZ,n Ejz1G0G룯w%?LJƙ MHҗ9Ԃ̄?֐k K9=\<=$U\/f l- iyxƥ[3e&kŠ#|ВZF8Tџ#-3yUe,"f(lK)xJyھxZr׸sNkAG<,?bq͵=1sC&ggl 8WվpAX>W8y}eRT,mNn2 4$<a1~,Ôc 7yULT2(VY:D抮sb(b+/|$(ݨiK66x»N v QR\2S_ Rp^xM,ȋ&(OȹL}dkMlʫx6ZJ|w[~( pzv$!cdD{k.AЁ%n eR̃ M_zķvS=f$+++%G!}coOz6ߺ͒/ 菋II9IpPB^{vͷ=1-OMl<׽;'1GI)w,~7>A j{b7aL+hB0Vοrs LM$ѭK3v>yN -1^\HXqt`"ke,"b>Y4W4jvī \ۥŰ?cm6XD/#S~FGK3b+O z3Io]=R^wg)(ڐV?[I+18ILь ncF2pc>uM u i_%7W ]wc#+!c˹$#})cF"(H;@3'$ ;F lr+J+nεXDLòo 4~ϨnMKD||11ܔ:u $Tfa7V e'a3{| 7^m5bDž"@$z:|av8`j|%U:Z}5dL(?A~bhg3V,%9/|ᎈgf R=Hh1 vY%g滨c9> aɞJݨE^\ niW-(<@z. %>6wܠy©ƽ1^rmD~Sr_ҍ@ٕiS t-1EncdKzo͸PԢ)TJQE“[oc Ufog쎫?ϘFu8n?y(L>}ğܔݪ"]pXLRk_g֙ UE2-B ZօVKZ[gJp>NdmJtyF3D\=ta]]v.&O1*b] 'pK۹ *lK>|Xlψq@U ,-V0T<(&!^߃;p6ӂ@7W`L;{UFzj+p{UbS^I18Od:Na[䩩qx\lnN/#oL.`WF 7jխٍf3`U u۴) ["sc8GCZ.VtXq9*ژ\;q$,TvB+XY݆A#Nt9ͻ@zY3M=L^TW HgAO-N EIg}US>05*bЈ$̊ұX !?JNwL! s3콢jpDGL?oY SÝ'hEUIfq2 Lk1VaKP|jB y=uCN%zDmt~|.930Nn0Y xD>`c1wN 1V:/%urb]Yak=%$"nD.}fY^_[= u Q{ ,6LS# Mɳ8j8,"P2hO\mcxfEIB{b.$ko5wׁJAКv-FR'x[}ajS4yxj( I~vcUd:bc`gO+vƲj,[3+y@N >לKHׇi+~ldmuM;O]<$(ik8#b0;P+E=L7-#Jy39>VZwuY3jߪ,ӖMZ*3<""n2%D0YaP$D )1o8 ZQ)[\$s63~ U|.]nsry֮_+,#HF*Q1=>0nNQnC.`MkX2jLݩ*r/.Ov3@.HSƎ`ɫ.U+3r>!+yʽIcҢ֞g@#ѯZUD$SOܵsvu!ݤ:&~,-f1%帼X2]Z}f=ݞ#Ka\vq`A.B=s`UQ+)2LBO$bjPG!pYZB ^ +'03UDMUV~F3"d{J69hVcw4W+ eOKd#w`KKڥوF{[jc4~mſgAkCHuoU^#dh69ug7˦&\f]0sD5*x0>>~zewsSoߑy0i*<ݲGbjG 8HA_zwpu%o3!hw 5##a~C8nmKG6'0@`rr4ഺQb8)ĦL6/a6]l~帏2Q9c?Cd纶[̀r@>rSL!U!}бq؝MrPl]i>]S-8u"); w.$߀ ,=GyQ@ю f=Y+S@ lY؇/[ӫ0l(7ұ~g`DcJh#+З/@JnlON//OjHR@8Qy1eZK?ɤ?b/HIs$Ҩ,aTy:>Z9Ɓ{w̤ ElCָ0:&_gzD'ͲjCYk`ȍۭ©)/ed <b1Lf' @ystRh3אj25݌2dלf,q[ Hֱ'gu)^*Z w{57HǖA.JW@٠G2iՎ}6%F~#ب`hEz0! F ftťG_D];CҾ1GiXq CJb5o;SI< L?d׍/Ɩp3 \b=ODϯc蠟M 1l:tv"GV\IVmd֢6cZc9"_¬˾RnYvu$i;[${24L!6rۨ8`mEB0c@,\|+(7f [`NA{Ju(<}S>F@!bvQ,[':aTN8`r~gCܝWڏӤ?^Pd +n '@6X*採R1;B|Sƒi{ғhHGűPڏp/|QIjdw;ZxdC?T<YMk,xHU!؎n{[;|ta(sga8-5XOgJ{݊#g*Du \ךTƿl{wp"T XLH hcj-pД͌%UʴBaXN+؝rM)#vQ$.qQ=`ch7ux@&vu^rSt(xF{n3!沋;3Pp" >_u7"!~ĉQJ[͇Wz݈萭{G\3SB%5 dzRt5{FKM RopןB߂M~leMhg6R`+fwv8?M$j(m'"Qz;c S݆,@l6e^YJʛ &?< j>X?ṍ'}|Ts"BmK fۀ&]RA;K~F6rpץ,]8v6~*x4YQ)]J JK*r?\ubOybgjW! >-!^3 $.)K!|YI/\V"p:z'h|D;V;0OQ<_9cVKyŊ% "]6`XtPH~w 8hvx-= r)!KF+D{ = Au[8@NA-]G3a!~CSK?ԓxSZ0~^wcWK1AJlk {c9] VMq{7ۮ8AgF, ͦl k-"8^çzVx-5c,޿_ʧVVVn;nOXT.u& DAɌ_Q;6Kt)騊 ˎ~r#uw UCM@93}FRcUcHa}lw9a~{,#VyhPWrxAn8,PE^m~R0>,u@p)RpbT؂5dp|g@Gvt re!\Mֳ0*8bDeAvb55Z" o&(gVrZbY+K JMy)K5_g,,5Вȟ>| JӇ|(q|{ȃsF]kLd118}ꪳq7-GB~0{?"klSI("7vi}%^-Wc1,*77V8LjUn } %2sgtxJ:^]mĉ%PfԙLR^F (X_e,Ti#u@⺻]tX|/4 &+2XFE^fjC ~T@oB= 0M;ʖ!5geqO'hk%Mb8BrQx iM[d*gƯ*nuaa/][! yfwKkn 8y֦ AUS^ l 8_bm/uuI/gp5%f=eF}76Pٵ1n T /Nj [VZJ_1tGu&:0\ Px aɠvock!Dτnwgފv5qړo'U|ri-mtVudU4MTVGz^ޏPjh= sMj]O_K?uن"}və.E,H:22aQU`#s.tIٵJ*I#50vLLDܝnQPvX:ε^ ƪ <5Z(r0ELWdvo,6;okVq:g"uԨTs !pY>R7suwG=lm3uUD}j\/Ma[fdao?~0AX Y֛O^H058'qMҀpa0O{(C rV^]ҮυWҸSڮM} C#ve7n)uȾ2GJC2J֖>"c"?&; ?/ŝz{Ik]{9.%[I!cK4Wh.-\MXҔ x%|jmԬ򙡄3ҶH%MK%%ܭ7n\P';\ڹq7R ?&Ӂ8X <[PO+MB>E<_ºD"wc6r-'|EI;Ka>lX{&'rN_yOOne"| 0PȮ X;{de;u.gWwh2)Xvpw/@͝*!@F+-0`㗆tԄmIw2?)/ `"!\8ݟTVpO9N3,YkaIµ7@FVr4c=y&sxؚy-x\5Z.E/]. W*V:$]{-;KkBIЊY[iL(TӐʒ,/="x+6 Po&/v->\1~6_ksST6Y};B,?znH qujo_|MUR7ކ8*;! ?NxC҄GLʯ^褠9? TR4K9=XN^tG,FLBW=QdeS`?#PK)$f}H#SeXv-]RT}JD#~4'IFD@?~8=U;)BTuNVhOe-!BqevqvH7.x^EBO#<8kdO?8y~eWwS٩=Ϲ^`8 ϒzX,5L sIrS#飮O - L>~1c l3)J s{V@/[M3W"Pz8ew_(3q^w^3)>`bk5؛PB؟>}u7 [91eU德4tJj9`lE-8pE>Oڧ+y2[t\?wLͬ' %Y,TN(O]KjtyS4N17oLﳈ , TrL]nEah qY+y9|~(CXVA,}8 =0 kֈ2Dvqcxɱ.P2WJuneC!8+cL/Q㜽r?g%}FsZP94YYjlm$sɳT'(d(7ϲkU29]tY:Ll?eMzŎu-i7v_ JP񲜓]d+S"KIaTsjӮ b]jjOG$2vR}.D.c.nhVk1S)™7=o80'm+Ov7=C0Pڄ%>.A4J PñP@ <T0U]i6}{t%QGٜ &c! À`^_֭ۢTAc*OÁvz3IBv _"8<~Z V>s&9`TAޞvZ v>EP_Y*Lw\?g3U/KFK*y~%Tg%!0 B!ddZ#B#(41d hV=Fl9O"S[ PxU..ֶ1{U(GyYPq`($۟ҊULb;tY%0@k-@)̓^S~CAR P %*hdEj˧3.NHx'03zIq3N\^mAKgt3Y(yPn*DgZna 529>Y>9L[tn7J+ǎkLpb=cEFfN0-dd[kRNrG$ W,-dyeBεԠ1$Aodd1<[YR߈zwyǻ5{)=*Ro=?S8i CHuʼn?:0ְ+J=op9"xt>qSv(fMx֏lTX8S"Y,kNn7R浹&3`JVy!S6y(c1-0SRQB<ƂW|]ݪD>3xbNs0Ĥ# `.V/\,/YcGV!vapS<p[+aH;p:#*!WUߗOr X>3@¯HNE:N~ ;Pm/`S~cFg&;{]*(y\] l~ܳD~1տi2ˈxP][݃JRxQ#cDrl!TG'Z6b~doh;ӭ)`1ff*Hm:&/A, ݥǜ< ҳTjLnz+m!j7bH6,d^&g)`/V^?$!zI&mL87kaCC7ZICK4YAɺ]h "&mGq^T@D/C":x1h`"f{o k}mjsi!ZzްftRݫ[,Y(jfv4;øMՓAkk 垽Nw{-slYir l-Hg/lL'׎>Je;rqJ]{"VT}m\bF9,}4Ԅ DV4rF|iowI',\M&у çO+χ_Va^@ 4cl{dO/׳A$Ϣ9bqNBuc6`eЎR`]0\|a0]];Ì@ٜ+Y^-hߦ/߂u_] Tf21#VCX5&m  [=7:R#ldO!x8W Uu9ͺNv#;#ªksJǯh"5`<iJGSLzf{tz{_Cʼnqu /x (~ I9 _ ]%: 41T'4A9.{6 zU >n,. ^kS@ZFb%eT1(mIdl8eU5 Ⱥa,0;TίQy]f}_ &YoIYLWOF5:P(|I"Wa{x߶G9qugF5yahc\R#d'-Qr1#tE@ރD]i0kQ50ŚE A_%ME>eS!ńWEemt7혙-F +.&+f! H>RϥaĕD{^qDt CDGj*|-@=c73i p)h .ՔL`,ɘ-Mu ͉H7L9*|sl ßӜk7=H7ԦX&=&iupզ) GCI+@ -\`$|MS }8@PU}!*Qf= +/^x f5Eqy^IBYh62=Ŷ=(.`<%+Vn%[R`aE&tiRo#FCwh2e[mq9} Vypz`x2U̜){},ZH1 [1o,{gm7?RWg̎qRq0jaYE@ۥĿH ;Zfy4O@ӈAfTշe%bw{McyS+JUWL 󮅏/܋W?%ɮ۟_SyDAloK: ּһBkF>f.ds"!q4$eb&&R !;(+` fs8=3;k庰Rx-q\;VT&1^"I9Yɾl.Nz}7ӻ\l,9cHjK7XF(:XuRm[O0^tL\Qpxt\}0,Mo zmן8YAu0(*vM׏䠧g0!*>h;SAЅzOoޡ&K}ʯu/!()rc~pKIc.' .xYL+070hgۘG 'M!h{}""7ˆ|z6&+>X%`F^ zsPL|27j ; "$j<uQГߢ2Nq^d%f`u~lL0&DVvYP9WLG`_~>,2T7u`#ay`C5E 3 r WiΠnƱѣ Q2Vk Kfxxu~=^d;Ur-BB>4M+ށ7l~G9 O@En&Xm~b$=IwF~ws[ez>xPB5(*?0D_SzZhCo(SK(̎̕b׋-eDظ.lk"`b:şޕ"q PYU|.I27c댨I07ZgYZ2f4f3fa3ac278c930cc8831a83afcdb8d11b023bb7e847e721809281cd40042e7df94b0de64e42976ce223894e46d1df3e1b9e0af3ec073a9ff7ee43