Added tinymt32dc.133.1048576.txt