@name ladr-dec-2007p5
@version 18
@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 P/h9AW8pT8PvYzCrr9yUve6+BjrMOZPAqpZU1kh6db4=
@size 477760
@ts 1781054204
@bin libexec/prover9/clausefilter
@sha /ZR5jiT4rMYBMh1gsblKeIM0yiawjPn7WPRfFC/bgak=
@size 365896
@ts 1781054204
@bin libexec/prover9/clausetester
@sha F3eI97bXhSqbm5ZRtfbuCOriBnrnPpyGTo0mH6hItwc=
@size 365216
@ts 1781054204
@bin libexec/prover9/dprofiles
@sha zk7xcPVrDaJmllPAbD0MYBJHGOnrZF4czxZ4QXu9SP0=
@size 364688
@ts 1781054204
@bin libexec/prover9/fof-prover9
@sha zLB5ow6I30S/VOvoJmYpCbS8f3JCGGrdXGTZK4Z/SII=
@size 476896
@ts 1781054204
@bin libexec/prover9/idfilter
@sha jFPEDHf35H3NX/8n2h4VWjYvA6z9jzj/7t7L/AU3cnc=
@size 333192
@ts 1781054205
@bin libexec/prover9/interpfilter
@sha AlsW51QMFBy705EZnamIX0f0PkrC+iD+FwY3oDT5gXE=
@size 365664
@ts 1781054205
@bin libexec/prover9/interpformat
@sha JETLUyWgy54dV8GmBjvME58M0Yvpy7/7Z6wYbEYHKQY=
@size 367680
@ts 1781054205
@bin libexec/prover9/isofilter
@sha 1bwoWeWWmkU6Kp+KMyRaqz61o+fteVkH+zS5F4EVU4E=
@size 366088
@ts 1781054205
@bin libexec/prover9/isofilter0
@sha 1b9I9JBsYsm9djA8oTn2tzyuRYXhYfxrCl+Fx+frbAY=
@size 365824
@ts 1781054205
@bin libexec/prover9/isofilter2
@sha a2AGpjMg2PK2Z2jG36e3VWS9jA7LafNQJRlo1H89cMg=
@size 366104
@ts 1781054205
@bin libexec/prover9/ladr_to_tptp
@sha XFTpi3dIq0km9envwECiZ7Rbz7rZBrT+8rx7Hggc4qs=
@size 482896
@ts 1781054205
@bin libexec/prover9/latfilter
@sha 6rNrkGeOyLQbUFDgyy+F4FyHNHPzAY9LNwK9EKdpaJ8=
@size 333536
@ts 1781054205
@bin libexec/prover9/mace4
@sha WuvXegZV1b2YW4YiHOz5m9GBH7OYupHz1W7WxHACn0M=
@size 410688
@ts 1781054205
@bin libexec/prover9/miniscope
@sha JSUunGzRT0E7peNh4Btvw7M7egis1D5RH335bHwKrnc=
@size 331680
@ts 1781054206
@bin libexec/prover9/mirror-flip
@sha TQloIWqMpnNaDLwoAFKB+7qYvvZ7ejPQXbNTEtxf0mc=
@size 332368
@ts 1781054206
@bin libexec/prover9/newauto
@sha hNEWysosK+ED3ikFns0ELm4sIu5tpUEGZ5JlhPVONNY=
@size 478544
@ts 1781054206
@bin libexec/prover9/newsax
@sha MJvCq0Q28DFvUuGABd+RUV1Igl13iecTQgZN5H+OIrQ=
@size 479040
@ts 1781054206
@bin libexec/prover9/olfilter
@sha oM3XEZhqZNJEF+XX9VPc46t0a98m71SnJhAGZjhbso0=
@size 336128
@ts 1781054206
@bin libexec/prover9/perm3
@sha UsELlZYc6kD+hKylPh/p8pDyBEp6epXb+/uvOakZXmc=
@size 333152
@ts 1781054206
@bin libexec/prover9/prooftrans
@sha IfVhlkQuK+tEuNyuOYXcaefQoxsIdJlbWU0EWUXuEUo=
@size 340752
@ts 1781054206
@bin libexec/prover9/prover9
@sha 9EpiB5kwsAjC20CwbVCAt1719OKYqaTkf6/BJVkECsk=
@size 476704
@ts 1781054206
@bin libexec/prover9/renamer
@sha 3m8yGzanM1WEajnOSvJBbqcDwnsr/oaTxuMt3DfXI5I=
@size 332144
@ts 1781054206
@bin libexec/prover9/rewriter
@sha LJ8JbQcwfaw4vfgEUx60UxeYaKTxE4mYb3f1kF+o7/Y=
@size 332944
@ts 1781054206
@bin libexec/prover9/sigtest
@sha 0vKa8Y7dTo7TO7+RKFQhqlZCofk9omRJYDL9Jn0yDo4=
@size 364712
@ts 1781054207
@bin libexec/prover9/tptp_to_ladr
@sha dWsSSCAZsZ88AN0EuHdAfHzUxDvHXv7Diw8tuvxTIQo=
@size 482992
@ts 1781054207
@bin libexec/prover9/unfast
@sha pfzM2fDSBEz1zQ/jfroOcA2bAuKIUyb8TZlQEXoi9vc=
@size 331896
@ts 1781054207
@bin libexec/prover9/upper-covers
@sha HiPuKzGtNaXcm7BZ2a6p5nrev2c86oG227venFPNeM4=
@size 365984
@ts 1781054207
share/examples/prover9/
share/examples/prover9/attack
@sha Fuf0xhHy2EaBafEheJXucCz0xFMUbYCnfrD5+Tn5iu4=
@size 4807
@ts 1781054207
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1781054207
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1781054207
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1781054207
share/examples/prover9/gvizify
@sha bUTuzv7elbXJx1t1nYRmSBx5qao5JaK2A2OTmRTIYSo=
@size 11968
@ts 1781054207
share/examples/prover9/looper
@sha gel2+1/3FHhIOYhjGjpzTag5i3nZDYtejBolFpzqQpM=
@size 5100
@ts 1781054207
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1781054207
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1781054207
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1781054207
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1781054207
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha zg5bgi2oVW+SkhF0+CPQvFxOqIMEOZK+oru47B4lfU4=
@size 4140
@ts 1781054207
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1781054207
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1781054207
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1781054207
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1781054207
