SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 %%-4| Q HOL-ODE-Numerics:threads=2elapsed=878.062cpu=1600.292gc=55.288factor=1.827zXZִF! 3=O]ŗXf1-/6vRZ]C27|ê\?~{MC^#`MX=j).X\`c57olr&zɤdQpC1x-gxkg&"խ:<:_ʶϳ<(!Mz;?E,iS;c"@6ѳ7}0>-+c`f#zajW,lIKDnO R*W?b ֪o-Ir,rB4{c9_?#uƺr'Dc[«,PI’*bl )>zMV.'4z]T8Nmtu;T6w:Q0Gռ|i!n ,|31q Vf1rfƐ]r M;b2:E`rSC^f>]⊌s2JOC*yS "_"u׽T9gC2KG)@ubahbȲdͤY@TAC錖.W8 `tb{ئB2:,ɛZsbD5}~|R:Wy@/ R,ZYsF+2ׁi¿Gdw91vnF1 Q5pY zv p`$P>~ z{E枟7VFUBh96 mCy;In[.چf  R,Bϻqք b@;Ho-h4vlq`imF氝oF$E.ŦWg`žZ]"pPI*cH_qj#&[F=|@(L@J |f2Yk=H7ee|i,%m΂~3ʹq1U+!hҴO piJυ0oQQ-lX;xf#X"\g|jAuQQ@|#\ ە 9'Nj Z$}޳!΃ڹ@;/!N5(7 JĆu&u mF_kg37>1'F?jY eMacj٢uNQjS'{*#/_k+3D1;8D39C{2l; iJ+Nݰ.@(+Dٶduɤ@ pU?]G}Jxbv"cU(c`-Qy:@ɷUr (9ۏV~\%X(DiOHe 30+^X΃|T./L""EJmctzWQC/:;ti\[w R\NPj &fwT>`4/m ԧ B]jWc,i} GԈ|EZJ$yvx4^"RȺ5ǵ"ܪhְB `?I~Иop=۫fD^,!qwi|QfMոb4~{)?ZgζJGGǃª-R[V̞ LAƧ{@)z50B} Dl)S;un+V(7LzqtoV~!@#{ ˺<$ 2-\dӞ.qTeʩz;Fȵ`j\ch̦B6Ø^}T>ӡCoL،w^)^T}Q{RG*|Ċ#آ(\2y]آ:ЂL^yHh1ǃWac"&{nqwA>y/^X7}Dz}v&x"]ǀ0?am9J<]x폛-A Jؔ4=oBLOʼnzgEGhQ6[A%x7~.EAJFy[~umV׋jlIV~U"b9I[6`Fwlzvᦢ7m/9uIhQnYz /&|p5 ?r1^" l\mJ!fNgGw_u #S 0HԴO_Fq ]Uq 0r7R# 6fڲ?0PșW~V-x"bAu维Q#&c$ /p5u :2R멉Wלُثß^n~]I *#[PFt^G< lQQ2UݾiR|oCl:Rۗ]|rXޔh|@L.86ռMWVwÄe}vx9{E ?H@aF<,6Rce - HOL-ODE-NumericsD`'YXME*`Qm&.MWIBK=F:<6Qeژ9^kX@C>~.w?FJ&kc4Zعno=D{IzbP"͌;*^76U7ϓEI \;^ۭ+k r[eJ: NcUm+.,Ý X~WoPZK.pPzHc)7eOQk!/x,ϸ;:$mrTܼï(.3^4ly_eͲJ9玏aS*A&ɧBz&Pc)quGO ֪ۘ矽/HMMʍoF ;60@cmf/Ӧ۩5A,g_{D\E_D ^/L-[͙}<څYm/sNE@/%1@Y+߫=K/WɩD :/-'I6}GN5 &98!R67"kU\yI<ڀg,D>Бfj`$ 4? WSY;۴] S98Do_ 41&agTD2c^;3Dr5QМxOeNJWpO HXx`ڪ0ZJWgGU1)l|Ϫg۴dM5V7qyb@ùwI3٭RR(.~^1# 0JO-DMWR`Gˇ{6^cy[F)DPht:OpphRUUm \@ǿVvsqw(Y"؅ٙiRqaS.EAUC gs3W'՛{+65mĻllZCjenliRqЯ:sa3M>DKQMSc0; (ЍXyo#(HIpl2 c7 5/wFh=Rh $!K㜍 $QMw/].՘eE̥^_~gd@`G!Lɣ* ]hJd T8 ( {hP7| t5VZi-8i[MK![F30 cė8;M6SOfzޔ.hqT` F3+Iۚv}PPB&78ɭj Yltf*ۖZ`:M]>R (2pZ۰r%iUj\nʭn܆Wb PuԤX/QYH8/WxH\Ov>3 O!Ego+p<3{fv75E0C5"tH J3bXo!g`tThxY`Sg%)r*Eq".7J]UvΩ9QaC"(}_Y\orcmOYPxDa2.RWngʌytoYÓ}tT՘Xe#lQBп<gJ 3ƣ:Ty?ɼpV悎]3?rSlU Lzix-ЧwKJX4V~Oȭ3sj\ QDC5UŎ"$;遣E eU)Dy)ʏz+{d k|*ފ%oG DAlCHU*̕1ϖ*-_,H6oJ΀{`玾̦lBK(dʂ8-W5Zf$?0;[?E /ZIQeʒGY߱S +o]iHDkt]S灳!(B8F^F`rI!Me<Osv{ӿa}U$\t?5Es%䮢a˔gJpDez 玀zz*sEG(SaGkda۶X$F Vee8RRXohIK-Njx&Ӕ4\@P=Q(Ѳl#`//'qkM##Zku܌ѻ{qhuޫ\ǟg:{̅do ANvwԕJښt?5iSbDAUm9J/1.M$/ʓG]yXR,XoqW!UF>mJ\0 b8efx$EZp؂;V-qB /Vr:C&V5uۀO0l٪tE7Z#o.DE_h9ry2k4BDL[f 9twi9҆s5U(ȣ Uxȏ^W2T\B*!JKo$C/XU9\v}8, >?mjE ̔MVo۰ i*i|l,YJ6B wY9oJiƖ/ =L2mFWWgsc+Y2Z'^yօ(2f@.UXq {Nk?ҷi2ЊzY=pBg>r0 ƐY^oj׍v,4G܌u[9BT>@YpURge܋FT4)2v-*L)bTd-i?aV;Kvh]o5̿N`r*⌻iBY>ՈYwɜg6G @yʥp#{!pt4RWt,?xVO*a8_P teQ%oEH 48Xja\!5^YegKw/?=:dV 0xe#  }{"HқGkcwWƖzދx-{4Uzb缯3p0Mt[óe\X" `Ӊ-1v3e$`#w G\XF8_ٴы8fO^qTy"4;ўD\iKi 7Gѥ5zPFO{\|?3s593QTr6is WM}͘6HkYIlDم0DH:c&0\ԕоSxGk4쐦.ݜX=$oy?k,q4Z. YUlqt$it,|kR89>ia+L՛* Sd8o--Ѧ[ Co@)Um{\*;Eji\F,?ߘaxfUE=Th )*_P^)gJfp5t&V`aE8*DZ> AqZ"k]SYB4.Cڈc$gl YCޒ91ynVO0]@CxFO} ]˒pH/;ѻGE+R86|u 80n#Eab;ڑZn^)^3$;;VuMxs#. Yؖ+M n#֌gfWN;=ˆPwɮ u ADTTkB_o.oSIV1'.6-rtu-h+2,}`CwEɭ$vY(#|]}bdR("91F .FڅT،LA`?vi#):`Qj\򪭣v /qqeiau심?)n$w=k[7|(1EDwC2wpj.-gN{^*H½h,{'7S q:AfyUR!|_ _P&8ã  ~?_y@*#s6J\oK،*v?Ub5)5\o ^cĘ:8&^Tm؊!e/Kyuy@Ik0Ϫ>-gdШPvO18}4٪K7V戆FD\YzHN8"9~i5Bj%pV/ T(v|Y)F@Gv.1C3|%>-n+4FJN+nӍy/Jj-G?enp3 IUr^2M:Ҏ\|ƺXgpaEztK)۱r X@nLyȾippb#H;9 +aL设IWjɝ?uWD5#p F?,y_GQԥjXDjLe*-J? h}% 3@s^v7 EiRdmO 6FvTw] B $pY*hPr@V{tH<+ CXp#PpG\;-״ªrmy7c`б0e.8w菟&IcoyCtvDZ6ʹХ>gF654[z0h 0( ytζ&{⮣i6>Z_]Ŧĩ$ZVo k af1W(jeޭ\teoT!iUd~wRA4(.?z'yn`ߣɻ엛VϪ{%j#TY _}Qu| =#ZxzJ3H >+T^]a iڇL<~\xs)C!:Ob&bÙG81%oJ BE9t3 ̄! f ^Iz>m%K+= $X]lCƏmoAcJ4l|06{EW R&E %W!?*~Q |w& 7%F[[I`6 E^\K;?m:Q2273@-EGq,12m`V4ڄ$qHn{ CTE v$r>=-:s$(O '+7~sSjPc4Q_bO͵_HkI(iHԜt _r-ő܎!L}[nF#n ñ|j ,IgJ19Ӄ u|'`"24vkx}%s(amG]A;Jdl+M13pv 5AlzT  Ch,-(C=D4agaNFԸVBb"z'AR:d8s~b@@ Qe_%yy^%ldYI :]TT,j!"Sͭ_aGӥ^Ec&.;O/LxF;tY530Rb`O Q(sKPӻh8#7hq/䛑F麳(r'NxW"l`Bь ,zCI\)ghMyaQ"eY1(>ulR "&,?6f2z/=#h8:. ̇rƈaJ͡J0ZJ/VRxfBtxz3P:9hzu2@R_ #ŮC˨Lш[qW0O7S̓Wr=*@.ﭶ*9;&m,:`y (cRdd}'y~Z%pHws\V>&4cEc!4Ujw*$\!_& n~ipg6m\Wha֓\ek6ՀIb.U6'a\gMG 1_4 HA[ ?Z(\}RuM1'7Lh#gaRmTE=,{cںP&UU4IMEz~x &Z9'P Q5? s)c27:j)W 8comDF56N%+ORT>Koj !"5^Z 9z j 3"q̯L@l1&(I-`!Jˆ$HP(Y8lA1ݧCόFq@< (W@yCʒH Zϐԫ#]TOلIkʥWiXw@Zu7H<+6Ehwɼ'ߵykiKD HU;Ha1#,?߻1ݤک[$@rp}SnpM jV>@y!gtʼq#XI4',9q]8NK2G(vv`&G-Ne!"2\n az!i&[&v9M,?<ǽ_K6H?yk8mglQP g}43)O2<"Sl߻5Ng}5N1)Z%c @Lo8?x8'6~r獶ݷ33Ҟ {Fv *,ig8 { yqpeS:sx IP%2P('=Gt9v'MHX '9Fkݯ,TݑZ]D`W&y|ff殘yךۥnЩmHC+'`Ƨv"ϱ'aROm6?!력ɠ!6Ӽڢj9~fJ#0"^)ccCMN5@({lM\x[UDE^/UjFS4 9`.$T\d & g?E(0B V㲖P 'w7AsT'u Ea4Ծp?tŏ/P|Og BOd*VjAB& ?2޷1 MޗRz0[hFEf#m/K/`Xy F3]4HMgS|4R$Y!'dsĺ a5E:Zv0ԛqZ:+c@GŁ[XbI hX ST^ M1ʸK1չlTDsSX<3JO.*늝8Ii)HԴDJ:WqN>RS`z$ F2+Ohe_%GeX \?='ڶΫ>ܰq[>ږHԑ.{RpOյ-}<mP}1?$ʹޢܪ{~)GM5_AzK͇#5IatUVŻ^`=x=2&CG&`o5\ T'縭c汃Вp ģ0 !MT$+7vDkȧk3{ v[{OF v}~V5zrYz>1MB3 PFTG/24oaSHHsm? ,x ndʣt@9g\=U Y&+`)$IY2#tS?kB[31"۸IBo/!}LŌ1Ѱ@[xB4ߦp E$w 7^cA8/A] H)ko=o$哕 NriƸ#"6LepJ *|# Dd.dx `[р+s@fT ~oIs1{mE 0h¦EMMg7"yȡT )x>%]ب=NEFKvoT@͡'tbeXǰE|0(T<73m~d 5q}w|6S> =NWloz\؈ۈյc`T54)\Mo'uM%>٨Q/Ҋ\3gG]*g!Ӑ/\.3?8-(5J0IBPІYUkEdjT x3~j"ex^aŏeR&Ŵfr܅<?O,#$ے,7P_$IJ~Ɂz`y+zOM'dhhFHOøXiU6X,Sys/UK_<6p۩ 6No(ϰ ·zSGcWNȄg odY0d|!l*t@g|xM!ILR{]p\ۺLq g}"qa*@)o.pC +CmNڥՠJDs5N6BXz׹.Z4FI!g'ՋoIa_"4?C !Rm(묯v)*E8Ux0/( >Shĭ E.h̹y+a=p/4X RMd,<<˯Cjjkc@\2U]9KMz3jY}@܏>qJ s{ D/(AuBi }݃-Ka}39Fhe ξx܌y6/ `m uWeoLȄ^VZ$ӹ܎ox4.RVD3{TvLt05ifnT8ho8*#|0r+ͫX*ɹ|OUʂԀJV.Ld#.XpbU;O1QHӜK=0R_}UⓇK zCМ)?{Jo__Ns9Y.ڕމ6Dd9 .M}^4Sø[1Zu^ i,a+KAX]qٟ34fAj:bt]mkGL #J5OKA݈Ur>\"n64 LoT=\HF.\ S FH抮JWƤ{"Dr5VG6~yO0״z<> 4k>3M0;W:#+PDtJƕhK%EAt\f7`Ɛq#{D?z<_h$8!]nZ=DPӢF$ȍWP͋3h})˾4d7(uHN!7P-ͮ&\r<5tiptMhGb޿f2gɰ9b>=9Ւ:!Oq51-  Z4EJ iAUn2[Grlk6ړ"738K ˻2c&X' v -/Gg1[w I K>:yw9GLåc4d04+tۓ(a+ //ɝH={$'AL15sw*|˻ "=LK)s?,P _')NHU7xKm7J3Ps(f92h2G:D $(1a"tbE/Zs*>cO͏j>h Kj gEĄ[T_NpcC"J(-R㰝*Vk8ƒvyɠDΈխYQ6լH˶>1+Io R|qKCZ xc})gX#.i c[̊1 5'G$? ;6t E]as2O-P8iAfTc}/"GVcpj(<".3 22Qrm6X\Y~;=FIE( [zaLϾSVC>add jz@g|#931A+s08X"|FڰtߏُOJWxyl`>A7֖HPm'#3b{rxnQmptC7X_$qf"i=R|X"{ m[0CV\n1rh=}7#[: _A`,y΍N l 1#ُ 棍82kU & :t˷_C8ph|g0M]$|'LJT&f%y%]8{KʽegphׂMfzQ[XM(E#n@ ʼv&#z'p6 =ZJ$5Y?X\9[1M nvDÙ^<_I!T,mR^!C}k;K/Mzyv'7B2* %r]?9a&:*qk3=*9 Bsӯg3"W7dP"zo hsS'}u S''2z_^2ݺyn^H VZ!.p" hI9v2N;"jjٛ"ů&Xt0ȈtPfZ)&HS>n6 ][+a+P2?4I98[hT,ZpgƈC)HFćsmGq!ҍɛ )I7e}N9U[^&@w4!>xy@׭O;b@h!J jcYĦHL&{YE^>5UΕK2ɍFFSCҮyi-XA~9ŃWF/?ZWU+#a~"r9kthNa iL-WdD\©7TxfsJ>nAVVZr˚p7G[Dda& !ptCJOxnBysaeHHyn7D]/oԪ%cFH6j@&Mbgs$Ѕc0qѠsq#qWBh>)$h[1v[7$ S`E=cg o&e-=sxctI: y& _Bu8N/]T>fmq= Ɓ2"pA /;)LsȊ? 1y`:U/–w*45,rԙ&ˮ7;j;iǬ9+B%^D&RO(AǻMwӥqͷ]UݛJd:7VIXmZZ(EVR!PFL٣Ÿ'Fn5qQs_}|1YjkJ>8M?55ׂUhG+p[k (!?_] yelS'!s6tc=y ƌI{ %U~aƺ8\_ ^(IA;{y`2>7H9suf#{<ڌ[0qٍ8O {W Lm,˙Z$bAzƻWI6: _71hI<(SIBʙQ|/7u ]eG޶ج:+Vi*v 6$_ID|gUii0C_K|{ _zA&UNak-v8~(Jex^OC;eLrUO"%av,Vu?/JT՛#YR3 $9F=XE2`ε؛Ѿі:K8}sf9aQVNqJKb'h0oto2[n/w<ݴc].>p0sbErV~5 ٲkiúk,!|FRC mIȺ+e`$z:br%>pp*3uZ=^-o25G ) eG)v11sqi>0K@ G58m|u^ĥpuȀFP h;gUmn46aW0 ? TWлj>.16/D5^y-}nZ|""?z6㝿1qI @wW&S:1$T[ba>s¦t /mcf }+o6JN7pDn[e ANZd.FKZ?.RkrS:('Ђ1aLͥjVS'$j_( (,XPrYs+{y*N^Hӕ)EHbfƭZhDrqk/IBm T샍*ٴׇe&Vf?_4`YѾ{Z6c? n1Ӝ?8s6ZptEQ3.tv }-=."w/ Q- "Fq$<ȗ'tФHҟ/:La`sce3@1&;J"{v'Pjk{\?F/rkUʀڲڣNþ/:q$Ʀ>nOthI;dҵ`ѻ%eӣry*EJoze}nX ]npc;goC /_|1v/UÚV(XTPK@/hoNE1nwɇçC2DrxZqrgif[}D82{%0KIWwǤ X8ȯƓWl% څ`?C(Me^\7(קp_3$L_$0qaY^J\PQ[>) Rʀ9-%%-FB>_8&lB#N/5MUlmT i*9^y(p}I$Rʄ,_X$vc򌃹=K5ivguZ ŇeitDǡ-'SUoo~#iˀ*oD Zy,.{HScɄd0yh vyi\U1ƛUl* 3m3ĶDQ߉=cc%)#UKX FjlV_r~]Ua4+orj xcF[Dx٣& dMZ*4()˙FiRf/[b 9tw p{זܻe'q[uCIS΢NhqC #/2%8VoȓxPZM{(ϬTRа/`ʭ=) $4X0RFBOyw2c,^)'> pw\}/>FRCbuǩͷ:V8נUFlryL|y,Kxg~ZAEB/ FܢЦkR@2j8$AOD}Q w4q5Au^ mUWKW|^Dy`5/;Ow>`#kּU.2!R%E Dr[pГgY VI6:s;ש#PA2آ_FZ^}]vWe{*BWb|KnrH'C VD5{R.ufVm+yQv;eHz-x"h|SgU5NYnD<Y ZsWcLY}k^ɩ []d*CޤD;N&s <2>U6"!pQ!FӗܳuZ%~v}m&-O-z`q"47\(g=u Ay,Mj31dL;JmPn?&ړ8ݸE}o L 4z7gK88"р\0d2 6+# #mmїoP'^q |y)3K)2&=A=i|8B◹<͕p"ٹ!8IĮ}[q=jEwyH\!<$:WYP{X[FnE7cua4RRKӺ[A0{xG9\AV"UXzP=ߍJRɫJ@y126[Fjq@`T1~HҐn#!vԞy2TlE#UňNkՌټ<&W"[؋߬:vxwVѾAnI*8,;cEGn8 SEe<$)u.ʼnADGOcKb >LKu-v$J}[!"3\Dk ~E|v" b?P, $_<i$jy>PŗDF:nNyBW 3#Z>sj:Gӟ @ԏC"(o)o&Q;}">( +a1Jӈ`;J~:P8F\܆na ;maTX} +G-nR6Q?be/gq1n.qC-_uvWⷠy%1ij2W+^Q${uLP6IYCO)w*g285OѓIa,c;kVi_lѯ+PVW?^{6zݰqJ :Jlh^ dR $4`}m=QۿDGRe5bќA! \F{ dP bW1%ȟUMy5Ŵ~ZbBi`Ѧ8JVCD32^q]eI"|o&[LU.M{ZM`|ǜ6巣끳O&NJh_4u~9҇t-̭Vu.X5_$yYY%&!rS!Tkt׷?>3h/sx!8mD^'Bz*bbC­xZ._VaCh\f<:M<(%6 Rs&!Dh [k4Bɢh G^vɊA;}& "hM ݎ:\R?eLo}kF3kfцZ`s7X#zJ&zQkV}O.D@U_Bh#sF556wB> H9sD1`<WW$t?ٕ 15^Ĉƒ7X6LLqh|Tn)v1m5m|D% \@̼at$#U3oGZ3C)ׂ;mq9k ّX(`w:iїab:/|too1 EǷ%ip+Ïp{CS.cgb9 (a4a dN -Ǜ*~t_.7aEtA_lT@3B0EhWP!_ff*ER„zҼ6:ECKm$Qof@h  dA+Wg^=2z^X^_`d@Hc u]r|5-,AN{> >|1Ǫ6q(> GCKa@rKbf 9U Z 9l/ԍu|ibF ֿ{KF NҢ_WfG3<.Z2ߨ(m~fHUjy;ܷyg[-&"|6F&7$[/?ЕnKcHUBg% -0ݰ媛+WJXcR20p) =Rv&1C&s+9?D ̢C<_~Ni:Qٛn47|(1!yXѿ3Ph>`[ȑF"[T4 U58J0xEb"&r\8 jbs9tr fg.^ĭm$bҰ[L)eL[MSң#24Id YaX!}J῏J@^?{}]ٽ*wgN:=_rS4؄iZ̈,otr;j!; .mɝIaW ee*7pO_ JbA[=:$YENNzZޠ9[;ZHk4TqV'd UN#v1zs<҃@ތ0;/ݑ_h#;@ ]J<7(NNBpm@Z̓)+C`yGZp[W}QWK0 ǟl\uʗڲYet9Fꕁh˖Jm|Pne)x~S7hori\(YҪd`,ICazh%n\^c {sv Ɋ9Va aZ|B5h*f.q#;]YG4 d&+uv4⥺ 'Uqt5"nוC5[b@FҩfpJKiN 6t%Ji<5ƣBnH>mDI+>dd.O |?8K\{u2F)v/k9= ‚:t80cYTJm1x6d 3A&~{_O fߩ=u9pG.xIvA!RwLLMݡE{IeJu.9zh,sdա*0Bqv4R[0wN[h5eHT+J8V71ss9.8S^j [qAWqY|om̳Nm_JjFr1K.Sņm 6!r6 =-Nf.Cܗm֔qh>F?LQVn#4}@"*G)AP8:civOK~ܯ}I&i{nd[}ѿ1h]bgou Ef%]+ 8Nh9qKg *VܭK0Uڊ` )rsZ33 ƶ]7uV?4iߐ^oX.(<{dY/ߝqsUl2䈽%ͮ"ATRp .8]SQf^BMǭMzI!RId:c *\ H\Ė2?%%ݞmq Nx-ލ ~|2R_.T4[uazidTO&۳;*Yۂ.P]P]uxXUTD-sW Dai#t,ygSz_Ӫy]a<-+㊄"1to#s_?jY`UҞrt;O3#NN|u ri^Bqk+}$KKoZHv;ҬIJaB#-eϛхEs :ŝo$炂ݎ{_  N<5NG n,|^r: ӅMV"=_4oZ|MYȺFGcXF. E7 \J 5ڲ2I|epMʧ1Z?qz0u4I=t+5':)oTVQ5k :jycIʲVD`sz57#Ki:hihn:mP@בTnNmjm8<|[J2mW3kMkU:n[(ɣƪuYӡ4>Ȟ\qb<9vsw [.NF'c]Gm c-}y VwoZ rc Nm¯?{+xȣs<F9ROSSbRSfgJԩvb׷A$h>l&AFj}- -YJ FUjs#d Uz(L c2DW\w{|XH'\Qmt]&k~EC2;ųqdѡY İp`;q .W8ā6⃆oIZ7h`ſꯞ!gazE0uƓKD7XRj":]1\nѠwcj5l#Be4`D"@]^$w82s<4AĨ2%f"18RX?jڮ!@@BgôSDLgߘag8ԋ$--C܆֌5: io :+_fS4[p-$4'SI( U+eeP '.DaLlΎW#ݓЦ$QcʜmuRcҵ}[.f[e KtDx/HSiM뻸'QTcGLՆ0 \./'T&*(|&9_|)-LmdSv=r#/Qÿ;Zæ,<ծC|$qXBRcROƳ/%pLja!2j !] 5 Ѧ;;"1_xUҖGO0\}N4<э̓d\e\.(dGӡDzё&ڹOq2 %`_wy &iiU,HtZ]pP+ 3nS.o0!bT?km 9}mKӆd Uܛu fqjm~^;.X3Ȩ'ڵbTp?5¦NG/%t-.[uyW?XZDh&/z& E}oQ+}@Pue# $GapeF8[qFVUEp>JI3D0l.YOY0kAb&:[W#eFYu ]QR] [0\JHs'Β[85s]`sj˳zd#cԐvyJr{{ϣjX<%44gVs`ϗemw!d|bxbn>CYVP!d%N` W?;?y҈EKj#b"aϳP[RJWF bi*8A$LӔ9jغlZhN7;#-`::y[`c)|?gMPGʥJ 3=>"sI.cT+bYpf*%cE8'm%V `;6~_{$J0).ӝd qvT5)~=|&M.@ %.PESRB[$~34#F#K0+H_W`7yJ6gGq;ͧJ~WK/[_q/hxw o7Yx_ԷW@83?7h<MXP]dE'}gVo|RO/vFpA^rGN*rD4Q߼HnY!q ?z$]JĝNn@K?~ 6i)iMQo{Z-º?dsW{E3IU]R$)RފPl#tMsO!7(d' yp7Gn8ְ4s2x>3^$D^$ˇiȹ}! DXʠiTA/C3+Ú\6Fռ!{)h\F%j?&ѳd<פ4D_o$vU9KM1^Xя:7hge8񋙟*?'/-44^PQ&/lIy83Usƾ;34L[8)dH4GklK*lJQ`8?^<С2G}+@>R 1=@OwJ rx(30TfL>osMzGc"ySl /Y{AV{O& kN؎ 10oҿp[{hS#wQ-|2c5mzU"3%8;TNi1on8>@R| q߉IȂŀgs"Nsj[%9oŁ"9$@W'2eK[hennN*nDs$Vy&"ph|ߖj3 e B$$B2|,qCC"3^CM^(?w (˧$E+e죣,=| Onz!!sFzE,+͐E>aZ+G=>|Ȉ) ŨO_HҞ {(Ʋ֍v8@Qh-xLFiXٜx#,im޴hW1*crl_OpN߸tgB)}L3Y6̀ɠ35sJ Ffb)uϠ-j%>I ~KbWMX]0I4jq:UзRd5&" mX бh Ot.M;ΨO-O3 `D>E)9$M=IXdv[+ /pœ{.& vR- MXL5?rl/j`XUlVxmy!~8V /8gRe53Pq# ;mh+N^H %F|QnXRҬb O ɊĻZi=wB; +h@Tڣ +֑0vgLb;6j`Xb[-*.fYj$,H[)Oh$9[?ð%߷V>tp=BlpVzJManDŽ_P_OohmU9Ue6$gчp[ (yZ]+ɦz` 5oU0:AfC6Y@$b˕mH0#-'vf7q/DsUlES;рBSaj35$)vїHkPC:h*?jLuEuzv {@n.rC٬k '!64tG;xM3m-`4ōHm߀GQ'Wk}&oQkj UusБ)(Sw۰n܈y[:W-$qz!t*Ukf% 2*c2VIEt>-rG+h4uhnI/̗_!ͣn; g7cώͯXϼ,Iگt5cQ'Qv{oĪu+K@o %_S/uI7Ni OcSa_7GF|Np> TI'\'Qq&ICK&Ք&GZGj'[[m*?un ]u dÚL6+Yqx{nM|N~=utr; ?ݓRA PΡKX/ ̱&$tCODN<- P8j|~*M},C_iaOƌa"h< Pcs=܋ ֿufEhhTIOs}f^YHXR1}aT|]J|{HZ,7go=Z6z XCHʝ~ J /MCKe6}" ;kc*!U$Tsؗ A)D,b +L>jmDe;3S30z`PwIV)u-G>=CT9\k':h0hhIYʫ DȤh>}XW963X͓1{sTq&e "ak[A˖4epTz:;sh=ȠX6B=a10V.4$WjnF!K{DS?<}]j4r^o3yGalj>LHu?CVdU!$9/%9ݨ`/CqXKKvĤ6>s;>LAkms,C˯5Őa&; q})2X T#\{$$1TfEPX"aNO̎x|D@l+|Tnfo\4I6vfz!k|#B30 v헦Ë g" ـyUՅ][A UnjkGvFkC4iܼK~Q| ("xKj[J\K0yo!dK2f[QP&] GT_"R_P¸V*6kSѪHoU>UŶtɟZ)J9:ɤ"s>fzfGܨZ-7;uDy-T;|n7 q. C h>`̝^7QQ DS0Q*ֆ6^@{LWkvCTbZBD}t\ͣ x v'CSdd؞ @5BRǘcl׎2$;[>I~===}0J^&]JÏ NjnR6SF .V1H# i L_@~(6b8zh\ ^O _10|z :>xR\ßLB 'ףw|P&;@~dl3y9Rx@eTaF7v^'T5\mRN"fX)@D>na*SK©Z  8m2}f~ILyG&O,L~|$WQ [Q&?c`n!wU8~+PVZb3nϨ8>&ΗJFZ 2'xj} \0{mˣނ(ׁ~f](%bRqj~*J[۠iHF,rԥRG8#ĐRd9SZՓ_ %u9P,СNwz2,ӢH{u6u:ml>;|j -ÜPX'0YE uHr[i}uɭ{qo }䆊ClH=ա`?b%"Eb/>3/FC  Bx5w{D=9uQF2 Dz RSU7 Y`|ļկhbMG[t{ݵܢbWn Ncs;\DeM!d(uTdU>nG2zߚ(`l䧀$?J-뾤"O9os &W"<# gUkfCR3.L34/ ˒17臧(E ]{_a}-~/*!_6{ QjQhI4@3qI% Fz MVG0dcݤ;6M#Zv`|+CA|"b>b7[6 D(&Q(Vuq4|?w9yWY0t{ڟBί{S=PJ33i x5˩窨l๣{p^#_WW` e=3K$60W.U_qCmyv|Agv]^.X~K5p`c ٯbkU%4wijÇ~s~uNYqq!gT9c: )MnH/zvwx}0Y)8<қo= Ȇ*-n@Y?`sCsrtT.Yi+9k1EF?} &L!<e1SYְ6PTZ,ة̈́zK{v$V%%a;H.Pοjּ<fVZ6˶ *883X7>s0"C?Y8^1>}݁Z'YhS-"_kd(/j~߅' xe!ȝJѳʺzngї(RGK~݁p0)2#Q`ӻt\?\yNiQ,fO܄5Ǵ|x1!W ,)kbA+A=\Z -*o>A}e2Q^2+\!wOV9bZon0v{6qW8c$P)5턾KD4!#JZvpVTB;lSX׌ A$|rj{ Fm1cV[gf Pd#h,f960'D,[hoA7m7ɣke_!dh wK"hL${aR<Ϛ.28uk鸼+ nx;1%isxŻтn{ht\r6yrn^->~c)K^38BON['̓/v/"p7CheNVm m }^| ~Ulı(wpihV|-y\&<~:rxyezxYi LgcgY w rn*VPypv7A<)[1nIA{vH} zm7[9ƖA{M5pLԃQeI3SF$\/ Jb<Ր;ʗVђOm\d-}̡< JU'@deb901 |xB.Dȴ*5nU BD5nX1P"vVAt 1bm?+}}L45Uj}J<. _7^ X23_4]KF]wrp7@Ƣ0_tt4GZ Иw.?'XԶt<'cDDQx^r  vwƇԉcr'(ϤCR]CӀ])Ÿт[`̭ǚ]J4Z">vw+`]u8&,H#m`G5޲V}v3=M].=$)-pNGp &jROR~Ci╳N0;fabRܼ!LNر&McxOua}#p߱?uZ8>{ܞg 7}Z.6c+߹WxAܦ5p˭+>qɍSAsj_^nuql@/ Y$?H>',td$^.ÔuPn'e8ӒQ|urQ AX5jɎ*št|y8ǫC~/cQ ^W0ax=k[4`la1ls*+ Q^[bBT vF[+#NvYF d]D|5JBvLp\\:'˖x%9_;]g&L;qZ7Tn81% n"&jzD޻ r<(p8Ƒۣaĝ`'(kѡ:@{5þ?dJQ@TJ$«94Fx۾ۛ1kCp5- a  _]WXLΔѻ3]veݭ :dQ#~ 7\NFg ^"PE2v,X[B)2*t{CLZr=+6eHR쪬S 0Za/L}X􆨏ؾe2Ԋb/ fOf3/ӈVDWKAx8vfeyz1Hy /inLv\*P(vR lh}V`Qp& ^iuvOk-h51_dS{m~\1Ie+ń Hjs^?9NV`>JEjO9J`9c1!6MOR98uHRi oC_ '2?_Dg~vWOU?z|q*5M S$7^2K}%qx5u @$k)*7Z|nިaU~o6Dy%ƣ3P1,#UT:_El1ɟB+_WcRf־n?$)%Fx8l'_Љ.ʍ=ۚ+u^l0d87}'!w;U(< 잳yV}sI$y4^%Nz(}CQOibS؟@Y1x~I\Ʀ 3RU[m9Z~1~:,uä乶4 ^ŵgk?^W41]]OKHCLo!1E=SV 1+3dOW?ɨ{V͠@4AXW7D^{Ӑ̐C0u<@ү!AT( xf:i:=>G&`Ŗ檑O-PF|BJĪL4tz$a-1XYu#ŷ~P^w3[۫ /ẔV%DL /NjFGv@o7PqOZdٛLZ,f9/ ̜Os9o NVI5lJ>? J JKR[)^XpCg˜vl_o9Ŷhy/I\){95? r Z`n8 RJ͔'DC=&`y1}: " N\G&R$[S92+;`$k#]K9#0Y}泑na {HN:!RP7GrBuvQ bvU MV4jT957ry` -ǰm2QXFe~l#j7Do=M9nJEλ [G|AqպB+/gA2X wvɞ37`TԮΤ}=9t7  vo*$<$iiPmO2OIXY8ʋk AHJо<ri8GFrǖ(;雺5jvD뭱qE`Uv;gv(7ƫTban TzS~𬰦`^zph.ؔNFn^I:.ڑZߛOE_|FH!$\[Ȫە-US 4u~tv(рFBs'葐TE /f -E@ z=;~A_VFŷ˼f/S>jŵ\.bjV茒DOqPIR\13)%0t[#wOJY= eb&ףOӄe: rmgΈer Y7xmwQnmڪrl;A"M̾ E<&J֎@MhյYTk`7yJG!kzmZs&J7H x0Ol~8dLtJѝwwQ1DTTEkmiU{d6.&M^7`n_p3oe^vgqNd\J*V<^௪VT2n"&< Z* ŗ'k Wl9RmN+bkf#*PzkW84.a [JteAJМ:@j09 ~G+뚤m'5-1 G'ᏭX)x=ʯK sCA9r;_`^9s[♮%JpPeb% xx6E<#WrӼzYQY?(1z KvaR00XEަ# ceP?piFX2:ץTyPyZL~4ރUUz3%9_I}.m kqA/'> . \Z캠[`4_ک Wb zO>HW|Gφc&0E-3|2!380HpRt:p;:Lj1Cܚt<&DcL"nPaO)_}crneB"^E@wE9Odm:R|A$?~pŁL,B2]";k$û o$< Rl=7hYH!T'M6ޗS}li ,OT)"*ڴ9=u* [*zLҢ$!;i7Ky&1bPoweln-'N誝IDlr# 1SEO PR7Jts哊RG rRڊ禋zj\n8 f@zk?$Rd %R[k*/uǢvJbk! -lBkf֔IDL̞ pW[QZKrTHӹrCh[&1s#sCjHFIuο[L^XkKP,v_Auƭoq_ W!P1T6ob-2Fޑ X+HM~ewhb¨T"r0%݌-l3ĄN2x Oݰf:8nwvo q饻E1Y;1GdWꁆSՕO ?yr=yI˕WIPPȞ^cqӤTӌeΠHReZ a9~5_O%,/*p7Vđ* P7KKL.oBֆ%<^/kܨ2 ;;UWqd-,O4OAd Dɶ(V82 E.yYg/JM~xK :l$ia3ap7Ibש8u3SlpLsQwg.SX' |Δe㡘[^7j]? -ӌ&dUx`Vf(_cVk~͍nXL5!6<^pn7mȏ.hSj'FV>/we-oe.b1XJоq@OaILV̧ӵ H\VtlMƜ}4F9aq9cb 6U.󮾂2ŌE>f*$f[)&̃/o/;pw23kgJ)j yBj6(¸PY/dˠ>_[Ny-JKږx!;iVЛVq|SIs';cC& _y+lP)ѹ'"t r۟)VgV6ƜQR'$[4L)Uf)-g*~,MZ*߰ڙHL4-sEtOL. P:R$Ćz(P8$f^!.7l_8"H͘|.ߛ(*}޿5WRZYh̛ѻ/9wŝFROd\9c{K^􋫙yq[…aCѥg۹zzګ4-u$A3E(DVưFdQj<(6([߬!cB-^щҳ{X)!:IͻxɄI4K<:P, ~%+>Yf~NUH_VtLEcZ2ԳOkC\Vޒ9Tt3![C _~>V9&rn :c_dw~z+~qBVGO/1M͇kf׬mzo: mP}?do9k;JwxkA?g]9sxJ c ZmB3~Dixt-A 6a$ ;^#{b@8~C a.Χ 8O' ^7c+v̭5y N_@}(OAl eސ)جn ko lw \.k H,0uʢ xrfeF:^:4[*c]4`Dּ-QI4j\Zۻ}4;B PHqZRLY{9/0D$A3ŶSnf6=!RHE,#Cp뎬.<.lZH(v$Jr{'ǩ.[C\X"G^:h*Ꭱc($m+WO˔ xsSCɜñ( 1IiLYcEy4e{zOҴ8I#&D.'^Cڭgr%GD} XҜ&HC+pK RĆNon9x:3hb`1`4Gdl;pTů<(oy\SwI6O8 j اW]n9df &6[΁![i%X6w%쿘200߇n}9o%UvcY4ʠ@=@YeDmi51ky! %VFyYcXP!BOyIfi@%@dSg49DzWKIx,n9G Q|O S/a":ߤNe+s Sz&r솳qCxfI8$z2C将,~͎ QbomX Qۑ#r?yLY4Ǖ?ϱZ7=4嚄.u#a6S,7}.عgsxsZlQ`"RZ8&rP86˶S1pfb%jh"İ/Xss,X ^i;JV2!Vj`GS>:cPƝ Usυ© lۚeD^]n}G_A4-Ɯ]O3|֌/$9z .K/{3U٘fS v{8tvbV|&Woב> q?2XO(QMFI99fpWW=A 9>g+,~Q6n;orxa d X?rgI;}ϑbqx SUMU%ʶ5O2tK|I4 T# $0`fLB&4v[m)4SL tÓ&.C P,drN)H{&[DD1 =ݛb or::csIDj4WBnm1:\l/=T,B @mkcMaA%᩹qoQM%Th:B ' !_DSj S@[Krٽԓtv &uEwC4s6劳K2]WMdP]*J}V^Ӳ=>s qa;!_XÝħ̼ Ew]EY^Y^vmA| p-Ԡwz) ߔ .i}l ;7'πPؗ7HU98FBkmds|1ǘ=[xR=Q!J?-˂#:JVu9$w̃?؜eՏm;XdLO "d5춣ܤD@jItBEZۄ-˾#ɱ\Wfv@VaK3Ɇ¯cȥ/G+(met#C{)BkLQ;\N4jpZb(FC=>emlɽIc qf#Ub,`%0::Wۅ6$ALY)7 6Rd! :,4~?,J 2;Q@z5+o6-] :iP.Df&kÊ(MAXL+>V*6*oM>dΎg,YT |#lla9Ӥ4qBY)|F H @NJ'Wy??z 5[-٫̨zm.ݛ/_?"? "$To~ľdde:9qkϫ SX%K5|6/8k]`)6Qe ?CRlefvcjԼurڼ"U* #\Wv$M3ݹ4RRJ1sBF5~c4*|0!>+rJ4 y. &s7F <"p/T_U>Eem)eЬD+|o_aYO|ܐhV}fGlKk 4]WYZQF?O̜V ݵx7PʩڿԊhPoMǕjAocw=_Y&;/ ~JG9ipzd,1,rBX`xWq?hz2Gb_ka>biumuJEC >eI`N LV}W iOXӜe%GypQ;%f}hO)N󠽄^w> v'jkNSd텮m$lU]>`)8tXs8f-(ooђHq$!AE"0yVudOq@sqH0忦JЪ-@-*U;J])(`##̾kH홧)bUnmZ-rXX+rT?Ζbe>[; KZ1ͥA+H$zZ5q%N:Vdh''= ZF_ >k4 679sTWT>F1*7"@WEIup9O6:*K΍Ol885h\q04WbcL"Lvr5΃ 6AG U(GK˹;}D}r\HM.BS<Z|AUXpzg@΅/p}ҍ:9ݴNR{&ȸ");%@ꀛGO$foC3Bw1ɝ3󷿄eX9w؏tVN_ZI`YYBv8<*F| Q%ym =>">;sw7q #TД".w/Lxa/M>6Cwѝ2L. K`QB(Q>݈RnZwB(E8Q#tYw'{7g]Ĉ7}{mAyd+ݱ`2„eU Gs;!`TF^|d18ܾ4 iۖm,x Ԟ6m7IzVwX5]h]J剂\I'dFϦ@X+are[#hu-'9Ѷ{%BbNό\>ntEȴSt#,[{8U?/2F>]%ˈyUkuv5A';5)'3G(U߮SQ˫g$??򻞑6ZYa$@s /'˃4f+(5 #12t-w- @n #ZsqɤE"]7[tC+mcB'HkLez' AsXj Bq?2 4pűwvFbcdã k:|? dz$1qvV1ϱ_F?MtbJiрHxM&@[L^'ڤ͛idBI ",J0Ό[.]Í1i?_\{B5Uv)v$?ʗOAؓCF3 EZ>ˡ{1x0uCZ)CKz NTdfk/-'rB-<-+y*P/!afu+z%w'|6x7:bS/hw,5Gn_.~,Q{ۨwϘu;FY[M쉶ztyvRXwr!gD̖_:{p\vHM$*(z鵽)s4Ӆ;߉ #w;EFdž)j'N;zmOT"@&Yl ;_$ЗOzg^tp ΔF);hBHOG ~<)F&+6{ V2ż.O[&{;n.510j꼥G׾0 22<ʐw..1$qx *$|'Ϫ^UӗvT\M~VU!0N5λ"v&(EӉ#H`Q˺yUG_SI[|+Fӟb|!A~E91s}2(cQ 8$SD-X USFݏ |K6p>l 0T14jk:K&AU'O_R=dZd5Z#LI?z!+{84?;ʔ\񈠹el1\YJh{rz61bNs {ke>(i }YW@5ɣRzT:Ss{RDIfݥ|2gsMMP2Xq0Ti%Jؐ(PA2Ja!-ҋ^LcRdwS2עOHlѨ֥Ol`50"