2558 XOR 2717

867