Verification phase
=====================

We check whether the number of points NP is a power of 2.