222x13020031011x11254x14344003104x11340x12441024140x12225x13034424513x13222x14304510232x13252x14453004022x15512x13003142322x110254x11445300524x121554x13052345104x122225x12535310135x122555x15530144411x125125x15300013250x125243x12440245213x125315x12230004201x150252x12041353100x1025515x10411530135x1122402x15132411002x1131342x11330414132x1152252x15453011212x1152512x14314434530x1214152x13002553052x1214200x12445210400x1225152x15300043402x1225255x15303314444x1225525x15231144301x1255253x13021350013x1312141x13502440450x1322541x14221303330x1332525x10424003303x1340034x14400024403x1534202x15414130412x10213515x10354241501x10331334x10330231454x11153125x15111130523x11255212x15501300132x11551522x14455110022x12245454x15110111354x12255553x12434404543x13320055x14402042323x13533221x14424103121x14125255x11135343045x14412225x12010203530x14453555x14042324204x15020021x13430051313x15340215x12152350023x15434255x10452211501x1213101115141FULLTRS//ICFP_2010/3762.srs