What is the id of the files that are available in the format of mp4 and a resolution smaller than 1000?
select f_id from files where formats = "mp4" intersect select f_id from song where resolution < 1000