Task: Program Execution
Input (English): [6, 1]
Output (English): [5, -1]