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