Added tinymt32dc.130.1048576.txt