# filelist

dirname: /usr/share/doc/eqp/examples/33-basic
filetypes: fffffffffffff
filenames:
  DUAL-BA-5a.in/DUAL-BA-5c.in/LT-2.in/LT-5.in/LT-6.in/LT-8.in/QLT-1.in/QLT-2.in/QLT-3.in/QLT-4.in/QLT-5.in/QLT-6.in/RBA-2.in


dirname: /usr/src/debug/eqp-09e
filetypes: ffffffffffffffffffffffffffffffffffffffffffff
filenames:
  Ac.h/Avail.h/Clause.h/Clocks.h/Demod.h/Discrim.h/Eqp.h/Fpa.h/Interp.h/Io.h/List.h/Misc.h/Options.h/Order.h/Paramod.h/Pindex.h/Stats.h/Symbols.h/Term.h/Unify.h/ac.c/avail.c/btm.c/btu.c/clause.c/clocks.c/demod.c/dioph.c/discrim.c/eqp.c/fpa.c/interp.c/io.c/list.c/lrpo.c/main.c/misc.c/options.c/paramod.c/pindex.c/stats.c/symbols.c/term.c/unify.c


dirname: /usr/share/doc/otter/mace2.examples/lattice
filetypes: ffffffffffffffffffffff
filenames:
  README/finite-lattice/index.html/lattice-axioms/lt-ml.in/lt-ml.out.gz/lt-ol.in/lt-ol.out.gz/ml-mol.in/ml-mol.out.gz/mol-ba.in/mol-ba.out.gz/ol-e1.in/ol-e1.out.gz/ol-e4.in/ol-e4.out.gz/ol-oml.in/ol-oml.out.gz/oml-mol.in/oml-mol.out.gz/ortholattice/program


dirname: /usr/share/doc/otter/otter.examples/wos
filetypes: fffffffffffffffff
filenames:
  README/README.more/cursory.in/cursory.out.gz/grp_exp3.in/grp_exp3.out.gz/grp_exp4.in/grp_exp4.out.gz/index.html/manyval.in/manyval.out.gz/rigorous.in/rigorous.out.gz/rob_occ.in/rob_occ.out.gz/twoval.in/twoval.out.gz


dirname: /usr/share/doc/otter/mace2.examples/quasigroup
filetypes: fffffffffffffffffff
filenames:
  README/index.html/omts9.in/omts9.out.gz/program/qg1d.in/qg1d.out.gz/qg2d.in/qg2d.out.gz/qg3.in/qg3.out.gz/qg4.in/qg4.out.gz/qg5l.in/qg5l.out.gz/qg6.in/qg6.out.gz/qg7bl.in/qg7bl.out.gz


dirname: /usr/share/doc/otter/otter.examples/fringe
filetypes: ffffffffffffffffffffffffffffff
filenames:
  README/bring.in/bring.out.gz/ec_yql.in/ec_yql.in.28897/ec_yql.out.gz/gl4.in/gl4.in.28897/gl4.out.gz/gl8.in/gl8.out.gz/if.in/if.out.gz/index.html/lexical1.in/lexical1.out.gz/lexical2.in/lexical2.out.gz/lexical3.in/lexical3.out.gz/luka5h.in/luka5h.out.gz/mfl_13.in/mfl_13.out.gz/olsax_hints.in/olsax_hints.out.gz/rob_ocd.in/rob_ocd.out.gz/x3tricks.in/x3tricks.out.gz


dirname: /usr/share/doc/otter/mace2.examples/propositional
filetypes: fffffffffffffffffffffff
filenames:
  README/README.more/f2.in/f2.out.gz/f3.in/f3.out.gz/f4.in/f4.out.gz/index.html/p10.IN/p5.in/p5.out.gz/p6.in/p6.out.gz/p7.in/p7.out.gz/p8.in/p8.out.gz/p9.in/p9.out.gz/program/q10.in/q10.out.gz


dirname: /usr/share/doc/otter/otter.examples/split
filetypes: fffffffffffffffffffffffff
filenames:
  GEO010-2.in/GEO010-2.out.gz/GEO036-2.in/GEO036-2.out.gz/GRP025-1.in/GRP025-1.out.gz/README/README.more/group2.in/group2.out.gz/index.html/noncomm-group.in/noncomm-group.out.gz/pair.in/pair.out.gz/pigeon5.in/pigeon5.out.gz/power.in/power.out.gz/wang3.in/wang3.out.gz/zebra2.in/zebra2.out.gz/zebra4.in/zebra4.out.gz


dirname: /usr/share/doc/otter/mace2.examples/basic
filetypes: fffffffffffffffffff
filenames:
  README/cd.in/cd.out.gz/cl_ql.in/cl_ql.out.gz/cl_sw.in/cl_sw.out.gz/index.html/noncommutative_group.in/noncommutative_group.out.gz/ordered_semi.in/ordered_semi.out.gz/program/ring.in/ring.out.gz/tba.in/tba.out.gz/tough-nut.in/tough-nut.out.gz


dirname: /usr/share/doc/otter/mace2.examples/iterate
filetypes: fffffffffffffffffffffff
filenames:
  BOO032-1.in/BOO032-1.out.gz/CAT019-5.in/CAT019-5.out.gz/LAT025-1.in/LAT025-1.out.gz/LCL136-1.in/LCL136-1.out.gz/PUZ001-3.in/PUZ001-3.out.gz/README/RNG025-8.in/RNG025-8.out.gz/cd.in/cd.out.gz/index.html/kauer.in/kauer.out.gz/noncommutative_group.in/noncommutative_group.out.gz/noncommutive_ring1.in/noncommutive_ring1.out.gz/program


dirname: /usr/share/doc/otter/otter.examples/auto
filetypes: ffffffffffffffffffffffffffffffffffff
filenames:
  README/cn19.in/cn19.out.gz/comm.in/comm.out.gz/ec_yq.in/ec_yq.out.gz/group.in/group.out.gz/index.html/lifsch.in/lifsch.out.gz/mv25.in/mv25.out.gz/pigeon.in/pigeon.out.gz/ring_x2.in/ring_x2.out.gz/robbins.in/robbins.out.gz/salt.in/salt.out.gz/sam.in/sam.out.gz/steam.in/steam.out.gz/tba_gg.in/tba_gg.out.gz/w_sk.in/w_sk.out.gz/wang1.in/wang1.out.gz/x2_quant.in/x2_quant.out.gz/z11.in/z11.out.gz


dirname: /usr/share/doc/otter/otter.examples/program
filetypes: ffffffffffff
filenames:
  README/eval.in/eval.out.gz/index.html/jugs.in/jugs.out.gz/mission.in/mission.out.gz/queens.in/queens.out.gz/two_inv.in/two_inv.out.gz


dirname: /usr/share/doc/otter/otter.examples/ivy
filetypes: ffffffffffffffffffff
filenames:
  README/cd-cn19.in/cd-cn19.out.gz/comb-sk-w.in/comb-sk-w.out.gz/group-comm.in/group-comm.out.gz/group-x2-refute.in/group-x2-refute.out.gz/group-x2.in/group-x2.out.gz/index.html/lifsch.in/lifsch.out.gz/p-and-not-p.in/p-and-not-p.out.gz/steam.in/steam.out.gz/t1.in/t1.out.gz


dirname: /usr/share/doc/otter/otter.examples/kalman
filetypes: ffffffffffffffffff
filenames:
  README/ex_1.in/ex_1.out.gz/ex_2.in/ex_2.out.gz/ex_3.in/ex_3.out.gz/ex_4.in/ex_4.out.gz/i1.in/i1.out.gz/i2.in/i2.out.gz/i3.in/i3.out.gz/i4.in/i4.out.gz/index.html


dirname: /usr/share/doc/otter/otter.examples/misc
filetypes: fffffffffffffffffffffffffffff
filenames:
  README/andrews.in/andrews.in.28752/andrews.out.gz/cn.in/cn.in.28752/cn.out.gz/dem_alu.in/dem_alu.in.28752/dem_alu.out.gz/ec.in/ec.out.gz/index.html/kb_bench.in/kb_bench.out.gz/mv.in/mv.in.28752/mv.out.gz/sax1.in/sax1.out.gz/sax2.in/sax2.out.gz/stage1.in/stage1.out.gz/stage2.in/stage2.out.gz/str_bws.in/str_bws.in.28752/str_bws.out.gz


dirname: /usr/src/debug/otter-3.3f/mace2
filetypes: ffffffffffffffffffffff
filenames:
  Avail.h/Clock.h/Dp.h/Flatten.h/Generate.h/Miscellany.h/Opts.h/Part.h/Print.h/Stats.h/anldp.c/avail.c/clock.c/dp.c/flatten.c/generate.c/mace2.c/miscellany.c/opts.c/part.c/print.c/stats.c


dirname: /usr/src/debug/otter-3.3f/source
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  attrib.c/av.c/case.c/check.c/check.h/clause.c/clocks.c/cos.h/demod.c/foreign.c/foreign.h/formula.c/fpa.c/fpa2.c/fpa2.h/geometry.c/header.h/hints.c/hints2.c/hot.c/imd.c/index.c/io.c/is.c/ivy.c/linkhyp.c/linkur.c/lisp.c/lisp.h/lists.c/lrpo.c/main.c/misc.c/multijust.c/nonport.c/options.c/overbeek.c/paramod.c/pickdiff.c/process.c/proto.h/resolve.c/share.c/types.h/unify.c/weight.c


dirname: /usr/share/doc/spass/html
filetypes: fffffffffff
filenames:
  LICENCE.html/script.html/script_1.html/script_2.html/script_3.html/script_4.html/script_5.html/script_6.html/script_7.html/script_abt.html/script_ovr.html


dirname: /usr/lib/debug/usr/bin
filetypes: fffffff
filenames:
  FLOTTER.debug/SPASS.debug/dfg2ascii.debug/dfg2dfg.debug/dfg2otter.debug/dfg2tptp.debug/tptp2dfg.debug


dirname: /usr/src/debug/SPASS-3.7/SPASS
filenames:
  analyze.c/analyze.h/approx.c/approx.h/clause.c/clause.h/clock.c/clock.h/closure.c/closure.h/cmdline.c/cmdline.h/cnf.c/cnf.h/component.c/component.h/condensing.c/condensing.h/context.c/context.h/defs.c/defs.h/description.c/description.h/dfg.h/dfg2ascii.c/dfg2dfg.c/dfg2otter.c/dfg2tptp.c/dfgparser.c/dfgparser.h/dfgparser.y/dfgscanner.c/dfgscanner.l/doc-proof.c/doc-proof.h/eml.c/eml.h/flags.c/flags.h/foldfg.c/foldfg.h/graph.c/graph.h/hash.c/hash.h/hasharray.c/hasharray.h/hashmap.c/hashmap.h/ia.h/iaparser.c/iaparser.h/iaparser.y/iascanner.c/iascanner.l/kbo.c/kbo.h/list.c/list.h/memory.c/memory.h/misc.c/misc.h/order.c/order.h/partition.c/partition.h/proofcheck.c/proofcheck.h/ras.c/ras.h/renaming.c/renaming.h/resolution.c/resolution.h/rpos.c/rpos.h/rules-inf.c/rules-inf.h/rules-red.c/rules-red.h/rules-sort.c/rules-sort.h/rules-split.c/rules-split.h/rules-ur.c/rules-ur.h/search.c/search.h/sharing.c/sharing.h/sort.c/sort.h/st.c/st.h/stack.c/stack.h/strings.c/strings.h/subst.c/subst.h/subsumption.c/subsumption.h/symbol.c/symbol.h/table.c/table.h/tableau.c/tableau.h/term.c/term.h/terminator.c/terminator.h/top.c/tptp.h/tptp2dfg.c/tptpparser.c/tptpparser.h/tptpparser.y/tptpscanner.c/tptpscanner.l/unify.c/unify.h/vector.c/vector.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


