0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1100011000010001100011001111001111110111100110000111100011101101100101111101110001000110111001000000010100101001011110000010100101101001010101101x11011100100010110111010000111001001101001111011011011010110101100111000101110001010100010101010110011111100000001000011010010010011001110101111010000x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/231149.srs