De-RNG-ed solutions

De-RNG-ed was solved using Pascal by 3 contestants. Solution sizes: average 2267 bytes (shortest: 2144; longest: 2461).