Added PRNG from FASTA shootout benchmark