Velký Kriváň (1709 m.n.m), Slovensko