list of mountains in pakistan
an average height of pakistan mountains is 8181 m.
{'scope': 'all', 'col': '4', 'type': 'average', 'result': '8181', 'subset': None}
{'func': 'round_eq', 'args': [{'func': 'avg', 'args': ['all_rows', 'height ( m )'], 'result': '8181', 'ind': 0, 'tostr': 'avg { all_rows ; height ( m ) }'}, '8181'], 'result': True, 'ind': 1, 'tostr': 'round_eq { avg { all_rows ; height ( m ) } ; 8181 } = true', 'tointer': 'the average of the height ( m ) record of all rows is 8181 .'}
round_eq { avg { all_rows ; height ( m ) } ; 8181 } = true
the average of the height ( m ) record of all rows is 8181 .
{'eq_1': 'eq', 'result_2': 'true', 'avg_0': 'avg', 'all_rows_3': 'all_rows', 'height (m)_4': 'height ( m )', '8181_5': '8181'}
['world rank', 'rank ( pakistan )', 'name', 'height ( m )', 'location']
[['2', '1', 'k2 / godwin austen', '8611', 'karakoram'], ['9', '2', 'nanga parbat', '8126', 'himalaya'], ['11', '3', 'gasherbrum i / k5', '8080', 'baltoro karakoram'], ['12', '4', 'broad peak', '8051', 'baltoro karakoram'], ['13', '5', 'gasherbrum ii / k4', '8035', 'baltoro karakoram']]