Added tinymt32dc.137.1048576.txt