Return the names of songs for which format is mp3 and resolution is below 1000.
return songs ;return #1 with  format of  mp3 ;return #2 with  resolution below 1000 ;return names of #3
['select', 'filter', 'filter', 'project']