- The Escape rules do something in all cases but appear to be buggy.

- OCaml support code for the extracted code can read and write esx files
  and batch verify solutions in a player file.