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 .;v$,4 ] Subset_Boolean_Algebras:threads=4elapsed=40.246cpu=110.872gc=2.3847zXZִF! ]]ŗXiɟ ^xe0iu)nC߷|0=0W|#U5d'$=k ;s`] }=9H]GX3B_D1 #o oѽb3j~\-pf'wt|]fe}N=\Xk;ze\v!lq-!0ӳǼhQ!Gd->X(i%F\ M×u3# ƫlomGب]n^GJ7W_J `5\4Ի7g`uC" =ˉ@|Ps!3(Uj%4Sw;-[Hp].mHߌ@D`nj1WH' R^?xzS $ 8eW2 uR.n pԩ?|iݾWh}|;L~OޥXQ%|Je9zUbQ:GkڢuYpVN)'3A7KG&x)v6T ǴQ/o9qVˑw/;ϖ | \#[]-C6ADv (?jco ĚKNF`ґn-R3e5eO.oF > iPrY!4|wnsПujzPλЪ +{s0-D !%T5:C148EDf/Qa ?ތgl"ɟf7hקʗgJ sEYcqxER}= s;'%?-Af@j Q`M[R)ӓJQZB#V?׉bx9RkяSlYsi}R(!>~Z-=k>&Ul2d} ' (>!\'. p$v32 ɧ:*H|%މʤ7ojU-^tq +T4o:>2}(.#Sf}D(cQMbſ-!R,}uߧ`Q/0 dӭ<V7;uUN6_a=jG~]ZF1bՖWLZ{zJvAA6#Ԇbz۾D%$;@L>sF岳u>a ~{1N2 3YT{kEZA8-1ga(jNBOtQ}^,n‹ld8_ mۨ? $0RfG 8䤅zcA QvZra 釜td(}Пbݠ+-=llP/XX>d}RU0~u(]>^*jO:F tԆ>i05o֭Ehu/!ԕ+koc#q˺ _a&k)\[m' dI|%y{!&E4.34ߧ_Cs&(0Ny8,wbI=8Խ$f6֟3{ l!"џVj'崀:pV(`]ddabpZ7];r}FrvGcx0^!40/#lD֠ŕ1BtWFY}VQ vgYZ7zXZִF! eQ]ŗXiɟjqNƣJ90[⊷*}I-4aOOݙ cF1a)üW~ӻmfdT}YZ7zXZִF! tT]ŗXi%BzR$Z&/'c)e,0 k![(әXRGѴ}T# 5>e5-BK{*e!YtZh4\V&|M=moUºݥez˟b=8`e;B2Y]0!v JUw)!A˕6p -&<ũ/ RFA?(П_f"0F#D_ ߏvcZ2eюp%Tgs!Qz %4j>/Lത ڠJ@L8vz߉3Ptcmب[9JfQ'725sxR4 7c]jf]5[ڛqgƳ59B+Wt?9^Y"I͜q ; Subset_Boolean_Algebras K ;k% lSubset_Boolean_AlgebrasSubset_Boolean_Algebras.Subset_Boolean_Algebrasdocument.tex7zXZִF! ~.]A-MՋhvG"uIBm5Ȫ`3 wqꂃe׵X:7mpZH@継-{?gAqo~PJ(6 ArbޗeW $hDk*k7:*+|L4 }FxplUҜ `$S۔m:+u?-/m LzGD6E'ɼ`7IV\A-_#/34+CVd/a뤮r蝽ܮc,6/`2ƒF_'͖&dz+HXbS}~FZ쭡ॾ t\ϼ])6F W;k% Subset_Boolean_AlgebrasSubset_Boolean_Algebras.Subset_Boolean_Algebrasdocument.texJ`I) -#ɡYxkW)So՗l])-Ţ"la- P" h"=IEM&uP>>7hA ""a+c(V(\ %*}MbTdLTF,(;QYv2zB-b9(Os̍bT; ШlM߅TP%w3:AҚ"HMG9H &xPW:}Ba[qXAbf<]sj75:NB}",s~p6,VCP8SqհOUIaXzvD!۫sp@jǓBxacaL%QAfHJ3B]&hTL`Y k6s >(ͯ *01yҵu{D}ɯ/*fH!q0)"zsZ[,kkg6aP)*M. ,;n5;ROװfNQq3<ݾdC ELYL{\`;jLs_zm@6- ԑJ ȇiڕ1Vb!L{Np7l`W4 * 3\tVU+o"lĦrFB$|vaDBۛsR/P5nn8G`x=%O3ёKI5p vV򙏁)7gwoFLbl%_Nky'4ꓻiLFA̢fh!l*?Gw{ѭS|\'>4+&aHՙ@#XD_N33*׫7RwD$R Boeߺc2S ``VM9p@ { U;:OUւ_ nWwqB]4B~jTw-*ް njƲx@*kW,O1!&_-] tIjdxY\CϗhN_忞+2,t+Q[(f)F4Ev)+Ik(GzD /S;I L&cGM:顿 Iw;k }~]g̍s7V-hzxёqx&ojc܄R7\ Xbo]7anD$rM+5 #ť҂>?"n `kCb"w[6'$bıY:kk [8/5DIQy">K <;sNo">8F} J&u/UiNF a>Mkec–ٔ~!=8uolI,}&\OTᜌ틓qpa\Vϟ׿C `o~WYЏFbT[ u!Q%tP0 s50]׋5ڦNG7\{_ʠNLGHToBՁ oJe%4v1U~7V=5)Ẇ@LL {Io(dS9'%un4E)I 0 cSt9m8tzdԵ=y[sX¡&RF*X|3D1ӫ|2/>ea`WB!s_,6K oMM?gG;w{3wcp|A7|ՁR =:QS˝^f(>2*+-: Bg՜3gtogV;>`#pQ|EC<\2U>̘+Pxh7#򉪿-( Ŝ]a+#6<7('GLUek1W,"(|v?W .;NW^ ȥ/{?mb:3!5ٰQktEʲNe"|Bg8f)̙`bxܭz%b,˿w9 >9#4r: 1RYfM2<괕eWB(H_TX@sAGIkM(LI'kmIoY(oR2X KH!0y?3Hm[uL1_tՖ?OTf쌚~&͕xIM:^֝8X@ Fݲtx@}??6yWB^%5uc6ש&\47Τ7ǰ2_)P 0kAm6uf}Ypo]~0]M=+^6M83u],fi3sPw*)ƥ-nM )MA:wV {qϜ΄T % cGg@w*Gf]CaF\Q q3W -^c~n.nrާ`*@ESEhH }~z݁u\[t`e}J ?,Vl)u:o1LYͽt>\q`Pdn]k_z=fܪ$}Z~633V@x"ϖ/Z %H6eF};K43s`2jچz Y}rg2?ͯGÒ"G j0o?%bn6ZF&dRP!P&asdދ ] cCrt/1̟/a˯S;Z((GΛc @(Ud'P=] #I^V%4|1&0YKEo,VKB<1IhGTO!Ϙ>aW_/ /v*)ʛ+ޯ,¬8| LQn2/LV~X| # GZ_ ^xZ4?&Q neQղn%L;O#ɲa̽<Έ~[ȝ)B?Aہl 4YH*|HL#*>ˊoZs6W peTNB])"fēaЖעcH`ᝎl$Dy!Sׂ=O*W&vKy~E|qLHuWl'>~0rdy9aƊ\UbׁQk̐媇P^neu8֔gkWr'D޹|/{l=UuRO5N/%+ғgmq> /+[m0Da qPlYIw cf4K$bR TDGu6l~5ۤY#c4xO vEJ:H"ȿzr R5]ƼX[uIW%,!,M"7fe[agCjn*嵽47ɤI rSSeZo2꿙/}쉷z %zˊw턎{3 a˓ g\(g89(VEf& {tO@cX㥏_}M4)_zl>< J~#~fAd= КЮivA<]3"@%#l<[I `B"1 n ]X{i4qz/KZ.At2|$1<,$6E@H-Q<|f. NpSn<7ZO#A=K~ѯjA$:LJ%Ce.Ƥ/3ɂ yxm:!wO~`Q aC^Z/fN <⓷ Hҫ'/-_bNbkDѦ3JteN/,P)1?M?|kDu(`ptwձLaǢj𮏮Y{8XNC*5t B :OI4h] ;K:uNL|$2#'Դ)xSABf[!^LwZ?9< 6d/%=!E;2' V2tV=.uS#d40_s`lBfi"h 1QZpY.xl { xĝ^n\.ֳc~'/Wm녨Պ+D\MD{yf $$c>4Z$B5kp`y$'(J}XF$z="oqS9SCUxF Jg4?>G i",mЗsrrì yſ<2$[;rY Z?"H#Q&*zb"C7hX\hzaY@+F3FuJ-ͥ#b@4^=&$9;LB %rb XFM@1GJ 6:߾μW)-rJEûeBDiF5 *=}AHa N+ [oA#8*(ӿ+ ,;4/+H j[}37 x53_7B9%R`a+B*ʜl %S_{SX^PMiFD R c2B3ir8B"ޟ"kq[|/X OMG5QCLgA piTs!.y6UZ6['h#w T%sOr:P-]k*'П%u_XW?ke)HVt̃;mrxx OQ߻a^Ȅe,"mv v=tX7eqXnx2$ Md'&ߎ&\]~lV$K# d%91`h4qp(Hw}dE`d9 Wj?E3Ӳo5fE|k$+T'1h>tt(?;VYcBAKa` LS_IRF0 HW\/؇y)j5q4$ 7 U%Wi(bv4:;K=m|U+KgVNG$%q@o._&F :d1+#<ɹ`b{E^ϴUKkp'3= j,fF3-hlu{l8:,_'mcw!{ZEZhg-~mi;%9]Өnzb ]ξ&UϙLPK?'>E#Kj=C [ʀ"v]X8wڭ8$ݟT+Ջ2jYWU[5WJNTp+#9 *Hsg&& ];F/"MRy?_N4ky[6ؿsAg): ˻YzX'%ZPu[G[79`py7P'\soZ8@ +zfc\Ψy g("XsM TPz dh. PNmd:>/F+=q =2-w*/Lb`xut=af$WvK2YIn6 yS9Ч>f :.1I6?~3̔[9ca{ 0?Ʃӂ|lMţ)OG2| \hCoK-:. 9N[/4gYoXʒ̒#Ö%{7|b%XьP-Zycs&oXpT0PN5|+`޼AJcY%E"{Y+Q;{1c"M Eh {?BuJWg2b} ]cV-L9<JuV=T}MAA"BWb,Ң?$a3(<ԓWQR&<ǶYĺ6 \&Sq΂V]ԥtקw)adBiZi_Ӊ0\aN}t5a9ֲ^WZ#\ \,]Ra:%Sf)4)Ԁࢲj g*:F[;X OX"j ӏ^;_ FƷ׊lJ];޽SDZpwG2C3xbucz^&ڿVSR)edi]\/[v]3 S|QK λk1! h )S7J!rİF>D]!2 q~;j)wame`BIld4/LɒOи6jۓ (Lv*'(|A!VYn2ܔ"oqVh7Ν /p0U3kZUP5bmg݉~ZWN蓜xd;,Idt{(l[WzjX_cA~67ӁQX 6tQ_{>!=L{}cy$@cV6KuY>z`ws~e!o%t1@yZ]X 8KkOJ̋ {\1+e!WSr!h˘~Ta+^ b&[ Y|·&:=Ju g?q_@pftEZ!F^~D(DџLdĝ/ᇾljoT#8g4վRI$;Z+#IYwm}Lzl^>N{ -z D |dͮ+x/ګ6:)?S;%|3V9JU(S8y8|@m1 _ yVҴV˜"3K8}*_y=;4Tٞإj+|3 :FV[L_#&b4r/&`f&q*dC;Ԟ?ɦOP,Mҿ ШEeRT3 ,krEېv5,.k(ǧW:bK Wt%05eB򨉒vs<$S1:P jP#˴ M!F,b5%wk86͓TJ/U{sIᯆɾ~)qJ5wl H3lGs`+K6n2;H:A[8VeA6&<ڕ\ꛕ'nf}9Ae%Dw.stwٗ !p1|<9>PKO(-@jrJPƝ$L쒣!byl^D/FEzo/_й)`Q`O! cmȧVag#Cc臩+8cEk.t(g4EnFA#9͕,5PXtɚIJWmZ:زjqBb'2w|dkBH(@CDYƒ-OmJ|af>v_t|S-: ddoTFap"ms~\ Ы=i~F}sa i&z~Hj;Q)[[lGBXsş  bIL(gQa޶=p9 YıY&ŧqCF>k63P˕5 x.YAjq9с6x1ui@Ak x ǿz*wS#/dӡDH2fSs[oٖ5^Ú z̀J|W8D,#PrZe=~A7t!~{v|g+k?jކ0|/F?~P_&ѵ{ 34Jؼ 1ygUq%<T$ÒA,u4n}wxM_Hj;ib.@=&iXQdehpc}S9Q}L_K+-}6`sՖȦt4dn^a{'Eǵu(z0mwcd9sV2(?"Tk`fn-].6 \ov]$7?JڭwsrÕ=5.R?%o pLktyo aXr QGߙ;P&Q ש#izq-Ce1 q6-c>U~j\&FL6_vWJ4xDF te.S d a1V{JM05wA9Wx' %)_SUӟDL+?tb`™YU&Ӏ| [AoËC~>oDc]K:;V_+etbS`T"Yxmha'n ERcv% W0 o`PW,#[iBBeq %/ʹb$^{t9aSApsw<.J$c((*̴y"8(MWM41U"?OӷE&]ue䚜<uid夐vD!z$`]VHgIG hf}bTnHa>kۣttc=y>izgXS4y@T0ɨ9s пu[gPu$ VBaٰA1v"/$'XB6$6R"&.@)QNp?E1\BoH{a").|?+T OV/"B{v:-}1-`OɬunБӺր fS k1 OoE,vӂsLX|@¼fEϷaG*Vrf(y{VQ^X6Q"csN*;8ÄԒ֧;마27zvPqIqk; G.3g< z˵y APUAػ8q6ktQTH|c{i v4AVyGJc)t+d= G:X)rv;{DI2wS}=`LAq}1M\|ZIrwqI"Mb`/41 \z(X]?P^i"%*6~V()?wV6+oq% CkFxA|E:ZztТP>PQ=ʻL7W#i֬n:%i>)/éHzR#q\?]lz+Sh CO_6)ýewkgmΟ,ƺ0b߮yrT#V/j Rk 1b`mVmD`@~C6RV$)Fˏ/̖U!S~~V⻡ #yS;۷x%rö+YCe F!':ALZcF?/ra15Bp0%$ u@xW olYUrH$dM*KDRnlD[oZ}J]MͻbS(f;.c.~t:"~*lΕh> /vvL`[߹-'ou u$Cuݵ3k.9z;0dw=r BA敺%tmo"9HD?cojȝ|jIX|Ǹ :t'9 f] BH͇M$~g0(ER(k)4)[uu_Öa ؼKvy0!>ۡ_~6dfKY]l4/uCȪ[29s≣hc-K=HvqN$6wLJ/#ȍߔ:(o[)χva!u412&б8D =vl>hN8F K M'i d_,UW|ŴSwQ<'ȥWTBaCgڶ q!>Jšs(cai~'GlJaW);5JSH! x$G)HL,O`2I Va-\?_dWgᅎU|P$ZpG=p- LaId ȸΝ;X`U>`wkGOK4P%ky(9f8[; )E&QC)q28ɗNG4: dZ$&E6,ӟQ YߘDUEyP|18(lb |[UP<ğK@WŹ^f(<8\=n qM oi.1$BF_ͮ4՜BpQF_4áL}1G&*,4xaЍ4]@e-*||,RXFPx9|̙1:Pj<أU5i>WKC Q!FTZd~()I{F}iLh6ژޢWd< l>CuqW~NQmM9Wn;nAi 3l4ԉ <[$'SG`Hl iz)7Oq&oֻD"U߄,Qh^":C:\l9-.a;Wmq}ڐ6˿sQh%+Ay+ez,4b \7ep4 tGUODTՈH}EG۽iyM}R<q[Mţp7i9`I|އ&J,eL;ف5ҙa}zȫ ^3P8J~E>dgRᅧ8hfʣ'JHkPK1ftZ[fAܦ٘4 hG?7t-6=|Puunfa"~rTEӝq8XGesb dL U%,_ ӌ4c- o`gI4rpGv^_J^I]֍yAG$~zYw}he%8t$8˗sޚ&Tl*otN:C>r1\45mSq{ftHe H+n4z|Es)3Cl{ }U%QaAnABT`7LXm|-g02I1ՠغ̦ʐh^kuC ~1MyPVgc1h8i_h RpKݮ#8oܸ̘>! 0&P WbqQm f1ƛ6t\/[ȊЇYX{C{l}a[Il A[1a~jz|_i2&Fb#s^YCT7٩O@s5b,3Bv(fLVRp25N$y0[coE5qj ۨZnMnuhdǒ@q++<=ӘKU!h/ EcN:[Hg,qco:J|H|m,(@J2L_?qU3p(]us U60GIx3páEkâQӱ bVeUmf=}Y'5PN&*VC²G9-MO2G"L[V۟dpxJ<`jh`")DPpOQ#°Z/U*E] VYU0@E w.qvZLLiT)?n8X-$^t[5RZ]7_} eL7B4N5ouO${= t苒|[/ i)U/g U[hS+QC5{,v|FJ~ޗ5+Ui2ހQКq+/1o.槵%r4VGX, F"EDR"H{S4yAS!WQĬkdCAp s~y\3R{)0 B[Ryk찑1ڪr Lr^MG|ۦy[N9VtV9fؕsfGs!9y"lXrc=l7ukIr<6;f`QOܫ_C"v1o2ԢS􏂾k7ȱHhES7[asmO\ihm(c/\Rc-Ug]SL $5Ht 8!ܯ2U-+7 yKRmEz&{?ӊ^} f;Nm+L09m _㊍pݝm6wEjGEkR#^'cPulJ`EvN|}ߣ⨎ph}SÆ67LmSKѵqIS-Nź$=6Uw%7㗧S00Zg2" BPtKcy:v[Nui̛Kx+d@$CtFH@3?O c"{[Pλ~l]ڒf$Sq4GigJy5taǫi2tYzk9Z% R G݅GQv{ 3 Ȭ49:7ցcZm:d F:MwUz:_`'tz'*=7q&8sT"yV3w9J\ BtzPPË_f^S^E의IL F~pϊ|  q SrH }QTF%ݛ&chP%țB,E[74g](9Sf! ^b4BY" ))R]Lq|UOz*g9E3"vaD}n'W@`ؙhZ4_Kn'S&L%R^U!e㓢hQBnDclfU^'K<Lp”]]!*}p$b<+Ea_Z٠d飢.A,&;oy}m,l" =?(aէ}Z%·"=x⨧1Yb vaxORcC8uӊٲR/5"ϤtHW01IA>uA|`/ |3qXovJjBҞ1~T&53 IqP⚇_]+~{OD60asLSЩqE 抍-߰&o[d(xv⛧j˧$waZ:8V\ ;vF.<%R bbo)ҡKKMdhWoexʳs|vQXl;:Ђ6ə.`'POڡ n`졏aː:%ꍅ*f ;6U֗!'a5m'Uzw.}e3slO ئ)NOs?:S﷠~1]qҠ;Ԇ flY /T4Oq@4ziΧmZ lU/ŽDMzݙ izu7/M]dG$1֭Э Y~$Qj,1.Jj҂+1(-=8hd>'LxD87i?)y|~+d'q5]Y)xb<F.;s3H]p,8CRk D{u_]nT5RruISnH tB[M`O|`d䏸'NjckK_kA8W./ 5OLCq5P.#lJXO}Ϳc7"%KԖCRO=TX|!L}ȱS3 v#^uIԱ  bg~$ Ll$@]3VcAby)[FLz,'}mUW̿0z2͖ys9dqQz-Ȋ*/CioKwČHo 򎥯xo|Wܝd(HtQxqX0〰s$22Q |cAls'o,9:}ThuBdp) X3,8^78?#-%bJ!aj L@4&F!j–҆wKĪ v~&)OS>%=6}#aKII^|l/$vrlYE}2` ūetX :!10)>ܡ!|ĩ30E>5qW/̬e ɘwbڜY)mD*Rm p!D_?Nn@GvZ^=aew0THxXøs9&<+0G{ i}l]7CoƹWvrq]w=#!i@|=Fzfn\WWx/8)~Qi DFP&hʡik #ΖaZTC=̓/n%M?DMee(Umw鮇rنKOPuӜCǺ㧑0֢Y Z),H#56u&RͿ<7<7$3[Ac$h$7kX58aѰ䗂pRR%-0^&Ԧ^Ei GuvɪVd2E3E::F?A3Bb68t^EBYCEj&T !lBOOr1zv3`GYhcژ]xDkͭ}k4 8 չ =P Ae9ڎtyIPZE5)m/e uQ_eۼp0 MCI;C筝͙IJ{9[5YhXTSX -j#՗s!Ah Iql  ʑ}a烣v kdN09NeY:.b lUAL2@LQ>\L VxgݓӚQ wӹ|SSHUo&&oPm6>{+90ӟ?l!7N9W4%DO{6EuW؎mS*=HxejU!FMy¢pwۙZ,ǰ 4{FٵecfHGۀ>jBS{|@Q7334Q1'oH&ANfj 4QFCxO RK[O3;jukK:dƖS5ԴPb(z{,pj6c#=RIͶǭGQK3Tbfi% z9t&XH,8'sH0ǖ9jy7'z};vgFaSpML9a-XF4=-P>||>x{`u*@;E.x FKa~m0x+T+r4-˖{ az4Kn ׻orhU#v ϙ+*+,Bqn+wtRċp@R  ?\EXNrª'23E=4 d*4ĝ̘[Hbm*< )$vLu=:A<7^E$%_wTa.gb2COCX {hRTj݀U)צ\EǍVr})zǪ]iOC!oǓMCӃvDd_36!5ƈh#вBȃҐ4h#]eO.ҸXnH7zhxwlaϵ#̯7tvBfIV}57Lᰍz) "klĢ>!hEܲlC4mSw`׮ƋuryKh6в=Eg(M؏V("0e,>~LVϑ7o؆߸UGeoI%`tFOigV朓M.\A7Rl&-d7[UvXgZoI,@*ԼKWt :'BR`(Z| w_Ҍ ssZ0y4 mpDxxH@dFdv3SyU[s}UN>I7tkWZPDQ#}ř9>/RzM=ʄf +Lv??THnKt}fk}ǷZd/+m^;nچ"N^ u#Q\Jo-hʣ) tLVVWQfJ)͂![z~=T5@Fߑ]+]݌ej%MPs'&,v4&ʢGO1kA3vBѹ?DxONY|ԇkוf5qE @ꆬ ~pʨ b́' ual Ȓ13~俻I=FZgW{D"Մ܎Q+I+41=0.|q0Vΐ2pd$$?&?uVm`BhAYΊ*,Ǟ.F/ҷG7z/:@m)nIG8Km{M`֬tC^,C?g|?Qt90#O[fK_2mlq'?L Hm&`/ !Zw4==ծ]wZթr(vX@0N]azrŪGGs,99Ί*x8x|Vyke̬j!L r i+s8'}5~]xx3D-]$ݣ$Uf 쉐ЫѠ0*WYLRaR*0Np#0{2P 7|`ݼHE牢Ņ=xcbvјB\*SDѮɾcLq9^R #?9xU e'| Zd\[cމd M+ꥤW3b/ _8;d#2Gd^XKlJ(5=ȶ7e&:x ھq5w7j‡D|ylV/sX}LSs#Z$m"MM<&H7 4Ցi[*.PG'x`EL' F9,Q~hO1I=v؋25v c aE?zi|}S ҁ alk늆."[<2R *7*ۏp?"j("q7!>C8s| Y)㥽H@<`w)uN6,Nщ:4"& of' w<3'4X Jq2u Z C^]76C{$f 2SW 1Nmsk9ׁ,cPs!Ls'-q!6ֺN-ˢd0Q u󓏚 圦܋A7')+K.#@gDp/^T!Ϙ2wSZ$0 +nLPmxJ*8@j@X 7b$n-VGN;(̓RaoI\3-;U&|ftamY00uUL jzr$pA dԎP-+ X[: sKO.+ U 5pE.n(EQ8~Fړ^5<1؉Ny"[ۄ dɿgG('\w1H[ Kk(L}(F5]_*ҭ^wvG-s.`ғm,#/?j4 %So%m=35gWW[&&*0nkH #1MtV^?i/18} qҚcɪjtQCIN 2Nفݏ)_8 zK3r C0{eZw[_X"<+l[{P*;=ʍ1x ǺtEbX6z o ]hIуw .i?ֆ0peپsi'9I^X Cq!{kwu!#ChCf|f;yxUf&Tyo6+k|!l.ШAZ -4}P<k0&r[Mې^uH9 92B8d07 .pln fvQh2ʼn M"U$jJ*#ZW'V4ޡ[hxN ێS_[Bq>w.D2z3R/OUZ_*4dI°Qrpk=vC'~B\м4ߔfuR\ޏh[ez @o>7RPQ+׏qyWZ4Oj lk+b@fF:AܞN$R%B8RGVmeѽA]BfԘ糍HI$1E]% LM.j qƟw,U̔B$3x 2Ǵu:6#42ԩ=kϥҜY&5(O+:Ӟ'ZLDB| o uP$S5ɅPozϴ)&9ɣ7SK{ؿP/IKjTUĪMyFͅkXGh p%x 2ѐ,|o[N j@<xـ10%ߟR٨C-k4o>(ŢJLGkD95JkZMА '70xu\ 2XjF'ƴ |!,j0$_JA>͵r0?Tcn;ɻ+t .2N vdc:2=jkD s#!_@F);o8[J=F\$$jhpjڻFI(ᩍIUDZ/.}f'~_ׯ֔z#^x2{ )z{43ӧu-֡z]iGbB*C~ U0:OVBW шHCuN& edAFTV&ބ] `pNwM-F|?*1oѝgaBKwdS ?bKZ6Gr-~ĬKdY .keP˞M@dBBћ@t( /A.@i.{_%hq )DysfG,µMBCAx_!ǹ@eRE(eel ]4鶸c>^˦2,-λG1ԛ\m< uTrA]l]\7e iPVIP,8!f"pH\nf Е}| ,~EqMD'h\"*u@'Wb3~X?Ud1U=9} Ո\F28Z@@@H 7k..ԙ"`Z`Uc_YK`k.!h}yϝRA3 v9"G tSJi"/8PWlA2P)9 @z73'd?Tm1'lu߉ kݐ`)~¾&Ap_ތ9(CX Z^+¿E,15\I@Y4<'1#dC %?gT8lBF⶞ 9c$c)頽[6kwAC`J@p043qo Gų(V)tިGtt]e:)~vʧIz 2R'_DܺEf@iﺉB4K0@=S489=,ۆ6bu77dS?>-: FƧd>2gM(p1(,AnuwC:l}LͪZ2=%Sx!Kt[ȒgiJXث`)t"´vtfS0ϒac8=sYyY"~*4iX}gn8T]{:{@'x [Z]UivtAH MKԱW>s􏑾D2}ݬڸ׹h b2fvax INVF ogaU{}L[O5D+r 4 ʉF\[xV njH_G^h03H j@v[}k %ry$ᦊ q3rOkKZ“}%UF:)I{W`{J$SW}g[@ݽPd*cEx9@92E?d~FA1a5%5'.Wɕ 3i P>ޓYaX NQO)Ε*$6`EjPlԦ+-rȨ!E $ӮRf+6V^)eMlq;GvBTY%ʋIw )Z\![EiSp }Ƚ&m:;.| 9(BtSg)u0 /jB4s(:gsq:L˓-8J3bsvsJ' 5/_hGqovXFwK7C9 ,f~jK u[`c3-cQtRAt2?-ɤ|`7rla5j9cX v٤%^Eb뇛}"bwZ=ɢEOW3D\K[1=FxI,|:\PR_C8|Xޱ(ȱ4EKaElh0.ѦsDkڍ-|ofIq4Jo"&t(6]0^i#`> 0h{Q>ΓhAyU>pK(1w1~E45$~:h9tw>͑JYO‚H>oAsW~*~^|!{M7=!P&+cLm`Vy1j_sr,0ǩ*uo/6{WB|;rW:d5@ϳƳ?VDs Ĺ @/:1RVCHxz`CEڬM%I*/v&pO(>Gܼ5Ήq@lA U )cUX"5!lo8$.={90V90[3$zhc!i>pXlHsWKI|~v{> jjbRa2O^:Gz6o#F xދRoR"Iݓ}#ZxJ+"HװlP@6鈀Ajm%3pΕo\ X1I~!"$R .M c;"vV 9P=|l=pdJ#l4^ևKnvCnJ|ПK9tbZNjʔ"15SnJiT}T@A3o>dOHPCt䶣2 jTqn8CHag0yKGv^E8l/!(S*,]s;X>`7G^6봶ǯjX=X٭}oKdN4|۞,reB}]1gϰ fql ^^A5KD{IBtB`^&Y6v:`jZڠh64W2:s R'.M"v%ȖIӮh 4N>mA:;#S Z֓,< G +I\<{"xN=excbh4Hߋ]ZqW)MjvYs9G[y-s ܢ)ixGy;dyA<4X8WaQ8:2%H$;E8 ]x'ؘWo)ce&'7VMꪐv3r{A=-7sy#vU)8ƿ|!1qrz~cU#@s٫آ {ʻF!9&W<  h Ni2>Ն@*u~;4epA$?pгVBr {'=1hq :⛈rH kjV7=wCQ^φ>lfvt "FW_KńIV4uiC4* BGsآ <.ˋ%ėK祉0D]N^TuᙹӀ[iϟ->G[qb=ƟGUXV~~:mU.u7Ҁ-İj1-R?``8=9yc+$i䇋4m 2 y 6jPDiާ9` dЅaG$4|Sl"+~sp[%nnV;jw6=@#ă@;ݛ1?oДXT뤆]Iǚ{Kх$ +z̎rӒ- s}@'W=iegCɮAOޙGL ֭*сOKO|g7{'!CÂ̰a~N}}:PFڅk/[ed.&2~-G_A w!b/3'4ZJҋ& YR#@vGo  5 0;`2JV+IvdMGqzEF-;Q?o]aԩ8  }Jf=ż֚S="|R֐P?k-!LV,kԱF„xu^+xv;X-*U>gn4+z1E=5"H' qBbbS@ %ң a'.Rg |E+K]WÆJ{܆ as-1W Lg~o't%uXnGe-[&$ ?9ۨn/tX!j;VMIAxWs8 H AODO{Ne@6X4G.e$UM}?(]T9bu ZЊ/]j>ۭ28@]7/-/m|~$r Xx-L1m5OsW+Q/yt;%U#hq<0{%h*2{h$h͞CIbɟWLh|PfW}]V$`]vsYĐsd>4XlQr]*ZzqNq÷AȍmL&DUr10?POt dK@5 "2 ٢˻[w*"=B⩐{I0a;V26BGިW-ߎ lҳtIYGYKL /ps0յ-wgȻ!$ޕ}6V-ab43^{Y`ժIԦND#I{ i(}J ]*aZx b(é9}c!@:uo5жB4/N-{XiS [r~p!#ɞ Z[0ĀPL阍 hQM]wϏe1cYﰋ8{tbs;L tBǹp))`:l_VCU3l!S]ƇʼnNLkfb`:tm͹D!6] %b݉RgH ErBta[: qq}! wsCRFГ^uT BNy1)3RoD P1m20PP㯕cD-A)\sECn͵R*[U %imFKOF3+co\XB :+0|>`;U(9,[wwS1 YP| yFCX d9 /(1a{&j.> u<])VopWBAQ*"ob$P%F3shJ 7k݂+$es΂_&쏘!=!Sh℥G/XŽ f!d6xs voG6aOzMl洹by[5<%Z&s<\HCŷtKC0ңqH}t&`- &TGpJr&HMWzsK\1SߘfR}Ѻ[|3T Ih#:.İp4hC"6VUP6$\T:u|#<mzLM/"V^ /굎/x^ɞ+7YV*M"x2)(HEYQ5Ӗa"? D5 NlʱDpr8B(2H ^]!<}eΙJ. dHW:J@aO&Ҹ~rG P|@88I<4 wDXx8|N?_e㯋r@zp- DQLB3=J`} ꥟S79%{Q n'[2+ lP|VEKT&`yflٚ'qɨ#(1TQ]^سqOl1jQRގ%ʻdi[pIFP0y8TLx'$Ʃ ?xЙ^+t/@(<4<Rk,OZ'QOp4Y9X3[ .sN]#e M A8y6y^uDn4^[{U`zhk z)С鵽RX H>t]]&! H[h3*}wMp Ż1,S0IAt105{J_Wگ 6)cH )j&ǬrVՌ!.Ʌ]yiEoɅc8ܥkŘt&%33E=,q9*%WuLN!I߲Moi^DE1:\ho2\wJ9(/OhueF-rv' (MeSȞRzI37)ʤft[ZcKp .@N_F}V5l/pGj4pU+3Qqd?~uSy2jx.a/J/O<t7&W`^ovyz3AJm*/ѹ!\-$\uEoVi( ?Ǫ~ߎKayZJ\wHd݉;0歩E%EΌo#՞qjQ߬A0Wchv@1\dggW5$S錋k IP[(%u=ۧppFSpf`uԅamtk)pH{yV %_4:gM}=y89*M?fb|7RrzūOD+qEcϨ.LA>CcOd:v+5pYОJc잢A!W<%]x%^I/6)/V$#KY.HM.WCYRʖ%T]vR L# tWD1D[mwt+=oG_8ZeFƻIR}{A`yiepOG$U9ؙ_p@D효C退MzTB\aZ &uقvMNbYDv@$_w`x◷GԡpM͙L[=ّ|㇋ w(hug2lDgm[3_m_ø,?zQ2G6NĬȄS:EXwcaD- %vz" !bd*;>}~҈8q7=Ncs48x)H_vJ 'Jbau2yR;3?)4jq Bk#G *r煢`';/LN?WPTt^&xr  wA<)C2L8-g|R\YԔsT#ofO?.=H|./NfsSWK BЛKj*|kL~ `@hv*, !~F睝9rX%?σ"$2 6m'Kx:t=*I^/&F.Q!@+8yGq\m^ӃZ@{6^ao9lVWyǙ9֨YÔ#/ϯ$@e R7ynNVaTtf$r;whF< J*oG\jBH2fezB]0m>h ҥkr-mvrb4LwBwQD0s :sA"85^4%'/XS:(*τ (f֩1*/A@5LL#a&J uT讒K#÷N͜ ܥ{m#NзlS(BE&/f~d oZ3UݩVS(J .3 A<ߐlE)x}"pc4YC~AA)wEVEo Ѭ條++ U$u F7?};U%KFG=Ԩמ&SN;^8(4 ^`?YET0e ;X !h*-PEq}bQ*w]=zd POr*\/ڏ=p %gDN->Z-8:mNB\$ft8\:g4w$dּQEUV,ǒA%~&e-U4mء6 |,qއ1W\&\(+vX`Ɋ!~"v;$^f:&N0F}1T' }V3<  }ƏaŽإ(YX8 ӴN_6ʖ@Ny- aR*qSiN7PcюJ.34ڿ|Ơ HRV- 4j '@d{_fPϦM1wCb˃وw$x^ DE"QF;TcB$we?PfnԖk|ſ ?Ы@&"dK5Dʴ&J @CPg1=XQV:>{Mw r7gx%߅"=De,]rq?n}g~?>1K\ ^՚SY⚝R:< u6NZW}M%pw'*HaͳS )% $s2!`ZhHTH77L}{cNʾ5'egYZ( rk =pU:9~C7pتM`K*A)C܌0 BZ1n}Kג.wFCۋAԕȷV 0bDJH_(O3>*RNDOQ2*D]Wj3,v}gJbB\˞ !9IN7; 7e@ T++/< KnUt kdrt-zD@Nޅ{e*} 2$Z*ʱgYZb4d7d46db7522492efc1d27d11bf3a2ed201df3496398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 7ba430526395cde2ee06319ed11d850dec9c47c3