SQLite format 3@ @.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info y?l| ] Ordered_Resolution_Prover:threads=2elapsed=68.051cpu=127.308gc=9.192factor=1.877zXZִF! []ŗXf1-/6vRZyѺbO$°xYGݑ@-I6oa gy`ӥe@zby@t6D=YHy p9|J'yxݹN~m_iZ)G8;k(+h12.!ZHn/-'E*v8oHAPLߥd!9e2O\E2jew<.1`,YoG{&}NB;CS[rex@\%DЬ弉buq>\SigJdD7 ߐWTLml ܑzGK;ywNJܰq)D3' ~D==5y #XMY'd9W<}un+=laT T -/%tGz9Sę9-c<{T57hGQZ?d1; 7{w!Aj_>wTOk6w;o 23)a4f/gSp:]6w》vf[*J}e*V5s`$ɚJ1W 0ȥq̖Bo1gx=C`Y!Ԝt-0IءX#)j0jr]JNjP Ãv,E4N}_v7uN.t~|cv!ϴ` e/@=}X0Ww/)%ӂ0"?5(uY͏v 4r.L]Ewa[z,V4VPf(r7 ΍ތD뮃SjmXLk=cXmEY'+.OȮ(pv=-p?(2!âA R ^jvӎL[]Tk w8$Ⱑ;Dt͟>m t%K%uy4'Z9;BZQ){éHs+}>NJ)u";f4FVLl.m6fBc+\FbjNI sffW}J[;}[ bFU>8!@2̧Ҟyht۔xeLQD4eJoShԸ")U;լ@4lyc$D3T(vq?u ۓѳȤd%bte@A?2LͽZsZ>Y̞ 8ק)b PxFȱ%(at ExnLT׉"9Z'O~:8LGgPg`K\BwγشXɀMk67[1@ ? Ordered_Resolution_Prover?<?k% LOrdered_Resolution_ProverOrdered_Resolution_Prover.Abstract_Substitutiondocument.tex7zXZִF! KA]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ/=;D-TBd+Ӌ mSH q,PG}* xgR(luFsB4lO4ʾ>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:Qd?k% Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolutiondocument.tex7zXZִF! 䣔QE]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 +?y% Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolution_Proverdocument.tex7zXZִF! X]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~, .N?_'Y]8{uZWzNo֗+o\;FSI|-r;A]̖"r5It7Y74юD:o UTGA%$}#GS"_ SK dmwPH(u:`jp 7"d rUI=- QTu̟EAn2{*:{j9Zǎ w0#d Eү!$zK}2mM$E#bYsY "`(Pzۢk=umb: Mrd x)ʲbFM7L?+5l:TV/!x|)2iE@`"kCUhڋK; |DmF mqR $Ɛ$:D:\V:j;ÅYŖܹg;xJoEf $zAhc'dn7o]C·qGQx0+m1+VWc9>U!'Ǽ橬$K ȚzƃualI4f)39kI(PRFt&z򍥚5^B1ss,QeVC>IpjC],0c( Eا*,-oV+Rg*yUgՁ"Pbc#'^fE}OêKFy&?*:ï#fql3쌌>nXWC,Sp-Fō?NKewFcQPCdg7l8_%WC!;d\v9ĵgtl\TT،xb/G )I?i3ȵW) G(9".@Z2k㏤b4d&ja'ؾ%zrgF4eFBYՃMz-lR #xP ֿѭh[ǝz-dYYt_ĿTF-[zb.7\]erSf]$+Rdf7*ɹqw׽DU3c.o<&nӭҗ7r$ tZ*!{NNޚ :7ХȖ,H \k_Y:7 3M*h4]\AWyc(scH~~ϒBS-V ?Y5pL H.MߕBz,~mzZg I^I{q!V@j L(ŝEt=u[0\8ZRx\zf\@jcCވڏ1wVwVJ6#+}~2ұ*VGN Z^zF}(D!PevK2=̌O:HYn2_ JCEfEk5 :6&~aVq8yOX:QH0S1 1奊tf9V`ʻk 1Ȑ^l ^StJriQ:(s؉~O/ u9~)ˢu8I{}S/LN,R=,jD] f%)ݩ4.ĝG lHO$ m$X'Wt|qjCBOaT%P+.OL=9HwM'@f Xr=i)B4 ktR$i|YZ h $$h*k)ZAJ^-rNu-n s N(IrO# -->ED/fG1Lx{#G,ϧA~$j".||pZy|#S> Y<ǟk 6&b]P.ݠX߭5,hı]%?}V9LZBj{c%v׷I*İq?JH!tJ4 nc-_mEۙH&!<$LWs&&<=:l{}N Je;fU#mWsѬӻ`mmN^ $ĜIKqNڲnTKe ^yj}{+pCUJ\{GnIst_ 2s^X>q ?jlXp_$&6Y>Po;Ώ*n%.PI#J馭۷n ԱVX}PoWeJ=<'+0>D/ktq^"}Nz VBh0LKx^2rGuq]OruݪYʣ0vowh$<%'ȸ^ysW*%O/ (BOô1(/Ȣ"xwSăFfU*uNVҤ*~@i)yuԧﳨrMy߂DJ5)4k,d( :=H&;qv*gPQEn+:kS:浓+NcD%s褹fxrU`_s2I::7~b> e\ wwwIzu`}͘ѱ>&9M6d}}Cu=F捻-I* H'0 P8 -+4OjOuZ#1:( RҝJ[h$[sqo{#,ΖiJpƴ[i(Ϣ ]Q1i e|>5*kjFr$iIK"5>lkѲ3zo 6y`b مzi[ 0z;;yHvOSǙ)n+E?GŜc;tV}$}y- 0ʊCjJ 1-zQa8v&j1XoÞ&E1u~II)6qS&UPScS˓Xeٟ3]wݒB- ]iD=l ymF_[P9 t߯n[ [!: 9=~ID7!zsӉ.&ca-FQY>̃$An,fN&U[rњh4;,2I^ Dvxi= `9=Ra_vux*afw-*yIӔ,;2}scwVwrepiÚ{ЊkW:/eݎCΦ51dXދ9ǵ"p|a3rA}#au\¾zTj&Y ]jF\ B:K4^SĒ7O=08 $i'hՌ 1kPn鸹b> #kdzkEC7}x pcQn+uMWQihq"y%n]렆@:fJeۗH?/k,aiBtz gf&?NM'hB,!aDn=GV7̻iǴ R2J>!|~~7il,L }j$cMKی[oAHzBh;u'RKBuʆ?$Ow*j=U.⃳E-HGVg!%אF!FDqxɞ-&G֦!mJ%t}SH ۪0jBC~k 5ͻ[M Y=R-s¬v6=FFjJ ( ydAjP2v*ނ|DqVh8+v6Ρ"nibl*r:]}y{nQ~oxT^n.h!sܹŝ|gaA k {̈́}(jay=Ik]0FeVU(@e OoKLF0H|kQ°UHB{.%y(p+R.ena zWX#x1Ӭ]~'<6 >Shhirzg>|xƵKMMϣNrSTbbHS<ՅLE\<;͹Im$Y2, !s"R XYww;܆ Ze0oF1 㾛6!~p5X(su!v|q2VC0m_OxRp"\b"TAHǤwZb#WGRURZ[̞9Q qU ]9ɹ~wHKJ&?20Phٷ-;g z(󋽷~m2TZoaߏ^}슝On\հCvQ6vD5CBuR;]^;$cPͧ&ӻC#"%@ azed&tҁi=ą7j/ڙ%3՛ vD|>$`i$q FXX=%\"dVv? >&_w e@ %$Ф4+PBwm5>xB~?]B~i©D7gj>.!)7|Gk o@)ъ!BLjK~GBz!Ŧ4b"* ÛA qnBT?PfkYAw$(g%f*q`jԸ5 ,Ɇ/ bR>"My=m"idN<2Ezj"5 \ϬM?h%GtFʼN=(N[y"4&T†bhEMUʙ@GВ (do `cZHSrQBڽ)VtKۑayŸ42*my}x\<t wDtU '53xMLkly[vo3H7 6,Ȝo\up[e"x9@0F԰r^'%Ǟh˷[.T&K7. Esl_9[vvC60x~ϿУ]i;ed*#[dكLeejرUsN_ɸ&6*)+Xy[MvcxX+*>O5xi< fP$ltKˀ"<\蠫CpPŹp^0PkAsY*㓵Y55M;Z5Ȉ"h\c|nv[O;NH$;KAV֕MV JWpoŨ\;o R!1h|pN]<1$&>Q!O5T}A~ioqbEbēnHPm_ zA&A5K4kfpnc9wX?c{/]Tu\OA({m|[K&e63<}ĞVg{;rixHJXA/rz%Q0:EQh8@g SbrM(&v[nn{9܆Ypi-$v53!2.b_ /Rk3zJJs.U4ֲn=J *7bM/>fjb+M# h h'ǂ( R&Cw3U&nHEP}zIaLP4}0Rw&ĦKӒm-{SpxqC"i~yI}2)5+=Jd ?y킏%OP'҆wmpN#}]wXofo6 7pv?)n{"B6dV実u|/ip#aPAnڟ{-͟YhVqJ/!yUb8YD,NXseE9I6;73j@fj=ua b .7bx0(uUUmIVc>O385RjUÓq*2צrv~~W9դqb}no&9%l `ކvf@E4Wy#^X36k@IA+9TWTRAqW|Z~˜+ܩY+Åq#%Od8c?zXۀnDy:Ffܯk|4^8?dK̴,z|y(Zais#{ fU_]r uT2 cҩRɶ-\QA^u(Kr<(\}9 10q>^8oS_] 1=7ǹMqsӉXZ@$oi ;S][]6Y' 'h;֗ ~<&&{bV} ؝ 1 ^ ccmݬYpLHӿiHGhwl(+^)ߡV{Di]j;FR!Fl7shP Y6BS]%ZK@cwԘ/LЋo\_h6w6G\JFWF0*O=u$gϲ}vs !1x7s9!> t-ޠ 0V>P$&q^?|Cמ8nd  Aj}T} 5;AL?6 *5/,]Ufu@_7GKjzҝ4߯){D 6`c1GD6N t:ek8xxG_.K Z(HzrBN8;a6ҭɢxx\PP0Hٹ2?s5ɸH9L 9ӊM8\ 6% >90>BL̹-{B 'd^KY/j!`gis/1ֱ޺J *LR,Vj Q*[ ?Df򻸰֕7yY*%U蕖0ˤp\M-x-ɦ_2i-#% Fl8<G$giXp) ^o>wEViH4 PKW)MaۖК9/zOȜFs;mWa%F-rY-_, ; kkLNdzS7% RI!=;dak )}[eV.CF}=¯Lb`83"^5ۘRx"D.l&T,+lYfO)dXNf1(*38#&nU.oaI's+rU2(F*"j&!Ta]#&o#ZZ=2]?8W8--&\6 O} p 騳j(`nleSy=޵C"! j:_0 Y7@*aY1LI~;-TÎ+Pv`/ !~}D@kEPV$P~a1=ޛẶ|UA:z0G3-ȈE.8rWYdki/[BA;`pOaLv:ɅAv9$}A&ˊ9IRTG_94NAlQl;)0ft˝gdac&!G!Z<#Ū"LQS㮉 Mk%!:Ȋ^/mEã݂W#Pĝj6i %#+qw̛Rdy*wu)?]]o.)c{x˷StzZ9})ԚE;z#ƕ@ z-9|Qq0@EAl *]H59BU%='A=c7(4T]%-K;Sg9EVNjRr ,vL3;4rG%Uӎ=:L-~&!ʜxp_;ʹ^4WR<[0-7Rij\^K>'=<&TGM2i]`X&2CStKnfi6nM*ȍn[.cey/_,5NZn)U ;|t`.fW6x|QC$}q'+9܇uS}z|s^ ބRdBݪ+L=B'Ri gk9&83q=>vۻ&M z" Z .n&ٌea#{!Z;YDW5&i{A&gxƽXh/G&'mm;Ib tCn<לIƾ9-dz3d?uNڴzUv<LnqgM;hMBD_a>uZiaAUM3}6È`8JV=14`&[ ~dī~:w%4+%ac;_.J$; AXS,wP-b98 EFle#\C38oLܻ.Md0YBnlqs(bLw{ F{(w{#D5y*)!p{?ضi %7ÌmRZs>>S *;k,ī Yzgnb+z0ƝEO:vX6/[/o6 hq*ʀFCcA490wI&Tl) Ty%q/A_JmDe3!x9 UitPƣ`9KHlqڔN>5.~&1,  bTmbk#v"bc2lOJY4י{HtF^ ٣#˘&L~hY,$t,+{aFAĹqȄe6&0LS]:՞k6)/"a= e"ЂrGҊ+=`v{Ise[ OwdO)#[l N@u<%vqɚLƶӆxw\JcQ5ug0tzx闟F`7̈G8S`_W7_يVI<؅_59aMjWwetþa@`8!13K]wԦ6mzS>9RcзE x$::V|TN$\.6B3`dѽLtI-fxYF HZbs0q;V+K?}Y\m_^WvEpjIXO8JOp;^%h+>$  bFvNV-rDB*U6áe>ӽ(;gY ICH~s%*pbZQ o`pMDj2*ݶ ߷ֳLU7Z/yج$ٸN"Fڨ'BR}OmMO,j`xW#z_:;̠ ţPJw2.7껍&eFfCacXba7cdprc,=\l){aqn7vrLr64xt^?1Ð&{$QWDfdtkqf^0k`sl%pXcD-4u %>gVvF̌~Ud}>V5ڏg iHg)xjGU{lYwD$qcÓ49]s$1-‘.WnSVwa,#:㎂3bP/`}֣¹s >|+۵nɂDCѢklmק-\SlؗRZɟ k n&%{r5#v nd|`ʛʼn<{3&1?uTϥ*5vCEpw:)M3;:i]9 2aVs~ %Fbh\ e~BѻŒG45|4[{[V@Qއ<}0uj~LQ4zJ1>RURFoFuYhs3;Q Wg_|R/[0:߲<< BW^cl.j2~wO=N&)=&,9]o)GC:k[ʲp3M+tq6Hj촁㿜a(nIV+Wҧ^`=;c^-wSizc0TjVF-yQ3<&R 'u8 SU.xfiT1V# zs*_ MEP5>w]p֠"kXCM0gU!NkT2vPed]Z}뮂OС7RHP5(䘪v̿=+{tj8>zcR'˗50CiR]V;d"6@v 84쳗k 0T:HIPbяI˼]EC!If2To=gnpE#ƴ}SLuezwWD7F]nMBk\\hHJk1_8X/]>{ݗv*2(AW`H,ٺh䃓2>\+Q/0^ug!+|/1z~xo ^BHw+MIDwpi)ແR eʋi$vwPQqD%!cS\ M:_|p|sԳDIK̉;=Zʷ[ ESvJhOߨ_z1#jgN$ĿTYDJ٩V*u1lUbWV*w~p3E4׫AB3, _z!huVIr}4,Q1!I] !KHJNFkt- qSK44ߎʸrgZMF[WŒ9Z*žh)T'fƞUF24-9K-KF]&@4"nJ䋄e'64֗Vݦ;oDF0u\#]u~Ga1&kWs\e>aW-=c@85Cftuw!e^ ]q{:Cޭ D^ ֮HAA{ƕ_TK5irId*h\ L4)8\*_0lWBfןYUy?M0Ʈ#1:k mj6̵ GnSL_O_D/'H=&ѤDۨ.&AOhϥdBQ(> FCtݒl)fK D#a)h猲?Z%_0 fCr٢L&*}R;ZpK/8/4 O`8I ?% _PJFA]r>AdF;i?H:6F!w~6Oϲ=O&oo]|s >jvIK"p^/d~7si& G)rk[O{oN>M=ByT߸F*H"|#3{<j8fjvu}e\_NfAg9iwcboKMQ6a$Y4]cAPozL 2InoЀze&q`⹕a(?oLݸu(ㅚ~.5sQ_qřٕ+lDV8a۱4?LpMG<~5VO\0goA;_)JæP üzXqL*:5~] *b.nP—aR&VU Avz~`!FPOw$ʍ)hgdKL2ΆOE q-" D,fGAIvc-@i\K\${W9QoW[KlS='loDI/q ohJTwǭN7Ny.Bvv019oI$dL|W9 D4[l<vAgȫ"F)d>g8]/f /V֚LM󪚮0B8blT}- | W8Q!5.!@6DAc~B<ֳY2W7;z, 3$Btp2B~ 4tBXe2Ӧj'Y~O# ߫.e,ъkg Q'h9~}PIJY2f{u0^D"O*jnkCf\zi3iȼ~~ލ^yB.cpbʦH4"$gAFOJkJC=M tq=铰3,o+{v`t2l-f?5% *HX8j?W?JZzY7`u~KA`#P3e*¸z3-雍sDޮqz|-u:@Hk4q9B_A'njx"<;|#(i3I\ @qH*EE!O=xHb}@LE85=5 󗴝CV"Cjhu\Vw8I[M^{wAbBrC%C9i:>_ 35 NfN}$Z6 6 =EռCbWGN=|,q_5l%R@JBlr&"3]E_7ʘAFSWa-i@E씵vy b1k/RDWj `NLQd&HZx:%2XAYbXjѓjȟ/h1VeKs==3{;?W. RQL!c-=Hv8WbY.qLr.<,r||w$pzWHCm%v6nS"MM%U@Ch\+n^&V 1'@_i#e#c]. νCz#T蚿\']sfj_X^[Ҫ);\0OXͶM>wMaqZL)?Gqh;D%8(I dI>eE!iÍL%* 7 L6IتcH[ge@++HflZ k#рe"O~L#YV:?$\b6 :%mXNjx26:5LM-a?ŧ*1j 6ʵC cٜJ6" jSsE,*i"GSlG1A~`&'ku'hIӇ]thȒъ7}"vj.-C+zr:FiH Z䚃RkmL8t~|ƃ F c䴘߱&ITMqޯ Co=j):oEid3ذMG)d*UPHsL]J^N=]NND؁un%@Lxd.>pisksD`7Xl~.:XP8'%c;VW (tT+2yG7bBM:eZU}gKVLRGYT‡$޺88P  0 JAlfbit~cBFZ݌nkm/iRƶ o D&qa[x`ָ-!qMhK4#Hje-ڞ,T(->]E(xێç^}wD _"A[w˶I 4jrljԖh\` 55qg~+t$dX:%G*\w`@T[o,E ~H1gY%I%˭×tP8 B797$<+Bc궈2Wzbʅʓum)T8YwmIbTeڂ/KHĘQ̈V_6`kh'O="V~>1g# Th5p\vߤ 8z4)CAAsZ @>]i-+v2c!k21t}O pR&HEpqV0b`WMOP"OW80LP}>)ԱWb`]B3(;hUxd6PS '@0a)ۍ1"`T]. +8+UR0e}s."v߸J9+@ɱ|_5yME!]*3@0U#Y?;SrdMme_(F4|G|ŵV$ EXƹ(4U)۠ ۦ}P,A1Է@UfJ(MG1E*F-8 )%gYZ ̸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 ҆%L^^p> ;.X<:o7N Mt/VHI{~6KZ7yh+2hi󛈡,Oz9pv]$Bn3؍ʤa.|_üHφ)gR W,mdJY&{uog{b/$YճEP\,2.pq bҰtkQGBDyGV#>{f.ٝ[\L|=ꉩl !zrOZ4WV;9 X gY *@ QUc?}drQsӘ<i7dnT ~@*6"v#:l@sG4|{rdTz o$)6.Fu^b6z?_GSAnXtĈʨ\iIֆh3Nz54K;53Ϭ Kw>_G0>arh90puz@-J߮)^¬kSֺ'{^QHJt,yN]zEj@HٲlZJ.3°Nju]HΎ"n׾.B.NcxybI=j};RFPל9NVl1犛ޅnyP[Bј&9ܠR:D.F*2kd:N~s&v% ]U2tcՔUQae[!3;ׯ Y: drMCGV@/|Չ'#t[Ę1|bq9<#j~j@rƃLVt =˞#5M˸O/-27>ַ[J~{-cn b+V!lÉ]~-_ OG&MJ2::ch뇔ޫDx5_ &`\MV }N`Oџ!Upb2qʄmlE,yz#o8G] 8/Yg¨is1V٭ʠ|X^:}禺F `,G` n-#|l@GxA;|ϗ0WlNа*[$);R+b*5)x/Xpb.!fA7m.r 3fUsn: d33R?W| .RP,QX'4go0^mZU P91`P Tɪmʉ 0DHI;caG1\ք8Nc v :~ѸBfd XWp hzhyTi`; 'ج};ؐJ*aQ :>7h2dX 5VeۄL(.tjCW23~̗/ *9Cp+< @hɆ rvlD #tXRsRdikZ' =O-/q/))9/# 0H/"8f 14~N[s.y=ֳBN}e_4 ONka2Cy^~Ğ{w|u Vv-zmۇ_΀hY16YoPxt*!b*!J_{**A1T>눪\'= 8AHJ>y}5;Su`X%jtR!71mszH:9.@3E,A~.+9oZ@ք쓒fX? ܳBAOvymON$ScddGɓ*^UIu3L?ߖ&M>biB~GbV~*v>=JTmVkg/SK1 za„ 4U0xxSY,m2_ 8\N Fpbun5>QKR Un \pȢMɸV :nSʵb|>ը5J$aWaG쨦- 5 rQ/C3ʟ^YTQO/G%$e-AVŪ#kEƬ;oazҝ`| ey񚁽w,03nA9>.GD<8oŚ|o#jv2(r`4 HSTBhU*| PdlD!])rRͪ03>wUG/| X2nt]Q氕*lQݠI;{ԏP;b$QZtjXWk#Ņ#~Fn? K&xd>>'~"CeiDDzU 9qCoL'~q |?j?"lIH2~;5&s۬0J;*Qcʒ'Qţ? Ә~"r~$'}Ue, ҋb݃Id &\M8-$d5aP 2GY'c7"#AYX_> ,A;S@m_~1Ym>FGM*_o_E?_NgA+%r>ǭ,d`C%S"jw7BP\gDb*Fɡtph4i V֨)04s$L)~?MV諳?ăGBMVQ]P~xFp2MN}R&wkedInխȶ/7Ih2vc⡿e.m ů ;ӹrl^IDse0gl9#7-Z[@%,aiq d07ğz ,;k ό bs*e2˚j1}^o8f_~xH J4~=t$,r({O4qs>$Pok.w^O'"riW3N+{gd7|^ [MA"pG: B\Hǀ:4sة3vסql؀Uxsʕ{0 8-; >x NSM DP )ҟPqL),NpXHRq8"FApAܗuYW`alA}C&㫹_%B.Љ;O;)*(&ʵvg?(!PP;,Ol8W ܎E ˣN2g$|a4"hŗ1 ʔ;,ZUtʫPPy@lJlʶݦEf{!&Xѧom絳Pd<{1S{O k T ]26\yTO1W;pn9Low@!1,V[%K$hzNZse!"#8 &?PEF jNvLPJd F{xҧ650Kt-ơFg'{,bW0C&8$'t@< Ǭr*yۙo<& ʽq"v/H< m z!|! fOQ"皗J`EX:v `>?Ok/|{-3X5)m_Ϲ40.*[ Q< cC%DGZ71̞pj7ikd&m*2ǣ"^@l#'-raAr2-(ef[N55Q5o'P(R [M=YVh@$-NОE+.)m@Zb#CؓTb Lb6(+ŭ4ۧ(C|ǀI8FFS|y*g0Ϡ-WEG~O>h㚚ePJc JAȬG.YV7_JS BZ's8<ʥ}3 ,"F ;u>&ʟÖmm5n09tN~76֛/`3ޣ2OZv~4cF+`hp`JM?]&b+awĿZuĞ-q ;+R#:o9.;~=*Hþ7;Kܶ]Gdox%U`bRZ]3NKQHb&b!d<,PVL.#mzm!q檍MxӻAb PZck"͢yR~C39&djzsH&% Ilq hb^y4/$L+ޜ{M/۬ %5W” @_fvћ€\[q"jQ;f58AVR"2NMҮgL0EJ|WNRi tS䒙сxc}7A=ƅfnKNK=-;d]*t~K6xnhhZE,9ZAd^ $5ߦYT#T(5UuBܥ@w "ϭJc6 ͏lk5 i 1{enH`9UK4lF?9aY~RbåȄ I,3t$ݡi?Z$6ʉN:fYOyk(_J _E &9t+㹣jn5Orʞ^e$L˖l@(&Q`](~rFb7I :cP·sӊoçoBetW sa9 v3J)\L tTO[y3YO<[]9?c؈.M*(p };TB|*419oe2Y<'s?>{gK5p` (8 c:A4Qd/bwp/)o1w#KH7 5;,HYI\fO{V'F|{R^[t(0&Ǣ { yu;O~R0nz5;FomɡڥU/Ej菱KE=Ly(]Tcty 0t›qd =aÁ}exrr-mŲO`3e/)C *hv`DxݍqdWS륿LR >.9YdRJ)3K IiB6u#o-#0kVX$ e A=ŹNԩöN[/P_DK#{{j2V?S"$ża++-pXX\Z x=p80#B9 ]SͲ0"{|g?sri9BDHDqhU M^-t/r] x]XݨaP?[K(R( G/)svᘍ, ×1,!Q.apԢsRzWHK#&Ae+/4+$_:i~I(Ǝ#o:(d.U Řp;]H֊8`x6L+ 9uh5 VzU,Taw2\-_64ËldX4"B^z)Br92oD5,l*K!w擪Da9 Y *֬$@ 5!2D[ K9,*nj'Yk;Z58 f 8BwпBtj*Z\⺰vvxoӅؗ}lV3x4 މ? h.O Ygo-&%kk!q0ckׯ4>O8PPb!&F[5˖ ~x_7fG7Az+fw=H8N_r}~r᧞@~7ԻmE!R11U54q;i/%˄w'as:QW  fx 𭭽PB?$~+&2 7ITI)*3_CǀzA9I!)׭XOv%>A1D w`  8i5Y;ϡ Dv^t+Ǫ=lJ$t*&n$icH?(xСXms6WJO@ܗ7!;KurxL%?٤p~_G :[&{-5[b@2.4 C"MΖ6܃p=#^,V+ !6Ǹu'6~ Ða -Mޫ`t:x'lNHi +[g̨VRDipmyug|蛥yo¨Q gxigVjoR9~K1M@ ,*?[ط2[ۑx4~Ӷ~ZPK(WXg,̧Q}5+n@SKm C+gNDf87u8IP+l0)*Ɩ1JGa?A(I9P\=9K}xNb"5xz`28d?,2鋓cJH@  ̷d^7JYݛ?#IMBRa&tWpUPi86;:{qKj5HLHqػ_WcY=-7$DcӭRHʬ>Բ^%1//%VI) Myd U{ݱE$]p)sFӹ]ij*;uEFa"1̱XJ8Ȏ]-L+7, U{ bFȢn4 &,npZݳQݗ?X1gˢ?|eo1.wpjSM,jb&Egn&>%e6r:'Kܖ\\:WTv(ɏ<4tW#S.з^8X^ڇiXȩBFDk5;7(`pq@O6 փWJ@@X,y88|28Uxs /qrcUlBDQM}Wq,ex+I y*7BఇX%r lzV$@^nb8W6}J 1pe=_u0\Q_S30l"ƕF(B| dWc*ZN"S@D,20ax6C_nT`n zTklP.OˡHM Is9 k&-xnX[AcW.Pט_ /e}Nz:oua1Z.dq. cރ~{vu`YQ9A"ZRzp%=]]y%a05V<\\ӟ!\:Y$PޭṉT]/w9EjGU3Sm{Çͱx :&2UU؀-݅ѷ[Ʋߋ<[t~Ly[򖁣IשHSܰvǏ7oˢr!5gvPҳ6mć`m#5o\%MW]+rF?HNf vt0xP]]QLAlH"_@,t8ҙSznCe`xq/N`HN>dQOD|4K!d.7n$Le r ^}o%|SV *WsqqD#TinW ִM8wOӧ-,'ףn)&%\Hhjyw[ǚ`{f7st - u4|2z4uZ&q*1TkPHa)1:7'猂ɋұ6S2F.ǰHX6 mFPŇ' r%{9]Dg,9bG1^#9(i^E§}ޛ k~WOrM\x P\TAa O4\5EW/4ƞjDGXaU?TLw@QZ7Sʇ%AEQY/ f2 V ܽ鬁Ӻ u?)XǴ:%Jw 6}Ɲ o GY9C43 )A[4*] qh&g3IUI-!҈ef-Ir/,'RY%Ævz.;enN+U&VPCqHZ .P?BÌJ% (l%lT]WƉn~׺}2ğo[m4.(P~SugLwY[͕I@ѓe}f{}oyi;+6fg4xMWfn,R=S $K9,PS⾲.nV.JV!o=NطkeL(|]]9?@T#~FZ7h(] ݹKmkh,D9'̀C&ͰF-`5h5IBJbH5zp_-.Cկ"M'p'EϼVo 旃<F!2n醇!*'(=n9N{N$S#' #?"2N;N&fB5G#!2%֣Ysh`鐩}v:x34IoGU*}>Ǚ0I7p@PR~m0r{'hIAgMYY〰V(^@\)ryV>-†!fk[@4Xudꋲ xsYKzj7y.9HOuЩVݱSqD1Z*&ljr)&`03;d:uJVl|Bi BI}!(VxC;lURѣVwKxH$m:ʤr :By-5"L-kj \ ~P`BK?H ?hM%\s SRH7ɯ׈UA(IgZe+&dΊK>ˢ?o3x_0ڏn+k69ܲB h{vg|<)lb(e)/4^ ]6*ta6d^͹N7<$'-} hpF&Kv`KDc0FG<`_5ғbڔlMWt}h=Ǎ.vte^ \x6i%a19z+8!׷Jv}IY6D \M 0)6,ʋ3(` ɅR eWy7y](s vSeML`6bC(P:x͜!*)}$’޳ 32 Wߔ9j/K;S0bKDp◬@(R 9u^%8ATS8۵/80.&ֽnH`|P75ڈgǘ5R>t#5;2AǖqG,GoHa 4;;;Vv}|0]y_Yo<̫ݿ,({*Ɗj^mi}i(=1bݐhGVfld 9S|όΪu *hZF,hŃ6#Q'nvRpW";I3yVޔF|;mR)ew 1>K2[NJr2PBΥ}!1C/^tc{cC "Glo0ic7j4UT}+HuL '~U   TK"S=0eĞ?JJHz\x䫹3SqYdF0DDX'C؆NR87zm;+l$<&-)0+~[>GnQGˠ)gB׋*(%Wxk:QȻ \K^ilѴvF?o#6ijܴ+G2;' z=.ILB\'rO[+w cv?Q:ʃGg)i%Ҩ{N҃Vp%xqeʼnbݸ: ,!xoB#/I4W&$m7;tPC^aX$l_u|0D :?.%? vTewtSslBcX:FZaoOLZJv Dlf"T~kNg}ƔzioNqk$nKO*5;Oz151h[[?&*YD#7i7 3KTax]φopzyD)~mփ MGt>ƧT\cPzimP|ZڇRD A (M^>e9LGyPի3P>lB1?Bn#CӓĥnKXv k"œw}VP}i.9l*jlU..1I/NJ944R(TSvYt=nēLoߑ?~}A8)SU"i}җ}Q4>X {IA@ cg8õFh-.%ꇪL<|K_Tpfk3f+g6<ذSgEV!IPwӓI-m gac>,XHR )ϒ1-K5!oeRvlj rk*jzl*QОxhB1Hn0ħ.!hW3ږ֩0Le±$!uBv#} hƻa{ijn(VANfqMB!hbbA+3${8݅fҬ)AXZy[Y&s|RE|=&e!2sYmh''&"e\]n)uTz8B,tDA.2 LW[] }q*eP)0eLvfo0KH|n3xirCu 0/rs*Q8>,}y݁7"i(&zPO\8r]5@E$<JW-R.Fᚇ<޲;"O)'!}', ,<}޵jJ(lx^?&?`#a>]l}0J|%A53L֤Zf _|k‡,;}j<w lymʐ4(a.Csqw+]Mv\ f@2d3(­HAjxZy$!jV qp뚇.p]I:I=#;Xm`FpJ,=c?=(?krr(jhfH[c 1eRΪ/ i w 'sS(vqbjqv}y[m!{XԪ"GtpsU60I G M.]?Bqoգ7BD(l8qb17NHQfjTfB $!ӌL3A*jTjn$]rsZd,tpZjCY<8iy垀-F|m-FmE@ X%uH%]&3i$f?r=tɏ{#@iz'^r+ mӟUDS v\SGxgzFP,0짱h728#bu! ^UmA|40:h# A  " 6Q#֘,2&XQyq8ډ7,+&vI9XIh3a&‘~Ĵvgᯄ"'eqÌu-w&Z 2Iqc嚖Eg9#Gai" 99kac0BWQ[I`C]`1P܈tk!k"DL~-q:(>3[(F-e 0~tAǔ4,A5Pb *w;)qQJa7]278U}gNZX+`t݌R'x/Fq R@ӿij`t6qip&<HMKUXϡ._lؒ~/}ER++t<;@6CL݈fWG?FL)KuW~m\8Ѳr,xcЛ[l"0Z1(YS% kDEދfQIh Wd,s@K2[ Ǽ<;A+Y Q1)5"2d5~+;7Ӳ(hę8z-\%؂4u9-04g2vPd!^-E3 А@~eT)0Ʋ_P,ek[h=[E7˞ {cdT37 6Àθ IjZPymo,qQ2~ i@ON8`-39VeHT INx9- gc-c6a#,0Zuzxt㶉5VulsPb!c>,7X+E_,? XnjxF&$H*.Pu __~1p@?X@ *'3ŰK<r2Jn|[(wpь>!ϳ{$}Rヵc?{`)zrő}k†٠_$Aj%1O7ŋ?VSt nk8XY Rx0 BSфJXrLRc#h&Cʹr&'wvJܺo^X+X܍MaXR4E:[黤8Y=&0+ZCiv$} ("V>ziQFh$;x`)آoȠ@ bI*9wkDO_?AN#u(tz&;F|"TGwղg:oK wKȠpSQa< )JdROE,b`G_;#' 9^o)CCvW+rz>3,?1*,:%|)>*Z3FQ5Kɓ=+ǖZ 'uzgo_4MkwoYҷ%A寤mKwETlc}֫z6GU̥$u sF➩NLu%JW`4˂y=i$s_(]m B}[#J=WfWήOp듣 gYZ֌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{҃W0>ꪂ> 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+ fCVXtTl0b &'1 9(ҦazVKoVE OO^0P̝5юhJs&r:ɋ@òʪBbQ(^CGPд; _<ڊje8WKRj)X֝Ylxmv.r֨I|+K*-6췻ʉc%exa 2y|(G/sBx}5 S΋R ӨLbU[lz@>Db6pB%Cz,r؍jn Ucjf{%5Ű`V/7V]#-Ax JBgpC(Q)̨ĭg]Hɢ:CGw.<4UgzsV~OCƳs3`/DAC䡡F(K_+7=qa"%}}F#vSCѰ9J|fs inL20K<S ]lщ:m/ W樓Sg>WH$Ҷp4S;Ag7#?tT#Hc.Ib?kcnmK!MIcG™os@ l% , !U  G0H~ta,5$BmbIxEIț|` aW<{쏫K ȋ5Q 7ö(ʏ!Rhj=+.p5'y@H'UHڴW<)6VjbVపN5m;ݞioY0QfV(OT.^ tfѱ쏫Q*$t춗ByP\ 7- RXF#O8,#y=!DAQ~`|)OJrȒk~=˕f(}'X'|r~:#a/jG\2G6{OG:DH&[-WK` 3g z+AmhI< a"smEDQI%Ə)…8. oW5FIsOb2 f&f`,ct`}&W H"PAXۨ"p0wM,-:c |~)HU,3|Mqp +=PZӢfig' k?WAsϼMpJ98V4ʘ].k]]H(ķͯ ƚ&RsJ5  CFrKry܇Tjd2nr]=Ŋ0{!)l0B=>3BlCqKjZKg奣oaк;Ua%a2!VXO ꄦermoƋ~7-郏맇yMwcU.pF]<V;ꆼgL~c04c /KJUt$=Wt"@>Kkcm,ݮ6|"4]]n.Hx əlLmL֤NL<B/džm6G\˝5@㣥 Vϊjý!1#mz2Ek Wfx=0(%3)t&05:w:Ux_K~FԈaP$W'PlG؛*W\x;jʋɇfe2!"fWwQD>ao#UAxQubڔ,i_TT<$n uiK6Z#+f+jؿ,yPVv!r1Iyj]fh66*Gٯ]$"戁41l~>qDC K_sMݓOqne @G8&=.bP!6L7}{fC;g)#ZAKwV=WWp+Aӹ ;VOm aK_AYf䮧>лdjatyeE+(Lj gZ|j["_)WNS1lՌ63V _)Zuwn 1< "-;@!ZZx&5&Trp@% 8V __JOz褧ZO93)X`*3|MY5xenrSqbǡ=$\/{(5Ov߁nHƢ|\m *3_awtFgRׄJ$'߰$lgTc]ԁj JUrJTQf$j$䪣}fATC$?~>/P1Y1Gϩy@}Wl`}IiHL{Zz=;]nܖQO ܨL $M)/F.95f)7U! 6sWrБiW ({ Sc;dm*nk WP^ %.GXFw<A *DF?9ԄT5LJMN*@Ѕ͌xsL~xHBṧ )00Ɨm&y$pyxrUfnw.(VNV^`I `)>5HUMG(G {#|HG*0Eew=\fH\$ڌb 1LNyݦ@ր"j~GbKTGT,R49ZVFĻ_;0ݧ13v*||E1% q47?Y( Vg|U29mAcYߪ8>  )bΘ움hpk~FˇUZ, kpBBs'?:4'Ř1mPBalp&Hߞ/fOݻ=K"/23$hdB _^ < j ݃v _> EK6P8tkѕno}?;6s~JSoLKELX7!9CB5~2>brAt\NXY=v̉h\1w{RzP<H<՞u082iwЩ EU|c`]{Va|O>19;U%̱~);*@(˪#2u63{tcuHǑƮLfQmf~{1wX|D"c˳:jǗO\0^(jdWrjS;jb}W"lP_Ln+@=v}tKN#A_LɟJ$ɮzһ5 CH3NC{A(\}tE+ѯvI}l:u+hC%.N(oD#Wu5wdcӐ)52^kTS~7P`RMNOP՟kC(R%rZ:W$/xhnȓn%{4ֱIq䴑;v-qM,$jv {wDY"1[9 ݑ5w6yB*FB>!m~?P$",唋+qހ__h) oৠ_glk: i;luɘF)ڎ%8RwxQQtxjm>x n\-.6u7`rNe3?Z8!ζǬA@yUayS#?Gہ^jĀ],V|FR&zN-DlUcJ7` /A0J*Zy1у-EKu@}*`W:$N)>XoM&D{(Tr -c!7Bk1/J &#qܴA˝/!4I]ћ/[̳)zlA֑N׼FTD:W؝ x6u3@.M,Cv>U@aĶ7̉ B{tCAYǗ=[(]52 9FUugSaXz%[0Cߣ7 ]mKN t; pQC}k̃6HlQ6H4=h_*mBr.v?e"x 9j cBO mqy3JRr*gwt 1 e]JEXu:OCAU~tR v.=Lo LI7*K`7%UNHxci-;&120{pkkFvjA`U%0=r>]U%eH!\Bˆh'\ Et))޽~咇#'@а?]B;H ,Cǜv\QK.AirꄰUIb NH ]rr {-'< Tۑq^-L>ؓYW=2oRê£^jY D>VO#I^a&eB- %Uñn-0q&A?ed83CMΊFE3LU\9mQޭ߁#JN $@){2Pr׈Z_.a1%IAkϾ{ܧen4S@t@y၂/gww9 \]@9*Ns㶚k͎)70q? .lH0(/mcSR#wax=2M*mwW"O}VhjJݓ^xzS'Rh>Ry1Ksj8FG 4"mm=o=r2DN^&]MsP >-8Z͊?ݲB2 EuVA % ncoQ2 N"(F cq:(e?'h/h+/NvW~~SH4?"mɲZEaYIg(͇ú4ba5K7(f1`P50ڎk1o76w+,xygwd-5],0! *iiͬp06ԒǗG>wZWA7Ed$iWnBdb׌ѵ^_ZƎ_xׅzba\"T)e7A5aEY& 0?:ZA:+&uQNg- @QZW6"uM@rJ&sMEG(ĬL%y9MGV d+n#0Nx'2P[;>D7'^3Qa6nJJev͂')$](Mo-Z_3$uQ6ьDw6Si,HRHRI%z0|?ź6V46Z/]`$"ߍp<7RsI61z"nœ|7`ӊ!T1"r< %j,Ӷ(a]S,Al1Tl /~7ɠ>IDh *3W!R` ;73^Zk{Jy%7h /} aɺ{(_Z4yVVQ*\4<\ɽ<\zHDQ1O5h)'/|Q "@A!}DUӰNzCBy~Ut;]3y0᝼K1xՂظ?{(-WH^;ol}JlQ&rzȋxf"\.iTJM (vek{$r pXB@]F|0b~hu(.|r6PJ\l= B =k"==-:KqP}œ28XBM9| nUպ zK5g3Qq1>j)_j_d+cx\lѩT~*9wsn  nLZ݋=ΐMfm@jP:^FvNHghؤ.GSQ?ȗ5~E^Ȏ%m5i7AtNY ;hw OZj(npV"E1$!'u%C $O$6_9DĂ1ΝПB{KD,<5iZ+M`B,}R )48$joPe3z:IF Y!m ?@yrPWƫMϙ\)p妙pqDOŚhɖT4np>E 4}*Rʥt t}ۤ8, o4@ԅ ;gFGn!hwмDZ<Z@ttjWr5~Kv`Jƺ߰7mΣ*͍^ȆPŋtVs1=6gAlap/(ijzZ)-fɶN+g䟵KͽT.D<  N7* ?4bڇ( YкB,^-̑Q :S R Q䝌t7g is'g!"-wӱ|/-F!ܒP<0W_/.0TO\l7g4]_?f1c^)  <ʦ&"s YdǵKM98T7ð", \CVbp iː|*iH@D/# +Xu2{L*'^\kI-?Mp]Io/7ŐoXT̓bNrQo;&:=:V&a [Wx\܃j{7+닒ڴ!Z۱qɳrL{kOمw=m5I De\ aM~1,gtUL-Jk\F8 vw}6"u'c [B,Z/7p&SduǤm9W towJC H; ܕm6K݋ZB, v"GLtj@Ė^&CFk-I T(Ae߭Jwgўz$ VaACy[vS[,#e(= $9sQT$Q Ն}qflqyU+BNRqgpG )KZQȅ9jfNKՑ(0a E*cv{R [Y[uzQ]t9GRq\ՒJNߘBivWJ!8oB.<oYb bNr$F(Z]Bnor-p pk8G+~L=\X.tB$嚆E!9i1bwF2C9$WEǎ=$SNp[n[8w8 JJ(ǎrI% k1[ WUߞ@HWu[`rו#ۗG2~ƣzp\hTr}̴x1l~>@ZJXBDA"@CiHGcy\03>274ފ4  qR/gӑ\UN{cAS'r @(|Pk"8 XuH)c= (CrIG{E~2t D>kKWP_.7X diRS dÅrS\P|HynA1GY= MĦv:4&p tV @vA]ʏimGMPzb"4fl<]] '[OJyw,xgThVu?AicbA26fҭ. UãC!m:ك~d ibiB uO1 Vs& ̢y’(?궯 4䂀{LJW7j@*Liښ[&Ոm)0?uA@#BYlů;3 ݩQLUy; i'QB웇@NAT& Y÷@$i4B\3^$`:jUiƮFy"`/(C.6V[P?!F3ڮxs\6}IIjsnMwp{-^*fƒQ@ PJiySRmhXǬm&LUb1pCx~L(AjC} B\k8*.Z"~'~! ^U *v$I.7Ēw6Ù;4s &kΜlye~ЏSA5./;xBDm=l}f^6>v|2 0XyG7om_֨P59]CŹ Όb%z"!//ԞMir (=x?JVsʵ~8Eɯ‡%IftR[5 (E)7۠K !tP! c {ꃪ7spZNlK F5 ѪM4Eo,\swLE(؉NF˟`4⯬p]w& l9A.?ed@+68Ha\7o_TrIVOhY R-sEl)Z)薞߭yOa2Q™dPԃYHcReQ?f3lw4CU5ŽLk݇迯X`bR0x;12]cYOUo^#7f-:C];cl oyS&jNCٵ`p"f !6 j8Lop<-lTW;| n V+$"e~W, x3l x,h]tsr:vzg$DO>4G!,$vA _3"*qV.$){@k_{dGE k^ߦ^Ai"} I8ʡMRumT )iqߜږ=4^lO4 z?PzEn/ّ?NY+MNBEZ9>N4 ]x~a^@4Y>ռf͙Ajm @wӿX*ɵUZ"+N/xܤ72{?htCWs0h`[+ûL\9YZmQJ!o5"J$yabqɾƍ29V#^u@z}B{id6xܻH#ypB|xcz,l;,]@ޙ~J6$ #@h}c'>u\_7)߬06};嫮"8.s~8ÑsRϵ܋]B xf'g/^L VU wE'Qn=~Z r@Tli="K 'pE':|zZP~~Pנ9tuɞS |}c E ±7V\HW欛sVf[CMZ 2˼EUC?Iy$Ձ)#0c!B["r;bgYZ1m[c1SNSvD%$C_QMޝ|T4qWlm07e PᠠݑfapQ]jv1^DmO/89٭Ѕ$O g}B;gt0.ŋ%u]PWTma`R@g;>q E"nր'# RvVwq'?xp O&  uJi_L- 9OˮKD%3] ~uuOZ*[ >~Ei/_ 'u`"R;\@ r\V@u)e,Xc%z=]7(LVA" -upEi{c{`AR{hYj/leuJX~R#zy-#"nN0E=ɣX1@`x@G pC$zs"$鼀-Yʦ(C#O+ N86b_4a z̍?1?2#:Y=ކwxEt~p)KF4T@R%տRb5<,#$^c6v32C%vyZOXM6`r Si$>wܥ{DZ~2a:ڲנ4?,^ !3>C!_ E\x 2ɸ+ndN1?lP12 5s}@ V{X':Ѻ0s7vF :^=lԱ :Ls Q^Pp [5 WumdBc@ϣ.}S8:+XoF 8ܴ㣰.2q׎ 'O>^bG4c2M]4wy:dO^#Ywc_;޿8G<w wZIM"?mΔĊMC8 MMmHO Gh:v9A7ndZfƑRċȐooȵEq" 6UҢ ' pj<ք>c"ɦ/C.0o,] (&´;oF%j$hM>l[lXs NVRѧNpW{!]A9,#IQ,]'Ai{ g'!q莹F R'@(3 &S*p}~B͕m\!>Xi0tⱚHNo 6/7~vxsd i9[ŸK }bxyQ3((NnwmIpnKL#ns/yMj}sAխr TypQ@ɐqܰꖚW͠m!l\jH@KP5/lqeh#D)<9TQlł^NϨMNa|cեǽQMk*ٱFWJ1֛1ud{Nt\/o-K\R ̤I”_KO 6e em5m>nRMY㮊s<(G/.hAq?ֽl*)NgUkR74A$N!#é=f qZұs0K^Z'hJQI!I V1IZGqHUPRIȆTm#gD4R4|2_Ūl\S{EKM3 Q Bvyh_zvċ`J2XlpS]d|mg)~"Jj= 8 ϮND maJC'$=wm8q*QLx ).(dUD >`*X_Wh>vg2pq)哽@҄ʈ xeU|pGϊ]#ƫ//<7 DL OՋZG\R4/S8UW󲊮0CߔBA31>3?*ʜǘ:,a ~. -=?!dg{"lzXc+_zyQ}!a@p$&/E' [t.|sNu%h,]Z>F2yjV'- 2ޱN2*bB/ᵌPddJAJREcJ7{%猛-儹?iPi3"hxʉ3B\_@Y$Nľۍ >%eůKa\-ҍWeX_K0_8"DwoKz+Ye^hMAԁF{xuYNwDx")à602ӹBam|[;z2FtU&w(p_6IGd=~p*A eIh[o a-tH^VHFl6*^| ڑJ1U,rPn$?mG-m!( y<*nDe;pvbIX-1vy{"`nsҏO`s7߻uXlNjUy` 1׸oͷz-T &+J^ R=j/7\ |THqkvJZFg IeA_1x*=Yi04 ]Nr~ !kE؝qcz|: n P#q0yp] Qf=/[.E,;xTf)fz,Eٻqw%9mF *[ gt}SΥgj YMyu>F`׷~EY i4 kQ+F8mϛ=YmLQQ;7cG x3n)eI:._33dnք2 E?C^57Mqg4H!\Zg0/%]법Oh3-m+@6f??>}l<a:]/O.o7Z=bm_{vVʡ}"HTQ/]1'?EutԆj3=LTJ Hef͙8ޕؓ/= xJh IJncט23а 07$nQjes6dR$RQHSK0Ƥn}%$k=FZű7^)YWMB]2wF6jӬPr-F62bzT2̳e[rcȀN[QD^~ϙu}LUΥ~fN_' >dZ)ןj<6L~GPs=?aaQVIP f2e@sy<#+q3]>g8, HzX;\Jey#@,…$*كXClw4=G.k)LZyc ^ݐT+#. AD13'X> $4??C(g"F 4BH]?$8t2ȑ/+jOec텿E?BR2Of8Ə6n cC52sEܢ3:zQ2Hgm1ywy(La }a]㗟 ?SjUfO&%Ax[LH_ )ĺpZ+'{w3AkM/ڧ }@YD@  1HI- >4) H4_ n|e ?bځ:QA^ShE9 Ȫ;*ʍOR+S1pޢv srIX+]WV?|hG5̮Y.4<5+A5t덹@: SSk#B *snS"HL0I4u-8_~| w&;Tq8DUWoq\+ߤb8vvٕTpCs6FjlZ(B珫dMABDGN"|U-9/.c\z%0Vȏ^MgYEi8ⳉvs٢0q_S `'[ؗJ4jo(YwHLlH?KlrX!+8w%dl}h_@wHd'|Eա$XX(ݡhEEn1|VZh1-t'o6,"pQ fW %hTԗyN[ "h~F)4c L=>.ȚDgn_I`NZdvS3e.&7uZPzšzYO^ q) 9T`+^Ř6Ia$t@7bsw^ȋ$NGt EQXF2:KBI<#@ŀXe5‡C{Ըlt=/LQ-&!EJ>;^ 8WKż/A0qGჹXvR $zj4F:8tO^x78/-v5h ʝ;Ζ-Mc Nɓyȳ{[\zldH޽8:ߔN7|NJAZw's ݴ=T ҖxyLCD5h k6N \ymDa8nSD72 }V3Be(as_b]8"vL*8XL7Y-:6Ua8"QlV %ijt[<,g~Dn ;K͘e,d:YO\bQ*ܿy96rs96X)mW-lPa1(yFw~=zTnmXvccZVuSImx"=|M&0 Kt=|ZG_Upd olVQJ^C*Lgt-/zM(SS}6I " `df*sJNĐn4r59s CURqt`߅ [o |Hk"x Rv.Hk_> ףO'eά1'Na`>:C"`b]pJ#ل喌p&''CQaY? XiRsxfkŠpHW_Γ \ #;)fp/}.T6*O!hl bpAi rl> R 'y0 uc5Q^ҐWc*5MZsH6J,_aҪiwA{p&نb-e/4N3%#4C4еvD:(w%aF E^DHڌu::h K6*ߚ.SBP~8ΘO l> =)>\8pb8LaJl,o$ɂzQ&/@cT![iُCDzPٌ%:,pwWtK^K5 [ <yz%?˧dL j[x!;8&f|j ߏoioI0 إz~~(9LEM,n)53,-]Zp6Si4L@Ywnth))\4]Jic )1Ll 0]2?q r74v#wtlZhpc3=l0zXl_eqH[vXZdR.MF;4А} >@ bK$c,+Bd喴l8'H D&%4ry_q vJ8p J5j.] UXL=&' `AT@İ_r?e,n B@:<|lgıF:<8k_rgcJ,T;m><Wfk0MxF86,TJWhuXȮ܏X)VO>C} v9k3U"8:u@r.CK~UsN'~ ;)M:2sncDwjCR.D5)0rhdg!PB@aQbWZYH=`:[;^q Dƻl. OݵɓIi3),\-N&_ayފM,ITB&`A7]Y GU]rLSҐ18p+֐D"2ѾJ7 IQ/Č<~b)v8Fwe&'+WvK80Qmg!b!|F'A{MlV+LjU:< (.W/o7yV.{in."CRnNScYZ#7?% @6>P۠Xg c^@ڽ£ʡ{29'O s,'rp[=& ^gn~Mp.Pk#zH/<.+2G8\x0,J'Z R̘2236vOטÅW7ɕ< ֫ jQef-l*C=~F0Y=SBy 2委xH*W63Kͅ lnIOqhk1'oO6γyC!rIqm-2K*jŚ&q1/XwFoȫ:rȝ>ƼhBE+(*ҽTT{f5$l.,w= Ͷ۷ȴŷ Z5|"g g A +|},h)Jm|2ma2XɬjNn)ԐdDlyx_əl\|]Y 6wzv/ðIs@bp"$J`84$k4jZ&oPh4Z#aǔpQq@g_~s!Qn6.#d{f?4_ ZW Scu(9#\S2>e^tc%ffɿՌmD"۞7;O}΁j Cox;5[&il:G'MzMK-+ɉ<jLwJcOuty):rp;V{w> Or}F<+`J 6Ja:Ju`  ό%J-,~CE Ch`XdAROBAajb Sv8d篦jiϓq݂8bUs2wc#(iI OK_:?I-h"ulyX?>JȐ\bBsXkj"F{*?f}YnC $.%~ { m-*Bɲ X$|0Qi˜,Nzc90Jw\CT z' yLϮn)^CzJ~AO'Fܬi)Vj.vc@],:᱙ Mpj醟%QWw_Tb5 /+yxﲎ;,OAm/.R=#[72K (-}a^II<_ɲU Ǐ ;ĮBI45w{B5wl>+׊2]qr )ا7TL^+RRXVIdGKO[D.)!%a8 (i?kq'E gFn-VlP{̪x>07ª.ٸq9VVmBB_!lqXIId 1C ݍv]?En'i ±ŋ/fՓsX~n |j:?nyIy/eXvVUh7/dI}}ܱtWF RL}Wܸ&kFVPA6SX$>ɣARB{ oo3#DqWm'}nԋ跒 /A5vi{ljPFBFn/1h FÄXjr+4՝v/{m0"1FJuNiFXpm:Z5vE ~+AS9&)W_\GMXXh+枻'X%u U^)E;4v>g+0l ڗSs'iecU`vS :ZmK|54,ߒ˕C1Тk.%M&^o #Qk#wėh Z5~#x;WIj\TFˬ{Xà\jIw=%QFe1(v U%h0lZfHh[J9`BygpLVV#!|ѧ#x2F-2 _˭c3ƽҬq*\Iwc>֧Pj lcVlE }UUa=d[h#4:KD~7y 3>F*Cwh2&'ޒKo %32V3p>u)FA<1Ğع6x׮S{zYROl~TkVh | 6"~`h?$xZ];q[]=̯ ͣ`f {^' !{7s,N98gPL/k_%vjJoiMX46P!B!%EВ_ޅTwZu6"AǁRH^]dEb٩w&M]9$#L H.nc)`ArĘx7J^+fo@y{(mA"uxNo΅ljn[KuN6ti[=:qpNIW(Bv5:igviyJ]?wc?u&zdd*a8cpkRX)wWv%$kr5~Bi@ۚ|&ck 3Do!#E,[IݜkAGd%ݜE27+ʶ&3Ts-z\ervMc4*.ڎ-^qTA`'gf}4*Z;xf-T>ʈuPpf#bW6Ŝirxp"7aܴG;xKAEXHO0:V{os.]vDZnc~*t )%+W7۩Xua׮r5éX_ŰEaZ\eXR=$ۺjZ/)lMMeHr$7,ކXaqPaQgߙFNG.bL`*@Ujmk|"c~ YI;ĩx"3KnmKJ7 %O)cmF%ݛ~z&9&]XiȒb|#h*Bp'!X? *'0p5H%ݡhd^JVU0yk=RyM1KǓ =n@ {JBߙv%"I'Ȏ)k%9AcՀi.u!.ܵΙ%ŎvL(ŧ Aʅ.RҤ4A|`1F%X)yT_}:0<~ZO0+,ƍJ>߼h=J78 cS nwyI6!ry*OeP𬛎b84 "#}Vck7"'q>bm,-KW  ^WgYZ ee<?k% LOrdered_Resolution_ProverOrdered_Resolution_Prover.Abstract_Substitutiondocument.tex7zXZִF! KA]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ/=;D-TBd+Ӌ mSH q,PG}* xgR(luFsB4lO4ʾ>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:Qd?k% Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolutiondocument.tex7zXZִF! 䣔QE]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 +?y% Ordered_Resolution_ProverOrdered_Resolution_Prover.FO_Ordered_Resolution_Proverdocument.tex7zXZִF! X]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~, .N?_'Y]8{uZWzNo֗+o\;FSI|-r;A]̖"r5It7Y74юD:o UTGA%$}#GS"_ SK dmwPH(u:`jp 7"d rUI=- QTu̟EAn2{*:{j9Zǎ w0#d Eү!$zK}2mM$E#bYsY "`(Pzۢk=umb: Mrd x)ʲbFM7L?+5l:TV/!x|)2iE@`"kCUhڋK; |DmF mqR $Ɛ$:D:\V:j;ÅYŖܹg;xJoEf $zAhc'dn7o]C·qGQx0+m1+VWc9>U!'Ǽ橬$K ȚzƃualI4f)39kI(PRFt&z򍥚5^B1ss,QeVC>IpjC],0c( Eا*,-oV+Rg*yUgՁ"Pbb \ma%*  | l |\?C% 4Ordered_Resolution_ProverCoinductive.Coinductive_Natdocument.tex7zXZִF! b1R]A-MՋhvG"uIBm5zgi%HRy)r e#N+7%4.О,Fk@>1Xztz(tv)2ia*fNN_t1{f'? ;.6x{^] 5dh!'kɗk%=8}%BNrFcu(nR[Djnb4ʼnRt;&1s~iS}%2Y߾4O!ru$7ZZ癨FT1&WFAs'2AևS}DWvgoE9Z%B>6:ӞJ.)UiW:o9j+Sæ5,*L/H5# r!5* JBڲc]!5Yj,{i $,8:z:WʟURs !!0Ub>c#p܀(Ț&Jaߵ/=' !'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*\UFNYȆO9?#Sh/y~C5Yv1_)8?@h֥z/ơXEԥ3mVxY'9T]Hb3ә[.lD7 A -.J)&.WTY9o ʯG+Dj(. UgTl^/>{Y wxQo¹0ԫOLǂyI_~7ePҳ#:{bl*m։ M%q؝v 窮 w?im4MaB &/};nJsسd03cVaOK)d/VyR~bsjlj=N_8 (@ٮᎾHl1G\&plǎ$J}S[7mOLzj!K3#rP+i_|{d!kTitk# # |?#M|.J%u+~_.0͘?Kr-I66.'p2)N$kvy AICzwH5#i!]ywwrG "2Q]BPgϷZMyJvnDFeFu0{':'> Iz H3L-F˰khwUw%4qʀ ͤd^C)L}G&<Iҫ>"e*e_#/yIn<ƛ8H EJY `1Wj>"df~)[A5dx*"q o7Xl2m\x.(438~ i+2Q3xIPhp{,oCҨ ä"Zp% E\Ѭݺp Zj?kw/(SNM .d":X j$v\^fhX}X53ފ&;Ba׷W)z$*bq&)1QZK:#ۜE%TcuZo5לW,^5…=ݐo Z^׌|=3B輪YɁA6i#5(r_܆=rQ!>g.-5plj1mh>cZT3~\޲ŁƞB(ȄEHqD%2ݙR 9Ԕ4U UT䬚*=8vNj8?Myܻ]A10>`)U>#b~Mhht 9~ϋ*-xg ;f{5aQ'S}zL1dr#5XDOICUU"yN%=d#PA;Sm@ ELWAB%)=rr>  [q k1lݣ@T]-C¤_U=c*nݑJ)Bo]۷ Q&.MY*#^qO'rٛqnk1 >]vh*&}l^ʹ:.D-ЮiN7fPQkK-و8`3iZ]L`FC9$TϏ3 iwzE"0@78OG 1*)vԪ6ǧ qCX/f Apc+ʙE"Le!]9SC'pyyRup}3V  d'D9phQ,_g)-3jl`w2\CBt]Jo`eM֯o(p*Tom*~^ Ы. ꕆGDoc4yYcl}:Z*A0)wN.60{ta o[A[n~Rb+($QSV=Ÿhﵭk_o4q&@MIz:\=A/DM-JfB|7v͇#EFMV_8i@&Vp.~:`皱.]*E?]0l.oY_ ,!S3]k,%!g<ɮvCV/uD;e(]2n,s3EU|a ]@hI,+`qԔՠӀc{RZmOgY %ȻC0O(&0@={a4OףŠnv:It;HRV֨i JCOUC@qkC$kge=D }@%!# b o(ϽaˡI"G)gye_- Lv6Ccm:UM_ɞS' DN OJJ8¼3#,2fȟ 8 ئi*a#!ZJ%rwNʕ$×CRb}2MD4 uC1IiB޿28[Zhlb|Ŀ pqbAx)~ˆbke"d|{I瘜g!|Ѝb҆CO:܏`ʛN?uI&\ŞV?eS?":Y-Wڞ CK?sYf h//r+2-.& )|/=N>KRQKJzR_/oZ@!MCzCGd?J+K 4J}h{n+M4ꕼ)}܏URf}8{qie4]l{>q #BYPf9,栂f4ѣH}U@ |ZcRnI+aήHzpN_,3\zSGPˌs no4ya`cݓ 缶M8P{[";K p &)u5 яP#ηZ} ӸSm`b A_cdIƱ<;2d@`"=hxt(DGk@A@7I6w 3+ov%]sߌNɧIǟd0v&,8z.PG,~f03fd(٪?2KUy)$L FB|9, z\G װ$шfq{?r!Kiڣ:Iu\.`ӦB6]{n# q_9:Wl+ ,^W*I,=Aȧ_jnVBFٿ6;&ń>4e!7)W0]Y!o%;b΄/?|2j5 Ϛ%*RԻNÅibiHky6('w?0%*#PAЌes8mVփ Jtrp0e|<ȕP5%RG&h.rڜkZ >$y(I x ~F5ibhZhR~;sI[:Ł2E:jȟ2%kW(bn{ۜJ 49%}?%2m36lB y^ կgK*UUjBv]e^tA*\o .f<:粺0 N7΢E,,JD\- |ؽ:xr U"o,NlG6Ȗ({󫳠:~K?~>Cvfk#ffNft`mWx!4<6f%lb{-q])n_"sWY,4p31y/Rsuqo *E' L$-^L>$ Obt aConFuiBnFi#e7G[-4TpIDU^*Iϭy\ D>uHF[b]9ujDL.*8B!6vgFqcȒwr^a^o=TyP4B+c:iM6Nm\9䱐} $Ţҽ%Ro5ၿd^tgzW!>mάX7"!p PXuadg6 "zbvCr11d4R=,fe`t<iH_d^R ?Y"=P Gl]֍ڞ̙+*D-J<"N#e`:Uʺ<Tvf/np~Is-'4 2r{à' l>n!QO<?T62wkJW>mZ5>UPhLQE~vanYg7-X[i("Cu/@Jm AzcVd cY3l>:Mߜx ƠrvJ9SOTJ.T^u\9~\4~fM.8;!8kϩMd{֔GD݄~ l\DhofvGS xrNc[1,VPnbWX`]4^К)[P5i㚪O*Op­*@%;Kq\ Cog;8jwϿ[/G i71{1!ݷHED&R'~/&ޭn{֟NF+P7Iw8uQ7юn[;ȷߡea\ڢ jԘEmڞE(qa).a+`a⁤_=a?Gxoud S'uOU B0k">!/gcTޣS_H3}%J]Qrb_;p}e(:P鮧6Vަ\ 0Inm$g,YZJ}]p}=mM *-ͳvܺ܀3Xu(=}\ak\5vj+ \#R]*X\S_ Di @Y!sփxw z;nڰB#r)]r58qdu?t}pH.vgW!f΋~VUm< {Z/^f32`7SC.>&Sß԰9i Yc}Q:RR)G[yCF"VGJͬ:SP?oc!a?,ypM,,#"kxvq^W/]H3vɫ-e f^%Eg!8 (}Q,>hlཾͨ'agdF"' .huV8\V|k@W^gkțAr튅 M\Wm1!+CE̅M4,zY)ɝ֖ _斾e{| 4Xn 㫻W_ǁ[W"4[`7اZKCvdx\Yd#oͦBwre0/̂!șزVfMKgfS4sfԵ:"AvIk;ţ{ A,JbE(՝zGa#sG ޢH׾HdY&34hӕ= >o?B &z6Hl$X[,oT⩨u>"[- Q%Yj rj!"%x^6՜~F%{R*b$'s&SV[ E=Ś{ 芅Bk7Ub_i[x|d%r&ީPUIz9SȊ.!QǻA.XP/,Df1FޥI~Nث`}#i u>ms("uZbcxV88#*oѬp>JdLݢsEybLQçL 'zSșf`9ۦ 4\(ިtE'L9_>}(n;*f{]`mIֵGO> o~d}1g}-HL@5OWn:*Wx=ѭ4Z@DK$ H&.5=0:x0agYYٹ,"#5k[$ȏd,zrڒP%Kt6'(y>]z\NQ'68<;a#<5i^Ծnw%]Vi4Xk0;xh9 > Ȑ@P-p/b+1Ig! {bŁ&Ǖ>Cͱ }jPΞ0Cp2JB5Yՠ> nF')u6瑺0v&7ݾDTo-i>ij`z Ka(.%wB_.J/z^70RptyNN,!NfP ű*ճ&IGS 3Hӳ ۫E:%R:X8m8吁⃵g&g6X-xf8's3fƔ\xz̮eӌ+Qan5ϲǻ/l  CƳZ4}܊S9"R&xfpCK()~!Ԝ6p>Nga?El2hwW_}OsO-gx}5lt߼ZXQ TƼ -(M3?ߨGi giU iܦuiCmrџJy,kQR_> "fdCr>MF6|"EE[)NFLl<4.oSHkxLtA[" Hm4ḳeUf倩V$AZ*?j`[IrX L zd@!ϸuX9XirӒ3)qv#!b ~c,tE)asz>  @= *@. ~~^W-Sӟ/L]9,iEhk''I1&ڐ&tkgNA =zSmٲok!D{\#rFyrR$aHRr]qe#etێWu;]~bb{hie(O5(ָ 0,-}A3Xj|wBb!zg0(9%W&cʫ⪧_,bQIWJ/;e73PIU{{)]@g#ZD# ݟ>Ie@vjsw';޼I8> /E\$)&9HpdOP4*v\M-A&p&1q. 'FLZ*SU MX@ fb'3z^OSgulA-Do) P?2 BXYyN& EzO  UuP0c]a v$k >$Ql Ugd~K0`Myy[Y5LVE=9<~{3c17|]J5?82Wi3h9ŵ$mh/yBh[UNYE={-?\= lAe b D2!Ϣ֡[fMl%mt?kdocTc_Y+$OPUeHg\|g#e⵩] 3rɾ%ƓxJ &}-ⲑ{>+iԲhXҁʢX؏RyJqr[J[G<00[O5gL٣ލ _hC-p) 7i9)y\0 x>.)cԧLB杮{xT/A D>':&*S,豳+pbV:< 1G񑮊IkÌ"?{2G u d4KG:'Y8%DTY*)_X3x( .p0/G\v'l-)dBYNZݔKOюֶAQ]ë fQzr8/|Z\`Gփ.[p4ISDeVc3'-оo.$iRIXvUB`$=̵rR"И$0Kۊbx'M 7+%X}ۮu2,ޛ|rf~E*_D扱;vØv;>[W~yDbtZR]ڦWE\fC2U;; #du:rES}70k ']'+a>` }n%Ak/?П"Ll*{ِchرTBJxG#trhbeQu.QP`{B$WZW8?ASKϜZR2XkHG}CoR</|}w>8"#r0հey,qQV" J<9N&Y?"ͳ4JCwϺ q#3`k\@VlT;_ I>5=4t(h U`ARIЭO/xi{RBX7[.MIg2i톛HW(Hz7 ލCXa׵*aͰ7n8: 'It Z/NK>Yo)ڙA9/IyA2:Kj': B$X8cп#X:2]? 7jc@Vrl-f^D5ZWi E$Y* q=GJp]@R^i\JZÜC)<˴)Qw:5S5 }@'=HV:T5m\l@eE(bO wE9AưTHHun-)b"OXaq߬X:bnHCF7o^@[~#}DSJ /TVr )k{6⩧XD/Dw~0@3\ƍ*~i_ryiV(vKa5g3Ӎݴ)BZHsxWw(o}]+ =maTyNBv"/LaEI"&5bu4T/)?fb-J MD$ F@k ]_(4( ^ǻ5 $G}QRFcbt1nbWgs1B76d>s&m:`X= cgFpc _#*0JwǚYLڑ:cyl\ "[TYe%ۉiCx.u^gWzJ7\ Hcˁt8Ԍjn}+b3Y/i%{wn*jwk8_Z89~G?v,ȌH-nU)0Fg0}JY% |LaTMĸ6wYD+z3Dс͒ Y}o ş3 YcsR(s{Ț^|_٩(vx=ߐԁARyJui $L}{e$ Ԓ2 " PtoQK£;ӅZˈ:C=ψ<#ooi"PI$;VN 8AT:h|Wum@gjr%L VQd=o ltG"mf@Kϕ밪F4)ѻmЭ //;mBnJ+v]XPxdk{zf ZߢROe,e^? :W87nI<Q`SoB٤iuE3N2weng_) o\Pe6.}Y\Nn;ofz ƧoO/@Rf]/TX(0-#*LB FeYd&t#w#c1a>}XB@4;5Z^3\[ zԇrGvHeODǢ39]EpP}>wD=aMk v/2(cU`c:e5b!!:Hܧbw@Rgjɠ#r~JvO͢0wt= R-:ug3&)mFn i8%DiG&WR5LM [&zEJL0Gܪ3w0'B@:ozz'׃o( +R<=i|wh^")DR n Y8بi=+g oIR5[+P)\K@펚?8š W^vZ$Y{Z_MŅ Ve;P[XRk}G?#<9Pي{xt{a [B}K!룏5-WodTBO'{ۼm|^R6nhP O%]C䞟L?oÌ%Cyb2%5XvǞ_]̆VnĹ9闂K*M<}fԠmrB((>g]!(FVṑxE~Cnc6HuⒾNu 70fx6#HD$OG{i>{ޞk83ŃCIߣ y{({JiG9"*?`j%eMV\8LܭHxObt"o8xnuqvoC WeX†mt`a,/l[Y4֍8DgI^ѱw qB"CF'Ir(ƜQj;[Zk۞gYZ ?_% dOrdered_Resolution_ProverOrdered_Resolution_Prover.Lazy_List_Chaindocument.tex7zXZִF! '-k]A-MՋhvG"uIBm5lϾ\"aofU9(Jњm=F]:ዥpHd9t:q3M};ֵ0)2כ׃\ƒ'/#ߣ3=+Y琶GYGM $ty]W-Bqk ;fꔡ}APDL#PRQX$\bN$$t4B1'H^(;ʓ𼀁8:7ck@4tw NXf4h2Z!&׸b[]6=,UVS YcC%%`- x@ZI_?) VRؑ-'؆'N$3 l<;'kg5`[Hnt5"yze> <<pnޕ:Y,rؚ/2<5Oa󞘈=7R,b1>z*/{ŵL#G)z<2*1 r%?YEjߔ\Ddէ{W$}ٻ~0fqpj?Y-~$JՒk>=f 6>*hhiL\Gzla3$66`}(ivlR4ewVl>}q=-4ݯT?} (Wn-ϿmK1eo;A r7-D%kƦG_IFHYPw*^6U5#M=xMIN*l'vZ7'%$#޺, j>ҥ0w +ˋpǴz1T{(\@ndmesY{6C'N`YeVw؇@LM!٢` Jz%OQAM{JKk=КÉPYc彏O;{K -X] }NW]3_[IvŏS JYͥm2޸ 6ܦ&gfVHr;$Xr=0;+>x*q*U#ť&ds#Ɵ ?W,@4,,aNG*ok] '),t=~PމMeKjf|Zgēk6E . GԵ&LˆH[;ւXFWC~l'iF1+U\w7m! vUjX$)!5׃<2Xn"%u$`m7:8Mǖ@Ub62~ex7#a*O8MjhW@ni"c-C#j[i?L,mé&jj4 2Jl0$H n7`eIWֹ[U,GmKFfis*iQk}17Be%ULKU9n9ɏF֡Ap f1d,CCx]0,빮EghzIR?hzȡJ|eR.GOή/.Q1͑| %kȍ|~"yBD-Iu"n\s,wڇF,_|%.G잝M/Z~e0ZqEabft1XԓEG) 킺LD_;z^Ev% Wx<\8_ńaB^DыPjwPhޛD@!;Ƀk2.bb>l1ϨbRlId RbyJߎ83H²+f@x-Kx-UviC|֬%;n"X2,]A(X>[LeE!x.r{N[·(&|H˗Ci.~A<*xB봠};Ydi7cn5u$Hɉc|{Q;>-bHP[#Ov$Em`xm}cUYtɳڧ6 OL- gS!g!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!j ECUZ}x|/}W{#yֻ jG5r!v8>hw 1:[Z?@fI]`i?+h"X/* UD&Nr@fZpۯ)(]u 7D~m<nk΅a|Ne pβc]"dVN9ұErEkaU5D|`~G/w$ PAW_pfѻ`yK@sc{02>Z?ًul§)ʩTKG}ϐ KV %~YJA_u}D(?hWoIZE48\|ә4_͵mQ|:@{tK@Ӥ&XP.`e*)y^o 쟇N`xЧj#]w$3I3bNz$:`WC:=Qe(hFu_{J @Q ?#?oHue0jx\5 ҳm 'H,x6^دZS@(qAe?l{WA?R(vwP!x}tr,(]Q0f>8{Ňhw{qB'հR}"ld7b~?\=OGMN6D" ?ъ•l#s  9c>D 2mU7z=۩8{Tцab^'p璯 =2mm> Ri%&%wk˴4mWøhf 6>Fs/rATP (?QMZT6:j^Q:-o zcL%,:.0>o{ z5Mz !wEhD;*67:,eL'XRil!'&{m%ZY ԳݧDë rA;@z밪jޕ RLEC٣3q(a/JX9>{P qVbS %櫠z23U>iV RtScbR,NSS/`(F1>M @JYDyj J$,mC+lkX̥mS)nB`bxCNFj[^H4`v4Cnk_UR > uHBOKy>cݿM|k?I- ?qD/7^#Jva2 vW׸!bCpI }\Đ"kbْTBɴ+7^'SI܂}MǸrr,ʚ0 )( 'USaէL ̆褭bS] =c' 5f:kw2$gsG>ꀭ&~\h(lXf] DS_&QAru]߅a_d#wbVUV1Ù\_Qŝ֛Sz _E@==x@z=苔 ԛR1D, t+/Py Cg| xo0[ydJCә-jtedm#qL<?sU]B@?L'^O$f6v!M{ 碴RQ<:3-Oz2JuM5GL8gs E;hM(w&Sْljp8cycCe>~Xs8euBJxh=b)xiA зmod>)[-J%N>jǬZ4~u'LQ9ztd5R#Y|3c*+]͎Lj` aJ#;bw^l2|6^.<*6xG/0'rmx7!U8Wr <_R6_[N4Ha0aOb@ LhZFy]F}d coqDԞ+23 ;#!FK85Ͻ1.:Cej?HF}VVYDH${]ڵ5eLaQ7ɺewe HILšB!!RTHLKiGnuK#|v_U7"^4~Pl݉ݝspړ}PY:)C |D@@'4qhHmEB0r3[q#l ƃkF;L? in ⋂jbZj2{9 0J=f5M؂xomUp9<5`=dn]ˋPJд?|mjǕrXU4R809[ʍ' o%'P@]/6x< |v@~&ؐe)T6nP"DFx;dpNro%ð,ȂQc9R绬rCc+ ΃o|-hbqh=2լ6 r48c-it߀Kri=Z.zdE1z)YĊF^_l O6=ӍS=n&u_ O 8iGo5r515a=p=uC(Q6cQv6)JLvRSs {ɺ0m ]KV+YV( }HB ^; PHmKm3DUt\)_l@i|6CX,sJ_ʅӱek+$MxNHZvj?6mj$ůö NOז7rl;*qRLQڞo]wϋNķw( ܠRg8*yO`gD2C|vu;^˗Wh;8[gG R{I*&ee;_ۚ(Y#KAdd{퉔 A^EJ-}-_4)(dͷlђYOTn cB;%#CƊםڭHg(*̀]A~߬M2>H{5yj|~.G܇'P=a=5`υWM+eX`Kd; ߰ l| '@^E?jIFں:cO.Tҳ6 ۷XBofzcEu76iQ ӲYߘ ; ]o-.LSϧ(To+5u*D5 ykhr?$|刨Q} nA#5Xy^@np#7YV'0 Fo5B 荲aU?v=)vk=btI5j[+ ;)`ewؚRŠI/L-2I {{TqpȘeY&iTBJ$R\PsJn@We4l`Y$ˆ?"s{pFcm6T BWn~{ yxd1 ߍxw ľ5𨥔E6V>n9mAP xHEM#rmr7\."xXDmN9U?/nI/;#ȝ>xE[r3l *F;bai\b$%!^eǕ>TIUELU"' o1~/{001\3wSO "s>C-9Pq96KjT4*]Й3축\ȂPɨ~E̅<5V2D"} 2 I5W-SmvLqcU4*Y[nRxvu>v&a%e ȑ$D FFgE6q__Z&Qr 9I{1s *LgOB@Mw7Ai}Mz/O>Zp^0kq)mC. QH_gXTp VY*(,?ci*qy|bBW#Ш/?қ,r:=~c!5 f^JPppOvaݲP`n ?MzTTs(;eY3Yr#sH\)QރƼΞ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,ڏ?r.!R@mh,a.[ \v<[pCSųNP0 kb~ 8"^#q`ߨ۲wڡ|ibXi3/ /80^- B)K4Cїhr_M2\&.U6U *UX(haз;{U&e>0a]&+DA $ 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,`a%oRվo@ MD$[Z*!Ȟl"{VSg3?|mIU%7dPqIFX 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 ćDcwS0(🟨7g2TPb?`=؄RGeoτ Ez`V[+ *Né~xKK4qb5>$3<м*Ha|+KheEy *gk/(?&3JVn,ןj|c*Ƕ: 4OD1_c:_AZPmn 5Pv z\SP|%}8$&fH+9?ڷP'AC1CzH 8I э d^|Gjp'ݴ3k^?Mc:RU732V"g&FI%=Zϣܨqu8BN B|A7>Sw^*vNr}͓Cm8u$mHNW \Dh>P Rs@~XxwQv3WޟfWR+٢MUl7Z'jSf^4U2;x48`e䟁76]6%\d-5_D38M_FEV&$ 9!nzvi2`ikX)b˃A[HAx Z^o& [\=mSf/ۨO%,>uw]!&"msa2׍ŠX87*ѽӞUu|l*uŨ6!IO#[l.T?5{^@-B`u-z9'I/u(Q#!>( qҒsy`NL]Ai0pu"'QAH9@{aZQ)qP3B -Qr1Ax=1x{d_-w fYW©pfPA[9f{B7fk2<&oipa {΂A|[_8X~'n{] xz_#Jc36)~`jYuե ^jd!z-,I^jiTn<ۯG(=$W*V:W!ϡ'j"71 WV撜{? SCZ9yeSwpt[ox%)mY(SP=EV/8cLlЍx #=H[L` \+ VVdup堕,`ᙧsc_!(?e ~{r@e ~V?;u[c잚8.b?#e<8sєY> T_N^M0g'MD[|&t#Hٹ:ǼWZ.ݱ8N2{8[GHp9||t_Y4lz R!wjZ^>\f$dĖ('v#>3qrxX5}CčӲ({xOU:&jHy/kHn0(7O_} Ϻidh}okleozjJnrfЇ~=0q FasL/d޽&ߎS5x {Y1+%.. |2x1ި(a߭Gg֡'w%c1)yl1IbH3j#tLdQ\E"l6tzM  37X6yovF0dSo@ecP.חC %]"*׳0k呁{wl )`1 Q:ȞDx$[\sqZiIaaz- D%~[2pɱveay{1KIX[W)va$Mu=i mSZɋ#U’p}@J@%V(2 lVye*E[1F闒Sv]hE9RFjcwRGάHUfa*=[;3vPf&DZp쑑iOU@uуQ6^|aMozI WܢM'$CmNa)O/?_:Od dFO[2:456F^֤Kbp1mYy|vhT9M-\`DrcM :6&lL/1,&#ɭ>}c܈"-!%mK+h Ǵ=$bG!Z`uHr =^ɝI #C $Rr]&V*>?Mpv9ۭ`'VHF"ib{O[zzݟ$.qt^ͦKs\<[1luԳ {W=:\Y"*f{v\kf0zᖴO gp QL>yT ׵)6dΡUWy&kW~({Ǘg.\/6J-qݡy.>[&Txy|.D`ni<*!)ӁĚGL69K+ER"Ip_lS8U5x=t 4h%yM47Y@LUcCbR7p6A>oVy;RǬ{ǞMPf}!uTZ#;NPk3\0m'\\ vbF:"ˤB=7_P8D 1n;zצߤlIv1|W|EH?A*ԒBKʴ_[Z gz/s-g aA='0fmG/n(ZKMl>RƆj2A"|A?줔Ǔ҉APBm B]t[lEm9T'<:ϬaJuIyb=ezK< Ӷ5% e- iBc Z4Axp% A@!+:3"+K^?l=&MGE0r\7ijPܝ9hF.c(لw`{vr~Ǥ?8z"aM'd3na'+Z Yz0ry]ڐZŠ^:xpE0U]xo/6C.irH/mˁcKE_ !X x} ㄈY,N~r<*@KLAr;v[vsdQ몔B_r舑Ne/T^ " 7KM)^ -*Q04=UyzEXNoHC6ǥ8R42&dl/v=_W`*w9:Z]-晚 <,nYWҡh$ULi4&_{M C@<,r&YK7ٜ֡q i{K܀#6XtM(Ǭ%=߈,7v5dA4`6B2,׈3.AJIq5{zZ'v"BɃp[D|I쭚-D^X5YEol̢M_?D0QY;5˹8+F+ NF[#ǚ|ZScjA5[w=Eװq-5eRڝp~_,7ą,S~gޖu|S/"^pMڵ%)֬IЮK)2 1daJg6I/Ioӎ6T(qL| Db:SCcAAi<GPzP,5ad{ƌ$ԗUdX,AANPqZuYŮ>e,D,p/&7&'i6MoK`vcHp#t؊Tn%|B%Ϻ1JO'Jne^P#wP-8A̖mBΕU\ؽBoֆmwe=@ԼG2[_ե䃍p"&27bGů2Yo\ru!G[-­_]ـ5.nPs, ӓ-˳k^zuRw0TmL(67Eă3rEУnqK:Ç#ݨg Dկ*B3W @k.!QM)& rvC'aEW2{owu5=y,anvWP^! ŷr}Ɂxv?PhRzLya=ӂ^ cDդ*o&QSz?5XM=Z=Քav):)0чXe esؑaY6}F~V%CW0B-rl a2>.8ECL(\z*CAon)~#tYD4;jx\ƒܖRb={| V*d $YBҶ ' KI7&p*U%JrZ;g@`Bi{ 6f w_F,  뒀IL(GDFUi~EB8? [M؉E1 :we ͣŧt+tV#kkUq &isNFm!g,zgx $(ȑ6ot6_=hQ`p<8Ir%K ?wgdnO_.[;POyt /_ں UM\Y|0տ-)f}T6H J i0׹ia5_aTsiA|vUO7p@)ۘ]LJ~RBZ„bHOD;j@؝Kima˚Z.:; GIBLoq&D$YU~NN݀AT Xȧ2\!&衃c*mz RO6:MqD`IRyW黛rtV0 n8ewV -1WXV 1ӕ$mI1P=dKxLMJt)"W_!S#ң-' -T%xv>|ދGo*rHdK͋B U ͼT3*i\ML@bU15ܷ+c wW(j[)wXcpr*l>2WRddAI{!az4'+DjԍVy}=RU^]W贏 rMd|l&q'hW1uX P a4_8pfPf쓘!R2fB+ɔ0C`GaNc x-B.IA硽?vUjgѓYQP DN=LܞL5Μ-$`AxY_s{nQSɮyMKUrZ~y8B(.L(^Z5F'wK0GOjg ]##,vƌz(^N1}4W1>;MkDM!Np밧`G T4&-ըsBͱ-K>9p'ym?'۴v+W7^CEV:n؋\o Sa |HBNYY8}N;ȺB!Q%t9E=%6ablM+kd{ }KM3mni?IcJDVAJl̎Yݢ/ #7 "C uʡ9xSxJFiIcopMfW{^^j}K)ϲd|R'J1q³ۦre["WP #%iwܹqsU~2O46OآstN TSۗee|>=YX8hZ';D,d[y}lbGc0!T5N1{jhӒQBUQ`PS fGc I%xhjmw0.&dK'cǃ_:t-6c?0YW&ްG#:{ٚZT֝XC/E1TTyDDpJWxۙpXt+(MU'q7-4ITm֦vP,/t:*c0=~MrܳK D9o4 ziS|{7#Kgz R6IC"E#ߚXFqX:MǺ~r/? h i;s,cƄwef='lQ9;b^lP%pCP S¿7&F#Y>Ǯjrn"/T[JD<߉'Ƴ! e"l;v_WtRw6^?CZpټt|O'3S}5=Le0]A{AAnTqQijQWBpi\RvHDϤopA"Hn#ݜpUZ]//&H kN)֨WI%~_ rփm]nB/ -Jdrڄ.!M7|*xZ-[MMۢ嚏tQI;{ xrYA,{vy^]4NG IuC(/ĕR-6v #Ή΅4hzt*W>w6tUx[ M1@: /{cwD0׿dhY^-)d`Ds/ͫgW"J]w .^j)ErN<֐k7[" _'*|ۤ /fb:eE7J Bvh{B9.q|ͅݹ+Mcr,^>R@UF1Xҥ9EB,ӅE4ٌO1W0*>yOyUGdmĽP4`} 1576^>be63L?v9ss9#^=#>L Wa\мU3dKF\p()=>lC1,!~[nW\ 6yf*XA뜀mThפ~ _c#63 kL΁Ʊ (ؾL}’s#mDJJ%{A2Ź<"P&;Z0Q )t,.ʖ|P>Ɩ|'0Y3X9}?l"ǚr  #K>_Ǽ(AH~@?Rs6OsqhD&!eXݯ,4]L؁| Hz3 k] nW͵ޅ†1YMB)¤ 6^yb<%̟?'Fa34H9u۶&V!LE[=_@`6s6M)KH7殹Ϻ:^92ŠKVpi$+k;`7qhNjHcby]tOgq!EŹ>0ֻ#OP7k y=W,5aē7`J,{<`=B4W;ZHogmЩXDHG\]U;EżMh5Ă߿5dSPEbyj$c<#?l!+ևY[*I'G$c+"<=NHr*اawʩ @&qD@e뿑!FT&w&@`/ ϰ#g"7ftAps"R?eufwkh6n]J@8l8+T3[&&(@,^sisvHzPבLSԏm/E].zeOhoy~ܲ(b))Gy[* [HE;|~"p גo M/Bh@`ټ&^/;I#z;m{hˊpoT H[/9ekk7|.OULPPp+th[d!':)L,!3diaT@#{yh +]ㄝ-/_x86PU }6ҧWhyG *Nދuz`pǿy1Ԭ'P}6"- CO!STu\FV"g=wHkf"c{< lԢRo@sevmTId幩GDIwqBqeOdds!'X2?P8] W嶏zpn$鵬r"iztJ i]˅j*#qp\9u{իycB𾊸$c!* L|'A訧q|F _xo"g. nL^SbK5^\]`}.1g+Jj{ , NI W,!J mmWz}>h\ձ<G5h(\jB?N~mO<09oOnުVzJog4*]5e%o;wt`gWc MSsĝ:ExplSERV_0k]Ý k%2#\†y퓑<8Vl~oMIP&r[>E- ZvTH^QhWj5ͤKFO19}]gE#')u+Fs tND*tGvNPzVgIZ/b.,OK~Q-յa B4[\_g=s˱fLJ؝ԠLeƼ>BIx>PiuE DDÕݘBsS1U:!NF(&(y#i( ɝ b+_T]!UmsLGa>ZSƤ6 ]LO? ~3`7Nnw<]}MWyȎ%z!CBEaH(qK<>`YGa"\4@8Q,XBLzMϊqN$,3iwvo/O}nNEWi]6xFB|}•t=Nf8_L Jr]`ڏ#0!x'VkP {f=WB7Is&VA`/ȨCdm% ר#D`o,kV08&31wRߪxRZC|$y!{5OɊEDEenХhoGtwgA 3 Gm$~7A.6^Ʌy)ܖo|bq:vnf>e5gEdo)Qmt:t?֥, "9q<(&,swSN&圦]3x I rwwLhBL' O̷C>Ė=wuTM7Kk?(FVEqkk@CR%M(कFhKCP92ku 4 @gp\ Ȏe)SS ?\x 8f,ޅlF=kfV]'[x{yYRS)C 6r Fx47j-"1_L:4%S<=鼾*b qo/*u R: ,5 i z A^^aZȶ-ĂjĹdN !e zwjX!~gl-ntќf+sL*cߤ'd#jm/tnƭuep$z qɄKȆ9`'wLRM Կy6!vgO]'&)斳iQO_E$A{]U9@hؤɨr SYo,_l0oJխa Hs-;cHX۸J*WѯYp#f418$yOSe:l7K\Vb6mEg&1[LNH/EYsZiCw,$mLpm{5$C j!},y9P-} 6s.PDkf[_3grzƊل=CΪt2+ xiE^.ikb>b 5uqbW}al+˼Y5FLzC ͌oY$BL6k{BRjgyrj P?b0Lj:W0tvX =֌nH!b# ;b՚^UL~8Vdit _NQ^S*M!}>qݘ&1M=fV]kK|ўKDӢgڟvLcv2<)gG4ϻaV(X< ld9iy0Ә30!Ϯl/593@biӒNjčC:X+ihH"[]O}e8ͶrW݀Lxz=DS:"=g5; /Y΃/ٳUR#]R>86aH -u44nxSCJ>KfL{XQyMȷO4AKW(<~$mqhKa:ҭ p!=u/lPISn𔉥n6z) IQGh=s@m oӛ8W1X>E%:p'[}(~x6ײ?:}IFeMK#ࠀP *Ro#M#o0:2;^K[r֔_ʺ{[`e4TܬG`Mi/bAl {gK A}hy2 QDƳfɕ\g 5BRwʕcڑ0!ızBmN=SQaȍư| rQ]Pr=ɗdڽ*췂K"87hĿwU_#e<|4&D2O/r+xpZyF }DХJe;P ~7MwV*џOGD()7xtQӦ$l9nv`u[LaS8\OhyѨ*uEᔃm Lv'i$ݗ1R$F HX5(6]+ "snV-c6h^U :%im?E$r` Cց2W&Y8Q+̄˩ vğ)n`GS'a=/bToM$ȡx')L%'4B V={vU&_qL'xa;%5sxR ~9o^c~`_,:g2N#3  FidriFPVH$Lq'B be~ 5 NjsKW#ոOM4zk巄H^Nm{E H8)L ~Uf:~G@Cۤjen1Q{Beh(РF=1_Y6:Y\ BNڀs(F|@31j6x:ȷj"MD^ W|2qp1eTnlB;b7MytLFS&y_}8̵cѹR&rsɞm?59g8epjCWWkkhy/Ie=gN̖~͠d~:ǰ:ݖ%E;q'kJNz4gogNne. <%y Aav3A} I4uA*\/CLwQ[[h9UuxC6p L[@͞K8ٹ&OAm^<we9 d9?V&jit=0#_ٜL~z×Z0{$:Ǵ٬7eW@n2Tu tG-hh),5oP]lY  ã !>/; -#:Zk(mwSIJf #S1-6 PMUX\qÎʽZYRbȯM8܈q*DK\~l{8Sg5-M  _0J'LӬE5P )W iAù?sы6X;6 h7[׸`6ZP"urرsjC~(J>)n 0Y2e6fZ_9=#_^u0moޯq,(t.?wc^b^I7OOri8;tmpEPHP+?_+&y[1˖7N d}u4E 3?C1YzyÜQ7мg΃IPyhpX_a5SJ5=<3;}Cr|Ih/$|g8兯"0]9"Ғ|.ƛryhف2帽bNmda~%6$s0ĵ@\Aj1ԬʱVm&qy+qX)-T,DBegHnLeM͒GL.ݔHcWrOb^) A:݄{F(/]AFP~+l"TDz0ߝ$D +b$?r1d h@Q\ʝ3 t^wπqqd倘7,Df[fO]ҵy[zFhg7(rEy# <$pED5GF0A;֪$ Tb+C`1}S>$^y`lpyol,@Z~UssNբZV͇,vӣj&<5Nzf5*[5Cy藣0X3?@z++Зy0bynBSD"d|)f[jƫCrS; B$vAF$`!Tnih~:p*H6S֫%kkaؿο(a"Ƨ=݉^D?8C!萃) sqUD$Alr (mL^pp Iqd:Lg2bbE'ؤAuY=;<4L\%q!${R :4~>:?꿦eGI9A$A@҅zLῃv,RtISBOqԉF{"RӋj9X- &m^ (e tݕ gS-_WFzPPS3"9TZn^VggDM iAn#w ;urL#urhrì{Qu.αxĘ6WS bD@vă7B6]_/kV )୾& )H0Z }32zC,XF0ʽ&`2tk/}hڍHx/Gbρ}*q3Lm¬$ȑ̇nz7j}?l?|B 7Y$86OdVZ8K6%Oŗ{Igw>q,`6wr9UQ.qAi,>c?&BU.{<@{#ۄA,}^6*}XR/Ѿhlx&|1/DQ`Ϝh~R^eG<0ra,N [r I;!xKrUL@Ub <kw:{(.HxcLMAj~Xdq8U"`Q%*ILfȻ?^O]/;YKᗀ(>' >1q7z(kIӓ<^1,Y""dW sƚCzBM*כ"6&@tشIݶK,Wkizepc 3OkR#^"Բ>f >cdQZM sFG\{@ڎa߇"@N[g#|~AB^lI!XYQYx~l.T0ri):QRex fwMPwM!Eu[Ɩ#Y[~#z* dـ,^f?Gf'>8uxy+>x{/ k(!2Gml]LVv8={H33}tr"c.: "lGU,g)Q-HN KC-Z]@~])$ga{31El/y~ MJXp] K_ȼG\Z]3?ڤߖX@cdۀ=vرe%.s'ukc {x]/PIr7CL? *9+ͭ.b4]@& j).7և_vl zu@]\L8 [dqa6g˗'c7׷n0D'Pik*bs <-}1Afl:YƔ]&yمٟ {sd 3 L@i! ԮYM^meJJ04S"YaLl8 mTS4w Z#@^̹oޣ ug#ԫVӱ2m$>`knb7e#aN`Eklq\"<4> ;&0.0d,ͧG?,Ls^ q L0(ŦV"s*sLVDODT֓}+*sY?&wa{vPW<Ը;~ƅ- ^M >8=$ n_POK fd43\6? Nj&j"vNp)$jerW#0EIYl}cbG"d,`Y[de'RUe;w@S߅9Řf MOFSuq%ȓϜܾd->Yp"^gQ_!xa/WgԽ/U zb"Nl`A{N?=X`~B͞PC2qRY֭fs{F]ztrbܔH6Mg{E`XA8l}H &t*!gdYy%>eo/8fӉ4 GҜE F֏7ʱȬĂY[LlbGsoA&do1P NFx Cn|=GuPFs)_DL}~P+G+XpoAY7rJ*X"R*ȟ6;ʡ᪂jU&Hsy4++:Yg8DȮֲ]SC3B#k:͊Dym-,'g4^ϣՌt::\.--8@,Ro:Ie';P1HȼqpJN1Nin &?5#w;IܧXJGɜT1Gwj{Wap*m 8MIf iv\nt,Ժݨ xy-߶19 hft! Bj] A9JN|Rz|}_ D 19!Ȫ8&1QC<=c'V6Yxj[|EB:5o8IV%6-e?hDBwoἀx-t GfC4.>E&+3?M<黬F}=Xu_v42]a6Y%wk>WqsI,S:-uH/y NNVoT8r&5e5ZbT2W;^\= [By˖K/_Və_B,!x$g3DE( 'W9Ƃuupa g2DYz[ A t| %<H. Zb? e:rk3 w9QQ./J_RcgA(g=JJD{{p=-#hS3ITfֹ1˱}Z: pc#KcFmm!‡ݟeh?Kn2@}  ^w|q\mϵ xBYHxp'^Z/.F?҃=bKzӚ9ZJyaaaj"C$sRuB)Ap ]ZeGtlQjFQz` ûĉv-OEM 95L kAF an0)[cZ$^gix&O$O]ͱ>ƔWaf jaoQĢeA1`~c߼|NEWUJ9Dȩ|)S!J]VN?/ι)XLWQOxa_܇2?£ 3\0M1XԻ I/[@5sp1|*HUNvd`9zlzF8<" qWrCsp- +;Vٸ2p\z#K+6] Lb y"{Ot5& suIBRLm>)+C&!2j/ i១}:]#"j!NqP傔 MF*}J+븓+!:-eV斀ܧWpnt Tqbf].PBkQeolߛ DOEmx" ql F:f\ ' Pl7(Y/Py5"q%+g[pgC΀I\SƏ}|G9@X!f6ʢUPBؚx~X-VFgLՁ냉|ñq l<)3wdG:P Fͼ>xN MEZseמ8ܡԢ&l^HBFѠ2XS1Cn{]Kr0PgВ[ ).@Ԭ+</TxI(8G|Y X[LAyc;T!ܥ24[EDїқ'8=WuMc"f1 _@w=uvʷ0LAޫё~TDrpLɘ6 ar3ӥQy K3X]@@?= f}~o"㱠tʑ7ƈU7)l8Mvsye}154KUВTUt+OJUԽfa򏮒RYP7U4 hBo`Q$ǟwEd㞜h CԱZ[lF>|T5 ON85?$mܚ{׶)Mθ}Yxym_n]$!LPH >W/ʅ:]Aiնs BFȖT+jo֡-ʶq\R7 n{05C(鉊5b#^0z 4smQ:B8`KG;{ Ph_͝$-m w;^MհUO a^ȥy]9Zz3 MEx} [d[L$6{v5uW"L Ҹkv~d 1;QYAȳmG2* sGG.YPM ƾ׭pcgzU8SXx*B~&8G+^e$&mh^NuW*馰#9٫IĊ%f<\(P]!}u x&9 đi5lRc}!}c_4>:j|ASyZVGh~"$e,8]F:WZUk}` h4\ sl h490R·ǭ@8?PVo߄%5H'(a(b+! mf0ؾ` +C@L6$S4\w1A_ oΌ rFA[t1hwX8}?Io"Jnkh^l >$Ó+'HaJ[ 8@+}?hQmw۽_+ 0A6w 3,N^Q0Ԅlev0Wi8 R]r n1 *Vs+a+n^Q+ /ʩ61!c&+Y(L3KA<;y1dX/k"%SU|u|-' Q}妡&~|[D0._2465Д5B@`N7ѽ_m^_ Ae-p$]N)baΤ`4,#}d.va=azbI[1M>r_ƿȏ'X\0WVtT= ē·_!4b@M!k-Ψ <}=%h"IÙkC?%p!K Ā~tm }ZZ7{2bYOwe cjok9@h45~~5v^ߧH`Χe:[*#y&: pDDS;J'L@n>K%aDFdÕoSs:Ͼ`:[Ϟ/F]>&Y(~$/ڧmX|#g r0:>ׇSyv9r"P'D*芭ZzD5Zvk6ʡ C!yc譴aڽU&nspMƗ2@;5^tCc1d)7 aYn5v`(:ҕpvmJڸ\ PBu?odqh Y?EGY˧ )cB2}Do|[iFkER1KDž0$Ҿ23=ms!zФ ϰ~j9Am9ھP]V`~QgwG>c6U.͖0ҡfFpHv7mv*8#9OL8cdGاOE{ڀʝý4F%SsA .z $h4y 9Mk3  Fk0> Xݛ#rl:xȂG$*܇Y&@xFZ"PK4 O KC[O8$R\ "Wl))WQ>)Wk.lA&$R;o?B7v*0jn#D+5o<ߞAý?S+\-wD{9._WRSb\{4˜R=q"NY]Yp3qWJIY8!=''Վw;cRãfꭠ G1{,9^Pc;A#y#hĬ$|ꈱ̈syBQA4~?6GJfoݣYP Ր$fy5~1NS=n%jg @!Kfl]ؼ%e14Oe<&E2Qiɞ@ Z>0(%d[O|H?qcjq40vVkpEWs'pn}kS0u֓†!EǬ,\M4wvby{Y)tLi\)Ti\!]s_kӪ]]߬.*-6U3zfzHs;yqo w@&q X#i]{XC]Ywzȿ)G449(*FHͻtm/y\W+C 6$K@&<# };PUs!vi'-w#)#G 0JngK*n`G@U˛x*;ROrazS[bie7m>5=3t'lO-D%@ChŗcSp=iO.upc|_-m3YrKxZx+F&*J~Dcy3@}oّrR]]2fPh.?3ir(?᳌ۆV6\c&;#q `4y D3egpM!|,sP5I5Kr;w1"*饡CЫJknG09Cz[63+"TSk\6Lػն4xS?<5V)\t[ !d9)vt~vjawejDWɂChaһŐU#1c,, "<~uG w-=h ȕϜ\Z5KN)) |DK*<휸]G;TZ̛;Wvp=Bԡ);] C,];ه؏_ ;( z.^лF?=m0_Fgc r͜@x Z6Uϝ+t=[{ݺ.aAdX`yo9C.iKJPҴ 0@ŠЇǵZ`Y<(R%i2云l+ cD4Mz>2Ӷ$Ex4+ LO)$]ѥyX)s_V6)0?cq?XT~MǦIX\V_ԠS:ou'06*˴<"LAD)Vv50cEnS)@BziDt ݿ=tN5=p,4Kv`*$7lhc`V [-F#.hy(kiti-+@ V^(TIlcV[7S냆tʇ([YT ,\&RRߗqBD =idLTwK cڻ2$q=udz8MqϥFPS9064ɶ~Hý}yڊdQ;xtY C< @d*"/ݳPhPHotȗ춋3*bmGUl j6fJHFES~!JWoߦN2O<zSLаO5 Pwk1ˆO^= GB v5e(U m "EAK-aSIsôp Y`lkԆh2,Z1I>$G'ƳTCvetkCq\9=t2=B\rI% R?c)\@W](p(띥Q L6GXق~ƶBӾً'A3 DϺPq߀M#_/`dt;vn;@rvz䇅 |3܊2_pieb%Ls8x>tS5=ܯLh;&ȁ#6:5(=/Oc–eK+Dټ~B1wuއj>#+`V%Pf4K_?ۗMc]CԲOeݖL&:kIiy6lVul"2pL)&!ɥš]nNJJ'Xuy1.1](h#IUa f5p42i-|m9fH} @>6տżsrnjAz"HYt;iA|r W~ VgJWGlt RjJC8L }F/USꕌ1}'qf;k?lŐNbF1et ?ÿP!,=䅉t~(ǂ[bWKՃVi("Xەb-q&s:mM/T %7E'FF+LVM=NuX.]Tݢ.tP*@Z3G2;ΉGY_U2LThcݶz&,]S9H b=,bJ9p<ȓSotaewV on obEuBO/S8]w<1o3I촿,-gq""n=`);PBW+=zϣuv~RRPeAVPS5TJYu DOҰpP;!8!FwJ،O/({loth&NvϹ?ċbfbcoX&6@,cNrOo܈ƲR*.\~GA>eSoc/ߗYqJibqĐQOrEuSpPz2R2^s)ΗwU;F X4)p"TsUtxĸMܒvFN_6fz-{!"Xxc"cKې^]'%U9epqcēR#O6nd y&[UаLԽ1[LME>,P tSF~VKE)%}qg ,a\M~]B(|,|Xh_PO0< 4޻GgV xVhaJJDWb,f<g>:޻-3P&gLR=aT< L ɐ\0BP[Ȋ^>>,<ъǻ5{59;QÜ \Lctkٵl؍ Riq6V1-(9l;v!-`B-Te&ʤp˸\G%Y&Ml->>Ϣh-&yU!j>ٟn8nfB0&$A6}ԯ̀ҤGt׃)OAS4i5 Z/3Tuɖ|> Un˽ ǀT"ԫpYۢ (س  /#{Ovd8N[I $3^,U $swy9~#P~xn~CD8=JvbntY-Pl7ET?ز YbVIoq-m-R\LMwy.Uk"pqh* א|!5,j$Yo8Cw 4U(=1c 5qx j~L1K ej+E^OʑaZyTSYU1D};C˺CT$Ebdi'B&"KׄN|nLitQَF~P fcR4{ܚS@.[h:>:-%'*abrÊ2*T{.C scMZ&F9Ocg23Wieܨ֖&ٙ&/s_rR[2 ţ&&6n}{65/>sxQc,Vר`A\0džQ0 jr<48t<#z ځu 4db2Zi54Y|ytş~,\m.H?r~Buxjf9kTa?_OOhW} Y YZHTȤj}w%.WNq]Wܱٵ4 | otz)c@%Y?Bz՜ZV([@kMi8(l+d?5|A!7|oas){"R󢢺*\#ciJH]`qF"ÑO.h 'U4L퉢^ )% W6&,LDIHHLf)I6~}\%*A6̰bCg 9f}܀'m$ߋcks _xa8Eμ\ANv~'f5_7%(!l!Q c^*: Xg8)]ŭ3$ 0E^MDÍPJ`4FQ'H.yXNqUGI*8혯tP-b2syJdλ=3NOMjF8G^BV@31NlbX9 'dhѧpfY^: )_APȭ \ 3(`oiӅ3#T.=>Om8^:r`a5xɺepFIv+)%@IPy$m5/_\ .*&]?PaZQUxvŜXDf{S;3zho2)Ӎ:E.)"ҳ‚׵Mc<,l$ZW)Ӟ07?M݀6wEFEo dQS&5w)sLRKt,a˩5O(yC_) L1I^<Id'x>,;F^c pYbģ~Lݫ}D*m`mqj gBGp]3@A#.Ҡ.\/BuZDFK)ˋVPUm&@BxL*WA[/3_$b?jPdZGKu8 xc{y+K"6*,̟m嶕2f9!&Zs H;D D:*0~QHo%ok >5A+%, LUe]ڴ9<ne|Ab\̭lqXѩy Z/TT9T3R1.ICIO:*1$©0b $ 1`ij]r0tu-'$Xs2[nXm [dJ?FSKuw:lmZ¦G#xDpy_}#&uDk?-z{^j B=.T*l,WZ8WfWקHcQ3A?@aZx% uaB-3W乃̗Rtġc1Ju @mbT;F]Pa_(1<̭0uZc2MNp6oqt8f"ˆً]ًO>R{#CPcp\.x1 2;FqdˑV==؝f$ʁi1r4h[`ETcAjVC-/euzYz3C1]'O]Ԋd#57^ ew")Yw+ݪA8'u᰻mVz-e&=$BH c2o!3b@28\3pupTGֽ§Cn'JNՠ97iXl9J|$>i,^ޱuqEA\i8^b(۔>ޮMшZFI?~DxV7"CoW?Y0l o)O)XB O'Ha_)/":Gs.0 ܠQh}0!V7[k%fui gZ.*ѕ=@!܎`RCѕ+y/՜ɟk\~+Z ƨi~؀%] P0 k8g*0qע8³϶\8 q:i i}{0F}4JVxR5ո΢? !E4P<%]P}"ޙ pk?V5;RjX KK/;6jsGB~4.ˤ # F;y40HJ6%'.Na9lu@'!}$.ځ$&<H?+դC՗m!H(ʯV)^:b2HhW/SF-Ĺ3訐#٠MSqJܗR $s+4_T: 25i,ۣZ5!L_)E-.L U g&{uo7]xY#Yx) $gAGe4CD'үtt9t'`cǐSx$DY,[mf30|_ԹE O* #x P|fcO0}7ϕoNWg^k_t u`FXrbV 2xX[$ZD\sۛ:c:AaDC)" } {r=/'!pD9QޫzHV'͡KcamARΪ+r Q\FmZPh@y|@DԞmu4t W64Qe{ q·2˘vV+ҹ_$ F\n (x+|6#Ij%)kJ·^Ҟ 4D'j3{hg;A׵I | mO?6hϗfTP6uNM!v2wX6!Kbos:ؓP u$n0*QʦJ/@@&? 0t}46אLf#(Y( f5¢u4Oj\&EQx#T+G ;ar',2]64j]cH3bV*uxm݈]6^4=f0HS^JQ}j^{:Hz& CԜGPlfv;>|mkM['=<BmF _ BbeH8C*\l#"{e$NWM|zmnsGiw->/n(QrZc+oR]C‚F/w}L`×wٹP/B5׸,pRr?;3:gBҤĉpmJ G|O 1n@\P3B@8df=,iҢtP˖4VyMye ;;:11C8jCLi{45_J6,"6J)vS8PB}uR 삝O,YFZ751 O\RR2DEݧt,^ܐQ{6Uu^щ 3Ё:Rw S̎9I"Qt*Ǝ_ȅ ^$Q2[hIiPvGguI] y5ӕ}<ε6-n&Ggx@_ͅ%[ %0ݕ[b ˝)8!=| ~gbR ;Vkob] y:DjF?_}yoZiE c0 sN5+0+oXu߬ YTe$[+/OjWJ`"SazciY2+\S%mԛs/Iجnx5ybV-A;CWkSyl|%U\QN%{3ȥ]4}q/rZsu*9/[%t¤ʼn(H]@ {% _U߈z#k4iķᦊOo ckFP-Fpp67IeE -O9cSa>,u2"D!~|n' (?F@zTr]A? T+hğ1H~meS`ŝfhso q%e*dۧe:qZXJTf2FjƤ/] ʼi[Uxwo  wc#AYkx} L(OwXH`~h3C6?43Cٿ J@EW\G-HZLI,c-!|ُzUOs -ٚ=D9c^$?x,Z^ȳ^c2/ MO+Pkm8C;{+0=Vr^t?tˑzњ>p8.Žg ”C?ODA/\e%6LYsXUM q6$B}LO^2]~]c<ҝRSj56؀Wwuŕ?uQnWSꊢG!irC{$BR)ɵh5a1Yc _- +G8RȒ}+ZLTAE)vpe;aCQHj83Fgil/섥, o"q :h̲SJ[FT jy!<sbbdi~Np!ԳU PA#z)F">IAT8Im>1>ÆrfR$9WG'K,.J^Ny:˕N%׊R*)&7`YoS/B;Xr>P40:F{#ݎP:LG"LpTsR{ff1>f@%JW-2m) (  :~mGd1'ڎt y]jnWN' Յ$oR! ^Oi猋H9=;:!} l1.6FQ+İ="8)9]–hCdnϒC eE}_Pua3xW 򧮁(y,up !X ɯwRT/W"L Ak<M3ɲ|w&~wӣ,BE1 ubX"̆4{)2-\ztP0-Q$zs1hoJ/axn/xy8 *+~]1-72؇ɭ:7QX omZmV JЮoU7Jz"-hU֡TOyĒ'XuU"+RާuPwܗNt>;EK@Cő %hR-\c|j$3+kR cmСd3V+2,P;e;7quҕ>6NT_1IC*2}k%4)rn/E1XV?!|lDΠ%j c˃&N0*Jkzk[ ಯ6._-7 36n,ۉhJE+203t CJ9~+ bYg mvSN)E Pz ;c30N׮t(6I ~.73 zJ+]F9⧽EKaԁWv op0 "@NhR7)| .|639^:]K,q쌹@r p FB|*jU^Ap^ W>Hc.-tYIW:)dTy;h!P pZ9n8/@Jc@s'FlUu}b:1-S9@;eq{HExܡkO3d|g\!D,و` ?@!XeS Z8r>S,86|7+14jd7@%4g5-?,eS _d@bĀN98@'nJ.(Ѻ3Ϳ 3%KW"`pZ=)ޏ _1a+pG펳=y cˀ&SNeW`CG0,<-%eɰLy zLp%)4dTRuu>1M!k+GE^k"p'^bw;lb˭aL/-ط&G%ߘ(M_&ͳuJ4'4 M=WMWtV 0Ǎ>t۝ V))sѯCp)@'FMm9 MLXX1H1чv3L u|׉{(1}CKشc:OmTajNx]IQ0E*&v{C^{-E&Am_Lw+H-6Qglvnۇv]jM+A}Dct^guғX$(#ien)8fj6)eqqDpfS W-<4efLagNςK35J/Y]ڳ13+jz ہn"JǹI6` OaH-|T͐O?Q?]z)=kԣfNG!Y(l4*SZB{C}oCX`Nxp|C`gU;8pxݘG^G2&{ Pk "/MCg mC*ss4,1㕛@:"زۈo{; Nf0!7{bwe?$ O}p92f2LpxFD]pTL.RI!~s^'`_Aϰb$:v-C*R!S$t9zJ&of5dZnd>P.5(ɊCF"Pl$7s\%"h 1RqPH0[9Er=4QKI` ɭ2Dg 6Ϳ5%>bŃNUL1_u5f2@;B%R:~ $rsYddK>hZFU Y>G ɚ *@!^|;Pnt&ع{O|K 0,')&C0kgگga|X"7Ȱ)d\dS;l /a#R S 񄰃Ztcyӿ)g`ŧ`z U '\ ':#] T2z |/v {OC}x'pWs :SRrMSYZTHa5*Ҙ#`&:VaH C r)FWJ+P\u@adqGbC s}z3H~Z' :ƙU &7ê>h ޠ9ǜ~)}lq:F~R:ךjM4tNGR tikz\<:ydፌ ҆Cx\1p^vpKi4 ?¼jqrB)ߐkJFbX* &m0O|VUo]>T^I]'k$x(AKJ'\p-2Oq6,&q(.L iMH5 |rOPxÂJ_DhktnXP+kj!,;15Tzņ]7QpL-%e3]lϷn$a5(iZUGq,ՎZ|NO3,һN Di`,pN;c^LfηHyUn2-WDc0iV4\6$*N9-9Ȭ o Tbzڀ֫9a(h wuG,I0&)A~%߿WkHg>ҵp#Y?mUAQRxݶU3ߡj^(81` ̺M6o|-7hP*زrp,#NK֙a_HHe(s$jgp`O~iXb&r(ίׄ1tȰJ2{wEryz>Ǥ R|?j8>j$h:v ]ŵ5߼UЗ&X~"蠃9rV"+jD E6_#wf^xƒv;kN2L |-p[]XV"~s4jl)Z\D=Eo35[ 2ӱ/ f͐XU`L-Y-wGI6Aju0?T sA֑4 p $;v*OkkmV9sKj'ZE]0$Zy';ʜ |SYT%6i,s _ĺj{+O8nC61ȘnE_!z9Eڢ=W;¦[dR./4 jТ2s d5T*qy;vn,y~W0"ރ$%u2b#ݬLG: =~/?w❝W6[3:;Oi)w T-.HFH4Og_PS}z[`PV/77:wjȶy}_qDrsz1Ys/Fԋ7xjJ^Lg3Oh,g̕\I&8!ɏf_aqyFyu6lqݮQ(;+61CZPٔw|^vFg޷T81n '̄.X<=2M}i;bI||T*Y*'6x"xg.B*1'ЧdBAm[t[\/-!H;WiYV'A9rX6ꈴtw~V6.<8PJk:#LJuoZFܓ ~f3iW45>lm~C2RVGIń0 n/,+~b3Y̺ sasJQn4ŌȿVqY*gvs^P6~x{Dgoa #3Yy$<\wte0 $]M̈Hriބ>E74d4.;?Uf&yJ5WcOmUG Od= uQ >*VgQ%9eoKvʄ (xmr1^*DlrSWvcQb kjp-AZuX z8O:X- vP:f`\ÃŔjl>9-AomҾC ?GB%wn-PX`{!)轘NIoY^a/1z:'jaIԤX[2>i9b&& cөwɔv+Z.@|L٩*8L^D*.pRki2|N-C5fN֊C,tt,t6>Z_dtj6QklYXID3a>Y+d*q%O찆z!:*Y}k9Rhj3?O D 4P'\ mof/=\d8B4̐ЊIJAT0{^3*x(E|3|mRsMצy[x=Z6Lդ1Mc, 7lcZ*ܣClfdp4K%5t%R|8Ԉ:5ɜ!g؜ ~_5Q6 v H[rI[K"dlbsH`ڰ{h^UWk>=/ /ٍa2 Gie&?5޴N%^ZPd}!.Z}x.i?BD8QA:o}Օd>~X0(K37rVMP\q*&P09"#hW`"ރ΀6^B^z"K K+Ãʣ\*(0N;1rM Ò'^`_~ dkZ[jʳE封Z5BuP5CTtO~ziN@8LaBG=љEwpdZ]f6?L#T! Kڄ}]Pnz(jF=)RL*˝G`)k,kNqTA^wVKdFglXO ~7U H`Ν i|,=ڳY85PAIw25AUSEtӸ-&(('Dlgy`eBy`_\ ^-SB܅z>(i+,zg3MW-'_΁oň~G`#wC8M, Vv;=d}vXXd!;7Cpe(!ݲBfĎ7$GfV8x76-BKM;/&cIm^SHwgEAb8>2%afrWFS&+N~c\)vl^VSo o;b¹}N,|ta;CtO<4- R[bo̵wE_:nl _QVϺ,%MX9JCPMk W-1Uvn^Abl:׊q8[:_2߫A{+L1aMrfT6T8`3hיpH I;3cHi״))h:1|åhre~sjKܛu#DroI qj9(ď&8E=w)FFev/b *يI]n&gY-]e _2^q؇O U4М*+ֱ/7X)~[j7bb[eh;/YnbdUs̹dž# ̼#sv |z/{ u> D'}vѝO'O}N=}\EgH&&lbX+v;9ㄭ;:rT. R0i"Lp_ 4 )s>`1r#V:IAwX:,ZKԉnKWcȍK8' {MG/WZKPqo!!vuZ0tuԞZ ?_t:}fw( Z*#ˢ2Im! 9mRzL'#D&#ePURFh^PEnb>kq7NJZ ˽,QD@ ĤLV&>M{KRlggNήsӃ |jF;lnmxW"va2;zIfE%7aZe IUAk[roɄ ٬lCR" 4?<$ J4EZ]=I.nGnj(su6?i6W+yy!UP*3 .~{`os>rdF1%cF•S>H(y8hUJ{qo?"F pWH" >3.GOIԠl!OpFv Z5~D =1BI[D:6o &Nabt ! * 03B"{1QuckܮwDq׹]SHn\@swxEP3_Ց0qFM*0΃Ա[ͫ!x*#}&q0*ad%^dI:}Z *C r1x~CMhspA_iMeWT6R|B7}$\KrCH>uŞaUS]>ZH[3}TJbeȴz3M9u:9j䆘䐚Drh.1MޖFN/b*n٣|*tFu(q|ɜ?ZIS:a=RnD@KL)! '-_x Ðo6/å`ш6`=z-ųQGc(tT~[ K/;Jimjo_ 990[O= { m)$X! ePߓ ,0B$@g73AAv9uy(pէAx݂NYF7r(݊㱴 Ǚ0YqÎm$}3wL|V4);7)24j#^3;J"SEZlk%O}\!)I9:ΈQL )npgwhn΢](Cz<2X" ^%G8oi'y-`sS`Z g'J܌!@-'HJR=B'@?>4uخ<19I A"BD!pc+ hY0xdފ6 " 쀤;3(]@rz u(xʤ[b#suhqR\@M(x|= @J(Yj@w9]&]'AxTLA857١¨[G1 %sDD-֥[D0"Zk $_I)^4cק[;{H0`](0I'疇}'drdlɝFe1{b1ʼn*yj>4_kSz0sȕrYc xZ=@m[/OHޢHnj0*- #ILQ`q/\JGJپ P/aFP:/|.p)Rr ul'Q ֣2xsVoRH!Op0EMPR!%֋^Wm2䉨jB͵GÇف]~}ʞyŢ?ANt %"lGv',@Uh6\Q[ ;VRc+)A3<I`<+#ip†rn2BHaIhXĶ5a} X/{>[4fdID:^+~LDDq7ZkV0K3yGnCٴHB)D͌6^;2-_B\_ UGaR)Zv-CџTaNT'.+e*ռsMf7$wR1޺nQXvVxh^u=>L|2܊{Ȭf- } p _0"e8guGἷmy/c~1bk,9pв/Hb%)IP-,3Ʋ[C%2-ht*抆"E]gX/8Y;)YW f4m)$T"=f*k;,󩻈=xS^^,3?r:edͷ  =MKnUfM6|u ׫fkE<"rŭ4=/;Q.Os烨 >x󵋝Tҟ4#4$U~W ؅BJ4C &|mY< '~^L6jn|@"2g'3 О?;$?hm۠g(UoWkv}ٯ2qIB& f"+t7nd2e8sk)Q,տ0~a> .X$H,sՊ(g]phyFa4 Fɓ1P6GRyN3ZZB;|w秌ta[0۰}#}=;SigZKM ɺ3V1mV-ql pd|5 WoZF$}č3c&\%PWÛzk @ 2Æ[`<{2Zy7Dkys\Hl|b|@dJ`T'ߑ;L+0ۑA׻}ZƍʅYJ={l(GMˀ褤 c1OiB.I)KeMtp=@ SݱVE%>,8&%|P]iqX_ %r8H33_Zx#ttErzLJt!X73<.X]Dq)n"_=c9Z-OѮʰ''(HvITnCwzhPN= \Kp,V`ҽ{]|J+:}v(ٖC-j\?s*n'亹kqBtiD7CxX(0ZZ>331%c0jѽ%p`N\Iѯke)l*i9D2s5e.MݨF1Ճun]wKώ"/N'4$3OsLZp_W(lP$~ NN@񥐐MoX>`īi56aoI-H_Ef袴Fn08[X[!UIN;fH -b">Dqk,rhŝmoޗ$?j Sѵ0FpGDYb}HXtHOH2_dJ_xȅ9d4N84fA;]g[3uE$w{eM ^O/,fcz}ӗBt]+E7%Հq 'B݈fV-{K'E(&݄d+VJӴ}-8. = Ƒ\кRPgY?=fݤԤj]\01}=Œ尹ͫ{JgNWʾZC٫7t( gX+Ic Yls؃q:Lr4̎s`j%w7! K,dzdbpOwMɟ^k})'%kSByɭ8\`)^0qC8:Iio>Q]Jǯ̄潪 N& =n=O\xۧ0f{6DbVQ LA c55HU5-fĐ L.)hH:Vb"F) 'RTԆ|\?0,˙+Zh kJ D\U5^L|I?L -)˩joI{&xjq&`vz'[Кm)}¥1- 4BQ$1H:h[:NQi KZfb<X &[R0oھ'67b -aM!a&iև:,tF;os=4c{pL2˼Ext *j?ً?mTj4; VzV6F\lo'rPൢ6Xo$+`EuK"TQ"iI86nlPz4ȴ}h+ghԥH@Пkz4i /jt,L6Opضşk w^k>ؔr8i'/xYvzlvBӃ^(ezpXiQӣBtFzd&vdPA6!uveФ-Uq?5N+۲8qqiFri>Y{5`}0|hrXJsZ_*݇єۏ2`%F.*JKl:8U &:>;g+gDu!IԤ3RZ\k\_DE\"S=B}.7Em\Kp3"M90t!'R I~.ؐH’t3 .-<aivG,1AY.e&{HrfdI=o e} +T+M~׎lbNNW2/wCBSc3CC*\ÐoF"H՛.wbɣaL_@4,ԷBnFv~r֙/Xf;XɕW#ELkMsِEȚyd"#pKFcY-˷jl@Vi{)mYdZus만dؔH&t3qrxոŏuᜇ@auNx4C:x[n3̐~TJMÉ@I|Uvd4q/JqfQ'DTJ$AC (/WᘂRtt O$Ϙ= @xEB1CV8 3E,0usj29Ua)v\bu`ƺ@[gASI?*ȬY gdq3Cv .Vvn N (!2q,n׈ Fyi[IK] w6):.3lnDcLJ,k-8v@X?sΘ`I5GNuY=hT f1 "NZG=tvh5Vg͙E 2;SXPSBI[?ض}4X\ O#a Ԫm.Ү"YutԔg(j\10ZLG7yLG[bQ6.fǼ3p ʦ8*w܇Qq;#O9r .݌և3sICEJΨ9 •&&ɮa[6Dɪw5N8w!=ØV2FN$&Ң:ES vwgZ<7Xץj';MظN+`zdiax~`ݢxP0vëD HӭVBРԱd6!Xz}/5N75N O/^ecCK|F3=_+G aڑ hxҘv#r e44{fy&,v\4m#7;׫b:>cz:У0OLsHMp!P̪Jj&m2~A[uG%F^l?q .74M.| &K2O\FTեfTLP㞣5' g8e ݘ4sݝº'<;~Vlw:zFNd:6;6Q?<[vr8{p9&ɕLKmnC*'FN"ŭ ܗ #g|2xr.!e ڹJe8w\邓[˩!jI>n4qa[7$BwFeLܼGܗVp|q% o2XUv<aRy*O59 D*7-GKX(-|n <Tnjm| *6#+8{0hl)βՍjǯ*y 5@9xD6"*i8B,{&/%T !q-1 M羭\Ƙu}'{R!0i*$|[rfx-+k[̻K9Ћk;d?ZIazǿ^J^ϼ3J2,n)bmA2TCdU# *_ځ)W.4x({^#A1k+:}Qn˷@Qe4W&[߹|tbq53nOb0j qz c(]T*Iř@qYs@d.KENHL+9>G8ȎNto^X-Ċ1rJHaDWGi4&L_` kg2abq$x(?cE ۿ7/H'NWY˅Ka:Ȓv ;w2=U%e_"K|,mb΄Tosr#sY :`Lm F^y e=C%.H"#,j(7ƧbzAxt|<7$#-SJ˲^uGmxN0 hPO~9 -# Uцgt30K淍SZY`*hsj AB btE܊迀 E>xnX檹 PO~>.I머lwF)֫isX{s fPLǘf($ZL{mJ'^3q(g6 iUxCTFWv"1/FmizY`脽zf%rE- 8نd`i<Cn1$>fHiqlAmkJdfr _[e1c΃bۙķV4ŗzn26s٬YvpER,lE3XV'Ɋ{ (dH`DݞoҋLof2\ms%WfF .k2kAh頻)jCJJ bBb|nI3j_ՠO/Mv MjBгn}񆴙Pf=HP(;6L['@ΙϬ( o] ̷N1'X-Wg>ѿ8t`AhfL?R}&PWua U/O^=AWG΍)s`S9q_%3]ph>RN*Eiix<3|ǧL9|8 _¡tЀ !dyb%&Dy%d{f,[0τ^͹\ev ^ߗ/b wZvvX^Y +mĽEB-)iTȰ"h 3y=d.b12]#oօiq*LEO̼ڌAʋM/ @ٔpf ݖ͐<d "‘.'Ad~gp*7wFhnX]Üc |arGcm^KIBI29NtT*BpA."!-Z@Y<}d|PgF 5cx@,e{ "?Ζ_;*];{1e*Rԍ|Κ cɛ[USz 1Z\~7[Ġ2{=\ȸôPԽ))X>Zhێ{-i|s2և:!W½əyQ[$KdZdEW$xvz t[U`\)0LE;GȦh-rO}V52a1Z彮i:|.[Wڶ}U,ѶQ1Nwob*(R k {5 Tl4X&{4o+ή^CQ{jkuX\_Ƃ|.U4']XS9Ɲ_9Nݷ?D="z9A"gdm67!#%"AikCtWmwLY/I钑i[V3ijb7Xf @.xRqDU-sUPtŌ@xEۋо%im4UڋѠ@qGn;dDB!35dɏUf<u&4wx/ueo"H@Dk'`stɨ嬨<'z2z8´)p 5qT op(XɞV=/q~>DT/KXNt{=(׵7(5D@JݨNuN|%f4u6X;mKQЏK1LfZY.d9]CFIX=p~D QHoc~*ӋVtuW˖*iֵA3\o'tqk%dPӫY-yU6H}ѤE8L;Bb&2J|R QW wOD^}FPI?W ?[&G(IiH!E`5No籸%}s辸b:59*-BC81֦gDZ޻c3beAH5'ЧBó14tC>|e+8YT~=X(Hon?( _v.#F ~ۧ }8 %h%$1"<9Q#6+MJ!6pwS< x&bg3_ hmx1)]}C+ n%kHMzgԣF{.'usm0=ݦ52avzz%Zbjj[JVp; Qƀ;bqՉa1^3{vX? ~BƱf) fn=`Ի:\6_(\N@?]'^DcR.zRMdnr-U*i~1@tj4 ~UF?U x,pb>Pb*GOfeR|n{xa `s' ˞-Kj.]b^ i` ޻&L!TvT  \ .K I(srn'Ρ&vV/x`4L!Al jb+|8sB'ǹ^;h!\LCYxQ ;"~dSK)֞=ˉENb$ I`Nv:e_U.CR2{>Π/s+ޫ`\1 ?ţ":P:V=:q%AE[c=R%U3 e_S]5? ?Y;Z$8Q,.#M`-:DcI+^pLql_y.=*>u#w\KqydTrn~FxGBtypڢ\0|w_F^{A@&ᰡ(I>,j>C } *Iϋu۔P{Y}̂2 ED:Y! pR4@T{ӿ xSKB˪κO.DL2W{GTK^u< dݹ][BSMr @C+JpAy9[ '5i8AGt3݈za3\`qjv]:Nv$譶}zX5LԶqau08sPn|6f ]̧|7DP{:si kn9߂gc,"MQ" 1w7+v?4(9~N9E`[vd/=~9~A4ӭM\x O5F+Һ4̡ͯiJ/ta#?3ێԨ5=q9CGh*CW#J :Ėp9kG>+c$=dTsTPm$j#Zql޾\|@}k(R f0ߑvfVgmVDBnGMNE XLWIj*LaMA:FiPxB"D +,W2sy[5kυ8;tŖx(Axb9AyAy~@_*W NW#IX&|.} ̔+j>&F)YCuzK /w’qG*9+P9UR=yNyMd|t$ * fgY 񇦋WYea:~u~j(.aF*{D7ϛIwN{[隱?9l-Nal#iI;Ԭ-kMVjK;)B1jj5CdhL‰$*t,&S;[5=))eoe [f2Knr HU v4V PqZ?*;T xdfM"K菃) Jq7 e=ywEo~wS_oMyHr--j̈́jXnl΂(M%F-$I'[{9]&@*<_` mDCMVI+ʎ$yvq}yhdkǼ ɭ veo B,+4 WC9ŗx9tyke/$g,rfzZ(nHp<)6&n "% 7 >ND>iI`]J$%V)#YW|cQ?_Gs(pp /l"]_%3VOo)Lv?f%o`wXW2)Yǎ J0=e#–dH(rbc,'4wP}Rf J җLiO7 Ū-nz)4 v0y Pl{⠭M]+ Ox>c7?-UnM~%!j oZ3d/ t)=ΊjRWd,{8M+')`hʥO=8Ne)WfP0} tJgSZ*M{}|%o7;^:XMAYvE@E擘~1ܭ_v&0rj5{{l5XdRw0Fj'Ʋaƍ3  KuzKT}' hŋwWܽG w? zFr7 kQ2b{VN&hl፬gVi5L~ap-<.Pjf9vQoWG9Noa<˩2 tgߴmjr8<ƶq=h1{#T#r" dri>5g`C!2J*3krL W;. *p>ǘS! Rl+}#GeK#GB@.6"ّoBX(hx*3EO{ sme>nި)<4E^,8 1F9;g[a*ZG]nFa_ůvp7l_p?6F:ؿDž+/DܼFo;,`&@k)W[kzT,xڀ D`Q:@TJ3ǣRX}wWcF T,='i4JwBlyPHE4 0i7'k:ZP o!6xP8#n-[U6TaCli"A#"KuPc5X:oB^cN &gvey~6*t^S-C¾xr90 K.8XAqWKXQIU0/ӹa)X^(zJ?mD&?80IqGjX_2;[Z<Ɗu6oڳ(Pf- 8]ສNX@;*z,|=:Ng+=^$6M%QUAF[ 6`˒>qm5qDMEJ(R̲nO}hV4''jaMvPh;|Jt*)UJ-I\1iYas|P]~B遨x9#"V z˨k i;GǢ>KJFp|6S 3- eLnqJ16(ټ%|*\BF5m NQȓ1!ݽѦ}Doڡ]bxwnW/3BG &zA/Yn+C FB K| *}ӣyJP1j"g\,;DɈ~c,lP/1HDZngYZ!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 /%/'GxVx#-~ Q %4C:эR  ajAWZ[Ѐ1J[i?N:~>J$3Ԃ1'qiy]@Ȧ- :"zl+..KKx m<5GANPN]XH򟣌PA]3, fOP1 |kMOmOZ ڢNY w_ F3O|}H.VEjIBu0O25:ln&M]zoa"T qfzJΤXGO$3` >5-͙t K̒:w?z~0hUOԌO<ҫƧ׻$78n&ześ0,yɞZœY#ƹx]eޙUx%zw)zQw;b5y^~>Lz  C_ '_C"z* P8f,˃f~b=Q5ZFyTk7"[H]EFi&Zh{u]Kʽ 5!q$ ltU+ڻCۦ bw2ls Gg'hAĔQV|jZok>%&ȬW.)?CI"w4]|V]D ”p6{;>TNt]CQt.-%{Z{#Wbpم@ KH'[F7[74er/oov4?a;Zg܂u?]‚+zPe҅⧆3aqTPdITd"3CG]zyJytK(C[ruq4&aAVAX>Uv04$lV2D6)8&"Ynu_(~;&{̺vD]|$U(#EN@mTR^4ؓtxKez`om<H,XId0e6^ಎw|ZLoJm :-h/jԾ'ᾌo bRF#pHjmduT IMpQ|O4̒%1xIft??0&DkRW{>X' +8\Iu1&s 1/vc`C8}{䷂ ާ>tߐ3b*h2yW⿾SbCё_/݃Wk;,:%81D!m@G~Itjу&+ fZxBaȒXLtv0LgYZ DLD} ?g% TOrdered_Resolution_ProverOrdered_Resolution_Prover.Standard_Redundancydocument.tex7zXZִF! c]A-MՋhvG"uIBm5ȩEW1>pF;cA 8 4V)S W KXL[wC:e5Z<=h޿݇ s{o|F;9NVՌ+j|¼xĈ&o[Y:Na[!A}ቀ^o!'k Fs. r*cP[T<~i=Iv=oJ7\X {4wS&E׳0t $}~Qb謧ՙHae6Gz(q |*ye= / 5.Wv&V x(\ ӏ?-QaP97#n\d%gyFg)<>d"єe٤olT/(e|#S&If"Ou5t'" 6\Y(ƢR<0w?0$y`G\-+Q&Ij"cEJS/L{}0-HlrqTHĸnbma4V'!Y!uX5 F*=O`[ ^Y_Tv-ny&>7) ?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%^nFebb'<  &^/Fz K2[99^u}ŋtA`#wenG5̽Y ^̣W.d+P{T>h#1X.,X\X퍆cbˎ X41 /:[6&$-xC W+n퐖'PFr%,s>sqrsRny0 v_`ԲdfC%=kjWP-VubKvj (,ېEj2O3,Ĩbڄ$]^ܹyo3!eJH\2s;;@X*F.`u\gfViTsgds{YΉ׉PJJ ;";v\QLSbP  %H8/vYL _3Prop_6%wl6rahUd6`,D2(d:> SdK^bc۱or8.F II*kj]ޥCE#e: YQ=S7%a5+rgBX1+zHyD+ ё%Zr!PT:?az!-1uS(ј Uw|KYr0;)15oڻC$x,LhW<)AJ_4ϵd|u )VKp#zZkOR9"1T7B(#␹ضBE"'q:[-:E>[Y48>UQ !0i{(?-_^@o  rf*Lݾ'yҘc;YHD!U }fW1ϻ#FxO\v(prGR{!JvKu0T. #w9D )tٍQ < _Zpu., cm  ٣/6Vb;PDa.GrD Cʖ{dh毙y5~rbS Pyյ^!ʖ 5>[ts |N"kUEKw.ڙlfIzv AׅfR {KOcd! O ɉ71 zsTg"*g1o~y\.&8Scy HKI^SW9~ĔL@R+QO;paCSc*=epPR%c`a6ЦVFM&);IWTJwXҽkĔnpn#8ETusEgU2l <x`./_d*/2k,7F  Rv%!%Z4n>ӿ5UC| ƫh\^7BdQs$K_EFH:OV1޼(A1ka {θ PP8AoۃtFT KV)bhz~/D#`甏>fa x%FB0v5 ؠżi t;O3LqLYGЬq%O|L $%{Y+*YE]TP<]MH,)9Ze=a+d{<R?T_52v,ĝoS~I %3Y0k,"dz_&l*!q' f%$9 R)y=vvNBRyTSք֓-cGc6+ϐݩ8$f(蘉b_[& sq3-bB ¶ Ckoy*88230b*p m5\}8zk`lQ-^5fo] :M0&L~܉޺)mӿ)2k!VMyG|R4<27_K*nkGX\!I ڣ1УfuD׼F?pS7Hn'n*nWV"gFiJ/I@egR=%[W2{b[q v ^W=t(,q'ֲr 8p/XbYP&X51zpze$#vn4n”xvL,Nxq:;n}{IҵR> HPZPnwI0&s k Z6%|1KvӅqè̪e?x6A!=>tO}I'_9p:>Rު#ˣ3F/zU_f*vנ "BjIyvN #X"I1Iz}ܫ[55x1dҏ*]+HS L) @b 3I<k|aٶ(M%O]9G q̌ޠƇq{7u$9 xJ^W(ĭkW,IJʄ**/Lð8 0ݞ\@8a4pM['i"mb4(z3FIv\͋LM6q#PTkY?k˽w `s./'[aT6ܢm4uKs-;oK)=?k>x~ f<:cz,[/_wP¥/e-iءV%T3@X,hվl[S6#6*pWw>%!|7~!R9+M*&U& EHOG_&NV1b6Gel^ϗɬ-*eԋUmKF R)5aļF)p Mzz-C;]v߄g5֞1Pυ8E/9vzY$\WC18}"apJ+,Jkuk!}G'[VC3d*zPwI `5MWXX.efg|PH6`$9*5WgYZ}Ʌ piPsjFuK:S`.0-|HUg[.jώ&&j>iR&!م9>ٱ;izΟGx]ҼZzHzk3%`fH9:Q!fERbUf+fON]'!UyNNUjbiGK<!AߤH{04*;E=Pkss1S%dIn YYP1CY1~`l`tNok4'M!!o'nX <I*/uGYW 3;7 V8Ӛ&P)~PCM߰})/)S晆lx,dJcݑu#i[)驃Xf ȍZ'҃/BP&8s眭 ,D6gMs-h/WBLD&_,ƉmnGlVU2(Ӣqꀳiз*ΨB}V.X)afs_9eʜ)fg_*\mVî߯zDg8}O  N񢢯ez}GW_ew`zi}SA*QSEd#Ѝ8]9`m\s]F?ޫb= zeW`%bcU ]4wBқAXQ4Y ẇCKrܖKu972O[/1&bfBf@2Y^hOzȿTW|{("QP3aΦn% nE>ujMͧP|ף亂+.r0Ƿ;͓ð Hh=;ѱyk/U_ IE(qL"e8 Ρ*{F $(z7*ɱRj6|J M#ՐuAry+{nv0(qxjK(W{lTE| LȌN!3<7\rڈ2= L4 QZቿ7z"tB(c}+OÐf> y7W%JaqY#k2&LfO*yN#[K?Ym&{׵M-U2x,ʟ `rH8P_To/qq6 c Zd<-JW2u^ш6pXX&~goD NZT'$6Y潽Ro]+ rG~ 0"/mt[xa#{oH%ҋKaR0`W-m=ZuiD|:`;?/ ^eJ}+j3"1'$ i++&.ʾIa7HA8J낄>s1(D>Z69noSIo "LPysdV-gWu_1VgϫO.ȄmI$IA&z.^3 _3X`7|b׹Ӳ)@;gv) ^1x#=P+J 6.k͌WQB!'dsvP,9RMlt&ٴc5Tƒy9MwPMVAN MG,̚ϞG{TN)^YK1>ڊ͑A`KR$Jt$Mפ~mts{9a(8 D_(s†~Bl;>M""KOZj5* Kp#=F[<̐)_-m]pfxRM i0Kazk2]/Dq %WWx-gf/V@K'䄏B#S̞|=OMՙx-וcg|#ٚ&QP6J_hU0.g8Nj|=974isˬQ\4L_"36v-spڡe+%{NE,|@Z} ˑw$[iTpq I PhY6 lW B\a'?b%YH۠͜MX{0Hjڲi._  yv벋C-(Uiw/>uc.oeΫ( ||qGo1pc6] >1sT.qqfYkkY" Soz;: ?a% TOrdered_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_gehvfkQ7eĦz,iyaB.KdRL1#X®hpAa=DyAI&ZهI@ t%(ؿ\Ph39: aԝŐ'K?c>~`dQ k1 }o~ enϒ` ;of&6Y-Oȡцd+* 8qGk8=BCtJA΍;B'XS%_:e ?_% ,Ordered_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@avdЛ[M I_S1:HoшXB.|$5q<$JzeT#8rCZ7[8w+ޞ28[d6@j=Lk8`]պS}LnACobbpS̴X1>U4{?-!c8"| /ʼP֡ҼHLkg2iNչf!,|i[i<F꯱ ݨ[E5/`B!^A;$[gg\[݉z:VSPtS%.Z-|{MK((GDh jH?M%6*Tfw\3 z pI(~S0akCl{CL3^`x/k#:LCec|eYN߱VQ X, uk߅~YXނ6gfL4|l3d*-koPJr.l]BaOVgF9Ҟ.'.;PI}A8o޽.2؄96*6*n cWW/k7k)@*`F?)in875zƳi6RrAl9Ls3x/:-Ÿ6lTCk쾑fWAfGVX茙 Ub(0Uyއ 6 ga)H/[ܘ 4VA7 2'l( !UߞwJl$2V3i;dlJdIzFqDjٶ3m椨FlE;`y ~v18̆DF~--"J!bݶ%utBQ\u:8Pa|`:c` ERGFY0#niHXL R,w Kxgc,;Dq6Ayt"_`7`=1r_`65mJ lGWINTu+@($us[֯[-CG|bEyuroT`[ٹpgB e:A_\.#bwUIH ȑj"HIC+CPwVx.hQ1!#}MmxApUbCh^}E{ƺKjW-f;͗xzqQ1Y| &t%D:c p/ Ex"A87JX0t8A +w(Lk67zb1 [&KlzvE."#gLSM2L>atqSxGIh k;sԒ @F1o2:Vl(8X^(m42 %r \("9(qΡ݇=gU51vy>cgJM,PM^ _WWIS2XZNkJRD͜<%)l-hO{Ӊeفl K{ 9I/MN)-:n𜿶mtQ{IOO3ך"g #w[~AWH%tzMV6w-E&HyU?>㞠_ aP"47?1 n'm YlIS6C niH3>"uqBU5ڿJ 0&fDA]f\YGqK##Kx_GC`d)L3:#KgHƌ~ &+@RSnξPKPN0VE^IB0u5QQlFQ=>@%*yImCR8}gi[ۡCpcP4iMčQ;r3(;@wK鶵t EDr;&Phй{j]pUL|;N 6D{0q~ 4n]-AkEX+wJƏzNkJ`ְi~ٸ'Au:cG yF9ZC5(ߍQ،5._Ok(xGf_\'I@~N)ڈ&uw*Ag t1'Ʃ7ZYDf;8 Ê72ȅ(ORrD45T$K X7ԋpjT'՜HY?%/jXY8$#*{V)S2 ! qֱ1 #G*IeH{@ U5Iє2#K "9"9n- ,YWgBsƜ5]#&Mt+n5U: +1d-g\mQ( LF}Oϕ4{*I9>(KL[1KSY|8ءLYE;QkOrU 6gf  ;ߊRmh{UWmB5d=p%ZP.И,?&i`@b6ev(ںVc\1VMǰ2 uyTJ*'Gx{gقd'_Ѻ^?Q]F2ppQWH]|xqfR_J ޑ[a@{ _{hov3uTQ›35EZ4n|hD,gt,|$K8^.K>) z}e9rߪb@cd( z&Q'S.*Z$&&UbSyә0s-kOD.$8;-˻"^}E.Dcy'!i)L^B#BP Ua֝z jˠpj|P™F+r"yޥ7L_v܉`$4BE4?,|;(n#BQVGPP]^`> B A ^?uHַAgn"Pp&O2E(fa6/;!DOIhP!P3BV߄O;?C~S^jWޓ%V=m bsR4jUkY6X_sn0vVיwT/?FJY YBڤiek,">aU,nwfk५UL[$d16r?^mWHP] ro4NHES[<:i;;!gyEA ۰o~b%/!7~R"؅ek-EV_@B:@jGah'GgYZC+[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ψ E_t!Ѷ%KK-.>cB#Q#1K;8ǁs`p;:4G.L;k;Y޼޾҂]Ąg޿oPrdD3fg0ͬԪ$\/ϓDK&QERF%B'"TxW]s;6YokE:f`h2?qgP$ݑ-#@ v|<*fKBÀc*s>wr0̸4&/SU^pϰ؛\  | s(v7%<āB8G jE:ۑCB5EqB#P۠t@`PYd^eՁ!D5 nA @ >p&{=q-ܓU*>&ip>UhY^Ԯ M:soۉ I0Pq^׿(54hv?5R~^dj$7R2O|t5TU:ț(K<1;!ӻbdngN&M(j:l_\8RE)ҲjN@Bv{ @!hHQA5|k&x2 k [K/iW3$KI!mù{^+?" ],Ff_L9ݫ./t^PZ'蟁B 45|q{;fȔu坓6^,r֡KO( 6빣rgWiFzC|Yq}(RB3= RLwDj1كg{;eP:68ҽAb+ JJcSߏ$5od(&v1 l[iX",X9©oHR.o_=,igoݷhb[׌.ilvXMgYZ Z?a% Ordered_Resolution_ProverOrdered_Resolution_Prover.Lazy_List_Liminfdocument.tex7zXZִF! t ]A-MՋhvG"uIBm5lϾ\"aofX@ }߳ ,'r&zGmJ( D9C9ݔPe=4_AZ@s|Sc%ˍwGP(R:,:$LJJTt@(zsMWhql鼢H=Pܶ` P,u2ze ׺_{/KPUA%,a]pӴF4< mH|k?p&(1gjrp[=\\+@Lh-DHe.2*D؅;4t3&Lj{|AĚ#SJAP !J^&a` ~!2˱ Tg*Ḃ[GO%vlfJ^.Z"B£!]B/.2Ww~2nw? L:qO8!Rs)""ZVzE 'E#}3Agu5ʟgbxޒmK|XR}t?kґ;$>|)Ytf=qˎyG ѩ*O!L: UL%ԁQBhV%͝Ic:|<32Lu]wXҘDEA<|ʒqMv_ :Hw.ֲN7%~ Y^5Jb\K-maYRm,V*p$5g΅:&ܜObj݂1 &g:tƃc;7:BP+ 8{!K2 H?cW')J'z_GBrnoBYH~ Pge} 6Q`-S:qJ֘J5%B>`=]o>?r':3J\dDǀn2 -fac"Ec5-sӅ^$%~qCӎfDdY)3;fe{oL@[Dij&Hzl[)n%b&խ]s3\qȇgLcYć`@G&6p3:uGTr`R}H=*!&'0+h:N/A p'I)^?rՁV Њ:q}bhǰ 5=`J(f|dXbI2R'\P]D*5M,JO-cY)b(r&7> +ŕVsL4} DU26cvLP89mxIyKR3 <w a'$^lpsD(LH3fUt:m>SCtLg9+ B1~B,#|n TAVK!T_B5%/ gYZ c?[% ,Ordered_Resolution_ProverOrdered_Resolution_Prover.Clausal_Logicdocument.tex7zXZִF! P]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Ψ1/>?o% Ordered_Resolution_ProverOrdered_Resolution_Prover.Herbrand_Interpretationdocument.tex7zXZִF! c] |]A-MՋhvG"uIBm59׭_uJrtr*.#rKe)ȴ[J.XB'|7pfZ_BH:[zrp5Rx-6#G\ѰL1b,ޠ]EW&yumNz^.I$AHkzD }zM'3b7llc?]6阛A,*/nw&C!~W[nSv#[I"56q۩P3Dѧ5c:1u-X ynB)=&:w0#aZk֦7r;!HSd|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}hJga7­T%4HC+ǎlϜme^*Ys͙Rz>@-h8^nSh1XZAs2:Ĭ~ђLͽxzF2.aP ^> #Ȏ|&2!zE"!2&NGeLj3:4SI}&{ [& 2#ҍ.&yq Gkh?"jC f4{v(ՒFauVB<&Gv ,~+1':\-Gؕ"?^)e5ϯ/kDd( k(S<_)yf_[%%GT^\[Z2?.%&vCfqTcӌh4^/Z)8rQYq9KD{Wǁg81$y'U%̂uŎhh{Y ]Oi09Ij>zf J!FK*= yQZ).-bᬔqΚ6&Jl""NNi6X:4I?7>6tgAF, - NǀlNmfuEvΓQ]toL&J;3&Nj)x_YU=On6rCLs zB4Z '4"IIȠ۔P#ǻ?oY|CV?l$ h]꽋,܂5ux'SjPg:tU~Łs<ڦLu[z4 N@'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"jFq7*y}﹟ʾҷM^Dus=R6!81j~3ȁ2De9CtJMYP3Hf+71cCG= ˅2V}ja3J"(3K0=ÈL1JBW~jkͼ\kYӽVGе!K&9*f b6#ES'z4t䱴y875J:XAj;vÖIR~ ϋ:'cWTU|Z m64USṭ8wi Рo8b}})20lOOI!`oE4j5rA(xB %ZAm.`9GA Qa?ߦ"FbHZX.g!v!^)!9܌ќ>~ҳ:󤼙tJIPc- ~%޿LG0L%muMŪ]+̩vq1H k¿:r*:x>R fRNtzx#M%cC+ 8&޾2dxnfwir' AT>?F`jM. 2QMR4?n!ij8nT">? d;fZjۡJܦ =BxoA2GoT&=r^یzr[]˩.,aItMdquV M2ƘҒxk 1R ݁D ewmlv- W.E@*^+ܺyKwyU|c0XR_i cYU'-y^(39gYZ V?I% $Ordered_Resolution_ProverOrdered_Resolution_Prover.Map2document.tex7zXZִF! />]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Ϭ gW雇V|Βը>Z )I"@].nn1Dle/sy\&3iQI;{Q37]#]m`[ty))p'?]:P?:xg:)G=;J`Kiؿ1*Fq4wb7!m d髕S5Pn6^bg ^رgYZGQ 85кy2_d͈4aw4wBh'GӷO WM()S刵,ϖɕ 1ZӤ~:xXuΪ(\@>*a U![شbrl&;we<L$όCQ?׺^'s?8q#RVUKQCΎL f&ʤ;`l6 Lq86v {۪ 0r ovfd75,cB=/xq +o~ 6@/:pag͐QLq18o悏B|8f@Z7{{iD4a*2N3U6^ /4WEpYxK sk((9W?l&NKWAE(zZV)Fv+&jX~jԶq,d(H8&(d{ڪ2*jVYet]YRX wѪa 0{zןV{2d\Zvٷ љ} SyWT`0 Ab4s #OU!p'tQyV&͇%ӑépɕ"2`Iݢn6Z Zq@/~SVCjd8σiO/ݢ #Ill7o}|D蔠CRп5Giad 1s*;"eˍt +t@;۶g >nxH~/5f]ϗ(мF,YK;| 1 ἅws ~l{m r-)Eů '6QP@.i2)Db .)uF(A"oXLg&svz+N<0.Wm-edOKb^z*X۫g6Dzq\ sRT1S ֿ{!bYA -g&V't5p9-tp~%giA%ꓣ*}iރ 2htv2u ~AҨj4)YK.->Cr`IbRõ\Idܽ\zsk42 {B{ov+ }bNV:Hq؆ל,J.5.%@qnr v"i1:K T~zr Jv g%a'2iv o{Q*2 %Q`rl ழ!a񆯿h*e-7*0$ P9$&NW[Ϲv(^ |4Ap'WtCP 3IB*L9M S_/Kf( D 1C" z9dpH7ueq(XmwhC?F=g"}Lgcb+<K8j=1@ժ"ܛ&4ɄBBOP_K`YsYM)zMVMluQH]1/j@hjyj|EEL-Kb>7T(# h GbMl|kJ4a})ѥY=L2Aw%Jxa<j`'?񵀓h\2+KWSO1Ux'V2 V@HJ'0\aA2=IZr*zfc{NA+1Cԑ܇R*Jp9vɬ>/k0yOdbK_bvfܖs%;?XӸ &`oϲ^PBlNpոYO4\]qv !..E;)( y2MgB3d3nLfLH0 9d/ lP,c@KDڼzT 4F>VbX4FA2{;4> %]%p[ߜlUL&cnl6@0dRt_C(RIN\s쵚'ܡkH/c;Ft2]79lACG0mc2ØK̍p0(ya[ߝLt 4*i]_#w˜;4u^cn44S3 Z+ͺ 3f2w6~7 ø*++;4:mB3(wE{rB`U%ʌ 1xK x^8:6( /=.dE <3e-^&d9̪CtC|̊A{7BJac<3X%5^sgR;kCk iS%e;U)TY0\i#f