output from running a covered work, for which an implementation is available to the public access to the users of that numbered