25x1133010x125x1220501x135x1132001x135x1320530x145x1221321x145x1320500x1125x1105054x1125x1122101x1125x1201310x1145x1124021x1251x1222123x1252x1402233x1253x1204133x1254x1205101x1325x1320105x1342x1340222x1351x1042005x1351x1042234x1351x1214101x1352x1043222x1352x1202230x1352x1233212x1353x1024330x1353x1054330x1353x1234042x1354x1020500x1354x1050012x1355x1054105x1451x1210533x1452x1051004x1454x1221042x1454x1320320x1553x1510122x1554x1510422x1215111310141FULLTRS//ICFP_2010/3336.srs