mt19937, mt19937_64 : 1,000番目に生成される値を記述