0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1110010011111010011100100011001011000111111010111001101010010101010011111001010100010101101111101011111001110011010110000100001110010000011000110001000100011110001000110101100100101001100101011000101111000x10001101000000100100110110110110001111011100000110111111101111000000010000100010100100110110110000101101101000001101110111101011110001100101111000011100000011011100011010011110111101110011111000000100100101011x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/248060.srs