This file is another file that has been edited by an external file editor by the uploader.

This file has been released into the public domain by the copyright holder, its copyright has expired, or it is ineligible for copyright. This applies worldwide.