@name ladr-dec-2007p5
@version 12
@comment pkgpath=math/prover9/ladr ftp=yes
@arch riscv64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.104.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha D3OJPY+q9JefVjgoD9oBd5nW9aw41/n/9RE5P+l/ecg=
@size 416640
@ts 1789600698
@bin libexec/prover9/clausefilter
@sha LlniK+NzUBqRBjnF0nMNPbrjoWBXZdk3pv7iwqbhXPs=
@size 315616
@ts 1789600699
@bin libexec/prover9/clausetester
@sha mvhsenttRjtNhZ0u4hkgQfCQucTxqNRBMdxSd3XKSwY=
@size 315064
@ts 1789600699
@bin libexec/prover9/dprofiles
@sha QJLatMwi9HD4ziDN2CQk781kiFF5Bk66G3px0oWARsw=
@size 314600
@ts 1789600699
@bin libexec/prover9/fof-prover9
@sha 6J0C5EAGCpAtgqugm58c+yyVdN1it7hE1uRTYawAj0w=
@size 415808
@ts 1789600700
@bin libexec/prover9/idfilter
@sha 3UoSF01tXDvGt23C+ZXpAltYCsuVE3hlq7YyYZvhReI=
@size 288912
@ts 1789600700
@bin libexec/prover9/interpfilter
@sha o0tZ384+tTei+4mwJVrp+GuM8E8X8rG8nwK0TgPdHR0=
@size 315464
@ts 1789600701
@bin libexec/prover9/interpformat
@sha NXATIZPg/EZddmITBPW8vUzaEFJFmnajkbt7/XcC6CE=
@size 317568
@ts 1789600701
@bin libexec/prover9/isofilter
@sha LCBGamvOwJs2/vJ/ZkMt7H9aJE3LNhy36jI+KbX847k=
@size 316032
@ts 1789600701
@bin libexec/prover9/isofilter0
@sha NdJapnr2CbEFO+gNY1LX9DWvqmzKPcjIQceJXE2MCV0=
@size 315736
@ts 1789600702
@bin libexec/prover9/isofilter2
@sha V8p0UJkd0nkZU9ioDwhuBj0GnaOucLMGjcUVCZy1tdQ=
@size 316064
@ts 1789600702
@bin libexec/prover9/ladr_to_tptp
@sha /y5xULTcgXzl6D+2WAQtHwa/5QmvUpCBenswMs5uz5M=
@size 421456
@ts 1789600702
@bin libexec/prover9/latfilter
@sha cwcOKWvOmbA5ZAbCZLVLf8kHxV4IqUVNa9SPJkTY2H4=
@size 289080
@ts 1789600703
@bin libexec/prover9/mace4
@sha y5I8IylHviTB3QuhAtLS4XwVevQ/uhFpTYyaEit2DyY=
@size 356256
@ts 1789600703
@bin libexec/prover9/miniscope
@sha aAHOFr23i7d+7Dz1rH7FVVOsWal3BYYXpfmGXSt0jUA=
@size 287504
@ts 1789600703
@bin libexec/prover9/mirror-flip
@sha Ditl+rQvecv54Qdpq6/3iXAlOtfrkuK1ArRMGXKG3lM=
@size 288072
@ts 1789600704
@bin libexec/prover9/newauto
@sha Hj2ctO/8mcAyooyGM8Mw7k3jT/eXVI03eg7e52YOvSY=
@size 417520
@ts 1789600704
@bin libexec/prover9/newsax
@sha Y6VUGthfV11v+ykCsfA6bOZlNdlv0e6PTgZA07X3+eQ=
@size 418016
@ts 1789600705
@bin libexec/prover9/olfilter
@sha SWj9nCdOY9FC+vZXZkCooOpJkD5q+lxRGixubQ1/Who=
@size 291528
@ts 1789600705
@bin libexec/prover9/perm3
@sha 07TPslMa/NiGGytEqegx0doffKSdkJhooqRgQ6dpmZ0=
@size 288856
@ts 1789600705
@bin libexec/prover9/prooftrans
@sha 9WZwSefySyIh2LFwnsNr30ZzxeM23rTr/63hkPCDAsA=
@size 295760
@ts 1789600706
@bin libexec/prover9/prover9
@sha z1VYgL2FaTAXqGxj32Ha1LEXAqZ1YYMiz1S9ekZovgk=
@size 415600
@ts 1789600706
@bin libexec/prover9/renamer
@sha kuCaW1ffnx9lHjePTDNm6xGYnzwZBpA92wT63cNh6P8=
@size 287928
@ts 1789600706
@bin libexec/prover9/rewriter
@sha pwUpsKZt6QP1GvI7fWikVDCZPWjdpK3Tj10QHGuE1z0=
@size 288696
@ts 1789600707
@bin libexec/prover9/sigtest
@sha tWMSst1hYUWBiZfOIjM5BPmffrecurq3R2vj+GkdEvw=
@size 314600
@ts 1789600707
@bin libexec/prover9/tptp_to_ladr
@sha Lu9ZUAFvbNZVBv7Ovj0po0IJfz+3Gk0OOW9l7hK+qu4=
@size 421712
@ts 1789600708
@bin libexec/prover9/unfast
@sha wdOIMbadE9EHXTqIJBwVJA2J+9uJipxnLlmEf4Yykpk=
@size 287680
@ts 1789600708
@bin libexec/prover9/upper-covers
@sha esd38X0N3TkNLmd5MjIbAuVx6Pc8sor93sNRcudpQuU=
@size 315256
@ts 1789600708
share/examples/prover9/
share/examples/prover9/attack
@sha Fuf0xhHy2EaBafEheJXucCz0xFMUbYCnfrD5+Tn5iu4=
@size 4807
@ts 1789600709
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1789600709
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1789600709
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1789600709
share/examples/prover9/gvizify
@sha bUTuzv7elbXJx1t1nYRmSBx5qao5JaK2A2OTmRTIYSo=
@size 11968
@ts 1789600709
share/examples/prover9/looper
@sha gel2+1/3FHhIOYhjGjpzTag5i3nZDYtejBolFpzqQpM=
@size 5100
@ts 1789600709
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1789600709
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1789600709
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1789600709
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1789600709
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha zg5bgi2oVW+SkhF0+CPQvFxOqIMEOZK+oru47B4lfU4=
@size 4140
@ts 1789600709
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1789600709
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1789600709
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1789600709
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1789600709
