BIG = 2758f22abfe4085c27f2691bebb75d7ef7bf4f9d441ad5cfc2ac3956748c1407
BIGraw = (148c1407,1561cab3,6b573f0,1e9f3a88,15d7ef7b,148df5db,1709fc9,557fc81,2758f2)

DBIG = 17b84340597b6fb2ff909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100db

FP = 12e02f52f3190b7338e1d5cbed0adf3cb08d6c42b521d836412ccb04a93717d1
FPraw = (12a2e3e2,15b2201c,d66e04a,12d615f5,9f44524,65de50a,1bd78354,16986723,10158c)

ECP = (323b3e6dbabe72b09d5d74cacb8cbc71cde6af365674c688e30b7036b5f33df4,16d881d1a5ca6326e57c3d1466470d417507b29deca254ad07eac30e4de0f449)
ECPxyz = (323b3e6dbabe72b09d5d74cacb8cbc71cde6af365674c688e30b7036b5f33df4,16d881d1a5ca6326e57c3d1466470d417507b29deca254ad07eac30e4de0f449,0000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
