0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1010101111111110100011001000000100100000111000110011100101000100001011011100101101000000000010101001110111001101111101111000001110010110101111010000101101100110100010011111011110101010001000111000100001001111110111101001000110011110111001001010111100011110001010101011110111110011001111010001011001100000110101011000010100000x10001010101100101000110111101100010010010011110111111110010010000100010010101010010001100001111001111001110000100100000111011111111110000101010110011011101100110110000111001101011100100100101110010001011100100111110011100011010010011001001000011011000111101000000010110110110111000111100111001001100001100000110100101010011111011x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/231378.srs