List the file size and format for all songs that have resolution lower than 800.
return songs ;return resolutions of  #1 ;return #1 where  #2 is lower than 800 ;return file sizes of  #3 ;return formats of  #3 ;return #4 ,  #5
['select', 'project', 'comparative', 'project', 'project', 'union']