@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 1727526564
libexec/prover9/p9m4/
libexec/prover9/p9m4/__pycache__/
libexec/prover9/p9m4/__pycache__/control.cpython-311.opt-1.pyc
@sha O7VbeYtoWvWqMtKLpTwYJlIedOHGwniv6BtkdHqiqgg=
@size 64477
@ts 1727526687
libexec/prover9/p9m4/__pycache__/control.cpython-311.pyc
@sha O7VbeYtoWvWqMtKLpTwYJlIedOHGwniv6BtkdHqiqgg=
@size 64477
@ts 1727526687
libexec/prover9/p9m4/__pycache__/files.cpython-311.opt-1.pyc
@sha NWeQxhoZ8diU1aYg9IbcU65EBoI0lepQxLTTnCJIKAY=
@size 2850
@ts 1727526687
libexec/prover9/p9m4/__pycache__/files.cpython-311.pyc
@sha NWeQxhoZ8diU1aYg9IbcU65EBoI0lepQxLTTnCJIKAY=
@size 2850
@ts 1727526687
libexec/prover9/p9m4/__pycache__/my_setup.cpython-311.opt-1.pyc
@sha PSHhgDtwMqqtLUW12qMEnCZCVHFvIJnyQIOMsb/4m+M=
@size 33507
@ts 1727526687
libexec/prover9/p9m4/__pycache__/my_setup.cpython-311.pyc
@sha PSHhgDtwMqqtLUW12qMEnCZCVHFvIJnyQIOMsb/4m+M=
@size 33507
@ts 1727526687
libexec/prover9/p9m4/__pycache__/options.cpython-311.opt-1.pyc
@sha PiJFbgvf/5WBkblApC1gbkhS6FhS1VozeQQJnAV6ePQ=
@size 49081
@ts 1727526688
libexec/prover9/p9m4/__pycache__/options.cpython-311.pyc
@sha PiJFbgvf/5WBkblApC1gbkhS6FhS1VozeQQJnAV6ePQ=
@size 49081
@ts 1727526688
libexec/prover9/p9m4/__pycache__/partition_input.cpython-311.opt-1.pyc
@sha tObS+jMza5HD/+oAYbG1mNZ/uemt5A8gSXm7Ek5MV44=
@size 5725
@ts 1727526688
libexec/prover9/p9m4/__pycache__/partition_input.cpython-311.pyc
@sha tObS+jMza5HD/+oAYbG1mNZ/uemt5A8gSXm7Ek5MV44=
@size 5725
@ts 1727526688
libexec/prover9/p9m4/__pycache__/platforms.cpython-311.opt-1.pyc
@sha PQnuM5NeDR/EqIxPh0KlyR7y/xhMmaVUjU70caGdaeQ=
@size 1301
@ts 1727526688
libexec/prover9/p9m4/__pycache__/platforms.cpython-311.pyc
@sha PQnuM5NeDR/EqIxPh0KlyR7y/xhMmaVUjU70caGdaeQ=
@size 1301
@ts 1727526688
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-311.opt-1.pyc
@sha sZ5OjPvd/UkG3GZ+rEfqC20k1VerDM3YaPf91REXa2A=
@size 33851
@ts 1727526688
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-311.pyc
@sha sZ5OjPvd/UkG3GZ+rEfqC20k1VerDM3YaPf91REXa2A=
@size 33851
@ts 1727526688
libexec/prover9/p9m4/__pycache__/utilities.cpython-311.opt-1.pyc
@sha JeL19X6SWnMge9PGZumdZ7OZ13OuSQPXsl5Fa8e45iw=
@size 3181
@ts 1727526688
libexec/prover9/p9m4/__pycache__/utilities.cpython-311.pyc
@sha JeL19X6SWnMge9PGZumdZ7OZ13OuSQPXsl5Fa8e45iw=
@size 3181
@ts 1727526688
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-311.opt-1.pyc
@sha 5dTQq/6O2mt7anM6ywUtZrDYdpRRIxOasVGlcCH7jEI=
@size 19123
@ts 1727526688
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-311.pyc
@sha 5dTQq/6O2mt7anM6ywUtZrDYdpRRIxOasVGlcCH7jEI=
@size 19123
@ts 1727526688
libexec/prover9/p9m4/control.py
@sha iXdvlghikSubkX8gvMC8GIBb5A6S+alh84PVwiOj4VU=
@size 40853
@ts 1727526571
libexec/prover9/p9m4/files.py
@sha YNxvoZOAJQovlHkLAKI+Mdr3urcLzqXcWnQNBBjV1as=
@size 2443
@ts 1727526572
libexec/prover9/p9m4/my_setup.py
@sha Sd5RWAH7oFIoir0GTyT0T9+nwAioRhQLBh+R9QsLQf0=
@size 22448
@ts 1727526580
libexec/prover9/p9m4/options.py
@sha /DVCmpv3qWQPV7FvFI0gx6ApVONMHHBT7jIaNGXPvKY=
@size 50528
@ts 1727526619
libexec/prover9/p9m4/partition_input.py
@sha 3rJYNlS+KeFtMdV9eJGsqCkcYfPzt9ff25n4eMHIyDI=
@size 4720
@ts 1727526635
libexec/prover9/p9m4/platforms.py
@sha +mgLhdqWoq4oKMNzYlLUbmztD6RsdOrDQsphI/fy+nw=
@size 1475
@ts 1727526620
libexec/prover9/p9m4/prover9-mace4.py
@sha gPKpUgI53r31GRGHKrfXwhvtYLImO7wWlzjwzFh2K0g=
@size 24268
@ts 1727526651
libexec/prover9/p9m4/utilities.py
@sha cIzmBWUcTSVnflZlT0aNlZqMnE5rQ3tEt30KBC4lvxk=
@size 2478
@ts 1727526652
libexec/prover9/p9m4/wx_utilities.py
@sha qaVJpke11cVFCX/yvft4wvHfq1vzQ1sTGgzjTl0cISc=
@size 10938
@ts 1727526686
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
@sha u/44pBa2uv1knnijTThMiL0Yx/skbNd1i6figx3cEYk=
@size 827
@ts 1727526564
share/p9m4/Images/p9.ico
@sha /LL513x3R1nNNMIYm0nODu8j1XcECBaO0Bte4mjnW7E=
@size 7406
@ts 1727526564
share/p9m4/Images/prover9-5a-128t.gif
@sha vQAzhmwfqV4xAivgp/nOUGk9TVOa+HtPJfMmTBJWGXA=
@size 1147
@ts 1727526564
share/p9m4/Images/prover9-splash.gif
@sha JOTrq+XQMuMaLVuTkdurkwGHpp4Wce5Vzv/NE9xkS3U=
@size 7640
@ts 1727526564
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
