053x13043041444x1134x10435510344x1453x13432230334x11531x12101115112x13005x14202124035x14135x13034425522x100451x10352200321x101025x11030231152x101454x11033102314x110540x11120400310x115354x12021441014x135053x13222002204x145313x12035550243x145335x13341015255x145453x12303341521x153353x15445402033x1001453x11114431154x1005133x10201445544x1013501x11504335235x1053023x10032355043x1100551x10311144401x1134545x11450433315x1140540x11025503040x1254053x15343243252x1401345x13050444335x1410531x12034150251x1454532x10353444212x1512453x10211101154x1513451x12024430111x10011353x11215130353x10140524x11101032514x11340000x10102324333x11400535x10013144225x11405421x10015433335x11515051x12221154551x12545401x15304504431x13105353x14403453423x14153353x13131154342x14535125x13321151555x14535501x14322022451x15000005x11511442025x15132530x15043513310x15142453x10102321003x15145242x12501515202x1015131411121FULLTRS//ICFP_2010/3450.srs