%FILES%
data/
data/data/
data/data/com.termux/
data/data/com.termux/files/
data/data/com.termux/files/usr/
data/data/com.termux/files/usr/bin/
data/data/com.termux/files/usr/bin/attack
data/data/com.termux/files/usr/bin/autosketches4
data/data/com.termux/files/usr/bin/clausefilter
data/data/com.termux/files/usr/bin/clausetester
data/data/com.termux/files/usr/bin/complex
data/data/com.termux/files/usr/bin/directproof
data/data/com.termux/files/usr/bin/dprofiles
data/data/com.termux/files/usr/bin/fof-prover9
data/data/com.termux/files/usr/bin/gen_trc_defs
data/data/com.termux/files/usr/bin/get_givens
data/data/com.termux/files/usr/bin/get_interps
data/data/com.termux/files/usr/bin/get_kept
data/data/com.termux/files/usr/bin/gvizify
data/data/com.termux/files/usr/bin/idfilter
data/data/com.termux/files/usr/bin/interpfilter
data/data/com.termux/files/usr/bin/interpformat
data/data/com.termux/files/usr/bin/isofilter
data/data/com.termux/files/usr/bin/isofilter0
data/data/com.termux/files/usr/bin/isofilter2
data/data/com.termux/files/usr/bin/ladr_to_tptp
data/data/com.termux/files/usr/bin/latfilter
data/data/com.termux/files/usr/bin/looper
data/data/com.termux/files/usr/bin/mace4
data/data/com.termux/files/usr/bin/miniscope
data/data/com.termux/files/usr/bin/mirror-flip
data/data/com.termux/files/usr/bin/newauto
data/data/com.termux/files/usr/bin/newsax
data/data/com.termux/files/usr/bin/olfilter
data/data/com.termux/files/usr/bin/perm3
data/data/com.termux/files/usr/bin/proof3fo.xsl
data/data/com.termux/files/usr/bin/prooftrans
data/data/com.termux/files/usr/bin/prover9
data/data/com.termux/files/usr/bin/prover9-mace4
data/data/com.termux/files/usr/bin/renamer
data/data/com.termux/files/usr/bin/rewriter
data/data/com.termux/files/usr/bin/sigtest
data/data/com.termux/files/usr/bin/test_clause_eval
data/data/com.termux/files/usr/bin/test_complex
data/data/com.termux/files/usr/bin/tptp_to_ladr
data/data/com.termux/files/usr/bin/unfast
data/data/com.termux/files/usr/bin/upper-covers
data/data/com.termux/files/usr/share/
data/data/com.termux/files/usr/share/doc/
data/data/com.termux/files/usr/share/doc/prover9/
data/data/com.termux/files/usr/share/doc/prover9/copyright
