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 ^^j-L Q HOL-ODE-Numerics:threads=2elapsed=901.757cpu=1649.892gc=95.468factor=1.837zXZִF! c9]ŗXf1-/6vRZ]C27|ê\?_3V0;-mI^D)K603ycwD}e 0ɚ=l%{f-k ?b*A՘a /lvvo,ܗט(o|I87~mKFt2/])/뉗N'CR 32|,awEZN :ƉgТ"So 7H@l$v_ Y3927ȅ琷7H$筻K{ rٛ;'(  iT^>=z :֟.q@ֆnS=Z]X]Z*jb Obі( L,Md})R^VP::lzr21f2O!I^}— jOߒv&(S\]J^2o]L{]ZzCzqR)1֍D?-\w9ұQ]0TBɘZ~|Eeo[#<`9($s p4ob>!&!-+etp =!w}X+AnEY>1uŸs_ @0NFf'hUe4m0SΆjR=ɔbLL}$b  '$[9׳bMUIi(=/ˊlb|'b%Ґ( 1n]p˜K9fI V[#/4j'jx MH2 BBNXϡa(TrS0Pp Uu蕃f cbFQyCv$pȝȭH4`ٱ2#5w†МA b{W.lb`kfڈ._6 =D+ڱ7E_'+]]s[3nf̡9(@S^z8tԾ%ٳީy53X6rE=PFw~%<*mҒdSH3l6Տ|̈)IoȄB1wXyL)D[d?r[@j-ϑ.OI!͞[Vhe P4%y] @aͷ&]o7; */ ?%]ySѬpTG° X٦ }c6~F8l._r &(^D󁒌DMZ% R#H" E~7^ K1Fan Fr@LU0VRFA1$iE^p꒲/am8|`*g5[򲉻Т7%v6@GO.jw2Fnꫢ#6}~;Ѻ Gp!`pN ĠCs {K9VjG"'J0NfWeR(|,˞I4==Dxy)ZJcF"_<íe/&YuKZ BP(dtVNn@i!_)xpb; OP7br>C؏<ıC/Jgy$Y5 uc-X2i1'զ۵QӃ+ϸ9,~g~~IRx4qipCSÏOc<2AieŨˤ%\,=f';,W`^Mԏ:a0:#'߂L8 5Q$WC7xZZ T(^M|j~e;Ϗ'"s)$X,_\k[A6޺ ={0qTB#,TD9aw/ fVqȝ5֝+^i !Qj - HOL-ODE-Numericsa{XF1 VTT/\D83NTQ1#u})^'nEzrsP'mn JVXf$~39}2 R^ųsU_:$Ni5l3W^8_Zg+-E˵*)m %tlLЋQ2pWɁy脐} tGɦi/g#4Z?|철ά4A9Ҫc|Q Dbr1k*~cNl&l.P*>4uwVnb h_xdև"l MˏX܏~Q ~%Wx&]@MOl*>F*㾄V}T*7_ feH* ӫQ>LOo7Pf chiJ#+ 9>n^'"J/(uk}]'Ns5,{<652 }J7 8鎍BhC(1zj LS%mDZ}ӗ_nɗ#.UTL_::󇕪.IAGo洎i)!&Gi}2cz%6Dr# rQB`m[+:£5[_$_p*o(NJ|8<2JMz6DaVƽuohn$b)r{(fρa€G-E?&RduHa_ fW9*ZlNUٿ- ˃_!~ 2ް˷h We5]}W<ȳ^q3AN^,byo(e 2K!\ z&c?e `e<ƛN(BG q5-}Zm$ >yvgBU%J?*> 2e4L q2=T5 i{ MhT!4 'ӸF- jw I-7^vN>C닷Q$Q].S ( '+CnUsEdL-lwbH(N:L絟ckZݬ_4O,%x9Bb2HIB&hgWN;2*#iNj6۶q@ jLj%yj|# H+{huQsrELGIcfwhyW-l)`dB1E5 YcxBiQ9Y.аdB7:LwE8)1/jv|%N% i%a#% 쟼.z3z 2w; fO(r+FLsPC,G }][nΠ"]"Ur vggMkF8J|< @iKwF׵{ixO26/{_v7ޑ%DMUm/!fmߢ NJv2: ٹq2usYDŽ&]yſ*h-bZ9 r~W?wlVOd<@pT &4<@?WU͌@yڔ/xGdD{t i86q3d{"MrVw͆QGIpL l="735K5t8 gg32fAϧ! ;ε?Zs. E;1?pTl=`|<6s(k u 1N'|g-tST5V5U kQidKyaR+z 4_ȮQhU XG>.Ž}4$0.29 F-=(SJݺp`/PB߼J EJ΃abJ;#C_ o&%',y'/x Ԙ?AZ>*D2Lۀ-_r,lI#ڝRXy攍fAצ-gٓlJ$TCB2ED4Kӈ|#)|rZеf KUox*Gw ݕ454;;ܬ ]y!aOURXLwNv׷T4,tyy>*<#ni"zOSjt[Y~n*tDT:CJ@Za53%hUQ)"Az'U:3Qa.cT{ǂ#Go U8#-X_n%KS\مȦbW{HlpȓwMI+W_8LٞH!I%(2\+xΝ,`~Hh+:l(q1tKo(vRA~p%4KzYuaõ_Hm*"0Ik34Bl?W]T$t?ݟ5[3 x/W,-M 3_VD'Z*vg{|c} @Ǝ\&6SF&Ʉ^v7`7UoVpB$Ҧ߆r fFe1,uo;6+W+~W0wtWI25-qDcCpHܻߜ/@h!) Z7:Ju&PHVCM҅(hXJyeG/y#P&n/YFs7B B&sPWN|wcC$(Q+&6Ł* AMcg6 Je .G.( W8z<r̃FDfm_*ec4(y׆7d$r[Y+V}gp;4<´7wCD=P`ŏQ;ڬ rIԄsV־2&D;s(c~)_9o/|(ܢbO%l ׯv`FwwTJN!&΃il(v֓Ecr]PGDحЙXoԿ1nL ؆? shK_y!3/wllb{R(ן8#gYZ7zXZִF! u ]ŗXi%6xN"cO(F[p_FZNLF [;D3B^bBZD\2i0l-JGnEPh۸>._=Oe8컦3WO r8dH:oLׅqtc֝% Rh5!{_FEKIhp8D ^@_x/5%C0:JΛq,x+XIPjmaJuj#qhojDP 0/FC,m'©Q3U'v$|zF90#0a (UKKb!M8%[MY&4lrh3>g2buM˃ۏQx+jV@&IYi,-hh u w1G߷b"ͮ[̊r0PFShzwK)a<ϩzx[B&~S--iY0IdQ ZoC/[e&(7aLadJ.д  avi|P0WWCel?8xalV!+$B)ki \JќNӨ(Fn.L %MNpV}J-2S?kd~= y~W^:KqdgR/I}+ZDXB7@ kjY&<8z~Տkp z^:z"]lL;0o.% O 1heZ(puCkh)Q$ 3TD<Ă*ۍ|4X]&U!r( wὍ xו#mXyڢ4U@u=4mʘY>׳BTǨkg&9o&|{gAzD5Pc8g +Ϭ]a94׳nۋH5!M,O)L,zNjg_} !—+_P+0]* +gȃ:pCB_^dCAStK-$b_~D{刓pb@^54K]Q,޴.[enם#4WrqB:w=1T|.B R+ݰmИqḚi^zZ8z]7B`6Jޥں(!LOġYρgК{^>pU\CaD_m܉9LSpA$ؖD YK-,/nʛ5 J%-Hk~|DDT?Ұ4/WZ|OUMauՉ%8 J 9gAgdG]W bFLs(.$3مE=sxųʥIjQ7=S˶yC %gPT$*@V$_TThZm'@;%Ow#"Z W~&w^\Q:FjMF!qokIH+' mQ`Da7}c*"9qv9[E89Iz4|b(BM[۱$fC;?ZH-KKMG}y;"Sœ h"˷:Փz OZCFbMBUDڬ~BP\xmNQϟpH|Ev-+JԼ.;mh.}Wf7T[Xr>9R80E3:uiJVX6FRqO]'ߊn2d C I{_}ا61ox#Jo"i('HhRTg)m\Oi&*z aވi O: x&PO>6*҄S&frBb j0FAOkåVQ:I1 !i,ʘY{t $)`'LB+fkjW1>&A_uؾJyƎ#OBN2~iZ^z𑘻~X<4bhKZ](ƅ֪gF1XK/oa[B L/UAZrͫi7Qo+Htɑ|y ("8c $J4KƂg.#^HSRq-/Վy 4,|Ok9dZl]lOjH2S:p3璳 -)ňAHmNI< j<~3jxISZ Wz QB>PfR܄Y?ƘxQogѫh}d^._eAGcPo]6<Sȃ1硂U-}{)v OOJĬ@" A>ֻZn ޴xݻ({GaYl,tqOgТmLHFMUtK}qFb K ?8˱Tߦ2@ .!|z M u WAW`K+I%끗+(NY iUv9)ނ-E&25uʹf=Z0-&6 rʙ7PF*fs gK-{I,Z+ѧU>ctgsA mFѝki2f0rw|و=Va^K yLS]9M"׋ +Fyf;Ηxvdh(p9R"IkgP戩I sJ)T4(v7q23}<߳YTZV)tsLG';\h;w%7C  WqW @W/= yV㡞.c0Y$lRakO|xsS- E ~M}FcUW9x{h ւƾg(/!Fj@}F:: PSJ31pUsץޘsd,E)m&ZP.8 atEȣvWv tZd%m<\Ke.;8MV#ݎr7tkV%\V›׼iPΏ~ #Ѩ`{>]S 96 8 !!o& Pà5@zrjbJ"vf./[{g^5/T{Z V@DS ]v}~%P 5%<(^izU誫@LB։!)N%^JՈ/r(TDO/aZ&hIe9'<[ܬtg`0: PRÅ|Z٘O2uk+ DR2 GW _JG!QB7Mx9.膜e[޲_ߪ\fiR?BSRr5>Z<:9Zal?36S~;R bccFI$̪ޚJj[ړ;a=IБI5 ߕ>"(2+-5*sp' E6Й "++NSjѵH fI;Χ%e͵uwr[BR;Vfzx4s"/FYŸ}q~Hy}HЍ1p$ABRʒzЛn;<_'mͤ(ۑ!A~AT"T:VKa,~B8;IjJ 3$džc؄EhH- Eלd;&Ro Ab8zW%!/ jnp7{#+|7FbUSLJfp נun :8ֵma2 -k 2ߎ"[@MN}!=VZC7fG~O}&sqOVh NC{zva=zptLSwLK> ZWdU<(3d;n9`Ci`Xu5(Ke}qNV&ZE0IA7԰e8SZzFKH '-aFn%ܳg` y[PkH?8p,82@Lo("Z *x08`~@B4`ra-u +,!ʘ bQ=BHC6\2}F5Pqƨ+H,dOfѯ6n7>/~dR5\bǐl3??@iQ U0ط4TAĊçRm;$?% ۮ/v2o,H zU)uKᶒ⾄ 녞]㱙k\13SܓH+T ߉:l &6X}ƿx:va=YjDڸBƂòd?TYHI2guVDR .-Yn {CSG1t&h8P ]x$}?y4% /?K2qKgvH+ \5>j%ڞ 7Gn&dΑa=w]|jpMLD(T< }(k0)ù% oGsYɘDܛkq Ll}9)ojˉ9QGHܪmҒFn6M#Py\]8A`lZ;f!$ ܾɾB/*[6? <}r7c$Z'viݺ*nC x4z*kz`ʅºFEbiuܥ 6`JEum $:l1eWjO@(јqf[1{EmH꛴,ZyK+Ui3-rB7g!Ő 7iŹyyeg#"FALq*_No2b#&ȣ0^±^g/vۗPDeC1BdϽYCxBw"ٵ ސP:38&!X#l.>424|iM RF @;\,0ZxIkִUʓhr濃IhSFl$۫)fz8?Lkپf2$gGWJr ѪD x uOzOAaة#UZ Զ`)8+*=BJ2vW8D]&B~ϡ형oLX̸g|t=ߠ˔ fY~g8 B2s$tǮ *:Xo:@|>!"E-t;`qQe˲_2cQ Z'ғFG L6#rg_aU H3N m]1[ ֽcBMzT>2 v0PR#f?ܞo$'(|+JQ `|9T)`,K˴Kt~k.UgM]W1|WRT!3^ǹ ` OآLa#@|A}h29Cg7+DpP(|)B, >(n/^HCe2,!EԠ,r5]dmR-]˗CX}BCaDhw{n#VBl;q*"^YR ɘr# -""j%CSMy+ s"Wp# m΄\<Ӡ{M?ontƥR=I J3|DXZ Ƃ(C`K ,䶂O2hܳ g4;ffǙj*tm-# d f156潮^V1}@,@\Ȫ0T+6ǍSf\ |,ϳv<:(+_qmJ(k]̭i!Or.in ["( _ 7( dl7Qa\xZOHJܥ.qn4Jg`"Lj zIu'gYšb<+v1\J J@@M֛"1 >13S0cwSu3G;C`W3EzPa-kg8.Q05;svOd95fd/pGd;d9 p.arβڄC-]Eϔcy%M&pRl\ BLE$Ҿw_-j%\c'Q<7NEHkTgn$̟EL2M5-PBn%3r2L}rFB+FN$KVaS=vl@({x"Wv"M,E)ZNlU!V[ "\ | (Lg0g۱pDs2(a͵n~[vBsSZe삫 ٸ]Oʿ豢ky$⏟,ɒCԆ Bɏs?)F1GѤO{?x!)%788L0_vo$ ):{Ʒn]߾S#zY8qF>q`(F@<45d] L[5l:86plg5i%g0c$L4$Y2 ^M ֔[ V F :>)\-$ Z_e ^_܏ʰ\snffi]=F6 Efn\>D ӉhBzC;I](c{Wd7^3)m Ժ!bBzm;.շ24xI$Zx"d8hX,(WXE5)"#*!k>RGn.ȉ uC]6=5ͻ^[pAHAK?JF_Yn exu?>=yClC{ |拆VxlbXfgF/K <lӤlG$#|`kLHWZNۏZst,;/IE*fʧ[I64|pGSCpflQ'E(h=ہidY6yΙ)m&]π\KOa`+jl݅j=سVXqm_ VDdt*a6mYqH ru'- :_eQsfzJ&dt|ŮsY—pve1a@(s]y p) U֚C/aA=XըKHSxܦLQ؇VxޚY&7 1nVp4nHa-B+,b ^7B@e C>7opW=!eaRH[{6L+O/fīmbL{*Qg:IP)oTx-s`opr 4qu"%#ܷ&zM1Z_ V;.+ (jUiol`C f, LĔR8(Q/g`;RF1]VZèc;{L1-gU\z`{AXt}k]&Cwj@N b(]>+#a;>M7-1iB%1pm0.ߐߘo_C^gخjIhx:hK@fyR*jhfN&@^wژ농7^ѥ$)  L7ЧsOr6BwކaD8ͯ8V{. oF 5 g>3 `CO}vB׭Mun^J\՜L…"3]q |;CW#MO6y#5sl8i\Z%,l[-M?y \;uL hգוO @"r%k#@ix.-2dܼmٔE$@.KAC(؟:3ܿ{a5 K蕙ߴۺN)ux:W (GO0*cIm'͋ NM.F/|I@J ]Z]M_gG/f,cþ!6z< neѦ,B;a:(_RW3>hn,#X^E HOHVףoWQo vmugScs:$ۡm:dW=վdcn&?wJ71P?4I4sF@WӤ xUCӺQ/:Y_^U72_wx˨T3(:W)Tϳz, [QF}c4}6&+hLIYb`C:y(@*(I"Rx"㌐PAP=/mi^N!h,zb֨=CL]HONLUUX s0SG E*:%)]#t9G'*T.mX"p2 j-wϘ/6dݣߌ>J͏M6- t.D.fm˲L J d%ϡ|I]NYWD8hrMeNX ;bms]iyL<TR6'JBzh%.9Rr}n $:QFhbD5$y+QdQ0tWd^tlnxNrad\}MI-\bS`"GRWB2QNRԲc1bBω',@k4%׾e~4lICс6W.%I_DAvC plR73:g0Eߤ)NhlG_9JriCgh*rSӶ$b 2ɬ8ڻă-kKVd쫩E_6b_s5*;YU IPɠ4weVx!f@bn0{F?ІL`!< >z( v*TK[}8C?7tj+cE$'\& tMβ#4f*bgοgad- jpG)-M4IfA edhML*Uco1aS#ӥSJ *cP-߫ x=J_jr7v9*(t")h6v<Y@dTT1 ;"{hw:gc95,ufh0Ngsj n{wwSxZTSɣD\aT9ijoN螟K/,˨c21v g9҈ vy,՚>~lJQtNEKo*dd9ˣk/X6L[FA 44tsC%$:; E윣JwW% Z -*C)V^9ƅcPIvٵ ""Ww4јQf#l`K-3|E%u*%QRPgn/Rć'T4veH9.A+ T]8ۡX8uAq0̷mgI{:4.eCs;whn}>>y뼗8~A`̈sA=WY9HKKIj6xŁvH2eOGi&1).aݘ29h^%'%@!5vivåtIƀ&UdPZk)ʎd++>)U%lw}-$3Z* >EygfsLW*푖r&.|b 0*ZsHeDLflf`> ?Y&_>#DcѰPwf"L(s Y oUH#oeJg1PWmnt.SÙ~˸94\\cchuG2Fg=NMKH3( ?@1e22Kf{Bh'*V'&'s$E=;ݑ`bΆq0Im; N@dɹdZBKeYp_/F>,^M:Bv 800 :>)IQ%7囗E(ʹ1kta=ů/lvz젨7YI:Oz̃,/ъ\ ~Mg+R\YLv*sbc7 UT\#߅|vvHwx' bj=ЍFSq8S>4jz&4BԶEE+{*yDd 1+H]xU6 D?JEz ifeC.+Oo}!)s2ȼg~*1#VlUDo;'gyKiVzY=rT|0h4Ғ<){=h})~ /mrb"_W)~hkhfk)j)&nڬkʙ-GmHL<\lNuŷ4F!\ HgD0\+#x=5/5D ugZGlV.u0B]@% GPSdGxʵ%6⟜zb d[Dj<~X;bpxToGx<Fi8]}vz YBs=Xb`cNa_$ܓW0 mB_sz Gf#^΄K6GRY@,rUҬk&(%hdD(ZVO’ZI(Bq&)[΍2M[7h\9IHJm_lRFT)-9c5;,j?!6"t*" yK.CO{{ HQi\ˇاZK2FC_U1*o1dc#Z3=1W-bLBz @)@H8xL jhx30ye/Y^+7.dnOپXq5"A$7`X a1ǠnlrYEO7A-$ '6׎yq|dRc? \锄QǐZ>gCluN Ϭpct:`[a3"!(=; `6įj"WN]b[Wq}~S)h8gy+2= 5V"lv9e?CZ0dLEΘ/F2 '2lq2vH|af&``ј݇Wэ,kD6W:lb z[3g.I-4pvs#v[a6!sw24jVj< tORr9%'xlI.'2 #@8Y? ;-^A}[P!IPړ*jL8jܒq {ݾ˗GN kޓt<4 krLEJY eƩ|>JBw W^8n6{%Ń2mtw@^mKbڲdLTQoxx;FKNw6Q i)khfX,= ٙn-Ć- yN|%w#9t $M6>-!%@d#tW|P[քI<;;$< :22i.2<ޅhR"iL*ٛp8vd?;9FI + Y'kf|v4fę{pI-Ztc岻Vh 5))?%Mgӆ&.5Ǖ̒(_`O=a&s xygQN3ӱgc`:ey].AN,FZ%CkOGgPGm;aSYr"iJ)CCD@K/8F(U78?fYBdS߻ ruY_ tn8{_k*OB" ɱ!G)FI__[ְUD-%T܎YO?#xCT9CxDʭ}X8#F>}K-;I8'ԓ[ (Db tlioN$v,SCRGzV<? .G19_T @`[l5,z* Hh{JEA.K eYPgj .Z -r'9LV3s  ɨQʀQP08ۄxmK{*(zty'-J3|7|VK+ )n=Lw.[t`hc.rʤidW#{9 ;4$6PLyk-;c !%eAcTLɻ$y \x1ʼyj2-Z-w94LJ$ gD?*?%PS2׺w,Ti(te:e>,"=h9hOCd[3!Ѩs:FԮ'l5~fIY'+ ?g(78bh=VIFvݏس}CҐe"[OA̕oWhR G΄"]q);;zP*mG俭} U2< r:PnB(, &Q 58\dž^Xa{ U3ˢ/!Hj6-qC41v^E m[?Z-'UJڏ幒s.~[")ji pX pدQ9,(>1ByAEɐ0dͶ#F}^}ìr][p.촐?dW_'{8H|OC* TZvJ˰Jwpdf!_Q䵤RZֶ?$锤)5Y^vҤ*Tjd(t?s̏ }MMp jO](-d+'@pUFVȄ{![lzY+"4upeUj x\oy5k?PHxAŀGH $lh>:{қ 2Ѓ2p׻_\A8ai^ s+Cs.Vg|#@I^Ma;ɿ.p>0l `!_z(JMeL>O#U_YTdͷG}rO]b12 T)KmB/{M׏Ntm;"x P!~ rdNWb_(R92r}DIm'Zݾ]݅ԯǬ^ LxUt$r:@BR`>fd 0߶MPy|z0yҏ3*-` eS놵!dƘJ+u7f r4j* ]ȼֆQ8X a3_/$KXɸbQZW`.(8?8p{yڣ@t!,!]^A|`QYUd"Y<ڻIDQgHCe~n߹oa&%j?sʃpy _{p@BB5ǭ\ߚEo"De) Ko`h6چ1 ]e=U. }@j]u :b>M29sFJ({+Ҧ{ l[' Bbo/\^g,ͻO:!tMO13.Dl v)qFc ^V 1K*/m0*\~9tP4t×B`ZH&9>DF"]ѦPL[(U/v Mxy *xnlЩ͕zĻ˪g-aB1m) S3Ā(m1OHW j$1#+^ꮉCK",lx5T֦r<_ \+ɚ惖DAa{;kykGs4)ռ9ɨ+Y =7_Nz;da[U(62hۄ<v L8x>~ ]g}3E4 n葍9d|))ó3P4JѠiK+K4j碋 i09"OhbsBg(dNie-VIo|D#)u4m Mg023{Js>ޱZ&ZW퍛nDk? ⶃF+`%;gES[)t3.8xZLt86609481ٗ_ NĻh+>fr|:B@7#ՒC\6 atynЙI&;C(+C"!Dؠ~,ɖg'JLnE-jO)_ElU-"$= xYr]*e~ D(Vȷ(D-'jPvb"N+.v: BޫO qS÷ێjqQY~\6sp,iX#ԽԼ*"~WPO9)^x0yo o@LͱRoZl4QnYY =H pQ#3iLy 4KYW/[dH,V  ;/_7Wjʪ@E25.E5&n;]N-;Wu9\ ϧ#9/i!i2+MA 9P[8B6Ҕ*?i8}z7[3?^İcd{b!6-܃Á6$ ƍk)DOo#{Go>v lDd\֕䩪 7cZ2|YcpvP _Y063| ȳ2ARi\]ARQ/La`26.K7sU]h4"lw娻>"mC'}_rFf6ɈUkpxղٝ_}Of;ΑF{w)W7a4k}n4?\Hlʄ~^2;E(o^(}=/>(ʋ/i0Z\8Hb=ڛˌr6,HC ZȆ0n-Z\{b%BTRuyW=2rZN[hr.kMG͐)Y8[^7Nktƥy|8SܐsPxCuJ?g 4tJ;ToFU,qcSšue  4qÁBCr:2T0A jS ق7$KHdjM2!'rHta3-rTGG}'])1<ۧ7~8VBErBsnm'dEо\"ޝ  Cz)iA#vb{g\ *s #]k>2AHM5gLW%"0~VH2m OQJAec9RT&;̫.j>~E ";YbASH~u-0hٯ|@9p<<|z [Q :{dΚҽFSr9 Jw%E!|e茆U#JdݯyϻІ(~]>)iMs^A?0-MH\_;{3lqJ UJeDg+Bԇr>N'1lsU$^`C{vP8Yѝv>JVUe$]Y4O%ûrCiuACA2>@oY1TЮt~]X܁K6WPZ2 N[GD8Ӻxm(QDO- X/-54aDk]M'iG,jND2#cgF#Gp%K"`—2:6pDK2i"?)p)_u7MhпȘk Um_R#6iq~B}ZZ1חN``JʶjSOe%WAj0^XCdmD%P;ٽ 0Zyg1贠}H -B .!F(K]u߃n[:ă(I(ԗg-ַ݀*}&/= Dl*JHACA;(W?g[B`5=TiKN<`Tܘ6R:hHKD≨pi){_ !현jM="QcO1FP3Al VGeG'HAb ,y$ PH BzH Rȏ8VGI cTp,ڼ5+g[(u'![ϟ)M' Ô6T`"T#T=ogMcVPr (buvDѥ&y='ÌUۢ bTd[ :f_`5rL񠘟cKߍ|Liʿ=`M'X7G5=el> \M}B'}rlI,eVq ٽFbIBJ 1+e5sR78>̧}P"5޴wt 9 ;{}CuhP/ [2k],h" H)A65 e}E!ǭz5^46%S?OZ@UH.!$t^ &d9[g&1UzrI񭰕2P*2̟ױ,w'aQv_ ^X8)/$\˻ uz?Ewmcp^rn`~) )s{K%"w1.mYivJw:ZGk Ǎd ?">;jKJKrmP 3o%%[b9,ף f⚇bJI:]Y;HԐpVfhÉ[7V|Ԟx8ѣ5%xG{tDžDFrLmNBSI y^'m@)C_;/Rk.JGmٽ|%A뗭ڨbӀ 7֗JCʍ#4ɴ9-JCcDcMHvqF1mRGP߾o&,BNJ 'n~KPe~0> :uux?q8'̩4JV#!ѦNh4Ze)8EzF^Qp`.܊{1Nc؂tX;KNMn?2²zMLKoU;ee8h[ٴ?-sN*OA?.x7^u#8c>}7gV6ggM[%'!tm` erV\Z{Ԫ7F^ 0+2H? ;y.T*gLa`7LKnCRk( >/$ߦ`-H$UQry8fNjśj$^5ȴp=O]!X02Xe^T;L@!_Ocb#r_ ʹsZX4/$jU OAg-q7s}7'`ʏ2}9OZC"'V鎮< աhp(,q)闝~y3^GocZwl&:`bײݰ4?%%qēPt?'aP)?Jc5ڋ[ C3caF%"]'[?V#/_d4L 8}Ո7Ts2.GG)qS93܀DoLOMi31f%;)LZP[}<*>@ƺ/:[; /g i ~Ǣc\dՙ`k(mj5CNYpG}@^Twb.JՂg3f8qz{hbЫzm diAq\.ᒒlqx}}<ٰFw#X%l)/( F>ǣDջ)FtОX /qKU8-~!Yn"\C8F^ P=3uZ΄`xnll jުYXyv me˦3X^= & H{€#/d8(!Ϭ҂%I@Gy%Wʪ;w+u8Nlt-klcX?R8@kW-?t7 :75u]^(i$Ȥ% A-yl!"1v[{ f桁$Ua.m)(qb U S[ q@ Ϛ. W'uY- McG{&ϊ6gX/Gܧj. g e-EJm{r/ h4,,MSU5d"8X.>ƌhT(X;_̖!2q\e4mmM)8T1.55TRXIh 0EfCP5M¹)y&F7m[+q.4_7F5~gkP(pE^YԈ䳓aEeюYAuWׯĴwْd&>E}RB.~9u܌O􃤴\YfмjHiϮiiB"v&]ϝTQGu3 GtK)%crZӚ7c枬;d`mnw:wHx qR`$CzSJ#A&z+=wlfss jUƏ'cDMwD%;=_'н!l?xKD{S29[4 Hxz|tgUKk*>*Llu{v&,N'D!soYŻ$h䱖`*C`%]eOތ.qvuP֦i2w.@`u )ܤaA[|7# #â4psvmEkVꂤ0 V:5lzpgNM`|ȕF{HPJë1lRL& jxIz] gVaaڛ]%-oj9 r8=k6p/B2~d1k+5}tÉꞂgHs3: FG!oty ax@B6H!ZH/ VvΊ(A:=)s5oƥFG"h&{DVh!(H;hx7XkVQ_;SsVcMƘ d$%08} DB:Unu չ`^E. CSB8@n*y4?s[.w2b&yۙD͒_1XS,iVwM _/Sma^ٟ{\^EX.|~8/%odʩ{~ԖOHSPm/1+pLC+5䂨U؃]3w Hz>^{0\KnP^ P K3Y}h{{')3S޾GQ xYXA." "Ix*h9NPG˘7%7XEuth=[<ߗ3 urET(t{ݯaP{6չ[2R6tDdw]v<(߅#2qװ)Dѵ|(I]骭Y} ZTx |Z_삤ji=q' G$qx-`++ЫSjͷe;RKi)v$?1LMu[虷I1 {9oT>Cve@dQؿ#σy-d\p=D '2zCR; sUk:F.fE: q@v&djpw lAM\ݙq$^Mǥ6C[>̨ ܁V `tD4U-/ZtLȅ9UGB*qv(|GC ھhq{ /4AVoG.f5E!P`; N7Sq{x ƊG] Wz~+M1No+efHZ%Հ&u̖m|뻉k҉Ngl /, b6RhQCJ,_*Lt0$׊+u?NH3Tya 9 5Mպ!3k'WW!Wq?wΫ9σJ`!˅(e0_CNU#mȬ@{>E#U<6_|m&ߘCnE&j? f4 #0x.x el0m7?<& #53kSDŽX-=|ƆAء!ᑉ[Ud[KH7ڈUj6I0"`ǝ;j"} IǛ(lJ0[Jh|~ڧ>ѿZ_|ɞB7Η`Vih)bAQy@ $ +T<%Tz\V]/II{g~8 3C2 s>ճրH2 TMHWoĀ5gءB$u8U#}%2k{$?Fx.e¥+aÚϿ)`b%߭/nLy^Tva:˄X~J@P<uX9u_ޝ3%%8,M,mpz^RIIJ[G_]$1Be~ sqr5K+yg+[\@ t>?v샸&L0_ץaڣhV)+=X=2 [ce|+gd%:o;BSA>MNMᎨ&b]*smI"dw'ۋ⿾4;G,)V)TҠ̧Ĥ!O|E&M尝E|6t0r|;!-qѡo>7r9=Պynڟs<F+&oږ5ڻb| 7 "EvZjxQ cF>l2E=1YSh$\#&&Jߥ)fˆ?1X.Bh+-K"²ΛD=t/E톟6#Y7('˪̭S: )/FrG},3T'<7VkmiѦ 3[pMF_"gq TilKF j[ғ 9aGO**ҋn)@RzqxTZ hHn-׏XvD\406u1)y͹$G_UevS00#dߌnTKz\$S~ Ō"(>6ȫ}7TW"A{(㹨\NLbV1H" g9%csI)nE,`=}.qZz,'3L^;wI=_H<=d8>bVakpEJ TFbʐhw2O]6L‰`, ɞ #nnhLhAy޼Psܢ܌:wjӐGG;u"{>|be/$&+S1httq7$6{ʒHEoAr;%2s 5m;evBL7j}#؋Xnao21UXAsMtDO殏 sI-wMs-fdK <5eQK@Ŕ$&iOj"K!緈,#J7w)[ro@b~XutAn${lQ5/Uܮ0kUkɃލ㤯րj7SثlLnYz,H!sF@w ݶkOIELLbZ0cn'<3@_v]<[IyϿ~DRΝC̲n->N+AW,:Ό&H^mi!GڳWy-4v}dgwI3b~.Xx߹TR/@[}M}k2gxtשL8qWrV<)#8 ղ< ~d_( dU +2)̊*I誳h4/KJ* V<'*AD6&_BLZJXp Q2$π:G?߫hІk,RSKrs'MfI?"CG@ ?2l@o1MCy'iJ&Phj%Ƥx"#3g_Zu/ Z1i*UUIX C:f д村.J LӅCAiՕVZrDfϼ{L:c=P |kIcxW4՞/xr%W"%7x$bx/|HޑxCn.NVP!ށ<gW`bX<yAPVKF19 * yʞڑ@3 Z.p/ C"$K7[Orڜ3dq 197pzձ@Qp!< fߧ$l7E qUi&z km>q#kHR _ t?+v7g{yb5cq&DQ! vРۘAdȿ!"sjI[J;iFKVLe sxR ?{۞'@j?])IYPJ74z%Nc2:d y'|ߨwl]:D)Xdw.Lv,@'D6@"Fu2$b/Lk#Ʀ+_Q Jxik鳪)niJIN1 $1nHN-Z9S!,)U5%f*=LϤ\Un繊V*3-Mu2eneq=b9?nXYYw-[ݜp &Ujsb[L1t&^o+s ki/&zJN.ٹelH| !,R޳x$RK8,~.#m .8;k=k`.c#ܡ z~$lS𑊍'6`BKpr"H/?)ข~皪 F U@ș}FHn#hho[*XŁW{7j~ VASK(je}RL !OV.5'! d| X%L.&}͇v3e6#NSNh=>j߮jhܙ82Gk=>aڸk5,s'䩝cy ;b8\5^ (Z!;+_%>|+= vGN管R!Pb-oK^,P7֞ Zg U#LMqe(([E]J5ΫeۺeZTSMYJW5jm2AuE kN磽|p+_gie[hZ*{+ f%Zf+8+Yk\A_ܿܞA]ézz@qjli=V^̀lV(}ÒVÉ@=e@u_f&ש%襾)-pN.Z/cUØ]VKYT|XP Gj}:< n}\H3w[i:!Osp\ #HWk [n.fWPv\wa:J~O9k|/;ن0q:!Ȣi'S5H@F#G:YtTQaNTOp>>"΂\^ Ap1G{!vW s:pDȩ {F  I~&'{PO/vSK+K8%2;w;"m*<+<j1}T1P7P1tBܸ>K7uFC7#jchE]Fn`%-,.Hts/W \5ve9SFZ;3cSthaڱ8^X /2)@ːJ)xA;ǡWfafMpfLg00mat<͘oϋ@%ZLYKDL7xSč-()[kw6ؾf'Q\@b ZPʾ,*Pcc[Q&?5VsC4YKOS|~nJDR!UO$"3 qJh(?um* OGN /r@'6\W>BO:L-+e+X;sgv@ԕk"j /dCLƊ\l: 9yyQ23g5؜uCeZ,wo1 F;Л> r1<+e|ǴQ*`tϱ+ 2r6hG4o*=( )t[A#5fZ0@ ;'Ln}^~ s;S'V骡avnmVg}3/ۉUV}FN d`w0x.)o$a"y2E7鹭XM]Htrv,z6}ZF̶eThFqWs՝$Kӭg:\Ѝ:;ϸ|~%zX6 ӭ`%ŤwpwJN A!WmZЫf'G[G۸1KGF _: P,)8(J+Kmc{2 lb[pW[}Uo>X Sםم::djuԾwi UB{!e%P~gf6KL =hN|Dv\sQ:נ(%}sbQ>pUŒձD^4il! э - "NӘ@ީis'`6PҤ\LdNuG|/Gc&:E'.಺#bmY\ҫ:H $凶W|1f"^'g.xjlDWsR@ %{RFA^ʏ\XE#oPF7(8<CZKaD 4cK:^)%]ԮB-8 /mͱ*Rµh CS֕hr肳T]:~ڈR tAb>ZzyF8eo嚢똢 $ Q3g9;}0t>MFO*`E#NaTXEՠW=i֎nܣ h!Q\7xo~̿9d$iƋw \kֳߴ$UkW{udдvS̜u/iMc [ʑ hd1{U18D[UhhOqEmO0\%f粉fTY4"ՅcT.A=Tz7%Vȣ{G r,gL7~l=_K/Trq .…ƪ $ 1/[vb}`5WW 9mw,A2Xq^G :omsI%D$,h7rPulW[`; Dj'"jaI#xG/ڞq /TS7yBfԍ9 #>`4qpƽ[Xp1kR?"ź"obX8p:w- Y{= yKPTQ L}k)j $m8W%rԉE2Xl^Af=nRl̥#guY`$J_:حM1])%Ӻq{f;gWGl'p-t,X 4/r8Vk_4ݏzw^m t 2Ia=e)CTyVK&ೂC@Ęz:[ē)U:uX|յIYYm9#TmiCxîWk|J9]+FcŞ(%l<[c$p(QTkq9e#HJ4h?l+`ȀJ^nF=wAuI^Y* #-FLI1$7EI8 L`ӈ)eWxp@泟0 ~; 6w0^1FrKF?E N _;jK>mW5]"PZ7( |-/ "|oO5rMٜ.:ٮKk4F '=n 9kjmzT`P[NvR59xB\c5X֓<e9Ncbd Zo[B 6RBOU"*4rbFQEJ+mq~>t) სYK,hS6YrR8yTb8 $)y335p{C"l=rDw:HL9S!6nl<l|nι\J %<$taz,I Df'(ٞkp~tQ"m iDTNJ_dͨf } fSwBR]NHS;< 5G2٢\p,g)!\ {MkR#*l[~° 䟢S7Gy8N``6SЌ%\ 6``EnkrkR[S-bp., 1ml:Њ_j=)\Vf-[=^H۞E"ѻ+߯AnNzƜ%|-h$lat!Yb)RD^œS}Z|pn D T " ?ˆ/$JiОqG< Jgzq떸VBgGFO/W(8lBc E0EMj2:u\1<)~B60Y`!)?>f2wiKJxio 6?Ş?(T5z /x8ڶ$߃Q/yw%:0jv;Ykn؀6h?UM%Rk]hTHOm!B0!3:T}9,aᑎΫyDw k9+ɱ=cX`$ޠGb\I~1UN_Z|mgÁ`J\ԑY/N\Pj&:RC5B$g1m]w+$/|+x^av>  БR66te !a4S\Ⓖv>y"9 !My3O>GF`Iн_>3F{YQp ==9RKH5* 4 zGLA+ ɯu_w} c~w8:5Q΀CC: +-ǽc7sWM| 髭4o5[WhH#]?WotxjvwrG R4T0 2LέslU=o^*DzN/;pa+?RE\}ľz5F]fC*T@ᮡ&'P֕c7)ńjVN(!B m ɰH/fi٘[s]߻繹^ Xb^{K(_סu bV{IJ"zAQdNfQ8D|2Y&d >RM~?PLF,@AXKB|K#g ٱ_gh/c9M+nT>' XN{g lG|ǂwŦYIrE8.|#Y`^@pk;e>6>xxQKx>Ŧߟu@8&zl-] 6?镠C&`f~Lx?Qq̱.xȜM ~h-t5cucW)ޯ%V`P`q*{~kS5`;+vN&tƷt N ;h,$hfE}CA^D ^I9K*^MKq#څ v&raW.g7ڋB8UF_t)̱ٔ n0d4$=r{?S:h"R;g."YK@#~7^'%eQ~EucWhrcᐧOyfj'k(4[@#WT="ɁꇔΎ+G4o-?i TSV (HGH7huXPYUdS.>^rJ$v.,uXxI kڜ#ݔ_KeO]%lRǎ@]'$ XTd oGqR,h* ɸ,Dcbd@pH72N eMK5 jfS\hc=Ӡa= g$-QM<)‹,4Lֲ$-x?#²򌶚*oKú0TQ8)-dȌf))Ry]3K㘶1#(@qu;Xv͸ͼdŐCsJ90EvL'T#hDg֙DL6dbFx2lƧhWA2mC0!IL7ڇ \o%ѓA+X kO "Ai J"@ꧤ\ Dhu6\q.wpCߓ5?@F; TVܶ9 PVI/h?1kNA=1-C󻗷S/@$k~ PKrRAg& *ifX&m.puQJH?[1*n/=wv_mjaEoߺ?ؙnwI65'{C$ȗ /Z2+7Uy1-J0RSg Z] Q,Ky˯'hN'FPi-2F= } v^ t,P`dSoqnM4R\ U{8V;h1{; (Ka_kt3ɡ͸2FYkUP맬6Mly6@+%>~fO yg) bEQ=".ʮ'I-MSgw0ȶP 9tE:JI䢝ZMΙ. %S* ] ._! ulbG %Cx:}5*) .O~[=0ϭtra*&-JXǪîRQPIxM空.ڋ. \iPc~(M 3dxޙM;,-34=DVz"/Shͮj92va?bGll*%J*Uetj#}lIg[ΫױLz`,uvθ T/ #bDPc2qV Wja?=9! YC_aMcQz X7į}wN{?¬wE(-BL'L|3YRQ|9wȴd͎}=z/#-wLyZyJ3|*l߫1> i6&5\.f p;T#V+IQ*Bd'֒ܮ9DM(;R EDa|KfO2X 9/ |L_iQ3" " gQlү&"L:Մ MӍzS#:K2/Tz|EbUG#z e NgDI3"nh4m>?*ﭬ<5'֝8>;n%gUR] +gguyc"Bwf%?Rl Ҽ)/>eٴ11 ۅJ$ +SrO pCB.It>zjGȻm>oHAV_,X,RGljQqͺz1%ϖ\?&$+c-AqeNS~jT&A}l6D:ʮP%o6hn'2BX˱2''PM?0͚ɔx ICƾ - @;A<7#DA/XpzMWkݺ[G-?un]b.?G8W4n "ZVM@gq 3)X#ĝoq%6+ Ν61ܬAFzH$K[" ިN(#?$^X"m]\;0t2\XtDm38qz),-:ֆ bOUQPǧ"}yo>&]0V%maL~5ZF%r[߇^(9?$