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 #t| ]]FOL-Fitting:threads=4elapsed=15.521cpu=42.200gc=1.7647zXZִF! ]ŗXiɟH)0!h]5^«W{uyY!o/L+ʺ"R9`bZ 1.2k4}ƈW(]R dOI_D>x]"m0|<(ŀd'ٶGk-c~l yK8y3+"N49z}1RBVA"FTJi^짗FϛQl`fͯJU A/9QOڮ#G*.Zbp~I[ 8߄/ؕi$bӛ0z[E*bMaԂD*yp, ,M'e!̈́KgYZ7zXZִF! LF]ŗXiɟ1QOϒ3kг^*]HD$l kvk!j9 ;`_IFHbM# }YZ7zXZִF! ˛ ]ŗXi%BzTG05Ǥ]f& s/3wذܠH%jҙVǘ.!\emd4=w:`-NIc^X=ľ f H!n3G4jv;H4<7<'RVRF1ﵙEC2v*0gg!6Ħn<*Q!s\0s%SƬ_7*(+-4ޠ*-Iwz.|zF~h w-$3䠶kh E$W#fZd\fUdľL*/qzV]ifOGj^-@2m.dXQ@M< ;Z3 KC:xTVAb7I6sjQJWHM9`M%'CK_GUsp:M.jGzc.;麯`~-^il'`Y/QE. _o{sd2#27qK*G7bT1[&uԎ¿dXYe^a7Y $"U)U7fUohtc K%X7: }3oEV낟`˪vrmvqIgje@ޘ5B <>l8>wd<#Ddyԫ |8&긜;jB&+ŕӌ]Ѱ:M%ڱ=*b6(pk&m'ׇH|Ala26^)gܧ8q&#уRr20Oe~Ki}Vb0cmb褩ĭ߄]m{Y%)Cdgé\>[tϥ |G6/0vgYZ925cca8789634249b8072cb95ef391a77ca2cbd696398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b933ada94940ece8fca33f27ceb84847c73bf58ba73 # FOL-Fitting UU{ #;% FOL-FittingFOL-Fitting.FOL_Fittingdocument.tex7zXZִF! w ]A-MՋhvG"uIBm5^LsyrcvIxss0Ic3?jwXX@SIJeyNo哲%QͪW~qJ lBx1Z P_"ĭKL/F6{JVMV./f <+({4&ms^3I;%D/pE~D7СwXЖm/=JO7 H89E=hbQX@{coUӏʹ7,]lt'P{.^J9= >Xx jYw?"LسWic=wXG n'/3)4`h cg#p&~K-h*X$;5a#Fj-cو4)*#ꨏғ°9wȯf/#Y<,]Ntq'HH_ٱgRH4P7|۾wCAnAsFAeDrЯyIu'b/׷~~iSOgBI͛SdQ-Ɯ3Lrڀ ƪ?&`'?̘jzOUi.a;ߕDtTcEϵ"HːǡbI-c;ʑ%|D :>CgzQΒr-ܚt"|(e;zZ[2؉DnXD8DƼU("*u5e-[±9.)#u5oBݴԨȎ9W}FzL\,f˜ŭZRVmJFXeDhfcQS֖47G9g {hguq`[:8j{IV suQK7V [pߪ.!Xz]liP+4 S~W#-s_2ߠA*xS&R޴EY[)MWOdz7As2('GIvQ|t3!^Xq<_mxl&,9%t3JS=%ҟ}'TN(rsK=b BZ,`>tbٖ4| &]d/!k7ᚫıgGbA^fʔJy7u;xarQae>xW>;(QZMK"zF{Sِ?\jD%ZZ `Parb=wV}sج>KݥC>*EneV_>:h[)? }3eƉSǛI\r)"?`CdXG9Mc}A5bw>:ܚ>ŮK`:O#R(dBҚDtCn",[$Anb>D(6TA.+(?]8ҽjqeDWq &i9d̿dti^ Q-ExKwp+`M PL.f`HsFR^/ ("ѕi ]AK2 DCf*4DDA ?.CL:NWC_­:J\R^EWCKMA#FȻm pn80C{ʶ!^ ۝2<Tѐ밻BL5hh;$\>{o.8E 6߫BmWU>@=&G#/}ǯU)Jq UHvp 1G^+67l% ؠ1cSso!%p; #A&9ZN)!fzS)[]J 1郜pg/TzbJߤu)ͣR0!5D1>{LT:7ϡmTTP=qF$$Evfd#cQKk,%NRe %0re `l jJc뾚2lyR@5*ʧDQ2t!D=ǭ0oγ./0ʲ\Tp\eZt^ZOutwcPa^I8Qy=D~vd]#DH%ϼ brk$t<4]5&/Ode1 HYt"P"Q8~ sw"W"vݦoNƇ\"8of +Y;h!Z|Cըe|l.v48Vڟ${7ES5y-l>S!L|6ea&pT\`)(_r~5qXv*`d4"|ka@  3#;% FOL-FittingFOL-Fitting.FOL_Fittingdocument.tex “icؕ}+/9|Q)S6/-<"x%ޥTvG4udJ00p>}YW#E_dT偋w;8tM5ܛ4oUr&)f'H [d)/ j& .󰮬J٦ט]+dVҔ=¬rޡp_ (Spi9FY?԰zNrc:4`QKh{_G9Ug@t_8֔:&m"3lx_5'gw8:l2 +{;9{"`0p{b6C V(x\Y_Vyn a<)]iqw9R `4_$'ݳ _ePz6qģƋn,%'[ܟ26ga#? kp1.iYJ(dh|wƀʬ.<ݚޫ*\}w˘Ԛ;(n!6vۃ_+vR N'N=4bz:l=/øD97ꎸ"] *Mմ{YC]tW@KjxGî%Ӑqn{|$>՞Inh\lh\fsixcr?8j(pa6̥bKU|6oSF&h_1ֈ 3/7a DJq}tMXݨ )DKc~W[W(/=l:/QW+OP[ɞQ~sГFq\u'<ܻ*lWZa5(0f/,~<:R2L{,l Asʆ㟸>Cȗ92^ӆJ0`% MU$RoW&3s~8=@U.H8ΔsSw/a{H1:d I1O2`[S266Voa;c;\}'JumZm{CJD=n{;I\_z*D#) g˚f"VR~lB(#4x/`-(x= *8c6qns26<ES^D6'UV K#%WeuTq{Ĵ9] e[<8$WE Pkug®zݠiޑd_yV],|a?Y}#^Q<-1_މڸLRyGW[ &%$9#o8._zz$hv ;?:R«LhȵQkfe 0q׻Bq3Q; 9}&m濽e*y3WGoCIhs%Ih65^oöuObĢ`r֠L@ݞiƽݴx <:019Fn u&[gfDZu5&0.U!nGŌ'v'%6j",@]&Wᙌ\&!!!MMkg #͇0>WDRar{}'d"R}?"աr(g|]o],6%WqyCkiG(3]e\X4"? PFrx@c ܻ/jz"NKJd>Bњa42jj'PWYTdYjQ)o.?0t].|F'!VsWBK-p~fT#nESk"0/!OZǜX lxjPB;k?o##sP;eEq$ $t<l jCv&.;, pHjiCe|~R5C|'Q9^ }.4 .N`f> "vKUU]˴K`]vN9/)ܢ,٪ȔMRT w,c_dmsMENay @$=Ƭ 6`$+lmXn\|ۿ8(дٰrP!¥w_GuXa#)8ʈԓ3ʒX5,\fYY0ؠ]gB]s}@H""(#E鼶mFMEC([42%Es| J&8 J [7JH𨈛v2}-ϭlS; 7wr{;%&dB#uֺW),a]ZVgvOw0y _(RsD& 咂7?nV Z_+' Zj5(MY[2,5-/勏J멟 ;.: _p7Đ2]!Äb8z@E ??y kh :&Y|Ay&-W2EA#7MfR;ܓ{ZI-wy%ftHy"&#(x;ƴ=!wģE*ˍ]?D`Q* g%j+/Mh׃]|d|0P(v* q&^8sP ΑD#7iB*Mc؂"ӳz԰рN$NƽItnu W#.cG7k|$9MECIfRX4xL7. 7(4quX#|DM:b^k*˹C @T%7m:$My(坺YHL Zv̎-W.;!=V2Ŵfi}luDoHe3U䗒eC(تtEH01g@ Oi~yNlմRT׃7\B;$j}F#b%~˳$Jf V&v_@Paf6RK?9ӌjegLE:t*QU T`7_6Q0bM{Nl}[Ԟ\Ze_0 p)H%S?׀?t^ӧp>l4e}nF}HpG%p*_`kƴB `W:ߐWT>Qᄝu}\B&KaӢ2f90OumGG_ xL0z[E"hlF+̓M_>aFRo^)+?}ĬKOa,F:ۨīJ"‡$2Q,-N(4MǷ%8--L PY}a^ 0/ ?Cm@ G&z晌ZAh 1 ˪\b{dtUƘ4KYN8'F!_s ١ϵBtt,`ӧzθAѕ+o`0At} - v>c `!^NֲnXЌ\35GB}%Cq8_ibsq{K%W 3V<#J$+ ξQ܍w&DCHƠ޶viy^Ϥ`n8tLlL1VFse/c,$\lu;uspװLdaCzȵ~m}=׋!]ծۧ9mزlvt 6䟞S֪.p$\HDL՛ܥL{DBrYڧ9)t׊`NmbDNZzRԓ t\~MIGIFQJ4w5mm)_$N:F´Lf4tH>d~Ha:sp?Tgq2oveJϓwrgGҏRgQoۧuK ONq;+3:8M` C[U,-2׏EA ,ٹtDuD+ 8Q|a/G݅ Y^T5l@RNTg- HeWAnbI }SJD8B$=/p"kC l+jgJcA6>1K(M w]lK[7_Wd*ahdCV1^ϹZW^-!3>xj(*j?;+bePQ_X(L63?rqnf#:Gj2q{?nKL7ywW{eZ1|/!kݥO zch/YSRfi! r2_,kLqዶ(CT@rL`a-ӎu3|q !MoUG2]L~7e#Z=ɂ5rsF[۬3vD~ wy1 :߄/^uZ8NDh=B 皞6zu%_pژm~vXEiRҊ,ٍC9;.pel;s cG u G꜡}`/s73!ԁq1^DZ(y;|Q6G.OvT^FOڙ>~#/mzˬf@wn佹Y2nHMv/) Iz&-O yȣ+Ӷ] . Πޔj'G2Ty@жc  !#By:{D7Cd·1-pif,D}吝ab7y3:<+NQ+xR(wpAI'2lmD"v]A@5=qkZJIP>#xPVCf]r&00$_FFS]s>* ΍Gj'~\r,D*S$ ) ~%V;bCm=m2[,m;suNn EfgitE(J\p@:KTɟG1xJͶD},Gm K,a SRP(,kzbb_ ^SHFMe,)*xvu_jfT6k+M7yGs0p3ׂwu zYd/,c}ZRT $hphGlb9@s C/Odgw}}P4J( 6"+2'O=-qA' tMZs:tl(l!ud[PL=Ck$U.͉L 4SMstU M % ,& :ͫ}f ~RVB?D3<Θ~;3yVV<9=A֔B EA1oP.C:Y  '&xF,x %JXp48qF8tW!;.'xd<\ ;]wEH*9lv1NY˵"PeA4A FLۣBy!Ft7\XyOԛ~-$OeV% frXI m%&,OM;PLӻk5OӐvk)~gf!m^ғ}M`E tY$B1bO_QT9|?Xl.*o{;bN m<sqcQW3Dcg1&\]nggݨȀd7sB UFSk0B_T *a&bE,# zZV]?R5):̛0zXMʜwKvл7˰MWqtdK)|k܌2]Ƹ.b>>j@d)(f0Kin %R;a:8S&=M2=P.aڱ!)Äs5X**X&1dP%7 P]G[t J $% qciGA+LЈM{'4AX/ڌ2n7wu#:7nV'G՚~l+Xc桫 ) .<5}珥 N$32;ׄQa't6'<1K {@yBV 1/ƤChqZ,QX t2&qpkm«~z5uyhSDҜ7 r՘+9_N;˛vbvh iB44>ÊE(%Wր?11ϥ!) L:^W”*VWTWK9K!F2URo.n+*Х 2pC'ܗJH+=[;&IT7ʪw-H b 2] 1ICswN;j>D\ǗLY*&'+ 9C}z]`mE {1_} 4K>l6/0@rE&ѝ|i,j z-) 1I;2/Sj.xJel6Hȇ4am)0cR0ja?،[4lI-Z7b;@O.  x*vx7W$ȥK9zl?PZ Q)7QYsDo`'k]ڡaTd́ȸDs 1)L|϶,CxX;ܸ;N٬E.X?DU,1q_ef"Y`C56=oH߿4n+.vֱZ^NJ;B\3 Vue-tZZ@Ol 8p'xTp/̧ oy~H<[ y)NJ7I:hod@{j@`x) 屘*(ŕ5<ݳ囗]%ZQܫ^;cdjʵ՝&]1gO*ʬH eN % m]%/ߪ0DLoL|,Z. DwK@}'O.)N|{zK'm%5X-,0݇OZd%.q@%WZ)O$. `'ô,n?Vî!__.\0ZvQ!7-6a6#[gm (-@e5\fT4>QWL"`X'< \6ϒ(S5tI5.QWB9eVOF\762."NG漓.؍*,; FT:bII b675풢c3O9&HR~G|<)(FG!}>W /pSbR6UBskqu"uLoFz# qEO j8o3@r=d਒wKZ51mi<8+COD7xDy:g,˜sũN:rX?MB Za2}^g uK[ÃJU/ءBmD5a=e'uTRhu[:^펊5D {RIOwLj@Z] cHk! :)$ѡͦ=#sƴⲟp~g;sī;-H|HQ,.u,52k[-F9c@n mt ޕD)| zT󬸣YJYKcd7+Y݉z/1z̡ruܳZB ' h's9 fOrǙ*HmA;5,σI$Ɛһb[rءzbu ZBs7~D3~XvIz\R? E}$F \7ΌӲj`-ȎީLsRʋ`(\ns] -<ۻ]I>޿ ܦsga ȊrԩFw 5,<@?zk?/$'*Uo~s MOGR=_\2LЬc=vv4k1AՀTTۈ는&vl[a'/E@$w +G ;fr!6%=kIԄ!iTT/ dүJN7*վS4q"lZ_gky.fme|UW+'ȕ& BI``r~!D,+c ).TXŘeP/UW˷>m-NDPeF(n7U,oXL[>a5@14E☥}7~B _^ l>_ 7)Ճc%rg٥?sE}&o[/f"ֈxm4b:BտluzUAUA(9PLhBvE VF_Z8!IMZ&1Xγ'*4Լ[[)+BM(VA+ vR +dj<3`ek@-QbU\|B("d+ʏ,gI="'xe\% wö.D\u$e=G﫶_m-E౷^Q74M}(.0L3r\f|"ާ):GCQi+Cgz8XG&\·vt0H2Hg~oz2E4Um["nxc'q>I Hg.pE !vOr; ß#z5J/*=nqLdX8VwՁ/}WI2be8 kș+ A+J⽉uE9ˠvR%! %eFgco'Fq4„DG`3Lfܻv -ݴ}'ؼUIwDS,TpR{Li,)aV 9wEp<6=>a|[tZtu')4/MgQCIt1}qspw=O} NVdfrjL$KkA .C0| 6=ׄOEsjZn2M*eV*}Or,C1=&,EE$͵χH\Btvܺ&K<6.$zc&bufP%@a}vVmǬYw@L{R{UtJk`&{F(|$]so+ʃ$іx#&54xYaM t;257җqlŎk& 5J:M{q!44V@#޴!VOHsJo&ED؝oOvX,!(Չ"SVdcvȐ}UNaYNm./)$⢍gsxC1:MY8"Ju2EJz@후ޣ#Σzԯ$KYX}޼ H >V,\'(Լ\ uD`Ϥdu`q[:o:hPp8Ch J`JW5!j#xʖ`{r=2ǡ-if.CοҍgW_͢kjd}NK-pE#wD)ʻ1POymxZ6Oa<| $!2UAZf:mćN MM2p{VCzT!ؔwQTr?gT=Ik_ b{۠%_BuV*z굠b/+T^e p}@?ܕwdI1\;w9H`T4tv$><<]J׀OM V僸0gelF6J ^TCV?ƦfKrhFv`,%:^7iCR'sKe8NN ie6`k }<ڭx3eMV le]^^%'A O >&=kGL#=i&={˝Q¥5iDUVtn+3ڑ&Ѿ<[H! bLg`ʷ:O[%F썼U%;=8 k=(hm"x^9nBm-F #0rםJXa3 \A"!R)xb3g⿬<-q=,P-,xm)=:FQ#HQqD)%?TIM0<]\-SWL( Aˤrf(Hq %&16WLM)Z|㤋Y^Pv\yV?i𑗸F@>·#<rK ʄ͘=rha o s݉d;7O^YM)IrN5#!=7'P6j銜 s0,DU ?#kY^^e}=y4 [wBKqG0؃埂>T4gB@?Ɣ(8KjLHiZĆ3`PU%BIpcb 7pPET 6nV5FGTݢ$Dqb 1KE'4(OàDZ#p`Y!؎`TE+@&D< _v'M*7^̖VX@˚y߻:\Ti*CRG)>6PI&^B+@ ;W01[)3jmwf 6 g&}#o.ιYNB b%8D$jdh~]czIz<30'퉟snlgM͖L@}:\:͜5R> K9?8ip&Ejftdׂ!8Hg< ؃hL14o5'ʩ!lb9f{'VXgOqE@y}&zO>jP{%q)rN&9sS4MͮCSbrmЧ+l_NѺʫ+ q}dH! Gl/5|}]f>;&V VuM?1ZWTHU]< {,UK$4fD'yu2S1pkBr1ZG8pE@ʊv%xPou au& lG͆dAԋܤS$Ɲ9 62Em7%./]8呴T`u%ip˥ x&Tmi[aSUH>i7RB困Z;hiO& c`P%In {PcUVwo/dN]GȦ\oԎnKLfF$I&28ۄ61$.VYwݣ.D>+DzVwLPYǝ٣F* 5)+|`y0k˦:Y ٺX3]uY%\3R{Kaʑ n1u&ՠSz0Y>/_% B"xvbz3jXކ?[j,S5bv+`w;nV`?'Hl^AH"aQpid/q`2Fp1Vh= 9έ|;\PƒSڻqjGT#9vkv>Og=L[;v!_/ 1ڶZ?8rhZBC|6t-!_70Wѣ\3K7a [Kqp I\[RK;VΙVOO 6=qŒVPȀ^\Uw@O:MeF1ᇲ!Bar,CU>t<0V0Ux.j=J R JKmu'U-ȈeQJP#9MT:= b]Z*SPr' Ql .ն)2J,I]=#LlR"W'~`|@4xZ5Mȸ$ .g@-Ef=,I7鬍׬o:;z( +;$pz"Ҩ1FH   R,G=&~MZG +2Z?leWwUYvyk1bG!6z\)@4 N&bf2YL"D ,o]M@aflIN;gVS|P+IAd "p*w(}q`SSϐuQ'?u:3F8]9F9hX,K 2M/sg@[2rRl#њ\Q9hS.@|ފSYH$f R'wKzsvgm!HY/q~aAK ݲeUTb!kl^2ƅ{bpri79fLjYvG{ B+Oi{WA+ܾ3Ө>/9@'q̠>"'=bt/{R^mkWMň=rZZׂ̍Fyv^>._BU.kg[ c}Z&1nr.ϡO}Ug}nPYnRe'\:v'Mq#oa>jn /(f=\FwKœ}l[+p?}C&|s%)hR,3ZPEl=IګF~{NsG_+4ac=bI>G@O?0ԅ$HhzWbsB7.&GkA_"׿F+iT7 h_ʢjHyD'M\DG\m̌ojO'k]`-X阭nv)x_}) `ߠ/m^M wtX%v=B}}_ +%_)Զ4s>bwP-GL} be85'7;F-U٬eZF\KeMps2h7^#ۓ^*WaP{ |1y UPEU4r,r'SOi^>4VWJ pWNn X-Sw|*pt*!cbP<:8N+ bWqW|c&I[rr,{Ih^MU5m;\ xV"b73p_|)1H}ٮ1kyM){bFT\97l.T+&㰍U`K'k: e(+{n$7WDdvqߙVts"w=TJ9riS HB>7{~T&s DЫa50H.a³>AS-Ե#GRCt wu|O(\"q졧oԈ0 ֿkjB_dS11ޞ) ]If&Ӕ?mх-u/@CӲ^H'WŁfxfz+!FA 4!5ڭO\uߟgjd=Ko,ا_Tql96':*,hEIi f>_[m\;*s H|뛂~٢M4>)o)Vl<5{1_Jfic{]eVIؕqr3$Y;UtDO^)}Ȏ{&; Jئ4[yY1:YP=Ta%bG `Z8bdM}m qrƸ\zɭ/Jy30 ~Z!Zb;T_Nr4+f1ZefXKJgyo Po9kg(NE5aellup6T߭SUsG?p^I"Be#[ttArV6%Xsw8o.CLN^n L_K8*h4kNnxLȲt޽'gƾlZN[& 0} ̭ Eh1D pu>V.@[nw`8ąۉIual];_VYڧW4XPO ^ޫ&w s5J+Cٛ/yz/>l xtinK5t]j_?t:ǯ%jGӵc# ae}U8üaÕZ42%)>E'pXT,eJd%$9N4]A s:!kn$FwmhizoI%ZT`tIv?!x۞ӝM,;H8C'}τt%,ɍ(5eIܹ gd8J~GU:ץHawV 6\^lF;C҂crfU}画O͐A> G)@̠keP jfnH<%,W{q*ni$xbh!5sQLSsg!,فg9an\/pVG^(3;b5wBmU# /cc?+{ 8qf=a5B`bS\AfCZqdtš-5aHA[l3#™Q*V ևWJ?wWqu}#?m A`{<.X__25}(XթjJjM kzE2!|,xOl{I6:\E9-E&s10 "B BwGjtZ&[P+/Onږ-6WpZ]I%i4%;lFv ]u6_\Zܘalޠ[OͿ̅H岔B! oHt89gQWw> Gcn ."{'v,:,{N.> ͎ˎŊyWEb7=c2KWݙ"`ߊzïS~U( m]i\82>uKY\w<`Jun|s8S*bs=){.'a̓ӆ%Wd]W؝==㽨?*#W4LϰPKL:dRtL*Ƀ5'hH8M=vwGP$2pQZ>T=$5 ؅ C[B,PL Q"]Xc50-eIDpX>8` VN'0&bZ2\0K` cյ՞X|/fM@0 }Mjy Q ɿ_/tsosP\UɇM$^7ޞIz \nQyZ0%AWIN`F. KL]E<&BC?hcX&GliL]yNEeHjh5Ss©QT4o"]^]/e"6ø̓u̫99pWԟth?ڲalI-J'ȩ)ε&Ы LQ7rbûֆjѻ,MdX6q`#8'+ LfШ+Tyg|WOa3&t Јұ:sۏ/ ˲h Y6>Sǰ]Q_Sg_W;vLJ̜u9#$` AMIŘ`/VN,̛.zpk%.%(e(XmCR{})QXvzAu‹`n7I̶93,8$U;|lJڴUɍ$ӫ+T8Ct$_@&t U4'a^w¤Lrߔ)-`*#ryaibѱOELOE 7;r~(l욓ژ\g")7'țu3jb$I+X[KH 6\t_9O_ E=h~g۷*JA/ ?^op)<7UҝKofФ*F=3O}t93_Tvader0ب=F"&6KFBu&˩rΚq- VXe裙Cj[{Kgh$ st 8=cngbF G"Rw\o8[/{JNݗ;m6/Wx< v% m`ka> Սj]XHJo 9{FUc ֙bxNɵILu C{t}ŞOzivKtY$\:zf`U׵ߨ}ԉ=W@% v%,?@/QI]7aQ~s |K Jue좥"H{Eigۓ}0;OHaBTԠDnӻ^*oFlUq ,(5Jrނ?xTgZVq̽iLx!nN5ދ ?3֪3+ܜG@! %vxPObloƨ"Xk6ux#phiʣ8;ܸKu =/ JmXByJ=A0ީ%ðeYI)u> (%1 gfFC_)XA+!d3I- C"-4y$ E8 6ڴ\j-J)*褄*L :^Q%NH)_6V)u{;}-Z;>2qZ=XU8ZQi(*=<={׷jv kԵ/AY-#A{BS4nm=g}kb8<4{<TN)?-J F(B*D G#5LF Pv.Í]rЯ}]7Es< 5f|:*/%I3uH {܍9=Ϡ)'Atq\Wnx}KZ'@ږr[lp"|i@ju4 =, so湪Eh_t2>|6v,}yExp"-3lW&szjgmwlf ٨孽k ;DZq<K<oz-;y T͍XO^= ߧ ,Nj @50e.V;X9{1;&|Xojb%z `"tpமs¢}ڛ;pP5n,'FL68e+"_@őUkoO.%;lecAr5ꏖr>/S S4,\MlB{۩0۩Nnb]yBH[rwH>'eh%`Ik\ABwM-.#U̇ ōN& _n#\7o}ݷ/Lc/_P;97A*$.9){}|$\FIgljToMӡ@0J %m&NfHrܮcvei%Tr6ɚ?h@K h gqPwj@IO BK~P~kZݠA7wJi=3Չi(R5,+c"f,{,'?HL?PnJVS$HUKSMEzq olH 7%bP<ڞ{7W"}aE}O?F+8| )zb{['doqt_(vI!*tÛ<2Qeo,ߖ 6~]=˟n}C6XpP."{Q- oP`Pk(ΘOb+azqzjB~#c ,2}kQf`@N(]?Fؿ eimpGlܱgm9j}`KI\^$F20@dS ͷU֭ -1(&!>)K @/cK /I6RC(Q`vX B($5%q%ϙыm WRJѲ]HA-K~xEBOiK=V3[ 8VI!g_$: 3nub'+\KA!wd jv_ FbWTz9TJA7CQoC`񶆪3 xGkbi*{*')Y㽛2k7#Y%?TQ^qu|G.VGΚz_uscHy ?X~ŹMLOgKV&&# P5TȽ5M9Vqg#FOE2*IZ *_ivG'Ig[ݸi@*UA a%q踗s9@L/j<-4j ^>9śy*&V?oz#| -9_5,Yy~{Y9C"Մs2r%kU-+beNmVYf39VOF':q_'0I<0UC3$leas86$xsc@\)$4(a6S1Oz|iE52Xݧ  lj냩) wc- DEB,V xѕhd/C! 2m*4lw:Lm9 @JB00Q/P`f|j)6ы6(045ZdKl"'}/Ȯ,>GFX& #zʇZ7e0]Ab8>Ʒ#71|Q8ώmMk&{Μ@U(q,;'r(\3ňuXL1L;V- d{Ъ"HkAy&&kgHC<1CU[0pP+UaJJm82u4Wafjwg\V9: $>gQC59s(+.LzXrk}!F\ nVD ]d Țb^αSpЕNW|Q懬VZPTD֊+L^m"HIJQ?#Gabޥf<at2#@vRB WuK0-0le[sH (qA A5Ei]֨20ugehcM`>8qh/O5FEfs܁lKMmzMi ; EZAQQﺟϣ2?ޱ=`2r[z "P:#o\Z~ =5J" ވ.ܗVސU1GA#BՠU5ԙt^ix98J$O-یq0Q8t!rm,9e[f}qws:Р '#~YLRE CzQ!){WBsZװTtaQzc6ڣ7o[J{EҼ!u(2y 27-|@ e1 Uu2^~;~XP6>.~ch)fDt=lYg"CVàzCt b ÂOŪW!qS㹘U<H3!(|Txpa1.pVC,!f]QhҜ2+c1kGJ׾<#6*s]m9W?b%=);v-M#\oҠz:= f{Ɓ:q>'QHfѴ\oco-80EǴ)}FEēmj祜3)X/uk9oB+uu 'W,}gtc9"KQt&ʤzu2"kjO~U/)=Dsp-%$A I.(=(FyQU8zSɪRxDmWP J@Y_ec\#++qTLCD3W5Xlߠ 4D~L5ἡ< Q0Wi>ہQLSc0b5Or+=֫$3"٤xpgG'CzO]c-szR^ c/a{9?۸@M;+$wpȑMVˉ\^[|%nRZ[չ[W0L8-CMd\X˿3­j.j◿b֕ky==۰)FIK8z4׳0гL箞WuG='kqUm噽$%?oLB.YTy\$._1ն퀵Y4mv' ƈ kPxV7h'at|uzʪE2%}0ŋجkr֞PibVX6?|MĂ9)\Us0;wD*& K\h~U K O1hǀ]O]> ܖk%RR }{9jwbsń"gϰҌ$\cݝ9{ѽ~Pe=\]I^.5`Tǩ‚dMƑDJ]` 5OdӗGyeK|)2w#L8[6&ɱE萵wٽY`q턄{ gR瞹 <.p5k\CŽ7y؀.QIkX5@t8x53 3C;U[+Fe6ĿrypС.a;cUvEJJh؈lZ0)Æ81_P;?eѯn{BZ->e85 8z:ؚ]fZg0q\iR&Gu}ѝעA~t?7!vc`r$./#hO +w61( nL_K%#PV\`bsB8 HǸ6oM4/D%(~=? 3"X¿ !cڪ `tҐ.Œ+V g5ZubwKִk Y?$㰙TD6ӵa  ds[BhEI0 VD Զ ?P:1L)g4M JS1~pT cv=@⿵5Y@w89x t!'JƢKO7T~0(%]{LtR %J.ٔRj^m$ɂhȉ#&zXshqD2Kb>2'̄h~Ǩ? &vg3x́ CKn}e+x}ŁEeIv`91ЯB#T>C}`.dQ_@hX YG;<#łcې]Ϸn6Dg@ ],'{`!T [l؉{Rs &cGQDK逡,ͣBܑm5* P؞IFо sjGaJZ &Km4FI EoM \6XHDiv fQtbH!lNc5mUQ{ Cts}Ч+E@LeKUZXs[S@|Za"i\z!TڵDYcl§uH' '@7 &{u?qw&U3 <0[!UB'/ !sjNm"\*YEc 'W6|6*֨ѭi%: .24RuTr6ZHѷU]&ht 15{ugC1Լ|Y Lmv.6_lLMAc9_ڍ<~'$ ͆T^&yUDc3`hw`gnufDapsj<,Rʜ-lWB K^2owr)n4/_fDI1'7D^" Y 0t^ug>ZY(.2e_⫩69/MeB^ٮ'PIE+ȫ Z,m1g'hw*̰e 0׳F׎hoBS2Sr#q!4""B(ymwMKdhaiE'H*Жo#YuaK]0U}~)B rQaɉN|ȗ?䜊U‚F<-/a$ c<ـ v͔ޓ&9r] <\^t֑ZAY UsC|Аm)#$a[5RVǸvfJ'qO7tiRj&nl)h\=Qgu+IXFYIM11EV;"x=0r8[=߻ĩO0L؀v^5/ )!hu)#*=p'E;w=&k2UMW``܇v76gxϧNŷevwM5rD5[oKjg$< RiU@HY+3D7h9 WB\NGEɉW)_Q}>Yǿ4t.tW|E*s]tޢ3,|v"Z)մ,mDƇ2. ,b c(7KȜaŕT5n4F">~C-阀S8#Z,!?TfT]l۠jxLxlR]LFrzj2ec- >%QGU!N+.uXND;? UsQOF__Pw]uFHxIIx/F+u%tߺ#A܁an&ŅY!#wnNĔ*Iiu-$XlŴoӧ (,Ue}TVrc8Ecߘaؐ+RӖB&Pq($Dօ.?"Ò5aG>cOtTa1%Ο&FLuOEJ~t܌rɥ{!Z2R3`~K5"Pv_4^ZPvmϔ̚KΖHDd2m7z aoz;>(Οԑ8&IBMfcWr@ vA)S :s0ONr47)j iKtɿѵqXBʛy'Uuq`mO;Oڔ"Y`MEԌ " \R^%7 /.9@cۜp'C[q&7$wf.Stf[X/?sIR2Xr+qh½c|PM'bX|]#a4-5U~r䪦, M1H+TyiAyѢr?1`ME:Dd 5!G3Wۊ|OuT֖9YB& u$J]_};doQتJ>I/g) d^,Uõџ!e?$<%`VB}djHcFUYSs;щǨf}qJ9--~s:p|Ǹb-lJ ?Oe:wAc@ |ø=S2FM떍$Z~!>N`27XVZk~1:C(+|9f<"lS;4ڸ3}Nɴf ҬI[Kx: M\Ś vn\ٔdC1EL>^ 'gJ W)7f1 'CDi5ĄYk~Q&j{Dnܱ;ղe-TiJ; t^jDYK}|<Ⴒ%v,KGG $ǞuG$犺v=>t9crvBzOfQ?jPT;\Ƅ|9ofPoYMm RozIR8>\VO Gekc~ݣ}ˍHq`٭nB.{pǾ *b%cTLO{qmjܲ0s>Q<9w:?yC ⟢֜R̐{,W3^ 70ㄛoholp"P5[Ԛ ޙq ~XTsBYwB#%qRtxaKM).thޯ.t9d]/D*]4Ƀ^CΥ siT}ͲEIY;L5!qX/7BFߞY޶1zPQ|i-!r;X"6hV)C58éȊobto`J4 ͪ&y[uOU!UIRM:8N7kȞp͈.^[@[і=OAՑbܴS%oae+OoV wצoϵAk@roj' I8l{_jUBVD vP370BUa?"#ugv圪$B^;yR _iћN- s{pE;GRUP6r5vsu Kyr(` Ld7=retޒ:"}OH# F?: ?^f aGКL1*_IҨK; l/N'~8 +9,Ku=;pq㉤J$Gz3 A\˾̀wvzV՜By3Q8 Т=+VŹXjy_r"mqcx9B4=,phXuf-j#q6PSJb>/1Nl`>RKL%`L4>֎^V>_4杛Ww!]DT5t}O͓S[~kNф&؛f=zP ldN>=>m۰?҃V>)kq !CQCآ.퇚Uag=<٭ʮB ƹ|tp9ttT@.Q^ 1؎eyءx꽿]7.}$>rM(p Fu񻾙jѮ7 W[HUJ*m6 /їJ7fh'$=KGeAƴUՊtfDY<i!h5 j\aV-F6!탚%[pzUdn\m@QBf5hush<y$*h*S!Z]`fdHԆե ?:l|H b=frd}v`F9\3^idx&LjPrrfSE|SAIz_p'eN'l_/3֢@I-iIa+nܲ}.yۧᕨ8bR6E;BL_GS;_3(Ş9.S6?1O}Q[>@\~l&,lo;([l =qr!"ϰp3T 6v[~b8>kgFIa1#;!ÔEEV5)&[AyJyLK&xE" )ja{KB?yS#ڜlO-Ҳ+aJbh,QNKi gIpGX9}RaGkHY2}O7GeiZڞcvdf ]V4Tw =CVR\\nC)T+9Dqfe0 ^F ~w iEg!|eue!Z2Y偯8eMY@uo׃[ ]evݨRtRUe ?"CzCK\gHL౺ _gs)zy|5@8'<-`lkڍ+1"NMշSnzr/ZFKP"EWz")Oxs3&)_,ƐE%.M S[0SN[[',y§C5!o#>|n +#)rx𡶰(-gZQ W#_[Y4Y͜]W3ZCcI>Y]rqThO1u"%~T`lL.{mΧ T`m@u.$:/PE2hL]_%W ?X0J9-T$sBTvs E]HQIFItlQBz˾Ad:&P,xPV0jN(Nߘn,#72ʻ"RUL.-gTK{umZš0?4H8,-Xn2 "HX#8> ֲyJ/A**4g,"J,!۳ƞpY;7(4XJ8B;&%I)#A~\_ɔrX(mZ\0PvIO0t~<H}q~\{TK5Jq:d%XQ8w~|{ަ|xsAp.Tʫs2zqW8{>u+Wd H;+pᡕGQ2ݛ!9l:L~mEֱd3$Q;B56}P)fhEOg0jB^¥ēs';_oE.R|<ʰ̕0<EUsw;:P20M&N32{Ca;T5#(Hx=Պ԰Dv?W{- 0\g &-ZMHlH?rsXQPiHs*ʖ6=]t3ӦdQ]i>~s[aڢ\ނA1] .4g.&8 l/ B遺bpha$n>H#B#kt㲿 /$>B+1mO~ !rESŎ=wE<=4C|r!S$$RSwl'hlc(Ώ܌.=.,u`bdJvݥu2y+gWqEwk04K9>,r,E⃨'ղ,RQʋΘiqX$`LO{D@6Jq)UP MX})!kaG0|Mxh!f03v۝ϸ@4VW͟!RHPpgYO[>cƝM7GYcTc+ձB[-;#Jf˧ѧ$òPTN M;?4jyQp"u-b*AV!""`ǝYvJhJ +H*AMҠ(tK^Blybw;lıg&*Npg1#-GXQoϿc2a]HgKNGh"wD_aeS77}У:רp ̋IB4ɫ=1^aa?!&LO WьxWAmFj˾TGهR ~OqiAmX+s'ƽ͸2OթE$C>UZR!5ϣoBp_ftPE}|lZ1i߮nDJw%7” 3,ì:ENT^ EuJ^Mɿ΍4a) (qU0KV .nL(VI |j_>ŸR8Adn gtǡS(Rz5|FFrk'-}{ _w;4PIƇB$z0EF4Z9殚͟j>T|&UxH@ Ԣ6nsg<>oao1:VT~o,VSTwocZ n࢔X%vYRc,ݫmf : vDWy+ ͂d#&a:bЋwN$X8LÎn,r#d`Say2h*U5Qe<'䇱Jd@'ڰ?0s)6Wc/`(孡֓7d rpdWCcf2i JxKJM/VDgGV=zZ Vu& 2M=QE탭b=tufؘ414fZuSAeI8`1X2SW_]Gv-)B.aͯXl}lٗZ&0SֶUAZ qݭ&U7$LNEk^)Oaֳ0c cN] \nZ1j} T3dfrx+skgp/5vA-i[# KWVUVhKqeC2~xgG^ثbKs☿sWҍB 8&;.4^;ϿF "@BIZxjg*b#%U+)4y(|?H;5`9f?|Yl=6wpTTV2Dd"\DdUR'<=v(Oh3|H6$ehffP9/{%}Ħ!cl?HYӃraX'Rz^> y nֶSmX[9a86 |CI}\˽rp #)p0+.3' [ lQEh oNP$^)$ /W#f.n>&.rlż  ؠ<5܃oeS\"KCŭ,yd.IP86_CA5+tJ ZYf H2<5MpO+tkMtA&SA//m?_ZV8$XE*V &~jPpԽ46qTkB?ǟG) ym>wDmOS !ϗ {%#eJ-,oƻ|Q{=&Z~>H>%l[u sY"? 4*m8V[z~|IL.YR=\@Efԗ5TK@KX豑WE&b!:Lӧ! ڍ3{y\dX;mYr(^*Ѩ. 'v׃i#%E՘7#n*(L!JcpԽZkBi"4j}aU lAbq⼾^h[ Ỷc6oY\3VB)zFGܷY#-}2:,P9bȎ`Cqk㷦qg*wۃD PĚl!gb^M/RJ)Kiwy{{"=` shAzqPb֑t@>GP(F:b}\VP%{=ureaEdZ,\[{CF(3aa1AcgYZ