0x11x100x10x1345x1435x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x100101101111111100000011111001111001111011000001100011110101011010011001010000111011000011010101011010001010110000001110000010111100111101101000010111101110110010110011001000001011010111011100001101000101011111011011100010010000001100001101110000101011001000111001000001001001010101110001011111110x1111111011111100010111011101010110100110101010000000010101100100100001101111010100110010110001000011100000111011011000001001000011101010010000010100111110011111000011111011000110100001011111111001000101111011111101100001111101000001001000010001001000011111000110111000111100110101100010100000100111011x12222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222x1011131415121FULLTRS//ICFP_2010/247906.srs