Wat zijn de twee nummers die Daft Punk speelt in de clubscene van Tron 2?

De twee nummers die Daft Punk speelt in de clubscene van Tron:Legacy zijn "Derezzed" en "End of Line."