0x11x14545x14455x1555555444444x12x10111415121FULLTRS//ICFP_2010/25192.srs