Added tinymt64dc.142.1048576.txt