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 ,,)|d4 ]/ Allen_Calculus:threads=4elapsed=134.172cpu=363.652gc=3.112factor=2.717zXZִF! =Ķ]ŗXiɟH)0%o,Ds- h{)?" ,Эy0܂",3rŤ/GZoDGIJgy,c](wN(l˘w.g)QqPq.ogaW~E@xʴ7̟% 21yJ^xfD,Y-1W ?_)iJQ!]`LYĪ%4 ǝ.T ukۧ!óH&&X) T)b5_2$xhPX;Et ښƚsfN:S i`6$.v1.Bn}"̝Kf xADo >K'!/f[1RLl<ܷJOy]^*YaO jMOpvWR7JZLz$TVv_HE0`5. k  -+rfN$@J0ep H-3 1hIJ& Rk3s,́1X{*TmNE=Ip'J7"(VG~z_Z 8B`}ZKo6'\=%eyg5շ)+Vpљ2 u/Q "^f_jǝ!:HJ8D!IinhQŀӳ#ao ȿ]T59ƱW66QfNW %I[HFm;Ǫɺ;tZ\_]zUY/`v ,'/>`ak xl;]VU6>]K(}\#^|xDU?M`NEQzNB&(SD&?!>dT6LU 3b |P IR+T<AnQ녮D$'$*ꋏI)7Ғ+y`}+?Z62uUA;/d^v:AlnKJʐec[{\b)(i4CׄBU0+햕ܮ4[B"x'~:ڣVT[Q1 ) Allen_Calculus  ؘ8U}aD&3hA OM))GVO~EMGp= TtmMkv9A~CraaNX=WnB ~UhRH$-H'l}ͣtOM vՖqom6+u/RwTNyh5nT 7s2,k3¯%2K9P%D 2JE`_$\ܑikt2"oSxwX-MH l96_5yibAGqg1CGɺ &m].pˈI#A=;Cj- ~@z&pLZABcdWjϿ6a5 s$D DsэFQx(V3FB{Rxߓ$HPx )v{tvΫ)O$H-08*_M W-rIvy7#;/I襀-~FGI}]`vl<^Z-6!Oݚg:Zw*?YI+wBf ˫Ŕr*STy]^U hŭ߬8}4,)\飄V鿿U>?n Cz:³Ι՟sA7яӮ-Rv7DR;Lj;!J0"m"J;9!7\d^3Hͣ<,oFAxiaBjek^,vyp|0)Jz]Ȧ^ecUQbx/Cp%H$;,BeoqM8+~A^ҙstCbdrX L4. 7iH <=2u T!#ܑ(型)*B LNwU:㌋]=a= ot/%3>+B&ǥ jv$)>'JZg؝S߳BBEgH Gl9,:ނA Oj2o Ʊ$?2fLH`N]em]05VM^2~ "3+>d))R-vB 8^Ȩyt4狽aq ӓ0@Z$dvѐݕ^ ~zf)tiB ΑGL&?&3X5yJm67QdZH$[I:e2\K[,~:h9uY&帵i-dG))gN?up)Wn,cVSaS^C*p f"xFނ<1,O>S*%|$2X|9?jl7)1,߼ MeR{^oS41,ZU= ĮukJ5RC}B̢AyB0鄅h{RC5AԼH\EqϚodgvw30m^陁 cuԞ* ~fG6opi P3H6=.JReYczUR;yV| G){DzMny(L^f͕Y(EUyVNBM:HKbn +6mEx玂rͣ'JfaHS$R,#C52Ih̆e4h8k;_Cf4ӶhRy$5#ewv*d'L7Q,F_=vuU7d\H/W;|?A8~{,͘56/G&ȶ- źK0q&b@r`] CeʟO *"]@OS~: ѕ*/iΧ">9E%8 @.ȯ5 LG\j[3 ҰY[m1A*{Uv\o$!H?Z;T2;~kN1m+JK8Lfq?Tpk ξ"}*$9'`)LQ DGlFgږ~o1'ce:۵0$5Tڄ%#/@N ڟJy-a` %q=AUAp 6{"eM;jA[]ı[wed/<(|Ƣ.0|309 .eډ͘&(t}gP6lm|蜤:c|Su>zzcf=~qquubueW|rFA0z3lFEK#RFEl2Q&#,-SGۜϖc_Ҝo]^\T hcOI <4qp qNL?4ң󰡷YVGD 2RŤUo囇nKZ} >-CiGFd@XFEkr<*yՀovν&hwk, !Ag#-ż'~:e5ʋO-x[Ap-Xu Gֵre%F?$WՋEB` ;紹ކ:#".b}V<04yQX=҄a\(ew~>l_,ۘ?@HNx;u>•w E7^Sp\h5ڹ@ ۏW>khc'|UO N_/Wd/ O;jkfUU>ͮ"إ8ˢ3vRӑ~4s4}8R3okfjJ A/R7\asc[7 4/0kKa֦#ܸL`lgs oB#*Y'>*a]d tlMWwdTe~鵞o@KBM%b|ƥ&/x|z0ܔYMQZN5"2rNAFt$\} 0@_~W V×y=EQ v&O\f6 [U.\Eڲ_6 #K5a:aMD7 ҋryD9&OXBNq%1a@PU޼P'MYi~ jH/5yƚ5HSP5$c_/X{]yڞ .,ylM}crk#8$ F=%RY<.Ye V0ڳ(cK~x)"N{Q =?f l^XʨC Ziϸcٹ`Mޞ7m[bߵ@;_n*cu"}a䋍ʭ}BRĪEՊy-n#ZTMD[OY;DuL5hB"n.4#pk»@VQ3H|cVa?$_kqd(6f.S9I51c9=D>#!EtDVg~wM a ʖ75ޓ 5';$H/\2Vvw%,j]KDQL 06fG ]}2KLt@uPj.޶* Xuk[- *t n!GRDutA8zi$iG/Y/|瀳'yJ(e޶ ۵D+ƧOw;x0_C }Džq҈"AB_B(S0|vvWsiX#)(RrjxM|c3 D&o~(Tu(z579d貺mc%CוZO_gW{[qP ur/3Zh=yGD b*jďݱd"@757`7L , /خߕnx3="x>3ɳtbC.7].ddRs#*pK4V`lN 3T5<0j{8Hskx%]$grv&ݝ7k%aH>Np>V@!U@'g^#=+s!{)xWu#'r@.:&#n[)tv j́ÛI ao;mr.jS SW| Az]iU!!ĻG}d}|ɣ ЃKA0{dt !}m~Vh ľ5brp%̀N$eGhiCuWF]tE[M:&r)3RLw E $TnÂ2K:"oypi\Ik0p7[_|c4pԸߏB6Qw#A{xK1./C܆$ۄ MHA /4 .,s75Dw1Y;xr_.b3/CAF~f`l<,a߄{Ro7:nz6PO .ó 4FJW1|}ӊUBTV.ةQ9A) b|yD-p=<ބ|$RW4+J(5GĶ \@/[yg!>čD-]$CG4wLMvSJQOCrp %Wowui,ab2Mm 2?x`PlE{Am|@/`5+%c[w}57/RqϠYed`,䚏%=hR~EpNACyYImeg% :P?"YYaVݡx4#G)rS`Q=Adڋ!ڐlj1Ϟ\g00P~GpFoo#jWӡu7u S||Es;qzzn}j f R.0.K&(W*-/\Q*5! Y0S*z 5rFHWOߺbN:͇|2@՜?Z#ug>2lo]Njd]>HˆܓD^+ծceI ciJC 6|b>'#=St^"ƀKmƖNEn 1˹-/)rEP)f n'T 0^'G:?%˗51{Fzy,v[.oLlx`sz %~Î%RWIV,%.AG\Ѣ.sm&vzW7g[i1od"I]k|K!AM#uA8՘L^/:.>b%W6fXǶțg1-:/G(JaFqyTɟ^Os lt]b^p=9b<A1O@S tN -sǩw5Dx.;/;Q -SrrxAYvh=/wwQnIE4wdgBl''P+~J| o?{+h020jl?S߅c6X}Ɏ6?  db/Z]'pNjP,ibG/rwd wS鯇VD hKuQ`2(dGG)ޝg!ǹϻ#FQ*s 4r lF!gHʝfG 4x:d9<ŕIJK] ȼU `+A|CF2v)Y!heϐ3,jv$mDnϣl_[ xv ] 9N5on bk֊>=cNo>¢M5vbH7I4;#)~{hٿUcDp?j,DRv%ZCskphX>$޿%mjz{TMDU{F !'br%dmGeY,MR&@io]$'YTErk*ir4 cir[C Bͱߡ_ybܐ]ٿQoFؠsuӷ;͓Z~ m+SM3@\_,@h4l~,~h&I3o D6f tk IL]uM <؞VYhĮ&@ɨ<$rv er%Q%D"?l:PqcCd$h9$1_:T{aMD_h-۶n< ޽; :Еhqfa~6 _ϭ\C;}T]8xX4/4^y3]{. rZ59ST.O/(61+ ) EH eeqbD^v:)KwzzpjFvE"nF]zs10|;ĒIVxb 86CGyQkChLuN"k>Q'_.Ж{!͗ˇ3 ?"5S;[Ӻ7(rMP'0=ϙ [ڲ E HE*۝=х83|inQ7kuZs+r׮Q֋"*/QlFSW@cBD4d{b=5 \?LZW ҋ[S*Uې(o3m%D"ä+ϡPo8B' k;b8 Z5^Ӵ_)ʻz5͔;gǧb-υiJzoa,C|f.o2t4B5gG5X2u=?jFie JJJh 2v@P''xyxmw;2v\GZ#a_ڑN??é֍5ӇRH`ڗOI_LsӛLɡ].|y>CoYΙ)Aij0eQNƒNc8#;ɑBd1'xk u[8bf#̘$ R C[/#f|T>~sL5i; 5yWNHqt~w!*'~zfφCX}RJE4mƶC Dhp1N۶XXg\ߔŗV"S&jxm7 2fߡ{Siś^Z i>HoR5{}͊z\( N ӟ(cJ>y?W0 mwMt^mld P%&ttٵ9x2fɥ1R'y]m:r0|7XN>3rq.V zcd9мr;LBe#I݄Jr: r$KQ!=&dgW_ 5Q܇elip(ʍ=wX-ujtP[eşͳ*y^v T@r5:QfY1!f~Mlٱc O1V.@53|}(avְ׮rA/ߑU2z2Dw^x`GSHMw{(djpڍsEH b=!Qk7-dv;"6z)c_Z -HQ~ݘ9ˣ8 0Mq78NbTF)ܹ,W`+/nsѳ\;У|NJ)ϏZ,6|3Hb^>K1bU@|~(/PDCbyDA֮\I=y6Y""T5٪^դy{U9Ds<{Yϋmk弱|F N5UĺfO)ALQ%'&= v2u$OYdy|'!Dd/vd jPM7 4VlHuԾTenVF>_@Y. [Q*3` `=OE$*Aa1E~Dk  **WɍBQv<$XIcqWbCx$5D 0xT6O&EubN"AG!YrDC8 9p(g/h"kB #j7y"y ]staA sa&PkbC$rܐxl!~&B?3Qç3e9Oi^pT|,πR #0[a`-[SO2YK޶G0C *ڂ;''[) Pnpb%Dq%?98byͽYv_w^En3W]AE䍟"f&4_BY,ݍvt,Ke**^)d.sHLlGU PS ̺'1}(f+ 5c!jKbOr7܅3a{zD@rD:˶[~LTS-yC/zc!PWKGo/Ksl'NpW 4kmA>Ql-#}YKљDPKEҳ1/B?4xKBO쳖ӧȗB.35c#1SVt&İ嬼CtJI^R.r^ H+xbͼ9VѸ{ ^7MjCC23h[i,d o]ok*fC~[ ^ʺ jLFC 6I>u+Z+r8h/jN2+ͦfu/>VNZX@͙";UO<"@\F\3lnFyr{H^,*PHGl%,iGu?\%(ʬPG4|F(ܫΣ%B*y A3qؕD-9aPDAQsPdv>ypwĞY'* NXǹ3A@b|{-<_'|a=h @l'_6(XJ+gCbp=@R w)k2#!(yk G]$?@4 dO1>UXjquX|"4a)!+4(WJsG$bdLN*ˊ"_vJ!؀ZѣVm}axAVG>$'! Ive5F9,f^^*l!1+-.Fp ^3FHaW/%l (lz-<[}Pd LG5HMϻb"#yf=z~M?*/BOgaGKңWɂ.q4>st|;CK;%G"hq.>;C\U:6suqHVE1\"lŧ8No3n})8"y e_:/`N/(f6wh)飔`U(|kά;'ZV+E@]voo 2<1J1"伄>[FmY@"wP^̮Bq`3= )*:HP0%5f<o&=d2#$E$.>4܏qx6ޠ3)&JOE d՞О* Y(`ϻpH𜙸 ӕYT #gTH4Aibxa{qTR{YGpsP?n{D1&$jhT/ٖ,6a._I$-]Q5;w>.]޶D.< t^ _z\ݘ{''4jFx\Y_;W.8FI:o[P{N =\OQɿU<-g񄱠 e_PN;@ϣ u[2ԥ.9oQKҼ_ΐ2#碆lMW_q# rAt(Wp}c3KT0+WTM{ kup= qa#%q.!wyx]XwsօQ$O6XX}A2]z-AYlĸJj.!I7}yX:)ȊYqUB۝/>r5ݷѹT; Jm9&!>:ذ-{ĝzZ2 ߟ6l'8v Uo$Mgw~1I3Bpߏ'ht_ j{Myx<]LM9XTbS$c$C~t©T YƗȟGm!qS94z1H9W<"FƯjcv? ' 8QXrZpApf88UhJPIN^ m(U#4B8Anuw3}Iȭwжuܼ\=P۳K8nȞ9S!szlk8g %h2לUܣoA e$Nd<0$jwM V,,U ~,0@fj*DjbD6}2|,jFFEv&1N,vj樊\ƝD C28!qə@!'j\F $mWCY}61haKl;Ql6u벪OQSYjZ#Rs}eGӛWo(6R'6FX ㌽>D+`Lc[BFYz'C8b!~~)'1 H{v ֨]1 OKwuJc zZ=}qmcfKQFKs(]Ms~*V<&ڢY=TܾʒܒpkS+0j$PKU֜s\ŽF1IjhJ)bXRݻmI,z>P.Ѥ S[&9a--tS(:G=^pJ/˔);1'LQkDy<kۿn {fY{8AY:Tѣi>T? 7tŃ\QX eUr#3nсs%i(mۖA6Ρ 5Y8 E\(aOV0wKZ4tץb!Tw [y%mB~ud{IFwALȱ6C kZ]-1P(TBVRZ8سaR{il 0"k9(ӾQE:%Odh-{Mg'~y. ([ Ҧ̽!Ѝ'yE 6ώm&3i1MrT#}]Ivq7\Rdi0eM,$8.}0kh+ )+wfoF,^G/Gu,@prǻ=楲(B2j *$K Գ,Zi&a:ϊbt,& kme!dWRMrU>P$+[ Q7>2{F#ɩ1[1͡r،[BX-BVLT١3 Iڡ'1.}fciˡ;Y@zY?5R=ʏ^k4~42e]9䲙 J@ijMJ{{|I!@풏DvЍHW0k 1_м<wd +EKKːv!UВ`v kne5%͆^Ň|EN 1xq)rak).I4ˈP.V(d,cYy/9Dp$; "fFТU^"V 7xk[kГd*{ 5[JȰStl_+͔7nuXj@;𰪳5@ӭqFr:m!$u؝$%![&]V:Ak^n$2j @[Cm{\rVzXh[QM;SӇm<ѳLTUgS5'jn=tx/ƞܢw,jVAi=1NGMᾠ|bG8Tl+dq7CITs^yP\x_S4sB,_A;M*X "b lY-D8WK=4ZW=6dTecku&ڇ~ MFlP^/9w%:ɕH+:v:V+95ĹX |K:%, ԮPxT|/^a+o(-8[mCJ"1sz |3_ ]vlEVK"3쀌g\oc.T"sس7Ė䒇@~niTT T&) L { gЅV/p6Ǡ!kWT >iۥρgl/8 ~ ws:)4[Zp(E^h#UlkM=A[ol KJ9g_㘃S*[yQ+Si^p˂Zqn͊_~]DlM'U2ma8HaD ݝ0HCL{.5>:,䧻loO uңk`Mܭ,J1^ Oof/;V̘4S֍2Sxk4)AȐ֜?e|ʝEVxPkoMb=)!n#-fZٔXY"m;ԂK2'j]WN, 1zTC&0{Utv5PS+`EPMQ$mxptģ`f8r!b%] ~|D:lBolo(|w7WȈz6:3_-b,籾')"K&„ҙܾ7t׍2>>P$6H{KvKa|A$PPLPNw*ԇ iMؿp.sÆTɊ՛]m5,x0&[eYKpJr3AMyN/ vekb QA-F ) ټ5vOm6!oR E^\>N_dd36|ʺP75viȓ@MY@E4  [al*scpv!30!- 1< yN hf&p8E}5V;唋xqZ)jdu̇m̌s)9ǟnň}akk{')Ll`4 kvOb=f Pk01wnEc| 7O]Vf}0RmhR}k"yaCDe4oݨHqp"yvKPx:;- VW&@OVILa gŏCQa3e 5hN[N{>dQ(׿N!fCCԋ"IvU@y8` c'i&g[Bu'ϓxPv6  Qz%r0@X-=5!V#A\yZB|ܓm a iR;/)x6JcJU ͵X*eY8&bC^S,K{Dmw!c 5ӨCЊm;K uYP"b#7%SʵcP>/YV$pyY"ui%'Q6oA.bH'!6f@hM?|@7oRK٥~Om'$~ȕkjݕ(SN({=;EϋyՔ .J7m ACkM\Pvs:jM{vRXOuxCDPc~x?{TJyoTosn*D"Z+FMZkRZ<!P0^Ţ'Ĉ]Yzt@h/k2aJ4+kZ!gMY' @zH&6.ͳ|zG^Z/j63o TjK&TC|uR1*Wd%#A81̽M-p; Vw%N+Anp|ѦU(3 T$P@=^ʴa2{W@eSF=Jw‚g7-YXǯGc}6)WՇx$wG+B8͹sw" ɶ5 Ҿd3\oK$^ }L-\k',4>urXHZ<ugs=h竆̯ Z.@^'٤ č3 vXRbcH5,;&[G?Px[ אƅ5ž[fp |87عۧ؇9I›qrX,%l*;)gR׼kDUVztæ&Q dqLBR^$TEW^(O$.(&6,OAfT$z].;(h[&qɗS{@҂ &菔z+\=N:^!zuٕSdlc0ixA!fxO H5UAF(+XGׅl&E<.Sl},̀=¹hO:v\[>g~Qt?| (Q28բ4%m0IFihqgc8P1}9+!_eF9nM8hyKwS=<~J #t"ML2 [x:YzB쭤H_Ij#eB$D;!Vlcb%Z pi}R7g:4L}քs躥P-?!"ɦ>-I&q0(!(VCm[r{Y! jy޹Wc_SYnnlCr)qI3'.3)?8>D4W|p@j`4JTC?dy1udbLQh5,'k3'˴AޕWe;<]N*x껷n͉٪Uf GÏA}x1!GF_e~S`)#)/%'UE J(/; [cI! ^Uͧ3xҮ! Z{5\{Qx+>i2 |M=鎍Af-b%PVM}y»fJYժ䉋S ^DIXzRI[M\R?K<08C!,M?1BXu? {j!w)6j6o9⏈HPC$jş~rJ@1=(9Øn2*VSB3T("fSNMApW R[&5|[y:8Ee_I_wvA7 zi _貛N*n6'_H?|L!3vA]hl0 KK3jR g]]3%-{7u;MpG+ Ѵ>B #wMx´,8\[sD@ ##ʉ+2Z"> =9Z L "STꈫ 4N#^djWٕ+uf] R|Ϡ*pkje4Iܣ;דTX7W1CN&YXGU/app@kX1zPc؎^>zi}עtW=Rfz߃.Z  욊qr T^2K< .~M.l~FU8Oxj2O>zeEWr?(;!"E a `4qkXa0-$.\ul˩|轧STvfCK%_$10򇻸8RuWvnxql:{)^ֈ7yPK`eyg>ݭ) %nW&BQ9#r "%9KmjDs.Us-LUhh NՀMIIf7Χ-мWU54fo"*84g*xㆶ}Q *9cW7R์'3g=H[\E"YCOv`ۍ9ZUAg3[$YSSU*쟆FlE묵bw!'h~fa䌺[8x+x4ЩZhoԱNPr¹6w~N.G\z+u/OJ3g3Wt\ySK kh i^ȓX5pmW޷(99 %ő $82[H/% 'QI& k3TF5٬!M.Oa!PL,[;@3K{&Vp?n_H25q KL?=d/Qw'K7}>+Zsm~awhC07#+ )xBEPJĪ@P\w&juȡmAU3x8 X7cn6ƺ0J "$(BtL,"=/j/笯{eIZ)7q^Bө7´+I*+87|=xZg~,/3nnAX_y2Iy<9OFmkuUyAN]wwE’4*X2 i^5LcDŽlL.Oz^Bilj3vmmZ;=ZáI ²]>2nS =d>\ V逋 ~^4&if9}T',(F̰>w ve14"Jg{%/-ajIEdKMzɹr3+ƧįqqW}G8$k5'aa"58?& ?ZrgINz;ָYN甦-‹z~^> >1jif+)D$HlxR>wA{Mį@#i){W^b=7u+Cu;*Œ.UqOjSHEAhZVOPOxĞ vEKێQpЗBofy<830R:T?5JRd GЁq,W |3l'?CUnH[Jxѵ}.3Ѧs<򍔌 Hwq Q>d5s>iH]7гYn4%@Mñ|}bCe,C5?@'slCih|IlEa|e|,/VA>}%1_vF;w4{%]XaH0P^wvg jA#F% H\X&Cz@&ok6F?͟% M"Ui(_7fRT8Y0zyDEԳ3)>nEGy_P(&N.NTMYggoNL Ɗ+0y܈o C/~EP+$ߨ} 8wM|oH Yw lq< |Z~ǯ8Os4@RF^C7{Ď٢SKkk]R}DO&n^HQZ`C[HO`nkcTo2wP5QbncP7zh-) 淽Sk!0wG~ )Sܩ y1߾jv tcÀehOԷ:EQd'3ɓA1!*\lOmpyekb;yvQQ #UlRE^_pldܫe|`K`Vf:jB4Vo-D?"7y##{Qj~{N qM7[37 t%(_ eQ䚯o@ HAT Vwra`È_ᣭ_OحP]ޜsw~G1-K?KXQB1"Ax:CfσB0 EW[ k<[ C+ 5gKҤ:ygIIXr}[Fh~5J:ߙ"l^ /D$%J/V6"p4Ic≹ ]bSF*~_<@ .BGBj,") \z(d^$B1FB^ը! gW1߽{Yr7<L\ +0ؔxh޲ o' 5%fV3sנklƔ%2o*܂+^H=^(㶪B0l/󺗸w^?^b-B2)nY!e{Awg*a%,\Ko<]̕AkWq6a`muuDL=VWqPQ:ݑ ǛQ6uyb7wPYxZMrs*^O˜Kw@ha!/YpSY%]1#Z]kݿnmm4Aq )y^򏊕pb(^+< @vlJ>Jum[Kxfb)E}6@u+lPwɝ#/nˉ#Ȗ>:z!򹵜lP (Fhu_mûiS)R w/޻ᗺYx~44)ĝLj U+AUȵNT"! lxmCEվZk(l^}ՅIɌ.Om^-"hOFܓZ=ٵޟGEdp͸&leLc54]o,O>($n9~ΫC@r !6QnYGs$wjeO5 #1i∴#%RM'M3#Ԍ4?*!dߍzxLo?S<)}R_t#:IQF}K*reHco/X9ϨR-[=gR3xc'+r/DΞz d&}~}2܏Ņ2T(Cݓ:KĈJ'Zle^pA 2E)B$=]{?#~369tb7t[.TpoB9ICﺢ,>"u*| _oRՊ#ut+\۸*f 4e'`^{+izSYy3iCЊ<\UySBj0({dϖ>kBVuXiL(녦Y9ODϛύE%~5ZGLe+ 1a陙G˜1kF?\v [C!,TL?9=;%a?e]sebW?Yr4JF3 ƽU )`u9Dwkxm9;_W-|B1ڠ.1jQe-rG. }:=gpW:MjUP+ɓ[%^bϛYT =vV.JҊq5=;"8Cκl&tLJȾ Na%׹9N#9oovcd0qQU*Ŀ`z%ppvY@ N}yyٛ͟PdΦO[gm WF(EPEmL,vB:C!]asO\,,;`C?֏175g+e8dt6"бgnX s({DL 1\)ŵ581ϏS_J\PK tФάh?|glHk,d ;ιifWe`{QP\Z1N:eVfm|dH-CQ1Sb=CXҦįhh=NֶEZ *UNLIY8Ҝy b z445qAq6%/a-ȐN9xNjK!>哯&qUYe PRM!\+74ڍ~ ݂?XlB֑M5D~KntFt /3=Nz/wN4@4X{x9Jv ^R\EsuB8'z\ra~}>ǻ2fUjڡ?ld?{?Z1Xx{yh\1vˋSе?iXW+V1M;B1|k;zzl%6¬/x@L|Y; yθOnhݿS{ʀ=p`+cܯ}J lMݨ1~}RfY[;VW@)zEf ޓu"6ζ* sYT5iꎖVR;>nfQM*HM]س;ny*yXAb s:@iwј$l]yˮ^GUJtU U>Z\ظf~u]㛟"(w:w`k ;$ʴ.$I6{2ra X[FxK ]Yo:bej|.J50!{j}ʼnA8D |/h]~Q'F+gKԔ^"HsBu6QˌYӣ _XuP@s-* [ݤeJux9")mTOVZ!oev]f"S}UCV33*^ZvfHo6{hDH܄Jb`0 jaA|@kĨ ?NSDyɲֆׂTĆ: WNjxq K6q#T4bdZl=V} cDBtRPF8P0mL\mH8xX] ݟ49<+Jf9[gUZuxTBs,<{C=IбENc9C*jݗ1k{j%⚤4>$,I=VB#/sl Ԛ,T5w4h.=dMuĒ@ y ֐!q |W! i f%5%IGt `y=/W3ٺ$WN,yLhwh LaYǪ5e946b{Էĕ^DF?6g=NW<|#!~@&#凈$l$6$NwJ ڽ2#FS#M_Ou:ߊH֤ (=z=3+8ґ -ל}dB{~^27͛&W}U@?k[+6[6L!٘ȠZ6dm& /L {,ѯ(GY3S&k -TU<zF>F㖃)e[Ovbi5Ww iӤjaqpO* 9+;PC~Fr>j4GOoJcWOY7ǁK@~Eh91>=d8uBu6=/27p~+_%fcAo"x_630%fڨ}Wv FωӐP1'pMCϗ |1S8;kwkȡ|w# *s?wCĝLߞ<߇I#!Z,FP -NC]Nߩ,"UC2Qv#Inhiع p<-qY5!`}yr*h2.16C%;8t9_"`2XLQ9W?zBGq-#yR;sG K$~q95>;'!J%GA-R~>7-  51O E8ϷX+WJ cP _W?0q+Z$M )OEu07HS_fe6oCmEaBc^Ee=Jr58i-[erБ&Fգi;S>i뇴f#JŨn^CWa$WZ;}|S%o_Il..F2hw ܃)dZ`5u7[@ג?c0 A(>G~BeVcEH^(V^D[bpb1,1aYEgZmܚ^_7}ޕa S18%~7x*Vk@4^L8- 5G&Ueq!IUsN7 r01?qm@aBXҮr~uO@Eaf]Bܬ0a޵$"9ԚP =.ͤlw?NqGLӓoYDV: ' U@_TF_WdR"X >kKIߒB82#rQ6u}r &PbcN!"=dTeW@[ҟnl!8ϼ{13N=&nl㵽!Q fW>1]!xl/do1r梊Qɕh ' K ='۩Jٕy 聑\6㗄!t;nlIJry`@:@9 )x U+KU_kQk= dL2;yל܋HׂUNkXacZL/ny/2` 6|Z\O<(+hǼ_i9ߪ_l'VDs1G) ~ps1! va.҈W'My"bn4ѨүWJ;To#GW8.? ^Y1{NK=75eUIsZtc9l[W\6@zO˃MbE 8{.jo˰5@ʲ؍SxoЗHJ*KyŁJ:F~4f~e RbXKxlUW0B T,R,=y𥏾oz|~My̓ʇZ( e-U\EÞSlٗZ:QJOjsŮ3Mg(֥Xvp|CHr|,>;#@MexKnt J[Bq*MR+$C c{g7Ȱԛ?˦/flus|]*' ^'-s83P)-x9::%,=w( r憃Q1Ff&w iv0sS]]lFN3T`h@wT@AG,?h\Q@Y*/s)=ojAdSq,IzUA)@"S4$x7Ynq;: P(pbp]fm/jlApbiDeq޴pub*]M |zYy+ϙ]VoKfƙi=jUkgrГ Py! T {ɮnցeqMXf|S~2'J2|Ps?ƞ}iA>Xc`%%#jRry]Y}*H4V\4fC5}"qY?Wh8ΧkW:2Џ7H5ùUݿ,U.CkݦgUZ+KMXI,HC<27%ӟ-du 6I6 8\ʚ7[fBn;!({+9:1ɾꎭ)~7V<:@v !s4~;]_7H|+Z*{ = hA.B{X@~Qc'L–*멏&" qWc|{htN'{5woYݫ3WJELR)${`Q~ 2:_^Du a.]pO-,ܢ_BAOs'B_(xV؍>ؿ,aAY!8a>H[hZ&Oke2GɈT+- ߜK4W0Wv'βf)R]ZEr?k8Hr]QFӇRG;s#9bzzԂ,ueyұ}AΛ 'd4cWL↊o&sǩ;;aOXx|9˂v]]3zHڗ(ë DKHͩ'z-^#4"w;4! >W#$U+1sI>P-]!#R=zπ] GœE d(/V)Q\7巂{,5Pou-p vq#tФriZT8p-O\0BY?s|>VQh7"T7^4|h 94}O'mds:s,є~AAt0ԟ^4(, 7Nݟ=ǭ_e(%XATJ&.i"%% ]lQbKc7#y s\$F.xO- i*EC,d!˵ΰ̏t@yԴ)5쀮 #~Naӱ#~[;'^kGƈ$ʲr$I;1A/ iӴhB:{bX~ԅ#1cuk]"l1T&Fư F<^KAK6m܆p<_yb}j*S$4^ٽ;c󵮦(jk"LV*C%sF08T[Q4;E4c:?!gۃ4hVӚhLqBnZ DVž* Iͼg*B@]Z!~Q!KRq-;fw*_mN t|z "KC.o҉ƧS, 0cqY%ŗj0( "aQzHC!0QCV S7T&ȿ6h:FBl']_v3a-$P.Ȃe4DL"kp4g ؛hF187 4bhN 5K.'+&Ž5gwNXř8L&D!my]dG3`0ŋ. rɪCvAqˁa}L"6-=d^p[/gq!z=s|="ldMmML]\Rsʸ swX"^ YvA@@ҧiDRā3VYtf׭M%}}LFuu/%gR^S$TXL ѭ=$ ((],;厮wbY[/p!_hfoS oެyVڪVpjh>/Pܛ $u?~[ l -[X\ƕ|$w/nTT5U7lnt9UyYc9Æ%B3]9;/3y'uh &mP Q0`BV *EHaFV.כ^? UgA'a@nH4rlӌw B;᫳E#;_N]h;)wly 3ar@W?TW&H0o?6/:nQ;EL:5n&L߀mXR<];Gi!%J`9CU\ @a92es\Nɀ{ ˊƵkÆxBUU5$o ٕS5AWĜ:Mz(pא/[B#o4EIi-a/q ,&T (25Ö j0a~>%*@M+sLO;Pu,-͕>U Rakq0$N{}~jjZ~( @X]l؇Z=9gѳ/AKW<%MS&l}cL4VQ|D8Y܁Q9\0>)ڨ6vyh!| ]1VɎ~VxkUœ#i :ğĤ8Cq>G+qkv\e|d?;X߉YO>cy0`YyiH͝)H5Su[1v+ZewuլLmYm Dٮb`ԟg"`eoa{M& ᨢ3S̒(zo/x;74eb8n[{uTm.clqIǨ)^M hGͨsRU=oWu5Y9WShp0 B)fc\TuT1Eɢ)$])vxT烛LExwOX-c~OfJIuH KFK&ݟ3qh.̆ɼvX ȷX?$mŜ?ңʷ|'u;k^sheeo?xGmڟWۂ4|'<f(WT$pLNh)F LIkdLʟ X̗!!j.7]Z9#BXWgIHFA ]wұH1PEךђÏ媎9Y*84OxyfQZhV>uZu/ } L@4h.2P/IHC2 ʖ6t22jpkcM9NۺQ{T 6wTa#98=Zݔmܑ#Bnu " יaPp:Ѽyt@gaJb#Yhi MDJt_,eٗp0HPV,or:9tfd|Dve DSPZ/}W`#61V#yJME[3[O ,FN2{-{ޅKDi]gw{zM?y0]Du,^Q+ĤwIsib*cڛ{X'er]UBL%AjaÄ_V:Mͽ*U6ƕ?└m06Mn~^PPmAb{{ȍrP@lGC~cPBPci>3waLzdi""tdT= ځLEtoX;DbGRt =Fмj}Sbo]` '@E:B8XMX"@,9E8W~~ 9Xdt$A4/@LIE gvзffJR;4QVL!{o,Cp7KMZۺ𲜅֮*è5zk.x ǛV'#opMI*%]k C+e#UD@7&r3᪟whNw6t$eR)e:/cPL+<50ʓ/cÛa* э|Cܲmub8(bhջ7Z3UkpU9ݒ)I+yU @{ vAe(J[M 27En=qb9j9Zu&'`)}5)Qe2C)-Eˎ4_'W @HUqGS+W X*k݂6IM0,rz"@©6bR*wx&Yf%G' ?q#zLqFV_r̕rM 2%7}mmjm"I8tmFd95wQYt# sl鿉7a'vKP#LdXq. hTOHB?FtA2LޑH掳9>3V̽B'Ouf%BK+bJh~/Ɍ`Ӕ#<5a$G[;D^~S}jiH1V<Fڊ֪! |%9<&R *B.kUMuXJpa.wj|3I8l杖!pm JrQQ[!B;D_$Er\|'\$,S><S55aHi Q]=-tE y@3نOhAsQiQLjqea-5mydyOԢR6=į+fy+_{Mı;D?\17Kظ Z%(w,f'ӀU'E3' ӬpRId"ȡG ovc_;Y$EhYXXhy0;H./udˑYk5K?YBbCXؾ0۔:@Wh?7Kr.PlULOخG%EOA$#AHenks*8M\n47uz.L R1/M4!FH&d#skuۚgJ*!~e˅/(UV1!; J,NG&w[J,n{&j 7)Kt9P^c 8ƻ<t%KEdӵT`PŜ4-2ﴬ)Ւ|6U ٩I0g^T~ tv[3I 0 Z }젛%Ȟ BTQxڛڵ櫃 +qDb ΩnL3>bw*HQpy>TcgI*PR(HO<U24t~ A#w(hg9\ >Uv^gjKj$$_mҗ;c#EsNU{l럭e`y6y٥yqim?٣4LOWfVp-4TjJŲWfp x^?(09E4qNfKՓNaQ5NjAHxLd*26$z ] 8āy*=7*ûU*;aq^0>p]hgAº2߁κ&Sxހo\\.o6Mb-u l SQZښ;ʒPF, Z7pi鱓t0+}~VÁ@i?.By'UGQ?!OeRB=S_KbW hf6ғ j^!E*S_ZU ͫm+r~ţ}xHJaPa7vASSg;!BR:{B\ʬsIȣF `ˉNh /+~ z-jYl9󇊫dѡ'Nq ۗE>*^ZCqDŽd*!6$.W[)LoWp-rJN[3ΒP2DR:.8ÛinK/YewZj@us)~d|nN8xjgq ZkjM"5ޕ&>o`4u_bA ܆#x/\TBoIsLsQ?z뜓ʘF;*Ycڈ- W\g˱[8!\ǩlw|(d&LM x&4")^3>5a{ּHX{iRsK,v*Mb:|C3#"dֿr;R(APȏd,0hL2PQ'^rGb}iN/MqJԬ? kJ~/mx& d7g#&$<`ټJnQU!l608*αl8˄:Jn!bz]MQ&3FgEuil7Gbe}l$."5 ={Bwgp #@+꼳W^T$NhPyg[LLԠщ;=wx.\}[k_A&-0? R¸lZ/ş#ﻀflpCggE)dC/Fa3oӊ/_m#e v"GY 95KBOc)o]{#lHe; و5Ȣ 4S8 P ,l-xxeHSJJ2SՋyz`KHEz&tldm#fecvASQh̟br?cyHনR;`}*ߤd% M)/'TK0%ShǬ1~w%W8 E=A>Yd+.ny2~Wj2* HDQŹF7׎tI ! \eƲK!vL{G3V A3k}.ݛm PW*"ʝb4zg?u\h{8;fݬn J_-aOfzw bн|Wp ɽFοz?-FOB1j|a?lсCC?oC&Nܲ$ircLJ'6 dBG=Ĕ玼FA$H,C_Hv:̜Zxfj=p\LjT&|QhxNC fxeoI7u.pTSV8_fD9 uW qMR u?QZ6χ8#8 ^(xP9^0ho. /RLqVYO"ZIk?VQ+~e_v)=s.g׽0#f?'?O4Nh/OuQ-`Oay-"uءjŜ nKkы BfvƓ⏀!$mxCM\UYsth?Z%QExB|6jLwەrBg0 :'w+İjmG}0Բ$wCRLFG%.a]B5VPo 9r!0K=x ] rq@|ѡ=23e.޹CC\z39f#%[91Gw}`KDHQYȘ!Cpbæ{E!G/3J+Z0 tmlxnϛAU&Yn}W}cvnF@G0n`>/pX}d᳏* AI@~®5 V"^YK;L1G mrxxxNEKqQcF{iakA˶ZxusX|հ)Q#$پ2vX{yOSQܭ3:"%ekX4JtlMSu/3E\ӥ}!+n53W'EEQJ;".mW)3%E2t7snCCE*Ril%J߉,Y#s+;iFd/W{ "L4"R!sW4VŔ(N<@h+!B!#B>bA0EeAuш0ULCa/31P ? ,/Bئn0@6)OZ׮?~H@w|Ɨ'qT~1m2Tp7KKg"S (&uWEH|6 $R5R5fS=pߺ0^^jfuU槰ZQF@YLwYFةK=7FG$aV#:U<ф2Xϻ SitdPǝAzs$pE

_lx^Y $MbyRK-. 0\z d@Y~oH1~to#^6RnB$Y@g)}GA%Qтo9 .#h' nmZJa?M3g"B 8,HݿM 9cn۝.[u:%&G{KfEid{] p(N N=oICLklAOSp@4 |q@ѣ4(IfD;aU ˦C\ym?I G3`B,dGٻ !SNXZ*4yUϑ0eadKa!0WՈ+|$pK/B _Oڕ#GMwz{S׼wʧө.Rrg%;`u3 u6ll7X`FYG%S PXOp0 FPZ *ۯS o|~=$s(}g7m-j[K@i)sBaUr~്jxQ)`Y}S| 9 PL/ζԀ'mi̞6 f6=A)5"o~O/|0?&x]O&ևy$uQvҰ=tȰW~Frtȅ$yPR $n~6d^ {G2*P\6&Sؑݺw&WR` ]7OV:1qEI΀Ycdkn'@kqK6'ZȓB}4腳X9W`:(T/M@.|5}PAЀ&Bz(ړ e-JC|KObY3;7=#"x]`C0ԅS2럙`{T. l]i4\Z*&|c e\D^@`5elo#tNQ pQorJz48~ +aHZm{Xmjqw-*ۋּQeWŀczX5ItJVyh޻rH ]gA5~*<=$9 Hu!O8+ؼ 7+M쬧(+B[BU\PlWqc_1J)GȿYZ { EkQHj]Vɚ$ *ahĦjnVOPbaWҊޫK ϓ?Jj&iؤM$(MA@Epsqs 7&>8fW&g=,}Tޤmʙ*s \_,֘lU50CYa],w'Ϊ4)Ur,4 Vg`.=Kʾ]mOLgnO5k_OƙoH0Mg.wa~#+p_"e j}powiF7c eWwG{)`3r3Xu/Oe(Ip o߸]ţSgbn[HGbae{&%.i :9eeo0Nl4W.o> uB @{dMAXX`'E Ǐß9dlI`YX\_-GyJv|{Rw޵Es%3=Nzm8B瀥Ǡ}ND׊ZXC!5t^%x;qoSKScɀyGӢT)nju璑QVV!C|='(dJɯ&2޽& ,ꉘtN> q.q`O,Xަtb6zjFl0r5nFp}L ryݹ+yeψqs?Cz܄@w dqz{Rn,X[{u0U3 II84Cq}&mg1]Ϟ8ߙdJ/Ay{1?펄8Чen^Ru[&.oC[LRF[=݆ݱx|jZHXN$?IX;!%<#\Hcz+HDВ_Ν陥fm(rF^ bVkekh췅cX$>]C2;?Qީf !lEq-[{T RB#_/XgQi v>+[ a^So F[puӥJ\\ˋ_Gk`! "NߠwjХz\;h: F-gNѡu%T5!z菇mrA11 :؊tEd=^6bH7hor6tuaȒJq}B8aXc |~|kOZ62(54J!s7<<ܪ嫲'@'9n&L5nȎ| / *Bsck ֍)w1!V88z8O3q=Eu8+E}yiML58EJAb3< ҭ/m+ \X]D184aD˂&%{U`泙kX1ÜQU,@n* )2} ݭM>Zo1(5P|'l!6QMaos''5 $by"Y _:>5d"+CmS7OWa[9Ο96q-'/}O,J, :Sz4 %W;ШYϘki+pbu񴜾U;Q?_ZWuqg W4Dwg;dՠ3=A @>q 6Ei]7h,gW}2؊v[ mݵ!g$'cf9&4k.9?B5llcg+$’njI)܊ , yéSt?_C7}%DUʦsJ}N7ӎX;T34;`mH|J?:f$w50Wd/"+gi[TOjhNJFk%?KocQ*u']m t wN <#p/9YZyv8*RYj-/GH}]H414w݆?읟7=eY(?&Zn1D48ivJ<;JT:^RU^ n҉=n}'kR CyxV'xnH'r`z\ZՕY YI7R1Y7#J 7rNN50Uq=m&CLZp=HKiHl+^L2ȃ!;CЮ5"GkC;Һ@Y: osO.aSN +HRȄ{(n]F=+ad{PRdMLZ,gLMh(:ߠfwTKد/N׾e<+f[BA0&z*:rd5& o!~0$B{&VA-Ň^!T?c{Dx*mZ7Ws9+c|Q[М+X!}?ByU5W`K|$JdyLuvWfK<*h \OC-o?t$xy9I:_9J$+1/2cZoKJAfl(6e8,FJi8!BFLdj,j,h۳v 7"Z:c9RS4ۭO%7roǾ&+1nr$A tfmy+-jI6tl%Z/bIZs#&&{T7|TH}AyLC-\w5a N*盙1 pĶ5-lx. G;y Qõ˶Gx)uX='Y[C*Niqfk('*IL&/$g1x )q0|!AY$VcjjFqFj5A$/^෪# 1SB )cAwi{TY余NHC^#w1}gʷDRU?ܷI+؎ۜ yʌSBO*ƿ4~`KXͭ&}ͦVqtű .$s] 2U19V>4?gft0_٥ e8y\.JCx.,ԙbaa]23w~Ҧ=F|Yy"#NG^ 2E~Ql#ܘuϰHy5+9|3./f ڶR- AxZ 8-Po?lUZ5=q2s{j|\Зm66bᏌԙs8W1N^q(Nu6^cq:qiLqo`t%uPk0(0.H\e~XZ|$=ਃD*GB3qìp#nU_ʛ],}&1! z| aFVXLN9o| &Ďi d0i>J+6Y}\(g6OlF9TӳsȚHdw5}p-+嘎D#`) ] 7 ߉9mt0>cmpZtV6&`OwF RH [ Gsש 'Q/ڞBttZ^w _4=+x(kV|q/q?/u''FvIZmh/$xhV*fKm/SH3E!F@kK%$q2B -Z\Bs6]2kYP?Y)%e%)1"gͳPB<(!DL6q]qܛ6 ap̏JcQ'W," d1yߜ)|vgmA>s'w#vr cjU,AIW~}7ŗZNӐ ^ʙQ֮ :.i}y쇏kb8x7%x5߈a J! C>F_v۵OgY!|—P<ilwݽbV.1i4QdRrů Ҿ3MtfYsH}hI·yJk^`d @,?3p 9!p(cTnZ-FN< zxe]TI fx>){Gb8t5{&> 4hZ $gYmn#So02F!jͣu{d n-s@faD =8Ǽ>.Ls=W 10ax(;j`5&g`ri Ǭ5;9d{r iڜC7bYBIT