Added tinymt64dc.212.1048576.txt