012x11302x1012x13120x1012x120413x1012x130213x1012x133021x1012x1133023x1012x1204313x1012x1301312x1012x1305312x1052x11502x1052x13502x1052x130512x1052x135302x1052x1155302x1052x1504312x1152x15312x1152x115312x10054x1530400x10101x1113030x10112x1211302x10125x130512x10125x1353120x10132x1302135x10142x1300412x10142x1401312x10524x1553024x10525x102355x10532x130215x10532x1531402x11034x110413x11532x131352x15012x1150412x15102x131502x15112x1135213x15152x113552x100132x1031203x100532x1030325x101034x1401303x101054x1304015x101244x1041214x101532x1123045x105424x1453042x105442x1044352x110134x1411303x110345x1213045x111342x1251314x115322x1235312x150524x1515042x151052x1150235x151121x1312511x1011121314151FULLTRS//ICFP_2010/211915.srs