Added tinymt32dc.12.1048576.txt