What are the file sizes and formats for all songs with a resolution lower than 800?
SELECT DISTINCT T1.file_size ,  T1.formats FROM files AS T1 JOIN song AS T2 ON T1.f_id  =  T2.f_id WHERE T2.resolution  <  800
SELECT DISTINCT T1.file_size ,  T1.formats FROM files AS T1 JOIN song AS T2 ON T1.f_id  =  T2.f_id WHERE T2.resolution  <  800
[{'file_size': '4.12 MB', 'formats': 'mp3'}, {'file_size': '3.69 MB', 'formats': 'mp4'}, {'file_size': '5.10 MB', 'formats': 'mp3'}, {'file_size': '4.10 MB', 'formats': 'mp4'}]