Added tinymt32dc.253.1048576.txt