@name ladr-dec-2007p5
@version 16
@comment pkgpath=math/prover9/ladr ftp=yes
@arch amd64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.103.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha tqkamulpsHgDGIKtI9LLoll60k1tT/gQOPb9iLzt/8M=
@size 478752
@ts 1777117261
@bin libexec/prover9/clausefilter
@sha 8hpkI1O7bO4+ZJXUhCJpQvtEo15OjFDeHYiFzxc5q6I=
@size 366632
@ts 1777117261
@bin libexec/prover9/clausetester
@sha hhUqEQPU7t7OH+3F6SFczfbLlFUrHDjZSxYtQKLvV08=
@size 365936
@ts 1777117261
@bin libexec/prover9/dprofiles
@sha JXtzkavTuBIdg1h6Fp0KN4sSxMvjyuxWbBjtPowyOao=
@size 365424
@ts 1777117261
@bin libexec/prover9/fof-prover9
@sha jx39wV7/uxyt8J3t9jKL05w4lLoJBWBTj3xGBf3RmUc=
@size 477904
@ts 1777117261
@bin libexec/prover9/idfilter
@sha gMuZefEeFB3eNsQPU+6pVXqK2se8eCOBpkuwvvcLfDo=
@size 333832
@ts 1777117261
@bin libexec/prover9/interpfilter
@sha 7kWicwjbfluq41bvpQ474ArxF91s0+jKI8yyFHwsvzU=
@size 366400
@ts 1777117261
@bin libexec/prover9/interpformat
@sha vPdsxXIPdoQKO3TXm4uUxUm/L26gGWvKyeSgnchAnRQ=
@size 368416
@ts 1777117261
@bin libexec/prover9/isofilter
@sha eXnhOQ/N3B6iv0vpdKfMbf6HVOXda3dzBO4iQaMXrmU=
@size 366824
@ts 1777117261
@bin libexec/prover9/isofilter0
@sha ct1rcoHd8QaXOkQyqFEmcBAnzQG75nwZ/9x6AuhZ7LU=
@size 366560
@ts 1777117261
@bin libexec/prover9/isofilter2
@sha 0G7Reb+93viK2fpM5+ROVA4YoaEhIi6W0gVzqsRPGO4=
@size 366840
@ts 1777117261
@bin libexec/prover9/ladr_to_tptp
@sha WPrS50UvuUPzNpKyeFTB9TIYM/mXhU7lTiBsStrXsXM=
@size 483872
@ts 1777117261
@bin libexec/prover9/latfilter
@sha EC8M9Wou+4F5sP+JVMdE4RiZlWMERbj+z5mi/15/TSw=
@size 334176
@ts 1777117261
@bin libexec/prover9/mace4
@sha 3ycMIfMZf/A3WUVSmp0IjhezLpMfI7CNoKc5hfpNDDU=
@size 411568
@ts 1777117261
@bin libexec/prover9/miniscope
@sha idIpWq7orb9F+3qtalHLJYPbS6b+2asNlsFaUoEJKPs=
@size 332320
@ts 1777117261
@bin libexec/prover9/mirror-flip
@sha Lq6AZILf9wsmu3SQ1WDZulBlg5qWg22bCembbeoCoB4=
@size 333008
@ts 1777117261
@bin libexec/prover9/newauto
@sha g/LboCU+YPDPO2VHKoM5O5FdLzpq7aJFYQ+R/p4XfGc=
@size 479536
@ts 1777117261
@bin libexec/prover9/newsax
@sha g3eQwJJvZLiAxDwXPcSAIshMpG2B5XWpj6W1Nj9XEoM=
@size 480032
@ts 1777117262
@bin libexec/prover9/olfilter
@sha FOcpDYnRDqCbR3GYM4BPTfxWUyMx/RLzuDhyqYjP9Ys=
@size 336784
@ts 1777117262
@bin libexec/prover9/perm3
@sha e+i6RXD5PGgv0J5ZnnzUJVKHt/P7Nppft+wHyN+U3Ns=
@size 333792
@ts 1777117262
@bin libexec/prover9/prooftrans
@sha 5eNfCN/woW/LSjASLK9x23B3QOcNYWEsw2pGW9l0f0w=
@size 341392
@ts 1777117262
@bin libexec/prover9/prover9
@sha gJeNW/4JohrqHIIsgyKZ+eUfl9RsO7fJR61VMhhXJT8=
@size 477712
@ts 1777117262
@bin libexec/prover9/renamer
@sha 1pxtDxmQ95YpsjRvvz5hgGhla0wEYWVEhhYUTEvfe3I=
@size 332784
@ts 1777117262
@bin libexec/prover9/rewriter
@sha RPfv9HBZfQr9e/mV76ovtas+IWTDbK1GYaAZqiYyOBo=
@size 333584
@ts 1777117262
@bin libexec/prover9/sigtest
@sha xPQ1bBU172HCkOdaHHSWilwuvUpZo/yFTmkJNiuDJ34=
@size 365448
@ts 1777117262
@bin libexec/prover9/tptp_to_ladr
@sha 5Emz+oq12j07K8YeIydvAM8KzUwMfULT9DiTe3obKfg=
@size 484000
@ts 1777117262
@bin libexec/prover9/unfast
@sha KfbBFIz3Ll7mM/K27i+azG0FM9wZKSE9Hf2XU+XGIwE=
@size 332536
@ts 1777117262
@bin libexec/prover9/upper-covers
@sha pRUZu2rHkko1l7MNTrYyyirBpMwZLRlTsQu8mniH7jk=
@size 366720
@ts 1777117262
share/examples/prover9/
share/examples/prover9/attack
@sha /piOUE5iXVLALBSMD/NG9KI6I2rJY3rYkvLAOFfOSPQ=
@size 4807
@ts 1777117262
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1777117262
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1777117262
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1777117262
share/examples/prover9/gvizify
@sha G+Fg/ndtwqwPQw/y2ic99Hribu7YYCIQE9VEVqBr8oo=
@size 11968
@ts 1777117262
share/examples/prover9/looper
@sha CR0CjQTS9OZUmTaoNOeatyvZykSnaaUHUhecE13ogJ4=
@size 5100
@ts 1777117262
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1777117262
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1777117262
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1777117262
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1777117262
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha mPk3/katN4t10kkbtgZIYcIXDRa91VndhPrqi+ANqOs=
@size 4140
@ts 1777117262
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1777117262
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1777117262
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1777117262
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1777117262
