AR Area record | CR championship record | NR national record | OR Olympic record | PB/PR personal best/record | SB seasonal best | WL world leading (in a given season) | WR world record