P
Initializing...
K = KP n is the integer 2^56-th root of d · Prove2Me