110x14011400334x10510x10522430222x11010x11032044242x11031x11233244301x12105x12344202305x101021x12200040121x110501x15022340201x131052x12140255223x144530x14311320330x1035520x12201200234x1100354x11033413344x1153031x11221304431x1154125x11440242035x1304510x14142344240x1305325x14311332005x1305341x14243031141x1412110x14533011402x1444505x13433242414x1520451x15222310403x10545305x10424443005x11055325x13553302045x13053530x11124120140x13101551x12411333311x13253010x12412343112x13353453x10224221112x13425021x13043244001x13432144x13434303302x13523534x13510300242x14453210x14054122230x14510051x15522255514x14513123x15411123402x15145253x15514230034x15154251x15523034210x15450523x15114230130x1110141315121FULLTRS//ICFP_2010/4943.srs