0122x101022x10122x101232x10122x102213x10122x110322x10122x112032x10122x113022x10122x113202x10122x1010422x10122x1021323x10122x1121042x10122x1150422x10122x1203132x10122x1211042x10122x1213020x10122x1213320x10122x1215302x10122x1221305x10122x1241320x10145x115041x10145x150415x10145x154150x10145x1115041x10145x1541550x15122x110225x15122x113522x15122x115232x15122x1150223x15122x1210325x15122x1313522x15122x1413225x15122x1510422x15122x1512042x101145x1310415x101222x1102252x101225x1150422x101245x1251045x101452x1104205x101455x1504015x101545x1150415x105122x1013252x133122x1132032x134405x1354504x150122x1132052x151225x1152325x152122x1213522x152405x1042555x152405x1045425x1011121314151FULLTRS//ICFP_2010/160263.srs