001x1231400x1100x102310x1101x1021231x1101x1105231x1101x1210231x1400x102340x1401x102214x1401x102341x1510x152310x1510x1523310x1511x1231415x1511x1532311x10030x1400230x10301x1002213x11031x1012313x11031x1041231x11251x1542311x14011x102411x14015x1502314x14015x1541340x14030x1023045x14035x1023415x14250x145230x14250x1402354x14300x1023430x14301x114023x14301x1302241x15111x1221151x100125x1231500x101300x1231000x102531x1205413x102551x1021545x103051x1215300x104351x1243105x105115x1012155x105130x1213500x110415x1412150x112451x1141523x112530x1142350x113040x1023140x140315x1443501x142500x1052044x142500x1523400x142530x1402523x142530x1524310x142531x1231542x143001x1243100x143250x1042345x145131x1413541x151431x1532411x1011121314151FULLTRS//ICFP_2010/214261.srs