utmcicfpc2012/icfpc2012-public archive