De-RNG-ed solutions

De-RNG-ed was solved using C++ by 228 contestants. Solution sizes: average 2737 bytes (shortest: 994; longest: 11126).

The list below is sorted by ranking. You can also sort by solution size.