SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 \\t%\|, ]/]HOL-Analysis:threads=6elapsed=294.046cpu=1431.900gc=53.132factor=4.877zXZִF! ^G%]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT_Hlq>qp4S%%/{oVΎ+1/02RID dr6gONa}~'D@wFKF߱nM~vzҾ  sHϘ3*VcEmJ].3n?kg[ y@?m7}>Oz%9g9JC۽2R<}`}2!lg@B@,@.tBR =+N-2:9cD(OSq (liD a煏گLH߮Rzr:S҈Hyenݾ(l{3Ef2(ehqlSCߌ=w Z#-׳0n.Uù^}|""{y vlV5qB%ADqfu+'Ȯ̯R,um7!-bE0ޒw XA[ oz_q П<:Gƾ_Bi[a!4sxWGtjR Ͼ|$"O%׎if ٪gwǥY="Մ"Z0ύC~"@agiٍ0ӤJ FFwͿ'vrL6n&y zF 710lo5SbCϾھQׇء4ɘ(ls?` }0f%k-Ixu}0>#~L"ʨ8i>锋 r~ˆC[^oȁNPJ36pX1x # (9gnTd2I<.uq|()}25taEts"kş0˭= lMb~ 9?I \A+I@\j[F0$ ,{Ѳ=Z '[~ h{ߠW%xQɘbZZN|tk6)XUlvYue냸|V #E~kWͫa55-A/3'v Cu0#X Yt,([)Yb+)>p)Vs\xh0\1JB+/~D$ZNAv`"* ^dGzT=Fa%oN,@,ڗvлB, ~aQbu_e|65yI9ëE j{[y; J4^%\NzAPߡ^[DMksvYetIg?ʮ (#8O$s~wo/#-#)4B^Uуӆ*{Й!*rFh[wp4I}L /ݒB@@egw0ub:d.@PHy,5 TO'!t%01 lΩnٍA-ضx|V[CR?w5Q@N[N?{tndW νuXKKZv/h٩3IA3iQH9?lu W"ARV[앵y]&($ǫKe82]| wYȿ> vqҘKil M@4.zj ݸM$dD(2k0'pw~#aѩqUq&*hЭK8L f<X7 V߭6b_|_QX}Fɪ$#*ҤE#cGͿ6Y!K>{"t }幘Mx(S>bG#ȱ#`bߌ!) rd} 6Rh*(Yv~YsK&toXzυ>'2!bARjwk8Ǯ%(T~Bz?С8 +M_11dwJkaQaӝdv5Z鏍ȒU jo+D" O5fkT)A,f[4 ɟUqAǩCI4k+3GhûbM3v<7L3>Gjl^Ͽ#%|8x<'Vg|0IMUM0tT$& m!\"$Q_"9IQc,See|M2)ZfOu~ &bN57?ģhXSG!!@MzP.1lH:ɀZJ 2/DO Js #v91Mq,p@ѶCQL~?Z5wړe9Dffg4g.agddWWJ#cpa2g>8=VJ:9ڻC,g,;5кO?Kl^הU岩6wN%vڒp;K䭬82I@dkz&ĺ}-{DLW+~u1sHS"ALyCh4KU""iDL X g;sv tV8 ˒>oZHȆwz}Dђ5x7=Wf)Z чbQki$ZWJ8xʇFgDzT U3S2*nD"M}ڔкqz2'g=!K&^5Zr1욲x϶EDa5W:-Z> n % HOL-Analysis   + ׀G)v^io591cI]=4=] [=I=qóqqq%rCϕ˙Z5W{_h!H֝6!, 7,<Ā9]QHd؟EKg#֏ K`*TS5З_60҈Y9!02oZN=<=2M)?p$ŞZJ ~'Krm$xFe[ Dڥd4@?z> W;q4Xwܘb HYnwDQaIpS=ĽԤnDTfPAA{ntYE!2n5`!c.4S#l؀,12w/>QBhI- m`?Yj1q XTma[X,^ ͤy?W{7Q/٪z|'?/0o yu"%$e3pj 9M.{.1{ن*Jx{-iDif.hZҩnh_[r R~0 [7>_pd*g+ =ANNx^,}΂{$ڣ`e_Iխ"6omkU^L7GE#/0 $ u\{zB 7t1a"L]gߓ n[w<%wg>5gU寏-$i* l}&ɥ @yr!,Stk1\D!\MzjœP}v_wK]lMTItZH&#(qYO?j,EVzȟ$}H;\$:nT~aq{*N-Fr)sQ)ty: 23L@pmp#Q_}.Ž+n}*I8Pł @$wʡm\lsɠ8`@ᨹXc?P\ }Pƞ[j5JDak1JapHV˳F.nӹI A$7a_ G`mxv I+[P8v0#l7u@*OCL7i1NbۚhcM>y('bj IPo?Jy ob"Vܔ>H*l{jUsŪJFEo\u#ӊacO^D;wV.c}8˚4úTʷ>ĬԠv=ϙgܬjPRj`.@\YC:ޠ[c\;fߨ<78&%{NkX$5'0qgJgD>Ek@'9HP[{Y! GidrL\=t*<^dC D6VuӆKߚ'xS&ŢR|A_ Cx7":ƺ8DW~vg8BEʪLXuj&X-Mf㫯 */qjOm|HjMh!9b 8z ^ٿ¨:IFawh>kq:}؎}cdB uVq H#SU8 nkHO64tmAͣ0JKpc.T)1/cyƯd̼4@HSX@`j河;8R@BZp 5iU Q37$Yjl;~hX`,8=޶=J<)IhJ'95q#ն)t,$^m͇a Y1ڣϫ>C=5gn QcrR,$Ӵ=pJ%!?FȵKi~jW1MVp {4Q6 J1dFipV2jm~02$c6[5\WVWԌWhjdC`])&r GkB9p&dWkRŸPCN[7oTz?R-=< +.=ߣNSwצ$gܤ5jg3l^4a`߶W_H%-R۶u=5sɁb>IotyePtG]&zYS=9q6-.SmϤ|YԼ ih5<!"]&ɱpBa)mo['įKGM,&of#QN~>!&Tn}oI\o}!OaNxC兞ٶXeBT@D܏ߡ&.Mjg433J:U7?Œl7ū*jYos(Gc{3%bRpEQ_wtP耔;"eIܪYWⲧ SIPT#14N7|!J``b ٹب-VUF*۷֓21s/n9\ m:;EJGGT1@-"jWzANdz#Q6s=ospy5h>a;,CH0 JBnChjm Kd&It`2- o>Ok$q6pmٓf[TG| @a;ڙQ'cPo򭲏G޻6qw9X.ط׏sY,m +߉|&`@yʌZyŜ2_౜?-izI kp2l"B~Pya~v~b)Ռɚ܆"CYu6H#L2撢72G37Wɑ;gAS+~0N]dƓ{M g1 |MyHh[Wۗu=">q0x{iu@6E-qDj#۪σڻS<*%'neNk7}Ӊz|I%5EJ:>RM.wlΦTxKr22h,s('%G]&S\lf}6 e;l Qsbe_s[R̍.N &iy_>p"+gM&f_ɷ;[wWX!gKvc'[8ꊸu|w䐿_$SƖxVg/)5Q-QJP#ӇyqAR} zɆe1,n1P}g;E`*U W+GX@eWmӤMNLk*v> ^6kvk,Ԗ%hmzǩE$;st$4ٹzuIE *e\bs^+f`]~;LʥQ9 +{ofǕL@^,Ad nCz5UMB2e&kn&_"71ץip&CT^ Ѓx-#}:B+d Փ<0Rn cLZ65_Hs75oF+]Ջ/FinϠhEzo4Bz);X\z]hNUUjE] w'8%x18*-c=fm9+{ Vdt}%!a# os`%e#M ӄlvN#x**\]SC8AFZmq$@ŗ}F_a__&`{"? f1$"%4s=UFR"X¾`]^RP8 l)(x=JQر-4y[Aa%!}%Ur&!va/%PH{L*m(Ȋcrڤ,X7Ѹ3kCUٝ[ FMQ>[HpZtjY$jѮKSС>lr")I~11ZŲ;_z,hhc 4Y2FwhvnP m8zh gj:ķ7ml|&`eF8$~PÖZl0Mˏ^pK}:ijk1ɱCKdOKءo,[d| _!:!_]5+8*ҹ5E`/go9B$tT:Hv^aN^MS݌|ܡe(Wt~'L# s!y5m;\sI9IY& dd@wRC|:o[׸̊E"*_~Z_by:YlUW7MOo >y  g[aHj)Ps:q3&#?- tbx4} Yj bO .Jj6I#_pƑ"UqRF { !/s}uB;uF;I4~}[ a/5a=w) d(#[f._d؅j.uG7u6#'taBD҆B}''I |й,_O p^bf- A@m1AN&1N5 F$V`]m[,>_cVj _@U[;Am&(ټ wO#;U4H⭗gNV +tOEL>M~N|\PWлD u3&P<Trt1zdMoxEϖ̬U)MfoeOq w$K!f?8\ ݇jpdI=0Bg`?9du-k6~_cA( *~8ikW`G.j8V}w[ Et/Ec$ 5~,;ʥ:g*t"<m!K9FzYrM2)1%qX;B 84z=X쬩Zd ;s2Ï`{"JfL0Yrzj90gE<:a2qTjOGʙ hY%0ʛRhMQZҖabCC.Z3C-yZ}avxjO`N|Jł N>\0 J%I˒-HdZm {6Gbޘݑƭ<vnӏ[eMRCGnc͓i1JdoqZn8ɶw`m[cӟeCS4Ns-zK]Xqt^*$MjKP3 \^H3ge~)|TTh8tA"0_hĺ}=+El4qՐ3b3 \ a K$D _pb5g}FUy%9z}\0@aΞްU.A|\tcҿvNJf~`0LO_\`Y/_.kh@&#ͭ vVߔtH 7(Gw?)xP`6rGnaT1Wf] 1ǮImc9:aϯN*f#Vme'Ϥ2:ɳq-gvXjfPE9rf:;\2?y}vg|zTEKn)؟=ບ44&I228FخvT:It r_N]5{$(Gxƪ\rS.huT12 Z.@DeLid)F%WtA!05LmwI)Y ڕo&)Y<`j\`/>BxǓ@gt ډ d |%-X Bۅqg/Q{@ 8WqK8 ?荿f\,UPܽFbylh J2Y_6&ʩ ~F$({<Yғ[^`?VH `Hb˭qWtp 8zaLq s`jz2{ʼn .ex&idϕ ΪaW|2pT}DKrn(5)Do9U^?} ["焪6ζ~̣ʀ/i}W30;STOnDx.y9o3(U@ļcV]TJQJ'w/Y)ɐh(yFv%"rB)= @xwc"> '"TyVj(xaC(a hUhv \%KJkv}ʯY%cJ*SZ!rX%t6[bU4,r@/}ESO#يyԈ?7,YGV |-N_DIAVq ˅A6.9Gާ.#kT#"uBpf>P1&9- ښpѼggUXU)|ޡlq<=FWJ44$鱝9Xr H+VI\cpZNG;k k I z@Z>R3ÿURϡ]HMޞUvn,2u|J_ :}IL$7ɀ?JZ] S$CtgOf.ſFEvܛ/Y|[Y|sa:W&̬\)Cx$ե{- aCY=ȍx8 Y xwn *ôMpMp XPRj4ޣ=Ϯw' ⬫W\n(v7f+ifȔ@!ЉIiy! %LkDr`|45Slh6XO6gZa~K#x*wiOAolIٺ>Jlek)r4sJޤn3 ʔeͧ/L0,ՠ9$f(p2 ; PR 8ѽ%3'-\t`e DŽqTrDCNjGWDrfbKF[ {hq(\L5N3O=Ywl}`EOTm^ڦCQ_PWU*G< U&Sb$l0bWCG^pvL0ecW6 +l3fk3舫/-pf zix &)rE&ĺ~@WָVfy,Vq0YkuT #ݨ@frŠF3 5W܃fq%SpF7{ 4>8 ډF%'ڼdq?T-}7m)3飽[T:n bic-!#LJOEcGiI(HcT`?/zJV= Z]`æpD\kZouhΜlS^zVO\ ^kVE1D;轄v:ib\&qj0"=/9~ LBV#a"-o#jSTf_ (ZAx90gxd?VX* *¯]+ϪA|+H)EWbp,G@GEH岕mLsЖnˠ?+q%OP*W?/=Cz5r,&V=oRnwȯʀŵhFޗ>Kw.t" GS/'"RfhY α_T& 8cO  [YTd^h6A:ݺRi[v m]lʙ`o![F0LSD6dv!])2鈮F2Hly&i+0mv͝4@ƫi/zJ  *\PKwō9G[i#w4o*Μ?B\+.M5;e0EΊ-HMIHU'tOJ?buɵ|%j6)q]VZ|x0J!g V9끲*'ۅ;v+ ,} F jCذc$…^Sˬ2jp&bQ> m6߭[¹ uQAhKil9[ iہ`sYd8Y&۷$$OB`n߄#zMPf 莫ÔKÇ2O&~&qAWtTkN(Gy]Ͽ7A&Zl^msMߍ5 iQNNT-tϔ5m7b6&1P/{F:B\#zX:|zH5 W-OWCywz ʔ ;tf%KQKXU:H?wԷeUvvD5jhqVJA`V*l#e(GF1OJu/9tuMZFOnjV?~pv&nu X?&RȞ$jFce _n uEEcB]ʌq,TrCHMG#V0sTB1Ü!qnN `UY?:NENd^~:[Ŋ(nא>|SMDbXgׇx6O"SI.~45n W磻@[a|meQ_<17:5Àbj֝(E=fC <\Aw{\vc!:&5_lF瀣Crml4A1˹}D~OV[2 ݶ~׷Fv~t-ix>*[7"ZmrJDz.dB[qRO٣Pg lq̻Wsi@)j#=חՁ9x_%syINB0>[[ڰ tXWڠ Y,;vޮw{m GnELpǿRS.|C@#gS9-I< P>(ڐ0*|Fqob& 4Ŋ mA6VZ& ).[x~@Lh0? *Ro0. {e'K?eUxEx('L4KJq3a+G62\tbY \]1Fic`:f-!r,=$3pQc&`B:\Zo@2}"K$MDرiC␉F=.,sH)8KRUWKg3B `+^j^bjŘ^ rD-vg$\~ӊS?zͱV~\ S5oV|% i;`/׀l[fdM r=e>Oͬ;ۯlyH[e{/G C]?gP?DVq OQUҝ2 :ݍW<\'4'9KnCxP@#e~Q{8ktzIқYib6X چ&@ǺLD,wVY+Opt`6m5FPg\Y#v0AZg ϴiU5wn}Y ½|o^R rD*֗NM)09(꺉IWdJlzw SLs?{ghhs!FLQiKu |g.֢I┧ bk:K"h|zQQ }Vdsj3L (d$ aZȸ6ܓd s]yp"ƀX]n#< 'jÚR-@Z_`t]K$oj V.Q^u@ dfrp=b{o$:M(n"-N;6c$8Îx7S2R`!9vq7.71JRetei呲~ajCUpE8 1V^ zw&c5 irAd=^o-gH`t &# InMj5%iա~tY_u,au!O&# [5&L| `&3K(MWG0Ѻ /9txzcȕ#H#.tOqmITld<(OZNum_dG6hβ l==W2tYU9NӽY̔ٺ,PiB 2++~FS5fZO힞˩i8ў7dX)=44$^F;H|7tju9g'0ᣑNS&d߃c0x6VWҢ5@lw]w,DCCߧ{ޕśb^:oݜiJ]]uOVi?E~RΑHX12E/ SNJ#io^J/˯)ꑮ+@$y"'pDi"ɮS,Nf_ Q7=CCXst?7tdU W?Z\)4&X$BG_'YEIt 6G[5QUEi@G6!unjLVFc4.,3r,pEkgmρ]22/8j5Ӥ0GB^&XW{ihT CᗀL˚҆ݷ=04Snྯ"-dA 0.ԓ[j0Cx5$ybmϭ2,e16!qdUf|"ħlE,#QSp,1U97*9ۼb1OБh-ؤKh׬w!gb. E㊩m\Лeu$X6[lJ#(O]lpNc#!e EGz|ن5ٶGH/ y }-6+*dV`$fFif^(50 H) -J'"%k DBlgYZ7zXZִF! "6]ŗXiɟ1˦r!cHkMeBd4ǽCdZx# V c <Ո; I "/R0Y`M賁HB9z:VJ_X@sf>jghY^*PJ9C pXj)K͒$TsD @x^dk+`6rDW৪dz@x֩> T8  ,f_ZV!UA?['%qqQ=50e%\jh)6 ѬUK{rmF9VFa%ٶ+drۭG}!- L~M<(kڥmvo&?.m-Ӂ[1Jk/e^rijì@  "` :'MBqquV}4$19dqVI}$(=o7):5u*oq\jI!zlh|U=2et-eڪ{:j +ePcC R))`j\U3[* 畔#TFw0p)^9[g>vؽrde3>{Y]!ú[ P;?*(3AU|XA =m@f|7yCfG @urP޶S0ޟBqWː(ו5幥Qh< 1On50'?~3E> m|NU+?,tJg]X9A* [{!yƺD/i}u );m n`Fu= RjM eue>xiDOr:r>nH4 2O^*Pg/m%]D%{Rֳ|fw \VὊBv֞rӮVLnliW~)+;uS()@H8Ҭg=J'/߿%c=D=_+:^㵣!j3lD`7.NFypE6*6@maed aR'kم'vzZmԮs;(/OxfXsХM)v0`Vl<T j$7oSj qU UĒ0@QK[Ph*6t?-'Ð;`y8ܙkJ E9}?8뻯SA u;Rfe=2vr7a̟>b`f6Wvjڛ(jCkBn[39ysR(1&ܾ]Uc2ڦ#.*=L:: )~+G򍜖ܺ~.9R5d2g-%p&><ʧ4 h@%dLlanf%lwkw`z f!@םYqЧ⪎tdK0.rTG.E'Щ,Ƃ9HɗA-l7pڜ'bں>~Gep~CJsZB*esg/Q FխW2n9\u0 |RE'WrZ<$!%2in0TF1]3_{ k`«䗘jc6[xѼeiƫ񅚊haA,eZe)n'_q Kդr6K\ 3>XgO3, op2n.강VzT:TexҿG8Z#iRw[>?9H 9`:^ZJC#t=Oa/8?|tR1OҵG^=+t@]:zm4'jIiHX+V"]='Q ۡY׌K>u gL)񜺵h73ӽ =7ҘcQ{FH>#|f芑#5 cC╃X?q*<+ӷ[Sa[ ~BN}BX,(Ф3 ] ?I P;w+XAT ŵXd(.?o)޷Xy %5-W/Ǧop 8}EC*źPU]aIY(K''CSz@p$~ i>=bg?@>Դd M%=o/*jUx[s4]=a~;|MdܿB:b:,شS";(sV؞b,\[W1ՕA/# Pi`4`_ɋ #@#]9ÊdPIrR>_'_8v/t36n tV'2)KEvcϽ+2Uɞ`yJX-^cn.E2⭀H#VXy7%ڇ=$,=/FOFWҕ?p`KjmZRZl C2Nݨ]r-E$ 6;BbnG-mV+ǗYlfQ]ҿ/^-l%RϖMx"8Fq6 )0ZL*G-BE3h#<*& |ԖJpދK`]+֟Ls,Un}Dln:rv8_!_LOAqWdbʇ6nxl>/ IpJ1}r:M1h`Yi {äeEumLJ,N|V93J822"=6ыt@@AwOCcgO ciG}yo'ilχT9ш' pX{1ŋ`ZɰUZ44wuEh] 9ᨻP&2?89G4(l2*f v*[KLkkbKz_ve>-OhI zLy3[rc\,%Ɓ}{5<ܣpEةy}/a~L~ϼ$aɧ-WE;Pd [a=%;xaL"uu>slCFpU'L5"f0(!$/[9@`߰jx@lnIhOI9Wx|H25AWvg?)~ahM uW[g)jNkeʅЄ;(3R_xXtd~w_ELкb69}j~UW lmҧ0 cuy-da O)*|"Ϧex azSw#DQɈ[UYڧfx?N.*w)Q)6ʺlբ}V0K.; LTnJ,w~L9lK2Rɱ}%} {lQn`m0H-]N7B,lTO1JӘX2t%aݩ?0}-jɞ6 jkE1o"1gZbR ڌb)lPFJ `oxi&s@iÃ-c,'&eL}z'anoY$e9O~Fou#O߸#)Bs8xK>$LjK~rG6-.Ľ .J h^[I'M0t1xz$`Rel@Ăh)eP5KaDp_ZlbjN^@y;@NH)_ s1&ɎGJLkt#.l=O&!a(VvD'3sy2wmaɦ#n*ӥh]}kyM9;UV8d4cB%ю骁\M\Z9͆?zh47;AۍxvZP[́\ʚWD]1SC"S\2B^K^u?+DZZ Y7l/ /:2p'> 5~(&Kt> 04ZTX[ A|zݑ}fO$4<à{C12Җo+IUGPՈcRb]?.ޟ}=`C`;Y9[oԁ^2":K g&0 P`O>Rߌv zXˠIx[*,9! ('w6Uk1V+*G83ٴ!qFơwOɩ;%d7s1Ma9 &y4l7m7'@_cۍt4e\SJ5s!C{xXEmjfX Rtݎ>@®rZOhNǧayz4.EF - uSw\Qж%q"˲(\B&t0`ؐ@16N*@0KPn=ʜ#~;:l8:&=B\V9Yh/&.`/wu kGOhc.6~M~*v8@N[%؁'%/?E &"88r5 vZ%N*]zZ!vaKCXcm9tO6+v;r ãaO۴]d vuA;8,ķަصMmkg]=6q4` ٭C^Ue6ݎ\?@rPF i\wO.[㥧d)U-H!QH\W"DZ@&p2߱:bSFz&P_<{GhH|afapw wl-CӺ/e>e3޲DpqƐ"gƟ3ȏYY\ yv38v IA)%maXZ܄(d"IG r%xƲ~-u<j\~E 'a{^VmwL?f9/W6Fo;/BiH&F mU37^#9~)L:M7_hErH@ϻx~f\#S2&|CeA nsfO׎ $[u1&ub8?yR)8T/)4=YeG|HuzeFoC^_^v >E,%%"s1 {6Z8z5+JP榹,gœHm!rDz:nD\<3l/ Eng\Gdf7;+#)ߡ4"hkiiCLɃq;)?'bY( D<=/6$<=@-`3adFQO!n(O(DԢ6@)sP{W rp<"u-^.7)ueGj)ĘAPgpv,fK!4ķ :l: Ck#oxomT H-iRRdBeFöe^y_[U8Rh3od-Ts8Y@Sϗ"[P/k4E ,ڋH9 3PRVSئ YQR1+njkK $ zGM\Sy[5oLA7natq.Uh[apN]/J'MQeH">ڶ ưˇMa$=x#cWo͟S032w~`-:#DaUh9.,nGd)5]/?ԪDF3Pn@leHxBɵY{ v "tQW;ԉ~)L,N(Lkv3^c{}ura!su;~.^IKNn)d6obSG :)tbs}'G~kg$uTM apbFtR9e˗"XEBXw8.ͺMe:]q(Zǎ ܉̤bY~UkZ=qCDek?0R7*^wF}p60@OIbpΟe &޺r }TIQ?X wf)HϗC>g1"ѥ\a'gm"eM˨)o+n=kiM7ׂI͐=- XfS'v6w<HB3Y[Nyv찍-294u@Dg].aedO؆͇QMSY6^? ? ne:>jR̸)D@t 5NN Kl;;1I;FFτ3ȸ^ACIm513]-yw)ՋĖXˎJ6} (C/R$J+7gb5lE>ہKR!*?FZo@C"A9Y$שNlFv?B҈Vcӛ>򲅖GoO; M,or]ZU1sB99"@nj̉]iI?PVU>񚞇tZAdȢɄ 4|=]W@A C/cwe݅!gΙcfxC? +N4O_Ampfň{ԴpDcLTwQz9ͧOOi%2`$\sbUq jujDYhxs,Ƹ =g&C@lDB~D |T1=C-"27nxzDT 풃PE5@PZ'n?mlRgiNGPzB*xU ȿ/NuMK49ORy3+J8]xƎoNk 1'nsp2:xDz,۴jH+""Rڛqj}UwE9fYLG0?V \e$Vvƶ_nz.R-1$Uh^OxRg# Ӓ{O3 REX<^6.X_ihF-Dػ̰"R6h9W\U Goҷ_˩}|Z O3%.B% 8ckT(dk2>M0x+^Dw#y*0̄ϬdvDz%/$c4{#K!>2 ?_m7zֱد =h=AYKI`,=Kc<=aЩo KEMt2aurzEcg 4V>1HA2yV@7)H7wJc^1a^0-L%&[J T"3~Rox#)TyznRmrrGhEү<hW~,pїϾN6 3n Wtv(+9ç?u*= UUɟ5k͸*K*@bSKzt@%Ms 39OΦɕ,/ ͚JMb7 EruboP8gԘtY[R/P+1uhp}6"%0r4i!˪X/By-2"pTՈD!)׍_2~nvvNa[mE &QU76mCVɵI*f;*jέ[N;)3W邻F8zǸIa,u$u*?{(> @`RG >cX*I6t ©uh I8ayJ\>ą0c5"i_tS JJv4X%[WNNKh43nF3K8\ă 'Vs \vJ-HÍ(w)0֟7l,o/m~꾻t N臛{Fs))mYCISJԱ֒]5G5ʢ"6"5%p`H}Z!fN m5lQ `A3c+Dn@Wʋk:_%)ѽN->o0}c&$ 0h7dLv TI;J8h{x66Tw5A%j|崪G͌0t_|<=ooZOQg<]~9fEuSSб\zl(VbY}m[7P<ώbr?30skU]Q{Ojf2|_*Ш( )ڪ7N7-&YKM翃E+wO7ht׋=f=5B(q(1rd9SlaoHMUnЊsUPQ % ʊʧ ]Jn=*ȱk1s@ 8=)YCp(ݖL@VzB9H!HHa5W4VqukjrwMdER 9\Wi_%ҿs׎î\.ad]Pr(dü{{&>tsWn} Sh#ڶeͨK;t x* +L56j$̟B59@).yQ6tm 50 N'z+"l O]vӲӯa}a$@!ןNۚXѰvCQ P)f0N|NN@Z#wjzҼIJ9pON R]*-U `>!mY* Ϻt;xJ)x)WJ6D;1)"N+a@sػ z_ޒ v=%9Ѝ g#{!6ti I+D#Oz}¯N^|ۢE' _nB様ͬM^6X76=y~I l`TWBJVNmjfyC` ^PY`A(T8i1Aqjd 46R(V2u I\}[඄$NBԃG2PEH=_l`7000l],dlP {N*60͙e4 5lf#%YDtxs=EM`ݙ&4v=u0t|ce1LnV?*J/uA\Y6Ms8еZ`qߔkr{Ux` gg7:տdr`-![0C(turd:b؉'v=~ǯ]=1vB&v |4'r Dynkϰc9m0j$sm'[R]HN]>ωo"EsWh(VUI:2 jXFZN0j끲l4Aj!Gzah X\ 0Bu0 1i*qMY c1RƿGJ#1qN }=4O JLN4}'g '_`eҀ'.)~s-y\udp[ra8p5P=F(gJ=@X}nG3.=&N6@u4h{`*؝6xO\ɩv.#-DVc ]^@0{J"%˝HPs\sxaRc,KFNj]&XCc`@%}9w|"yhdQ#柄?БdJczyh#4Ub|(DvYjzqLVQJ@,%斝{mnH1@B¾g캌b?S$(ۇc\d$L$:EV*!EBMOѕ f;4'˅uv]Y9{7],>~F˘o^^DIqC]QPcɓQͺGs?~njϥ@Ph+MZ%UNkcF"؋L~TyxUCfe:"ia/M:mZE1C;'EJGTV szuy}3Sr|"7reٻ~QoWWÉSl©sJg6S"T=/O(@ K?|edQszv4w[E"onek}Do_Q<'wJm%@2)jY +7efyJBPbK3^Q*A9yVX_Ix>M(m2Vb$HhqN7[- .$D6"ڃ9ǃJ3:a84K vTak0[^~ЦAS4&/KC{V~[aaso9:5?ռWeڄ!;YpYޣ އI ~5(oSa‡pSє; l!W\;QvFXU|7zM ~ت;y 7m]UR׳AǧEt:Oa%Lxp|+=>$,;Z>޹ٙG#7wV"٠çuH.q8]*~igmf5js%m*(cgn{u =A%z}?zo?\bUJx,0x9IŲ kǣЂ8Q\f QU.UW%K8񃵸rtRC:\=[")J۲}-j4zx:IZ Գ ~}({r b%#wD+ N!RG rPHʸs6W! ;YRMP86L#y e,K~o\^`$)>'x㐡`E\q!k&P7vaٱk.u$9t&.2קϴ:0xE`W=kABM G9iO?}*[="~*l\/\æ3/= f#3:Y+@ m60Ļʡ*^/Xc&,(`]CsŽYmʑ>p[ʦkl*bl4 t4YǨOL곪]ZXս!7Tehvjx{{wBwÁ+ZYzv8̑"۳SBEsYM#7(_찷)J7y0$'('tnJr!J; A?$dW(pj7aO$N3hi"EzhYlEIf`leZRj L8Yr<{t{Әgb ,fC$mhݣb׼SrLֱai}#UOu-Q#]Q$_$&Q` )4݈ pÀL/MRu4IZ lj #.@d n}]z{>{?݉5;+RN\͓Ao@X)AF/VƾuGHY=?*4FjW&ITSϾ)%?C-ݜ@5 P^TfM8Xib%]l"亠|v>yN IwK)LVܞ2ᓜ%btC ?zhE C v?o=w@W WˆiYc{է/ :.y"oI aHJkeMs~[sAUCF*FNG=8 V Qߒ^o;)1J~X#O!K&mC`kG,6(E]&*N!$#要ipdbmg6ٟ\unzUi P8@xށm1z%;h%F!pC4bz*<\ۉŃTpg&xmDY<q\Gy'= }+3I)H*D.[S". uga2hM|@$0(}KS f! {zTuv3?$\eނJA1pT5lG8S_̚q~A}AR?4-Y+3;Hɩ5ew'&Z1{ g0aCx}3?5xtX}x7f*]dYP 2'X {t((g^ f8{E:x)CK+զqXvBDa%D+m0 N&=ף Ҝte OSO~<g*a\h,/C`0_?dcͅ'rIދ{^žD\Q*yTFq xPU8^{}KҔ0Ӓ9j~"Y3odU|:! ;gWIDf bﶪ&AYgJ](K-W XӄjaUζH~_?lu#g[oc3rXv2k/Ɖy NZSslq/ śc: y, ~{Jpaw77v@[#ӷ祻I<=806t4SUhPAr_ &cӻ{c֔6X}kl-ͪW|Mt&6>Jq !:NPLZ/AvV_Z} Q5 &ZfP8zK2GW*͇ݻULVGmpX([K$2W`uWߠm#Kӄ?F3ۓjƻttVМ!ueu 9dOMVF/bLi3R1;ko'D7˅ ;6O"R5{CpS:d ӫ/&hI Uܹ#0w(~Q+h'!r 0F: ("-NQ*'UYG DݩCd,QNnsGXG"Opwyo`JYnߪ}fVwm,C3/~oe! Eb5}dt!P,$w4֋(@!C^"zjvd=wV_ ; eIL]NqbD\%/u?gR x'Se*܃ C.ݎ4.U-(P.#b`T$_$̙ӒV̓KI=Cp;18~5i Q++Uϔۧ,cB8ŕo P4.YH1rvQérqPoªY 34$] aJoکC%/EcfT}ޠ{I8H|nOIr>>5Ex-W$^55;Ov'yF/ 0VaQywa$O,bM̲foBTUIe_kbsr9-w3\tk &V0ZP%G$InchSMl$ST>F~ǿ6 Ar(.tp"F\cTH@K/Hhxe& IYxvgP(+x$IZPGl#|wm!(+껔Ij.0ņbΎsL!jEYu_V^]`|i%=nP΢PWAB}crV <61|26 w| Rk(1HUW #-Tc`| h^^.]_$]<,Jx=H?Oe -"T%ƌ!ɨU\?38MOڎb@QfkeDqavPfL-:7\k`SWJԠ$&lZt^fj;`S,Mkb˯q="mPDL׽+ gieZ(!%Hā륛j|\En,(-6:d/pB}1_1vdjlg4Ю-.Θ/9VO}t9Ho7{W}*ش׺R +_#`:[!ÇPhT|&ۓ2(߼TfL~X$t<27?}=c1$ ZQ]URB/縰;ǶN:]|=NKNň|G6\;8 6򦁞'/#UȗkEQs> Xm֖sRxO.{*Jv?I: MPAa˱|1IKbM.k^(w5 3Y)᫄pJC&:ᴂEś*В5D%XnB~-sK!`hk՚ ^7s*ۛH㼂ޥs F~xϠP3O4U48h@"mq1ay~_XYMeC\T)^[^Ƒyv^Sҁ.= t=𜂉d2Uz 3BNtF,Ѯq8n@& e C^'Bj"ޑQ0x}su¡`gcʼnEY<ygtA/ okWMvogvgB;s.$ܩ"fzsg}evA'ɍj$ro|Ρ$叢tOȂMO+I;/OR֬K-^%%0c,Wk4&g$E=b8JsH+Ed"QU/u3.sWVf6k'? jeFÈ_zH{$efP#ûjԵOnE2^Y,3.e$7X)sF]}~yI}'~:yYWԨXN)Y^3|"9̅Gs A5 ]cBd?k3>|CEB%'靪[%MgQ8K hYhGc/A {&@vd¼sI;w쟑6-`ѧM݋4~X0K} 3wQ'R.iQdSuF=C'0gMe\O i!|6X1R@8F|^N2c )F޵R_ToG}Ō&>`z!JEw֏*jRRi{M2h"~] {9+)WH\SOp"ee k1=HKϐ*WSa!iGLlAMaϦ>9N(Cj8ʞr$U4HdW=g|nsf`+Ih"[S5x S_p= 25=eOΊ6U|kDAM9@$aZW辉g@`έ  Q' Usw.Hpm}5&m޲H[*6K93B=t $Oxx/:{?.O],N՛3UTAS4d>FEdKkD2B~e3̈9S}vS05ʲe{Hn®]S %&Ԥlݾ.c8K輓,DKG0-uDGU|jٞ~^\x*&╣$/&-|IDl/! ό 85*](<⨋کtǢbq \o' Lb!ٱ̮ *715?'sXŎ2sxXQI/O&s@S,L| WxƉ!y*VQN1R0V'6l>!ӠP,|z LNADQ^ ۼeR ^dK9ΰ  9 'Gu!ꡱb* *{h2o3ej-P-98Fʤm'c8b9z9Tիcx YZNlCs>n߱y(Z_RIb9߯Ԭn`z}EF n`aOzm.hr N'64O][Mɕ\g?M-ʏU4.IuQoj°ť6(zwb G<<4%[Q`\\LCn֖=AdG#F1X• @_K7 ~嗒 1H5y"RZ5>O"?Y,0ˢwNaFAc \a ݀FA=)29#9|.:kDQ(4j͓;G:F9׳^(CzA!Prnv}HkTrMNC)fn]SSV~]oJmʤȖ&9.d8ׯ{ 9`TcPa!‚H̦?ȍp8 KLٳ>v{z~Ne.X޿-Hp|V#rriv)AMa$uU<"\Z. `܍Ζ5ux@W}_?ȃRڏj\Y0]7E5)(m4Ҥ+Lt'K;I(V7ibUAO$*Ɩ֤ jj06"0u$Ftpl7&Ѩf|/:lV-