mirandus", mientras que el ANSP 9533 y ASNP 9534 se consideraron ejemplos de otra especie de "Aublysodon" sin nombre.