Austrotepuibasis, Austrotepuibasis alvarengai, Austrotepuibasis demarmelsi, Austrotepuibasis manolisi
