011x1012341x1011x1131340x1011x1513031x1014x10134x1014x113420x1014x115340x1014x131340x1014x1115340x1014x1123430x1014x1133440x1014x1134505x1014x1345501x1124x112341x1124x153412x1124x1152343x1124x1233451x1521x1122354x1521x1132534x1524x105234x1524x155342x1524x1034452x1524x1225344x1524x1233455x1524x1234353x1524x1253405x1524x1312534x1524x1523403x10024x104302x10115x1013512x10124x1012334x10145x134051x10145x1345301x10421x1041234x10514x1003541x11014x1340121x11124x113412x11224x1222341x11242x1123423x11521x1103512x11524x1323514x11524x1523314x15014x1340531x15251x135152x101154x1005411x110024x1020441x110421x1123410x112501x1235101x115304x1513404x150524x1400552x153242x1215342x1011121314151FULLTRS//ICFP_2010/212117.srs