CMIMC 2017 Power Problem 9

Past Contests CMIMC CMIMC - 2017 Power
1

Fix the algorithm, and prove correctness.