README
setup.cfg
setup.py
proof/__init__.py
proof/analysis.py
proof.egg-info/PKG-INFO
proof.egg-info/SOURCES.txt
proof.egg-info/dependency_links.txt
proof.egg-info/requires.txt
proof.egg-info/top_level.txt