Task: Program Execution
Input (English): [7.501, 58]
Output (English): [58]