01234x102314x1051234x1012534x1051234x1052134x1051234x1502314x1052314x1015234x1011121314151FULLTRS//ICFP_2010/264405.srs