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 -dT Q HOL-ODE-Numerics:threads=2elapsed=814.820cpu=1540.892gc=95.260factor=1.897zXZִF! ~i]ŗXf1-/6vRZ]C27|ê\?PŸ*hGWͻS)tkg -$zi|k6Do`WV q̕$%HQN7=_Szy+h`y_z7y*%`4mSxapDk|퍘{adlrcWWA $q!S~l5VυqtPND؛"k3 sv;s0|gCL[Od ^T@!Guv]nB&UӢ9t G>m3Tsg,$ sZ]G\Isp}Э6WrR7^?&wͳAi5j;UYXxĻVm+.Vj +sMIojsT$ Y8wWtfQWmA̧&L Tͻ8Ai-cгL] iqĨƞc3ʇ"ud "i|djF.EX58z3JHzx0  2.8)=ᛵmr& ^BNGABx :ɫWpV2) ^?ck(Ƃgն VfBՐ*VpiJ_%)ˈ ÞT303mI^.>R$MU}癎Ⱥwi9 v "rө:yہ* /a,_A)y@}mЈzh ooq.+7/adHqIBQļVסe<&f %5N0`+P(#{i5}J|*k;&6H kƃ-X$?ySL{Nj췧aP@UӍ4Aֳ[Y .тREUa / v dnUG}ё O*̨F/71hgxX㬅qXGaz"Z|{?rl^ȳ|R =Nk#İ4;tWL|}W<⵬/ڡ{g}`p'LhZ1[V)7+_ݍK UV%?yOJAS0'AQE, 'n׀bߥ̏J\H Xj"nߤ7F"A^G0 \( ImQglEO'%\a%z)6iGÃժ~@+oCRDB HFk>$P -#_NqHn5)ctOb¬Q!ell;d5"ּu|2~ռҡza')g NC2Q{4wx%K*"uZBgFh$&AhtSGPV$Ikl3Q2#Pg9T2wOZnNEI]@ `'=sGU$ ~Mt@qjj07ca,'q>޵=q?nוP5 1=;+NX⭅A1'sfFQSX%Y>,rD?ğV9k# IMqa+횮 Es)a$ ^%߰^%c~uj*ܻCT*a0N D'p2+>|ZqIxZJle^75mE)=AXRCPжk`(1Pʄu}5Mt$N9 ȓp|HTדP xn@SSĚ [| "r , ƺD ]}BBe 7ҲN+n z$l&5ʕ}C1}WxOҴSowkY2I(Y9b靨^rcO@Vg n]K32p7D ]l9:ռT;)793伝_: z@kCMu[tpS=QYKZN3] 髄TCYPȲ@+# Ƣĉ,&ПҩB]y,IZ $ñimTvpz}y, czTW Bi^jVXm\$f?&߯2S_ՠvY:;}9&'II}E:vkCq8(R騚JAsS&{uwe!j툇%W$(U 2rc)]aJ?5d3vg"2=N - HOL-ODE-Numericss}XA9L+_tc1)İb4CӚrF4p6jo ƿ/Ǽ FTrAڰdUݷ8j6gi#_P[8dr#qݖQED ]72n֡4j2I6*2V!-=$M`M[qE^+qڊIZ^?yHpui\`IL] aa}?6uL5 Е;'7,we sif]CI>h /v}Q|Bv6ttRz< `"'ZHn΁F;%?pRAA[n :Nda0Er(~S7`@iKC,>rz_w/RASPW{OO;$N52(V)8D{&|YXSzE!.3~[[S&.Z1)'ڬ9v g ԭlid k]4RRcGv/_B̍"ބMu|o{b}+KކfeT88Wz# ;[@)T!ωpEj&6p7U(L\gvWz$pj[`B61Jd$HCKg몄u׉Év>ƭ,Xd,c;?h./_-`j֠t,z9&6;*IEӽA\3%tCѸ9/z7DoO'АuFVEg.ߜَ8u8-֑B$X;³ آ4fBqF.z߹Ydhi\7cdbĶY E)gL6kϋ` iF\Sd.`B:2q+%$np ֧л8CʏKGymzg 6^pW|AMDwԁxۃJM LܡRhyw~ `Xt m3of'7=O KlaCB>4j7J!O!X<6=n5= v1Ek|* .^M=F|T5icy5dn IUO[cnQ>>~,u5(ll:5lap p&d/.4 fcCƨ^lX/D]D-<fo*hpNP_C$ۍ[,JK7LCcg9 )7 ,}Q{̔rβT vHжI:AWdta~ArRhR-|bX1SGxͭ4ߴK|' }Oܮm6p?8H3YA/C[IB8}8=ӌD!ohQ.M[ 'Gߑ&++/CX;l<*M_ 9=H{IJxk7&]d*6ղLCK]P^1Zgcm 8)uիaʺN 8$ih3.p%?e8Th1w3(a?8"0eSx5$h}Ej܆}:21N.˽gƄ[b&\M<4GL .?ZQ业v\@s"d"-b]g`H6z.)E=%@GB$L65(en욂Ž[G1_Qt?=R4p;$Mҫ$Nk`-w^ިpCyU3Bqcz2U}>̯O&뀒{^]Slh31Q+6la,]:sVi^.Mw(pm{l!gT';˦ipU>.<{FJkK[ MR9CH$&szu\uk@Xwjz䆑DgW偃WIh\ ڰƎ1%"dǛLi }$K🎗u] 0ˋךF@{"1oUc-G IPC4DIBc_Ϻ'f%G6=Y 4n]phkrMV0F_X{%v,cС{˛ψD*ӆtbto[:ys7i+L~gPwZIyA]PGk?bL 'a ;6lF4!6ahU_auv*p|5)*9 n߼`9 2Q.gYZ7zXZִF! B]ŗXi%6 |K8ViVy.hpjY|t4׮⯤ KY@hvp =땋]*Kn!0hPlJdjxq:Hʤ^d3v q$U6PN+)'GeG>S} *Rwf ga`%f?[n0dpJ͏Jfec7ky(F&dN8 4Tvc M_ekoBdΔrүe8FtKif<cZH2w>#v&zG "ZN1%/Js7{ʞt2ß0h{`άkqnWLl#N5!41 Xa_rzbm1DCLΪ<n{e o!OO.xsQKV,:lڹ_Ylx݇4*Y/L(#Si/7PU-T,c)_ rVy3j#2tGLJڹPj+U $\R1@?k!\9ڏKH{+EȲ%eJ5rk6\l~zW0Q^a}B#8tCS (EϜH0uՒ=9P]2"ڼ]7;uslˆnb6z#xxᛈ0 gpG:|y{7ytʞd9t4goPeYMIBKSEPzt%]#Ҹ?c,vԓ4g銎0-ΨwC(B{)Z4u(t{f*gJg,ķ-S@]t&n8 @IydhZ5IgN訥OcjĤHۑnN{ 1[ Қ|*-L +%ո&[i)Ԯ1'~F5mIgED’'H +fzJtUI<1@ҳ5B(X ZL_[*c0gcLfO{㿓 G_ρt8.ac@JE!Ґ$VA5K7q({I,$J i[?|ˈҗ '}$YL{q>9#xX3O\;,KxBl.[-Q"r$ı>MVN7yI$9 Nqt W[Wpr!vty*z'mK$/#*8eJ&F=x.8 ăM}d՚Ėx5|AeFq{H IC6.>.I9=w,*)8ekF9̾ɦf[=nPw\͚AtS O[ZA_%n׶a\nm'5dUHf &MK:=@@؞$/Aiq3i/(ʆs@4+,%IgvܗڃЛg&}!ezQǷit{'igM3M7I Iu`캩zͻ]8N$W+k!UsY^WON9옚ALEP,!q]Cz=ׁSHBI^_V͹(j #+L`t}V>;\[q2PGGUGuKiN{]3d1/ngKD% )`eJfUk}!p ݑo >+  ouÕ ǔY nec/!j{\)ؿykK%WMk-U^P)$PxdկjFF3fKːd. ȭTa5PN,rAE$z23Kh2vW7 { ՜8X:S.Lq ]X<8!$^MAіHWT-׫EdK[[ Ɖv&2{|#d9 GXʼn Ͱ0 ob,=lxVE,~$*PPg^ ?ˁ(رw#ۻɈ ݗփBw&pZF2IZQ1wajٷje"i=j#l^~~Ҝ_xNv*D)wo/$sjF:%˵ (hfA *NX\|<@@kH$:Svg_\:"M t(>7Wa".*q۷;kUByEuI#5͎?}zWhڢrL*tt1dUӉ΁.UV CkXr|CX{#|R)!;p__ָ0Dϔ!ExGmμԭYY'fg=X"|T5Kp]cH5a4ٗoTL[_<YB:kï/1+2g. :so٤*)U"0u #X\^Z"ʓY2Aʧɋaͷ!뜤c긡-QTq7N4rֻaRwf 29HK] +ѐ"PC+0mav߼yF@ Y+ Fӹ<:Y'i o@?H(3yU&J!l\ 1SHHp 4j*w,+I>{ShV;b ZJn5:XY\z?GTsicF.NwGK/ +_gg4{6YC2& n.۩ʕ&U<.q}=lġG#{suS'?TWlGB;S+L}[b;W](K['~HrsB@ŭBYp{(װy(K=!I/]Pn5vxLCQGY2ipY 35yd% Mhm֓ .D1q̯mʱ&.z̘g#ڪg[yܧCea.v Rq#Ь Z09Ӝح zoz 0E")8y>}z cI Zn% h(cfuJ([f&SJ,ي۲3W1â0c5yO V8KRqʻ8lkfdڣ jǬaytG;S…L?' ͍(t vf~0`Lnrj*RoSJ5;-A05 י[ͯݎ0h"V08>+ǣ 7zJ:Tץ/-pW5-1XC+3)ɋ'mدՖ r׋a_C[ K%iM%\K*)+fzpµBY̱(r< %^Wblr/'aYEL$59h'B=ZFM2:ph`Hi, f!T[;u~Ji/Oծg|wYT1@[F\9l8)9\lhQm{i6ViK TIDͭw Z(rǑob ũwTmQz: M 9LOOt%Z)dߘ9d FfssX3"xhr*le{ g\?Q}v "RPr'k?D8~:g9-}^ow\{N;R5TbeTWx[֬HuWt=쓷&dzD-`F׵o{em.hRS۔:Wb&Hz]&Y)OSQP|X+9C4Ue^qĔ~[^&/_zq ڽ"lCr+m )rA(2O4Ueg%5[,/m3hWU.\hz/ՃRJtTbJ`C7tƪi86LA_%LTFw(ŜUX_vNVx׌)jt7F=;U:H" X~; 'Hc ?[Ԟ{!czZ-+Nĥ"<2F2t+k[m^}tOyp⟚zljtY_CUu|=b l>ٛtm+17ya~ϰ6-t&Z7E S d``.d$ǫT#/ߥF‡t/ =8T$GB o,[rNl5{ۣ^,9ՏCȤp8.k5]c >򠧐X8ӛCA~.^e!u:}thVmx2|d_0N(JB: A$x=H6_rƇnL}Zs`83kEu,#12ߣ^ ܷ34 j =J ߔd g`Ξl&+ŕXW>?P@kcdLr$0(yUFl"K?nU}  ;4G8ɦf3Be0ӫ3ڎ?ehZ4)./WG] !ȧё2~6:\#{aYђrڤ0"<'gl4p SkL\o.]yxKd]%C2Шg*Lq2Up:1\җ+6V?=WS馞J*k兣 x+[5?MTlLH; ִ_69a[oU.iyG~ry3UBqML$KMP8V J\Fبh&!C=Ԙ=pH kӷ\SJJ:(5)!9`凃#-LvYE߭]ކbǽ<0W$` q.tٝv.TG380 q֋F2Y J^-l\9Vb '_RK4ŭ֌1WhpLOY]T[ 7r"VOb)My/yހg@x1_RQ0g XW2uubcgfmbݍ:WH,my>.elaO@3Ak.MvrX¯X5dz2kmyzj.`>^cu~ӵAW-D-&smfjҰ#x+oRKǦR [&=V{K6NL)=5Txu$֮ಛ-3.1Εz A-tIyX|y"mB/_fdXqebU JзԻ<+N: -Sc2i aky֎"T:W5J?Ė)3 }!ӡf3YTыqsW-ze>ע8@i+v$wfYx9m%'z'ߞʡq^bϕ:7"qfXZ7bS>vI,r6ðZ<:A Co3oKf: xYjf7{VOW4G9stb s% ѽ!&,ģYȢUT<':MXE,UQbĢEBGSP^8[4C5Fi򛐓IɖަX-c'%(R8"5ԢW/bd cLG7QE3Ɇ6FQM4ȑ6ZpaJB/xZR<M%ap 3kRSN勔gS?ROÒ11SSެZFCg_O&EUŻ;n?g4Y i[3<uy2e<։PtS8їpyT5a L~QKw}3ٴ쪦8zWhQU;6ۜ^OlJ$-NF}BYhg`5Y,;w;!>a וtnkA+^7CrHm؇+L\Qt( &WSp\!n?;r+W%AbAiu›Aª޲y6p0N?i%:aQ"SV]asi;r@k8O5}fn v]q Q.D557yln ˡA\]aad`K_d;2W7nk~s݈&I+]s1ϕmEUB{-._YS>5Nqax#-2zcVZ3LxNR 4`a(^.z0\1}?=ʬTRHڅA@"Ÿ1C6j_ ~s'C'SIFrnr0SKЄfэH?bz= QD{!o-d8BAE ~i t =r \aMPVVnndEc41yɼ". x"aS$,A ͕_CوU[>֙F:lg51(2SHk6iB:=!jpU)--*g1_IоNGcm |9م5yGG qt$3,PI}*v3[r;[jW.^$ okirah禝ɉ_$Su'ǘygDVoqf[\6n\.d:xe?@;' V@*e) IchښF܂}qS7YM~:o='CV*DZ#C@h_IA,KG蒻 PEPj9NՍ۫« WnTG|ψfXVg͹`l ~eWO0F`+%IX\3b5iZ/:mdOg36xw#cvT"'B+i'x0gg 6fg,?'j;2*D>-mq=_Aۑ)whJc+6fp.Og.J`f-Za+L۝,ZZϟ9~Nł0!S|ۿ`^2YbL7AVdƉ MA~-`?\cD <-T;Ĕ?qD;U/ӡ.>&(*8Qh"Ǵ,wO>$Y`X޹r rzזA ZE_'}p]zqml]gM6q,*-d'jr0e 5B 6ACxt.m,]%hwdih˼my'݋%FM+<:Nߠ[DaYY#|3у:^x̣fLOG5L!hXys⩇~lV YYMXP?ut!_\^8Nя:N7r_Fe&=ӆ6{񟲙A>ß{{9S33TYudۈ Q삝'czuH7u40~O&Yd{[evN>JSXX$NYaRuhA0KDQ /qD {aY74H+px`!^N9gϦ1٬6o%}%(1 3^c#أ)6,N3IM٪xÌ=+p" z4$h }ۮp`W\߄IQ4U[`'>5îm<{WsJX:p?PSy xQ$ Q/b%yLV:3!|NelwJ1>ؽ'w w*~@v3DwRr*=Qo e9/jѷ7lnDk'JW !spɈ}j!vLԽOu{Lb9_/* 3=l;fN֑K%>j-῁mNkNV;0Вw .$mΥ[fi;2ǒ;9K~cj)@,窇pJlXL8OkwznUܴ_-\lp|W0Z(ؿla揘~ۓ&p'T㸶WLDBU4>z([H$2ꫛ+Mv gI$_+C+1 h1^ % .)/xaq&dt@ePl"u0Pp-Q5;/*'Tߗ+,-v!]5JucZ+ 4vx9M !rerXu=h'\kC670գ+biD|[c){Ȏ0a #̾;z7rSZJ( 7qSh'kIw91:-nuE7w +ߎ1u`~[D΁N]KV ()<5<ՙѫOߩ__z?܆#ű6bg7]H7؂D۪=UtKX]qp0ܐ)5aWV/6?{O+e &Hrp~RYܙPv~UgoE8wh 9Qx;5sGѱzorjU-h3FQO_? 5"&قRfrDpGT l_eѫx&/qo"H֞! ~K=?0y5ȤIsi6k$cۨqDZWJt.vYM4"Pdhֽ&hc^Eɘ}_j{ޘ;cHކeG`0 HIϕL!/B] //A_7U-r]B^NVhHd);sQ k[T9f. }e?$%kpyi7jg)B lTl R9e>f:O|aYXӌZ*gaK?~ȒNEvyR|qH¹zOH ^W[E ۭ'x/YA uAף4Wea~ܴ"YP/cv R]rzYXkt̻w\%@` MZg':>&*.G^Y6WFEǃ@\ےN ֔t( ҕPU2̟ ƍ Rl0wDlllxpɼ*aԢSVКD0keeNTPbu]U5M=M>&"RD ijlnr\ߺ .Yl)89Kfc܋r}ֈ{1(R{u'5s4#kyc-.R]:39]6îk2r&CV&2BTFPy$yr!U{6E~uW_{f <82_> UCSPCGl^c:Lz%uJB%w$ۀvmr詊Uzͦ鷾~5ֈ "a!P=~ҫck즭ъ3JTm~!-V]ub|:f U5)XfaU"p_>m#k~9J5M.t%vD@X_tT nlo٠G3E&f'c`:e8G?f7_1(DV/vVoBJV?um:5cd)Mr}y-(ebf'NeX? S?R vo%\DP_Hw+R-7Ni@}K+q34ybGQ^SN eړ?Kr fNt&*IĂpj:yDj](WƒOEXaD 19h$.r>k !r;BQGtSYp'awEI #We5B&5i%/_>)gx2iM"h~`ވ󗾎*M -˞3l;uU@g'eF@8<9SU5l$[0HJ+%j[4'SΈ.SJ[.?K*7o:Ώʌ?O `]/(l!{ۼ* K?xQs[rtG!R&3Cpv"rstniܧ*\}V)J#6zC0;k`{w =yo'w_lMEWǭha"\ᓂfe&#yFѥޠs/VVB& #!`V*(ke6E}e{cXK~vWJW%<\nfҚ7 Jys!,8$cR{ʃs5P9KQ9"DNxKqB\| cef ՝G^th$}cn4!>w,0jm7DŽ 0׷pW`C9 :I2YHchJr-WUC!Xe41f\?*>\brD=z ~'}y1K.qMʔۭ+At1׷U"#X?#P՚m0熼`Z8IfC:dw՜8Vvsh) %ZU$h үުQ u,?Dd %fta_9pϸsxsCu@``p/M tMl9V4%z00ѻb""׺|=13X&DX E6Ʋ@ݸ4WT<;z7CZz*D[vz~4E V1)167v7L7C#{K Z*./!i[2 PW7dHO.?qh):vsuAQwTy3c<}}Z4!M+Xz߾c[w[DJбS A.Cm9* L5[Vk *VB ڞ|n!@;oYg[ b@<ď4̜]NB ;^y!O) 8'$i5Ēk,N52)/@gsL;(7㤙u`俼 $բˡjH`%wr6*IIHɠ!*][Ϙ_<P N6 eLY(icWU&{KKn]*aʉC~OuP/(YJҸeCU/wbF6mI՚SJXdoƃ9v)XRUH H 䬽} u4W,,^M_)? \KV:kZ Ie tݓ/g}z"}?*kJVPngTpzVXjT@OvP^74&b(RRzK(qd.{W3_Mؠ'XzWg)6kTn( x9W5-NӥauP[1G?bUXC,4CCmQ";bQDnrPt,1O  &5NX'|4H *t)EŒ`N&(rN bMUƅӔfX"wɤ/Y7foBd-{Sdb k=v nVE]lSe۱iV/ Pͫ#iآE9ww 0U.!=#b-sx)`!ٚ@%ZѠpl˛\*3gFǬAu]@`h9!e񉽛$D1 Qno#?FZ篧XSo̱zq]&b`#t0D:JaO8d]BmoST! Vr(*>S:ȣ ]V*C`-WQC.4B"+<%&/Bx}\x 龍+:7E]0xrэ('`#5H"'Jd瀿s;/ ꃃKҪJ3e}g릊h:ܞ|4A̜X}pYecbPJ!CQswkOLs!v]kv\n\610gDCD=ٔمEv9'5SR) y̜Z;XBY ᰫl,4Qy\%v!Xw&]Ҏy^@}j?]W_?uHoSH|لX10pW/sڤb7?8S‹9Kקt3|4(kTM2O%]X'_VҡD#}~Vaa@m!DxKǡEiC\TjPb}mз ( &)8ˡMty&8),N[ik5ʐ[kF (=ZKdTkB.s&4L9-3hkfgΤ3V-WΗ7u֡K8_☫\sq} H"r" QoM\> R93xuᲠTyQ.oOm g %K\.{#[\`{Ia(ȳ;zv$o<2FU`{-?K@,ةwv)Zt YēvcHcALrQ¡ormҟMjܤ蕔mh.Bt {c).pοPj$U_w[+עo${y ?QeqCX>ݵb0JUI D&MS'Bdɻ{jҎ.Iսesv?|*c Sa ?+N< &pl^|G#nڭE[V=u0/ !LMʅOK޺1ם~t?4WFB ٬p1|W[ lB g}lބr|)ì~ɉ#Б[ }F-G­Fe?h˪4G)4#y9@$m7/s}3W4%'Dz/<ӘAe(13]{q,S,]"00>|X1Ŷ4HWrD{8I+l-,O8?7*:p`2J0|Ӽe% D)3] N)nR`IOWqG1ωa*ȯoYdxl[.Š!b_:icٻΩ>w ƒA%!L W,ۡU~Y>M=1Ii@Rq%)I@r+Q!ⷣ0.A1 7`yҽ0%8*ztA@'\Xl(I]li؆L=+@"$%l7Wm Gxú*hƠlhy _VݡW5^e}j|릪We0#4d;."VAKUӏVÓ)# 83sO_B`XCS`94&zNwE N1Tm8DmJΩr!iU9}-^(7'Cw( (CKy[VK5<wcu`,_¿ǠAò5'o~ e[M<2u>Ƚ@n5 U5,MYqHw\q; Ww%2gg|tU]lfd' )Kt0ur7=~xG^oN-Τ2H4qn 3yHeӨD6/ߵ\t8uU]pj9 ).6c3p\:O6ib'-g|f+5fm9Nl$h઴~#A?8<32_ ]'\b=>wA#spp{]hgd<'03!%+90! ?i15Ma̹}&ȞhaTgOߗgIƹض~-XyT_N[] A/@epX G;*%+*g7IIbXmNYr|Y0k Re:QMU{2H66@IN&Zm*+)p7S]mqXVt'R=lUm ?:;Ke2|sƩ:|NQs;5)h+I-*dQXmM==;/;tUpSӴ_=) qH}ZTZZ( 9&@m.|DdT 6Pl5C+TG )Uzc ;;tj&$(@U}UWZ[<*#.g٢ ߣs[B]p"xr)9:4р])c;0UpfOK$6w{% 3gͩpi&`8Ye?)GkgL3YW ML6-G78sS>iRnZ<Ӏ73 afYJ=(U#um,G~Z /bk":ܒUvGOC1~ǟ4|MMi U!Ն7yjmr&\Va1WKAu'}bBRdϟu !1띖NBUG` o?%`U^ڑK~ED)_Ў9AdXNs=h{QLdEpSw('=8ROwC\),+̦N]apse#3VAܖ8{7N[~D5%PK?jp{kĠJYkTm3XkaElr틝8;S_T2(@K*eiF*>R7e=yDW~툝@8O!cE D9&gtJ>*eg=}}rv.9!>֔kĮL_@Jɳnmv4 ,|BЪ" HPKL]Pqlkf J}׆; $~k7sY$e-*$.j>jJz9fzKdH)ż;hn` JUtyT#,?/=͵W180Y?RܾJVϯ ?;Q"t.7#5,QM,=EF "+ 'X\d ~uJ!u@9A^x+mÑ~$Z; P|W&Ź+E}g;U.nB M$^hxQ{Y^DBC. an{IsB!xEF+G=!xW-22XPr_rt9)] >*4/:I1P` W ףzBj cy_!9!,S° '!qV?K};ͲEٕԟV(Vo[eخwMW}Lvy &:BhbFR-G1UxZAvh[YU'q@I҉ I"A\Ě- elh >FUdAz5t!qs7K e؎_!;$b-3g`=7"mBF͍`"vSѽ#ĸKQK5QLêgɆPYu89)R>0rsG9HBB=lq ,0R޻vHx$)7`4lbζ{`ofִ?v ?-߭1{2 ߸NѨ{yLƌqb^fC&T#N~W72?$bqݛ:(o{3R'8ἴvM@ϭu%8BBȂ5 πۗߔ'rۉQ;Vi/v+ *w'd5ТQ=J6qGS=n{d*e,*!z61: ;Fc@EwꨓגO~>'SOŜwEltPmCflarFV]||DY7pQLy'Gn($DU[)j_[JR4Y)d b?LTp!8GX^ds' ;_Yv,߃dJ#iC`;%*|)щσxUd1&。yM1JMJsmݻTk(%,֋>/dlzHmQ0Ɏ;R=ɴ=W} r좒*dÁE,oԃ?*;J ݝ]1t䏐H4Ai\L{  30tc`ߒ| J"X~=GH?CRN(.^~:i^LDp^"NqU%0IYH&Z57ĉ ea7s);1XpY2=( o$ukG;V8thRPMG,a06Or*!N7`- 8+œ\i>d^Ά4D@ [eg8n8) g(n؄S5= m٭lŽ? 4W;`Qniɹ@c9\l?ȓZ nx{(1!NrN =DpӋғ&19-5q]@xԬ]M*L'¢Is7N畯<&Boa#,uhY[r#@ _FingF{( SόvrtQQFkBJ4"0%=)5*S1lɂGx֢"Cj{nUTjRVGV .ZHb!F:̘}Nt)=g0)Cg;C.k$3і%J]Ta${›k1UȆiwuc i{Z4 6['щ\Lp-_+@ ܤYu!xLd7YIN=,~'q0ȳUV6&-YDp-\U5q|pT"{Y$ ,ӫ(6ܷ D= ѕiL?Ȩ՘֠:B\Ns} 5H&Pβa7mi3hЙzu$k*m⪶-2m*LoU&}XW?&Tj_zGoB{P89N~>$_*+Ue!o Ớ W#f[="dQJ}1c}4ϡ;t ZcWW5\T#5?D?/"k?G#h-s %JX}3wURʌ4@ZC%Rq1N yumnOKig;4qotI)ǽ7(PbHi&sMdV>/x>󏌬&_AՁg~_\UI6_ :è81 f'dwfb>5铖`r V"sG^r` -X&oև O@_1>0FYk_5h^+T(uҁ'@h~{d%߄1;WEʤY2KBz Zx|`H@3aڳdW}WJ /hMs*;GZ'2:G,QǙtѣtrHXH,,|)Vpe,.Y2_rp[a|06g1{_LEv|,)hYB#=kTt yj53iD1ZVgXd4jJw,zZ&s֐F᪢Ӌb?SF͟cAG-xvWJZ5̱䀇a=lbZ:0FV IBPc'C sג6t|MBA0~,NM~؎B%DϦDԊ|8}&W%t5I(eݡL 'qD1e:PJ;HoVXK] X"(-N4 ) uy+ nVګѪ Iܤc۳w]Pkj_zF6 E򹛈irC% m|d* YB$DMHBs))A:l`JmCblIVց5(-TZ2CQBO:`f_f+d{ e75rŽ[_E;+ HU[tor =4?; j|ݶI⃕ZVҊnIO #P_†13}e6s{ Ԥc@m4D/C.y*$3_+2ڙͯDY_In6Cs;$*\hUx"&0ڦ4hDQiky/Lď<Ɗŀ Gb78DmdJ W~ אmGD(5'3́^Ess6hFxx-a2^ C~` E+~9_Fmtr@>] lgَϩh>fJi 'qvxgBڍZEL -5j IpE[N'oCvQ' zڝ+$;F"$錛GQj-ρ \-*.yGi3SJoNF%n0B'81Mg[ _*loyK"@$STn`֏Ax? Cߗ# @upbϘ2fɈUEeO,vo:j@>ՑΑĢuzך{l \b$`6f k0<5Bdz~R>| fI7ކm8|`OImaD$6oq<ZBuu^aK,(̤yU|WunD5aSMG˫ֹ ;7l"RjNx+sUN˩e jQ)*&|9LHEVvrVތP9F+EɚS ej8f7֑"P8XIdZ]""x3|D=~_$03YwӉl#3y3Xry6ҬJDBYU~*d^Lr$K7i8ol`F.!Yd`%rdT+j{,bnDR, mj' mlQL=ݖ =:%&ܰZ]n;|߸4.H~ 3m#=v):< ۖV2-śG=dqF#q^.:Ԕ=d{#WsmA煔 %-3[ OK͡iH5V,7ߑANQ.xuʿ:cwP eHE$& 2b%V.5|,=EHA?kчx>uyɅ|0Z֋$Oz"$a叝/)l/CH84oa Tc ~~8* ʺ’X1.jVMDoN[7M<-,[Q?ȫ%nj󀂼7h'12 χKdȰ|9gd>>lӱk3դQg9fD:[=>tn8=p7dG>lr7+U}?s 6ꒄ?M 5w6;M 2׋W!]fJ/ntt*+jA=)P9LUv,jt2ut )bt. fC>><3?kvޓ% î6q"#^:cq4m <.ufOC7% HYTMwEedaƔo4i0U$;nDYä8fHb9_ ~}lYEJ+:1ov%~(0#٩R0ӕ>jz%mo2>7v뛦Q笪2FT*CdOF3gt0I1?X_H=F-5;͜7ݽTxC UX%@%~)e|PWSUOFbJՌǷ}MQ@m|qj7oO$tGgJz՝JJA$y&Աҡ5J^:=Nt:\F5 Գ2}˶o٤%̔vBqxp3̲Dphaqr8{7^зq w,|ߨ@3[)@ŏ5#yl"ڛO)hbϻ.~&tOt 0~įFDLhy9b&xڊ8WVE &RKHA4}c SǝD]q Kq+-e}ͷ^p/J}qY;  fUSY&ǁQ\_AmO\9qnto5uK;VP.[G lExbCMUguwCo-׎&nKUYQJ#:,R8tm8I N o)mv X5 rՅ ~fI/:-6rM?nU $Gr8Foޱ5AvrΧ!"j07*+ 6wn|#erS ̌ߛH$B_|j{>kr1E ^f>:Rmh5۲Yg=({ZoƍEJG=~\ipUgIIw=nČ,-/P4>ݎ M!c Hƾ#~(Ÿ"{syA ag̯{WBϏ:Y(S,{ ]۽,Ux)"{e0|EԌӹ] rsZuY \ 7L9$7/v.'i5E97*C%#3:>)"3nռK"^ߜ'^|5l!ZmZ !,S}YfZ`?F5<1H 1I ;ˇbe4w Jfb$`>DM4/*~W226c&T#*Bd$^][_,byWxsNw;"EsU!uK'q;i_Ի1o:/ dcKqKCABp=狶pFmɿLf$ْ qqf|/CvJn9+~$t3PLno=0Ԑ?]Vr5K3RNUQO.f ~,;՝KΠS,y<ؿ8}?=8xI3fra/Ju ]ZbolRpC3y$=]X!4=@ߔ> wxId ZaZp>d4o"j 59- RaW#C\Fm[hpp4U+ ri̭\w#=Wtq]ŜZ@\Y*(ڼ]ŏOŚBJ5`^8?^}4IWt'I؎q z0WU{_̻EwNAi +"tyfOg'f|{ }eb|uy c "}=?NTJ!Hvx/W)L̫G)$-'&}G)&w#ͭ]DE-Z2C@:VIGQ=]7`qj{4ܝ7ڃ(N|s X믞ɿk|ʲc}p3<_5ZMe|PҎr_Gl=Zg7yt >b&B&IQsE!40naD? [UHDr x#$@aI86}g,tQkC4b~6)dGiV]+iH;={ &_Kad!И;uT:1}lmJ0H֪qsM*3l 84dT)i  3 X-+v!CBf &˖.?"9a0u>JYpY"A Xy!72ؗOɦ<iTm4 Ϡ7[ɭu^Њkn dXYwAxn KN;9TlY9VBJE6PƩfZ5kGur T~6J$ O$}ǯ ISޙ|u$i;8-4( ?2@HdVWC .. i?H5P]+낥PcDBuЫV|So1cxu>&l 9\P,pȸ$\=e=zQVߊ@-W7ݝe+ӹMe_#CX(~+av{I`u>~YאHΠa+V)h7?wp rVS(RRDӊA \"NV38wI x'p˪zeh>Gwt#_Q?JSVPg>%-0P-9D IIAOԅDrTs>[T^z/j O`(ج)ws$1ScxY+hv\gjOLҨh9,ε/GU!§Xq=1XK(ҞԂ}CjQ'B^fJNv5J'o@T {nuNM}"z؝H>S '('X/gb=]ف?n0DbP^O'N{.t'IUg{C5ӋݰH$pIu@(4=vd5vJDb= [Q"R*Q֚h= ~' {[%Mj!?;;I>š14NOKB"\u+ أۊ)3]9;Nk(8&<џfO}Ebn] ati펩yêr7*3*SGbH$K)Z޶KS4GE1i)5mbDhe sc9yGIʼn&Yz_KC^윣C?8}matۤ.Rwh,&*<3q %#P aa9C5@A.iN(/O ή5QmkjϪdfjz'Uu~.VfwDI6O?;_|ns- \{ޤjuff]h'toU}y]",k(~F(/a>rfѫY!<&)UZװK7ُ[{[P]`i"KۇV$6b&*I/Q ̸t,ɠ~gvjCּ;gD6~&0o͢KL\X~P$-#]o>yo,L:ע@g&ڷtKS\ 4]}=̌t^נ{ISXkq v[\j3?A\:[f4gKNE\ۗ>Ϛ<(Z*ʃ>n+RS6ۿ+G[ù%6M&+od {-pr*KWs-~1Vŏe|W:ު?,AZpBN=?f|C,F 2u0Y~"4'8Ȏ_>H b۷jj3 |e,Rk~\!=},=&HJ:Yx)څ.;oyW V1)uh&U6OR滺 uPJ 0\S q^&y$dǻ ŔWU9OA<6v9qJYXgmX$UT6_z?Mn1U84d6% \Tk# ƏTh,=Zue Dsyj cI0}2FfvQ?6&Ozk@CMBq8DG˵>'7g#jA džjM "( /ݯ⫿CN&RM,|&Ai+rco{~3D+RfI!3{3=:2٨ZU[2(1ԸLחW񓳂N[p!\%XVRcDtp\QPmz-$0j{=HH)ڶ8Y挓k~$W\z3DnQvH5#y"kp~IK|qˆ^gV=̀PiLkf>>%:m3\H DK3 D:=螽2E ^3Ţwm8=FK8o0قt(;2;*#z9r3Vb#u2.MWCQ%pw/49u6)5 -3,N+VgG#Oa l+2jJ&x[ ES%'Z#$ CdbQP|%ueԑ2uN@U0؇|MgϪEW?/}Uds]}Ԫyo}v22dXT9){LθRSg/?6|8wC:{(JU/ gU]B=3؝MS$VgcĖQV>c̚O_ޑ*Sh-", sN`0J]Zc?;o5t DX7~J`B-%X2^-] Eݦ ЛZwO"+N+ώ埜[I,COKk~dA['u^F̨g,D %ʆe7%:ݴU/FLyҝKe[a8;[ii<0&)o2A U&ҷ13q/ Ns)\%یk*GPbaEwo%6Ȭ~ǸoâbS_oSw+ۑLg#rSQl bGIr7vo@ص7O1GzN,)+!- ~-х#i(o9N:ja\r5)RE~0^y+zʲ]7De8_36"2َ.8M#j>hP d!@#y#<ڤ3/B0X29n,