Quali sono le due canzoni che i Daft Punk suonano nella scena del club di Tron 2?

Le due canzoni che i Daft Punk suonano nella scena dei club di Tron:Legacy sono "Derezzed" e "End of Line".