Largest input image size when encoding a video? I got a bunch of really large 16 bit videos, approaching 65535×65535 pixels in size. These are essentially high quality timelapse panoramas. I want to convert them to a 7680×4320 movie (8K UHD, 8 bit). I'm not too concerned about the format, but I want some kind of compression. 

I think I can resize the images using Python to get them down to HEVC (8192×4320)...

Is there anything that will playback (with VLC?) that can do a larger number of pixels than 8192×4320? What are my options? 

When I try to use FFmpeg I get errors like:

[mjpeg @ 000000000062eae0] [IMGUTILS @ 000000000023ed40] Picture size 20000x19824 is invalidN/A
Error while decoding stream #0:0: Invalid data found when processing input
FFmpeg is tripping up at this statement in Imgutils.c in function av_image_check_size()

if ((int)w&gt;0 &amp;&amp; (int)h&gt;0 &amp;&amp; (w+128)*(uint64_t)(h+128) &lt; INT_MAX/8) return;  [ else error() ]


where INT_MAX is defined in limits.h as at least 32767 (2^15-1), or greater depending upon your compiler.

Compiling with a 64-bit compiler will permit larger images.