What are the two songs that Daft Punk play in club scene of tron 2?

The two songs that Daft Punk play in the club scene of Tron: Legacy are "Derezzed" and "End of Line."