how many laps total were completed by all drivers?
1144