Table:
place
weightlifter
press
snatch
clean & jerk
total

1
2
3
1
2
3
1
2
3

1
rudolf ismayr
95
102.5
x
100
110
x
132.5
x
x
345

2
carlo galimberti
95
102.5
x
95
102.5
105
127.5
x
132.5
340

3
karl hipfinger
85
90
x
100
105
107.5
135
140
x
337.5

4
roger francois
95
102.5
x
95
102.5
x
x
125
130
335

5
stanley kratkowski
82.5
x
x
x
102.5
x
120
x
x
335

6
julio juaneda
70
75
x
85
90
x
115
120
x
285

7
sam termine
82.5
87.5
x
100
105
x
x
x
x
192.5

Statement: in weightlifting, at the 1932 summer olympics - men's 75 kg, rudolf ismayr set an olympic record in total with 345 kilograms.
Question: in weightlifting, at the 1932 summer olympics - men's 75 kg, what record did rudolf ismayr set in total?
Answer: [345.0]