Task: Program Execution
Input (English): [13, 1585, 766, 2309]
Output (English): [16, 2048, 512, 2048]