¿Cuáles son las dos canciones que toca Daft Punk en la escena del club de tron ​​2?

Las dos canciones que Daft Punk toca en la escena de clubes de Tron:Legacy son "Derezzed" y "End of Line".