000x100102x1032x14302x10042x104102x10052x150230x10132x103102x10132x131102x10132x1014312x10413x1143022x10423x154302x10452x1502242x10513x1301512x10530x1501430x10532x1515023x14023x134302x14023x143502x14413x1434122x14520x1421502x14520x1510224x15100x151020x15100x1521020x15130x150213x15132x1301512x15132x1311522x15300x1504302x100413x1401023x100452x1501024x100532x1015023x101052x1102510x101452x1215024x103140x1410103x103200x1001023x103402x1430210x103402x1430230x103442x1403422x104253x1043512x105120x1301502x144220x1410224x145120x1504122x145232x1543522x151032x1503102x151053x1550131x151300x1350120x151302x1302152x151302x1501032x151302x1501123x151320x1531520x151323x1343512x151452x1514152x155132x1355412x1011121314151FULLTRS//ICFP_2010/213437.srs