I converted all the videos to H265 and used a lossless image optimizer to get the complete package down to about 1/3 of its original size.

Format: mp4
Video: 1920x1080


Total size: 1.8 GB in 48 files.