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 \%Td ]/]HOL-Analysis:threads=6elapsed=285.148cpu=1243.640gc=87.380factor=4.367zXZִF! ;@]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'o"eK|(ji4 &" Q'JlWQVYLߗ_f~`X}dÜ)]قHB>N6O_M: :YW_H zkkdwY!?*>M,q7u%ř:9G L lS7 ָО=͹K\"?hP`)HBf$ʇ*rr}{sP5S.uN % HOL-AnalysiszE2S rS1p`/G؇ъ?R3;F]U["?<`XtU)JixDC4H()O=BƹeW2̈ũ a lĴ$Oa13C֍I,E~Q_)E-3&2nrHaH ˈ΃_G Vub0n^5T5C"0¸j3wL^Ł8"jAn7 |+$cLd; 7M+2rт.R`gA:}AK7VUZ>U o<faA7 $)GԼZ55=Bx'Y2[g7//o"NjUd^m4=@kýsdj91<4 QykYxF Y>&1ZۭDh*tv&WF輯x ow\@y:l,"+T#ұmj/0t_ͥԫWGj5`NQ\H>ɸq9TC1b,m?9Y=K*<@2Gη !Y ߺhRT&&ͻ( e!_q㐒O4T$]sTn =)Xgх 9M-F_:JP4/GX1`b~Z@EWmT!mI||!4?B..lR)>rtM. ɂFpU䬣 ^#{QhahieۯWἌg)SD Ψ̎Xd N&.2BXΛ {O C.O`إL92 aqᲉ,&OJA~O,NRlTx*[N_XЁgc~}7=7PkX%S- }aHSԃzPa3n )Թ:`+XWHuT4d r׉cm‡=e"9ldA2sbnYb@G?ntUf!>=V9QɁPEcm[ʷeahv˱|C.2.AU~lFMGyE NgdrhHC<{9asRz4+%5jwTQT=ᠬ }I%$邳 vMwSCqukp],@5tQS'y`UXs_]Ǵze.u~Hjf(ޙE5.y̯蠱)[74wc"{ Xк &믖&"!fpԞoX#%3Z2թNbJ8Kuo~G`"o dDaH3 {{Yja;CY(V1Fd5f=:6)R RM)UB)ElH (BM",w%݁.4ԫ5 |hyJY#E ADy2M-huf.͕‡##wJ.rzeJҋ Uqs^0K@+zT Bג PnGkb}hnc8) Lim!d9v85941OK+J5 Cc4vfLCT]XTXy[tɎ6uy{ׂS9>kFcj%}{`g0kbTKo\8]-dٙX<3vмY~ʹ( WYc?+V c8cq6(`j 6:- IM  `z(U=%XetSG+D}(t4{ 1Jay1nnd-[F"6kSZiaF:izo |# ƞM-൚ :ցduډMя$FEi[ZG5B1/{?Y=a{o0Y\ut]ɠ m>>dRy| _%s]rMzD*RK 0R&\:g\p;00?RAߺ HdsqMXې!`04d8I,g=5̉^<&BfU%20hN,Pm5`AlNKu֧ȽJv2U*s kbY>qxLLmu4EVV>F3SԺúZ./ǂ۴P!..y,H=pVsuN/.X]a`v[r&/'EKms^/ 5wla,צns1(vϪZ*&WS*(C3fp-pi.֢,^kfd471 (.2/d2YL]J4 Uˠ;9:*kރIÕclj9 * ͸|ƂzYݯ MC6~:<L=/kזvc?)سbGoKEQo_{o XB_@mJiQXBQ6R0&geY#>^wzlEʇ SrGWiDk:;̬dNajK2~z|*yEEdB`޹SPagltkn$3Odr2I$ƥ{@oc%qM.$En\R%δE/&" !r# BqUVi6,bs =3/JK=mo7!wz1y$ `^Ǒt[÷Y={:d&dmrU;q=?t?6 x? Wi #5LfL~cfDB,E9Gy#6]kW]ҟ΄;q&SJPbh?6Ol>dΜNΪr{NB>oA<`2R07 A4pf8;ÀabȇW49~_'O !c"RU} Ԡ_C`$e~Mɡ{x9>_.K{-! iV܅>uHZ.Ț䚿km)ȱYä-p]rI8{08}qKEap@>8gD HZ؈H[-ܼ%<Ċ~B,KB1$(/-G *36!Um8yo!D+ ҥlHgsЦ%0ޜ&K5@b|:8}?~#[Xu?kG;^z Tâ}[xAܟAČhF\љ@b>N5@ Z1slW%6,,~c,~kO1>2΋ض)nMS5IK@hW`!nruMdf.}o\#X ncZn4ߍ `U>cR!uzLif% .mjxF]Y~M"o#2f`^K6:x.D?CaĬ>! 6 ̦ע;@F\9qZhJ[=% ~*8%n@M;5Z-<5tucp "Ky_n3}L Z蓴~y:m8lq=:l87ԕ.&Ze:@A9>; ?`AiIx}DL^3mO_B s Խ7zՑa?L~c5p="h)('GB&ڌxsi`g%,GХͩGt8%Ʈ=}zmc|ruyz8>Ev8v`t9M(v f4,{ַT( WI1 X 9KY+̣a=UU~j7?,El]Vف- (# BQ%(!W%Uj unH>AA!i~(G~ifG6.WЂ߹hj]y/:]L՗/v>'e9e1HaŴvN}fK( ϝ\oPqf[Hv쀯f)|xZE}%$d8۫-1ut,#JT/1PhLUoP Tʯ~e!}P~:uց53٩aO[cDk%7e\)d .pйLƘ09ǐ'$1yI ]BL\7 [ކ+J-?$^SaXBu0xp>]V9zZd< g*k,JiIeitOiGkD  w+.iIޛu)/دbU*j6ޕ-G>)W ܹ| 4zFٔHsIŲtSϟpr/Yܺ!28/9p8s >:=;r?o)7<"]&ϟ)7t86T MJ 'Q+ʘ{zo~謒FYyม Y[='qbpmBTfeQ(6x}mY2 nXDS#}h͈ CقI{WQ2FTQm@8<9XWV 9w@A.j08ݲT0+@kGew8S%gvN~_u'^3֙r#"[q-eBd~FWHYel۲Dh, uɢdI:xXBK.}SŻV}DR#zG&nqm=I _ [fE$܌2 &`A0:GZq28𹄟#gvNjpͳpfk7)_jVm6,J T1_\0!`yOLUVvf4>h;/.]_F0مzҷB#TA;$}zrl viм%QrA>툅D oGݚowvkOm";g N+ڜǁ㇥۔"hM˼.JMA[͜pք(U&3+Lo ?iAf87~KBlZBiRv_d>${'; ){+Sʲ"\?CmJ: 'N;0hjjuH[Jr5ޔOo"3qsipݫ5o~]Tl3 ۓq/LS"3:[[II>1Y"" GVl$m]R6ބ\dT8~.w M*VZFP Te CM'D^2CmB|W*`9;(?k06{|./.}8J=;6[/Y~7)qb&\wDS[p2C$JBSߣOpG~u? jj'EO *tߨD#I\|ۺ"x &_2 %6 &OY3,sV=HhpN.!J}Tc!d}@'{WlH.'`?c0aáKMiWNYa_gC1>C3sk\b]ʚTuF֑' m% pv2kj5'ۼPjə8/"7ޙ嚉AR c</t4has;/7"Y\kmu&\jU" Y?hм.>xKb$Ev5=sXPAWnRlDbvך!B?';3q8\u `nS8a Yʎ L(RÚqFT70N7E䰷 7T@A,̒Ldy7UH`gFt:YCXtWxaa pWaྤ2Uq-?VA߱(oIAIek3 wҎ^, Ww$wNXw ph-|}FMN'g.o]۝w!MȹM Y|ID1):}{4_/Wd[wLYJޠobRNf,)33T=ջ\Ĝ;4^/&Ns8 lj`Tж۲ᏙWSbUm}vxCG0NocǑRLf!*-=k(u'rԼ͛:xYRzfU""5pxՃVF\l:vM;(vO]ĞjȥD6:kx@1fztIJm-ꩉ(3A Ytft*nK`x}Ex7 wUo2X9O@:hpR~-x "n,P/u?S\*I@Q/etCa]I[x\X_! [O/w;agEЛlbd ջ=t3H=ˀCI0oi0iZ8 ;dt`h#_6ضX.@+ !4;м7|a>"Ze֌Hd9g#$DZlb =0pi u̬52t`Ch`…_DBk#{jěӁz1u.'->=&s{VX{bCuvr)!=^2\ZJN;;.q1)͟3.^vqfn7JؒMR؏&/9_6ۍGuâ);PW,^ڥ v{VZ6'1(~585QATAKbH"OV{8ؤv !2TwJB B_=6djFDKq*>ey՞s+nBEǨxFx1 *1+b`0'~+"Ŷql],yv_ꜯaœ l{L ݑ9P;kgɰ, _0(ЬKrĭ^o+SL;Gj1d"qSl "urjgϦ4om;5$ď7ɇ M~PFJW=>zY ,eZN0.[֪`bIuF`4j٨snUJXtކLk 5Nd" 'h9M{)4Y8-?/鵈)T<[%K Š1D7-?9F%s玣M [P4!C֩a%#ZthIԮIKw&h&N{<أ6=ج]%kp&}E*ѐI`}(8Ҥu-w6iޫU8hQr:=ks BT Qu0#M#T8zéiVhOF1I5IorF(OHW4x";7eBHȞc;r1Ybߪ0&{LRZt;7s3.(AsrM|_#uow->jF?k:W-˻#cXՕmxNgsyTk-૙_CdD,ɞz9_mFȃR&tP{K Ux/dp+;]$$15OZPD9笸;"(Qթ4@H(+m\a7hLQaTKsڳsֆ:WʖJCLP-d"D\LyƷQ[j`/%4dfz"D/&<k`sjVיH2C\^M7^roH{RkڔOKo7gxD2-&PVog;gի.2iƒ͗UyK#f./m"}v\~kǛ͞dFnQ~+*V*(!8dYTL>ǚyA4wBM/Y;~1zs!2ȋy9Sk<[ǎvեam҅͗p+ƒe Y^&8fx@؛w̑\I'n'8LDB\Ҳ92!2EMnl0Z*8{7 > wr%dSͼq ӱ"lYYs@5ـn,А̏Nlzw^Kx/Yf91g!` P[_g i_~҉׾*F |f{.o1&p0~x]9d"T |Eq!hC# >&򠤖>I,Ϗ^3,6k?i*_pEHXo76 1ԉ}m-Qv%~nqtPd4BjHSfÊYڤʅ萻=*VBVv:"o>VHL_Yۑ>uSэͯ{˅,ԖYZ-HS 'TmȳVT\) %&]ܺ)1먥[o27,`}- <9+%*o$&䟫~rbRzch,sKor(`]{(1c_]O~]D>_l{P[1u;s{ F,eYÃL5gLI3Y,~Z$n5?iU\V{Ɍ B%Ӌi״A TԣOlxZp5=/~#.+ߘQAlvPK'cZ&CE0Atg"uE;IiѮ˾C82<C[#LDoE41OfP3'*J?%G˒;@J'Z5;5ĆE9?͸D'b,R+G'{6? HOdK!ԦkȐ7H̢z7hT$жڀ ߀w>-~&$v#E.u ^Qk:@4oԣu|hCԩMlJ&P59hy>%u"6΄IŠ<$9u:I p||K2C"uhPc(\@( f̂y"NrRH-oz9G5M=I&pk0)AqLh*(%|P]I)H^AaKFVAA ]zybG6B~'{s=@G6Us] sD껒*s[fT\DŽNh~;IKfٽ}ıNQocbB:ׇR"N7 rh gt_GF_9-fFëK+;dpJt^OdRNEIQz!юQʴAfRu'_ * ' vH=scDԦP-+*G0źixCZ?č4Sٳh^~ RIY)t[*`Ivs ŀ`n6׏""#ӕeg$q*i%15瓻9lTssF:%N+Ns1Gi-\z.@(Xׇ*A%P_>-MLx;Φ8D;Q|p9+Shfp5_{K%'bx"ꄪ $#Hpȳr, {)Oh]yQPThs!6z4pDo8V2zSE&*̡l(%:ELM\XIXBu҂{cllhGS>TDV ޑj3!R6y 12i~L+) )qhh*= : ؅eXj+.xBHYEyLRR껔5C녤k aWۯ'vDHjQߵ Un-^G`S`qy!NQ6Ԥ4 %r?˚PSК{>' _DLqge} 72jT)[;EHoډ7BD~:QӇeMWX/QtntC5{Zи`律@'ôJ։AA_ܔ,'+ I(ЪЖ_4 ‰˶=G? l|F tZM- lQ:GFQy̫) :걥cvfS^N 4'>j=Sc)PVw?;ۍVpT >eyHE-&|/$eûv[M!2d&4jʈO&e䚫Wv*9RB)+lGlPwdJL*A`Eyg!`j=!4A'2U-q f6!u"%".S6@C? C2#%9k9\~ﱅ~006a$] $\YG/2EAU.+,t?g׋i8*Wl| ga?7>>2z\0Mz3颩h}1,4Մw.o%\Lo!E}0v2 j%'ٺk+7xk)%-ՒMiiHHC0 Ӕ~ǿ8HԇjwdK mu)a Cuvѣd?+DC-SA;bqFbioR] bxlCxV kщƯ0ZfzrJw,sg2hyקZ7RTgH@K<2ٕ'%s( 8D`B$'qu# -6F CxPDtfbHzl/ZJF7o~zNeA) H FR=Oi<*u(LZW4m˟=0f<>55Vޞ~v\_A u/&8pO+ݲGo3\I"MG.QorZ2֔+mמXL7Ar"Oޟrn?M&IH'>.;ƦSTK"*vj3 omi m[oإ@}̋0yl{sv%.2S|Fal«qv{uFe#.ԗe#3S+ %~P#mWgc;ihD6Y(JFkˑJ_e!{em-<2oJB6QCW x]€&:G!HܻVb~yDF-f,2˳}HM4ޣI~ Iݠ`5;zrUG$5 -W/Jফ]t`d/Sba+*M,87JD d1g,<+EZ@*SxMU6854D scvBJ96iW"Yi2ayj1RkS;]H57zDd T,TI&(i ~8 #[[JGG59T8!g|HE7C .DQ "J`/]ԔB_v՛b)YCi?H eE(^"z*t(zY;D,a$ȮX{.r)u3dY1ݏ+\]!;a WCi* z ˈv.b9PlA>lܻQov gyQ] 7_3L4ilIci?~巳/];Lj/_ 4j Oang* +}֟ YIC?Kp8|JrTTOXo)iܾJ F5 N0:uQBft vLj m;l'8f䌑j}kOp RA:ztA=X&zC_w32sOӆ ,KCoB7#ӱgYZ7zXZִF! pV)]ŗXi%;3~dW)$bNP)\ۥ/|jƢ;8ݤ^'%_?Mk [:[ zIW_:}N"ۙxY7aN!X: ҷ'ߑ!]Ofi#֒+8juYwIKT 2MK[Tc*hѩ[{jS&O6œw w;4RdfOhQYL `1N>8CܤRiŅ+@Rhg=nvE#!&%h#`aȫ> g6Ȓ<~[Q+9/XAN*r*`Q2w,DKN3UdȘXFH>W"FvebWlxIפ_qgw^8 9K61cQR{G2uu2)=Zt])[;?O_ڮe݊bD?,C%_J v.&`Pf.VDtv宊V 81.&=nT+gO} =4 ,P}R{zeM\=d{gqhY΢ч3%t<󵚸UJ&+6vƒj;2uUtHsLRYH0KemOR*XϴonP^ߪTV6EFF_z\?t!ؤ6U<`"_$>?aE=qt#/\N5DOO>$k.ث4M qfF+v$fW! C3+A)aږCtʤcW%]RK}+Q-#8t$3Qm#ꮣ24#*MHw/$q-Z>an\ztP7a8:^bz5!tU#%ӝN^lŭO]gM?P3;MX/? @> +\nFDO䯳YA[8܌EI 1Bh,;ͦx9c6C7咓REzMxWCq09Xp46|/f;ޑxǎ CYdȽbq FQzQƝyZ:<]ڹ M(yWٗ)s;=7}wРNI4*MkdlVEmܕޙYTм=TՇ(Xb~\9RĵξzM@b̎>?ZƑ<}ըeXg9*C{8C9ЂOH)2- t{oY)8F +6 wⰮ$˓He/Ov 6*#~|R[wG L`+qRE9DAp_#lzq}lvYu g_F-HåؠSv("A_'팟s.Q ,a*K,ȞлIx<1^"T><ҒĎ'4*p*N(RFX+>M SF$;4/VCEg(.njR< Qj=gݺ[-\c+c In1G )LuB`KnY~mSdU*γCN%NӴ):AA~BX7[_gvK{%DQGDKTuV2 ElsgEއS)P, vo^ll8y C N2hoTddt >p&XnP7{ aeC@S|%w|-g|'4d\HdIH›1ѹ4eC w9WldMR.8s˥pD!lLw\ ͻ19Pzj'[c|6ib|Xݥ?CNwJpᾼgN7Z,:Kߟ?JCrk5^P)) ˵df`t/]a$;~Hvjt<J_r3%UW\b qi[1*`-L%MEwFU%\4q[]tu&N.~ )qyҝ,"$}İP ;~Rmm$h#GO$8a-8EΏ`&xqu)@YJ5']O=˳7 "(uSS@1^`ng/~/D^>֞ YO\,wIrY25IQ 4H6 !W/^yiL7O$>n-WT[>\~™dYf)3`ib][Flbkӽ 2LWW3Ft[7qN8;+ e2)?GyG*k[~eHO?M#5LbA\FFټaPψ͟}>,ugSf. ⶎ`?}eG|D:*G$ʪĖ?yhER墨#%TO=xQ7f!v.ˈ1Ew;PK+fQoEy2ŝbnTIKɧ ><#N VuR=3\>>L07?G_YE|%JJR̞\n{5Gn}Yۋ7Sq ?$/K$He3 ,Y0d$Z|+@Ǚ ½mP̳/qIsgvt5JC~uUCafC! ]dqgNr9o?\ݕ uFeTx`0k5lEMC؏S8 ydY&@i̔AkΣE2~vPt8ۮxX{kg b(1 -!B&$™~αUW& 3/[inD\Qg6zS}v$eDq'ўm4{&Ok!uTZ9YJN Y3%2,fʪ~z|>"eꋼ\%Ƶkյ7Nˆ+QRO?v#˗gΧ][@R.[ԃA{/qtq3D_ m6̰ūW@  4\ie,;3.g ڧe ]edMqK>whp>R/(0:#'`R\Zg2P<>d< 5\jN Amąaf*21;. < S  MFJN8Rx)ǩ“E;3c9~/6C z )fRn( z`ږ(]A/ AGɓ%еFYuw&-vȖf\1) CjHR}uma.9Ґ|o@EDnd>:Ϯؘedkq{Nq=>\*ٺ\ $hL%yA|c)0V-C> *iTpxGLW#_ћ ic{&?${9>t+wѱp6\U! z/$z7ZRStWwh6R'M|Z|\i3-.OiNrA< 􂻢aD[NPp΅ى vJoa2.rØ|x =mષWO~C2ڭ2 >7rj=Zt{jx9*Dt\OK^A&C}1]7yyx32R(-ҀAZ TϖrQ ue*6 eRYO)~ Zix!@0rieBqX%)3Da5t_1ƾ@\}RYk`DGRfƶjNX7 ##(R-\W$GSO=\V5.[EZ`-, Ռ !ʿbQDSK8-bo^< xuI4p8&ǠmLBf7F= ~[mmOW{~Lst^]:l[Qaؔ[!Ŭ=VųK'ݠ/d5W'p@^rlI~dO:&/3^G!2GL[%=tMy%Y^׋FjH3Vgxp7TӥfKWm(7-#{H~ACԦe8)$i=RB;_7q%X+^[^ /%rByPʇ1@M+4PS73 mxPÌ6뫻ǁdK FT/(d1 mzS /C~?Z5T7B?cGFղ ?,Y'L?j(eЦ)z"H(77x~3I,F7x$63d]Kw|Dj  mLsQPoDK+b}Eé/]'*,".LFP_()Q@4W#o7"MOBצ]nMh6Vӱ1ױmcj4hwUR( ټ2Tpcexڱ-dmZGWw}kt=}+m8G=6_ eX(=&/6Qکw:;ZXgjo>r"ѤDL؍7 (Kkg)TfiP}`MΤ2ܚ 7Kqk{cCM*Kao"j@zvsm>:M>ojC|o!]mVG7+g sWZU:)67ePіSի h2DZ^gg N7:B4Z: N}:{:ӣl_n0Xh3M .g,zVm(QvGXg2@i'Nb/ÉT!sO^.dq3PQqNPk>UJ7wYI5{;gn^D0[&P{zn&Yc(TNΏE1Gy{T҄y|D _=ZܬP¼9Z wC塢~1v֡bN=3{abN*{I tmE!2rT?W7Nfgl]%B5(&lEt @}騲sP W{_H^Ci 9on{gLiI-2c\4 z :zQ=^p `IƐA6MAֳQ_Ý ̢iKC Rx DW~f@'˯@ q Ϸ0" =䕊Xl\iB8<T{o2Cu-Elh K+(Op`ZU;cD*1[N`Y%57{U4 zY8CѮ/˜N۽5jk/Eb;Xj<)}ElC$_(|Ӹp sQs{0df$~9C|anv寐*ƐULf~D|X[,b-wúr<&0p-t,H ~_@٥  *F-Xհ*:;o"]OIE^rIFUV\F~|& $TL BO ߵI qcb=)]{E{f~&D-,KCj18.ι6O2Edw#V6hş,qw[Uoj "sR2)hmՑԝHbYPǝi.mevPΡ'@Y WgpU}\E(ʗvKt|GK{^fUo*(O7O{[Nʒ'M@<)-D)?+GK&Int͟/n˻ӛA]EuA}2]oԴB OT[uw*XєP/86}̥t!G+yaEUVih Tþd⬤0Z?hʿJ(N~_k-XS`U_HTo kG{-q* yxhER qFCodeWQVEj!E W@"GQv_6r"4g+22~`lN:0W ]uHMtXS6T~4A9"$xoc g&i۽اH5"zp xr;9^J2V'|UM=abli^J=q$|_hC3g`Bͻv1#n jAJ=f ,ϼGwnxowFϵ;7(~"G 8_YfNd n:C@aб{3e[E&fHVTkMfj2s,~4dr<4OghAb+#8T8u* fR?aMݖX tF'7OM!0csos9K(1}{)Ng3жrnXp5~ic6Էg㸧(r#>4vO-|ҙQPʚd.с6B%>橰:$>b\{Y'p.f +-R.xZءT]aʞm$XK@Ҕ0 tS!Z u iaRAKz<t*qheMkI᐀V@k+ /Lfiۖ ן= b0Q6|SRVR:%҅Urϖ\B$l/Q}U34k K;\}7^O>VPPK Σgs}x7N%Gִ/ChMH-ygP-?ILF~JrTJ7 m{sAB#7WI-ؠ]ZF57>c`(>pdddB& oc1U2#S{N">ń\n9^^Zv/Yȉ8(>T2/Fl ƃ8)IҳhmI QKZktsHZ/cH̦^caɿxvVӈbdegK:=[^H|*lR?~zhPŎOLYdca82!JDrɉmrSLOw|価T^ޒЗݙ&&E1;`>,+Tb.qJQ;--'ܾg}jr)I!R'~p 빯!Xw@/"l+#*eLܣs,niNܘs*: On΀3\?']Z$XW8t6#0pTP2tBoAwW<`\NzB/9՞d_H^ r 3\I0oXosdʢ,Ք3ZW7!ȥm OIeDuf9nHS#B,P<?FLj@aWDF,p5E9(K^ >թZH}{:gzbN'sQDZ޿Ui# j&%*å$)n#qcݴ,.l#wI=<М#W)T-DVӋ7cznϒȍ1t7VZ /蹍WZTP^PP GZI3LJUwpiX*71-t>=ϩ.xF =)c]j d :v{|WyH A= 6O4 &Y[\X^ FG9\AcJxMߟ mAemH^V։=đ:dnM5vXR.OpNp!S9%9LnwVdz&2de};gCn;&jBטϸ ^Yzo.Qݎ0%fb|ٙtTq ѽ^U.e_U1!e:pGg4oyT%HgHJE ж^ݯה;opTZ0qG^+]3Lړ]-S/3--K,z9 aÂ*1]Էtvyc19,]^@EtRP^0IJ2rw${sYa0% [0FTZ_֯2+B_| *)px}y}OշoG1lE5sϤLK` [r)B0K9NJQsnrNϾ=Er33 zM9&rw9(SKwď9gTvg[( htU ON$i&iٴYk8özБH3)e>b ~ٛ,A!aQDŨ\ r^<-7%5:w!A|I  .0 vs2tqk !٪@ T¼x%=4xc*}52u/'Hax!jV~? hA3+v}yms\6޸tI!(ͤ 5{):dj\dF~udŁR+P]Jpm*t*,Ӣb8M O4M$7:-~]UoŊÃ}FnINNM UrF3}ϼi4Ҭ_"rG \,.1V Drǿݍ]<g{lVx[3B6n]K o/ˤq/k*1g֏y1qcxN)`Dw ^ܤ%KX)X=g'hU&fqŘ mEj4y_۫$Bm2hn<.C]^!Y!G=b-^߳᤬]kʡ_&"W5РP ~[?9m~Rd;1ֈqLް$cmJi HHi7# K3yT[7ƵgA3 B$q.ۆ>N"K0.k}D(V6XO5'}–lbAZUwo=Rku72Ac"*]i!yoh,n¨'yZG~ q`c4HjaTlauVlkY9d#ٌ_B}>@ȷv6Z֭cҜ~].heU(y\H`.K~F-xa@IQSA&s4oR?+)u?C:SER`!y0IY'GnF_ <=*s!g-e+D?Ƥ̳m@XwAǯ9/5BöSEEn[j܄}aCi Rd>*pDsۀݼZ%WeҸʳհCC3w8!WfPUe s.D#\ utAi~J) Rz] U>RS&(گ譆ϬsބRm`,SO[._ihoO+lOdR'0x/+U51[š$qe]F M1XWmsN^55Th lJ/\E"&dbFa6?3$cw5ygF;sLXY}͡ &*E{;Œ iYX 4`>V֔SbԢGwbCfNS (z(؅B*Y@fQ[zG(0G hk u[qtN2ש[ufs 삗_E*Mbh2tn 1̶})OM~ r9nY9r6`a2AQ%n6"-*%oHv<쓎gQp\L^f* =f!amShin38PRv_>X e-bqT˶,h_<#Jhh?fΔV6?b ڜnH/zEI >tyw<9gT" W9yn(C `|(j BEp6}+ 9"% BQZVzw!O)N. T@q FG)fj ?{gt#+b4(z#1sHvkj+X=vb9Qg4ٵ̍ޞZpzr@ny¦ #Ys1 \)mtÌQ;j}4A4X]KW/9mZ7W0\0ZT{)JyfZ=ɦẓW,9Z(YX_Q vz Κ@ %E Y;O < B>DM.p<u)KO\4}:R܉{aJ|_A "Ԃ {읕՝׶)|wIp~'kOS)RWSjYS-_.&/O\B>S-RWyL'9Ygf# TP<ÅN2\fm(fl|J3ꋮ.2R"\9fD(bzgn炌ĹbSS2_ڴ4"yAik' wc~?f2ŽvЧ[ 4I,a?~zY䁌f'vXMxf2@;<`mkG~HҞIZkW:dYP4g}on콐}ξlF+~-DM7;k?7q\Mu1U@xjF:k/kk6/h!=7Q^ByhRnzk_W-W1':O i[Z$[=ux`zgbM0@2h秢ޢBP= ;d)CE8jt80[:*Į &9 |jзe'Ll%'il.M K%!y[#NzӨ*G84zuZuf=>[2So38p !dFԖ肅ZT0܄hNLayKpup{&g2{6J!.jAP`>c5?Qj1V7\]]P;)VmY[д5KwJ ~q@-#nWο(~.v/]>ݧQym7bM$OjfDͶk>Ôo@~!PZp]W:'ۗ )VN6BWьLm=t _c36V̗TČe!VwEwz鳷 GRRڥL܆<>i,5NQU;GUyֿ^IS,i @2Eq3̘a4 iE7Q.-;if=sYqa/CVk^LEf}:s QOY,oG\#S.턞Il'IY ۢ;mДPFnWikaw,Kqb+NLSL[Z)_؄yT𾌒ÿegCjYo$A@ 6Ÿj%PDz+àUZZ{땠[Zx0ٖ(t #|&>ceNY:|Z/fё`!JWr%>+_xGlt1BW\(0sb~'T⟏|?@r8wojIׁ y4}+m(%d_~Xf鰣S' ]7C}ȭF`<Ov ,c5Dgelr#JcbrRIF M ]nPMRrńFk5+K_t_lmiUu/[xBo"zIݢriw ؾRoK*d_~xkY~?[ֽBx(ie<7m4GD=7U.3%kz(ԋU5}U܋L;IRo:*޳\>M5ŌdO.b<\0W%@k4ㄨl"?~+3KKާOzf~"t/nճ=KR 㱹6ZOs D$jqa?GKdrLw'2/_(C Q_ G-Pm4%>uI pViJ'}Ū8*!^/40 v-%Ӈz 2") *&U,\c$@~Gt/'Zb0#I)S]=Vt4@K|`cp o1zrٙ %Jخ[pڛwA>f~ pn{zIIݹ%=ŠL+ ąJ}$!߉CvRiA(?L܍;G盍1T_Tf}eRFɝwƱNR_@,U<eӐ"m·6Wf('FgOـ1ʂ%-[na\-5}?|Xm#M.SM€&vgHD(Y'w~2p 9?cD_RmV)HJwDկZk @iAA#`.- ĂdpuB"r}sC.w5!X).h5ʃ#(慠Q]M$}t6LPN`EiLMpbެikG݄X8$ދe {0WEBʍKsU^\t]&oBAYWį]]N0V@7l(k!ì9QA#%hĝ́99:X,mYUQETRw?ًij Uպvp'-Mfs?lN<d^ tnzn_Bp^>X)3svyf9}ˬCh/X1Wr˥XbPU2cvZ8Il1/7_"YX 7WC#_ȝE҅#d,w}c/5i^QKVܲ{#ɟ0xiBkz!~5>VO`7^Q"=Z_43Ω߼X<=D)pgfpPmڜF' 0XHdO!h~EVR?Jϰ2kG`A;,3YbnG^*nvwQ2S!~:Kr^ڇYr:Rz~ 7Ƌo=;pn|'mϭmTZ,uv3>d]GIYZR>@6}%y7X2 ~#Ҭm- 7١۵A kmKXf7?SmKhΑF*.i#n4(#gF!F2+G;?;j΄-luFGRUXOxguڙkv$!MH YCٚ[yWqT`&<&6}pRR;|,ͪ/0OƳwRWzw݈uVXl+q2^!dʱYPS8].QfF@AfԡX(tJ<bQ0ZN=qЖ=gK*fxlw͛`h~ˡvY+g#m}W1ݡ ;YJ pXEo|4PğSL'[ݬDԭfgM!!5Gt_E6*J>2B/5Q0Fa@k+VQoa[K/O,8@C]"i^l4Nb?y;Qa.jakOFb̤J~U}ZNN0] 3)Nm%'# óFªfmWÕN6nil ]NgIHVlϺB\0TzDsql^sI.X眀 Q?`^h_{8 wpl!N`z39`0'>dv ip{,ݭ%x"xO)W^ B53|KfڍwR)򑫩mBp{cv˻@)Dk ?n3J/3PY2LEDxWGTjduYx0Crt«]ǚmhӞB2nҙT8 WNzvT1R1oēzl'E7# +ϐDnlBz5+V資TJ 儒)&pqONL%@T`AƶZGۖ?_80dtՋ!!%0T7@y#N>Ɠ( ٛ'qn1oҪ$p]@$]ITalz~"HoN@遤m]_1oPae?ݣ!vN)s 'p#p0!d"X@bq[lC&fZ֟ťx.Np;čs ]\HZܩQ :kUpwE׾h~wֽwxJt2+MZy--*fwǧ+b܍()YFmKi B6_+DW:¥| مVZwSt'{÷~r|ikjX-XX)x9#)