История изменений

никак размер GIF-файла не связан с его разрешением.

Ну это уж перебор. Для картинок без сжатия (Com­pres­sion: None по твоей ссылке) размер равен ширина*высота*глубина + относительно немного прочей информации. Для картинок со сжатием, размер также определяется размером и глубиной, применяемой в сжатой картинке. Но еще больше он определяется сжатием — алгоритмом, параметрами сжатия, «успешностью» сжатия. Чтобы его узнать, проще попробовав сжать конкретную картинку и посмотреть. Можно считать, что сжатие — дополнительный делитель неизвестного размера на размер картинки, который можно довести до сотен, тысяч и более.

никак размер GIF-файла не связан с его разрешением.

Ну это уж перебор. Для картинок без сжатия (Com­pres­sion: None по твоей ссылке) размер равен ширина*высота*глубина + относительно немного прочей информации. Для картинок со сжатием, размер также определяется размером и глубиной, применяемой в сжатой картинке. Но еще больше он определяется сжатием — алгоритмом, параметрами сжатия, «успешностью» сжатия. Чтобы его узнать, проще попробовав сжать конкретную картинку и посмотреть.