Licensing

This file is copyrighted. Its use should qualify as fair use under US copyright law. It will be used in a purely non-commercial context, and should not significantly impact the rights of the copyright holder(s).