list of european ultra prominent peaks
the average elevation of all european ultra prominent peaks is 2069.16 .
{'scope': 'all', 'col': '3', 'type': 'average', 'result': '2069.16', 'subset': None}
{'func': 'round_eq', 'args': [{'func': 'avg', 'args': ['all_rows', 'elevation ( m )'], 'result': '2069.16', 'ind': 0, 'tostr': 'avg { all_rows ; elevation ( m ) }'}, '2069.16'], 'result': True, 'ind': 1, 'tostr': 'round_eq { avg { all_rows ; elevation ( m ) } ; 2069.16 } = true', 'tointer': 'the average of the elevation ( m ) record of all rows is 2069.16 .'}
round_eq { avg { all_rows ; elevation ( m ) } ; 2069.16 } = true
the average of the elevation ( m ) record of all rows is 2069.16 .
{'eq_1': 'eq', 'result_2': 'true', 'avg_0': 'avg', 'all_rows_3': 'all_rows', 'elevation (m)_4': 'elevation ( m )', '2069.16_5': '2069.16'}
['peak', 'country', 'elevation ( m )', 'prominence ( m )', 'col ( m )']
[['galdhøpiggen', 'norway', '2469', '2372', '97'], ['kebnekaise', 'sweden', '2113', '1754', '359'], ['jiehkkevárri', 'norway', '1834', '1741', '93'], ['snøhetta', 'norway', '2286', '1675', '611'], ['store lenangstind', 'norway', '1624', '1576', '48'], ['sarektjåhkkå', 'sweden', '2089', '1519', '570']]