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

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
SELECT DISTINCT "T1"."file_size", "T1"."formats" FROM "files" AS "T1" JOIN "song" AS "T2" ON "T1"."f_id" = "T2"."f_id" AND "T2"."resolution" < 800