001x10120x1001x10310x1001x11040x1001x101302x1001x101304x1001x102012x1001x103012x1001x103031x1001x104041x1001x112020x1001x112200x1001x1002212x1001x1012420x1001x1120304x1011x10211x1011x10311x1011x111304x1011x112021x1011x1103124x1011x1104212x1011x1112430x1011x1121044x1011x1122130x1051x10315x1051x10451x1051x102315x1051x103152x1051x1031252x1501x151240x1501x1502124x1501x1512304x10015x104105x10021x1203021x10021x1230201x10101x110201x10111x111310x15011x115120x15301x151230x15315x153125x15321x112352x15401x112504x100515x1125500x105301x1105304x105341x1103545x105401x1013045x154211x1541212x1011121314151FULLTRS//ICFP_2010/211857.srs