. . . "Arachis pintoi" .