2557 XOR 1729

3900