4k77, 4k80, and 4k83 are 4k (hence the name) versions of Star Wars, The Empire Strikes Back, and Return of the Jedi, respectively. 4k77 was mastered from an original 1977 35mm print of the movie. I'm not sure of the other's sources, but they're probably similar.