PKB4 META-INF/PKPKB4META-INF/MANIFEST.MFMLK-. K-*ϳR03rI,. H,ɰRrRKRSt*Azf 9 %E: yz\y`CxxPKvafPKƣ4 .DS_Store;0Dg K4.)pn`E W!RP%yViO_ 3>6!B}ctvB2ts:vc2]J7_#LC>+1XW,pp?a5 !~uvK@🅧nl+ܺOPKjmPK+4 Atom.classmQkP=7ɚͺmݏvUiECa\IdO|ۛ/{Q>GAEG/?}(cMz4lFM 6mEB{o⁉-"ľ@iO2.PA/ Qis"`J70=N#2˷(9Kt00'#zytV] 2*zGt:ƎwR4h ( $nI6L} дmbA.Wdd,Kt$YRpPfTg gyH)cV-!Ks `D-4/emg40#q <{7[W%/0]o%m\4>Я~[#Qv+|[޷}QQQuͫ\#s r̮װ PKמPK+4 ATP.classW{t}f!tybB yAnBG@IB'd`wgÊODG}'U $WRӞ9=̒Fɹ~~ηq45 ;ƕ*26f?`2 #DZz'? [-V$Ya.Ôaɰede 1$cX2~(;d\+c.6p(7)v10nc`v'av/f21=, c) 0cO{hOI<'abOL n7 J/3V=ͦz4SIƟRM[2*;lSOĀe- lȪp5Z%<3hZB9<¾^~aEW Kx9h p(ggL,42nC8(LHkFRF*J6L֮P:3R yS>6l3g4"#8Nt+qvqL`qCjQW[ݯ9Aw^L5ӯ$-j!]K&5['iPSJC[&uluw(i,ŤhJij6ꋕR=Of-}@W!U aL,qɵ ǰ_Мɤ1HG45MҢ`4UW(6٩f^Qn) ⶖ`,N)j!hΚi4z{/BYb)^J2m=[iI*SԶg$m(bPyQTSα4{֫fval[N4kZr7(3_'/K֖Ӡ-W+ƷQ0pnkV %OQMK,2y^4QN6MT}4Y-[]ԆtZGFD1,7S U ,mex;&I_? :Jp:\Si]Cd[oˎWe"iqt(h`yрNGPg,?i!MTB)+#YG$}uuYئxL%G =9h7o.HL?8PNz֨"{H6$F>NLtҵkZCtp55v/j'n7QH)q]bn3pnqKTnр{b+~цxj! 񸰱G O[؍xF~Eq/c8 AS3_JAKy8&TW:&5 i)ޔV-iޖ6]I;'qRzJci?>^Ƨ>NK#nuNPKܭ] MPK+4Conjunction.classeQn@q&M˭R.6PD%" ċؑ_^xAjR $>B̺jWs9g'xj RpG]-elZV^ -$f: b9] G$D/m$(,p*q Gy&ዉ(]91hu߷NhM^JEKl& 6`4P`_- qtP]J5s&yz Z=l|[+l A~{ߙB)t'o/`49*4MЙU 0&tXpf*0q Qa Vig_kiN(.p/PKG_PK+4Disjunction.classeQn@q&VZH)mm'm< OBjōMؑ_xI%> 1F!^yeg=Ϗ_ᱍJb]]L4lfaC%r6-,C43ȼD&2?Xws:0ve}:8f: b9] ؇(E/ڭÓQS:{'Y`k;XVDKjAoLF2L@v砍`s8}p[|+O[b9iAno!5k+rRx3K_`]`T3sP3NԿc?Q|{nN`5Qۄ/&pƨ|L\A4Bk 6 qysVxV(K_P S ]OӘ2PKق*PK+4Equivalence.classeQn@=;8MH BJyNX U*B0`8vl 5G!θjG>1{t<# lVPǖ nh(c¶*Xmᎊ*Ҏ*g5 q.te.Ӥ'P=c@`]`,ky@/q cf a\נּ}NABIF I` Kh:XUFG`]]u vL&çQ& \s}h﷘n衃&P0$GPFQ \WW xr1wܫmS\U@}-5L#4ᷧ()4_B FӜjBӴ _%LQ\2qф \2n!XOQaFS ]QčBPK KPK,4FormatString.classTMOg~^emB`{1C6 DBJ|TEUPeAn@cC͡H)9SZ^kGj3333ߟLbB zq#&.ZQid)k g)\cRM&&.8e4e`zhY5dqYy"(Z hA%wN|+a dvg?PolEܮo{啀7fmOFc7qUZ.PVĆYzu_DǗ'l;eAx6# ,Wm='q,Hp(RUFPyXᢍX1w7wV6՚IĎlZ|[S:$Mm?d{q o]um."23nU/L 1\WljP*l NS5C[Ƥr-=974>9I^7"|@KF\r603-MZMww~ #Hs6o&tf1iR "T!V|x䲎6r眵x==pW1lFqN& gMK,Z?mv51i")1c"-8k")9.b`xt,( tբujՂ8)ՋJM@UdB◃Z,m{e/\w*0H+a(s|b+ʪ_魖~W4CU7 r;Q2'NT@URa9Sx p oHZ 'pRJ qC{. 7aIVYi_?bzJKrPjp5y-Q%XNlwwl:{YW@{͋oSEB# ;r:wb@LzT4m5cvZ(J!o?Abt~;l g(ى}Η _yHNAޤC7m|h3C}Gp^9@VH[gT Ǿg`lL7' '{;1zk_*LsDFP&&]D ZG?i9>I-4<"N_҃ d:I5{y?C.2vmXmqy[YGSCed׎?(昗|{~8 bAEKl1zZ w6m<WW9fَ[Y5MkqZzkGM PKxOUPK,4 GUI.classuVUNw1MM--mI[ yMM p[wg6mE7D*H*T|~$&={sΝ}?o\ЁPƹ8q>&b]q1*\q1\RO <Ӳ8j>+>//—h =<,:cC+_8$G%GuKHm25JmNP75Co`;Rr4>dʙ[zjEI.|BbƤ,/qɱcn={9qܢaUNv 5CA%jv &n\d0^{<fa},E i?늍si"{VW/kX 2/}po޶Ro.U |wZo< ͻ9kXoeKwnGca"Pvr]hh[Uty V?xY)=ΦsyMfT7ni;OvTEX#?u$6[t=>4C*0=|#=]wWT{+}P>@DTjtBTh.QkF̓ۂIh3X|P ƃf*n TPeF"rDM΢*3)C͓PWY(aI:5#ڕj5IΠnOIȩ3+ڀkp\S W9 < "An46۸.ܘ1&h Gٶ4Ia=[CԺy4約j1Dlngў;ugc\T\԰DB,mfo:&7iZYm,$K`+.f<xG'&oc{/ÿ\jkq!mn[B6>m8=;bTQkr4+Fa;ƀS,|_/T];{ҙ*soՇ}"Eәj@:eޚUyQcf1nvW=D%15abyXgA?*t/nRVD0 ~\Zp(3MuxπRPK3/ PK,4Implication.classeRkoP~ZJ!6e-lxb 1&3&ڦ b2X?e|#fHO罜Ϗ_቉6KbKwuLi`[ɝcv *hW|8 ަqe&'PHŧ2Y_`^X2y@u (HyG!=ƩJ˨jQ<'0x%nIʡx>{\ [PFG^4fF/&2T@q`ߢӱ8n@JZW*+r#XfK {ΊkQGWx䒪z3K]ar{s9 oc.s\#6i}gBg-/n~tV4Iݺu1e_2蕰]\fٯBdڽu dj`ְ0)u7V{~ l`Ӏۀ&K!+cߜbsQm4cضJ͊hOH{yƧTvc=C*boe1z g0FSH4l:H8rdVB-҅ց'#IА"yVӌ4 F=Ty07PK/^PK,4OutputController.classmU[SV/`IJc'qRҒ!54&@Ra jK->wOM_'}L߀`:e??]I svv%\X _1$eL(c!@d_あ4x0Bideo1C!0+cNƼn#1a9bVZњ9xL"^剰!0Z(w)9V)76aV,EU9%@MU\GD %tuWDE*qXú ]l^EC*Jؐ=kU*m%.00(TQ J0/\"Ҝ9Aj*6RBng(k[Bry1lxe95_F2⥳([I׿ƺ\C!p Sꈡ(PZ, uʥ%`1rqmWUKĐJ#r2͉P^['ŋV=ƑE Wϩ)iNUV&fUdˢ1ߔrkL_$m in""tzl8wZz3p>WA p'mue̕l w[+ofi6n~@KR4԰O>;a^vV(@3:%}n49}Is/ؖgwi' '! #'$CLߢgTߢyM ,2qڥh!N<ؓpNvLrvPvPC-ou!-k[izCm<8D!=Ez.QQnT{9e3ɼ̿ Uwv()/)vj2~*k2n]SSsܣtܧ8 L7Hw)UCػ^{t=Iz4R"*Z(.zPKH=i}PK,4Pelletier.classU OUfgfga>x7,QiR&TmlG\4>P&$Q;;l{ss.?E=1ĂE%\\²\f[k ~fl> o~po}R٫sli5ǵvؘht \x5Y֚o ,hŒZhŚ13ٳyҪ[5oǯvoT^TǀWD]4yxxTU-e1h\&?o"3nD~Bna[GJfDid5 3[ բ AkY㐽X:4Vx hi,ٵ^8"$-4Iϖ\{P-eqtpo62)>AWSIYbyGi(̦|J [J֐u(fbScyl,(b+>kǤưtcnr=.tzءE3>6{^1K?FmRm 73x )ѤntFgi/#*ٶŮ;&{&O,$g/W7jPKto PK+4Proposition.classUKO@@mi)OPą֘Ą ƅR2L c2[]|gN3w,5Qh2CmXFn( @?uNwԤ;C&`& J2j(wAZFK")KlKY[2xRR |$1TRyd6Ggӟɱ{i%Ma $t[ɻՇ0S*l((3**ƨDEM=7ZJ&= S-gZɴi-z9Nnzyߐcc3W* 6xҠ0\H[4RE ؤ5Wou;?PKD\RPK,4PropositionList.classmRmOP=w+:6`c96d!|11!hұfkKW~DGPϽ.ť鹷ss{3AY- X46p[¦-#&n,Լt^;^tM8q/r6:h>«^:/>ۣ9U6eY=jѩl֜v[ 7UғějkPKlţPK'$4 README.txtmRM0WFIJbŗ 9qxfLirxn0Hܻɛms杼ymNWm\ՐH. A9K! 2]Ewn_{Hk&77, kL}5VJn=4]t9jøeuI2yIY*TgǡO!IrB.rt©.Y:ƣ 3xd3Y=Qa@Y{WNEJ@ V Hkߩ==<#N<_ȗЩ|e u PKrOFPK,4 Solver.classuTkWg~քdYQA1Pz%(Q-bWjn6/_~GO{N@TO٬F9ygvyyf~p WU$l0⺆QH`'njܻ%˂EQo ]YދcI۲|/*>G*b4㸫a@[YJ=q_Br(Qኩ*1>h,8jq "n17_u?:˖wNA+X.[eqϺWdZNA;a9Z6߳UFKҡlv Oێ3 yēwَu^kyEn׀iFlFmY;l`ī3X,ٗڽ {jY/ܺb][^t3 -c \̛)YsZ)3U G6Y$nBt.5x :>g:>rY_/?^]6't:N`wΉx0qt"Gv HǗ8ŏD{RfnKwƩJϦt|oVwNt|tLbJǏI%᪻hWU65B̶Uj̧窹&t9*O4ƘobLγ-Y];}2K|¸G߾Vmw b,IkLct0❩˗犬oYDlYjMH̬V- j6BV^wɒ][jKݖ]AY{/|.ZpEg g0_c|!s6 P@PriϋgM`5`w %cl@)FWss\uHB:=AaÈ0dBm"цkFTr!bF:toiĈ5&bHz;QCLr_Q(od7Нl`G/\lg+zo c-6H-] m`O|^TH0 ;]2Er;1JҸ( Eo~J<k O~!j>. gi~k% =8dnf#hbvf夌1Er3QEzE4mg$DO`.M\kI#MglGGPR/N2lNq+d*ټ xKR\K=A d$0E;įLp({B1]TEJ(dcahFvx8VFInkzrҖLCwBkmʯ.8ͻ]2 Eh),bya/bl2tV!?B;D2#dwd:- TFnҫ3~e{ЇdW,LK~E PK *JPK,4TracedGentzen.classX |\e?g2ܒi;]o6$73It4ҦIi"]h䦹d&Z<{ OlXMWpy (oS=WDs%4Mo9|;7"]et==S eOZF4*tZ+5+_Uk }]o(BO(M!Ko+M*d}S =zF8h>(@9W G9iu<hB˅rY D*B?S $k!YN/+O*kO~#LUw ^?~zM~L"7t&LIL~ɤTŠiʤ)Ff4\p{DB$dT !tg(зLuEAц VLE33m g*YL(uy;,3ޝfm=(O?neZXa< '$-`]1g,4'ն$J/򎔽z>}rq+=^6hLqVR^l~{(&p:І|X2Z X}n,ۉJ1-~Սuxڴ: ^完D81ULoV)p-K&(~ 2ΚE@nh :βsEW*3כa3 ;t#tJH$ız#O&O.F'=x!/X^/E*/%m*OcU&PA?dd3\4\RSGDO'U ~6lb$:=RbЪP_1Ta_ bz.IBNa8*_TЍ*/epnvjT=BPyM/Ȣ*I^TPq mtݮF+|GJѭLգI G 6c؅>a>UM"|3ՓLٶtDBDhM{2Z1?w G>.ܳW5"!`]K:>z֎zu^98!e*KCۓT۲ Un5{2m:c 6\-R>T&B'Ӧ'Mz!`uswmT6V4>LLU\J.Pz,HSyuV~k :E-l$¦+#ɞ>V$ u|8 ΋Ʒx~׮o°D ֙B4o;uUh"V:,d\7Eo$}#}pT:rʈ5{1Ƀ.i$h7iTjy9IXeF+V˼7n7wHؓ*J7gR =/R ;󂬄nH!'9k0OHT9nEx%]'I~p?tFK!<!bCyh5}9JEͮAIFYCCHzih呻r/1Ng@"TcUAR hr4'I4t UdJMIOOU9mh'Dh2*TFo& ѪFRA7hP̄g=v`Bb  mA촦Rc 6]Ao'd1]$ΓT" IYU3SF~ryHf0<o*Z5h/]dÜJl%죤##㤻Pu7x vsG1g.kt"3`SVJ`BAb)@huׅyʵ瀶x|\ ۥY.y 7>΋\1\xSO]6̲vcaָNZNkR츐qqx(@I?C#t)=Jt"GqX y9;Gˀ~a'`o(~0ŧǢ-Z䜦є-?TFS rބI(=(y\eCGC~,1 PD͸ڒ+c{1NeWѪ0p4 .czCyV{ZЗQW K_`%н\R;φsBjh>χ y 4Azh $c[sϋ8,xyfME z$՟4Y"lXȯ/CXucAcrЛA9~%#諗7O Ħ=\?Lx$٬a}ė}Doh<.Kˑʽ|9όS`4{RmB?2Dq/B- ^B/| muqvr tW|)ʗ1n{x }VY|-:xb3(<{Et -#AkL;hjv69h]XtJw!:nmη{hĉM8)i4Q8!Zći Qz۩.b|N L0\5`͚=F|a_s{FhN_|WG]'MT@ Lxnw#ރx/} L/L ͷ?7+EO~[̃ĔH3<ȑ^h_PK[c!PK,4TracedKE.classX `TN2M.\b$5H HJ!a&LD*l][> ݶZUg}^};d|?O< `4J$>7RI?m$s5%-L64p E4 K0miV?Y2eѦ x!rDU ݬ_ARQu Z_fs٧bg^kH{A$`2VZ)6E3I^R2it2 1-ld=Grz!pe5]Ӱ7pU*u+CA?op5Ǔ~y2? p`xOxsZcq& Y(0> ꧲QBKaB_Vl%X9 SVV "F;6USf- S`Ւab]ی=H, 2Ylpn3*噓PRkru|Gtv蘞xUΒlG禄l]Å- +ew'u2s&ɗs]r|Nd"цs+D샭Xr/XъQSjtRSJ 1=Pޚ\o1YI+MiSwdg7MdIqL]2c~yy`"RD9j"ܬW\3U=7 gzbΉ;<rstor܂%0hwQ]N-&3rY4ՔLm判<8;.b VKɭ&fBz.gcu]WQLR YsI|4>!nfKO,id@K30ʹ5[pWsfb׺}f.,GB[ w|04 y^-|}2,(Q(PfI#0c`<W">`Fc浣 (섵;~;G(hǠj;iΎCXY0b"IXT"ӗcri<1M t,11=t^xzVs iEv 5ot?&9ʨ{zP`.c]?g`Bbbbk sl'X Vw?AIGo1`OvXXp^+RE~nr'wN^\Ouyh-:,iE133t1?FK뮭fY\@ʧUjb ݇A~N춭Aد"[So rd0b`#/ZW.A)A-hK]-w E8Dy9Jn𫮎Nոjl.a2R{;ո y"q"PE@6P/K y!#'n EHDL8p1>fN+r3ƺpo酪"[r$O.fnc=+浃~"}H$3H0<(EN"( $9suڇ~R8d H'H$|a‰xqY,s،?]\2GͪyWa/%}cïïa=^']}<`A{WoO ~I{>ak܅ s9_Q]OoFfQk0@-H->b9jgavW&wjPM4gˋ]Ct䯂89$ŒEpqc7oULB5Y֙J$Es2-#yu6`c, wA. X2dbxhn/)2u2apPK5遠f{ E4&=QۆAsh灷f]wPUNO2ä TD̐I#bLB b^s@J %?4zuY`ٳ" W1+ѕ:JGoih8z;ZGukZf.!k+;LwuGt*ӛ}^'ˋ ;""*[el:N{(M>8Y!;k6T{=nX-70;P4sMQk&>Q9Sl|ey}s*r.]3f\u'ꬮ՞~1Y;ndpN:d ց6ΙQ8NI ir14[|*c4/;!t1&^/8N^uZX*W^! &i ^6 wdq1TSr^܁wN|$w3{#_#C'|_F2[&%ʃSd,{ yDޖ 'J|"<y"'O|=ټK[/ R}|V&bہAbfyNM.nל˴ډ!* Ar_, yW>h?1"_L^4 _W5 o`ICm\&?ޏ']E/q}?yu!\5_r;iӹ:.ځ9߶6ְn g]NWJRUݥkt ϹU7*0kV]%R{ɭ娲)5gӣgT"i疝dnl]@) J; [T wr Q/QP ޽DNpu \ jq@9m<Օ0^( f 0qV-yvؒȭ(Q#zT*Vtʧjd1 zzebffn4X]*;̲pl#r:o.C'#c--?J~T eP~=&5;nzя> юb= sg4GPsPRz@#Rp@tر~>yPmWlsP-ɹRqyZ8wSC EIރn#|M,n}ai'q LbȚ >3PKט{PKB4 META-INF/PKB4vaf=META-INF/MANIFEST.MFPKƣ4jm .DS_StorePK+4מ Atom.classPK+4ܭ] M ATP.classPK+4G_Conjunction.classPK+4ق*Disjunction.classPK+4 KEquivalence.classPK,4AM{(FormatString.classPK,4xOUIGenerator.classPK,43/ GUI.classPK,4HK"Implication.classPK,4/^$Negation.classPK,4H=i}&OutputController.classPK,4to 8+Pelletier.classPK+4D\R/Proposition.classPK,4lţu1PropositionList.classPK'$4rOF 3README.txtPK,4#- 5Solver.classPK,4 *J:TextScreen.classPK,4[c!<TracedGentzen.classPK,4j%KTracedKE.classPK-4ט{\TruthTable.classPK}`