What are the ids of songs that are available in either mp4 format or have resolution above 720?
CREATE TABLE files (
    f_id VARCHAR,
    formats VARCHAR,
    resolution INTEGER
)

CREATE TABLE song (
    f_id VARCHAR,
    formats VARCHAR,
    resolution INTEGER
)
SELECT f_id FROM files WHERE formats = "mp4" UNION SELECT f_id FROM song WHERE resolution > 720
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: What are the ids of songs that are available in either mp4 format or have resolution above 720? ### Input: CREATE TABLE files (
    f_id VARCHAR,
    formats VARCHAR,
    resolution INTEGER
)

CREATE TABLE song (
    f_id VARCHAR,
    formats VARCHAR,
    resolution INTEGER
) ### Response: SELECT f_id FROM files WHERE formats = "mp4" UNION SELECT f_id FROM song WHERE resolution > 720