14x1311224x154x1423111x1030x1211020x1055x1101342x1154x1025204x1354x1413423x1414x1332231x1540x1240440x1540x1515210x1544x1411324x1554x1344122x10550x1020030x10554x1013434x11454x1045021x11455x1001341x12540x1041240x14305x1332355x15400x1104022x15402x1304502x1114131215101FULLTRS//ICFP_2010/3268.srs