2557 XOR 2723

862