How many troops did Charles XII gain between 1700 and 1707?
return Charles XII ;return troops of #1 ;return #2 in  1700 ;return #2 in  1707 ;return number of  #3 ;return number of  #4 ;return difference of #6 and  #5
['select', 'project', 'filter', 'filter', 'aggregate', 'aggregate', 'arithmetic']