@name ladr-dec-2007p4
@version 7
@comment pkgpath=math/prover9/ladr ftp=yes
@arch riscv64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.102.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha QnJn0+KJKoxq0h5eGeg/V+HccFSo7qyMvm4UvZhynoQ=
@size 364928
@ts 1759989629
@bin libexec/prover9/clausefilter
@sha XamIMa4VCA15QElZ2YZI02oM8HHoHUNg6SEilb0LqEY=
@size 272080
@ts 1759989629
@bin libexec/prover9/clausetester
@sha 4QA8H546TPWzisBrT65RXj05uTIyETh1iyl3XzwggmA=
@size 271560
@ts 1759989629
@bin libexec/prover9/dprofiles
@sha M2OqyQ6Z/UL/nE/PYRLJ2syVA0yobGjq/GUDQkA3laQ=
@size 271080
@ts 1759989630
@bin libexec/prover9/fof-prover9
@sha eN0xKXdmJ1wUQDVMiWSEIBG3tjRtn7qS4Nxu940nc44=
@size 364144
@ts 1759989630
@bin libexec/prover9/idfilter
@sha RD6fhwa2k2hlT39B+GvDTs8ozq189DWJYwAu/d/zt0E=
@size 248176
@ts 1759989630
@bin libexec/prover9/interpfilter
@sha S5lP+QHs0o7DtvHDKeKcRaxZtO4SojOeD4ZeSc3EOKI=
@size 271960
@ts 1759989631
@bin libexec/prover9/interpformat
@sha vPDEUjIWqAASDHvVOJu5Sso3ceJ+8jdGBYUYX12ATL8=
@size 273872
@ts 1759989631
@bin libexec/prover9/isofilter
@sha qxIHvY/MHOpg2QTPL6XyD3lQj2dMmRZhZRPxw1P9/cM=
@size 272464
@ts 1759989631
@bin libexec/prover9/isofilter0
@sha DTqLk+c3hGO8GMDQhp8wcuVfIdxsfRL1GKiqamPa01A=
@size 272184
@ts 1759989631
@bin libexec/prover9/isofilter2
@sha GGFxBTlB4csVu3MGDV4ht6GVc/bD8AUPTU2B2Y67iYE=
@size 272496
@ts 1759989632
@bin libexec/prover9/ladr_to_tptp
@sha DMoBRhtVJAXH0jjSZ25bBiQc8ECe6rZHdvSU2amieas=
@size 369328
@ts 1759989632
@bin libexec/prover9/latfilter
@sha 2tU3Ry+ll04hEPRIsYN3aAPLNyWfmCWyEKk73KClvBw=
@size 248264
@ts 1759989632
@bin libexec/prover9/mace4
@sha qzcPdjlF/HvkMZqZEamQpBqtgPmKyVPh0dJ1xA2jf4Q=
@size 309152
@ts 1759989633
@bin libexec/prover9/miniscope
@sha Mhb0GvpM3YGgUWoxb61JiwrCZrngRccm69sxtSD/2oc=
@size 246736
@ts 1759989633
@bin libexec/prover9/mirror-flip
@sha Qm86HYmT/JVnNEURaMY1gS9VRw5x6tF10eK5an1Hr8Q=
@size 247304
@ts 1759989633
@bin libexec/prover9/newauto
@sha OWY/olqa8pb97aTN/vmFf1hfo9Ehj9/XB6C6umecFW0=
@size 365744
@ts 1759989634
@bin libexec/prover9/newsax
@sha Lql96JykBR48DS6lHqtEr18fpZcyb4Adl4eMpyCYChQ=
@size 366176
@ts 1759989634
@bin libexec/prover9/olfilter
@sha GfH3Y/Ps8ta6WYNIR6TDNpvOhXlbrGjLuoJOtOFwVhs=
@size 250520
@ts 1759989634
@bin libexec/prover9/perm3
@sha tjc4d6u5I9ua4ZbkAie6TrQJYEf4bFO7asb6ccI4lRw=
@size 247976
@ts 1759989634
@bin libexec/prover9/prooftrans
@sha wGlXP8t0mgC/T3PVlLg1W2ObbduOvsvZOtEfSmQOoHs=
@size 253904
@ts 1759989635
@bin libexec/prover9/prover9
@sha reoSh01nucUVsyM7NEcXLxP38OQSEYG4Y/gUQMQezSY=
@size 363936
@ts 1759989635
@bin libexec/prover9/renamer
@sha HD9maboKUxi8a8lGsR5jNXzKZUcE1qhO/rJQ2EcwoTE=
@size 247224
@ts 1759989635
@bin libexec/prover9/rewriter
@sha I0kwGFMNHCVl+P5414qebNydaEGFBvTLL13eQmrjm6I=
@size 247992
@ts 1759989636
@bin libexec/prover9/sigtest
@sha hsGw+lnADTPaLqwRxWR8PjMzN7KdMs/f7fwTOFh0pl0=
@size 271032
@ts 1759989636
@bin libexec/prover9/tptp_to_ladr
@sha c3StPR5cJuxIKPXJhuUMNCtd+KxgzAFM2+k6rkXl8uE=
@size 369520
@ts 1759989636
@bin libexec/prover9/unfast
@sha TC5Z49ez5UjoSXevRyUfZ1dHrO7awTLVg1R1q+bxwmE=
@size 246976
@ts 1759989637
@bin libexec/prover9/upper-covers
@sha L+9lsmq6PW2fnLa8rE6AmJFMHxRpWbwOqcv3ImTdNMM=
@size 271736
@ts 1759989637
share/examples/prover9/
share/examples/prover9/attack
@sha Osxi08wvt6ORtLLSAW3kIVmeGaEtfHpJbtcKZDwGP9s=
@size 4807
@ts 1759989637
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1759989637
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1759989637
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1759989637
share/examples/prover9/gvizify
@sha yNJPYLm12UfE9C2EXnZwcmNYNONVqn4hWgqxAmRJNGw=
@size 11968
@ts 1759989637
share/examples/prover9/looper
@sha d0kF5DR67I12SJ571cyL/A01q1ByVgVz09pA+15lN+g=
@size 5100
@ts 1759989637
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1759989637
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1759989637
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1759989637
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1759989637
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha MVPHXHcMN3+bwovGOD72CxLG6NobyDgULTy2RWbEtR8=
@size 4140
@ts 1759989637
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1759989637
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1759989637
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1759989637
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1759989637
