bin/prover9-mace4
libexec/prover9/p9m4/
libexec/prover9/p9m4/${MODPY_PYCACHE}/
libexec/prover9/p9m4/${MODPY_PYCACHE}control.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}control.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}files.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}files.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}my_setup.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}my_setup.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}options.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}options.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}partition_input.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}partition_input.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}platforms.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}platforms.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}prover9-mace4.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}prover9-mace4.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}utilities.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}utilities.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/${MODPY_PYCACHE}wx_utilities.${MODPY_PYC_MAGIC_TAG}${MODPY_PYOEXTENSION}
libexec/prover9/p9m4/${MODPY_PYCACHE}wx_utilities.${MODPY_PYC_MAGIC_TAG}pyc
libexec/prover9/p9m4/control.py
libexec/prover9/p9m4/files.py
libexec/prover9/p9m4/my_setup.py
libexec/prover9/p9m4/options.py
libexec/prover9/p9m4/partition_input.py
libexec/prover9/p9m4/platforms.py
libexec/prover9/p9m4/prover9-mace4.py
libexec/prover9/p9m4/utilities.py
libexec/prover9/p9m4/wx_utilities.py
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
share/p9m4/Images/p9.ico
share/p9m4/Images/prover9-5a-128t.gif
share/p9m4/Images/prover9-splash.gif
share/p9m4/Samples/
share/p9m4/Samples/Equality/
share/p9m4/Samples/Equality/Mace4/
share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
share/p9m4/Samples/Equality/Mace4/CL-QL.in
share/p9m4/Samples/Equality/Mace4/Megill-68.in
share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
share/p9m4/Samples/Equality/Mace4/QG-4.in
share/p9m4/Samples/Equality/Mace4/Ring-19.in
share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
share/p9m4/Samples/Equality/Prover9/
share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
share/p9m4/Samples/Equality/Prover9/CL-BW.in
share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
share/p9m4/Samples/Equality/Prover9/OML-sax.in
share/p9m4/Samples/Equality/Prover9/RBA-2.in
share/p9m4/Samples/GT_Sax.in
share/p9m4/Samples/Kauer.in
share/p9m4/Samples/LT-McKenzie-4basis.in
share/p9m4/Samples/Non-Equality/
share/p9m4/Samples/Non-Equality/Mace4/
share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
share/p9m4/Samples/Non-Equality/Prover9/
share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
share/p9m4/Samples/Non-Equality/Prover9/Steam.in
share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
share/p9m4/Samples/Non-Equality/Prover9/temp
share/p9m4/Samples/Non-Equality/Prover9/temp0
share/p9m4/Samples/Non-Equality/Prover9/temp1
