Added tinymt32dc.42.1048576.txt