De-RNG-ed solutions

De-RNG-ed was solved using Java by 52 contestants. Solution sizes: average 3717 bytes (shortest: 2017; longest: 8148).

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