Task: Program Execution
Input (English): [12, 6]
Output (English): [11, 4]