SQLite format 3@ /- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info JJ~1, k/ HOL-Decision_Procs:threads=6elapsed=218.004cpu=890.748gc=77.656factor=4.097zXZִF! ҦkE]ŗXf1-q恈͐7ӺV -fZE 1 HOL-Decision_Procsw͠5`Qƺ#_"GG؝h)j\i ]T"Fb 7ZiO*˒Fݽ&{ZHwgeIQjR!֛pijl(oyTslpc= Z7ylC' W˕)̻1ԫ6GТc+BJGlHrEXv 8+-h:nzʺCS$khv7KٶA˕‡-ЛY-> V;y@L[Ͼ_-JЀ]dDg`")Rh;H=)IEJfĒc$-ݹEz~/ {f3tֿ{e;/h: d] iBaI1{'m.^^ZIPC̘B-Fj8oP9TzLX֌߉NxvHl{ msv4/4]<]lnȳÏ菕ۤY bOًY_[|X-/582h'HsTXae:* ~gBST;VE.]򚧶8)ZQy*+i-)>gOY8+mMQ59))I&[T2M&JNȃqmCM<Nܴ&6"[ "{]MЗ*cf:%5n8$Dx64 : ,Ra_?q&o!q7tw.$lsfN] ;߬2)m*ٴh,o3)NWcyI ѷl{o%r@O$M?=y(0sƸ`be&YlGG$pY,=H1ucdH V8Ղkzѡj=^0X3ϝ*݅j-W!_7m\ю1ĸ24#zG.hWiFD@$ 0/KۜN\wᇕgING.'ͫ7:V۶* %eIipppMsPGbxJJoCrBJ?fZP`O%~ǡhxA CsgQ yL"kmEw(y rQ_X%Gw r%t1Bbb)ێ>ÜTՏB .id7Hq~(`kcC&K^g`.o@`}㸒C?r}P<$bȎg(#qcw#Oo?q~}ߨVms;.w4c^? Ax]qy% =/o;vƲ ˃Om\u֖fU6#𛩽2,z?BTmrO~/Z3v.ؚ- 2&~;]%w58PFNX ui^iݗPgz "2)Rܿ,81/բꆛ^hRmߧ=Th }cz~fz`CD=q Խ1B]^' (U7'R_jQeE.;T@};re;_YnTbp(k'}Zm'=HrwU? 7rSHóJ֝6#*#,Z ](9L;OiPh$ep zڰ<9Nҿ+2/35ՅBЈ̣-o;j$i L [f$hQSDwilkH A8wr_:"ی_XB?R Ʊw=pY/5~;62 fb="v _ 7J Csp;Ds%W_1g̓?6G3N%p:-W2v[] t?@5ᆌFRq pԖ{JS6g y|+؈;\Mgg܎ndUƥ41:j=hs,C?xԦ1pZkydže?k(v xDWaP^H1M|РiGWB\<9h_5%Oam5`I:`b UǽHt<wOw/47h)d&i$2oo&7Cic2`9} ]4 oBTm2NFn{t&U䧥_y#u/Aڸ]=ugXpĮ?tqe>̨N]@",12teKj񼟮HYj!&d4܁Ϥf\@NE޸{OLxi +Qb~B1Thm]ĎTݽ I)87|muKM6P(wNTWւ\d%Pj/BXN< ˓GV'uIUڎ|$MʡL^p^\1! ~S!-b;uv:]( ("RHzW(9nL\KTd3ܯ9#Hx.E/d Y蝒*\a_AFq4~w՜h,zDܗo}9" Xz)99%13sFovߝ=>-gZq";ŁTxZqhsIACG ?Lv$:GT%Gz,&KVKZNpڐ*tnLR/&cüp̍[+Y2K4‘=ONa_"0l h3mNbkGsnh*P7PxzBɌ> ?4:aկ8؊숾b>=7WnyEbB1]9rN{ [ 9p(87T,wXHٕJ6&k 33 k-mz"5$t _*^y~mՈUtFe[J|sIcw'Ƞ(WszɮOD9&rB !U!橾1c(nc)KԨEu4H%{-!/PHOѯ=U:lTߋ>h%Nqs*ïϚ,*s=sM;1 K>{ C]a&5)0)s՗frӇh A;X%ܣ@mV%n]}_` "byyKjHA.11]sW:wZDד6?0z_M?kM޽Rf\ߥ"7ಞJ8ud@Owf/W%gT !0t;`1U=C}ۄJպ7wz6A<Z8ʝzUw2ccL׹t4ZylCU[{]ܩChn ZDIUUdwY-"MVwDq~:5=|5ÔvII9pJ)y2i] rcC٘ۂ 5о3H:ބ둊G$+@ͥ,-?y'&=e=P;.c)~pƊ ƪI=}mk@?(o䪦_*KۡG@eݳ;SDu/4 LG VbL(5]Ins4Gsg]:)(}k..G X!'5gvsۻwCi)=: q?OPkwYx%\xL߬(2M 'D|?>%/%f؞Ѱѓ{WǢ \Ȝ4 +׌u ]3B?Srha/AS F4V@HX7>:F(63sS,uz-. uAgo/,PM/SrV|gª 8yPdB^oJT-e\ssEj$mkdzιM`'HkY; |7pMU|+enY/dbU,X(ujWa G,X`:0FEҦBp{r-FbVhIs)RX& 9fi6/?2NPd,fH@0G^'AL>Sp}Gۼ˃ /$qlӪ.q3Fz/*D$NS 7 y:9qp7.oYRn8e뙉S$ӫ@j5{zG'O8짨Șyf#^݆~SUehN">=xx0a jS#J8>^KEoƍV5;+Je_z&*:#$Y]خFn q?FhSŷ~Ss7idѨ{-%pQ%SLD˘ 6lp^8Qo_1O~,'fEmwdvP}RJGR%=Dzl^Ӧpzu{y2b|~ƅ>~wAc8WXb|h޲fxL-~m,97Ϊ ,]zzVª?ٳó8K,0!!v1yo p#7S4]vzz*4iC٥o:YW(Ϲ_O$H +=/*.ʠh%Uo& eV7K+l\z&GL{b;u+>Ӌw,*RXJNm̻ B^F_^e6SD{VFtR"3սܻǶ!&2 ?فߛQ9ixF[3W-/p7w^LEoweR[_IM ӎ+%<-pb? gWʔf|Eȼ Gwm뚖S`?Y 3E0gE%[a껄w:L#&?ei)&a=B [If2~L.]sÀAFɏ'3˵BESj˼զ0iW6+ŨڦZ -TVIe8)]jCo@5P3e!tR7XwҼ#Jk[{\ѵ(iZrٖz:o ![$Z+Yd:PмaTpC&ƘQT9r 0юʯQ$gHҰ|ζl_pR9cۿg-mH Vfx| s 5xa/|6pOb [,,+,7.Y﷬jޝ3${)]Jz&IN='$? QIO%G]6IKqiQN${eUu YǰXLu_#PT2v^=]Ls ? h+ Mq8`%F:Qѻco]gf); X?$vjCO]J?*꣙ʍ۔qCSmk0~cHp[rP+bTIWW,=&x礣"]$a'ؾ?Fש~! 'x4z8K7CfN19r;΍tioqMU(3]'ϱZ·|lp !W)xt,F?1'=n\XNs$6 t#cEc#Ly"HD4d4$ '*z-(X_Vwjzc"^K>Sqxryư3ZDp`5݋0Iܞxr n5cš,yLVYM`GNOEqK>%FwL; z^b\|%uw|øǯ0OҔ=ܮ3TWFD;&Ie]y5`"a#rR+$6*ZZ=o,gꈇPFтEX΀nXo`C.hЙ[Qspi?RW8$9!ntgYxX0l~L`c];mI&7.b?&jĿ>Dl,u#Sͪdv. >gS!߷] ӬUͅՊuBJ6o MgNt#$|SUoOgJwۋlaHSHwo!^l@Fjl߿(kࣔuj*Ŕ B'>|fA/`3 ̐* x- Vࡃ4k^5# ,c`)!uR Þvt("0,WBa<>@34ш\Umpi˶ XPvutxٖOM(L%F=42 <eP=m`L#rv哆6(,l k &>*ٓ.]Npa5f yݯvkl_u堵% W"s,y7BC[.mZ|q&CW`=XPS@4CФQx~:n`p'X=Ȧ(##E?=KWvgwŵ ~ *xu 3Q)ɮ}Nd $1 b+~2^lls4&biOQ5LY e+o̴!ГYJ8SYe)qJ) p.PݐjK1D[jKr.SX\3qa)+ڰysE_ipMg>{96[2 `Rq,ճTf;xה6( R7g"M [?m*7) t<:ǴBZWlMpD\sl8C=iՙQʪG̶kv}JSGkVb@}'+o $F?.BoD'YFndr-N&O \b&5|,q44 ,q,Z.NPgx)^ġx-ZnYQNԒa pp0mhű24imuL=&!W\Zf~r(}?NV/26?~H%#jtt51C&1UPi7|T~hp} iU*[ֹvG^! Y6swڍU=̕Z KX'V~4L6fEmiBX@ H;Mt~ϣ*w򈬔"=ɡ[AFo1u,3d)Qc/=XĵݡRPJ'˚hk 1ڠ+ CVꙛ>Xv:۱sլjʅNm0$j. =Qz9epL,+GiW3-BXZ.CSu1˒)gy@+1+"lu*TD^Ñb]yfƎFUB ln^<+ &R{É$ZVjgM ZW6 Q`uփVr9p|g;IDL^I bۘ ,hg4; 'f?O-Ɉ© P/Xz!pX(j^d9_5;K-k-P*N|l Z=+[x;ӳ{-Rr#mZ+ӯl]t.JX l|ǦwIo%Q1TwxMEeK^)²֘NjcWy|yy8Sy/y,Jzch(㦥J*dn44 =Eй;@`[|SXi,4܊BVXz8D 3x[;'krTfsY7Jjl.};>t# pٍp$5I" .Y? rvūP!Yt'i$BXEв*Y򧅢(> $3Ux:i `ix{-<ȷ n.4֐=^3ˀOqNTTMcz@%9rl r2P^ ҋT( CCN|lda!@6 Ү(]n?[P8)ËyO52R6Bhe5X`сޮEeՇt=kݔ@ Oy*OeO'gTyB fM.ˠّ& [,pHnqRFtJVqVc _`ԝmgeVBT/@!H ]hcBl/-p"(Gf+O8(_",bIWc8fګ碤:5h23jmu[e|{xt6%[ Hk<&#&38?9HXǠki7{UOne ڼ nSٜg6UsNStBQϏ:gf]t7J@[E{ʹc'[lvFتd~!ej n8պdl1!e2ptmʤ_ &vJtSj&8}~AsȄfN$>RvJjGnԎ,X:+suHUx57-΍+M< 31i EL56(ewm),P66l;]cJ!BO I`' B\&ӡއ[6S,\3lT[ia *"]Քä0Bx1GA}61NO.~WMUk1wxF] )Af1͌2JEno'naS~&mOP@5owbfG3tat5 FF(nϚ v{ZpW&R&RtyV'ɮak,W>շzohTa"9%SC03oĘ/+ˆ WPt߽s`uRTJ16y6&8vt:߰BF:Dk{xL#`^8mLU*`,j^n5ז_ 鲹5;K) 9JrDVW ݕ[zDJ%YFPMJ]OfhmV$ Ղ| 'Y[πG06WAk:ĴݫЎ1HUa앴@ RXl !eW[$J,rOKUZZy{`Y^g):#*!x54t~}@Br{+`b1LtЌtf`?iQA#5f?=yqy2|`@-͏MDrI_fڜ\/Z+ MH̄a{9sF8{:8`sML(vMڄN[ЧlHڂU."]@ucBPMxJ6J[`j$O>>Z|&TinߞCSڥ_g?īOނ_JFRHg44)=r78dc:X G¤D**9!Pԣ'`e6?d>';g‚E3qɰg bhi|мx1x;ѐA@ ,@vF6;E\f';z! g]Y@Ũx=z6m/-J=g]h(Zſ[qVU]!%)ᛌiYfȆ7G{"ݨPjrxCz#߳k|l".6XC:FQz2B풵  1V1fe(=a_K:Tg9Ns6HRҹ3yEڅX/ϐfg!I'늃;d T1guԺl$kC8yL?Ksi Iذ:>3}a3S^D~hl-IL$Ex)ww`4hZ@kepo+NؐwܑS @)7o.9kor N;G"OS& Tp'C ~RB`Hڽge4,y A/_9Hߍexʋ m1e'xE>rM`o܏`? ;t]:$LE0 oݕ)XxpWGE&Cj>4KEC`)oY@XSR^75˴F+KRI/OQP7 M(E^N%]cERD |I*){Tm|K1Or"x@ERY/O5ؼvm:r0V~r|٘.f켩mt-gFw8)gWuu4!h&L8CV_yc#K*>Zbk c=c%7?Qϻő=G`+p@=2@^T  NKة:iL#s gw?y\Zb͂b$"r?ÕʓkDյE(|(ȉwy1ٟ|O{\2MʏIe(2Fz*9eU>M?qS̵GWč&J$wQǧp@-i`X-~_MJok<|f\u;* ~MV'ؾ1IJp[ T^ 6 ^“8f m?)4WWnܗV[w `GgZ;֋qM_[nq 2;097r6mjLìLju<.C}Զ]+}Rn﹮\'҅ GzvT~t+Nj"r xKʮ]NX5up9iz[sGfjRqA1N+!:RQ(h&GS*CP(F2uc,?%;̡lo7晕pid "dLO:W.%%Gz)!rjD۪n.zِ*ƨBv *C0Om8?ňP!*0+vЉN5;Fll5y`g|.T3dyr } L|zXݱ^K+815iӜYM0@y4 ^+b,yjقF.FvPRiǥGnb!*D#ìn4'UщE4>""}MR"r*`nv|{|V϶Rph ‹,|}`Q(fl9X"H?DKom%8t&$,ޡX$au]'_[GI عd2cҹ"%Dp5tVqp"h ;ŷ8X7Z~r)YJ6Ey׻n߉OS,2oy; gh^_ㄷ*o.( OiMބK%D}&HrQE!6F,[( Jn'-J+1,Vͣ@9?7ѹd7o{i1푭z-F>uOHt [{S_M1>ߥQihUY^a/1S[ϯkdGP {Yl!V}g2`r%ʑ`Ɍ_)ӤUyF.{W8fg? N*&/vwREfi}of,"ݫ S\9 'հבV85#g2X qv=K7}OmzBo}[sbu)0~d#. 1 ouC5nrYa~14_$q# a`Y TY4R*k9paY&@5Y&r0ʤL<<A*H9簫]]DSo[&Tn^̙m2,FKf+cE͵sGDŽp Zϭ^a]:M&~ZkQ;ĝ^!h U8Lɧ*eZjE:}.}Y Ĝֺ~E<)̷-LL>oH*'ѡWz3j>W= d5Il|Q )/-:h1е2 4:ay_~٩;~ޙ V=Ak4QKO%S=1_=[&Rɱk: =\j .vSޓL!-uު:T966HsQRGxg!ć`g8.RxFB(׈4'-DG/ni!8--E_2/)ZGD4P^+Fl]Fj {ױց_Q$6.;[[UNb̠u@8 4Np)'ؿX6/cfZRy־PnU'  AOen`Kju=ɏse_M*)hG ^z 9sW'?R7n!E:kR %( y! T=R)xB`Y9 5A0zڦvh0>s-XvTll_gs"I];ʮ9L*}leX|aaЛH8c ~+~$v,vCmvL_;pb `2UвI9Y OYԝ͙8b*(Bk@"y/QP::њ!;h!I}%[c 7C\Tid]A b6M 95|~ NڣNYr4kM8!Ǟ*X^zbV*.u%Q+~S[8ggt]TtOGllNܾ7sn1CaZy8?H^-'He/;XF5yOf@Y#B!V<e#n{eFR2v.bG挻27`Ucmfe?E/,R1 Km8.#\^VwGj7fPcKy]mߑ-#sRTcT5KHОcd0{+E~QG5`٘O^˜erV? OE|GT$5<NLiײ0Ho)sZ)Ou[fP|zI`PP ~I펌ȩC ލ4dž+;m5pIڝ 7LSUZDgCSJ D{I*ao>h](ssfclP {iId:K`ITFxo&N/VAcm,x0, 8y;99կWB*\qrh<JrhCxeu}b1QN&u,7.JM֕ }a&Y*b+l%FS?*e ?.F5u6{$BVy@9x7ϫtdr+'^!+ɍnWN]x ̣*1R j5Erd(y7J->cxT< `kFךDV 6sb/c$_陮6ߗvh֭y.a~YИI{zg[mH#L_FQZ8V\*o?iG8ha9%KK#bk t#ϒgTVrٯ'K8 BPSHCY`j^vjkFdzn[\JsJV7uNwl3Yh1UeE6QtRHiH!ȂMAcjAhUN|{ؓ"<~5u(QFs*‰/؍JGۣ`߆&Z&O!I6>6 ~X18}a"Ɩa,3y$HR;zDyVhltmr3ʩ`xʮyx7*d}p[R]Q~B* u)A2_ݞY6r",L>[T0uT1lwmV}QYA[_p  ښ6EF܌Yػ7^"]Q8pId%,~DsRq@qL Rrr BI-]ԅ9b6OHߚxܬs`coy}5k_R$s渘iL-ҕveS!,aJc@: ^w:Yl%A}N A=(`]Rgcmo]B=3Y,\sa LJތtRV䗒vFY{ -GsKxͱ2D &\yIS*B`L8cXtd#u(Sm'vXv{mJP-ګ%n~=ԳȽ2W2}T7fVkEZ@Ϻ"OW*Ix֐kد4!9ԌatX@r2r~ }M%9>4XQR-!v ދ_OZ!HVN02gTlQY2q{xř#k*orP,Gy 0v7ըxa1qcY{R$/7fΪ*d gMʠ&Wd("ށ-͞^myv/096DcKN>2?أ.*~O7!#IzD\Hы>,Z6Q9XR_}4.8Հ jdFMS=rOOo2F2[\aZ-B?$`Ol׹kr ̩Br=rޗu]Խ/bmHkгY4Uw]/?<گ 9J2(M)y_ғsi Q~1./fݰ80D:~K.['vZTi살2u(%h5zM8ZX@w%H- yyoU:@BQ@$ $"V:'cZ4]F\-©jXZQ,1suE@_;r=5˫ lddeVmH #*XZb4,''Lñg` $O#׫POoaC׶M4HXDz3*Vm.}%NID~!gxYU7mAXȳLpM"~u;PٗH*ft! mpy(kZ{c?b?}mL}[ȧb!`㵳JGgKYWKt6>6}Qb:4qaXvoUXD ۠}XXdHA&}iG0MJmO j\ cqOW\WR<חЈ%3J! {E¤Z@8,`e {ia 6iHZdŨLR2e ) yĎ%/%poPRbߔ/_aQnqןjDi3>$jw}>8;^q }էt:nG]DG$1T hw:s qfB߇LJɢ2;Rb-t4҆hO"Xvq(')B~mKMxjlADd8)(V,9MԚUlE1SoWn{ŝC nVadÐ1S .Fދy؅ǣycPCGHǖJVWPr5`-y (3 .]볎IAX65}pUHVϫL/ 8f ˮ#Ύ)-ax^tR|C!et2zЦoft%(3o^}9t` (׊XdՏ(CmK{6]19NqWYŴ nU  lyjA**Qi^MzGJ"9.0^!aKdy C듆L;l;D$! h[,ӝ5˷oiJrVA4@֜ÿsU0dvCQm̎Ne65@?ʿNذy،<2uVXau!u(eOڞ)z+MV_ =VaJ>xNB#%;%?.B 2f.;)\ߞ&++؈1C?Ij tlIO`\ O~_N,7*6>/fEΘbYlGЈY|Pg6acݝ"M_w 6]a .) s gd?:ѵi3->ږ;AuXv5ـPr'I7h]!5Bo %RAS.N9 TpZ^3()Ok90A8{xuܩ/p%rnn(+m︯ޅW v՘G4vyUArD mw,gYZ7zXZִF! z;]ŗXi%g`&jt+HGw(+VU^c @o cNm<_]VM+<pTh^y 0]GBy4/jO\P5#Y~QTUȽ8\]'W j~hl#d}-TVks.=.ԿS8`NuZb&f3< 8vY^n۩VY@\*͇vױWǜ9b!`4"e3d!rNXt19_V\jDf8+%Fʍ$Sٱ_[Y9E;r SU@ %5̈́/uy]/aL7FiyO\>5_Ąr Ju+zx ߾WM9UP_n_%õ20`Z;􂆩6<69n#2Ap&&SeEGDQUNRp[[&e0qnY`c]F-&Dv498|$ ӧqH&F߫!Ln+ct>UPnl?C;2o 0h%EP{n` l ?@h|7:tK 1&63Z B:aQJm%c}\t\?Rz-)ż)/{h1ʈRxIR: }KpH2zc0܅oI~ z*Ciŕ'/\ o\, o^&qXT%KEBnCF:Ξt*݃f fuӪ(P t]ƞEq(?JXJf[@{ ;A`]2x-Fg57ڿJ[Koأ?j#FQ`76dWw5 x1{= 2U\\RKLJ2Iձu_/\h9ijz{T{ /}㓡;[ @>敞;kyA6l7:?;eGO S!h2tWlQgXKWѨ}ͼ2[=4&aհF'@|gdN8K[Ia.o37D ! ٌO7rFeqJG_v Nxnb{ҙsr"?y[,[m!_qLgSql{`1C51BÛ&LXwLs.-DA\B(-8\$y83*_A 4!Sr9QLJLwCDRH.״[< ˔'+QY%$q$̃d#Nbw(*u!VpV#jXz\Oh%WóDCLq˽4 6?M>+*YtT|@hW6CYjhZF`R*4"ɛ- }"aݐ Tuc҇ChOk(HrBnֵ5">,~!V;̝e>0o½ "ŅG3s8ZCh:Nst3Ef;` 3]"&)j%OU7C6&YEA)Ԙ#.@qh EZh@\*\OkS_f Xsu87 5Gֽo]4pƆ'zz2?:S 'VE2nDdždso~@Td[ṳ9\F-\J 9FXmyoC?d6[q\ 4p"˸ofƌGRwl%$Y4$epwr`ϟ:S/$y髒b"ݤe_aAqa=XAL=]V@ {D3 SfWK!u [-7ZݖtA..le5v@.}zVKPy䃱soÝmUҾM[B擄Y]R؇lťv=cS:>9>iY+XnȗX$uFNŧqP#1Cպ$TC#yj|+1. 7a8My=G8`")LyYp|+U%e~dw7L~ΉiW#6j( /2x]pV O~5mxsHe!mGzl_86Je mn>z);I֢{ k2 e-2rZb|z͘i{.?B2bíc۹Jy9pi@ l6ős3g1FK0PF8JU.0[h>qH˼|a|xKBp&oSI $+ o-h h9tՖ;sҊhC>븄F&]Tvӗ(p ;zkU3aзڪ$Agb }^Y}=&nol22`xq"b-yslA-u:ڬsP\t5< ,e&*Rg^Ԋ_׍UM0aw6HgœjI mWm;:[zΏ3R-^hw^&#ii'̭ƙi=qdXh.e#'X>,ZQPS]Ϻ ~Gۆn8Nh6Jh/zR5fU~5{5Zi a6Pj|\U2n("Mupۇ=#]1јB9)Gr"|ۼIޯ-"%o].O,nE"_Mfyq'ψ8Y;K>9i2D~1P>AV-#tv|\xty !g˯<61pzy_ _dgȆI39-lf!Uw7V bmau~̔y%4fNԙ|ZJ* I<-#SQge|?*3pjVeU\#;BO9iކwvאVQrG%eOl^Sg{Ni̧XD}/9NΞ0(S uqmc=xZ$8w&ޫRzĿї8S67j%t:/51I!X,4KEXK}tMg+EaȰx vl8ȑiQ:y|ccij(74\}Di2ٻP*d8ON[pB sb:sME& ]+'f&EyжgՎQ3'2Hj~.кA;3x-lܩZЋ:Uԝ/Hs#"YGta(aަ`fN|cԛ/:>сzDGN;?'vLN:΀z)l'kk{rLvre`<ƷY~t#E9?z5ZSzh쟥v>ِHDPRвMݖڒ]PQ2ә#m֝B%D1{ߗ=Lr߈*z%Cf:>W|+܈ًlovs*pkW{{w["nbrB:G Q/6%v>/(hXڋJ_^}0r2a 6[; b # 4A+:IwlA]{:`??کiNdk77&x#{;p$O+ tr!D ]S/FmmvNWaJ„ i'q6fc?U1唭%; FqSDz@=֘%Ѥ̋9*3v; C?\HHI 秶YsR?G6Nx<*B3uYtzXO'{ޗ%;hWK7mp_'YaذXsg%}gNBkY`2GSV D^J>݇Rp'ٺ?H :vW^ݖ3׭zcCՌV87鎝7N_mnZӛ#y͚+\ADpBT:,MBCS p$g*pgdRxJ'| Ha{q%Pzk;8?äЯš6;צU%I܇ʶ\7m)kZ ? j3:Ѽkx=ejl<9~z\IA'-f싦zڪC/ 7ߝ(PQZ 'YuGi(0^Q'Yn?2׭<YBVVӬ] N>4h,/"CØЁK5#}i2$lGdž#"wvJDNpB~\Ԥ: @69ns ]<"Y$5;IWSP̄> *1Nrc%s  HïNG+k+$ҫہO 8IL5PH,\뗭1é03}Y>{b18{(KW)īpJ%Qp_ő/ ɎF,`qz|XoKerkbX+rq&ˋEw|oRUKv>,Zvadk?XQm:9?LG=NSsFVI)X%ؠ]yY3>)G(@D{Ն>qn'ͯ[|v73(oX g㟾DN:zr|[g , JP?DVI'>6 s-﷕ecګQtp*UKvEgMM>irbD0c\]ֿ eK${ %푳1+MZ\;0$=xGzjߤͱ_4;XcMHU{e;BН<ċ_$ Y LV15i(WeA=o-K3pZi$.!MJvI""GUQ#D.dKJ(#88",IZNV$Z'5ojd;@xƳ~"ٲY ,LJe{wBЮJ9XrCŠ30k`,caQFZ0uy>IW`/ʕ0܌78\q2"F˟7iy?`FԏRٹ1TV a.מ+fq{C@w_H uO}\ɱFW ?˸  m67 mc`s:*2421%ri*˃tB_Rb6IPDo;^;2>--JYY7{B&>XOE_Y6/>Du@P5hpg[hMs%5߲+ l^{A#/@v1R6Hj; `D 0{shkyRH =<w |W֮5{4ze,ۨ%)(@rM\b>텨)~.2q:){̪P13r)F %/}Ñt6,W{H`ibcd~$oNh0ymq !Ija1ܟJWaW/d(TMF4w@XmhoYE@?±y<-nۊ977L q4?-.Q2eJtGJdj\u!eb<^΄ԛ;ȓbl/6W le%\B{!iIMՅ 5[ PWK$ 灰oLaCԵƐÛ`hNCӳ5z{~e$er?s_ JT#({Ø{eeJCt__^|RV򜋈46eapFy&q=W0M`!y/)0S\OVjs <ӒKוr䃝tq z'q|7;I8od({ />$c#ÃMT=8*!z;-ix]em&4erX|umFd( Ru4vGPkHL(,ˎQT1+*d(=x[WƟžߚ8SQ(}F{Gadl6 Z0v CKWbIMeU۪s v$"vѬxC ȥtߋ3-|}м!aWmhYe OxɝM elZw6;u~I HaOHSah[b|a'f׽ f䮟0 ӄ$~0'[ Q]LGO^hE ^clgC{,N!գ4q8 ablaSH42y'.UI"n9Qpno IW{ Y }/(CmW/cZm-0"/JEcsN)Ϩ̊3YWX:P$~hZdrx*O꒹LeUt$>X^}2|F,εQ87hGpd6aϺ?=PvMMCK1y@u'>Zv0&-!P כ^8iLӓ!Zd|ݓx s*(odkӱBs{Y! O.zhTJWrI@'g"=x~C (LdOA>cB_ ' Kb>Bگ<>SVw*! +8p*%H7UA( pb$Xg>E~*?T*$C/,$ǹbc Q\*bM72m썞Mf~xhFdPTJ7r[-Og {e5rS\' 3]Rl<&qϙf}TIwLQjŧ}[>| P%fȈ~mԿE|~?rɥ\I)c!qg%'1/ľl4G8zZSC=xIg>ԳVd4Z7jOzaAMeٻ~s / /-߂.'!{Ş_a$z<[U_X~~Nl/ 셍2{fg|:1(6J 'ihٴ MZv,1^ǴZS瑫ό(Is.~O;Z(w+^ǡ3S@G)Q`bȆ he ̒PÝ2( em"WLjkR<l8Ǭt@YG}<(Uwu1 Y ̭=[vʃ ĴX)tv@ w j+űN5í"S-Dw]@sYѸQ7+3kQ!/큠{͒PM$/f)Y$~x{vRuz jzJSe =-y1b> ͩpf;e eX g%˼.Snj̩2M3jsD;?AHQBzmJsWJYLs=+pM\3)1]?G4ɐWBDRyo;}2Ck}c緾NW\>j nY$B-%}#~,&>KD!.Ici -sR3oVv_9xusJ+OWI)%e:߰oenUSߞ͠p-<|[ z; ijhΧЀ+d] ɭb .,&?WH 4ܴخȒbœ'y dTPIJOSt_R-9|QJ.E X~@7W%%԰tV"pwnGB]*J'O` +e8!"q_|=p|2"hYn/C7"/]+7kӒ/kW.g@ޡw>`weE[1ӎ0jl [/ >S9̓xHp}i+-t6k(0'!}OسEƋ풶B¦TMx4(`ٴX!dVjx8;}Zpp=mI‡~WPkh-XԾdxZ$<<$WfgyWnfH2 |Tq D2eYv\|lpuYX}vk`RsŐ}Y2rO,J+Hp<]g5svLk%~v6sVbP~תx'/RpZ\?1쟂<'v΀' RN8ҙmjSz!FA+J%j%1CB=yUHG/a=[..X:!|NQ [XS?~K5|N:mE(t0ֺs3'F5~wSdFߖ:>v$ÎXTi88IBmS98D 4P|/at=ѽq)sC)) z ]K jx=nMu>0ɼ\hq)&xf-CWZZXP&Z:݅QmF.d Ϣ%<ZLtQ 6Kq[kx pt?3xp4!CtZ߆.~'hXw} nV6X'4ﻭyp Η[ESCvify&by޿i n}ͺN"]3 5oLw;QB aX2>X= o WA}3"$ef`'0`J5CdnWSWfj; EG~=,D$|}zоAʆ3Pѣ ء[{ڝ׀[4àД aRB&~4菨 a|;Z܋׏dȓ*=K?]Izzϸ)k1ZB 8YL Wk19$K3:|~nU RiN uw2AZ&pp. s|Md!Pna#5Y-}1}_Ơc6ߝegr$b&6{ƴsV|G;ȥ})({JꐢF^+{" "L] ZѮ ԴQ,k乓eV*VR`hh˜yKěgtk7nc|Xu7&kxB4X<8ޘby Y}?Dy5Dѫd/snKw[acx)TF_ Iϑ\RUZg.I}2Xyu^#0z!ZZB\0:Xb}j'bBn1,< ="5{MF#Z ol|xh-"G9ly"sN5~!ULk2Oy`݆b-dw][^ؘ. ޘUƸYrO 8\%`tj߫8t$,f šo*wϵzUzv|/)pҦJV* ~DcwF7r.JWޅxs[s],hUia_ ? , qSRh_.҇K4*1\rciupn&bY1O#\% CYUyuE+8 $=!RsÀ H:nWE ذ["NbD)_d s7D ˮKux)t ۨ$*;LԒI+;l̹vu|tVi!bU2)mHpsHgpw*Rt[108y,0ڒ:E-Ls4/g~![o)z֫ó* KghBۡ_10)M |t^`6z OU L(ڗSkwkFƃ׌iVhWu"Q`Kg^w "ĵ'>{9İzu{f@_HXKK}UFy{=4o}T`֛@kNJ߽ FTy!< 4{84b%* c?1b~6wed~oZXkEEU_L/"؇rXX ~p 6َf` cqHzZ _whdgYZ03110661/92f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 08f0891cff2f74fd97fe4f8d9775b4b780015337 0b95eae8146aa5cd55163797808ccd421050d201 0c02ceead20f10236d7275425ef59dfbc5021710 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 30afac17f29e367c46142872751722118953e506 3245cfeac2613b419ff643cf72db5edf625cf117 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 3b46b32b9d550242d2832984f85b4c97512c51c9 3da82dd2b91db0fffec29024fc6338a500de7ac5 4021eca21a285f24f9ff4ba2d840994e4f65c303 44baec093d30bec4af6ab8a6da185f226cfd552e 4c8da526910305e5f6c9617c072e25f78eb18e73 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 6a1b07b082500f00f6c3b1326fbbeedb536bae44 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8aefc9b67109956542535e583bb6b75d0af7dac3 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ea487692239b63c714b16edc44acedef890cd258 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab ffc84c1be563c401109cd08cba36147d94a4a62c3eeccd96a44dd580d8c7ef1905f2c611132cc467 3f1ac9189c06e8d1c001a280d6dde4fe7d39e247