SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 QQ,rtt ]/ HOL-TPTP:threads=4elapsed=9.194cpu=10.888gc=0.1847zXZִF! r4]ŗXiɟH)0!h]G3y{֋ɱ5>ӡ*t>2[P( 6I&rOLkbв;`uQa jE3e\@!!AO)lNۣV`&L/;F R5:w7ɭ:MAD)Ѫx:voygB #a)D ɲZj֤")[ ) NF zۨˆ&]%Ab*"e`;4nkk^AėG93Ec8"Pe"i.B@ wFE› t/$u Mfi﶐M[7Fem1A)L$ʽ{vBM-*iΟ9L[ǓD }Tk-/r/ڝA+m|5-cdlkx.2pxoo$y5hSQd/~=H&HHG x=_s>ٞBmo.2Q|4N3ڀa33fn7(f,-BPpw"OOcj-= "TƝqj_hXvxSc #g?Js6N1yWwŸQ6*px@(b.Y9ԉۏTj;M+Wy^δ6',!ʷP$]{#>R[eLMfv&F燞779,zwycR]\wLX<^L!l\x`fZmTx#yfUy#`iGm!W  ޫqt4]f/+f$$[mUt;1 ;18X-,]\"R (B*RehT[ `ZCI|/ٽܖxS6=F[TL42PB/oo0۫slȆ\PJTLa68CXQ:8"j wKFLy]Ӛ%h?-I$I'Zi.`Ů̢Q!ꫣ$%k͛E0z We92W^@ NqTgd-|جh))PqD2 "nq@׈0fn(@׎7sg԰O~YAjy/_s㦏_ וͅOR` u P~$lbyjJVKĄ"~ŜSPJ]yn,s6ׁ<#$w+BN8zXR igYZf7e102f2c3ae0df0ba9f1ac437d645bf2a63d6cc4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe   HOL-TPTP  AI 4HOL-TPTPHOL-TPTP.ATP_Theory_Exportdocument/ATP_Theory_Export.tex7zXZִF! ]A-MՋhvG"uIBm5rpp}Q?x.'L,0r-s [wooo[|jDkLQs8k_ánGo`|hZњr; oYݟVaguJ`Pm8SP\|%nE,;,~ؚdM$גTDĜRvE%P^נ$7H7UQpl%maßd!5v,MZ] Ϻ]o;w{GJi\*+ ht;eӋ6Uvw0rI,)V bT  *a wR;_`0j1rA< ,vaU=Qn+yYѧ)`$]5d"B-t?PcXs8 I?rg}1-3}guҖoM SidjP,;NNErw {Uca+lO2PiLXZ Z7% 6+FNV&ZP)#|EfԺ[_6[.`%|˕ ݎ5|ص>-LZ32iz$S1 2IJn Ӆvr4Z~kӘZP҉0~ c^K+jͧ< PzK(?eLB:Thպ7Hg̭[c1qA`!kF$ !al /nh@ g4gYZ`19 \HOL-TPTPHOL-TPTP.MaSh_Evaldocument/MaSh_Eval.tex7zXZִF! ]A-MՋhvG"uIBm5Ĥ`eJ@BAޕDyT;Ȟ75 fH-0ff0 ^Sr-2M8qj׌@0Ͳ:_yG|[Ga򀩾V̝u4Uy"cMD.7q1E8[$Bۍr R`|6 T?6ccH@2ik̹7֮7azN6T( _|˧^gܖmSk46vi`=#bc+63o@`C呾,9`xYTU e$0k,nBy4FT mfTNQ7g8i!O Bj dkWĤ0܀ko޴! q*DuSm#|ggLW!@#u\m}}'=/oO;K©:⏳рaIu·2!CrO7aq.M'sd1e 7ʆ]&wYS%3ݤ(1EY5#;k) =3tuy}98ؗ" ךPkm' L4w9q/ia4oAh|w pR~ lj⃟,yl0Hn'2~iNy\۫ϩ^@掎)%40•sQwi yfp'mlmfi]4FFJ% IfLǧ}r1!+^ AjH]lE r1VD7lrwclP=f6a@If.SgYZ819 HOL-TPTPHOL-TPTP.THF_Arithdocument/THF_Arith.tex7zXZִF! @@]A-MՋhvG"uIBm5]W>ϝ.gcѸٗ0=/-ӏ{ׂt$5;IYI@ֹ_G^mUGS6Ɣ(2E?o_D%yif(l?a.[A]\k{-< '. @{>)9B)Woak2`l{17܉q'gp' KBNCXJ϶[?x02NR(,JjxWOzv!ɥ6}"ٻhWWAgwB\ƙ6#lx˜UN~5I;Ο{M=ie 1Y!zVdsP~0>?!u,&.}H9 ejB,xfMr7* uf%~4@k@mQ9E4`KDpbO-X$?.DkB kTMB?aдWwgm\,@XPeLr\Q~R~׺z~PP|c'7϶!_: 0YF0UvE&=RwH_3UAgd0U?'KRbo 6\z%UgH-FơoJWHRߐmTqelou_ݩPNk]mttp` %g=Em=es(A "ั!x.BڥFjmAdKy*f긖"Pٟ!Nw3 (34svGCTN׻ĀcU"\VQs zRwFn3<"˳S!kfy yFHOwl=IR%UhNoZԮ+7 ^[>6 3o'm82_? {Uca+lO2PiLXZ Z7% 6+FNV&ZP)#|EfԺ[_6[.`%|˕ ݎ5|ص>-LZ32iz$S1 2IJn Ӆvr4Z~kӘZP҉0~ c^K+jͧ< PzK(?eLB:Thպ7Hg̭[c1qA`!kF$ !al /nh@ g4gYZ`19 \HOL-TPTPHOL-TPTP.MaSh_Evaldocument/MaSh_Eval.tex7zXZִF! ]A-MՋhvG"uIBm5Ĥ`eJ@BAޕDyT;Ȟ75 fH-0ff0 ^Sr-2M8qj׌@0Ͳ:_yG|[Ga򀩾V̝u4Uy"cMD.7q1E8[$Bۍr R`|6 T?6ccH@2ik̹7֮7azN6T( _|˧^gܖmSk46vi`=#bc+63o@`C呾,9`xYTU e$0k,nBy4FT mfTNQ7g8i!O Bj dkWĤ0܀ko޴! q*DuSm#|ggLW!@#u\m}}'=/oO;K©:⏳рaIu·2!CrO7aq.M'sd1e 7ʆ]&wYS%3ݤ(1EY5#;k) =3tuy}98ؗ" ךPkm' L4w9q/ia4oAh|w pR~ lj⃟,yl0Hn'2~iNy\۫ϩ^@掎)%40•sQwi yfp'mlmfi]4FFJ% IfLǧ}r1!+^ AjH]lE r1VD7lrwclP=f6a@If.SgYZ819 HOL-TPTPHOL-TPTP.THF_Arithdocument/THF_Arith.tex7zXZִF! @@]A-MՋhvG"uIBm5]W>ϝ.gcѸٗ0=/-ӏ{ׂt$5;IYI@ֹ_G^mUGS6Ɣ(2E?o_D%yif(l?a.[A]\k{-< '. @{>)9B)Woak2`l{17܉q'gp' KBNCXJ϶[?x02NR(,JjxWOzv!ɥ6}"ٻhWWAgwB\ƙ6#lx˜UN~5I;Ο{M=ie 1Y!zVdsP~0>?!u,&.}H9 ejB,xfMr7* uf%~4@k@mQ9E4`KDpbO-X$?.DkB kTMB?aдWwgm\,@XPeLr\Q~R~׺z~PP|c'7϶!_: 0YF0UvE&=RwH_3UAgd0U?'KRbo 6\z%UgH-FơoJWHRߐmTqelou_ݩPNk]mttp` %g=Em=es(A "ั!x.BڥFjmAdKy*f긖"Pٟ!Nw3 (34svGCTN׻ĀcU"\VQs zRwFn3<"˳S!kfy yFHOwl=IR%UhNoZԮ+7 ^[>6 3o'm82_?{A,jWnA3d[{mor1`[=/"?[.0 pB.X6Д߉dhH݄n6:!b5<bۄ olA$[(tW*=Wb8P}ͺ/,Ap =">HU;)+8_3G ͭi%GƏ ivzcni ha!K!;&Q 8(wnP L_c"p'rSeIy- gYZ11# HOL-TPTPHOL-TPTP.THF_ArithPIDE/markup7zXZִF! X] !M젗OFK? 6#Ps;ط]pQڞ*2; o۩ #YPmԎ ?k*% t3KY*z=rz(M} ?:Kgi}Z"Ջ/ŻiØ!PV`I)aڕQ{?^iI;: C\9kQ̕ 2w7t֤aţbB)hXRmT+<̓/ Z#ZƽtZM;;pz݊s=(ƀ83G/;ےIDGOFhl2ƛBU7Xa 7J>qyӚj.3O̯Gjqe2qv8ڳO5blN\"m-$>]农e+ 4ܒN#GLp]FV2xiĐShXD>87ڃf&4\k@7Qu,k1Wŏ?{7kX9OF-\ +NVnM=J{t d'4<G7Wؘ=g끴IE]^ǠD⊖+ Kش!_U*> GڝcixTQgYZx5= HOL-TPTPHOL-TPTP.TPTP_Parserdocument/TPTP_Parser.tex7zXZִF! ]A-MՋhvG"uIBm5aU?tP@A岸q 'IOFJ" Ϊfk/I|.a6:.adS)@läRNAX qHXS~ȺW]U=zB4ɵk wj0NG.6m򧰒rOpAYFjq}:u`ҼG͵שGT j34 Z?c7 %emKK}Vi#?ъ'gYbZívScMh]|NtUί֤wisbwzB<,WptvwW'-ћՔş0@Z*?%Kwqk`_oȇ˯{ʄ%*7nd(470!87%I5pI*H$e)R{LQil"/9~i %A߀=\ Y350ЉN.L` 2J>3nk+.2 ӂ*a~n%'¥{!∝8yXęS++S۔9';!nm9ppƢp)Ckt >IN剽Аt_1O3=eduQU9,%cqGeFJ}p?hWUB1z\7;ڞ%Q `ƀMOLڏHw')?+\u?41eKk&}txKp!TgM+$`' :^PUR:AHTO vW0 rDx ~2UM?"W).2P U}S&$yuwCsxum X;ji빸Xn 6HǀkPFJ3*кw?qjfTNaAi@=`Slj[@/_d6:R'c6}@!՛Hl]Ӧ֏6F6¹ |~MSU2Gq,w/}OMuoU<y]<橕I~76-%DzkhoH*+nw$c,hMmĭJS܅b2As5$ "=6c4dT:W R} \%bذ4 #5gYZZ;C ,,$E"1QWpr s.38S_AN6}#]WsS5#ba3~]tw{ > "ZA]'et Jh/ -ߘ]JΐJZEHU=o%om "tqjm=lW/ 0e;9:m͋|\uA 8ŽK4B&}PխЃ#!6&o7pˆsM[ťc#*a`Y :͐krܬs~EdHknˎ%̏W !ebĕ3 =m-st]*LJjY#@.%t`H  ϺgYZ I H *:In ;# HOL-TPTPHOL-TPTP.TPTP_InterpretPIDE/markup7zXZִF! y] !M젗OFK? 9ަN !PA[c|^0r=!}gbB>r{m$@Fͦso3҂U!!%.7guúDuoX>G%BbKo4פ Z_z2(Cz lNponW6fJ7 BӤ tc@M$- z 9Hb z0m7&9e˗uݧ>+A&\],)Ѭ.?QTmO-B^7*AR#5VՕtDfˉm'(,ea{cX55uM2kuAdX~@FR 1Uxna8ǒrI'cĽWNJLgYZ_ A' \HOL-TPTPHOL-TPTP.ATP_Theory_ExportPIDE/messages7zXZִF! h]Άxʆ5.f-9 rq9Wv4d ё/1{l7JPp/gl!iQK{G&+ |Mq9(r S3=azfm0E/ky lc W!/ J?RS櫊݆zI|;#9~ ^7|óWtZ&%ܻ `35?MRjm},N T2ǝ+-+`ZMKK'4ZwǹpdҷkP9LzuSÔR}T1ޕg#)̃ˤf :9u#a鶌UՀXXJ5ȥWcTwmKo9;(Wn< U A# LHOL-TPTPHOL-TPTP.ATP_Theory_ExportPIDE/markup7zXZִF! `] !M젗OFK? >S+_;lFin0.< ttU4\I([yszإY[ WJFSaːV"(0:D~ir3p* bN'ոtsnWܫv/ 2wT0,Z]M`HMk&r{][i|]nWx_$sT0ȩ;}s$Ʀ+^I !-Hfڰ#$,)Hɧ7.}Y[@jу{3ۤ|_-~ȁ|w}%1Λ~E0j^)e!pKvDi` 1y.HF25 OoD0;* Fd#5`GJ' }14C; DzZA&Ñs3QӅyHcߚ(U;V ߔL`ڧo*3;<4ú2tH#H' .:\d99 qF$i1kɈ~t+Jyv2p=LLϺ"Z3&D *omwr &}royؽ,E{wO`l)KKyb]N R(BuAe9]ROkbaU3Rg# n; c%w% ؝DxuR9Έ%S™2v?Cq\兡#]m]ל? vƾJ'dwg|r  NlE&']Ņ=ORM0x\A>o hz kٔ3/|BLP~(<LX.瑫xi0^ܰ2c61sDq"{Rמ4ПRFmY{Ol9ia|WXTm7zcgvԛ0ɨ}ҶdWE uEm *"QFƔ6.fvnt8x7Ay2ۑ@ gBq3H# 5(\8ua\/Li )\hM6IkS;f5}fWv9nw?@U ʄ7˔Rs 4a:r@j7I3*O8PK(`UJy H5R^AK|E AڐSA-u/رgYZ51# HOL-TPTPHOL-TPTP.MaSh_EvalPIDE/markup7zXZִF! F] !M젗OFK? @ON[7s !n50obt-3P 7rӫ2aWH#%/T@.f@+l/hi0c٘\1jl}YNo%t(IM}F+-*঱0"2ԝ&Y~(hØp59[{w-8##TJUÓH$a _EI`֙oT[̿ bv֏X[Ɨv'ާgh#ސp'a; Zuܫӆ-%[fyFVM}{yBv,Z0خ(K(Zq[0#U  ^@D٨:@42/Z˟W(9?F֯H@֪?m1^IDkV}CI<5'+[o=%xYlſK^mT}c{Ygf̝=ݴ Ċs V+P7 ͬьtݑUs_:;:k?CG~.f }Bq~ :kr\Exa4h4ǏZ FCuѱU/5PvAբ٩qHhQo]mre_x-$n^ ]uzzbxTQ }f.З2-.[M^gu0:ǟ?|Hr5aNj yHEF߰ºD䋙 o`Bžci8" ]l\A1nLDV6IyKvb-d *7ThUͬ ~Wk]Z~%ST!8a mҠԭ\g @jbW]~`8j~8 E,pY{Y 1֧#y9dĂ3V?R{8 TF9{6!|ǡlrf U_!}s[Wab"X8o<4RlEh'Z!v-P'!j"0|K0~Zz-7?քkdoN$"ʟ:zm=LF&`uԕأCqJo߷"LFㆈmzyd(_ڔP $3bbd.Y+zW_ۖCы`ݒr=v `9ļ[}9ȇG߲ >ޔ%YR zLԀ.8# ߦU^ѲnNTQ Id'̘65=08)kr P^Wx02o﫾Yu(>+`=ݠZj?T%z@97:k1.P$()&Y#jT "kNS7+VQtz2:<r0'~%9ů[ݱʶ t3i$ EyՊ #>mx<OddW?9bQ.E™<חA .CؼҞaA?̛j"ⳛ->/QK!cHp072ɾ*Kme?40_۶;Pq GF8z=HA%߱T˿&$Yôm7  A=1` ?|-9KyM95 56NHmQwl`vyHO%$I朡{ZٕZF!p% {J&|JQaDˀ>"ꕐ 0l`/MF=y%շ KrdAEJZoLkky8a<Ʃz#.Wh4PW_%oL1+Vg>ʄ"7^qɨVfl "ϳ^BR izWƙ6|&u>EPxxw}x/Epvw[?ƾt]2jHcg t]qGtRGN~cq*`y]Tco%[+qsa%WYA1N#k׷* 4hkىn@3nox;*Xǭ>LH#I%TƁ X 9-uN㪗^`H|hpr IۼICQEƧYHh'vm =we С`1Eܪې2!,O}}wWw=?c5Ss:3otRlA_HYv]9ܜ)io^.<^L+? U5J[3&ٽz7XoE%Oeu.k$*x6+Cvr6ʍDEѮ߶3dƏ̉ɞ2=K)-Evx4\Nh^GDm͹b O kk|p麖#('BJ󛉷,041'@tfLP:QqwoZVë |Z%aYZޓRoTޠgX5_K2zS@26WyunUeK&_$ѾY:c1Qͼx Hb-Scw vY#aTXl°A9f*fWg;btmڵȱVP<~V] :~×D0DmU4w3zUu Zr{$#y7>XXCH_\ylGD9agu_|:",tV #e gYZ  o5# HOL-TPTPHOL-TPTP.TPTP_ParserPIDE/markup7zXZִF! 4}] !M젗OFK? 9ަ+&ag˼4$D"+J_bB\ f5T] . <, 7gIv:¹󃭽mLha=AE°OPe'(pٰ,)Jyw  {fllZ?r>o P2<rVSX<'y"F(\Yb)yVDd .V'Y%4V_'^ ytjv39'(7wD2oRf94)E(_Y@3\2aݿH+_]t0D48uPHDzCRXRL"BJ^9]^;q#jrs5۸q8DžUL]8Uix zIGC̓{ûD"=ܯؕ,yBFҰ`k3xю;$Y'VH#Pw[ޣh3|9i6flQRdP:sPFJNA=8lh+z1m7o@ m~daǞۉZt_Ρ[![ߕaWYBؐ: tٻM#q]ޣ: HT4@Q(ƮX~ʧ~c;M0^zKxfL(:NVp<=~ac_0%6ՖwA7dncJ3~ED8Ckl}GH;Pv P Hfp-" Pa&\N+9#:;9b̀T}`d;:u~v?Rw? V:h(nupF}0]^ 8&\!ch afHܧP@f_Yr:2훉F{ 5!mL'ۇ2Pǧ1OKqeL`95I ;/-읩$/E?HFA[>=nlګB]Ʋ>'CR~H 7%2CKULСڕ͆w?V?8 Bhh# cyw)FBC<ڲ!Oa]pNͽEV )i1ϱgYZ| ;' HOL-TPTPHOL-TPTP.TPTP_InterpretPIDE/messages7zXZִF! ?]Άxʆ5.f-9 rq9n-"?q %iJ7B%:z4OT0g$IO7o ^d"uBh.?lݡ\$S (2r*Y:k?uWa'M~X?~n!|0 rzmh˙U.As&E;d& H 7gL-m`z=NϜ&HE}×kW#$WGNW􇒶^]ɢYBWDzF@>WysZGe.IG:Xhkl>oAOZo!I̯bT Q1g%*;@_Yp¯cY?ws0rvl D<(E9/@)ǝk+Ԩo/Rym1Rp%4{8)%هg #Bto7!|SWR?DޡaPb[P =;R'cmS Ӫxoy(G\8HEbVj pM"L+;E$ J y[WtFC2!> VԿz+Wm"/;;-i}ff@yqj.>,}X kdFT(ܷF3˝,qyb`f̿ߦY9`_p. .Z2ep줳X DhtCkŶئ]Zs>NCE&xѠ.`7Zee~s)2(Qyr\cO׸XIVќg& GXC@VC虍 C7~9(@qaHd[r,5? J꓆wFen"ي S=Φ؂w =QbdX; $.uI|_p |{;o V9PD9V9n9G=d^ p#: m4.е#u6TƏ:iSzd娐 ϑUv#AW0. |IB PB Frˁ'pXPҞ!m877O-1Ԩ$`~S/ 0ykgYZS ^a,$ hP]9Q fFo:O|(7q'lLp],`U|]*2b34ٖx\?9c/A4>%W:dߘ!Cl3 2œ(~$&z"[n&~-. /nphS9g9ٟW/8"#2|ehs%o_veQ}̯I8=iĒ`>fI]+a?4.(5}NGcQm*5'{N3ڱ3YY*zClEs6ʹk--`ͷ} {,$'gGu~,Nf6!~U_1QȁFZu=4*gi| 8r\YI}siiDa D:i:/YrQ9)`U|mNx"ڞS̞ O4B{ #j{p3}@)3jYVgtN|6qwUaf:vKq'/3 i$ta2tVp=5u'hi}5|&x}ו`!l9G!swOoo9HڥfkGIa/;8EcsEcFfr4FbAWy6pAQW"`Y떑v+XI ~M tu2)ORieIHs=\N46'ܘÊ't3$@7N'])tX*գ9dbX޷~w9&YG9:1%{ПV$%5a"c }є9OԽI'_ H9`wZֲL"VR:~5%E@Ekcé E|7w) +s#^q-s$W@/Y7}AA'p]2{ĐQ qϛwqr{03DnƲY1r4&DZ^{s|E{j =򺣋ϴڋAn#i )AsQypޞPzdѰYIG_~|$mhe4OiLP{3կlQWFC x2+>4Z_h=P#G+ԟMĻ϶Wj|֛rWjy~L pPu[skgK$#/A>kuLiѤAvW$ [WBY;};Q0h!,ӡVv2g\/d<{ADt@)&aH/e޿'tY(:G-|']u~e3GMjM0^ vCG=˕bwHQ7NYSoNۍU .\w3Jh./5\Rxl T fL3I}~^cUuLymT34WZ ͯ/qkf0/fK L%?c3Vb5Ǣ۵͹ǵJ9m Dk!k=J"kގDbMAsB7}J?c2i1'X6KskvjjAdc̓ GLlOQW0Dr .Lt'B6k  = ~YRƬ S cHah.)syKS0bB}emBHқ~znc}L/'۬"*ߣ+ͱX48}dȌNJ7Ȑ 8Tfc,#g6>gevԿYJ{jcMs+ǝLY7~/uI㗇u< лFk&)t^HS ~oӈ`yx=g|@ba'Ӆ9–b(mAAHEÑ[d@etTW\e0qDl:v?<=L}M?,`f#+lҖ! ~lAyN ɾuKt׋&A"U.9?faMQT+ 7vo*w8u(\d$2\ 2zcgn|/&p"RqaX  ^*YGum a.Dqh5 E["pKrb:tYΆ)mA5Wƽځ&$Q g(b{ѳLa~Tɛ4;u q58 aY*EB>cC>d>g9 J#S .pCƞs߮1ًkb4w&Ԟtb:h?0PfK[9|XpT.4۫T?fI4EpgYZ lV?G ,HOL-TPTPHOL-TPTP.MaSh_Export_Basedocument/MaSh_Export_Base.tex7zXZִF! 1O]A-MՋhvG"uIBm5Ĥ`eJ@B_3 w'ׂj$m8BU2)ТDbYcZ k QZ^!6⫗2W)x̕t„. XjЃ>LP 9xp@y}$д•_w#*_Xx5v*ج#nzn5Nq$@[ji'/%kWSޏd,bD^[2raRl>T23|#VWw1ѵG5%33k ڮwt˔NE[m\]V۪sǤb3ٝ/kK20p /3bg@x-E~1*ߑ{ /f [j#m70F4 ć1_cw_ًtĐ(۫hlj o&,M gYZ 5' !@Tg3f4RݯNȼ~vj $sXPY"RdS 3\i׫l|p߸x+cI7ׁ E'k=V~1\JI8)Yva u$ ;whe 8VŎyye̅[!+=1U? }o߳ﵷzY,mG8S4;b:[ƴtDhx@kk@aznqe)0k5N{Ks](ILS!Ks63/gH|}BA!ƨM2:'%F\ ,/W&gG":AQ YY90ޑ$OlRG*>8Ef270 le:HbW755𷚩LEJV,֊&9,5l\Ie`nfЄ9^'D^`G܅,f V.RjV0@2$`{0_Ϣ xz; pׯ%fQ9F2Z|+[auv:5.,5,C/ Ԕ2*c\բ?8c$ijs$@Bj' mi'nڹٖ,ŪN+;^Q=K0Ss)P T闙w3 :q/1<1*K`rnȬRW|,Z^IHSe+=/d%:;?y M;Bk o͕fcҐ!=#-R)Av:[9"s$REe(o4u9hj b;?Uk2IqB^FP_Q33՝X#WA OC3_b]+z6DIwboꐘ u 9{bm#&js7Fh0ǛpD2B&ת$Q*m;}z2O 8V(Cu0h4쥈)Ib 4/Ta,ƀL hC_͞A"D3Xa]Sh& K:7Oet4 pzw)y}iO^Q8L<3om!|#C,Z' _mK\1V;ѥ_,a9d'.[sK_*96ݹvPCìҵy%wj,% a`=޷ 2&Z\r-Wo|#1̶B-([r^|QVÛ-}UiBjA}|~` [gȖl*XqE]A:5+CЄ򎻠z!uvH,gZ0ΞEJ],䬡{|֗WDB;WNȥFS%[Nt8g Np>pe4tqяV2N@rgk>?^sE^wQhh^EAo!r"**m GveR3kUI-vD Ǫ' PZfj@x]HgVw9yv&쳯|Ϳ5NziKCŤT\*Xl{v_pn 3%#<{EQYЏKȤڻ'c/m̑ӛ1 qN-jv搜sꑃB(Xw_c;cOL჆yBW_eyϓp/_ձP(.`eݬW :1Ly:8 ΄.&/C ]: +gLxe`2aK([;}&[In 9I-"8`!c94^^Zhٻ2OcP2Јɬ|!4 ' t8e?F([ڞgQOUw U"nl St3跩,-`茍d鑷 UZHS SG.’CގHJeyQx|8Q0d=aiRkGB/Wa'<VX&Nm FԼU`DU!7b%_hRl] _24h)뭫0 >ud9oZx{0땸TfCAPd랠{۴z -ʾb=MC$П驹o& V0ә.tE_9;FI–l}ZY]Cˉ~,Mx7, uHP|bb\Nt@ul=8ͣ7YDz&ny:vTSMF wE𩠼y[O")[4.mo1vx9zٴ0.bf޼yuWgKd|j_JЇoz'qWM*MKITk1y7**OTRGxXBX27V]QV ݐqp-x}s*ؘ9ԛ_L-#J BtU,PT[9Z-?Y*#DQx#91Y+ٓ߃u'cU`Y*,S~kQ/MPe 8a;ql&/WdJUNL޸l}pye) \PapBVk9@4X}|t!f-F0eD. a֠iU0hZ.q.R..WNRyR X~-̴۟s z狭Fܚy~k HۃCde2v.] J"' R( (6Ƒ,ѶѾ/ j,ٍ5o/>@@,sn}$ Z;Q$ٕ`Zi?t]eysC"u̼!ҁFZش~XMA*1ւ:e),ôn n4\tXLUY̬+>VL8U]KRfi7"Iywi=_0s3|pw*9K(ZDŽ+sKQs,YwpZ {"'p1K]{\lW-|8%l;ՙhP$FLB&<A>}RҲJyYg>c+,:`ZWE.\hZʜ|wa{ܫeTvt᪷.UY#Mm|' sF)W{JiSH"d}}(M*7ᛇZ_&FW!@i_=Q$0s`t~C#Q ^ sp6T>ȺS|}ﲡ1j]K ю@p0̘٘SuZ3&"F1ץ+ews)(!PL`)7{ *p(sn:&~3tΖgLLDMzi:/5]Ճ?("\yP=ztFLqቖOHHh*Fezz )GDUӭK2q'Z^a$(}Ը̬8S bh9JHa{]sׁ_" o2U`pzj ?EkrVR7@0P 7j!ECg7ŇF?6g<9]Ȯ*WT:=⑗?7^>%VDŽk=ތݣ50b~LA2ݹ& h!q椿 gѮ) i 3%qāD'>źa'K#qK_J94qԏsc_1$+,9gTs;#hp7γ;x eL`BEta a@2ͦD]pvhs&v MDc)Al!dG'(I z_4(ańnzqN(6qLf1è"ʊGA,tx-"8o2tw;[ *j@Ʉ~q޷& nyIgPOZ lꄂz;HӟPR.x Ai<4;{SF(*i W 3wc;\\)>mU^Fܻf#ia!8:9/B001bC&hhTl?Nv,~ 3nÐAn*׻I~҈眍<Fδ¿)|"``6oZr:痈:]: ۰lx/-mZZ!(TG g绯윙65o):ଔjnDUSR9Ԥ bHoE6! Ѿ[A6kTzVvPSoخ, Gn3A֎MF+]]lho94 T.$6 h2:IPߦ+YC3Vx1;cJp_*Qxx!΅p YpρVP8EgaW  TfMÉֵY?X00'bDڷ"^ Hbפ.Zz-^@OC8U n7hȯ궰xZ[4E A폴ؠ~ToƁV3z(r;2t򸚿:ƀ֣d~V|,2({cQyPNʪtEcJ>;F =\ ;42Q|(3+CkGæw GSu |afPZI8Xk wEřLlMjCeD?t!|^nƴB0\X5.-nM9L2|/[ L-گ?'i"XH=֜BI^C!%"P{oYG4.]l0`g\:~a{;t@yk~eհ*'#SQ 9Ӡ p^qh!J{v:gP>guK'Ll]+bv{޿Ȣ%g:H~c {+K?]Xwdt]2~=_w-/e4߰B%}s!va5c2|&K]qlH  D,ԆFhH/+dc8H:v]дI){k|rύ!)R{F)s)r:3FL҇W821mJގžXHQ̟L2U7P)v쯧Vq ;@[{Ή%7tD=fD25blpDq˂xJ8G 2%cQ sz >+V ԜU%v&OBec0_:b嘌f1A\<68@g[Mplf*JԟMWJg*EqdU\9$K08OC^vo-b+wVGuM[`; _.RZ@{i?3ecN"!Λ:q5gDɲ= *om+`ooLHI^FoRJeb޹8^2-MQv{6s"d:(o 57,(us5)Nʹptwpo1ߨZ[PzY '%j<(~dԼ(y$HСqJluZ5d9uA`p#/ޅ"2ڬ.k۾Xj&_$?&HF!h D1UXC7t+1f^,'P;Y6 g iF׶+"G\1`=w al8J8o>%)Vu/FZ\GA%aeZ ܗ +f(=V a@G؍0]_ NTy"fд_/׬HrV) & ،77N%zE7mlm]Ok;q),D\,&ڍ:DЪnkS`=-,I۔x2ioFx _ 7Hfb:[ڡoxe1M9f_^'4ٿUQ/pV#!ɑ|Tp(ݛݧ70C_ڼ׵Q =D֭,Uecu&qTiʾ U wMD1W,W~lfYw:NHݚ >׋8^7Z<f/;~RJвv^uS1P5 Iԣآ0z鯱v`gљV :Mh@.$*xrjq FM$z?'z ndHa.f+(dl+M|\$.v | >}ȣ!JV돼&!#J R`L]YZxf'/lj!d HXU HM!TVqg5 ϮEBb27Rl`@hBnգ\UћTD7t0\oحF$ TD>/+޲J`@P9"PwJ{@qKBw d /Ug3BR5 cnkP)!mP߉}5`g?wPL-nZfXl[sjYQ[hȩ«sw=.MۉWCh>Yu0 ' Y4%eV~řM]Gֲ~òQӬj!bi^4jJq@%I;cn*3z¼P ꈞLH,ND#q3s tc'U{G:da?(iiHce&K 2=.Yxu9E99iLAؘvӴw2;/RuK4{ɐizƣO-@[YQK's[&hLDadJ`0"9G+%n2>J^(s N Kb\y Y2I4]卲#0Cp {/YLT_6 %IxF#ݾ"~XX}*@ iFYM~؆QJsNPߊ$׆eOmRB80}n`B{ŎE˅3q" i2%FYlbttcC>3~!2I,pB@y3߀_O )"s'3el::b+[GS5 S&vUtJThc0u3:z;t|t)| -VܭsX3DK#?9ʣ.-"y7~6DPCGz4*ܐ22+ W @trՅE +~ RhF癘Ii. Hٿf JjYNG(&ys6.Dg wRtHxp~F7ʧmu"gU7̐,nB\WM-]7uʸ#͘@~տTi,quc#,SVds^_XɌ&,j⎳@SXd )Pvez0 vVoX}6/(zISHftcd~pXٍ"I:Qc195_=ˉ ,kT+^6*O-sީ6T~8JI(RV dԌ&"]c=gi\p! /0#M5=eNk?S~LLoa$JτxG{J x>ɦ '( .^Cn@( *W=L$%mР,;TFto6Cpkw#,?&vnDxFcIve;'䁑Ya$}~s6oPkX.8W 23A~d: Lb:16/kf}{%9D;e5yLB vPh*EFϩCDQY`ʜo tRIH:(z6E(Q4'iӀ׃'mg*Pzoxic̴˹0N_ϒtUh yZSA}؉J !|$6tr70DU\N> ?*]7w474^AT9,%N7*ak(.X%Xuī/cv닸"@@6O;mOM30y #<μV>UNȲhLrpmY< >=8ʹ!P! +dgSqٚA캖b&  ޲O1 !M.e;N3x 4}"MUcٳ-+YnwdiIfxJ8IM~z7D>0|S_=Y;^_#Q}<)8}oށhU=KHvk~(q8ük(*ߕ-Z^v׮|H[eR w9Hx_A؀MB]K1-7/1e0*Rdz>@msݚΟc&EJW7DnBXOYGcfyc_*!+`̐ri#f?,JPP[jYˡUVT^}Nv_(G=(jH NS}j&P<`&*(ITIiH s9)*OC@3wLu n MD@0t/dJ tƁ8q':t/$HIZ-55Pr3bA#rM7@mݝV"_jJa[2'-0m!@|j]xE+euX {k٦ݣM} ٞj"̷{;߼~#Qc N,Zв 7Vu"@5 R cր;kWcxɚm;{pS՟}a+XOY B,~;۲6JU&HRGqTX2HQA1;BSQ$p UG –CY-Svvo**`QνPu4"t< %z}h \{ZM:L3y Ȩm'Aܝc/&5-&̳os*(r:AOmԖQ6 eUEj'[/2>}tBu{ $kHxLSt}+bPfd(1WWr~V`2}b"LԊ$y89>GH\\Vsߘ?\.6a-c<UYޒ3[ yK>ŤFN` R,'ıE5WZQybnEeĸfX列U}ҊtG$T`xkWO-ղMX1c.?3<̃ޔ'ާBUNR<al-d:L nfţaVIw{K,EAuTIۆIeUe,<ʵ7Cyu::ԥ%Zm.6Qm)\8y-|j,# X+S,mBWrq1ۡjR*{z༵\"P1FzQ˧3(N>[@X"_e&h')7scǘ=ӜJ8sM܃hX!#&-{NpF@71Sk^Jrʶ2{~D`'^/1$G]EMQ'(SzJmy@~[Wr_Rv¤}z\րWsE~*ڊ|`avB#nm XH WuY@7FҵNQ;|(&)/qU.ѣVJrʄ[Y«;cxO,x(+OG$}SA jwKl*4dX2⑊g)p@b4˔ssr]bjʩ|PJb.,A;MW%}\!Vzק7xq>[Ռ?RwXҮN`.F. D@J+˸&QuB`_蘖O@C{J5-viQCpMd?7P/.6 剏9 x()u>;hwBUtP1ӓȼ]̨6B >Z|yKR34(UYei#G~*k Ζz'K~:Sקg|㢞!{-lybd[)v=D7DċﱽTL]5^R,JD3E(]d2ZuP@zZJa|㔩M!)Zn6~Akq+FyAv ڈIJ"m:eo TF4?F8ؖvuB)YfLe=MWIJ&%FxwMCV h>^t4Kl8y>P vHi">l Q K Kk2_/zHrZrwpUBAGm+e\|L=)8 ?;_t' 7QC{v# <d cBV#JZKus/Ғĝtx{.ҕL@m'|֛66ΐ83tj%m4:6yob !nFx2$}^xPiuÊ_XƸ~"5)nĮXR|wگf9\˪=mŰGzUm\8"jpۆ,dAYG$OTxcq*n0O^4xԢ,rDƺQmnġ=V3&i ̙e+QX&^|{`%[cxǐqр''KPW GD(V[~Jw3Rt"֪cC1>5f/y-ԝ"xdXA\(_Mqbbk"Eg/a㚼N}{K>.3 .,#}(77=ӸB#[~ef 蹦v).NI_IM"Ď)Ġbfaؓ Gh(yޙ"}ڮv>ҹE<< }ʇ6#]po$Cndvѽ8$:y21| *YA 8 0lSA9 d\jǠs#ڶ1'K ރ?5HTcXL#noK#Ć:Z4(-8OdTq uU応=tNP.>]8fMIy!aޙO:Rxv^j ιceHܜSo+9p᎜zէ1q")֊h"-_ݨU3If=WȘ)+sRS?ndj8 q˘"BtSE)"˂_ ȃ!7y{U]Fs$/&a1~^"{+W9qȶQlYH6ϡ}vbNU&osUaWC:E %Td̶~ 1KTpKV[=%AH/tڹ_t=Wav"YoҰ?L؜7y%gtK $}+CQ Οw[լO%\, EId=ybr  ʗ2TՕ)sfźߐpQnC_ߏ^c#7&B_⌭/ͥtBUH,e4$aay8P824~׀^p9*q%?ʜ>fVـp%wG;p @OTJ5YRL#p0kJi9{-B2[:k.t_ټhbLppj2Qx~]LwqQ0uׄm?!D0֫S!b 4`jU@?}]iO^V@32&;j\.z9b7ެ%_fk/]@n1F:xD&nRa=ُ 0W͂xOCU蚻Ycf%$\=⑝)yk)k#^a]꟢li`OM}'nڸ^U,)DRwp*㴒 HCG GR0.y,}|)+;UUtpktcw3KRG{}m87Y r*HW虫%9J:ؓ*+a''dg3";c*Q7ՃW˝"xWrz>oZT狄%YW,M=ETq`Z%kUTUVǨ@2' `|RMPYq9sA񔊱0Z{߭M^Iv'RO^YȈ oÚ:_dʶxj OQk @x鿍?-bw,1iZ3>! `Bt!#^߉= H!ϴR%!*)X ӇcUS1ve(6 SfjfDNlza =+99Cʦ fֈc"+hIY$S޴KĜ*ϥ0-?dĦa!1"{AvG?MS'":--y.)8VS2 -Qx߰ ԰i͐7"sp1a0\ 6)n[2⺳!t\#sΝ4_pYTPRhMk1H3! mE9Fm!)0QxoF餱{kB>pRQJr=&{9Z 旅9KmRya3JO]b[}Y0 K_t/<.͚z1tv2ՔVO[a>u}ǟS]0TPB@7u?-/v2zS9KW?Q .ݗݖg6Wnj=2-d,c!;z/ P;` jQ62GCt2+cAW& ّ" cŔ1F#´"͊9ǬN25vc~}~CR^*ʛ Wg*z[C{/I?Jm^puX  kD`I?2ŝ f5g\X ؒ (r$=E.NǿgKF:Tcv&%h/}lU16zrB8zMs1e(+QF0J鲈.靅*]7uDٌnl+*c7J5JNTTpc:m Oi]~: ыHKٖ<2-ͭU{ה-؃ YS6qiz>틡3BZ*viiŐ5.d!;wEi8AoBqz`)t[k.+AV4JC}o~ܫ/ŜB8&QKiU XJߔq"5ίˌ ;YFʚkFAI]W'kIo8-z/L̯Ă -%Y-+N%R&hm xӎE},_N_?i$S@pv8u:A^^Ԫ2cf}cHdRHgOݯK^H%8D4 dd7NWޏTVz˷BEQ$@rm~Jߎ(3pLzz }X'-@ubr{lz+o>ˋ# Wj͋Ɲ ]ZXah.tMM=$sr@]a*bb_,ܥhI $<8 M+U6Ic@MSTPovѦ9KA;ZsjSs%XˮeoFLPzL])IQKմ=bIe-9J3 Sf4:Y s {IB\YY N21\ yMBP<m*!h;cՠؼwcPO eka?ذy(U2tGՅl/yi+&zYI![^ va*f3 ]Վ3nI,hV߯︥L9aޗ!C$>;Vp^i&f`)d7T{NrdkpeHM~@,C\o 6͹% ^\Y// {9r]gm&mZ [$p<$g0$?x1:xL$Մe'34Jr0+(f)倜6 %1-!@ vм=ib඙Eu6dYf:=ƲfylCȡM]sy5{S/R\IC+v@N ͯʥ DN_{8P~ױySU: h(A]WÉm$ufb5ʻQ_X׫E{ט#_96U9kuDes~StX@.'=paze84xw_ tu6WUcWSsNJʷߌ*Z@TVUCc5q*j`!2棱f0kipyv aVVT0s s581Zl}Wk;{#eO:B)ŸH$&&tQcQZ^J֚F+B*G&Y{p tAeGk; GfC.-kFv0zFBɏVлZP lOϿt62lO3ԕ H]Gc%-0d$$ZyS=M ʵO QN1yr 9"؃m]π&)syvg_\D/08]߬b8 y튄̺ L> ZуdƂ)PL40{]_w@2w!%kdQ_Iȟ-8}_1G毛ҌK%gye#7o#^>i0I >WhrlpJ7ED=r1aZ%dl:dh+^ރwvMr%mIomäI>(pD\\ezGd\eO^#FcW3O>cm͸oԴ*iNF # $7t!%Y(ɠEsԙ"#Uy"b > e^)K@GbtƓelH:{9.G/DFƜ~chq |KP.~n#=2#BK'QƑ <(ۇ=q6 $'] DI)-)EIvA>`g#+eL}LuC_ֹ&a]4oñ+3A&CST5'vT//>>{lݕ~Kð4k܈8v/IS tgo~hdk,e"} ܚgуjY)FKs ˨0xMeSQ0fHGWw|XM,FVGBSL2bbǐQ*9~w0EM@e^k1U!̓*qa\*ZYL[#D`$dEbCWRzG3#gwxt$G\I z2 }䉈)]t큸l.Gk p79:8jeEe/]=RHiflӒF%rKޞZ]Vkvǎk44ٰC })\Ll$L;T>>1]J/<}6OR'\x|]lå`OBJ Wgk@1^ڬkD_jy}}rC`Jwx3!n|hFͮCnQ2\2 Iգ1[ <$o?)д"Ԁ 0ǾXum3 `VFGZg3'|'llBXmӻϤwVKSV.6nfxs<6ćQ(EE$Q?Mu$ƜB(P>iې\s?{jϨK aAT493h Jh,ԢsRe4ʤd$9e;qЦ[R,g>aQe2Eۉ'ƓIMsw@Y:<%Sؤii7/|b(6kZ.LO,g{Fyc{IRX!p^Ð' @z`JlIts]olܹ4'kY''7΃M<_B&O?sf,x2EǚbM6*B{H ;:EQtx' ꗏgIOX*@}~. x?ٿ 5_ZDZw}Ą{jyBcdB8sCfB0|`=NzJdK>&J.GM>ncBF"A+_cM@R&"ws4p̰SkVpd͎I:7Ax/@>Yhz;}ݮZ?ҪׯJ~}Bh",VTo 1OuqV1U Icq~+z$þ_D^%#ViD'Zrm}V|uc,? mgiuHHi5%Vz4P꒕=)?F#;wfԵ5@FE7-~z%lqtGxRKPBR'#Q[+j< CB61!nBf5Z+[[wP`FYU0(#¤=2N` KYٞRhZ9<?mͲŞoת悥%w⨨goW&qcjT< et2+\> Σrz-ryc/Tԁ`Ae(7wIXhoɢ 2tgYZ h gh|?# HOL-TPTPHOL-TPTP.MaSh_Export_BasePIDE/markup7zXZִF! ] !M젗OFK? @ON[7wbov֟9XOӌ;:%)Jr^^& >} 1.sfcS+'Zw3}1 Mϐ$k[^('sɤ $H.U ޠ:_rUioO);ڥH=M4#Tov|P 1/^W~fU OK񐝲]36Z|C"j|t`}ndW,xiCwJAy0!G*e𢵮Y)SсՕU%J8#!\!S*7[Z/4M`0?L[kc;8(>Q*`<7W&(o\G_Xͱ4p(i,$>>3͒,[j_>YEy1V~P9J?aTW#3[U}y d#@P%JseMM쇚O ZؓS ƑD+yY"CwwbH3hsqS  2µgYZy QY LHOL-TPTPHOL-TPTP.TPTP_Proof_Reconstructiondocument/TPTP_Proof_Reconstruction.tex7zXZִF! a|e]A-MՋhvG"uIBm5aU?tP@A岸q 'IOFJtLSIzSk˞uڧIzGyR3\d|agvn2߈}_5] _јbvEpsXj郸X-B# 朣'IK1e[z-[Y'c.@), 7y/}%q*SPUet`~,+cΌcL~Vw9۵L+W#icȊ!\r׻[es+ȼ_<e6wOq( $ナNt G gt!״r4ò]aؽЕ$^>pc3V='kλڟ9h`!,<=O X:An1<CG˜fV-5[m u"U{Y?!gtwl\J<+Tz,&sDh_IXEhk3:IvZX7jtG9 }^vMKKf;`\DV3=ozY]WNR8 N,v*p)D&O$9SE(9n]fJeYPu"7}ʮ < uIEp;U;#0Zq9:"qftkfU@0,F,XHLt?k1MяD8ƤCE] ώlh)->95`*8u.-[:_ 0W(Tg2&9˙KSX"̯ M>%ïv!9֯^xn ^y0nM+MF*uzq,0>hWl"BKa2Uν7liH=fP tDygfL?f< ToPB^H/P͸$ e; p0eoI a.TzW fp`X:"KLVB蘲os}FZʝr2/VH#_ARbܨZ.^(7Cqn_ٙ"ƖV`hJ_%1;iӴX&΋ jca9#1Yȷ[(I5RL㠃-gز2QLh_pKL*v_}CBɨkAx/ i(,VwLMi"Ha'V̽kn*=^}Cs~ֻsfή홥կBUEA2NҺ/nuL&o>"Dvk+67oi4W|:iCV6ϘuR, OCžEJYzp'4S>kC Bun V:= hvV7w C+zvXaJ8Pu` ê^XntDW!#ueO塌 JL" X{ˏ=K Jn#Y7٦ԽIs4pd7r][83iƚ>GjxL_`~%]Afu7 Yx|!qSeN- =}nR1#qnֶϥ4xّ@ꌧ5A 5.|G@qVZXϒ+w#kR\RujDɰˠM.f/=r_2QG!J8b6,snG}]ڣP fOy"Ŗj/~xQ|X퐄i9Ф ߿vJg60g:8V]ZK֫;kK=4, R;shg| _'cEMϵa6T1^DΦi1{|]W5~7Ԉ=j7TٷӺ17 pKA6"ͥX_i>RDYxKkuS+4"e M%N/ |Ap<λKeIW`59'*[Sܝ+L -fq' Vh±T+ePS6!7_Pn5M9`E)g{TOEk+;a:'ۏU;O[ItfUjwvc N}N5UlH9Q3jh3y[ U=Z8/Uu|hHZoI^%onIy*wBFVxf%9qӇӲ u#L+:TI[}zJK=7ltxao s()ҧ^-yG9{Y.gh0u1{\ nW%Fa/Q.{"Aߵ+$*^WF7yS﯈"E;W zJL }07۰߇>9u#"x+F~]aS7Gl. }l6:K/ FTb"lQD 2KLwMC|u%?dENVR r{PyMi@eA0 ! icm`A!%m0P$!@\!-5-*A^9_ kȉ?PƵblW~CpPqӻ?;PrPkFvEP['ʢ+b[l90|nfUab`r\#c)[Ւ!= 6{7,0uZ:ģ6@%+-$s?MUU䴠Ѻlݐ>~9G3+[N NSfy7|-z.D})2_؏چ> @¬4J,:|9蔍#x:ElYQ D&p \,s28['1+I5^b=q UiARADpd䶂*~&3̢$B8_8cgKaZbA؏"0Gx?+jމKJ$o!T@8{L߄`<4Ek`Ϗ9ub!otqA4ƢF߁;Ə9nM~ߧ(ʫ*hr_dbi(ԡ\i^[/*ziIeT3{|y5OhB / H%K~@H aȽ2{#O4SuwP:3L鑦uaN5P}G)}zJ`Ceݧ|O,f$vJW%LG2|^M4'eYW b"W8TeO:ak%ɹzi%7HcK|>s{!g 6n3Q?je6S J܊3oVjx Qh% X\}j.b=fv^yvh~xc]sYU`ㄷN$/hs)Oӈ хJjЍGڛT t]:nVɲ/hIcrSqo^,NLVBc5Xs qG q7E NJ:khqYRمQmUu-FH 65'Л>1m?uGܹgj<=e`$k osO]IYo,DEbDrv1f7[協S!_99/Iߎ_K 1熻<9:g&19 6NfQO @GW|hК7e̳7{8U@zNֳ Gg5:TD-^XN缴\)_oH}foD(KjrMCd*Z݀ˊ5^8AfLn5q;-{|iLG9:nrF JN5 +Pz4e5ĵ,Fb@+c%| 7nAB}&~<a^!me/mr}V^WcEcLD6ۖ„ZnFC+=`"Tt$N:HCX0JoT #?( n?}?A73Deġ>7w|ت6h-`t>2w!"in!"5Ӎ,@WJNf{@+x akIv8obq.:+ێGqʭej.^ )iƧGl8m>?jy"My>fBwB~ Z;6kNrf-Z3Ye&-{ MMu= CWq~ m]M 00W&ZH8OaAt$ OѼ)9@LR8>GNՔzdȱ BiMuk_'Wj,$vU!5%_𹬏蓄$E#$,/w[0P9y$J3Yq(p ӵsfON.tf Pv /3^DQG 2m~.P0^7&Y q@zd08MQs6aj'NUshTZl,f{ug4'KpC;6 IsO#݌}5(-E"('E/ߔ9HgD0c&-_s$㸐W[ B*cւ>eވ q녟3« LŸ,dMl*i~܄+nv+5;\̗EsžɱwD-YSPFw'%f>A'Ġ|-5ZUr8ی; >Bg T5Snd~'Uzް%k'0f\#rXH ؼ0y"wlGa5D䴘$.9 6{ V[zkaqM9NѾŝ_~RFv-mFh-/.׸PDSN%e)j5̉j;9}TU_Ɯ˯:Dg' PD1'LRmuWHp~y#wDu)뭦Vg-#d&;\Gq4#!"=ݙ¶4č"12Sug8ٳbŜ jTx/u6)ՁXjb葜:ʿ: X } q}fCÎaLzwx+TbZKSLhy4?X۴z|o^}H~ <_ƲV@5Cka2Vܠb붳mG40%=@aos@ŬsF=+p$}^w0TI-KDr˰sr{(ӸnH7 ?wY&}M[e(%S'*uS2 kpb|4$ڈUnUV5( FLԱ84}vGEY20)G^9וC(ؐ]/O;Y} 5whP'H*NB&m ^I<%P>Jћb SI g|Z ]H<@Dٲ_fgtOsH&@Ōx%_IJ+XO^2x&~M&/ζ>-"Wf2\nFGymP 1i ʣY#5I$D=$LB$+LkloQp sRStqDA/pb!ҾRy+E" 1-å=\7?s|oD:8?stɩ>UmmTun39pC76CfY|4tkEHwv.@/-- o((99<#MbCx֜l:Vw6 g˚L"g!yA1m@i PH2bq<l!^#\d}@-=f@rӥZb6w;tt(LeпV98< ^6PF#soG@F#9_kabx| ^{8.-+~ VE-Q9Bs$A R*]PG em\Q3|"! JEȿւ~'j Û`|dҾ[x {p`~< )(Iȫw|joaI͗,vae_U1s\3ipu?#; e iqYGޥ|O q'httgTg4Q0Z0ҷPxEO1F@ƜA DA+eL!sGOYLK7--q;% q9a9i:-I1()zlMM8c'en6b [LO:74OO%PV9 O3a,@脺iR>)c"G[օ68Pܫи8Pti:-{dq߄ lH R2a%L3bt1˝O*9ڳ@$H @Z +C3NX'_ ċTgIbwd{ݢ?՝'صʯ%ۊQ$ǹg V嘑鴪{<zB-wM~ Z@8b`$_e`!-ڬi󩡒 ^J("Ig'g)gz (ghYj C\L:qy3[ɛRX9O!F)r @s=y+$_ JԱ%,CfF`b7&/\ܠy|*p#ҎVN+>d\J2:4B%AP'6A#A~!L,5 @D _C*pu{V9&E 3}7(߸1VOk2"r>S?F >=/ħa>y`\%{ _$6eTr(S!zUD7τVVMF\򪙤^ o |̌ȽnB3glC_RKx`x=o+h5)0UXz ٵ{dnBHM_U#NYHW__NP5JRFI2>A.k1!pW *؆~ vF㢬<.t9Q|eJ$nQ#?skZ~N%gm̆I W3 -uFoI[gNoMlGq8qiYQ|OebU ֊=i.'(Ղ"{WhyiR2#Ά8k@S]ȓm?2Ŗ#pXgN68YQ#b;[@?;.fLzpY`5cv~{\3Y({0ٖhԋ@mu6'T˄iȭk 9US'h.Ou+B̳opb0 CID⇚pmxBHSE;0zXU~' 󟃘g}qɩd(2M 0ԌحS@#a9\ugfv9 tC38.;6+~!q{&CDOA@R Lƿi"篭NoQ̗ 1xX0]\wd-yCE O*&6"SUpE18&Ue B[sLb읟EԭРgFVJlEow9UL4$87!tOTGlϓ4 o_c #d.^b' J!xyU5D 5]0Ȇ"Y;&Xf;jMU_,;kbDC oɄxL߿muI;XEq8acU+{fѹte%>jj=* I5ۇ5!JJ=4gp kW7Q$:ĠC_y`R4mW6KY@4EL EU/&>A1t)=4|<@v w\O?Y vC!95B4?ȧ#[au.nC1صN (gaB}(/ w|a|#3C"UL5=k*&tZǁE@ w k4p:m#9m PcE YCu"I*rn'UqE םHV*݈G/@>Aj|-`"K.#V:߉ޓKFS!$/a$`F2+rLar6]@;w2i)vœsYqGN&w}EOϩUk!@C4A#D*b4Fol ad(ꋍEed߸E'K`QOjbg^;([li%GLZ>mɈʓ-7燨9A[:^΁N2OU}g~qeC-L$q?迿uڨ ,_8N i1p5lL8Rm|Nwve#чi|pMA (*Ϲ|V-0+5W~#-AM<jLzk~;@HOdu򭮎)&QpZ'-NSZ5CJB^ ɍ*ߍJmΖ/[M|tP`4 !N%wӗM(PqvOkxŦ`2~'K_Ck8'-WYﻌYs/?6% ]Vݨ6>3:Mx0T2G#IG܀M=a,t@7"qHW/9 \+)5?&/"S͏5[qGTy#T;BJoJP|FU9_sFۈ&=zw'Z-ڋ۶E(by*0Np.Ve%OuT-xlWTg2{n8h'|{!4i (O7jPY855*i!Vool TW-<BBkk{돯\ &JGD6?oׁ9W=p$ bEGE$:Zf]c8K2G!A {6f{kfs A39eos;' GB'٬N͌7Ns_!z.Si;zLg%P젛gDofϻeǭ:d\(/6K.e=E%UAE³Dej㔞dnһS 칐U,u,Q"lFTh=$F05HjђZ6E 5W>h;5?6=KZ|K' =\['J\*inHDx<6$.EԁGMûj*`Y,-H|+iƃv4fT-eW۩(Y] ۃDCm3 D8 E# P#Kߣ60ayDeH/ȱӍt,~~;יj 5ׯ<@-7f}|ֹ&wTOYH"ڐ}h Y#3t#g_׾50 uH- vΫ]z{(+0H#10s !-&Q1-wB{v CalYp)*fl"pLj~1GuB%XPrDG観\Lȇ/FH5Vp#Y&A*%FJή__\SLr^Z;l-Gr^yTZMm0$4?d0^ :mf8p_]ISva#6p1%>SCj\3\Ż<[8iR6ɜp#=M#ROʘz/3vRcԤtvz ~=YezA0S!hZȂH|b¥`%9gc"8[P,'"Zyjtyعn]t?Sжaj"Sm Z؎ 2r֧*vfO¢| S/?ye/ Ykq( }L=B!~Oq]+RDfC鬼#G̓1,b}/8o*>*PDJ4Ro,x5*ӝ8%DT& _s誑-ERtU8f-Hl=Z};Cӷ[>Zlbp!| 9p03HB@e9yqHq$d_;!THlinDʎ_Q(_HTC/dn7+:Yq1KYw yq;T%BDŽ9$.P&p96C`ܖ[&KqlNj"_\o0tcC$RR` ,}T3QoP:Pj|ȾSĚ!(B RgR(L"V󥑺{9y:s+|32ՌDSZld9h&?m{NUmܿRdGяĴu(te4f ֯ؿ*uga^"m[5ALZ(gFhjvz1EX}^>fuVXsRnx TS$l e(:+i.򯁸:'"7ư' Q;-vgAo>eԹȋy>Y.º=X+ii0_& J)GozP>%%NsB3ksuQ K? =Z*[qxG)* 4tKkYs0uȥ p\=&{Qew;m 2N}[}@ ޱ(Frہ\̜0ÊJJ§/l)칓0 Mz;\"׈A}mH90#~efGN[9x°I ѼtPu qZrD|Axbn ֺM%/K44Dwfc+b+-/[dNg2"+hA^ZlȌ5WJcwWH<Ъy\ )X.8faj: )9E>t(%V.6YcDk{$8C+;$*gH/- u^LQr^_RVdU"Pr}IT_vMvDV*QߕvFptmtC>Zd\\ '4ybc0˲i4-@uc: {&$iБ&70Nl-F4zq1|j)hCs^еhFfSc&⎿8`~)LnQdHtLD,V3o<fC"R ~6\}>*iMWtj b% -&<"!̼ weWĠ`M" LX qMsb- #~Ja%~bGWb2PK= [HKF\CWĠ܉'spr5eF[n<볥OF߀m&^q ""G͉=oŸ3J IF)(uޛfMgYZ B Q# HOL-TPTPHOL-TPTP.TPTP_Proof_ReconstructionPIDE/markup7zXZִF! ;M] !M젗OFK? 9ަ~J*apҌ?:|:͂GDP>hOn6C|E=$6fٳMj. @0Ęylb]HEN@Q$})">_4q撣l5 }b%+W_ yTNvC( uG CߠC`ۍs:p) JH|uBօĥ 7lGҦC'T'H}Ddй.U3\ܸSEtn^#R:5sd1߇DNt@x_wCtI$Ygi *o9WqgeՎƷa^嵸\$ٝݶLhRq5ofeB8x+/*wR0 E/BYyq*PTi;']{ʛ{?/Gf[Uw}0we0zVVpOnFs獊UC!G,4.Ze' HË䗃NU&&{  @f2G 9MAW/P?ֲΡ^Tx BBJhW j$Zz qS.HmD-Ib#:]gtV.M`E B P+' 2 C,Q\)ǜX*>Ajc+aaƁ1 S0_6{"'p/zf+uzArmހZBqgw.ӀDdbw2VH#Hn\_G2f*R#{ A-Kр(u+Ljx7pI-hTJzNwMnzP4FPQ;-mΎXjA7._RKg'$ɥ'nKv<%hxt x*S+hs ֖EVD-&x?ehS$;;5qK:i)WNek#/ -ES"}z6QZ[*Erl sp'8ӠSVSB޵ BKh7OhA:v`fb^FyX,Oa^֢'4?xu@r22xv`ezE:D,XRXwtv{"sL 76Eh9c?^aYziE{C)0`Ic~h{`XIa :ªY.Eg1 RHǴ׼uWԧ臒Hf'dTiJK Řd4\_b¶1rvMj2֢5c6ٸ+dۓ"wsfvrzۭQ*~}!b~ RܳE]mH'LJe/BxwsMszrU@NW]Ax¥NPNnqG*DtF[E׽ٿ-_K1/RgJ /QKeQ|bQt{2J <…*6clNBoL3t MYhݹCb?T!eGM~""kYRyfY/tYLŸҖ~ӝ'1.ͧ4pf׷ʩAJJWCG5E!nwL[Pf{6F0RނuWKg /*n ΪBV[m#@Γ̠b!ʹ&'(D?яa<<ؓ!DP퐞[,~W\KF#<%S-*Rd} J{$o5w%}XڑaG;T!A d;F:12T_Lpvd%oe?FzԠ0#bvYl l—K֋zͤ1oyJrAz][FE t:QEl A,²]\D:^߃V}im<כQT~Vub"F펥 4dp\2|nᢻ̓VЂn;ڲ=m !uϙÛo<u压ᡯw~8ciZs%$,KȊ!9Vވo6ԩ'Tdz ~^O!OGo'߫,VwX^Bkt`sz4CV/`U|,+PZgki)6jrv?zQ phEgI`Pݻ(l~^u׉h0\B_a#¸( {8| ٪kf̕@Ly|%yC6 1h;j!}].*Bn~ a(Xl=ng!m~?H{}8+r+ O"HgH?MA1c= {颭F^o )pXlV2yr*ns~ Ð1z>ŖI'hҡ]{Ԩ^]+,@؄W˄MCm,ce ܢh.9eЊq6-ԫ| *z|,!L^a#gXjee4E%Szy.T ,0X#F4{^tGxڴd9R^~B2eLk^9Wyǐ-䆘} 9.zؒ%~Gyڞ+bc=AoyuM3/x{DpXCE*J js`EoיX3t8ϱ48.ȁkZaBZ6;3e-9cbgQ*/*桚*laT|)YBi L5BE&p,VSذ3*?K̚yKdg-J&GyeM]#` {{7ܟXg=ڠV{eR:"8~P, CmsNx_u;|v kҿS w拥 azr\Jcm('aQ:Kso|{g H䈞T*FK#!Noh^;\9[ui!1'hȎ3=vY2rc=Dn}G}95n#;oNِ Ih܄-ϡ&Jr  Nİy]j 2 3-rpH?_EQv$bÔK`֜ɿ3 hd#NSu;TH ^ bнK tEk6ߪAl%ZRBT$TobVsN {5Y>a߄ĻN!n0mއGh5>)gĩ"+RFǂ];R^#&wu&IT×QX; BBY5 #$LkQ`RljX@.~˨Yg"'ߍ\Gjv⹀z%]:|Fx~Iz&=JBYo 8 f^Ï_)UMAKhh)(r@ncdZOQ>"GL7x,kN)?,BjhFYUL-'Z3P: z@(/f385&:_FMq6.^*WFtA(@@r[ѵcEGO'r4XG>H:Q#o9h/ EW}K,"#v%[76ЄDsLYŨِYݑP ` 2/b@aY y{v8V{ߵ+XN D?evEaegE /T^]*uħzCܬ2kᶲ]7S{HkPz׫8m?"G'ec}gM=ȝWF_E, L$j0bZ#PjÌB1ދxUweO!]R׼DޞPWEaEj/ {^=ZP|*[W"7E [.w\ ɸ%wŽ-7' +ߏ5J@Y3XC&.ǃ6̟ӯmUcߵik;O7汍< .G]7Fʂp ?<H ?+o./0&ohFmq5ccta21Ԫ7S,hQ̐}?YN7 u'Y-\au-8~_lkdz^Ȅd|~nt{}Yl}׌CuzAmV<:\Y[徎W;**_f]:- bͻl9 ^O}smFǃ,>#^A.^q)"X_F4U6]x뱈X(\K0S;|DԳdH^' F*Po{ݩvq}*3Z* waJuԵ]3X rÀͼ5Yd.xlWkz-Os@D/#Yܔ,\ Gǔƅ' 38 6i_v V m',g=( $:J#j:iXk&l> 0nxx8e<ՊXScyLx.R& G On$o)\fb?efAv _4@%BCR?Qaqk}͵p{sze퍩a2R(ϔ7u$_VO0 n9cWo T`H<nwo(9~+?`)$+Bq@0Iaj|^*G8ijNl8>GszM81lm_'p5}cbܔkm|N•(~>Ro/h)WdQ @z"-ȟV=l ᯾|4 n"~<_"ӛt)3ôX[9" nT>D9a/r4 jAZj'&AdN{ o61[jw*<UUcF+M'I"1\/ʉ_.SOs/K:lvyEtSnV$U+CCۜ6=l^3 >Ê". ?=,Aυ u6h@RT5ɱ ruaF1ܕ16qoۛxgcϐGl@嫕 o/$_N~U={82o̩ݲM̘Q_9Cך%%,2&<86;<^zBhSOba9p4&谠^Æ FGq\C'fYl{ +x9mHyNWWG_bw Һ'zk? >*T:K-ﱼ_y=t.RR,t:!|qXfqpD7FRGQӊ{flem(}ɛks DLx$.&<?ԗ*֒sٔ}֡& ,-aȢ~ASxTF\?*,.)t !sb!o}/9G1!U޵`rL|g!Ot:gtCIcqB?쉣v[pa`/rrHz{nUbvorWWD6gzzis"j/nsĔ?N Q\%d@n"_")vI- =W aq ֳ/gyg )An8eK8RՖKZE(Si 2Fb7'u?NtSqreUW(+y [#{HZ(!]5NIAbZpU9,6IkoiQE |/]-V^/=Mή?bK|ŘA,{kv5h6 Lt?ܸд9E g1,ܹX5ފ-nJpDW4T͵qcsKNa'&ۡ}j-.szG̀^MhQC(@: 5CEsU1?4Dl'K CC!ӎ@wޣ阍SRqx '"L&@Jt:4J5ͺe4ۤ8V|k d6f*Z%ɘp*ϰag_Oғzȹ6Gkq 7?:(}:[zVr+ ȉ ,qWv64 |Dk=Q_2kVNQ`1.yz$ujJ&G "Ȳc\N ޟJҝX)X-;T 6#\u]]g}"8ƛBJ܂ҖB L /ZzN%z+3<ҟ։pX tK9]>U7V xf (TTx4n˵ϩ vhoQ Xd| tֲ>]>yPMAΡVȊħDI䬂sF\_.`c܁A -s wQB?nZ>;Vs(OEsEm'Kzyv g杞~ TÕ啉)~+("Q%7D#R퍫66:C7 RpBR7gqRR[Ԩ˧{`j*I$ xA<6À-d ާWOtª8L6VDfYQTd6M4x31V?%l" [lR˥UOn6z˺GR,e햝>uFzðh/TK-JYbל\|Rs67~²Z!b17*ꖍIX3$ta3EϴCzc*{X'C4ZOKI*-pJSKO=Zosx`uk349ꡞ$}a ޴r0OO}wk+Y[*_/"kI~x?g%s\^QBQR.~㓆IfL\G\OPBqI2~xaLQ׻"p ׍Q5Wo&蝛CFZmkx[E✽-}Ru9>DW'!JO C"(+BJGJVk> ٗLeyUz#VR5=iIGcVE";[oޗc\ sKtx"&-5%}FmU| M!1/4 qF Ố7tH.Mf"R͵]%Hy@BKW:|- M|  f4!}& bǓR԰guF r@Xp?3 W?Wj"?VKr*WX>,{k=d7x k[vzL[P ww@rιR[ s`0| V "twN99_w $$3zTI&R8riŲA  J(C' lHOL-TPTPHOL-TPTP.ATP_Problem_ImportPIDE/messages7zXZִF! ']·Iq n[:|&[zƔFKkަZ0=`Ccj?+N.v~*5ʠ~wǤT;Aŀ߃"НxpC23{(q8w$9#5&4э;HgLpŪ{\D(x;45 o_Zj2]0TsX6(ɮj 9[PZ tifqA[i Ӹ~;5L{ޞٕї+p7e[˒>njf^S!N? G1@->o_82 ,Dsu0B/~w歞tO ]&_9&:EﵟtMYBk C'K<>IM*cMOyI8t/=K=CsI~?R hz|Y X>G0do_]9U0Kvu>= zOOOdfgYZJC# 4HOL-TPTPHOL-TPTP.ATP_Problem_ImportPIDE/markup7zXZִF! N] !M젗OFK? >Qmon+!?j(qknVCtÄյ h W( O“)}wƳV4@VJ~4;l 6\6.62PC~K / ^4L.c@Dg>>ӻIK ;{ũ P:ػ4r;ݽƒȴWac%vZPfbmQv+c|B2o$ǙdъxU4oҦ4PR+bNP"aC VF QkUgnO?kBVSQ=- 5~Ҝ܀z*\MSinOyWsC%@319' ,ˑ1t೮uc/WkD73/H >Z_?8 C$gYZfCK DHOL-TPTPHOL-TPTP.ATP_Problem_Importdocument/ATP_Problem_Import.tex7zXZִF! B]A-MՋhvG"uIBm5rpp}Q?x.'L,0r-s@.Y` R"W8x"-:H];ERQgV~bgEB&QfEK/jW^mk+ ιiY1!b w[iIG]WSZAka}֫~)Jba{8]FiEw}&rCBҺw=橰WQbWxg.I&wZr%*y> +z0Oş澥?Ѩ $!8je[+gsOrY)Lc`iMg)n-37(_ZKL/L|sܼw;LYǎX2 ?uj|_7TGO9맙^h`+NlKAkBa PbNl)&5A:412 L|>ʙH D^揿Q:L9xԄPI)PSdND;^ gcF(ᬣGleދRބ[!֭ #t<Mk:SD H(Yc F03Ac,tfC1fJ4~6M\ fX>zq0! 6XE kHdƐ㸼uN\! t-ew;aJ6M>CYܝD)W"I;gYZ 13 \HOL-TPTPHOL-Library.Refutedocument/Refute.tex7zXZִF! %]A-MՋhvG"uIBm5踼ºG:PO%H#x16c5o WAjG’Z_3#L (luW(N͚ӡoF= 4zxy bU҈dgfu"\5(ko7 ?MY.ϜI|]/y窩>+IddZXe>p8N#ag!jL-O(NIA'KK짂܂N# ܡ /uP R8A aFd!q[`e!j[H W5A ՟3Br @vwϐcL0Uf$,D@_֙};NqvfMեf<ɊW HlEcOgqxcU2fTHIٸKȭ19 3m6/Aej>g8*:~ kAFNi.`1UMu~j9uͱOSsw'Ħ]yb8w'8# /h 5C0rڇ]c .qܓW"+2 p§*ϸ3L(ŋL8 patXOk-8̒]2묪PL=|YKt[HO W|gn]0j:d nOc{p~ 7 ǝXRI0jՂ$HLe+_M<ͨ^9С.!)/P1rd |+u7V򆺫j>X=g8bX'IiO^T4C.O KJ)IL/ XJ[ӛAd6&b$unga)b ^v8 Y(X*b*AVXUvi7@ (WQGZsC7Wmhb }B$ OqBI$dñ1 m@ۉ}֫-BkM%f}!7%M~|):kMS> Ѣjr"R)jNj+h}w3.JfPm)* ۴n$nXһ~ZZ1FA$5Έ\)~B bMb!4u,- rG” f<0?>Z0|acfL)+[^a!Gh)Z.n ¶"#"̜U_f۠4gj/c OGl; Bg1nѹRj{؆"2:4Pq86(mE'g EefP0(Ө]Ґe-YIYXvEFr*։\1}Ԭ9P_|w,rG@#@@%?BEӿuwW+Wuˁ:3\y>wN! F5w!R4Dz@i݈~$CFa!3j1 %ZT;-7f\>nc̔( jx:ַhMVeVX9.׃f]vT4ӻ;@D/QFO9޿'s 1t|TCN]*d>qM m|; cLmH_<| F fK魧AwQ '쉛ٳ8'U0CC3ȟ W,?oPk{犧'G}10~2_]>hmqOln|(F[_ Ä4kq6K@&gYZ 1' \HOL-TPTPHOL-Library.RefutePIDE/messages7zXZִF! 2]·Iq n[:|&[zƔM vq$Yz8 Ng>-fn; YT$)o߸(?N= "zc[s 5I9eSl`w5$v N%SJQȚdFnΈ04Fg]~4 ǭZ%lS: I _XîZrwFUU&9&?xn/E-J]#|nzF^hd rzPv;")MK,El$EruS1 C)@V(4Φ08Wy,>jjbo91 woM+0rv|-`{ OiTY@NäK̾$)b^,Ðf -K?{WMtlr3/;}n^ZYGFcF׾Y' jgZIxVDк-Z*m (޵TU`Ә<K/ͺkٔ^f|dDoe)RZ:Ȥ.zR#pG @!; +0"lzN&0%MPqmR-1OyMXy{ S0Z:^z/*OR_iZ:ut.2`~L yazr3Q$T^Z 2m2W vpںoeֹ: $Oj}0D![ pSE J7WYUHpyk;4Wmn ;TTCtSw0A˶X C4x(%{Y#*=ڄciE>ìwbK#UV](Vo?SlHp$q9:Ҩa>-͌oDT{AJ mc7eαgYZI1# DHOL-TPTPHOL-Library.RefutePIDE/markup7zXZִF! ] !M젗OFK?;uL2a  !'_0U%+]@!h;B„9<#bOVs]@E(3e":X8\&'9Ķcdit)WݑX mBֵP^x1e,I7wyx=h=;f )ď|VDԯ-.o6  2(W%BҲigaZp%c4ξJ6|e7KZu_&$Wm.5+AwܷX~fX~>qxFBO|caVʹ;MްXkZ}0vQ}gسѪ&4Vicã?%䗦 Qn&T<r55P?mU*@z4c# ' Wx+?N;LH}e˙5E˜}&; L<cv:yzᯜ☯7\Bn&@BכoﰇLۣ=3qv0 B(VaiL xpsW< BS. To 6O%b+"&8%7RBY^t[#T&jIFzdC!g_qXI98^'C`ND>%ysnmF&1Mrq/*:l;(&kv&ǝbZkb,XR\i*ٰt"O[C Ax w<*!?=2$n!^P~rÐ i}erؓIOЉp^eX, jl+Q&LaNړs+f&WSU/a}}'Uz/r%?%c <.Ė[\rs0h3APL~Jw5^S4eMϳ2<ߧNY r꽛uj6K=$^ώ ;W.\}C!UK-%\c=|׺Cv\m @ A˭ZG&#E]:oEFE'Z ZJHj12[xWFX<}^$͹2SED~O#ig\]H 1QfXw1ݲ)#@`;|[]c1gܲ'UyM6ˁ*(7׊JcAH-! ˢ,|grΤgןMgޅ˘xDbqHh#A11 M C嶐mփ`šR1h)wܸi+zQc^v˗odsA}|j 51; iL$\8h0G{rɂfkG~S h_#5s ա(_۸R>$Cv Q8,W]̜-炴FxR .adԂѨ}+V`Tk~ljT+d. ȱܳ: ߌ0\;bnkLVKSx\0*.Lw t5j?M7l9]¥k6$sKJ)QˉVw?^L4$f#l,Xɮ|zt3JHYor|yccM0FVw`F#K 3{gYZ