Rains Over Atlantis was solved using Java by 4 contestants. Solution sizes: average 5743 bytes (shortest: 3624; longest: 8835).