Task: Program Execution
Input (English): [138, 713, 143, 1407]
Output (English): [128, 512, 128, 1024]