424x12005335204x144242x12052140201x1054243x15155353000x1114533x11311301221x1314312x10011423003x1324241x10211153133x1330412x13512020531x14145054x14153105310x14405422x14043444541x15453243x12555045014x1412101513111FULLTRS//ICFP_2010/4046.srs