De-RNG-ed was solved using OCaml by 1 contestant. Solution sizes: average 1968 bytes (shortest: 1659; longest: 2278).