what is the XOR of 3071 and 2559

512