@name ladr-dec-2007p3
@version 12
@comment pkgpath=math/prover9/ladr ftp=yes
@arch amd64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.99.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha dUuvndFRJnYIGeLT9kL8PD9VulBzETW+inJCqzf9uEE=
@size 479944
@ts 1710516089
@bin libexec/prover9/clausefilter
@sha 2+AnNjhhzyo3SAWxweHInUoVHV/dWY50ykxZ41LvRdI=
@size 367936
@ts 1710516089
@bin libexec/prover9/clausetester
@sha XEc65RNNkjpjbvlf2qYCBWov5MX9XsrVYQUeBOtgIFM=
@size 367224
@ts 1710516089
@bin libexec/prover9/dprofiles
@sha aYlEdnjLcab/hX5E9jf61BuFAdMtmxOoR4qk1OWvisQ=
@size 366728
@ts 1710516089
@bin libexec/prover9/fof-prover9
@sha WxC5uLjwUJoOKBOO2Gd9BymArzmsMqHvs1VIYJ/EoQY=
@size 479096
@ts 1710516089
@bin libexec/prover9/idfilter
@sha pTPnDAcwrypRBsuvJBnjrGbFC4OVEhRxMysbo7P3jzg=
@size 334928
@ts 1710516089
@bin libexec/prover9/interpfilter
@sha bO/7X/GXfdwaFAMBQ3lJ2f6bCmiJ5x+diFcYtTQd2J8=
@size 367688
@ts 1710516089
@bin libexec/prover9/interpformat
@sha 1owuh3cqg1s1XlobQBY5g1z5V7MbpXr8ilsNv+tL70w=
@size 369768
@ts 1710516089
@bin libexec/prover9/isofilter
@sha El+fJNFwjE/5eqCqUpI9zG4bmcH2qnKxGJ91bZRN/8g=
@size 368144
@ts 1710516090
@bin libexec/prover9/isofilter0
@sha X49Q7tRXPTFIhgtDazR4FWopMKULgYzak5uszFXwt8c=
@size 367832
@ts 1710516090
@bin libexec/prover9/isofilter2
@sha 8GXIrTFin9pISU9F/TiHfwaa8Tdwi843U7xGlIWP2z4=
@size 368128
@ts 1710516090
@bin libexec/prover9/ladr_to_tptp
@sha ftJ8UkgYdcLloPzCztb5cLbO2fhdvmXbBz8QwOBCKkE=
@size 485032
@ts 1710516090
@bin libexec/prover9/latfilter
@sha 0mZZqfGs+GqHzj2xsEo42MQi/DOlmWXMQWjyPwWzs3M=
@size 335144
@ts 1710516090
@bin libexec/prover9/mace4
@sha 4WS5bjGg53CavbmMF3lupMrkct/jM9DDAZcFT7wKhbw=
@size 413136
@ts 1710516090
@bin libexec/prover9/miniscope
@sha hNUj+wV9lBPIoc3SwE42ZPrCDyH3i138b3ccGNrKx1k=
@size 333408
@ts 1710516090
@bin libexec/prover9/mirror-flip
@sha pHZf0czyc/jw8FnOAOo4fO3bVgVoLncABXY6NH375Us=
@size 334104
@ts 1710516090
@bin libexec/prover9/newauto
@sha LOpOpIh7LDkNgU/aGoe00+OEyQh74jkDvMgXk3+k05M=
@size 480744
@ts 1710516090
@bin libexec/prover9/newsax
@sha B3Zt+6rtsq0jXv3/6neEgFrcgXhLQolxoqEKaswzAu4=
@size 481256
@ts 1710516090
@bin libexec/prover9/olfilter
@sha 2yxWJkC5EoS9w1gy/4PgAbP8rAWh6N/ULq4i+0P56+s=
@size 337736
@ts 1710516090
@bin libexec/prover9/perm3
@sha 4q/KgtwfvvviGJISu82aEZOhOgRknRGo5970fGBTxc0=
@size 334872
@ts 1710516090
@bin libexec/prover9/prooftrans
@sha On+szhAlsn1LIzxNw5B04xncgu2+DXAnnWYaX2dPDrs=
@size 342472
@ts 1710516090
@bin libexec/prover9/prover9
@sha hSYZ5V5vJZrTssuIex9EtK1vPlCVPHfVNO+Ld+HrSpI=
@size 478888
@ts 1710516090
@bin libexec/prover9/renamer
@sha T3HHzLZc6UgT4D3RL24AVPc7zOP9Sa4ZOGg8uzXNiDU=
@size 333848
@ts 1710516090
@bin libexec/prover9/rewriter
@sha b29WlQG1sQF/BzYG+AaVMvuXhsEdBSW+2jdLX2oLmZs=
@size 334696
@ts 1710516090
@bin libexec/prover9/sigtest
@sha 3k1DmcbZ4IiMluUs/sowxYi9653kb9KNrrpTXGJ3iRc=
@size 366744
@ts 1710516090
@bin libexec/prover9/tptp_to_ladr
@sha Hg3cBkXBfRfoHO4jGhyyrmq3PCT0yyTJZHLWngvfPJk=
@size 485160
@ts 1710516090
@bin libexec/prover9/unfast
@sha iJiF6vLZ6BcR0Yvg8tBSYohpnLjQ+bq3n79VJjbIeGQ=
@size 333616
@ts 1710516090
@bin libexec/prover9/upper-covers
@sha LVKXnnhsIPeBR6i1+ypUQYmj2zae5DFi489MkdkJxLI=
@size 367992
@ts 1710516090
share/examples/prover9/
share/examples/prover9/attack
@sha glXNktsDmeDyJRpW9cFrwMSWyqWNLlpLUDqxPx2Vllg=
@size 4807
@ts 1710516090
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1710516090
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1710516090
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1710516090
share/examples/prover9/gvizify
@sha NoX51XsvZ8OTEBMDqsiy/Azr12gP97//ZQXzMTa78qE=
@size 11969
@ts 1710516090
share/examples/prover9/looper
@sha FMRdVA40aowqC9TtGnSdhgOuR1pMNcMOiJRsCSmS+tc=
@size 5100
@ts 1710516090
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1710516090
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1710516090
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1710516090
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1710516090
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha O+LKdE1hwGxl4FpmxpB3WTNUjd344C959j1zXIljQ6k=
@size 4140
@ts 1710516090
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1710516090
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1710516090
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1710516090
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1710516090
