012x123031x10002x1300302x10022x1230032x10112x1230311x10121x1012413x10122x1230312x10125x120531x10151x1103531x10152x1241035x10152x1243105x10152x1313052x10155x113055x10212x1223031x10252x122305x11145x154131x11515x1135531x11551x1153153x12012x1223031x12015x121305x15012x1305312x15012x1423051x100001x1001003x100125x1200531x100152x1010352x101045x1540031x101112x1103112x101215x1210531x101352x1304152x101425x1243051x101442x1104442x101501x1011053x101505x1351050x102421x1212430x104021x1304120x105015x1050531x110015x1510031x110145x1144105x114015x1141305x120152x1210352x120421x1214230x120512x1031522x122112x1221312x125152x1241552x150145x1410355x151015x1315105x154021x1413520x155145x1541355x1011121314151FULLTRS//ICFP_2010/160234.srs