3444x15103352332x15313x15521555111x104050x10422240433x1003514x10411525330x1050450x10023020010x1100344x10221330033x1354203x13201215133x1440440x14300451510x1540154x15432110331x1545050x13332110420x10030544x15513312042x10031543x12150253303x10130544x10133345035x10402244x14255233244x10504131x10012345300x10534354x10315133533x10553232x10553455341x11341440x12043300420x11442144x13511050310x12115410x11551215330x12532135x15334345511x13101544x13043333205x13231244x13252513045x13443244x13552442022x14242545x10515434135x14323532x14515201152x14405454x12024332154x14542412x14353331322x15011545x15113041451x15032454x15355224520x15054514x12100051552x15344405x12335315111x15401414x13320410035x15412501x13343403001x15413454x13242555504x1314151110121FULLTRS//ICFP_2010/3786.srs