133x13532502454x10333x15435305440x103331x15440310510x112333x14112350405x114422x11120111022x1033143x14430230300x1333340x13002105354x1401340x12230005000x1414441x14103355541x10135223x10300500443x10231325x10431232320x11133531x13505325001x13520133x13432324455x14142401x15221055451x14512444x14114530104x15145333x15145344232x1113151210141FULLTRS//ICFP_2010/3770.srs