What are the file sizes and formats for all songs with a resolution lower than 800?
return songs ;return #1 with a resolution lower than 800 ;return file sizes and  formats of  #2
['select', 'filter', 'project']