25x12400410013x125x12430222143x1150x11444404011x1235x12400151221x1255x12030403334x1454x14111214524x12304x12001130244x15510x13220513404x131525x13024120052x1025432x10215201212x1105234x11001304103x1115023x10045111223x1210032x12143003032x1250555x12012405355x1253021x12145212521x1350455x13403452033x1402342x14003143022x1525510x15544042014x1542305x15545434131x1551115x15010110141x1552550x13452534410x1554554x12225543404x1555525x12231143245x11405505x11433041533x12235125x12212403325x13423355x15324024405x14253455x15152504110x14255424x15532021030x14554232x14115351242x1215141011131FULLTRS//ICFP_2010/4106.srs