Licensing

This file is copyrighted by Happy Elements K.K. It will be used in a way that qualifies as fair use under US copyright law.