Welche zwei Songs spielt Daft Punk in der Clubszene von Tron 2?

Die beiden Songs, die Daft Punk in der Clubszene von Tron:Legacy spielen, sind „Derezzed“ und „End of Line“.