Added tinymt32dc.7.1048576.txt