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