Added tinymt64dc.253.1048576.txt