Mousetrap solutions

Mousetrap was solved using OCaml by 4 contestants. Solution sizes: average 2136 bytes (shortest: 906; longest: 3472).