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 44 %4$ ]/]HOL-Analysis:threads=6elapsed=270.260cpu=1207.340gc=78.872factor=4.477zXZִF! ={]ŗXf1-q恈͐7ӺV d>`;Gؽ8nB7km&^{PLwM'/y!d. 9cuCwWfhYUZ юOmA Eɺ/r6i\Yx8szZvGr=Cyc]%{=0;8;'@ )+8@zj{{6: P-?Fc'mj ~^:AA-XP|vλ  ȎߵڊR,̜D뎡i]NV1@#FhZJ[ gXЫ76&8~>i9nѺNJ),Di@ CZ MBcQi.Q$ᢖK gvR^Q6~?GhD`\Pm7 ;h\yd*@]3"ޣOKp^q"Ą,Kq^~f/:>Ɂ8z%KK)C5wݮ dj* zX V1C[q,LY=; \iWiK_R鮮e}NucNnO!A(Ce0u@EzYL#*OI2xK'/ ɩv]Dڜ# ?V?Hqݸ{8n%ONwuJ@8RkU0eP+}@,gɖd6@Hf Q5KpϵwzXUozd :ƒ:j3A:$-<jmM@ή_VdSۭmw(Ӝ`q`9B=& >-Thf;'!T}^ju42r^Gst4}9[DnVSc6a,} \Y%FJ o7J&sWP3L'~& 'T9y2XO;D,bnJrߣa@p}" *̋&Mw曓MwK#/nu()5X8et* 'țZav)}m2 oYMatGiPb"Ru% Y.Ef9DʛCn" Y{JM5;E:5WDڬ>?G3߆!72*_YXMxO4 n8lX:<3Re2H`c>)"C WR`UG n8 {Dw]Юfsp o9e^.PɄ$oZW(%t8BUr>`,v#7${u(Zr#s%=y}sN8y!Җk*,f .~z2ǟΙћ6bdc ۚ@+2SV3^ew*ab}^_[ipqcY (qzh霗[z5C[6^:^(cF辧V픢eT)%Jt˭WYjXc,bO.0/^~ xpvTQϱ,@d=82ǬՀ!\p;yI}>^W2QlxmE:Z<,HFv$dl{ q1Z@.Czp͊o@?m<ǘ ͞5]sīdA<#cD ۓKUaIHתcتMc-b!dEjֹeWC\}.sN6}kytO+ !q:?糧k=QDLasüBLJ>M*ɦvF5 1m I'AsHC<2z>oq٭e綜?_{i?)ks"F{VߠĴ-79{V?=~%ih Չ[j/\f0"EePw?FPyb0lH3Gu۸DJ1qH3]~ 9g3\<4ڥ6xp#\ L0;yIM9 !=ZѢ!P;M\n % HOL-Analysisqe ]>r"҆۠C:筲Ax8ۦڷTz ӥylx'iX3 WdSۙ-R8?||8 ՖX^=g2OHK.y߿|,1Q)0zx&xA tS6CC^?'  RhwC2q_4'7[^yvQb|Yy:=h۶'Ex< "⥼lGM3FsFgp{nn 43!0VaXT6YS7 ?Mh &v\b<:jc&Jr?[]F=M"&[pil3QAw_4U;r @3C{9jRf=TaVkHt)I_; $7H@aFv4 Ij8,w:vB% DН8kU ?p4?X <ꒊV 4-t)}ӌARHԬߜt֙,8W}\oƖ[p{ =0$IwH<- 9__/z ()υ\KٛBz,v4-<V=PJ}ؽ 3un!Kl?@tY2a @FM^F1XVA0D34۰Ӎ@Q1O󎌯aXGgw1.rzu8߃ -}kye +`ak}>c4RԖ? ~* %!&tmJAlr$D(.e7sqc*j8<2E| ~h.hCKII|!y\OT a.Gvky*'CY_/D2Ml(m٣4EҤ+lE9Ogq)Y?(X1kOJGw=3nf[T|Wgћ#E4eTa_#gy%R =ۃHQ!85;E`7LY(qy 0/1eE7qNE,|HgH_޼·`(+ިadc0xXW϶X0e1=LM-Q$6 hcpseAz٣f(e^$6{*bROqXDתQsCh"b1oUpgiVkqhf=/+gŧv5ҹ:dTcᕢR 6^F$F4Ԋ$/}]+u4^](s}0;|;)1ɿN*>Aax,.@X}xtfo_;FOC_@+X/s='o[e QAf5Wf^m6̠omqE>Pa#ER0M01!өSi AoHvGE^H?j,Y-Fk (:2F!)']]}\RK3E=9nHNfDO\Nmr/ѠaiW:0ӽoMGt+-Zb:{!zeIM.̞nm|#4S "85w(=Ƽa ڪCdc,"LZuEHh0Qvk=U` º)\ޙ*g-AW5 z[< SB  ̛vqQ*y\ ~# Rn݌3^0'h|CJAy`O< ҃/^}H&&6 ~.) e1ح1 ۵}GKcUnVD>oSDM;S; I :f]6ä:μKڮ^2ƞb3"}! $p+@[c@ /5/ AVիGC9* (!3"C\H[A&jF^\b s׌5?'x>`5!%5x/7ah4lrkޞ yDkc7-q$skFQ^2'8Ed)oG -HCKnFL`Q-GPCS? +L}$@ ~BZ \}|'1}GL+j.5B ^/ }v"Ǎv:{:SI%pȔL8sHu Y@@veoa!FMػDʇ3lǥmG(MJ1,#(񥮆A!8 lo~c*G"&lV0C CTƀV/ A ~FI󓫇f}4$v< vAi<$Eq`H+6DنKՅZ[E&4S4,{)9&VaK5z?9@*㰼7g'YϢ_QGy1)r߽| AN:?Qu ƌ )TF-4z^APTδ*k{:xuOa Ղ9nG˼^OQ//aB2rB7616]a[A:CœXhjgttHa95yP Q>]; S^|+.?9&:қ3 L'm~=yb$Kul/صvKA'-x˹ZuPHUVH1:vvA]X&bʯpwcI'zX٥:^r]m.w4m! FB ֐P4 ~ RZGŌyҍhQ<ЧB|=8 ]tGrو޷Wx [S5&[Q7[,^Z\9! ͱMmȽ/fBZa:J(<<{;GY 맣Dp2a;YفH"N'Dj~.VK[ 4U@lv6?XЂ@tntU&(V۞vʊO 3~BS*~:9[~Uhmt#@$T.5ܥPTS[ز'|QdlC7P Dz*dٗ(X ~ՃA\ âWT],R}J=P8 @TUB$jj%3':x\F)$Zy;OZ ڪi70#E1IU죬ռNʟ17yed3q_40 ]dTɖ}_78vPCl&$OpaK\j<TO S}&v `eN]ٿ!!} `d>yx|8qڔ%*c(qg6co#oNփ'f ~cJ..JEh\C(ee֋I\T'pA7r,BZ ׻g bFvji(/ؼ7+ԘM@4sc4ʥ_2H@tp βUD&ɯM x=-o'jP{0obz ߡ*gqt+ /t%saAGuDIfVJi[_}F~D/7`$"=4k5e \$#qR: :^G E}9ʒdqΰ;|h*:%ڄ Dz]9ęWwӰv;vHtEPBo.@YF։LaP`n60jެPUE斕mJ TطS||f%~> eư#`7{`aa'G+7=y'{I{MF^>q 9F.r1K*r/m)A^*ׁBlq. mP_.tơXyhNeRKeBf#U~)b-BݒƵunyz&cm$j1GC#.0(`}!ZF9>yZW 1̄o%Z,('P8'nE/n[)<dpcAnZ y3~9VgGF'ryQiOPtxn?x "vVm{DأBImf7b1UL=#2Ͼđ*<3z ?h 37S"ѻ`z?ݓ-#(wY C2j0O(;'1L&9Rt qfWS@&<AF00"|(/hFuK_UC $N'_uǿu56]B,!E?vGK^?Oʛܓ@HKt;" PUq#%S T84bJrQ~0)L]&׬4Qy8zRt8VNWU|֎=YEĹ%&'tx ]ScQF2_+` _2W;DTq%V550vAf_YB( *89 ^ʙ>&P B{YCtuixS[8S~]##c zA 7u Xs s$3`D%ow5WdŠ0 p H$MҤ >r'zk1U.vB3vnIќ2i{͓x}k6:c yymd'dod7{ʏZ-20b;B ݔ AF[M!H(T ,|=إw)sMux4I0XW,ݱUa'&/`I9{Ҳk^-(ycx;cvJF~/IL( sJ`b) 1Wև`}#2 wgvb vLKak&jtw^ OM0VΗJ#NY\U hzbad#Ր F"9̮choV^ң N%C>;*2Y2w=~rx0#$RkPK]| 1TxQUEN5N`R} 03>'q9Y5[gG$zdKE@A <vA lfF|WydMNы}^ )d[{qpmmo$Rc+"pMRˬ֞epz&kIMC2yzJ-@rtM_Q*aTε>Zuzd_ǡ%Y8 ?I5X_vQڴ_6_z .O dT.yH|6e;/AiAALN/WeZ=TKU־XOΥ͂:1!~#,C1IDԿfnup9Y41,&Ƃ".ZZ~0W/s搶k"+kc%™eJ ׉ %mDd>C2NjKP9nRCϟd5WpAN,:KP8FҞ 3̄g>bF<[ Z| tF{ƍ9]/z|e30Yc)뎰v@O+cfW*/_ ezY,)ΐפz u%ņߓVXSmmI1QCԗ~,& +s٧ZP)|`Li=uqRM 3OEmwL`RnVh7Hȼ#a$һ!N>&_WZ(}L6)#PY b#W;j>4(ha}ÔAVkO/%&ic9zpL-a/۹ZBv.JXa0e a,'0b!UA/cTAr :oBՈӸm!ޛ H/qPu/]Wb~\к.Z򺔡^D?HFsr3MGڞ5+PIo2pe n貢2.2{{ tRz_H;E Yc{3>',*J(uD=!)K+Ω tҖFyH<`OXTJLM^t' A+fb%:0׃x5Pf/=?3P@0Ѓu z Ө6 7D[nyvAi), 6zZDnzD*ADU+xSN6̬Z+wH}& 2ySq\;BpFC(khfzj辽E{KԁEl\Q AԮў_oʫa%N?&l"F#R֙vzVŷP/P|2>+Qm<D;YS`3.: [ʶ:vPuo4%-2Q[CL=x f2Rs:Z]8*MAJJu؛G,0ԇFl<ǔ܀>"Z#ɨHAh~g̜A6l2RC*QG"#G*.E^-P^vjm~C aWǒj jYqo츪sŜ~a ]uSE4Zc&2c0+64@ q-!  K+B(w$TUaexN@ׅJ *4ϗټNb{ HaK 9,yMgCa& );DWvj*uZbgyTPD־m"?B?PjٱzBoܷQ#:(lN4Svdn]D](:_ Q9$w]~!eRˎ&أ#&CdzaUE%m ~^' MNB D*ƒ 6aZ<2PZh$_R<̇H H/q ,h'eqČ Sxx~{Oe}kW8"Ru=O aC(ݯDZ@D(g߂*TAnD2lC&BbSMzUW{t_$(R`6sY0?VV y[Xs&, L(a jWĩ8#[&lr M5ΧJ{ٖd qІ xԦ7AF&,)nfKb o.GqU8)܍ψ!`1>rǎ8[fH#Xp}p; +F;o_J%{o-`+ 1@G\kC6@5@{$<<r"ZsnĿ M=fVFf1=?LiXR>G9`a !,aUxX5L.a^sq;gbLܴf<̙Ս3vj_0FdE7w%EPftvvp{CD+UIhUvR|D{Y)CB#:c{}nD.*X4o9nwdU*'K_?Dm>&nƣ H&w{_9S@~vp@46|np}lZ )d_ޙ`zS*<56k@^$B6T"2SXm崟Aux7c[#KS_?I>"!$ ,R,KIgn|A△cq83?^&M~Bq}?h7'rke_-cp%E!W"L@dJ:gST0]&IDAc6r BЛ$jwV|4+Q{n^d̆@Ḱ =B@½[ɇbЂ1^1'b7 Շِ$Dnq'8UmL3z".0>9ER1,+4H*lgp)J~՟{'WA(텗hВ,NKBwUX4!ëc5UfoAOvK-=Jȗi{g j'rv_9Mh)Dq }nR7teip&n( @)'lsT_L:BB^UY>]_Ѝ 8HCoDOrgk鷞8 bQxZ&3ᑘz &>nhH5sy0(6G {G10:I-}MF4i=Eq(!wfxJ1"߄ *!dM3F[D?%\Vd0Ex;Bթ;&K"(|XD˓Ȣfyh},H5k* Dl*C#n 2Ͽ9dqm}oQ{ȷ O(ݱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4ba'',W;W/Ppcf~Ő4h>rmT+5] /H+"meX)M)<bf˜ 5HWk< C+wn.w۬Q)"aӕ3a?h /{m!IHs?\O>Fà QڽɲMn\o \J *P(a~;Zy8: 3]̂\3I:`Spb6{řC22OsOY5} >,)*@kKnD >")K:$.;3Uq9E UgwV^)m;=`O.a<:O ҝ N0z.'tub} g^8} A}JzQahSuP!!!)Js9Xa$Are>|c:~:p8x$dY|=)pVv:@c<˰$_+DW+,nI@ 2i9 nVuSY#j(H0|‘Z6QՅ=5z dƔ )\/V ]1c&J$3+V \1Z$,Bf[s~w j&-~%(CBbR" ).K "! i,չSX+BwBƪv Kuq)|e)d,Hv%gzV)S-F_~<26I/M-D_ 8*"~E럆袽45}3l'P"8mz*2N޵vz*2Ntϒ?HVɕJAJ*KiϽ#\ XbVmwB*Ks<޴onW*0H5e+lS[S E`\USƘ6'kЖfaF'9L)'c=kwyi jI˰G(A- 9@EU̹Vq|qi8mHyehazt D3昨:;:؀J lge >K-^+S8Y*xjc\K3EukaO7~Rkǖk/Df`wo[S:wu4 a 2vqinpzeN9s!er? )PStlO'˜W0J4ϵtM'qw%0,At`.gYZ7zXZִF! "R]ŗXi%ʍӔ\(3OG2Ox>jogu[+h bDIf-盩#e{2I;F%o5%::u.c ǟ{9f$la?jNNIDod)TQ1Hg0.lD[RIT~+P,_Ϟtc8Qxb,.-pJHx Ͳ+W$4BRA D֘dxmܥ ӾyMfX֛y{ Mhl pr:?/,op ܨhVro V*5Wv '9urmYZԲ92]$MBocy 3-^\G08_/KAA_ŝՎ qYG9a){e>< 5Lx+|ދ- oB <~*un[jx:lΚc)_M )ˢaqTy tҟ g*|[S2D'㔮5 DAݶr'WK/ n+݄F=qmQ4紑>1 RUT}4O8  Ѧk82; *m'U~:@x :^tWN=Eelق%&IH)l{đǮE;W4LYX|#6T>h)pQ\ǴiF >Q8p-S#7&[`] <[/ ˝ ^:#a?ḓn0*93w? K̪mM]QAhjSeIA! gA+x40a( TnwQ 7Uވ6 8DeCQce0Q73}ݾ Ad~Wg&J!М'?za_fd$pWuW>F2椽|]6zH\:bcEԂi?tF 0ϒzsHF`^3)&z;,UC:+FYlƻB/֦!K؂SJ{uJCS80x^܆z :]I~R}5 q;W3ʍ=&aW3&=m[f\w!|./V**h',`IDVl7yfېeAMPH5kSaCtxr$ :ӈ`^gZ`*'BĂ GW|/3|ј . Y6⶟P /8n雬 :*n8Ϸ@4Hil@lsNQ#=C$I;igQum},xp7mJu 79j՟9`7 $))d9+CʂT^\4iU[m$f] )}pgF ɯO- 8Blc>!S]Z"*neZ'm7|JY N@fL 7kRGWn:k&('P])u~dB4gёl諒%6c䛾,SL ^T[˛F2''^ru]m4xJS=9挟L(?M(YW"DDqY7< PՄМ]UnµFF*D1j'+ Y |/O/DD9"[u$yC!ftgBFx?s+Pt/- @o2FQ 츯޾u%rxZnj ǧ0'QJ+w;A2x_7cMa<_UNirķ_MkBa<{1Ťj!WuqKWCvn=m,/KKT.T`aU 9E>̩u&X Q5Y-&y$ Г":{4x^mb*sfsq>#nK㳲f/+=Qg~ 4mkCѬUB}=խ=3r6g&2N<*:9v6B_ejb+nh8>ǒf4yr_7-mY'2. γ׀Esn?4bv* 4!o/F'w#LwV+>b%[Ub},ą܀3B=W[VBv]訑IdjkIm4 W:QQ 7E7[. ~HӾ7h= z"TfAV'z@nU&Lc Y.HA+WvC"S(ꏚ9"dJ92'9e܋DD|@t@dTAY&8AyEFkD\%WEn8,Ӊzhmx+F3Ve }bx߹wL]>~ĩϟO%4S錋X@Z+f2sW 1뫎O D4L񀡉bn^ĽuYj"J!eU.%WNvQ6Ymt {Dn'eZ,NNH6#zzFk>[FLSe{d|pw0hn6PֹF=qp쀩4F͜iAD@ϐeS(ɳp=s-yS*0=I)#(Ef:u q^^}U@$LjTO!ڻh` L K]GlG ޫ/bKLpž_a.䛪3;')3M SaXG5u3&LDgŮ!UvN5)eV=a /DAf57t`b5bGD]l0Zʾr 䝌=Lqc=N2Vr@s{xu—/xz4>]C"=a9|O^r297=0- /uq76_r8܀49eS6 f^K">jћd!OWin9cergjE5~,p~N] H8J6f յ^_'3[K36w8^Y61{4}խ[2BB 1/ V,=e_ĘY5efO\1 ҭϲwc{-jdl\]?9.7լKCDۂx'ɋ t/d?);v ]QVJ\qZ91*gH;JVVLs\A K^GmfS.kc 1y8}_PԭAQl&7 @"+x+Nj?T&5#DlWGoO%6R4G?yp*^w]q[X7?iW;NP4>ZV2ydҊO@%* BB21;xo%$`lwv &sY%Q!LjbG)Z%y 3bֵ{%'OLHgbV@~Y^ eD\*!r0iNka@hj3y3t/&Й:`"1oy^<\?85GG eCkxGIHA,}sйO6P idLrO~"a47'Kw'C,VȐ}T'Ϲ58h$?O߿} +I 鉶wQ(vW;/[ϑ-ɍ݌1EB)F"{hgA;ll! 3 n)2fʄϔ3!59uBkC>*$;JP87B2V=FݕҐ.? mDk}RZ-2+_7=!y ԳPhZ"-#^=RzeFu۲`ьkF@9{{E_og^hA3NndQ9nD(8&#؏A%(xC4rǛ0R60WpNً,`[#-ݓ!pOIs"ѩӲ.AF^hGvZ6z1$.յSXBA̪dR 0HXV~rjkBbo&-A՞N? QAa[W[IC'[6 ՒKN{Kd$o" fwLG+hX/\NuԯĞ ՠ@6UbwwX:S &{?q +-;&\W1W_Ml;}^zEn?ڂE'ݿ, 'va0]JԜ^䣯5gD^DI8jߏe-3"@(Hv/,4 gx I ܲ>? M#^ ϝ7I}[N3A:ˆ?:KZ&\EpzבԑZ$_>xXg@l[hЃ7_V;>d@KYEvszaTʸw٘[F_&aw uSI:c SXs\JqH9X\o+vMl4zźjAFUGO4ŢV&0{xmn7'(~BJP {$x\)fk}IfÊ#~p4;M3PN0p\N9a mP-ae&O,*oFs턇>BZwNXP,ޓ79n'{!p3~gT6Z3AKXmԢ_ܳfeij: ^ p3aUvwBzehMJ" .P%Kʢ 4[QlXPh#,W͍pD4=0 黒oW+,bܮ5vdXcfMwjlM6>f)46}#bs M^x~"fzJx1+=DU9ATP|>$ruʇt 4i0@?qr l?LNJ yŲG=ZȾkV 5%|zATUdQСׂ/yJx:z9{F&}^QrA{]/ֺy.0^9+ x244粭~)'`R {_[qY"atN!kBgz@߶(N ],03Ȧ)b4t>mgOKT:gpŠ)e F*pHz1W;-;c=&);S#@Kp 54!EO7p_ƩIrG? Q,Ǒf_ΧC{f|q_Gdjsxu ꔠjs_u&[T@;)]c|:L0 w-R멳m9[<}=q7V9m& ZՉ3& We k Qe.p&%&[kJr)(%nJ"n).U]n @Z67i&@faEđ'V HlNaɞ~^@{ ybgBY0[wfF^S^O+LK TR'ycԕO(ۍ(u47nE¸`3~)"mvG$HH}wrk3.B] !YO!m+M2oFY{Y74@G<A'A^NH?y&1fY&㇖A)m!^6pi)Yi 9W0;8켵9s$9Έ"%$r&D rH% U|AU?>̎u8j#,"[<\t.OLaHP}mUjޠ&Ɇm~8 N;n7?~t`A珴_^LxŬRZEë>t2#03F%- &K$WW# ŇR?S#ia+tmެՑo0+ Q!M׍#-OGdWOo4\&߲)5J3H3YbX9}@(zeqm1Z%2kz@͑m[n;b y-(G 0NX,z~WWڨ`@q%l޵C5|ģMo cV6ePLd-B^\10Etxk&Wk07I3XbSB3(kK)p:~a uL}|bAVA@In--$ܖCo/\q 4O/19rz8^45rVaF)qu(x.`j w_˝nt漛bT%1l.l2p,S%uA/lTfgSPQIi!ǠK^^`AoƫHhP(J+p6żjC2IK `As!3$o]yFWF Ĩs$:6ȆѷGzF+NUYG2U&MVJqGG)wNBCEĹY@ 5s8^n>"6Xy KHp㑔'O:QV6Y-LIJ=Y.)]NI4 T4vtPz$ld 4][d ) %X]Ɋ( mH/=rPwГEEf2}.woư4 4rp yGm{lx$$bI{\Uuق|ev}0?qp$lB`xT}=KF>횷1X} |x-^k32FMhLZB g835t!:Hǣ?GV+qz"`;<>;J >B#z@?tCXjx d,߫n憒}>PY&T'2zPQ,6n]k>ӰK_UPl$!55t)9 G+œAdkAClbjgrvFT< KdɽD@֘?Ey˲xΊm@4KݐV7`u,"\!)^')u6W/ы/ aQT *l_ sCɌ"y=d LCtUG"#aP5Uk gSUŋ~B 5TDIKE(ж]>vp[4`[7G*'j1,euF9HE8P \ϺERJ JOjeBFHd'"hI+ur-6.ocm:7%6ÕXH@k Em}-7|MˬD v4:q?ͨk%}J`Xu#PgHha]bE=;~*GzOmj&% ^s1!EOc<7x{͆ E0?ܢSK@e7KCS%I&NvCs@j,hi@ =M{dF锔8˚ ~6o~ hB[;YUBNߘ#s:FR'׬;lFރMTg9nj#xBh,ؿmeCxlgen!0>gQ 0c9=Xg?K:}s Fi7h?uk6FS=W`n]N4 *P@@/M(lP' N^H;PܕyQP `@o5hU'N0jltO>Z%UKeŔި%qR[MȔ"6I>݃!'\P_96?+ǃ_աڕiv%X-#=p3tjz"$=ي&T9/4-T-πԈ pԹȨ\b9}!V7-d=m?xaڗJ35 "> OPJЉWx|b--仵U"?'ANoN)|P72eG09o~Wge\9ΑTYHhtZkT;$xDg9]mU#h ~\?UUpR4/^qn LV&~],Шg ƞp9^NzwYX8!gWK]etzSHVgKHg`<؇u5P‘y̙v b:1`a*y< '5\͖k$3-⩆Ȟ1\b`{Eux<2AGY:fq\fLB|~ӲGTGUB*EL4 uffTk)ug Bqn[\ޗd>hdLCFoem?GL;:K5D3*W"K5&:ߖ IbeC/ih ȵx, [u6Q0_m!7`8 V (5ff>|Nr-3|*6ě{,;2!c/ODn܆ceOlDQO69 y}mHd΂u>j&fk$bMoYxR*`09zFĠ;c$[.qyj⯬H$aEfȮft_jTZSw5`w<^cA߀kKN^>1O1U(N-ÏwCF*Q+g,YIny?/ZA8;.j 72V:7:v 6.bqf VldPL鮈G ~ 3gur 4n4˔Bz>Q!bl4ъ,tAF`Cqz|rnx3ǁ9B4SW9Q*aUik%vϸ n8 R\z ԭ16CԁxQdP<`/ t1{<|&{Ō$Ғ 2WcèqqLD䁽:exӸl%+d"%wA+ ! `xA3B -.ZYnPX갚o-qƁK?KB4(2zk`(^xFIFo_E;1w&mO?T1qSmBwj@UɈҖ79~K/+*x #v7~0@糹1bmFIXkU wH`Rл~@쑑R9Uؗ}ʍݞ1a]zQd*k)}S^m?A*W#Dm8p KC(!8evEkލe̴O.yMd Q?/ ~cԂbYJk+-oEY PPd$CE%R)^B;OV$~L2 }g$2j$g9?C6/o;AóGRXĔʏ6]U=fE!^杵?r<$Ys:Y-R^RA%HT,8;hjebuc߻ٌ'׬V >Ms$]qY7U L.bfVD@ON>%㵈#Z^t!.AM{ sB _`! @EcDs{(XmRZS&*=1~"vI >dVf+DK#av*1'V-Y["[q7H~-mn\XK9@U%4%DV!Ic\Ɓ4LuCQUDo{pVK,A.nN*L ƩQy8@e\cF ܯtV6hJ b烜rۄP*#9^j@Ո]6Niil6# CJ/~cX,)A<-$a$Ut=;6)'gbq=&&eKQ~ SR;LJGJrphD2`>PAqzR<BfD&{XjLbh Es+ɱ{(y@\3\ŵޗ!+R7ܢmI.ƃK Ch2AWhYk-p/l%!rKoa?[*=t[oYo02KP6NK32 #19fuҭ` ݆_uw"P $k OUz#isF{:x;|t\NI[[D+f?8LgPi0O%(-Ѭ =*g{ 0kDr,`z¯*(}ve*k .,^};9YHKHSp-`}PnY M8οА_洵 a8RK -nWfrT%_~46KL b;w(yx3:!jT?`#*ZCDDNG(qO7y^j9 XRI6y6~N *;%Yڷ; ^R'[#iPsK],0*;Zx~3K軏$^ś홢(g%VX@fdKUN= On(Bt w;GhX.iOX)K IQ*/좑I{q l:V -6}mc&S"F\cfbTRXySMUzI{,_HgX_A/$~4_ 5<<%Ӓ`HL gMf_̻'<#l[ZpD >@Y\XkE,Z밽玄}j>E ?ipb " =p1Q ȳV"Eo},M% Ge݀\跢'b9!$ݰl bkrJ?M|`g'~. TA-1hE:uo2t*X9i?k_f) tgYze#t/Z.ݯ', zDqf3NA$+YZ,qktfPӆwy>k &m1" ku# ~K f>h2}[-?Xr{M*bL( >)OgN'Kkt ; }Ic9ZCs`s7g)M&WGWQ$øX"5lxY :ZMY}+W}ц$mN.p[_ـ)'DufſAp{f3)Љ٥k1a|'dKSOO4vSg PHo}9 pb jeѮd 2A2i;?P ",!)CͶ2rr`9[6;s^I$CBl^P7C{"tJ=qV۟OҬ7<ʾ;˹\.+,F~J*Ҹ4ө0uRK8C:S UJgc{Wd=Cئ ԍI=è T& $ms3 m&(83Q6%K&;?Nh F)hLuѿՇW[Œ9XhV؝ULb;tϮi0DR q>js6G;,N0{чf!Z?mcWtڞʗ"5 SʹpyP;ps%' M $~ +;YcEU!}H5*c4G~+rp\ޅ + JӺ7?Vk;3 _mavZBsUAuw #NjrzOJ+m6"ĄC+ϛ4 dnMdԹ75Ӝa j̨GM䭀n}%3NkwK |^:v醧͙kH'&6X$tX&:tF d1BC[~nu.QKdżJ5D$gzaꛇt&VpYҿ*מa&xmZ%vkN:-.9%r anD)`i~0ceC2 Hڞ& UnA~ou8\oS}b}J?iO= ;p(ESVYG{/ 1InXgJw wx`{zk9Z;WѤ0h2qsl`YuڤIg +ڇ5u9oixD$f>LyœR.+ȁ ipmL9r?m#`Jn੃ w#r]$+qu:YG9s3خ|Bnbn|Z; .S0츒5z&l 7-9hF$ZVp4SB䋊jj؎rjj4LB=Y_£<Gc!Nn&?; &k6Y/U-5ڹRm7AVH[Xm\fBsŗ־^.H|(Oÿ`f&'M XHd7jbaoO#Rf@@7B(jQޚՊDnn4NnfP^)˻>)BoThcOMSP'vv0p~_Rt {hgH!7<..LIID/篮#5ˍ'w(D bFʇB>pN497!eJl91ȶiQ \S0i\d@dBRv#gnLPACsP#/F?)|gnm6lB }w1,ZBVʣ.@=\Y%0L $a)_,Xh&VI]WvZ=5'Y/bCS2řv&o0'B-ҎG0m(bRqBc(꛱D$e_;i< Ͻ3!=4OJ%RqGJ +ҷ欤H"/z*&h<xux.<*5+^œw688<IZGgV=Vdm2#lnLeDVF: h\6+YfͼOK5&QNgxm<{/{gSZG+!hnY[ ׸[t[@Z/4#c@wu tځWq:]xh+ʰ 4<<#43>U~ v*b>y~T'ERwLyI:Lh'gA#n<͝Uy,!U$Iߏl5-i YöYHM])t~ 84D]PWE#m uZ:IXtnLj*+;_W󌐅ր~Ly,OtI{wu3}I,VPTZwTG\仞EXPeF(/`;~!A˜qG9\ YGӊNP2m"]kiۘl7.4JK2⸣8滐XnjrT^[)q}H9'Ю*  ~# kݾy$,>+z5Y;@TW &"(N6b*,_0&]v %k;IM-PX1aƹv1MXBg坐[!(>DYj %륃ΣUbdp}]tCgˑA6a{QdZ#H@S* *;D`ƃW4BX^MNr>R])QcaD; j] 4|07tuЎX8dZ[ H3iv@̬V;ί-ct$v_/gv8k8U*Pd҂ٵG'%^S)fKU}R 0slaR.kGME'fsCN'1LN^7;P`gYZf4c9528ed34d830da331afe466617bdeb1981874bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69550a419aa1cdd3b2949d9e9cbd1b1be850503dd9