CREATE TABLE song (f_id VARCHAR(255), resolution INTEGER); CREATE TABLE files (file_size VARCHAR(255), formats VARCHAR(255), f_id VARCHAR(255))
List the file size and format for all songs that have resolution lower than 800.
    
SQL: 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