Hey people. I'm working on a project where I need to deliver a few transitional animations for both android and iOS. They are not complex in structure but in order to save dev time, I would like to export them as animations. Now the question is, what is the best file format and size (2x, 3x etc) to export in order to satisfy all devices? Larger res and then downscaling them programmatically or exporting multiple sizes? What are the best practices?