586 XOR 1139

1593