Я хочу сделать приложение для Android, в котором есть много видео для воспроизведения.Я хочу поместить все видео в приложение, чтобы мне не понадобился интернет, но я не хочу, чтобы размер приложения был очень большим.Так что же лучше видео или GIF?