Added tinymt32dc.0.1048576.txt