De-RNG-ed solutions

De-RNG-ed was solved using C# by 5 contestants. Solution sizes: average 6035 bytes (shortest: 3522; longest: 9197).