About 35 + 15 + 31 minutes, rounded. Reported figures; the split of the other 31 is not published here.

Reported running time of music in the film: about 35 minutes original, about 46 minutes pre-existing.