BIG = 2758f22abfe4085c27f2691bebb75d7ef7bf4f9d441ad5cfc2ac3956748c1407
BIGraw = (ac3956748c1407,4f9d441ad5cfc2,1bebb75d7ef7bf,bfe4085c27f269,2758f22a)

DBIG = 17b84340597b6fb2f909526d24a91684871f948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100db

FP = 5c4b8a6a7eb1eee2bc07caa1262cc1febb1370868ff829c173dc038a74dbdce0
FPraw = (dc038a74dbdce0,70868ff829c173,a1262cc1febb13,7eb1eee2bc07ca,5c4b8a6a)

ECP = (77b7cb8c1b285fbd40d9bc49d3da20489cc18272eeddd057e7120e1de38a3b5c,67d0e5d15854e75154def7eb3ce0c3e8b3997347ab8061d8de8f6baae02a154f)
ECPxyz = (77b7cb8c1b285fbd40d9bc49d3da20489cc18272eeddd057e7120e1de38a3b5c,67d0e5d15854e75154def7eb3ce0c3e8b3997347ab8061d8de8f6baae02a154f,0000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
