Added tinymt32dc.143.1048576.txt