which weightlifter with a snatch larger than 117.5 had the lowest bodyweight?
none