Assertion list for term "n bits".

Results from Ascent++: 1
private key (subgroup of key) IsAn bits 0.25