BIG = 6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100d
BIGraw = (ba5100d,421174b,94aa9c7,1fdd624a,1997dc8e,cf405c3,e113fc1,4408f96,3e974f4,16236963,11b4c4f5,1449a0d,871948a,12548b42,42549b4,df65f)

FP = 18921cf7816d1db6d0907b6de867f03d6a77b8c502ff755dc34a9e492140a81a9eb8fd35c6a10dc521d259e5d13c887db8075d78b0d1118c84
FPraw = (15d7eabb,1c8aa08d,137bea2c,e5ca26a,87306d3,d8b76e0,18a0088d,1403bef9,1f380f54,14b29273,8644bf2,1884f201,8b4ec66,1b4895aa,755cefd,12ac9)

FP2 = [154fda0c0338cf121e65bf7e1b3f91d1699f835245dd1bd33183069007e85fe2de6770a29284b5fbda2608d717320e9de10b72087c2dd3ce7f,06d14b06a6eaa6fd217e83f02f1b3015b0551591278493992d0855bbe89ff37b4948c0155ceed2e2f188a7e94255a75ef58b98e2f195b7961e]
FP2raw = [(116836f,b049c39,c3abfa2,10103b64,1b917cee,1c739f4e,1661e66b,c3245a9,1000c8c6,1b15e80a,140f1eaa,1a33e86f,1c858c7,3617bf0,1fe5c560,4696d),(521ec03,1ce9b081,1c0c900c,217908b,1a382d22,13668c90,1e76f958,6b423b1,1003b2cc,31cbc0b,e00ae4,18382931,1d0351ce,195c0fa5,e01e44d,44a23)]

FP4 = [[1163f5d0d0293275c13e5afd147d7cb1fbd922c50ce4593d5715e39089435e2593eb05efa976371851b1e2d21a5bf3ab4dfed8667fdc692e6c,16f683f8803d2bccf411e91b8bfc67474696374aae88583201fd26be5a9cc9e168435f8bcec00cabd7014c55aaf56ca31733167a86560271f7],[1faa436af42cb0432934d99682535ab0d178098bad008cb77984de5d4bcdc7e964270528572dc0319efcfb2635e1198bc977928ef84217b49f,2315ccb7e6e29b6677bb8db2f700a4cdc8374146c1b2f5edc05d722a3b3483ec747f2945baf954c61baf190fb6f570105fead2e34ccbf3c6e7]]
FP4raw = [[(10695b0d,10c8ad0a,1f153699,5a923a6,1873643b,183d979f,1fdc6e8d,fae5d82,193e1a16,b0b0cda,1b7df5ef,1bd61d34,189d9344,f34d499,138f525d,16c2),(101790fb,70fe928,b020d93,19691fa,a78df58,19b0241f,c552528,18fe842a,6ff8805,c1c0ce0,1a60fca1,1b557235,f9f619e,10d85742,13b81e25,2dedd)],[(262db80,7049626,d103bf1,1d42a945,1f21709,1f9b8585,fa79f7c,1c9aee52,c1e5c3b,1071be57,2bc709f,5b87340,13979569,7b131fd,16890667,24702),(1ad66e42,6daf066,1277695,ee67111,13c57638,46a20cf,11a7db00,8b37ecb,11d935c9,15d2456d,1250418a,6d2c6e7,1e6900e3,5427603,1a231ee6,2b76b)]]

FP12 = [[[1ab14306e9aef170f7999ce8cef4bb04c1b38da7f5ec83157522be513f6e40e12abc0c324e604776cd3d389fc34b3fa625e0c0ef9278a25e4c,0ab60f92ef12d4cddcf17ea0361b6dd8d4071fff5e92d7bf6fcf05090037887e501706d84d4a194ce435a09dc2ad873765dce3c45946320738],[1a90e7d89d8fd582f72d739b9713efff2ae6f54698dff70e5310c208b6c7dd847e3bb31a5852b11e6fcd36166002daf554f84ed1551112e1b2,2228f507f292959f553fa904bd018646a5ac5b3bc8c62766647ece3d2d25532d3922ec95ac2047aa530898402712faa57fa49477a18c0264b1]],[[14c6c0024d14cbc4069e435a163951bb9c7d2e4f2079664d696b4c1d7779c828a85c2d2fee284d399b03b0d30560e6c087b739295eef7c5ac7,01f5379291695e0c9d27ae6e25f6321ac43485a1f4ff96c9dd29a5fa76d4e19bc9c7887433d38cd19426976d38c60238b2ff6608e0c69defba],[0aa030f08a2a69b2ea7d5e3b4a13f9b03f789a8a2947028aef074b939f60cc76797b4be83e3ee9a59f3af36a92d9fcc2b753a03a6b184d188b,0685b983dfb7acfeb70351e4bdd3ffe4afc82bb3a9bd211c8327ffe6b42e71a2b7a920414422c31f4c1cbb96637d2f571ec1f8360deeeae709]],[[211bdd9b48decd2d3efdba4bad2e1ac7f099490ed0704b1eade157144ee41c63ee46e9781c9aa13d674b1f0858727f78cd3076876f0c06dfec,14fe79686cf2588bde8bdbcde30fca4c80123dd70f2eb752a109c0ecb866eed508c8af8efa6c5ef83272926b126a0040f7df2dd234662be264],[11e52132685db1037dd22edd6faf941c8698f4ebba0920652e3ff171f94baa960d74fb1c60c66bc95474fe9277666083953cbdb80296e1c1d7,10f2291129fa6c595bcc6fd033a269afcc60fde72fbd4ffa54b2acf25f174e92885fc3168e72549a62eb4557349b2e3a11e8a5c2eff2a985f0]]]

ECP = (1b5359dbb49a64adf788dfae3190ef77245218e5393065a39ae1ffbd5d34998fa7517134fa34b7d48a07b47aff05e25efb7ccc64742ba95a2c,0d50416f50e4da04ba13b30977b22891caf3a196c1e4aaae13850d451e355f2a4443668c8b83ef3877c5b35cd9c79d49041c68dd3635a57474)
ECPxyz = (1b5359dbb49a64adf788dfae3190ef77245218e5393065a39ae1ffbd5d34998fa7517134fa34b7d48a07b47aff05e25efb7ccc64742ba95a2c,0d50416f50e4da04ba13b30977b22891caf3a196c1e4aaae13850d451e355f2a4443668c8b83ef3877c5b35cd9c79d49041c68dd3635a57474,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

ECP2 = ([0280d5208bf513cb5b8f7199539dc3cb9497c570effcb42069cb0c508cdb643250a8b557184b68564060d7df80b603b50abbdcee105b44d8da,16405caf9d5e6299909927e8e5154f9aac14cd2c055ef0220ba6ca7d1ecb149a067487306d458915b83ad7e27a3c042cf590867060af1aeb07],[11c6b11ef084de80b3ec49ccf0c7132269f908e1519d77b838dba0b52f9072efde13132cfc83d6a9f47626d894c50fe1a55b53fd8ae56afc7a,2216fc987765d1246fa3d588bae3f8bacd298566678f0805e24573ded902a20b80f98959a05b117a9eadaca72db61ced7f074b2247722b5dcb])
ECP2xyz = ([0280d5208bf513cb5b8f7199539dc3cb9497c570effcb42069cb0c508cdb643250a8b557184b68564060d7df80b603b50abbdcee105b44d8da,16405caf9d5e6299909927e8e5154f9aac14cd2c055ef0220ba6ca7d1ecb149a067487306d458915b83ad7e27a3c042cf590867060af1aeb07],[11c6b11ef084de80b3ec49ccf0c7132269f908e1519d77b838dba0b52f9072efde13132cfc83d6a9f47626d894c50fe1a55b53fd8ae56afc7a,2216fc987765d1246fa3d588bae3f8bacd298566678f0805e24573ded902a20b80f98959a05b117a9eadaca72db61ced7f074b2247722b5dcb],[000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f00

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
