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

DBIG = 17b84340597b6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100d00

FP = 7ac52080a9f75c6105c552a7852c01355a68ea320531820f99eb16cf73083d5d75201bb01475f75d7aacaaa2ff04546c
FPraw = (e67fd17bcadf83,9eed7ee5e35459,c2b308dd1fd72c,e80856efdc9a73,60240e595ce9ff,9fc11ae623db32,2dde3d37783e)

FP2 = [0d2591d40e412c2f41c2e28b2c6eeaa667ec366156ada96b3199ffaf378e876136f7828b468540138f44dae9b3fd5353,5e5db1d7a6d7c22de08edf6bedf216793612b97d688c5d85bc210a589ade22ca118c6c76b0820f797dfaca84cb22a05a]
FP2raw = [(86feab7069988d,1aab7f61b9da43,edd15cfa32cd59,30d2e50ac3fbc0,73d72e4cf65dda,e19e88750b49f0,16a67c37dc76),(29404ee3f0344a,685f7ba416eabd,d57973e2a4e7ca,8f2acaa8fb4fa0,6be857594b256,30df89fb193218,54305b8ce46c)]

FP4 = [[0000000000000000000000000000000006d6499f91789627762d18bc9066a27f79208013354b88c32e59e8558a9ee75c,0000000000000000000000000000000018ee157043946debdf44fa80cbfaddcd23e13b1dca3c8f1e312f834a8a246933],[000000000000000000000000000000000665d719dffd67effdd1a30bfadc004feb434391ec39c1da40ffb05c23b6ece1,00000000000000000000000000000000057867e9b44ce13173e530badf936dd23b3b33a6f8f2bffe881409f041e6c2c6]]
FP4raw = [[(790759e6a091fa,1cac18758dd8a8,d4d898e34aa2dc,4ad9680fe7d649,158fba24ad96a0,77ebf0d5c3a263,1ff0115b8bfd),(dd1eb3e156caf3,aa63256b89b1e8,20a7cdade960e6,420a4a9d07740b,dc98046d7679fc,bba9a0d9d16a06,136ef2ce3e2c)],[(670594559ce645,f9b0a4ce1fbc65,7b67c6deeac251,a60095f1621b0d,97192b3176b484,dbb33a39617031,4a6f1f9f9a72),(bc088827d9438b,a8b230e87d9b95,ece1bb2dc62459,bb398d5662bcd0,f98024e99c1490,9ed2bd6bffafd1,4a84d6680d8d)]]

FP12 = [[[36373892af52f8945718de31a3f6ddfb8666c77e47d1126b25cb392c1b5b2b2e3260c4cf7c721e3326796c9900a1cf6e,6aa95b7a740e4671507b45baa03171c66db628e8217ba649ef04eb3f6c976646d18e52840c7fd6b550675ae315c53a5b],[3b30c5fb2988ea3970002a4ab318c46ba6edf1ca5a7c6b6450e6d2d0b65c4ca3b19b6b4ec89a81c01105d5e1a0716d30,292d580de9fc396de4ad6b3c45dfdb09a06444771074df25c9e55e594ef1427370f633584f9d302c8f1bf79def3b87ff]],[[06cfebb951a605ebe7fa1cca353acc0f4258ea8c2e84e3f071ad9134025fa31b04747856e71ab1cfa17a8921d815c1ac,167ecdbae21f6eabb489ed0615c63584988e1cd50a3819d38e7f81fd60ed3a27b2904fc07f2d8bed3456a03678bea79f],[1afe189ac2362b4070d15bcfa2617e6107d80a38b063a19926f2f9402c162d4e06c721c2c70027025573c4660bd6a888,6d7974ab4a5c7637f2cdd9f886b50526fbdaad37324605cf5e0564a4b60d0fa86d27860bdc5a13f1b2bc4259e798672d]],[[78aecb8effa7d19015aad2d9a8011d75b403a6232363d07268349e40c2b0fc21302d26868349f90f7e62048d86f7cad8,1eefe48cf6c774fdc0931e7a3d8cb2922ffd2a602ce38999a8be689d71c0168eefd2777b4bb68edef8fba941fb0927be],[4ca6c8d06039a85ab18232ae9eb2e85e4b30bc1d9314ed3f8989596ccaac832a3bb46b9f75d9db3609014b7bd5ef8f37,3ff5e78e6e63a4cee1de92994ff47508e74059e5b7eb07cf17a707841b4bd735c3a4a30fc2c7287cf3ca642e5addbd6f]]]

ECP = (38b75d90fb32c4a3f6f792cc2c3ea6ecfd76a33cb97dac964e24c28a57e1ba61633aef45ae16f12c359aaf70ebf19bda,7215e2dda14077dc4014cdd7866233feb7ec42777dcf6f8e1b7118c7fb1bc65972d1c7ca628efea7b85e6772568b82c8)
ECPxyz = (38b75d90fb32c4a3f6f792cc2c3ea6ecfd76a33cb97dac964e24c28a57e1ba61633aef45ae16f12c359aaf70ebf19bda,7215e2dda14077dc4014cdd7866233feb7ec42777dcf6f8e1b7118c7fb1bc65972d1c7ca628efea7b85e6772568b82c8,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

ECP2 = ([7248739bc3d0fb787a48fe21c35627d29497a90994e65d15060cee26f310bc79e956d5a4a99c0be8e968e1986e11d0de,44e0639b8fd7a9487c2db1040295afd03c489ca929a233c7a790e0a32499f72676c40da8e7d6041a7d2e93fc1b37684d],[38c929e27e59beb0cc8cd6fdccb9c6cf54907f59e327bd172d42af4b7ba55b07ee30fa352e1cfe12cc2da9fa3374cc62,29aa7039fca189b353e5721d33949974da9b04bcf85731e8a5491c8b67cc0bf891451bc5db84adca5720d2203977e99d])
ECP2xyz = ([7248739bc3d0fb787a48fe21c35627d29497a90994e65d15060cee26f310bc79e956d5a4a99c0be8e968e1986e11d0de,44e0639b8fd7a9487c2db1040295afd03c489ca929a233c7a790e0a32499f72676c40da8e7d6041a7d2e93fc1b37684d],[38c929e27e59beb0cc8cd6fdccb9c6cf54907f59e327bd172d42af4b7ba55b07ee30fa352e1cfe12cc2da9fa3374cc62,29aa7039fca189b353e5721d33949974da9b04bcf85731e8a5491c8b67cc0bf891451bc5db84adca5720d2203977e99d],[000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
