00112x13244x153422x15131x14444150x15403345x153404442x15314441x11330454512x1435532511x14145403320x1541513231x101303422123x10053340233x140202143303x10212551134x1223531050135x1222534202214x1333522251010x155321221310x10125230541105x1121151114145x10223230330425x1214232011245x10431253245255x1451351124515x11203225351215x1442103023235x12020343113034x1254101122055x112242315102554x14101432023454x141343042010212x11040013534441x1003543322033142x104401430300024x1015202211541242x114504334312142x1015310105213450x1011140415145550x1115453433455550x1254342052412502x1241151230312111x124045110020031x1513033330531522x150245552241112x11431422313442502x1510251013454021x1110013452214444530x1415541152432044330x1324451453351043320x13231205224230325422x13545244311244041400x14330104113345545301x140522322531210312512x11201202150535531051x1340502510354233232000x133505341502324553541x1350205431040252214524x1530415313414235043354x1011121314151FULLTRS//ICFP_2010/85721.srs