C2

k=9 reproduced locally, identical to upstream

In plain language

The k=9 case was recomputed locally and matched the upstream result digit for digit, the highest independently reproduced result.

Exact statement

k=9 reproduced locally, identical to upstream