query: SELECT DISTINCT T1.file_size ,  T1.formats FROM files AS T1 JOIN song AS T2 ON T1.f_id  =  T2.f_id WHERE T2.resolution  <  800
question: What-what file size and format for all song with the resolutions more lower as 800?
query_toks: SELECT DISTINCT T1.file_size , T1.formats FROM files AS T1 JOIN song AS T2 ON T1.f_id = T2.f_id WHERE T2.resolution < 800
query_toks_no_value: select distinct t1 . file_size , t1 . formats from files as t1 join song as t2 on t1 . f_id = t2 . f_id where t2 . resolution < value
question_toks: What-what file size and format for all song with the resolutions more lower as 800?