01234x102134x1051243x1052143x1052413x1015243x1053124x1015324x1054132x1054312x1011121314151FULLTRS//ICFP_2010/264370.srs