PKQi>META-INF/MANIFEST.MFMLK-. K-*ϳR03rI,. H,ɰRMY)W%&e%g%d$$gTrrPKUUXPK h> szabivan/PK h>szabivan/loginfalk/PK h>szabivan/loginfalk/data/PKi>0szabivan/loginfalk/data/PrintStreamWrapper.classVkW[E&@(5HMVjJi k: \ě,UjU ]g_!3Kީ]3{}fp*aH]67CFbM7WZ6YilK[KO&5KAC!=QАrm mq3ep[O)춴 fr;mi 'WGSk!"͵p92NѸ=P.2M$V4M -ymnp*@uj(j{{Ib喫B%9V3mk'Z+Hm+ ^+2)-xoPnkC{Q씃G\2|U Ht]K񱂵[kA&FBW!4`h.MVl4U$Fm\FZ`o@XZq-b% WXRmM:OEeNtJnJ 0 ip;=Ӆ+Cz ϻ oG@.d3CXMlAi@߃?AdAwlrRp;$wHһ9=B54u BݭP?nu$fw̉ʼ|]1szabivan/loginfalk/data/FirstOrderGenerator.classW{xM ! , yPA"E:ٝl6av6jm탇ڇ}PJB"}З}?>~eIX˗{{9;9X(R K4t>JVV~i6;naNVSpVOOVss8st+PZh])'ԽҮkL% Zc&;=e7RCt'c hjHjv̔jo\AUϝ&]ύfLwlZ,H4Cc4{&y!sR΂Mi 5 |SqCEe6y0j 3[UU(5hZd7J{sqpDPz+,cɶ0䤻Jئhl-T+4\eDsvso]ADY oSA,H; V9nx b-;CXT0C#Vz2fYṖ1L3"4?%8oZLOaQ֚oQKɸeG p"26$seHfmp (P-cյ.Jфመ󢮢SAxKH~vܤd^=ZB6gdu52at,mu-H`ӫTWWZ H{V}ԓtAf]ZRhMjw6?"2Y:Em{XKjƧ(&i\5Pns K= ֏Y@` OyUXg+:=MBϕz@C.4# F4L-a mf|wLKR3Ai(覕^o kXEt ;u'4<&R:hZNBG5|LFOrOj8>Bm] Nlk?)|Yߛ!WadAf3.EÃ} CrTwi3_di#xD/mQmѰ4!3,oi;6b%0aF/4Ljq1oN'Y$^W*V3f̿Qd^# .)+BAeً)|Mb䙊oqaU|k|Qp<2]a݋^ "?47yqU`}3TƎkM1n v^Zx:/l_%("ѻ)6$J9879?]->%A !O`ft0+7\?g1,R| t,M&8iNV&}ɜ5pmv!o损 s]p.{mtk 2 F¸bm7]9~ f[m'1 qJyqR(bV>ebxzx)UJwrx;ZWV# yw-*^PiZTG?磇DDk >D.rTĝzۨ) >Do j3{UP&[2-cKszkuG b!XG}Q&)>Z"pGta26=ę"Js9ɚ3Yx;) 0ٳ`+,^oCE8To"lzb>'bl;÷Rw$XL@6#p*נ} >+s>Kb;UvadDRUW>&PN*tUF85v&]]9;<0݇IRG)+nd>@02#GPxV0#_0S po_VH7XX:o@x~{?*Gr;EEjCc+%+Ѳ_ 7/e+N݁YIqn4b7y/}H~Q+szabivan/loginfalk/data/AtomicFormula.classSKOQn[ZJJ>PECHBX3tJ?Ѹr$w_bxt"6{9ww:_}0i .ϫ+\hFI՟sm9SL[FY-fq _̽R$438 j9oh lSZRr5 JnPu՚b86@ F0܉aD$t0ďI@'Z lN }Y4M)qm,ʊnzYP*j~t#$xu*$nVՕr^1y^SY"X/TR0pJV],^X+6$8LU/1D~踄C͚ӏ8~N`g;2+E/2 'qǽ8Ob&@WZII.3Hz&COCJWi2Z^SNpM]# sF,(r6vN2P:[{MnO&o=-;~/)y&(Ǎ>:!NB%J~(ٖ`wa0%0 a g(ĢYAHfzB07D=[Er4JErS~Spy@)[ 5BdAƨ= C\Uj=NHmDJBC?a΀i(.Gq]4ۑ>!Pa`V^PK'SPKNVv>%szabivan/loginfalk/data/Formula.class@DhKALkT p͖nҗ!>y3U&Z(SI}g,R6s¦摅b]KVyOewM#s,NnVr* 89=ڼL'YxVw#@hU9 PK6PKh>-szabivan/loginfalk/data/CompoundFormula.classVOSw~~mR(2A :l)RMrd*V=rNמ bd\^,brᒩGz,ՒٲjY{.ӷy~[@\xjN7DW'eeB_DMw 5ĺt:. 1\oLCkRT`g84epDUE!|Cb8rPJG& CV2ʊ3z^) .5&9`ˉB0X=0:! KN ʊ4Ha1\KjTI76mJ{B)3v1:I&CѤueTγ_F]Kp(1ȏkpnNyzsn'+1iEi9s^"iIY2Qdh[g8Lt.{"&on'(!BZT4yBNI'@FIL$$%p³3i"o9QPm"O;'r;R)5*iFv?҉ԤX(!% *ggR 8QgbDMkQni֤Y-妅D6z; FڔN$U4uƁVtdحZ B( Cezќ4C/&̝*PhŸ]+(=¾G({@* *t3=M5(MOa8wtYH!0铿˫ouG't.M㓦־βn̰oYԙ-@&|FjttL3 5;3!XBiXZ*VT-&.OWwPdHPx2N .fx9d $݄dbە V )#[ۖ0P%\U2Wr@ty `q%5\ھwśksO#CK3և6 4][ Wtg~(+EF5ҁ(v 0lx> =1tX?{:Թk-k鱎b*UW,nR_W-o] *X1/SCret-BuR#|Ncԧ8H!JoGI|nC=>`?`?BrSͮYw<$iIs)B1Xi$Xz/=u䱲86NW Fq`Vƕ"oK6 ;_#9,T,6Uq/5=PK_? PKNVv>0szabivan/loginfalk/data/ResolutionExercise.classSn@=cuc\ڦmʛHM%ATO!L댫;"BbQ;P^b9^s=c3'p"w䀫8I{RQ|3 &y&S]iaxpՋ_tE7c8ڼ%{}˥dv fGs%2*eų\ 8R7Q E-SgJ:ڤ.cRBW ύܤ2YJf[ jZk3VFz q nm]C%&-ǔE7B\Ah/Q* e ˿k9BQDA@1ywOb ,#ѹ}D9z4b>R1MzVhCs(6zX"@VsZ kTs\Z=:bX}-szabivan/loginfalk/data/UnaryConnective.classTOP:֭T6 EDʠ @&1K(ص̿ D#1>G-Slޞs{_x{^6-jڇzp6w[ml2 CGuU}ndfn"2H=td A],xiWiop+3[oWAV,65ҔJ)Ϧs`!gaD( l;4.c+] a6b*C4gFQ+/[~YN[E $1$z`"t{o:9:լP[ B3tR&#l=bw]ު8ZtzwGDr?]ۢ/hy2Ѱ*İɴiz}(V8 " -U{ B^wQdVzchGD#Tāظ&{ C%klqM}+cR)O0Nt ( z*QqoӭS 6?y)m /!}dǪE7!S6N@ h1fԧQ/4<ģ6xEtA$:FRKYQӎ4qL7WNfb͡G*qAv3.@?E|gPKio+PKh>-szabivan/loginfalk/data/PredicateSymbol.classkOAi} ʭ.zG-X/I M ,d;% !Jb2n(~&ݝ93=y?pOR1,>M޶%߆pt;Kaaxq~~rɐ桐.PM/l T2ul.CJUQ*$=RaHh&V% Fς 7C 6 *a(b!2`7@R5(|u{x{kTOͣxjeh3%; \,!G:FWz#foH^5AVh1a0t%ݰaXӅUۖEd9/[/]:>bKlGite皮-}? <22# 1dA;tBQ /QqqOf)ŐFA" 靠Xcf6Q1׏0 c_t=z1M$&uT}(yʩ%[~`:!欙C\jSaEzN-Q)idG :F뤡H&"4c;8[p@&5΋ Q#'qw gt6D+%/n0ޏ7y)|EwVzPK,^PKNVv>.szabivan/loginfalk/data/FormulaGenerator.classXy\~=, Q0+$bY@lRHЈYb%fXe,BHGzԣG$jՊmS.J[kklafvY6ay܋*һsPɘikzu[o؜L%2qb2RL*XSkڳӈ )M&,oی7\.iM fn,c Av1K3)C[r%iYlMD,ۈfoŒn(%vYJjIf,L.2~.Ge <5 -^C s-QDRj 5G5-=1R!IFx2Ż$ASͪߢyNFиRb:MC 4:]Cz KgL+/_a\E҆&Z 5%hUtN4YȚyJop1P@E9KAbCnhJ;l=z !vSa%w+Eץ8 ƜnqcIm B]v$k-Эmݟz W*~)Gsb 4\a٩4e5y$2WEtNnrC>"Nةd C y=~N]l ȵBAāy'i IdɨTbB|WXzj8yQ[Nx)8`^{qyøQ4ěDCM\ 6>鹗V'qrsTPĜp\5 Tq25:p=Ucau?Ь֓aVҥZQSPp9:Q+qϱeỪϳ?|յS8#4uExK̥7a(Y[$6NaۥdzSG:(ttg|ވ6\H:[8:+V\"ЅKy"hy a.!yJ"qRqEЭX#3VJ@UJ)~./O0?{gyA*8rB,|羒8\g&gFni9L2C`M֌cC;~@Dd W0f~譟BLaުw I% Uμ)H)A4CA4> Wz{ p@hJuy%qkLxĥ $ZRFo )FFn"szabivan/loginfalk/data/Main.classW |^e 5T"!$9$ddw6ݙ DVKkjU[J JiXRk{j6&Z v{͓y0jQ@ĹjvU"eٝFb[UU V(5Uղ/l˭6 SfD48ɲLrn3<h-nt<j#+]MiuӖUK2ZQ 7oeYv.3][G*Qci#01ӓ/;o,Y(UP"0ye 1g0 QꘫDPzDlo,' 8 ,8"(ca{2sp;~kJƊ,sLcaU*4܆fklZ1dMCqH,,/w16)d,(E#C A-\F6n)X"un[wtSXq~yj5,rw3cz %R4믙2Bƚʸ^V2hfr!Tz2dH V L+aUi#ifک<=թ˖Q4lAFbf"3NY+ kUK`5v-mΌkȰ:hT&xItvջLLvn*om]ELfSwYgz*T:W.I^n ݰ$2?/R1ƪ%m[ѺYoNm׷1烺up#H",>UjeWn5]6#f lZNCȲEei\&<%\B{^I1W:-lƜV.c;(FP Ӕ/x2 CŵDXK?"]~=[F4|܋pi_ ; O1˗27iP)07oUs^xrtU!Oʖs[+U)J-mN'ޭ'Mٽ%*t.ܭsw>F>eی%Bx.z~Uq/]])y]@.ںML•dqLWil<FaoI4|I1M* L%#+'s1_Лq;jicAiHCxo#cNI}U` +R6 ׏sF+fH|gVFHd0l|xRaV5| O<<$6l=fz  )~-{ T_DJCR#R[c ?ZϘ2/4RAǺe#ۗeoS_yܷPV*<'3S49m>IUa>Ϡ1z?ssPG?ɑFgrTV`%,rG"} T1Af6s XӠ$@Ez'p%!xVR6!Q Ezyx+NkdeX&NMu58S`hJ`B=t&-vk^,7#X/Yyel%do;x}/DE(Gg9= N? 'J/CT_(bAwx+E #zb;ƝC7ry(0y*8_AR*0gG\)̳H9e":J3|)W|씂iM+8:l9?#l«_MkBu{P VXԏwDiqp+J0̓w$dBE-h(&xcBKᥡ~,)Q_ԄcbrYxHo'%{_9ƈjwD6ȍ-a.[ȅn\m #/nDnw0L1l7%2_1/xkz=Cb:O'rvCmY,QǍBRuW|nj&G̈́1OD')GGPK5s| PKNVv>)szabivan/loginfalk/data/CnfComputer.classW[tWe,yR;&JbXnV~E$n%.$Je9D;t,MI1N ~>R(qyaeY@Xٵ;mYl޹sq? N`O}̜ԭhΚe=w5]=o]'EpT(MWI=ӭlth슑v5-Eڇ~;cC@[e$cs^ ;uǔE7 {p%&xd L[b蚹hpcUߔOYKwM=V-4 +nF&z-ćR]睢;\_4 l4a=W]ӶCI{pX>"O7z TCw@O&'mgcY:OM6r]F@{4<2ƔUD27wG$޾'At#b@h~;cJ4|\9õ-B$QIEC53aVLYevP!<g ߶,i~`v/h:Ft Gq5:/PFթQ D_TqBIF@c ZNFQMR0I_5QΆ4܇F讥PӦ..4l]+8g]8'4\@9hM4 .jTKP+29s}N8aXTVe0\p1&s LLPe֗tڇDV8Ly=7 ٫] =* 8l– |v\##5OHVE5ʓy ~ڥMG($zy16L`puӒĈQʊ^?&:)glk8VIߚrA=* к_bllK.pdÛBoD&N/.vO^p_ |A6k;Wjc 6;ջ3 1VI9{hx4dr9JWF}T{M p녤]/ ]zy1LEY_|dk)ɳ鬑gsk;Vqk ]Vx/ p~U~E9 9Ќj%[9B&Ov[y4T)پBN򔴬JvwVQD[ǻ@t T |OytMcTyu fp8| .,zAMCQq|'n3#>OǭԈҥp.RHT+~r]KwG!4B-JKRy7En.m7PcbrLJF+6=<9rF9gq,rP3IyOFu.πNxq_'5cA#rڳ)z7qoyj/pN||(Hz- .259 aSư{xxwg~hj=R(* T*̗Ŷ<,/'KI/3ߦuc=02&:kB}x;d:Vֺ, @! @PKJ 2PKLov>.szabivan/loginfalk/data/BinaryConnective.classSNA=öݶ+ "nJ?4hIcJ?NR[6$ Fo1YRhs=sg|;.:cVdڻz.=3m4R6Y7dzx,nbkv,#0}i/xIee Rz}g2qSvk3mA>*D2mMɑPc!q?ǩ0 &C Dky+H.D d1FBhRT'oS \c͘Y+ %/X"r1EÐ0#aD0i YAw~-iun F0ܓck!mT]`K !8Qkѷ*əmWJ=G[ sFQŠxȰJx}S4Mq, Of͒ݚCmM/ĶV%zP U>7"n~}(`y?Q/\P6x h S)N{UпJ|}nW̞vEAW9o»,(:~jQ=Ф aJBh~O6#DqBte49taGX vq_yc2szabivan/loginfalk/data/QuantifierConnective.classTKOQt`2PZeQEƅ$Ġ%ewxa W&n \D  5{ι|;p h;QmtׅU _^ui{u׵lth#܍re t:y̶8,;9,I/{5+Ee )KWO@eK}^!aX&[!e z'$ҵTle(szabivan/loginfalk/data/SigmaFPair.classRN@=C)VCqhlKVDM0ݚ),)- bw `BE9ϯU%c8pKk8^_=<]p-C޼O"ΐ17k`wu$KV m;1A lL `=JD]"h0\~X\6ipi(hXGA)T$$֐BZnOu8l[m,:1/$1.8gL~n IyυK#I,5d0] }Fif'$=g*lRHAN9 ci)vDHH$},=PK}KcPKh>"szabivan/loginfalk/data/Term.class;o>#vv&FĤ̲<̼ĜlĒDԢ\vFIJDļt}FҢT̜TFNJ="6FFf`d`L lPKV/iqPKh>*szabivan/loginfalk/data/CompoundTerm.classSMOQ=-27V+(~LHSDaڎu`:ӴS"ƕ[M$ޭ[}m#DH&3ޛsν̷_b^0Y{%ƦҦ]2H#ҋvb׭^-+bSMazQ%D:%mIg;V1l+DfZ=0F>H $=qh&V Ep#Gw<ڍ0b' ]j8[ZV0B8q40oUKn9w^􊤫FS~(P a^]yS'vADya^7=Qi9jX%@<=U(" []7̢^UC@e4?&q^)?17&**Ei f|}#%FaJ$vaAPsvZЗ T3qo\ %$|vїF(={~ѯZrcZjόq XaAc(+FJKqԌdw&8V@ q홾YCLjg6H4|,C-,>"y5(s Df$.)~$×|ִ `Axxc+?䵟`Ȓk%}xƣO1:ZK H4?PK}PKh>,szabivan/loginfalk/data/FunctionSymbol.classTOPVuc dC R_11!@f0vW(t 曯$g$c50}N_LYmn9ooqM-ש\[A?͝c>C?,p3qӷleXժ;oz&V,^^MI !9|@;Q"R[!yö.6e*0d.;E6#\eH^rC5L&Y)u*b  Աm5ː̺Maxܵ^EӚY1$ 4VMPK7"^H$Gfu(z0YKI܊cЮҥww[E CR71^ua.[;{`^c$k #/^2) 1GZgX)HNKa`_, G⊌l NS 7}C! &L]` 1H@~܉ 1#d&WBt7Q X_ F",~c'9: X81d!g Y+A(';$.M# S~S {{@IBy]ѹ QyXlj+1`cTt>&"1&/o+13szabivan/loginfalk/data/AssociativeConnective.classTmSQ~.˲nidZF⪥@&5N3L.40cR krjr4P{9{<ܻaUYnͭ]};\OVnʶm./^lJFϢ92Hɵ' zq ok1G2NŴֳ:M73 3#' i"UDT-U2dd3¿߽+`PqWVv$rZP4$dAך"~]EP$ FU(s8Л6mcVšQDUBL;@'8 A_PKPtPKNVv>+szabivan/loginfalk/data/TruthVariable.classV[WUN&!$L Z{Al.h6BؔVnU{d`Ʉ/olBZ.}r-s!eZs>;/r>/VI7׸YUm -?CtoRf Μ0iٛU[w6-@: ڨn͋]tҰFfoeBszN&󩣷:*yk%[J'{=[7K Np`2ڷ3W/X!HIyĎÒhMݹ$ qkI2 *ehn!0RBX^SAXLuVDD8b *7Tt#F윲^aТ @ )5(i-C*KEDPoUKRiͮɼM^2D[\%e76|6y!h]˺DmWͮѼ+u7p+Zu2}׌J5&W1;Vģtcn v2XzQ =ܢ|ڼ%ۢIz']j/S MʍˀI>R1 *}zp&gȤa } %N.;exp*a|OxeEGt>o_P5.O(wNX)Uڤ._Y. WI/|)>D9bftзO#}'9v=%>]'{xG VH3IQ&Wg%L;aՕ3 Fa# W?p@$7\@BrBB1Jq\>`|o>;>C-NOKlV"B\qq"Oq:ueHD A.cJF.`nM#q[r]Qd8EncMljxp+~$ЩEe+$d,oӞ<}n!x}:@K:簼_ E`_+jyZ1La1g\b큇[ƍrܔ]!=DF-zytm r 2{5nG(QeOX-BP_ K0؆fS qcaS& SȻSJ{ģ[ce/}' P}]a\6ȋ)Ax!Wbcgh;JPKwZh PK@i>(szabivan/loginfalk/data/SkolemMain.classY |TyIr!pȄL1h$ & X2 c&3af nmZ]V!hmݶ[XIIV~q?sK'JIhpf%zF"GۍHgE4*:cG51v#Q~5f()pm%uv=nF}g+cM6gB p7!#i6 N0:5\3Jg,gI@L4Jn=[#H IJ"Ѥ`֌Qِ)֢3sjB\Bl`]vəCftYMf|9 :>i)P@JçYTdprp3hM :s:>ϑ lA_S9{L%F\߮x}fG &\˸7hARoYU|LAw];nvɡ3 .lyj8u$k#тL6&y` RګcMz'f}eS.RXp([Z6SΊښzXpgfM@O3we77Ox O,ATgJ6-t1 z!U fUx oBG?.=[B94v|*>f5ZHf;똬GLCCVYcŏݵr~-E9yg]44!Ӌ -ȥ97B>MI\dBr%5ſ*x?{yR:Ci)nСr65:[ݭ\ `Tǟu|LnmRnP*WaNO7‰U]]ֵmo`4~CR0F}PU ^3T,ؽ]edAyVtEN)'9cdKNSXF}dXfv ÔQ+=&&2QDbCgUڦt&%shDjW}ox>]2mU˾lDW2]]=m46dvuՙ7t[˕2W9T곍.<ۈ'L^"'ŝV8h2_jkxK1)եL 愙l1 gt-n9_m\^B|HvOu6)tH}1SJW$B&GU7 I4Z@RDeȣ]ԊNS6]86\FMԈ&!8e~WjW]Y<6kzx2`u 3nra&;X6͈t@\u\*4>ԫyR xe1pnPХY-ЬW>AbmXf}ڦr=_hz3&ͤ0-mr%֥ӱd:H֖lrfze WY`L椭Ii6eeva&`U8ipQeê 4peg@8WmGNYMʨʬI%ci& ܦXOEQ}$*>Ss}~ `a\ hOEQZ`ZeʦCXяMAc4?˞L⩔9|O>c[0(@5+18bb \ uȅAWUhF 9 r6a3B\IIΝ wIP* =&%G]|vbHqb8ph†҃h;mO˶b_  1dAaMCL 4yc3wm!2ʎ vM~A|fm_+z;j<{.0wEYz[n[طA=N:wޮv9oO 2ۯI p]*t8qK/w#RWG_.]6#NOc؎_@\] Njcb5FK8yk6s %ō'֮y՞Qrh'0CC~&WOĎcBē=VlRjvb{1kbjdXOHY"G}H!Kd 1wsApS?k?(*L?{GQg"a X9XEנ kpKʃWO~ zoI^Y<Yr> G-Ski:vR:kUʚG:?$+o'$ϝ<7cQ_0oNI³{UWdVj2&~7SKU~{exOQ{ ޷b=;==5gw&5ǟ̦^yrS%Ah*];\B}>LBU6W(XǮ}'U?#HDzm`^/F,bX<F=Ὄ \{|C ?6tt,lbWJہ0%Dzt[E[hʍ{{Q ,<ˤHvo!0^3̨a1=Ud; c'uFòU/2EA"D>tܖfjSU.}wϨl( ȬNsG4F[` k\vC*R ,T`!]NU9 u"5+9/-rJR57NS)hi= KɊ}4IVZs߫4Iإw]/mU(Jj~٨-wkZP刂(FIbi4Wܜ51L>48W.dl !P2vWK"pc!xK>a~_ĽY=M, w GxRL2&|x\ᠬQK I}]8,=8"7IOɽxZQy"~ 91?/2^reǹx18B;6 &сc~与MǗJdȔ٦xY [)\CqqtJOI.lޖG%**4e!]uk}k>t%7J'$y4VUw>M+Q(\Iq)9zq>zԃ["PK0kV\'&PKh>0szabivan/loginfalk/data/FirstOrderVariable.classSkOA=-|bEVIbbB4|(btYvKS' |(?xgAk"}{νw Vc1*gq[oM/xubaH#nܫY}ǖ1Du15%l0ZRK~X"oE<.[ð-otU/Zi }u "1mWxB1m ~%it3#.q0i` ѲNôF.9Zod)lƤB7\*Cc$^,J d=AXH/iSMٵ1<"Ji@&CnxӪpޟkԙ*~,SjaqXܠ)NͽV$L">Cv| Cc N͌ctQNUJQA>莂vN%4x%Ӿss=ɑ@2C/PK8ex!PKNVv>/szabivan/loginfalk/data/ExerciseGenerator.classV[WF_\IZnM$@.-@Pk.(IoX@$sxKSE .K%a}sln 2YX|DTn*+QU\U0KDh$|p+`ҢozZ X4ʘ*>"S t bAL|i6 8b6lwʦQg.+ n3t/A<;*iJyM%(erL"6oP(eC~P!dtgL⛎] \$`8Gb߬m~YTE 3m:6`Hzre!8 Vߤ,׋qPx]M䏮EIϝp: ?g' {x9_Mg~1qdk,NozW dW!]ŗ+c*rTO<R1RWx+szabivan/loginfalk/data/ClausePrinter.classTKOQ.:C) -/ m-Qb 7xێ0F7&.L s]?AL!FEys=;ηpMD @1O+eBNsu5EU^*s.B`h^eR ͦW253ZZƯ';-WodҠ 0CC  \-l62'M1"d B &'JkiYO* .p]1]`"`XQCQ6bM0w()jVpQB{b]ND7e-0;X#zRPB/ 1 ?I%#g0P=CGC+=lwV!P!aCQ5?%k L-0BKM̦c_u_9SW?AVGhmeG %'1t+#ϳS&).DIgVg.BI7ae,^P*}9ja')U~̤*NH2m4|B[V4\$j2@~`.i;Kh +\El'v n6&7NAn+* !_pC_ -t}>+ߢl< !z(Ԏ~Dq "L4MK]B %ſw8o2^ .FxDH9.S]t+ E6Cwfn+X_PKNPKNVv>(szabivan/loginfalk/data/Connective.class;o>#vv&FĤ̲<̼ĜlĒD}̲TvFIJDļt},#Wp~iQr[fN*#?BH)##302I&6PK[2n}PKNVv>3szabivan/loginfalk/data/Resolver$ClauseReason.classQKO@GU+Dj4!MZ@L<Q٥NvfvMh #c:A[>ΕH`,YGj!wG&h){r.2;h*[蔯):),}PKPKNVv>&szabivan/loginfalk/data/Resolver.classW[p,yA&,`0' A& k{m/Ȓ1&844- 4 кi݆fLԙ>vӷfƩ+Y0y?~%P7zQ#K Z#vHf*5^h%'Q1f4V6b)Uv&m;tLظxw]x4-|ś4T"D]1½ŜT86ƌLPVŢX"q*3efiFHRisϽD#ZD&T@+"஭ZntFV/hoݏ2|(Aˤ?Btb}`y~Qe mԡXfي^3@ψIKX _FuQ&Oe~[,Jb~;F)FY5j1F)P77z51kgc Od ӨH2ZiB!W5b3j=;[\:DE6>Q0 k*'.IykSu+ 0z[%I*BF5*t}5BǵF>۞xt*gb %yy?]|&ʯ£M|U2[,kV%\jιSpg㙣O[{Y2DpOMؖY ACqpOŠ牷]$66:BP,^pM4ntmo|8<] )"IT,H\pڔB|~"szabivan/loginfalk/data/Test.classUmSW~. IXk -ZjBm -&6H%&,aa%S:~?L;~Q~WԞ!ٽ{=<%}hs1?j Z斺&<.eHmPMa5ԅڦ^bӆex3 ln!Z$"H(GxѰ߬Β:Chׅ,CQop!OzMaX CX*cX|n9H3q|o{2Ɣ7 ӝ9}]r 1\sQ-۷m"7pc!fqݰ]-83ti0pXnT&Bq4sa8"7qcbuCH[ԡ8f`wd r`h^l|g7S|q\I"weǠeC]GOWp#r`"?Wya!+1h%5}U٦Jl*'2 []$䠂[yS&HܝzͱpXh@*l MXD]L,42{_2N>8f,PKJ4PKNVv>0szabivan/loginfalk/data/TruthTableComputer.classV]T\Ws/KHHH2&0 CFH-PBarܡ$j*ZkZXQHb>}t/.]*~0 ҵ >.VTC@ yf ;OX O~c$fv/M3Ayј1B1Þ\4Gm9㠀3TbeK#fµ'PA#a}8VR I=b``@tƈ NJ[<S=tWi!s7cBQ 7i3jM؆JP\z]mǜ`pFص.xP؋(-C Pˈ7Xqu16v*s_' {uyz_G/ô96!mo):!$PbjO\ -8|!YyϚb^@n^Q lGVtǬ :vB =8a6eݍ[$&8 #PNL g&d;oSKʹ?2>p,bwtr_pƻKތ]&yC-RϢ190>9oKx}쉘; 4 K^y=IՋ 1ty;-Xa3krRcR=F  ޾~>2֘KӱFS#,xHnViOR$h )J&㣖!=F 4T K:.KSt>r*+792ث:JRT !ߧZut.v*i6upv25=O8Xߴ3$4|F`ߺpISVlLexwyWGZ-8(%E|IOӦM6f|aN]6vik .hPj.1v8cŋW: ?CS@I_͂cQרM|uGYl3ʘ9D]zR~(pp5X.xGĨe'Oc8D{ Rݿw!(7#>^es-OZF4Mʳ+W+w^ ˓cfW *veD9qu{kmR\w&DC6ӱ>)xExf#jmZ:XA%dunZ#x<#}T] EYyg4^LT(^BWsЦVnvdmfRK`aҒK,^\ "LNO#[( O2U9%0ܲQ"엇CJu .lj6d5J e:3`,OH˯_eݺ:ݻ} Uބ.7BoD=Mw3W$jw=\l!}gh=׸F04F>1">t;dN^0vT]7w E<A/1xzeJ2;\kl- -SBOpFo0Q`g r ez;H6ԹkԴ+6u U>J VR:9UT>uF>52nd=yIyy!j6az(ծ2vU!O)>5,dTuϖ*/-+CwPk7|+ o[8A,1fm!Պi'#&Ø#x7pK2 ?/? E'D)IqDq.v)m|G|rg]M$u\6EDI)91[~KjXTC%<dx#sTZ!+ߐoʓ)TբK ūQ4ټG֪mHo~(߰ime7\PK'YPKQi>UUXMETA-INF/MANIFEST.MFPK h> szabivan/PK h>szabivan/loginfalk/PK h>szabivan/loginfalk/data/PKi>S 0)szabivan/loginfalk/data/PrintStreamWrapper.classPKh>tr 1rszabivan/loginfalk/data/FirstOrderGenerator.classPKh>'S+szabivan/loginfalk/data/AtomicFormula.classPKNVv>6%szabivan/loginfalk/data/Formula.classPKh>_? -szabivan/loginfalk/data/CompoundFormula.classPKNVv>Q0qszabivan/loginfalk/data/ResolutionExercise.classPKNVv>io+-szabivan/loginfalk/data/UnaryConnective.classPKh>,^- szabivan/loginfalk/data/PredicateSymbol.classPKNVv>d̏ :.#szabivan/loginfalk/data/FormulaGenerator.classPKvov>5s| "p.szabivan/loginfalk/data/Main.classPKNVv>J 2):szabivan/loginfalk/data/CnfComputer.classPKLov>-'2r.Aszabivan/loginfalk/data/BinaryConnective.classPKh>=2Dszabivan/loginfalk/data/QuantifierConnective.classPKNVv>}Kc(Gszabivan/loginfalk/data/SigmaFPair.classPKh>V/iq"Iszabivan/loginfalk/data/Term.classPKh>}*9Jszabivan/loginfalk/data/CompoundTerm.classPKh>K,:Mszabivan/loginfalk/data/FunctionSymbol.classPK}mv>Pt3_Pszabivan/loginfalk/data/AssociativeConnective.classPKNVv>wZh +xSszabivan/loginfalk/data/TruthVariable.classPK@i>0kV\'&(Xszabivan/loginfalk/data/SkolemMain.classPKh>8ex!0`jszabivan/loginfalk/data/FirstOrderVariable.classPKNVv>Vu /6mszabivan/loginfalk/data/ExerciseGenerator.classPKmv>N+rszabivan/loginfalk/data/ClausePrinter.classPKNVv>[2n}(Euszabivan/loginfalk/data/Connective.classPKNVv>3 vszabivan/loginfalk/data/Resolver$ClauseReason.classPKNVv>ظS_ c&wszabivan/loginfalk/data/Resolver.classPK0Wv>J4"szabivan/loginfalk/data/Test.classPKNVv>'Y0szabivan/loginfalk/data/TruthTableComputer.classPK 2