0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222x100100011101111100100101101001100010110001000110001110110010111010001100111110100010000010110110001000001110110111010010000001001011010111111111011111101111010111011001101010010000010001110101011100101000110001110000010110111000011000111000110100100010001001100001110001110111111111110001000110100111101111100000011000100111100001001101011000110x1010011111101101101000100011110101011011111001011010010110101110111000010011001100100111111101000101000110101111000010111110111001011110110001001010110011010011101010110101001000011110100000001101101001111010100010100101001101110101000100101001110101101000111110000101010001000001011000001010000111000001110101000011100111101001010101001111100010000x12222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/249459.srs