def c
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
15# 2^256 - p = 2^32 + 977
16def c() -> List<&2, Nat>:
17 [977n, 0n, 1n]
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
15# 2^256 - p = 2^32 + 977
16def c() -> List<&2, Nat>:
17 [977n, 0n, 1n]