Code from ICFPC 2013