SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 cc% d4 ]/ FOL_Harrison:threads=2elapsed=11.901cpu=19.520gc=0.760factor=1.647zXZִF! l]ŗXf1-/6vRZZj0Iq*~jzB{j>;<( l vPq^ . J=8x9g[uWGo6KS@ZP?t̥&ʛ\]OnzGJR\GC]}m76 lkm6Nze=g̯$·هjSYF9"kI04RRJ|bG+{!MtOl[\^\Fw__ {ԕ~˄l6[r=]DJ"vvuϬyb{hZ6{<Jd##]?B,ޛgI|:pu/1s621XC=&]lʁ^, >"ݴӕF1с 9SQ7FˎrZ6X 55cX޸Mz3F"]Ql|)kQ$4G[eu|DHaHɳ >njnO[{[4e#gYZdcfbaa12fe4f04b7e859d738cf194967e131ed660a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 % FOL_Harrison 9%?% FOL_HarrisonFOL_Harrison.FOL_Harrisondocument.tex7zXZִF! ,f=]A-MՋhvG"uIBm5^LsyrcvIxst?{ _"7 xhsϊqe2e.Z|R3J ?LBxճC֞L8ӅHڻVב85R\RqŅu QlNK\\p+ 9*vf6(K=ƤICTIN`b-TgrgnVߙ,nvK216-+U<*z~1lZo >.$`cV>\4xnN"QVm"#/}Ĵ+#s sQj>6AOQ d 6%?% FOL_HarrisonFOL_Harrison.FOL_Harrisondocument.texIY 6g(@FX4*?AݔA_#f:BO J]ߌH}F5Y r;ТlNrp$I;ʨIhz\M6e-4 k(`DzyAdHn+ep'x" J(͆/kz [JpB}&{:]5 D`T|4@F{6[/˞|t?}ʵ:Dp)]=#;~ |:|HO :M%Eլ M46=8CyI©E:& hJ@~[ф#]-)+JbnZyTgHWx׸ 3!M'dcSnZ=KJOsd!A၃8-[gL6kpp[P#(ϧ eBZXAOkµ,5_˟jEBHc.Wٞ#}bQl#к ܦ'@r͡I/?ºZQbf~cܮK_6^剢9Z0Y{ ɼh֒Hkh,_PR% ф9KTWz?)~c쨂T*b!T=:MČ& ܐH Rҭq@l 9y|Z>oqgL)iڲ=1o"iao|Ny <"Tc!$>H P;𐖕z}7g|7v's_O7? ? ,g\5[yǴʰߍRA1c1wϤMgp=aĘ,"l@eV^(Arviͼ#NDn>-3`Q6<&cd vp;ABB~LnO~ёP܏Ao~,Ӂ㯧J KbyGd1 #i gmf;[gX|긲}Lx*]?d>UɃUW.6٩Dh"2Ή5Tfץڣ$ivfW̆~:.M>'ƢgS~q 50Trw 's5n`ocd9TgW>0 NN8:Ux=׮Oöh{D5r!iyUi+P׬] yۯGxI\Xρ 7KT\''9~i4F;~3pe z}y(rwNV/ꅋ9`U!w5t1O!N N)$tĹ7^2R5%wI!0R^b7G ATܤrPCr~:)pTog 3)$QaB ~^t  t.qS릌7<jM5>U"}Q4(e_٩%4Jt TWcy0!˜ͤ_6p9e_0O/X !mRcC}mD>`k˨̡]cTgNjݢ&3֎Vi2]Pzk3at)vvy|E" "v*m璬t:GXOz3Љopun7mt<%ea;h5ҧ34*6Ao ]I~APy&/",OBF>&"xS1nj&IIšv9?_uYa [޹l&u#@boF1p|NOy竗Z ]=0aКנcW8ٚ5*wXYI5 5鉾Bg)8esIB '%> UxEh!d1A`}=nne<` _#8zo :AWuG[3a5 Tbeh4>,[dɗ'!Fpu)BFa2EQNw2jclŊ}m>(Y˸KTuӟVhf(WQ, z~kա'Fh'h8+~pa,{=-n>G, ={=bf%F`'B<4/U }/%<w'khcP$~,W q>C)^C0T~d,&FJPNǹ4B#4:X]?'c<\=tz"*<}u(K87x-FU`*oj?N>+s#Ѻw╆&@^ zR az2p Am``pAN0a J ½M/ `gB{lw]ecC8t4"j[T@G> *8$ ջ@@614v| &C۲վ̝DC8gJ)/~#z^ 'l%m -̈́`$4q42tVIj ԡqtnY+VX߄HV"G0Ź82z!a'@V%y/R[H pa__jc&(n-18!5\Y" wm5HI'.EmH,iw ZѠs$#\Gz}::tm0P_q.lV&h<uwHFjq$gX!}3HLb%H0NٯK9C,RWJXd0Xx 7)CZI1,>V>_ҵ0@dugA-:m҈(t5b$)$,4bo;%AOXaӲ[ N6S83(ya]7fW})ц2ܡBYBuGA9A5xweE&^c>9@Eq?"4|.4 {"o . f& g<㸾Qm_*!<,⍞0F'T['B $FL sjԱ9W,IksdJ$G|DEli Ǫ7*ڎm퍠f:\Ad/9dMvVdVZyϠJ$;f:/7J*@|;Ѣfg :!&°H7ψzo(xޝ*m4vzA3,L)W˘ȽR|dݍDzLK&"UZ;&6 K~̡;ѯʿA6)r+{0٩7=B]݀6 ͂/͞tt,g˘ٚ’БیE_A dAp:Y 'ѵs WǪ+;O3PW:8nSV/%PGr9]de*ˢaWEod5.z=!PHzxbf${pWHp\4!1;I4E+G.DAVb2c'  ޘ9ºlgpH\)JNdP Dy*ڮgȈSO R``;`UECKq,ML!Ž gB9AwE e9>Dkl;j3NYd^az;р=s?惑kdh#s6v$敉u" ҩu1}hEG:L(e/1̰LgzGQ1#s=+)FǎB%3Ns2BJN)bŲXe!RˤK)xawuAR]\|+TX}čRɧ|?2,z6pqW8Ą6Ĩc-,E0xl~ţ`Aߙ,ZGPu2 .g'u+'v9֨bٌTkM).Fd%ŀ} eVhZG}F8h޵-nNU<¥m:%D| !cVC "Ȟ(Fy0G d w# U:eiݡVL=輇ʆV6@m2ܶ^Aaě®W8 Ⱥq/> b CGdm{/a MiU07 \/ ~p3)&Wep$i͕N: k =\$MPجO.P h[a/X1€˝q˕R#8Q-vJxvc&Aa,;gYgx18~.p0 * զY.gY$aNdԞYl:ėޙNAbdL~0c9睷`,ɻKō "zm ص8kH{k{ w} Х ̑{/o4"M] (fI"aTu`7 nB0IwЦ}hqlj.=BE*@Dlm?ELERBYݚA}p6nave-̋/6{.GP Ƈ={zb!/Ed;dZ/m3`pP99.?j,>D"**x1f%Kڮ6$n _#L -kQdo, AHR+Zl993ev69X~=g@}̫;k(AVi gi+ԐgzZLB9ÂuTy>`[6־*ꃤȈ~bW\(Bk"KMh T&cYL<t p:5F 5)r坘@ٙtzovm p#@r S ?ːt.r'P:V$'#E#tdb ؒ0"g}k/ @Ì@|-^2=BiЙr(-GQsVe'oѽjӟ%o&4|'XҚ{Ou2ZؙWo@F[8 {+9,.6i{S3CJ,#(SO\  vn3'$[a#m.'pA E!uy9f$ EJgV#d2 &G!irEʴ0,ZwwX.H^ 8v񓍡Z| ;q;OaxxԿZLꏛN.@p}CSXfG_wz@HH2TCiJj#k1|/\8cR5ps/.[W|\>^Ƣ?/I4Me-A؁Ш#,@7JOAm rU~Qw^Wg5_78Z@>f!Id/5݅5a;L)%퍿kHU'Td*Jq(RT%SWJ˫xksىrA@yt3$MȔa0ڮwO"V}|bD܅1P+QIWkkZ;ܧZ>)HNuQ1L0]]i&摝W빅6sAn4Tణ,4ZR\sLAҳt !Rabkoi,(+/~/@g(R^^4 ڄs{عV&I9e24ꎓS碍ZD؁Pi.n"2kRϯ⫉{2-x\qUҥe WdNEBőO\l"OGзRKe߯X&u6-M#_ig1tLĒm~A_01-L,/ڬDG4Q6Y3pW]TWt i~ޘ +[KYk;G2%)M7M9<#DI c+lB7Sgf/y"@֊\H=v)t:Ŷ).>bQs-Kk:A< ΔX\ y)d(5њxr'LeycirTp T*[0/mW-@5ޥ"1ޢ$X {IjRCQ' d0yXn٠"qe8 E=k^2TTh q.h qZՆ.H_C <ƾWdIi>1͊I/1l\9|fG2в+#K<N0Ye۶Y:+A$l% ?9`g=!bk m72*p5Ɇy?Xm0{|ڸaܔ>lc2JNM7_HRF[be'WÞVirt)*@o w[FN-}n-#!2)]{p.@ 7ICTeY5̗+VoR6 ކz%yUDq0쮥=W.h_GwJ,W]pXl'Rҋ7\*DPd<6,ݶKКjpw4ZBb-3"6.oMƎpj!Xn<XOL_RaUߌ&/`eŠ@SI}o#7&>u2; KOI ?⇝6#UN9yQ)ZW)mY_j4?+nT枇9Z)Qh*aW~6)PzE8@b~|Sb_hLi?ďjr[.aƇ5 !FQm%)!C0Zp+Ł "[7P%[1Ҳ/uVV@#gPf>-h>yo)X undGRA=xQq\PbNjh\u: epN/pg@'/k~8p`xD85'n![5%y0fO5Ӛ|'DK)c̙!`v:8\yZlW~Gec'Q;[ ;K]40z ؿqSd>*TY(* bgBN0Xn>_3pL|JDVCXA>\0q*iV!& GSko}<a_2a@*us~OT=46^Nu;]vdgH1 Fޒs~? ܬ(4 l"Ԕk_/G!YJZe >@'ꍶ'/( _ ڬl$w4  ?in̕A ~̂ pd\WI׃"8vj+BXsn5M|k~DdisGCt`"^-\7xOcW$s 9"iFgԯNP_UEd2뫝ē2}͈ns7 "(Ҕ@"\:2>pZIi%G$ BƢDHۄW\>[4) ]$D;˽- v GRX wH$_zz%;tCnkpG5z4 Ii Up `UXKӏ9@bήL|&_TvgD[<f)&&R˝'-Ld~#dC0(Wɢ!T ,zMGOQo4UDHt?h.&Yi56CJZn!GPb3m%@ן^: NѝDY?Kbm}$^zوISTEF7~a'%:䲀걸 [=kG mwPE|E*P\Ljho+ It&\j͹38]>~$Y]wS[uՆP)2Ԋ (O2/lO5iYY6Fò1TB۲Wt܀>I u0<486),~>2w?h_. @ ȋ={k%d(ZL]'>ʐZ lȎ4܄}ષ q˂\`/BK%BafE}"{mׅ8dw*ϋ/ =$F"d-8Iҽe|> xy*t"cK%%}H \‚wv}JR6aw3~%ROtYJO]wz\4D%uY w5D>`)oqkY(cEc>y[(2)TijMw FDZa6z$pXˀ Q1IDoK$=t>*DRZ6 @plᬥ5sz,<;rjdDh=_!]zϯlꞡܢ ̌Y.`9p]F@o='K .}qe,̖"PpOzQM6yy"Cl{J Dt],Xж [pF=+ue O2.:^ aNA4^'aEܩq_r8cN0?:} CEtXeαg/t{9gl+)6_Mo%A<|z߄8E b }iP(Qi=LjOcz(IF]j<*u\8nT?NȞn65ipof>i]Л^@SDd88S|NZs!Fː F>AD {=֗)2*x 8 g<[`[D2./SDi!+l@ r4.q+tqpw`c`PB` %LeUd4@IAy+gWiRz'ܵzf薺PvɔB~D>i1qbttr$0hŃnՒ@VxGhX(];d,ϧx},.V?%c}@=_=(ЉՔhOk >OƵzn ϡݐV}[էWsK'@n~=Jz,#GU6&;p[CD& ELTz UQ)^qڬk;v'{sً`8UZJq-vxF˺Q12=op|{$MӸq{|g] 8ۨ-jma* RuJҟz,P/@8_M/IB3ta[}B#WNwI  Z'a  { ]̠b:'~Ǎ*K)f!;̏ԑrHm0_T،u_c:PS I˄vNzێ`*hwo mtjszCKۇ HkDOT|JRT򖦷 J\J]8J-~腟Y[θ[hcW4T,!_ s8@4pAe;58 .6Is ^ؓԟ+F"Ȓ^QBU7LE YϏRX^hKVTȶ@bFrR 9ጕe1,bB?\\MAX*F RXa.#!C%{d Ա|h/\`٣V`z S]C -EGI'N/3HC@=)qP4MVWU4nBm&AơLnXor+RSk.i14擿!=wWޘ_auzmj[ + w,By!5Gra M6Զ#x!'P`YƬߊ:M~ݎZ>"* FI*E3>N%]mX3EfxczClkJȇ> ԛ NzTsW`H(VfY#Ѭ"e]gYqFU)[փ`@:iPWne9߈Sweh5.#^ؘT g=CYF/'d&]7︙}""D0:s%]PaE0jr s@7`dm`5%ҍv"HGF}}uX<[6siaBnn@y|ؚKPh׫;вf.{9?iZ=,t<9N ǢP~D?]Hjw?2B{0SȎwDX%rt;L\8VrCk&hb_r~h)VHhZ-m?,2Ce0٤Nv2x l`B羙`??zT[: }nGT K-Mc_7>u?N9 :y"bӺp}֍@`[0Z4i9jWfko8D8 <z/ϴ.efX-8E˷4,do脕&kh@SXR[h9CJT"<8!+ވx>|%pr-mo]. Hut'Fkxq'_ 5;X_ّ~)+V-lǢ\/@Iٻ њ2*Q*IU fB ǂ9$e?$C}J(CP: )_{k1Hw.Hd0dsqTo˳z'Ra<<Sa?26[˺HUoX(9~] n1> QtEEBxs#$ jWDP'IzWFZfms] VCVe5 Ʒ t 'Dcyj;5:A71p\Qpl8,$4 j%Roya*+c'vt9#-#y"ъaa%Y0*~xG.*p= w${ }|]/Q=HܗEPLo ի;cSӲ(n.ˬi%$"n(D]|e`3"|FƃQ@Q8HPu^7mJc+AxxR^V@:R%л?'&eBWfPC>_xF{隝)t28r@' [2a/>ĦdqGXZ= ʗ\յ!5|Ue&|ZTadGG؀^0y#2n7ޢI7괶+t2xD<+bgF(ڹ; XȬOQŕxNfǧ~\ G(nHhT2pYQ9$jn ֨>[nDBjuMY9J-z,\1wQuuAwzSrKc>b%t.Kx-TKj{jq@_RY5qNU(xt~s/:ŻtF;߱LBe[Ce/'VWH߀8(^ULh(hs)z[pO'eD"(Bxs07I<~q q~SWi#ݘ&_ @gT`n2Xz:y9kީP!+y^#0U<"PN}46 J W4i=aU휩qXAgw@q>4OSl׮[n2huu1!9.2,h9-iɘھ1s Zff4J{:h j;>&?^ZĔss+ϜG0DGceHP٧Π?4*K~BBRzP՘k_UDGC7:i݈gAʳ5S>ٝ-3' o@ǜ6}`,d{_ AsO\tu\dSV;^i-:*:K)aT87xL.2LYAhO)A79feC`UCF.4ED}:bEWWMRo4BZDPB7_^$p a?1PA/ BwSC4=f8ox߼K8>h!{+} 4O[QCGrts862c\(y.p;Kwcx=ub+H*Pm7l:&ܠA둛5"oZb M(&ɁI. zcMѫ*3f뻢/k  KWmn>vJ+2:7  @Z{ڤ񊴫l'k@^AނXq=K"eY^-pPŗ澾;0\g+>Oӈ8Hrz`N񗪳qng#L鄅Òǯ6-E)l;FJBJSr!19MΥ`r ,mUwik B =ۑOe.Sik4CJwl~jXq|GXxǽZ?!萀(rk7zήx#y}Y߯ >dt4aۡebGQr=JPafG]Ou0]ZWh[pg=~Uñ꧅+ :qR c;qS]gGi{iӭ D;1`Hz!1'GѦmgQP{o'y.BUQ4;{j& }o"=rf;M?vGADzu]Wrg+Zecs<ysxR5 nIeiuU gaAv0qIBJҿI7C $K$s2 N# m;h%1nƔv#蚭kIy{X#6q΢+j4gjw"Et b::t)CS{s 6̅^L^jk:EY9pyPGH'}JV7YIG[b|i+TpC0rNc:Q9{gc!AHiz;zyGʕC<[1JxNFcU U!{ғsSJm ;OMQӚ69 ?lFEC%*Ut̷^P-Q`uXj&PLe2kҊFFUC1T||y_ӷ l&`# NqDIIyh'8pD|Faq%E ho@UJ ҂w NGuCi$Ӈ|U5-cT[qf"ۻz9 ަ'meV }%i,LG_ud\z6t+ b@*2ݠW[J?4RwFcW> El[AʡQfdQ/yrV7v&R8 $eJ೯{4#p;y \")2_N=z |ԝfvncND\O7Qzv-2XH.f#q4 >C[57jׯ yiTqyF#w?*Wg<*ِm`sQnBnѵnZ_ʚ,ḧ́pn"ثSjL#g1.FPsȰ@|J";&d }I;!tN(3Љ:i ZT]=CC/m)TYcMG~ha 움[ҖRB"YGBtu wUș{OF6VT?5$BzIBYf&X%:o~~2cHhב]}xMo8 3[g4Ƒe_Eju} B QX ~8Pݮg!I<{i8ʟbQX5>ױj 5Qͳofnϱ4CqY' p<Ւ%:T4eQ>B# c(c`?Zc|b䑅da-醸ƕ5JB'RB/|tFw |zI]Ҟ{V Nï Ej3AOӻuvU4R :xӆ6g.VF|uYHKVvk" a"ǿ"]ijb4W juXEsƍZx*Wԡ ^aʂUh ۂg8F>P)#" Q63`WJ@"5amF]g_\m)m8p퇑k""S"o/"˝EdխWU7GU:Ci_j(ӯt/<D(Yye֍gx4UhR[{wpRsnGe8lX3q}xwҜ2TI{W[ʁ^&/-+=>(N#rVho6dslwmop 5R3H(nوx!}]:ٸVh)xa qW]%,%Sq wI0q ?1j6v9/%](Q} d!&Zij\w0QߤC`9Naw ag饑vCsbT/t%&Y$HQ?t09 ~H[Ć>Ϭg eIeERW$[;8'd_"^A v"KhKD1Nl: MX22VjKip@JǭC ?~x4"O^YuE^oV=5:zYwV&7Vx*VoӞo?xLSPcDfsOd@<s60fRA3'H״(n) Gg{•#$dޖ(-BH>FCuy՝' 1L;`o 9/F=،4IOo K=w"̂ĈЏ bAgv0}n0`moCi$[P\Gwf^5AQ [p(53=4 JVL,fEj tѹQOsG ֺ>;@\6c4[DFES.WUݐȦx;@X H08Ta l' qKxTtCHOf8(jf&FYsN ǯ)1%!Do -8}/MSaa+&Fv)a-?.C%yW.ףV ̊$Kp[QH'M2PJ2%%vD-! o#QvKۈZg=kI4Y3ðpyJF>M#mz'WA,[0 (BՒzs$; NU qkZtUj}jagI :$:I"zf+^%nog̾5s6> aĥEBRp3֜8"PkrHE{WU@ Y>3tA/n"ziZXp8jf@4Y:b/)Et bq֬n -a)G2`,l&< [-^-!R*ޕʼ<<&Gw%D3$̺ S<(=O6ɻ!lRvN="Zȁk7h1O[G(ft~K!l vMV(42Ruk׭{,ekt}4o/fwѴf}ҕno?9iӡb_~K6AԽ5,`ҋ&$A3fЍ"DG%'{^yagͨ|{_?0\_lPm^ݓ|? >+_ qjrЎ1Q_ٮ_4#E%8oS,;~K6Lu~ ̜dLT($lsˡ:a΁&I<@cI2{%+=mIlԴqث!t<+Gc]]dJj2>?73>9_`[?ʷߺ}&5c *}ljmryZ?&,* &x DgR9aJ24p*iG-u+{E B|ȸT[KX6 b֘ORNE]hnP>e|f*=tP+&X)fEc9\UwMj{0 b>ʱjgkZ8l1:&8&x ! /m:DxEng8jgQ`)$YuN ;{1ŔțlX o)|iДb]4i'Rqyȇ͖pn ˊĮJ@1TDA<[mCC+b\kj)dΞ _CS{24YɡǏKvo*2CC)#?|!2ގᾩn(șmRWddC_B.ZQHZXePJ74ʘf"„J׀u2/nh`E> >Ή0(YvH:#5@EYƾA$X5+TR KP/_2i\dGv/ծ1Kav) 4Pвu͢-`Ed˛¬}oPy NxFP!&|3O-8 ܗi{h&,3tEp+:>B0}AG4x f)NYJENΎ=wcv#vm 舂2:`jgjqKaA~6;+ >jkauxZFʙ^zQܘ [29s7TAU*Ң"$cn{9.Hzj"O;3"'02Oa|yR> %ӗ9:HmY,HZĀwlHh7B +]d1|* (#gЕS-\Eك%v_,'dlr1ejݚMʊj8]RlpJu*UU |\fi*Wl`jJ;dF;fԹ*?,L6e ՆA 3gdbD ×;#6ctQqbD9^Te!h=<AMq2J\*<2%ӯ*~oguV~@ ͑(sY5>鸡\gISmnV.|3濪BWrLLTQ1*qTfeZF_ cڸx3qM#/)x &$MJL$]/Ć͖* qOt)ѿ%590&Yǃ{}%FUܒR\,bͨ{4jeO'LY?NZL!%*zu닰&?{jqY!Ƶ,{rU./5ٝ_I}A[D$8-bQt4 B'_x`PBٳ8JBgְk|w&dN2*P 4i arp4\./C_]qAs~h"PBlT9eL%0΀ XP*hZg SЌgŹɏKC-q;26ew-v~ט}6\?E9N0 qR5Ъ- N3 2z`4 ?DHwqF86٫ٵHT+8ghX`⌌6L?k!f=jk|C'O v.fOc* o2T%L 2vqysE9)ѥKzv}n%QN?\{/trcp@=ot\P Oýv\` RUKҏ?=:DN,3 [2w`!uhF׺K:Ai#nKj1ƒVVqK80v TQ|cSL J S0sz< HM*KYi/);6]-$3%i6l\:o&RbHޅJ?jTu p.s_W!䥶^r\/E1%U\;]ٸŮ76^WXFkHF2r9$8KL$8ŠY:WXM) F[Qھij%t[0T]1[zaĢC`/.N _-S+5/HRhLPg9L|uXėߩ:-*|WPlh܄a D.A!5R~bԇ3V.~u n2z*Boc9LWsKDv<;R.Vq|8ѝ&nC悖,YD5x|*'.q"&J eӳ,B+p "%KߨtюPrk+̖R+ Zt[z7nh6Zˌ4s[VVlJ|(amγZWsC)h,Z^x[:8G^%* ep ᱓n=aѹ:eC0ʔCZOXB2H]HD_ ,EM6f-+t=ʥ !&SxVLMɺuh;A-]JWbnbٍD_T%T_Z}̛n%/;yVQen~B(N* t?"zbDq1|aTd2J7%]YKG\pa<ؽ$7iS,^-SmIN'f鞝WzK dk\#T~s(@u`~80gyKx6"8jr]SA+mVp10T5euitL b\G60pta۔M/؛o AڵLB 83q*:ۆnm΢8X<3^s{Iϴʗq elOvRUE;3 @A5CeډDE-"U Z/)wphVoT=*Ѭp?Lht:g,g*Y9 MG8⽰ L8g uZ[Uub_?*5+3x4i]E 0zeV ~uXe@u%5pDɮRL'B+vG{F9_B'oZ~`.._f\k$As+l%hOϊ0SNL4-o9L=J!ӭ@LLbfA:.9ZG [}nn'? tNBiXe)=yڭ+}" pY_4Z\>f}\CwF+kB~{ ,j`O|Ivu9ty{%/R ~cS\.TĔkk黃,upo]YȺ-y'IO0|R3lQp+/Ĭ%j7>B*mYRjW3#?2/jM^.  a،$b?|Jg;O1s(iX8.u-_Ui5MI8Ykz{fzL>viIIl#jir0V)8!EL>|IsE&d|`Zluk=o㡛rn Oetzz9:3``0=~W 1&ތCeC1).pJSTXN<:mAh1Kֺj~G%V~ J~Mpsq#ިguNis͙&45YrsVD1W7f$25|8 l7U"W$ ezңwc,fIbGjy=-uʘӜ`hvDTtKΘ;V{ O-G_YDhԆb>)] %DvF(6We_c2J帢SAa' hPV/}{WIձ^`ttwR >-ȉ|żg2(hx؁V F/A2y\[N%,l̇IW 6ZH8T.ZfrEzywHZT[ ~V+J6Q|x;be۵1H% Jj4Ng\{mV2O42 6~7_F ~J"N۵"a" s0j#?傫qn"C#R"n*zDWQ2|;yYCzT1#sv b@KvfۧCe @%[Dv{9Ӫ~ g{Nz|CȋW U^Y-k= J zjS$IP-Y^?0(@e7rYP ZeMv̌e#C0G ﱧh,^x_Gc;ͦ d]Lr}f*-dA>rr^/a~hu6-c ( EU[p:iqObxtZ}$tT #jcMÚS~|/ :~)#XL9ʟ`WmIJTsM=~pwdnl=ݙ=vOvNMRZpv %U΀'@=s ]XtP5 U.} zjO5VXþmI\"x | Po-"OZPV #1#Z̫JPtJ"]q緪A:桙f o-b{|jy&l2BO'xCC͉$L pUdGZ^LD4HU0UI(JFpkoYp'w)aj@pBhq޺yU--gW/$9M#w6/Y)_]x;cb;q/6IfQEզMiZzp <>V-LafT^9anGmʑ1u2e!9p;!Vav„轖tf`XVc17~/tG0Mtp)ω,dyGkF\%mHb[ ~1ʹvǹgEk-%㈅$.GR_eМa LbS7] uo~Polkկ V$v's-qeXVXa#)]_xfXq3Rn4`/ ~[k'.Ho`AdɆjK}i}#EvvoXL ޣj9ƑļtnqJr|m\6\H sPw z^P&&*e[R~Ӎ02V2c [ Z'6 o23!9GP#ey RuVt䆂͵Hbs[R BoYB%&zw7+u h,:ZRYvxqoC|7 ֥IY(R,7"QŎ^Am ̫( lrp0wz@r `]nA n=I\":6[b!`=#ZIcqhZ^CFBEYPe=ȣٕomn6i=}{$Id[mw6ܜ"y\t@/X౳˻mYAGkG&}M팒l) ԖʈzB=ٻXo22jOOhn߮&ˬb$2x[\x+9=\ۖaa[hP4aǸ?^@A&&vcpleԫ+${tʓ^|m1fw)1t,֤Z%[K_-]x!յRs6 &Qag:H(%]}˓ =96RI<|V )iCd}v̪n-[!@\8k|L$D8T5 oZT}8?U^.5,/ .v.d~:. oԇN^NP`O"a!Q$7o CF1rgxW{RF~\LF]#{ OY7Vsq,%0Sf=qq6T.t@1EK r$= h\u"f*[ S`R pV9K W.V%C0ߓ8wE\{y V& ]Ym^w?AgXpSTsF6tr^ tadE=ϗn Dk:[JEeX<ƢF[1LllPdc@[@m;?N zU@C ;7[Ex_VFIWBGQq7 "ܙo>>NuX8T\9F4WVSPn=-"xmx̊XR?ear~pgSx#2-N>'z) !gj0G2H[/gX1 Dž8MWBb„{,9goېEz{Yk>R<JP74*9@dJ`jV*575 @Q~ No\镹V`j ^:(৾I 2P(7H"6LŔ[q Ap+ exHE~&A0FDQAj\* ;[Oi*6YrweNT],Qzd jj!Xc~ CP;ܺHnXȔ,,YN֭/?}J(!^(،?6ڑLQHR* j׏626˰>g-`s#=>zH$$~ iZMk9ծGna"IQQ8or48awd~ѵIx׿? F(V =ҕkBm!=Qz5x&i;YE=E\zdR@wpQɷc}8EyQy>dIMbǜi6rcͣI;JOrΛ ӌ޼"A7mrPY1"D\ñ ?ccLx?O$%2t |ݓ%bq1'@W oPU$f"\@dZ?Vp%0H.s`ٟᆱ=:$ $F޻4O) $BSJBZ nw\DdKF%8hv1l2S7J'])D4iޒʙ90v}&UR!HFl_„<xHhq:R>@ ˆA}LB0UoP? A]GA֍;C,=j\#舛ѡSۋop9~#l. pYʄ 3nO[n<) A#l0uիlq?`mG֭j=]kp*|H׎TNĶ[ a[@SSAH<\C oٙ2 fRTvR ntw>zeSL8IwD3e[^;&ʠɗ>' 0Ic`O;gytBҀd+ۇOF8_++HQMOt# .but/Rj+?Y`O*^(yK4YC"ËʑѢ׶IDM1c*?^ke 8Rҥ^J%uYmHE[QOy05-|;P(8И?aY2ޗb#* k&l*iª`v^JE J}k^{lb)V eVp4+ M$a8Ӡ#kDP5W!1P!*W>Be-J}J,NK8$5jLa <KaK}ns=Q1n-8@m~Sl;o=J4-7d H3bMHs*kq&?NZU\iu5? $=wֈdS7z+ nEíI& , .]SxYg5]xo6xUrP}EcO䖄)Zdzd~wl-ݟOnQ-UX//kP>+cq7B)+AP;K9T IUeT[|g2dJ2XB-qnxm2?}\Qvf^PX1 'C\Y7 @~uH\.[~k'[ǖ7U JcBvw`;#3 R~a\'lo"_< YIjft̸m#yd3C] .Ԙhpu㕔CĵN\NClz ZxF'+x؁24wILX&I<~ R҂358(1KF軱Fûit"/94<e PHٍ6JsX= ԟA_z$$ K eE jsH&j &+j|Ej1B c"ͶsU įNmˍ?*@>/b%!DCbSƹwujl8u@[> crXhqex#3ߝ'zuK<~XvZ!% CWY*AQkL4̻j0 bA Dd6|5x| $-n$Sā C?[pPo5]$Z~kkb?]dMp]}! 7Zqo\%3d]eO:tXvNo8G%U 6 x 1 Uv9':[15F$D OLޏIs_-6з[m*bRڌ G]jF>m$M0#W3gPXP6H D6l<{|@VŖ{L.=%7AƤӓHYuT)3//auY:8?fNbwC1YgT|3LDAFXnEdcX%6xep 8aFL< 'xm'/Il-~Mlԉ!..rРpCoF}Cekdwեo8tW}$&W0 o.C,M_J$@XF \^K{i t@RT4ahi}51]A:>k _}dWQ4ʊG GOQ5 I7}έ _6$w͹7&5_S@Q/ͷ!"P!%=jϻ@ Z9Pʹl{MܫSanܬpʁ8gLi}jBH ߏDN ij[V4\*1pMGTVIΐSqBGOC& rgЛxjDbj_" )I`L}]ֲhS.ӻG[oSS:pl!9 3W境1roelχĀ gAKX^͏hDs'Ce-zH"((iA5rS|"غ]B:) Ş"wg;aYG}I>4pHd1YAqj~!A?A[Mo> r Os>ހ2?UN}m%A};1'*w(1@as"% 8bhT+BZm,GG2 s~5-3 ~l d|:y쿖LR Y]}:YNL݇UȾgq?U,o_@X/2.3bW\u❎$BGgu\1l`k1(\ThWwYWTg|0YGoXј.!l\\~1hPO F]GG%@: un@4o=C(ޯUP@4&I[h8NX=򟸘<)owϯ]1T)rpFuna,+7YepCZ<:^Nv\mc\ 5RQ ct%J9M_eo#f#ALһn9zA.][юOFe0UK5qK[3$5k CUՈ/0@*Vu-(xG†O8Z.΢CUInEDy'qX;ÿՊCLT"~c-j#i)$ 0 t\\#)lX(*c ԎQî2)F3)FFGY>^zB-6 4p[UDRw9s^T 5Zv \lyo.'J9t \Po~'PW(se;_ }Z*=FI{5X-5%ESw`;{C5Fw;"spuj/[ wh #&u7\\z Lf/ƌ#'LqDhU]|@/9\T :9N^ظE+ ʭHo\iȽɰ&ۖvtiRHB/GB#c-vS)b }RQht׻.ݖWb L<S# Qݐ_kv2>~(P| UqS+{1 #g8CkX)ie4csާ7fXKl'XS,8B\jZRV!tuz5K%!E-6@MYNn\J3YPj4P/M}. _Bi:i@omƮz85!bAr<2Vl SZ~ђ|@r!LPSOmQo`Z|Jc82ʱ$:sYC2d U3) - %? S~9Az:3 4A+'eꗢMc`_Plޯ% &lwTog.!pRuk\ /]h@~_!TVl2uQ"]Q4?e,ɿFL3GA3ЁE@ mgYJ6Gⵟۮ點Ū9|RvK#G|b:W`jmЮtc$8Nt|Ef3r՞3A;H.81 pē8MBxiP}*!P6Md.mMP9@b΄9qA/6rfq]nw@D5~=VZO&$%I~uۈMR8uJ)w~~/᳍G|<Ϡx: bhYrE&9h{6L  /&"j^a7o<`:9%Q{-zgu |K˵҇|m sUׂQq!A/UkW6U9>394ߪŖE|;pmLf-Q9*dkN f\k6760B8ߤJ>, eFE\#>#vX Pt#ź=ʠĉro޿pE_LADpv<&V$~KɎC]̚-"qgn-m/"t}mE]qzґSgyt*{uK`]X+['X攃aM8m )#ɦ n#oWĄNox3#ݞɛ|w=w`k 6M6\$vtq?d#}P-qCLU@;: +{Kogfrm5ܚnFS1s3{'Uu^tXqzGglsMBe$ٮXQ+~Hu.l9ZQV3 ]<ܰ -z#QMel"#UOJ?)Ղ;iZOh( GL.:">{ lwSPU|S.uHJ؀eF[asE@w㮉ׁ~ ;h|swqβp@]#9ZQgVL)Re?.dɑf-J]=C&a!1cCXxiMݭ'<.X$[Xݽ[J[u%dy H*PS8O<:GJg4%7)pЈQ,\qª/rGusvs* RN=RdÎXRhTԕ[*Ϧ JB'ϸ.@R_2bse폙T_!WRQ^ BQB7^q2X=-o̷WkSݑ*K c$s`V_ yt㳃#yš *O!xykM#('~IGTflƦb<:mfYnǪKMR6b[Z9yȟ6T>FŁU`&\.+X~}.".U$1$wv<`̬V \)tyRN͛Ev#T#u7%ɂDLf3+%aW(BybV]CR1dD׷ I{ 0G ՜򅟈vn+_}-6ZE[\*pY:p†Pp3( alGD ,QixKF9blB!^HAYjaqAw Gg(yxZ |h >)I(:'ɼPNX{8QNV+@1,OqX5N}N?0lݰ!̋۶}L&{RtQjːV`u>?bBƯDnUW|S1TFMqq h@站z1 ӣRtJp\ ٿ݅9%P)e õ@#zM!CT}&k/fmT~)  5B YSg+oHKc\fB^u%mo35#LxL}1Y^褾˖z[m_e;%!Vzٓ!eRbV$`opghа֡jCnT}?M br,]! ş_eӺ0nh")Ԍ=|^FpB*!I@B;h<ɘs5EǸr"_&iɲZg S=y~8*.t P'⁄d,:AST *aJ~oE!IP`Z*aXr[{~C1 {0%pFODb>~=_M2h8J:7.q+4*G*xK`:~ٙelrC`E=sgPWp9Љ Xhu`|P1/ T "nvZ]ѵtzf<ޗc i6-QQ쇉A2Ä~=A%$\P(S{>2Ut8Arr!8CR盡D̜ofUu:E*i&gUZV`bxJYIBZ#1w|R& (rcԐC9;?ͅ ihdOģ =w ~=>y~)?l\zBƎxf/QD5d߃ ֢WMK/W\{kh t9Ei&ejI/Ltkg6K\vazl pu +.|;zWE:΄FUlܣb?R/+&D珎y|Y TXW㏹mPulY YXbF×տ,ZE V@k`}|Y/