1984 pga championship
total prize money of the top 10 finishers in the 1984 pga championship was 414749 .
{'scope': 'all', 'col': '6', 'type': 'sum', 'result': '414749', 'subset': None}
{'func': 'round_eq', 'args': [{'func': 'sum', 'args': ['all_rows', 'money'], 'result': '414749', 'ind': 0, 'tostr': 'sum { all_rows ; money }'}, '414749'], 'result': True, 'ind': 1, 'tostr': 'round_eq { sum { all_rows ; money } ; 414749 } = true', 'tointer': 'the sum of the money record of all rows is 414749 .'}
round_eq { sum { all_rows ; money } ; 414749 } = true
the sum of the money record of all rows is 414749 .
{'eq_1': 'eq', 'result_2': 'true', 'sum_0': 'sum', 'all_rows_3': 'all_rows', 'money_4': 'money', '414749_5': '414749'}
['place', 'player', 'country', 'score', 'to par', 'money']
[['1', 'lee trevino', 'united states', '69 + 68 + 67 + 69 = 273', '- 15', '125000'], ['t2', 'gary player', 'south africa', '74 + 63 + 69 + 71 = 277', '- 11', '62500'], ['t2', 'lanny wadkins', 'united states', '68 + 69 + 68 + 72 = 277', '- 11', '62500'], ['4', 'calvin peete', 'united states', '71 + 70 + 69 + 68 = 278', '- 10', '35000'], ['5', 'seve ballesteros', 'spain', '70 + 69 + 70 + 70 = 279', '- 9', '25000'], ['t6', 'gary hallberg', 'united states', '69 + 71 + 68 + 72 = 280', '- 8', '17125'], ['t6', 'larry mize', 'united states', '71 + 69 + 67 + 73 = 280', '- 8', '17125'], ['t6', 'scott simpson', 'united states', '69 + 69 + 72 + 70 = 280', '- 8', '17125'], ['t6', 'hal sutton', 'united states', '74 + 73 + 64 + 69 = 280', '- 8', '17125'], ['t10', 'russ cochran', 'united states', '73 + 68 + 73 + 67 = 281', '- 7', '12083'], ['t10', 'tsuneyuki nakajima', 'japan', '72 + 68 + 67 + 74 = 281', '- 7', '12083'], ['t10', 'victor regalado', 'mexico', '69 + 69 + 73 + 70 = 281', '- 7', '12083']]