@name ladr-dec-2007p3
@version 8
@comment pkgpath=math/prover9/ladr ftp=yes
@arch i386
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.99.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha WfU3f9hxvYTpmXbyy4o50amyuIx/aYcdvjeYe/ugKFs=
@size 430172
@ts 1710532183
@bin libexec/prover9/clausefilter
@sha tl1AhgWfgMIHCuKjIPAoX0Rsa3uimuFOy5PcOOo1fB4=
@size 326020
@ts 1710532183
@bin libexec/prover9/clausetester
@sha m1pd6idiUknmniaphU9rw/cPk+9A2HqGWfn6bbE+bK4=
@size 325936
@ts 1710532183
@bin libexec/prover9/dprofiles
@sha 2G5+lxGhZDuAghD7oyhs21h88BnfNqSAbTCkiT/AeSs=
@size 325852
@ts 1710532183
@bin libexec/prover9/fof-prover9
@sha tP63IfjpckQJEL+7yrJISauxKMrocjXoseWtYXTa2/s=
@size 430172
@ts 1710532183
@bin libexec/prover9/idfilter
@sha KI4AtTuIyFwtubmKp5Fi+XzyUPPahO/874lvEmMQx0E=
@size 297736
@ts 1710532183
@bin libexec/prover9/interpfilter
@sha jjdoNAJ0FBSR6omRlOVOzHxgQl+DzzGM+wu7+fK1Dnk=
@size 326188
@ts 1710532183
@bin libexec/prover9/interpformat
@sha wKic7qPz/9hTxtEFUQe2s4VO5nkDH2fSyybQDg72kU4=
@size 330516
@ts 1710532183
@bin libexec/prover9/isofilter
@sha G/9DGFbVDKM4dgCKqgJ2aOOVeswVbYH8XSyFaqWB0SU=
@size 326168
@ts 1710532184
@bin libexec/prover9/isofilter0
@sha G6Qw3DcUsqxNPViQheZTWzlvCl+rNulCfc0twatxRWA=
@size 326124
@ts 1710532184
@bin libexec/prover9/isofilter2
@sha sRePqVuTxE3J9j35ePgI+4ZB6ttsMPpxGXSsptqLGS8=
@size 326168
@ts 1710532184
@bin libexec/prover9/ladr_to_tptp
@sha IjSnSVk8dLvDLDQr6khh9B1L0bjsXTgKOsrRmJGmiyI=
@size 434268
@ts 1710532184
@bin libexec/prover9/latfilter
@sha 7fdEOdHWa5dVlBFVikkxrt86kjVcoX+S3Xvk63zAq6Q=
@size 297568
@ts 1710532184
@bin libexec/prover9/mace4
@sha L88On1Wq1tg+DvBvCuCj7AHfubkTOqsziNKvXDjpNIY=
@size 370888
@ts 1710532184
@bin libexec/prover9/miniscope
@sha JwTN9qjIo0+dM84NMOKR+btU/cmgjbDUH9FMUrl1B6Y=
@size 297048
@ts 1710532184
@bin libexec/prover9/mirror-flip
@sha x/Ww48x0Kx6QVhz5TTwI/fSD3lk+Wzj7GC7gdlHxEWs=
@size 297068
@ts 1710532184
@bin libexec/prover9/newauto
@sha rdXfsEML9HrCLnPo1kGMul5s+CdMlWU+id9nkE6Zxzw=
@size 430172
@ts 1710532184
@bin libexec/prover9/newsax
@sha OpEBvLZZIHVT2G1oBpwfpxAfF0c54OXZn+fAM67PwFU=
@size 430172
@ts 1710532184
@bin libexec/prover9/olfilter
@sha db5feUtjPiaFpYe0LgpQb9LoAcf23q4X3Z8yvdyZe2c=
@size 301728
@ts 1710532184
@bin libexec/prover9/perm3
@sha ToHo/WHV+ZYHS7iRYRU6ThG6oK/K8zo/EqaUdMSmTYE=
@size 297068
@ts 1710532184
@bin libexec/prover9/prooftrans
@sha 8TKJDKLYaMUOSEb/5j7l+XXeOxJCN+IQ6+6bQUta9e4=
@size 305616
@ts 1710532185
@bin libexec/prover9/prover9
@sha WL9BsKIswiV03TyOdlMmDHzy3bSi5QPMf8el/XBthG8=
@size 430172
@ts 1710532185
@bin libexec/prover9/renamer
@sha 4/k8DTG2LnKqHqIxlqv24J0BLiBC+Ff4WUqPY2RwGvg=
@size 297328
@ts 1710532185
@bin libexec/prover9/rewriter
@sha hq5O0I+b9fTj8zwmRoQKguQ2aKlLdZCi4xOp0rG4LqE=
@size 297676
@ts 1710532185
@bin libexec/prover9/sigtest
@sha 3WN17ohYJS9mcsU1OD0VZmZl6Lhi6OpC22PJlJHD0RQ=
@size 325728
@ts 1710532185
@bin libexec/prover9/tptp_to_ladr
@sha 1E0XKTkPcAyOxpSQjCh66Q7L8AnUTA5oUsrBlwX1e1g=
@size 434268
@ts 1710532185
@bin libexec/prover9/unfast
@sha +0uw3fnA4OdA+/PEzEc4Tqy2Ft7xWQXqm5SSNCsfeT4=
@size 297384
@ts 1710532185
@bin libexec/prover9/upper-covers
@sha NzznK7G3ew7tlVhnaVkWdQfd/QL8io8hqVlFGqXzWeo=
@size 325996
@ts 1710532185
share/examples/prover9/
share/examples/prover9/attack
@sha glXNktsDmeDyJRpW9cFrwMSWyqWNLlpLUDqxPx2Vllg=
@size 4807
@ts 1710532185
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1710532185
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1710532185
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1710532185
share/examples/prover9/gvizify
@sha NoX51XsvZ8OTEBMDqsiy/Azr12gP97//ZQXzMTa78qE=
@size 11969
@ts 1710532185
share/examples/prover9/looper
@sha FMRdVA40aowqC9TtGnSdhgOuR1pMNcMOiJRsCSmS+tc=
@size 5100
@ts 1710532185
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1710532185
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1710532185
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1710532185
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1710532185
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha O+LKdE1hwGxl4FpmxpB3WTNUjd344C959j1zXIljQ6k=
@size 4140
@ts 1710532185
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1710532185
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1710532185
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1710532185
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1710532185
