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 SSu%|L< ]/]HOL-Analysis:threads=6elapsed=362.955cpu=1613.544gc=110.784factor=4.457zXZִF! Su]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jne;Lmu`&tj*rh+c?iSsK/~XϪ"~M7H ZK6[A!iFP_αιDaxbi/rGS75'6_q 2U(ìqDՏ+xnfVOzG{bN]BT7.3Y~RW-UUŠ՟)JA)Vqk5u˞Ot&!I>ejlTPdNA:P` Nf{#_v64V |sPW:Nt$H( t~CYь{ڀ8)x~Q^'* {Xzar Ř]ImHN[9.d'<M-,x7_52z3qw| M[h1XvTaKCyw\!:"5 8JYH =V+dDָq? Iq&-[Bx:PUܤ9òûخsGf6UC [P(?pi5V (bhN]\%VY[~}7)f> p\2j1$ IVDU}S ,7+v¤>Vh3Af'Ϗ0SLJH? (KONpzz$N d Hpj3ydUɘ6sʬP= fz}?.-v?e R (Vrw7UG&cIZ5/%I[K̓3 Xh[,$j,C7L?Gj+G6s̎%yOH;cK*>)\MKVM[]Ō58P<2@q#EưUgih8÷bm1ŕ|M_Fc`a 3 ᱖3ˁKs׃ƾo= 83@\s?񜹑U $s?[c ] j)h׳kX>#Gh V~M,k` cۓ%J=%kNHw7Hj_g%hwgTQ!+Al.T-XC%3-.?:x#CO(DdX.n0 % HOL-AnalysisCխI6 ̤s^H)Y3+۞ B: $q/NubdK ͊g@]<y 3.U74dl;[iCઉT<Ȱ[gmtIKzr?xY,V)d˼l ǚP@*iLր>L"f f|=SvCf|压<ކ fv9))BC<6'c1ia7 :[e@uWl !cX^Cfv9{xl:A~%@ĝ.М"J#&2z8< f^*2ӵ9e aVȝU/Sw!(qՔpm+^6q΃%[1G;*72G4CL1ЅD3kd3O$xB{A u5HtEm$'p)*]&1U ~%~Qx!/_"ϘWZwx&rÇ;|Ot qm{?C|Ƕfjf XK׼b;bNaC4 @1Y$F m*%7ލ,/ƅXx2‡'DT߽Sg#T?'"6+eVFQ)堏ɳI]/x^@Jֻ}>](&$iEt0(T+Mw7Ң LS) v;L!?>Q>)T;MGϠy*k *ixӕYtՏ|OP l5VU,+fzF0nr^UOEN"Zif`|Gՙ+tܐǿPIM|fJ&}DQIicOfdWוּPꂏU9OǢpqN+›Z`^Ep;5Q^XK aa|t\|JYLHqDRF8\n5\@#b>Ϛ\^$|BHz34y Ѩ/Qx*۟yyqoQ;`8Ǫl͛]&F7JgY9Lqnů z X2 ۞,P0?Sr11I7ӧ\GeS_<5+*1_CW+0پWۘ%q;>AGߙ :Gbņ0fm5Fp\`GY9椛'񲜅gBHy_XE\olA J#_X;^Qjg:0K'`Ow_*?+PXnskMm4c̗rPEA.Us bFBS :ƗQ#-V.UOr QθtYX>fIJRAӺA\C-Z]&ֽ MkYWkz%+͓|ӾpwM" g.KOGa&ֺ=ht9?RS-QHLm&f%4EލO&GWݔl% 6M.{Y5$){ .G?5QS[bI/{#+ & uM)V̯:gsgud!˹d,59[f\ 1$oUfmgOscUy΃U2G}lbmsYա5~az_euGNt E=5(C\;GB4TFCt $i80է!$R~/k8࢕ HP5W 'dGtA`3$d цl8,x{aݵajSp‹7兄TίMyy-l?QqN3݈W M51#i'J=t5AWaqӎAYH UB)jw#_㕬ծNu EqK6=4XPHGQy! F;V4ffdFd[V}'v=oQL4" Ms۶PQ2s_z e1&"7w[p5;Ny $<vr8džt֠EBߕBQ#E>umhE"{3eĘ4z|6 9bUoͦPҬRI/H{ 7yg(Y\B~`-I8lte*E*un/OvLݩE=hb)NIz B shdT<9ztv`FF]xGq#-GnhrtdzY_''̌=]pgK#=Y LZXآ^4@HpñtbdzVFːn_ICXk) D7:#568{P%.Ƌmbkk|R,Gr0I{iĊ:^2+=ђxqIQ'R\= ih*F] ?3Y3Z <-{RáYV&{1Ф̃5H<ڊH,%d@W‘¡/Q#@jRa B Wֱ14o|49vLῌQTG$H~ߣT;Cܧ k^HLA:fw|ھ[s\FUir|9?TIC\33]([N؄7.\\qT.NKJS̅AHrv)>%Ds qv\tK.,Hcy3d@+̨Z#b$Cb:+rlԒh³pDb苽N^/aÐn@|z=˭wAi@DX}"$#5(&e 6JP/ޟ?+*o,/!i]$ )Y+L5ã9:Ye0*tmwb#gzYp˯ZKxiUEEML/fz›ns]ТYJ>閬5 buFuQim(?+ S[hp(F3:"R? l'6iYY*<)ʆ'B\nw+ 9EiJGK7`~Jt!a q/ 1IR{*udQW.: pT k- Aen:H_6W6>1;q?tЙnrv ]/)l,0W/qĞIXر-G'U3]s:xHoO'.PV ^P{ :j) X#NqO݇Q"e:~ Hj/ndjpn: <:uKr VI[2 nH`9=zu3ibf˽5ta'ye\Pn9)tō $ @Дnv5% R!6Uysle1w.4*{^jchby.}}pE=hKSߋE' \jϺرCI}Yutd%T|5{]?Jp%5)Pָ졁N">x='e*0vܖ?.;E?}XPmŶsb:ʐ23[;eϮD x;j3P t;{K2*LRC$6ou ;A6rr-#pꄼ'b B3z~tteeJZ;iRb&_:@ꧬCkp1֯iP$˼r5$7a+=C=Sظi>>w:{*,6t4AMi\Uv/8e>˵7HA~ Z׳g@''2}FKY]hmu6MVzzd0tb׷R%RАo8Qگ۳.4\pq͜2S2_S>Q ʇi<8ZGyPKP1AŮ{YG{{uA'dH3 `Ler>`I8#I(q20#"}/=PNdiۄ=Xqw,פQ "\+xЗ#/`OC#DA>UJ:Ptoǩ0i~g\aJ^ G N!$Cdnh_im9T̖e3&-nPE0_iR2PfeQ]!G'KyHڜ|Ɨo8X.J2js;2~jlVKέM[HxaYE| |08ّI_q wLû[[TA$N7`V_*2{vi*o=  D퇱 l:I% *ڮȆq{Yn>`VMvQmrrk#求|=q߾ZigMGd4: ?*2vAG߬+~x.ZBkk8I G~{[Rb07o<cv^ \܃X ^?*~$ L\D4u S?"hvxV67K\cU0wuE L^ Wf͂ual%50G\#C5]&<᛽rUcyMdK5I!E~) =3:$\$9e)F>)Ie\}8/0u ЏV"ګAՠq: bRŒtɝvHb k Qiy!WS$Fd.vTDc!mPLΤ [wdtspEpuDZ,7wb'd2jk)vLձ%+gJ,Мm,;3Ix^CzφxMf>]r@\&eT׶{I@FA|G7YuKG(v4TYMA\p ]~k)S%[HKkP&qp|C^yȋ5r+p#>I(_R̫[HGspN,背/\i.`XEBmºѨCNmmCZ/.ͷ*A?>hq.!H`/ ,{3x1;;uThF>9BY9ۛ+֊x[Npd@ @BWM uc^= J ʺ7kR_9NPsƒ_v4@儳BX5 h :6Y ݄>?8΅UսT{ F$!o~;KDRN ,-|_HTyl(\{ (캦3CT^; t_%yP N &z*%twiY|>'%şv Nc?E!f/ݞn$˦rMeN|~ ?է0F!̞kj{3QK@u<#U򾴄Lr衽!K1XJ$Kƴ T,7Nn|dq; sTmj%g4„ oHeIT_R,}}ڽ]O_znBcyteؐdaI0m@\KPX_o-NDqi2#8tdapzr#ON] Wt5/1ÊI_?wZC휣dCn~i쁥uBMɵ&iXd3:ȃݔ_RtBB|6z]1̮Tm tqE狇E 1p֣ߢՐz1yjF RJ)5 Z"Q jS,hǂjJ/i G1,8-o ŗn L%|~HL㞡BSզVS`OD積OvKoe~'Z@nmAS/JRiJsG5%ɒۼO{4`願P Ģ$\=:ԣ ˮaZNa N=͌_{,&D2Zթ:)l~&bҥK wR$p0ވY2\=&Ȗ4ff_{7}@A;9L+ "Syi%r*`MzMzz<EL$w GmU5:Iptb  xF7i,Fgxgl0fTU^ CX?D2nKb)Y,gg'?$ޖ?BԒ'(œE?Av 십0Ph_V̀H ӯz203iWGXL9B#3|vpbYfZCdGSʄo<>5j6@$LHg)oiсS`b(z ^e nJt'{E FDJ{8. 4ߜk[p& J.Ǒ VXػ i<[{=3XC}zPNѧ,c:uݍ2 DEga; A<kUFbH|ٔ&=A6&h[2/Ô0x9X5d6 5-Oe4S1x!D#֨׋Y&qc/޹zbkH0%zDzh =>I_ow^1P3ӊ*!b(C~aj*vص̧HYTRըj+3t0#s*kerT:)8=fKջ;e^ƒAK4(/VR48~x5EttӨp}'=sG^[xX$$\xp:^۞x-Ɀd4ƥm^j2n,LU[ۮ ^%; ƐFI6Q,|BAP Tʰ~9z̊Gd4kM_.Z PVR9pYQ/{|!Z{bRvee\} |teWSU-Ǜ/~ ۾kgx*]5M \AT?N@tokGor-s:n ߴyϣ_璆aKyH>Sqpt 75 kvp/T<{B`{,>bլm")֮JXHD\% 8 Fx#qKXpmnTEm-yT' cxJX ++$N(V){`)kQ8& `,bVr>2LB%e4ץT;Tlt <zO3oP];QD:NYo[lm{M?O TKlkZyf,y@秘J1e^}%Ad@`N$O[]`C(>74:G6X%Suo!S_Y?j$9іzBRw$Ԝg4wvf-^Tg6 #o >PEޏצW꓍EUեs.*ot7_P_>w)i>SN"*1gmP3EgfirG)A)VriyyY6~i 3+;ik$ 2N+Dթx%dQ&v̂ᢎ}(k}ϙ otpv-1&( Eg:ۦaDZ,$qy,x ZCWY#Bj"hDЪey R1ݬ[ߋ[d jYLNH&2Ģ.~0B]V_7(e 枍 ԟW(C8-, VTPoA~;F󂧧y2prFs9T%t6|ylߓsہ඾ό7Y=9}&18Tۏ]s,y//h!shTGH#_jBSa\aG>켲g^^L^S^85cZyQ TqUHZxrJR"hM ԃ0`[",p8I%{~qe2$'dVb D Q-m` *C,t5$ %f 9l*V1yUջyjȲ$1fh-Pհe? -*:8=E).>ZR8E|7^73&4_'rt,MY6WBЋ@1o ť*\v4#wǣ@ 1fK"9Hxt?xͥ`uqA^~PlS o:,m9{E3,4MFVwssoןh&6kf⧿]/)'ՊJ K%g,#YQ@r T+J|tɋxVC7@A.s[iT]cZFQx nqHwRѱ?__("<aO4տ@ +-߰BcIm1.s۲/͏ Rs :Vu +diXjszҜ&FO3r8֤o]l hR21 R 1v<{fhcJZ oA,!zL5tQ#"". a? ()|ZCXk+;1jsskO>`:նbcΜX)9\cɺ_ܬ^^eQ,{AW~| m7xtN(:Tgm66^c,M.Hm4 ytonx}JZվ 3& ݴGaT|Z65Vo~ آJ +)`SWvn;YV4"DNbN=ɟLr|o?zMpNQjEfM_7Tף<$ 0CC(\LS ܾ5Ҳm(A얍f@hAg7@'/xJZQK ozqp " NWުY<'$۲9~e]y}KN^ϔ!"5MJ$g/Ŏ^NUu\uwa;`]"s=m̘_@'nkܭC;e\N?x'~J_=5oɌcЉޅqljU$AV<^xZ*):ìd/5{0{mWH$ )%+ڽYV4Q<! y ,Q6jN?yGor9/"oȊ_ylO_t1{GJVjo.QShB BCL+rw6BUBW<V|-^sWKSII' 72{T-sj=a,YGt5>E"Y״Y`wn ,=6z߿ejF^3_I?j[[*3S-:l* N.-#v M:Щᓽ`yv#ˑe hi?N|լ~n? qa -CjcnԿg4J@Z@hVθ+fۭoz1͌9Wd[ +e4nمFem@<}}ÓKy'eI |n!~:O'y/e/n+RzME,P9 EOF< 2A T_ J` uG1. yCҧb9Gl;sIMW2d"_ |5rbUEޠHA7B! &Y5B}̃8(!mvw❃\-G+Q8O/f`$Q!ȓaϯKMC1|&C%WhL| V|u@Hkx> Pmb}#58&b@=-'Xp=n;َVA灤NsM rk y 7ޔqD֙x7qj1>s.]W[u:̶Ԙ*nTO# #^{;LMƝL?P. JnkN\EZMA-! 2Tͳ?n~D@clǫ K1`۵:h ]-<nw:aszZg* އ j)PϞ[{I^+:x*;[ɱq눤[՘%yNKŃ[2X"^ jT=ufQ"]~09hX zsZiSm(zf<`]zloaU =o|y +xɧZ\~yXC&LyY*ʧ uoAxO5,~nW0R N AGg6CPeqڙ13EW4y'$بgXRpF~DUZMYj`t q@E9R *v8ڡW^7DЌ1]˔mVl*EձyU6GMЉy։85 ڒɰ2G?[AL} ߮ Cf%+4] jhraݓ i۫ a6C<[յ\2($_ RDeל(G\P.p r}">+.VCks6rPh UŚ'edXՋ.8MI踤+ۅFe+ ބ'R|BEDXcZB6T n_p+MOo&ta X$Pb)H,W=i~A-4`L11sXmK PUtx WG)RC=oezաəւ;&nHEG[YhmurDkV[uז2 5cҴeu (`yu|,&5t$-R0Tؖ˩ [yD5G 2!ď#S s"bt 3/ ,@ ߼)䔷i ar޶Q| =iDŤAɼKgi,|F/r'k1Ek,"9ً }&bXL­㌻6ۧu,A.u)j5jW,_[ˣ6cWjz$UaKG0?D/νzU*@Jw ۰ A6]X9%F%%{pe j8?R x=Z8iEȳ e^S4` oH:q—g zGV 9Ii=|bL xX+3j".8@1JJn7?5yYVrfv@O I-wU4n6QiQ6(۔[u ]NPY-0S H/pOܲ3{yZ߬ >˃@}#`ЛϾZtHO33:o|4;ѝ z{#mƒ/WBHOQ{ō3Ɏ*σz[D@#zNus|MN{/Ƶ;d6PaJ$3/߂W.ut0(ۏT<!0Œ.v!w,k{ZS QT,v_vYuoH.[mG䃾 st!W;(H&Q])\P|Ax*dl 0Ox*1˴F7}`sr2- n[x3VVCUmٷƦ~_ j$kMh#wvY8p dg[m;bM5: HGb~d~<.c4iJEyLD]Gᴷϝ1K$N9p*!T;9k.[f0?p^ȜhU~ -} 5Kû\!R?/oqw+3mzO#wǿ tXIIpl=v>D+.;fHVãxI.P>8~~xMe8#aJcY4=g_UHhy6t /bLb! u Y1x#k +Q $u/? YA%7¸GbɝFq'MOc Ƥ`@E$N0Hs`k*&Y]9E+g^OB!$qO熶`Fa k. 4f"g5_stH9װJ69>p@  ڱgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4.!m@Z78![Ǖ4=!Ew:Vw "M [xQ9 pR}@Z/(w/BM)3..i>yAIjHVBkK- M ߔ&;g^Rae츩$?'a@c,ܿY Q{]KoH0Qf;.W:Bye |]-[RfU~0nH{G'gJ* (vQX4U(CXf|gYZ7zXZִF! qlj]ŗXi%;.q*esljU4bH~Tڮ+슭iC"Z y;w^@j1o1+_:36t_gFCHvfXzP)^3rŷyhdN}{ V揮CV^ʐLLm7!?2KIJ+ZeւMX}͠7s; ř0Yj8KAH~&!'VZ L@Y_ z Bfw6id~ &ܐwzu!nV'^J =3翆xW`ǫKp]Dg@gQ^kJ%H$O{NT\b ''MfY2A :fH'mLz`SP}6);z) 5F<8Mhj"iQ6 tߙ cdT6Ouޏr#+i&w Jr+h[2x^ZT|5ijBcⵇ60C|nslW4ޝ㛮.~&Ճa8X 9&TN gήv)-@TE=@t. N +jbU 2[fRMWo]}2^B(J k)t!-4#洇&AN00W޼aj6H @|WANtcM1MHGȎ״"P:WLĴ',T{ :Nk +anC*_4iX<KHo9U3(W  Yw7@݋uY*M”Jhǔ֑^{h:wv'`Q`Loy <U]dtIe.fWBx@doeQ5 IsJk?*>RՒl1݅ځvX\h4>8HT$TfYKs6krup%hR17G,@޶}-qޛpGH 6-2'deM$E-:eVx`yGVa߳-%}m <^G]IIHB(;'Kj#ңPc>E0_+cv \&A{~ b3O4[sDfJn њf]('pMH۔쿣I6?>όΊZ8#)f8DUiAMb,=&,0Xi@>~|T]B;u>Z7( +nbYKİIug70FAqtD(Iw̘~[؃Ղ]Cj&/ED7UCE;S_mB^'dhڟU*U7qo`:D @n!f\1{Uioao*x tݠ+W*v/AY.\i`/fj5~8$ZV`;q7u(Ha cM^C85dUn%sH'mRAZ\iGT'.O{3-coنgQiuNfbݚ3s#T,$gka=L12p >4~`n[SC~>> %fs<" ܱؤ OT3(3JUV BSI\Y& Nby~86Pϵ -1ZJB,U^"E܉2PyM wypDFdr-:kЏ )reӄZ9iVׅ&VQE-*6M#zy)E v>Q{[.0FW9܏qU+Rh}ljof3%}UݑQ_fo{0`̹ioLU~ۃ<8\`W0|ކ%& J2M& 4[?ZN~R(OuLY; $b(Z㚵Nzq.ඃB#WNWcJshÎ1 QVտZꯎKN\cR`(mkt.$ laxd.,4r(y "j.k|Ӫj?!7+Jfc#\V$d_oYx/5kJL—usc!ZX̀綞T2IWkﴽlX*ύ)4 6hVrO7&zJ<*otc{_< ө}t,](@c#䩆]9!& g ?\@}{g~. hFwv^1 ӱRE+W0Kxd^SR;wX|ʤbj?ԒJ5=+H?![AmEӆsw4oC;K+h %홄0LAπ[?&I7ǟ( C@{xb߾BJU1o !Gxqr_a+_Z]- ;wSl1q& gц;Q<<@y[RPh6n4 ՞Z+!݈"ے{4=Zx=,Rg7hngn8+ϭXAzw\M tpaaz>gF-c{F\b6gHsNQ R%&M:!Bp)k=xvF6h6v]VhP P4Y(M}A e2K&Ny$K=eK鸅!H,_v GXXxydB{Rx0"kS/ðX⛙N=n-ALZ_$Oksg\(򯦦~.bSMco|S%H,?ZkSDQZжWЁ0 ;>n\'Xljv|xūL`&W}Wʦb ;Y$zmEO`>b!?=P~YaA#xS334! [^̐^A;r6P2KS~.0yI>ud|؆O+]M AAk F6SXu6vuzҝ&F(DAY.3A,H3D"Tu*YQ1Yqzŀ;D[XtpX0?VG ӭujKuIX1\;E I{%n=Vt Droʘ5S7](d_8(1M{D$/g Թq "/-kcca |LQMESܝYWjKlC AeQQl$vx؛!REn+)sA0J,;hh^v1,ghqd._Od[쎔G$,6դ+P({M5h/7lTخ(u *rZqc+d dXd!7@?w `f=\;Y<'ܵQFGish45RM ?*>EV C (+2S&M?H&Ǚg'r)XMWtVBq p&-rfS8Y]kUaC?Ta8"zl% /ލl$9f([ͽ!ޫgbQY2^ hร=@V)o]'d34_WE|Xb>%} W}ea[~fC=ːq&D*`Z7(¬o/;'~ *m!" |<1[~ 7i{Cn"1^(gvJ/ǡnVB \V| &#:jo4NMڣJ!0or@> PNU.\w-VsD1g[7 Lt]#WEH\H1!ړnxkX[+(灺 _N 8@ \?DO5hK _ԬϧW7 bBҺ\RD]l.kV( g4K3vΝ)H&1vw^?\W׀`Fת8D؄>|TˌWȾqBn3=P9eC8񼻶g3e2wqju-%~SLH:lT F_M9sY 0Wrrn`}xQXIM !++Ux4sRmC7@AXPf:?ٔbzdE߻~%[eB3'ЬHe@Em am[/KA0<ȱPKAC;-J3؝N;34S.vOTw4<؅ `gixhG D]{O9fDQ-\QE`']KIzRruRqQ0;Lv<&"B:#-0vL*uɕ5suy+!~H0.]MxpBc\+4.&]*Ush6~}lBgU^(chNs~tz;3[~]+v[.M1='Vix, f F[d?}vK(Օk̼8-Krz#7)kt"8ePxf/m)V{O(Dm6{_'gz "@ܩŽum"+^\iwW0)T:!H 5(nwXMUp-!>Lѱadnx^ &+;Y1A%29PG?}uQ`LǸ{tP*C=S1$,.N^B+݄KJDHt?F /k:3\E`VoD-Xf }E(-aPUv_u!B #=̧Crnȁ [l!0Nn ?]T)ɵH2?nwk"o!˪7>'t yVRP*j I;Y5p3dxτ,.#kO 5-&pp.R֩,FD X:"~ʄRb$F/% m4^=P/GX]!'x($HWLw^uTZB.-%Zw'N~C OCN.D0%SWϬMl%t*!}Tڢ :sBV77YmS 1|:N3=NPeG ''ZR7$gEQV60XϾSS &g-H8%;$+TVj }[v !Dloy()|9f6<*\Cm}8Rx$M!_6gmxNjPAX-E` 0k&riƍeH8LDYPt)`IP@Iݎ&㞹rs,_0F+9#Ŧ^7t+|0B fGԾ`ߑai5uzꈤ"@?@FNYdi 4 FxXxh'9 `PG KyXQ7.0*]Z:VVxK@ul%ӹ-b*gT+Ti,wO/vQ>E^%o:(#I3~8.򷐯a/(>|^#d&|x^0,#T5LS-GWðNbO*ODx hs^Xso|tkH}>E{]D'N qt(Gr]3j/Вn3@;"ahTUU Af?l~2v3Ww3cW'R8aeFusbX,咵nI'&"378+90ߍ3PxSLSG+PQK F lFe >9e:CݙٱDG~)Wd7FcScu ~-P鰹KD;"9Al HʥϕRo^n /F<ޠnx2SMWiaKȋ°TAnHە5l>8^H.B?*UQ&-Hjs]ݾЦ^x0Ƕ`8vQ!M2Y^%$IԼ2`%|uq\T-/j6&&L>V:ry _O +,M4A*qN $W$odA,oF1MAc3~1hM''cR n |jF`$>PLD:OdÙCqACs|m:ڲSjb=3K;XޝppȏD١Xlglmohdkڇ1)ڑ`A%?۬h@0Oح>Q"7 g$ rZcH_C'pGR40J:shGm@BT&r< S癹M6MĔ]ά0ihIBVc 26նC?F )?3ڤNU L`VeA\XD~#6I:DZyzs1 B27 )t*olD}qo\yAΐB] zOgX֯F pԠDǭ&] W|^[ŰeO RN Mo6؄gs [EU3/dGѕaKӀI;Fc!h*lªڡ+Jh;ėkBj=41޷r.U.Z|I^剈EYN~V,:9 M1M`+ǩơ&y;֮[ssٌE&w[ _j6xd5мxS%vq5},[o.7ԏXnaSx$Lٻ 1yck򊠳\}"8b`0y"yQRa֩ tP)š=`驰Hڨ$ـõQJ͜=R|1xY+Ox*z!ӈTE ܲ71F-`Օ5IMvEv]y+&5,ˋ-ZBnu6~AiR ޻mSWeюT khܦ\g9Ȇq"+Qː8jc66RVjiKɆ Oq2x34<ѐiad}YqT>ԇ_). rt$T_ZNB؃xN`?N)6VPYI [p(bˬMo)2oI[ p @1zvB̨<)NiB%g)E)X;՝(.-41 _;35X|9%,0*k@ub ,tLU-R G FjóT\#'*BG Y }`k5asxi{ !?SDT/a~?L=[ɔrᙆ&69B pw]]о˗u,KҋR:u 4& cT2ԺNk4_i:kW+hSr:C*U^)<6$;_22;guK2 \0 3{ț$f"z:vz_"/[5ȆLsTF&O|K (ΰoq0./l&;ZX'7Lgr,hyr۴\LZ_B{jvۉbC WGΑnl#y>rvU[T`a6V=~H5rqCſV_s:o)Al,E.#-65Q4R!N1:!68=˟-Z[J$xN]^nZ8KL^W^. &?1t5XHP J!GtٖJزfBPr!rC[]juT}-H+F⟚L[B>4\53rGRW9DgxZҪW#_im*tJg<)FDP/)qjzj3ݽ\rj&pb<:M p:E1!戡֑Ə$Vn'GZVQG7U\\?Gc3}8̾fWD ]tˌg}J P. xMl,'!>o6\ڶkߊG?1;nxVLLWxvP"Yl-Zɳ WCi`~ eL}7C /ɖ9ŮMQ&ae2RV# ^3n%1= :І׎@LP#԰Ƴ[w6ؓ%XXr rB,6!\i&)su!`=xۦBy;&Wpl\Pr[J&2)+>}OzC(7<-iVz3i4YACQ@V|,ItyaZ|SW~+%] P 8OK_>>UK0sHfV۟{Q B.D3A\@4l|j5tˡ-7rD5 W]MEs Ba><+_0<*4aF2kwOH@ۘX6brtfN*K-`%An3 ֪2`Un*+HNieY l5_~ln7JeqplǛo:vMZ 0XXV ߨ#[Ū?g[/8ҹ I!VMZhHRri6;-u|{qs;\<(7I(^2e̴&`B[9!kB/{K 5;,8v-jZuISubTN8ģX: d"$E bo`$nhZ? qE@k,wTlK3*^%`] *,b'lb^mZ[Eufمe> Q'^E1jyWU?k Cx|t)Qo/#9.,pyQ$S- gkb59U9Y1E䶣)&3TKj{fm&M;ɩ BM_Աr iTۥ|2~^BnM Qd˄=/R<`S01T)qnl-D$36b39R̒%~IpBb>krN9 ,7jD;Q$'%=f5SUu^R=wg͸أ*g )/|dkGyg2BJt |')!@@(2e^t/ S$u^Ź&AmL $Ȯ͡]>~4^4Z D+OmǖLy!g7?n+jQ 8>'Ue!nxWF!%3;9n]3wyD X wdE'euL@#80mGtǣHuρ#$˜^N' ^XӅ>N[k> e7j"M'N<٠`fsIV2T@UrK>_ČZP)X)WB 0|\rabw.U QwT+4#-be]eه/D<,'mDftՁz I"ҧGNύ,\9^nPc=5ҢNeJH_rU@;#ѹ ,YTqmYyڃ#kHnwuX ߗ"HLNC$()6(̅Xr!y+B(udQE˖V̴yk4ݍ[Q6;T1Iށw!#|F!#oIeq<LL?#i64mT+0Q@r VxUE]5:@+H׭Oe<^򋖃'C7%=GtӥY[9,jSva5aUFlE@cBi\":lHM; {N,T`cw4n$e?RrM#Y%0IsL%bgxCZ{_ d}aea}P3|9Z>w;a@_:ظ{RsR|,^R)[AIƬm^hp{N"l oBzDZm-e3l4!T(MV<&Anlt,:K5ܘw*]8W/2;:3&2Q”J?}]e8c} [Pg:I`u?Օ=+ I~%+J4 klg< 0:31.QEg'5g>vk@ǹN" "#@sB㗧)9l Qy lf̾5ZNq)*w|pp?%{t GrY4M +DzmZr IOڅ"$53?8 wV-թY(G .LnhRB1_s!P&N8ˣ["U}!8z*?.: ]ЭPgND 1~I -X43gT\g~*!d%'68LO>(=?lntY>s9ZQ3S O*(niPM#9/KW-y2DQmFƇ|4gɁYW)TRuy'B!HS&O_[:]5U6F,h"ӭ[wZ& [^QB6e(+Aaֿ:,%~3/,oIThfcʠl?hekMMI~$2a@wLkrf8XڻhZAݓhƎ93S_˼!g&Gקh%D/9:49i*IJoʦe=Vɮ9ߍbR+"q_zIpM&$:?*\ x~P/CEi!ʒM<[jk7,#I]ZW@hYgNG2?mV:|X J8<7X+e50c27D:b-_^ܧ,n~> xW}/h\iVvwA WDZD|mo쎷RYӧ8#_u.5x79XcϫB}$5l[xm,.CB t[.@w{pm1hv;~5K5 ,|>J&+E3.i&ÛO0LRg,A7~kcNrqm+ 8dX`541 FOɸhjN#B H< D\iZ䘴 0_"Xch3}ewSl7, S~\M),Lɝ@: KAd2p`VGߢ=FI5"Ih(ϭPi`ַ̚ݟ 2Fn>+$9?VuaW궗q[܄LG@Or(4S/H\ ԧO;i-SK@8{Dm0e;!wK X%]KRrt`,=V3ohEjYSN*_SG:DDKbwcuNkРح?9+TCr= 7: L'R)4 (2jcb)U@!(=G\(` j Wa=v+&sJ$'8B;jE7IJyn͒xvO7L߅ OFP`dNgq~.aWNiAs> f έrcXj[+q3v˳>lTFj̲j$_3%MV97e'tYpiЇnQ1NI-#:qH`^)9VUuR."B׫E4 m]QҦ6{*pf#9 mKD\Iz "׼ "ʗ1 t8^l* /?+Kas("k ,ɂn9 cnbٽ1rK_pʞvժCwe,Dn mr%ۣiA7Yk9!sُg%l TZ)HJ#c hjoXs%J#׌kׂb\s UdFܚ ~8-:'{>M/2qO+0I/"BB-C}\Ovfgk0u}NPy1_pq0F!~b"Q Q[m4iBu/O7zqwA @U$rN qzR%OIya@f8vm8KEւi!iw2B2[^eh}PVXrgMuNf$7ْұGθl Հgߴ1JBy\d>@\ZT:M+WCxW\=Bs?h&C X́L%bkE%y3_54QuxĪ,w Hta;WqezOYP++4A) Y*A;jF^ξ!p3 c \-ޔb/== +2,0-8ۆq|Թ)-Ա(d̓)9ݎ6a-ӂ5s7GŻXݦMd{ɚ! 2J2Q!#Bd~u?FϴV^LQ" {\z%v jF1r؁Hr}9jHNC%kQ oR A~1$%RmI1#u6FA`ohx>B"ʶPh#-lZX⮈*5?l:k%D4LGK@yb zJtB+f?V]7f]nPc":Hf%@"-n-s'ZLo3@\Z!\'R_ŕ4tMySx~L!F:oc!IKB Io#<ˆb u ,5YwFs2,'5}Vu+Xb0-VuD,J\90#3;7q.\ 6˫ŸV_@rZo Li=p\Y qm r<LܐcTfh~%i}j^BO nĔ?K;Qݻr1={U#Kz*ʉE'tUTó `[zӸǍbCW`iWZD!нo@o)54S9Qz* ^|t_,Qϒ&Qz (xgYy&-\XT+ ZP/%SF3ަNB8g4|`c$#xnP؈po3>r (-q^m("1XU3 |hx&@ùqbжxS[.vX}B*[ى6XU\o/uR:Ww*HyYZL,  '%GvX8S3lU,*RqK^opEJު?z^8>NPR3aEz><ƷNY(- `PzNǢ2E/q[+%Ȩbs:ފ;V7 ,NF/JuZon{FY~^ ` =aڞ0])&gWx蒱m5BRU %^7}5Dl&k amKY񙹻 %df g?;RzMo-GQĶdI ~ϕ@KK Jž0e6qMChkeM[}]P3V1^(5=Z9ں)W Q*:3DE~;ȥ3+0u5b}?st\> 1xE=3k5J<#0^o@f 0uTO`@;[wjp6?HdG&vŕ9_M~S@5#,&Cli 'wg۵"uq-o [_k/!O&f7~6?;y0$\-J<Vi꒎W^!4EgӦ}$7Gϴ m͔-Z[ш+ Q!q<'ޘ^AD,e:/Wˇ^sulKCJOX/j%N;`Ï2kY$dAn·B3\e}Z ;n"[{%n\?(فMNs} hړm.8D+IvQQDeO~Oگ=ϻ9HEnl쒨sPm9;<¬z'kwX8-;K\Wv>S'd}d Ȟ&8FWQǔ>Li2U|N^1ou<Ӊ;qv~XĔ[QKg-\Ob[!F#T~&Y! &Y>Z I̳m$m UjE "Ʋ~6y_1%`} JHSϺ".Pp2,B:] &'Y(eN4ICleկٖV7iW+T*_~VS0P0ˁ%ep]J'݃I;N(=BP; طAaCP2ALAXiK.moMؤ U"zWK_;%e'2 ^?^~ŜE&0Zvq"83>&P قFZ3#¥cœ%&?rjp펴ɠ<Xt d\M;w%ۂё"QOAГLx=:{'J0 6Ycv-s΅2 ]uB'ԩg𪜻41{&Aί#N-nuM42׮(ʯ4X~ZWj+"6uW3tsD!l"7Bn +$pGhGe:B(9u`LQM[rQ|TvY#NY]ò-8+Ez"9kڦ2«B^<@!FI6/0>㥹p u|O!ӛ8Fݓ*YC S%TGTQAЧ߱ R*=hh*{)99x =7A0NωSp!#?PWNah A S0 ^]c۪_WK5W y չc-$П(Dmty9\s !3bCgc;vH; 7̃\whFPAiXP:k*iFD6&t$\%VT̳1o<ĐqP'ّYB{rȸ/-NAVEl6 =tV(dU˻Y9jii|`m'יSӇ PM/>bX1DU gzB}  d|S!PĹ0"ݨMԓǨHu,hzF)4.Y*Ҩͤ(y76 FMxۄ5$8+^aʄxK'k|a֡qPcm*s[Һєڀ\D,!2&Ăk*\\oB/)En)cu}p\ coC_KvU>^xHw/q4 ^r` 5)ʡpڏF=8/V@Ÿ +ɷ9B1:.tJ g:Kj~14l mq M3;ԝi3WCMN7T"a/fi΂V6@Ճ@_+]<6Jr2')-CćS~ۇ%/ Kmߡ{{:5yQ"! 4ݷY΅;*)vpY&XZjt`9>1V= )tٻ̣X~m.Pc"} c@)UxI&̎Qc1KB74MTas µK Vb@'=UM:h]LˇsyLP3HAuLuW"6WzaATbfŸ-}W_ UE;s͇ 2Q*AoEh ~ஔIޤ `%D鄝.ZͩiVMx|\͵7$&ȥHN9s(Q׳48o%sڈ_(LO~tP5h"IBN.g ]j9@AQ%iOL/{GzD:F[BLo-Zpaq,8vS 5ce7}H!η8ȐB˥VQ| xʅ`Iz|tV+n?Yxƌ(y38'ۗ׊՟> ney'tʹ89$j}0Oj'kӐK!Z\S"b [QRY8ڀ ͱ' %C!U`JldIOK7xƏNLV?i 9*WqYZM0|+ۆtQHA.w}-^HT/g6~0A3L"~IqrV8 "2b~ţ~b<\үZK P0DmvJumnP[EVT lE Z6?f&e6,N6/k\q/T [tkxJAWg\L<OTH72#A]xnmLN|b)$slx%of*.kp'AU4hɐzeYk `g>r.scwȳp800%|Չ)E*yV`M0RVa˩s(`@ 4ͬ*lsFE۳k|̛Ui,`T.laq+ Y?r>N b7bJp4o(Hq'2CJ99:?ݣ.LB+r`* z~W=S9v$5]jhA/gYZ9de5e80d21662e0083a22c6bb4d1b9d340531c8bba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494803a908a5291d47d51b5958c7897ee13d8a070f9