This file is either ineligible for copyright, the copyright has expired, or it has been placed in the public domain by its author. This file can be freely used on this wiki and edited by users. File history