Find the id of songs that are available in mp4 format and have resolution lower than 1000.
select f_id from files where formats = "mp4" intersect select f_id from song where resolution < 1000