Task: Program Execution
Input (English): [13, 7]
Output (English): [12, 5]