0102x130120x11002x123001x11002x1101120x11002x1133020x11002x1300112x11022x121230x11022x1111220x11342x111234x11342x1123345x11342x1123444x11342x1123445x11342x1123545x11342x1123554x11352x123105x11352x145123x13102x130120x13402x130024x13402x130124x13402x130524x13402x131024x13402x141230x13402x1204330x13402x1302114x13402x1330524x13402x1423330x13502x130325x13502x1253000x13502x1300254x13502x1552303x102342x1302245x103402x1031042x103502x1210530x110042x1045102x110352x1453120x111022x1112012x113402x1123014x113502x1102523x131002x1301220x131352x1303512x133402x1300423x134002x1300442x134102x1312304x134152x1230145x134202x1320423x134202x1422303x135002x1030245x135042x1204453x135042x1254300x135342x1054233x1011121314151FULLTRS//ICFP_2010/212795.srs