Søre Bukkeholstinden, Vest for Søre Bukkeholstinden, Store Bukkeholstinden, Midtre Bukkeholstinden Øst og Midtre Bukkeholstinden Vest