@name ladr-dec-2007p5
@version 11
@comment pkgpath=math/prover9/ladr ftp=yes
@arch riscv64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.103.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha 1M3ijpdxXPPBjvol+1uY2WPfJyQrXepLaK4kB9lZYFs=
@size 377648
@ts 1784864302
@bin libexec/prover9/clausefilter
@sha kw7nmtW0+3tFs/lc1BMk64AntJYjK8j+YbwwPAwHF3k=
@size 283264
@ts 1784864303
@bin libexec/prover9/clausetester
@sha KPxUf9wLJO0TJxasZmOA1lLiUTkoOwsLeWNOMoNMNp8=
@size 282744
@ts 1784864303
@bin libexec/prover9/dprofiles
@sha fN6CUD8rBAxiVhfesd0fyf9pqs16NBqVir0iVV8WwbA=
@size 282280
@ts 1784864303
@bin libexec/prover9/fof-prover9
@sha L21fgXKDM7YiZI/DCqOjs1CBgtwjaWhG3Vjn96UaGec=
@size 376880
@ts 1784864304
@bin libexec/prover9/idfilter
@sha xjAlr8AfKAnO/Ffq2qIM80GboIguC4+7LxyRFwnwjTA=
@size 258592
@ts 1784864304
@bin libexec/prover9/interpfilter
@sha Zri5/KsWkwEkZLC3VxbNZxCpz5w0sPKqzx2eqsDFZKY=
@size 283144
@ts 1784864304
@bin libexec/prover9/interpformat
@sha lHeqb2nn1D6l/vtcW8DZHmpBDRHxkt6X+V2ggm845AE=
@size 285072
@ts 1784864305
@bin libexec/prover9/isofilter
@sha ++KY777JN21TjtdHEKt5CVVVAhXCTcVB9D9nv64jjrY=
@size 283664
@ts 1784864305
@bin libexec/prover9/isofilter0
@sha 2MyyWd3aJeuYs2XGPXtxoWVHu7kaNEc/5UpNfokUUsQ=
@size 283384
@ts 1784864305
@bin libexec/prover9/isofilter2
@sha vr94FMNHDg3/t+TTmHzXqrsz0YmjMzZuYI23SDSjAf8=
@size 283680
@ts 1784864306
@bin libexec/prover9/ladr_to_tptp
@sha 9ljYoSCqNFFiMoaQCrDViCG4meGqF9IjM8XWhBI7GSk=
@size 382256
@ts 1784864306
@bin libexec/prover9/latfilter
@sha pipWzgFrA8Kr8akUPv3RcxVg0X59H3TCNXkqpT/e66Y=
@size 258680
@ts 1784864306
@bin libexec/prover9/mace4
@sha nduIqkIFnqb8+3vErid67rIKGJUk/abzCcZKIdmiveo=
@size 321232
@ts 1784864307
@bin libexec/prover9/miniscope
@sha 8gXa5VbG9AN9DSpi/ljBcBaq7rldCEAgGmsgtQBj7Eg=
@size 257216
@ts 1784864307
@bin libexec/prover9/mirror-flip
@sha 9vlfi58guwwdi0P6J++NEmIGw/g3pZGmp9MdCMKqw9M=
@size 257736
@ts 1784864307
@bin libexec/prover9/newauto
@sha b715/DsVjtHbp32Z/LNjTZKQ27hKvtKcMAnqWqNMjjI=
@size 378496
@ts 1784864308
@bin libexec/prover9/newsax
@sha MqM/9qFROZVPRb8a5uPhE9qEKPWc2qlY38khBkPooE4=
@size 378960
@ts 1784864308
@bin libexec/prover9/olfilter
@sha mcXWdApR6sSsp7ML9yc6pF7Jpu0iy/2t/HptYPy0CRM=
@size 260904
@ts 1784864308
@bin libexec/prover9/perm3
@sha MC411lgC3INChX8D7FFXHYcFcxCEeo0MyV5H/BQfMss=
@size 258408
@ts 1784864309
@bin libexec/prover9/prooftrans
@sha 8vHBE40bBYGJqGx5B6IsMG/IKfuZIsKL10Pk9xROBBc=
@size 264464
@ts 1784864309
@bin libexec/prover9/prover9
@sha BKHswo8+34Q0HNQN0C/njobKXk9hJsRJjUWrDZTYsg4=
@size 376688
@ts 1784864309
@bin libexec/prover9/renamer
@sha 9ePn+o1nmnhOEkk/G6byuDnXR7xb0EnbGH+TB0Ehkhw=
@size 257640
@ts 1784864310
@bin libexec/prover9/rewriter
@sha NjAb37GU549VnNBgvKSXCzvJJ7nLLkDmisvnXJ6oNwo=
@size 258408
@ts 1784864310
@bin libexec/prover9/sigtest
@sha xyPNgwKf+6d9BhL64ghdtgO95xfqQP4sNopR/rvt4pQ=
@size 282280
@ts 1784864310
@bin libexec/prover9/tptp_to_ladr
@sha rKV/NoKEjc0jKzDf3YlYWZDD1Qoks5anEMYbXFJvvTA=
@size 382448
@ts 1784864311
@bin libexec/prover9/unfast
@sha qxMvFWst9GBRdWToet3+OQd3/B4FLPmPACR5/wCsM+c=
@size 257392
@ts 1784864311
@bin libexec/prover9/upper-covers
@sha 5b0qk3j/8+r4U6GHkR7Qw+JWO9QiZLhEohU/tzkLytY=
@size 282936
@ts 1784864311
share/examples/prover9/
share/examples/prover9/attack
@sha Fuf0xhHy2EaBafEheJXucCz0xFMUbYCnfrD5+Tn5iu4=
@size 4807
@ts 1784864312
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1784864312
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1784864312
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1784864312
share/examples/prover9/gvizify
@sha bUTuzv7elbXJx1t1nYRmSBx5qao5JaK2A2OTmRTIYSo=
@size 11968
@ts 1784864312
share/examples/prover9/looper
@sha gel2+1/3FHhIOYhjGjpzTag5i3nZDYtejBolFpzqQpM=
@size 5100
@ts 1784864312
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1784864312
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1784864312
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1784864312
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1784864312
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha zg5bgi2oVW+SkhF0+CPQvFxOqIMEOZK+oru47B4lfU4=
@size 4140
@ts 1784864312
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1784864312
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1784864312
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1784864312
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1784864312
