25x1133010x125x1220501x135x1132001x135x1320530x145x1221321x145x1320500x1125x1105054x1125x1122101x1125x1201310x1145x1124021x1251x1222123x1252x1402233x1253x1204133x1254x1205101x1325x1320105x1342x1340222x1351x1042005x1351x1042234x1351x1214101x1352x1043222x1352x1202230x1352x1233212x1353x1024330x1353x1054330x1353x1234042x1354x1020500x1354x1050012x1355x1054105x1451x1210533x1452x1051004x1454x1221042x1454x1320320x1553x1510122x1554x1510422x1x1010201x12x1222232x13x1230301x14x1010432x15x1101013x112x1133013x112x1230533x132x1323052x132x1323105x132x1323133x142x1412401x143x1423230x152x1102205x152x1522223x1004x1314010x1034x1023323x1140x1230010x1142x1110533x1143x1231333x1253x1252302x1325x1053225x1334x1223034x1452x1054202x1540x1500220x1542x1541323x1553x1510204x1115131214101FULLTRS//ICFP_2010_relative/3336.srs