242x10200510204x11421x12415432312x11442x13403025512x11531x11154302111x11540x13311140100x12241x10220302500x12421x10103532321x114120x15204050512x114240x15143500030x114414x13321050524x115421x13413333301x121441x12502212000x132442x13330231404x153215x10404343225x1140405x15112402135x1155322x10124050123x1253044x12250445044x1312424x14320123054x1342205x10131202043x1411404x14023504152x1550142x15201241333x10140042x10101521012x11044255x11041053525x11305414x11030131324x11424135x14433500025x11554025x11143214115x12421541x10104030541x14250142x14253012321x15220442x12011245502x15220540x11513001321x15314240x15531130152x15514425x13505401525x1214101511131FULLTRS//ICFP_2010/4827.srs