Olympic record
1972年ミュンヘンオリンピックより以前に打ち立てられた世界記録とオリンピック記録。