THIRTEEN's ICFPC 2014 source code