This file is MACHINE GENERATED! Do not edit.

Input:

Output:

Prompt: