@name ladr-dec-2007p3
@version 9
@comment pkgpath=math/prover9/ladr ftp=yes
@arch amd64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.97.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha /KS02F8/zlDwIHmfuBBwnoThtPwSgEDeQbAisFx4A8U=
@size 484872
@ts 1679703424
@bin libexec/prover9/clausefilter
@sha CZ/4nULrH9hjd8or0Zk/ZwI5aO9kZEuN6wXrN8tDI8s=
@size 372272
@ts 1679703424
@bin libexec/prover9/clausetester
@sha dAPiEEICKQTyg2LTfhO+AIoAoS8gEAVNJBaKRieaaFU=
@size 371544
@ts 1679703425
@bin libexec/prover9/dprofiles
@sha UNxkw8i/u6gioicm2gtoVx4ydGc8fxBo03arBvg+fkc=
@size 371032
@ts 1679703425
@bin libexec/prover9/fof-prover9
@sha L7O606BUkVbE/F9iLY+EYK39CMbv+lXVzzXjKrAVtVY=
@size 484056
@ts 1679703425
@bin libexec/prover9/idfilter
@sha RXa8YJUPhscUEWhvPcotS6FHZthLfukO2Z4MIs0diKM=
@size 336288
@ts 1679703425
@bin libexec/prover9/interpfilter
@sha vDlb7vY42w3Wcl2DRZF5zC0WbnnZJWIoPEbP4nfTyl4=
@size 372040
@ts 1679703425
@bin libexec/prover9/interpformat
@sha JaOMh8oJsi9gXFviu6Bj7+12rkbiw+J69euj+AWun74=
@size 374152
@ts 1679703425
@bin libexec/prover9/isofilter
@sha V4Tw1ECzpoxlC6AT4LP8Nv7+mHPBBPceF1YenqApjUg=
@size 372416
@ts 1679703425
@bin libexec/prover9/isofilter0
@sha Sjve/xy3k46+5yphkjHgK90IqNfd09BxemKi7bVmdb0=
@size 372152
@ts 1679703425
@bin libexec/prover9/isofilter2
@sha kbrGM28r6GY7eLR+1yT2AjfXHakc2p86OfIhujzY7CQ=
@size 372448
@ts 1679703425
@bin libexec/prover9/ladr_to_tptp
@sha Dy4NJ1f8BcCS+R8wAUYgNSM88kZfI2nbd3N9kAnjekM=
@size 490008
@ts 1679703425
@bin libexec/prover9/latfilter
@sha 0xtGmPkxSKqAGDVECTAebF0fAeP0E7xp4qxa8KU6rfM=
@size 336488
@ts 1679703425
@bin libexec/prover9/mace4
@sha 4sx+bu1ZD1XNJPRkEy6xnY+aREBKiq1bfNjMUGlmyT0=
@size 418464
@ts 1679703425
@bin libexec/prover9/miniscope
@sha TQ41c+Ms5NpjIQm7gHlMO3LQjbmbNq75fPkF5xqheEw=
@size 334736
@ts 1679703425
@bin libexec/prover9/mirror-flip
@sha BW5FT+qpmcc4EPkOM6Z8hmoVSs/0eS5l2eprLTJsxAM=
@size 335464
@ts 1679703425
@bin libexec/prover9/newauto
@sha ifdb76BnPsdw1uLu+6tVACR2cl/umMRIRH9mwrkmJns=
@size 485704
@ts 1679703425
@bin libexec/prover9/newsax
@sha prrhlAi3yuZbbubv2uL3UMxRPxbP+QfCSsWP3bPy+pU=
@size 486232
@ts 1679703425
@bin libexec/prover9/olfilter
@sha uBAYOMuhbIr3hBsxzkmX+VnbtCwqc1vOA/9qVK25eUc=
@size 338872
@ts 1679703425
@bin libexec/prover9/perm3
@sha Yyjyq5YmKtX9yE+gGrMGNHzf0MWPqTtiJHLC55KvYzU=
@size 336344
@ts 1679703425
@bin libexec/prover9/prooftrans
@sha t9HrSuwN83BU0UckG2CDsnyRVjzTq+pDqTTGymtjF+w=
@size 343816
@ts 1679703425
@bin libexec/prover9/prover9
@sha z94eJ5GjBz9Vi/bcegTWSO7EMhC8nDr8u5nsRug56T0=
@size 483864
@ts 1679703425
@bin libexec/prover9/renamer
@sha 3FVChba7sC0lnIlzeOStJkpuW9hj5ii0O0Yz8qIbpHc=
@size 335192
@ts 1679703426
@bin libexec/prover9/rewriter
@sha 5wgZnycPPTx0F6brbrMgVnpv4BpZAkSZVFkxA34X+3g=
@size 336040
@ts 1679703426
@bin libexec/prover9/sigtest
@sha 0OlRfL6gDPX/QYlXjDIcGLd1aUARFZd3l8vPhzA+3qw=
@size 371064
@ts 1679703426
@bin libexec/prover9/tptp_to_ladr
@sha hO42/vuzcP79CvVWfrZJ9a10qKRQyRV2012EmpG3taw=
@size 490136
@ts 1679703426
@bin libexec/prover9/unfast
@sha Bs66F9heotOVE5pK0aJ0PSc+uK+hpZoc4ZgtRdA9KH8=
@size 334960
@ts 1679703426
@bin libexec/prover9/upper-covers
@sha tP13w7ctS6sr+O1WIIA5zY0mWz6ao2tFB7Suw3G1aw0=
@size 371928
@ts 1679703426
share/examples/prover9/
share/examples/prover9/attack
@sha glXNktsDmeDyJRpW9cFrwMSWyqWNLlpLUDqxPx2Vllg=
@size 4807
@ts 1679703426
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1679703426
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1679703426
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1679703426
share/examples/prover9/gvizify
@sha NoX51XsvZ8OTEBMDqsiy/Azr12gP97//ZQXzMTa78qE=
@size 11969
@ts 1679703426
share/examples/prover9/looper
@sha FMRdVA40aowqC9TtGnSdhgOuR1pMNcMOiJRsCSmS+tc=
@size 5100
@ts 1679703426
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1679703426
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1679703426
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1679703426
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1679703426
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha O+LKdE1hwGxl4FpmxpB3WTNUjd344C959j1zXIljQ6k=
@size 4140
@ts 1679703426
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1679703426
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1679703426
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1679703426
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1679703426
