120x14033545143x110045x11431314523x120302x13312245043x121010x13545433112x134202x13530332532x1035240x14402322532x1112045x13054210233x1211012x13441322255x1220111x12341522254x1241042x11513234440x1242111x11354343144x1301002x12425350332x1301111x13224452451x1411202x14034442323x10211110x10155352555x10241115x14434323022x10420041x14254104331x10430541x10315312541x11052200x11544345452x11134500x11315341453x11431505x15033241332x11502055x12525420055x12015205x14335531355x12405414x13455153514x13414045x13221343303x14104200x14223100340x14104203x10430015432x14111012x13323301552x1112101413151FULLTRS//ICFP_2010/4840.srs