SQLite format 3@  . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 LL%dTt ]/]HOL-Analysis:threads=6elapsed=283.868cpu=1244.132gc=88.120factor=4.387zXZִF! @l]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8FVhyF)d.qlvQ noP/4Sﱁ4vb~=]H;|*瘉 +L[ DR\8vzl &l>o̴{LbN8n?PG#j _ӽ<`1K\pe|5:հ13?^ ޒKP_MtKP;y  RӜjp) LTIUR=i̪t=־#m+9 :g C_< (|>t)6/t$/_CJ\ ΐ: 07ffI V.]3M#als}i)h5?Tn"Lt\Wٞ[~KL&cw5]C]ѓ.Ej.a$p|< Ԟ4Frd# hתTtqfY~\pBC;\eSر_$4p;x5F~@S谟  *1ɜ9Oq!vx vc(9UN_hùD Ze?/( Lreg4oid lQT9.K#_TNρ;d`z濨ָtd1gq+uUx3BA){Tш[)96 "t&c0;_9qka|·@:@tC, I7 $UJ$; SU:66ւE`Sw 7tnFPšS{̡C4MZBe$LTU?@]vp!ƺK~:L]-?:hdZ( cm5(z"[$W.T!m ˆTkF|Ȕ@A4M2퇖xN.^x,J逆PN\ #c4HGr5qQTO8*EXtz[;:T1R;ȅiwh+JV բɺ^?hCsȺ75;l'RYS@k>-yCa[Z1sv\phf|_R8YZ=5lplBƷVea2%TxR鷰0P+cMqmbmGUXg#sqHMTyqko ?^8={0s(4  ;qB͓27A&-_m#k2s厲0)#Ly2U5a[M|RTrca~ŷrhGj&/Ko X^L]Rc#q`cgjQUKRC}J9 *9g"3i"wq^/]8wp{4Be<1lYcy`f[i&^&Lz.>[ 7N??xB%u_3N硪RF\>al)D1j̦wYh'w=Z' 4V3'1T|5]>p`G$$ЙW¦<ؖ:΢vCI<G{ (/x>u<,rZaR.[P7ԃvp4?m씯lgrz;0T4*ojB@jM"4_FJz㩓[JtqxIxsu?kz9L?A]6GԵlx>$ŲAVp"hϵM>;w<O&FVDk趍gÕ(AU/aؒQHdPս8ɷ |lœ8ҥ,0F~x\:$وF!}z0N|?]{I\A#]w闋Iq-^`#*ZH;8QdZjomIpl\`.'AscrîQ'Nf&~Z:ZXݜTշEyG,(~yvP=ֵ2k⏘2Pw,s<O6,{hobdJ/-aSǛǹ1p-ZӐ@^\1JO:,(%6`c3bZaes۞8%|{"by_@Ka7"j)p42t9RccF$n}slO؅n.NF/7zL%#I&_힜1fl&)̫aZa_ Xg@Enު)蜊UndAjla僦co6DSA !Gjޱrܵ75Z9>hdc>^ZmY&)!U5GRj{(0=pwȝr?%USN= <̈́;ԅ*G)L7V@fUAJRݫv?vk=/pFCGt-pۈ9v G)o&Ĝ/F"` 5H6Y"UVcЦ#\Ez1x _}ӯ4m7](klǴ[HE?.SLN.3yppE|oDIxx:ZQhX).rxğ$NZkbX'ܸpۏb"'X|yXzf#RpZHL%}_An43bϱ5z gĀjk!<ϻ3;ymq@4kVxMQq,}W hʲcuvAM7i%ϭ7/nx~ |&"sOZ}׭M') A-bs KA1A1_vktK#nFS$b`!f8(D߼IK<4Rxrޡ7M**ts3ܼz)SH(5LI(Q'P>FƚJ$Dy2y2JJwxC qƕ[J9vT,uI]tU(/bƟӏԛDsa11`#GSr@Q3p3/^8.JҎ¥Ҙ`3p?Ʊ+br|2ӴyfF6~ѸI&P'bsS. aF|E;!rArlH RVRBU0a5\Ŕ잤`˟rlKuB4(+lHdZk`lW1"py zDym$9D0~"JKH\/iM#mv{ot{ !"H; `K@?+Px~̈́1L}3%q;.? bI $3upqLO:巩KpӖ_ % HOL-AnalysisQn%͖{& <$*Owסq 07S*TFdܼgP@ AEk%x.fĪU"wZGTn 遃yp2V|1+fZR;s<\^7(5'GO.Kc(m,gݖ̐qR L}SW$zƂ=%VAjvlY !o?ZSEnZE Mț-vbm,nY]5uyYŀ Ԃa*ff12! reU;*[RF̙JE"z}xNA_On& ?PF|kT|4^"D%}6lEdȁqoCC~UcΏ3ߟYj@e3'.DƏKhOb9q ,HkN|qp{DkDIm0ut9r/T*\Pۋc֫+ƟP[5SnsA GC73ބ(c]VC@=$|Cnߙo` dYV4H L8Uzd\x}Ȍ Xg0\xeN軌Z즤.[˷ +˹+&6  D\ʩC71No7.Z./GRK:׶um4UzzJG[yfq4|,yfTLQfE2hoF^hP E|0PR>"3ꡤ$ !{9 ȊWr4wE3VxxЄUg\yL:,rLT,VP\-ļe^3Lb1Mc_ݣTܡrvwaf' ~ǟk<5u:h:"X5B-㍞>{ɇ].,GV_2R7. CWq}yV  `\jCoNP2BӘ{*ڇ. 95q%XOٙL jkn)SchQ<yi ؘBa%.E?+)DN=c \Ǫ1srRDĬA_Vփ_M^=[>e6E ҴٗyU27d2s,T|BV{xe2M\')Hox7m`νkP,rˌEqҮ'F64^@8@eQ4VAe tM@τ('bCeؔr-[W>0ο_|.ڧH3a#&XlD9Үgm^`8nWOE ă|yhZ\:(xp=P w Kcka_H=oѪ"^{͋(_8 b?rL>ƧL%ZQlwUOPaٛWsm`28ƚԂga 6_|l. Xk$\C /R-4$Nt&0$k纍Zގ9! UM8~HkqEJd+/SlF__hyvyE OdBS0Wb\R^2INU0/Dv8uO/dzwזZL [HRKHq 8/rN@>*[mYkok`FX8 ^ /BMʄi5/Gӳovtvcnʾ~C,LjBДji 4,X!h]3Wh ^IW(:SQcJC; וKKo5<&'FIJ83hHkp)MxWR^ʕվy $@XS@Q] X3 WWSi )gsU:DD)ݳ?`L6s hQ{ma]T{x Ew(HEZMI xZgjNeC:PԠV`"ǜD.g^*.yrazx#[D֞ *ϟq!p7GVL5\cTxytX|^).h,jc^.t?Ek*bGbC'VLKC4>X߉p#soiݟ8/S[u!0U wE{% j_˘*]F5C-1-7^36:g> 3Pנ$?4m\y2E=+ȐBP4'<2t|7E$LΨ,d>,& {z'ǺW^n~H;(#Lz6zCB㮢`I_(BHmfi?t#( pylaN\!ayBP,Zcјfڼ~Cp m N~># `=ݕ1ITBn8-,01bfOLXy?ZgWԖG]殄 ,';t{&N'Wp@szF}=/qkѿ8h-^|891J۶iBonNc`6( z2~ldi$q78?(ָtgb 61wsg[A08nn'X+ZrE^aH :4먆wM7ge[-ۨ C|QJqI^zzɏ eWylNZ igd4|,LX s WJW6ҡ"륝 周>huZyL&PGma" TSƈ ā2ߺt)v b =]юWh 1)s2@_U|Kcν[jDbtSJ!E[i:X\eܿ69#ߣ-% 7@`Вz8VRB&퀫*bv)ZMu9`dT/6]T}ˤzJ^ k_1>HjuZxyj}\7uhpX7 I.,qj I0 B ,~q!&56yJE <(쎙8k;*Fum3gd[/nQڜz<ƃ+܋u)=ltv)@{t':NrhSp=D!}F47LG}H[F t.6C-GiB)o\s.<*9|B>ZTGݎx͆->Mhq-eq[rX"x,SfcTC}"mKAFj٣wXdR* K]-m{oaj8){c'}!>N9k^*3RPk26)ﭚj?FKIu]P.\k'4'wxvmJ+D{jꢀ:B Ж5Qt˿SBx6J334䔪3\S);_|+G1:8ݟDBRao}?pr OIp[[gWX!6rΉwY<=kBe &dLKh U6` r6@ܠ9C""rƫgOL|е!mF&N[-m嗡ׇeK.C7`4mM2ZkIȧCС|ӡ<8L=zGpЈs/2TEѐfီ )w!oĞڽy~ZZ G "7"&MuW&:l~SʄO=vUe )h ٙ|_~vN脭3044-+^Zln3 9o?u2ɏ0XOҒP9&ewQMJ Y{q "KlpBvZM8N䨛 hED&2F®>zЛ{g{9 US%c+խ6 R_q{ *t ? 8"K*ϥ-Y\",gjCM\E?5$W)7<﹙Q" VΤ~>Q*q7&K/BPVUoʕ~'m dR:ZWLXQt6T$LEnYF&˱񿅶XfLy?ʰ^dPYAno%=q" ݯ7HTߥ *aHf0b^ R`W}I{=A m 'rS+ 2dPq[8DDW[b̋S{Ԟqh9!d'&V$KlNffAklp2O P|ZA%%aqmm3aJ_"P f $ 6k_TBl IK1ԇƆLnyY(` R;$f ̈TC8ongIz.}~dݮZ6̝/P8'g:tݥp<)c[O`;%f2g&Q\Ԃ:=:duK lʊ"7l}K/cafN ~` >@5(ox [y7!0|rn?4Q2,vd!uêۜ+qP VN`gtU߼sm ӆBIcn3rwrvNQ{k|EQG,z[xQ6k`M^#i؆b2u$|qg%MgOP4L͠AD{MÁSٸ]λpZaM.Z9cT:9\?[z1좦Y({:E| BGT eЏs:+]1smIzA{<<]Y烤8%#u6Ï3voM+Z8bK_ף"-T`hCQ"k˩o?c:DpP'텗~E*S1+NP;W_c m4f]hٵ1<}a|=aq ߙ:&a6΢o^ƢsH@h klk)QԎ01߲e!PqQ„>.lWðUR[󛱥B j?/._ϳD/d2U(ЎWI@[,cR <}i8tPTH)?^K"VkLFWP6n‘x 2LQ }%fRAP`O9H@m1' eWD}äH@u"QFoT[E-0ٻh0p326⊍bŪ`/":tIk]f& R=ezO@L6XE܌ѹoT,YBoeDOQ- @!4vlUծ!|_3Vc"y-q!fճMUu@{cI0dP|+ ;'WSflKlRhM-1YFZQ?mFqJ0h^ϗa?N'#s9E M$%rZyqUhETY_$\wTB\}S(%+'r!f١;-dc^Ar*iᖎ?7*.4XCO} c^;(`݋5L5!s!9i#b 1>a:-ֻf+5|N &GCo'6nX/t&EnC͔q@yN@}s;i9X.^1y6Qq*_GT"{g≧s$;BH(1T؞QÞ~NMRH羬K12hxDǏ%:<,R) B\rve=Z!1k]3z E* B[hRt;EK.Qzܣ_pj4(zhCVRfs @8+_VYԽ{ng!sG*v41"*[nlim6U֜m64; Tg"P擧]YOцlf98 bIь98lPb-8A3hD[҃*J:X'߉Ob'ML̶V0-`#^WǂX\YJY&E\..7"Ʋ6}"~x"ŅY?b@4IJ<.pda#'gy^״b[HU"gʣ'6q80##lX jהWO}0?ʐVmQ`Ny @!,2Tp1F'H2[6.Ћ(F.(Z;j| LeGW[K,`j2RoҎƕ+~41hYPDVn^#}L(/X@L.3bn}`8Jx?|JG#drILs4/'hG@]#f;/P )AGM`FvGhd%by3 dc+#WBN`"KKzA9l4Ac'AwРha]_ T8HqF"0Iw}LpT'஢\ A8yϾ[xFNQ&Bݨe@2U[B&m:<;C9&0/tCB8 m<@@}ELl(ջʜꪚONfT  xa0>_ۉLX cO;'v.OWTɺDct߂^Ԍu10КOyV,o<2f2-*U>1IST/v5oz`k˜߱=f,; Bs)TJT #3#d@s!̢{Aok&^ޙbZ4y}LXmF)X="o:KŹ$~}h"i~EۜZQ ĽQG%H)@X^I&Сgcʚ"Aͯ볣=|ύ#L"# ACe*47q F}J-R>5 _Φ7R+,FP,zbJ1ֱԧt Q;R<8Q-\5a(ZPKp_ۉRn~ Ij&k3WU}1}DX=HS嗱'ֿ'|KrCA@0t{0Z&8k_in "_89#pBMsB&Qzmfyד<]G)`onL9@gv(JNaJyzY&mkgKytmC~.y_i ߹/~rLs_WY h7@ nĿ[MIرT'/ įC:%y\}od6R0WB xͻ yel͕.SoĽѵ-LXy{3~4}?po@( 21]2n5ŏEtrQ!1 ᫀ}[;I( >agYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4Lm:t4`/ ]PK4ymmE"?[$ }e+.5l?¨6\Ok!|a_s#FFxJBǽ_>-R4=%PE bRIU;uԳ.i#G^dÉ[lREiش+ʥ:UCT2ԯ`yzjVoP>^ە;*2ά/P ]j&)) M;( 4ټc㓵/zFZLs;!wi?ؔ1m)5FH 4'pF@{3JKe+G#v!a|0\AP! :áUAކJ={dVT}V?;%=viB(%ZD|bʾ"D;{zPwcYk"Ӈg.`Byu D zqeO4ʌh8@p^\!jG*T)Ƣ3,AH wAAHQ5ryMb gZ2 [S1aAC~M#/ЇO<ʜ JE=rW]KQ5r00.I }vE,C$A<x,~}9wZLX߅vHw,T8?,SD\>S &l&WOߧKwFAIKUbMm99Lo%c;=`i|XeF}NjH2N?-Je0Zju^&9U p Cr659sfN7B%teܤtջWKH[IUY't[]Lo $$Kgr80T'l,o[6y7sT搋)5Z!$AY%Ԍ^*1JN~) 2bJ^iղ)-8&[ I `WJG@i.w=E*lDC|נb@?<9`!D.^MSb7SLk'#+0 3KpD y(Kx{EuV˷((z!l2'q04HoV-S}ʲ&IGgܜYK+ wf=_'TS%?P5[I^az 6fUu)OGBƣN]h퍙j_H,Ui ~Mhj6j1^ j8Ԙ肜T@K+^5{Ou;_:eX~N I6w!ټiG0*$o U&zۢM y>±UY?JvD,ӑ[_[]OoØ+pI1&6Vp SU-\gwX)*# Hzp+^wc#+S GJX$ןES:n"#dbUrYh7pCr}rCjnND"'b ͯX~ś80 $-vYsvZ H`}#gُw7rPurhd90ZClv-021ɟUvл؅bdi?i~7|d„FCTs*Q%G䵼߈O] b IC±DHIi5 /u0vLP1l L@  7#6<QԶdNٓ` :KR B{f+ SuRTݭO/)GF0 d{B7#ӱgYZ7zXZִF! Uq]ŗXi%96$=7OSIg}Q,>"1b<-`e[>>‚!CK:ff,;1dHkifVP lU NH`s=| K{QN˰)hw)yO[);ߑȼzL2v{z4d^ˠ<*dMq@0pqRe>zqtke_\8&K2 p[6<[nB4Pd_|4e w+r8IJm׫pXE0ahE?z{}JW{On jG$vI]}K2n2z'AɘZ}x$[2kOq!!+AӓGaZhkB#Ie<>2$8!yh&3X@@-k_ʮ1 :ߠ,9TzO<"FxҺӓ` +}r/AtSz-#&1 hɅEWkЛp72l*og#\Bũhtj#1+ߜYO AG~;s??5%2349=nF̦GbjА!wVCnLj/dG)Dp'nPC3_lDBcL5K) ^q& pliAxfToCC'KDR$ -Ymps(Qb}}Cؔ`9~c/D~ SQwv{XuPsE,%Ne03&T^CUm&h*{ƥ J+" vaeVSԅjo(g?w$`섦점tx !F݂%ҷ|3_>^r]9vZן*;eұpCv׭ZA*Γۢt\rr>< ADnWA؝p*[$'Aoަ o);.HvGX,ha|qdHJ0q .QzۜK4eS[ 7J5}*~zdV ܾJv"p]QlqrmJ7xr3}ON2؈բ\3_},QX >>Z5l#FI^*/0 L8 kq7FMx2Zq<ͫ_Lۿ:=vrРhz=CrZ\x Qob"A :Ȉr4i$Mx"|9mR^ҫ\(o o))DDz y3TDi sR~UGVɺѢ<$|}C-=FHm7yH E*?:Я|Ȩ~{+́ڨ!"B7\ah[miUnl=`x=넂i3k9˓/JJp<BcGyK֝ZK 3]mF5ܝj^\'TߞȾY%؍}F#I{>cɸ ⃤UfNvn r=<ڴ#dL%f$Af*ܳzj٨r,uVZl_s_Aćg1W骪~ $#{Kٜ"QH9pR0#dTKa_:>{ ʈ2雴9sU^[q k|<2yQ/tbw.$wcbڧ©^FKv$ CBJpsD Ic¼HqA8uN -2R(LX%!z$VO8&ݟny6;]Hey4,c J$Xdx&A.antf npW#Hn!)|` 񺹁C6?#ADP1^xRB|k\P 8;Nr[U^kF"2C;;7&b$6(q)V MOڻ0w"4R+>%^QξwtCSBM=M(-b&ZjTwIx½q}\جr{YSQf5S'!iTznF<+v$7]P#4BE:oA yQl;% D܌!@ںcLw:z\a\TȆ'p<&v}@7r 1/mw0#EӶ$!rW"^)3XH.W@RqAl>~t 0H۱)!Fċx_Ac&ϻ17d&HPj];ÍJb!$e;A8Q\Tf򣏎 U\hpsFl>qC  T.+hT[+ 'dD,8:Ԙ2bw=P=CZ3ʝO^~ƭQ֭S^@ƜBJLr5uFO0wpPJ]֘Õ9'a}N>]oD4_"2 -J\e`JՑE!cDgÚ#Y+ 2A,P3mnS[5&H#u{P9ۭ?rc*^-4f{CxXm0?$ 7M}^Ϯr z 4BdS{t&MkG%RNÉ:nu[j*`. zh,g$Td1`״`yXib6$zucߠ 8H5I\Y4$C-OM4SMrZ+mtNH;|N{s쒗Ib(Fσ|w)TSRb5̷H. w-[~sޔJjjDE/HК2*h<w8XEAz@Mg ]A8ϙnwnHdc=˹2(}ˑ(`~!L`w~d/Vđ܊O-ZںQy,P6`ܳIGA숈h`/-%F~bl)5[|俚qL]$K~b)xe+LWcMTIlzMY\a"}C2 ,Eyz>ELYe e2p9Qr_ e/]tQZ:7(yP%*"By*Q [1p\TO1 YǼNLL!CO,vxHX9%F3}r}Fǹg}6; ^$>؟.Qubx.[T\ h7Sh1L(Y2xt _4 _٨Wаzq⠹sߪtCbT`I6@ѹV_\l.YK "lR<߳Eo85WT(`B+%cbYc˹S+ϸ=X[#'ﯡWJ_[&Qܥ1q(|oZ@Hpayуݞa@si_͐@O|U܊4Ycoișjv]_Jw`M{ x[BZmuީQׄ(7 sEOMn:SafrBXCe(8iȀBA&a~}6fUZ-+'!@)KU[\dg 2k.\Rr`=Ѧ1)K9ck>TnTa\$i_yX=GA꯿-5Y3D m=%Ƨ]&SD1yщHn=ETtk! ZyCܪAzt#h+{H 2i-Wؖ>ԹGɷ%xCێcU9l#&p/ BN~:gEvNY +M; QS+E\b!UƮu] /` Zcku,FMz$l ]M:ϙ ޷L}`/׉ie65FT9/`f5@U6tBn㻴ِvy:ʜ\62&/R Y w:8> YAmѼ=1k$ Lw~*b@ &[1z fLBA=HkJ}lgc̉g'%P8oUF1 F|щ_55x xϓg(,nTLZ[k([AK:b06 †JPodChQ3E C րruI?5^.ο<.Y?,TؑeTdg[%q`Нba)ң7GKd[$IV!ͬ8*g4 {aO8V~;CX2PQ^V"Ysk55^ /K!%}1)F%9оǕ]QTU@$fHA%c֕/Q xE1R$=e/2$k&Ԕ}Jvs<Цq+%ScӭW*}ʤON[;0W*팗tJ.aڶr+\D-s{|&/]Rz0v+NQJ\n3bV́e kr>rjpp%F_Sf. ]8W9`xOOwo WdN6biA>ₖ۝UUoH2kY6mkP1p 8T}BS\Q!pdEؼCm`r'xt70-td~sds}AArEwMAC <.o{W2Qa" I[L{~sXUSV~eз[_sV<!O-ey~='lU.oj!S@E .@ +mGj:=M)X38̓EϬ lK S,2+RUЙʾp0dl.1Bo [!-߄Yv6SY}FtKnI U,@"p,rw:96Jҟ#z>kCZFN.WHiC@s҂ dP5e?IdYg,  9uiXo MPnKf\7Rs>o v 'iڱs.djpn[|߈8%YljDE!³N$+P/ޠj!PJ %\dkqF9LuQڏ0\ٓ\^T NM#ex+j +QPU+^naX^:ݍ PzPiCËAg7hS8D ]dF[K&`X5 $FZ9YXf,siAZ 4}/T"o2]F| k "oK~'^gm =CjR J C):\@9&h=+îm ۥ9Qz9MY^r%'i~jL t P>Ɋz 9%]G du|!3K9j.({~3Rw{eV W]^zL35ϋ'0A * \c?aϢ$`('l @*;b\JzW`[Ĵ+ nAsDqjL8nFrIP:qi| s_?lkR2DG8;(pY=U!)pb`dZ'l^9R'CUQP忸Շ#dRDv"=Bb55K.ड़ ~}@K]hbNCk"T*AKr<", :G4 _x觲b5͎; 80u@l!8k ҈'W'aН+M|za+'b0Dy@$Tu|O2ŹǣG˂{6af.JwW@hD̺O#&4*@sT  Wۗ!<G&nI`CٙHRk'|W17^ 9fVhoqIu|cR5_4^G:#{QtLqeª .ry-N0ÛlWo\d ˋ`+HHϮVQT}( \xsV?cpAWjtrJ3jc o0~^iWIU$XWA\QЀOfʷHhAub߬ $ÑG81݉[ >2!xCi:١mO;%;}XahLj/QpV; Ѻu^*}%ğ_Ն!U`jm$OVaͼ.2?ӜoJNE[p_N&KEcTJr0UyO59M (X} W>4v})2i2ou-Q| yH>ٙ!< Yl'\BkרּА4g҃k^6o$֬QI,!t;j [*NyCvm P&a,"awrɾG'~ēQ`6H묛~bYAdCK!WV֒04; _!2 dpy$a`>T9' z4-c&%3DȀ{e[zQ0_c0eпIBv :_SrvHFR>30fz/S0rʖnVpVoX |ӁuOuR6Yĵԕv{g(oȘ4Y4l_AXÇ/W/@qB7ڳbKA0m2rXMvX&/6%@ ;>.!l/iU.3(gϞWl%Jଵ 4.v`L_y^p !p֨L3I,6+]"s\<Ȩp&>Ḽ=7|uD/G2Ŝ8yz}͋}b~H>J>1'~awOi\mV9/Goe\;Zvp7,n$+GGOi_x@^>!4R9IAp a)eH98OW\Jνվ8He'ϭu6Cn8u"ҿaŖFdjøtuqr>eAµȾ02ft]|@ a0Ǻ^g:>fU{mvJQ ,Zz?W KIzLIstȫ)q63^*;3 V.@Ar;S˻)mdܢ)2-ܺ 8 k 6$r;{?Yi3?* w1F2 ]|ή獗šSDsEƀMv{ba)f㝈5;^Aj-Z<@X_2Yȶbv6q7W+W6r;?FrF9F#(Dܧ]K׺(<";X50h/*+ah;^x@b79]'@wK-a2u"C B}4c(RMtƵ6oI>-٥5%cS* U[QHc̴#ZE=z>z<:G/fWN<ث(^z~YLV3xfGW^Jb)9<ؙXʰ Z?9IKfzK n4SV!&+>T, )%nvK$d&Wz^bb4dgJZ;BcSx=!PDCpp |Iaxvq#XUD G-~l'im)PҁQpD)#1_ T6W>ykTRb`;8S/=rm_`#mfv=9pR1SLm5WPRaд-W%Afl "FiP{ʹ+{7! Q軜IqRAf>b/_ Unh|U@ e"??$s&Boےf{{셆D%[c?kuToԧZĒz6c>qX1b?~^Hَ#0+w=ŬXNc,~G)@c%y(/[++Z?8BRrMcex176dY] ,gc0+!&} ߆U'<C]WTI W.H.*'DuL:p9[xhSuYL_N!VbpE_-b3RAtU*+]3վe VR :Qc:dL5`ہ>ә+VDa0_E~RĩF9ǔYTrnh>/DžH9V5 Vq@RVAFt/ o͉N͡m$UM̏nqaEi1ȍLlԛX%uԺ~w35n!p'fHUHh/!/'[P츤yoBӯt^Rr8$L,xAo' ϑ4d'|">F( ]2Xf (@̟ AkavTƭRӔhZ?aH q ]&bˮ&u9~!2χ;Czg@$`DAL7ytoÌ=j(ӧvp7a^Af9" q UÓb"{i5'[4#7e?@꾬b&⟉TL{ʪ]5cIOxM #Z }ȍeiESKRƾ§P,w$@H =3jsLu`YD? mإ,Q󁝪5K'6)t@}f/)y) A`A֤E>B -Al̳⠇q+"G^M^ԼLK||FYfB|X_oMnO]]Ii﬈n]ut~A.(;nxҟ(gd<N-HX.Ssfh)ۇ\9ZZ ,ZWw*Q~OJؘ,L+~|Myk%Z&C+]=Ya8EΓJLH[E&V顁QFe̋_c}پMP0ʵkkwT2%!yU>sLDKI˚5%9ÿ\+,Ĺ;6fp LK"6շ5.ofF%n ibs&ptZ=}xDrSMzE`# j3xaZw^qF  L_. 5Æ%E{o),wy\6 *M.c(]ڔ*"񽎠YҸ˄u. ^rk^-0>Z9h:p|Bd˒9d|K-waϢ^,j{7KڶP_.Vى80˭\A!Ae? _6Ex7c8U0ke9's\-x8'<ԁ֗+Of,6>+v~ȮZ#L5l Imi!R=PJYPfJ>>Gګnpyv>,L]T54wGCl @EUz|Is#JMlKW)$$1/ч뉻|5#1v4J|ԥ9vMI}mbp5P#:"20FI{& ]5 }}S &%VXm]<gwh%1Fˈ ]JTQ.5jy9X+ނǡb\ so=*C\9f;zjVpTE/C g򡰽?]5vYůV!|*2Xz虊Rm' T,Ir\<ײ]9@5F P $KG: ek;`31[ڿg-H9֧oZXVE3~zXB^|Q$;|HiF۬X|­Fl3߈m : ώ Έ `uރH y<2 J!Vb;;-(*|$"ojr|s1cjˠBl{qL)SD +RuAgPUNXS Db/^mYNuXh`$)1p>iU`l1v8Zn<:J쎧*Ѫ(SlH56>jJaYRmvN$) FT:gaJ@pՌmM~m6ʀGVw M.@1Mѭ>ȅe3+JeգiޜMl< <Ю-΂n6E&]P#8Va\ 5 XwT9vd8Pb]U8Hz{F{g##G"_}⮸mb!ptWҕ3l-S:l|a ^" _#B+!۫O@+ngRLf1Ee /3jbVIA%~OA|`qn2gγȋ:M3>bW%Ev8P#W O3u?+^}3 J{պ;vȃmetqԽ.] T+PM2bF^ȉ*޳:Lrt;LḈ׶ #/mc8B6:KH|!1 3hGCqr*pZk;flgYZ0b8a39779db81f3ee6c76cec8279ce75d86da8eaf4b2c6d5d738b06d204b6be11a7ab87828edefc9 e7adafd6063385647279f71f3a5428735a09a9dcd753beb8e8de16170135a6d371a8f1150825b1be