Как конвертировать стикер в формате .tgs в .webm или .mp4?

Я скачал с помощью бота анимированный стикер, но он в файле tgs, как его можно переделать в .mp4 или .webm формат? Пытался использовать lottie и pylottie, но там можно конвертировать только в gif(и то, у меня не получилось). Какую библиотеку можно использовать?