Added tinymt64dc.232.1048576.txt