Added tinymt32dc.9.1048576.txt