0012x123100x10012x131002x10012x1002311x10104x131400x10104x1340031x10104x1431050x10104x1504310x10105x1353100x10105x1531002x10142x123140x10142x1403124x10142x1431102x10504x140035x10504x150034x10505x1352005x10505x1535400x10505x1553400x12012x102412x12012x1250221x12012x1313220x12042x140221x12042x1402121x12052x1021522x13042x1034112x13042x1433102x100122x1002121x100132x1031204x100132x1250310x100522x1002521x101052x1021035x101055x1135005x101205x1405210x101304x1103440x101342x1421034x101422x1110242x101424x1402314x101432x1312044x103005x1531000x104104x1402140x104322x1420352x105104x1524100x105142x1403512x121012x1211023x124052x1042352x130012x1035102x130052x1200351x130542x1403521x132012x1213102x132052x1202345x132052x1530222x1011121314151FULLTRS//ICFP_2010/214183.srs