lot of vintage electric Christmas tree lights w/ original old boxes

Here's a big lot of old and vintage electric Christmas lights, and boxes. (The whole lot shows in the first photo.) These are Royalites (one of the Royalite boxes is empty), Happy Time made for Sears, and Paramount.

The lights all look to have been used, but seem in good condition overall, though there are some missing bulbs. We have not plugged any of these in to test, but see no reason why they wouldn't work. And the original boxes are very pretty.