Find the id of songs that are available in mp4 format and have resolution lower than 1000.
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 number,
    genre_is text,
    rating number,
    languages text,
    releasedate time,
    resolution number
)

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

CREATE TABLE files (
    f_id number,
    artist_name text,
    file_size text,
    duration text,
    formats text
)
SELECT f_id FROM files WHERE formats = "mp4" INTERSECT SELECT f_id FROM song WHERE resolution < 1000
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: Find the id of songs that are available in mp4 format and have resolution lower than 1000. ### Input: 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 number,
    genre_is text,
    rating number,
    languages text,
    releasedate time,
    resolution number
)

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

CREATE TABLE files (
    f_id number,
    artist_name text,
    file_size text,
    duration text,
    formats text
) ### Response: SELECT f_id FROM files WHERE formats = "mp4" INTERSECT SELECT f_id FROM song WHERE resolution < 1000