0102x100132x10122x103221x10211x1011132x10232x1030322x10244x130424x10402x130042x10402x1300042x10451x1000415x10511x101135x10511x101315x10514x1033415x10532x1030552x10532x1303552x10541x103154x10541x1004115x10544x140435x12024x122400x12051x1000521x12051x1503521x12051x1530521x12054x124035x15102x125031x15324x123435x15402x1503042x100211x1030121x101514x1043115x101541x1401135x102024x1002124x102051x1500021x102132x1303122x102151x1052110x102351x1521003x104042x1300442x105024x1040524x105132x1034152x105432x1003425x105542x1403552x120124x1221340x120511x1502311x125511x1552113x134211x1343112x135021x1125033x141211x1341121x141241x1434112x143511x1341115x150151x1503115x150502x1200055x151451x1501154x151451x1534115x153154x1534135x1011121314151FULLTRS//ICFP_2010/213147.srs