Store Trollsteinhøe, Austre Trollsteinhøe, Søre Trollsteinhøe og Gråhøe