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