the output, given its content, constitutes a covered work. This License will continue to provide the source code to the extent that they are valid under applicable patent law.