Added tinymt64dc.172.1048576.txt