0101x1002131x10101x1210201x10101x1213100x14101x110421x14101x141021x14101x1021341x14101x1042131x14101x1102413x14101x1104221x14101x1104521x14101x1402131x14101x1410213x14101x1413021x14111x1413131x14301x102134x14301x102413x14301x104213x14301x130421x14301x134021x14301x140213x14301x143021x14301x1021334x14301x1021343x14301x1024133x14301x1042213x14301x1045213x14301x1102134x14301x1102413x14301x1104213x14301x1130421x14301x1304521x14301x1310421x14301x1334021x14301x1340213x14301x1340221x14301x1340521x14301x1341021x14301x1343021x14301x1430213x14301x1430521x14301x1431021x14301x1433021x14511x145211x14511x1425211x14511x1452131x14511x1452211x14511x1455211x100101x1001021x100311x1213100x100511x1500211x104101x1210401x104301x1002134x104301x1043021x104301x1231040x104311x1214130x104311x1420311x104511x1401521x104511x1521401x140301x1004213x140301x1204013x140301x1204031x141011x1104211x141101x1410211x141201x1042131x141201x1102413x141201x1402211x141201x1410221x141301x1413021x141501x1115042x141511x1145211x143011x1130214x143011x1131402x143011x1131420x143011x1310241x143011x1431102x143101x1042131x143101x1134021x143201x1340221x143201x1340521x143201x1402131x143201x1430213x143211x1131242x143211x1131452x143211x1313412x143211x1413122x143211x1413312x143301x1433021x143401x1340421x143401x1440213x143501x1052314x143501x1130254x143501x1130425x143501x1134052x143501x1310425x143501x1315042x143501x1340215x143501x1341502x143501x1351042x143501x1430215x143501x1513402x143511x1145213x143511x1311542x143511x1314521x143511x1413135x143511x1415213x143511x1431521x144101x1441021x144301x1044213x144301x1402134x144301x1434021x144301x1443021x145101x1051341x145101x1054131x145101x1104521x145101x1405211x145101x1451021x145101x1510241x145101x1541021x145111x1452111x145301x1021345x145301x1052134x145301x1052431x145301x1054213x145301x1105134x145301x1150334x145301x1214503x145301x1241350x145301x1304521x145301x1403152x145301x1403351x145301x1405413x145301x1413503x145301x1413550x145301x1425031x145301x1452031x145301x1503141x145301x1503441x145301x1513034x145301x1521340x145301x1524130x145301x1530421x145301x1541301x145301x1541320x145301x1543021x145311x1241315x145311x1452131x145311x1513412x145311x1521413x145311x1542131x145511x1552114x145511x1552411x1011121314151FULLTRS//ICFP_2010/157388.srs