Video export size larger for lower resolution.
I exported a 10 minute movie using Apples Devices 1080p, but wanted a smaller file for sharing, so I then made one using Apple Devices 720p. To my surprise, the 720p file is larger than the 1080p. How can that be?