SQLite format 3@ O .;  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 GG*)xll ]/ Resolution_FOL:threads=4elapsed=102.705cpu=215.128gc=6.9407zXZִF! J%m]ŗXiɟ{̴ͧmIln`3t*i!3 [`0 |7qJ=عcu/wѽ6/)T52̀Ѿ:YĘZ|ۆ/>4ڥ.M\2?SCФMG,4[GF_vN΢*{P6v[9jy*̈Z"}HV^]OӇyJ¤ۥ]ILK["2N1#V|}Z (0b}&t>E9#\?ʳ hAƒ f H"[L Ey-填yMdZUxziKq2@ _H3$I\Rk6|/A3d3 ʪӯ ?0FvC#rC WTq10o>^&Zv ?Z BKfɋA$/ ֊ XcL< hN2ဳ*{ =(F%Iiפc_ [A^ G `am}2(h >iN:i[Ih ^?p O[mk7bĄMː)21+;^$IYd~FSewC+h}!GN.`KDUv,H3ܗqK_F# &X0X;N•Q^y\<[vI!S2W*yǽ7 Bb+~5ʼnh!9sۻL/;Q̕mz0gkVG*Q# &6C.;ZŻݰfC^3et|}lOq, Ą bqeO6t3xdw!+c~! oHq΅|s9x0yH9-X'C+0Z.‘6&MɽH F%Qj2T[S6(|w_i9 q5ۉR 6#*Q\}/М=MtZP j1u8EP <$շ@Ϭ-Av~ ŝ?PЄxBq1S "F ZsↄX?ò+i$Cڽk1 ɵdoL֋gzc4>Vcʹ~\(/cŹKHk,gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML8 -/À\B!38vpiLQڽx?G設V8E] [N436qyK.ݷ58qU,mmiRT_zjK EjTAsv.ә͓}V e 6j`ܭu&+^0qTy%K*fak&O^5' 2ž'*x_ ! & MG<>?LqS1'DPDH٩ ĸN##(EulkZݟGtHMmxgx }\F~XJeXF> $ѥVmKeϚ*(J,ȃ]IXr<1xCygI~۱)gt .ռPic n@aW0!x Q@A/r+MAD(SR 6.OL\/&{ӑIɦ 2b30/N4=mnјD: ְLB'n d/Q0AΖΞ׻HU֚ھt֕ qjI ©_[0O71(vzZY,gYZ7zXZִF! cp!]ŗXi%D3Q5-sx^>%Œ94OWkwXA>gp K(pmw|"T>c}g-.0w#wwL rxI%SE8xhy |CrhYZ]{ c M<֦Ūާk㠑yC<4;K'0*W;_<$n* OMAZ<|COrCoiqui9$Óҋydӽ(s߬eϋmNC\˴?\V߫K[ "E7s|_b-Zzxb#uk.4xZN} 1{+zy"/$#C"Le)Jc;Ql6|3!>}A>~GsW,Q}"Zq:V8{Kqr0GDw+Z1!C-! *]ǀg rhYT epsJrT;4El:cW {icR?(3Fc<dk݃C[!a!FX7sm[bD-Zw$]ֈ z0EFwt~h&?2Od<[CP8üW&&H6&` kX|#As0TMB ێkKEQJ^"Nf\|K9 qg%҃}C(~t] ca6~<X14\tɎwv[5ct%>n" b{@l-ABo7:On&(ҡ_8G!Z}/NvDQ!:F2v"TSX,Db(='<66r g.DHw~y q@ET򑿃](U)ttH4rek_G[/YO3nlI z?t&;)owKXX-O]:Ֆ7A \EǎdCU0]!*Y (\Յb\)F:p\fV.r]I͓ -YO=¬fb@rKSmhegi؟D*ySۍK?/dž<8 ]T<& tLbm@#LJZbE=^XlUGn{U)/w?? :ɱp Q?8!?N)Ry|T'틜X'1TrsPd.o 7AR${^WdWqUP&B4dЉ^n5<qqSPYCC;WT<=N<\qvn1l#zmc2ͻ%JŚ܃D+OCvcoXI=C,3FcAN]c/$cJǝJ0lT'T輤P*-ʹ3i"iA& S8a:M]S)h?lsOvEU0KsHI:i⤞ )#ps~ixuY.;pg Gb/-H+ `h |#C6Rc4dI*p}a~8!&$l0;/^pD(PtN$E'?  %I^_yk%@Ī=3T8V#k&hhsUf6tjɌŪBy#3R`@?M5bQaLe̻_K9C @܊wɖ`Ad)Z~ o $acCSR=+ˬs1cus墵ʫ@|lrI [i kC3% ڰ=j.spI k A[A &:Z\nT).=n"ܰ=Rʃ?,6{ ӿ9rk7IJmӝ`ŀ_֝ h';:?quթ?rdgc(ۍ:N[¡cv/RS rmA̿;gV5JJnOD4"WYרVv2u., * ( &    g 3  n  | z* ! 5 c W 7   DD)U%Resolution_FOLRegular-Sets.Relation_Interpretationdocument.tex=)G%Resolution_FOLHOL-Library.Adhoc_Overloadingdocument.texD)U%Resolution_FOLResolution_FOL.Completeness_Instancedocument.tex8)=%Resolution_FOLHOL-Library.Monad_Syntaxdocument.texD)U%Resolution_FOLFirst_Order_Terms.Term_Pair_Multisetdocument.tex:)A%Resolution_FOLRegular-Sets.Regexp_Methoddocument.tex8)=%Resolution_FOLRegular-Sets.NDerivativedocument.tex8)=%Resolution_FOLHOL-Library.Cancellationdocument.tex:)A%Resolution_FOLFirst_Order_Terms.Unifiersdocument.tex>)I%Resolution_FOLFirst_Order_Terms.Option_Monaddocument.texA)O%Resolution_FOLRegular-Sets.Equivalence_Checkingdocument.tex8)=%Resolution_FOLRegular-Sets.Regular_Expdocument.tex7);%Resolution_FOLResolution_FOL.Examplesdocument.tex5)7%Resolution_FOLHOL-Library.Countabledocument.tex9)?%Resolution_FOLHOL-Library.Nat_Bijectiondocument.texB)Q%Resolution_FOLResolution_FOL.Unification_Theoremdocument.tex?)K%Resolution_FOLResolution_FOL.TermsAndLiteralsdocument.tex4)5%Resolution_FOLHOL-Library.Multisetdocument.tex6)9%Resolution_FOLFirst_Order_Terms.Termdocument.tex F)Y%Resolution_FOLFirst_Order_Terms.Abstract_Unificationdocument.tex 8)=%Resolution_FOLHOL-Library.Old_Datatypedocument.tex =)G%Resolution_FOLFirst_Order_Terms.Unificationdocument.tex 8)=%Resolution_FOLRegular-Sets.Regular_Setdocument.tex <)E%Resolution_FOLHOL-Library.While_Combinatordocument.tex6)9%Resolution_FOLAbstract-Rewriting.Seqdocument.texE)W%Resolution_FOLAbstract-Rewriting.Abstract_Rewritingdocument.tex9)?%Resolution_FOLHOL-Library.Countable_Setdocument.tex8)=%Resolution_FOLHOL-Library.Infinite_Setdocument.tex;)C%Resolution_FOLResolution_FOL.Completenessdocument.tex9)?%Resolution_FOLResolution_FOL.Resolutiondocument.tex2)3% Resolution_FOLResolution_FOL.Treedocument.tex|+Ą{FI=PdtVHFS|'`ksxQvEZGɇJ-c2/Lj{wC.VyJϸGҬ 9F Y|px˅kQ'uk1ɭ.!"CMT1uEvgj4@K润 Pz`,qﲐ~#<wY5&ִ)"߉q"?܃;`EN*쯻W}&m`Q2 {;,Ø^rDSLCQ904MPs1̄?0=`=^Lnf5He6pcgsEo"A+gՉ%4?IZV/kג>j6#h}zwZ>cy+?त St\@eО,!`EhJbXX0t\}ދ%V/beްԄ*Ў #ȠjғiPZ0GB6g=qҋ0@ui#Un_4Q3Qk 8/X-ހd`#f0;k:xCqF:8VL@[Qr+n%P\W!-#FY>R3HAƆ~3wP>}yBIPћ2;Qp>{ @/J]M!ΰ7!&DaBz"p1+fOޟc)ϯ.gODV6HL9aljm9X 7sn Z$Qx!8Bs.+ ҴF*4l!}dZͯзr*=WلI, }g&WĢZp)eצűi7DN 4kEA? (/6oEv&N|GgANgdk$Hʔj^xXl)d:/㍉Ů1d 0,Z2h1߽ XA!f8jxaS|!#*uilU[; ?XVRc͙:Ka7\?U()D+N HKZɊh Z"1 M`aҧ ic}pKpJdZ mKh$,"d||]^@CE/˺%1M0܂Xf}قZͪd_z ǃmhP']|cuϛAMv~ =SMӱsKOMOi޶QqbWjt/JL8f[ʌÒk4Yޔ{(|tLҨR _QՕ~a iͦ#s0Ġp#:º<3mI miR 臟!˵*:K@Cy܋jfuqja$Lmg+@|##.@ >dʵWvhRB5l!+ Ɣ52ﴸNц6fuLH!luBkfƻuJ͢ty+7Xq)nJ.^;(S@Pπuy܋KKk L,9KVQ4i\pә*MS,Uȹ;sc,h Ţ8uX 7@)%pK\×]U|r_ɚ9fivZVĩIZ"B|Q~fNTUM ;A;l5j\+T$ rH1@qB7zjKf@;g31㕺HUKxUV05YݴP>*v}4a[t1Y(gj>w0z({{h?$M&GVxm`'8Oik[\v殇g.QF'4 2yjt5-)`ݮt15Ji~Ѕ8`uE>@\Ϸ lp~#M$Vzs vL;iizD6Hk1u~ +RB*; ~'1* Q&W:s둟t=]VRK.?}mWc5{qe|g=գdbXMԮ|~u=HT\QDo։e=ݻt!Q8J3QjR Ԉ}q,ZH0  ^\_I ?N^3yZ(J}D`9g\=Do<Mzg g]:QN1aGOFL#'דoE_n/ٛM=P cv9ȌD>a ?Y5Cs崟uKvァpYcH?(lYg&~{v>.8(woGnф\&QDYڔiL h k.j=b{dwg:33}[H2Sh`WڛP9p;qwƵm68c~p^PN,zx`nH!5pj,xtYc%;ps9u!6%y)o8&pW#,^)F.?6eښCFrg>P]/"#%ヺ66-7͜~p4 REW[ʄ8Iv(E^HKkC݄LX@R^&> 07ߤEdG6s리r5S/|A-vO2\mؙWgd@ϴ)gf%)(ӟ޻z|m h^ܯ3/( MkX;* Qa3cM4)1Bk76_ B?@~?Oy^"&um1 (SO/Wdvؚ x ,9ڸM#[RZ]#:3 bT}wQg8<?ޙ਎,f~ks*x'3x ؆Zm ,=RSq;(~90p UnHmkLc]rў1|/k\F&76sz{1g*9q%4AhCCFtۥzu͊֟>h[#[8B90lΈu\Uj֜ōEK*="1#Q#֏_මD/(c`2qܽY~X(GslTsFyuj#9.d;C$Y}C(CN)˪=Cٱ@ih 6י?4GԹ COSJxZjjʼnh\XpDX M%sۿuEXud^HǏWYEc)T`{iH@ʇ/>aIx%5LYe%ffd,V-@HH\\6LA0jВQCdM^G(1Z ]2q8ep)^k5o ~J sN>R yhN3_ޠ[ޞ{ʬaH'{#>QgZba|[4u?  ;Z\zD&̅v=GJ|ʲ`p?l]U)dos6`.ӓUxܨ{!{[]ވ Ps' Jzlzh8 %%`QTCTO]OlѰg9h}7!"'ğH !"3@Pޝ^֑jh-!DftXfzf(:$:>8mT@Wp%W͎N7~&]:g&/ܷ`9(~زQ\''Wj ϓ3IJ5k笑4Vlr!|G8`XKr`d!47ܙǔ; *h"8zr(N3y sczuf_#M_8k#? c>s -mi0g/zYL=/O3.qfv mBpzYE;P6'jm"dr0GƦ֟rCn6WDK\|ǞLsx  @iRe7wr/Y ҫRZvóT+B ~y[e#<~*ޱJ ۯ8Y&y5ʵ" mKYH{R&ǚqhk`v;Z%`u8̓˃"OeMڞg'S^8C1:ݤ(UHO sat {9+Z}w{Ap+W;+UՅu_l]/i4% Q^` !;Mjd%"\㕰ya+-2bpt*![=&? ƆD_): Tpi$eHH[ߒU>K:T_W(L~] yV#/)alM?I`eIݵH'\a&\K2Gtk4թq>$YbA <OP!p>7F717lBr0p؅f21*N,Q%?3.Cy6 %-\R"K"> S_vzxC%)Tq:`qgZʉnYNHe6d|3.Zia 4*XdH"ᶏecA/ m0wZJ]/,}L$q$; +}ORl&$׷ᦱ% A>x "~RoׇvP.t 4i @:[/`T%|>b{YpCC:ꎙyZ]K6D [WvEizޢ|ɴ}/;q.L< XYqi 1P% qeE㪧A(0>WwX ȳ {PPE֪Cm~7`T' ,e`wR6("m |'pgjp3 A{<‹I*r{Jsؔ>7E.иt89gK ;9BHj®|ݔOtRZv 6K6!^W1fhMq[yŒHs۲@ m鸓]2oMu7Li`lI4Q"jL߾jP=0bNtWA&>{LQs ȑ.帝7C4JQubC%pṳQȉ qIVST wGgYZ .֨ I&l$+/t[i)Yu{_c&ڿ"tEmzϟ 5%(0}|J4;JȠkTǕnNi>^y3GJ\F`QW瓎&Axq!4vnZ+;TDgPڭ+>ߖD3;9sJ8Kq9ͅx|wMvm Cn0\ ><&5;Ꮗe6QTkjc̽0ېkQ3<-6~+sFnli"AX(@tĹҚnFzQ꡿^͖dAE1PրҢxbv`zaߜ&:] ** K=>0[LO>r~ 0'ӄ8u0,yҍ I"ba'1kf+(K>hemAȳ6+j: -ҍ׊Ũ)t3oJaA Rf@hqDh&4D{z6tk/CT6 P ,Q%2d4O~CUuˤu{e9jzҔ}|5=2z6&37T_m@C?P<:[&!jm">/һRICWo7! .Gw wlCf .@,էV+DŀMDa'dh>O98r@т mD8j`(/_ȵ>,Pl+D,!x<6{[CX~ޠ#]?[Zg.XHHǜ Ee>2dPBNӮ)U鿱fiW90`:pf#0u>'U=Ūf-I#[}d Bg⚪$2]Dq{g%%z;[ծ^ w^Pi,g1'ۂIGs '?=?qhh o$Ŕ.G#Gkcl|jk|uG d(*i^W!q̧ sGp9b&$,+$wtS~> Cr3 m C=J֓} ~RfCG- ϟJpqW XbBl-9Q@=bCw>=u gQ'*0hׄ#n+C|XSр4`=t9k&zM 0\`R'͚RE5ނ3j: ().3z$=U;]l`GhD1n(˱Z1YԦ¬y?Jv:<؈gd Ol,Q^Q#d*"a B]MݝZqL2%zI,ֹD_(> xX,u5wNpKlOQފPlq'#} ?ȍ>}8xI~BҴ.%F 4óp vqd } y´1[kaF9 CRzS}M`o8^ 7-jr>칣ᰁ*TR/cnU}$2fllDyg2%a[wJhdMCUT:X27r?9 '!1/!В$#my@Y+A zaJOmScxT 1V5?cby9*n݌**3hnJۧh28p P\dj@0zXY, GjQIDy!@d9:wb-6Y0i['/{(|wn4%z? ]yT-w_t_|6H*k]{B*{&PfɭBjD=Ӵ*ErIݒeY]Oӄckjj .ᢇFɼe)Þ- na:'ANydY  UJ85F9B1P K+w4ïGWx-GjL ^J>rD5/>%A+U0gLiⳌw|Fmf!-x8#*u;+KqN":4$3e@ gpsvQbCG&n|t>m @3]oO#?(=V-`Kad嫟VM}1 ڮ>N:̴>6-6/eܭ10}ݱ?U"UT*(A篏>n4)Z+/?܃[ݵ-'Ξ~j= lc$l[pnϔ-u5tXH_>~K2ˡ<̮G\#_C`z.:{.j(8hqh HҢ"∨-%@-=/%ȩ/b h+ )hAVu3BuY#vgG f *&FY`iV/0Kecd}4I hF_P*+}vԸ3I(,j7RM}_+ r璮BؿPL \A* U,~H$X- {{*25mC n,7= p+93ײNs@ iM ٣UOu2 I@63|}I9`.?]ihp{f\E6U\. g&]d:hO_CFp1f@0B|j&'0Cc;ϓo'dkp-P:dߧ5bE| e0 %?Bѵ;fX?E6SP⚂FYEV%'K9%`p{r7KETL[A:7綫Nn?H|3b0mB5˙9s=j<1Ɵ۪׬kL=xF&@h@.nM49"qݓQdpوU ه`( CWs1*u2™(J@]zWh(bv(2ZAOM;s\]4e.[LOo|8}Կ 얤VV3UkQ&).`|ZP@% ɿ{Ai>( dc 냒ƚ:ܞü fI<ު=10N{Bgr^G# ;W]初Q߄[2hTG>]|mOLAcs< (/{0{=*Y3Ĵxo)`ګ-N?aWsXb esHxmb@%|2pO0Jw3$U'ԓL7.ڦs{VbofI(; ,_wv_\}!ٜ@t*nlfJPHC_oOb!!‚ȏ]\^^^APS\\% {2L#t@ޅ)* N$'W!2~eG5~icS t VcRpt[C"Qt Agj|<H"/v!PԻhva@PʌD8M#-LZaJw17uM|,pj~:f]_8ΰ谪H횇 0$x h١YY]O˻GѹP6Oԛ4,1Co͓˚ ebSSl8ԋmSKY1OHb+ aœ|mT󤏂b85 [= I+al] ~iNtEزlmtB[m^x ֮cGN,3 V$kV%9TZeQ?qUl߬"Ae)顠ր>7@njMs-] h O%NF᠒Vj")iЖdO.*Un6g^E%w_O𽶻1IΪ >azJ;Z[>{ʾN!oKT֚u%>I8"vF6 AGXah¨w/)O{{HsoVRbRK]1?}ytF>.-&l)8Qzdc"A2DHv&h)R#Pj_oyq!;{3$f.}*J҄5vF[OQ2+Ж>N؍H]!:UC$>^o+{慅֏F#Š?:*@e0^vǣ /TM`7N1ucѾ|qm%({p]I)})»$kpat($k|zk/+ 1ADmgT X nKW"L]F_~邚/dW 6x}OKQlLA>t⹕3gG:lF>ؘ|v9 -yazh>& U$ay6.@NgO<]orxtGyZ::? K %-З`(rʩdvXߨ` l'̾1/~O ^"4ւ V~]^)]XAb _f)(Pf)"WmXjm.mwpo v D >߶K* rA)`O`VJk]~w8Dդ%z0:np )y'(,&k?8†j첤70^!*BZ@ 5%jnoM-[SJq*#  MH;}y#WwlfJ U3gG~l Z'ж"2dbM KTG Ƭ\ "a7BfGo 5B<*7*d5:_i$jLO2צ4ЊˆԪ[&j2}IfIΆơ-- 74]`%6<m2Ob&8DX0kJh XAяLV֣J42GI>=TJ\`Z fYBZd=*"Iկu󙜂[~vC q|.7Os0L 2ޠcәy` EGҰwV>~LaW*@C2/dhlr\@pLD1x(u5~z/peD:؜/xc-~gQq.C=blg#]!8V4;wEV*l>cQR*;7]MܵWtP[BT QF}rq q BI.X~S6p rbL2D3oBZ庐a1,C?t`չ}`,hA0rND{ ?zq#0-=BaxױSEGW{ׅ%:~S~F §!y#r 'v7fB}f!'Y]eT(!B  ].H^Vg:j2huW-x/DlJ rXyLP–lnDz~*{:ϮN~חш^Y=`Ƕs) do}iH*>2Ab̺Dwv_.xM٦] "g6nJXjp-aL*`O{L=f@,yۍʯ+LOͼ[N~`[.Āa6l GO~P/ʶךoE uUJFv⑑ĽsDnĝPf{l#wעDXҡ m}c,a,VYH d@U爧tQUVGc8zs3iGn켔P>.s'F#ѩNTVc|q^-vlHFغ_!Tb|o=P Fi,Lv{Цd]Q"ty 0>/wv<U~t^9h :,dxc1#n޽va5Z"a, jՅDmsԿǣԋ^UӃ@k]X9 Ohg"e8%oTQI{lmk E'4N97)Sty6|d)ahYu\{#i彩k1~gA;ɇ-6F 5$,δ5Wp9=!ߤ-qBg. L݃L6Na@ϲXijsՈG,A]Ve.=_d#4J'sof %8NM@)meq='G0w;ToU 6ԐĮ^$&)%[ֶ/nD6?}zbB@qLVFEfaKJ]Ԗ+wjbŋP\4rj q2?^;f:?,@5=BQQ暯x}i]]ټu>a#{ e˗*q0xpQj#{T?׌ֆnݯ)H2RE#Z2#5)p c(űxmh˚>H P{VErq&ǎcG\Y* đӐC`g @kej]x 4Yr4ñ\qV~޻&,UUxUMtS;0 ]/ zNh P.BHeB2PGW/FF1)TpF`ʯ/+oc` lfH8C[Yrt%jqˋ& %j3_E[]@kL [`^_ u)ɌQ#Pn̈́ *NxnXܦwy8K/zmTm.+[`㰈F}1<W4zuw?k7#9i2o/ꑳlm*r@C3겻U`8D@БvO̰h5[ɁjW73Y2>'>HD(`Y.J_@yГvK<%+ z`*{r۳古=]RN''k3TV9Es놄qeF5f^ۊ0[.2d_jͰs*^T41=O]ܔH hV̜?yj>ɀ]5 5(gZfsQqy |@SC==Z$ŷ[QYa%G,^ Oɦ 7Q}RCz]ubfWz]$םKdǚ.R50mw)+ȵh_??mѸ0| >mش`/o's{!ߋYu\FjXa='eq왟gHKTtմYq&e+sM^%V&dwAR H! kEF]27" } [ÑBpB«V8q hĸnzsGʉ}d܆QՂ3 .5|Kp)zBŴpzA|BrlnލxȐz(! ei$~Ա;nY#7G),#8Ť~ېG=w"E >ͻ>uAP0sS)*A:b]G&ay Qw<㢢<(k Rzu.:[~ƿ8n @Sv܀DMAjŅ ql^QpT4F,{uD];[xNw%Ȅug)rrz5‡J>dof"?BE`CsmI c#[]b:`%ϲZteJ)4jhg8*|Ca)P Wsˤ>WjlԵYtLtњMPꅿBd݈>o$r\;OZEād]Ye%J^zy-&1+\ Olڟ 0!K!fq|J a4lJCqNl%bd/rarh]\bx9kJ2|gK%3$G^zFTA .u"! ͷjKGxgV7Ջ`CIQ%aRMŭDV쇦G7MO--JFb+ 8/`Ұ> $XveNM5nyنYd»j-r9o0 9Kpxbd%"ctwN-".$8z8xZrBj=ĈIC1(,TN}& ח:Õ]*R5=Pf.QjA]mϮ"ΠO_Wq۩X€eYRL^X=D ֡pI i}LCb޴_\v`nr|28:S(?Mi02Lm"f4&0$L2Rƙg}C#\z >~;g^cTzTWSg:pa nF]Ƹ&R|@gN'X(08$ VVB՗BDtg)aQn(u0dU-9ǨbQEmEm')hGW Y<;-2Lj8J*ӱm9:Ca䁳(!ٴAj,\u,XEsf4QTb8@%kKm ?z0(C1Un)0NsPy/$V'PRj=+ΝD' 2U4hZ;ҟzFQIqMCh^rF+D`#ЗSI/]eef^Xptת6N2Ըtkhjfq0x5 8,@k;#j߄pPBΗ$#gQ*ѭ#-m7y9mśx**-cD7jezvL@*MHѬapd01 rpO#䪘.ﬗoZF 66gEEI-ATyƯO?`lJB U f Zߣ0դ9 kT(pv'U x]oCՆP+U)v7 @Ԅo, va|8HfC[MH nH$ r|;§s ]堲@vwyYP_* t(J}8Nk`B=VQAcSOȖٓyYsM)f^|$M2Ħ,f;(՟H~|*;N/9}}Sf_i|՚qџ [N{cR,2,bYV(>_opjg}52ܕN Tj\l-[/K(!`-cUcbqGiN k8 +s{ - ¬E&hH2ܛy# .eC 2RJg{z, {x&P6whoC3tReߊ aewס n ݻOTK`3o6|^'~FMդ"-Crﴽzųh@;8>h "oZ a_qb'&1?]ݡZ(O]Z<RCtH8n;徑-Yl=TU*;Ĩ.:"qTM'Xgm!N0^R Ly׌{xoX[&26p+皁(sz ~yh++w畆n08WT+$`nrp=m~QRR6 u& K)m<YaE &/r5`M]33)BL*e,Xte&K-p8'-@na o=KF v55Z7)k x bA<AMGYXKXRK7E&/ԺFͣ!S{DyPSF6G[xA <[ ؓݪfUM*[%!`"&+z., 㳐nj751%kaE!lQWN-V&'5\Sz40Ĺ*M"gOb?n˿`ݰ:)J4F7GJykL܂a`!;d̑R#Jj_h8;7yӀJ>t5kCFd@ B(D6횢]ПCX_T7]F_e`vhN禢 &@)CIx/B=@'{7]'5ƅ߄@]}J=mRخWR騫Բ:U$+&i!.eǜ9^=JǍ\RC4 6یUf3*K/c$ >{ C~cer/^)f SMy}anD? EQ5<#}Ӑ3""<勩;^]v&kF&ͱZ&&ӹH2⡁c K/yH+Q=DNnCLA~h3veYÔDBȑ6zuw/]i.$z۹j9UZ~H Ge"x93hzMc=~[yqB[SCNqz9!| S$YMNw|Ѽ/jw"}-'v*Lfwٓ| ?"f"Gn}0ԔK+9U6L@霑?v(hcm/ J;,shpڰ)3㸖\C i h'eb*ZҌ{c/ = T;E#$ob P jk!eoV1l?]6 M%&)j-HRjX1u0Mqky겣 ZzyBIUS38x JL4m`j|#t: =b|z۟W^ BD6Ulh82(da7#Edu&Ȕ1j ybJwQ߹> -0(yiǗ$,b?&fe|E27zTp\#J7X&_ƒָgYZ ^ )3% \Resolution_FOLResolution_FOL.Treedocument.tex7zXZִF! ϲ)]A-MՋhvG"uIBm5r$|e|;s!*92A7E;eekI; g/o ȼ#]}e Ys@S8tWY\hq$Un˲TwVԙq%Vl< ;9h2Kx$I>y |CrhYZ]{ c M<֦Ūާk㠑yC<4;K'0*W;_<$n* OMAZ<|COrCoiqui9$Óҋydӽ(s߬eϋmNC\˴?\V߫K[ "E7s|_b-Zzxb#uk.4xZN} 1{+zy"/$#C"Le)Jc;Ql6|3!>}A>~GsW,Q}"Zq:V8{Kqr0GDw+Z1!C-! *]ǀg rhYT epsJrT;4El:cW {icR?(3Fc<dk݃C[!a!FX7sm[bD-Zw$]ֈ z0EFwt~h&?2Od<[CP8üW&&H6&` kX|#As0TMB ێkKEQJ^"Nf\|K9 qg%҃}C(~t] ca6~<X14\tɎwv[5ct%>n" b{@l-ABo7:On&(ҡ_8G!Z}/NvDQ!:F2v"TSX,Db(='<66r g.DHw~y q@ET򑿃](U)ttH4rek_G[/YO3nlI z?t&;)owKXX-O]:Ֆ7A \EǎdCU0]!*Y (\Յb\)F:p\fV.r]I͓ -YO=¬fb@rKSmhegi؟D*ySۍK?/dž<8 ]T<& tLbm@#LJZbE=^XlUGn{U)/w?? :ɱp Q?8!?N)Ry|T'틜X'1TrsPd.o 7AR${^WdWqUP&B4dЉ^n5<qqSPYCC;WT<=N<\qvn1l#zmc2ͻ%JŚ܃D+OCvcoXI=C,3FcAN]c/$cJǝJ0lT'T輤P*-ʹ3i"iA& S8a:M]S)h?lsOvEU0KsHI:i⤞ )#ps~ixuY.;pg Gb/-H+ `h |#C6Rc4dI*p}a~8!&$l0;/^pD(PtN$E'?  %I^_yk%@Ī=3T8V#k&hhsUf6tjɌŪBy#3R`@?M5bQaLe̻_K9C @܊wɖ`Ad)Z~ o $acCSR=+ˬs1cus墵ʫ@|lrI [i kC3% ڰ=j.spI k A[A &:Z\nT).=n"ܰ=Rʃ?,6{ ӿ9rk7IJmӝ`ŀ_֝ h';:?quթ?rdgc(ۍ:N[¡cv/RS rmA̿;gV5JJnOD4"WYרVv2u2`?I#ۮ_]C7pwCVW(4bb(Hw$3PZMF/weWNjof=[Y*K&E rӧ3G) |RjT~΋Oɡ:ot֌5I2(?`{؀}hd|'mS+8 1[ȄXGIi݊,$"}jg \_Yz؄ci>TNDTczl_*'Y&YT&;h}t?}ZҧtAhVIit!u.M_? IBeY`k(9\"x7єN"9+=Ud/E~P{Ftt?=F\f`СfX*">Uꁖv/'@N% y,Hi~dS[of >AŸyfz'=D2P -!{,VGRIJH"T7 L5\p!vx<(,O-0WGs0D r_W˭dքoPd=V"^<'"&ˬEڑAœ}!zI@ Dd_}$cipǞ\<"W>z!eR/Ń8e.$%\c^ 1/7!ߋܱo"lT]DT.NZA7@U>@yp'~K6uݼTgQm0"`җ 3QKfG>Xe;lP>dҢYyNї Q} պ%/bbb'+* *FΖ}Dl^O\"CTTx`q=~%8lH /AjL/Խ@"OǠp|.T#U Gn߸+X76>*O C)1mgNQ6q! 襸1U0+<]r.uSٵw[ wh,ZKd6ZK&Q,T.'WIntLVFyn4dGw1\ص c x}t(&o@ʺyIFMftXbW{?ЦF8@ ӍhPEI. ["a؉ e8}oB9t,߆)B"X93axzbu7 t&ABdT!h'$-o˨7쁜LE1$Ƨ :acL}>@ }^hY9.vJ[{$#mR*9T?wewӒyךC! zOo)M{ʌ(N8}NQ`i`JfTSbXkgyn-@d5QvF}D$.q]Ks nH ֔-Sdxr$F) @x̟AЈ fh1S7)U {*k1 ARF loq&I2ggpQnc[4fFR\|op+"Hng[Y$Sez@{䎎G]}s ٳV.~/0Ģ-8OyᲮ''( zζBۀ_WV>1e;=> @Oc}-W+j>^7v"s/6}2/H6SՊ)J%qDrYŤQZmb˙/4ߐ8vZ'ES$Q'fX^츬 Z^˧(4.WK5v'@U '!T`ixE R7" cbˑɕ3pyR_>jy`yt!Ӕ fsIs>hajVrF)pq3c^ێA|MF<P%zHD`u39נ,k(("tXjk6( _m cq'7z5_YQw?Ī||дhp4C.Vp_ӴcB{vG9fQH_>6o[g W=MLw]h`)DqrĦsL(Cd\فW+:5]E;l}X C;(SL'¨x|K;/4g'}^Lq2l<1CWyb+W$VʈhJelKPX&H^\Cۆ:`0E3a6UY`WUVlm$Z6cu[fmqC"2 b|JM:gPlҙ O ai7rXl?L)3}t896;N 694l2 G&p-[`,lOso K춏{ne4>oTb*BeA((ޡsM m$/}pݘz)5[wK5%~5[Ot.e"H=4" (3-{v0 (ޖU׿L`q*j\J:YWR$V.PeZ35 h&~XiiVgխwz9垕"Θ9xJl?<C`P)LώWV'ܾnN-IP%|Ȫ<2>Jq-羷'ؕv~H䁆raFQpq9qxLiy\g"{#P أ}d0]GP?6ގ%Q`V2Z ~2H+|~I1%G ^"Ϳ'vhոHC&3AÇ]Ue Xuȶ觢)U3[$@j*5~Ph%rWM Q!ZhWY3 YC#bW\esX_U̞{tblm_NX;À䂙a@6HYD52F-&[FX)5$^]Q |$ϊh6t!8) ? _=h&hh.)5V Մi6t<[ߊi&Q^kD 8'- CKJ122^x,ӧTρ]e !Mq8ua"} l:arߜ_Ne(L []$XcwWO/:?# 8 _3Erݝ>ES:k+i~ң<7L26$O˃foP PJ <4]2e!wQ T>VJ)e=$S2Y]CO) \w jҫy;ٙ"@g%IgG=mT(*\$w~^d"a "={"9i;~_ƇiڿzﮋB`nʹ*0KώrnQD@[pɹiB%e';*w>lG-Jn#W~Ԍ^j^ZsG1kSX][ E,1.RZI]GD擛ͳB~t IU >'YfG1 jdˍP&JW͝V$$x r . Q/>ְd*>@H3ߕQ1a`i D#vEǬS%}1q56Ł"\ GUAZGʭbt g^acZC 39 SC|d` _*E8]>c~ y ,q d=w?A/Ԇ8 ~)%:W/$겲9Z 6j(:?>Qڏ4vC?Bq[V-xdAj^n#'/he !1 YKt?9وePZ m"Ӑj)Eܞ@z=49DZl-u&puN=l܋gҒ}uwO%كK"GdڶoG֎JJvyHRjyU=w[;ikA]U_aoT' c 2KY](B3;e,DjC @F0v.?rPV fu6D)=Q '>_񹴏 i.- "jrGxKcI 9ǻXV*-kγQ8d{o3}:"3yvˤwukXrN5?3sqw7`hAo$C w9IQ~z?ix_ݘ"@C;sXOs9nL 7;ZC PmIM.[hہQ!2g %8R AGC3>t+|&j`'QעsjFd଼!/лI}FﱱP*xA}$UH_0=iHU7JAyOzO)֒wmc*02&dvTJ҉oKeCYY5VnqRESlf*w*V#Ѥ 9K]<MDl m%z&@*O6yٌE}ah"U? :Icp ^T>O8hPՖ[ A "g^8`?1@ чlo!^C<*@*FʌeA'&zjD74肂>2m돇FO<@KpsΫ5"z2S11Ի:\_;'![ng┟L%[&HOEMS)Qq\m?MdЯ?;Phߕxiv ؚs]ΫohvW]4)˜6lmy @DQ*땲7l$B(M ۵-+Y՗o(2g9{!nќ*^uȰi?>Oеhۗ+&9trlYA*~fbLF7r艪 g]!a&Ġɐ IIA>CbȦ%t^=' u蘚XnᅁbyVȕBJJ 1Du'9{$$o@4vׅ0 ]%SAq,7Mr#BXNgU!)$/-=IVEHZ&tXt]Fa-Ѳ;unE6qϖpWYW N٦6Rx>hCuwi#Vcb%g,#3cIT!!hz=GJ_h? gS@(v L>d7=-:g"b.yʏd(P= /YI3$ϊL[1JV f }OL)1XgcadSL#ȓt<-#+W OKCRHRƠ2t#uh ηP2Ɠ9%UUbCy(;3$Gב쭧*YHS&N΄07taQix?#Nw%g;zJK5Ϥ_66׃?鯣G:#u`x)7 ;=B9*`b k7yJV.0ŚvP`;o>k`B?*sK) u9U@n1}Va%MNbSh(Gb=wQP? 'iקG=Pg"+|~TJTb-dEp/%x?ơVD Xͤz8 Z`@l'o! եg*2sdWӶ4<7θ7Wl~<,їCK1>)Md{0tHZh{iqᏐ£ULԬ>8CYX[6 O!G#SZE{QnYt~Vj]eOUt hl&0m-H":Ag{Ȇ ;kh0AR6G !,>FwSPIb6%vk ue-h}yIRjބ"M 2tP*^aLuF :U&ޝ]>ա$طIs$ًF޷M`2dihR6bVzl^xif۪<ŝhjlźطBhƮ}*՛p VB53٠;݀⛊(=o*$n$"6bj!0OI$wc )iB-z{ Ex3Q\z'4)olD H**Td]U7E~%ƨ/.i`oE{y`0.rg!O1yyu7Y/8nc"ìGyĶb]X*b\4Hn=Og{U>[5d.(Xe{s܋먐qdŲ;T0˃%|g=ңUÎ 'FgYZ 2 )C% tResolution_FOLResolution_FOL.Completenessdocument.tex7zXZִF! GB*]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXwG@vф:P~,ŕOl7D+ @TNӔ`BVJgj-{mn3wf7A3xmLa?6J.wܠ|ŝtpI5k+00KdhFKO7j4#a70=Ts|1s<҅,K |%]׬ۄ %@K.*Z|(%A  *Xpl6vIW4j?*oâ(g‹t=x(TA;G1_J)}B%-)] G!|O*&kژ%,~z\N- @~K)<#~+"LVl #7S<}oVbte{b 4Yyt`R^#^d0-AvtpJc?uIwjmVh ei{\dQkϪtpC u@$v*Qddܢ?<IFZjM:mA-V!G T6zHlZ(NQAL `gO~n}pTFC=TJݝPS#."L@o&zV:v: ^`Z ܞ_udt1ӏ(V%U^_Tw`,_b ،kpPp3 t9y]tN97"mM)i1q:;HH5%-Bj@t9 j|ꢌz E2-,=x.͞Uh}&\S2p9zl%^jO{IWOaI$YOvEjOF: ֥\l3IHGY[:+ޢSoeFr\&lNni -VunPQmc)NQH9]v֤.}⸩7,so׏P攝m172I)9`~נ38zt/}؎xD[XHƄeX&QLbSbuE|ԭ&- <2dPKz(Mf"X0P;=Z&`v~@K27?ItJ|(~ZYJ֦'^XIl JbcE&I(F\W"W/߰Vw1RvX}6&QXƁ]Wfa84S3F HIN$74NcòZ%YѷD{ xOF,J3y?8O޾GSz z2Q^6iKlULMȰtBLJ.hy9G4)h bzRp3EMhYG{ 6EB l0f؂NyihWjnS# ?V4M\.pVOEXQO9L$^4o Iq#SAQAɮc(쒝G}pIͱ)y%m0znضɺ޵̢ܥZnjs', \C<H98qiOr3YO*k(.fxʳSsv~] CE&t-{:EApJ|fښ )݀ IRTva oYhM$b,faI?;cR4Ttqd( j:U}9 >LBftiK)VWՎN'K7YDA.4:7sPa?(+:a|up1~/SJɥwVo.Y;*e.'GRdҰF`;?;Kk {C~MKCx\8a q/e\WOZ'JjU+EZ5 s.qZNɥ*70Lۯn#Ɓ0ٽsx"#v_c% Fw MA@5xEKݴu/ íԊYҐA,Nu2Gekto,},iF+m'[S=]F IwHyv> ӖruloNdرY"S˱Y>d*,_ڋψ?[: .d}6S9aj\^a)mqևp}s;Fi=+orMY}] (C%ɲsQA423_ Z1&=ݱ1'ՌzU,B?ho~)SНY,_A]2e`u[uT Oʆ&NQ |o TϢv{pƸb%9-@IT0ҹT+ @%'.6rڅ ط[]R:%kr%@ qD^taHjij&叫fn}YX^4iMu%腍%MǤzvA(9C)i|N(\,֪sWBz=஍FWUu25ntqӅё ]gyu쵳Z]c@>O`Lob醍9q~o,я;"`U@jke&xˑ S) L"9yEIa:-BY-gnjlP=ڹ;jX([\ G;:_([i*@4";dyjRoj|#bj- Vps#W`g~pZ[G#L[hC"Rg~"JO|@;s)KY9NKR>`.<ÊO60OTD Ic,&&M dy!q̟+WA4F'uN)Awp.^gKtb$26I"UmLP]`ϫsǛT'8 )FNV4׶7᳠Փ!O&Y00I'}IiV:ܚ}qXXW 3NjQcOk<6M~{<\RVSZMQ˘Uվ]z[ b3'=b<U ="iT20m<q_&wҟd;NUX{kp'a;}'v7{yY4%Á0bJ]DL. };ڶwiݭvv_qePcjfN+YN{2aɎBa& C_bik}3ΌV L*AZ@֟,3ia+GJK@e\o0TrGOHd> 9Kg_exd~ͨ[٤P?XO~u|c4QGܱIDb8QNm(j~/0OD6|)bǵm.D6цR=DQ #M02#9e[&roPy[7]x|$!SIsH0%MS\hdrqJt *{`,l<4L,kark<9ݩlV(C*AF4{tn%|%c UJAw-xZ.ã]-q_hh @3x]I|a^Q3o2Bj>c,Ʀ ͧѹjSh}]^@!+lm@ZʪR%@1kp@ܺq{N} sc 4XaBiI~RHn#Zy:M:98K7]vanxTltD<|0%F_f VrYֆ mȋxo y>t9q{ep Wā@ψvPe$gUL¶ 1TԋzM)#處=rKGpQ;41q2]Ÿ[^"t!變%)M&f)BF Mtܺ`a4z]zY̧3E|[M0j1CmR7ߝLnTZV,$Q2keFd`ĥ#D925&\r7ƶ~KRCUB۹ڲbA"jA6q(Y(̝ޘA"na/{ .; o co2(>&<%j 0c{.3JY$K.L?ST|.}Y> %oNv1qOoxJ`LՄ\OrR 5*!EE:z=9sFqT+D\328}UMlnH7KOYԌ-Nm) QI,m~ {lW=}{S3 ^d4ZFpp>!eU J{zW՗S/X 7հ5NO 73b_ od󚪋$ģldG1W$e7p1*Q_&(b`K%mצELThVUzvV2a`)fUYբI(qrS6pC\Ts); W耵`wSVfdQ17bgg`rh3EˇY"E@kƛ1nv!dކvT1Tݰʣ}&7W!On'EfF`X>_7]ibh^,fF](W&T$טSUmʂv13 ~S"j+-%Xj7K[? xi򬇔{tY8{=)1Q-z&vPW#Lq [4 >xn^/`L:Rx~mlQ=5kakyNiq?]56X58{)NXޢٷ .}6뽥E.  岤yx;)r<T64 XfbKS[t>Z_;"OhB+wfDVːMHr&p]7OjMá0legnڇ8^: 7arxq=y]^ h0V ʎbÄǥqYb ~BD⾢vv8 lrg5W qƔ/6FbZb)}9JoWU5H cpkɁ Eg֢J2W!'[o9c^FMEcӍ`^ױGIi{ qh]amAox%;7;d,bUqũq\b])}T ~/[_bk؁HMڇjǓCT/z؅(cYrC 䡌dޚo95lvbպ4;?"S371:QQz@ mQc$iHJj} EsbsDStK>p޻lM >&!7ԗv@ ==CXxK0E_O9œ |/Q^t;oe,v3~uU9E\jk ?]QBbg ABjЉ?w5q )"u GPrcBᆪO©1ZC*1#)Uprr%tG~wmbɤ}̙qmQ10]id5F.RkF}e=3v z++'pK΁Áyqi =äU5FfΨ#94_o*J0LB75`1Y1;HR+CzO⎴%xf 0[pDi HqLֿ8A_]Jb;6_r ʶCIʍހ9El_pu,rΊ+_Uf+ħ0];[fB/o!?kݡE0h &ƶɖQAyzM£!:V{xt#tg*.ZfaO^oaf5!'Ԙ4j'dywCcRJs7K}a[!ͤ(MṴ³Z#ocbW}&Feh)o2$I_;{ *pvcܳ1ZX:Ed~}f4yTCm\I];Yó!clb(ʟג1]֏y/&xCO'fH^9dk"ښA'_KC^'83@{т"2FF7T!1^mPbs5Z `vZ/l7Cg#1ќpc8u)x^c;T1)^ay]ɷ xpMhNkwc`(1Kᅤ8oGNB-i~`aj#7lЋ9ܓ']=yP8n}͖r.kB߀\Hٽ9&(;Ѡw\ "Y'oj|Ř"+x1h|*{s^NMVrNskbI~?WE~h25(Jģ6G >}ZͩLl3!kYU mdC1CD?[]YpQ%dڄʘ5.N륝[c+*V9rʵ1'5y'rG5z6cQeXW.%鏌AWAV*е g'@֛RZyph,sFSVs=}QYbo+8#*ԁ/dl节aKL dy3S<ٞ9_8lWh4% r~2]&&fw': 3H;-ci5%$?T=-=3{=GH4Ze'`X2mR묚>$ѳ S۞Zhd\^U@BchLuhvBA):o1MLW^zuFwrH˵W1?|$)LAWh#i4,MlN\W[pHى(gER=vOM]]Vb[!}H %KX/)20oaÃTª^_9\V'sK$Yͣ"m=zO-l  ;D-!U3so&:PF|\~JvMR-DQFw۹#*:w+a7)펩ƀ9{8rI?;~&aU{#/v-m0etzLEԌ/0s:$iǸͩ8GuЁzR";Vt]OΌ ߓ3,9xX>BL;- s!2 l:Rlfe wĒ|3Av~`HsBa{\lN9IZ[,2zhr/h0rb4ܭ C︥Q=B׺M# z 3p@Q CWw-v@-ލ pSѡ,s72dh W8cj6tA,(_'6>==eOJXZ3D&;@ob{K}*F"ѧ%@O 7 !vX)7ߵttG/Cqgau~lɃ h|^F[<+Ht uZ)t0UbNl+2Z7Ksݳt _y6nr{nlhZג[,7J--wRmZ o ؞"ԏo\cߒI @rs#/9::sheH /Y$/}u—Ďz0}h7A^,-ʁ }{%@0L\U?UYXk,7a\τAh?vmt1';yk hJ5Ε#x/v!Q{? Xا$*o3l5O6I5i ?"!–iOd*Pe`ōVOmAtQ3͐uDv.>p &AJDhTڌWkXe/tBVi bǐB[Y+{!P !(TGWTM87i[,#aPJNLU kuWG/*Q˙zM\O Q=$"r`"(RD%ZeyDn'WZ*󟦷!@ m*{F1gil7葸]W.@\N^jqL QZόɔ'ΗGKU_, )W0Z,G'Gȃ=uvpG(.' ,(*%nCG;!q1ډu|cP-c='ܢZR[O>zS4A”g;rSÜ[ *m+{rC%!CqvE.9krg7Nٶj `t%53x^-t,P~y]$墬Xgt$u>%7wsDI& RBH#iXJN\G+Wg +\.]sc޻t2w$} -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3r\ мX[mϿ,<Ѳ֫B5hVgJ[bs' rx?'IYUJ޾B *zқBhFQұDщ$C0R53q&ן~H/ u¶0j/!Z)Ȣ:5g)T/'F!K_-:}~TF!א?VC/X#RTAk0ok ĕPl0)9ȧ 6N2"C{FHt*b.@'vI6t r.?ݻ# NH9#Jİ !Tk,C11a P&e{9n{])\\Ӎj#b!6e /㚰VH@Pͫs0v&Q}[煥!:*[=bXd{TC΍Lڑ*WmETX:gvV9JڦF^tABX/M8a;4bQѐ[;*x݄,$0 g/^+Vqf7Q2/u7Kﭯ>KSPSGutۭwYq z"E;AgdMWjlBY;rYpB(H82z"5D%F0N32M"(B"I.%d4NӂAe畺8sxC*Ж$uבP> TM[P=@AAB"vks9e}\QܚMk_G1:wIRaű^n8Ln*IJ71(:Hp)P3cOKZ/P>{ ܠғ{l͈=~5_H[}koZ 'Amtfrs$X !o[rD/"B[J/+h$3<]_P{;.6&ǀ ܵÿ f R3(Z(;}CE2l W:{y\c5ڇKr"OլXl3ײn' {ȖӯF'~` \/NmJ#֬:)}JMǥ[49Z׾Pf "PQrZ)H-9 zCRRwւ!™sLRSFܽ:)Xe9(aY_iTkݼh6b(g{<8;ٝ0?}w& }r{HglzYp*}fjqq\$+n= ~ɔ/.@5y#'`8O$SzAOxo+ ^[BDuN^%,ʨJ:XͶ2%SU,!m!8tپI);֊f)qWČn!A `3A\9d _Id<[DVLy\xZH2 MAm+FMzEUK5W !~ //h# Jt>^!LȰjؓap|;+.#F6#C6N vc+)HFF35v~< nxL`'a(Tѿ>.P?ПEo@oum#Z'_sٯ|ctVmϢ ;̟WNk 9#)if)^Z>do*bQ(z0~apxH𻦺JreS[E$0pϛ=tOQ: _%|a<8ԈP`ō1X8yg]dHCLu%|$Xͯ2|ad$5sߪ|J)^py]:!T;sH6I%Ҁ0K$/ DoY~b.>5yÎV|:2y ORsIkԕ0Rcbs!{oW&˹-qWhi)ƅU%1;93Yt] e/Ccu\{cWk5_@XWO>\e9VOS~[VKn"#믜 g[]c $IfWwbHRKJ|*!@@QB>s{ Dpƣ#+{A"b-lӢ³Fz T<߬\]Wm!y|!Ccrd*t@TP); h q%Wev$;tup 2t DqorG}f3y:i f-&‡h79B.e v[}Z#ݞ:oɵAH%ehD 6:?Y4= ,@]+P]ikarެL{ytFlaʷ>~ά=d'/j~xfFQiij6C?x0݇v]oz7[3CTxNɏpmͣfE--AAYkR^h{0cIp.Jw;78.{:_UJɨժ1>jЩVujԏQq,: s[tEK*)<)N~aO´XZTf6pWmO^R !$"#U/EJ {a\xm9u<@`n]mA~d Gꣽ |NRUD%xe(nijpefb#TfW\cH;u2ceUa,w3IHO΍#VֹޱLd3tyR.FA7x dX8|8eX)lBē v4=L3斟7r\XE.s"^j_59F>(t&Fbꯣ25_>jZAuؼ;kϨsER vbY51^2ZRXqz7)#m.ċ3P'K3VIr}_ 2ejΓfj|[(} XoT 8C:3ʨi.%YgTxU;:ƴXR}[B{ZXȣe2м3#2J]I'ʐyo[e@^56@{5Y7`eQ-X*F:Ml)#I#Ѝ:l|W'S6-aN:*QFI1b75R%oiԌ@j:2kB"}HSwA)| tꠜ֠Ά>H#)Ru_BW ցNri t>0> XZXͫ؊DgHP8AF\pm#tI0[+4r޲ڿ0c{مb6d,_ϊ4#h+wLߞz=Nˣ3iRʛ m=[ӝ-*@E99àOz eCU% $⣍^kȡzbلrZS|0S!WrГ Po }p3y-WƀG y+~OZ]7,Xk~>؋1Waxr2k_QdjoWFA>f=h'>0~kn 6ylZ.'@"ZvA퉨 TܶAY&˶T9GInxh 1Q.'(8JXT?ѭI))GUf`{{ʈUt) _/9p'7$NNHrFu2lWbGfm0e>TqrKa{X¡VhAXw2:ڿCʹp6Kmj2R6 B@5" ).X% 8-%j=@BR(*7L8glQ'~R;Gqs[xJ:WLFyHP "*`1z{]B*ն1ok +۷;\b=PUXqm8E]p7]׶;]/QdMgx4jO!]ِvf }ԤnmjEIKtVHQXϰ<;ڜYo|^R&k6€ BjqfRa)Ul%1Yĸ1*:@h&jnu:wOfk_³=]iqK /Z iPųsi7w 2!6{Pnۧ`4w-HəFߒΞҏ_ aWoF-*쎅?7?PA/ =vtjD4w^ Y5@8G iKv_Es%V-Dߞ >dy;lF}vֽk ԍ=0yմţMvc5{"L3d/W!)!V9W֝3m5 ͿOT bUHG/@4xؽJ=ZSↄqƎG0SpX`҄Dr$sDpW9&CC}nJS`n({h6:^ HgfN>mG^+GW +?Hbhޘ+T< lsA|C. lFs|~Ooau Pi%NE er#|`X+⫴oYtK&)!c* NIwE找>h'WS4:2}gh%RA#a&q`h@<&7"'0jp*]2 䕜@t"p n`eP@{t ]*}1UlgLB~VC0R̷;6sv\22zւBps.Vn<ȹ'! u@MvkSoX zaQyIFF{S(Xq裕 jЄ {P8C]6>&̘6ڶ()װ1 N!S%Y>Tg>`bOG90&A = #-IA9R"s}K`oc!w`6UZWːþ-wWcw+ E:" SOoU.~H|^s-P|xqr`aTPD⮚HHz#eG.^O+k,;;ؙ7se{3rgP9;?Q?[؂Ռ( .BfR (H 9nQ+E- SHL֜*5{0.GMr'6?fg{ N)5X^0ml\DY,2_<'I_Y+ ř3'`>1L㫢"COKfx^*Θ䲄)ڼ2̨GP*i? Ee1$ubg{F^,0sLvz*1cbk(qkE2,ϣc:%XGfv'І4HA˗%s74%<ʂAgYZďrj"Ӛ3ID>~U.C mvf«O6 (Wa4lkoE h4 zZ[}<(|+̠J}{?ͺǂs)h/x™vvcy:7|Kk3U< W!@ Z G??/k8$6V&o Ѯ|E(T6@0HFZ˱x ϹVUG+W*<\nrIM+ k8S~BDWxB}:OW23΢NBi!wDe&({"<{CNcL6cW°swJ_qj~XuO-fH>A^OTu5]tZu? aг;SXqI\4Gj̒ZչI]}jQ+uwE*(ؼ7GqPRŹ~QԦ"VkΊUE> tݲtgS aj$\824*+(ֆ$pcL^[wbRBT gꔇYa kd ZTé,}FYUuMo`w[7l*>o\_H U$ [@etRLNíj'jF'Z͟w䗟ՐVwH/BJu4۾J~[(99NIНF`9VD.sCfn^pa_s ƘqFS[ 4ć IB8FY!(cNij.-Y!T % Qvy:cnT(/44qʽQ>('0ĸN$%g%1bԟ6nc9x#3t6[VOejYg'˜2Go9bZ}eOr1D xʽK=(/8!&/ӜCawL"4\vkn(8+ L6U'Gnb/Ah ;9Zm³eĂÞzp:SRΚ^;Of[qxx8RZ2Zbst[+PE/`LcUM?:p#YAS8tvQ&. I5:{'bЩ/h \Q76̑@NDc @ؖ3\"R`%kl .% )>[/TH{`3pTBUw<8|7ƇХΥjQ-ϰh}kw<>}eR#]vj(1a?$(gO`T5ekksݺ5.Q)a=fv4c/-'c1}oz.~ʒP[6~ Л@$}}*-@e - 3=0 7A'#@IڍPʮV24R&TZ[h 3b[1aNT8p@Бu_F&h*dC9q"`3Ho@3)VHJ0P&^Oy)g6b8 I+wiG.;aC޹p3[ڒc|JnV!zvſ,}T T jOyҝ,.is=ObiS##pB}Vi'jbm9NCہ$B( HuI^؜g5e3ZELJvLe$gY8{^$7|biCM\ksbbY V ʯ*KýP,Jc߽NCp|aa%X,B_̩u0L1ьtr\ .:Pj&g9~'tV\k [!7gb[e!@*|c2Ise"u̫`t:CT()(~ZMz 4Pq H s5'ܽxD2Ӌdu@-׌meH"}}#pi4R[ڧQ:ŷu1#~->mnVJP4T*s7v!jёѶCLj)2XZ #`YƸ_>cbl#j8[V'cV n2U:aetKHd}"Mg`7<Ռ5k1* 0ְf*F{hߦ7﫷;E^"XrIR\'Q4veyթj 7_},QU̽ qf7N ,@Enu@ @' (\KYc/8آǵ0bg!Wp 3K ;͑F*b$>fT 3l fl_mX6E?n(U8b=,[䕿4ރ<['lE`KT <7Vk$a.Pa $N""|KFd 2vcO%iF0ͤS|JvV.4L)x G_ YxYis$X!" L|b2%8h$U.el^0¥v<]f GIy=kG]->R٫uwC[]1ս_$jPSaPs@S ᾡrG/ֳ]CTNElI&ptRinkjŜEAظ^JdF:H{1$åTuUwT}s+=mxޤ2:#dQu]Z/<$o:}S b?nZdr&:*C[oV*4ђ{H*L٪{ISۘǺ?ݴ2 guRkJM[e|hO?sˢtN4?t f($\=5<MEWla^F0p U$K7Jt!1%<`;b̀L07e-p$Cb.]I"9"zF;Y \>$\'|419i52 honMuÏ!uCWf<\AWi0/PZi7IߙJK oI gJvkI,@HLz:N{G9^]RQZB9Vf%4 (|A蓦p1t]Lr8@+z^r4=f8ܟxJLzlk-tuC#ل'zA+UG7K-lpo1mzNIgq 8@ks9P^VUغFzq], U@TC7/cYL%OǾ-3oW I #P {>&Ơ ?$KU Y21LTA΍O:JI՚Ib >2yYzyS׾Wc0%F0(7,< 4mNfGc`VB%^(mB"΁8fJnCN"+uHź3ޚ{fv`fT{fTE+G n^ 0N`no:IɄa-qQ2,}ho9ͩ,3.F-&_Z3CYn':jhh9Y d.:W}+HHLt͔ %;`DAֲZ :N6%ˤez_v~dvFk2ƈ<-JJV*OtwäBT}>8Qr pA]t\=1L2J3l#:D~i:7sbFc[OSΓvFjJzEMEEm#o& J_NP/ـh]3DKe/ӒsR`I^7oH]+t>9+rؕu*PřR10FEޑ$wY⫓ (9!2O䯢"j:9XRΝtBOOr HYcq9ȉ^:R'?63W c0{sJ.RxޗA_bJ<_́);$ؾi9(TdNi5'[$AT $" ل)~ז9Dc2_ h{mKxcr6|N-Nxk0 mk4OxE?T^$7 ?J#oߙB!M*~X:_\T^JR}B#1po)0e\1}kn -;5KQɇ%4vU!]ŸJEeZkQWj9 C)J,Ǿnx%,3</zǫG8+yČeDFѶdOL}=[WvYMV'p<*vE`we&nu]`ҷu߆f70D /zE(Q<H|_S:Ǣ("pof_ћ3`ٳlghLc |$EU h B1Jf Q/pcDP oUj漏6"Z!xd-\IY+j IQ7Ҵɡny*F H|J]kJU%na2Y7 l&;)W'~εImż`@- SQBY"TÐ؞?cE{פ'`TҨ1S狟Y,eV_!: j65j!N/TilJԗٵr,h!b? ސaZlCB_'`'0fGQsVbԹ^]ւ&L2+ d!o2d(HQ`%!E*-*B83@h(4&#k&$t|| .IYIie߂Up',MP1X8ǮN`í7bvg"#6oq17eDRwJ wZ'tUF>[J()=q.bQ=H3d~R x@ScP<袆s Z좤Jw" xXY4.i4PXWias=H65-aL9*rRAE5.!fc%';&ъKg:I8l?ה_})u2 钻-MihkZW'| }Z{t8VJC'b/PG#]%x_8tvU$z O͌8%7\IWN$ ,~4ZmEkUq2Kz2uZ3(HIީ=̊=$mγ3C)G .NZ:Od @x߃*SX$YᒢR$` 3w:_ J;@fꎎ́QAA@(a]ʕ)31Y|aHjX+o v&8?YJDɩD;ӣ\R:+"X'f)xXr|P?DKq.>pɫ|l u bD@yM#U sZ|AZ^%g,H1n{@q۳/\Zk"l{ KU.τ*3Xw^k[kH|W_РK $sM-AV\ۋhac>~,PÑd H!# {+5X<#ϧ*U˹&,Ց6f iP.g]H!u.Far7ЩH ssEE}j^X̽Es;<#/˪9ɗ@>AКhg:ٺ7Hdwr}@)*}?:`c-:x&T&yXDmRjdΤ^XCxޯNZ㛊r!Ŀ{ CC{ O!sK{_۳eV4?$i8|DClCgB;+_]/bP=H8n{9=EY-r/ 9#f߻(;}s!Us*N%>NtFM+jo&64p_~G^u8.2\s0h|~ 8$æh=UE*Fu3RƵ;.h@[ĮH w3SI%ƒjRkR_\c)^i~,T.sW RK什'! JHo YjD0 ~/iRx{~RQK" )  ]=ם1ub$\ȹ9OkeJTUd*6]x >Vz;Qr*CD@HM+ N!X]_ ;[/&}ύ.|rƮs^${#& g3z;8xTYׯVR7|7 MͣUcpReGs0sOʴ@(ZD Fn2[]y` XUh sݺrbt5Q=3,-j _-@.h?f]+ncHo;&B[bD:=ZD^)Udn'ܹDOWqMt^@X+W\rTVjKvf0i@XCBZ(OiN6ſU|9C*i5ForMNt_O=ȹHvXxkGFoGX4{q%TJ LYk/oᕀ++:79sYȍ 4[?ŹW߻juN^\GFCPm2Nmtu7Kjޟ6-oBTrCD 5n%~_[< Y:~Diҽմ8S$6J;Y܆o))<ְal8ϟ oαjeֈaDz-닼;JhOOB'^%ޝXFEo!Okkr%Ҝ> HpxP <¹~C끐uF?CT"=d$nMX|)&xF=1@ SH.KrGMw^U< Jԁ S՟d'*73&S)4)% !o[ݭ5ԣ.X̶^5UdqH6Pq3S52tauő3zhrQb|6No2D L>׽6P sۗvA!hn[Jj⦢c?·]CcĊ_E\ wBr_ a+]de8>փQ_i8eIw%q|p~COƅ FХSbԩhk)&,}bUGU%*C{YE&"*%I g@YoZau+ywƉ%ʪ{U_,R4?w? )[5h,D9%"y3\T[.Un?3UJznwr$ ~!vL禇,D@RE8 m+;{Tj).\H k4ldh{@gfa$_'?R?_M+Z ͧzJng *4mx؜=LGd۸hqʠGGArqL-LGAK-z+|LELﰕ 'c⢬@覤x˨" M^gѺnT Dž0AFuͭ{ڒi$Ս<` זG =AߒYb5ȨyQY|UQHd+&.%4fy)IzV@>/Tu&\z%g>dwfaECgn*P2K"?[7mŚf@'CpQDV<FQ[9ntax3L(L^n5jsťupM 5: NpH1xI9ŷ'X/ga"RE!A4thet̤+IVTSWR -'쑲g]z5IzqvML{zrfn:IJ;X Cݭk_`Tpܔvqr@^ peЍ (={E;0e| Վ̆Q;zf" (mˡE8T6Lj򔤥{5pN,aeXaDB| y8$K o&P O5^*EsK..ERKm\ z|FC 8q.VƏ zQ"BJ7WV֨mp ߯j{LP}Մd,8(7}J_VQ2N`)J([qkRH|a;S_Y_f4%@='BmHR 5W> {O}GĹmRλ/Kvs-a+ăpg=طtb(ogΈx&Ӗ6'nmg'2:̛|vsk ä-} 6A~]%#WiPr.)XhgzӳA%o=bt-zܻIK =!^ufGɉV{rNgr0o(! hXgFN$@ O0iOdC<.oқEasT}Y# nL-D3]m!D1~|~>xȺ =tDk>M[oE%f=HrB@d ~`4ƜI ]&]E[bNл+( R R@T<(Xƍ)oy-ʕC.zUt~;_Tz74Ԙ{@DDg#%ܤlـXi'LĢdnh١IR3 ! `ߍnR]—,4&b3%RM=#b(Io`EO*61))m[)9qC @[gB9sT)yRjg.-kfbaR;VM(Ts$ug~2 ${RI@2 q-ɹp? "^wb䥡`RkM/BüWx?fRW_(W,Q4b0-C㯵<]s66+YM r9FP\6CJ4Z/_|oܥ -Zbl`$j)c΂[&rPjs+T'$/AxɃlYTgl 9eFy< @lKDchyɼ쮦uKh4xݛ+;N-Ik"?:>iv{Q|wȧQO?;#\mЗuliw] ;Y PZ\a5^ݛR(Հcr#)!-hGF<*SBՑa,n-TED HO!ƓWeSqQ0+ TjyR=ݨhMwL;Řzcߌ7Ga| Wڜ’~p"DsyH ~%4͈7k.Kãނ)d$:&ts)cH,og-""o4p5/C=FmdtSl3X%(keN!%T&P,+Ufŝ-tjOo%.Ao) b0=9|F< [`.nk{sq|\1g قM3$h' Aδ4rc/D$em ;* ;fO?ʎC\ix^9!";O!*fsfpB`u`;5~2vh,y~Zཚ N-iDV$PYM(p0>Q#%7;pv.U..ߗ^@Ovme;}Y4ncJDݬ@Rqaҥ68< wxP{fp4q0*'o(͗_׻ Zws}%nAQ" ZXƼ f.'/r.O Ys]Uޑ9;? P˿.d8m6ZxCI2̉P=>L'KyU֕zryֶncXK`Wݞr"=&f.hj-C ;{7M b#9jy 4a`n@PݫT[_$M 6sd#Z$9tqH2I%But7 0 "mkf5Տ:ZS$ M(Kͣt{xNcaɗJM11 \ϚsH ; 5p[/W4.`nrUju@lẃҸȃD3|cRk"*)U(:O]eDv$7e@6 rAI PqRrlcA7/յW{R 4g/cnHکB6Xj*-eF%wqRwIѲD Gă;fYl_%Lp9` 6~Kk8@ Դo5jox a;zx̍4ޜ[|s)E,m՜}9 oe3j0oߚ됁Dn0n%$wN).  4z ݃@-hRi\;ک"2B#qш@zEUG1/7W&찱wHe+r{C΢E\o}־JR~K #ݺJ>ϔ*8ȋV 3FlyS^w](RL@&3ji|0tc4LtΚjXgx d@YO"ES  Ӻ `msmĮA/L#?dNݡ2D6 oW_!
8 )^aZ!,$ߗeY2%6~QlcėGh]Uw`0@eb6cQġm-&`*wJ1ѽn]Dv:j:@d3R5&{iNF<(ܒMqy&ycbW'iRzKKnW˿p3\FNU+nUGv{[xƢ C;T@(KR^&ܢeҾT,^8U/1gcDwժׯcw7i]3X~;2 [1NBe13)+;"; ДX^œ1toSOCb4ҳ4Fd vtYJ_ϳ7@k +;iʜu_'-LxIp>o|iE2m/ Iw㨰$Y`gްAL,VcyÈ.]v{>Fw1#iy 1x2ʶ17c4Z@0]? ?)/5pw_Q-x]eas*Gkq[S =Le(q6tN )L7@'mBM"{,rw8)cE[p y9[['k,^r2!!I隫Uh-MEv4Y4y"\ jC=p}ȯxYw&)JUb#gfH ֲ 7 3~1]#:p(j8bD#Ѷ.0(h /4'⚑xI,`UŴW?tv"lL `nmeݑ+1{\+][ 8 ˆy*մj憉|tZ,Lm9'rAfNXai:75r ,S^ MQWü,é ,{-lc+:nm&]_ 0I-q?r[(%>ZfwnԦ%MNk:`= g[$וQ;x=V-:{,%aS \=Fed^ذ:Y|06>\Ǥ<&bC7fHw1'H]> y00.xBNsӢ?֚NP W71vp&;ϙ m׎NĉH yЛ3ƋWYʢSo=Q$1TT d>E YЪp]-YnoBҩC5\M/tZya蛘蘅=Vqj?ǵśp9)ӨVdEQg\\R7*2)9(k2 9@ {ݬ5ۃ@޻Q{ SiĊfrg my ݁j[ i:Tq0ki< 9OhiL 9_+YJ$&{"*.>Rҋ[GCs\9Cޓ xaBzW,>r >7o/jl*9&Y˜X&TTa\Ԓ[@; \zYoX/pǡ-3R5 :#m0>KeI3 şd]guXK/5aʐTT-ĿWpe'v`X?kna18Ƒ:NSDK?n#U)=CDnܺOOmb8]{Y1S ϳ)hR UnF <HFl"LV:~Iij մ ꅧ㠼_#W>F,<2Ą-:o1SP3ARNv0Su+"xCK4QXh$Fe> 9>1 K:8BWF \qTqaƇؚA ,S](Au~ Y OuDa6_pDu\[gACBg,eT;"m8B!0k)CfWVd@!ub@M(J"7ePo V.Z\&Qg|2: IRX3r'{A4o;ǵ}͆!.[d \`[Í_D(SOoԛ~^(ki-"X4C*0ظz.E:jt8M=^soԆIjvhYp⵱>l7&D:o3b/B.qw܄_8"h5o/Ѥ,.*hZ?ޓe @q{ 5E^m޾%8!WTdB0Qז;i{iYF$lcsgjp=*$tÆh܌rpPsT Ml4/ne%޽XELld@˅N%-Ŏ SDEKE5q4?z: T! aE϶ĉZrZB :ߺ}w#̙}]/"WwoA¼۸1!Hjli`4Zg+ *lDcy+Nx]\9UdU2]Ti|/*EJK`97bKfK\n.*rNtXFB pIAvs{ڵȠxm (|V<p*D XFhz3d})8m:TJ/M)RPdΕ+cE ;;rvA}28϶]U]jdsu{IjsLY=OH5[yuC̵QF7}`3=dm07%,).䏝t6`١b~ "Cd:LqɑlGc4j^x չ~˩>43ߥtAzIc[~!u`8iqAw!" ޖ[5u|m?j^H61~Sݿ,#{i5-k@♴gӡ(̥24PR`>kf@M&_ 79?4}Dr:Ǯnru1Jz^ ?CfE o^VN/>PDQԩp\jS%1J@=d%ѝXDJ7k? A ˭(gASJa\3\ (.3QyHEY'a-4ڕp2 m@FRhʩn>캼&1#Xl康wS@jJMMXPSHGMG68c;a|ղ ϼGCKiLRWX@x]'ө?Jh!|!Eѱ﷕ܜ&Їr|;[dI^ nl}H|mMZ7E( _4>M iϹ?#]zF'FtjEan}xLT: <"sSE0s8loFlEKY/:v F9!KPgMs !xx4%w=@&sД f>F DPjhlDB[ϺLŢ]-rM̲47~8j2L8:=:W1M/7);he5>G $#/i4hZn%2@F7 Հq` blujzhV3lB־D 2QTzDOvm|wB!29oPaݠntގKa 6W֔Xz//${EaQ %_ vaB>3Cw.a[3^È)F"^ԦoDWJ_qe9NehT1uL[KBԁ1V~^WN/x&Z㑒z'(فy3x`ݺ_b:4}vשia `-:f)Zz "n)0*- @v ]- /F60ObZN﬊"$K[D~7?+jyBƊLn(*;<+m.3/j-@M`ղ()W-UH"")gymvK.LE2;?EXlh!9ņ ? Ý[}Gٞ(RevJk!N= H1Scsv6 غW@{s޳ BEAIj) v]F#eRYJ5DD|+nMۅD7`jt6Nul;S8lttBcb+|&|6zъndMLL/0D_xim}8@Q\e`B"^8WrhwD^$M!\ԦՋ+\ΐ4V6f$Rfw!28]-hJh@('\T߇Iߙ"=Ree9_>>݊XY)j#f-m:+31_jmJJ{s32Ǡi)Y9:kEdIcz6UYʨE_eOç_\EƎ |'Ug`@uCgyL-:i_Ju!m#/Sކ\eYM轕f~S]ߏ(QJ^t 5c@353iSR04Al~1_ʊ`gn?8hu ?[>WIo;3 oO7DfBᇐ z AH9?_lސM%Vߙ^̽q:xZ-!4T63ROr%eJD=Kw9? s ی,hwƁ/OE#Rn:BLG ,2P>\>i48~ X?IH.bd-EvTĦ2&uQp~x@RdH*%j}v]ov)@"((ä` Yq2w v/Bd4pDPu|L3*},ԩue]Qu8*걧̧̩!wߺP&4@Z< !B5 (Ũdd@o@etK%뢫qh>EHV]?%*V }9}FrUJFW bmƞ l)A:~a8U)\ꁇ*}P:`l=ئven}){Wf\DzI4˯lᗬ= Zxtam?h>S0ѝA>n_=oGEW5ž=c= kn[gW$2?1q\IT&D0jK$}&j!E^}z4㈦VYF1W&fr8+ FElⷿ.?5?ӏ "'cN5t>?03ࡉ'Kp'.ۂ.Ak`}P=$f2U miKVLݳؠ >$U2?t|Gs^=o}odZ1mɋZEc<`[鐶_*ώE>$)jì;R6De!t_Xd>C wMWgih|(X'28p|/ͤqng,.FJC.&uX:dQfs媨t|/wtmw^aOS֪k`wXڱF1Zѫ_t=r\ qZd, BUXgfg&#Nzu8sț|#2G눫>,4x_Qm[Yך6`[,:MǦ3lb%. #ǵPG~#\njՌP< )%XUpt̛^p,E3H_nl@Vwɻ,-Z%P2&UsbI<#F#bV1:pI,|I498Xw܇r x62Ł$\qP3$M5&,r%SsBN?lB ^ҝ! Ŭ1 ?F_$ʠ.zZٴ'ly +gEDgl[>/^ bRٌnY5g>.nQfi > R_X%G8|;Fx䊿_k]Y}'-|ר{K:U Ϸ\g'ԃs4N?c]GloL8}tX^:f2Y2L*n$G:(&⃩N)I\ BC:2ṵ0OZ^qq6poHX~wtRJMŇS;[nEd s V^׼ 8Y|"TzLZo0TpQHa#o˴19b!ݽ3O}a/Nu> QyD<UbLh#P/# 蓟M,FAHbH[˒- Rͳn" :VYS4E=`&,q 鉹 +1 ~NâElGɰsD܂#{%m[RYsp乂YqI}3L&(5%NM=~UQ^YW?1L@k}@26(chW{q(@xk0ᇦAoX5m)sZ: GL0=YIJJϾ zNvP{;S]Q؆Ou -\*+?bߤݹcͧ[k}ZW%]<75[ݨR$SvB#;T:COPukZeZX2BTQƦ>0͇F}hWy;2/=6zcގy(wi1ݎt~ ^?qP7c$z2 0@ կuc 5܃2T&#uH,Gk-y,Q\u|m_q齃 z1+? ?o9FmMW_!gnJm}8Y/Iz;M߲#>)~CprRE6*5JKy[! }Ho{j ZaXL敽lM#ۊ/TJ uKzq?X*e|Lk#| nP{],4q(C:ѓ{0#)p Yg:#DrAborD9h11xF{qy㎱Z)*ҀX}:M 2\HЮ=P YojUԱl@gޥ\Oʐ|Jl; g!GKivČ|ꡗd٢ch֕I.  rS<2EbKaѫRUk;5L^1ۅ~"`dĪ7dwU%k Y!\U 3OGޟs%$'tp`1f9%/}ht)7wJ6z(p W*o`G(Kk%\bй)'޶wM /jzx};iS`6]f7p~3AkuKڔE7b 2oY>Z;p [TF_6wB !*~}9k čk'VUqcstv  섟9]Khvkd[ 6ӌ *k}I"j%Ll:J6 ~jq yM{)TV! }ogzlS )XA",^u 2GP p;uBpk\ʂ0q]٩L#H"" r ܁"o?c2V';VZ{EMEߚmAwNG&$94ޢ8Yea+FV6^t IJ'6Jh bi;lbP/~; Q*TF[Y(Y]>Ѹ^ FqS6e٪G۱VTsB^R{DA&tD-k =dBSC:' JcW]~]ͺxNOe]SJHW#@-m80Wȃ{t% 9Wpmhҕ[ϮN9xvɨ?([G{'O88 ݥA]R O$sTg @ RQA;8j:Z4?Oe13/#?(*<эU[ɳc:gocW|2Vo ^WVF5H1˨5f DAyu-HCWw!\>A@]$O`` _x k;Ady+VMP k7Zfe֐2 sz+3qoaYO)'*Ur# &Vy/hѿ֨E`rC92&c2ud>)V+q!5 ;VFwm.^<; \U+ if)ùkJ$XhX\Qڙ #Nwv>qZX'$(GKLwB%ZLʒSA*BOy,'|\C v[aS$z&CL n>@~}S$y:Ȗ>bgFNCzY'E>^S4;OzABZdqlsVF,ٿfN RZ"o!57eHѝYa jPv._ )O6'6@ CqJ1s;2ݬIsLs4u~[<׳rphhcel!vS ߪh,]FFBQ/8ފ{\]4Ćn&- WZi*W#g+2ظuL⛞xfB+&7s?I aŨ&zK-sPjYO#~[<󿨦#F?(\,MH}uO#vЊ{fP\rJnr,TzfIo m*PB, O`E\C ?jV|@ /NJ/ûݸKpNdsC!ięg"脃iޗBQ\"5"kTBXj=[ں"+P6tbYbtَ~|OX([ .nj6- 8 g͏ͪ1qQk vSWy^hE/|,Zp֣rs!!ʋAr~/>vtUgW=;WREЩ>\Ŝ~/t\a6dc'E+:>ޒN.L%J:o;!p53t}ɯbҝXwxXbt.7 1W+OJEWd Efࠢ58:JV@)nн|$lPq5XSt ձ`xz Fή1!#n]e #H>|L5carWqaj(&[]AIva#]BQuI ~gUgZ8Xpn눜6-lD9"(2y9[y1Am *V Aoi|!X_v? 7oDwt0wKx"m\>b crOܝFs"F,$y'V6=a%{x`{LaGl)%GwzW`k01併k_]*O;rިH=lNl U$}DW9nBRQOk6 ;q!,W&P8EFRf;҈iȄ䍞'(>U^{(}^L7Z'pԧa0?BMӵ`ϲSYQO x`XFu+Yvn{ζ9gomjgVzWS_Jk,$'u4M~: liR@m[\fFZ ķ\(yK(n9 JK)lh#i -֔ ~#T&sAN;"v4Ky멃a;6RyRbu94NHjS$I\ _?^Y c <=46n7mHFA"&'M5jJnTecXkĊ±AhO tâ \F;&R9prLJPtKp m_jY|tXq y)  C ?e'&yK6@c%>?ͅpޟک^}/]ʔ,v~TcS;R% ɝti'^2Ǫivm9òReEU zw֟@Rc;zMO4;O3ON i!>!6 `CGqގU>*dP/Frci󛗛|)2D ^57 -8Aw82?(rMXh($Ȓi8bzn7Mu@rptnP֝>zZA6 UY@M ?"1vZ5jQ\pP%'0b/otD Z9_JE^SKфi-Sek`PzKδ$p|(#Ml&Z6M. JK,0ߋsLo7-teL4MqeuSd ~ 6Jtr\JP0TVhÕ"|ȺO;wuIdOOM4¤ ggZQ8|!a\!:nQ#Ťň9Q z U?ʃmEV7S#S`)O^ ;y"H_>{ }6C(k2 _hHU!l*4P?7- >a d$H.+?bS]a$F=GpkjCӪ=']ze#+orFqz8>~B/Sh4w!iεz(\ߺfA~Ǿa>n#zM`X]r@ƒUEФtDbHT%w$( O+ղbR8tT&8l,ud&N8Zޛ{"MBCCŨ|!Z~d7,+/\qxS sh$K;a5=Ccˆ>XOw+#Rx]&mDՔIM74m'kw~`B&$:ܞB]1@[c=S䣉\x;igoj3J!Ők]]ow$m՟!CiY 6Ϙ>1S?W"'IUԾءe5gJ,mQO GC$&U,iNӱ0r4\a6` sme aOe,RP]:7?*LF<̀`aܢv)`ەߑMlbaRqLN֍Ʃ!9ځŐr?$kcV% [Nꄓ+kK{b uSI~3@޷zεWGcs!,6א}hY"^`u'(\_0jr-c&J:LR#D;lX&NCf,18dM yf]WX6ĎMEݪ.򐄯;{ifbkjV˲/cIhuD;|۳|T:$/(>);3(%GfMv" ighr^BխKdh zbҢYIP(ASg9(Ew;;;}`Q|vx7 ,aw]yjI?TrPIfh  +mt޽1(\[/ӑHtB9![ `%x[(.Ps&$1y,$3vAUy"UѬO6fʄ= |}IZX{r x{A T4#ᢠDMt`3WMhU&'Ĉ1-xM2XTv/i̔q+LqƤpݼ?s-d` n&p6l ZqD5U8V.s[X1OP|mqe&PϙÕ>=xWOD?uVBy0Z=`=ʨ` Dzz"C*[R$\o@.V]@yМ..͒ ,]Fa:{ʌNcXVm,Qɜ ԵD w΄Cï:c{[IJ(JdB aPFS~$W pԗ-jγ<2&(zlݫ_Y_> gZ<\dc*'Lk0PEAN1`U&|QA bk\Tҍ6L}no}Uw hh7g?%_2 !-ZysV|&WU~OoFUHZjN,0ђ֒nV7dϭطu^̤)TJQxl)Gܗ4q6o5Y58(T{]jVp4NDåStsZڋm+.[%|љ ۵dB]6wg 5Lݐ2mK Bl*B#'T?&hD*Ʋ%3j:iDQ-Z&㘘2%01XmJv4앛YF}P$+5Jk:֍w k`?l.٫!yT%FncM#VI`L{y-P!KNvqs<̷M](W`>"D?-,^k]pUfOb&CD8GNb+@Ii[)mQzL D%'̮u bVAuUo5+sefCl1yg b,BŴ_ҷK[@]')Er]Xid!z*nS#[}8~.6MXJ;ҧ8k>&Fl]| u@.mo98;vSǾ.hQW,|,}HqҦfY% $ |Hv"E6dl 4̹Ӱc9frhM"P[:Y2x}^m:sMPNuso;]W%P|Ti[6zpa Z7z'TXI-p# mݖ@V2@ @e1 F_.+M @ '7)N4m}geI tU4Ĺpwe8dSzYWJt®y-Cᙞ0]i[D}IB*,-Ls7 F柹Bv^(.㛗ˏ3u60 Vd^mE1}&1T e U2!wg #^ZDc@vm~*)6l3s Ѓ쮲b%i I?[@):ϻcg ~Hċh k>ew IpbŨJL)wzd i,c}Nn7T=(m0lM4u\U}O Q|X1ϨV삑͋/3l2nD",TU_ 9@X/&Bh7r4%vd̷m-CtR0}E(5/jҁ%~:t,?2ljݲ-dkfFf# ]Bs2}}q3 WKit)7'46 0`(tzx't: 4N$On͍9\AO?kS|OކX6Q@"WTLJr\ K +OaT{9yc롨8 PqY?x߀ߊ-O v'e=!K_t7^/ (6^D WB j)Dܔ&u*=,V +wu$\m\ݱ#m8k-f J]օ lWX\9s:+2aUl[9'1ީ{`9>M %֣I0x}:r_{u C[Jwa#1[kޣd[&h"b,r}^}iE|,~b3xDW_mP3ch-J`V=b=DcQtئH0(-ijLsNs 鳛r7Rv~X5.xM ŕd'MMς]jR(s4R_3GHa* dLL'\Z#AԠ 8@>*=E~)vN#G1dM2*ywx6{eΞ .]oJ=& @+lb$.IU92 n P#AITIBC&2@`%ZwBmD p2Z'&}jmQ;JD>bw2K ,bmhY82 Y+[e) kMO[ӥ VʸMdV#t{20/ Q0.V++>Ɩ-Iub8gs㨧S%:/z<'y=ύTD;\:%{(NR%B>rL?N}BBJ*J^GɗU՟X70B?z Y1S '9geM[U?췙4AfʏCS@ -ш鱕G5MZ.Hr8k@+Na/5^Yv@z>Ijz,e "OVG&kNP"k@o~ςJ768X1/A!5](PmU2vr!*P>4,ʑc> &ufeFE:K:RQ.>Vֿk`QH\w1S61{h9AV=Tsx,_sVY6xkڻzY\eK~.vɃf)קf[lIpڴTn)i7gֵS+)ٟu+'ȈOƼcC>5/9BРSԠ5Wr}6bج}-i,v\&a20A嫬?,v7b293.Z\%E:w=J0gFeX~{fS\+L!85m:b?JRwL~-BXNrjb pRf,I%YgYZ ,,W )E% SPoALjSiIYXhB_ڥNL!sե=v&,K ^ jU\:DG)j]sZM#4e'Cx*ݖM;3_39aO:⅙j G}ȓBTTͥҢ_zWͣ4B4~XF>ȁN@͖o9 +\qmA=Eq?o*'d^儏Y@w6ҶG AQ)2i"Km3 ۛV8UMQ%N^5ƽoIW|bԐcv uMfύxRyǺ9$ hh9&c!| )W% tResolution_FOLAbstract-Rewriting.Abstract_Rewritingdocument.tex7zXZִF! 3r]A-MՋhvG"uIBm5y6C]mĹ潀ƆaFJwr8}Fum6/)2.JjrؘO)UQxmDmL1D2j>- ssdcY>Wve4plK̥_`=Y:]} e؉ z%8_lOb|!;vtd7G~a:y_ӇUJ/%_ >|r}j"7uO|[lha~plEWfKPUMCy4LgL01 9޵cJ[K K4f)Q8oS2h *dy˸*b"Pa{I{ 5sSi7}a1oal)/BXuAv %myv$굀{F+%[2WTl?[>U/ y\hy ,*AMc̡n[ RR-#bJ/D h?'YfզC#o SV廌o$CeKp3\F]=BfEqX|.: C+'԰hqrh@&%<1 |d5YSgB4-"Uy0g.WMZ!voz>$ۺ;ۜ/X(Xof]H5f Ԛ|BdBhA~JDqPOWfV҄\9C e!{($b!Gߵucl0D_L{Bn#g>|ɔ츘Ayuij+= NٰN`; JGCx+%Wcќ!f7k$gFN>{U#+ R1=xFڛjw\BQVMhH'*]^JSFК!Bj^Z"`h'Ww `p齦]ϛ]5pŋP  x5CDžϓ꯫ԇUH1aj.헁U< 2qجV$wV4#a cN"Zo<;7DE㘬"3mWd"IWq/& Ɯmǟx\gһ} 'Cښ4e]X3?drMh.xigtOziv/NRJi0-x wmZ|R[ qXօ d"K|pd]]I!cV^LeHV8 jIl?<"j#_'鯡8::SƷ|KoMKh!G*DcJ 0 "[D*Y.6#Ҟ}D㛯p;f##ɹѸyNM8wW8Ǜ<%@H$PZvĹR2URƗN$있l_ l)p ˯gJrW;dtQ"5* /Bb}74A.p &Sm#F/ g)E/l?#A}Pp6Nf"37\`!2j&KglTEXAw'zɖwe$=3&9 S(9D1``f:!A~0)4fPt tD s.;$rklt!B}_UX [e*f|t"CHz|(uS&JA:DW-ٯثY#d<AwymbCa P+f(J^ܚ!<O&er4}n4}-8yr 8FK:7O!7"2hDGA֎'F0v*a=",ۈ|v܃hLFPr݁()5qvC̢.xysI ~ "}.S<72bn7u=MMR@NX*w|N"SR ߸EڿW0+ȵYyzp3!{ћ|zIc.*J'iW;= =0 \Epm߶ƴEL]ͦPZ{EZ;)Wvi?ܿȟ}ɑa>rvna Yq*& Q Hy)$%r8Ĥ2<{su3y&Ի1A8#4吪M9,0m,?$c!S\x[o&c$*r~!ehXÑm3t˒pmF߷c5xpXG؎7} &D[M]PeN:iSP sm4URp}^ԗ+5ShIWS7xyn⒐ \4qL𴗵(&̣GcfW@x]=Sďs2n/Q_i-dͺR$ba.-%'L4i&(ҀzFؘ҅ ^$:6>.|ǧ ${4V)kB~u3TNrr(2|*u-l(B<~ k[" ^j2dx(:3_܏"WC p,h,&VL4zfDVea^ T)Z.iww&1=qzv`XPzV]g~867_n'[Oa*HC3+Jj1fRoU)V{.M͠+Hg8'q4/>,>JaD{bHujùOoNQߒ0oؘe'!Jq X~AM+]гFvjq ˜~ Ct#=9 zWp8Z^"yWJ cV[YN$3&hsA׎/r>nS(Շ |y͍;"k p8@89K*3)`=]E[6(Ǧd HJq=/UcnՊ0CKmgjρ<t),UkƱ g%F#Ȩh$F(|A(5;=LxV|93u.H`?9^MM;+clG87 v Soy&G]fD,eW\7iֵ k4Wΰd*;Nr&f l~ xdsbѦ65[bmR1u<ˤ|1N#-8Ts;,Gq0& kPKiT"2MǑɖ6P<#uf\i/o^U{9Bc݊ Ǹ`ήnVDQcO ciaP *S Z~dC0`mRJLOt.HX˨'ljog Vbzk@ÓGA}/ Mx8W%qAu7ٿ+œѲ_Fb!k:ċ_>h[s|ݐ ln z(a jPߝԦ}OI(IF8TDK!CRkDYl<{k<(#HYk$".Bwf_FU(ݫXOԷƭ\79`2!ji8A"|Aާ?6\3@ 'L0 BFqT楨PT1zFi`mNqb!<Fܾp6A6r,# 2n)J{CcѽEsi&b>q1{`tV<]Ce T֚t (em*6)- U0gPbE'Bagh>J*ojrA%:ڑt]B*?KVM{+HRؕxbZYl"Wh1m%&8^@I\uJOG1Z~9h*T)Fw^3V8ա=ޭ_ۅ)XdLJ45-g*#;D MyH-o0P*bGDp~0ARa6$|M>i &_ka3/m1{&^cdN󍢜!y0_F&i6\ )OT=Ha*Uc^E#FexX>ꔄt&F.ޏWL1Ozp+= yX,WΟg%"y:`LVfo:`ʛk%ȯ Qt$l aٍN[/S7պlhesRS'z}MGR4r,UabdbĢS޵'T^"J+w+ť|qνJ,q* l@*z7QVހr9w]ks*"σĉ$f0DǞUG6Թjv;gUb=+rB.`lTmGׇn>id^OL@ -o'J 2*b JQ<͋A^^5& 7:H㜽8ƒ[,S> g(sс&rOn_ Ya;5}39Vt n e#rK* E ybd1p٘a?YU$niB w?~ Bƌb6}wN$f+MN7pK"OZV 4 yOeh {[4B¨T1U>lI{fbr[%Z  o<a:%n+>3]ŀH o~˸9EÜq`3K t}!zS#dTiRT[P]{A}Hil`p׫XEԆyVYz,5U~_ː!eɽ? ."a$iv8-9q;wS&uMk }MoFɓ}Ȃ"bR]ƍ7S5MN(w]*Z6ӟvCƳ6ݕ#qz/)46 ʓy">q}Xx=]ް}{ɤHLKn1A?A mH h]i `2W[WXg`ǚWmITd%MʹR~]۽!2xְ)M:*ء>K9\ͪcK6XZ jx혣h"<'c>eɼM|:3A1|ư0=l Y2+:/" ]fG 5SQcvhrjk>t;5gI6of_R?5wFHasbdρrQ}'X3| } ^FRY q3uVW2 "-H Ln]7f 0&?,5whj5qfZyvl-SV=;@fA g#8({q K)w.#5d9UZ]O ω)Z2dB _R+3k52:lbG[u:oر ?;Diւ5oXEeHyW`o{&uׅE+{TJO׻:͔aHeWMx$?*X?0ck\gw3MbLYĈEg@o˜R#5$j-NSѧ2(`_@aPƬO)fՃ=[f+nZ 邕v5 I1 `+}= r⍯-Ts$ڃP*"zl\,t]+Bk+.'.wP"Y%춟 O _8I/Ay})cIkXV(ja*/,k`MT%UQM]dޫq͛$} 7mFo[~;ZIs{pknX \lJyTqzJ1?: BSRlQ0R; -8GQW * ʗQd3kxt/2):=~H$Z H@.7/[HSs(qqzQeB}(6/]Nu$p7կ]ew&=QfCjӗMMD$n8{ 4dCڅ!u̡;~pd5FW:,RFB 3cIIDF/"iJf=:RT!KORS1ڈꈵz6c6w% ?Th$2[ܥ,m.jٲ'Ri:olίdS-pM3#wx?)J$Ivf7We޺4=]E`>GGĄR|s/`mG_7 >RRYs%?-lo>(fM33Uqȅ U%BI|s/V%&:0]x/OV:貦OPV=%BoN6~ lwDŽ+j&K1(887ba^y^8.5 Q LqݱjySj{D7ŠQ"PGW,T#Z\;\}߭G6*=D SWɈS=6 g-U:^͕MaC)*2'It ۚFgYZ$22;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ(: z=,T ;||p HمNV2qI/9d] +~"(;ꥀUAT|E;Ѭ??&MVg6砩BKsi Mkv $WfSA j,V3o%!|'YGw@ɲNPyf^ne6iaYEAr `.J̓PjwޠuR)hu{G{ʭ#"><~'. m w1ˬL|܂L4\?_'5V']3pBSЬ8 lBm{Y_Wu)`PiB~eyeݚiH^ޔjS@IZ "hUR=(DSdJ:ƵrTHk XTS,Rq1QoNqbHJL@fE@s~T+ǓwKVR)Kա'C*R.{ x?XdfwWig_pV"_jkIy;%|\8.Ek g>a]Tb92w |"o[yH,X?Ůj9p0:* =P;U_ Od |kgnG'JP#A$;j``K? wd1BQMںơ<4ˁl>Uk6C@E_qO.FxNYmakzJC:.qb^r%|(U*Ҧ)=KEP%8b 7%O:LhI/"^6zdRco!\aے_KJO4(}AYj0\Ӽ-D]")}UNYD7qɁ{^k'S|fhSeX/ _,<֓zf mxY#8xhVt8Rc>tJVfG*Ť1@8?2qd]./ӛ2mZrF-D߷F!;ۥlЄfxa+Y@;* uʼnE!|**m d"(|恧N[s;ΊQhDjV|(WC(tB|0ױF\-|Q=pzb0$&b+ Ō9:`ɗ 3= Nq >:bvoO>`fMmT+ *Q& I1R{<f¯< ܭqv?b#!FT,-TZ rgS;T#+dvN#{[;e7>8s->nZ~+u\qԤ4馕D*gt/]^Ѻ #2u0%SiE+ )ೊ$%B{ mB*?u}ZZ0ehAW4ֲmA/ s/wwި} o&ӉvH5SV˒;Wտו/ti!p1^ҩ ʛcٹȋj2u_9BW䂚fO{J)"VYL` XWsV#*|]+.| &ꦉhw6m}І[;&n<+b/i{+۸Op5sgs{lh{M.cw1r$h*=H;c]cz":$ylK2,`OZoIH~?OQOKNB PhfhHwT6T׈o\aA|_@ n5;%d8N@SoհZze2? ,Y+"׶geshz@ϯaDu-񲗾aQ )!~:Hnm, (|~5X/:)j_E;*S‚?im `KV/[ ֗';zشapeP"{5L ඘"$:Rs8Ԉp~CB RݾFRg>: 5 t`UiL:9o״9c˪;F7*yDG4'%fq0CW1$?L\ r/P3)c3'toL[~0k&v{Cs١Nc@G$)dbQy riv DF qmAO +z4 2Qʙt4%L ށ.b8pdAښ4G '4.-jƎl)M#eY0s~4cwTޮ*ڋ ȋ_N0A`iAv^uTr΋FE2|7NM\W$J W nH ´lL[F Ɗ#_۳9B+R\{y2(hk](\DȮNʋmJԇ*uTdu)Ow_ '5+|4VyόC\H-{>5QҨBANi#ǻ5M"fLLwZbz9zc88 Hŧ*Vt^xh<5 u+IQ*a9]ǵVr{G#=3**PY*=rJr,m e6̲ò.?M W6{Nۋ헰p,z|_BΛ6ٍ6"_##-$ܔ><){Y-KWDK;M ey`bcH/%T08{BΗǴhRYc G_ѡ jt4a>Խ!h ]0ʦ)Li#e#J8mi 0ǎ9p_?B[ g a?["F0{䰻M0+* کk;9OVo3tsǿE$w֮XdF-^@,ф h'c~xzed69A`4@#'.Ci1U卌+{LVlpDG 5$/c q2vR-Us `De2 ƷjBS>>:'@ȗ]̢&4 c8cg:x\:N/ xOz3M+Ab}-؍r׺E?֒0]FDx#?apQRFrkU#pxg BK9'[V`Efz/ndSV@؅cUp3B;wNf29 %"ϾzXuݎtwR&FPl? [ji9a3իnZiykt\%)w9x%jiS>ƧM"EGs88S!Q V/ʋ;@WEviXb6՘;3q2C@8n ^>sѫKq_Ũ&%̟4qtxîg+L4OX N7why) lXvJ Plt}P]ɛ[#e.U!PC,ੇ2 @@`F@u+!zC3J3qswǏ=H|#gYZ . )=% tResolution_FOLRegular-Sets.Regular_Setdocument.tex7zXZִF! j]A-MՋhvG"uIBm5>32 fyL KQcKē؁|q 3v:z=3 xa~m~8j ȱNa넊RݯGz?M5c~Ax>"Ch9²h>A5> $YJ3e&}I5]4(d;ҡO˽>]Ae}?i!Z=w3IٜNrpx&}t k(sXۚrP ؐ*N@σB#]=/s&Ĭ*?U,dWClYoSnU2Ig*swƺ9ydڭTv \s?}3.)ſx+$@& B%QVGf)vF @a$pptt"*-  dHς+Z0%ghա8)=Q Őx |D#*|Uۅ|m*{5e5bVrS6~=A0,䱻CM68/ QuS Z>li)K)GVP$A'#%R1։cA>^NSjV u.K p:-%ml1Nݓ9m !B^U<3Z;wW#tB9u[ɇx(eC>rb;tYO7ZM #cӮ^Vb!?WÞ=,-b 3hH*ã6AeZ{M~,[͎ `C$6~~ʖܦgm-ϭCzgЌۖN"%$N=)h{FޗDEO՘xeyA'ĪnX/UMչu0We!_Ax.t.2 ʲ$ Jf ;[1[G| Gu@=?? K$46.{(BQMEmUP2xC:1J Ngpǹ֯?^ 8"o(&VJM8=^=>c{Pg?vf5NH~n/`׾ z[.Pe;Vnc M*G"?Ŕi ^08>9%*WHϘi)rHj{-7'fZ7 p zLUlUټR}.VuQ;AE)Wαv̑uT$ qӢL4Xha,3 ȵ>0︚@ 7!7۲C:hF$UDz[ܾDs쬞T,G 3[טh3g`NX0!*& f93oYo-#Q*3ou8O$TG.-IޥK6H 7u)dejC#H#j z #c}ԒUK[og)oKрD}DoVԱTܢLKl(P5.@,%`Kuc'IuD|Sp9H*gnmJ46,w㜊]}9àxXM&NmǸ)aOuXpt罌^艦xPV>;37xv0Gn <4$[ ˎp̘sQ3Բ^R& O|+łGL8OKs&&NYY咞P௃w/t#MoY^eyisQ&; Fn82c}YLm_`U`. ?9g4̙J*a/=2VozG|%!;V㱔n_+1R͉D` qޡ|5 #&Vy s𝺨gPHarAceӰuVv(&BCyi2yL+)iS "4purt9OaQZ^T~>h vl&'ۡqy/w 9Ae=ng!7EV@?vX$lsr8Iƒׄ[]4Sd&`sI\4߽M'rF_9čR|NO{UYFh"aβS{+ZjAZAӣXDAT%.cWld}f.m #(Hհ ˾Z: $ӄS`X*9[L.^ץhW4σ &*ĐٷHy//_)P=6%w^8Qr=jtm]+dV2 Sp$^ T6<*)An4+#78ѣt8|Xɽ߰1H.4}( kxI~)i}5Qs< ֊ \Y=$v-ҍqe8]tsܑ#j مN *^Yvu渏֙}ór9d I'Q;@ $7 9JekWSTszGN!OwahE`k@MHJہ;w16n,ld`۬ɳۣr*˾"a}ТE^,8G|~HxL* uӦ˜GN8J9@H/kSݠZ`Cl&wt`Jmo@ZQPZ%W٤µ7qS)x[pUl/PJu]vtVQu $fI_p-2)S--Vnsl;ptyfIl 3֪5; &Isg {~|?T~;᥿o"cP ⊚D\\i]N7Sv{G1>T1vdAKuM8Q5R~_DoWWsMcX>uOp_)B@6F7C3?nCh+TqJ+,RLn'$쒦1%F,n0lO5sY$_[{i]5D6 Ť4jjq˗D;5mՇ5{$C7#}Qn3? _Xr/s=y/@@pG@x<GWjU"?h8mÃ'1QUG~pIip8?H9^X$|ac# > ފWmGO0ëorz`T+0$Yj`:KNj0eLgH]֠9C9T ߰j*L.VTt` f!OlQYq%IV,+ρ_7jw=2HvxLޜ|7KȫpGz#e{P kg@o^I&J4j@*ɀrrq\zkaWkI6OLpo Ker%&~KOϠC먾-*s 6 m1'O6d%$);) $̺nN7DU΂V4~Q6U <)GK?AXSNJ <:M2񭇡ErZR(+àeoLGvlhRkhWw!Coq͏N߱>lv nz{\/t0!G?&H@d Vx:#ͳBMgЍ|぀Ei5yN v"kMp I˚*Ce$T!m+cK#;@hpx9?-?˥9f w> Q$ޝquqq<0m#C^4N-jA֎3j!`W f_UKF>߯~0q.aʢ4DM,-81>7QȾuJ._QJ==p jr{S@qc!^WP<Gw^n۹i׋?rЭCTƋHmǷiǺPO \>砒>RB= т9K?MWp0YDO) x‚~j)lbW:I#bmjMVpcdıixb`N. xLe"~ JŒO3xŔ`(=ld<M\UrEEVf/c㮭N 8C@Bm^g`(}KY1,:eD d dJxL+O;7bJWuOߪ"w}4/7h~/s(_gYZ s )G% tResolution_FOLFirst_Order_Terms.Unificationdocument.tex7zXZִF! eQF3a+>Qb3yQPECS?E>5ٗ3|[~YmPȅ}ZkE(fk޼wV7sN;y"rוZsf1|W[$mAK@O\`*hԬm0"w7QLP Ɩܥ,}P:t{m-O$iőND4J,";1+ ]q :Dv}:S:ByLR«uq YcoZVQ`"L_Cb8OL`F ;)&fT}AU-eg5b -үdS&IvK56S?$/EFQ5r'1V?b1T AG/僔Ƨv]lIc7~yTNwMwX >㒻O@D|J**!jKzPk@y5޵x^(7h`AMZbD#<h<,FB[7DF/G~0b,ˉ, P8uĸlyK芀m@er _͑^6ꩭ?wk ]KӨ'MΎ0u 60ad< ۂM#[U&Rd[ISBC 4krS~KVĵy&FXP)pxS*|w^[)]XRZ(=SZ-CUDLDHQ vp -SsoJAg-YQ̮4mapB2U|zWI|^ι )ƽdljmb )94MdsH#HU)LžIT&>F @,?dρ~MG;N&bU¥S>%mJ.]_.ճIcUk+yCksY|P5s6]ewL3j$aWރH5rO0_ܙ 8]=-Xr^X 霢W㰗VN֘j'eֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ B )=% Resolution_FOLHOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,M)ߢq.G~7'!*gkkĎLɆ_k' fuKPSi9Y;[PKW`5U…?DMLc-ˡFפLG<<0q&~o FG[ݴyT2f p/Ĩjsmfeczz~Ts-bBW9+q;l-Ӆųn椂!5!?MG 2W87%;cvXʃvz,.܉*:*c'A>UQ;kPTx;'C7Ui*6;4-i]GSc9n( ` ohI2&x@>CX;#Ob #X<0 ψ+;] ș)t%@C (\,JVf|2؜ &kBU`m((΋+E(A:l)o?UڛY .~2 4#Zjalϲ0Ls~@x$ZDjYn)aJ呏I)'! aY-*:0>džfw^jʣPi[_q{<:&Vλ6iߵ>D\@;wL+-x]3I;JX'\p 50+g+8Ms4hwXlQ́i!%~C& G(qgT H$]rɒ),W3Lr4]f␄zNFN{>*%{<̗qP)]8Π[n]c;Xmz;>UAJI8~C.vmU yGi DN3~,03)Ӈ]!sx?MU K=.6)4l ~piXK#1%3!L*( v{dsX磕x=d_sg)ADdfyx5xMIRPes"mcƷ^.9@!>Bzu_V~S5 F2Prv4Sq l=GYYgO- qn7f]S(qqŶOE;Ƶc0)Q'RE>j{75yg:wKmc@7`xT g$͵ DqnVL5/~菫4@qKL-J+#S"xL:@ oHŽwQKYrCh\c@a^/uz\@Y-[ł@, BO[pu?'y_Æ^l0a+oV=Iڭe2iFmUbJID!bȹ0bѫ:΢_0ӱpN*8HaŽr;+b)-{V^K)WYL9lb;6vϟk,b,D[7CZjڠ M11% uK ~ nDPpƿG:׋K Zmo ͡$K)>NCZDV 4X䶂S -ћF}y0YEl`qoWL6:vX9K"'mvpIÍT98k/48g):oQWxD7?l\]_x2 WIh>W @\JuQ1HuLa3FȺSM]H)oULXnRW^1YLౖ.1FQ%޷,Hq(Z}Bs1TBݩiܔB'jGpv+XrEA̋6yg>3~0&YjQXDb}dk/Ŷ(t9ݭb,Zs^3hv\ )2c?Dw~Y@{aMᑦdO_VhlVu.(ހw+Nַ#1mHm lWez{Ai46v=sԎVK!"cR*AN٠Г]lܴ˛5)Gwׅ6#hWSO6ͰQvkǨ E3[1wEyJR=0H0VƑK{Ss, pJ2LncXw Dޡ FN&&mzJL>ZiQiϔʯiKl7%'JcZZ%Kyi`:24ๅ|G+s }f<>ʐB㲊$8D/] fw ߳\DhWu4-pB/ޗ[!DliIsO阙ih ^w2W+jI+Ȝ͝ʞӅc8ZBN qPJϸZz3Kycb%$2" $4M3'gYZ }}x )Y% lResolution_FOLFirst_Order_Terms.Abstract_Unificationdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5y6C]mĹ潀Ɔhm6P}#*NKʯ #$RTWT=7H++)^34tV~5/Օ G LotPa33~^~4CbQ":+4Jaj!p &xe'48+GWL#iTm'vjo6 rAf+OV=T. J]-\xZ3p=I L/n1ޏx NJL3j5Q MY3{[Xm[N>7#[$ I/֓l ́)G`RΖfv WYozsh-yesM6CY ߻O d_ aKW| ,,W*r~`,%QFuԾϖhvZ.`E\I']x|~RD]%l֯\(whiz)>:6.|Թ+i?Ơʔ^QAӜz"P>d( J?o5PYCFnMBptIPǴ(%w1Y4qcjz[bN6,wkNKٙx皭X^s[U29~vaCV!^9񝕲UDtbCsvSAϩ'+miiQeič.܅*Sn6थg"ͦe ~ -{'>4j4>8:I8@Lo_9 d `(צp eA\lB1Ry!e wji/k=Yۺ[ESJPNig,uWٙyNd>EaA;> $ 8o:z@uV;SXX[tu0y͎lR楈RGjnl(`mO![&q`6^ON|^wT@iwH6ul,'wjoaKԑJ$=ZqwDpnFONk"w 붯q<0 ;wJ Ho[#}ghL75,C zD~VTG6fXؾ*ȓyTAQ%1jTG_p$]R烫c,!(O wEXzNMA")WslzZ5rQ+LYGE= 4TyP_uKPGRl4|DSy1p. $9Ycگ*Pj5[Qzx҃& ;ۡqBgȍ8v~2RXܽdd9r58=3YlE_ˌ^*~O`ՈM# E"'褓ۈjHǠqRe.l5O m+g7%d^ʪɯt#kj2-P3kUgjM!@41q-EAZ\o`<wLQRM&֏yw迖]ż@3`sg \83]ͤ OJcnX9H8Ug]hfM4WCA8q`D"` qi/$%,uNn+&І^YIeZQeD~*vzs -o9ia{;2WԺ`H̞: l6Tu  O rM B#Ĉ&셾؎%8GNgPϹ )$oIE<lIéUH؀h w;y{Խ/6܃8{A:/SwS4F$k碍őRKܪ!؍^RxQ:{ mBU+e]0EGAVƲWd=  H30ucaP3߱Vw0G ZOJ$;LJ3HB֖U 8qpM[ s0+[YT48t>6V;n`_U- >CMn ˈ菠QVl>N$&8U]~+Pw kaho{ږƸQw[5:T?#md'+x XVҎ0RVB0/G+ǖZ{T XS$FRkqNWa:kS.ڸ`Y<"XIˠk"Z<@k3gFDdv&iҴem0DޙQ NۯO' MfnIJBLp41I=rkYic`My6ٰ֟0pg}Q47 R ыA\coeL:Y.\-.Lb<M'h__I;1Tﶱ=AgqH rsVQj|łTڬ]`sƳ%4` E}OpWČ:!=Cﲖ3e| I^hLjArZSp<$.G":CoLٔk̘>/IQ5˅) s[]#ܽK!z\] :8P~~,0   Ӓ!~*a^8>M.̕JϢga{is_L|iHI g$!,F͞Ty GW琯%~YgY@,/?VtV a(o >mS]+ȭZ 6 2mi|Z4>12N  {qB=!nWl#5/gPglk שݥzZB-=dKg`H<.j_$hi@/9h/q3M|uzSåanN>vP'nar?4QOHRPd4ܻB5&ה7ND>_kYr~SPN=ŏ=gXi"з2Aw+g}ᬢ&@8ry亅$qѓ1ܻ0G<#ˏ^Sv׌0%L6fgzhr80sӲ|J*26dov[NЃsE f0H9xq~bP>>s؄>1_F*`\$}46\Xbosd$^jn eͭ6#OK{1[ϚT=sIJHQY3rPo^iQi4co@L6ʡξ8 0RNo9g(> & .=`d ?o'$BjMWR.s 2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~q &#@䧲?)z;U&$I_\%iT۽ɈjC^1`70&<ǥvփB빊MFޗ3Ia@ mn% _aL"sL&WUqYyVY+NG7 ^I ,GP ;ѳ]^pSzsq i@ uTD2, 7Xre.LS7 chLoLKUy(mLvEz,znz*wTּ2!vvp_~h#ƑS)8Zsz ӔRB~AgMT1D`p[c`s T~=0c'nj4LD=Bq˹-D Ss(x#JcZCOk*_}'C `E_:- bƂNֿ)U ?1]^Ԩ ~WVb; (1et"_dSګ:[MXU\vnodxg3r`2\w F/^W:1)%1`+zrF&PӎT5 'ﯨV}vU5X7߾q%^Ƭ|seoLL{UFKoDB6psͭ2j~*-C\$F9=s :'m-- 7ʀ}p{g !#7>HM ˨f9ZlPa1ZV9.nT̡o${]~ghAM]2FAOϡWF!`O$aVd+ ^TnZ!B+?ٴL.'Ղ]Ni.Iaڛ ҥpUsܗX"?&cкhCG[6#MDԝ)NY 1"/PS!KFM3 qYX%S4CS J i73>MQh$7-c?`{>ޑ0Z"bb*+Y%).?7940uˢNܦϫ]9 R;ξe].na@$_`eNѸ'Ma>/؞ᵹay vN s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u3 kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{34 $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P5sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl 6 qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !745 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j8fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i9k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o:;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!;u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=9A?, ^(]ek)=!ܩƠSf龘[v,[CVzFpN<Έ&tdm[wvbJWlCߧNm ? +^Q!־$"6= v$H56/c):S1DQYea*CZdxHpe'P4 z g'7 û  0ܲS#S!b>^풽FN517^L5`.!rh'A j%653wbd؜4{ܤVu>^oA@PG!FƎ*-juB\E"1 5@閏OF"<ּٟRG;nF$;F>g%|ٷ56+;=(Pg a'!: $h [H[RKFΦ7!#)Tۑ{xaxh_r{N*nE&P2A IYfQ,[ iJL& >n֕sڄ{scnⳊꌫirks:RO`s"ow\69;pc$ioN5e~lj9~NGdJf:.28Y?LZa Pj`bN;̺-H|'{ڞycOֳQ1B`< ʴ寗l{Q*e`$@/CZ|9^ȏ(ځ̾TV5Ob߁ܗ.:`;0謽i79l"(G^5'S蚥|FQu[*B/UyUNkPLC v< h+~ 6o6$'Ubi4v(g^۱v6B1zFO x1y@l pF R|-uxEp"24嵫 tT< ȋ ߅&Xs VKp|qNb0/5cD= CU>V,u@& ylU$1 +Vb3{utsG2{|%U/n t\@- aT;N @3:kdQC<6 8wJSs`6X&)M^dR YCEOށ=X{\ꇮ $'$z#,,H9kHZY y3a&B%,pS r]?>O?E 1 vN.F/c?$V:]ۘk=6*8|FԨr3s G0;Fɗ-!٫.(N$O(SLW؁cGEaDrqb/-iCbg~\#N;)}#vS(l`SW]H㝙0UƒYe@j/3` W\j_qEM@u-#DQ~V2(Z-H5:Qd+Dy#* =`PS2%( ;o'g+Z{%ޜZ ݻa΀C4N/Zc?چS5cesA)mD!~yQw.'di!rUtG,bV BMHo! KHZ9Dl)-fʿۍւ\!}+MlByMٔAV `=͑TP˰V?Me čy~o 73˗.G*6#B ôV5H<87q'pGr"|H*PnH v{fԖέ JE.HaR.M1EI7[}*k' TcZ)sp?ZYZdzHE67Z_fq]pt]lrX`$Rm20|% %mg}G(ƶfݲ^h,L:et_5xj]GKV.xʝ{ 5"d$fXLZٟ+e;M Or }+`@~% ׂ0D 7>;^XϺ;[]btN2;^T Ֆ"淨?ST[a}[#KхoRow=Yu[+Kv;nff@ Uji=3mBX?ZD#u9I/i.q>ІR[b o#IΊ6SU"R{_uk6?{T:vm*Lo U9 34'bxgYZ  ?)?% Resolution_FOLHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3@$)Q% LResolution_FOLResolution_FOL.Unification_Theoremdocument.tex7zXZִF! }]A-MՋhvG"uIBm59rmQ5?RBLT}Wyb϶qW0FJvϴߨݱeI&z/b"~/3fǥA0bh!$ўk}ζ?D=eNSqX/88Y#h |@Y/-,htq1t@is1VBAE%7@C_Y,:6tugDBs[aSt"8AyP1Fpfuѻ=3mSWI:>7ZbtrU2ЍYK&UպbUW:"~D:3{,^}IW5!jyV& ވl%h8zetK[Xa/>o"7]qTeJ Nqr)cBͿNh*#*l =hf ӮOa`L昝SlHS91AR6BS2T4, ȓQr8{[7]O`ϻ%^B_ZI_f{nG5)>=D1&jJb囹n@3~ݽQ%?ȸB}c}mB -Np9!!9"}/t8^Cw6v0>6h?f%, O'cs!-|(W䠵ݞFE;q1ϦF~eD(U4n:RfFg.(k@IOXyM,?yJ̒ y" _݃hSGD[B )\$'I[Fp>Mw {#odU^ljKXhBᏵ] (Nɤ(7sg8RVXKLmɲk#G >ބE\Z )G:O[(xrMG6h3 /Nj׉7(|=)k_/0,6$_<6W&ڝ{?QeZT&V@MOe-y;6ߦE$Pru6a{>̧ZnįF K^ȕve\!c >V>: - 3d~~V-J6V!p3gE[l&:+K}6̑Ӵ2j`Ę` ߯2E=WI eL!lЩ*xRhk,Zc{ˡӯ/kiY9zF鬆m*҄%/DN-AJ#ʌTUX d"ecd=wWoڠ>]TD!&>:b1+^'B`G]X&x E{1mJ2B7X,#awG4G5diFg{Uܮ>d*N5ˉ8iM(S}3 ]]/v 3Ҕ;.o&Y3`j$..jK"_lyh0`#StX5)F~\-~%#^MYJz)(-erەzV3'6] 1 .wL= I;U^"w8S>bo OdH]wnDw Ρdk+(Ѐ޻WL{}mppR9#05|%Տ;I(*#Vc`"~֓IF8{4q=Wpg+OFQ+4dzbhQeW+MV+U49WRؠLJ_ӗh;ؼ R#H"`rs blcA!VDH58)$qWvKKr~D,7-PlDI2iq_P m);!VsW) vo2 71HQ[nvxѯ[q#g~eO7RZڣ{D3ӃB,|$3Qq2rcѕPH6khXIP<_?T ?הxuZ1]|౟=LL}e!vir˫A:LGQ/M?( =lW"Fy_CFkA@|q@Rh9]^k1߼HD iׯ@QTa]8JKh.ꃙ|f[zҞ3>е} ns$;?:)P$"h E0>h%WI=[? [q3C~6W@,3PRP^.' fc#n~qJpC\@?HšW2(0Og48ib*qFg885.aBULI趣 mk.45~HGjc'.0/sLI qx#k ]ŷ2bSgH7"D?;BqJe-{l!9 ڊsi`Z(+3g+ MsvxԍET$gIK[w2 Dƒk9u^jG @BvhAęwO|1Qߠҁ+FK1Cz#s`G]Uk?dD)jLr*Ƿ9[hg zD6gPh6T)Viz7y#c@cʞrylКL" 9gYZ`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZw\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ  J J+)7% tResolution_FOLHOL-Library.Countabledocument.tex7zXZִF! 2]A-MՋhvG"uIBm5`''bN\7eg>|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G(A m);% tResolution_FOLResolution_FOL.Examplesdocument.tex7zXZִF! a]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 Mb(>BQjvOmy#Y9)L|oڋKЇBȋ>% N(5,[%$sׅ~ʧzqLġ~ zKҔ+ D~#,3IZok"!!hNLTA0pzyAUjw[GE 8AI(g29 y<1pr@kZ^|RlZB9C=q&/U(qm[i{waC-˧$Ey{UmUt^&v"ݹ܂ }& V֘<=Bعr[B$478Tl؏;͍AT |nj %}%bzndvMHi[b3בK#jw+LBov PQAˑA$MTj|!u:HVľ@o 5nc`EA#7(uCim4qm7k:CB~詫!!i/E^f}ApTͫDa,?`;}kța0l_~;)5IH&!|E \·u)qo^zl@I=2Q.;q]wXRftZ)͹0r#Zh 8D\w߀Z, 2`ڙb4o{&'E958r ;t8 ,ehKeٷ+U \rˁp 3͐ʑiplvU,s ¢7'j$%T@D,C^0ڵEBp 7 J4C< ?T {3Z1GiGr!w_;qȈh(tLB8٫.(y{[1/Eq_qe}Gwaia1Rs<rxEٹ~Zwx;q4oފ{/HM{i*)%WY X$FX{:wCIw`ez6f1 #{ PV $'3 ȗdF>r@[+P1zs%oY~6A!]:B)6gWmgV-N%zg-VD#yUQ7kн qCZ8ita{a/8e&9"YD@dregqFns^_FNH BvTVVwgEE` `:T{K{9E觶a ||t+FSi13 U~e)QNvUIY $%BP *$7>x NT+p)AgU=dY'@ cyvw# Xon6UKeӓ=~3#ZLw+ Kjۆ޵B%}"nbЙ@Eɲ#+9㸡b]y'`3|O(tr߽E¬=~!PZj@bEݡI a)si_,N7ٴf% T)9XS"4Enw?vTEQ kSD )~KX}so^FQ;G(E2 ξ J _p%\񺻯N,$Ը 3(gWiRU̘/V~A [M0߲Kmovw][ւbe,ϻіoBf],ces\SU>y]a@65!3]vk] - ׆dHjρs.f_z)){omdra6tE'8֚cl÷>?CV5=$wH;qWdV wnDf*20Je3DMybo37(8s՘:7ca  |6c^;'RL\I;YֳC"Wӝ:;WHt[0}h¬yWݍp8ރ,2Cܱyr*:l`yEvWK(n[#"kWS7xn5.U>N܇1 !s9z6*aS5hYj'2M >a5NM)Rxt{ &ih(4F$nK[GE_vdLR`BsHgK* 噍fY=tu!(T[f S/#?:nDw0?sL%q|UV BGcqA.]HNfDg3.lfY#GA{%'~sHO 326ۅK܅L\{LGz-^^p,z&GR?Z?4g8(zi0L]:]7ƣ͙1(f^kg4,ʩFrF:4n$!S%Tܬ.²!>6*ad"xvyORņn-".G\["ƛu0Ǿr81RH,F` YޢhWc"E">VXzvvWSS.4gSHWhA@j e&:>",rV'AW?~Q/ J?)|![` l_|PSiZCo:o}3s-^jذ*nAJPZխ6+߻+ܵa1:6پfT$O!3YtA{@*NKaL\ڜt0L]!O\lW/: b[X$ٱgYZ kk)=% 32 fyL 9_&QxuNEXS}_o+VLA5Ihǜ_^[9C"9lKQ}߰wDZnSC%.1~G@לBRrOKcg8X`bD>~.7$U 4C=}΁Y1~d996'HP!J;~dF|'xu|kKľ` }xR[`x2}Z /umȁADXT7lȉq#n<:ioKчPNiJeUlpgneVbE\骿)@Km`P~@8,J9/!;D;UJʴ4dBV' P3akEIVURd\x"M8"P (5ٙ%$9nm;b|ůKdXQ"-P7;`O[tlJTRbLq,bϿEܝ=rFA&̡knvU4p_CULOHؗSP,`tՂZDCBӏ3eʑQ_kIv3陽;5_~.QK9`^ޡ*{HZ[TP O'F-g K<74Qnɑp6tx۵f ^whFko1b6BBQѱf\,"x=ѥžWQSHh8Z}uw/]bL:ZѰ:E骕 Dz,xpk%+BY0J OBu}w.f2KLnoGeNRa.X"7<;#* ( ׮G:l|\xuW7=]zL%+Pg0皕Kz43'ͣH>/il}V;)E*!v\ck\<|yZӕpu|0u5}$R mqstw͐{%r稱eWpp7.VэyE֕ t8L\}VBywobt֮g5W}ѧcFeVȄḤQYAC4N.+j8_,X6PxWɲvAumzf7EK2!GgK釈05H"8_z8|pb鸎THý+d|J懒u6jrDHǥoY&g 74f:︗IS7fce8Jcĉ17_SCLڸBZuv(EC [Ggސ/n fCnLTj8V{ Xyl7xHkUcBBTBKQ b ̏(x߅֨=5΂S0vZs ݟOw2[a+3[ ^&y_R^!C+]K!.EbC(C*/x\ ,MڴbGؑV/s1܉Ϯ~!O'9ހ_ߝRg|"ƙb+15|ц.[ߖPp\t)txЋܥƸ3ecNO8g4o8OHӚ}s9aq!lU- U/\]j^>&3v[T%ѭSsշ@lGkUL >-v42"z aАMa.+Rwi?sinQ&Zx@lHd=)L޷(+V q L7_Y{;z՘mr ãm26 +OuMmX [ m(̅Uhʗp?D6ނMB [Oh(ZP xFPT|$E2ec YOtjEzz|i F2wKXѬiʚa(1BrEpz%?-)IH$ȔՂ|ӌBRg.sƖ ^\#ъ{6)95/vU`%^wp\.@r`Հm `w8Wbt9m#tQ2.{ƕ0ڳ†.x*pAbu7G BfV賑|Fc+e!jyA`4wT >$㙯oH^a3XF_&R,A9 ފ"RQRϾQ֊jbbr^]-Ry;PguhDu1kţDA_0rf_/MJ%ipOA˴1Z qOi쇏V#SCǵXxMc1ZjrQ5'F enS2ToT[wgʼnSty=NNU0m$&]FtE@rzL֑ZڧH{4 x]Q]fáR-*ݡa/77̆{J2Olm'By6HMjWCXےu7 *]+K],3|~d܄kYt5G$YK^P G J,:CܽP- tvNIDZޕP)O > Ԕ2ZcLVp樤<t?A#FgD^]e,[Qs>? 1VAA}HZrf;YFƟ\xvS020)c1]6Qt87 GUA-B||BVjJX ׃ ҇-M׹ BxQ|& 9V2ʄ4NU&\ӜiYMz/>SބՆ;ER@MFN0K^ڬ&͑!d}eӝwj]9xGGoaJ;J:LPM$s[5꼤Omd `4hA༞05yvSB |Α+g+7i }Fj$!GGVx[7rܵwesDK*Y{;FBH4MˆӯvFUBƖVB2$'t<npZXaHIfQNM6#`P}75P}7`q梃^[oTh01P8ol"HԊ8 ,tn <fAv?d܎WwJcew*L+ 1EgYZ"eH}p:xo&]P.(LjO(i#(=] ^2Z.rˈ"ǟI`SW ab[!Z%bf_Q=&ύ$L' a$pŏ}n"FqR8 5؆Oa+X.s~}qںe|һ-`ze.JvG騊w+yr?$ރfl ȩfG'@*z=߾&@ܹXF1( F31@$Gṛi y@w]b9`aaYU J\ > x|$bxEm1˭f<-%_Hjz nS6hFϷ) _t=oFH3cY~em5;uH?E`Y[NJlY%bJ"] CmQ'b۫qK|qY0HEay'v*\x L=ǀqLY<+ 0PBsy%q Zى`1#1QTk7`ULޕ̘cmVr|﯉ .եТa;QZBCC*.0#)& S<- S38tEO ($WN[v]ZKAs2BK䱐c6[T`2gnC+Ï+M?MϾؿlጮaI yRsN&-y,ܺs0F%}DF8E'QɿZd'*g> :.S=ʍ6% =ye1 @×8^>]Qyz#M. ( koWo#Iu >Z<,r 8_ɼG?ՙ9brȷ%^+F#>oѷ n@*$T0# #?￶ḅWച2%V&!-ЀcfdL͸j/(AlZDPP\ΊiFxSS`NWGBz6%:^o|e'ي~4~ @~V@<=*@"}<6頀U6>Xv5LղNl<f/x< \^4|)luJ@_е ic 9ML[\hhNB$8Cˢ\G2VйJԚI &hٹ@\@Qyߺ\)H!f/7NSY;H"(N]|z*5Le2/߸>K]%B[j'Fvx]ZelDn#HV@Kh*VPDXJO Ϫ"bo(gЮvdj<..$czЎmVT=w/WZ#+[|KژGaj$CJRm8BZP<>v}Y-OmMwF"y n)WBat@fb.ԻL'Q<7@3P128[;0E`788f{!J4԰iϥO"j0.G&?={}z[\Q |k"ԙ$ߥoaR*/ AF2X:эE6YDh)K~vTn{WnycjOf9c[?)*v7xHZX.AER`̦@}*c{V ߨ_`a@Ae{7:K0clh4M5] % ,cqv `'n,.lj;]Djb$ \ؖs9E<; h7M!vtxunމ8%Tkfd>xt66vʓ>?h7W2k P=@a}ˁ0hEu,|\[*_hr bZ5tCP]ۤ5b,=2ti~xc;m!]TqϫؗeI26?i9\MX fnq#1> t<&}d>u {R 3\`CRΛ;oRByѱr|RP3hsm6_%Hag7|uj 9-B MѲ !ng8]xb߲[j:}K:,_  3ku#UPC`_%|Pd_iVQL}q< %w$=6'L-2) q> Tx~vl"M0 Bea睦X*,x]œBףM"f׉]@OE"}9\.1s+w_{Ck{mwІj)z.яAtk0e5̽Z'^ klÂ2!&IukXć@/5DYOXiX˱>]JD~[S6(9&1"03PHP\.WE,\w{GU AV'mɠ7^g+NB ;j)'ȩ:60OվKfGR;pfF`_0άAnT0rpc%KLdf,`i؀JhPRzAy{6hsk6nsU} Q!>YEƴճ3<{Smw;ggǑ?6>T[jIz!fS}V˜@F&Ƅ+I`b7`2M5n=ZEБH '9&6;塳)RZ9yY3kD{`102c˸>KƖ|N~f2W+,o] bgR F z>kAf0g}\^kT!yDF}9¶an;>0\9q= X݄  qec1HBm3qIo j .@.ۑQfB.=t=7{F._y_԰(`1c{Ը$IJ5cc@xNiFaF}Zg\{FW"KA@T$N5dR#zm[D&{R96Be<ݕt(sXzwSFI($gYZ  Z Z)O% EԎY"!FK}gTYxqMEVq>f_].vlJ`pd3fIa|CmLkyD L:Kn'GH*ΐ o)-j,,T0vb$͍Hv`:?TՐY_|L?l gM Z I {2NqaST>kazF0G ڲ MszMm[0Z`RF46D@EE-)OUd;LE#O%w Xt9׻'#t5u,Vt2faNO}q3j2VDg&a ?2omq#Io*1n = E@% 8>yqD[t4V俼2Z%T4mnUƿ`cCMte" bye~|4ưΣn,ps0[{Rr2ı4}2s^da&;҄b/xcc6@FUn/'N90Tvy_-_b웇;M׀ꛓ"R5NUh_uWkCa1믤lR=n_f ³r Y'Te!!E l)I% dResolution_FOLFirst_Order_Terms.Option_Monaddocument.tex7zXZִF! ]A-MՋhvG"uIBm5ł᭜za8iٗhK[)oi`c_,!"b6zd j5 ! bA'c'p9UX (ʉgK1؊f IJWsI iK5uΡ̹~=³!^d2vܪfqj.m~X113|A+[,7wU]H=X\O -Rv% "&i j 6ٲB ;҆(b~xFKuˑ) =4 b:׉[~K9I56G˽Щ.T4}(鸏N-M)Hv6ga(X/7;ᚱsrn. GUdWԌ8%Aİ*M$W҄so&N9g`E hBu#Lj)jovP~j(rC4 F-G~sMaV%a4PAA:!a`U񟑮j_Łvs9]è`$pҽ!RHvAkɺ,f4ìڝbBơi2Gm5 r[oqJzxwOԀAA_j35I {AhcWEw~Yܣ'v:p@PHqSRssR҉,#wޝNgCм!A hb1t\`|zƨ0کp*E;9B t8&ѥk s@~E#:6/t-EpD*8s*הR2r0js9ﮙ/[-;a^vT-u @}zΜs a,Z-rt._1NUVԝi_6rMpu {=!uֿV@~O̥gGNkҴp|ga \N+d>īo#1*mSx 4 o sށ~ںA=?CVmXo$Wtgȇӳ=b\ S" gfQˡpVYw,|z{%Ӯt1C]\3f?f^!ٟ}ьPeip+V #^㿐uaw7.[~^ՓU3F{y;^?vcj1H^@<.H_ǿ-GosxJr52e*Am @H &VĦ qrH|gȽ>_c0ckqH.co~zM4$~3)#hNp2b5r #Ύk'z]B2"N49gC?EpFAn>6LsῊ/^ij9$ey ܜypt5pT 1R +~[kp}o:KZM*RȻVHuo'c#8NzdmX~D̻Tb0SRqxU*D#U/pMu N 4Tv^Vt@8oJT_N%୶bK3<k{SH($@IӲ-k~+HCluhK5ԪW͵N0\ =SkWAЂ=i,Fv m0͗*o ¼pӁJtf~wx՗J5 DU{%ręYhϰ- jVHNKoO-"}׬T'¯| #KGcU3!_J^̗6em #q PP9^ TW[fY#pw_\sε/\ԈBb4ORt>\VCkXX$WlaFk=s#G0HoE^*pD1 AmX$J9Ϟ|k`ևU;rS#}V+7 7kYs]579Zӫqհ/8I1k_椙 _YMP'q4=F[ɻ-R~ "\&V]P>SFA1)t5ŕ^é=&)Lێ&Z=TBFxɍ|V8~n m;NKRP 08yu"OX 24.1ĞJ ݍ0c+U lK叚  )H%UD@YlwvirϧDZ.P7;\e3E~wF"A?ۃrDv+F py7X~)czs@zα5M w{;'56t\/Od?uM[։FU}9[~iPhm~r!ثe<lDc o$$M~T!T`eXY -{x"$P[/'<XgwZi X4kfU @)\~_נ. , gtEMYϟa A^urvC9Lt=jyUPԾrs UqiԳx3M?71(l>\b }"lE jזjl \e ]` JCrN q`s_z&l_kv)?jW+!{M&=T~]T%Td֌({@NlÜڄ EOZ<"ǟ3qƳ% [6wW#?5Q]|zS kC- :;źVĩ|[^^캙8o o9#`ga_2%.F2BN} VaHp-ĭF "`b] 31fͺRJ(yoQNQ䜺[z̀ H~]3 ɾf 7 L=$l//D,kM߬?xұ9u{FI)YY<;#0ԖsِW%OSe+ s-b5Ђz*^ 5+8Z77;Ud}ekz5KhcKPت2pS=RrRl SΠ\E Em1sJ(䟲=8|0zInGCpw])SggYZEOgHF!4, ;Ragar`gs1e.p$ Fbu(;(Q2o@WQ*84rFMq֊ #+. IK4FܠHo=4m|G8>+.U6s`]W}OgᒸO@vMl,@0}z a-Ltide%en1'RKvJ8& #jc`pDȫ)C]kU ;s.k؆=_4?uv7zyVh!qT;St */ 88-CC@G]2[yiRU;^ Ŗ¸qO^V[.#x0=PҙM(f[:\lUeGCh],of`;K:ѢCDj&BJ.Zq;Snkٽi33&},{yy@-.

wmyC5-7 ꢘiY.J@ Ta@};(j%2ǰ;8B t2eϗ9&w/:M`^,SMⅱ|N1J0ζZ]C*ްx7q8Q Ň|~V/^m`%5pلΪ'~HN:OTM=SZPAՅ:\EUAe ?ih e1Ƃx_uT]˫rQ pGk9d5< ԟ4혹a%,(亭*azsn {`&W-" 1DYZ>Z5!Pd;npFo6p]8rHIՉ?YW,2h.>@gCL.E-:!i܈KD[EJcy>}C.q y ½"iA$}G_(, [%0-;+͡oDRtX 2#pM^\厥0_x|Ek fk_*W}C;CѢk4 .Uox}L%}E /e [2WVT޽&lI`KaF($ =!LQƏ-&@DXQuݵU;/Qg l\)&t#2V޻ć(:tZ\}X-mO|”20=(:9H'eD)snr1ciU @CC㵽?lo$T2OaHm䏒Vw KW#|D F'Wl= E%~jV~k 0JAљP=$p5n9fOZ R2[(߼6GﶡMqί=?lm(y)>xK M5d9otWwjxB=Cggonmzr>eF|LȽ˄aD^-#kdN)=RP.6H*c/āh+6B'wrd.9Esxr = !M T\qFE=n'I70TL|zʼnY',_C#W~j,T>T/ <>DD}stPڦdTh[?/lr9.r烴Z#fC~>xT-*Ӗʶ\L+  =|i{>Kϟ)+J ykqx <3f{fdg)YhʸW]OnnQ 3_ōU6B|%jA^\E9}`d,s4]. _fXgI\L*4S@Rޒs&\#ZɊC(ĿWF@Jո|-HhSCQ6z]܀-IJ%Zlz (^ LX :YڐeW~v;!Uy% mu8tn.: ~xN n.M-$(F_3U&7F !u~$D5 [ [:XzD mM޷ NHm3`o) 0Xt ˵iF1JԄPP#Mbdž8-fXOIOQjt'u 29uiz^Ϡ? 7}FlceQ4 BZ#v FML HsaH>'0gJ@ c l?䂖b—\w'q?rTqofWx/#~8ַ Do g@L2NNA Ngic{B~)U׶b q69v}ndwa:3b? S Lyi)c^c3:+Ws~q=$؜Zf&ty;i% >pkW#~sf'zh_!֬;bw@Vi2Rr` $8$ X?>[/FҵN%@=Šz ^|.o8 Z_>ț(?6 Ce[N%/utK!I Zq'c딦 /tഞ4 +z ū)#X jEpk 9K VgNlթ nPBK!IT6I/A?[>ɓ vckMp0]/і)"cD^!TسUρgYZ cc*)=% lResolution_FOLHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZx)A% Resolution_FOLFirst_Order_Terms.Unifiersdocument.tex7zXZִF! 5{]A-MՋhvG"uIBm59rU~B(]M¾X>aWV7;wQH!LHn|{WOm<4AQ^:{ͬ)ױJ>6u٥>)2U'\V.qy _*E}ϟ(<6366.^%c矄 =, D'Jps}7g3O"; g*ZV'>zK|]@x,<كp;x5_gBh׮2FF2q~3քKa2ƁdO{ǷQH ( 7( )A% ,Resolution_FOLRegular-Sets.Regexp_Methoddocument.tex7zXZִF! ,Q]A-MՋhvG"uIBm5 )gtbGW2bc/6"yJxw\t/KBoJIoj[1#i] [] x$&RBp7^Xڲ{,R)Vg]'`MKp"S+<`g0P Ln*Ι"᎑ͨvGHO QpyY2l?z>|^[ 1SsR=SOvݍ|p:K̎* d87ZƋDӱȅCbFg #;\(~_VyH/:RGZG[<1$N߫Ɯ.fG#2S m7 O9\auhAWLD) 8+wD=hHkMܡޅ0sVW (I[-[T|ʗ;XZߺདྷunz{Qޞpc B7X(Muh|J{ Cyx8dۺdls_&ЇTڴ%"dROXl"3N3A] ilj neKJC |}#`SL yu`&RFyea/=051w{e) O@yQ=^:v/0vKT$/MS.tbAo\YցR;@D$G_FJ]JI@j:敷){Ӿ^mrU'wnnLUE A8) ܈LN + kJ„X'A13ۖo͎GJ@OW.@AU)3` frA CQ_DN 0.d-fyDPFXtuߣ 7qT`ñ~#0CgXpε4ݩ~e:y:{ql.4N;yc:վØޙMFT@^ 31٩ Gۇvts3}"{~snj-ZW W:|BFCY9nxK8FvoRZif\V\!mN/{VK}0)Nчzn8Dk5Fx!/::v` &1N  IgiWE&Smo+(Iٰq&-@U=rWC G<59hcjџˠFYD藥Be V$pOӶ~t>y{g.j\oК*U@6z;*/gj/=Xߗd+9;2쿕f/h?Wo("\ۓb;a-aeGlQBJ(`Vbaѿ%X/hR:G @z$"P=-:X0 䑱gYZF)=% $Resolution_FOLRegular-Sets.NDerivativedocument.tex7zXZִF! 6 I]A-MՋhvG"uIBm5ģ!jRx@މynmAbD^"v$z`RW3?>l57,~uA]n%>KZ>^nV}bl!X[!BpU!z IJd4 J5NLCp{%mt>Qe՞8sọ렔Ni9"hjh"2fs ;]/؍qzɄ:]'U hu&` "Ӽ, أ0J+4AxeRSLR$QY0 WɊ;N3U^Wg'`KVQ}f~so&مT ҃< TuK}-$OzO -&Zlk.19NH֗/t;}1TH3(5Q,3ǻ?jk_=##V^jhkY|>fBmMڽg/A a?|6_#. 4Lf DžR=+WUr=ISM$5ltm$zqbB}sd9IlvRt`UuTz}ꂔBn,`Hb%8oj4c5:rX%GXCrnck ZaNu;$_ q" c(y[NՒx*Iq` l7fQ[ZNf !IjT ٹ0ǖ ɚgB+ns:'.P&AO2 9}85!Iwxkv#0WT&m}8:&V4^ei RA%]fhP#zTLY*n˃ـ^/P85q۔mX@ ($U[VQ0ĵBJJf/Pg#tod(d< .>/FoOV6}րOg24%;Y(:Kʕ<%3;#<_g g@y pq󴥹m Dw;^Rܑ_ILDF`sUb'Z#_QF2>7$1Q?"?ґd1 ,T׍Áf`9q}<GdWw ChY:N^hVћBC~kOhEQ`4a~@'?Cd3TXWFG= lƠ#J\"Ica}6wpc]u8d+|3QN9+|]C^c4p pGi*`ⰲ,E2rT7s5N1uz䪁Qui_=0<<"4.I/ S;`*@sYcgƍ%1#°G -[Au ;Pn КUCmYkk>Q/@)Y:ttzɄ]/opAT?3+$@ v7K* KNUIX(M-w\!hV>S5JyߵWJ)Fk]!A/덕Z"uSocmA>?f5(zkB#ZcIr7eY:ƖTG=.fY 4 d+n2_^*<-5tn hp'𼸻G5[p"(+\oM>XPDޭ=~oO?HTE(#K!,\+O]uΎgg%p0qL쓆,yAh|"%֯à~KJ;*QdRGw9$0Ry"28=gGHfqM-nc5rzF T36ڙ s&4?QB{4K]a7ԂJi&)h$oxחUe40hu{oK3(F.:q3b3ks"@YB,>I!~JIP+n`O:7fyQ $<dS Kε-'+}8ۼ>o0XƳE6SgMWi|Lgg@[6,`Ӧ74=73uU:'cqhI_upq>eCc@^gulG̱5εS&C;aC{%WG}N1)7#*Ay sy{m>7V߇K)4{XEۓ-Dkszz<z.6]֟ =@kՍIW>鬞2F5Ibfq?`re|28vK ;m$ XoeL=d܈AZ1a3i5uPG\gݜG}oѡkM "hVkC]D]b"w댏R'x2Tf-qtr*}L6A聙 BO۱gYZJ)=% ,Resolution_FOLHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ  .)U% \Resolution_FOLRegular-Sets.Relation_Interpretationdocument.tex7zXZִF! "]A-MՋhvG"uIBm5ť}(ܨȄ,l-Ixl0C6OÞV ]lS,g\Nr{xq6gz$mqCVʜ-~~ cV 0ޜjݝ 8 _PmuCDYWj Yo/:ѷ['|:24rLⲢsmV4}n W7lLU'9&Cs`LBy׍],8VKI2 q8-sqbEY.V'jzt;ЛYnwD'{g<_[8sEWcawjry&Ĥ sk.+vIAh7{ж JIHw AViK!{kҚE4uh::&#Uv 3rJr3ѽ3G4z?xb|( r' ZH14ć e{/x` nzeE? *Y=LʴW+6Z¯0PaoZg6~ aU_n{3?!젱2VC؁c7B2FOO4^k#Z6KCʳ5t䑺cٺFl1g9ߢ\j]Lle碔D:ASky?")0GjB9TjRʡny+kb,Rװf(㇡bE .nǡpw6 rj@6@_GF]_ooِKjz 4cep|q䖷 `ȱ mb.R{İM`ˈ 5:9I4Lcl<"(i B j'_V!L3 S;푁bBo*8ѭn׫IZŴ3OVp0ְ$6 ^1? d".|6iWB?GxjBx{}$L?unNFEyN$xFGlS80X{6 E.agYZOt ~#1K,>b(l,/7.3v: JK屴5xbSwZ";4|E;Z_drLT"MI+XؾLw3Bk`ј^4pmL3P~jfq;| UDRd;n7%Č ;[Bd]Q<,kǬ!K`~iG2=ݏKT/H1qmuwbXط9j_0DؒD vMjkG[ݕ8,% at,^+qn&W ;+Mc CugŞ`AƱ!v} }{sx 8H_DR4KDB1;5sqB84 o<4=MR)oeފDDAFl dxɎyv-*'dOD12cxtiO{'1Wi  se4T)!Q!T](Jƍ| 0!o5 mT Qďݨa1B&[DA9u^mnqÿ~e bg?t,D2T#n[,@V C"3P#o.N>zh_Ih~] LdK7Ibi_I`<+h?Rv3Jks:Jw.W2g"T1uC1xNq!ֵRvnL Ý)eZr9gHP2| c{r&|| 7=nH^>$C9YH#-߻?T׬|UwOxˮDsXenb3fhD)¯[AEwuBib*oHlC) +KcDn .XoB{hºZp5rώ$Y,hCd 4dm'LG\5AqX" #EX%6"G3~Ҋ{[Fm0ym|S´ކNr\XV$E[]Gi sf31DuTL1TJ Ӵn<}x|>RbmwáB4 b/xHY]<^hNtEgBIbmS8362uTbp3PelM|;I+z~ r`D[VVJaiWv۬Lo#1Q kuocY<9rtf@JpW;| kq8tT.K| {ysPǂ/'lJ8 I蟭%m߮h} Jޞa4qlfWT%QߚQ|е{ .~Gm _fmkN(ڬѶI7VuiG_`ح"~{*#gUO(}E^s7Q%̮M ֢e߷s5mD<bH4/yP5;j9WͭGmy;+81! ~0 IZ3¸fu9D-EZ}pRRIsq3_6+) =Ԃ]yc44':͸?o,^+ZKaz=i[ ;m.O+v.5ӫRp9! 6iO=$Fu`:p&=74&0Kg!EA3Eᥭ/BOœV`ۉz$"TuCһ;ĚMɗzÒdA-\\7sD]BS#U@v颇pb:t?6%aᣇŠ׌l6fO9%}r-eN3!'RnmG~nt׃lG 7P.0y3 pgtgt{}=:;@}5d.&',3?oTYO oF- QJ(gV%bEog(s0 &x?~Z7Q;틊E @\QjQR﨑@Cצᅰ1 Klv@F%XV)`JYPWy`s&F~l=E#*uDrݠxQq;`gnfɱl>fSM=cQBgllU:Sឌod/`J}rv3zi!7Y3C8ZuB*SLV-qO_ \Dg[{4R?(Я,;ש&gKm.W~X*/530KTe,97T/-7"h*3ک5~nJ d.ڮv6[ [^S[,uۨ8)*/FUzrә\sP@QyQIjDb36XB@0[Ps۳Ѫ:$wʑTbX/JX rpOc&XXcGZ8Yzu5z8p&8^Jy)`^g}:sAɘ늋&|@"[l>T+G^(NNktj)Np-̼C2 yH}%:cd\Y %9Hyo?* =T4:֏~^/ )FW3 ϐ':AHB݋-1xJ՟N:J(WaY:2b-„ꩢK_9P.? R,UmaAX22?}cBT4[;C'E"2 e%(eMuf7n?=+> AFekZ{H; b&_E[Yǵp Xe"5,NJԉq%a.DP$*ѣ#Su-GXxIҁ\f{C*cI BI-`LzLԶMyG&wv;+ lD%HevC'oDŌgXc9 T/g+hp=ьP廢bJX( ȉn;dwlg} TwO p >W?<>l©G(N;M'A3x#If&h K˯5SvL]q8БZ,E^~rto1Sh>>:yY00wꈳ5QxK]U_F%yuGd~8mCLfP-I8&|PD>׈m{#p(F&-?b[~E8H ctrGZ&)Ţ\eㅋ}wf],n&Nu1@ 9J& \ XYiVKa֛D3n7g~%`&)Lv' "h-zw'/K%6y9 6zzºnu\ʹ+k)NT=53uX.q J)&*X4J;Zض!4| ĨY^E(4|LxQ-^ʗmXeBZH(Yloxax6)h6l}F b*<,AvxJOQt*?ޖ>%·hd%'g2zv2\p$Ŝl]yHSXH̜}~٣~Z3s.hɫ[BDYX=R-ƊvuW[bB;BQTωvK=e {n<~)qGqH YDOCoaU%58k_V!X`kc2 ߭\YNV/w)έx9AK!d)PUrEǖr#P6]NANUf勎:1S4 HyRخ׽Eb kLI=0L8. 2bc1x>Qկ@K#$&G)6Ac(8%D'@',BbXV m?7oԤQrDN~UsRڵN8쮁w* +wW2j~Г4͢D%Ujz:XGM%9ePȣY3=vw}KhS*!/'ԀW BnL%{fR`q4p('4-#sϏГ,vlّ(٥k حҪ~% LL.?ws&؁` b'b2(>F_xV 7 ?!7va!q83Ecb _jLJ-JvJ4ᄵ6 cl3JT O1%:U=*9"m$E5̷ M`9D'6ҥ1Z9o*RQx({u$!bZk)Zu\ށ¯ydBA7^u!$КO+~WN|qg8 u/3Ju.CH]l'ZeQ;`:iV m I6g79 w5m">gms8<8Y8/ EL yq׶DJf( D^LCRh% 坩6#1 t-`˅.yQGf%y"GQPRB'>>ņe~PnrʄCSQi/d|[f'/oL{V0T3A.gX~g֧dhLu1rC`*NM.>L< !D 6k`gYZ7255b913a799ae4b05a6357d4ede7f1132031c4ec3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6