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 bbf-D Q HOL-ODE-Numerics:threads=2elapsed=919.389cpu=1680.732gc=96.668factor=1.837zXZִF! ^]ŗXf1-/6vRZ]C27|ê\?qjC _sD{Ķ B+yK9.΀2uudg>ɴd~=a£H,XWۣnJvMBw^ӎFz!́[ xPlbt+2Fgȳ_d7~)IX4$O0+9c/*_9ѓt@?_\=y5]RruΣF_fKni N?(UOmTrŔ0 1qXNT,pzn6괭+ī#@sXK*{^\vw uH_&%֦&JbV`ZϞ(kv(`v˘{~T9|ԆcODU[VRQYS6gzx&;]:H@+yɥS2)7Qwl,[lBw~|Fd1wȨZ 'd& vmqVoS(=&lAÏ괣%6 \:eF?#lhZ[G!%ǘR>YJttp~)﹮Լ,@5FAv,XF qg9E1D(2T +ӵμoJdƥ"\!,1VEjPGļɲ%ǵG9fb0c_ڭMW`!=|L5q\}u-74~\nL:"(!t%Ru%ӭE5,H۸캮zrcFio;93fs{:~"!$-^4*>C?0dTx*Q aZ{^4ߍ^ԋmTy$e/:FIO9:1zrЮҠ>cXcš5 NL\ @_k]\a:hЭi.yb\A8"<e"LW79 e[ubi^mi|AO[Hiq.n>8 @ǭ@A>ּy7j }N>r -A J} DВ+ ro4{Wol^p Sj}+6I12~ 8g wLRu4s(\̔p%3 .S?1HI~9UlA qxyzEP͠MzGs< e)8~z8=BTFHi]FmCk*,HAbd2@C ɣ ! l,L-E0M=w{n!`""9aIN{u[l:u%>=(*Gz4޴q/Ga161A<0\r(+ >g;XΠCtJԥXRy _9WLrzrK J~m'WvPbqkQ/Rw$,^LiUZť@o71fF ,b~t,0Z (Xia{{$>Ԡ(AA Eii]^\ yuBs`7ݷ*Wbr8BwlMdP|kEGzVMFY\vJnkYЂᾪlvT.7Ximy* p#y5FbXw,ZS9RLt_ЕKܟ[>ױBB*=xB\Or3E"(6r9)O>*9CgInоEP;F|h؄DuabG^u?- o |IRSWj6[3r GTvsW{% . ˓򏾰UvG")p+cfa>4O'O]hf:\]}5Qʰ*4eLzoyӏ'/k;pGa@t|į,tL*sdA ΔAl7fK܎Y`BM(ςC;(}s’X p']khߝ٠並q8,}.8RxuLQ^Nlq÷a-[XJxF3d:Ԭz74ݦslab$dAXqgo$s1%Iͳ'9Wf ~%0{YQ*vN-m(͚ mpv%JA#ݸoS z#Kt\nr˼`2ׄ=CXc+ѸxA!'pQA,5;̐|{ѐ[2m2RO - HOL-ODE-Numericsi԰MFX- X vCnHӏDO0 %HGU٣V ^KE,x0a7xN+o~)gieIU:_e $nur]%Ixl Ν}L׻-H9OΎ" K%!@DF_t pGZX{3IH #9c,URэ[ d4#eC 0q~B>ǔxbZRy6 n\MxZQndw嶌Fz=>f+9 ǵ -My_d{j䬲..o {%'P㶪2K͇8]i,Ü I**T{C 1f@fj-`$̰DdP^cyz5XubzFB~og\~6ٷm\Ñ9&`=а-&e_g-ՔJ*~Dzw@~v)GQ^`6eQDVP.DT4&.ZhϢTGK*H24}x-iNYk{kLdgq?IpphܭJrbrK7Ũ (yBuIlɶbr?œ"9u 2Ir)N4h?|uCnfFE:'l YҒDpy̏$YB:]~z%OwǭYz(aRWжf@J+ΞӍ $Sma0 /!NHFp ,h=khF.Bkv#ϻSys݋f<ݍQ5fV;t $'̆~Uu xcsJ,wj\颩d_1Wt(f)隓╁X%7L-3H<>}$Xz XBrgSbye䧢OP(bդFNJl.kLmwЖ(Ұ&НkrЙ'Co®,&?KvwFͪ3ui'vɑm2Cq f |q;'^fHǒK]lA*kVNKG\if؛Mfa b>by7` Gb*aXK2º@jjFIwTub#X#9WǼu(]:by6PF{&&z>&?-yռգiQ [?vg~&>'u<njcį)RΪ*Lwr ܾ'LO&{ݩo]KC/'ΚlCvkФdǠ!Ǔ0}ԞZhAf+9DDaĭ7`i{%UuoJ$%0ZiҞ[!(̰ l̋͜L؈[J>-d 6WooT\\*4ugm}:IQ֤Nov/?W]x2izCɰY CZ6h@~J';߶\pgS$CUCh$ȑRvB?s+wR}&7jq4YC??WlYd*'U>}&?Ӳ$CDZ:^ QϞ >7EÆ_t| $ 7 O΀?XmS hR0"(^_S`T*ԡFKC js <سiKv-\ [I{bc[(6FkHruvҁ}B8+"UlE^@ 7?⓷KUH\PUĞ@M9+c/%(7,  K鱪~uJ$( UKiE'\&ӭ{pol$ JeLx^0V&^BIfgɝx\4Cx y)=w|ػM^sHT=3k)_T`\PvSmqy#﫢y1?#pdMUA}pدgJ8Z&d"YRY1qԨk]~ g]*4E#"uO袃Sf`NT\v|g:ks"934cK9w]0~1)J[*_@9aνgYZ7zXZִF! @y]ŗXi%N40T/DʐiJLU |$rN;4u&ZyMwnch^sT7up̝8u BEW 0aBץO25E)~TdcJI OFNR sHnfKےPh;fg3ѤhH4skN[L)0)DJO#Ui`7BO4y`GRtѸS/S;qZ1A 0#鬪/"y{x]Vsr ~Mn7;ҘI0֚]& x,˦AlUqaņ܈-Z@/Ɠ)$ٱ֙l8twr#bhNUX@0DW3|XUl39mʑdPO7wP"ߋǓ2u{f \~_ QCu`ܳ?8{ɄQ0,_0HpJIVtdzZcU*~`wK]~@.F R$z9tw(,*=:1!D"./mf!C%0{)uUW8TkKy+FźjEHPiGMm^>JCGr> -d*v-E* dzN2HM{YyyRXm'= 9I5#ੌwU#Ll=;]LEEEc,>?kl1+\^RxݜWOs^&c[>NuLgJAɘ1UGm9a̤uu  ANm9')#8𡍯>7 ),M(v`qX|!HEq跳3DFsu3!3]D"eŞ Y]&K&ZnFb)>5(TgݏTynDW%lA[%S"xMZy^@ 6/C'NQAJĖ@FcE AAIhQ[]ϋ^\U3Pv/| GS F-#ծ,Bf 8çi46\7΁_ˌro+3 svl B0 !=?4\7/cQY9^tcz aË]:vLejP< ylવ85lDQ"V'5nM wU}/1ɺ1uX=+T%$qʎ7SfenK(t:58Uا(kewmf"$4Ԝju4ރ P=bv$/V{nRR z֙+i@ŗ_ة) ¤GB,)/?E"D谾 5Wqg^r'h #@rm`pHTv E_Sw-wa+F|>gsuMR؉-<M 6Wx9Ű?&8kk%t=^-,k%2rSnFת_/Q#\\𕘺mh2.f%Eɭ'z.2E -*Aս1hXc.{dnQaFl(9~lۃ&/IakI#6Vy> uC-Al8 eb}_ &0aFIG77rAT9ɫ7^k[,̯kJQdy9n!D\|s\ټ6=TΩp aɮ.sGIDqso vp*hQ^ G1޻⥆~*p4W>'*ZGyx-mè{Xz"o/o2EzZ mR򠸖Շm7&m5Գpd:'~ݐV 8r`n%#Q"7Β9Em|G]:ESL`@`ّX<ͼG؊#S$Ն@.ϒ@2m|Ű+#a\-yG:/1I+ n^3Ua;o“;/US q9㽋/&/l(zi~ŹL vk_uy(l$PyvPe"Q9VS~(귟0{* 6FPy55ũasEV]65ֱNmY_6Xoq)|"wqYPOjhn|PigKL# rQU֑]\yW;|NveýClh\:O,v}M\/BV;ʁgCMD{EIC΃j k<ˊc:Mլߍ 5\D uqzY6?`̒ .p*Rݿja.+JW/=qdBEuB<ÊU xE )=7,Zr[M +oК0+MIdVW]M/N_.U8Y Խ~YVٴBC0'=jC~"!J=85#9)3Uu"/^ |ڭFʤ}b%-]0X'yǪ qp@]2ڤ6S4YG}m -]O)Kgrv#G89]/:Gj-# _ӍrsआI-ک^W:V \[_cVK2! 5><I5zG3ZkE`^RTV 07r|dAxq',oQQuKd5SĨ+滙X+hcdDSݱx błyr=FρL^kԕ2L\Ă  ޫ?e? Yŀ =U ;jed2*+XD"ifN_}}IW9c/*7f^ Fӂ>[1ȥNxώoI!VŐ  ^S~ꤼIt{&AXJi7Z !Cq-~S)ѝ҃~o5"MM脂mH6dѥ=Ҕhg'kt0ZB-E6Mͭ_vl1Ϊ|~0-`lDM-lMQo Icee^ܾ%>^vڇ\ 8HOٛ=7,H#LsNn9 K5YOOʈn4~$QGb 6K5g>)jF=Jf/_Pd\-Hy5W Yv!`9#7쎖NJ۾󕒟‹䵘2jW.pOB즌=u NV.oЅvc ݄Pb o hm ZH]!{Ԟk2ML1J1uQcRm$"V t-(Y}*JAMB=ĉvgH1:P4^͌EB[T ZaaDb/*//r>[@^ YZÚ0fհY/X!_&Qp8fˡ7TR^h,3Brd{_]ppqv.Y?)/55C=r+_,Dh!f1 & |^<#]k!@AT:DtQ| oq\\ԕ=Fp$ xѯƘ9_Hno Mq1f4ȋ0M&J^h`HK'P\_&W8Lғ eGJmd#H y2\LTQΩL\ Vuh }P+Stbvғ%3E:T3Ybge 'idf@ğ+>GGJ\ߔͧϡhĨRfo'Xyqj&=Z%NCR{ D ĥJ 3m&oe88BW0v@dKՏkwH OD1J[3WʁTzBk׬fD)$YzkK-UwF\``X6 M~#h4'!0"ZW7?ibߢ_5DlRs`rXW2%A(0L9;q`@ Rfiɘ8~wlKX\tj#IobJ܁yRIhowEL.ṡӚE] bC#iJ':> ), _*t&Ϗ֕{E&cMjbC^ݛ{kW$%4yjT~ㄈ^4_m~hx@ )J–BJ%Tr: U˄&l~\XpӠʸ [-ZW5Eb l./pWnzida,7m?ڧxtg8<2Sȟdv$f\h:ˬr#~W'PxԆYJ\\%O4E`[:*EͽJQ 3IwZȼBØtal9ߐ 7`ĿOpO֘2 %ӌy@Ha^t6GDY2ڝcN Q+wyUR5a uaInXb󦘨1΋z+#7638j~o抳}H˳c(F0 H^=YST&5D 3HVN( od@XiirbH WBIMuc8*w@ =A@[ ]-(U@Bn!C0]rsfoj_#q&3#uw~p3E Ob[OIJQ( y^+L|&z$Fwܳ}2tCùm,%|(Gȅ q m6hjt~b9؛OM#D Wӗ CGgO?n Hz$Jg/LhD1>()ۇU,4X `$*%Y7q>ەg5`x;opՅ@%=^/""%Nbڥ_miIn} >D`jƉo{Uvmʄ` 0 XTjC0 >-+fpq Y5PsoTEzޣD%q]y6A]t0%_?.sEʗ5 OXéYzož2?;P`ҢMkl(WgZHYg$2L+V#̦Pt@Mk55wVؕP|+uo8}9\ܮ I=D"lUl)_!ZqDNɂ:(ȶ R.Bf]G60o::DjdC+9JyF;9QMAqL&β/ưg5ʾ\6'qZAy܄~pu,m# G 4E>foLY=FFa; Hk浂srRt x&x˔;ʲT\H"UfG&JPi B4%+ M132G\zgp<- H!q,{dP$(_SJ*wu{]+B\p .3vMZuco[DN=9Hpoq"e 9=Ny[O8 b>/aD,֌M$y4\4l4P,ygdYm5S Zgj) ni>}1\{bp k cJ=‡M+DBXpj Bfm2icFm2&qv4#;'\EtEvη>Wfzwe޴;@0EXg0"ÍC*-i31"V:#&D9ML+WB"8xtbfO )@yi 89iWsmNPݬTc2>oF E C@d6'{ЪcfP: a&3+E* 5()S7q9#^/ f,&w/ةk $7hvv^>.\k㚛F|o)R^07wc>۝.ŃȮM*h( SuN:8A_?'hBGD摧%-tS`}MDR"*E%6̓ W^CGK0Ci;TpȝNqdv6E4lQbY wݔrdDpPX7l?Mt܌D&E&EV]:Q}YŞc*wB+%7seviE,zt^;"8S*@dlX) Q[d,IG&Z@V8Z!j0!y׸d}>q]:t/ƚ4dm*i:?:U|9^P;V{Ny18uxTKUpF\4wg-)=r#VLےGiDp"n1ԻkE0$W'uj^:yAZLxy{eea[@ō KmvySRcr}Bs'PZמHg)hD4j5\2XbYA` d5"95I.yshA:򌕎vNvٛacI|HUPK07  T/N2B;KxINa55 =YNL-3QЬ&tÊ% #/[y` N|D ,=G"bL ו ;d(ípjOS#_@- DkCU\C˜|8v'?tڂNMEaH422D_Fea4Yߋ- (&`CT~ON }xwgLѶ3nHz(u툧e[=[w3&AJJqJCg[C5@()}GL;q Sn4$yJ<<[϶(eܩ~uu9)I^i7/ sA{BPpyd& n=~x.3G-Ԡ|O^DL;Y2B U+;*IFb#c 3:SSԗ21ۗ} Fhܣ0&{ժCUEV@W"e'&_Tæ(wpgY \BT$'=;8W.{+bҘ>zږKxl ]YSs1y]@>_rj-HӵLy;>Xn+ղVG[}IJIkbHnA9E76T hObkBZ$@]G#Nk",7Ï%H8ߩQiEP.-)$r,MBRy7lm;xN0>2lm H$֭X @/dq]rE 4t7̡[ MPΠ DBu)JS?`pz*Y^h"_ȿ/{ |*#p|\Ĉ" Q"W[76+EnK,?0`c4L:dQZxʖx)!wQ lX-~L^㝨37:рVD2"Z^  -Oc3l$;"%Y ](A1$7Iz3zu/EU r(Did]U Tj!Ft\De1gj;@Z qD#P˳ʄ奪qnUD1Dp씂"n\b&շ"ε!|D"dkTu8u4Upje|0vҳL"_Cޓd8q"pEt-)|_Z UɁhJVaˎ }Vy~߅Rݑ,9ݪ"m8,{I^ ~uA>yPh}c` y+>l>Ǡ%c*!=*pȇIF8[偹4ZެdA]*c4KqGHRJfw[up+:cAg 'fGAGͤ1B.P>0 D%n.Zl,*vw¶;X&c& \ށ ߙiU6IQC9Y2 1ú۟\brTͦ5},h!~bc/C~^(U2w|u=Շ?s8Y䑯SAMU|DXpPS~BƱ W8z^O~b66AҭװtmM9u%`%*z]!{,Wz|EJ*\^ruo*+<5vNĩe{t- ; Q/xZLM.hd "@j$(t/M%|ɏV打o;ڎbգeam1;yԗ3]NbI*dB5$7ΏDrgيZ˘zH}-is*8M篺w{D( B6QUWhˑs* }K4{Yu C`ݘ?N/v6 oDW}t,(06f[Tv=F}>dV);ɠs4+]J !BM Q\U[ֈ9$7V[֜]\N*{`g{c"%Xܭʞ;rfs[b]z-λm%s|ٻZuՔ0yQOɸȥ!(|9XCG`h_T{YtTƊ.$:IaTr/" Ʉf1j\ԿA.FҞ>Q 2u 7VmBe$cQy+p%4|ÅV~4[r$^ʅqNx#C Ej/5/w<2Q//zIp6 U8|q'4p9)A%j_4|sͿ'$,{_J,_z)^rB E'S8?/ZO}eya>ōƄ| opK`Wx*3XffFӣwRR5(lS*Ff+Ē Q FG>8ޮ}>pPg}>*K '@Zѯq.bOQfsqSV@fTSG A!5E+;Sձ`}Ldt6.ĈT%@^kyJj| 1XYe&/ 媌(=D1<=M+LGѸ(?GDBhqJEUQ]vlrG7V%M4Ք807 !WdDlfN{Z }Ls(y|/4tvF;$bCq ^9XMYs px[;RˠAruZ@P/ ׹oh* q4`1ᶙwʸPlLN)ip@\dѠX|FrBƩ}EE'T+/9eo*?WNeByKD& kA1Zval,pgH;3V^XXCaL+}mF]SvO) T|Y>#F|9$rraԥHl{] oDI94ճqa]&dG{֤pjvbx@?gYVTd ?X=ذR8GPo>Gc;EY[^!bп*E-qWV#ɗ~0 }X]Ûx"\$X%MNf,0niRTt4\֗WMQP'"d K-cL|z_dS@2]ћ ڇ^'캸]7]W u8*tֽi08u|-s#SHL? 66]Q^4~jS? URmkuif*K2Dbj#_H!TFc 4t應;-+>;ַSFe+M>Y$|Ъ'jIK-YR +r|GqVG,RN }Lw?0I[BW-쪹$Lz3FWEm;1.nS z*Rh-!.$:|師k󆤶.M8>xSvi Բ= )>799hn;."(II|kNV@q*,Nfd1vwH'eKyB3 dǀJ=H.?rSsOEἝ+)%P p0NzsץXGԐR,$AUW4:}=92v;;C6 =ee$?^A) c5<,5 ,SOT/Tr~ anr㳹SZ`(j45>ՖS]JΚUO'2D,'d"N{굡dA5HG9YvAatblaBa" WvMsG?{9E0FnoQNWl%rӎ[ϏP1"3*ǝ3!IfaףH+) _qddWNм=L.wcjGj)>FtU\-\0D$-@K!@avk]?ՈO8;aSdF.*XaA LZFSnoʾBq(eꠒbܲuY UVjv"6o"i ,>E*%щyrs׼rzM"Ղ]l4.PJ+ N$́uDap8ܸHWyw;xO̜LZŻn-7>bpiyJ$?b%qQ 5gmn<\ <*p}q2UlA5[HRىL`( #?::hSNkRBۉ3o]sdՋ:x ~pQڧϋ ӠS=Ts,F㜯@v#y (OJ ^JXu&{S_zIer|1j%aGЏ ͮb脀P1mV䁏@H F2)ÂBb2Gд1T+RŦyAհwQP s^aG.͸lcrF@S5IY2Y;z) L{>R4 NᅤmnzW!Um&Ȇ<3hf-3ŠIuo3 tͰNUΓlK8Do} GF-,d) G_K)3hiSh51IQ0ABܜ rk]h/)5F*v[=n'RAraJ{gy)ȏУ"3j9/McweL2M/sPS- ReEp8{F!B~dN[ p&xݲ(<Rl)}W[2![<`hQ^YZ-8,g^ HX YfYHp9Nx=Ua)Ԫw$x 7e6 M)&%̅&!Ae `1+=>>w$&^BasY+= ~֗f`{סJQkʚA?^(cO$zx_D PRcђE-k6q4m2tyY +~!u/xd"fHC$lLbw Q Uj&`4zOſJ iMHY8<*BeQ!UV ѡM[g̗с& ȍ`[\i4xvѸF2LۺR)иw^w)tIKZQ=u{2l@7أ4Hk(ӋA"4zoJ}cxčz-fԹ uf2Aۗr9s/rbTzyTڊ}aQEF-ߌ]SؑwJ 9.'^'O*R5j*$Bi]`I9̰L a6ö{||&Yn}r Bd_޿6}]f+60ft^ *[B$o[WOav >ab+s7EL;.k@*hsn][IbXѳ<1vTeq%79< B+z Hn l69 ]\Ջ~X ,p\ѩ E7lN)[nVz#} K= ?G~s\|u%M 7k|ן h}tQՐ{F6QRR@Ha`lz$!t jcz=\^3 "OGV1q&*s[ | 0 _jyyԥjdBɞU!{X 19M[Z}}۽5$vYտSXثIrou_> ++- ʩ1x?2: <ɩ,wԧ:/^>[b=R 6yHOg )ҏMb 9d(}KbTp)1ucZ'v&͖uݓ_WDYEmZ3ьT~Hf?dFOҙ1 M g_"ؾQ>kd >+WUD_h=HΝ,M~(ҺxLڲM@Gunj @}Vah'Bt^aÚ.EUD<`,EM~~tƕ (ORp{3)Hgw 8wfiUTYU31LijƧ9EsM1֜w]Oݠ.Lg۴3d^>QZ?0zt ` o &-AA_wJmO> ̥*P5J1qb.(i9Vg00n#I n4. }ovwK[M:`.ږ{懅Kf&]R;0r&:$ِ aT9˹$:M"`i΂'d&֩udc1xRRB jߐP3V=AM83tmÞO$Ix++%;Oz:^OY)W`LbsRJ!:hV:FҔ;DV g zefLsewgc}ٝGD)à}aĦtf"F~[+ oLaYA13nFI}Tknኛꁶ锏O!,<0KJ6jni}ӑ, @15ʑӍCzt!A 9E7R!YH33HU>eŘN;f#Gu7 AODƾ8w1=(2N ˹($LJ$^>myK꿵^j1\I;~F_Шi;va7̙\TwJD⢋{*A,+R,<()>\Ӑ[0YjQ$u T"==; r7 Hm 8Z|ߔgQ]o yCu  !̅v_n`Mzo-%?M\4;`9Jƒ +$? b7:X^Q*;)#&4uʻExc憖GF7qP%kb,c)]h%q"jlﳜֺ@hSE5'v%'' ?昊i*Ͱ(T 98UTc|# I.8Vzd>\,nFX,%+bZgH>b]fe<hJ.R{\@ W'{[XRMT:? nYXi4בQ]"lb&k;ľDZgTYӌHRnV?- ĥ{=iI@/E۳bqd=7y9[e}s\Rǀb(m#5q6#BuƵS&W.{LFrE4CC?1dddxh_? =PX%ﴨl-z*(4ZNsW(7;ʚ"E`נxf!֍e>N+8,拇ӣL0yG[ nH(yN2MWkN%l[QlXsrm|3:D[. ؜-x[K!vyaD]aW {<Ik:ٛ|' '!'G⍌qA/csrEw1?H8d.c'Y5}0N$kmf# KHs%w1FB֗vW2'%!/3k|(RfzNV i2]} [#nz|e5qۊ)510]C?79S 6-E^]8|<)wF7|'|5xK!YP0J3 [&_soeZvn=WXn{(YamnoJDMo]|*Ҕeo3"o*g[55$x݆S(]^0t+X}: %nVޡU)&"Ʀd ݮvd}-ok(즂yVā2ˤ2q}Ҡ~cnq_5BKJ-E#.k;jk-:K74LTǓګ4nIOW+Rp΀oxWO6jgzڊO GibλwG=ڙ'4.9y@8lU"F[V߈~ (>smZ{>y;ϥz=vV$T{b!f^K,oN[#ދ¾2, 5)kP9fϲHu.[pbndKo}eehl㝲9f"8Qa3#]Q<KxvuS#mԊbBGd¹3ѺVRlҔW6NmzLߟ@b _<~1yWL_+Di//*,lӜjjʤ j bV|J?jqiιKRtl*c%x31 =PGAmx*?(dr`$qYoP?LlsNPSeG72r+Q-jgM}ջjsIU{MI⩣ "Y@>%rІV.0*knr2:\+d3PgP}VE@mjv  2U#gi4ɪYQ!v\d 6Ă8nYǃlD$*xh"۪#al0(l9ڭYfO] ޞ,g& tED'j fɥS._lsOSֹqn9Z# Gr{ As/s%HewGRe]0VwೣcihgMe咤a( J7.q馜'a[hi rYwZ7Y׌u9Pk_jl#N>/>/EdL.(0.V.CsXRĂ"l5$oT Vfx(Πiqgi=UG5 k@ud"Օ; Nk0\C-fx@j6@Sx~rM\#u&w :U$652֐ vT;/suc;$D[N+ EroM!ƤX :V$ I(RK;nJ[,< M9Zf$)g1Q%$nɳ\7Fn' <D:}iw$xC Mioy|.BkU9P6cCW5kfz`)8{tru(cL_MC6jaZV*Fs`3EXH>ɢAkhnBt Pe觝?.Xz$+]]guLtHv3݃؋ a#)ÔZzİC`٦kܫn#i"Spt 980rUYz}y/5]RX6)ʰqLc`5Z+b]Iyo!DHo]:J Xa6߻O7P na$(:KJDTlm})y~H8A[a:f]"xxڙzǗ yj|)|nb0dئbf5:gF֤ Dd%Gx Bs~sCN?c#TrT=A@lvY_b\K;6ŚeK@wYb?,՘ yO5% Dig \X̧kOaь:| #IEA0.6рb A/ې 㼭+Ҟ H{¡XӰxkZ@t;&Qlt0}ky(5bժX4fvA15ۧ&VCfu}qDM5j"ع,vڋO6Yj?h8_,,~w1ļ WPFz:7ѤoK 4lf/#Tjߊ,޼ Zqx4RS!~j1*-]phpτ#jJ7#x}M#S(#k ,~̬n$̝&GEKA[H3v%XPW(Vc#t^~7o 5D1Ӧt `"@$՚%閈mJx;|%h2;Hچ6\,xge`Džyyj$Y9^PP2oIJpXܓБhrj<6E-}r;)n$ݘ؎o ș@zݘu1$(kzF) ^~/<'v(Cր}{s닑aŹE>xunVQpys1\Psljsnpq9(Q0=kRs I95CJaB'4̅X;O0n5;e G\?<_ vĚb/n ,l*y)tQqꤼXǗPNeҺ!M=P0X(Aq1`hGQ8?~[޺a8ߡAY>g'>(UHr;ȹxҶ,XMm ˞3\\`.'a Zs mKgb <#{w&lPAT&% $U! k.:=*?|5vb_vEA(F1{^q "izԜ':R$;J缕NjF6ZuhMe''c_ &-KzL1pi7JTa} @Qw'ſouPɗyNCki[%B,g@N2.(b'PF2u|@oJ/0*؍+ߜ{7xZa[;S06karA1:(%]m"m?//(Yf3W-`R.'Nsf|r~EHsjH^~cxfd'.AlMR^Nko^~3+49QeLjwոaj},4!Ԃ7=^T6U$KN ES@d8$`Pdu#+y͆Pg~m`_W?: r=pvPgG7A(ҁ@FIݯ9G1og%%ۧ48 A59Uq5ȩ8<[r `^V:}s3 Sɗ]Vl[ݍR;2Y~luVTOgM ՑiSl}$g)NIC <~8C{@lzZ s7x~1]@ -A_пd伶,> KjbZ#8|' ~ 4"m D}&梄;KmhV1 P2$zdspOčIcqŎR&*pqWC+ޅ@͙e ^G0F!ժ}AQJ.w!ii &x a`G# l]N=xR>ٷʣҥs#+V5=#I "&\3]R>x zQ*Ӣ޻㋮rvmh>6bhY#;|N@;uxeW]ɹxauJm v鮒:4c/w%;, dNq=IZWm>[nɈu(ػD `CQ^DўR Y/Yg 沞yEʻK5iO,ccx !|cϐ[0B~ٵ>ێ) zx)?- 'X?pa;4UQ5Bѹo}ZqJ_ Zvsi5 9*ے`.`2W"2!kcnBH+[ϕ$xdq(WBt?}a{meɀe$ Qy 8b gF޶-R. Ii-O{:S"?aGZsb/,'V׀xJM1F'EBD1 9++0WCȸ>8\. +w!lux {FqwpR6OVmG\A?5ERFrK@Pah*GE( ?e<&I͔ҲkWHj#zl)eҧe㡑ӄDxx,Wo0-N1͜b=v sU>S!3.(CwʳT@19+?+e#\%Ehn=Cj|?aC[SS(R5in[ppV;ԀDU#Zƨ6g4 [ea!5@ &f#I\w_K.6oDkwZ pc>"(=~C;5 RjIa]Vd}o$0i‡@ʑ·h95>Ծ_]H>bu߽,#Œxnӂ`k\z!v&)(Sov~V6 )tMd_]؊{=QtG6Zl)&y;NƓUZKx禍I-T2'|_Y֟:.<$7ޮ ؃IOkliKpє1! rQ +V#VhK-NlFR=0΋+3 ] #|a?<1e-)18)]%EOe:/q ;mV>˭TĊ[2Kc^bbQ j\coY"UUNh|Y"|ݤ_d ȻhX$ OHNy֜jBᥣyL.=0ԉC۞zY%:VB*{'.ӂo,"aĥNxՆNg _ɓQIC;[$hcG]*' V}a! |ې{ ,V?'~1@VKBII?:C‚'duxB =Һ/5DÊ*T;X݆)FnFɁ{lԣ1\)׻Ygy5E󥻢4TkÂ򦥄,H]b'.EX S`>%;$H7FMCR];"XxJ!̖Ivnw/x0QԡؔeC%h <–;Qw… h{eY/anT2æi fLf+_̀p @Ȅ5!5{>Vl8Ӳ,|?M I=QhRBŝVUlr%; 1xQJOvərH,1<@|XIV&shP6QL[ })@W%;~ .:H7=3? P I>۰ݙA|Zøf\Y8Xcxw ~9}; >3I!-qwBY[]`]Rd< -^TJ釪l]J;wisiW]j,osljhjrĞ+GTR"Z{I4+9GIq1k#,̋ 0GE|n(y')ΘV^u=Pe |-MuvĕӤ<#* !wשmtɻrM%Jwzv\̬` 6)y3+{v J /}^{Q#"ڢ[f~kq_=/e%S/&JsjSoDzH׏%q@szLˇKoa{b^w}2'yP5w_rWCP HVUl8FL{FA_ҵżvl0/#u5ohև/F+hW5|``milD}nQ$C o`X;} i275qOHn3RsxsM]5WssOa)vhƪ &@W NDGt~[ɗwFIs5'ÅÂ$[~ >??XiT`bbٳf74 .N& }?MщcqgF Z=Yv u}/Ot[;C݀M=?)pαJR L|fȧIW70nIݦJ篶PSPs-n hxyN>v'k_$gFG$RIwTlA:xPyc?r K pDac*9oiS7 t ӵ Z+%Dnn='h˿0 3M%^Ok?_T+mpnY: z)Yl8\ڍn{\ZN4H]i_ųi]^XЁ$.MiLcY쫐3y;eWy \=,ӝ~?keҚǡeawX˺)Ƣ,gb  k^"ArmbF݊P&0HEPNpk-]tZ`pݎ3QJ mgpc4(O X//$^;|> }FW9lkN'g昀H, 70 #5(: Xuez f!fI qÒ;#A=T%G)XkeRu:^;{vUj֪y}N==<"L03TnIYtzl f/fM׳ d&FH0k'Kh 7|]A`aS,C3mn@}5r 92UK%5‹8w\c,n[a161 Pѐ<ņqWUjZDK)r•.'9$uk:Ѭ _m&;scfANJ8(ˢ`Yf`!hM@A$`%<%95V2Zz.)!BH UKMXDWBJ?< 1UiUC^Kڞط4ܕ` X&/i{=D,@1:h.eg}8qldWxVe-OUc)'?bRgHЪ'*ҕ\Z)`[U'r{-gwl 8ۋ$Va媸` "" Sled+>2>nmT6iQb`± 8 Q W1^-SD_j|-jo](g2$(,;;+Qemn  >Nb:SᗱQWo-tDde@6z t& Qz pOљrWlVjKd̝T&_,P= H_lˉn-lxz:)#ɡa2[KvV#lAcfaZ{+~p9&:+6Xa!X1-R?N2T+f'&ZN~}YwK263;6DK7p)ogw5d^XHR6YSd:, M ӱ5xJ.^_s(gsj,Y?rXNڲFܻԺ; G(2XVђ7Ӎ ܣ4þRU\1XռVp63DQf<RO,88~uXfW)>ApƁ^wm&nOyegw4`bZ}=ݝם̢L]a@%N_  S)|x?!6@ +?wcQSD7 -S~A-HD+b4Y\N`AgmdmL#gqR=d)ʔ)'+aba=4/a?^7[L߰AoV=mؗaȋ>?⪽g*z&1B_h@+մ5p_Ц 2}l$qc Im6ڭsb7oJ77\ \G-ĶHq[Io蕡Uu:0vA};ű*THG(%P`=џj%/[ k<\hFκ pT+qiMOK=/8-GA /իz"ʼ`83#be-ָA%bLR'HK=.+-a]7o=+)U񲄌|Ӊe][hҤmu>2ؼ1-)-&-U@Ibz;zClv"G#F脍o>f"m^tN6]:s;(0SFJ8%K_B oR)'6DޘFF(q}6 pY,^˦!!ּ 7#뇯+ &mV],tڍթ"ޱPumOL>rPr.*`II*lqzp*/k7n <_\G ͓Žb/UCd:m@Tc0:U1P)T)YfQh)-U sQJyrgDR\zN32IƦ{x?lrNKC~=8Vzc_ m:{=я޶| ;;7Q U$[yW|$L~Ony߮/a"S׸z}y1I񳷀<^E,~妺TY-o7t?uЏFqNGWnKWŅ7>}W啨dj(brdܪJN8 w2i<DZR&H ?{\UJf>fK%oWtzDfŒ ^9\:\-<;=$"?52c&+qŽOq;pEW] >PԠg\d](pSKZ뵦J I%ox1wѡ:7)'Җv +tia¿#uPXYX}\B{{[p qL% v) ƖwqS_ "b&}hX=1#J1~jhʸlfY ?|ޝzo)UHw>;t(7q z̡mIq%nZm<ڇ^ PF\2ٚGaQ+Ekc3F NoW%tw;a%F "XWl `W프Ii:bj 4ީiےX+`һ}}'|{v4mxdZM-y`8R"1 qt9i`P#=u5 XND@^[gFDCI3l|۞|x5M>FS7ng{ZYk3*z"h*ΪC8CBb\tߜ:Y%zxR JJdQOy7,bj,U[FUPuW%@v{mj="#`tLL y'Cۓ'o'&y|D x(]rgMβ/ ƃo!DI?3)Gm)lLT=2i#MؑтMwt<)O[5xg-V-BLخ9I=dZ8hT鸐p?Ӱ%&L?#%FƑ;^!˻4~ظ,'t"x4Kd 󿽯f[À}񆀽@A> JGCSfRel"7UJZ4ؙŎ T`%&Ԉŷޅ&3k3oKCPWXhxu"#kߚ;ĠϿ+̐`N !X݈8@ؘ+Ɨ4Z eysbL7ó˼Ŧo"r[ntIJP5[r-l;o zM`BM}x-PʃC_H} eKU J _& +Y6(}Xa%؈$rZ0 ^)<ϳA/<otXU<`oK THY?#I)K0z; 1&*M@Kv.d;W r~D[LSsMۢh݈\|o8dTcK ]Q20Lf.ME S_L^7D-')OBOf6h7:WV;-X&z^@Dn{W,*peJ rBÙcvW-zP#NP[󦺝LkX*wiZ&*ذ {ϩXz#+"ϧ/y !uR(xbCR $7&t0c,n#1)89Uob2I`@v}rt/`q*M=<=Zi Bh(|FQq˲b p_)Kxd`ePq`zHLXNe/^'i;bBLYv6ű<$֤|;Î1qL| zA h}Hݗg/л(DߕeꇫϼDLd5SKz!jCaҨ,jR kLNfo\I2DLcWT] eAO+>N=qzZ}!63Ǽxڕ{`q;1a+xA1)ĂJ_julygčP|b,MBbeKEt'd;Q9ȭFqO\|'IdgRXzp~*ct1"[ieIۂS$yO 3VWˑ+P]GwL1q +d#{QE`_ $uQJr.ۄy3Z<IhAaNQ0Fo{K_hUMt Jα=ȍ^v Q)FQ iOA'a"=H$@1p,`[L/b]dxwxPMF|ǒeI3,gWeIfD6*>,Gh\1NZ]n)fM|7O*jVƾ,ÖQ^d ;7Yn+_qTi<9ȭfBG +q^|/v {:{ο,#oJ:y@wj~Y^iK t/**E0PTσR6v:QJ:o ;qbE>|n3u.NP3- _AM2G HS]5:?h4K[s7HQe!OM2;wR[l\7q»h)Wϩgt/tIEWrbz~|M)g当W[߫4b:ԯ i3u y4ĝjQXEt˽#%nK,9?-0~^P bNlz'ikKmzÍs.^((1.w-?h SgfZe~k\7f%[G &2fm(9 ezU )Э"Q $A?&e @eTJ`] BkP0$3C#`{_g0R״T:֯_)Ys _9 gRᒠ.U(DÝ}l!W{Wljy,kife55fFx;@ E` دkm۔; 1f?\0r\S$O;V1MF[N^uVk9e٢d„t>]y/gg o7%ZY^Zڙ :Q˚:73F)#*S>pCu[ QCڝ^=k*OɀB䣢r8(R+k'<jT%?H:[¤!K3 ZE?ʖ,CCwMF x^6Dyɮ*ӞTA_)c@]E\-LdPb XIsz)FEG^q7(BP;B:T/3c~mŝ[h1ũSzZWcR$Ō~_j:'L7*3oٸ\ȚHMHWjŜ cus4.Gi!Dak6+Ő,c,lAM g]K~3-3 Mi@{H]9eX[kJ9ԏ˕_0Wݮ(y'KS^Shh2V\Isg 1Er }?WcuJݩOKoeS8=@\Y]0^>N ~(wc$Hf?2Ig~}nƽoEX5