712 XOR 129

585