Question: What are the formats for the songs with a resolution below 800?
SQL: SELECT T1.formats FROM files AS T1 JOIN song AS T2 ON T1.f_id   =   T2.f_id WHERE T2.resolution  <  800