0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1101110101110110001011111011001011111111000110111000000001011100011110010010100101011010101100001101100100001010010001011001000001101001011100011100101001010100110001110011000101000111000111010101011111010x10000000001101111001001111101100010011101010010101100100001000010111000111111111010001011110001011001110001010001100001011101001000111000011110110010010110100000011011001100101110100011010111101100111001011111x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/230948.srs