SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 iik/<4T ]% HOL-ODE-ARCH-COMP:threads=4elapsed=703.251cpu=1510.128gc=16.480factor=2.157zXZִF! 'U]ŗXf[&}k%Cvmk,B)Neo7zoͻqѓ,WpӐc]OD!ɲtT%m#C' :SztA[U4e\|0wA7,0ef}LD> B QxOvy[p %ߙ9VA,YzdPU"x asMݦRJS&6;IuGyH-jKmۑz"Xl@:t~&J=g{"i~DBNF|I)%j.ӌ"|pNwuxM1{ 2+GgYZ7zXZִF! [V]ŗXiɟ1ϵ%t};kg 3ag3ճr> ). '2|1hOy;zp^ܛr\R_}YZ7zXZִF! \]ŗXi%L 0ۼ hyY1M,6a0 ܵ[3ؽI#~o=M22O`}??IMq}5DD.R"ѭhϫ$}usP.;(8C90OS84o:4J%8;j,Y8N]MH-G%2e۷JI?bNKlf:EW<ӽNHnqXgŲ-"jl5qz8!٦V꟱݊}#堛z9K/Owc~3wN.ۑڡj+LIYq?@).W~@oЋ@Z:p@UW塴Ͷ'LFF4d 󴸱&re>b1;Sۂ 3l4zv3ZwTaz@yz&= e -(,„JRל'ϒkt!Ac<4<%mvǵ#N;C]M?GoB[U#~91LqF03~F?y\h{,o\ ԘHSa«w< rYtH+ZSWxieCߋ%K!L1XIApY9K/Ǒ0AͶwQk%Il+ijOƮ>Gg^b=)[<χY37od!b8hSb-ZoDT;uX<|[g@l1?B9JABEĵq12g()SWԔBA3OzoN fDm63}I .m& oʥ5,sʣUBlwBw̵AJCU>Cr +èIȁ;jɎ?" )$Q`Ք OEb8cԥIqe ԹJw L;9JJWDɭD0џba5@ 22v a Z= 3ެtA0 >u;SI#2^F]8EN}J@1zk[;>oHVuHq!(\J AKjKނSUu8shKznĬY?ְ8(vDI[69 ƃWcu2P>{y7glq*[p[gdh$0֬:'b{PS_R%[N1$G,^3.͚VK);&dD6ɁWH,\TUd$ 3knì%㪐z|+iE{;U_c&ςIǒL)vm߻$982JV-oƕG6skV6V #JHN.C*gZdA&]YtHgacor''$oJ8KwA\-V(vHw+Kx䌺:6@oY$&9㮗VuC/dʒE}r@\ J!0Pƹ Vlء6'kcfYE)t?XdvaEqRp~&=q @I%p{ӈU,Da;y:d}ʷ֨ D2a\'1C,;;u-M]U9`Ue`<m(,Rv/gk J+.Z鯻 [_0#g\Ұ,-^#z "'A?e})3uvZEt rAN@Z9UIe{ ~*4(Bf\8Em,F\Όuݴؘu\z+⤥Cxz44`aτ&Dd[/Tf8@]rZ2P:ZPwh:{j:D28l4ohA(nxmвհh {pyʨ&W"/)8X(C"+:49+9!"R{?^q} h 3|1!Һ^?]D w<-tƛ%d6A-}kD#G;gu|L a?%{'k / \Ԁ qhu%I$A[NB@[/B<4M*ŒzypfׁLu2Sats6~NpG@χ+ %ƖFDagv}ap_v*<]V*@ڡYԼh;|͡ovyH|>e%IW3>*ZM.PՌfҡu9f{U[ylFFay>Zf.@kߪ5m4thC+x^Pw c]C!VpuۊnNuWjy%g9:&;5 Wȗ+nKA4,ൿ\U~KJ02>Pas7m8v `qg 5 ]#* ^HJsYzbӾC3ߛ ʵ]$U TfpNt^ݙJ45qNAO-*= j;3-e~dEMG\*L )){RĒeajeqgD#/>lŃwčTWƱ)`19ed a5Bޏ+55vRLj1q1{:T!P2oo1CX.˕6?MKK0jEv1դgUY97N'jTkcCjHbmPH1 ) yD0Xd%.H٣׼5v*Aw.&RM8bn fGMٗfBLQVI8 /[iX✂oD̦2#vVuDVY1[SjR:b1*̛9w7ou3xi;fMkKg;?piEk1D,ӖJWWXU |ʿ)&\xx*SRz`H ggC< ^$z.wjF3w:rCxh.ٴ)i.]z%]±'r=}hg;f&*$b٬Csqw[|DF*݊Y%$u4aer$ |41Eϰ+f CiӅk%mX:Kѫ.>~E+́Han]E.U\ibo1BH^::0l(fKx.FfA| YHS̆;voذM>u$0 em_I'<P_M 4͐A)`HcBm@ŔٞҶ%`%,{ܱ;nb(Gj< ܔ!F$zYemQKU`OIoķuv>w!.A/:guu}}R*V-sX{xPjFAI؂C e8ۈO8 * Mg} (?#4 z5B{+*Jڂկ!d Ƙ!;q46x|&E+ƪl PXS/;.=+: zϟ" 7թyݕV~ڏ+Yؑ҆~~ĎpJ_*O9G!!.nҝMfoash?aBF? ç!+'&,>O @L&B=PsZ:.ut+ ou/2en[GXLQB^Ҵ?. =Ȫe:-rgh-Gsxfy)|\64RP$rͮ ܗ) "xQPx!cр7!9dDJPQW_e2ڴV![.~Bd.=^²Ar[hF4\m!9n #;8aOHIBpEH|n:7jeRi`Fuv2jzED&9Mv:g3~,oxX C߻Ȓ\M&?i@Y6K xɕ2e#;9$}C3Z;n3k)R@Q>0+cI?L lm/tՑFUG2RN5 aY5v34dJW[{- ~Ad1Lק6#|T*U5Fa>܃ͫs`5dzogNSFEШV/5]k@S㋒e|,#aׄ4Æ3&-orɸVY˿U_ ,$O :}EX[t3AIG}/3hJuDIrNG\!%$4Vck* WA"&(R^Ia_K!EcZ.G]z_>s΢QTiGѺ0}g| u#ۚ_63ED="V*?7t?x;F-ŕL027IPGߘ|>PBQ?~ 0v ƴ&λ՛[olVv IS ɂ:xBY2tOpe+AO `H@8l0&p&H2O>%pÓq>Kw-S1U͏UQ%井[#奖ړ3O5G+V^|[vv|T (AxsׇNZҧL[m>FSS+42>3YεΆaUn5*I|z恵5GZ3 Mͧ`C|vAM43\"<ԊD9 G˃Lej r2R.Ȳ7ius4t|&-pБ4!m} i" a/E+Wi-^Rۜ/{/ p9QC7BꟜJRB,x q].>K]!maJO+׸F nn/ #EӤq᠍q]z#6A" q3YF]π1?,v5J C ^c{"&x$AR%o9_껬z u*f++"&cw3 W&7)eim@|VH_S}r|/]I<^8f jb \:pʦm ,1CCz%"b^$VoC1:W=E'FͶPCNYm<܃|ۿFw? ˄9Xh8) V5V,zr!xu'fph'!޹h580@zӹA`y5̽þ}SSJtM}=.|?75$/7NSAL㼉jo |͆j7q}JeYVlw<+=+^|z:++/tUA?DR}V%7!о(!|\%[;pӶ-sǸ̥U%_> m +{#=nW G+A6D̹J|Ŝc-B'_WFX{}:KбŠ4SάY\?nPPw._vggalJ/V }+0m!^qQ*~ygDpVO0ʙ.}ߍRIy780rفHMW`adr}^\;<2+9E3).07MVyAT(U#5tf'n +f>3OBZ=r7)vAJu@u ɧ8oD@^8ZBCYz8[d~DVu!,qؿhh)^kF\UL< s2rxE /j\|W؟" E<}4_!~ }\ӳ@30_*Ne[ʽnQVmF qcX_^^ QC=}b>pA)ԇ#jGS3_bW P0E@hGc;U7 ݚNa\w\N>{Fإf|= ]/I"m>aH^/K {/}Ƞ@9hPe"^psഹgn$\mf"9墎hnC/ȟGW!d'V.).}5~`=m/qhsEI}E6zטK]Xb'rG+eq`YS ) ~oT}rQhi-%cs(pxFַ*>* fo ]7fO4I༭U}F3)QY0_Ybbd'଩aC CN>]KTh;D|7p2-ݖƏ-s* NXכAm` 10cMߔȹy̾cUÂi7=0Qs#P-'?;1x N89:G_C;K]gQ7 .rZ/3 hʦw5`Aoķ%G@ ]+?UsX Tu/Tt\;MZWU0mL'KZWF"&^nyu@ `.B*hK[JW[13 ge[@=2PM?G;4_Cne:zcA*FE =sv9%4׷D]h#V؍t\O]jrH`+- f "ô3}P֑\W`gC50 OV rI?uvdŸ: 7=sȩ9>7u[҅ߖSHz%*+n7sI=LS` ݐG$7laAwY"gzaǔ3c xɶykI@y C'd8LOеnBѭKȐBٍd'ԍ Rd5:dYJDPSp$N+ыwLzшt3&!X]lG0#(^^v@cp{JQCeH{Dw-$7U^:LεGo8hv\ >vߙ$Wc+D6y-ue^1إi:lU G_(K{Lqљ'd=5Ԇ ^9f+њVUgܙXH_r*ݾׁM^%Up7Ra0 k֜M>'LT#hj?J27=F& n{0ψ3$y2rX5_) D%X{=_QKV _~J0EA0qU:Bd Ase7 jyg?3x!2[pSʒΏ3(ܔ8bh1٪ėTɯFiJ&c#λke]{'ڐeTJl[D\2s$ }:S鵓GAZdUOUo*)lnnG^Δ4f|9b}(zn6D֙Wm8&#}mu?YgQ I0<$* B "q6e81@~"ZY&2ՕXbwϢɍ2yh;sQQoǿA-P׽;A^gjlFylɺz},!K\K rOcV|N?F]))Ow?P1|9e"S}mL 6hZNJ:@I #_=+Tk?^n@R*MamHؿE8+ޱLif4˥&uD@bcr{A|X F[QV4+O[2[dmߤ2bs麡\1C]:&XPrԎto̒6nW;!~LR+# o"L[DםW}X(ϔ_Y0g2_D朏ETa@˸ |ds2st7h(URTƢ?|I _Fff',oKș"[v3{*.&DojSBL)B*.%|Vv(~շ~ nU cI!YG yCa9) y={Rd7ioN񱹺E /Jbf 67mVYZ%Iσ%ʴ_[p#B)=gqlGz(\0#DEmmߝtz6U#LjznΚGAVZƻ>Y9&P{!#8 WG'1AYyP+ZpTijaAd)\P:N8lѤ7zy w+$ZZN_)=f4A%[3v 4v $]U÷F>78#|4Wrp IdNPmB~ ́ lQ8K{XC8X"ˋX:[C'`Z37n2Lbxw\=Dr6\W(=6x8:M|ˣ>aWi|ԷF=Pr)laoX?I 5WBE2!9YŲ/Hi XQ%xDYh_N&rK X񃖈#Xф6V;;>o,i͇Ꮴ(:~zS=jB_ |OZ?&Q&M_ ]%Ws$ֳM:"\Lڢ o[-BF*p 'E=pK99:dY#s={j]Ky2HQj͢vj\'>5! E;4g[끒_v^Դ,/]lPݜn4TLe~EF3q"cl"b#By[A z0-Mu] nGUTb=x0~._)rrN~(pu[*b}=Kǹ`Vzr3^u([w7JD"77Q`B7=!ྲྀܚ}ODPH4o etXf: 6 `MgoNNu\uU^W'YwAYMA=\l!סU/mċ4\KAW*Pϫ"ܺv2F#-\jfwI^]G}ԱhCv2Ckӽ<@qGVk3]#=/g8^cxh!%^JC t[D1E&r֔=ԉF22@`Xqi|?)%X8+^r3($' ha v*XU|0g>etvՊtʐ?c!*XZ 4FeCNZljpoPxr_6A-~|t*:شR[f)DV2;zmjm#DצsTO#4\quDqƨo+FL(.g&nF|L5[Lԭǔ![Ҟу Q*IsH9m+>d-:cS!71]O)QrG|=& #I]9b~Ktp15-S+WcS:t43n-xBixd?ˆ>ijm%ւqc3 :EHYVsHuGz¸m,ej*ݼ@&^|.9\TTnyv. =eBx}{   i|нEt[^N26v5H̖Kʭ"l"l?:@.FIW ֩RWF-Пv?<AyT].;h=TƘ mr^B@\&䎯]/ L߇<`Tüttmxqm<E݅f@7$FVq9:eξ}yq| k.r7})Frt{b9pMbɡk"޳8\s9*n:sbMԽS${`c/=KY̨7M.Śsӵd2h pO"]R"t)`;tZ3ZZ& 46R,4P`0mXC;s{ , Cl>wϛLc@x(*KgBϑ:_3罒l[:t"[ U4ctAϺGXa&͹-P͠h$+4s:W# K<2.`6 4jrI+C&w<[7[sQ0D\v+D0A`*N܏pW8anqj,~|M2Mt1=-t/mE2yڪz^P&/nĥ߯ 5S?X[re p|T#X& bJe(FH5r:$*fHTb Xx Nd D/u9qs&+sH% njhrr^Z7%iXMY+RF|ˁ6'& J+ x&l'=s}zV/tKyWH$/b 8;`n! ni`bx`'p,u#5`qUұ@F}ֵ𗹙xKOB:Ib+9n2*m/~iy=zh{V0+7ѣ|hh=T⬹*OM8JȽ% c*4D[!ڌX+>) WiJ.0aRkЀKKv@A_) =#]mkenPMۃٸ;qm D9h۸ZdnOim;QztXx;o$K1(  @CGlYՑ B;̊ CA~ ]8vFAқh˴2< Jb"sZ!UFA+E%Ik F:Pop#H۠gc ?vAmLnpj},H鵋Qi 0_,bG^j1=uTXL)?T= (+x•*5!ӱ$x" 2m&RpT^;tv)@Zzd@T灒]’)%TzF rWe,X⟩:i(M.#!IcDdrjLѽ2-d(L= f Lut"d!XGB":wqO nXS/5">N,5%LMuijF8C>,Yǧr"-vLk/nt|y !P| ^xT|Xre~'afٮcYKF$K9"qv;5[ܞYpENC~pK?[&|iɨ :۲W,[fwB@3wQ!ZġkKX<sԨ@LuF4atG k&扄\Q&)VnѿVl(ԍ܈,Ne^NX"QjOh#$4g|8ܥ`As* CɯLg5 δ*a.HH8\Bh(Gпz<X覘\ ]DOI7ު&~d\mdy>Hp&u$u<~ݬ-hpnЈ@H2zTEY5–4*0JA)sD,||GwlY;B$+ԙ!Hex YKr74vQn4oCV8<+{aavj ^PmKi%/R>JG"3BcƲb ꮷEyM E?UWZ䆨;Y3k}h_>JowGRf#8M>jzdM~hOOpq/a 0(p ݬR+-h{nr00W{,~[wV1'HF8$ M:v'xKu}gCk|}~bwvN8 D _n: {+@e;;e]MM{wT EޜAU*e5<J=2t.emA~T=6FPM5Dބ$ jM_X96lNBtaTbafO+R9|8Iu6oM'A{#h*)p(vk|A3wH@?z@%9"x:Dڊ7grDկ,nunO\)"?ۃmNePv3@3[IgH9?˰ådbS~)h-[ 3VJVQ4m/9fCn֤ܿwOE.տjfu`T\Wl0NjXhljS}LybH+&4OO,@c{)ņ/ki``{NPӠ0pQJ"ݸ ä ֿ͞d}\鶝!ˬ*_30&mf;c0<2Du%{c]`֓UkHS}FDv]oIqr;6,v}~BY_2km.Yqz ?MLc5YJvf:8@>#/Σ6L:bT旤l] DG?J0w`"ZDd"sz+#!1=jK_Zo< J|v+s.{e)?d/pf駗V-#"ETl|Ȧ %#Ex:Rf*ki#c C'_jR]q'h4hGmCLLzi(4BLPo'r p^MiP,Ui9t0A9ԛ*kԲր*˞O,fZ g& )'e#%.Ӊ6B=芽U9e-owBZuT8wRerݞy\L& ^&= wJ t?RCOɻy4;1Jh#lţy=Ĭ ZCmV9آ|,rP74^s?1U0iJoi L:4ЅL(t[gNL# rwފp%ATi۝14墝{D7L)ƅ?Xyfklf6QexgK3̪M+m%Wl15r 3fTwpȝubR ؿgThVf nɿ>¹zȶq7(~7ʤ>w5]]DJK1YDJ.=Šg7eG-JF7q)尤H CnF`{S&e?p駖a'7h,MKx Fui&Q'>+0}%\ќZii jiR4q$pԕreOLhإ3{T[n%@Xe2K/3Tӯy<$3U/ARu؏A -|^Bb>̷٢w2* Qbj4}dbzz`xrY^^WO8 M1 pQr8vQf`R`̗ XlԆFm-4-ڵg뛪%mqcT-U?'gF:}u;?'tFaKgdCSt,n2ZNm}~laEGxLmr*gu @"]$ QdkurJFڡ|@:oC:@SϣKq\-տɀyP59<"̠JGwpdmX;S2tQ|]rYFjX)r (ၻgr[T iQzntȢw XLJb/Gsqt_BB1]zsKZ$AQ^$Rf`!z a< qeǏiKbGʱ4^u}>m+hXC$ِ) ԄJal *͊3 >*V}^vvE H="X{7:8_8o:*58߫ 4MLHg&Ka* w?V6îamɈ}ץa;?Е/g8ydU!œ$=$ ,a({rT,٭/B̜b=L8|_6ʯTjsֶH2EfHO:KZ5¡`H8!ez>?ܽAO=dAX$ ނN 6)*5<l]؈@/Dda\f4n;ZN x(g-ю0hp]x8SD'Ɔ;Yb"` N4V:`jGUwͥ2Y_V WіCf[B匈t ͛[֝\RttL4篏qP,P #,؁!úTXB(}QREgB<;TP|f2"7WZ]+XH@ldjVȻ<D KpcFw v~m9DPoB\UR;蓝'>(yrT_TNEcz~YU~Hչ5;x:58m=QT W9Їu R-]kjX5t=q\E*g'6x2ߧHʺc;奺'hMRڅiM}ru%YkRcD3\ڞu`l!WyX&gR'7&9isv+H "xe:#27JR3݀Q_ff 7b*(b#!M - YM;5^I1?x\ 1usH88NBT\5N;%3%/NZTHͺ&^e*ݑ0x9ƣ1lrC6t@zxwlE@[esMy qٻ0U8uhԻn)AmobmVT).Xjg/gOc:$/NJ0"# |x.M̂##8&d]cv+boh֜9wYd)L.< c: + ss FElhZ=& <-nԼX;Ί߱f BWۖk]+8y ƩOqˣŌc-Z&nOO[7%S_zJ˅4T1/9:p|V_ ׅ4|M{nlx]'tps4#O~gMl%G 8bNGS{l[x'އX;Ghpm( J.ֲ.*U*ʼxdL9qwERn  hߗlr+66iz*;8{6/򼶽MbF\KNiM*c J SY*^e1?į#2qhKcAַM5OwYweT\LpqoQIpE])ݲ?R$B:/]'31ϐKo`ﯸs6F&wvO\\:}jb=V>x%%! b-:l׳O8Y` EvaRovY[|f&F##صS _Ic%s3S~÷zNܑs ,?L~?ʕb33yv bϙ9AK>>,/Bs‰^$9ɋPWE!Ig+D@w2V[q[nif\>vC^׎I|xP mˇ{k5#ɭп|f-#qؙ>1fv@sǮ_9œC^xNͿAJ- 8JPK+_ O c/3;cΩ>璕ƣP"YK0KfF-?%k.Zq 7;9VA& @uHwfu!%+}s\sZL_ 2. HQU :#(QXg߬$a>YAi,HTXЎ68(&IƧq<0+}iL?Ӕ{6(U7.0Z^2ӗ\_2|Yh>aMZb`3T,ɭ:Np܋=jFHNψ~iZ li(N3"M#LoFe$vIy`vhZW; sljm$g =݄XljAUltQq9<ϼsらw{\ƙKLn7L@ w[="q&2rP HiA$Opj!Kz$~><\\<I'4 T %{bLّ }!uj<ϢUvr hV܋\b-̮^YxN\uaN9"{xtYV%(m´fS[, {6ڦM?Pi "ȭԛ+ u !D_D**$urJbTt[3)D/-y8t}{6%%1<WfRIψqJ ȿDLmV8,ݪV[p&hݢgm;BX!2LL/ Li5e2Wj7xJx>ΥGR~KF'" h0̤Js=-bBFIl3];ek`7U/t,=.2e6 l[3LVm&5yrmN9@\&1TAǾ.v'=M_IuS\iZc?*I ecEWX99 2ivk{B~nګq?!_e%,u>sgNX-O CU"Հ#-~ ~P?b8\V h#vr"As[aM_c}pO^~+<0S LGLEJ-`rQIk{ 4dC^3<%t^iW!o8&U5=4oAӲ޴񉑸yLaeauLNqXJ5E\ Vq&H8EXZ:6'LJp#-U67 WA.Q IҜg-V<|qF`╃7>уrX*G౫j8U3q2T+?:6VD`:uSu_.lDek DIJ'x q;E>t#@Wv$ W>cxF#/[~%C ؃ӡ'䦨o%4QO.^r7I!$ aqwD=Ò;3X?fg$Ye5> ]rIC۩)~ye$ed{s a=r,o}g \f=+ P<( ^A^x,S5`pC|=6w-B ;J(sLExpSmަGšKeέ`oB}gLqF^HߢO`|@-+#}AD~AC@F"T.Uu.]%d=Rz44x( hQ;HJ>jrד77rXov^G>8enVDHin;aMT_oY@-~3pͤ\{ zO9_:&5@|P_*j`Jh`,t-1ȼ9E_yMmiu!_m b]>amҕ߱05}C]!۫f\F)j7FTS[!&| &`ӳ ODڑwJֶR, Fp_aҺku=0bx1 d  hcRg@ZDNHw&Ga@yf"^U,w70xmvXAzAH( 9b,R| .YKIG xhIhj=?ԧPtڦ:?q z}eb(s qsPCꤪw8Zp4(ڴ-hLW[ВG _@%]_GTNn}h:sm(XaCR/osP(-@EGƍPc <@MRg-1Y3Bx֖A 36Z2BcKRYuND -}`#3=^pU%/1K}ʼ ?6} !?n?u5YuZo^ʺ&;e\Acmѥy3RF7g@b[u-uQ,ݓڗ#vpYp>GiqEu.7SBfEf ӑ@(׆d vCvN?ya4Xi^ngofSkM\%cm Ozz8GQC7 l2/L-p+A],)R$pOő{ Vع|;ܼ;jc[|)d@ t` Hx %Ie9?[κ?@yt}Ǥid$;q2l!ɥnr4ab.ܡv~0<E舙wtEpWlCMK&W>1PR1}u, *?;Y1zr asɧo['ǀKZMۛ.~6v܃aZLVẺCвX|U+_FX'+vf![㼅!u20D 6Kq&YV2HMdq% j$% ?]~+l-b%ݰaLyأ 鬪ߛah/l/+/%^c?AD̪Y`m6WiWuZPO %@#c5) K1>-;ަHPwԍJ+_D`qP|ۑ`UW ͎<@4ݣ1H(p)oAgO)lnո=%NM9&v^5hY/ak+wpV+p(1KYa XjG)T0݀kv ` &)Gr%_0jDǣ T=-Ą6KgW0-A,IZsEv5>Sfy8odh6F_rFV ##z^Xfjt}ËXy$ax,#\kFh*A8]1Zj,Z? @u6t{'zch(/n `j̈dmFܖ^p_w9i3d/]@[]P.;!sy&"MehFobW21+pЕ (H?{/JtqQ6kS r!Yx%~Sl-Yerf޽+YD9W:5 $O{`HatN2[0^gWٓ@ n{po^@<dm9rѦ6׎Vv. Mtd__X:߼O:.:@ctzvxyu\@S{cOي/J!kg.{4 gغo?]˫YS+Lpן" iퟄP#qu όe-e2kB}-`X6P'k< ѶWXWy=,%Y!Dl90Zp[7RMSMsJ"n;$qr)@K5(ujR_sIZop2" {/FoXNЯ؉;lb\و_zM R%1N=B6\R4ʽwC'Sergpҷ9CŮ@??ڮmGDH:qu 2utgtnr`=:> h| RIe.)&\eiZ'͝C1A" ~TpY`<zS#FB`N_Fp^ 5e%V Dp}ZVK8`kde\a;>ݗE/툜.ÝLDőSu0# NB5Ι0>MBS hM_Q#Dv,? Υtޜ.Y0O ! VIzߌ~rL6zi/=潴4-CH%|޽@J83s΅6[rLOqٯA%(?wdT1bC:6F/-+feYj q!x.(u8솂} 975"rIȵԗ[wT;]sʮ}=#۴+ߏ:8-hϋRAZQ 枍8 ZNJ(YR2q^7nB3SBo%bh5(-^I {yׇsxv)\pVG{VN_k}'{$DL8D@ )uv1WJ؃(~$Nf4wb*q<#K:RK1):n`5Eyѱ!jXڿRP}9,D֟*{IR%9Ē5XOn9J{3 1^ zDBeRW"nVxU"KzMO|QX.cWLOi5cKhS݆Pd);D1K]M.2t> \ECd&nɋ:F3Ԭ mɯF,q[V 1s:wLˠP۶g 2з[)F`6աHK˧XB Iw Hf}Y\l+^p/'}x:.9n\ ߼Z^ЈR) x폴E4ab@iӐv%9а5JVpZe>L~,)a)#DDLGA>&LX2*WWt0dT%ܼla؍58A f"lk{Jhr=kiH9n=$1iccZQ8B Y;qL R<=,[DifȽJR[h1FFhM`Ė$uCiHKleb?uEvӮ/,3@ʖm|"4 s'%%Ÿ땹w7__`vs?~4u>N\Ď2J>7c& C =1f`RLN[Xji* jpTH .ZҨcvUOT1"ǷBj?R jbb/" *z4ɔyӍg=J.)x,}܎ǰ?%ͬ2)d!T ħK g*cxiP4 ;(K:yieU%_2TMGǙ mEsݾR$ʻUv 5 ̕$`H2lʚ'-M&Eux8٨voy0{Ms2yTh_߱whDJzD54LяeK?%f:H%D>9g,n57e.2Wy.>m\|c(XQEڠ}a 94_O2"hJZBp-a| ]M 13~IZ6ˉPnTUXy)IYriGkGg"-pUUKïxW,>rV `s$mc:O'I!Ãװb0[ :3%tZ$4p?[ˀw j@#P"bFq #"@zg&e֐b/L](2pݙ9mKJ@awf83rZ `GW K˵x#KrD_N'*&9HszAF0pSBm 5mQF%).K2E`FEvh'2Ho*V~EewyS:|άDDu\AoCj^Cfxys!Q RI_Pгi[F4OqN@*w}+ZV=fk/<0c]nGs+Des阳"p23q)moJoV :ob, mw{A~?+'Sy)~QF sG.;#(+xد-!1?HDP®EznWI 4h$04L Q $_DӑX!L#U,PqZA6 xk>oK!;l@sDCY nx)I%П31 4':iٰ忬Td~ Pf2%>4f~yMFl(QssqZCx vhk/=lEQTtLG,eL(s7a ~'s zS*Ps% ` ]AY*ħR˟NxYU&s Ė/T@Xu #j1>!kAIc}nՏYUq$6M3pǂ}]WpGRw@ms?Sb h^RHψqo@`Î)1OˮRbwY}3| q<.?(;+{bzGwgӮW2vƠ`q jUv\)F8徤ԩE8}f,i!h(ưko'T0)`7bR;AڤrCg^EUV#A@vem=r9MoAP6Dvh8`Ɋy{b,tA#Fch2(1B ̀`Y*¼-3JUL4!(hن<zeΌǤwFpZG<(ZylAtwr"JDџm8j!`Ь]R0`kb G6ze!qx[Rd~EhTczH㖜e |Elш PsHfl[^QY83=(xgHoVoVxؠwYQiHՈ&ut8Dc۽׺(!tp RJOilb=ae "KX{( (INUP*D ?v&F['AniM]+?0(;='m|}rǓ=Md`)4ws^rR^tl LK[drC.E8q'v7̮ċW:|67g}\ACg+I@8(6pخb1?:(B/tABqng l&¯h`r]_5q&luՋ3t<=[SKΌ9FrINO}](~2-GԅǕ#>erD ]_E@7sRHf!h%$q/\BD˗T/ i0<\m_?fyE5UO[HUv: uF;UVb-LcXB=5`gYZ3267eac8f6c386f1273a25dda6945c05a4316271d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 442777af1d22d62051b5d22bb17c843ae799fef6 d00c2b54c9bb61235c6e27bd951dc9dddae4e1a8