Aritmética en Plutón

Los habitantes de Plutón, además de utilizar nuestros operadores de suma, resta, multiplicación, etc, utilizan también uno muy curioso: "@". Se trataría de obtener el valor de la expresión 12@5 teniendo en cuenta las siguientes igualdades: