55x11123323044x1055x11013301244x1525x14303441435x10224x11130122214x10551x12232411332x10554x11044524441x11540x10442330332x15400x10430433500x15534x11323300324x105021x11212230120x122535x10115303314x124050x11124412250x124054x12431440544x135340x13033523340x1005115x13103303215x1055055x12022110405x1055112x12431212042x1154055x13030451515x1155505x10203203245x1220234x13323212324x1254025x13204023045x1342500x10400303300x1400040x11432435020x1400534x14031110004x1405240x12133042200x1405250x13212350411x1430250x14134110150x1514052x15451512033x1515025x15225314144x1525252x11144540442x1535532x13045415032x1551252x15134403241x1553451x12120331005x10532510x13301345140x12253401x12122402013x12325105x12033310545x12410555x13332214455x12431553x10104222003x14024525x12020441355x14052425x14442420215x14124514x14433404454x15115200x12301112310x15225302x11421023244x15340153x14442304353x15423150x11223300241x1511121310141FULLTRS//ICFP_2010/4824.srs