of weightlifters who weighed more than 136.16, who had the highest total?
none