Added tinymt32dc.212.1048576.txt