Added tinymt64dc.72.1048576.txt