@name ladr-dec-2007p5
@version 4
@comment pkgpath=math/prover9/ladr ftp=yes
@arch sparc64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.102.2
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha obdZe/mszmAImt/nBVaCzlTFbICX+WRPKDe+Bu1L6No=
@size 628152
@ts 1767550448
@bin libexec/prover9/clausefilter
@sha 0syQXfsIlK6WkZH+J/GgiY+F3for8fq2ZA6IQOBQvis=
@size 461072
@ts 1767550448
@bin libexec/prover9/clausetester
@sha GtDYDVJfo6VLKBGlMHslm4bnISWhYkyiSKU2Dh0YXow=
@size 460984
@ts 1767550448
@bin libexec/prover9/dprofiles
@sha u650B+ZCydAlH0TLd+ogRwroRhOHhm1dVqIP1pfx+Wo=
@size 460904
@ts 1767550448
@bin libexec/prover9/fof-prover9
@sha JmjgQuTlxbfwzy+KuUxrEQlqzPmGkRH8Y4FNHEEEUVo=
@size 628152
@ts 1767550448
@bin libexec/prover9/idfilter
@sha bkOF3D6yiYLL0346hxY+OUk4msdP1hz6QhxZAE5Kzc0=
@size 428696
@ts 1767550448
@bin libexec/prover9/interpfilter
@sha W7X7J1LTZppA0ei4A7JfdipNUDQ7qSn7uuqcNmSGd9g=
@size 461248
@ts 1767550448
@bin libexec/prover9/interpformat
@sha ftyxnL5Lb6b169F6bUxmxleIcYnoaFNCPkvKdmPNDKI=
@size 461464
@ts 1767550449
@bin libexec/prover9/isofilter
@sha NmS+o9W9BQv/5Ltz9KAzfUNUgLDvKRCm57hwSYpowT8=
@size 461224
@ts 1767550449
@bin libexec/prover9/isofilter0
@sha p/x5cvzQtho/pOn47W0vsy2O4hC1j+IMUn6JwS70mng=
@size 461184
@ts 1767550449
@bin libexec/prover9/isofilter2
@sha XlDxw3z2wTjfzc7QaY5s9My4EsnUy2b1aPpPeqPjMv8=
@size 461224
@ts 1767550449
@bin libexec/prover9/ladr_to_tptp
@sha BjEbpqYLdJVWkug4Wc4FVxuqWM1e3rblM57yqmDm0HY=
@size 636344
@ts 1767550449
@bin libexec/prover9/latfilter
@sha Y3RpXubV76I8HhXJGm4Jr4biUdyg2G5WfWyp9ij4J5E=
@size 428520
@ts 1767550449
@bin libexec/prover9/mace4
@sha ncz+oRRdTiJi0M+dZx/uccK1uiMn09IQIYXKpqgmaDc=
@size 526304
@ts 1767550449
@bin libexec/prover9/miniscope
@sha ijNbzeB+EOoOxB7wvYdNS+2HpO5bRYliTIcw7iCU6io=
@size 419816
@ts 1767550449
@bin libexec/prover9/mirror-flip
@sha NL1jSnp1BxbFwEAGRtxitZ+pU7+glmZBOoHit/SWZrg=
@size 419832
@ts 1767550449
@bin libexec/prover9/newauto
@sha sl3oFz11YjL3q+9krkxT19CqcLB9O36/cno/9gwwdmo=
@size 628152
@ts 1767550449
@bin libexec/prover9/newsax
@sha v6GfTz7OmJm8d/jNeOIzqbUcZL4tSD2zQM10efZT/Os=
@size 628152
@ts 1767550449
@bin libexec/prover9/olfilter
@sha 5KgzfTVjTmdCEVkzW4WSXACVkYJDtsMf+MWd+gnJQGE=
@size 428584
@ts 1767550449
@bin libexec/prover9/perm3
@sha LEYxUkRVvoL+/K46KN4n97XduJ7kM2OS5CugWfLXV5Q=
@size 428024
@ts 1767550449
@bin libexec/prover9/prooftrans
@sha iv7CWZnB6CaGNuucBmKXG2X5f7BWi/r5gnymC68Ro7M=
@size 436552
@ts 1767550449
@bin libexec/prover9/prover9
@sha QVSaAzvQyPbMJk3w2CsdwGM7tVp119pXKk3WCRczNvw=
@size 628152
@ts 1767550449
@bin libexec/prover9/renamer
@sha Nlvgy9qh8tufCf0Gr1VuyWhr4ueZ5Ay3PMdiIKVGv1k=
@size 420088
@ts 1767550449
@bin libexec/prover9/rewriter
@sha fYxEpYQrUhID9MILSulOP3xwqgyegO4DVPxwPswrkTk=
@size 420448
@ts 1767550449
@bin libexec/prover9/sigtest
@sha y8FTWPTlHsiCUQFzhTy3rqftSS0J56Vaz5aNs1hfOTE=
@size 460776
@ts 1767550449
@bin libexec/prover9/tptp_to_ladr
@sha mHECoXSk93XlPEHdAABmtSEhACuZ0XggKieYYyqRJJg=
@size 636344
@ts 1767550449
@bin libexec/prover9/unfast
@sha UBcePO/2PgcNOaAB79/N1Ml8h+GcMtuUXtrm6zVl4Ik=
@size 420152
@ts 1767550449
@bin libexec/prover9/upper-covers
@sha 3zwLTVK62srkBQWJgn2B6TIR0n56e5ntLG3QAt48afY=
@size 461048
@ts 1767550449
share/examples/prover9/
share/examples/prover9/attack
@sha /piOUE5iXVLALBSMD/NG9KI6I2rJY3rYkvLAOFfOSPQ=
@size 4807
@ts 1767550450
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1767550450
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1767550450
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1767550450
share/examples/prover9/gvizify
@sha G+Fg/ndtwqwPQw/y2ic99Hribu7YYCIQE9VEVqBr8oo=
@size 11968
@ts 1767550450
share/examples/prover9/looper
@sha CR0CjQTS9OZUmTaoNOeatyvZykSnaaUHUhecE13ogJ4=
@size 5100
@ts 1767550450
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1767550450
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1767550450
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1767550450
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1767550450
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha mPk3/katN4t10kkbtgZIYcIXDRa91VndhPrqi+ANqOs=
@size 4140
@ts 1767550450
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1767550450
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1767550450
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1767550450
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1767550450
