@name ladr-dec-2007p4
@version 8
@comment pkgpath=math/prover9/ladr ftp=yes
@arch mips64,octeon
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.100.3
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha zam4fw2rYMYttmSGXy1PneyRZ9njPGpE+iqi8IUq3pE=
@size 887608
@ts 1727539191
@bin libexec/prover9/clausefilter
@sha Y5lPA/XTy20jMkd+DX70gJxpP2qAVl07lU+BbJtvhPU=
@size 696328
@ts 1727539191
@bin libexec/prover9/clausetester
@sha 5rJdaXWCOa3+Dq65Iz5uRiRLEvyL+kCL15lKzm9judg=
@size 696216
@ts 1727539191
@bin libexec/prover9/dprofiles
@sha FPU11D0HWai0yZLV+nXhDTTks6txpKqYnr9QtRfU0Rc=
@size 696136
@ts 1727539191
@bin libexec/prover9/fof-prover9
@sha A6/sDSlEW3naZwHrRp/mzzADcRTl+Du+kD97ma9wCH0=
@size 887608
@ts 1727539191
@bin libexec/prover9/idfilter
@sha DcshKBkyRTjKlmAzy9x5h6e27pCWjw1M+1o3oaeodwQ=
@size 645672
@ts 1727539191
@bin libexec/prover9/interpfilter
@sha kjpw8c2qfyXe9+VNUT4o1I7fmXk1AvtlZWLGssOtoxo=
@size 696472
@ts 1727539191
@bin libexec/prover9/interpformat
@sha iiUBuzIFQK54cpm8m3oY5VQxu+LYvne/yMdd/LZpWRM=
@size 696728
@ts 1727539191
@bin libexec/prover9/isofilter
@sha Gq0gZhbTFrASaqP4kGnQwxo/wBMyZk1MVj5d6/mZDME=
@size 696440
@ts 1727539191
@bin libexec/prover9/isofilter0
@sha Mq+3lh4qVVh3Mhvaj3UvzQ5KiucBKDxbHa3l7ZPAs38=
@size 696408
@ts 1727539191
@bin libexec/prover9/isofilter2
@sha Ka9kJ+B+Pm36TriVbTJ9v0K5viudS4Z/XQSprOyTK9E=
@size 696440
@ts 1727539191
@bin libexec/prover9/ladr_to_tptp
@sha 60XqXpmxsknygGcOb3pgEoSyNYYLdiIQU24Ten0tgFs=
@size 904312
@ts 1727539191
@bin libexec/prover9/latfilter
@sha Z608mS7duzeqwzO9cBO5zA4YA7Wqx7cu6PebR+HZIOo=
@size 645640
@ts 1727539191
@bin libexec/prover9/mace4
@sha R1W0ruWpnoV2ls1089jjNHd1WYnP6yeHf/Pu1TtHs7o=
@size 764712
@ts 1727539191
@bin libexec/prover9/miniscope
@sha jXBzooqEW6QYstZDe5tPUBeti0A5NySypp3YF6Yn+f4=
@size 644984
@ts 1727539192
@bin libexec/prover9/mirror-flip
@sha 6eReghha2S1Q0h+PNm/0LlW4eHOqyRB/8969thgiEkI=
@size 645048
@ts 1727539192
@bin libexec/prover9/newauto
@sha u6RZBvcoipZM3o+vwC4yVD4FY4RvrBv/5eYtR8bgNGw=
@size 887640
@ts 1727539192
@bin libexec/prover9/newsax
@sha 5K/NAYa0mOg5F68k+mAtNjUPJfXcGQENlbyv57gGQuQ=
@size 887672
@ts 1727539192
@bin libexec/prover9/olfilter
@sha KmimffTUKDtUzMDbeOt5EJYnhb88Z6e1jJ+AvCEC90M=
@size 645864
@ts 1727539192
@bin libexec/prover9/perm3
@sha rQ/4nwjuEo51kT+SEYryNhHMzGknrF7v0M6UolgRRpo=
@size 645048
@ts 1727539192
@bin libexec/prover9/prooftrans
@sha mygC5/NTsZGCQD/yULdAzdx/bkqfHsUi5gfuqfnRMQQ=
@size 662344
@ts 1727539192
@bin libexec/prover9/prover9
@sha 622mnkCWBAjnNHX0/1C+gkPn5pgiIA3HEUbkUX+GT9I=
@size 887608
@ts 1727539192
@bin libexec/prover9/renamer
@sha eXPwnjBuMYixYP1MGwYdfR9rWaosU10KUT4nrBvNDzo=
@size 645272
@ts 1727539192
@bin libexec/prover9/rewriter
@sha 4lIM9Zt5FW6P6/31dd+9uUhIN4t5mqgov8C//MHGIEo=
@size 645624
@ts 1727539193
@bin libexec/prover9/sigtest
@sha I0/BrYWLVZWmS0xG+1tmxxGPtRKb/vu+p8+Xa7fWj+4=
@size 696008
@ts 1727539193
@bin libexec/prover9/tptp_to_ladr
@sha C/W+IEscugfGoyRNKCMSQyRJUP0hh9n/PufEefmnx0c=
@size 904344
@ts 1727539193
@bin libexec/prover9/unfast
@sha tje3Z5teufZmPwGdntLquKQ2clAW8qX09YRbVJKEnN8=
@size 645320
@ts 1727539193
@bin libexec/prover9/upper-covers
@sha P9etvhLBLwZPd9rRWfdWeKvRYH3KVAq65gWvJQ/6Yr4=
@size 696280
@ts 1727539193
share/examples/prover9/
share/examples/prover9/attack
@sha 6N84cBfycsR3Bk4Rfs5giiYSH+gLCFcG38hICvgLWLI=
@size 4807
@ts 1727539194
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1727539194
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1727539194
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1727539194
share/examples/prover9/gvizify
@sha G4mnnsOtko0IcWpzF3//fCSAGR/p7jG28yClc06EJXE=
@size 11969
@ts 1727539194
share/examples/prover9/looper
@sha 0e+Ef9IfbV3Ti35QldI5y8vrO27a8OMN/NzvfvMUhfc=
@size 5100
@ts 1727539194
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1727539195
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1727539195
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1727539195
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1727539194
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha u0zBINUpb+snadBfQwbVk8iFOBJ8aSDdWJXaJW52UiQ=
@size 4140
@ts 1727539194
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1727539195
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1727539195
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1727539195
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1727539195
