This file was generated by Minotaur. See LICENSE for the special exception regarding generated output.