def b3

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve

import Base

95def b3() -> Nat:
96  21n

Uses (1)