SQLite format 3@ C.;  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  $?vD,, ]]Ordered_Resolution_Prover:threads=4elapsed=47.129cpu=167.476gc=6.5407zXZִF! w ]ŗXiɟ  QvBPxVaӝBIJ0U@.BE^+Ţb˻A%!TsY/3YfMnC#YD#Cd#ܥ>(NXm@2g9 W|3ycIkoV:ni#@܅3-sBEgDt{wF~ ZiqHKyIRJ{J#KB|\W(vֽgJ{6z12 ;^@u;1YWtq}M~puxg.5MB3cҌ2J΋E½T+l14M v|@E;,鵤*@쏯68k&8=\C˅*B CC3<3b:Pi;7NOF{%}#Ȟi0Y.@QʣP^t6mdwF|x U`" 9m1*0'xfQ5gR`)fFeDa^.%|=\X;2~o#I%savZ5z_2w_癴Ԅ(=b*\MPl$@?1+ v*΄K{1t%~w⃐XDqd:%ƫVP$6&$5+Y8̕%Yqw)%DݟEEۥf\{dӾ]X+< C; W&By4mj84r_kLnI#[#Qǻx[I-$ P;Rvm/zűy0z +ڔ:;T/I3.87X28K h\ Wk"ߛWٖBΆ'j&ޚ,(C1PfݙS&8F*Kv@|8˭be]`[$g]B ? Ordered_Resolution_Prover Au ?k% TLmn.w,F *6c"7'ٸ"$:[ :zX$>QbIIg,;NaΝ,|$#ߑZfYT`9CLMR?HP ޷*#TntBUdqDM'be\2'!!rT~J \}ηq՝M^ʊo=xd:u# aF4|$yFʾyZcxL>o '/7 e:W "KSAi$q50"!+N:Q֌fb.YPֳf%A~[󃰌3_CDmBRa 'rʣƽ @ Na\iFxݳ$\ v[uH3WS[ƯY{cIv{o7d9"M zag|Ah};]G(J"In#wڔ7W+r[A+R!M6}xxkV,I:Z!JYΨ4PN v[ }qg9"~K>K鳢})h\X(uuU*dw|? 8BH}HGDPm>A$fZQsfAg)1NrpW96 C6 l3 -]AоJv4Xz}Qk8Rf b ͉E@sVa4y^χ ۼnIJq5\)ɶ٠sd&MUj5=Zile=sRך]r}fY(\JxZi{&2J{5LMt9 Q$Ge 2{'޺ ʰt+I XJ¨Z3yw0J+= wj@Kwsxmo=td:"JMfŜ% T0`ioXazZL~pԢ`SaDXslsug[4eN8|)zv.Pt}:0cađ .pb 6'QJӜB+~Hj?ܵGSV k7$.[G8{ґN KȈ yɀ|`zO/ϣ0dhɉ%G{.(;^>PO{RbeKj Y@d@G!#lS2ypX >fhۤ4]&Z5 -,) & $"  A A  K : & E 7 G?E%Ordered_Resolution_ProverCoinductive.Coinductive_Listdocument.texR?[%Ordered_Resolution_ProverOrdered_Resolution_Prover.Clausal_Logicdocument.texI?I%Ordered_Resolution_ProverOrdered_Resolution_Prover.Map2document.tex\?o%Ordered_Resolution_ProverOrdered_Resolution_Prover.Herbrand_Interpretationdocument.tex`?w%Ordered_Resolution_ProverOrdered_Resolution_Prover.Unordered_Ground_Resolutiondocument.tex U?a%Ordered_Resolution_ProverOrdered_Resolution_Prover.Inference_Systemdocument.tex \?o%Ordered_Resolution_ProverOrdered_Resolution_Prover.Ground_Resolution_Modeldocument.tex T?_%Ordered_Resolution_ProverOrdered_Resolution_Prover.Proving_Processdocument.tex X?g%Ordered_Resolution_ProverOrdered_Resolution_Prover.Standard_Redundancydocument.tex U?a%Ordered_Resolution_ProverOrdered_Resolution_Prover.Lazy_List_Liminfdocument.texT?_%Ordered_Resolution_ProverOrdered_Resolution_Prover.Lazy_List_Chaindocument.texF?C%Ordered_Resolution_ProverCoinductive.Coinductive_Natdocument.tex^?s%Ordered_Resolution_ProverOrdered_Resolution_Prover.Ordered_Ground_Resolutiondocument.texR?[%Ordered_Resolution_ProverNested_Multisets_Ordinals.Multiset_Moredocument.texa?y%Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolution_Proverdocument.texZ?k%Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolutiondocument.texY?k% Ordered_Resolution_ProverOrdered_Resolution_Prover.Abstract_Substitutiondocument.tex0>ꪂ> zJ*{yq7v3_ybPwp+6$(7m57}?jP=*ܚ*]J2LM,8BI}4\m- -@zr J+:߹3ߑ V zyC t+˫NhkOst)M-<-;t~3_?_GHx[.>KHLm(5DºJvlZAuAWp̎xxc;Z-\SCf Eh>[F+ H YCz" _L u=ϘE j=3-]8T'UR^33#H(SpV.JSM-Xo[/뭤ՙ|R</Jru*WWr0gƓ+a3 C5 [ZG⒊{k>3ńDctk۝&{A R݌&g(۔SG$!}T=Di|="o脺g[Srg Mm~'=vk<{|=Ɯ6τ v=%'Vή&/)čc .=Um8%Eg߽=4Xd,ѫ<L'TѶE/qR(5zͻMА;60?Br,|R [i̕c9kS/Zx O%'WN&2U:{l|Q>{ B~#a A#m9VmmM_e6 ?z(>`8zEq4- 86na/dA; 0%nQ/ʞ~!Iz25 @3Yz-P9"}eRy9L}[#^"VtipsP !Q7ra]b7CZD et,|q3t;ƌFn {a2dA?RmGTKk \nsĈ/ g"{Ʊ}A fC%O<"\ݐP gbuh2#$;&.pmVgV0Qonss麑$Zg)ֺbџIp{ ]~N/Vpm&bKuhf=Ve+~d7%gYWf8E-u-ԂϏٛ8.d}jzZX6Lw+evzڇx&S5  g4 \siͅ|$,_"[nXg¼G*IngC:be\# sIOoT۔/H~@c퉞+x5mNM} I]TBsY1 9]94a:Qr, clZNxdZjn\1㼙 xAA&VXNN, A***1νS*[ɨEJ/{8gİP?z~ WMt脈GkQpfw#muzB=dqgc%`q :YKHهLаKҮT_\!7b6fZt^Z-Cc7xp~wvb2 f65я+"L:7ŮsBܣ}#T0~J3Ze IY'BhB׿R<DCUۜ [Z"CFomo6Qo]XZ6T>-"^ էB\ph9T -XǠʩ~e\癐ԂC%e9H0u+=MjTeU#੤@qx 졞'blg_ ZVrau]mJ͈k3{RxXQ%ι,&h_(C'D!_"Z`nL1i+JyVY (vWSF}qP:wO-9Ě٩x18r0K z68I+Pl.qSN@~>17x\r;O•h5-yoqɃV즒µELZ|/de@w ҫ|Nb;[X̿vFq-n==՞(5w#Z.v٪avVsÏbxz4^".mZ p ߽ 3I=EN?Y|V$(#? x~<`ky$59FR@sOJc1nef^wGv8BYnCZ/Gh2@s=(;~-#IbK3dljuo x]fp$on6"^>0 u /Rjc̐aHU+LRюxJ_$fe$$),2 &]cG~wi@&[W .!kl<$zX+7!*KgRs5^9\ 2K}mW}Q7܌#\odɹf0G$N5eA'd pC'R; _ %bů6\7H4dq8ʭR#,xX#6S-j@'֤?1R5uUD/Ckב龃k/!Q)inC bU}=ih:4@4.d{Jr@^o!ǥ6 S.fkޫ6<#p|FoH9p-MAE|j%a8vz쮫0-] "娾9ʺ6@j;;kj6Q" Bc 8*Rն*[9>{q161lk>oMΡ݄r7Kj/xL9n}ŋ5s*<]bgU&vO_P"L; i))CmBQ-D0Hˇd-X DJ-0浤[XIVlj 3)}b" KntzDt/WY nW؝L4TL=c>#O_n ا?en2t)7Wj7&bQF=&?@ܨdrf%Kwf{k"W.e-?delJxOF@+h0(XQ_ && e[bxNd-a?c\Cj3lt@sFH:i؏diK 4-atZw*djP%zX \m`JCUQ[g#3u)),̮25rRp_TUf!MSCDKp GZG̈́8DJ]WKU0:t`t\Ӝ3RCI{؇9Yl?l XD :EĺͲo> ~ 3D&(% (}v "\s›a#qR.p|lo)+f E31AT1X8296_֊.N"SR0v^1 xTSS71]%n55XvdO5Ma:./2 Kr9`P)lʠ }h$;[2QY9EhMq1Ve]pYkާM/#&4 >3ߗ"B!)H[h]绯]"X'P#*Ktؔ2-ϥG }܇]_iyjxДvE;2:w_2:u?ه8/=ks i}䖒n^G"',}ߌkLӨ^y9 c/ʨh T( Q>R [deM1}t"h vH 5ٟfZ9xilڿ%Cܯa%цQu-fִs@TKge{!2Ҕ_"8EL}i{wnT$qkѧy$h.WTv%,՘nkIq0mvBzEqD5el1SD;b437!Nmt#"D)_8DP]P7o_Y~ `'F,cP7H͒~J猻 D= -63?NCq[SVrJÄ4f,Dn&:52ӱ6މx0r x&͖BI"858 .ݹQ|B>T$k4άصcZ^!œ w1V_ "^ >.E2m)cU:LϚzBnVz_O(eo2` 1OhD7v6VDU:Q) lWW! ]tGMBYtH^ƽo@}? VXpa[gXIC\l8>*?Zezu<=,GG A3S nDO켄3B[Ru~1ցJ=,ja Zt8 +g ӀęfBm ;"vlXoga=XIȲz~5*n^GS&C}K$8ί3IZ8e95uGfJJ0J}4(Ai󦯹"l)]Y'/pF>5 dzgpnu2Gr7N7:IŠВhCkN_yě}ŗVll@/msϜ<+MUCHL!!|LJwxO;_c˥mH*|m>+6ЧY^^L= ٙ&Ƹb7S|/TNQ Jƪ!B^U9#_cL$%p&у{6>潣^l)x b9lS2j<'JBC#v<ݞqW(}*/I01SW~f+{J匤1[sJkv iƗm6VIULF#S1DjB/(pȏpp.ѻ$juɬA3hԳ'DTm#XrQhN0rWمS= =涎qa\sJgFoƲ:77 hngE7 Ke}<wz0Px-JdEp=#eXb ?|b( ]9wږG9/ZlgXXq./U:!;f ١[N\4NԹ|<<}D!b8EA;sݫ2mV?zMl|9˫>1_hOWff>-YaxદȰ;׍ kݛʁFo*f2 Z4  A:fF;o;BL$8|*,A6'H! f3jc̝)}1¶nPH6)}$I?} GR.FN/EH#srX$\G+SCOfA~Kocl[ 5ŧc `ʏ#U ƭhf8v+E,Հw.u)VZHۭBMGlM__4'0K5Oz3ioKPP LkUaJYQ;%uZS w]# 5HaY7`ČC ze $eŽ5I&J0"> H Wgܶ`#f-R @*Y!{0ѠK~0`L|jʒ[EZ?y~'OFM ku!!G79+-,ﭨwC:%9v>ºrcވiY( u ek9"wp5(83j{21[5u*9o{[q3A15 b#^(AG}[Ud70\ Fpr.bғj&-^7  輳{ᚁ|cm#:YgByq}F6?D6]2v™z8u?Fp^~_7CX>s7tifu kM}9uE*d{tF&p!%тmQ :)r_T_1N@g t`ĝG+ {#=s6Oiءq꫍e" w82~[9kknmğgE4Ѯن#њ0Yn <#M!KhK2FvX@@+{,8+xE`Ru"մ)eҌO wK︠Tct JTPH?c$_E`OtKȁcO7' F<>o!˩$Tz}~klh Fp|.,Bd!^dVw!/74zU\]>W?\k˜/."JIrQ6AM,3EVٗrBx֡@ mJɁ5C^7 'J VzdKaiZ^Hm=1Wh:R5 ,!v4 j KB#Xkށ@CUQ>TZMjl9hqG~l$8MC,p,=d6ňNC9K,& |Ȭ tmS/7oKGS Cd}|t~ڎ8R)鋋L)B=L@?DI)`yY%/q:+\qp ٲ. ZcOf_ï`,Z;`q[c8|@eģeÜ9 O /=yj h~8C70I%tPAc By(u-AgOفb^F՗Gr en[ڊpO=;߻c̟@?hsg<$Լ#Q;|`{V`+ n?9yHﶚX{ fG_Ů[y9>0dS&PcC :ݥckxFF#@("3Kjs6V T9Pì)O ᱍڙS ŸRBTq\p#}PQ[S2Hz{ߏ}xgcH8{Bc0V,y &69ʤk`|l6HgnPo yxe(-p=2hSugveO!;eZ?`dHwvo%ρmuЋZ'^<k ,rlƒ:Jh (?nGurlZɀ93 lZCД}hkm[X`̚s%FcrڡsVH{DS )]w ޒpˇnP)׈{WΫ>UMĢæ9O>0E`BY D'ߺcTC_[zؔ7Lu>2"ΪҬc'\gt<~*Jq+*5Z,aL.cy )}~USĿU(s5{ x70'PxNvy2 $r?{vXS٧lKN$6+ۧW`J%]z~)*"s_ *>nbA_-hb nF-VOPM^MW"R74]}C  Tr@= '(`JC G*9]~z r=+1vi]ݓYtTCReCy%Ӻ싒1FEЮ~uxCw[ZT5/F+&ɳV&DzC:e[n^ 3 'w"5T-YH+AV5S'Hb-[|\!*̳[0`,JkpHET2hǷ4(c"m"$HQH#$_~g t<a!~@(-Dӽs)'~ܿY8 *BY{1f_-Z*|Ԫ-"$FJ,&~B12cUkxP 4Ml|,FF5mf! OXXqR)YW^]}bT GkѼ@?[=n`x)qhEfYN}LXmostBB>f+?i}U|N#´No1b_Ba6itA5Le` te䞎l)xTy-`D"%JKQ`E!> T&|hwWhnkp@+%;2h/KL|E*m_T/盨tJ\#C%q|cgA^Vg ])A?MIO8&9V.2 M?\.5@}w<=)A]f_sh8@%/w}CbǞY)]p7v%O״;U.'yAzZ\_#O؏^l1%ٮl-ͥHBZ2cAOJ^8 iY']֜MIҘj>{ j ..̉h8"HtfLġ䈃I6PT8GYu3q2#;o`Lǘq1 Ix/E WS_iZAGBEd )Gըb{fSAc!qǍܿHD5xgB=X21ҫ_ `RttM3D'"N&(g /*hހUx+5%'4OH@](B %v^!tMPylbeD?SKmӁ6R* {Բghδ6tuIE~5RxzN)Me<d8McY0AaC:{o+LO[v$&W7"NO?̸2z/K'+1]Zj.?ЩS&<~)4 8W!{6E=aRET.0ȤTr3T|K%j ޏ˯?WD^Ѧ ƈ@Lld s]$jnI@rej352#JuS"ų!;>`vv9w2>Ulv(c*zqTIiw=K"ںf@7b/zT8Ɋv'`>4Df"Xu;VҹA' %421Fg516@z ҧ/7b&݆ WpLIʽ@,9MZ[b8Pn,aPfZnlu[ꋚ! k$`㡣 c^bCt 9 A'w^}kl(M=|sVڹ.\O]Wg*d>9m$@z uGMEvEsXrRIV:k+lv ,4E U*~LH-UerXRN@uf|. Oahcm|׏tfC q3_cϬw&>H~w J-wW)yk9N"R!5|m[ksXQ#B,MA/Vd>q )}AEK_# !tA4k&ݾL$byAǴS V@8xv,P6!bEB>$+P?WCstT?:,ߪkNgYZ (p҇5k'4uCwH&.8%M#ײx{F{ J{/l8@LڐLm2PE> B Im,yS]zbTtS*S"/f'aHd+\d'6/մ O1Tst"Aj3l$)HS4F@{[]h7%b` @k`'Qv&c#y_ +ۨj@0J!aDy=J2ta-6$Lw]2@_)oN} 0!iA)9.N W4Wҡ#Z֥ jy ZҧW * 9g5L>ƚ=}No*dEk< g#jfQB#_,/{&ʝgae35Fx^k_vUb%IgMe'^Nǽ_|XENOz(sr'/&x6Q%]ce]Cyi)Lqx`˔cxEd)Rۜ']67%Ӯg:žwJ9Yn$Ja0[F ֘.K;C%aYS#5>|IЄΣ8͜mW̠s?9wOA}w 5T>fm\]\fq~J4gIR)4c(+i?­G7-1HiMd[ ).]+e/#u"n%#4*6(^Q,=H}RG.]0aI]ݸylfYr:sh|R>iyy dc Gh7./~3*_c-4[GMf`Vڞ f&Q=gy'(Q0U89:lQ$KA$%j|dh.ޘͧd\ЙUCoF!k7䶛ߝ{]x;{>VRzqerjעt4H]xAq`bQt)7v#ɍc=&Sj gz.iMtJIeg=$,>ǡ}Bg~d7ޝ.jx;>Ȗ%2fk~֓.UPaڨ5S9oCv %}ߚCCXRa|Yw7,yyͶknOFZfT ę *THq,uɗxAާE ә36e'LVU !B{fi$?^ ]z 9T]d!J6-w3cW{ W6-҈ b/3YE |Wڄpli'{l[+y/)1>.]~ÒZH'%."TΗτW1. \G> nHFrpDb\g8vN0ES 8HǸEDqRF@v ݫCs r0vd|AB8f6+y.p= )/y`N=EUsʃA=d P޶啧B)OVcԯTZHoG*G Z΋}e*4,ZalKQVGZIv2?|6&3:$KDBl)Z_0fȾ{#\ķ%a3l}BU$[neH&8+DcVZjL;ʓh!4p{ Da>wlͽd8iX&QCLux>gI6B5,p#2W^~sE<D|Q6ϱݺ#7 !h5'ثjkW;6했nYKz 8@v1 6Zlh۷.]ɥf0Maֿ;bkӻ(Xޠq5CTLFݺ9"ZutVkj&j b4pAte`Qn*$\k(F_p+@- ?YF$&;647\p ؐ=d]Q_"9G6K~!{ .(ǼRQф|}H>lٲGϩv4x4􏦽m =}iͤg6΢ f ʝ/#,ZBKZ,0ksK^&e,5[swu5C;J-_QN&mz?0VӤ#ɓDBTqЅdÆHҵ8"7L`WxMHfeV:}"+,f=dTQBnaYAA.Ck~2T%Ī9Mq0O+l%:l\Ԫy=KE䂕4// a¾ȂTS{XIVPA!lS^k^(,ƾeSupկ:bz;Jd+ I 6BHiuA#oݷm0{0ЦWzAŗO= Vi1Z$_(y數EY}wc*A#X{d+N;1#L<)YNZ65w(Խaorh#2:B;=3."hVيfX=A4 b^#KQ4 3,1x(צjְYpRR'j gPdWAm vAE>qRh4X'BK՗E嘨L_/[S6YsRt+nH$ ֤!}w@ !CdҸ21TB7xs2=;P@0&$)VD3ŐxFtFuO`g[;z<;FOakٙ6pGV☐hC,%K>%I7HҨo2_S*Cl9߷yr~gGg= #Sh_*[>3 ׾6$[G㸇S=>]RJZAjk߅*5z;؁~bA:z*WBG4ى %[QcfExGN7Jv" &e'3aO h:-wGdMBgswEj#2ص ͱU[oN`,pzPj5 fDLOшi>f RPbuaV%S"߉p"`5/{Aepw HMFmT53^!^ewo Fo? nZ8jOFtވ7ƞf\E @ࢭdc~)o\>[k\O'MB3A7r{A_yi I#QHF4䕎_+b `Xi?Il_; ]?3L0\rXٗVYR 㗁m%߽m\&fBWU"*hz:#~ЉDGFJ?Y9>~؂5iV`ggRۻHO:;ZAIɅ-S^rMRwX%H{[\ Hz<;C5@gO >Hze=M%nv*S#rkۧ{g#eНj2u䚤9N71hXǢfudcinoPEFFxu\ Ȏˌ@F.ݸ&>?/~bgC -nkd=xm1 w 3'+o0]zȞ[Rq M+'ЉOUrzhjTZцPR8[:Gx-"mԦ µ !B&JWrҧ;jʯ] Y 2.qTٱ" U EFg'ÌMI0O_ی]Y"#oBqT5n҇M tUph?w0{aU)Z@tWCQh&^0-wj 7 )Q*w?*DgEњ0!zZt*Y^: YBw{qy7[{D6rUT9b8B+C Ug ΐC~NA7bqXacv]< TDN9愺YYvis5r%Bz ]ڹ#J8Ȉx7O! yT#!3ò=|/5,MOo"Lff琑ZmZBOq_<ozZA{|݋?b<}OjU+]QFwXc]8 oC7E@rqiyᲂAcᙳ"?WP~dm 2Bc@۽}Al?8B{zQc"s^rLͳ?.*!Tn ^DR$3=>[{+@9;B:ؠ9SO5`k,$˾QQYI6\(eZxO}?7Eg5ΥHm#&$(:<PrnO*uƇP"&\esϯD{DY·2)` E{N/2fZrwǷVV 8KMM<]vQ LϡabmrOuزWQ}ϽjԃE!`RmCx m)xN,bXVɬ¸6XNGΠP0{!I\q 7ZO 8~R [ݱZ͑6yf_ic5D5BP~MR%#' t%iGSȔwJrcDj,dTEעkXY)wެOy AҬP!#3;{D'L;`qv]((peeKe1Po%>ATT|ƀ5doniO;$K<\Efμx'z+ɔO S5}*57}L̾pʷ~3@_Lfs/V.Q:啞'7Ϝ][ykkfa1%hIy I|RЃewOw"i<@w;<߽#j(@Me[5в%1crM>J9!O>6pttdɽ_"FcQK%(*SF@Rűe GV- 'M}He4D2e)g*G ǹ&$֘8? F9ƿoGԴzrcpLM(sPQCTno]A3|jXߞP9}!y5IԌ VtTƆ 21;g~*Q_$σxnfXxf-]= cS_/l?Z1O$Q! Hဂ&I3foTf`R|vh/qlg4nBǦth])ЕOR` OZ)  HlDhMi؊qxYa/gYó'UlӧްA{hIΌk(vjdmT\ 63=i! J#gފC{wwh@DJOg8xYnvy@ }۴C[] {x5-)X6&JS)t^u zaҥMθ:?LM~nFl qONS3qXwda{4YF4;J6`1&b¤B:w ,F|$NP~$j #hT~V'F"lvab5xBM^h q^f&W~@˸b±_X$.lCVohG6&01 Cgp<<%p6IvЩGQ Osq_k!QceR[#S{ akRXޥu~P܆8EDV3sY;)FHɶYc(D/6M^ 71HuUV|:S%KMkiF ,[ZLz&UW~ %sq$n2O/NNϗ$xg߀|Tv0]P@ I`*|,u[J΍bnK?6$xW^i~8+",IsGDZAm7[A16a<(^Q$1/Egָv)#n]p#%ﺓN XU5 ItTPUJIԩG RsFl$z@,Ob+^"?? M%LHwHȚ0bَmGuhri$#P.G'P<ƌˬkW,XV>~,u7fUuHdZ8C{ˎ\<`#uf{dCcI/YK5/Mn:r+V}S&g *3jyFGV!/o_eS$Z\j. Ħwt'z='V>'C˨˚u Ed|(qlSj-OjpK~„\ǎQ^mlȋIn| '+ܥD؟4[g[2B5ō.aa@cC uVQtP2Q^DIo 6y g3ɏ6? 3ePC,g `YYo eetKM /{~?[ĀT%:b5-)ۦRdcB~YOkIQiIERN^&gꢏ}U;Hl ]S2UoyHKl16zwKR<7 eւxnt΍YVG])-誰A.plCxYK6ǧ_hkv*e_/Z &o npTR.Y8/N*O~3fG IM4U,JMCy\RAי-A;Iƣ(? ߹1&?t,"cyLe#]y1] vzީ 4d)*OwQ0!Z~#b f [?m!K!>OCB\C!15Of=V/۔8;þP6%\2>$"wbE1wM32>6Q+VvcwUiR##N_^d%$ 6oR5VʅpKst{3,Ogmx-mV8Ec\-lͻ%R|thdTRǗ4]_(bOge?^YUq1t3 91k z3R *"SesaŇy!Q:`oTδ!51i?E *tad75ǫj$ t-?h}:.}Nw$u*zXKη"U>P&uQ#8=ݾ.d`Wul]j?VDx}m{9!ڌ/^h/7O@!3 ?U`´̗\X)l+pnGG,րe.hƢ =ggM/S/CχœjPv*;+8moj0%9XL[vylmd-c2l*cѲ+ޜeW1x9b`v s TuI"DS閗q{0맫bDEۣ8j{-"n]73SI:Kêv2SeS.;{QYS|Xj ?2ڧ0zM&#ʌrJi^7׳N/K@ގ`fƣ#xtP#H? t:u{cۇog*{~ו/u/mEYZVmY֑B>l)i q+$G Ļ\8Z 1 2R2}ڷ=VYWR+Z[<L|NSyYy6xnޅO1:0r + <@oN]suI6WNj;ce3e2ք!Sҕ Tk8y/S'|UyHO\n\8[۟"'1dKz+/'e!l:b.ߛ5em;2(S* dѠv䈜e;bSnV[zsMHM(aΦf| [0.)^ګՃgJߦzBWskά3-J*ū8s L?h=`^^ջ;MHsOMi0=S<3ρS+z7t_LXm.UhsgMC,=Oaf&5OJ1]Eya;d5ZT6xK.Zɝ胋uq-T\p]]5@ӯ:!]u !ESnMUb,%WATU:s-RpY=:D~|97$x ̭Lhk&qd4RJ!L2MnoԿҐjB4/DAaӲ]¿!)~, R5B -8qUspUX$ R#p[z|bn ]̕[^s-}~~u %S50Ƅ ;)7ß EȝUtGFx:D3԰o&FI1\ `Ƽmυ̸{9i?v85{9&b4B۫k#ӑdg}/-`Ւ=A8{kS47=ؖS>:e2  TܠGb te>NM`T{^o3_N#~\z.=zym֋"\Ps!)6*Ydd>Oz!SEOI )"+?L\֞߱}jbt?0_l8D/\N.MnDѬGGŬč_LaN`ϕ5@9V6% C[\"qǧn =^&nh+iFC2EFŤaHV<lW1V2m}%ĢF>Ijm] &l q:S.F?> Jj@?.;f*̌k<8{ M.ʣʌ`4qz<6sxͨ@ϟ1u$]7tmWK$n {Da!y@b\'I+LJ:H2]{}*|[6Gc߮tqo" .G5aZzгl%Z^fH~-opTl-O$[;?i]*̨,m? O.}]ܿSKV#I~Cl' j~s{(D^6vFE)m4ɯkZS2jŧf/&utJ84OlIAsm4Iؑj}^iSL+)ᅸ.8P$o$H@CŨ"#ԏeXC'uT#kQ\DZCajo7[]sS6+}!y:CcCLK{s-O+ F\F6A)};($_ٮ$@"F}]X5s J"Po X `p6]iuhZy> '?\ w,}.h,*=޹f7MX|^MvzN$#4GDFF7K2Qg9@Jq'YH:y\<2.@4_6wF`5=բgQkq=֠ h 0Y6{%nC2MުMO2!7({qMziH!υ`jo6(DEᖠRIV*B?qRHȿ Б>л,ՠ i9=:8smlDs1c0ipQ;ur z á\% q^N(Kg2& r2!j3h77vX(eFSzHNqVA1L9ȣxWKTs45u9W@xJL."nZȍ:"«;4l=ƥky7JP+,*G `ңiSSk}C▧!β\cyYY^2v`xlm_W 0;y_{2EIEcV\4>@pqKvoR Fvb?[.OmʹI,Ed)~M'?ZɩFrV~oݍPYq\s{+bdom6ti᮷"]&ĂNO;D~zf/jc/~;lSµn'YzykN`ie7sbZJ HRk_Ϸq2QJ__ˇDOY5TB',zp?Ʀh[YP &w/A5ŽK(c+Fz'E.WZ;^ Crè )ZP54u͹õ7Z LS&>Y;I&D= ja_,-jYY_dBU}~"oѰT[}x =LmHctMb7h~jG'Q`^RlC䧹ԉÿ"E7Tҩ118^8GZqaإwC5޸((X!@</ v8Ohfe5%-!s%u:qѿ=È"K}Z8aʓ2ϐʳL^Lǜ!lHL.нI&g#)y܆W•ƞǷ?ȃIYV- xhssˤC1~2f}=4֩E 5XSzܔm ׸ 1ҩqDf~gVAG !Н4zm\!2$*;)wCĂͮ0ճ&-yM9?O1kbqaWqPS&Ch&P|?r(M|cP_(t3SǮ 4"wDyc9|i.} A|6nZ'׻i*hY {{$1DF]R"~1zPC= Gڰ`b6sLC1oXБ,T/*D1~!d+&##Ø(z?u22=r1S_IKaߤ(q6}]w6Fغ*mRw:)w{]%pFМ kHc=4h/1aaZTCyk92+%,HD+Ը59"z\a3=,^!OH(ل"RzdubWebjs[Ӡ<ЩW!]YW`:F京Mj>X5-MzɺqVI0 HŘ m!!Y0Zbqpp;OPHJJboy}M0NfͭVnboq9 pM+3wJX]DJ2J5ܞ oUapsqzd ,s!<՞%ƄTWw3Y5a)T^,.\Cz]`/:~&3B0}\=FzA8; ;QUIi[45vDPB/4Frj2IEE&OQ1|wc^~ZS~X՞†TB!Ph2}dPeRxgJԉ˵>#+@'Cqn^uME56⡗7~];q Of~~s{+8ɧC['Vݣz4`T'Ŀ hH?ٰ&& )5ט.8e"4TàUy]`)K&4_-hn[{hHޛe8 _qHເ0\by"o${Ryuv xvE2JǬu:%&=f pVC?"X6WI=N;VV%҇3_(aώ89f<8n%e_tNAѩ~HeB{̸먝A ~E~8yBz]P*9cd_k-5/7:dZw,\Wyi&d V[긎M?Ů~zXLt*$$9& d|>zi2_Lffs4{ldFaqUūa\3k!g[y@?P|.$w`q٥xXM:ڲ`MLpaOe.C\/N-oᖁ4)]*hFit[wdFo72 W5v:׸Թwm.);x *-!5y"3I`60 U %eԇr}DfCVl"׉˄-2q&a8#*hߪ3!zSZ].y5>2/-‡3ގck^AΓd9Kgˁ d-L?6?ڎn}[\CPQWpm3ұnpYU+An-w;&[ݵ02J:55tF-l&06AKa㮸x|`oS%5>(Oue-D” ֠l2ypiJBFc0ffx+-'1v ۯfGEur}6(2#"B^{H-IoVk3zphk`D26{waݧD\nxgw^Vv$4O}!I )EIҒ`,-OҀq;[Bx9"NBL~ 0 Fp꿢)3-n';˩/pbPL{srrD^K怞vE=:8NS]g b_VELYbKj{jB3ۥSwX^pƾ!p DZɴm 7Y]*`b3#݊ꎆ]f?*.3;mzbxѿC/18(RA&лŮGsq|9WW`v1a6>G6eݶc-›~~,xT}If#%Lzwdm"O@]%k 7ͣwkhʑpp}ZOS 3笃=#:M"jO8Dqq~PE?NiXp-GGʜrjYՐEAw*ND(d͎ wN#.M]33G5>у #_i#UzptM+RV|N I§A@1GlDrveGns 'yfKۇP'ZNvz* *C pGFEFv RÉ;-uj^yS>9}>,*%AWKJ:֋WVEwdx.Oxv#iK-Nx{SM<8 ̽L:@\d^7h='f1R hܠ1xă:VyE\ŁG]51AF˩ ") < VօwB|s4*6Y~6>:(veXKa^t8;EH8z]֧[fY^ $&^_˸1W%H toNܔsؤkLXZK[lq2K*-rq'I}v.K+Z*_Ai2U!.S0 ATLmn.w,F *6c"7'ٸ"$:[ :zX$>QbIIg,;NaΝ,|$#ߑZfYT`9CLMR?HP ޷*#TntBUdqDM'be\2'!!rT~J \}ηq՝M^ʊo=xd:u# aF4|$yFʾyZcxL>o '/7 e:W "KSAi$q50"!+N:Q֌fb.YPֳf%A~[󃰌3_CDmBRa 'rʣƽ @ Na\iFxݳ$\ v[uH3WS[ƯY{cIv{o7d9"M zag|Ah};]G(J"In#wڔ7W+r[A+R!M6}xxkV,I:Z!JYΨ4PN v[ }qg9"~K>K鳢})h\X(uuU*dw|? 8BH}HGDPm>A$fZQsfAg)1NrpW96 C6 l3 -]AоJv4Xz}Qk8Rf b ͉E@sVa4y^χ ۼnIJq5\)ɶ٠sd&MUj5=Zile=sRך]r}fY(\JxZi{&2J{5LMt9 Q$Ge 2{'޺ ʰt+I XJ¨Z3yw0J+= wj@Kwsxmo=td:"JMfŜ% T0`ioXazZL~pԢ`SaDXslsug[4eN8|)zv.Pt}:0cađ .pb 6'QJӜB+~Hj?ܵGSV k7$.[G8{ґN KȈ yɀ|`zO/ϣ0dhɉ%G{.(;^>PO{RbeKj Y@d@G!#lS2ypX >fhۤ4]&Z5  BLu~R`*}2 ;.ͻy{҃W = ?k% LOrdered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolutiondocument.tex7zXZִF! W]A-MՋhvG"uIBm5^Zw5zaLAG*)QOY:K3pgp>pQ3l>̹#2;`'&()Xyj&< ^3s vR6*+VN7cU,!&'mrWmtnt{O;pŴ-m9Z2(pp o9Q~!\`4jЭxѝXnF|SeV*逿x:ZUORU?^ܩwcnK35̸mr҉;d2 ie-{lR񉉷jTӵîE=BI*!kpY~B8R(ɤ?Oo+Ng=EHhTp烁up\cx=xd}^r] %f{B9Q~BJWqɺkMKOge؈^,Wf\$F&| Í|21=ErU(EGw'o|@4 VB;S#d81p\noy =^Opne9u;`[x" 3A TʝziPvn<kkCk^7̔UahUrh'.kvU/$1Z!>(J3X[޾IJ;`ScV\:i2q iZJ? sZxt" /}_1#Pެ9 ҇QL]jqW_?"7U]0:vor>mCIȁBj1*6ևKC !X8N|{/ñZ.(B%PT} Qfm2K~z6;v9mZLȸ@Sjk9I'?EV`#elK}*Y_hlh}ohe5txʦjlE&I*ʛz0%y:zW YQYXcK?:ڹH^S8/CuObn@fʟ'8*n|0M$9a&'r9O7NUFa>cbK$~LvH73B"%n$U) ᵑ jm0m*n;!m 3D={XM !uW!=ir ZzE2.'1MczAgܸbͱiUU[aWs0|0W:{VirsTz#MN`h 6n5%@'AMA{ypH)1?F,*%uz6pa\ф e l~SVFlF;Yy& chE4qvY޵"g*J|lf\>s7>#l3j5x_:Z$~-ʂ{1TUP=$Wfe?o&ʘ! Z-ȖTgJ鞈RL氢`+0F5oF|vmlȑmذ k4? &Y'؃҈Ng + 'I׍I O*5@ġiFy/™ w:ëcII7pꇲf9sCer&h||0~N%\a7ޓ:΁QYvfy! s&u]u82=RCu7u?Oy 9/S;^ƨ>pWMT;/$KDZGs&)X3w4NM3NSz=n Y!*d853$,̸aP\,&yq3ƜRGZ0!ګߛ@4WWc…dGU 8[=]7N]'\8zk"ȁa\ש<|D X>7Ds.M ~97qyDx<}ڀ:>䪄ݔA8sϣyEat> -8S9`хrq -D;jOܰA}Z%WŐ|͙uL17Ʈ͚QmW}۲Z H}g'lgzu usxFc  a}9 3Vy\qéћ8s9s/!]Oy: aI2nއaQ)#y =9eW}Klې8Bf*X;hҦ'&S\T%郷~E #i>5uvt3#dpԑ7Ñgķo6ԄXg@fYEjW#a-L^ܢC^ߖf-b5 h q* >d+@a>dve2~0!1ɝѰZ򕦎 )Gvh-(tӁr@y՞V 11Qtat-auˋ(uu/["+FFH2)Q{-JtV>*+ לEm7E}HK6iMpTj fO3 Л%hؖ ʮ{"f$f0&Cq?c'*S{hAg[ os5,X@G)u1kI/[ h|Ƙya%BAG-Ƅ&jr?sUWU5U@6"8Yv (>?;P!mIzR׽ѷ"DIۥ$ )%~hnD؏wRkŒVH{yEt.:-R#C0fLb(;}_-a=ReG]gDW|]<\jٝ?3g.+NVWϓQ?F&b2E~%v)KdaÑ;Qra4 Uwc~\HVs.R9~$Gc^~c 3m^ #&nʱ/zPHq)Uـ饑ʹ|]T7v>:2s 2CL@`jvcȮpv{?Iu[W74}9`qXHU5a{@H?-w@d(DSQ`Ȓ3"ɲ:_1+^='B=4h+.kI Vfѡ,[?Iq{νz*k.4X5>}[L#9Y٬3&9[Vz1[#(ʵ)rt\F,Jo0ڕ^ƩDz{jg,DQq[_c ^JWl`D4ͷ< ȀFfǖ !!m$Ҳg#4xC)ޛtnhCRͻllId#x[+?m (^X+k3mx1we 7[/]a> ?l.|{Qkiq2O㋚:̈́y!qq QO y[$w([\{ozkaq|A'/~Ri1kTnЌ.b>,+yF¯x2{>tPcśUNʼn+@i*rhb.5g9WOHab}qqlYm`>_qF.?kVm㦆 `N1^x2hKɪ-/s/6tH& uNWaࢄ ⷶt2+<$C cYKɴ2L< F K?FAM7y$5&{{~<}}9Bo 0f~籭HFz\"I &s~spe[>ɖ_j׫.]?H7ACSTO PhB~YӚq"GVzw8BUg'oDrwV<ӡ4$7ԣ&E8,'^OgqsCC%(@z(x8J3)W%ln$~;v~ cm}iatSj IggBїc+}K7$̳&udʜ3Z0 {ϝ`|{WӴdW:/%Ux.(lGxm|O?:{1IpJQxJÕ`g"ri~aTj$G{YӄB?/޼TsFz.+x"vO~s$2Ta{~0AѦ!%H 2A.}V}_|:ޕve/" d5`*c](&|!KU7Ğ6Mj F`ӫ-=n)Q56i6¤{ F][z&Of՜3u@0Y\S|Ʌ*`bzs=|f1ju Bv2q+=[%wmPl‡r)ūޗ$e snpf`7#4@ڴ#Hޗ2+4enk)j7x)Ub?7WT}&y-E0ȌRikҦ~́~aRH_U)]WJ:fOZ ꌍ"4o.YB_8݊!|^(j>2zxV7eLdLjv*LDovYPFOzdλztp rxF.8/ O͉ɪeP``]cRg#:XV4CFblhIi_Y$s%F b@7`˭\O5Yqs71)$Xt9[NOC[<|$G{ Hy -"2 gFfž&3{; 'z<~"p8^B)ID* '>c l ]px==^g$w  ]ZF-\Vȡz\]D,6 +;TKt8`xgbot`9A1]MQؘ{o-m`P'cw0Kqw-q X'Kf|Oxx4쉻{b·Ic(LYYCGX;9e:IߊOThL71mV? pS3h 過vg1:}Fw>VMLm?p܃iaߗpT2M;I7tt8B_n"R4tἢ: |yCs\O=̉s9Xi\GHmصs#K+|nk)C'6ϖJw0 0!:J) QX9v!84CV?H^N3)/==z;s4P.N\*{PW:F>Q^ ^ e_ O.1O8~N$ncg~k.XN khnȄ3M$1]N5)#UgڈG#;bg,DkƇr3v.r _xg[{/+` E4?rqAϝɏ* }À6JA.ԇHiόS<[7HƒOgp^prl&rV*x,Y"<#AeZf /kI3y2X^7ʕ $< DKw-y*ą  *N~ރxNVG%@~. 6]+*&=BU(Ә0cВ5C l 4]|͇L FCr<ur"x(o>"0 a*:ߙkNO `НqỢGE; $̵D݀0mҺ bPuo+`HjFg!:-h1L*I3da37@y;1'}~QW$1'9OW+g>x#mxUe^Dݗ032'Y*(ijt/nk@G.yAߠ;9O8cV}O3JGkp]ΆaaGqXg t/Enus#m 1xYQ#{vSN>&qAD]1Ji0qH I'EXK0[J6?}b/F8`iUg|к**ӨL^}ø?{on>i@ rH*u_Бq_߷R50 η=6)oX*~h%Bq>Į-OU:ޡE&wl 'o3:~JZTg,4+T}pU>Qu<8F%P> \]^2<eIݸ<*>ӑ75$ EFK1ŻY8_R~Ϧ, Hmb"cYVTQ-XTL:dPIMcdP6=`aAY~XB eh -4#VxB:0[4O%#O&K 8@}Գ]>익G;|Zg{. S 5_>JpYMʯɃd\V˱rUHz ^#Hg&%*o[aTW<6!nK?'XUfYnj|Ä$}tTI-~vFd?6zL} Tj*Yۧ=jT 14O#$g\+pv %߂G%щ7Bָ,X'u)I I2'@~S ",<5bR6gZK6Sƻq5oU0%c*XEL`)"cUI /߮V娢di"yOIl1,4Y"aX2YZ&9z*advkkPRlL!f1=Jɒ`fu8$4uLyaVOqonjkz#!>cQHo ivxI|ٽZiPaJoR~R|e}f#;мVԃ˼O*lswXv#"8h%hsp)R\([L, NX] 7BV켾כqo62\$&҉zڛGL"q:DFAׂ-륉;oE/:hoYC[]èkLE4p$A̪ѧ3e94ˎ]X\ Fdܩ,W#)¹z,~>4`nJuƀBNL߈_IT^W=tb5vl AZc(b [7{m_e)3f葄,X0pIf2ٻJ9[o$'SrB%c8mhK{/ގ}h ; \.:hWܢz4a.3A]OKWf`73W*R@ "Q5A!U$9=.摐Hl8~9nވr"@P;Dә˶h klL99&RY_ jkF}*tNviRX%v`)@/tiHO9 ƂחWۅش3_%[ݮ7MJb=fF\xTKta{Fo8f#.eYewf+#aJ@_[_8P-q˿  ۓn6naO E#,ӲF0!]0#oU#9hoIdfUOm7q[W[OXIRA 2/17j~<mӕ*w'Y:zPUt<%!;@uh=~!$WnᏣ,J&V"mu%Ϥ~T8ogC.*els;-)X<Jm:w[`6>=Sg:Fc 2{|bBw6ja|f=:x^4s3PGE\EeH XԊK)_n IrΖ#NsLo:׮<ca* Qkiz8pztr(TN² ?M٩ I SQ Em2aǡGF^zL7~]ibiɔ' 9K3H.kH"9 .%}R<{eU k&}f \`i ?W}"*0U@p/&=w%#ܴg̭- 7?F#'aQfaMk](ޡJEA$]) a=b JHH?(4$l"cgMSO9 T_dU0c$;5G| 6Y9x8?׸T wEp #0!*8sESȆ~ "{,Wf6YlեuI "X+deF =IM%_۽B='e0`qnbkae[d ׯלab*E`]㽝T>8Kc+ߎ}K w 8 3 %@Q $p_1鍧bLXU&4& WDWx ۃfQѹX" t$‹Y")G"uP;xZɺ F7;tRBńD0+#kFڜZs`aa.3F(lU}ۭZ_B,,ӃZdSCiP6z ryFl)k;@4  hs=_W ܌Xv%e$G\Gб4 ޤvj nr K>,ӯ ?} m"?:ʄPD`E"1|nWp `oާ($"N-Q^ fu_v+-\{Ÿ* Hx{QE3Ze8m:^^8 { 7 [4bƢYձυ74L(qB(o4Ֆ" ֠bdH =ûiNHjGNM{/̝$cpX0 Gѣ-EOڃ-Q<{2A$%xc ^r+*SnƼtpٶ> E g1T4q+vokj``|uTTNՍ}Nb%qɵ|:':H-gDU- J~!*cܰ9π K2$lϠ][X6|wbI{X6^ +Jb|w~%I ~[Iy ; W.G0#~kX ؖX>H8B,ƴ0՛C0mAIM} ݌ "/4ZQ"8ސ9q"woבr^a2z4P-Wv(moB!ƴD~>8h0\6L5N#d[X ԽaZ@ߖ~[a SZB&x,^<&{1I:`G m kVlg$CCSщ4xuFkB6]i"Bm.mgN/kb.٢qJ͂Q: ǬηW hyNh9:^R \2+c/.bT ]G{@ǷU|4XV.Ēe4mm&*֊`o| 8;V!f(j[ۯcb/f^"ʞY#mɘ;/S W3SzW$`|,]G*0}\.'=dWQNO ڹ o ޛC2HQUG$Sq*Nw hTBr-Jg 5R({ysZ/T@aw)}-$_ӛVIfP71q d) {`5HlŔli>A)7`wZ Y@X%;q8ts?bu4oRjs>aG(* Asn/ɗؘ1Lk@7h􎄱$aZ^sz;7D!Hi'/v3b7~ |DGMYnyyxpk(j'U+~8UPQ(uܰՒSҟRJ Y/B.{n7~ _'Ⱥ+Jn!$鞆a4K;V07t`-E\]S"ZɘĸX]O1^$jmtz$u&19I>I$2A29 +$*=5,keLFcw pfŤ#QrRM4/~uy_ #Uc0(DvtL1'[/- KC;qxͽ xG@Y6u,1 _ 7Ҁ Rliuk|_@B-ArW(){LrIMq#L@nc9䄝tť5Z.Xz!4O\Kje5T X֘D|aOXȘN52G"9agl?nqZa"+m?[O ~=_d٠dvVl+Člۈ=vZ`dE5F{{!Dvj\')Hdn70> ־.ڟ].e8o5 =߼ [&l/ q9)N\Baʢ)7۵ {R5KE2UPCh=ΓmO ݐ/L4Nz{0ƹsCWihiIBU쬦 vz kCj_{0x,-*^C)ñ[HE+߆{lv?JfҖXcճO7nfS:/a8ɨ$d 0{¤I14*f ry$C2ػOHYqo*j.~6߭V:!c}a5lǨhNS ~e5^48XӁ#0oMubIÑˌmt~7'~^!y'5' AJXP. |zIy_ZZ&%|>B#& b#z,_D:j_kIԇzVdW^.Z@(zR̓]pıw]iG.&F7P^nMF.̰/UqW9}ݡ*Zsa~<˨|r~Lq9͐Ű >!Jj%g_-/7k!԰|6]{[Ykn4&RF_;d J!-"²lp% 9A6mk./ ?31+ ODlLTw+=H{h!#IG(bv*dR6`D"(U/J`<1żo҅:H'e!r<熪VeZR(ҠJE7mZl#/5jXx*!bh"Ar;`^X.28SC@Nt0¾Zd 5r Y?敥K8 EpMsE0⓶W)#ʄ?[_2$Ì2y?{%t<(x]>/n`@Rua+]b͘R/z6d4ļW/ }>7?HbigF%H?/dl~]xrg @|53̗2CKq&*AI `;٣R)H_=#B"rkpwsLL1բy"[Zq"0t9m1,y[]i1ؠnUssP,a6Όх YX<:԰7-|3KIH Daxz )∂B3B~x<S7/0)bBK-{sCmh;'h i?`=rCdRuF}r%5PEҢR'"4"+`Z!&x@a+·#\ #;K;OIZjВt|oT;ۅR%TEFMo+΄?4âKRT /+H˨_-|]֐e.vA($Hk6ϽYcz}?Le)&;mU]zd}!@c&z ,YcM]XED__fFQLIǁH}bPZCEOMzΖ&J{<:J`ƥ[^e8%д9 OS씔k6hZ9(ljdru= 臠q^h߻1EJE2⡪B7bZ(N"$ϴooFgpJ농6G[T3lݚ_]hGNPs!-". ~|>>i,A|o`ݖLiGEGGv4;PEv FK֩.9#}PD9C )A# R]sor: ܴ1IG IFzTkmg)~q5yzxUŭg& =[WSL]ɐۜhM C_ބqn*SJLiJ4` 'qr%󖰶/v^X1;ۮ69|QbT.=|x&UCW Dpy*xpUiUrړ)v= h9A>g"N7Ά$㗮?B#6t *SBknpK@pKztGmjT)ҙ^vd1 "y{ItCks1 wWs;S8_>] *#cOPow` y LM잦^pK"a#EEI{廋GEE¦Fo-H)4|䍬i\&57|©#Uj|^Df[,0(^KPp*1.IOT]h#/c&(;)" xq}2J,9fݹݢgj<-[1; @lfፏvdSDwh>g{VN%f T}`ݮ|-ç -GcL+P $z&\r 1a[!^w _ơƑ_W5M{#IjVMr(ix'.pΜOGS.T%"O((H5JWi䞯 Z;S{:X\9%x>'ZV&d7ڱGFZ`7X ]WB6Bh*trWbN\ƉV6Zg1L&`)qߟm~GLOPGG Fҟ]їnKKܸk~ .;kD 4J}/ g@)cy,f{Gi\0v""\;ah<ޏy̳}p!U3k&Ӱ0;c[ξM9gk,;.Ĥo <Lb=g<B{\>G,i,cE>1+\LX q8'^ku~{vqK]›W;o]eZk_ONdؿSL0H0Bzh#pkHZrR _2Ȩ wC,ꮞf,k/ry%qIq6(GHAT^qCP6CHH7|nݸ_q6kx{QKpTGa_:]?Air-{3-'D te +eld1{T3S69g[f#='5<["6 )(0q/mW])PƧ\B(Ѕ?3%kr4YgVgYZ 008 ?y% 4Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolution_Proverdocument.tex7zXZִF! nL]A-MՋhvG"uIBm5^Zw5zaLAG*)QOY:K3.2}8\3sTkFl((A]9 jI*OQQ%kw]Xo*s]IDQ3rFIXnW E}fH?j \rLPQjfDR1+_2,5gn=9 4Qμ9bPN5 (K+Wl-K}IL|9J\֫C_6u QO-E߼[`p&Kj@"qt&7֣c)W0z KN*}Ą}C[1~.G&eԆĢ y=G5>֡z{$=^/č fpsDZfC"xNQ}~fT0Fty 79sᴽ@q|$LdFXƲ~p;dП(/c- b`Ʀ1ЙVugq"lHX\۾^(9 hfMIЈ̿$x'6rD} ofMk2$k\/ ^ SՅ, =HQ KO5QWXn8J1FZ4_xé]`䨐;b\P?bvGy4.{%pJR"~ C!a s^g>*s\ГoS3Ja~zMSP:q˃m=DWk^r6ŬL_傽 ݈+R&cB^(;:U)$ k*uGQ"~"wUA%=;mIw y:79a ޽ u:B?۽)8QPNZXeMmvѶtmvئQ]y0c}`s6{xre]ytÉxC{k>ίQ(iTnAіQV~D>frnhs>9RF"k& [AKZ'^<)Dbd~(y}SH5)9wkTBx~)WdXbMst/Hj^( j -l6kT*|Ѩq"SDQKx(d\Ba$dn)'5)bٞV8W't [9sJ-I1?-ˈt[G}h!+u_c`fc`$!;Gp'b4ˢA%1fSj$ x! )#)J*ވ>#&l^EψzdG3Xr/!ЂrH V)!?c{g0)g~^ D Yu: grRl#,EKW&pr7 J-(5].P8'v8^}=WMm}*/% "D@)&ݧx̻b^Z 6KSqcHOEfL(]}Tgԯĸpc˃DaMr jl"Ҁ*HB%@td4f*6 B"+1q仒]^eG'bUgY6QgbؘK K-Po_[G-I.=g>atuFNC;lxW E<(󂷠JEmtrpYP:4h@;| c~ GQ|!#M/O#w3 +IsZ+DR=^5VfD>Cheuz,nhi1cZ9S U@~(`qR]InD A³'KsԐkWsb%)xH[jZzBNZjM->JIzh Uo0 w-yOzT{X~5/K\>dMMVP39 :Csv&?5sL\XQ-ĪMФtӟך!P;6q\Y:̘k@4躃`g&Aӆj? ζs},:9?(MJ)SCc$GGL纹?~#  qc?&ؗ?a:-牤3"ScZ٩y.p]Mcr˪<)JYÒ>H)"<ilQ c􏟏=篘3 o89pT" (u:dҫkHG4!iBy`xqː8-o@080Y'Q?S:s;ᩢzJU Y>=3d+%​1l.8rZbbRAsn#\=Px',C#0X2)VdLbAn T"}8,ݢŧ3(930]Kl}MÆ,]|?^vJ ;̕ζ5=2{`Zl6R#eIr%J=촎D'gd?>SN4\۴ #c]Ӂ̤Rw9Xrxe `i=Q+Jg͌[4}qvIHmq"dnO-64&1m%6FEA QnIA4Djv @U%򽮡W |!Y}\{kȘo,b/+v,i%Zqv. 2T8ܤkc%[~'rt =xD8?;sD>qGEC6{^3XVкIJK2{1M^~?]^%zaI +2`$[x^Ot r',i 'C+@n~`[LYf8bc` )_<&aTp.e [c&HdibMIB+{@z|P?Ga?L 雐V\B[7A9]wz~q꺓$&(D>;t P(~R(;4N:bz7>@r7EV@}0X&8CH>  -C:lɃ^RJkt &,`MD8ҫp,'0ϵ 8a ^`]~c$g|YUy0Zn[YlŁٹ?Z8žl{Շ\{ WnyHo`{`4є'.ECg52ݫũH&tM1ŦnB\$y~)+d:bֈ pJ!>p!sW(l% ͌o@7AJВ7?c!n(㳝|p{;'OPhFp V\4),( 09B>D"4Lj0.{ g\C ;=_X `{]4׬Mׂ.*^:7^c {u^ɻ$[SBW=9+Ҭ2X/oHŷZCz-'9c,&MZ<SYhϞdHc#?Bk[֑1W V{' /1-cUgXv)~^ _`忋.U:NC8hY͈oa<7+p;7 ԑB*DT/X.UFV|jw5:ȯCJ.=+t O]&gɱI|Ί7 l.Gg[>HJvɪBQ[:4J.cEvi7r* 緜sPts rtstTl)eޞiGAg0]MiS5\B rQvU:k*W\]1n6\4"\la2hoq)5dN߭,hr=9޿S3;PB:P4=?EL[jg#Y@ \r"׬..%wQr#|\~f.zf'2 ;6n ̽ʮ6P]d cRIȥN~!51{* AgJؿL:km{nnR<5 ;- r?0|/_`^-ZtјadxYѬjtU vme0RHZ+RWs4wއUatr["F̟d%9`PݧI4c±o[0%hк31z gܶO"C}+2:-2E 0'Gjx )|!Z0ǔR%Ъ\t<&ε^ˬO #,i'8~`YZ?bGR"[Pr1,E(IϐM;pkc'* c~4P m1>\jߤxcZ_)-I_0J F3p_BZl9 !6o^eόAyGʞ zXďػ3.ptCLz &\E7\DZ &[\)l^i>'GN6E,̷ KAJfAt|z" MwE3UKxmu Gֈ:HߠvA}44N2doPf~3(Qi\DZHJM'=W; Ov[2hMIN *:m>T읝`m{d^ȞbC;FæL2 JBܟ/@FE T&j0҂ O刁C^AdnyKHcy]B&A+hL6唡^@b+d*GI=x!<2YMpC#T5CN")۳+F~ύHW{>-( VJigul ,mUl[p E~RWgI[,Fz*P}1HL.X?%(~ԽmW.:\trYYQFQځF0w~LNǁM;I_ ZSB*L@ tcB\GS1h)bM?12I:Kͨ=l&%[Vo@컅N6q(\(X xgLh5ݺƽOCe.q`fg:!=|R/ӱ{dJP=4i60򏍅 r "L4dZQgQ<+ `TU}dKYk)ZAWE+;.!9y ma"՞|B}i(! wo.d'N2%/+$dfjRV(?fyKYtk4>q-e!DXq5VNaČOϧirFN%?k*vEU:?c*k|@[ûSs= :it,t>,N)Ke^\WˎJҍg‹'B/q[GH6tͨme_N,dL'.(^6jHe=GX,2 PX(evyE^p Rd%5vLt0e?ķLOrE_E^8|U:WLǚ "PՆX!ꉑϿpmmܒ lMܘY3nH+;R@BQ{WS a4L/_Z$Ti,,>#5o_ jKGk|Mo|xN΁D5mb0p<'1+T#K]l; :-;0+k]:<n׎Rz H%|f,*x<M]:7,uV5|UҀ3˩qlRo [UH8.N3-g)):{̟ȃzWHbzK莔s$%t!.};ٝ "Rc*[g70x)52SLkI3=EI_{rUDuX%6"$!JC_I"g]P25`vcGDQ;^yC-a"Q"|U,HWq'o]'{K݅]o({\M5娉[D6ɢ)Ii\c$ ^7xmV7?y,C$mUnVn&0ADaDʐE;WDOvh4ft= Y^zSgecQDLu&&1!v{$B|P&Bmx7FKЩGX¼.b n(vysG8Q-CGEXvKe]8N UfH>:=g7ivՠ/rе5x$; %'Ov~9!MT A-T#EU%ag&q3ā(ЫOE^rfp@:»JZK+J*eHCskrۉH"d,9W9{.[/\.ЇP A/``Y5`çGovb:]r1K nl½$.be.E.dt?6N<?5#øIB_S4u,E'܊ڰ"؈,j '0օ۫1PZ_=̵m6%c [9!kR!b$FSnȝ Gtµkjul5h! ֮( p!֔6]8w%ʢ4Xf*$R-o^af'+v]DUXg|\Zb_φm*_ܓFGDs̡ 䣼*2 \z;8`av%TыLK<%'u U2#Xw*~at:o`F@8AdGcShnm*he,*zPS]pϥR琏V^/ZpƆy?̬1MkQrSUpsX^#n~yUΗE:q1Ϧltͣu}=7mS@s'.S+{3a\ "P]"Y2{BěNy iS>Rs*K{"J>[0JAsirr$ @/[)#:'aQ"2XrY?/ + l>ߑ#k K?v"k#THڥZ/ZH c;fa}Y'ȖAʅM6 iWnNlBY Ѳ/ G I٩k8 G  r51䓠d6x>$}}˻P, &jjPj`1Ì퍠01w|cA7_( Q!zLcSTP1G@d̜-ɮ[yHl_g&[ 0T[)yDU|.J ۊz>`DkIhH.% vpuو)E㈅5Y_ScXaTʹ=B@_@٥,]s Ș,8 Tvi(%2ez$nͼӜY^;Zo/4'h3!~UAJq39G qA 7@ wH9cJd952 6،҅C`(vJ-q+bЪu;`"^&;<|e~!^lTSR;MLivb|$DZ 5޿; ԝ1Dwa B۝Gȱ IJݡkG: iװdE~2-^O$QNtԮ0/vi`~<|*Gr;c,t)߿#SvA_ o זJGaD-385.Ϋd'8 i]_vL w-fL9sLH`w-˵9 k {]Q3.1ڣ4n;o{+nWa(oP ±JHMt$xg___SY~] ju^ve&S= `9;~G_жe9T~3>Uk9zCzl/c?a/q]5j"Z歊|v_T×q4q&z.-SS3Ԕndzge5`'KU  S#tosJW(eKl.O])~!Hs憥3bekBtNAjYhWFR: 3 2shPh~?>U^a,2-'<-}RlD+Ly Y"!.LOIʐ-6*FB뭫-yaJDr =3$S !l*i1,d6c~YzSGnV$\tK+[Cb1&( 1[z/aT&RL.1%)QCQTt(U gHpˆ^Rh%ڠ24TYSDoWThQ0RT2$X:rlp&vhŇt;5w߂r(U[cXp[^f~9ЫЪ+4krmXћ®멟Y*1.Ep: sK,\R;@E\ᓰ1[ >3֘45 yM dqӞugqf! q7tߕAXsN\XCBDf#MykUюinRhg?ȢLh0UQ!"fTTl;`'IX^]2, O.X%O~ADѲשFQ)HrJRwٯb2C v!VRuKD-ta;R옠R;'BªXRԝdZNN-kjKA ڦ=i:;<'ƸL!e:7otpQb.T.f44Z|cחշqZ>_>`[Ak2WUs0ӽP"WwlYUy1 'cPu Vд@ jٓ$^IU 3U. &0A죋)i#լʎ;,Y Ǡo\WȘ)TfmIskH.Pc{%8k@87 F\8'$ ֔0PL6p`qU G[)wgFXbP-Aed\)} B ^u)I-:EΙOY/ao\pejM>=vtQFW,/3O&tD=܆w 7MaЕB`̌K!O"  5<>T ޗ`+@ZecOU1K Sζ-So_#7Fk"gS5]x6~.K2.zbidNxI`1ɠ&>tNA!d<ܙ-Nvo%ŌzQkx_9p?Q4zN6{GJޏ[üFҥ>[Y@bXH vp x=|r{>"n҆x5{h,D))e(}-xЧJ[,ȘoGF6.f:G`ؗ[8>(Yd$y!u{Klr/ yMFTa<[U՝ #o&Up3$Z .WԦZ&CՅ8椼x`# 'X[1^U՞z d꙰܇FL ?;+n{} p;znn.暔0shv/Zo,1ᄏeYjqa89=)O qnɰ9f]$ EQs.Cj *OǪ(eNُF(_(\ҧL&$4ݐxxw I1{ 2ewC18~TM&N=_0Uܳ(fİ{y }H`Ǎ}Vw~ =2c?z?Y>fa\t:'tg}dJu8 y-%CTXJ7xbz МK d?1棝">C_Q=lt%> j2=c`Tɫab*0ؑ6>}'@}aV^2c!G)h 4"eN_°BH|o89'a>O'aX, Sh50b \8˒wrf]*B/g bDB0OA=/kI6TpC9ia0A-#GЊQcygj|LPr~6=`~Y^ck^ CFm>NJyoRDnQٯk1.k<ɉu{] 0IM?)Uz.%BC^2i v {͚;r>dx7[U1iDf}Δnf$~w"swBtH!9;DԴYq朽K 3BGWq`` '`[h t:p#n?v-Pe )Lt˜V{zR!]V[>m '`Q.S#gGυ"bD|S&hIX5evM.dx|A$ڪ>:^dtK+#c sĵӳI`pg`W) h]b$ +fMǗ<͉2Vk{L}B6;bismۛ!hyv=@2cqjziӶB|GpE3ߓCjZb/R[VOiȉ)F߷ZJO @PeI,N K5XCے` /1}亁وӄvge"1~8הl2vSR _? [9>fFb#<^ͫQkNʬ.|c6{HLzϟrEk %Wn NC7N/;櫶#K@F/"A۝d.yE7xMhEY.6!Q`>%4Ǩ_7<m܊ܥvu`o #.V ]U#W>a൑iRV@{lm"}ad@@SK$&A[A=rjd yQnl1jw,|\,trMjNq.Q1&hBDȦUWʹsT+̳dRq0(7ðdXlTNoœAr@d[mmXl}n2YWT.ד%q;[mf+Pdu?|6'p o_-h@wSg)4mR\Ƞã H Y C&lTBY^g },S %ПYn0GlzH-qPs4e@8Bgˀz@(ivShLmiA5+@H.U{#9矼* ͯdwHI 34hvjeJ~M h|?.U9zf%9s)hVD:_! K!yH$] fHc3"ƞw֍0II`u)kjm#28>#` PvT2)ҁJ@ xuL(E W/Ax\Cr#l$,s NZ3,!1{+MRJ:3$>a- YJ\dFo0B+R2Ev2_{n3?* Qo:_r`^AeCyZ=Q/d uvք `KnȶXyyԅ:u{(&WE+cܾ7n3{B}6)Kwf^C/Ix18uܞD`pm߳AկzJA+9k@bwP ([RnۣݲfBR6oތHCaإSP'\$bNtp+<GzFSIګyz;zVVP7ީ\{k5 cXkvpUgqw :ebLIɯ4Y!9qwސchlUy?zyk7 8 vIN/ݬ PI҂b[iח!?ldћ+zp cm b_=eJY] ݛ{ph+" LFYBwˏ=,EIYlT .}GV]n)\nP6&|F„DpĨBXBJgxyaƲ@^10~BuyaOkw`Л ] Eඵxǩ_>[c BŒd'}_~CoD. ?=t7$GX&NVYb*fqcPZm2&wcy\:0V1I[),cxFRrqG~Ǜy?bVAS*ԈeJZ{qV.r);W-s`{[l}B6>vM>9wYP8ۙ= <DZ⾓cjBd#onbqo:fz2H5h;DbN"饒W'CߊL׻* lFwt0vkgXȤ(Y>[!_{3p˂}GrsHf(^npT 7"-Rmv𙱓vɸ_E؏+!C<.["֝Id"tn*&pM)#{E1X}mJX!ݤiAQ{=_-<L$|P),ӨhK'IΖk$,FÖR(Lt-O ٥vu?dz1ݹ!؇.L(WwS{<{gt8MlޙpZ]{(5 I.CNb)V!;yŽV }}cK@xv|,}w,VL%C ]$+2i\)B'ż UhD&q4$YבJV, =Q [}1ŕ/)o=Rׄ ۭF:ڏ^J2 9U?3x/o:f%Bԩ>u?߱䕱gYZ  u ?C% dOrdered_Resolution_ProverCoinductive.Coinductive_Natdocument.tex7zXZִF! )0]A-MՋhvG"uIBm5zgi%HRy)r e#N+7%4.О,Fk@>1Xztz(tv)2ia*fNN_t1{f'? ;.6x{^] 5dh!'kɗk%=8}%BNrFcu(nR[D,ڏ?r.!R@mh,a.[ \v<[pCSųNP0 kb~ 8"^#q`ߨ۲wڡ|ibXi3/ /80^- B)K4Cїhr_M2\&.U6U *UX(haз;{U&e>0a]&+DA5 ?[% LOrdered_Resolution_ProverNested_Multisets_Ordinals.Multiset_Moredocument.tex7zXZִF! 㚊E]A-MՋhvG"uIBm5 6+Yl~ay',5A)ՙvӰ+xg墶b^ JvĚ%{v ?$\Xcwn t!D93 lc0avX31**F҂`-.^|n>jnbAgJfj[~oA$U31 c3_껁<'f5B+_P\|VJgE2IX&4l]+ޱ>l!20d^ Ni}S C6(++ BT )P0%/{8Utf()qS`_n偞 OVm* ]RF醢Xcug0e՛Sw@"fI{ q}j- my3$uS4l*zns+& `Rs tɁ i .. lÇAԔ?|%t;~(߃$276$SXdw d c}L ɹ㧉 lVNoʷ6W>"tjߑ喚YZY~PٲjR0(3}J="6Eu~߉}2+b$6%[t+w<׳LmVn,ïB>Heys: 4AwNsqHBż .A5Beu|pzd p`|Fae1Q_{)BvD?<ξ<[<ƽ"m*|]7o?ہ#Fx麸9q&zF[V>YV% k ԋV0lpy>eLK17^.?cX~$j^[vN ˨C"jg@h0p k$."yuZgس?l͒dUIeZ(0X]\w@=lq:lU{*' "o Ide&~dȺܲ\bt[b0CeyXpw]`n+p5r0a^i'ЄYVUs؂a=$gtcc\yfOwVFS,WO?{@: layYA{ިZLxDU[9 _ J_T i^(YtfD.g} OR<9Fl@ 2k𺅉#~rsknv r](ASvg!Q`χI*;hH7!72c{q.~L7?qҹ\ޔdPvOYi<I#b> fa.%d8/FqU2\.)ƸcwkB6`dMqogųĊ &zϣUkIJlKT<ΆQO;ٛV+?[=BH88gە %3LGw@Eְr]sDӠ wĜ}y-5~}2)THo "UD!$Х彥\l#Ȩ&jEՔzw\,hh=;~$\\b{Ԭ FG $2 V@EC'4P˧Dވ P}Owo+aiʜ~Y- `X IΖͫӓ+wnv)jENΎvb>*TV%L9rdG~>}›pn0 /N?Ѯ'DhZJRrҟ/& y5OSt?joPŮQYvvE; vv!g7c{t{iE,|xםRn&:O.A/(5vJ{4.NY%L֓dow).V5k<9'I0$/ujfkzVsr-s/s H .H\P˱8Ql/Zd$*FY^Z תKplH+LpWޣ'ols$Hfte:t|DefM~~  {9 l@ho;=)@s3JY Jи,;ia:]h,ݴDF/Ծ7Ԝ^(3Y[w- ԅ㽊 v)_/TLNR33Dŏ>yߣS.܃M U"RY1\kZ@s9'JwԢ+l_쉄eS~|%WLO(jlbâkDQF)2 Q:~} 3 V%@+*tK+MpFMa?zpnJJ6[h*3ipZA.QlWN[9̴=! qG 1Ul-}JB/@dq Ji%}6ҵn hDwCy^i|=# Y .PplDqպN=YK,6;_xZkV$cOQ̳6j9T ) 9xRxR0]xEv&jqW3H:Y0bݐjPv8 b'Z<`sa0pwAPKtt,,;&,&Uլ.?W2g#c#Ʈ4SBeϙ0z(#i^%R>~*[+ A /|B˸JvMA6zW.(kDnf\ߣ> fCEN4zl E쫲xU\P Z]&ܶ4#=SNDo{jd^\<Ûp v-EU^6]3A ۸ﰓ@+,[?/p 7h0]F+?N).ЛvM43W\Mnc4 ~(bb乹Y?$n}lϧWfY 0 Dhs>N,f_d鰉muR}9)q%P#URShʚrMKAZ?9o,| '}5XQovTl.܉jQrs h̑2ׄOoA0cAwwwb$h/)v!/+^$TWsr5l |7Q_}'=|ְ $Omv`^# R.]_1Z`G䩯:h$Lc=B=e WPxy-1Oqn"%o"geqТb @Kxy>DSܫ_8¸<횰)N?Y 9_EܐjrfZ)jpq&FH:*">" fstAdP*Pƺ0]7/[xc(cw4Xh>qi ע!ރg5/DJxhab95U_e~LE>뻂OF+|k`ww,!*€gy"UL.lv`{뛈 0=5K6Qa;!`ufѕu=R Pݵ liA'ٰO:[ULKoHwqf=%EJmyT, $'-hf̂mv-;qx1,WR(rb)SuA 뎆Ǚm7O@#Rp +砛%?7gTsZ3k%(knUcqc p؏•3jlYR}nl7əɤ( N9 e%V{R?{\X#]CO\n{ώI~ &\nؽoR\uW3)`パ-*=uR/e\xU}.~s d%Dum}Mrt8vjL;*l(qٷނe"T~. m+vK͗+zxMbŰ: [CC$u煥qL^O480pFO O>c &hj#EӔȳƤ `R'9_ KMh ꡽0m:s%jGLTҕN9 ~ & PHE%=Pp9Vfqjyİ!܅Kxe WtDm:Ϫ/uSx sҲ?'$+8- 1FDJ}:=ti_y&?;abIUW1PiF-[ X>y4k5%8edokzaԾJ3zT 0Ƃ9 "Mޥ(hCXO,Y& DCp43PonjڵrqjVv4TB'`kyԐ"|rAKE`/awLQ*oZߕ۹< jBqT3Ӧ1q~b@Ӄ^Pf9kKG1WbG (6um?- -7mGH`@}Jg^`B5^.+ IOgT+J3L@n:1`;b_yZRj#P@sx&zzA.d+ СjlD\t?|}4]]*$|SRB-)uv8`y&1`r9m0rG-Hs8]`-JwEesC~RHjY6~,qu s(iorsQm\\%|_`69G+FR9,!kL[5zw0+Y}c J|=0VU]J@/#cUs 뇄y| N@[?!jӠ=X=OF^~W5w~_&2&=2s͓?o A͎(! ijE*dף="Nj.uQ9R[.lJ;7HZbhE3+H9KQs5b[Jݦ|.WV芔霨Xj16ΜveQn[fYe)j.}ԭl>{IsĊܯ3\tʚbVgaJ{_ds [=Ud̥~6-=y{^T5/"nBo/{売RԠ SíbP.2_dYmw[ ϵ~4:bo>nX5ȿPxH>=<_wGV#mɳʁcNs0YĻMUz7qV*& "Q# /ݍHXPmD-|zjv8e-6{_02<?*:\E$.f٨rQzc?hűP[fhh֡ЊVAƧȳ/Z~2ZXԥNcFVkt6-8[%*\Է5'SG#`PĆsە+pb}(+#7$U`+Ce4KLu`BM jrN;8FŔ5cv:`ڦ# H^\e 谏ud , &d}g"$Dp;7´UOmW|0K5u6CZc]<K08psMͽRcM|\ad?p߳UutJjd7 %CreZ@ſ8̹s_"F0E|GzVշ~eW>ɆZ^ȓ.Q%iPuF sN`mٸ(!lxl@fAY.TmhTk\'YN53[ <3%8/ D ;zG[m z'ȳuIvEj̻aA8N t@l sP~Qf=R"ն ޶G0U_N-M?#䆺K7=  |0Ap;j~{&@|Dq:/)qSu_b6%.4.FjQ~2pږ#?G,^O:W֟C2M?Wgm#g?aabUcv$ z?V*FZȒYwV\yulPxJ͊ୂ  7@B|h1Q1c E4LPiק4Y[kJԷ Ys0 b qpB^t&p\t#w9˨%խM9$`;@ĩܲJm՗cYЎYqn M:Qc خe]" 0=@f3;] #;}A5MY@d8Rـxa{ ˱.j]pr]n;+dBXg#dQ~̑%!YBpyK+³{xqrXֵCZόQ-mBiw0q]?}5G,zMvFi~4!6Cjʻ{+\7i߱ 2l3/ Xc{1oz=GԜ*`>ruٻgd% VhtcE&U/ϒA&V l',8IO}H[LYHXF?# E3"\To]8)Xtθ5dn"! $7n2WltI H : )٩ Lj_X1ퟗ6+DR5-AdH:|*dqbВ贆\ ?fFc:Dv&83;83cKֹ̉m5tc$vvKb,7wΪV5Mzvg<.O;O9=f16ܕ+,lcC214ܩ@0k% vo 4Ct~Mxx<۱z25 v{j~A2x0ӦG =}EޮLֺf5(cDƸ̩6rDAdhOxL&cU2uã$ɲb[CI%M8QjL 4<DX;j4g%mJGC0)G%;6+]+%PH>c/o3Ǹ@&̩z!q6 E~å>6F!t*Eř UqX]Kx*K:֒Q^0ЄNU#H `WF/]="0l  q5{"vU&}L3f;t _SJ,JlXk-阌#vІ@ALf: Ϩpøc?R>NXJ>ա݃mCJj|QOCݔ ϼ_Ecnghٟv(T Ly:`DwM)h+%p,-)[n}؄sL@gYZ*mY-5nBxS`QNd-~ vh&_.f]ckw&~5(ԩiyF(|l##V(oJ2mkBo z5i O$*%nak'r;>/=' !'A"63UNwj1hYaND6_'"?`!EKptma[4&<.FfV=+m2KѐwJ<~fuõ/p1 2@$ib"U4'>vD0Vi|CS?d0H.Nl5z"/./Yl>~R91\9Sɕ mFA'١3h_nO=foL_Ope+Ȫ6(iu}ĈF0R Ӫ#~<`axL:<85AGQ*KT^V #'= 8)-DAK2/P̷+ Nh5NPZ7"u ?Kl,ex&^T|ҏja=KX'V[]uysq#7l0N?ne2m) I268۪ܵoO+mx(RQ烋MuCa{d)nn\:+3*u 2)rK\$~e ȶb_ uPݓxUǮ1fQ5cuLSRԑ}[QWAAR%.(jTE،Y?;0<|RWx;[bd pfStWrcOEDl S5ot9!h"dIT0k[v鯀M׃̾m)_ƐtGijPx1)*op\tHH_3&OQH?Z WMܢqM9,!Ƙڲ`?PY绥atH3e#d'D,6!%~땣T"R:#kW@ΔiiOQ/SУ3,9 S*Sݾu&*0f'v\G+}#4HT2EշEt-OpS$~{wAZ C1P\!{N[h( !:B tЋȪ)UH*|>ה)4ŹjT*ѽZ|1Wc >zsɫbDh9 '?)r%W Ï/n*zJL-ـ9#)Ȯ?(4&=lNRb^W[cQMԿ' YM\ޏ|;F@q%8Sv<065Iz3nEUtճpIP1z%IHkH6w4DcHKDTص%aAւ4++L'8[݅tI_"Ws|YdV=yhRN@0ω/:U+VzhE5l\[isʮb/:^u7B5DrDvq( `<VQ'Thn)9Jl|i_-Y;gdc{ X]%%AքQW<KЊf㷽qiY/_ml/Ät>["AB _e$ld>@`L f 05pN; ,? BR_JLϓI騺IqyG {M!w m\IcĒ^>u"h@J,9V@L,KA^k-q~Dc5:2? 5_o Qvznjc*~#Uo,B vw@W\+uouEE_$lqm 4M*`/醐9Y)k?a 3ܡi$> ;##0~ݑzzJD t_?vn,{`û/șe0*C ͝pNR A-zyj{9aSҊov'd#&Qϧ &eaU>(J%U FJ7yVK ͰGTAƐ-;ѱB|P9gw X K3yIEVGg)d[b#L1=wDy_i`(]Ur@LWP]QrF.,j?*35a {#3&cv$z2C aX4]nP=`:|lÚB#-9۹p1?9WgI w? W/  RՉxfF>P̚O1ͦDӦ 6{:Cg?HTpbޜ 9d>D6\#F˗֯hq.DnCz*0^Hr+h*-ޮG3^?O]< Rw [r n_s*׊!D!=x4eI A%]#?{;O۞o&8eѵu @h]hb`@s @d*\U[2ð v};(~c!h}}caFOn _xF rU847*IgfI'<fVbgťG%w1Ǝm@Lݦl6,z+om-|Ds ŐSłMp[#8gct/Ky{YKjؔhյK C ߆UQTjuN hb[Q\b̫) Zi0%wZ9nnTwMtt$Gƺ'ۃcR$W_K=s~1sz`ψ$, h,vQelxp.9$*OϘ%+`?/:-pvB])d ;\N` !gg቞*/A#X4Έ{I _){ԽT(@}M?*u\/.JvIHMlT%7kwFS[-X"?k+vf1Oe :K;,Rd{m%N G€\1y9 3OcEasMX=z:Hl4 P#[:\ͨa(Ss tQk2)Ek[>݅? ֽ G, f;KݢȪ}J_R^UE1$4qg ._2 ɮo ș* ͝h`~IyH-ׇ*"`صaHt6% p+o}9NEO[x12[Зn׽DXd1Xx#R52fjJ Z;)Q3q*΁m!f g;6+P݊ge:&#OaoY&Z?A+.a_3J'"ԣYH:^dhhuux'4Pſ"lE)$jHI D9,:ʬQN eVCZAyB#_ܧ!@+Nr"Nreb}e&z.7'$X-6mνjLw=9ueahn~,+ӗҜI5$`q#Ahd,|7->jFIkqc>33r!%/Ppз7tU\2|Uu<9[^wמYLLq|] o5NIgΫJ0W:I [z-ǣL}N+5"au[|Jx\'7%>+eO @gg&`aolgdp3&oQ"oqVɻ>Њa{.P$ӆDV2ʂlB%h #?RnV:+ٸ.GZ@2vG\̄UJ=}{C2H=ư%9/}U*B'ܱ\|h+UAgrS`2y9 kb̼0hV|F!wG5.7 M?kc'Xb[^rRiL nS>]YC;,$Z\K?͋.B27=D ~O3@%Tq8 =P(ؼZM9ځhԎ"]bS;W:5, VSqܐ:c:vhx3R٬x~'X0|r*7Tt@uJvglХwUj&{xA!B%u{:qyTūDS"o#&;6RՈTIgGA O+wvhͦ9(T2eb?BGY;I^lWaezzZ׆ RMqFƻڌ_og;[Zo*ƣٟ|1"uGv?#Vaͅd@]pPr:\٣|^E(ʨDo.(\hqݵfAS^pFѭޅkT gIQc7s*CD!b.*!v~ z*h2(z\v4S/q?RSv3 E?QE!l|eM{Q̠xe,n<@GݎoqKq37/=*@ٟ*xX1cj2OP0ȡDl1E6(5 2&j1sIΎwP΂)tGB}Q2g&'k<~Cxf}3\JJd8`X-GB|gd_,s⥖7Y6Kfk댟U}ؔIB vw<_Ep 9cT?3 s7+H  a1ݕ'l L}>fdRrS(vxǮ=jyQyۭqFV0AĽ0$ p i繧_oy)1) Q+^Xa5qJ;Uj:N~ĭefxWmyIF<ְY|V`|ٸ yۆoI @Gm-WEz'skiyTSLJK6 ߋtضvOP$1bJt<9 !h@g2 4A"3-ҋȒqfO6lޚҚب w.u b1<&4\IR4B}7sƇX~}| DT9ƹPd}/.iwnj97+d0.'Y舼2mlS'3}dV|{'3g#9Sdf GD ̤-u( \hn:6+&x{T኶R@QHܠˆ^Ms+RS_Uv! RTؓ AC(F;4wTj O_/u -L ȏ^ l</S!| ^eaY~tWd? O`ӂQM -!F(D$Ywxf̘Zf$:j{} ,no[Ra8$j<@xL(5b[f{Tؔ /LCXY{<'J3ENgoAW[{}{@0\KNK/S}It V-K-:<ĉNE4tt> &|Aj>?TƔ: ~J~eS+ wz{pA(= 7iA}ǐ8:cZ fbmV1ngť%y-Nl6$UwU")4$s{b7 *VЊov["9";8Y_zHki-V6WT (Ӟb skuWלI X\|o69B؋0}0$п@.lݡ0r5=؃o%QG׬Q(#'6ʱƒb5~@#:"H!uc] QSBPB/QO ̔yzY۳_6O2P’Y)2̔޺b2-\qs۝灷(6zn;._6U}bX}YJ5%$\e2(m~Bqf듅9:GOeqSکw]FBj":r2jzT\ʮt}|CҩM6y+4hT or\Y gإI`ȷd²PR$}+ݰx$YDn-X7Jݓ UaGAhާFġ/y( \3|piq)y }+ˤf:cnhSO`r )iA 75O%1'> KvGW?X>h~ @/]y3Nk }DT|,9 jh5oq">?aME}1Ă#1&۞` 3;zjt;givJ<Ě+(AawQӞf-9إkeLve|BqfjGBx1&ӄ  ϜYpMm-Jd\oMn=`2Z\{5= 7(=hd0[baQFϟ]oxѺe fGz{=:"eL|T7h8x:J\*jFɘQ:t ]W9]41&WOQSC18S;V`7rAhJ^^/`soH7\qnu R![H,brtl߹|!TTͻe0=НW{z/0_j~o^(\zI7;' Ý J']:-?}ќЭk> $l}SfV75eoE.P݂%<QS'>6$wÀ; 2o]HKp܌v5X~&V$6#'k'1WZ=:UvDlgNWIȑDU>{ 7-aw}HFB3MIEKX[m[{M2LF.;5H)\cI{Bc^{`>a'{[Ne/^QgJڵ1G6h)ZXt|Y- XX[oLU ="tGe| ϶Ɛm $zq Ij rupAdtcKxEm@6 -xkB.c[i l;$}8{tYqi~91]T*H@h_t> D?ݓ2ڄB;d*Q;00n;hwP.igUЊ 6.bQ~s_:4*a^W(ǹ=zf8\wI'a!E >Cʒ%(ߍv`Z. OZ,V`iPfڇ0{227\5Q:-}VYK&Gj 7Mo4BLZAJ>"}洹u}e{Hz*'6吾7}W`],{QrVA<=Sw;2Syb6]ftCedft$*aSۚ.!!\rí6v]˴1.R-UWعkk;3y) &`CPw ,pXm7O 6Ni52 ]UUllgk-#FJ>ln0V*G]L8NǪf*E^hl Y|D?fhM:F*M8J5%r:|aB&R3ɂpZOx?z=}*b,׿y3PԾhea( YG}[zc\i:̰Z^9,\=.KW^3DelRt_FhVRXXb &gYZ!EFk+Ttivs2VaoN/߇@WXjN#$c\b3 *=ԉholjZ ѡGKA\[vVau.H8e/6˳͜X@ͼ= JNm{qbyj5 4K6 kp0[a.j}oU9D6D|H$v 'u+ T_ORZNbF^.W@guתu*oeg|% zx4nȑ}aWs7|\E3 <)29f\#RiRru鲕XR?=3]^+C47.w Yv~Sך~7KW'w3|~Up9a`t !Aٜ?Bsd5lH7B H,[ G8Dd#`:ܫyB"IH>Z^FۉF@wCGn[.j+|lgamrWu@`R^rmgv':_J8o{ow-L_VKGK9,1%Q({Z(@p@uVTYURm2?[zkv–c%յs=Kx Bg΅cY\TD۸ߵc$bO<l:?"Ʀg^9.;OQv @Xea`ό\|gGaֿo[Kf3/:)G9Y/K7IWO2` Ԑ`)b{{;I(@oځ>֑ն KaVHGY>Lt†N Od@b_F-zIdz N&mδ[0TZbWe:4&85snwNK~1@]YU@ DƳ:F?F?|Kv~{?1,:u%{B-FKp*\UNORwm ]KƩt^TCGofl"e䉻S7e?85W\uv;o*D6g@$́ >.PS7Un׬4%dPSMįX(p&QnpgQȺD8$%hpNV\fo}8q#m92'޴/O-U! kAa^ Nf:CpH&J>9svͺ* 5C`dU%jd;d~<?^:EPR[a~WB %03J2 `67&>QyVl^Gy Xcb\bs 6K[-c)αY^ UDZ[uQ!W-fCbƾdXhjt=Q910]s&'B!ȡ@ bqԈgz.1L^dǤ1_Uʚkvl0>D|DO s`'U]o4Ii\7aM:9/S0,65sHԦH$)ej iΑX"Z7_KxTPÃTTz(ќC;m d  e%B]{~eV9hh^LsےiqÖ4ܑP<=\>pq1ew?Ih6 CM\-m8x$JZ/OH)[OWk/P%Gi8Njhg1gUxxO|Tkv\Զ|4zQ\4Iy\䜕`;5a;\4+khG"g??W5Js=fb]5y\ u?GMw_wY ]pbP D=C6\J6<g0Ll^!:柷Cv*+ ǂiq瑡/<@^ze^_  cW㯣!@ʱQhAdxXNٟs2GE` <{Bpf|7A0t#_b+*o1Y)GQT)‰.n3|#쯱KvkAY9q~tV=fsOlHQ/5QBNcdU"TLI+a9f h z=8N)ն y A&ɿi'9j+#Ǽu6VTɰy:% qr%m1ᇓK74M},Acv4B #H+D$j>-N?adEFvJBcf,AڀTM,-8"issJp^$,w Y,iec|IoX$GYk޻B{>[~$ xXaR(ĠNCjZ9.2i!|=a%ó(w^hN.$h/u`ikp0ݢd5ir>"bk?T7K'"ZZYF}omU+!`OO,=xЁt:t5חF@ 7ןvbȃu^Aݝ`I-د_SLL#UbcAϢ>~%mq+%0N]UV5z>zTД>~M'srTՍzM, ׫:jPGF`(2:,cYQh/EAζ}x޽)pw79fx-`wXCml )ѱ5A|[RR>I/5*?`;N>Hfç4!y/#f g!AB+B@a>إrJ)} PS{e6a숍9M%~h61VtӮ~K+΄ʛNv4r~1n 0AP|^:E.ꡱϑǥ ŸA?q0#eRGz'ھ2>|GS]j.ZweW*HbWOu '&fbwdzq1yj#:C״nFK,'A'q`NԆ=Bk/m:Ev%JXT)U}+luv!n*Fʥ&^pЀx^tbL-X11'P9X3}bn<%.D8um{0w>"a'm[Ychk zLf?|$r–]:h?6}jsEUM;iރ&Kyf]iR HmyDg"\gk>̿=%2 T = z;uRgD62I9TN&koLtRCK'kb<<>580o` /"OTOPxS4Qz; tLnn6Ҡ Br2lnQT:^2!eg{;6.(N~4uGfu+Z)Ɨ;dI7o,9~(W&8?O6@-[Lqw}jGIKk?ӓ0~WN ^b>%{gѻgyIuU@ F/3=c92OX̾ ׽A(=lR^ (Q%TnrD2iE4Q ʔpM\{*j\1{H¹ެ2ѭ[|*6R<{;Q\D~R /ĝ;&rSR&ˤ8VXLJ2;  (K AO4YSS_Rn>Uc 1CffJtDq=EpNk# QLOK( [ߩCMh1h΅{49xq9Cxh"շX1^˸r/GFDuf"/vY`]. /y8$? <$H4r*^sx]cmij7爺f7$teT VHŒ?-G9/C!%_7F-Zl$Sb:JbgKQ\e&k: D*)#pF?ƂB,8_p"CJ3 n?u]Gt966/ae^1)}ʛX-ECӪ.ExQ.@,P0?N\Zc??9 0όwJ#D_/Ui)":X-vuT`d7ݩe5Ĵ c9S mNp U') 2m9:"='&U"_(P\;N}_o),jT ƌ~Pp($MNjdoqWWA'+2򑲝kF]klV%1;؜N kUcV{Ou' h *qƊhȖؚR`UD3Ȉ?J8-˴YEȵ%8sQD4vڣӋWziQ2aQoqBP?RL`odXQZ/GadߑV!O7ב{Zz !@~2[Fs [""}]EEU$WCdz%%tfWN\$rdf+ ۳ Q# rXo$va+G:jVEׇNnOԴp{ƺkYgS@0R V!vhc-dg؋vm!mʌ{/\ ;L]Q-!sI8qU/#{뎪>}q&{ $!=&X4{^jH f( ŋu2l6o )CO]B7^7V&=Lq]T+ƽ60 M^"ex!47N.d lj$8\?W\^sGW< ؿs:,KM@oUݯ;N=W]2O+QÉt3 k"WOLTmHpmv8Y/4Q{ \p-af)SL gYZ  ?_% Ordered_Resolution_ProverOrdered_Resolution_Prover.Lazy_List_Chaindocument.tex7zXZִF! )]A-MՋhvG"uIBm5lϾ\"aofU9(Jњm=F]:ዥpHd9t:q3M};ֵ0)2כ׃\ƒ'/#ߣ3=+Y琶GYGM $ty]W-Bqk ;fꔡ}APDL#PRQX$DAr捪L@{]spg-6ÜY;X#B%!rol;Vw栅Is$.&k"d_?͠?_<Җo"Z$GҴ}Jp:)hժ3’qդSbow)#! TM2e1{#a2\#VЋIGup3ϻB˹^bJ~8w%'+?kzbqP7 D1JÖCu* ~SLJuд|g%mҌk(5cwA/*[NjyNRnJ|Z0aaZ8CbyƁgڬKF Oh ^2-{{cb͌X;^&! 9{ިcKr3zՉ.v ~cu3f0ԪCKcR'vUQQ!HrnݞJ p_t8 x9ǬaE<8(͓y\aPy/t'W !O5}H'L ▉չ4CJ{@DΟ2 B2OEc{zfMصJ(Ӹ7F);P.E^_5)>@d:H4L0nGUesz<|0 ^fݐE¸A[Ǭ<3&BB@j&rn5 ]%0 '$C_f3.\QR?'dU/=;pyY+ *$̷m-@HU{Ljޕ:TdLKKsEkgP-G'߿y܄[(*T,hc9Htvɇ c {{Ftg;i}sF3kâ]RXH`юtsm,sn!E*H6>FHcU3?z(4V՟ & ء t5#S!`WXcť-6sa2 l:%#^`(m2P[)༏q~K3ӆ#?$Ynw"~pUptG!V}C)b /6p`L,bO'a:Q/M!ьa7"#CB}^ݻ%~oA ]x ,YJ#6v2,{ xBgxA>;X_ؗ1kCUVwSR4%آ,idIG+9.Rbzm!Ң8撛-V~-Xl#3o?&O RlYgD*/@ 2tɦ1 z7S C0[>(0{(Ore+@ lPk_N~)4zY\;KE5YPoQ5M%{lSu^v,ђ=Fræm[d *"+h&n.96EI%̷LPذ+/ǚl<ʿYB2P4"_ &Kwo7E"|4<- Ura(gJH;ښ T`2 鮶2s*XdafSב|C!ڪ]˷4^4H8KferoUWj:M :.@jk1zj5n?K.٬z؅|&V (E&&m42<\{]aވ۶|whL;)D 6/x\ 0LA$ӎB P^zNΈL8]#UH63Wve*]>t<`eg`ǰ>X́uԃTT >& fb #f?Dj: v~U&X3D(]Q%$] cȜ7×x`#b{nJ+y?H#۪E=; ,2%^7ݧˆ[/Cd2,͘'\uOhK |Y_aSqV] i2:xb346@ƙ&_KOI^LS_[^#HxBp9^_?̔?ϔ1c8oΈKԍ%ߙ[{~5Nc@s6s ޭ>WxKB>I'wLx=M./F%&LޒDO#IZPty#,Qkd>ԥdx?HйٍM`ƏQm!k' &tMaۏD<ʂmT'ʍ+1vsyq]˘nd  "bv0~-% R [k%9%q)$ D*A[əR-e\{Q`ԯ72>P>ʨt&_V'B6u&+AaY[yl?3 {ȝVtOu"M|va' D_RӁPMeD[ksgZHO)Z/M/вN_ٲ[(ki4*?%V)]ꟐybLB7gq"DK Aw|BNj2荃8> ަ 7^L[*\N\ٳ-O0c#/)tء8(sfiO `siPPZ Q;fF鄦.[}π@l(OrzT4=oiҀB я /R4/ƥS2l%n)+%QJ{]F%Z{D3 ^-fg;-jciu/=ޚ-S:;',C^4#TXԫ/J>0"GgQu |yN#7Zj/'IU ^Y:{tJRl[F!깹'c>r"iL8Rh" 2 vя+/>_"yGԞ$\)+w)u=IG%'HD# Zam˯MmedF'VtՃ<1[Ӻ.3e:XKo_\eԵ<3lA`|3y| ӱ AȊ%/*%FE㝇ijKyrh%[şPM}F!'m"# [)^If$mBccoR7q-Q>ޥU08}^ZHS3GSe?E˃$]mGUC]2݇uڋ`a1u[ZOٷ+p8J)4&dCv>+`@q.5 _Sf^iO F*q3 lJ`AF1>}6;K89cwC*ybA=:>0bKD WP0Doy4~.,dx@O-H$=&,j O*%1KQRN6upZPD 5Bqx_g.cu,ʞ/IF-(njzCbəԒӀ_?ziY!EAH|=i9H f\zS[C̓0oaʄ~$[p te'Oe(")<zw%e徶VEA؋\lEZ?hd qǛ`s>mghJ}1I-|7F=XjĠ<]mq I|P<|ӂ01Y£y[+w"<h> vSL`!vvR04~^T t𠪵俺)W?4 7XMo#3dɓ7#Kw$C~M Ӕ&"0"0.uy;>@U**(rk]qnd.&;ּ0[W+ YM>L+x0j)ͫUqz|( 'rtHwZF!^Fivd=H;iA==MR'=驅f%v: Wm)x2mYC}veki]?TamKQzKZX]iLؾmNN <Sٚ>Ҧņf*$!6Dn(F":nRqoXTz0M9,G; U5@nl)7<ʞSy\= `3lm&- M;/)-ྵh@cFzW9Ң-K5Cb2{@# ZW}Kqa|j̰!rOGrQ.qq&Aӛ}:׭ wM 4lRWuKP"srxH? &' J2L٤Sx_ Gx>׷f@ 7ld L;UX$\ϗ/OAЍwzldLhZMBRti5IJTߦ,T99V1p0:`6wP8VFo< Jh'&t-b8T-gP Bop dR֍"@R*m} -䊹{YD':"W',)$\SWpc;MrD0pDKB~ Z9SLKYl-([SM{_  ?M֫L#%\˩\FCvZ ǜxˉDϱlN{w!'pOSmI" t*D4G +)깬\7@i# f/"FyW3?r <9wƂ ,|~n B]8h-j,3ͅ9=RZJF7%gcqQT.!}N@+>7al?>V#f;nU4` n3C$]%b)i@u@W Mx~T7|vϑ ꂯI%À=*u"3­gYZ ~~w?a% LOrdered_Resolution_ProverOrdered_Resolution_Prover.Lazy_List_Liminfdocument.tex7zXZִF! >i]A-MՋhvG"uIBm5lϾ\"aofX@ }߳ ,'r&zGmJ( D9C9ݔPe<ٕEXF6O:nӀ&&"!E427{r'L\2|j#hKLzEY-Tly|E<ˢheήM0&Erb`o$g,- z(Eg=GVJ:m\6Z;@AO &sʼndJ@K,)%}352X&pR]B֏J٘Id}=ǚkKkFɂV s$,=_Bq֊g,CΕ ݂*/MձxLJǐ^A׭TBd {n klw(o64]ǑJ!2Bq$SehX L;2x.ڗ8o{ @i4,\.3F( FZׁ`5&dzLrDR?6wKc5m,e%k۽s94R=-JH))M+ʄDI[Pcqt~Va}vR$ċ,LX<$~. Ƞ*5f nESt^L$f岦M?g ck 1:}ƣϚϼSq6k'lg0Fӷ~m'w+%dy$(P% Jz a3^(sbȂV'Oat:f^ C Ä)_DD1K>|z8߾ngEE4̛Z1Ct1or>Qdzl @2/7VN*"& $' l ȷZxy[GGY<_A//a?ݲ +!;g &R-)APEͽ:$qtTw9YtK7蝨hR0,uzL$ ;*VӼʍ7}`i9F)VK{bpXX]_AEuiDԤE-^d*ZOBe+\Py}*'{ '1MG& q]E`I{#ZI=;jw%:!X tM$ g~¹{,/DAъT([w>>QbPTy54"Q! nv`F*N[i71)['afSڨ!6YVKP+XY#{H,@0_}\3X;y^ ꛊ8rYBQyO:>V@nBTS"N\;+1[lK<@-oO{$\V"iֺjDyrcdAM X'Z toHkbX\ߤ Zq ց6pR>HCK7J en]X޵Ü5nٕ*VN2k|#op;n#̊EHyfRY d&i TE!Ї[FO@*h> ֈ Ma ӶdF#INXs#O-À6oV2GB9,&!e\|ux!I#"+] C_+[`ex iSyA8ZËXpNG1+8VެxFA NlIҍ %g4 ;) h8;?( m A>; `u9|/ ܁R:f GI1oT#Of!pB8@F˟7b{Hdi͵LOQ>)eC]7 帱AwW71 Lu hDgj濬e^p+΍M~e#L_vէӨV>&Z졕x&Jx) p+u Ȱ.}"awW7ŮVj2tc DxɃJf>Tf X8d4}'RO_Q畷Rox[};0;}OU%đ%dVÁhʣ 2ΩUl'<2mKI{ ,CXN~sa ԾPy?$Pa؏fV ]ٵOk\9nSƞ,W5o !{.Ny j[`=EάcU +X0NR~&쨴 ^rd2ܼQTR[+3G &)j!yAߗ'?]s^O+;d+iKP!3vm1y7YC =me ?4B$ĀcOI)Ӻp b l/®[NފA%f~yE+wT6cdưc^ccVjbJOYyDߵ͈u58Md?xpn{ Л.tyy#Bީ"#*S l\eo8"Qt)Ŭt} v39:_ԓI'ݯ_q9rTޣqRě̚!8Ԅqt`gOÓzvADofӤmV ?&H?|mgI/螾 γ w.W&Vʱa7(#Y=xϥ@*ln5 hD+ ~?H(0aݳ9m?\.2ѝ7Iסڱ$: p&呿_V}q=^s)@Vcy6,+'735"5g>R)_SkҺˑ8-Tf$CEhABn]_µ? DRJI~V`ڼtq%0'QQ0!pD t6㳸᧞h} Wog_FQT.C9nzQݡp  2(0X5Y$d$ťRś` C3)A)2Оxtqeޓtm1&up;aLî`v;8ǽV@,dQ۝Sܖnoa6Fح瞠GUyҳ&-Ò!5Yӵ^Gr[^d"43MTЦe3ZupV>.La q/A[L2NKHB;A^(@Yx_5K:H#~w)&`[VUsR/)!ԭpx'[߸~7u R^J Jn/p˩r9xOM'6Ӓ揑1h$njDeۡc!K΀4*naxz<!Xݜ.h漢Re /b!CxѰ۫D6w`%Ðh};=?%XP-4po39&Qit\fFNc2Ȭ+*pc}%-vϒ*YzzmX{[Q>$Igsl}?Xljn Bn8喻Μyz2@/JT(k༲0ӹ/, ̌8E5vg!~oHBO*z TJD% ]_u[5{g4!_` dNJmB e/'YbOtT.XR#_Q9sv 9*KJ?8ՒY>͙:ώ+ۆbƱgYZ   j ?_% 4Ordered_Resolution_ProverOrdered_Resolution_Prover.Proving_Processdocument.tex7zXZִF! ]A-MՋhvG"uIBm5LxBdU1SR'nPJ,#oJ׾:3謉*XX 3}bUaMRHp5bROڅ#i.Js.v-Yb#Ϸ ՟ |3]k#3 a3;t$MER};;^o$ Ao(CqM$(֌jMs>7p؈a:*8*D<#>l*y9UeErXpDX[bxGbǂVIA])3 iN cVWh~EjNC,! iH=p=g7aHêg–3hdƏ| ,&H r 2(d*X>,tU=WWܓfv-sG6 qs&d즛LԘVJZ 4֚KJ.htbR$#0gBkE/#նl)C>ARb2-L5L[y(R-Oe'"X ҿ g>.jSy2WjW&:ʦL;s9BeTW6PGƩ&AMW:*H]|"ב -(NE%!bTU. " @r$:4=k􋬒KΩ%B@avdvTV*1 [vce[~ V9b#^EErI<'v ?g% DOrdered_Resolution_ProverOrdered_Resolution_Prover.Standard_Redundancydocument.tex7zXZִF! Z]A-MՋhvG"uIBm5ȩc]IFR%Q0 c6=it؈0q0Ŝ`gB1CBaky+ngD9|gw"ڽb;3Tc"3onR5B(M&Jͮװh0 TegR,Ò:<(b&rB_kK$dŔI&B)Fb >RVGn~ӵ]JsE(W%AC _9ttu*CD2:,VZ Y%>K9wX%))WpXT6Bi |%@2\L!;Er6w9_ Do@pM +;0x+?fp>iYoslTLɬb rw:IL}͘8 `(0broXp´Zt22fDE&[I%kUϞb}ZE(ۢaro1EY?A'^Fz=Vӻ㉛Y TMvRhu(~i &%"hIASeCbZDՊX=Y$+ԫZ&1hO½3u԰+:S^kRN.U`27ܒf]|OҥW 7xQrөzVuqtQ ĄU8Ii5PtoWvz.S ) Naj!oP̍Xa}a]d\{bdFhMMgy5IGMgxl2:9LBg ;+ͻgj~#j1&{ϽV~ 埕nw|6^D/v?_FSt/lS0X *@[< \¹H$=n(ÈPM> ͅ&Fvs=3n _ eޔj>w5㋧ Cډo!a]qPĦR JƔ@ /aeaSMն uV<2Mo VZz?9ㄛ寃6~ ȗ@Nif:QHr7EN64Hn${Փ+>K o)CF6O<zƷ`7 Q#GZiU}#~.}g`EkD.SWjnpTVyn:ZH D1+? 3㋫NLLyWTlNCdQ"GPe{R/GgooW2oZNs ۻ Eϖ.nj@:Pw7X5Pԧ%T=M;GE[kR" 5TWwO K‹%2nºPv/LG 'sށ8 dѽ؏?0!!]}.(JĶ& 82Dq@+&d nAj {6Q> 1^#^w1v8rdR+(P jՑ@Ÿ[΅a88ۭ0XұGe8+[e8M='9݇8O*s?pwުQ_705a \f[PS!C-"%uk^ (QIO[KQ3DcOws{y` DAHTrqm$ldjBxeL.\^R6dDTtdlsq;>OI/A@Iݱ\-ȳj&^7W5%|]:{rm N^ [^ƔbE+1KW&pzc~QÐNtSSeUP$a_6Mu˫1a:רk'fiq[n.\9QƆ B2by|u#HB5/;a.i, ~9cYdb}ֳgyϷdLslܫ~b{UI˗DHFB7ΎhF[Ɖ3ȹT|y-{ABz;c@~2mCy:%0uxBP|g7"kBFܧ7MK;"Qɸ(tv2ۨt_rIQΡ"Zt+%-v6&_,u|p-f E).Ѝ0 lxT8[iXB(=NLQB1^*eF;?lǖ/`2AHOr@-Ѐ~;#2wy ugN<t=NKe0Be^蜐'0 SKא~bfE l\:@LŠ^3A@hE࢞$w4%e$ >^.i sȭ@&dnۥB>b L~Se& .4vrV}(*+.i c8RB+}K:fbnIv֙u4eP3ly;3 T]`NQTwD6 y=5ƥ'Ө$s>bNHbrO''b^#07 Z('/eQ3%Vӫ1w&}Hx Y֙o'5>Cja$`F˿p@R;mwxcCw8 /(6SXtTtL2{\P];o@{k'KScj+xM_HXgIfNDET{ Ci*`:y5u\\4pZFoX0^!@PP{H~CGô$)zoW'Ԇزj-/9 K gnW|OyzN}&NcD s\b;vU<205ldDzZd :/@mǤ;~X JOk{\F * Ӳ_%eJ|`|P\<` 8E{?|t P&O(i7~dA.i*᣶]5~r1{[0UTj/CB`&Qx slİO'.sC 竿 ?.$AJ 0;pЫsR{X@> #{KÐ4;/WJp8 .i xsht#V IR|nCdpS).,gYZ!U;t4`{Z!׏T{GCӇ١u`D_RV́x 7{AWaaJ<&܌dG?h1/v]o`4"]VPhokʌ a@+k{J?(%Xe J_D5?Le( \-A vk۩1JՂiJo7|uYQPeh^k 8{FNQQޏ7}в^vςB2Ӊx(xz7)5W!x+\/3l'5)EA+(ʜVtcJ+}|SdGԍ/)r$4CP_^YŖk9y ecfA~ʰctBACF˂,&Ď/(FY T"X)IZ%Vt"ВWz@"A.hFg&N@m "C*ƛ1eh5D63})g|粷/תҒb(Yq:- !  AWpȺ|b>i7WhX P66˶%J,Ɩ(e lq}mA8);c8&*(aZ:=72jX7ҝ;s9ӡkc0~κ*홨w%-oOlBi:7[L /a6?+aRڷw#au}'rRtI^KQ7n{ڕZL6pIyv`\o kyBg 0^EmJN͔T3`+22Na}/Fty)C%q)y`[ 3wr8(K U5z.?cHQZ"\CWx<4V_Rd쿱Q~'C0S؛̙p@tsQa-< s8oWten63rkpQ0i~ 9USk>{֠R`GxQ!8'fbF~z $<οQP]+cd˕FZo6#ߢa*wqMVz$OV=VUd`e׭!9U_[G}}F"lsR2=~aXQBQێSb)!&^c\VgB:"jG/J)#lՆ?lPqS:wmNEk4nš'^iWķ1wn ߘ115ṫB@ 4~x;"4#SLNXњ+8ĞԺy*\'S0gz.ǬۊVهEnD߫jyʜno/;eKrg[ගPA5*Q|w7C)JS/b5.'4LVy`\UPtFYZTD0w{\%O?:|&+U%vI%KkN)-52Y 5y; L8xz' AoH3{. [f2sM,j0/v>I5kWf-1}t88 ߊ1l2Ԑ{̸]\Nꁄ9)at1귃 g`ķ[rcƍ͒Ґ:2jy{0;L7?+t!)۝2 /j檓.+k\kٳ1ٿin b0ȣ?)YDF>x2*F >92WԥcS^xnݡ w`"lıxi8>Ok9ʭMPssD 9I -coqoVi[Zkw CmcEc@ʛV+(zn/pM@B["e1DQAS2w\ k_F4t!߰F Ǣ %˟bpٺ2jb/u9(3b>BMh C,rxIZ) 7߁䬧PtXT8|~:*c; R⤦TF}?Dɂ܂l7\&8XtyjqISGW86h?{њ&&u/b@l$[# `p]w>¢xץkHj0أknςjt1Z?a>plx0K ,Cz‚tFy?ҙ. sq8bޟcw~}E._sOuK%>|}KX1y}D/ C'[-!r9j8:!?}" Fe9B y ,k݃ ͼmF`yiVyG"J{aQ78HY=o`?Wrv8TD@u[B;OK/_ރ+1Nj}A)*lm7J=61 /%,(QjzYnZQ"!Eϰ?)Y)MU* >۾ioݜ}(Β/oj1KzFUibN|x@)Wd*rzɚoG8M&:ޢ8K?BS Y;o5p'Dw,EW5 ӃOc;uL:&m!A\/@˪"VuJ[VI@9^ P!ZZpصhoVrXe [3 ݬ0ə<goXq"0ъLmWh!l 3Yg$&8ف!ye}8a /`!- N ڋH{^ $u$jwHi&pzkA28:Z#4qtX Ȕ6Nk"Mt_Dc#ɏ^\(W!EwtފUN(}PֈnD"&qz(*"\,6) sPW=f]7Jڹ+?Ƞ Udk{̰XO]xQW|sph΅n`3i?F XJq]]a%QpL>Rak>hE5rXV Io$KpQk1 UDu*Mp]wiU]={UZDt9XL8;69]Q7}"D c!PID0ƟL ׽܌cmgq/辋NPDg֐ iZ_EN ?K- ,RXlE6eCJb - le锒V#oO6mt~V[¦!JDm&T&|W_+t7>hQ]w-G!$3ǽWWn߇je&›)Zu9֬fIR,MY,foh\"20~) + ݚ̢8j~8sPFI9/p\^)3UYew҄\ WB(TUcߏ?Ժ\^AZ4 'yd`pgҕ ߸,mr L2Qte-eߩK0Gg6ee] zܶk~{߂,mGp.TT~Os0,gYZ =O-= ?w% tOrdered_Resolution_ProverOrdered_Resolution_Prover.Unordered_Ground_Resolutiondocument.tex7zXZִF! fs]A-MՋhvG"uIBm59yKXgB/HӐP{%)%=ACmz"aGXb.:-u|롋4zrgT51FmaC%y[^ş aK>ˑw$[iTpq I PhY6 lW B\a'?b%YH۠͜MX{0Hjڲi._  yv벋C-(Uiw/>uc.oeΫ( ||qGo1pc6] >1sT.qqfYkkY" Soz+ ?a% Ordered_Resolution_ProverOrdered_Resolution_Prover.Inference_Systemdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ɯ_ؿE#L9as?-MdDk=64?d-1B,E~޸h(qc^f Ec[,GMˠq20PSX7+NG)NڣI[kI 0VEY|-w`Wٺ'l1{ZOxHhHYwt-C/LͿDB;sf˄6Oy!;^~睐[O7v*H= n8H@݂2y'r~R^LjgcV @iTp>FD ^^C_gehvfkQ7fӐQh.ԙ=G`[\|Udcy݃DVS{3(ӨExZXm)Sy}]_FIIU _mWѸq@Y*,L/h&<'j [rtCL=ԟs$pI=98EM65\PGh! 3=;?uͤ!u%ߵ)s (.D4R,*& ?o% Ordered_Resolution_ProverOrdered_Resolution_Prover.Ground_Resolution_Modeldocument.tex7zXZִF! :]A-MՋhvG"uIBm59ܨHSG1nz-IM|a\quȄ #x뒽&\g}ཤ;{Lp՘P/n52sR^=ǃ@Wl9ϒ+Dqc@ |xn{#=qKpWB>JFmN@uc}pw+!v;뷺q0]^}C|}yaEO,-.Ԛ)A/5dE96m!jx߂0{)[T՘e #Rp!'Y]՚yZ6*6pQtVM:pݜ-SrI:XB\'Y_S m9=(mI,cjט.N8,ĹM!(B'j PE*j(͢;!@KI`^;D{ɒl!*݋z@rB uhm=9σֺCGpݡ'm`$8p nPͺH/O+lE8OKKzյ~¿fM=0K[^BqiAIu pEO㢁gW!AGCXvӆo)v2hkV(atΆit>:Is@KICe' T05ȢoT53T*aCYᄉT:kF(c'YAĤ/HZ|k !;&&'GzQh :G齣(gvm\ZA8 g2~7 1#{TJٸ.h= 4Il}3HMXK̽&ZG[BD[I073aMG D7\*2-*3ٵ~X(c@ CZ[=&Y.s@(Hm,(ݶK#޲TIGR27MVqŻnj^XH8mK@J<Vj07]\hD+K<9 tU 'ȝ 6|8<1rR#mj\iާ:_hTQqCJMlsH0TQNUk' #1߶fqۘt0A'ۿ} ̦Y+Bn!5mJԵ¨Ew7#jꢎP/C_hԗmM6'.^\cJ" ?:u:OH'5/ 6)$|{{ n[z5c@^f0ga$P8fo O-Qr%*~N>Bfuu*ijj @nk0R'8KdhO#RRpjԤzxq6II|:TpꍩV97Hz%Z-oR0cnE 4|lPoo“àgt,FuJ/[H%!XEٹ7B҇GըuEr}UW)GLĈ"XY}4N렔M:n,qݔ(%DA4Oϔ{= )g}%A:𾓷,07MjGdʠ]2\ic'-]C$J#v0`r#y9 -Q`Q02r/,Dl$"( Bc7.ݿmU/]^I1H6v[+$<z"kKsYA=#%CF4,^DK\cDjzxGщc1,D&ոMOG,Kw|%zpsQFށjn$_pk\ 2Uh+Q{$[ #io^(ٳ;nu.K!va%^nFebb2ZdlD&zz~zA(^(ZV:72Rl_˓@y!"AғDcˢ4Z0ArOX $=mi|}Za#ٹ<=}э~iy8V U8S$k|ìZIأ›1/Fx2~|2 ֳ'?퐹hθ߄e'hc 8$O dv(܆GT[zw;ZmJuwq bdze)AƆ0`~yTf>gbj ئ#Ύ׷0ߪ~'8C,m#SQnM+3Wzkk5\ĊEȃ<;M+-0j*wS "S>c@n:U9z(67k(@##!DWC@̾^=2PɋŻ]o%lf ȕDV>TOy:(7KyxF-?zEBYWmkM훯`r?== k0GZ* YK9z3qn~ 9"V7TbH[B'bX*HL} I4OZcW3/Y0^C we_7eS/!#]8cb+"u+A@,a~wdӾX%_VQvdj@fQ?c[ `]R fM(eQG[gwsdҢċIB{b&=KAa *}Ө[VD!dZU \R ?E_I .. n{#-V#Ck5aZ0WO=@0ʗa e t-`.茺*Ǭ\5RQΧ_qˢ䥀)d]H.1Ab) |”3K~08#fRIH?_DyJC# -;NKŸk}+i%H=}zs@)u9zV\yO{HBB|#U@xM}".\jnzY-f (ŵ%Uv?r5>'XMi8Fz@*:tD5AO^z퉬1\֓\ OVeS]_  ZMP\FY7 GH~d:dHch^j.>dMDb;k+lbi v:9z֑хvK֋esTgX?M#-q6RlSn2*1nx.~)MPU=?D;;VƗg>UM|EUd^{w31u0Ѭ5JӉIZ:EiwK#N ('2},#6ly&-qw>:&@Ft !Խ;oWHsصPJ~!& "$\Pf,ٚ3;f ᨐ], ׿$R;_Vr,qzݥ7tca&J^Q'YvaT [0{)mpMuREnP f'd 2%,-?{LŵnGera/H@!X)Bt_|~颋Y+iGVoQYR%SVrw?{ʙ5hdj|&>\Qb9\)mv-w۟)A q< ;Z=˾R1u 5̙_:!>0^pMo4Ioۼb? *PO{_\?>! Y!մ}5yx,e_#jC*SCvDpct`զ (xxbd)~YA05% 1F=}n&kNry>\g+5NICOfj~plP_U7 ۻXEfd9̱<'϶3 31Y <CDrfa#i|acRۏGў $* 5 u1|P׫jN6קǑ uѴn$Ȣ {2W}j0tPk'wa=V\Hb:^irgY~t\2@" K“v5]ۿK3=r [2E0ze'&Xўg}R%{jE3MHW1f2jOB2ffʑ_>J\'U-oB 靑4 a|mZ>H[әK~aɕȋu6\Mi -r;+q@//)~v0<1VHĭ{Ue|F+(Zic A, CH-Ry/{9j` ԩF6| Ϣyu?yVm%HVPpqdy7h6.c4r%&eqō >3C8p\r h%Kaܓo0u {4mւ^fIrMv&+5cRdWjǭNX 1YQ;'Zlru[o Z/^AumX R6s6?ޔ& 5u~ 9RU%0-kl4QߦoÑ9vAfLF)hVy~mͽf د7ٱuHxy|/~ >F5*Pf+ :yhCVL$O:ˎQM\%\{r8GzBN@4д2GH+ض!?  j S 8<(yhvx{>`4E((y%6K^Szn- k?)5;K:ūrrBfB9oƧu&S#f؄d T *E^l1@AQ!2mk;j`R0}!23$Nt4"RW%If2PɁ{QxM 09]b kM2S4K!%CD=Cߨû\5ZHTD-r3x{=g69bm<}?l%#&~D6tD֥!,Zȵm48W忂ZM$'㮏gYZC+[D6:Cac t Uk z9d-lɳPG׺l;׆xf,-]_ 0skUN&>chSpzxRO.gU>#x6jMhA0iLfT( 7i+"8T\Lg M$J¹W0_1)Wl2wFƯ1.?u-# .ZH S /KV]W33,FL{+.PZQ N ,s#=0D}i&JohugBn:KrEtKQ!zSπg"< 9)|F7*[;R 짡!#n{{q{o-6j߽Z=KO:u^n3J2 V#"H20Z*Ҕ6¢$T;Yѩn;k3*epKV37%>Yt ؠ_xZ 3m"&-ck w?&.j60]BGuGOR !1^Z/3V!8fQn` 4=QY7CGn$Pux1n]D{DLC!/reBK3PijIg8M9hF_:'yNcϙ+=b"DYcU8*s!0Ia13ʿ7Jc,O.4 EJv  XNsv;_wAqҳ8wP!ŏd[RQqP(Lj-Xss[)z̈31 2>qq,?<ز^NDUt oY@C ,#B4KA0֨x5+.:zz="uu| {/Ɉr@s8کϴu'~E~zF[Y;/ {ZփZHd*9򬠢¸˨ۀ6$2>`|S!#<*KԮ7FH6 86"Nr&AdDJ "iybx[AH"p]JE/ uj-Sr8ÊN>zk<3Y4|=$88Ox@xj(%Z{_U*5 z{C+÷s&Q[&58wڷkO@׵k/d5&J D"Á8g.@~9m#,nE7^Z%~š X d\0j 8c5O$_\M=. DyDϛ1t߮mg|bM-L!a9·QOˋ 3O`QmDb`j[N)YY~ pXǽG=i@.7dIoI$'RȧL](L AP7ԨQ 0mS"ҔTF~\Eӫ7pwlahm ;ܲ$/7ZEny`qyw؟}<{䂡`Vy[^Mf%[ jTPޥ|AKL/I·<((b=;VF6:ۀRs9h0cXr^ ~&O;'4*Q&H Ax盽מymؙ_B;PQ ` A.cpvTik9 6Չ(j?f{`lf2^I|!a!G qijm.\ c~<T7L L{%.DSfH.=gJ ;Dt-w ))Tׂ `y8thiؼ{v _3t]>+E)xʲUM"$I>Q+Jg5j1ފ^d(SIケ $d98ﺉbop =oBU[əŝJmڐ-?tV8WX6|\ؿhB=DFѿ(R]ʱP;@J)[QЄI&n˝}| ~h Ίţ/aRA@ZzRG vg#:uԻ =;01z7%m-k:a}:*#1\*|cRK(*84Tk١׸[HrPP-hO7;L v)(??EGXG.&/R065}Q]bBJ$U)Ma H+"Bpt2HL<(1WO5"QJYxw.S^H`eX'0}IU¨3Y%QI)g}c B' ؋z؄Rћ{2+jj'͹(}E}21>5@65=Vj0~MZe-8h3jrJ^FZOP'o|* lJ #OɎ[c/ص1_%Pj_ z땸F3$*n a5ފ A ⥓U_d:Y+(@_Suؘq 6 ⤺Z b 0!DV~,kweIlWt5PMd6PTB{K:޸(!|r\ wGKgHL{M0;T׿q )oC2YV63&p[jt3qY?WE;qSo+̒ewqYsom` EKBr(N<`2Q ,:Һ }aKŃ疏@<;hwh}gVSw {+g9<}`JVW[So*3߼yҩ|9OW0 &&Q0$Jn?!~>0 &7MXĄ'94J>;LP64SA9㠤a- !:耯jX(>0#nbm奵ěMՔ"gafs{B/ڱWރ-1H 6O#& 򞟻d6m28gk:{F@7g\^-)SGP"P*4 }_');5/~Cc+sJ3w 4pԨxn:?rcGz֚˓iưGWȁg}qM#:r;L"p#w@))vKrW_0(شHU|X9eh4h%`wTߓG4tXq49\ J䰞cu $&)F"h+)#ɿ~QHu%Kx4l<*L ĩ+ՍǮʼO}hJg`C'2R9r6FÚWwg@s>5'L2~BxӼ3IfdH vb?'M S-ں- NĄ Lh٭&>B̻xûd&~{Dw0py!KAMXʭHc1GLop͇ʯd*`b6t9"qR|9Onnw;ޡaF8#%j%ʞX.W3%qzQɉFwc6;,m2H5ԝ# Y!n5=\Vg :1} }zlm:-=#17|iI! 9'H$w_IB8ߘ 0btLV׏9izz ̶,NkD_,*Or[OW$1iufh, Ի w2`wOSkI|Rr~&gR @jySpk 3QoI#JۙiN/;txžkj VC^gZH_5W[L_{s?~]<>S4W8 f7`r{ @m::L3mѲn7ln?Dہp^$zq}6<:ϫ$CbiF6'yAlL6PѰQ{o]kb#NJ;_MI4Ch mKgYZ `?[% $Ordered_Resolution_ProverOrdered_Resolution_Prover.Clausal_Logicdocument.tex7zXZִF! K]A-MՋhvG"uIBm5ǘ oc \zl_N㌶(צx&vP^gFfb>M#  M "5Ց'.RT͋B8/Ri 5w[&=YTe/5s`DdeՍܖי1*'!Qmr*!ɮFfARC乓Bz$3.5Kx~i~7"^/js_x ۨiB,_DD1@wi(5:c^fLʩ!my_#en/uܘ@v= q8Ɩ?iBeKk~ ~Za;/v&GOb=](PI6C!H 毶֋1Z҃>twmј٤íMaaªA5 TSnl{8'})Wyz]\!˰e\j:P7!ӭCViޑ}ϘfŒi즭r'WZfRnGeXCQ&AMA'WœBR$*wf9,޴QدciY@hc=S ,)l(]PBf(v7me'71hqc- jM1q1̗ q"(>غy!)SS\ ʃhMd۾=jHD&.'*fm?uܣW[( 0UCݐ`^hnYwYzPm6*ׂᝈ4pzİ/+rf^}lko2)yx?Ŵ!5\}r_, څ7׺mj}Bai3޼^K#@`E;Etk,وO<؋Q,x{61$:A|1G2/iΨ.S?I% Ordered_Resolution_ProverOrdered_Resolution_Prover.Map2document.tex7zXZִF! /7]A-MՋhvG"uIBm51!<VE&v6#4h+k79Y_[L N a}'S֥5i'.~><86&ͲP o2!:-’p!$ ";AAČaƤ"jK$$Vш͠A SO?`(j`vV>X04RG#o2V`:A FFnʛ,op*hZ/<7sA5}'Sd 3k^N .tK /e51>/]sfu=O::IrЇiw#oBL+ 3+FZ2-7Pk%wkR!̹4FV8Q0ܿºb( ($9/S Q[6a̠e} EzƩ̢7٫F 3ٿsҗ9Щpy`}3uX̥I1'lQ̹1-^{D޺meHn,'^;Wj:A!'hS5TI|%&Z  wS@l9S_**ו8J2 ?ReN-:\Ž7x Ha^ (_`GQ 'Z7}V-qa3B)"ltثcNB,R/{HvW\qV:*^x6r-V:2 (1(wdg~mvI|4Ϭ{Ӥ#=5<2*kf$֡_He+ݒ>ٕe{}TVy<6#3#qÓ,A c,HR/9t M 8ƽFʦ6]/\F7zNfbjFՊ"hmu =.\q E7 C<4d;HXBx6!s'B-HI}t4 ^9XgYZ1/#"%i;L4D۸p9V%KN?5O {T{Sx-ןr+UW s۟Ig!Q4BXٵ W=(_mmö9-,z_@!73fI%S9TM'ZN[;Ƃ(˄1e:B{3 bԈϡnBz # #%XMC= I2 ;VyLِyzGpb*iybz.0Xݕu>vZ+)O"%6PuE)(010`NOhLN$m4{i]'6r#<d kmjM$$p-C> Fc[&0Ѡʼ8#᷍@nS @пǣ)~z bK2ޘy ( x_юTJn.rwL faF}܍tخa%]Rr( yg>BPn=.2_)eN,IT]t| |G:Md':7SUGp&hiTg݄*ziaϮMiF[dL.T [w"k*-^P*j])(3ɡ3;YSA Vg[8 wJ24¡Y=P9b(#;z\p8i!nRHꏀaтIsﶾku &8,\@2= èocYzp(ijнd)rڋne9ЮEPR 7 EyP&]-x7L!8S^ImncUs>j3{U>hV(_Гo_Ai$mG=5L9҅Ա2@$ fQq5cT-DKTAMѝ"(gfYUR:i,?g`3ֆ!2ҟuOU*yamN /[xӲ?"`V+QkGG˗(KGEVetZK&y)Prjqf& r[k?\N$kح*4=*fR)J-Q4bӓxSe]v2#mj6í_jY#԰&CTy9b:Y$uT^Mq¨Aj3)-kO0dHfv[h27l: ya7i3E_:(gk⓷{C6'_qoX.TҩZyյd!XWR>SeykyVAqxCfF_(#Q`OfxkOv TƗN\qү|fb3_j:'U[U5`N!ГtC:lH :Iֱ[T4E̹#MrX84lM5CDBJL\# r6f@܆3:CݡWxa,"C6ޫ^AKIBj)8V1Dlf%TOK:Q'DI&*%ޫ7  X=g3u<!n^"}8a]?sH'c4t3lc` 5יEZӌlkZU=Y@[g<"i#$ ϣ8(RHȥxz 24Unv ,xR&)6C,dF Op5 >VR vXM.o5Iǚ--YY˒mP/d6B!_mᵻP ΰYC^lŞ!UH;V=6${ M9"b"%ɡ,Gf$El":WyFԭ "z/oҦ0;$y&)QHc9QX5gpSv<*!]uiuJ(ֈҎ-g97y+iRmG@m7E')]ۈ-^[&܄LhJKG<2,L.kؑ7Mߒ£M;ڟa۪a;9}-B-1IKd= s6|nX) )Yg<\;M{*Ҹ$~lcV FRwY3GW̵T|ϩ aIW2ʜp"-3/e!Kۍ:hPԳ0.?$dXpZɄ@GA"X f뀴 7qp8IyS2f[@Vh58Ux=iؔhC]Y=4dzYLUN+Y %cOu9B9A&#'3xf ߉E!FщD9+s>y1"[G5:D7 ިCՕ!i#!`geGٌ8ts6Lv}'vvlt~^!x'-[XjpAUTy? i=jASs/ U(b  RPCvyss m޸]k6 4L>䞒P@@P;n.] G=v>Zꐞy iYHd 3d!RU&ŶğAHX:q'Xp##4׭5TmZe't>59@z3zW6$'RXmP=rLޖX/+\Om+<P(\SAT6IdQC3No&GA0$DvG1! `p?Ev;(WiʧDp“56S'wu]g G5w9'|v.U1WPӏFv-;nz[E3nE9%@{Ue븳qN˄=M++.Amr5 kh; -݌R,:@GEoc1yЃ;EnQp3>l+DZ<^W"#O뽌_Ӭ*ww9U@8|k?wzSݵZJ۔\)wj`Y ֽ^DN lE:TI^k#|ѹ,@ kA vN1ݲI4IBÙ/ 8 1ʨfi-uj:*#q޷̏nq|;{rsh+&`2lds] `*/Cqgn"HCz݅Z$-uPEJ9?-U(Z5ehM%6Uޤ RNm˔ m?>LdW(PoرgYZ0u_ʝtNtӯnYh4]W59jZ}.'SFy'p2+ZwGiد4[nʷe s8Ny4NAdK:fS=y菻6dEv8ψO;(LhFbiFVR#eݗ&T7%!t@#/$s ]'i BAݓ&~3qWJZj(*p+0JhL }Ķ[Mpg;x rF狭J ΈպjٓܒCA?Kо̇}ʵ} THFr8K1۬1$ V k ceoi I_SylPE_EaH4,B7pAbOs7挳s?6&h c\ٜӟ|(]VV_ss"旖eub4DH= oZC"m/"P ~.s1a {cmɛ l^{r )k^0'#]1Cu^iҠpEc 4)eqZ&lVĬAS`A?AnIӉΏؘ3q(b$y *qIRZT[ \\0ܱˌtV"okjpHD{d`g6'x:4\%LpE(rՐ04ݤ!aPf'2W6F[Of(xnLT^.VI8e\v8A *{ b}권k(p䢸 ' ?Dlv'%Mx1\ `^R1+E2"r2A]9_"TH {Ҿak"{GCobD0PApd8X_6:R7@t>EKm`%E6Aq;-I 7: >唑A,#;v*l00o٣:~Det!څof)sᷛKG9o ]j!Y/Q|"d=|$驁;T'ƧQz6z翽~5t$M'DΚ2֚̒|rήOk~cxMҼU#gV!"ͪ`}@[['u ׼eF|M\.TV's,)Oݜ3fVVWXwbp ?~yIRKrқGJO9* ]Lk{ 8 \d j@v_u18i«:p[9}F?y\{1f oUُP~JƥIPrP1mX w՝Y) 2y~N~W,B@ߕNc J\ #g q%鄡r8ѫ27R u׾$6+|$_ (FDАsCJ lZqsv0KLk7xEEԣ]R[As c|hb%g%~}uٌgxyck_"7)-,f嗃w/Jb7Iju*hneVqw)*1-G~wasb<]nv VJo`,:/H Kr;I>o1Pe!(`:wçs(E2JCrf`yGHF#}?Nk@#iC定p٪YZ\^$8R]I.S2%ۥ0ǟǻM|].vCń `1o^Ulj&_֚MXV9cLoͺYji_]t"tvEc6U-.nLDl+Ƅ@1Hud%y2Ex&ίߞfGm(mı;zFN+mj%.F1h7Iۋ8LY)bXҙ [;;}4T H>N&ϥ&ZtEId##2*eOf!K#o[8/ÉFRTfs+0G`>|C`X/bv >xЂg\A$^|U枈A uN,Uj-k Iz~=Cfj 㗤Z4nv\v±1FaeX~s .$ϸT)B(k$4[: br /K#w$0 עK*`ȀĞ8Hٝ{~^@(13᠞OBlX" |pcSzytY443KqybQ*}{ xo*cR{3=( t1֞QkmR_v?þ}4PF47 %!+㚟\!D=Z R Su|Vc/8В6 8O>>@ aa)נ(9%vAs0kUWM虃:\o0:2@9CN!H? 1A _K3G8<[6 rC sPS3E蒒!I\]!S| D^M) "/{A)N"e9Vw L1mD]$jgA 更hނs(쀽5ӫѦcf(RWۓ0P k%>8@ ]{ggA0]РXCM4FпcF⣍a{< GYzEw_F(FgOk G/bgau.I-m\-f{Bv0j;hAqt$Ҿ`] r%\)|0R85\5lN,`1a%oRվo@ MD$[Z*!Ȟl"{VSg3?|mIU7dPqIFX c8dY&۵ C["ͪ*Gե6Q jǨ4gh@^~ӤͯD⺕x bp6xD)Rj^1sB{sJzRo+_[.S" N>CÓ\s.Ou^M]t9oWekQ=h@êd~\77Nx裎?myqzMS՞)籣hei24͒[np43vNVCπbx QQQ㭱A/[t:I<;MoR_*o, +jsb"fYP8y4( 6J3jD+{@+ըW"N*ߔ>BMgTM;={ 8h6hceV]m|>B⩤ q'zI鍹gs]9G`Pj^נ>E9TW=ILwئUT!w}qcFP2m+*E9l-(DñGqBm)B͇u'Ϩo3`C*)Az2btQD ^gSdX\.C"F5@(<\YtM] }xO`TpZMOP,F\~FHP#œ1"p' Pi4SBV{8H8̀Enp*2+mk><e;g f׼991RRx+Nt;9h |xG7)ѸoRP4ޥLK.?ШuۈpQ-ww4{J ^&j.ȔV~恧_ &8)za'i{bZ6֧+ղ&$u 226 s1'WʂR+9TJ͗vv W fVY@x ćDcwS-W1!bײ5gՔ pVbS.bCU~n8 ̉@/9*mBӤAC pˆ#YV$ː) мיLT|ͥ mV0Sm̻.f+@h#(S)օ8Wd0ft;Ht#WWT5g֝Qoa+{wOQ*d:)k6QK[Y^B*&85?W*f9MfBdڡX @z)CE)!_{hobq xA*Kp(I5zSKZ+8hhe|:DEE(D;z/ *[`화,a[9(~]`Oʵz\&g0knŞ{^ UoAkّJe! > qA|/=%]/KF$nCx|.-œ Y9 <-ۊ?M08<"KQAv8l 5~1EԩP1!X`D&/-#c)ЌI1sLs{H/hrLRv 덋n=yk7[s>Y>Cl {D9x[FH`88}FYõ'H."):3gegC%bq9Ւ5ASS"P^kY= W4<*V_](]s0ȍ BUP^0JWvA,DVVP61.N]hO" 恴i,Wk׉N)%87tO6w\z8iͩi%[/`p1f ?H&m}TߊH(n;zf6; Tdyc77Uن{9>X<|kJG.:sBԚ*U{dU&Dq} OKWc'>eogVbՌK9ȕ]dAq jgpN~M"t`RI?8m'-R 5 tMаuU ?!砊_Uh[yjB$@= 3D%f^R(hDJKiؒ8.Y;,} MMy>!*+Ȼ*p}'17(hV3f6g?*A`!o$,Vw8,?NPrmYWzGq" bĻ&J8d~^Jl ُX)t!)%6ᐨ]VealY4gm@;4lT 9֧rYӺ]=S; ޚ{"ʏtUO#WAFeazRTlU@9t Iԟ!D3=8 G#4TpQ0eNOڔ:+={ ؐd O"K-DX翻Ν,'+ygc CmA^.a5͡cEe})@E ɇB#W\ZGׄcuL4ERUL;u!RsPV.?;L3I=I 2k%L$`aȪְˬE7KnW!9> Q#)CDKT9y|xECte}|Ό9M{e!KZ^F6?7Noᖴ`+|!zsiTʜՄa%/})s8RH|Z (/|n=kjk ]oVzRwA/{ FHB9 7c7=ŗPg Qȇ5EkmGh [H&~ێPQ4R2CUXŶ_kCJ{gŷcMZ|^D"MB7jP{IP!BjrŽ9tu\4S!JNT*/[J+jBx9k`yyTVԶ%ylʤ~ G6fBX|}MU}1 lHbx)*^ 쐰E<7TQv>ި'X [TeweRo-6N0Z4HTX)V~R'kyS %ӄæif)67&.۷ aiJ$j9:=S׼Y|3sv(|DyM؜c/&$r6{ U.~ebS< > ITA vT8q,FƸ 2zVYO=}xxUNt9a֏pN7񸜨v>C:fJyqI`,ì-|]˄ |pyzB%!VU8[Cpֆ=Kbʻᙌ&wdavse8K/"]=[rRW8[u*2^̘Fa:WZ+Xc׎spN v]ߒ:ٞ ]e؝ހ\@NјF4_D[-ͅiC`J^7oܦH,Hzq8iҸU<-2"ww(C |̓͢wskZ_SZfkp>~j##9% "yOC*o2&{uͭpx1n܈M3䮠xenq(Lm]Ae!f7a) P8M$ L-4VfZcۡXi w>wmiqJ0T}cKi : szCCNPr<8&]8ŜvXQ5SV>\A T/mئ 2~z 2ُmt9GFr6J &Æ،dn%S86Y7#G,{Gc]V=LݪZ=d} Tp)J]ZŁƷCz vM@djͦ}X)M>hMР"[DZ's+$ eGau%F-tdK bnR4|iB,fl?q_ʏoUҀVܹAE||t%.܅/p-Ek/tk x!xU;nX\$p&k!ʸm^L 3̻U͝l9 u ghP!Mxj9=[ nCA:ՏmXi~#/My'$b# J'XlGvnCI])Q;᱉3DĽ֝0ZP305[8O$CFzi/SЫ PѲ? Of Tqmi99k%1 X فP=v(fP6]*)OJf] O@ 8egj b(+{~k%A%y:\یu,l)`Ujzٗ ΩKD{ʹ;ܪ0VQ+1sZr/|;cj~Pլ;;L אT5"uxzXʤg&Kj 9X:lRxz lw(+ ><iPd$+)| Wjp3ip5yv?N< g}i6 ?ZПٶ㲤ں9G-.(TD-d2LQW%eBhŨtŮgtg&܆h f j4 xdy:4Qbfp~%w5g5hY(ErPK)xvݴ9t3nKncdi:_r9 .Mx\H #@|ã7vQo+ao%>9RELojZ  w q)psq n1,/;bdY .1:UY $wBUb%ߟO_8"Ímb=ZafEWiJ+f11l\Dm?lgǂ)څk. -dO-F|C5pQ^ˏqwKq+'ӄdy:BP}%%-AȳraTYyU H7 !$D.YUIZTzчKrRam? )+W3aX%f ߚb u=u+dy9Ηқ"]/nNfI+>(tkjJz}nGB4ZGnF,WG-,qkˊ*)#nt*q-Fz?!c ZiiY-SրELωJt!;:~)50{T.r*}ܒUs=0v_<;oW?}seN/I/q2q78ve|w6Cvcb*6B@Oq׊t ڏ" 'u11P{#j3DW!jDEqD{ϬШODcz|v@gBKd'nb.HsWL rW0o5vC>m>L}KD~9uHy1Bɢq7~2e=;̷xlʏvs'L}~6vfQ8J9Ag[&rď[`tJgWq#Z(du -:&H+T)8I>ԙ?fQ:m6!舼"=y8~-Z?o:VXDvp9JOMޖԏo:8^Zlo͞)hҲ}*i:'XLv$ե( Aah+8]6h3D<^wCj&N"Zb{yWK/ J5Qvd)re|mX)iuex>?^)dV,}rFFٿ,?!*3(JρC) ӌ$ c4faJB8]6.%$ȋ2b>8DӁD0sa2&ո8E Τ@h hzD4Q2MVȔ~SP:9U3ǗAR53aW51G:hwuOdnoO99+Kxۏn¦閝-걠@-HٸGwT<@H2}w"?羬 ;]j.A ˯AqKGjUZ^kF= qC8 ݩepe1"nD{ԇҙy;uTjCz)TNJ%$tvP!~ #'HKIe1\q>Wv㙾TUyi~SB]!;Tj?pؐyoQ0 h4*@} MɖŪˑ550;bwhL[vZz/ꞷ*(i;}|y{P;A e戨ʟ#daVիj|rm'qlu+7b:GwL_Gkf{U{Ƴ=vCDH`6e_v3MSdGH5taڕѕw>ڡPn,K,G#aXʂ?gEdp:?`J'hL!v :_r`)_*R z-Bs? G}҄u43JyC4^Ke4w`Q9,^9@j]]3AhdAɮ1Q;ǫ a} E/͚slB^qd#+苃iAX^D豕$JrK7~A(==:y<5O q!=u_dzEdy34,$B?o,⒉\("`<'p 튗LwGE%<رX`a=Q5OYje94~Mm{h0TNt@+B9ueP$eBVwY,o5eJkhP`Й*ȋ9}2DS&sH(|$W%#t Oq'ÚVP-5U 'DnjH!@*QW$]5o?߬O LGwU48Li*hhpwQ)q*ۨC!D6vmWY/}@D?yF OϚ΄}tSZw7bN1YBwϰI9@#G1lCAGeֱ,ޝVz M~~5bih:+v9!Ң"gû2feg1tfI5[%q,G0i+װB(BW6]R9:;[6P .]#R"͌HXLfnn&9/pe+H$<#(TWZ9u5d|͇ ϹF4gTF f\{cP3H8Eƾ$&@Kx F$bVf/YznmfCwF駬v E#af(lگ::1/yf-rlA/zz^塸%ʻ#mP}?iog*BQ6\zKvU =z^u-y48HF@yzk ̍yڲ`"w՗kl=vC΃LN? 'r_9:TDxAcr $8E1jmf_ó(~2M1:|dcFFi+c)DEŵޱTKG^CUzxIx=~sA=:Tz_o%NؗY3w3[ǵ6d-' y鏿;.*耢ٸm`^7 S{-+_Q "ÄNPl>iZF@o#Y16j K@S! )s_#R34SzH? ~ɯV'ʈ|0 .AeP"3.{;iȥbE@/,w#K4dVV 5% Hf#AO(s;AS#gNk4clkȬдeIJKz%$׫`XȺ/x> hw9jW&`H#H^ !ty:_zmb1뽝o4&ǃUdeU)nbr$H3k*8QȄ y8w(~^k<{ux1)/N' 5aMSG,)| kߣrQ`{mE|<0KB̆Xم"I{v09,Kx!o3ۡx+3nһof!PTCsg1{$]L"=""l%z3;AYCY8)xր-SLm|'7`m# oObUP5ޠGvf( šJyӶNqaYA7 %M+pb+t?pGH W,X^>NcPF0CFl "Xs[^T6K( ugƶak P$M>a_:5#⵪&L`e:%!?#HvCZ mñ5s)^c#rvdƘȜm9 z?$?VMJ,* mgK/x_ lFTLĺ$LnXIJP21*ZVxQeSc,{]%fJ0rAV>曶p?5ӶH:AiF'HaN )nDƫwɛ ky^RA:(/QofHUJXx@<{Ί-.SIKi>eUhxELvٷV(wOdܱ`}BzQ]_fIx8oA!zJz ռ -H$&(ZbPR )l}!,VBJF7؋ǢP@\|; ,P/uϗf{#04jJs[ 2(iVօ^}\Q$~anEɘпApZUouksc9!!fm߻)+p7*HF5M]h ߶+Ysv‚? Tg^D/5V1c[D{ M"K^ PIFe^PX΀Ck B۷oS'bLB3B` җefK|RƟ*+!Cïk$Q9 h1$1γ[!39S4⁇IRm0oN=M Wöy 7_G)΄iQ&/BO_Fla"=+Cli=:N ̱4Ka7uR;#4B|(g;Wڍuut$҇h(]#HSe\ -[-] N(-n /  (e)nQ.+1ل*0e͆Kg1+$vx"pt%LL)!:o.o3r*h }n0h=>s `Y yOq?㖇2^[Aۆ~:VeRXr2қQAa1!Yc uKYEA.XQbWؖȚ]{NB}'(A.b\X>5M7`rA%g&Pb"ڪ^\H]?S0u ?P qQݙV\%sI$J P<6F\p%<±9XѸ8olXA'8߆01? O)%aH}ηeͭ婖u  퍰&') h~ĎwrajHt4=Lzy}J~_a|0>!b"T>.B9̱\df=/(PE:_i), ^]zC|(03۸#<=^rMۄ ?Y7AYu6-O]3W{mi>!k4+ٽj˵ >A^t}f7/vs&PڑX8EU`FwAC`ADQ#Cx%_W vsi[xJsTrGc\=.kd&"4Ed%-R fnATOpv iSbpZ̓qT\Ga8fԭL-`2bֱ+ڿhwp"똰O=)n,g7N ;|lJ_. rSl'ްay0AEm!ɣF^豬Y̮c(K h<ߩ|Ǟ Әn7]SUA*J.HX6N rυ0% l|]p_5RҦY"\A Prd6!JOȯp/w<˅Ѯ][*KMK1,UsnQ$jf*/ B[w !+I zB E_>S<^8/64~#$^D׸HӠ(8TsS{9M 擏& Y2mh>#lބ9 w)Oռ#}Y˨7U5%/5jcIL!ٓ^߶: QE9bwD`0ެtl.I2?)13gGsVhWBYo#DPᓇ!L\/eQdhv?l,lFEvP0Oŧeun ZcN~uVRWٚw@h{ȰL>UGﵷL8ʏ:7H-0+)C@{8.,ނj[>$EKͅ3i5p|9QA&Km%9J[ە_ cM<?,25 ߖU [2',t,|ACPw"nAI;DjS|Tu'y@&xWj*$wh=^'1pG֖bJ @ ih>6kRdDe#m;HX妨HGflnS zKvO$Z1cy1XG k&e1+yul@Jь#h*)kDF@vS0&yolzjR$;@K< ET e+,k2To'"TV;r3a)@k508>Z{8y$f#,bQ"M5T:t[߲#Ӫ\|͡Iŝist 0@!Yneʸ|fUßg"t{CVZ lvK ("8zh'׶˜Hv'48~1{3[9O`ES*ڥ[s݆Q\NfIS8Q(fiO]1f<P 7 ֜z_<֚r&$ *q;ԱJ`#T/4} m 7P='A@'fz7&m7l̛ [G4# Ϊ? (.gȗнo &ﭟGXк bu߈ݓ_WH'TFUJBEt?A?O_ bشȹ/6cmʮҗӽ3+<}qN6@[ߎK_yNȸ#~W[s8K`Մltmr^-Pt7>a^ivb^I#x~UVEɮ4uGf.^泏=QP8;m'>/: kf^[XIt]S-:˜%P:OEwݲ:o?< {b篥=RJy姥.SU8|M$­@z*3}eDec3DF,A}i|^Tt Z&R*ǗS@PPV|adD9olJ<0NZ$uMdjj qHȲŹ VrTqmK,Ҩ-'}VHɧ3Å?h'+5t6Ǫ'ng)?h]cEtw r]b\_U(.hY^OWI0[PuZ[x3F7ܿ)JaLH)$RAN HLGQ}Ԥ7I&ZCG@Ji&@{0s`Qz!HI Lsd))b.9";qPyC2.`?1QWYF#śƜd$Έ6ڣc o Pv^MGwH&W;xa`K\ a8syS361- s @Bj -bnB Zm7B7 6qBl?NӦgz!*8$zO47 1z)cK]@V?6M~} Eg3Ƿ<=Sp+E%D5b!;+UQ%Rb>/ewsQ[6I}4'OII!-C3IhŧB{ fnFPlQˀ`ӵ|Hd(E(K):]2GY=#߼x&k䜶#r{.tb, pR*`|<7o.j#m->-)MtE;`rjlxmBO@*OP$O<Ы#jWQln4~׸!C a76VV?{s ZUI} _OT)LQ)fųnj9e*N9HIƄCO O%'ӠS[+f%OR@Dm#*2t$y y=^h,zm&Bmj%v<:dRR/ÞYMGw4J\%*rʶ,M9(5Q&&<l0{ܘI2J Ijd'4J[܆?:ᰬXF ||.E<xO5^ЕƧ3l 2_`!}F1%T(dm!Tby< )͇jmzZaB1t-qz9NtØEϓS}7(zP~v^4sҿ'ʤ#r7$Ǭ[W'Y m`?FXedISIpT +sNs){ZrQQ8$ɑ- vڃU 'ݳT\yWOdY\/N}Fh=QA*[EWE,n𐁹gf::J@lf/GT,P;f^=0_'r>o[_jaƐ~:~VpA UfMOq>D@#= ~V+͡r{ozmZӴxdǬ_/ m Pj:Iwm tܢY8VM\m#<ﯙsmC{jR )+x|0X~Zd@s0A;tg:<3Q.TC,KSc% b[=HWs&IU$e(Ǔj872=~Lg 1M݅}҉S1؉Dr4$n RziT`uB&kmZi5ܦ TZZaoJݒ0(CM6pu[v h;{pT䡧 7ޫZLeu7ХX@6RL|{SFZJՑY86k O 6:k/dU);zXA+V")ovJZ:~%d s]L ֮g>^8mr׶O5Lx~90nEqC?<>P. +1Hgb gჼb6{Lg+c[X9Aܖ}bz= ԁ_CY(Hmp0O|SolMdl, ɮ `;Q"X9oZ`уv&~α$- :܆tOeqծ Th\r}EvL{)\˚#EKTdj:@╻x=x6[pp\&=DMIyq3@xUkpkbgfb)8c-Tk#DӁsMc9H戝K#zp`lw[nű@!fE'zWe~!(1"q2߷QKbKVSt+n{}? |[c$xNjYvyB{ 2C<6^RHٶ}~D H%ɔx$0jP`Ge 2&az?mѺך-1O[J>cK젬9z '~v0%D<&S[ al'h̭,f]xT)l8 AJ-{) ˞wtϤS'kZv;i^ 6]hإD!jLqnV('yRv hХމൃ6%*1fw_?>v\9'1KRycg ʾ*{-s"TrKS0lM׌SZ}0#GKjͅn;]Os4⾺N>ȧTY¾fg]V,1m`-,[/يm3tQLbZEўaZ&*0 lsGuqRO5iCTg9a6Q=&`'0D~BυO Ikё(n./۩G=ͩ!eM#9iDzo {u^=DT|YϨQYŠS]4S ESbeX׮Xqn[PPԽioZe*2VPg^`HtZӘdg?ЗE-Gջ ^fiX'@S{]5>YhfNgOpJ^܌{xK4TnyMv] {[KȠO?}L^{yT66d <-˜˶~s ca1S '.j3#czsXp<-]?XE^; TE)l!SkAzHAqkW*L8;uz(LPe2ƒ1a3'Na&{iwoaMpOVsZd޲ԧ|K›ʨ1 W!l $W9[#F7r^*kAXCR_'`O m$[yZm0ov*jv<3?B,%GV籏ʻݤ;etxq* -K4mc;;mc.2n|zHjD$Siwi~%J^p1 {ө{nx}ߐ_iuIýRN:*k%[!T 8wފ/ rm>$#y D-|"G"tȎɭysƣ^ڒ]fH‘Wr'P!x׹O'7ZihR',r Znp/>A@( RէY?@-1UZA;.)=w8 .Zsѡw:!z c(bimt$3Vn|̂} 2wV6ߨ0eLj2" V!]>̯uJ:eƖ~oT7,b˄;_CiIIz:2j,@/MBf&E XLsW)~`2Q#TǶͅܟ9%=wF !j$ǹ9VΖ _ o<[( X%4JJ"NӒPDƨ--^]RTҩxM|Ac0X@wUxt&mJ;V@j2cL%bEd=uΏ!=yToS$`[j*SS,4eB>Nܐi=x"IjŅI $V=Y\/n]UZ5(ƱVSAbWON{#uis'i$b3 s">}G&FKoǙQ8lcќDw1s%ń? avļ7Ӭ3MC sy)9M.|D@eOHz LrR҂wqM& yI ~X@s̲?Wme22EMZ?/bo&*!=xjcM.u糝ݽtͯLJ 4$aJzM0Kʖ[-%oW"=(W9ZrRC'5v;g&6e+l ucTX6T'<(Ǔl+NM&E<(72R8:]wU+ KDU#ZwqS* bZTKOd~!!Mu O!h%lOtܕFBhL]!Ǡd!^@Zf-nK cOix^AsֻHVL--@Z6%;>Y+쪵pc*dD-qgBhqAUԒG"X*CZ&`LqVe9+dطVNQِAqr:nA/͜0]K$|ɛ۵mbƫ|@y,Qr56"9YPv[l F^+B䢧K -ags%BN ;5UQ/< Azld_?ݣs߳xcҧw?e 4& 1OVP >{ߔ!Fߙv|;/i8HF9ҥxŎ^n$Ýg4[9h 3lb Zé2d|[< reݝp_9bH_&z"v'ŀ-~L_p>Ogq :V%&[SR7F5OզCkܫ~IȤ3 :~/̾QPb}k83b %E;E2_]4k='{.TK((ߺ҂U.GĤm^Ψ ёkʴ."63~@Iv]7L-~5wӤV==uq{;(~9g ;D٨R;,}7.@Q5D:a FK *_x f,ESёb#_xMM W>RB^}.>8hM-/ԙ"/HJ#n;m>LyT+Uv*nDۜT Å>NGbFaPӪYFD4 iQ';wipp6fS3.՟Q>?F%<<?LykS< 6vtY^w[N;5&j>Za-(l&8fxy:R(Q7f-goٚ>yZkQ\BׄMIeprd X{-8ClmR<Z :4𑮇h#`̚W4i|$O{ -?;@ ;^?UK{pq8-(0qTb}ZNg=۴$/%#8Hyn]FM3HQ)_Ʋ8F r!A@67Қ* {Q \*y mft*AyeH()lïbryNok$ݍK 3-93㠶o2r{DD+WV6mz^z?Qtp" d:=J[4 `_u7<V캭#'p8)|g)-t1蝤>{=h_U{vz&՘J݌:%oI5;uEcX) W!an>dߣB)W,sBN}<=))y_&lisS?S2<kWpm.@8aw0(uk{j(P<@$X;AEF녨.Ҥ2[=۷9z#,L%T#>]Ѧ>J7܃ p s* ;!o✝Vro._o}l&bE6KF%0&IxmS8*.R*vP a5`n,>A"<~!xǰV[І>;@qKgP56Dyu2-vO8̟_[d//jR[:@KŲLNdrya{ly{D~Bź)qRADaV>16!/ϾB#@?^eĐ2-Xdr%|bQgYU^W^.߶L] 8./dpJ9LWAXԗʵ p͵ SdX^.C7:]K+OX<:;57ೝi%cȝQku $ e)iHi=pGdy#ZvrT4\LpbgP+&[W+콏#kNqivSj(I}gp=u6dqŒ(¸}Sm:.뷶Uh5y#}V{*Eͅf {?냝K\ ? T&MinJmC@*'[N#kmѕ`ox ӱE3]+,dBBoX1ru%N{rրo_wZ]zk`7 L `äz5+:қ蒺t`*iޜ%yòY&s/VoioXFoB cș HWC~PHZ9g`:X@Q.Ө{Zk''e/0yoהE- Zƣ*3_\<?ݒyeWc`h쒁MmY5S( j6:Ʒu3LJAN_/AFAɛsRm]3nː{V0e\#2G.+*K11mSƍٳN j @y\ =kv"0:DʄX ЪS`5*0~wܡNKIy_`w&UWa1IJ8w,"iNnh}+q>H-BENC 6Ux+Jr'|CX!#S_7uf>Hޱ6_cUVvp]|f.sF@tL2!d;f&} CmbӶŕ!{o̹*)$&%Ѱ ձ}^Y򜤠~8t Y4xkٗy2jbCkw/ZGcHa ~^y'kMx^@Q߳Gj~f S%#pJ"Lt#a&UÉe1~}DC8U DVrj|*T^.Ŗ#(*ۇ[N'Z }s|v%&vX^n0P"Lsϓ<"˱[}mx44syTo~uMʚ~Y;#R(X!ӮqkT( ʻ YuYy)ґyIJ^rL^R'D|נuY P0vW-HM(`IR뿖!rd=x $3jUiY.OZ\bA(oklQD #& ;80(OL LV(")9gmfsWЊr(cK(_k˨iآ ;wU~`n#-lTLFYtYB%oڑaJ%N̼tc1}up?mcQ$yw '`psNCB Lr}vgêz᪍8R#aQ)$aZrTWz$JA;E..◠u-۩gΝLcYb$Ct|ĵFYƹ/ '=8lt4$>)v=d6·P(N^hU/BjMM8IdέU뒇 &=Mqlz:耍>E8¡C/Zp垶3c|UyLtiU>%=qft81S^P6AnolH47d~S$c2D?n[a5 mwE&$Ux7ӡ)Hnq15K>6!I \Q1C ^RyACo. l785^ f#R{&Oph4NhéHG\e:3HA8._BNիo kίɭtdٱR@g曀xM'&P7P 6*FDDBYI|LNQ $EH3l4^Ɋ`Fh5*^M(5&ewr_*82ַv-9?e=?Pe{[L3E1jR짠%n.Ǭbwt̬p/r4k:}A:3rl>OaXwyά S] # P:yY+!( K.qֹ%q>~ w&++Z-E , W%AJb搩&ߏ\,Utã eYgF "xsE,nVn 8N0!2e/Իi}lAYxlCq8Dhz1 |0ީ /z:p-6fry0:bf;dIkhZc"{uXe(ԍ! cPs)8`G)/yNAc':5%6lyGנd}; qI=aBe6nVNTA愶H:Ec0C˞SnsJK<8;g|oيA62A6gxz6 EI+ת?e i-c]&orPx+J?0kHZOuG):Zh5"apH%E \v*SVӫ.l+ 5+>pcs5^ߟ3~lN[#LԽ&d{7‘H'ݠ@BqU]FEFk(<;T>}LJ-3(]z'Oj= 5櫬'wIՠ l.pH7n%qbzI_Ć"Z;h˳AەUa41)%݄_dQDHJ%V¡d O%[w%&2 L,N'O jMk+Æx6Z6lvnL$6&_ZzbfBك\!\WO63,k`pl573Lژ},ĭ!rp#9Ed,P36XU%h9Igc.8'13*V<\!JVr^̗+00tݴkH,OԶT"i!6P%mt$HS%>'Eqپ!XTn,|c29VWxU{ wavh`Eˢ z@țMb4nFn||q+edY 2e~&/}gܘ/s2<{UNIpxօQ%0`5j^p7و by=o[c֊W[nh;5:a1q39)hx.-X$W.@7L͌y|8Whu׹໒n R\_ `L{[MN7}%hFæNy 7-W^Q2?DŽ|d'PS V:<`F'7ľE8DN,+S-[0.` )Ќ(Pt GYV 4"BY8!2pۃŮ9CtZ붥7\$j nZUThޟ$pǶ˚Aih# a-F>OQ *ݩ̝Ad@kQu`sRǜ.w"Zs|?ԏnԋӇғ.2~O0W4O_Wթí<g Re' e&mCans*`s[2ݛ޳U 0I|jc!01/0n}Pp;=tg"@>QD0=TqԎOw(ZXh =8UܴaDq{(A . Tvj1'i:O9:A Z'JV4휍#NJ L|MT+?%mgGvf:eA O ݌uʪQ#A0)a-j3Pm)1qFXvr{~]ԛJ 3P9yc6dJXQgWcŸ QiԼʽ[by¢S9|N6xPۃ<R{#._?sߢLd~і_3ӜReruW"`&h>dl '{oW鬪Č$h7sYghx*eЃߙc~vA胈xWD-*GnUPW^-N&H꿖 & VR -͕MGqp;7g#VϨ+dпS\{pCN 3sQm̙,0Ԣt/۝\}=O׌P>w(?NB׷A]w+(oRXm}*of)3cАc0'ȗrӓAF}¨z[BI#wT DƐOD1G&y$7riE!c}X?i@P@\˷{M~'h (lRWҊxa5z/Y(jc\LMZ {>H[vܢAͤoeb,d|4:-W6բToE 28% Iw7.lfzHք՗:~ޥ$D82i%e%7oUOzZX?$V8e/_6֒׽1! f|[,+ID[);ts)0M^W'7_X.ߐ>(+z!9ouK*8S(XȞky*tlr~`<09ъ Yؙf,f#q$3ۗ%2&f< D>jgpM?|C'IƎ/[y.•[ O*<`)(T~"WO)bD-pȣ04'^\ wgGĊ]lwSBf;G,MhX6)6>zSH~U&C*F|S-Kdve0| y,5paENtP %>2ğIu÷ret`UCUɓሟIîfWd l[ZgKBW 'd̍/,O=3j?d4qzGH 1w|p U)>}_3aE)pxZY_'µoB^ɦwu, .&ŞѣƑ;kւeuqpIvh95Mn/1MU6z-q7.`^ARډ=u]3]z3$14^"QWj9 &f`c-?HdH_{ ւ㴬Q~E0V3ˆz4[b E^x>O/TPEmr<(&^M ?5ԍP(p^B=Gu! V']5WFua6x1+x2OsA,L(.Lo=vږ_9F&l|Rc ʫLMw !`@Jqe5=3)7$Z9gqQͻBsu[ +-G 6WtA-pPp[=TƘV0nmM)A=bt_S aᙷ"4lx褰-Z 0_(6~Z{xVg^suufDzU0 1B+4Y6]"S~V * Pe)+D*&2 I9Ww~#ЉOOOw+ܟ4п>ݼ٠n2L`ZU8D2l.,Αm#c PKcz#cDLr$/M[h׊eb w[*e|gr2 <> ߜ6OU=lধ_4e6\$1*yVR} -/[P7Kog'L QjPH!/g+>Hrv!t&0qh|(~fy{xJ_t4э?LѕyQugdW1zϧR^ Τ"|'̑gl<˛hMRޗH Rr~2ZMp/zܡup:` yy5Y);K(dQ^+g ~lA_*" MR4 R|~\*c1?skF`c"NޱdE`xSkC2 ⳞzJPvg"C܎jM)R!t~CP Tפtͥ^yz.^-D/%Vۗ:3CI<]iNͦY[JI΁aNԲe%˕{|abNu _5WH* 4ǦbQ/@IAXjw6A--ء1aq涠Z21%N BZ/bF{q~lNvwUQef&k~nfEdrg!bf- ^|.vJZ#bϢcn(7:k)ښӳL8 頢'|B}! N mIVZ%p ʠo'eu./s8^9OYĎrN!Hu޼J[c] T3nx4@7Y7WĮw#ƷKMe6C pY}C-i*e1ʘ#(JwZFTDAW.׿(x(]$uAh0Gᰞ6N fskvFI Z@$.rCV[ 7eu3lGMl\z5r}#ZuJG~: 4H"v{7;͎x_o(M >76q"?[C?Q 7D)xdy0qC&%O-^)h{xN)ަ|;K^3͋~kOgI`T6n<d#W%8V 8;xhޓN.P}tdWV/yNY f~zDSK[Ue9T. Ľ&2qS{ ߾U7~gPYvHoјđbiv$#& MC@DM.&oBؓj8*cJ7mw|;ٖD,r- Hk(YBX`Oװo@@G0 8NNuN^k"gEi'Җg\stYUGKRP ZJ5,-y %_2;^q<ŰMS)>|\tO,䭄g5zujE-sjIdSA$y kAlGL!8A}/ T_TmL LGؼ@Of9hiIA~<)>ox~G֍(ʚMȯϽ.LvK\41qw|أ?̨%'jECI2+ Y݇AT`VIp&M5Һ'}|~(?Ug)UJR/ľu3Y?dzB%6Q<6TJxL6;ADB *_gx:-Фg1$bJ]# Yt <3Bi~nnI1+,vz8yLQ:ŀyb!]qƒN5;5;_#3$RC)v.X{yFWjqXP"lAAdCZmւ~yE?<&^nC[&];I0zm1u%;%sY0)bM"ue̕ 2B)cEW6]j1,:&9[5p!O"\?G +pkr<#QldVt;C෗ol13Ĺ>g^Cq' yx:v1YѰas"VM9O=u2}BdzZD 3k5[k:JyHڂlJy{ 0)b;6%h9lO=Dwq?Ewzl_{ !ujUNDI,jjkhg.2s?PJ[Mn1&Il1פ7C,<:C '㉜boumuVOyI~S@-CHiӆ =u|jiB 9f 6‘7|ɲ#`1!f.Rʅ7e&z^ VL1g@Tl/$:AzeE]3I?J;Y%8# ͋j'2Kjx 1+Uxma<֜[uYkΫ 7^?X2&5$2% *ςɦ{y50;IsfU)^%Ldw-/5~xP'/ ݍ)!ei8(“zb_ѝC0OJ\Y;P>Z_P2].FyT$:m0VpXX9|NtV#`mߐQYiS`dPr9Q(\P,l0`_?c( KhNp4i]>M9hSn?_d} .ƞ@h" >;" (~qS`l B0mRycq0Hd,to Ckg!8ŝo$p>h.a@*~xh`h{`xz'*^ڹFl9XW,qOnǁ;^_%Ω"ãq0$pxFhiE\d/Uw[wx%G\X0]w{? <A޳B7[%bĦǡUсbW 4N.6L4d}5z ȗEQ#\~kG܃n~,f䇉-᱃W{y][*$f2[Y4bgwq'*5 0==tMU'NnArnk^.s]Xo JLE? }iD|\vXEAմO윏XBc e/Lur)3*Cw1=yg\ӢuQ+7mT|K^U^rqTJ'$Xq@N g M"xvj|MJLzf_XL{B/b\<'Cа+X|u ?͎]k5%9lpM}>Nzޙ!a|J] %Ǜj?0xC x# K$:U )_5 ? 09{z?=@%0$7&B#Ƕ)WΕ$wi5=O7*Ky #SU; %rSN~+OL\D)@vJed4Z[ipzƝu!𬺰@ν,&Mjq*}Gvi^9L:? K/2?w3kq³ÊdoƙHƔv" _nwcv`i#E (VkG{s렬É>&Zf~cϮU<* YN :8@{zؽړ? FI ]FCcS|?wv g֙u[n& $RTAG%]]LLB@N WdCh_nZ(voPvɅ 9ԭ1d`6پ)ڂF꾠+# r.P[*שRkay˄a$<1'[ <0lg&f`I1(dĭ|HrPx@Ug:ֳL8EZCúv4_V3`>PKOZԈi}Zǎ}u4PrﭬoDT=nQK}7qk=n';]*t^X4 1'gG#ٟ-8x1NK7ʍJkvT1@&Pɻ %Z͛:-p:bgnm7OՄη.[:y'|6q.6ŝL oHuGD%n޾sOj#4e|[> V;C?R'lI4W'2rM*A#JbxA"5%l-;-s? '~ѯ"[1lӲ\JJby@I2kKKlđ 򚙩$t#` ^j+Z2+"ܝAJ;%Mi?&氪8oCL?e Z]q}ڐ0BCl8-ifpGLg?L.#@Ђ9J۳4-FC>E8>n_5F?H=IjC^6_$X^hu, "cgtdDq,XI1*(rSf9amiQiR{"=C,;'^{}GE6W|[yE"2EϠӓ9S.S9P q囦Y>vk9L#h M8)`[.Y\hy*|KSg %n]Hʰnq@\ٰ݆v*GDhx['lC ap{^zEG2'u*lbVͅ1=w wYTM &>z6S4aL Ծ`^TqE<6VYwףx髮pR,3\dFK(ǚv^˗$,Fbް$= GSQIBnWVu?2n}W ߚQ JE&ĕ.KW<&+4?5 ZėBwStrxxM`xaz&ar@ė Gv!ôZSl.l-WL8K,v#|m0u [lĤ5Z1:Q>;_l}雷BS>KjLF?e J1)C=8+gΣ25NeyOXZHo<0E!>BDINʐ P9ʀTqޘ jCPuظ@yCzQbΘ#IݝX g_'\Jwej9&moiUh>ӿ!0Z j_"C=oT\Y 4@ew**{?t{kkf&irկ-M/W[eGNд|mYj`wa'31}i͈/z YYwD>`EtıMId6sWu~୉מ0vgFir&ukePH5ZDרB>j'jusFa΂ӜJ􀦞:E,7<TI$EpCSYd?M,MEC!><ȯ\8=A!Tӟ{ֺr s5gA~dez9ya߳*0GoB2Ug'}QQcFϸj=$BHggK0QjӃk,OѹGcp1W Los;NSqޱSTYau4Ϧ= g"c)z T:>RLbS2RDP>WSmR`_X *H?ae^ǹ0mG-r ruyB2;tu[8a'VR{+]o"#nB0엔+pH_&[_mW6YLle'绣]_ر ZZA|Eo* w#e"iYC7$?V|bo[Uؗ]Æc9{ʆI,iN3rn+Q̲!X!Xb9O=wȺcG*l:cXWYTOy}̈ND%3b(d؛QB>pv|]ČdǕmuQ0}M%􊠺wzgXh''q|!侻 ߿/q \nDLk~=ҹj!2Q0HRY|Gkj  N'34?cXF_Soƃ:4  Γ'X) pkYC0Bμf(@봦jQzŖ, tiC>WJ߮֘FQ@-77)UӹץVEYRyoׅɰ:|nbzqqZQTȸ^[0DX2NR;yζʄH43 K\ &`N سQD'(ULEdl8zcY.d*]U6 v+5A%2~3lh_n3"BZd:cM:T+5A?R+k1)3nyH<|̅ g@B?e٢@ACۂMTPeAƎ3/%QԷ98]CFG7]һ?W[עe$ݣxw7C}W?Vö>-Ԭ[]ծKzt)pݒ]Na2D"4-fFuhD{lmD r6k'ˑ!H5_$ @tp5AvkS!Tlt'6*$(Ҫ/nL0QD ʦQ>pji81`ށyJ`E7Dl/A'HmҩtAT]8srAn2I&CJ7MOӌ\'AgĘ rC0#96~6/) }+:k^ l`!v`u(qr [q$ګ(5Ж٠x je۶pκ mGXfzZ{G70Bq@#M˫Ӂi:BR ,aCH tj C l-cWkb"kF3!ǣ!ef4+t~#oͶI}?v+PF4?k(n Tm?a7ㆅc6Ԑͯaׁ^7P߀W@"kj9t+.@$9LG` U43+<q2޶(j*3Ql-A)u>5vw&j'% h)|喺EQjP/F7DsBI*AES j} j8=E PK|6CE9h\t5W2?gaɼs DI `LDh\jɪn):wFshYc"tp@1_tfVS B ;9xJ)rdu=g?7#;#Hg\ P;ΥyЯCzO>4ͯ%.^whG/h׸Zj +4 6 rYh)8YØ2$4= Z]sYoC 1#SDCE|=نUJn^!M|~ڝvXoo}k8rL : ?8|O!CHRgɾN4WsOH8D:6AgIw=p:/nWG!xLIg\`btuEӃ+ k!,/@&"^:TF6MavK_u#yj; #rvc-'cӻPQiq$(H31o{0&j- !'@f{VKשqE>Cs1TZ OȃMM-K[eEoE OG9_#RR1RxMvx¤ O(~mGm;76ȱ&΃jit̛#bi]30Z aJFQr"|>;wC'vE5 oa0{זv-c ?ֆQwvin8s6&_FM@$:m+EQv#)kRyL _)ޡn;F9t No`l{2fQz jl$}|*'iG.ն °7|K Ww!"?˜Ndr><|ɮN8ϊkf0ŕխ5DB'h,eH|zRqvI}+-ĵZ{fäyȭ> d]ijT*޻1s8p}6^#dY Qq*BLtyimi:WՔD7(ܹtw kN~߷;e͹m y .$[:9]u$fW%?Mw{1Lv%fRQ{G"IϲH_pf:|\RV@88#\"R8x.$jNrUou0}oh90J&gѥw+ rq]~Hbn❮ xYgUP^H % }ˢX_ɆDbw.=  J[ q1ZYbai DĔLa [` Tj9ÇRf{bZ5rJަYi|8A@N<[_%^f%6Üd3uȲ&08KؼoL7.v; L@g$<%^9)\܍z\tˣg쏄o3]`Գ S u_3Ң֕vdX R \l^aC*2g3G$I!&2*=>ma+N`a֦#-!2Ӕ q<&PV"][${˲#D<6I]1.и1JzGBdYjՏ[ _vf#?l_zϥ%en>j 7!妩xO\YqE曬|ḻӔN.G G~:huܦEήy_QOI'yku[{I{~"ئf)+lf_nBp?XPK=V?<[8߽][ y)?z8Ip2k?0 qtģC <)PA6AUe*RIkPHt: ֲRy꩝z>C0Ni,F a 7W0-,RRI#:C سRLhbIQr D2hZ}1,}+Zx? .$߆u:*ߵApNQxdqEn]1uOFpoDo:Ol ]c{ckgۓ*1Oa7s4 <{-xqϲy>UdYK婍H'7&p7;9k9MV/+qޣ7*}^-;lL)q'vt`fmˆiauDofdTr0f#gn̔?8V8;fU!Udz8D4%-TLqOA[6-yZÅ`OrvevH,HL7ռ=X/u䞞hb7̿"!6&1,)(w-<v3(㉪]tcx&[YyYo<$cTj,[ 'V{cm8  td]BGWkhΨ+;7$F庖=|UH:תg8AY]@Bh(FgK&1F{Ы_RcNT6΄:alE(\ X$;2YN=&6| /ҥ"*r[ky(ކZ\i1К` 'G!q"$1TZ|*6n뒵d>O.,mLh絶v0gŠϸ?,c<jb fam2m~I@`IpyhUwX4>9>sӼ˸}o՝Gl`uXeȫgE5[_Th/}BVixG'P3 dl~y,3&"S cfG!aZ9),jkbs]tPhT/z7&ڻk; Iɴ:AX&ī{B)#t,=݊^ .TZ8iW&Ndg~0`0WsDlsDa߁1XV>QC qcN;="6w a@9ki/O"#?=pL}ԡ  '`$ '0- E̐LUiq'WBBnB/y#k &PBLz ;?Aj;)_Ҙ깏i$ՠ/ p#6Wvd_l `qYOx0B'd3c,xK&гf y_$|p1OZCϞC/#9?C>t-YrxOuש`,ow_] PrHD޽̞IHb'ʫ왾RtT,Sbs< {,mA^ j;w0mswA#*fdiچqfQ :`*\Fi6m!NiJ@b"sAI}x,h?;[h=:l[2LQK5qk>L:NR>1d,?PCJo4SCG%yё%h ɜ/髏kB?#rN[,,QA Fr 0v~g׸ o%%.dDX1d9Pm/e h/P,ƶp`q fA$C  7/.ĊNBFDRZ.ܳ*?@MS1f(/J,Wfz7b%}XaVX5 oA%=ڗ2Ty/Wl01✜Q5crLvBUinnцwEuoOV&ϠWO?=  ۏ7|w/7HMzd"LMڊvy>ǠfTەG֡{pc-f՝?wf0U>Β6ZB0`/ `f_)f*VgI(GI\F}9+ *)) ixÖ7p,I ($nry"V0Kwd.͸е)G߱sGźF ִLذPAZ=1\Ll&7YT&LRT oҗ%;P@i(9f{l;e6R4ݴ|F(6䃷\9 uɩ&܏}QLw̏#/4nTވ/4mo,H3uU'"#f5?C &K 8Chݬ9!n7ɣA :MB6LeX~J% cM[u(T(WWYT^8C%ܵvbQ>"鄡Zm0_ܺjLhA<+v ݻ5'ejRPYK@X8Dz0_/>2mnߛZ刱D W*LPa3uy4Kw gNΞF%HiԉR9MAOfJQ빔DI݈0xL@]d8n?; #<ڲ &A>j5PID(LD(Y'pmulX I1 U?7ĉxR](vs2 t W_6$k*ws9@KN)R+6Ttܮ\z0]=a-2v 熟E0bG 9,@$byV 9V|fD텎"jcM1`^5) Ȗ\)xUޣW<O%(Ó9_&Ts/X,`0RI8-oV"ȅZAHN"xE:wbDž:h:4ChAXu;0Nh?WzwՕÿB4qWୈذPbLڱlYO@ICO@OahN74P" q8lC\$tT}Rߠ=QVBp2orN#~-t*e"Y3T4'g-.K ;m< 얿~KAFZ{ q7Bx]S+f5֗;Eڪ07CbABLt[aXTQC4zp &Gȥ;%2s,q?LU&.(0ceqEk<݆Dx|6?Ճڜ}הq5w]tPC;e(d< J+_4K>%?t"V#C'9=r _,Wjx\HYNBlDbm&͛ .)`%Sܣ'@5> HLNfkTγmV_xJ s}Ђ]|D x{q`ZͷG ,} # [r 8;/*U;sҭxf7]Tlfޥ.ۃ`dAJgz^bqL\0nfN뢀w1gآ/r_8j[.Zc|۰2Om!9*PPBWC^+MWIS"|4+R /g&/R <P 9|\9vN BL]JW"y5jB8̝d"k@{΁Yg<%WC9iJd@]a֣!*VΏ(]EWD6s̞x>6BHɥJfA{q>XAQʌ:>\5֢gKg}FJ"ߙ6\r3?S}X@st7Y𠎈?k==)z)8I| ) \^ Wg_+)fj+=UjjtF'VI t]H߫J!\pY1 [;F2buLKxg6xyĖbVћmId//F'Fr?B޳eIx )@ŵ^?a- ™3Kr:srJv.&%*<_*Pp/%^TCXy90cql& G WRo&RѳKy;'A27iVMp+wa2~ ^Xę֋Dhݬa?TTgu&%p~ݗ[cRVZm;SyQ9 D{]ªAG_F/dUHL\z ؄ӣsLdrMu(?U"B1eKX/(%0n\)a[cփ咑[kU"F=&0GzuMFxw)k6ZŞ ?. C*`Zb'!!>F%qlGx7شF|?Hϫet5bmCyQk̦EOV6w$:JqCE(1$`BԃmBDk&ܭմ+~cY;{xX*&"tWS @7LٷÎ)5zz<<ۅ̕;G]"V ^)Nb> 鈌qo%+O4u)u'iu7[2•*L5?˭a p 1ERußS#m GKx*0cW /f^=CCXH\<`,ijqIL[oypvr {AZBv#!*w{3 g|xiVڟ8iL 121{d1#,!J3JƑҘjznZY,t-5" `xS#k`u9(l_Wo3t񽻶ׁiv-:4R.x#0jueƅWbJ+@{ZE9M`f,R}Θ!%>j;[RZف8l7)*_fXZ#3s zIQJv#@NaGf0o*Yŕh7ncq|/HR40U8hj!qnx`!XjLC@$K t`߅ɂDf(2d)~1.JK w/qKc+(Ql*ǽ*5_o+LG: y%x.@P&NC[֌ 9x(cӥ(tn kJnnKZq1\s\jɛ]>4}̝LHNgk6 ʷB{pգsC1 ?gSu>HE@""?8LAwmL[u:={WIW 7nάPZ(R=9xnrcCᲤ?DM#ꫀ!D h3(; vG{qOIO lyUG&WG$tDێZۺz1 _쭢z a}m=;Iu`}@1MOà% ":n`;v0罣fYAGG!+kصF i0{NrWvIfqѰA6f9pȃ:g.ɣnjο&C}e ZL:9t'IE-ڷIX1̪Yc C?5vQ(d8/0UA_J5,~Iѱf&k| ,9)aQV=p ڀ\Hv֖_ adS :ֱxIb1'L\LJ M, Նb 1 3]@1VL>|Ɔ9QGd߼E-ԏV)~ ?d|Vg75uw}5\ò ` |2J#fz (}kq~Yi h,{Dƿ= üۘD,`#{S' mZJiCiiUUO!px4-ҸI6̸s" V ^ƅDX-ڹFc`e0q&;1g X´4cq?G%nL E+AKXzf_]D!'JFLNX(AL6/t8e 5c>dhT_ ʲt>%訧R?T=n&6ϰo04|GFs͝.nsܿ#o͢Z"Il30W vm);fr>I~ԫ9ّ)- ḙ,h9\`(?#]ZyEn-'@_;M9կ1>Y.-,\c+c0 = `8# )b-NԦgcMڢ'[Au?l_U\c(d V3eс+)BVJ\eӼg'᎒z#*2e!pHds 9WPк*2!-bMz~GM<9K"YhHd(V<ܠ=!?FuMȉ@x(:Jbd f{'\Ic<og޸\a{D 1 ܥ T ] ;0eqW`N0 ('-Wކ!8_ˤ xPTg6Gt|X(j_d U, uc ؾ3?"Xꕴ.Ds k\AhqӻVVcaOl f&g${"ov:R4NL(G- w]DEޮK0 e9x?Si{`H?BOpOY TP㑹+w佫:9l-䐣uM:%(K2Ɲ7%<}%{Vg[K$2GWI:)mi.擱%fWeBՏNSqO(M~ V5NH<1.4 zy*TӪ/R_1XU<4no;]"G/ۺJd % {uwp0xs#\[^,0~mbGOCPi~ċf#둽hƂ!˓M%χ?̎?:f9)`1MObMX],^I)/W,)'o*έ9hb(h^8)^OX?舕*bF7>!B=wO~{"7g}ElCׅ^LzoI1GKe*p7ҁ9&SY:&tĦ9[Du#z-J2u >A*=Li4\B(tX_Trq=}Vd כ(\uS oߪ ԦFˡmv%1Y/p7yK'C. |qpŽ^jǚ(93$V8g۝o>rYM$x)m[h>2 ͣ5aew̨ FDd+H+բ\1xbݩ ]kyy2,Wv1^)F3J' FFi-bx#k܂fE٤y짾_M8G}(Õl5 Y{\%>)Ic)aȷY1,of[ue4SDN,T}]~0 ݱD0ՂzBaPitm~ƭ-7<IƕwS5z j*ـ[uρm^" r ??OT#j/%OfG[C*Չtn-,`Hh8 cbi2cpprQחʸmyHyXu,z7s޿Q d}SI!<-;E$XYЅbsI$: ݒB0,^L".9j DlVy}vRdN)i1Yk:6{tdOMyO' ~ˉ#=,kJ:ʜA~|5CU)([u`a b\^.}]{y\脯`N \!W+uiELc^,+4FF<ӞQӊͻQjܩVֹ&okF3WoO] N4MEӕ(q(`(D l\m@]DКcP9 hIP4ړ@GYB̃qG0ML]GŰ Y3$b!@Xo*Bϲ5f&bb呡׫>vn K$c$-`S֊!;29DXS0>b x3&4nˊ7xwSRp6Ţ=U|j@1b Q~/U/ݻJY󧝗YlMne(u#Oi}3ݕ),V%rO!N@&6CڽdLE=8؆0G'Nt+ě&_*t";k޾xʎt'E+G 0-7p=^_ IN|%[b_! 1f!bةAWom.s*&#,T5$ߕI%h|#R$mq4w㛘$@\jjn\Tٖ|=:sU׼Nnܛ1:#(M2k B} <x+=wZ~b˪'jEhw3n<Ìv#x x:h~Ye7. ATȧt꼦Jiܜmr?y-,ZKUf[?Y:(*ގ,x_ero^FǸZ<CEL-ՄE&0ILz s3GzBbR$ Ou~j/ic 5~URuLn;1Uc!iO{q*6uo|*! yǃuRPK]s>@<3@:8=i?Խ;_87”Ծ/ֳux+X7zDv7dCevq@[{BPN9#zee^I F_f($2'WjqC!N5%HM$> ) 6&-K9ɾ+s, C-m`$kx~ׄ>I%D`έ"paF&W(=Gi,gAGR97$hHk52콞ƋjgDGe#:ILH Z_5,A T,6''2cG})=9I"+ڳv3 zc$/zgхS3F? NG0jҚGFL5&_HRҍgMpiD% <+4_J1Հ,*]YiZ.dW:4 婜kOhsq1tA卯cB>ٰŢ4GKO 4 T́ϧ0ez͏ 3gܣnPdYFϯe!Tx˧U$y]uOpBe Pp͏ވ&kN]Fzq?׎Fm>.4$6<~CuaN45feZcxe-hT3]~8 ,%%&.hY˰+!\M<'Ս1e";,=7br2,p^}Z,׸h"nv򋀂^uyEF!6}mVfPxy/(u+i,'$/Bkzv)0l,5θGD'~RQÇ-Cn̐i8)! Y"HET]$47 ry|--f$yi|j~giiz12UH J $pf2\CUڌI,uR>چE߮ 0J|X )B%,eW'0?j\%j65 V1zL5؛2~%*gIw*U3ɠ `u\14IPbŻń}yL`>0uU*;{>WLݓl(RH'<:tj"q 3~9zȶDIM}P! M/f`^ UCu)ΜdFgouձJWoZ 7!oImfux7ސP>7%˔<Zڟz0{Z^AQ joyաsBtC}SP磸[9QpJ(PG^Á4vo@vh#nGQ4¿wط;a4Ɵ8yP2ޒ)NT_g6ݼF#9V޾gX9?fc%lw$zb89EC0((Bm>%R bӛ*EUU ŕ/~/7NjÓNƞ MIcOȳ~k @Y NğtzGCFNJ 30g4ꆼZ 3;HR*st|-Q5L@0C*Fo ƭL eK l4A-QZ '-(ɲPKl/.Y S3=;҉DRn_ژ<``!<"V6ʳ+->|-$.CYM"W.1uVt-RSM6`0Q;i֪y,I'+N4 ¿U 鸽 Bc㋪mSS!~Y,.[AIeZQgI*FP:l!r@;FZtrnڎ$b4.o}xv&Az {R|]D9>e;5WA2Õ~d^0wÝy&mSs@I.a3}Ỷd\a8whdbW[Z5/&.XyA}m~NS݀4:i\d>0_ৄ; &0OF~,۷4\V O-(laf2QvG˿)n fJ1qX ^*Sg^ jkJӇÓg"ܮV+q03 %hc @lIڿ^K>̰C]&~Og=@miZpsk3;q'M،_B4r%Oqֶ]/3GpI=Ôa `ڽΩ }އ~BIPT#ge9VSv'oH͢{uQ^3Y[Bx"U[aǹx~,$| PӸ< 2)6ElyaOHi+PΙT@,OI"uk* Pnƃo ѿǨzKFZd>@u../VVl#ArhE_J s6 0}BXDqxm9JO(se̢tIDR@yK%u=WGA1%AV4AS :#am U^"'ϭOkچq4ܙ1JHhf@<ە*pBZmg.~\km |nEF doL(d/:7N‡*RVu+Hϖ*Ȃ X 3}R|H$HsuCPw`GH?U&Ͷ,2 Ms2hpIXi/R`m+arm`\)"2N[ [e]pyݪP:h_+^#Pm[΂{3j #SIP+t,;Y%-7@gX6pTsbdU-42kՂ&Ë M O]AQN/͠~u5܃ciLj|Myƌˊ24.65~}27m-Eo+x@6Q y y++k0,,ʹ r`g=WFٕ4xP_]_Ɍ(bp8@ֵO7BR%GNiZWLPo(:y1c^6 ;9dZ7w%Dt~XpPcekdFŽbhC2f_!RǴj l/3F 5!Co6-nQ9Ck:CO*[Rrݾ8q+E3wKuwS^sʧ&L?|%ci5j"NrE WzSgF0V)vdiCD,}f̐ ?C80TfF3}d:sglrg NIʚ85llyIO*%8>;K[;Y1HĄgYZ  6 ?E% dOrdered_Resolution_ProverCoinductive.Coinductive_Listdocument.tex7zXZִF! ]A-MՋhvG"uIBm5zgi%HRy)r e#N*hs)Idg)ĊAw]CxəY%aHze"~yWKI&1yR^,QLPG_ TZ7f0CE89w[lݟ 5s3p9dI]MGjtE83WQG'@E^U8fN)p;NQNqa0+$3Gз\7Eku[PsYfcY$e{o-H@ 9m6tjXh9rƼΞvoPuLJhPٌv`AQ[ hyzwE!z׮UgˆFߛ?JF=a}4mMղdfY%+gͰ֯p^j=àAEʊ#B3O2 StG(e9h_Yi%T[0޶SktA'ZyAU Pҷ9J!$)Q~^cZٗ0]#?y%+0!DVVo+ٱ?0icզP.釶+H60dAxk^߽Df34 nq|wfA *+.Ӱ$j _$NV#C5\h-ʅj)o_tL(\㹝7=xb.q?5bطJ*7n2*)2?Q͙W9>Wf~9S 6T;o+pkE|9ffN=óϸ+@n W+y46F}ʧ;aR%3NH Gmoq+7-胾+9 ١90Ueb".@q k:9G_`. 0flKW|D,#4xiz(p]݈7a_a~GV+qo6< x?9`6BT=~ܤࢪ\0(IRߙ"Ȳ8Н\}(fF}0˯暆ɤb+zfІ a5MJV3=Q۳!Օ6__4(ziVςyx/E0&rk ?V^ Ot"2S8K0yi1u Sc]+ҋ9t{=G5p%#xg7;;ia0 @ B׻d.Tagꖵܙ-6QN9}SBYZ_[(Ct1rFy2Z߅#ċfC8)#bBg81F=9,=6Q{[U_1zi.>H@S3+7,5wA TD]eqoAIÄLhs*E$SPB-yդR[I*i-eVh7) =6#Ϝ ;zi;ހ[#UF~#1L̉3@cD۰N5XC^8Nq8z&;+jp/[R|ю%_KFUsB".hwX5ʅYi\MzVR\\T}2{'<O^̑GpY6;*, g[?rH2v'˨gYZ7zXZִF! []ŗXiɟF8r-i-Lch3XGWZ!ķAGӧű("]pCDۃzo?Qa8Tfn>`OZ ߂sp--~іc-NTT62b:Cug>OT-[gR=tQE@,E~])Y 9D}FGp=|/8 egNyڴ8KmsQ̀ ㎵:X Ϸ)Y=+ds>;i"' fa2Zp2Y3(lS&ǎd[$Gs'^)b ǘ&SSO^˱Rzi§_L>r0HOFU8xJ 5`WPۤ@c-Gvd%Ł=}eS \zEɰ>Wy؁Bߩ'zE˝Pa:)"&c*aY(eO"AK-lnpPmM6l*?}N7 @q ʲKp ; @CF2b-g@LvV6 ͅθ7J7:I^#ݚ$c~:zn@X{0?ݞ?{D:1N 隗#8V2C Uѹ:vOۏw 9ʚlJGT' f6/kϠ8 :r'r铢T۩CQG%B;3U"{24ЌMՋBM_X1Q‹xn!0Y:r3ovN Jh9Kx .LJB~rf~?&W*i~xVn\4=Xx5_5"x)bsfIbg;sk2/%o%L3q-Ɉs$(!ŨkΞ'"rJSV[3UmShit T&1?@%g]Ӧ }D$]}~)Stݰ gӆ?E! =◣<:rr(x=M_QQV˂H2Նb]=a4y\B|~V_L jAVK_ɲόTa;<+ +3i [ |=qYi:Ut@~)4!2Ͱ`8(TJi{N8ftmjuV༄JϪ ~[$#ϔ'd5d㲥X :7YV`RS-s0Nx܈ Y.+bIc6s6a3Oq৪>,jf͖|[a|Q̅y>3]b. |%#VEY4q2*{ˤR00dl z Pphe~gG(m\{qWC $tot))f3L\:!BuPS{Kb5 eH6Zwyg4O<` J9ǝ%-cz }wT`l~>!檤yhctXC3m?1=9hvaL=8nQް٭MP7^(9=WIjŐkp3V Hg*kHQ+ i@ Ϗv$<-йeA,v&F3*ɆrSa 䧄sz+^bJ&YkG?~e;#?e .#/I|q*BaΚ8M%ocUY̗wffշGc(ͅHnP`ldzm [&/^Om]Z Kc>inj.2 z]S/lE Cw0-=dwuqĺ@h5`vs/r]+NR80K+MMELeDqȶ]ªڡ f B&ѨZD(;>XA2HJG0(z2cǃDwk"Ģ5^gy#|ނz@2w~T@juJ懵4SEhbҥW: %DuZ\Gv3(aƌ``0xXv"N{۴9FU1[-jkWc| 2 ~ t.yee3i*Rb5M"myX#M Y!y7ta];R5j`AwC#=f;[wlVuƟ_B[əj,XacZ@$ q-P.%dZ[NL!kVĕ"<E-[OOщ? 1 cCÜ y?6Zc &iɍc3%*B,j+ՐoEonT$kωu|Es%!~J]B=ulM}֐9 L8o =ݔ#5[DNoH~17_.%B>/>X¤ck2{pdΰ h9X=t:^|KM *.㎳4 V!pe@>N+VEv @A=3]{--4}\<9=q6i703o3q^$W",@{5ĜE~ggkE <|6:M;> ,<|:IKJ+gORu+{SHC[;$)z/WP9<:*# 5)5 Sȴ)-]%^65`[$ 7924INFF`g9!u}gZ)S3ԪG, > X-|3P|l% ; uSYCoE_.}m}z3`?C&yUTtiߵPݣ;&>/2ŬF3ȖR4UXeD2  \Op{= f/ig2y?EFU4BCJ.[yHð=1aգ6io'Ž+i _΍(;s A*qIy9^-[RFt>h*S a\|rj'kә>N:݁L!i~D f730Hz+\./$XjHG.J4-s=UcnInqo|7ЪW :Z鬒k9FNT uQ}xY爾_llC ;@D )3->[euLDk&EȺLۏ%U%9pGdU y(_6Z̹*bں@xx,|L'PY営s_cvg;>Ǎ7֎A, n⿞IpS*q$>/75k wO.7I<?Fj`m5Ώ+Y"ځL- {i{M`37teH{CY=\+c7hF#O~^p逝"4vҚ5/e,0P\ 9(2ERQ<=Z:Uui}L-I1vdS쏘~[9%lMb{[j9|+ahVvqܝG:P+Q _c"Q=HqZKH T,Q^d!ih9OE .2-7X4bCTeyܢSLҸ-0[7JI,۞O]b cd 5"߾ TC>Z^q o/~YWgnPyD;")`$J_=wuq\/M@ -e(Gxkg}fWdM|Q_S-T"ED='v1ʭ!`gYZ9539caf981f97729ca8884ffa12a2ed0fd61b2d596398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93ffde4b21d3415856a2aa742263abb20386eebed6