Уменьшить размер анимированного GIF файла (Бюджет: 1500 ₽/час)

Нужно уменьшить размер анимированного GIF файла Исходник - анимация в MP4 3 сек. https://disk.yandex.ru/i/mpO5i4WpdLUjWA Необходимо сделать GIF animated файл с размерами...