The seed is computed using the last 4 tokens, but to get the predictive distribution they should still need the full history?