Added tinymt64dc.250.1048576.txt