De-RNG-ed solutions

De-RNG-ed was solved using C by 2 contestants. Solution sizes: average 2402 bytes (shortest: 1984; longest: 2820).