Downsampled from 3840x2160 resolution videos using ffmpeg: `ffmpeg -i <inputFilename> -filter:v scale=<width>:<height> -c:a copy <outputFilename>` PiperOrigin-RevId: 463454628
