what are all of the world records?
world record, world record, asian record, asian record, asian record, games record, games record, games record
and what are the snatch types?
clean & jerk, total, snatch, clean & jerk, total, snatch, clean & jerk, total
what are all of the weights?
232 kg, 412 kg, 187 kg, 226 kg, 407 kg, 185 kg, 226 kg, 400 kg
what about just for clean & jerk?
232 kg, 226 kg, 226 kg
and which of those is a world record?
232 kg