Added tinymt32dc.138.1048576.txt