Task: Program Execution
Input (English): [13, 20, 20]
Output (English): [12, 18, 17]