Added tinymt64dc.143.1048576.txt