Added tinymt32dc.80.1048576.txt