Task: Program Execution
Input (English): [18, 7, 12]
Output (English): [17, 5, 9]