@name p9m4-05p5
@comment pkgpath=math/prover9/p9m4 ftp=yes
@arch *
+DESC
@sha ax2sLRpNxZwyQCCsm7tr62q8X977Ttu+LC+yM43NOEU=
@size 169
@depend devel/py-modulegraph,python3:py3-modulegraph-*:py3-modulegraph-0.19.5p0
@depend lang/python/3,-main:python->=3.11,<3.12:python-3.11.10p0
@depend math/prover9/ladr:ladr-dec-*:ladr-dec-2007p4
@depend x11/py-wxPython,python3:py3-wxPython-*:py3-wxPython-4.2.2
@cwd /usr/local
bin/prover9-mace4
@sha rbrKdc9jSaOIKCJxmzfzXogBPElUumVnUhcxulvQnaQ=
@size 153
@ts 1728974017
libexec/prover9/p9m4/
libexec/prover9/p9m4/__pycache__/
libexec/prover9/p9m4/__pycache__/control.cpython-311.opt-1.pyc
@sha HshtTxT9BkIfpIVvqIWm8PEvOdJIYSnC07QySO2o99Q=
@size 64477
@ts 1728974125
libexec/prover9/p9m4/__pycache__/control.cpython-311.pyc
@sha HshtTxT9BkIfpIVvqIWm8PEvOdJIYSnC07QySO2o99Q=
@size 64477
@ts 1728974125
libexec/prover9/p9m4/__pycache__/files.cpython-311.opt-1.pyc
@sha PbvvKcf4ejZuJrml6qRTdwjKydNp7lfG2ONn0iggffk=
@size 2850
@ts 1728974125
libexec/prover9/p9m4/__pycache__/files.cpython-311.pyc
@sha PbvvKcf4ejZuJrml6qRTdwjKydNp7lfG2ONn0iggffk=
@size 2850
@ts 1728974125
libexec/prover9/p9m4/__pycache__/my_setup.cpython-311.opt-1.pyc
@sha BxKHxInitojeYU/wVi/qGo7BOnUZaqEDDg+B6EgUT+A=
@size 33507
@ts 1728974125
libexec/prover9/p9m4/__pycache__/my_setup.cpython-311.pyc
@sha BxKHxInitojeYU/wVi/qGo7BOnUZaqEDDg+B6EgUT+A=
@size 33507
@ts 1728974125
libexec/prover9/p9m4/__pycache__/options.cpython-311.opt-1.pyc
@sha o0cIJCaFtdx4Spjcp+vffrMXcbw+zzjtF4yaCJOi4Ew=
@size 49081
@ts 1728974126
libexec/prover9/p9m4/__pycache__/options.cpython-311.pyc
@sha o0cIJCaFtdx4Spjcp+vffrMXcbw+zzjtF4yaCJOi4Ew=
@size 49081
@ts 1728974126
libexec/prover9/p9m4/__pycache__/partition_input.cpython-311.opt-1.pyc
@sha LjxVWseeGqRX4X1dbhrbd9DWm2qhyvl/D75XK/WCkWE=
@size 5725
@ts 1728974126
libexec/prover9/p9m4/__pycache__/partition_input.cpython-311.pyc
@sha LjxVWseeGqRX4X1dbhrbd9DWm2qhyvl/D75XK/WCkWE=
@size 5725
@ts 1728974126
libexec/prover9/p9m4/__pycache__/platforms.cpython-311.opt-1.pyc
@sha dxmb4UjwFrnzj9fAQJ9WliAn2zsNohepyZ1rYyDhyAI=
@size 1301
@ts 1728974126
libexec/prover9/p9m4/__pycache__/platforms.cpython-311.pyc
@sha dxmb4UjwFrnzj9fAQJ9WliAn2zsNohepyZ1rYyDhyAI=
@size 1301
@ts 1728974126
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-311.opt-1.pyc
@sha T8tKppL5iwpr+PrMbCzqaCqpSh+2cpa594fDKSvwUCk=
@size 33851
@ts 1728974126
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-311.pyc
@sha T8tKppL5iwpr+PrMbCzqaCqpSh+2cpa594fDKSvwUCk=
@size 33851
@ts 1728974126
libexec/prover9/p9m4/__pycache__/utilities.cpython-311.opt-1.pyc
@sha F4BTi1C5DDdFgfv1bfyjM/7ML0s+1xohAFh6DcjKibU=
@size 3181
@ts 1728974126
libexec/prover9/p9m4/__pycache__/utilities.cpython-311.pyc
@sha F4BTi1C5DDdFgfv1bfyjM/7ML0s+1xohAFh6DcjKibU=
@size 3181
@ts 1728974126
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-311.opt-1.pyc
@sha nZkH0GwuQ70fLDh/kzYl6tIYrbErJypecBaONno6TqQ=
@size 19123
@ts 1728974126
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-311.pyc
@sha nZkH0GwuQ70fLDh/kzYl6tIYrbErJypecBaONno6TqQ=
@size 19123
@ts 1728974126
libexec/prover9/p9m4/control.py
@sha iXdvlghikSubkX8gvMC8GIBb5A6S+alh84PVwiOj4VU=
@size 40853
@ts 1728974024
libexec/prover9/p9m4/files.py
@sha YNxvoZOAJQovlHkLAKI+Mdr3urcLzqXcWnQNBBjV1as=
@size 2443
@ts 1728974025
libexec/prover9/p9m4/my_setup.py
@sha Sd5RWAH7oFIoir0GTyT0T9+nwAioRhQLBh+R9QsLQf0=
@size 22448
@ts 1728974033
libexec/prover9/p9m4/options.py
@sha /DVCmpv3qWQPV7FvFI0gx6ApVONMHHBT7jIaNGXPvKY=
@size 50528
@ts 1728974069
libexec/prover9/p9m4/partition_input.py
@sha 3rJYNlS+KeFtMdV9eJGsqCkcYfPzt9ff25n4eMHIyDI=
@size 4720
@ts 1728974084
libexec/prover9/p9m4/platforms.py
@sha +mgLhdqWoq4oKMNzYlLUbmztD6RsdOrDQsphI/fy+nw=
@size 1475
@ts 1728974070
libexec/prover9/p9m4/prover9-mace4.py
@sha gPKpUgI53r31GRGHKrfXwhvtYLImO7wWlzjwzFh2K0g=
@size 24268
@ts 1728974097
libexec/prover9/p9m4/utilities.py
@sha cIzmBWUcTSVnflZlT0aNlZqMnE5rQ3tEt30KBC4lvxk=
@size 2478
@ts 1728974098
libexec/prover9/p9m4/wx_utilities.py
@sha qaVJpke11cVFCX/yvft4wvHfq1vzQ1sTGgzjTl0cISc=
@size 10938
@ts 1728974123
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
@sha u/44pBa2uv1knnijTThMiL0Yx/skbNd1i6figx3cEYk=
@size 827
@ts 1728974018
share/p9m4/Images/p9.ico
@sha /LL513x3R1nNNMIYm0nODu8j1XcECBaO0Bte4mjnW7E=
@size 7406
@ts 1728974018
share/p9m4/Images/prover9-5a-128t.gif
@sha vQAzhmwfqV4xAivgp/nOUGk9TVOa+HtPJfMmTBJWGXA=
@size 1147
@ts 1728974018
share/p9m4/Images/prover9-splash.gif
@sha JOTrq+XQMuMaLVuTkdurkwGHpp4Wce5Vzv/NE9xkS3U=
@size 7640
@ts 1728974018
share/p9m4/Samples/
share/p9m4/Samples/Equality/
share/p9m4/Samples/Equality/Mace4/
share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
@sha lqdqAaeFXRPa+MV2ObNxDDPXpyezw0G1CF25DNZvt0g=
@size 1144
@ts 1193082778
share/p9m4/Samples/Equality/Mace4/CL-QL.in
@sha zqprBaQGRhUjDowY7M/bCba3KAFu+HSizQWDpDk0eh8=
@size 521
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Megill-68.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1193082774
share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
@sha bgWOSH/fZTJOoqWd14lfdOPi7rK+W3iihjuaj0IEzew=
@size 356
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
@sha l7zQXno+MR3U742VK39NUJLAr8TqjCh1JJnz/glx6+M=
@size 510
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
@sha bKIGzZkMDWJDbxqUfHhhDbTQZ72awHIKbsiDH1EAIc8=
@size 475
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
@sha DPiX8ME98VRVyAamf7z5NpfYW7PzdVJcJ8qQ547CDT0=
@size 547
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/QG-4.in
@sha p8iLnx/LQTeME4D7FnrD6QooffTcda9OvK8MWgbSIGw=
@size 461
@ts 1197042548
share/p9m4/Samples/Equality/Mace4/Ring-19.in
@sha mMKu1F0zpJ/j2HVE/SflGeR+5pHzBtcwEMqCYMV5ey4=
@size 1117
@ts 1197576812
share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
@sha 2OOwae9G2I22zCBKTcMC5nAIL7Oxf7M1v5Z8qzFdlWA=
@size 451
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/
share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
@sha fAEPfHYrngVK/72QKup8IzApp8niHv5lBo5eP5W2XhM=
@size 448
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/CL-BW.in
@sha 1aUBVf3k0Rep/JVc5kTabTUrNk8D9OsLbpYNSCcUYd4=
@size 845
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
@sha zF39RfWbCgVdTL8ACXXKUXdjeaHH8dhkhKhkyo2kBkg=
@size 451
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
@sha hsOr03jtEO2LhVz9CDuM2H6jXaETsC/r2NRS5kRmXX4=
@size 1298
@ts 1191375912
share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
@sha HE+TSTuh961vSqL5dXz7E0O8a1UxxSQNxItfhCIQr7k=
@size 464
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/OML-sax.in
@sha tDnsuNGkeZmjHSFLdwqDC5tr5678m2Ze3l5bWB+IjT8=
@size 1506
@ts 1197577507
share/p9m4/Samples/Equality/Prover9/RBA-2.in
@sha X7FJ8Rw/fO2GiSgmfWk2rLXAT3PUvQhyjb9Zy2Vn+Ao=
@size 410
@ts 1190666494
share/p9m4/Samples/GT_Sax.in
@sha 54RIg6sX01W64uPjm/J1o6DD83kFamptflcC4wBcQkg=
@size 333
@ts 1191723694
share/p9m4/Samples/Kauer.in
@sha 9Jsb0IwElIUL1FzwVK72hH3osG1v/KImWkKG4Ifielg=
@size 1381
@ts 1197042258
share/p9m4/Samples/LT-McKenzie-4basis.in
@sha HE+TSTuh961vSqL5dXz7E0O8a1UxxSQNxItfhCIQr7k=
@size 464
@ts 1191724202
share/p9m4/Samples/Non-Equality/
share/p9m4/Samples/Non-Equality/Mace4/
share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
@sha RvD5bsB39UMQ+pkss8PKiwrKRbA0Dck2zgFRFxYXU8o=
@size 418
@ts 1193152356
share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
@sha 9Jsb0IwElIUL1FzwVK72hH3osG1v/KImWkKG4Ifielg=
@size 1381
@ts 1190737760
share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
@sha OA0hIAq8TDO2D9uBcocFhQKKiTF+dgfZgaWoo7EAGMs=
@size 2512
@ts 1190666494
share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
@sha KgnFOlBmVH775py4et8bF8TsuCjX/Dck62aVMSlAblA=
@size 3593
@ts 1193082719
share/p9m4/Samples/Non-Equality/Prover9/
share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
@sha C460HeYCrJwsGw6RJ5ypOk5OupylqR6MsKj8TZ2D8Ig=
@size 411
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
@sha O4AZ3X2DmMZHBn5trbuwjDDh3w5yCiVRQ419LhcmqVA=
@size 2781
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
@sha I7vM9wOYAV2jRsD0czuEJVbJCX+iiG785TKd5JH8JGI=
@size 251
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Steam.in
@sha hCgGLoxwB1PBSMYbyNqjuyt6voW6wG2l/QI/tyF+4lE=
@size 2190
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
@sha 71Qf0Wr8oPKTmkT1RcR/R9i/jI7L4LDqDLWY1NjxzFY=
@size 362
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/temp
@sha ypij7tgVBy2HVNUzNydo/JEfAE1+J5sQaYlVK9GamVU=
@size 21
@ts 1191728848
share/p9m4/Samples/Non-Equality/Prover9/temp0
@sha EFRHCK5bMeiSyid1IqcwDiCZxQELKeWVGnzqm8FfiCs=
@size 16135
@ts 1191729304
share/p9m4/Samples/Non-Equality/Prover9/temp1
@sha AnjhvbbJXo7Gx3DGpF+jmaa49e0s4mV7o284VxLBFyY=
@size 20911
@ts 1191729296
