Sticking to before, please consider high knees to be cardio. If you're doing them for x minutes, just add that time to the treadmill and cycling time.
I'll say they took 20 mins, which they probably took much less, and call it 20+20+20 cardio for 200 reps total and 932 overall.