1540x13323144434x105151x10144344321x110253x14340544443x115215x13432222445x1051052x12432134144x1053040x10532433341x1054020x10343330311x1103052x13342412144x1112310x11333250220x1113453x13145500332x1115401x11323544451x1150010x13333230115x1150130x14420334205x1151130x11321420220x1203353x14201143232x1310042x13420124322x1310305x12032322045x1405200x13220233050x1452514x14115512414x1510103x15023214301x1510541x15333343231x1530020x14142443240x10135311x10033222511x10515300x10534333003x10535103x12333001113x11004110x14124323110x11005353x14455000011x11013043x14454433243x11053004x12334040543x11351140x14134443355x11510151x13431225133x11515530x13240512324x11535540x14435422221x12015313x12405022113x12031530x12003424124x12351104x13235002121x12353501x13232152411x12553511x12125000341x13040010x12204135141x13105501x14102340502x13530052x12224120411x14025400x13523232240x14515210x13514332534x15154225x15512303215x15155213x10103323213x15230520x15533324355x15235105x11121124335x15303520x14312411224x15314040x10555443400x15352110x15034502250x15354253x15523305551x15501535x11412440325x1115141013121FULLTRS//ICFP_2010/4074.srs