2018-02-18 時間制限5秒を導入。ゾブリストハッシュに使う乱数、 今まで64ビットだと思っていたのが32ビットだったらしい。慌てて64ビットの乱数を作成したのだが定跡もそれに合わせて書き込みし直さないといけない。