01232x14313x1324420x13110x112534032x13411455x1213104501x1211233200x1354344434x15050014x1453321032x145453143x10140534445x10555035x14120524420x104310030x101031213552x1430245332502x141223010302x14330202222x143451534225x143224331055x13033203105414x1355441501543x13055520002422x11354112104042x100315142104405x103432121202405x121454334342215x105422243313100x1010144403240450x14152524012300x1522551044312024x15031010443242114x145411534035310031x1433144211320421431x1101205320540032052x11114343443034401422x10010102435431442315x1405433343302241523x10154324313344330122x14103044050155211542x14530421130300513245x145511240325125303x152514333333314522512x113231341012505545045x1153142011035414520100x1140115034124114541330x1401302020405021025502x12013412352245035213x1011121314151FULLTRS//ICFP_2010/81452.srs