De-RNG-ed solutions

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

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