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

DBIG = 17b84d340597b6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100db

FP = 7be0eabf5ef8c7091c8b726019db3fe80580f854b4b500d351d3c14d55551b6a
FPraw = (6f2b524ec72001,2c9024de803d62,ce3eeb21cbf2d0,9838deff07c486,b8c65eb7)

ECP = (8741a3e83f2f9da384e88a1458b9f88d03ff2f81ab43594fa68b501e7d5161e6)
ECPxyz = (8741a3e83f2f9da384e88a1458b9f88d03ff2f81ab43594fa68b501e7d5161e6,0000000000000000000000000000000000000000000000000000000000000001)
ECPinf = (32c8fc3455824d54a972f97e506fa5906b5026e6aef2aebc2f2d8909019fff96)
ECPinfxyz = (32c8fc3455824d54a972f97e506fa5906b5026e6aef2aebc2f2d8909019fff96,0000000000000000000000000000000000000000000000000000000000000001)

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
