55x10540254521x155x13411114404x1255x14254400112x1524x10502334242x1552x10132303253x1553x10354410150x1555x15341014500x12504x14432445100x14524x14155203133x14555x11512032105x102534x13243151134x125534x14543140244x155514x13305043440x1044555x10444334131x1124524x13353040313x1415504x11030424434x1425515x12342113425x1525504x10423352144x1552450x12114240420x10155535x15325101205x14452422x14055451221x1510141211131FULLTRS//ICFP_2010/4970.srs