Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs - View it on GitHub