This file is in the public domain.
Its copyright has expired, it has been explicitly relieved of copyright by its owner, or it is otherwise ineligible for copyright.