what's the 102kg when the snatch was snatch and the olympic record was the world record?
100kg