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 V-t4 Q HOL-ODE-Numerics:threads=2elapsed=895.472cpu=1656.208gc=96.080factor=1.857zXZִF! ᰼s]ŗXf1-/6vRZ]C27|ê\?@G$X uz*t \sEZ -qU%Xd3`1vu0"6Q%2o֯ntMrz6Pu>߸3s4.~1sU0p% 9Ucmc[oz;PHh`ׁhO 'q$w4&=?yj)zeS@I~AԚ\FJrjɢ짖bTL]mzua !p,YP!pF[;EЯS} aa% #pҚu |X O|mH( # PcQcE/|X a[.z-<:E!|&@dxp'o*]54풜~`meMU뙺g6S1@W2=y'Y]keϫ`Ch0; =+|Ǻ-Ef2P`B]fNH]@t :i AIU3 JbO8<3|GC;VٚP&g"6};sM2[r W7퇭 ɛ^d u;ՔHECrlyo.N?<zԔz?D $;2UR#m}gZMa)\+EL`M4i}NY&^iża⨸>fgw ic_ }JH֍oD~ .QS:<~"QC{ LJ̞_Ee~}SS3 @bɜ> wI3 Kl*ݪ<QmbU@Kz~XaFanQvVč#- i9&9H4D6Yx!)X+@{Uz0X=إGFLj`#̟=+bpGuwo@mq+ؒ%u^| zLowY.+ ګaY-F=:bȆS%K8x֒[2d}!vRبS9y[ÙYcj`*X\UipG2`8͇hCc)JC23Ǯm+G}5PlwhO>^?@G{~Gqm])98"(A6s4Hz,xNowiB蕍!z `Rs0+zS UíMG~X@_bv 5YUM}@9!iA_J"3nLl,N@&|؛`mKtOW.bf;>5\}lg p;fh"Rq-2A(p lLQ9NXLG0Jaz#"gvz|aH۔`uE=̡eL1(_y-`ݶw@Y0 M9_EPǍm穉 mFq4ԩ;XoHs "T!qYߊ23--wB(9Tҫ :;>iU 냷 U-#P|QR+Bt!}J: -x3$%Ӽգ(.H<,S $]ѝ|iLm5RԚ_[KtZU >JVOr˧/ %ݸꂻn@ tK-)<37ㅱվ-&mF@ˆ5ً;˘S+ǨG~$tkv'eL+DX@2x|N"lXL3CˊX+Vk V&Mu-fE>k%Q5)NXZTjch#H̫UX4}>˳)Z)~(l5dWA9-[h`FUNG_FS - HOL-ODE-Numerics?4GF!V t:y5~?u[`Dkoí_(yh E,23UߨĆV- Tbo}'T ($4v/@/R4q{flYvG<2(3+aZ'L+תL)NQ lj?֋D" ZCPI;H\:ZB_w٨?0p˪O#T@!% 3Bz\G 'vhĪr|Fu} 蹂 &W _Jl>MwCpH)ʗ͔[/:Of{QzߺKq^;,t\wxm2/҅sZ7,V}+ϛ ;=c3mYf7I09[+#_Ci0-Nj=΍* l 6da/e}Cdu %mXf_3/)ui9;?ihvITx$]#33{8c,cqA80.غ'*ðWD7n:}l馪w@3 l:R7estCǧ.deK+Xsr E2.b^nY9ys7_V{6>!Lė76aiQR@\4S|('ZP: gҜS-u(o!"zr%f{s` dT؁`m>Ӕ+`fx@ȱv(f1{oGJ@5 *mUHdOa ¾WsnRWrmQ#}E, z.zt)=gP!!X6IWQ3z.0 r*ӜM*CQ!n3!>S~Z7 ?jJ>v} < MZnBdXL+ |jE9K\v[^ O#izSmLPF|E j&JN0]iWF>&ލH]58w Ժ)1lbxô HUm\ 8~9D" 5 E@.QQ^<#:݀G$X":=+a&ķ;'rcy+?gK=[iXj?-$}EBu`Q"5GDǘps=2l3ޯi G9VF7ky?DuNy<[$ UYJ{@pXma~H}&D zU09 ;>.T(Ho=0*X$~ĿU[v!L#6/\mEʖR 1a@V7J|"u7h`cpbj/tAO#Zc%iYmX`@̔t 49 pJ9/| F`$e)AwԯeNq\/πy2"R,T>uc;*ZqixY*?ڒїcp6f,)*d3D,rj&|+t[/ֿ2} \ Hpa>' &ޭ**D-22:3_v\|+r!V1GSKb µA<@/2 ̘iQ,EѹקԙΛfY߈I#z(o\~(-/󪤴G*݆-īywT?Fp9Y҆Mڋ=Ad"tNH\^f }G$ {n6ii,'9) ơHh-_!51E<H= ƅ)?єU'6HDE)ڼK2K]=< deZk/\cӿL vHe^{sGɳf*Iz7 J> o+"Y*m RA$AKYI%+2/6_(hyW%b]c{7ZLʦN&z"#Hn:QD3 i2+D4ͥ'g&gDK<\󡱉403LTY870<[(_BL^.D궞]waKHJz _ˋ#_ʢ>jXm ڎT1kNC EɆ[yȟ@ u8o.I+K3GN.xB86E;[lZtll‹j!§6b}o5vq&Vatm: *%. m#곉Q.K>nJi t L<ƚфC *z Ɨ Q_^MˇEbT[z|xhXՄ.x-N+y.$@rDcqr}嬢V7vyv}L4΋X}xѯCЕ@ҴŞN jFYZi6AvDN>}؂|hT5 X³g%PHk"yxzmS|#$䜂<]E5Zܰ捻902UgcD@ w쯷O'?@ p3' oʽS{rJ)7׸'~x~c84jh) ATfMJz 'W:t4幀e63KЦUhǻxnP9d|guvʆ 8􃡴,!qH~!gl`sG3$ 4\wT؇ʀ[>Pvv]%J`K6\MRN/mU,L~:^Y5ULso;Xᜄm%RACyeyK/\Yࢂ@KE LvR,6a| ϺB #Ci ʤ-{ҝr8wvvw:4LYL3x6gI/G[e| dĆa<>[Xd-{<ʉ:ؚ3H d3Kxd'-G_ |%(={1D#Mَ@DEB7Ŀ'Lm*.c `H#-j(v&| FŶٻWp7딎ttI6@?cyY(}XwT!dk֝/#a'DL홖o@7cL c:zsUֆFؗJL(3~ %\=љ%〃D@cqᩞ YdɍBggjV%*\v*0YNWwM [zPIbb*=ŕ+Vz M-Ú^ '\̋%pDj%B,'k-`GI4Uњ)/(;3 xϊ8w;;T~2 ,\~*OXV;v5k^3Mpyi1%RR]\RLN<)B&mU_ff\޷Q&[ ڀ9q#gYZ7zXZִF! +R]ŗXi%6@ Ys@ FWRiFn`W-SWy4?6zC;U x"ͪ p۾, GMp5Gvآ>n81BGlc81Xjm1JrL$ysmdiOJ6Ё^tKXI2H>$j~3% ju<2^," %_q"M>m#dTZ< ,_-P~Wu:ƽ=FI 6=$|?C(j??m"B!jNesG-7o]2*ܘZAUyAnN[aӌ7OA=/(sfxϐP(-ښ?1Fwur=%D娈O+&ѯb6FBM0Lm>Ee|W N>xOUjF Pl^з*a3ChzشT %WBLݠo/*֋Ӵvk{H{vkODȫR쉳 uzO .8ͳ+~\W!Y|O~{”PAjvS+ya{ۥ.J08`o7*v7x QW1HXx 5enc`S G.sŪn]Q܍L|;n~5n-%`~<`X!<(`%GJ2c ~,<|Cc: F4aPry!9@w01$R[UZ%TC%TMA@HtΗVyg^s7 e*%+~Δ+?u=]y\B%EƳDYX t6^C7: hƙ5ai+'^}s&5L_ 4ӏ`^96[.:(f(M(sÃq1>%SMȾ? Eu 6 ͛{5XYZ4.9vMGP7&C'ox;ǨYx1W:ȸzɈ"GcBؓX?I{WC8yGi0""(.O4)̼T /]m>fwO=:n/Q3jr<ضQH}~PUar=.rdم i%̧fX؝Y[b0r| no$Ec.tڲDr]r$q/Կ|/g b`B)W]g+"K y*t0?JМ^e Rr. MY-2V6n&aEzzDB JH;y)9nd4 >qf Wgx89ҭhEj}%xj}8EҚ|+E>ZCD~"LRb8s#u0DGc_R<#A Ht=OD7a*Em"sRQӝBo~nEQ(ܡhz` ZP? dH)3vDt;슀{ܞ1WCw}Ut_ ~D°b0 & f^K<#}m5LX] k-b{2ʩN^ )IFAَꝓJx{Va" Qch*8NW] CJAP}0V޴Mh`Bi6S8=?jROVWJNu?m#(7|r-aKv+@XѼnU9X`^I'>N[${}w 301d .r#u¿% r#!z# V蓒ǻW%-xr6 B5 Ra"# ǰt}x7kngR9 >,0G]r'(g{BwY?LuH*8dtD: >Q*ĺ;]òP埓֊1/"ܭ9~zxzT!۠3UIyLXjR߹q 6xN?]0ƨtHh lwĈ~dJRfU^ |pgCybv9TuDH\5Q~+s쑷i04li@cK-1g,Z۫Ɲo2^FBUߣ4\(\.p"pe R6{őW=+Dlӑ&HL ' 0rWynS%`qr,AGˬMќ*jw\5W!m(8zJI1 %@$F(7Ӹ>wś?Hkл}O?$oY=N,rݝ #!RmacZVM2W cY>3 #ٴ~HWL GG+_ TZLuy 6s׹J_Y5H@m.jQ|co8I\;-X7Zs)?FZƇfo 6yaP?z(`T Fv{BH-܎cTك;+K+ꈵP 0dV.->3d.y(S(pxW1h;c̪ƣX^8vHWw =ڵ UY C|Dڊ,qGǠٟ6 ϿӢ>79e / _قL97=50/:=uX,hgJyԭGM- ?&{6]تq.bk.⩂n>^IQ9Ue'Ō3_FUP+'AAJ7V|pD*V%V6Mia3k nnwbf4҂`^ê>30E_:x + ;q HqėFvufXN:8_::1<;nD jtQžTt4ձ*7[HOC$O農P"WsrVoeZ6\7=Ja{5 U5SE)bQF9:(I&c?}V5ɯI!Lg׎'dy0ah rsxǪ٫c"9A9.C/,]m h^ϧڼtE 9 ގ4/DƝp|/"XzSL!ha2.=::> ZAA~qqc;fT=D`6Ȼ)iÞ~7u@!G_1gG%/oSP9P2GTnD &Jԓ؋$] 6W3 RX)HnvCTe"}~-l xfr|0 ƙ,e[B Yys5{ք겓)7|'V_4OT_Č,:Щ EN 崪c>a<@&_S=(.2U0N$2i_Ŏ p3!Žr C!;qN98RzӳBe{''nqmF7Z#p^<%ًdQ` _( X]iq/GiS4٥}gIbmo[XW%p#d;E~8hi=c=nOi-¥eeiCLH`}7Zdd7|GDBQ[*|R""GvFG6(+SKh۝R>] Ws{<<+P6-Qm9vubmdkO@z-Ix[$]WIh)Ыᚙܽ>LXޭq5CƩT\v=E&o2Lo+v]j-tp|/榉x5o(P <’:*/W]hA M۞uL@|%[4II39uZɖ /rZJZ^>@6:4"-]ŀ9ļY@:~~ʘ[:6H4l d)&$礌7–`-:Ta!V!:zҨ6q5ǰ2luMJU"l ܏ 5ԵoT5{P䝝XS`PްnɰK%p0McLp\izF{|n.M~3]Wc'2tRwY.sL~gK&\?4ڳi]@ ֮qh"F;ⱍGeK>mS←0gCȋ⣔@q];7v['IoֺU&e*oFn&֐r h A}\#_r4L ~ F㨤ܺSf_XѠspDwVKሜ5B+<=N~Hejm=&֩e^^Qmbt#[ZϘeL0k$3Op>]Kn'Ɩ~9Z2Y|MEՃY1iޱeh~SẄ́1<ԝX] YYx\g'Е\ rūo-S4'ujVtՋzz0x>UTBXPiMx!;-p TΥcpq`6!a\E "b[۰www{['e%M={+@a=QSMFl&o9ݜf U`^@_ټtn%J9 jޞ63P>^aMlu-Ѵ!K#%)O$963=/KmYz-5hz~RRq͎'^''8PJsZEfdo Bȇqыov0+Ҏܥi{TATH@&aKv{!*5\9-u9('(#ԟq鐸Gt)U_=vnRD̟UÌLw2m$wXmk5!U:XA){V +w:t BѺz&dձ(PyW]۞r9{1F?kˀ9Q{TmxoZaxggg12Xߦ}tiFs_O0Q gQh1B0xF]!x'>3l[@򾭺7T87&3O'VPLx# H"&Y}"\?ѯu1L9E$8zL`U9%z!63߶h8➟ ,h4MCܷۈM|DbNhύ3Qy(gQdBpA<3nN 7'Ȩ,Q#9^'ADQbp>ne^Qӣ4{ !Vi3k r;5G4W>u4N꫆fxǓ7{[:,ԙ Gu#X6Hhu4>&t"ܐ&>325cT-wWEN5Tﷀ1U|iQ;}@vXNKq:)t?I%1ƠK:-H>QzETKyv,CN|E)1;`U#deSrX@Bjf5TpϽǐ-ҡEpJT7|C̰Q!k*eomK {cl4Eah~Q,\oP h.CVB3W>u|g01M0B7^ia6S(fk7PIBKkЂ ӏ0FDdk?W^ddaPE)OV)ķ |GD2@  u$Ӕ-j.4#?8mg?F'zCp# /&o 1/髃0s1NsQY,ַ n^飐_1ۻ@KK>5UXѲȊ%2PCӒ:wE_!*keO # ,>D_@ι?=A̺1cJ[k1L~^ Zee=2WrjLיt:AB=!kDM Bnb!^|mI(o:7w2=^}v۲IkeISvq/r[2RcW(zls40k*~2vgٺlUQ.>=Hk#FBH[-j<<\}Q)QcpI+mdv V1N+r5~?9' d W-nzdYXTS6`Ci]J;[Q#`2u~_d 4,͞AxXev+c⾵Ж*!y!-e~gX#9gW+RzZFJACfxjuY-zx7!¾ɇw@u.!覊y[1|*>蚺!/F@VRiQOBk1A",$ U,EŠd?'/LŦ0C5ʣ~ Om \U~L1 &'c% &؋6GaZaNU:ZGEï>23Z)1.u-n0ʷ줃5u  ~iBޟxmuզ/~rHmi­ i=dN;Xbk&DgR^Xs5y3 V#ع\"e(.5Q.ZU\g!_ka-\aP 5I4doXާ ޶ş0׉(MaC#LEu]ǚ%6+ǎZ5 E{/1xy0CPȨ1-V˅,bK1FI;Y)g<]\ciB>dV$Y$=C>JHp8s l8EB~$l빭=aDNeqqXO;qzQ1!Ođ| j9Ѷ/gaRK乽_!wfpZ7,`3m$᣸HrμtH;1 pI4!:f Ӗ@Ejkn`}xb%iCN'ƽlWKPո< afEH aJ@R<"Z^o󘎨[Bm΄Tm_#.FMކVFi9އY3a z &DCF#|H ϟWV?:=41Q &Iצw#VvFhZl~Vy9W,h]dޡey -QŤ#|:`=lI1'fx8 >Dc& P 4)fZwhJ_h%Eڞܨ@?P8H* zpX~T@(pFe޷[o/_VB$i"Z lUq`2CGZlΠ3 2.횗3>teP$sQN6:is{q6+\ ?E͚ hV@5s&%۴ҽc `v"zkхLl =J㕹2OqͲ4b@_DԚ&e XfK*kV50JF閌9C/zD<^^ͼr% *åݾ5M4VXh5AE!a?ǸAmMWl}2xϾN˼\m l2o6MuXf>s7-BEfS1IOQ,w 5dyp׮ H9[ɜCL6><%<EBNKTRT' vho|"G#:rc_zp[7tEgA^2V;4@t-V9FDQ$\%{N۴7ti!*d{H$ވ,~"ظۭ%.kET9!97dح"s;)ƒ[G _c=Ac`XWolAұ͞Z}8{IbVmU`F0(TH]S=Bbgp^Q~)nYmD2yð_n g'$`ekk+ҒD`'.^P+;;1ayNS;jd4XMqeuO 3bE)Egrk}߀oQ5EOx͚G"N[[M Z]nl*921{-:9%gᤀ_\X<ǀHSǭ*@aLS8דF)"JDa7mgAWABs̯v(&(:{JFn(%CF@8j;ٱluI4pz QpOvRR+*XIwO$m+`i6(`;C:~rnFOQL Z,C'9t)upU\::tfm[E0nUsWrAS{Z[T&Du}VdAЩgv _*4UCxa*}4?xr>|=!M4˄Phr5e*LiݩaI?L:GI4f7XsaҨWE%\FG+#_E)ʒ~*n q'o‚g7䰊L䳞l~.J7x3Oq$jFԜ?\YUFpw~;#~c.J%7*fQi\LM򃫰w3:#q$[((zu1-%>cDӭ)@ɷwzZ ? kyWߋ== R4g' dI3IcG1iňYn<~a%Nyґ9Rknwۈe{K&WXX.:Dӊ3`:2},4p1k`+%y >6f os=wӲW)Ķ` .GZOENgY•ؐ:o_SuvG<}v̰D[-"ie hʙL.ã_"~Cr"YlEO}8SይBP◩R辍Gl|\ŞbZ @nE_68q/4$CpS;:߲FM 'r&;χDQƚBmop_aS!JG_](uNJd_jp׮{W1Mm(r +_"oVTL0#ZpїNX;xr(nqtEqdaR}PD!bIYq#IpւNp^ sd4oChg#Q(ث*{;e`n9-/_ݕE.Xn: W|6s1߫7Z> 尯[K#75pԇOLhYk]MzDN3Q3XwV_Et„?:6U[&{[@9njF33>q}T@k:gv.(4բOcr{/ڮ9Ydz> JZ#\!7amßWh+Uo|[W|ь(>VJJNJ*P٧@:4S[e$[?UޅZ&ޔ+K]z֭{%[|7ƕy+AcW2Wh*fvhxY49 ;щ/]-NؔCUo菥Β?aԃd.Ef`s8J OИ]P|.Pɶŕe͕xo9ܠ2SG# KS[mqF}Hs6 fT5M['`&ɣDłaK: vcBbK56rEp''Z~/U9qB YOeA]AEX35W@mek8?xݍ$/NƋźdQ}lD]ugd蔤AIQ2ٞ !ehnNEHdөw!4*glZ"o`}fʟcP?Pg$eƓ>u8?{3%oh2t{IIh<2o?x4XoIN(3V*BDGp+ Z%cT̃=fe3" \֫B;#N!XR_241!+vR5"(5 <*ΌS\`L?J Re0PFL&Ozj;) E9DCqU[A_51\;hi'"‰}*rn`+WƧ9q&7ngPvlG(hѐ4ۻ)3byl-vECI֦ lzMJҍ35'ƤMJ\(1tx#suk;ɱfCV+ Rbx .M(+1Q}糔s=ΝcM1bVn,IV,q<R0#z\X/]˙V}!5FܲX@3W&{Q/j䓓P 5kz>~O/9"ZwBΏd6=`!9a",dԖݟ,B:>nȴjWe ARݹmۉw]8aqF`1R=úZrQwDhUZ/U8RpNޢbΙSQjR.?pxy %0ۉE7a- KS(Iӱ;s|^+$m:=R4nÏBUl&gb!NnDK|h@3ѿπfd'UҾ]=6 /pnǛOΊÐ%{QȪQ[b=dI`狅Sro$ֹveX4:,D0^$/qbb(孰+?4hRcMvofg]uPTA?{,_AO?0=p4sHDRv_C2 +A K8uL5 J8hO1O;{6>dO"p}bO JňrDx%KζLmF&]/) u$RF_m|Q!o;9n1< 5RNDjGEhp+8Ll4I^[.sH!uҔ߬a^-ŸDg).1tUx\@IP?gY©P1M Ņa}K[nRJ,?IsȴZ{w}˕uTP"fEV$9²5?cp{7^>! ]K$fV*Sp{pۥz{wӁ/Q(ֺ0xc#KUG7iq&-r=]I AmzYF|<{"Hb2)o B_r+fsV2]yOFΓvU_gX@:$^8q/.#4(NfodÒ(bE΁>x*!Y#!. f_!0l87Ts0b ^M#kd0r~`yV4fϦѭyM"0L\Μ3‰N(kOz(-hRR)Di m =nB g9MO:2z#vg8-ZZqL/`\]QrpUʯZgE3i;D:`.jF!Œi(  A- نJx (Il5A=uS"Yin\--rɍ'Fx -1Ev9e/7_=XՆ8V $I~}̶=v3Ix⋵}oMu{oPH<0 _WhԘzڻL3Cͷ ) D u/ytĥn ڏ{%szjJn΃;rىOPY]L@΋PP 0#-䛘)Dj+ U yլ S;RJ ^v3IGr?ʱn<A7Uv5X>Rp ](e{(l? e>'-Hz64LBYlޗ,5ox^MN=Z<.SѢgAGu$2C2^$ #F7A`(Ir`ӊ}= %BƃK Ni$|i[49m+z۵^2ɖ:,Ui~eg)[P Ī~Y9p%"#\U~ ``+In盱t[լWY?<4LH_f491;>8_~g'C IAoe2do>.d2F٩*IPC)ުfp\>^W*&lNA>|zѣHǮ*'G&zumU{JdAfZ/-G!>=j$^7%1oQV2VQ c5ut(n0;B6mv޲Ewk40:k%2섶W__[|jS%Sz׃ʣ#7TM+߲x2=3qn.QJY&|B ɔԦ(1SrNdP^,q5/c6T֟ߨ"%G4U5`=yh}ZnҺRAы"y)$AƒqO*zl؞ZbyQog67%{nЊsn]0c%oz$!H+Tf^{qBOlQ 6>[_BneF:o^$dU]ǘͫ{oѨo!Ľ&2P";llmpWi ei!k69:}>^1J1 vG̳k9Z]5N}4'^`Eڛ, 1@j*)}6[lycGяlIWw;]^ϙciۍ$& O 4¥t*xeȽXeF`$ eT2iy{)*mF -︐ۓr\: Q?B%t^5r4VT0H!J%#}Ąe@OAJF FvL)HUXRa6ɺJ;6p?g\ 뉾[t"*=AXz[hh) P+UHU(Ae))%['nK^SȪ=:W##фGLd'כT`C:+㿀;'˩Ԗ,Bڇh[nxPY2y63a9Pe8ف~He|+5UY\yZTM3VQl@ŐAo ػHj @"d 83O ,`_vTleB/}4]T%Z/=Qڡv@Ψͥseg$A(pǢNxEB!i*vʺ-[U4)BZ"œ*ޒɕ}ypFmߛ?>jjd>]XzA2mњeRMCosMZuQ@2 \ %_Y19}ޢyAiY=y Eܑ X(gR)+W]HY?ݔ *~p%韊4M=ɊNEhn)> <>>J%П'9Ɛ>>_d!GD_|8q{1*@mQ,ꤽ3RpHy7飁.X`Lk]i^D{ ] M7Y${G-1b`y#ܨZ:8rZb#nq5XkbmS'|mο[em,C('*),G,&yez`DlZ>K{bZM(_؂D@xGt.1%9͇?3s"ʽDkOƯy곗b\B)A=sL,};9ػؖ.~y[4]7o3Q4 DBк?(HG \ay0:f"eXfehR[ie r~.\sU>DF7'7HES7 K)m%6PFW$Ο"I]VS5E/lOO Q2QZXPhC34˃ WM z6x2<@%YrbId>~a.mן$qs-5a(nuw/С }&'Efj,g+bEMƎG(P=0$PݻΗjpp^p(.($`Ux  Z錍Caݝ6zϺ_tV33(SrǘԾe5h;o<MhB*K@$i9"Җb f q߭J *|2E?pJcn 'o5=>cZzJ`+ܢg䖗kCJG%lDm[}U"5mN4-7 ;^b* ½W\׷<"4g8*uEr@25˭QŇf`E6[\u~CĿg`)2a!Xxܐ,L}x笎]+AA%e3nh%R_ RAh>۰x;<~|l6 G ,\|hւd+ѩᾗWVɪwb%4}|!'kT"|I]]u/mrƱSV"#O{3gCvv`֪Bƒa  ƚdOb1|%"2b.kgh,3^H*I > .=#,C'tڞB˭`|vBE|R9J\'f9nFG#@GN \>^^Yi@g=UX|Lp65rhAc$+R/TQFp 荒 c akEHWtnRѠ"K!d֗|!ƈIЎ[#Ƹ%B(kZzJ}qRΤcOZsL)W ܰfZ-,H^3-t,j߰o֢±QB;|PݵQ58Zi&`.>7mp=S:_bΌ6. ??RU+[+GULq Y2t[>J}bSimmYF^L"I=`Z_Q9ԾcvQe%r=s݁SK-vw\BhP+{KFh^z*~8k/P{1ci]YsŎ@ycVڮyp9PFGi^YsUcI+nji$#hOFVEx@!5GMc'] ;c a|.-t2OjP`IC@l <+n_`mzJĦba ([Iz;F}|g^l@f֔dֱS>Sv֜o} Za)W\MLg,.)GTpWψL?eõ?>h>h{IB,´N 2H v4]RUeIʄSQ0t R*,;H6~(Z?+I/6SSqzG{v‘-y pP9Tt.`eR& 4$઼q]dZ%i{N~hcDmwOc(?(ȷҥsOV n/& 95KQwxO̜-5//B4]Q(BNI ^\ZaՒs\Ԯ n``wR h+\Xz4cn hC4ъHw-N3^YxUKIQ07::vh(>ͬD=rcNXuBUH 4!PtlxR!u!@T=HBugV}RI#&*vvb*[:@}:}Տ#+Im(4HwBqijA;q"4<%'aÍv"0ȨYUu6 [=wr i2\i"r1,Bn2Ƀ'JDm|qR֊e|ތf8~NfwɷrC=|pGWm- 2;%~yI kIA> rjusHT#qQeƏI. tZ58~5vMYAf7ƺۄPD1mMmue1,,&(+\2G8x.4ehlW@d=)4;PewlL&N>:VggNš>uʼɺzК*3rX8 ZAQ_X^AFi͐ :uD-v>1F\ȨϮm|[dz´ Ԫ: ) cZxi_T‰ ԰89Y{6t}BiKqch !42(iKMd3snIrkkKd>Ρ}a_1XT'67KM6n)xjcpQLcɿ@kï=v bޑ ~ }!%!ROs8F{$xW~G͊1S)7GAMgljx;ReRqأj8G$6W;X?GUX]Ox1%QsMg6tsoJ uب3y &4^)p*!_Dcˈb$++zf.̩E,z"-.u},{7m%k^qr#巡q(p уp|' 7%mkꁌIkcgBQ {P*b9>j4<@+`()46UԽKyc$ma8Zߠh4ܘ/RߌH ;VF\#A}_`r/Yia\쨀G01j"q{[Ĩs!lD  @⭆z/sWWg9:؎[mh\m=o~hYL6$4G "S6[?OBj1'Pkݵ/w'LC߈H6}b˾@ L ,Ⱉ#(j¼ - 6@;YQ"/UAʋHeIߟ6a?Kv.>n`ǻ8knp-'b/K~.=:?z3?OT;J^|Vƒr`ui{G̖QaÛ:S#>x&nNQm5z Onx#/5);kWOG!if!ؐeBDY*8J^ڃv' ]qŋ%hel\KKNyWFO$ 6_=-TɌLq>7zqO,Nu"2Df69/kr0C|})aA<~M'Dél tŊP_6If# 74rw]*'ݿi A8Jڦ1x=m0bјW ŲWJT r1(P:؃ź62*v=C`cWC ]TBDM2x]mkRg>4{;_53oi6H˚ Ҩw׸#/JIOK6|+'b7^V;2koV(H\|XxXyst}džn<݋Vh$Aj6{]ODpwŶ 0Hy0_L/~ ͽT R;狛Ir3=yn VROhe tP( />&6Nizx*X)4P&?H Bg껨U``o~L>[^=o)fjq*4)V-`jT%D.&T9~2m'ݾ_ UyN(T'&Al䮧ъ|i%+O/Qs0gвqC٥TlIܻZJ|гU(sc 1.UC)㩂7BN!p9rS`b269<14f+' JJjoc"G:rN z&==Y^RؾOzm" b2x-4z#bhfK vjZ]o ~7+u;WOtq4K7 `HM S8$( !ʹb0$(דjktIsǹ40Ѝ\ ػLďr,mqnp+*~(Ie8]鑵㫪'OsN[t}6q%V&T۳1I-OڂjMP7oG?v0͵enɟCںjPkoy2t'Eoٸ:cڌJC=h!:61jgNx əhG>! \ؒy^8TM8K*6iMkR79h`jHJȌx&WLoy9cF]u93qSKp 1^j_2,]Ic@/r%~ֆ|_>djϚO=/lh1c4-1ݰ4{ֲǂZSʃ^x#-ӻԣڿ%aӢtXoa.ի/s#č93%ګ [<9+So?1 wu$Э@t3@,oV!j#K=7\ߢjss2d-"o]:T"5mnyfTG%s*%;ɣkGoBq4u| ''R&( cԩPשN)hwhQ!|&f5Ӊ4I>o xI_kt+jo̻̊ٛ\RJDį]r26,FX}>+6Dǖu=aƵ8=U Z==.P|νzˋ};)e(:v߆*cMR.W- }7*]'q\V'{e𫤐\<(;>0{h{'~1 `(rA 1?: 8QdiCC)=tro2A`#k!aeU^e(ሬ4FSQM1Mj]1:{Ot[YszGf9ݏOŒV}yjsvfFݒvQ?mt[36 NWR+%w m=/NٛudÇϬPw&?Y-&U>D2|T$=H,Cwޯm &˚dҧA~4`.+}^.y2dJԜ8Shv^r`w10d[ͪ&$Bw*i>{l0t9Ue cbى p5遛hG7_ӜrQnY.5ٖ-97^]QҠ8ީrk mڻQY/ or4 WX:lSI FT$G3_ձD8Bx]=yӎg" f.uULѤzGO`tY:w>],wA% '(\vUv dQf`$` c 1L$ 0$!'! si?".~-\^Qw408vav OP DBjhxPWp-g X7MO&#B@ ݴmWĢ aY;Rf $ ʆlh0e'5(cɨg\əLembRl~;:i֚t&l+@VDUao~U˳E(m!HͰ֕h/cy75v J cl4J-/o @Tv4onHX?pEԪAynfE)/>' A @[9ϡEG-W-' pAի!AFe ;|d_Ux9ab-43b9֜ҏ}MIY^]G``mp欖%Pv0/"CO\bЕ ]|KxV8"t:~(ihq-PvmNtPV}ٰ8/@"N` >'zIr"_,D5k'̯rSφ+&_ք)VCY9Lb+j!:c=IiCcb(1?-Y{o\潺NP#W*6Z+MTw2l\^έPRzMN:#D, |Qi. h?6}'] sCWƭvx*-7w/MfT(lE2#3(ڊt@OxI-*Z) l^ѫ6,aRĔd[>}eff̈Sέعh\qk\eԲ31{5B7D1π[g>SL(ŧb=K =)1 q>œUhHY)a5~5Z2'4Ģ2")mIF3jڐaZS^'^@tgGbSY=Mח+bX&prVܗy=RIī iGmlGHf_,,P! pz4~@rH 6Z^`}ՆVt^ݖ^sJPOlHwR<\!ya4J5*k =VGtl-/ `@H]#fG 's$̣>0W6,1@:.@yy`򺼵*V+.Ē@чVQ5*eۛwq8Sze)ĔHU3<H9-\ɨ%iCV\C^TjYR~IFlOwcCe9WqREG8Try6A|Rs0)te#G}[ kJgE) HxRXuF>"lFbM/Q+vW7oc4Us i0n10Gk]gWl*G>)PEwP Mx2m7yVrKIc:NXX(dCLb#L T<'g ͮ~K82 ]&HI|kl|̀Y(,19'2L,9Fq@/,`5V%peWwӊ8UՍ3PW AM>ax ^I.Ã!-U/8xx(hA`-Eё. L! }Fn uoI9Rg@Ozh ǹbUBelHݚδ,LMJwC6PN9H)ܴ  QG.\04oZO/mW׭x\8(wFs5=)d 4z8 Q&:֚qi 9\#6 v &םvP,sd^H嫾 ?`xҭȵ1?u~ڧR{djS$I[d97B <|x DMx~"/%M<&dVPxy#c 2p&% û7>?(yK۩&F,GAL,}W~&h@Ip Z3u7O,$ԤI弃&>;*'0OLl;PkP6Wi]}@ CybD 5)bO_Z (OxjH ,-° h/%EE='v&YgՒs |K`,\լw Q%|zqge5փϊXʤ`πc5ZJF2|e Oh!@/ E_#utxN9h0?JCw|ӀTRCawdV@UKKX#W{wsqpɑjMS>#ןiF̡CAƝtUa{{dJbЏDe2= @?Fq˲ӗ4B~" "z0iN̶\7xV,ƊeRcEP')VA +o фv?#z%!Y< @!-wǂ(Xjy3܏Mn8ޮл`Gh/N`KsKx-*|\ࣂM*Y! yT לw໗0ɇ+EyF.1L)zSO%lSsVX3n=]/כX9 s>/Fg C–9on 7x?wmڣueg5&&XlYɐ6E\kEy|җv:;zp*`tu\ ZT儎޽qR#&_=JڜކV(ǘrAUڂoa+͍IihO6Bt+m?J *wDspHpQ=>wa#P r|t!K /M@Vz7<8 CTJ5}meoAmO >h8G[(Mpǹ؀g6.c3sTP45C`V]9r5_1Y [ =/_%ᄤg[,v&ks˴?F P/y7GBh@FMZrN{KA;7r[F|kokvo ;a"!3`M_XKD7̦{xUBU1bZ_Hzf>Cq][ 0Ɔ_Dqېn&,>'H,!0K#t^U<eksѠZbszb>h!VW%pe׊ ;8g݊eR=@LZ+gb3.)_&x}N>wdBƞA!H⸡w`=6CӨ1HljUDä8$9O~aS1}c9+iu"I'$;d-A`w; ,3nn.?ixg@mt8tPX1pkah"Hm!" )+;Xվ;v[`lrďj'Ng3} Vtpr #zБ[.u kNsMhf :7sIqԲ,8l!5aO@eCSn( Iz=̶lzGE~a漢cy!PQp6BHGͺB@e8d3Vb1 y ;{ M}yby~CYTr0u̾a.X=$%}z \f߀e XǦB%V R%[F{tRo9M894] 2IABto ^YvѼ8]v7|FYKٱgN90ҤD[A(5vŸg՘=`ES 3# Dbz lGo J s: >\@da9{P7Kwo%S|_i `Zz2$"aa .fFL7/5B DtEږQԕ=}YY% ͉)KIQF3lHB.rnq|d{-i=;z}/^؅/7l5Z_gn(M~9)AOYZ,~,Ù} ^%8)G4V y1Vtǒ!FI<ib[7F&BD āZȮ{Ww%zBy"sg#qG {(Z㒕ܽt׾z#q,`,E>'[D^4z %c63F2( B%f8W{P\%|7_( />x*@f kBZ '3 Ɗ3Qٳz3|dT75 d]d: nQ 69S}?wxL)*Aқ>,ט&=}Z-MY_;&^Dؑ 6&t <urΚR9D~/"m֟F`/'/j&;xݍ_j+.qmIc+ݳbZwT55H+F"Rn+SC GdHb:+GAo-ŪA״l#YΦS8WkcWdT}E\|=RڟeY=[Y7HHPb,\cGugڙ!K'uUdhF!ƽDpFvI*YnWOPn] =fp(ۆƚXxG/ y3x'NsP×>7B 625JG]cӅ^~IζX"޲SߩUHGXKbA{Cm,*&q{P!LR`~$fJqD &5l|%c3_:t  Y!{O~$jBPm~<\6#+{RXT˴(lZb8s#CJ:,z>?bi^GYUPlҨ v"TD>4(2>U%|Ѓ)Vcڵ7in %m:{-X?w;5 7 XG_)-Cm>QpETM1P(2thoaT7 ʈ$M%y30-w{_}VPp&߷?w6 Mye"Qy1.t~R]VP3lե `#-QW ewxht1BV7Ҵ'mI:wz˂Km{!Vbz9sM'OC sbHgqfRabF-]_#O uL^u}VH؄[neZJIvkbF9^BU!>L6 ǭ,ԼYݎ!&Td u[VֶaUQ<ѽ3Ŷl[#N}ō5t|,[Q1Ud1,1-ֿg4ڔi 20f3:T^Y/im.vWmuYRmy]*b U5~F,ɯEFNR>$ץ9#R-EG1Eڒ,XTYCkZnە><򺲵"Hv`V&R%7I֪c/[L18{QgEo7Jbh1v0vr);x- ûcۣkܙ:,߾zɽ =Pp3Gh"\*ZVRyZQzqב \9JZI4>=(iPa<+n8KS@il sGu:^&ķ ?TX='I6N+ CDs'Y+,Ŋ s7fnĄ+XImi<|;5)x :}mf>E'ud\`p&5R']~M_7ncq6j# co1pLTA2_ TlJKRqfr6.Q?xӈ(6 /'A )zk;.b p[LvV- -:&Z嵠',9oefA}Eٿ$lt) {$ t(@*j%o)r<=qn.N?ۂMk}]c6]·@DNX!1G?$.wO@6pxWiIEì8od="yh"t0+ofJEm Oh * \;В8#leDTRi\=!wڪ"ɧؽyG*fd2,@!\үEϸ 9U9{yu!Ebݶ,BQ`#]L؃G@b#޴RHm`Z{P,41Evw>.'9,l=:Tc2 ]! @k\,P;1uȶ?85vpx$+ .r;;cKeXGh} }^xDVAMoЅ(>qs|c`vil4`<:@f/&,ːlĹi8m)Z,n)ixV ]":.^z!,ډ}#$.؂PxާŷU}Ʌ2_Eu},K4Td~gQ17b?ݦ>kyѓ֋l"RTiVIq4{a˺unuؼ*s܅i`P ;͉#p@V3 aI\}$OՐFsn=pEt"zi}dcUhYT)ĂtaKE;I L'l?"TnSJÜ\fgcԢO˶3곖[dߘQ*n !4ѡ>t?  -NޕQyrTM|hėFy%xN^)(:7X9[Neǘ@uIs?xˬmVߑn6~᎚Kjg *Xj%V$=<}Re?b$޽fıB'RXUv&sbfY~' 1eGͅ^|s$>s8p[hBy>#^%GGϔ4k"DMgxJ8_8K\4L{&3d&z(μsRyjLM_@U_q,` .&V8-h\Ըx^n}l M&H\@ZiOFh(|9P-x`=as"Z7Cѽj ûoZnJYZfAލeB0kR O\\x }=q1cZd36oNy+CWG;ވ)Ɨ([W*9H$ȲQZ ieF!;MA9 -ץTW|'(c &?;Jy|j_K@2+x^㹙۵=~FegtUa{;}츱-CLնFdSIS%<"5)>%bxrs剁vݺ"̅/[W!SpPQdn`V-)!O}Nz#ܿ:yV@6ϔ(B)nkc-;nReZ lF `@;s,ʯ"bR4\伪/eXVGf?vpR9gxu}Abq3!O-ґk*+wѐ~eȬ&9/$Me5JX_{9=;ヴo+WU7ty> yҽ]6&u꧷-Ү"]S=* ~WoDF a*HYq@9%<[@''S'XӬe0gw~Wٗ[Q)zׇ:tb<٪Ur0$v5wK:2 A[& aA;K>t>{l> g,mi=+fL{HW 2 (zuUly1rT'!(>v#DrTUpuo'bSkLwd4 >Al\BC?NM7tĄ%tgGe[̏/?~\ :+/JrU-ﵨyUg!Aޟ&~qy%ivPm Quxc(F I|(V(^f( [o #DOvD ɓ&.nF֙if})>wXhLS2IWSAC+XEXĖ|EÒmLȔ!W=g" P/^.LIt/ٚxh_CNMoŠxĪ'~ZxZ :2 \r&LGwn`%|GG"K8 1S bqvr~F_9| WOdk\M"9$v|dj;zΡ0qzWTﵔ-"|kE@o Ӧ-YG \ 6u{ft ou-=Ya/1]l'ٔOdz^j 4)W06'Q؊Iyq;*&GmY&'D~BԘX*Ϥ; Qy9ct"<t|ŗW'yI }Kdm [a+$;\πBsL]_EmJ\%CX\:=R`6J+*}$@y|ol}} 0 W(8V#pS;cŒNa.N&mo[}z#D\tŽ%0~v: Dv74*A6۪zsa^\a"C0>*f$yx+L3TyK$Jp[@"Lyƍ}PLW'V5koڪЍD5.*,_[ۓ~68{@c!mcڡR*#…N5%%9 Vc*k縑vgE&H6EB` s N?Q/ұgYZ03d2b87de7cc5edf32661c38be6b6e329f0f4972 04454f118c0ab9c9619d452508ccec4a3d0585eb 0b69d8c3f70856201e8c054bc34357b13520292f 0f998f25c16154dec477659a65cacf1a7765cb4c 1437e78289fad976268a1c53d4c462661ad4f60d 2f644181a9eef18046b2f747b3758f2be0bdf9e7 3122c5b55089566c74375976fd6040cc34c326db 31b7687d5433d9b2974179da290efc477d1e8cee 34c1821a7e9f51f9406003ddc413e27db70e45db 376a006752ba91a78287bd22ed408721d46367dc 37e048eca1afc2c069cebaffb562a02b039bb22c 4132bc9034537af949509e8539839c161ec442ea 429952f9b1ab48f5480776e72dd795c832ab4fd6 42dee07345f60c7de0bc5cbd4b4841655fda552c 43011728c87fa39af0b5c62e53c9beee3e632c8c 597fbb094f16f328803dc816d2ede8e1a4685fa7 5da4f1f8a066e90a66f3844d13a77db517e4322b 6c10a5f6b21786dbac5c9b1831d1e19d584a8a97 6e2b45afa35cebbc9a7c8301fe6643aa6a831d5e 6f07d7c8a84d841f2a6399d1998e116bd7f46aec 7515bc3cd3b2eca4f9bd38d8fba0eca1930dc073 756d0b05abffa326b94563fb360f88f98173443c 79f31440868c5686b204e83e4f26f92eb8d94f9b 9169bfd49fb8e5243738d07d13499130ca188110 9b71478f02e066362e41439dae6dc24e3ccd8393 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b2b5ee5e9d4386b373571d3c0bd7fe787e50bdde b492aac05bf91987603170f7236a5e6af15d9a95 b63b19308defa172577711ae578d2a53c15c9122 b6c97269b3af80550b4d02b597f59f238f119a33 b79dbae86528e11addc14c097b3141987a395c86 cedaf14907e583e05ac48792aecdfcc5b04ad875 cf0eb34815c10b600e671c786585de3d3713e6fc dbf3cb796b90e8ac79747129bcceaa79d14cf210 e541638ddb656e591b67cedd6d2fc74a597c6f68 e60dd8a11eec722998e8518d1bc3e18b7b4335a5 eb02fe96e93a587b7dba35083655dc750f4acea4 ecdb956ca90467fe923eefb041bb7ac70c793a34 ef36663308fe3932b01f93eb89f3039c963b9089 f46048e98cf60d1b708c07c87d1b19ab03cb3aa3 f975e3bf5464df6bd21d33a7ec5174278bee7c3a fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 a1ca033d891c82a4e41eb5b0fc49aaf1d2ce0007 5835fb38aad470e6db8b55e088787b9f04f56e29 531cd5dd30ca228ddf50e54783e01d1dd29aefaf