De-RNG-ed solutions

De-RNG-ed was solved using Python by 2 contestants. Solution sizes: average 1497 bytes (shortest: 1077; longest: 1804).