A Reference Solution for the Lorenz System on [0, 1000]