0012x1230x14252x1140x14534x14424x113552x11323x152212x10023x1225322x151103x1251211x1521241x1341424x11333x1352245x132430x1521015x1542451x11354122x1333440x14543051x1433541x121521344x14034012x154022404x13151304x1342112254x13331334x1544501454x1155041454x15213152544x1534501403x1241252413203x143042343420x10235422103350x1331230400020x121021400200052x12242143051330x1450313225224132x1453214500045400x1522524412011011x150543210335041x1542033004032051x150100211032213x15415154422043154431x1304511353444514331x120302220142104433144x152411451012030123431x1011121314151FULLTRS//ICFP_2010/96086.srs