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

DBIG = 17b84340597b6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100d

FP = 0ba240bdb04578fc8c7fd462f76e6dd0cb3a1c5f4ad1af25f84c3c443f208097
FPraw = (145007,12516205,926f3b9,17c81690,13ac67ad,ef8e9e1,13d5f421,1c13706e,78a7e)

FP2 = [1e578bbf9081573ca13c04f96dc5051dd75c26a6299321d3984bab375bfb4b57,211fc3fda735c90a2f2bd08ec8ef836ec81f169185598cf676c76da1ba950a3b]
FP2raw = [(17bcd853,68f069d,13cdc398,430bb9f,8ad14e,1f160852,1793bfbe,6618272,1cb1d7),(1817a33d,42195b5,17ee5e13,17234cae,18920a75,17ecf333,15c47332,170eb515,90aba)]

FP4 = [[21e9e7f071f3ad6249af45b2fd854519d9b8a5be0ffdb5e81350d8b0e0c31a84,2250d6ce81bc13c0f916d82aee600033ec88138dadf1d2f37a3c86bc44f673fb],[18e01c3b2b6d60d6ec719c12a8ef222a51f76f028979e8671c1f18f5b408077e,1a6f687b4671574f1d778a3c953907be6c26860d8b007fdfa21b2688437cb525]]
FP4raw = [[(1f0fc5ba,8a944fc,15d4c813,1d908d6f,1eb85927,165925d,1aabcac6,6206e8f,4c217),(15bbc2ef,4645666,1f120ca1,4a5fe77,1b94d8b5,be9913c,1ce9420c,12f33d88,1e1c77)],[(170fc25c,1076d8f2,736ec54,d155da,107be19b,a59b480,8eef9de,1241fa6d,21b386),(141e8371,183ff3e0,89805ac,ce018a6,18f57bda,5ad6e61,b842ad0,1af16e44,d049d)]]

FP12 = [[[02a6a86122d2e4cc6426c4d9d48e9d041a6d7104fbb2713a0f5e44f5a0eb1364,0ac09e4e40f3f9878b23fe482932e00e0cf6da3fb7dc8bf54f0d182556afc479],[053a9ecc5bd004e17f52948bcae7a37af6b6140ce972faff4c65954e6d8c35b1,09ca6112e4df8d64a76a57cc7f784109d90f69aaaa0c7e8c053fa82aec2b672f]],[[1f777001b4ec25310459ee6692e8637512bf73b72cac3124a42588909cdfe844,0dda9b0d607533db45701da61b6fe1c6f610a9749d2bf36efd75cf71ff3beb6a],[173a01743b1c04b09916bc770b2abbb181e400c29051f7277faa0c564a8da2de,1c04677785ba249831ac3d92f7fb89b41e669c1ebdd25192f512118cd05f6daa]],[[220460dcb7c602dbd7719a03348803ada4176b6a135b0b7e8f8aa65cc76aa7e0,143661495b1dd28d7fba3386fc259c36c1d86c1cf7bcadb5765eced7b1601ffb],[22dc69943d46efd5c0600c65b398db1878af820e06ba2a6922a0f9f3f465e6de,0b517327fa3d3356e45eccc8262344f07e4dbbea4e538802b3d8dc18946266a1]]]

ECP = (1aee21b8a000897175f5cd0dfe00054703227a721740d7bec25d85deca96c6c0,1ecb5ecbb4e8448fe99c94a97a53d40e7b574bbe11633522ece53824067b67b6)
ECPxyz = (1aee21b8a000897175f5cd0dfe00054703227a721740d7bec25d85deca96c6c0,1ecb5ecbb4e8448fe99c94a97a53d40e7b574bbe11633522ece53824067b67b6,0000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

ECP2 = ([0ce1ec984fba6f372cbad3817caf642b2494dc6f3a98747ce6fa8ebf9c4af234,20553fe9716437a57fda3c5f531103e10c50da861a6b9e8aac976b1b828efdd4],[11d4426d79e598b76566d22d743365a97f9df8acbebe41ad6e3a29c04911e5d7,11f2b3a1491b9562e99693e631386986bd7c5e885954f5a7d20bdaf3526bf6e5])
ECP2xyz = ([0ce1ec984fba6f372cbad3817caf642b2494dc6f3a98747ce6fa8ebf9c4af234,20553fe9716437a57fda3c5f531103e10c50da861a6b9e8aac976b1b828efdd4],[11d4426d79e598b76566d22d743365a97f9df8acbebe41ad6e3a29c04911e5d7,11f2b3a1491b9562e99693e631386986bd7c5e885954f5a7d20bdaf3526bf6e5],[0000000000000000000000000000000000000000000000000000000000000001,0000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f00

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
