In Super Bowl XVII, how many more points did the Redskins make than the Miami Dolphins?
return the  Redskins ;return the  Miami Dolphins ;return points of #1 ;return points of #2 ;return #3 in  Super Bowl XVII ;return #4 in  Super Bowl XVII ;return the  difference of #5 and  #6
['select', 'select', 'project', 'project', 'filter', 'filter', 'arithmetic']