De-RNG-ed solutions

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

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