CREATE TABLE files (f_id NUMBER, artist_name CLOB, file_size CLOB, duration CLOB, formats CLOB)
CREATE TABLE genre (g_name CLOB, rating CLOB, most_popular_in CLOB)
CREATE TABLE artist (artist_name CLOB, country CLOB, gender CLOB, preferred_genre CLOB)
CREATE TABLE song (song_name CLOB, artist_name CLOB, country CLOB, f_id NUMBER, genre_is CLOB, rating NUMBER, languages CLOB, releasedate TIME, resolution NUMBER)

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" "T1" JOIN "song" "T2" ON "T1"."f_id" = "T2"."f_id" AND "T2"."resolution" < 800