012x10021x1012x10213x1012x1002144x1031x101340x1031x101344x1031x1134440x1032x10213x1032x10234x1032x100243x1032x102143x1032x102433x1032x1021334x1032x1023455x1032x1244340x1041x10144x1041x10214x1042x10214x1042x10234x1042x10243x1201x15021x1231x11352x1231x102135x1231x114352x10201x150021x10311x1014134x10321x1003421x10322x1134022x10412x114025x10432x1234400x10531x1014354x10531x1015340x10532x102453x10532x102533x12031x1201352x12041x120145x12532x125233x12542x102524x100321x1001352x101032x1014320x101032x1231005x103251x1025133x105112x1024115x105122x1025212x105321x1013425x105532x1025135x120311x1210134x122031x1130252x122051x1202151x125541x1552134x1011121314151FULLTRS//ICFP_2010/212693.srs