@name ladr-dec-2007p3
@version 6
@comment pkgpath=math/prover9/ladr ftp=yes
@arch powerpc64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.99.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha 6WbFRHx4er6jYm49jD2dvzsQ2DXXK8OWGhI0/aSjMys=
@size 610624
@ts 1710867906
@bin libexec/prover9/clausefilter
@sha T/N9+sDIGh3v07icSPprur7emvPGy6nP0dkJv9l0A+M=
@size 470472
@ts 1710867906
@bin libexec/prover9/clausetester
@sha VFKbvqdmHSEz5GfZpwPdAvkub3xL5s4NFr0rhqsqYKI=
@size 469704
@ts 1710867907
@bin libexec/prover9/dprofiles
@sha PAQbQ3qCwJkahkobUrU5melBDEI/LBd1liz7ORXgdy0=
@size 469080
@ts 1710867907
@bin libexec/prover9/fof-prover9
@sha Yx5QDxGbYgGElDFxEbpOhEsiJHa4XpzEHflAGFevzRo=
@size 609600
@ts 1710867907
@bin libexec/prover9/idfilter
@sha zwPZV2sMe9I6nAg/0A4jCmJ6rkM0TxK3OwO2RrE+a8w=
@size 431040
@ts 1710867908
@bin libexec/prover9/interpfilter
@sha YBuYkj+izL/DPKpx5MOxvCOMDpeejNUnCRY0jMrdsiA=
@size 470120
@ts 1710867908
@bin libexec/prover9/interpformat
@sha BZogSBv3pe/GKRSqGAqTZ42FyfEK2ESGABohGvnwRcE=
@size 472744
@ts 1710867908
@bin libexec/prover9/isofilter
@sha Fp/QGsCccvVdKSowpXcTTvYYfeQpUcbHvexOpfIO0xU=
@size 470728
@ts 1710867909
@bin libexec/prover9/isofilter0
@sha n0A2pbw3tTAymaw0igNTd4G7m+XeBUla/CytPICxdjw=
@size 470400
@ts 1710867909
@bin libexec/prover9/isofilter2
@sha PF+HkXEmU0/kXv72KTPy35hayguoryhwJ3qMKjY9E8g=
@size 470768
@ts 1710867910
@bin libexec/prover9/ladr_to_tptp
@sha PWco9tJhOgo9JjrjROJjvR85oVGPqHM6jzJe4bR3Lj0=
@size 617192
@ts 1710867910
@bin libexec/prover9/latfilter
@sha lf0j9qdIfivqDPb2MF3jieJpYirBdotcamzTJcpPCx4=
@size 431504
@ts 1710867910
@bin libexec/prover9/mace4
@sha HU1sZoACLAQVSA4GXt+KhPHbH8qBUMK0+uICR95g2OE=
@size 528224
@ts 1710867911
@bin libexec/prover9/miniscope
@sha laMU0UDYxjkfRvN3qFtdbTWdwrpANWc1ssEKzYo7TrU=
@size 429296
@ts 1710867911
@bin libexec/prover9/mirror-flip
@sha kRdE9P3OLCpROfUJtja6XT8Qmen1Xwi0vGIP4OiS48U=
@size 430120
@ts 1710867912
@bin libexec/prover9/newauto
@sha Q/oaHdNXayxgEq0EJC509B3qRDP5G8XJv6U+d8xPP5o=
@size 611592
@ts 1710867912
@bin libexec/prover9/newsax
@sha g9GddAEb564bl8Plc5+q2UK/dRTtfL6tPbcpyE5KfCE=
@size 612256
@ts 1710867912
@bin libexec/prover9/olfilter
@sha zrwq/oIo4s5PlWWyxknbajzPS5lrA7DsE9ft6yVifpU=
@size 434760
@ts 1710867912
@bin libexec/prover9/perm3
@sha v4xdiHQ30PL4rf610Hg7Z8axgWPSbP1bMe/EGJBC2a4=
@size 431032
@ts 1710867913
@bin libexec/prover9/prooftrans
@sha 7jqfXZ4dSoerlQIFTLzEbab3Ei3BcOMknAG7EZWeDaI=
@size 440424
@ts 1710867913
@bin libexec/prover9/prover9
@sha taYQJIJomjkQusnJ9q7RpKk62tZ/zdGfw2KvIWRg6WM=
@size 609376
@ts 1710867914
@bin libexec/prover9/renamer
@sha R1eNfO7+9o9TRGdh2YlIURGYLeEsDYBhL/Zmm6M6oZo=
@size 429808
@ts 1710867914
@bin libexec/prover9/rewriter
@sha EPRNl1IB46K20uvbB1MjMpxnvSFTWQ5I/a5yiZHikKY=
@size 430704
@ts 1710867915
@bin libexec/prover9/sigtest
@sha tubFpFSTIJsECvS7zH+AWzyj/Z7iErN7YLi5cOTBW2Y=
@size 469144
@ts 1710867915
@bin libexec/prover9/tptp_to_ladr
@sha QhlowvxcnljipBEeOEW/SqJBBQGzX5C+1ppzLz6PDfc=
@size 617552
@ts 1710867916
@bin libexec/prover9/unfast
@sha ujVymk0oBJQ04Mxp/5veTrVrvvBvpo8cesDalZMWvrc=
@size 429488
@ts 1710867916
@bin libexec/prover9/upper-covers
@sha sC8UIV931eOgewz5sSmVSkrdwnQKg9v7hxXHxre6pmY=
@size 470016
@ts 1710867917
share/examples/prover9/
share/examples/prover9/attack
@sha glXNktsDmeDyJRpW9cFrwMSWyqWNLlpLUDqxPx2Vllg=
@size 4807
@ts 1710867917
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1710867917
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1710867917
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1710867917
share/examples/prover9/gvizify
@sha NoX51XsvZ8OTEBMDqsiy/Azr12gP97//ZQXzMTa78qE=
@size 11969
@ts 1710867917
share/examples/prover9/looper
@sha FMRdVA40aowqC9TtGnSdhgOuR1pMNcMOiJRsCSmS+tc=
@size 5100
@ts 1710867917
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1710867917
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1710867917
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1710867917
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1710867917
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha O+LKdE1hwGxl4FpmxpB3WTNUjd344C959j1zXIljQ6k=
@size 4140
@ts 1710867917
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1710867917
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1710867917
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1710867917
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1710867917
