Using FFmpeg change the video speed of different parts in python, I uses opencv and subprocess, but it's slow, is there another quicker way?

Question

There is a video file, need to process like that: [0, 13, 2] means the 0th to 13th frames need 2x speed, according to the list below, change the speed of different video parts,