P
Initializing...
Φ, pointwise: the entry 2k + c of the input lands at the Φ-address of k · Prove2Me