@name ladr-dec-2007p3
@version 10
@comment pkgpath=math/prover9/ladr ftp=yes
@arch amd64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.97.1
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha VquzJuAkVLPlo6N+3PgJb2zS2zG75rt7OKicvBhIXAk=
@size 491288
@ts 1696549970
@bin libexec/prover9/clausefilter
@sha hFqQO2X/0RU699QMjnmuC9m9gCfk4+7MUB15kCh3su8=
@size 377616
@ts 1696549970
@bin libexec/prover9/clausetester
@sha b3GzU5a9NZ9nYPbFbzdnU7gESyibMmvTwQcqXi5oyMQ=
@size 376888
@ts 1696549970
@bin libexec/prover9/dprofiles
@sha DLkaN3XLwsICVbEcbnsXiqKTjzRiVK2YJ9vWx23DGQY=
@size 376376
@ts 1696549970
@bin libexec/prover9/fof-prover9
@sha 6vnmNo9SOu5L/jhCneYtrGCoL9cx/9pGA4iJPiNUvtg=
@size 490456
@ts 1696549970
@bin libexec/prover9/idfilter
@sha KOFW5D5irEbPGwIsG7a1PCDsf7w959oWpl15lLf4HDs=
@size 341360
@ts 1696549970
@bin libexec/prover9/interpfilter
@sha jcQp6ASo4dUTyLmeFo290JeWMRMUEiP0UFhmTJoplWo=
@size 377400
@ts 1696549970
@bin libexec/prover9/interpformat
@sha BHluoWX2e/oD1/TtcSz7Mc0xSG0DmaqHhZ0C4MuY+6I=
@size 379512
@ts 1696549970
@bin libexec/prover9/isofilter
@sha iq2yIggDhaK4OXH4ynFigu8lYtu+IAQy39RvdR6VYXE=
@size 377760
@ts 1696549970
@bin libexec/prover9/isofilter0
@sha XCdLduf3ASF1hjkf7fubK9blEFzuBF7xc2Fsqq0dLOU=
@size 377496
@ts 1696549970
@bin libexec/prover9/isofilter2
@sha ngjrks9sZuwpDwT1JpOScEicRLyw/QJWcAd0zs+10RM=
@size 377792
@ts 1696549970
@bin libexec/prover9/ladr_to_tptp
@sha F5ELDg3/4RhaCRI6B1VWxiMMe+Vyj8FqewESfbGjmhE=
@size 496440
@ts 1696549970
@bin libexec/prover9/latfilter
@sha fTBIc0YyKxS3BAvqVZYw9b9aV8Mub/uFOKXD4S9gvNk=
@size 341608
@ts 1696549970
@bin libexec/prover9/mace4
@sha 1kPyVXQRMWEym8wW/iD/EerHqWigrvg0w5JDyDtJoVo=
@size 424312
@ts 1696549970
@bin libexec/prover9/miniscope
@sha 9e9sRVXdUSfUQKoqq7gFVa7SYT0ZTylYDQZKH0QbkmI=
@size 339832
@ts 1696549970
@bin libexec/prover9/mirror-flip
@sha CfypcyS9yGzd28kqTxETTfm6P0eIfkm3QXexMD4VN9s=
@size 340552
@ts 1696549970
@bin libexec/prover9/newauto
@sha 4WnsTycAQqutXYgEeMKaH+FBv7E3xr0h/EBVhgTDT3s=
@size 492120
@ts 1696549970
@bin libexec/prover9/newsax
@sha BQk4hYUkRPL3E4pBuS47d56+ppZa6iwtjs+yWkLgBjM=
@size 492632
@ts 1696549971
@bin libexec/prover9/olfilter
@sha S4pSPx8f+DBKY5TPGiVM54kcpEYzNFAMO2gUskpADik=
@size 343976
@ts 1696549971
@bin libexec/prover9/perm3
@sha tuOd75Pf7zAENGCPtwqIC6fFE/rhrlZdTG26KcJvDtA=
@size 341432
@ts 1696549971
@bin libexec/prover9/prooftrans
@sha 1SpKr4knUQLJCWvGmGNiSJSPwCPU3xK2J7/75VmUxhQ=
@size 349096
@ts 1696549971
@bin libexec/prover9/prover9
@sha ++SNaPtr1X43VonWUwx8mmNMByUTK7ChJb63FghHcJ8=
@size 490264
@ts 1696549971
@bin libexec/prover9/renamer
@sha 06dlrwrteIu/C89J6kfjEPSiQA14unc1wbWFCPz6yTA=
@size 340280
@ts 1696549971
@bin libexec/prover9/rewriter
@sha c1b72c1KKYm8NWlphtDRIGAaFLaLDuUPiWql73N5z+0=
@size 341128
@ts 1696549971
@bin libexec/prover9/sigtest
@sha Vese5xJe3H9FCk41stEjHrhx1HW/h43uQS8KkSRsdBQ=
@size 376400
@ts 1696549971
@bin libexec/prover9/tptp_to_ladr
@sha vyl7Mb1N1TdQBxA0DWQXfW7LSFMQPiK78BXvGpTQsCk=
@size 496568
@ts 1696549971
@bin libexec/prover9/unfast
@sha W2vWWo4JwxtXZn4ggsSe38f99PMFiPjEkYNKEeZdXwk=
@size 340048
@ts 1696549971
@bin libexec/prover9/upper-covers
@sha J5yoZJqs46BB9noOaNU0mG/JHVbH981NqEj0sTtgbGY=
@size 377288
@ts 1696549971
share/examples/prover9/
share/examples/prover9/attack
@sha glXNktsDmeDyJRpW9cFrwMSWyqWNLlpLUDqxPx2Vllg=
@size 4807
@ts 1696549971
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1696549971
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1696549971
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1696549971
share/examples/prover9/gvizify
@sha NoX51XsvZ8OTEBMDqsiy/Azr12gP97//ZQXzMTa78qE=
@size 11969
@ts 1696549971
share/examples/prover9/looper
@sha FMRdVA40aowqC9TtGnSdhgOuR1pMNcMOiJRsCSmS+tc=
@size 5100
@ts 1696549971
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1696549971
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1696549971
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1696549971
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1696549971
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha O+LKdE1hwGxl4FpmxpB3WTNUjd344C959j1zXIljQ6k=
@size 4140
@ts 1696549971
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1696549971
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1696549971
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1696549971
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1696549971
