Added tinymt32dc.139.1048576.txt