Added tinymt32dc.85.1048576.txt