BIG = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002758f22abfe4085c27f2691bebb75d7ef7bf4f9d441ad5cfc2ac3956748c1407
BIGraw = (2ac3956748c1407,bf4f9d441ad5cfc,2691bebb75d7ef7,f22abfe4085c27f,2758,0,0,0,0,0,0)

DBIG = 17b84340597b6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100d

FP = 1886634bede8b87ed07539e40ac50c54e5834c1458acf59c47c608e957747f2f30945a681eee8c4b568efd0995ae778f9ffd70a61b4826e796a38087463d175d73fe44c22fa7931cc04327a0c721b7836f
FPraw = (c5f795e37ebc36a,9958e55af56d26,2c815278517c192,aea27eb2f54baaf,aa27e62b8c3221b,184293edc9ee84e,f35206d9d1d180f,13aa107f18b452b,cc08ff792d3bf82,49720595e3070c1,acf326373f4)

FP2 = [1e31e37fb92978f79059e242da4ed2716cd4fe36d67cbfb559b88772bcee7063568995cb22d46c17d9b99989695e37fe1c548d18e65e62e6463af49daf43e52dd3a081da71925a2afd80b79b81f094f010,04a517b4448710f2ccd789530a4ce648eaa5d1fdf6c49b5c2c4dcd033db47c36fed36f821ffd8fa9cfbf918933dc53c795e00efd26638d22cccb9cd7315f7c2d0d3cad195da41bde163d5a3c7f988a7af8]
FP2raw = [(d7ee2e59f743af5,2f5d9cae6c44bfb,36700fe95b16039,ae5df376a16727,f71c1610edac680,ca6d604583376e,2aa6757f23a3743,b5b85ab7d7a1b6,f934c8b8a4763a0,e389ac536671905,de6d2a780cf),(f1f643744602b5f,c00b9a2106032e9,b2390cac16ba9b2,5ad7a06d11dc670,5baf0caab039720,df84e262aa7630f,fc03154574285b4,d6f6549757ac3c,82606d90759a6e6,a108989f3362316,1441a63216f9)]

FP4 = [[08b052980f33a7216af0b0485813b113130bbb03ff0b929bad716bef50cd405b088bfff2c358b7ed609459e062ecc513b7b37a73022d426bb1434103c8392f5d42c7ad472dad69e89dcfb3d66aceb8cc14,0400ae03bbd2f894c187b09c4deae7b5d393cdf2be97883c759138e1628b27274400da76be5e4f1e6c280f922aa1e451f454fc319171af58421088ff4290abf4054f33570cc9c6300a0a9a69f5c2de4975],[1a175ddf527938bf6998ca56795b84ed153288fb97f082cb2a3dcd7d5ad4a9783c7c12dc3f5abaf0cfbe8ad264fc3b1813775d4b4cfe061b9c09210c36274a27893acef09506c819195788d51c23fdf671,17f836e627fa183b421ea421aa55a867166033caec1796b27240d528780ef8729b61eb95372b64fae5a18e47a1ed72bd9f9546f9642f47d7bd7ffd31a482824b213b8cd2853970b97ec44513156af6d877]]
FP4raw = [[(46a3707e1256569,2175069da1397fd,66df2c7ab15eb09,9f65f6040f4a948,862fdce3c238201,7f71925b2acc243,c8b3e1b9f1372e0,7538250c764d3ee,7af71e14ab8355d,f2fe5db6765a9cd,1da027fca9c8),(3ed33da05edf249,a0e4cbfc70fd5ef,f9758a1b7afc227,c6c56cee8bd98be,b517380fcb56361,5a68b3cb1d691c0,6ef0d1b649a8e3b,aaa3b859b7525d4,5c9120119d3b9c9,3b0e7d8a50c3478,78bf1e22679)],[(a02b61378231cbf,59df47c2733ebad,d0a46fa240728fe,3bce60726514636,5acec7cf275d6b7,7b2576b350e4893,b99a6026ac4fbd4,201b552960620c7,5eb8ed50196cc65,daa27f9f7bfe40f,1764a09defb6),(6aaea22afa27958,abe9335219add2e,aa7b024648897c1,822f97576680aae,2be57d9c93e6060,5f6c8197208990,5eab0abfc44a261,acb2ccc37a67376,348955f7247a550,a699b719a764f42,1f6fa467e10)]]

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 = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
