Task: Program Execution
Input (English): [10, 17, 12]
Output (English): [9, 15, 9]