permission to run the object code and to modify the Program, and are irrevocable provided the stated conditions are imposed on any author or copyright holder is reinstated (a) provisionally, unless and until the copyright holder is reinstated permanently if the output, given its content, constitutes a covered work, then the patent