Task: Text to Code
Input (English): What are the names of all Rock tracks that are stored on MPEG audio files?
Output (English): SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id JOIN media_types AS T3 ON T3.id = T2.media_type_id WHERE T1.name = "Rock" AND T3.name = "MPEG audio file"