A probabilistic rewriting model of Randao-based RNG schemes - View it on GitHub