1985 world judo championships
on average , the countries in the 1985 world judo championship got 2.13 medals .
{'scope': 'all', 'col': '6', 'type': 'average', 'result': '2.13', 'subset': None}
{'func': 'round_eq', 'args': [{'func': 'avg', 'args': ['all_rows', 'total'], 'result': '2.13', 'ind': 0, 'tostr': 'avg { all_rows ; total }'}, '2.13'], 'result': True, 'ind': 1, 'tostr': 'round_eq { avg { all_rows ; total } ; 2.13 } = true', 'tointer': 'the average of the total record of all rows is 2.13 .'}
round_eq { avg { all_rows ; total } ; 2.13 } = true
the average of the total record of all rows is 2.13 .
{'eq_1': 'eq', 'result_2': 'true', 'avg_0': 'avg', 'all_rows_3': 'all_rows', 'total_4': 'total', '2.13_5': '2.13'}
['rank', 'nation', 'gold', 'silver', 'bronze', 'total']
[['1', 'japan', '4', '1', '1', '6'], ['2', 'south korea', '2', '2', '0', '4'], ['3', 'soviet union', '1', '0', '5', '6'], ['4', 'austria', '1', '0', '0', '1'], ['5', 'germany', '0', '1', '2', '3'], ['6', 'bulgaria', '0', '1', '1', '2'], ['7', 'egypt', '0', '1', '0', '1'], ['7', 'united states', '0', '1', '0', '1'], ['7', 'east germany', '0', '1', '0', '1'], ['10', 'great britain', '0', '0', '2', '2'], ['11', 'poland', '0', '0', '1', '1'], ['11', 'france', '0', '0', '1', '1'], ['11', 'belgium', '0', '0', '1', '1'], ['11', 'hungary', '0', '0', '1', '1'], ['11', 'netherlands', '0', '0', '1', '1']]