BitXor[19,31]