@name ladr-dec-2007p4
@version 5
@comment pkgpath=math/prover9/ladr ftp=yes
@arch riscv64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.100.3
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha HSJ/sPvpxFDPm5ZxHyjTM6qu6kViiOMczD9orRXE2xY=
@size 368280
@ts 1727538850
@bin libexec/prover9/clausefilter
@sha XGQSepGfAz9sCaC7XuvkElUkKQ5hEVMNEEf9WCl3tFw=
@size 275512
@ts 1727538851
@bin libexec/prover9/clausetester
@sha /YstYbwXtj4DJgphOL0YvMaJzFIIm2WVFfNIWGlin54=
@size 274992
@ts 1727538851
@bin libexec/prover9/dprofiles
@sha IpBf53Ckd2IFVVwmYOA6rxptInuHJNjRv2PrCgPNhD0=
@size 274544
@ts 1727538852
@bin libexec/prover9/fof-prover9
@sha ciljOkdIgnYtDTNxjvFdPCUXoQ5n9sD5XSe2z5CsOTU=
@size 367512
@ts 1727538852
@bin libexec/prover9/idfilter
@sha qUDkjFor3AswmFVSkycOPwnJGBHBk1entinrXIIuQtk=
@size 251416
@ts 1727538852
@bin libexec/prover9/interpfilter
@sha Rcmlw/4YVlLzCqVWDxeAJcJykpJCR7+UpXW7aN9lZLQ=
@size 275408
@ts 1727538853
@bin libexec/prover9/interpformat
@sha OZcImk0qQYCjcPpfeo/XP8xsSA3UQw9aCqHGp2i0mII=
@size 277384
@ts 1727538853
@bin libexec/prover9/isofilter
@sha vR8q7qd0G2QhOcvxedSat8v2p+cM0pfTVXWPoSO7Pb4=
@size 275912
@ts 1727538853
@bin libexec/prover9/isofilter0
@sha 3SXxvF1eFZbcvrkwCq7ug/FE+Od8dk/IguYi3JB5WyQ=
@size 275632
@ts 1727538854
@bin libexec/prover9/isofilter2
@sha gzCUMyFflvl3B3LtuIEHOZ6FwL84wu+d7APe+s45W6U=
@size 275944
@ts 1727538854
@bin libexec/prover9/ladr_to_tptp
@sha JD2cxhG82TUdu956uKlQzZn2X5mhJSWoPluS7OYozBQ=
@size 372712
@ts 1727538854
@bin libexec/prover9/latfilter
@sha /+F5m5iGUlmlWu2+mUmkDhqC/Xso4jGAjxwb70GYHzo=
@size 251496
@ts 1727538855
@bin libexec/prover9/mace4
@sha h/pSM8pSBGZNlbiR3I8vLgkrVrjdkEYRADjvLdaIXpc=
@size 312848
@ts 1727538855
@bin libexec/prover9/miniscope
@sha BIyEG5nYWpFP96h3gVgYKT89e0kmoSTNSz7Lo6vwoTA=
@size 249968
@ts 1727538855
@bin libexec/prover9/mirror-flip
@sha QpKPQK/tQa5DHpD/DBxEQ7fI2865n7eYCaDo/p3BiMk=
@size 250536
@ts 1727538856
@bin libexec/prover9/newauto
@sha XE2dG1qysQtHiK2nKQZFqJ6eWDM3QpKVEoVMmen6Nu0=
@size 369096
@ts 1727538856
@bin libexec/prover9/newsax
@sha hIkZ6qffmfrUdedt8Cmq51Q2ka951rgQc444EUb4zqc=
@size 369560
@ts 1727538856
@bin libexec/prover9/olfilter
@sha H/ckItbDBI8RxgI6tgo0SWiHgoe+JngVaHErl95R/78=
@size 253856
@ts 1727538857
@bin libexec/prover9/perm3
@sha rZyCe0HRkeJnBaHwPAHW7sADhCU8FqZxJt+oji0EH0c=
@size 251224
@ts 1727538857
@bin libexec/prover9/prooftrans
@sha Ne4VLWvAISJb0EtDfSm0zD9LQn22hPusIWXmwyNpx/o=
@size 257208
@ts 1727538857
@bin libexec/prover9/prover9
@sha bMVuHzePTAhqL5yW0Db95vjuaTQl95BIsrcZrko2yD8=
@size 367304
@ts 1727538858
@bin libexec/prover9/renamer
@sha T2sGRCVLtqebdlIKECjPIJpn9rCy+A1RbZEVjwnfmD0=
@size 250480
@ts 1727538858
@bin libexec/prover9/rewriter
@sha Axak2+tUXxRnb8JkpCpkoexR5f5zhjGfGW5go9eHMq0=
@size 251200
@ts 1727538858
@bin libexec/prover9/sigtest
@sha 1OIZcqpwUfoelHsl2nPWXLXvaSiCCEP6qB/8beFzFqk=
@size 274488
@ts 1727538859
@bin libexec/prover9/tptp_to_ladr
@sha REJi0OIYqD0i4Cu805Uu0lkOb/bs8M6W0EKvc2k+5XY=
@size 372872
@ts 1727538859
@bin libexec/prover9/unfast
@sha mU/G8jNlFHc1Di0ufaP+SXJpkSHE32VFi9RSvEFZdVE=
@size 250192
@ts 1727538860
@bin libexec/prover9/upper-covers
@sha 7gQEX6IrKJkko58nUtZWs9gTz1xJZILOHSDo8E2CzBo=
@size 275200
@ts 1727538860
share/examples/prover9/
share/examples/prover9/attack
@sha 6N84cBfycsR3Bk4Rfs5giiYSH+gLCFcG38hICvgLWLI=
@size 4807
@ts 1727538860
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1727538860
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1727538860
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1727538860
share/examples/prover9/gvizify
@sha G4mnnsOtko0IcWpzF3//fCSAGR/p7jG28yClc06EJXE=
@size 11969
@ts 1727538860
share/examples/prover9/looper
@sha 0e+Ef9IfbV3Ti35QldI5y8vrO27a8OMN/NzvfvMUhfc=
@size 5100
@ts 1727538860
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1727538860
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1727538860
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1727538860
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1727538860
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha u0zBINUpb+snadBfQwbVk8iFOBJ8aSDdWJXaJW52UiQ=
@size 4140
@ts 1727538860
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1727538860
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1727538860
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1727538860
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1727538860
