012x10211x1231x13421x10120x100211x10120x102110x10121x102111x10124x140211x10125x102511x10125x104215x10131x100311x10131x1302111x10141x140111x10145x104115x10201x100241x10531x1503111x10532x103425x12320x122130x12452x121425x13012x134021x14432x143421x14531x135441x14531x143151x14532x134254x14532x135421x101022x1002142x101031x1034011x101451x1402511x101501x1001551x102313x1034213x104152x1042511x105132x1302115x105204x1042504x105315x1503415x105325x1043525x120131x1114302x120135x1251103x120153x1211305x123101x1032115x123141x1342511x123512x1232151x130120x1340210x132010x1321500x132351x1334215x135313x1354313x140331x1034311x144325x1342415x145052x1042155x145231x1534321x145252x1425521x145351x1455431x1011121314151FULLTRS//ICFP_2010/213218.srs