001x100213x1001x1002231x1041x104221x1041x1023142x1101x10211x1101x102112x1101x110321x1140x1103242x1141x14211x1141x1421121x1401x14021x1501x15021x1501x102153x1501x1032155x1501x1302351x1505x1032535x1541x1242513x1541x1452133x10045x1050242x10120x120210x10201x100213x10340x1324003x10404x1003244x11014x1231140x11031x1423110x11204x1142032x11304x1403213x11415x1212514x14051x1024215x14100x1321400x14104x144021x15001x1032510x15031x105321x15031x1035221x15051x1525310x15241x121425x15415x145521x15415x1215425x15431x154213x15431x1352421x15431x1524321x15504x1502542x100331x1030123x102431x1023142x105411x1402511x112431x1123314x140031x1403210x140031x1432001x151005x1500215x154201x1254021x1011121314151FULLTRS//ICFP_2010/214169.srs