From the same torrent link. Keeping the 4K, but slightly reducing the size using Constant Rate Factor (CRF) mode of the H264 codec in ffmpeg. And splitting into 8 files for easier downloading (you can join them together again later if you want just one file).