~/jendhub

def cn8

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/consts.bend:157

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/consts.bend as Consts
import Base

157def cn8() -> List<&2, Nat>:
158  [48831n, 12233n, 41331n, 16429n, 24516n, 20663n, 8985n, 17745n]

Uses (2)

Used by (4)