Vestre Rauddalstinden, Store Rauddalstinden, Austre Rauddalstinden, Søre Høgvagltinden og Midtre Høgvagltinden