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
What are the file sizes and formats for all songs with a resolution lower than 800?
CREATE TABLE files (
    f_id number,
    artist_name text,
    file_size text,
    duration text,
    formats text
)

CREATE TABLE genre (
    g_name text,
    rating text,
    most_popular_in text
)

CREATE TABLE artist (
    artist_name text,
    country text,
    gender text,
    preferred_genre text
)

CREATE TABLE song (
    song_name text,
    artist_name text,
    country text,
    f_id number,
    genre_is text,
    rating number,
    languages text,
    releasedate time,
    resolution number
)