CP Algorithms
binary-exponentation