Как преобразовать PNG-полоску в GIF?

Итак, я сделал эту анимацию в программе, однако она, похоже, не поддерживает экспорт в виде последовательности PNG, поэтому я могу преобразовать ее в GIF. Анимация более 100 кадров, поэтому сохранение каждого изображения по одному займет много времени. Тем не менее, он поддерживает экспорт как «полосу», которая похожа на фильм. Каждое изображение в анимации имеет одинаковые размеры. Вот как работает «полоса» программы.

Изображения в анимации укладываются горизонтально, первый кадр остается левым, а последний - дальним справа. Между кадрами нет пробелов, и имя файла обычно является «name_stripX.png», если анимация имеет X-кадров. Если каждый кадр был 32 на 32, а анимация имела 8 кадров, этот файл имел бы ширину 256 и высоту 32.

Вот пример вывода, каждый цвет заполняется в одном кадре:

Кроме того, просто для того, чтобы прояснить ситуацию немного, программа называется «Game Maker 8.0.»