0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x101010011101011100100101100101111100011101100111010100011000011100110101011101111110111101010110111000100000010010001100000001010110001100011111001101100010001101011001011101001011011101101111110111000011101100110110110001010001111011000100010000110111000001111001100111111000100010111101010000101111100000000010001010110001000101000011110000110x1101001000110010100100101111011100110110001101010001111111001100101001111000010110001100000010001000100000001011010110011101111001100000000111111101101101110011011100011101101011010101110000011000100001001011110111111101010001101010110000011101101001101111110010010101000010000011100111010100011000111100111110010001111000100100111110110001000010101x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/249663.srs