%FILES%
usr/
usr/share/
usr/lib/
usr/bin/
usr/bin/z3
usr/lib/python2.7/
usr/lib/python2.7/site-packages/
usr/lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/
usr/lib/python2.7/site-packages/z3/
usr/lib/python2.7/site-packages/z3/z3consts.pyo
usr/lib/python2.7/site-packages/z3/z3poly.pyo
usr/lib/python2.7/site-packages/z3/__init__.py
usr/lib/python2.7/site-packages/z3/z3printer.pyc
usr/lib/python2.7/site-packages/z3/z3types.py
usr/lib/python2.7/site-packages/z3/z3.py
usr/lib/python2.7/site-packages/z3/z3core.py
usr/lib/python2.7/site-packages/z3/z3util.pyc
usr/lib/python2.7/site-packages/z3/z3num.pyo
usr/lib/python2.7/site-packages/z3/z3util.py
usr/lib/python2.7/site-packages/z3/include/
usr/lib/python2.7/site-packages/z3/z3num.py
usr/lib/python2.7/site-packages/z3/z3poly.pyc
usr/lib/python2.7/site-packages/z3/__init__.pyc
usr/lib/python2.7/site-packages/z3/z3core.pyo
usr/lib/python2.7/site-packages/z3/z3printer.py
usr/lib/python2.7/site-packages/z3/lib/
usr/lib/python2.7/site-packages/z3/z3core.pyc
usr/lib/python2.7/site-packages/z3/__init__.pyo
usr/lib/python2.7/site-packages/z3/z3.pyo
usr/lib/python2.7/site-packages/z3/z3rcf.py
usr/lib/python2.7/site-packages/z3/z3num.pyc
usr/lib/python2.7/site-packages/z3/z3util.pyo
usr/lib/python2.7/site-packages/z3/z3rcf.pyc
usr/lib/python2.7/site-packages/z3/z3consts.pyc
usr/lib/python2.7/site-packages/z3/z3rcf.pyo
usr/lib/python2.7/site-packages/z3/z3types.pyc
usr/lib/python2.7/site-packages/z3/z3types.pyo
usr/lib/python2.7/site-packages/z3/z3poly.py
usr/lib/python2.7/site-packages/z3/z3consts.py
usr/lib/python2.7/site-packages/z3/z3printer.pyo
usr/lib/python2.7/site-packages/z3/z3.pyc
usr/lib/python2.7/site-packages/z3/lib/libz3.so
usr/lib/python2.7/site-packages/z3/include/z3_api.h
usr/lib/python2.7/site-packages/z3/include/c++/
usr/lib/python2.7/site-packages/z3/include/z3_macros.h
usr/lib/python2.7/site-packages/z3/include/z3_interp.h
usr/lib/python2.7/site-packages/z3/include/z3_rcf.h
usr/lib/python2.7/site-packages/z3/include/z3_v1.h
usr/lib/python2.7/site-packages/z3/include/z3_polynomial.h
usr/lib/python2.7/site-packages/z3/include/z3_algebraic.h
usr/lib/python2.7/site-packages/z3/include/z3_fpa.h
usr/lib/python2.7/site-packages/z3/include/z3.h
usr/lib/python2.7/site-packages/z3/include/c++/z3++.h
usr/lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/SOURCES.txt
usr/lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/PKG-INFO
usr/lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/top_level.txt
usr/lib/python2.7/site-packages/z3_solver-4.5.1.0.post2-py2.7.egg-info/dependency_links.txt
usr/share/licenses/
usr/share/licenses/python2-z3-solver/
usr/share/licenses/python2-z3-solver/LICENSE.txt
