Assertion list
private key (subgroup of key ) → IsA
Results from Ascent++: 3
private key → IsA → the key 0.60
private key → IsA → number 0.31
private key → IsA → n bits 0.25