@name ladr-dec-2007p5
@version 4
@comment pkgpath=math/prover9/ladr ftp=yes
@arch sparc64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.103.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha XRGp9R1MHAxAUWP0Av1Gca9v+6kzXMbq+S5U0Z/wYpk=
@size 628152
@ts 1777229628
@bin libexec/prover9/clausefilter
@sha D1R/MruyXe3m7OM9olzuXgWhewkTSITeJrUPNrY/7OU=
@size 461072
@ts 1777229628
@bin libexec/prover9/clausetester
@sha ypnrGUrMJP1U5ROl6UCShlvB+YQMjp/JJbnKiDbI88M=
@size 460984
@ts 1777229628
@bin libexec/prover9/dprofiles
@sha usqpx+HVABY0HUI0tAx2MQ9QYuW/2oQNOD2/YWCHvN4=
@size 460904
@ts 1777229628
@bin libexec/prover9/fof-prover9
@sha 7+1w/Za9i6Cvds0fhz1NpbC2QsbB5c1m5YmuopGPYVk=
@size 628152
@ts 1777229628
@bin libexec/prover9/idfilter
@sha zBDpwvJW4MLbXXzClggfO8EcMZir3fnk5Ni9gGYLM0U=
@size 428696
@ts 1777229628
@bin libexec/prover9/interpfilter
@sha WKIjOHUGYTVLj/qadjuyxcs9s6BMVH1UvJHVxvk08jg=
@size 461248
@ts 1777229628
@bin libexec/prover9/interpformat
@sha 5+G4Y98TB+5Hf+79ch9l680wA7azxyKsj1DC33s5hqA=
@size 461464
@ts 1777229628
@bin libexec/prover9/isofilter
@sha AWE6snXYHMrFArMHNYal73CCcG7vxhz4QRv5Ocs2t2o=
@size 461224
@ts 1777229628
@bin libexec/prover9/isofilter0
@sha HM01ChjZb+3vN9THb9tWMYAzd8AStL7xbspcbj9VYno=
@size 461184
@ts 1777229628
@bin libexec/prover9/isofilter2
@sha +0hB2rJQQpJJCW1QpiYAwn62Wd+lehG3frB4bkN+qE8=
@size 461224
@ts 1777229628
@bin libexec/prover9/ladr_to_tptp
@sha fAA+URLIoR76hn23dU3o6tKkOVLL3WcCwLSdaurUJkM=
@size 636344
@ts 1777229628
@bin libexec/prover9/latfilter
@sha 8/jrOTq+gce0bqvR20lUoG9dCykwx5TQwZv8MNnFQ0c=
@size 428520
@ts 1777229628
@bin libexec/prover9/mace4
@sha 2OEjDVHabMe3eMTJW0AeQssRN0b9Ck3CRIxOzry5o/Q=
@size 526304
@ts 1777229629
@bin libexec/prover9/miniscope
@sha 1vn5r9v/UYmU4KApV0TpuboMLuXszQo9ErhXjNIv1BY=
@size 419816
@ts 1777229629
@bin libexec/prover9/mirror-flip
@sha xD0zgXTtkUipHLLbs5l3+zoV0PkRPk0Ae0bYgD2OXAI=
@size 419832
@ts 1777229629
@bin libexec/prover9/newauto
@sha axWKLU8cgnTJg21AtSY8z/8IG2QbE4Iouy7SnrI69DA=
@size 628152
@ts 1777229629
@bin libexec/prover9/newsax
@sha HfjI+jn/UBzTz5QOSvMxIRWJWvvTwTH9O97lE6MfRkU=
@size 628152
@ts 1777229629
@bin libexec/prover9/olfilter
@sha u7SeJYc4JuXeOK5DN45cUXI8ZP/mJ28hUZinIPLzvO4=
@size 428584
@ts 1777229629
@bin libexec/prover9/perm3
@sha 8bH5RRwQwaMZGQuOvahWNryuojgkVYCkayWeZlRu1yE=
@size 428024
@ts 1777229629
@bin libexec/prover9/prooftrans
@sha R5q5+8w1dTddNyno5+okzJNAcUJCRBDYtKQklQOq8XM=
@size 436552
@ts 1777229629
@bin libexec/prover9/prover9
@sha ssfPt4A/8fbXljoRSQJesu0MlZheBPh2okwjGUBDKLE=
@size 628152
@ts 1777229629
@bin libexec/prover9/renamer
@sha fHHBkbiyBQ2j76R+TmFgS+c+vyHkkMtV8T4kofrIo7M=
@size 420088
@ts 1777229629
@bin libexec/prover9/rewriter
@sha +pDYKgfIQHMouRLYVMR215eT40RgeGRP0Mot1a2ZPcU=
@size 420448
@ts 1777229629
@bin libexec/prover9/sigtest
@sha SO+k20zSgnIKJXJK0KR2mebeOLQW1oUbI1PWbDfB4KU=
@size 460776
@ts 1777229629
@bin libexec/prover9/tptp_to_ladr
@sha z4gA5KGWc6MV/oV2or0uptR/xmyGqSKBmpMzveQ5KEY=
@size 636344
@ts 1777229629
@bin libexec/prover9/unfast
@sha GIdmZ4kjtLTOJeJrRyxidRDom/Ot56ws6fGuF6A+/9o=
@size 420152
@ts 1777229629
@bin libexec/prover9/upper-covers
@sha n97CFM1SEwmAnJzEm/CYnqhvR18Q7I8RcwtDRBk7CNM=
@size 461048
@ts 1777229629
share/examples/prover9/
share/examples/prover9/attack
@sha /piOUE5iXVLALBSMD/NG9KI6I2rJY3rYkvLAOFfOSPQ=
@size 4807
@ts 1777229629
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1777229629
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1777229629
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1777229629
share/examples/prover9/gvizify
@sha G+Fg/ndtwqwPQw/y2ic99Hribu7YYCIQE9VEVqBr8oo=
@size 11968
@ts 1777229629
share/examples/prover9/looper
@sha CR0CjQTS9OZUmTaoNOeatyvZykSnaaUHUhecE13ogJ4=
@size 5100
@ts 1777229629
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1777229630
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1777229630
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1777229630
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1777229629
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha mPk3/katN4t10kkbtgZIYcIXDRa91VndhPrqi+ANqOs=
@size 4140
@ts 1777229629
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1777229630
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1777229630
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1777229630
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1777229630
