Compared to the amount of troops the Arabs and Turks had at Benghazi how many less did they have at Derna?
return Arabs ;return Turks ;return troops of #1 ;return troops of #2 ;return #3 at  Benghazi ;return #4 at  Benghazi ;return #3 at  Derna ;return #4 at  Derna ;return number of  #5 ;return number of  #6 ;return number of  #7 ;return number of  #8 ;return sum of #9 and  #10 ;return sum of #11 and  #12 ;return the  difference of #14 and  #13
['select', 'select', 'project', 'project', 'filter', 'filter', 'filter', 'filter', 'aggregate', 'aggregate', 'aggregate', 'aggregate', 'arithmetic', 'arithmetic', 'arithmetic']