Judo na Letních olympijských hrách 1980 – muži – těžká váha: Porovnání verzí