def cn
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
37# 2^256 - n = 432420386565659656852420866390673177327, and n
38def cn(+one: Nat) -> Nat:
39 digits(one, [48831n, 12233n, 41331n, 16429n, 24516n, 20663n, 8985n, 17745n, 1n])