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  p!Td ]]]HOL-Proofs:threads=6elapsed=585.149cpu=1410.004gc=185.352factor=2.417zXZִF! ׵b]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV{(͛>)3x_o%c# ?Kfފ 488qN D?XÄ Pk*0@@g#~9P_dkMC:\U ao%Qd?sڮ! [qnJF{6H]EfY;M{/<ҳʽǛzQ,X?KSA4 Jk)<ylZ7^>F.h4=J`n@Iu;Ρ`-vY?d ]zyEB8<^ &4 47 Bo!Yh>n @r&W|wʣtj e/9<#7s.uؐ#UeuLlHҨftݖf0;9ex>Ww<"I)Tp7z2^EU}? T'U&ȸ˄F2<+HƍnyJQ&^%zok8/sdia>5˨OEv!wzKNN~CT\xgP<#ήHbw=- 6<5@n@UBَ3Y.bFEO'1X?qWFB͢-yte"1+&MGMΓKwv Uv2g,p$CϺW0`5T c۞s. ,,*VX\VqF%`T'#:. '@OJ&YfyP'WCEDZo*G t ̈4c+kܩhs;BU\$K"|JMQET= :DzQ Fiwʲ5e? @_[$g: ApB$2 c#{Dh=W#y-T_4/8pS{,x+wS*4lok[ lytwpR`lN՝k0^^- ?c"CSHxl>)]ݕ[zҲ{d^L E41Q n0#ʈ!Sgu!h7zA ye_r _T4A͐'RYʠoAZnky][)(J;4+7H10*3i\sb=',檸4ʎ6BQe0NiM ߍ\Gpx} @U(& "bO7ȂI3ZbLQp#JA n" "Pnfgz?T |fC0x'\[aNo_1Y`ui0c\yfSMm ~*֐͡LCo7{wh=̾5*FcP ?WyEɁ{^VV$g~r2i>'>ڦNzC\ϟmyO31}ɷPM*Q%x${&^dƔ% ?FOQOա8̎s)rcnrk9|<+p7w2&Odz̐9IÂR)oͦ.ߵ+Axڿo e{Tn媿^D#,1˥|۶߉].-[ak}v K_G1@Ѕ1>Մ Yn$q/Ȓ#iB ԥЀJ-U&e,xk;Nǟl"9(j\ ~N~Ge?y7aљ/ifw // &m_cRj^WL3$/sZͿǫ3EeƱ\ r@7tO2E# }F}B 1WŰړH8 %0E|$ }o:Vl"Ѭ,:9 _v Oa!(:HxnVB9"#v=FEbi(<Ԫ7&%h8[uEy^?5U?8Hsрw fh^N2QP_xh q<$H}c@%鶍+LKe_9aůXDZ[ﶽ>ewC ?cػ5V6<}@mxlڇQ @y~;[wzµreOi/RI{>"0D:K7UvADkl'0w Ejø厹,9HeݖlA"3H AH&:w~?Μ)#72%58f{ E)Dӽ6&zz<V x+.X=-ĖHև 5y.*Ok00$~0Py s_t &f8(=Im*G^C1W A^qGvlb7rXq9kpwbR Bgh/#_h 2#0+qx~jl-$X@1ENT  /D&.H{nړbVSH#@)1iy_5ί7+,`I[B<^IX6;b#TQ%E_=`4v HA!4W]Oy8<>f ǎ)N 䛽bXqqkE )Y2H6;﫫2?F)><m)qoql l b1{_JHֈ$"n]#!s7lP0ώ?ruӺ[u&ߜ zzZlP@5afo7+T?0B% 8ρLZlvMd qנvV`%5م2@ dBvHVMs\xnl @Vdl'D56m `[j-9aʀoLb@.9` B^X-#"Qj:;-Yzy%gH3R~&,p2QpNv+F'@]U`ս 0G&S}Q4ᲊ!N?{hH28mq uEF"yo1sCf)W047lDƥ ux-քXr6. ;o! șVrն+hP;H|J0n- Ńiizb 1NOs'g`@ے$>k;3dShwï]M8ՙ92 );Myys}9(W@4[W~E~vN#CoGeM`w8M.>4gڜD%Sd ŒݱtJ>Ki7j*4\%m;eNH PBRnܬ<B,#i]pD~p:iZH}V?oR"7gS!Y9-};!X2q'ڌIe#3WR3AH RH!'$1/f8dh]J۱२Aa.`'?"s\)5,yO}̕$#:^ #4s+=; -;[ŠvVAs/Q3kJی*~ )6| GE7JCnLWVKߔ}ȳx؅' #H_d ǨT1n|.+A<% J3A Ή,i95\ݑt E8p(F$%~$?Nb 7*&%XQpU 9--5O8v\ǵXB ѹylH"Xz?ᑜN1 fXвCNYJ0DOK/M?8)OWԡ&\͖yuDM۩Sz8 pf, b>.^zq9e͛h:929o -U/>=#޻ܑM=V6jC5L}O͕4{ ˘c:"}jJ.8Eω{.(Э5d_HS%Ա֭W4z(xT#9d  <_b^s *['2hq"2/֮ ZĊ%np4$)Q{0;XΌ,l{yp"$1C] Cf;k\1&*Rԧ[;/uQL>ĕ$d1 |bttJxhl@i6H_/Od*;ʲ;:t2\d6(ѱP6$L \Z($( 7Di| )t3uE.00")hzDLGG/qd7%. e,SgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B/z̨uJMT?ʿ@f,oqMw*e` Z'oXyƻ@0ɫ?%!'Y8jrnGX\{(#tFq`m;> :& Kǡ} .xrA!r|L+[r{uC)n;X:T|>' _V/%X{c WdKI&6>ވׂu!9I3p/Z%C⸐>p2-]Bko9 v{0y lRvIt\0 㿄{n|:ܹ0=SSTRhPr罰, QK1l7ۈm㸰YL3qFarϜagd&t1J<2< JIFל*[8ZiV Ȱeg3o],z#M%T+j I "U/ ymhq9pl,yo\K>6f}${f"+ybZ1d!yë+)BL]MM$̐<2^ Q PqrIs%n o?kOө&E1 [S$+r2=֦+\8#b23x=rSCk3Kw%[*Q2Y?m"bӓ:w6;K'#wJ"ߤ)NHv^eTtP(_c %{jnb:aU? PJxFyeQ|h *߄oyh-gwT 7I{"ݲ,wK=v_EZB>E+~y6UB7@z oA>af(s,)՝73>Fk>>ҷ3Q#yGbhT~1*q5.sY)$j@#Iae/Өl~mF\PK M+"KҺMHQ mxv{j REUO/:z Ryg6&參_]Q&"Lw|x[\R,JY*p-GgMz%aqE|GƏի %$>d/)@$U]'$ UeG1Cm x \m]+<Uqmw26(ᣂѹgy{L/TD ~9fo#=oF SPc> 1;_YZOi?Ɋpv+HN 5F|ƏAy&:(<`I_o`|usj[jgf^f̈́eKe1sGLq;(8n ؕ_`^$aBĽb'~*1z"X{ D6ik#d{ ԓqa ˽nԪD::*6GW K%E MB%/h`b0cKx$( 4Y|m|2DZgYZ7zXZִF! r]ŗXi%Ղl|Yg"K DwgGtC5V?  kc~ ֩ڢڸ+$8eU={gEp򞰎dZC"&\l*IԛG+ N)1L%6v[A3g~ $ 9I3`< ]$‘Q>GMc]EdNȜ碏(vWNx)s'9Xc"!IT*Nj Yj嫜)tq8p &jgyGytd{<+6?*jTH&c" S*oإ%uk; #~/fPUvíOZz# +[ vҦ r5*d3=0jL#]T@ 峻ѝӫ䧬5m l~LgRl!O<O߁l tj>H%=(ԙUJ3b1wGbh}97 ]|n{ƈ9GGpqղEr|d1vR^]tMqh-% Xu (Į~IӤO&䛸dӠ'b)]?tDuvmi ֧)*R`bhhV(|F RΨ $5My>YWʑgVCAmn+qըQgv#_;Ld"uwV>!{9͜xlo˧|_)o',組&tX ]/Ώ]d.Z̓}HD *0)&Ϟ62QaSt'R9*-+48¿P Ŏ)"j bwӌ=iA~ {CvӞYzC4mȽL/pV]ֲMiK]T'h!QaCqG$k= {bd5VyBhdj+K{z.ɞ͑c٥KV#.ۛR/4l`]p,B+q!uͣ8D\~Lc&aW]펱j>ęjh`Q@QIG JY*K?/cdjj:[3 Fz.SfJ?fd-й!g4lL3eG'6:Bu ܛ-HXVCG)̔Hgo:s專8 ζ:Lqp`m?r!d \V{ @rpG_GoŹ$Zy,57G%SK= +j *6p9& $fݰW~ѢY;Pua\ +~Bn4bQ, ]O4d?2bF<䯔¬/9{hwSB' ',4v}ɼBt 7y`>Pa1 Oqci1_^ bpߨUGС'8= 0^s5U/Tkh̫3#[[ؿ,# )2IiLNGDоNG.e\N]ņaNbs"Q[t0u=Cq*Ò/ݞ+ۛ]]GJ021_#9GE=r5ECC) kJaqlf?ҡR/ |9aצt&V/p%zd{S~閃=vn_~17|a 5h Pgsg,bbcTj j!MOyq7魹蠞lQr".2X^)E%< J]*);J bK9g'ǒs\xR gG 'X9P\?e kwV0qc˘ωx[$O? k*@-N $TkZ !Y9= ,a_/7_} Xx=VlP?6?V㶌 2UH-:%C,.V|'gD׏u5/[ XZX@괪xU"7Â@(]­gdMڥ\ d''unfKND *B{ګⶄʵ= m=2υGTP <`\al$ǯ1fv=W`$8 IѮzJX}cԝ9;h\on\Ծ'/ItCBvƖJ~;$-MOv'ӵvd-0ɀp7ÔlKLed==!^1v=k@A/L,pY IR.GaT(FsΤzLS^bȴjH-<]eŔ4 `jJmLuh k&r+B#?MrH(4- @B |0[WbmD\Q0ļ w@ٓLj@6Bf푤/or3>P)D(J-"F9@ LKBX@Po1&5˻2ZDwꗤnf8.v.G ,w'.tI8j:"zä #Bg_w2 CJfSC".$>5 3S' kҍFQ[x PX)^pQ"Ӷfint;˽s4!E@{M*Sc [^rykpڇSx@50̛ݗt#G#2:k+{W_u`b˛NOhcM$ņ,-h bN+F0eB;H1hxPidH}Vn>ıڔx^dbfpPaL Gx47 H .ѾV6Jp梏8nk {ۣN4|q{3mQ͓[lsKf+%`gINㄘ}yhz&EN)TqG)ӞjP8r"%hl,8*9ݮ(k:?ُs~cĢ6ѡ dе.i"kAgDv*yP#I˦bQUu[>z@ q[->t7W%_0ǁ-0& !ZJ2:JA}t ޕJ/?TҒD)Ho(VvimAN)pZuE}X ?9Y~0(F/7b/24:YpZ0CɊжq-I!\udly(Ntxd3&%%YO`Xq1GOئ(s{'0T혆fMلZi+u W|E=7ZhM ^ 2:yDDowOaٍNݒހ*nFVىC6)È'TEz٠R }v5Q9UM &3yV] 7XɿEThLQQ`RU.G[(ijTwy6҆b1$Ȃ!O^8HS&N!˿23B( Ԉ.$]̢,ijib7fh-5/}W#x/2zQqy Kɗ9vzxrźl/lK.Iʹ˂S ȯp+6^"Ӝ冉NZZM"mlzgWL2jNx~2`k/a%J<SwVi2TaY=Q%vbNԷʽcfBbN]lkBW(2G:Z6!<[ٞ\ 4H6+Ae9EOwRU?-^qS\ͯ`R@"h72~FoG{`HGg<+nS C@oӕ;3CNco*d|1D翸LuX.qf3uh@, Z* LB͸ѫH  5\a$͖,L7e z&ax6ex>8g)Ր>-Kjq䏼*O V,-*=<)r %P/n$jvV\Vv4}GdW񝷷xD矙7M$;RC =meH-i1l'Q15"ms$_bΈ? Yo0)dosuhSnARdswV?%˖yŕuT=U%AuYExȔ[ly^ӛ_˨ nVyE-NyD{A?` ~zƷN75N^4\Y| kE 72dQěu]P{RxRY1 iAWLu!'Қ7}Wu/OP!f]9U"Ђ2Eҍ0b35'~ܬ@mވ튼d@ݻx߯dK/L >V_!hGI^nj{hUg>lk9H$I iGȥ}i{=C(E) =nƙ6Zcϣ;ZΡ VZTKЇ O] אvGwn}LaNxQhl#?8ltl[-Rd(eH]C>YVL ?(vT+ ,| OfMֵ}>dJN81Evb v~Rq<LJ!pG,>*ݸe\ҏUK-8 >[X*< -pkli\jS`nWTae{Bő.P}O3)BB iRg.E%]IqD~jbOŬB31*dS:aA夅hf蛊yR&Q%sp .ԍLEŌ%`((FD䗓0'0Y4Nq| '-q `U:Ԟӧ=Vhn, )1uҸLێBY2cZƍ5x]B,~HUn@ g3n1|0+U#/n CibZك @s520iӎ`'R ӽWaMP |H\7{b9HSϠF-ecdd!J_N ir3WO2>*5@8+40_oUi!#˗n`B_S,C(PEc9[2ڹ.oAMv^ꈺ`Ph`()+&Mlc|}SgWW%nJd9`3ќeh6S_Hպ, >]Nƅ>h 4 zz qGK-yV%({T)-k:P5}QcinXm ( l95򆺪ؖLήͼ9EQcmd6$r!]HTsثj~CI֜[Ä2]В)AO, Y=:bĺpT[1*fD/r~3GZxV lqK&*];*TT`98ǭ#ϧc7']rQ>TK4̮sXЯu1n@ӊɅ+ /XWȞ-%;^ʽ"F37Fix,9"6\=3bt˪Fto%_ mD ¾P\GGOkDt!%]KDQ a??cMs`!Oe?h/TO7~c^lT_9!u հDh\'qFK9ݛ`ˍm؁NnVLڵ(R!o"IcޟXku5},r?+lBn_8V ,G@`׊oﰜ[PAPݽJE=)#)jz=˪٥wPn Bs*-rSy+Xn ٸ2D6bc$>|kW|J|畠pNѭ#BMkG%c%-'s0T5\'ˋ=R̕!Yx/W}|쑵lÿ /{[nZZ)8ycڵi :e67 MN~dFs)sSwa3fzO*]'`TO 2F/*'XeU[7dB0H`ߥLG'M/A ndOMc*"sP[X4kIp/Eqݺ&gkJ"dSmps;R7)xHn\]?/snZo%)pΚW9R䡏L wl"6{т*žx+!DwgJX֔k"/C=3a#PdF(*6-bRDpãOfg2(,o-fz1$d"9:@AmfKZ=|ʍҰynСJdӐE: ˁf~W_[\FPA^Q\~@z#iS sv8g{엗6Ќ5B5-WmNT또Fy4ϓq-1Њ< C4942A8'"l#/65ȕ rTJ=}>zyrÛiR1ܣWY Y-7 F]z< +4JQͲUdKy(GWr9l|IO|d~.qLK|f("=hl`FԉlƎ4є蟒 V&YmVd/ cj$Ijݧԛ)}dҮ6J`U8"ٟZ1{he[hdMߋ9 Fr) ; X-k]Kx k(cIӜ6 F&7yRHt^H]+]5(QrR?9|nDrShd!Νy) 7⎱uz"Q+:QL1kAxXw MG%i6fv9%FgCzD`5?0[c?#=w݅I;{0b5k; gpdY옔 5:@S굡KЪx=lAXc{_0oYw9 (kkW?qn("Q5^@_WV;"iH=n$5$Y"Mvٓ!@#gڍM)/sO0+ QQk <~TE4!a:J Ml4ӏ[Rݽ}]d`}XqCE4gE{c"s1nb}橍}a4&+)JK tٮƼ~fS(>w :,TTZ+Q\KH乑4M߸EQvNxRqm.n `ek]D/)-SΉE&g^RCgh>6Kٝ_:jP%>ĶL 6[ L^`sba/|on5ծ|K\)k?C̳ *IJy2ʤ`Sm0 ܲM k70#V Jt^gV J:10+R?ڢyOGU.{I_^BEoR1~3z}-] d)Mސ&dLT*ךQ5Iv{50jXANw6=,l'{huJs`Wӕ`C``"BmJw=8TFtVauyǣxm,Ѐ)ip=]̚GOv~Z[tqT 'Ը&EU˱b4@$ePu- Mx0{ͨ(en>&2GDæ;@3 :⊢Yycl~yt;{2}UmzMlu9n|C@=.]&M_,r#@Y^ R PP_<1֎cJmMƶx6&<䫺9u]vU8HNdffgH#V| , |٪״b|R~V=X5b))› }:+kNڈP\!CNƫ WA?'v:D}Ύsksۃyޕ*A76Y=낤Lف/ ܹQlt!MmKSSr;mn8!I'LJLAtjTvf_46|ؘΞ3R7\%&qЈd3I@|yU#;ji(*@pyj|ڊ}/эlGe%4vMe@',*MSՈHm԰]eOJt0F/j~[RjԶEaot ;Rwܷ%Py?].8Yo47MI:L#;癊xdKfXsuNIüZ5(pPȓ2Ւ#B?tYjaf:8oz`T߰X4vǨ9Jv> R3˹¶e@j' +f4bZSm6}Ja0F}b-H94'*ӹCXOj?Q> >P1Ũ4F4NQ m7vAS;y]| ) &Yz`ÀXthOCі2K6͑$àdмzpȸVcK 0 )3MiN@ateIC[)$a/d9VN8\KY #9j[rnG06bi$߭mWxEU;,JTmX}ڑ#$5?P;D\vTI[btl-O%a_ŮF^&sr顼KʛA]@Ѡ=AB%0CNF7ѓG g$;4u!Lm>4_-)8%_[b :ԭjzp>fgFUX3ښ1jGlGykF;)`CԾ˨DXvۣq׋.(7'Q3nU_<ƕXia"c* 6zcq8O9 _]ԓ| Ʒ/ !YԷsB9DĬ'O^_OFĤJeMm"a\-6k!TNO~M䠓RA1^TKQ]fM?r_.!s-؜`xfλL JeH5r2 NV ׏,Z#)MMBNzY d 1R1rV<DüݮO:}w k@"!S?|  ł]]Au\"ʣ\;_CXYpk{{#P2kO"r"ӌg2 Ggfvۮ{ J&Bc^EhZQW`bPk.UOaW.T " kRHPbs?HDb^;CkKY4{XY2:qj|KC1XiɏҝҔ:ꁽL=Xι?\\LJxHhZ Ea$gc(cj}CәX=KUTT*jlj5BVUpD,oͶ;-+~sTAAie8umT=kf| DCA$F>o4so s)&إ {օܔrϥȿ"持C}Ν{?I-H=4ZT5O0vF'lJG(tOflRO uO /!4k%y)xkRqݷp'adHޭlٜ g Cu۴m~!SvW2` zI"’vdb=.Ywr'Fxǽ01OLKl>=/{G7:}<Nndڠ `ʏYEHhId\w-}:zmK ZE\N}}9?>yS3.Z&Ȓ@UӦx >_Ks. #O~sJ,>fgnTО3.pE t[.D/XPJ6'Zyγj"E? ڷ BCff4B0N1Uq8ǜ|s*UDJ2IH4Qa9j|ʙb%(A졫v4_XxRU*>dȭ> _zյ@fMA62m' 74zVaHmXvhHJ` L\2^HmW?ȝډLE_ozSىe@5`ffW]~& 7h O tVfplin̐Ki=4(u28 cdFe[gE,ZXĜ _QaV:d8U> ub1cc:y$~ֱb= >25`YӳPu>rC|~Tyhm%bs@|d(6S\Y8IdA~Sԗ>04zbֿc3(&\xsS]h"r G ;q .NFnܿ: t6m>sggX_^'j\*6v6sЀBJ(\*t*툤 0}Aqw/x ǣSOnkxQĨR-QwنHZZg\{%c`TZVkm0i"g"*9Onu?6t3x3/)AYpI"10ԱmQD) lC~3| ,Ո*Kav% ey[$ҙԨզ\|kwzH,B)< wjf@?\TaҾ)lܴ;y~Hg ъNH䝦UQrnqOgAd$nM!Zl,.{CĬHg]Κg"#G+N]r" \Xx34&.ޡ3 AZYuc)Ёź0$E*jB@{ 7m\+w[iD̓lVb"#Ŀu77 Bv#Ѝr|(N,xHI _"s b՚.<si4Q.|\=Ko?9yrc|>72[Taf7lluѫ!e߯C݈&I: G%d90~"*.GAi۶3 7 nmBdOKi|⩗EݤSG畳}ɒZ#d-,}I_ڀD5؈Pόj3V]^1nځRjQiS3=Rì -#Ӳ8ެ^>UMJ'awʆ/ lEε41<y$z^dg+;{ Ϲ)7~3=Pҷ%7aoĿL*Ouɳ7tZ=Bs bZUAՔp,&>h]9‰uM`lN[%A/7) G[FġRެ_b|fEgL ~uZ.SS9q\x..{$]IMpbP?HWջt SҵZAYG;5S@?|\{sK'hhj̇}۫:m4[M(*FX}H{"`E :O2\9-Ӽ;O(`s=$󒦰Q3Hy ~-4į,\HY8xkc-@Vhj :PQm>4A%`t?`Wɴ2r_E20)ڭy^ T|rlolP6]"CAܥH`eT DUD)Ƈ<%Y50gGlr _@+NtksFxo<Ąϯ=JPV}}R57 s@o+9!rk6ZR㹖Ѫϼr%jD7!Ŋ >j0RS>+AM;9Lv2s0X_ba9 8iOE}c<y~?P ȁ mQehs/* ZǬ!F[{i¢=A0s zSe-~xPn9;ͨ ,(M0lR|(=~ mw#Ǟ|e.![|u߇|($1w2ygs4Fdԯ+΍uV%h@P@ٲKa BeosRpEWRVx?Y&"@,AbƜ(Py9%Zd?)m_VOwo%hwU' ps6ZνmNYbFkRߔ,s#96m~xJ`2$^;> ']A UɄ[7#r_,R*Ղ_OPPri3fÞ2>}j5}3+Xͩ/(Q[oN(G@{Fާyl3Bo]kZUm3O=H5 9໵J :qx6 pP( 燠5vOZ ;,G2B5EЧ_N-3߲N >^Z.׫(1}FegV~΢@A:l 8pݳlLWD=ֈY@|S2|n![<Hls,z*!ІM)iGݱ|C?ɕ2)Cz ɽ"BWA߱$fPuAL a,@?,5w7B mF02-8ԶG dnusAS-'B8(*67 Oٻ8o®,f2]=Ty6?!?|ZG_h/dR:C 3 Voo3#à'^jL@h+cDgɶHn@o~n$Qy_PA=REfm+*#9G dNXϽw>hX:Ƣze(;/_wjmDSW3ODusK_HXvQcѮ+> $zi9ջ 2k;QnbU _o()sT%3DQOz*dwØ`刢?B> qkG#fqH UBw$Ͽu-|Bgm1kE͓ap2O Rek3`0opl_+Wh9נ-K>\vR|F-*< ϵ[Gkj&3pzl2e\r^ FϮ~)g53 O1}"G(K~^vWϫpDfpYJ˸qEC=ۄS3IRg "쀓ɤs;A=|!5-BddA w v ~ܴzgvIۡT;cp#W#ݒ+f;J.QSQXm˂y[ Hdx!B6&pne_s{!`4B"TpG]d~n{1[QhPw pSqm_UP[؊WQ0}Ot}7`cFe;O.D/{oSPW,F$TV@:.mxF4~C]vV"t2!yBЗq#&i^LyȜNӐ*t(8Ձ>5 9VQha[JpB@EjRų<^Lo1D$ ӕUBu-bD -RtՕ׾f+bV VYo~_+qǔٛ=QrQ H vfI:<`JD 5JDm'@=QLc8-}xPX12 c˫!̺F |}3Dd 54`*/x1Qc䒦Xl buJ\1 o&r tAVYXKI3e0<[CYWly<^kxڑv8&wE2{ qq͈3k[|*s,)g=,9Z48J+Ѝ}+,Xgqyܿ0׻:?J%l@e\]0F4w,|Iy0u-Y '5aվ|+02 bebydtWxe~@!6`LpGuX'.F̛ {~nV JXQ^?fvRCUi&1(waNo_D@Qq(|>qdfv8TbLu}c@fnXu foV6;dk_?zl}>~YpGDAyN)^Un} I&o7XM S>&hqJ%^N& iJ}9a@H\Ǭ}86n|/Zd]~ 俣M~5@:~d@"4S-ra0ËHʹ:-Wvb?WlgAe)EOf@b/KC7CJw q5{=QLϊqrPRԨDVa+ABwLzUK:pS.`sl bVY)󎩝?kM[h-&*ZDV*JRs Οբ)cnC&EkZl"=x~heGӽ+$Y ]eRKT8\0<_{rih"Iy%eM3"/= I0T" ;_w3L>WwdeW9t])-ԓ"zt1 2Gg̩#$<#Ce^ "KTG[>pWx7g  T^=JGRҒQԏ 9 *?#6[h{etrM 3@w@yzD[ಇ2V8`K wP_7k]tO@Njl9_J~QT( 60`rL?PDN?RU\UNͳrJHmvL8Uv#\zj;e4iRkCEo9"pgO"Ynd g'¹Sfm6tH"&E)mӆزLř#.K{~(\` JLT0JK{ď;|d̏; 8†oV\gB:kRI3+W-h5BQ3Ԕف;Lh.6-?;vBc>SjG0sۿs]$H[A2n30\$K"R0.r Ydqː[4= ȵ_tcN+JuALdiZQ*@Rqɜ -Fb={)/뺏z%j}Z,# 5r):z{ۈt֫> _*1YHqo d-fO}If[(uI&\u)† Z4qktsڎIM:i`[ ؁Q@vTU-Y 4oZbt&O[ 0 6\+?VS4LXkI3N4]yz>0f (jIE/ۺJ?7ZD'7AܯlO? ̼m˪cS=̀ȿ Px'q@S@Em47ԻܶL ̌| $KV.-u4JEL'֐p9^ g}Dw9lN &27 <ʇiv"c]7% d7@ʃu_Fc'PU%r M {k-q53]XIRm:~^B I9*BH pW<%mǤhfb9*!'a%<-9" ۘ˝Dr)\I[[\O/͏{K[*Es'|ΡhVfFy2zs#ÆP+iD EăAG!%KQRC&>,`?aʗ N!,>|\4Wn |HKfV(k͵B)|6 ;ov+DlIHg`B$a)l?W9'Iwwo"oI6I_-2rrVҨR-ՙL*lb8h42&]"EL\!Gpt4)ewÛ.vnK^pp)#>R!6V@>J,h4?)blBң֬HW7EMq8݅]GVN9?n;omI>j ST Jۥ~0s{ΨL ,Mאg'X$u&vt@sʢ;. \ \d E itVf̾R1fx?@毟{cmLj5΢xݾ/E;XwXqmb\e¥HKVs/78Y~ @™-y9:]}^> 7itFHRl aJ C_f_M@N{3! quSH\9&EۂᙎƆU  g(䳍:%h'x4{JYRXQ KIU.:i'Q82x|፨t/99CQT{w|L8o2aÈ=?t O)*_QZ|s5E=>P̈́ZvV KcWݪ<#$ݪ'|]:^5QLĨ8y-w q,}_ъ#zX::z"P"vU}?7< Ŏ+薖Qa!!5DtcM =uy326#SpPSFNJ6(}v!=>zE0x| 8ELiNˣɣNL,*܃L277MR ]^{pA׌˯ Nٙ(]76S &.Cwc)tZP"lGuA<$#kVlZ1R1'S|0 Gs9dA{- pPM 0:4Zs.~f󒅀pEj2K74В3Nth52^ ewIH<< F@pKܕZ%?X0vȇL>ɀ+U_rV˳8tsufG3ݍ$(:lŻ1[Uavao|jB6aNגx9&l %l;!CGH ol/TG`r{ES? F ^;W dj+yUw<>xOG l0R]g( W%:1o֩KԕPk#k@SfXz*k@{GkآڿftL?.Uy]^8{1J0k1F +|{}x< I[|6,U:*Y?+|V5$Br^gBZt픝4$. 9y҉9Yƙ4(H.)}6c$ڡr3,K EK?0<[~#L'FRѪgX