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

DBIG = 17b84340597b6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100d

FP = 1886634bede8b87ed07539e40ac50c54e5834c1458acf59c47c608e957747f2f30945a681eee8c4b568efd0995ae778f9ffd70a61b4826e796a38087463d175d73fe44c22fa7931cc04327a0c721b7836f
FPraw = (1d28722e,131d7442,1f464d8a,40d8216,1e0c8ff7,7734485,1e9573bf,7ab2f29,1900e50d,198adb07,103bfe4f,dea2278,78c013,1b349b46,57e2a1d,7f18b45,10ffd408,1e4b444d,39811fe,15e25c0c,24b902c,c98dcfd,3e)

FP2 = [1e31e37fb92978f79059e242da4ed2716cd4fe36d67cbfb559b88772bcee7063568995cb22d46c17d9b99989695e37fe1c548d18e65e62e6463af49daf43e52dd3a081da71925a2afd80b79b81f094f010,04a517b4448710f2ccd789530a4ce648eaa5d1fdf6c49b5c2c4dcd033db47c36fed36f821ffd8fa9cfbf918933dc53c795e00efd26638d22cccb9cd7315f7c2d0d3cad195da41bde163d5a3c7f988a7af8]
FP2raw = [(152e96dd,4613fb3,19a9f7ae,13ac7527,b01c90c,19c5db4c,7ecbfd4,1893766a,43ccd0d,5843114,16cc3538,1e430043,1a1862a0,19f11c8d,16c5021a,1ab7d7a1,1b571842,e290fc5,bf26991,13659510,1f1c4d62,14a9e033,3d),(eb6aa28,c81abe8,a75d3e1,8c0fbe5,1d4d955e,ba9875a,17617485,706d0cc,1dfe6264,32a9cdc,199c2f5e,16fd6d2a,da6f85a,1ed0c0a1,79f06dc,149757ac,14a2ebb2,41d525a,d04c0db,1f321e31,d0844c4,98c85be,3)]

FP4 = [[08b052980f33a7216af0b0485813b113130bbb03ff0b929bad716bef50cd405b088bfff2c358b7ed609459e062ecc513b7b37a73022d426bb1434103c8392f5d42c7ad472dad69e89dcfb3d66aceb8cc14,0400ae03bbd2f894c187b09c4deae7b5d393cdf2be97883c759138e1628b27274400da76be5e4f1e6c280f922aa1e451f454fc319171af58421088ff4290abf4054f33570cc9c6300a0a9a69f5c2de4975],[1a175ddf527938bf6998ca56795b84ed153288fb97f082cb2a3dcd7d5ad4a9783c7c12dc3f5abaf0cfbe8ad264fc3b1813775d4b4cfe061b9c09210c36274a27893acef09506c819195788d51c23fdf671,17f836e627fa183b421ea421aa55a867166033caec1796b27240d528780ef8729b61eb95372b64fae5a18e47a1ed72bd9f9546f9642f47d7bd7ffd31a482824b213b8cd2853970b97ec44513156af6d877]]
FP4raw = [[(cb2ccb5,12a5f7d3,731fa89,8df477c,f58481f,a3f39a5,f154ba1,1d00407e,1e8c3247,1738da65,10f35b5f,11bcdc13,1703f602,1d1862dc,1dd86543,10c764d3,2691292,52ac34c,1af5ee3c,1674821c,797f2ed,9ff2a72,30),(e7a6292,1789ebac,17bfde7c,13c4af08,1e113ccc,1be02ab,a9432fe,1f0ee8a0,13c3d9f,e03ed59,1fe0802e,fadaad4,11dad1e6,50752a3,1a8db238,59b7525,19dbf2dc,4674796,10b92240,a504e47,9d873ec,1c78899e,77)],[(3f9b957,d66ca8a,e8d5b3d,3ff37a6,1947f214,109232a1,1b22832a,de725f3,16d38cbe,11f3b853,cf3ca9d,1990631f,1ea3d4ca,e7cdb3e,18f6a735,12960620,f87ad2a,140643d8,1ebd71da,1f7a88c0,16d513fc,8277bed,19),(191f6b8e,4e746a5,13e65cd5,18f68f01,4be0d51,7530062,937727f,5357661,c641ad7,1f6723b5,14c021ca,7265797,13082f65,1bcea528,ecbcb40,c37a673,5ce0866,1dc91ce5,46912ab,19a749f4,534cdb8,1e919f84,8d)]]

FP12 = [[[178482814509778a4a0b44e2634301059de198df055dc813109d2a5734f6d36aefe291623daf0040c523f0583cf075151e5d8f3ae60892b5ca1df6b23f07ea9587f88d842f2c2512aee0c8f37db970d8a3,0e995e5b9c35254b4653517ec653ec4143b5b4a6030db202f9baf2bc2f8efdf390f1cdf2d602a1eaac0e8b77cab006a1ef23836be7ea304f584b0ebc2f5e2313ba27787296d78b4c7005eaf0f7ff3ed4ba],[1d1c1341af14d1f2020afc1cb96ce6244d1b19db61a916b03f256c54047ef53fd9ecfe657a999d00c312aaf3141a6b328bc1a023b7d119616b6299ff5bea1670ef440727b5492e44ac474c92029b228646,1bcd080e6009a49bc7a41f2c0daaddb86a0a1fe762e24a228be3cf671da3a83ccd634450c8c005f59b170f6a7a1e1cafb3a98a3b08b5124e3d73954c2e90fa67d75a2325d69f1314dbb65d9f4985fa2286]],[[0228d108dfcc5edc76eef5abb2f59aa93b6872edc84954e3ae4d372de44da936aad03c6be2bac64970072d736fb5b4ce656e2aa710d981e8eb434e3014b595918cb472f928f65aec18d9f8b4351d0406a2,0ca80d6adfc504df6e7139e8473f942c3317d6df5791236f7d72d1e749f901f5d3ef3a9c8b3983cc5c2df982af4cf3525cd23ba612d203b45deb3fb23ec1ae6be38a741a976e3e77bcbdf02c2fa5340b0d],[1bc3d3404e87b78f7d8e879f343be54dbabcda6bfc3a7d5d214ba8250be7c5e62d7382f4108a34e3e879a4266383e03570ac504885467e4f75370d19c799bc61adefb264962b73d4891052df404c50bb44,00a4057574aa8a701b484296dafdaa36b19f860eb1c95b86ab2286374c9e1f2e3bd36c6970d2d079e52a428a91a876137fea8220ba7b24836ec1cf38ad3591b177797aa35565bb2c60e6e4df199ab8f6ff]],[[016edd21f8f06a021a0820c196ea9e973c9b0e41792e2a05cb468fbd0121a7e723f03390a8c7b9661b4bb8f43cb3e0ee16edfa6429b641a3c7a367d8dac02a937003bdb6b9ad2849ae4682c25abf6b0a35,0fb2efa2a3231075124f05bfb3850b2263201d2877c0b26ff8d7b57defb8ec0d854871591891e765fc4686866e6e0804345f6af499504e0ceae52c6ef3e69393425b2cbe977fa82ec9f935d47ca0ecba7b],[015a99d9435f403d559d6b96208440149370b1b8a2a7d86c7a0ea217c83bd73c1d0b919fb5c234b7fc071c2037a22a7cdfebc2e82104be7188c258995cc11dc38a107cb77dd194fa8c7a47924d964842a2,0f1b0b9ec70795041ccc69568e97f1492c5325a5246c7e82317635acaddd012b2c457b229fe2c88ee5cb3a20142c6feea842bdbfed950ba0d9df273f712326cbcd06211a5623218373c6593ca6eba794ac]]]

ECP = (234c216b339882c2d955b5472e2fd66b2c968af83d72d18f4914ccd57b8c0a66122cef96aab43aa598f5bd3a3b4591d71072683fe66d1020694cafd19a5f3ba891398793b837ab6130c1d2a1c43b85bff4,238cf3ce5f4200186dfd66420c63a3319030cdb5fa0541d0c83c34da1326bb3fcab4c700ec23c25d5b7077b316508c0de75d3dde7aa0617de1b92de72cfa92564ceba0d0e677c343ad5bbea3bea930e85c)
ECPxyz = (234c216b339882c2d955b5472e2fd66b2c968af83d72d18f4914ccd57b8c0a66122cef96aab43aa598f5bd3a3b4591d71072683fe66d1020694cafd19a5f3ba891398793b837ab6130c1d2a1c43b85bff4,238cf3ce5f4200186dfd66420c63a3319030cdb5fa0541d0c83c34da1326bb3fcab4c700ec23c25d5b7077b316508c0de75d3dde7aa0617de1b92de72cfa92564ceba0d0e677c343ad5bbea3bea930e85c,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

ECP2 = ([1efa8884ef45e153f37a633049222abe58170f7bbd60628da7a45614b388c8469b58ef594a891fc355228c8f1ac53be36eeb3a50c7783a068f42ca70be046cd8a06a10056bf135a241727a857c1727940e,044b86dca60d9408f3157195c11e748460f7b72aa8fb5b37b8a78af03a2d729025be0bd610646fed8748cd1543f517ccd6d0d73e1d73621a23399f59e1626b4b77d62d5b9bbeec53b6a350b2660d928202],[1fba5c45010fc0d7f531c4a101a4f8c639df33cfd5e4b01040432caf207df2a43d17bca61c52d06412a91e29f5cfb29fe76c60a098b46f54b76e647e31572e5e6789fcfabe4dd0faef8bab304e7aa65324,0686504c6abd99c15cee4a745566c246c0db0da94b5f31e696a46dd5b9d3901e0c14756c2c8a209c3580b6f0b847b9b70997a6a0e1b22b68832b3c31cb01c5adc6734c6513f8c4590aa27979dabf59ec81])
ECP2xyz = ([1efa8884ef45e153f37a633049222abe58170f7bbd60628da7a45614b388c8469b58ef594a891fc355228c8f1ac53be36eeb3a50c7783a068f42ca70be046cd8a06a10056bf135a241727a857c1727940e,044b86dca60d9408f3157195c11e748460f7b72aa8fb5b37b8a78af03a2d729025be0bd610646fed8748cd1543f517ccd6d0d73e1d73621a23399f59e1626b4b77d62d5b9bbeec53b6a350b2660d928202],[1fba5c45010fc0d7f531c4a101a4f8c639df33cfd5e4b01040432caf207df2a43d17bca61c52d06412a91e29f5cfb29fe76c60a098b46f54b76e647e31572e5e6789fcfabe4dd0faef8bab304e7aa65324,0686504c6abd99c15cee4a745566c246c0db0da94b5f31e696a46dd5b9d3901e0c14756c2c8a209c3580b6f0b847b9b70997a6a0e1b22b68832b3c31cb01c5adc6734c6513f8c4590aa27979dabf59ec81],[000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f00

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
