@name ladr-dec-2007p5
@version 11
@comment pkgpath=math/prover9/ladr ftp=yes
@arch powerpc64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.103.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha nU9R1229zi4KA2+RywtArFgm4/qlf0KZQQ6UKsNT3YE=
@size 605168
@ts 1780371573
@bin libexec/prover9/clausefilter
@sha 50MRkKxjUkDLpGcuvBZn7Agksw2X7o7gD55EkYumAwk=
@size 466392
@ts 1780371574
@bin libexec/prover9/clausetester
@sha xDXHESLPH326ijrqgrsuBkNmy/prv5bf0LPQ2Zv+HPg=
@size 465736
@ts 1780371574
@bin libexec/prover9/dprofiles
@sha T5VdI2jN203/ItETMj/bcLNgVR8dfmwCx+dQURDpldM=
@size 465056
@ts 1780371574
@bin libexec/prover9/fof-prover9
@sha Q0H74sWrJPVyi58hNIZl/CIPtjpDpS5E9mk9iG4afQE=
@size 604200
@ts 1780371575
@bin libexec/prover9/idfilter
@sha WjHv8pj4xYUGm1chjUvCWrV5QmaW6iBTRLNDmIL9H7Q=
@size 427976
@ts 1780371575
@bin libexec/prover9/interpfilter
@sha BSozL0HwzOMx3Gzt5s3Mr8xmXrVYy9xgIAVbWRXdThg=
@size 466104
@ts 1780371576
@bin libexec/prover9/interpformat
@sha iqSUwBI3d+aD7SgU66VaA+RGOW9EgQd4ry0cJqZ9b1o=
@size 468368
@ts 1780371576
@bin libexec/prover9/isofilter
@sha HnvCkB87mS5Tlxb2G7jw7v0VTaFp+KG/GRV3uWjzg94=
@size 466680
@ts 1780371576
@bin libexec/prover9/isofilter0
@sha xx3ZuqqK2xfwMMd7zVFjm6L/vHFcXt1jpOJQmeDD1Kk=
@size 466352
@ts 1780371577
@bin libexec/prover9/isofilter2
@sha D9q9pRkx8ZwC5T5U47wUH/MLbehaoVe1GgCOEvXgbNo=
@size 466704
@ts 1780371577
@bin libexec/prover9/ladr_to_tptp
@sha Ky5D3hP45ZtemAUCNEUy5R7I2pkk37Y4hjKCgyaTkqI=
@size 611720
@ts 1780371578
@bin libexec/prover9/latfilter
@sha LMgAJbKrgVrLG6m4CxnaFv1vqRiGN4huHEtJw6/gGNw=
@size 428448
@ts 1780371578
@bin libexec/prover9/mace4
@sha 9A0T4Jad0uXUALV62GZ9geJm+/2fNIql+U4GxSgCRGI=
@size 523400
@ts 1780371578
@bin libexec/prover9/miniscope
@sha cToioNwIsLYoJhYbwQbPY1gOjxLe/FIPHRyvjoxd9HQ=
@size 426312
@ts 1780371579
@bin libexec/prover9/mirror-flip
@sha xQNCh8JG88FuAV0u29b9V6xcxze/bKWHY/hwfQF4hJk=
@size 427176
@ts 1780371579
@bin libexec/prover9/newauto
@sha GuNvN3E+PoWSFhEZF6Li1PkhKXnjEj8whEWk9EKO1zQ=
@size 606160
@ts 1780371580
@bin libexec/prover9/newsax
@sha 9wUecemgnbymJtTz7UzZ9z2Ca1fjdCXE0m/nox+Eu+s=
@size 606824
@ts 1780371580
@bin libexec/prover9/olfilter
@sha ILP9+DjsyuHxI4iaAPBGd55wkoAVIRAkvB7KSND8Bq0=
@size 431720
@ts 1780371581
@bin libexec/prover9/perm3
@sha VeEkXvsovgNXIEc9Tg0A5SYnB2VywRgBCUmO+qiK9nA=
@size 428072
@ts 1780371581
@bin libexec/prover9/prooftrans
@sha EupkqqKoAmdKYzTs6XjPSHqq0Y1Ccb/gFHAAp6/hkTU=
@size 437048
@ts 1780371582
@bin libexec/prover9/prover9
@sha GGeiygq6EwWq9Mxvl2hKx290k6eT+xQOkZ7adPLBiIM=
@size 603976
@ts 1780371582
@bin libexec/prover9/renamer
@sha yurLWBJ6mrfM9ApAoqVeukge6xMUlpwW8cB2YRh2T+Q=
@size 426808
@ts 1780371582
@bin libexec/prover9/rewriter
@sha QrTdrU+FhPE6meEf+VuLfqaKGkRRYbigu2vjY4bjIBA=
@size 427728
@ts 1780371583
@bin libexec/prover9/sigtest
@sha FzIAca7wPVpWUQOVUtB/NDSV1UuzDxGW1xebhCHzya4=
@size 465136
@ts 1780371583
@bin libexec/prover9/tptp_to_ladr
@sha Xnq8WjpVoPdFFPIyxLDx6tGdsAVyCHQt3P4+ULDU08I=
@size 612104
@ts 1780371584
@bin libexec/prover9/unfast
@sha h2caFlSnyR7rKkmNAFOKM0DScwxsN/oIHRf7a071xbQ=
@size 426528
@ts 1780371584
@bin libexec/prover9/upper-covers
@sha YBQpXeAkYWwISfCPrcHU0BkGV1GILEGE+1M4kDyMjyE=
@size 465912
@ts 1780371584
share/examples/prover9/
share/examples/prover9/attack
@sha Fuf0xhHy2EaBafEheJXucCz0xFMUbYCnfrD5+Tn5iu4=
@size 4807
@ts 1780371585
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1780371585
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1780371585
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1780371585
share/examples/prover9/gvizify
@sha bUTuzv7elbXJx1t1nYRmSBx5qao5JaK2A2OTmRTIYSo=
@size 11968
@ts 1780371585
share/examples/prover9/looper
@sha gel2+1/3FHhIOYhjGjpzTag5i3nZDYtejBolFpzqQpM=
@size 5100
@ts 1780371585
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1780371585
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1780371585
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1780371585
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1780371585
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha zg5bgi2oVW+SkhF0+CPQvFxOqIMEOZK+oru47B4lfU4=
@size 4140
@ts 1780371585
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1780371585
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1780371585
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1780371585
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1780371585
