what is the sum of laps for derek warwick?
63.0