001x1203301x1010x1013403x1010x1203014x1011x103131x1011x113014x1011x1013131x1011x1132130x1011x1133140x1011x1303151x1011x1503151x1050x130350x1050x135003x1050x150302x1050x150330x1050x1450330x1050x1450350x1050x1530130x1200x103032x1200x1033023x1200x1035203x1510x1350143x1510x1351403x1511x13151x1511x113135x1511x1133351x1511x1135514x10201x1023301x10510x100135x10540x104503x12020x1303022x12041x1230144x12050x100352x12241x1324321x15101x1051431x15110x105151x15120x1313502x15150x153501x15201x151032x15311x1531315x15411x1514145x15510x150513x15511x1513501x102410x1240013x105511x1513501x122241x1122142x125011x1512013x150241x1514032x152410x1023451x153041x1530141x153411x1143521x1011121314151FULLTRS//ICFP_2010/212612.srs