Android : Batch Renaming - Android Bootanimation - rename files with different steps between them from 1 to 100

I have 100 consecutive PNG files, used in one boot animation. But with different steps between them

Example: 1, 4, 5, 10, 14, 15, 16, 19...

Using Ant Renamer is enough, and it's a good application for this, but i love to do it with the old black screen with a batch file.

Can anyone give me an idea, how to rename them from 1 to 100 preserving the order of sequences?