Added tinymt32dc.172.1048576.txt