setup.py
TPTP/TPTP.py
TPTP/__init__.py
TPTPr.egg-info/PKG-INFO
TPTPr.egg-info/SOURCES.txt
TPTPr.egg-info/dependency_links.txt
TPTPr.egg-info/requires.txt
TPTPr.egg-info/top_level.txt
bin/testscript.py