List the file size and format for all songs that have 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