This file is MACHINE GENERATED! Do not edit.

Input:

Output:

Prompt:

 This file is MACHINE GENERATED! Do not edit.