709 XOR 1580

1257