seven-XOR PRNG