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

DBIG = 17b84340597b6fb2f909526d24a91684871948a0a24d06c6d313d6c46d2c63e974f422047cb3844ff059e80b87997dc8efeeb125252aa71c8422e96ba5100d

FP = 073f655e3fdb59df87e3ad4740ee95cb0909af68ec8dc73108ec37b2dc3359ea790868c13b2829c28cc8bf56321a80067d238e472773fdaf12
FPraw = (1d63c581,679c8f,10169cf6,1a16353e,2218698,655c0bb,358c050,f5cf200,1c731cbd,198911c0,c62d0ee,1c989806,1d2a845,137500d9,8ec19f,59f10)

FP2 = [3fb338d6b951ba02297f033ae932447f52f1039c5efde6813e549ef26c58ccae2eda90c6ea328f9386c577d12e5981595af3ce6c158d376bfd,09fdf78621a27489f026ddf0e45384e010b37f265515bdb4ffdb377cd5683d5ec9f9769716df7dae2d3bd3875305aaf463cd7a853a38777a29]
FP2raw = [(c281bb2,84e7548,17f92dd5,c380188,2ff51d5,4ca7bfd,28e962,3be6cb9,15c8e6e9,141e0d96,1a271c8d,6c84da5,126d9e87,1771bf4a,16834f8f,37318),(1b1ff3f9,18489f0f,1b551dea,e437906,172f86b6,8665cb8,e21cc2c,1c4a4fa4,72c148a,822ac1d,1027c721,11c8e09,ce29453,150510f2,f3c4372,15e50)]

FP4 = [[1889b31c0dec27b78998fb2765022c0f9406df114f66e23ac686c487f15c2fec55958bd3aebe12818635ad863865494afc4a4e0a0c82f994e3,419e8b5f1a7ba2896eb7e0eb1980ad83b1f847e1e8127b9500b6208ceedb2cdc9a0508798e1f425625f151804e72a7730389764351b821fa4b],[0de5bec73085cfc1d3ca105199fc68a8dda05b0784c39bb6c6b330d089c4667658c98eab41bad11e234fc2decc7ae7b2d035fb43363c1afa06,4e018b6d41bfff4cf5f55dfbe53546edcfb3a2adaf641de576dc054d954728f724444c0e4560b3a5a1f99b285ae09d963bfd4e6ff6ee97408c]]
FP4raw = [[(16b31f3c,1c48a05e,3241c97,65aeac,f79641,c903d69,1e05da31,d902084,184003f4,17905ca9,1dd9af44,2f58991,3c9ca72,ede0d43,18118539,7eecb),(1af4f7f2,5265652,7504447,6e1a0de,54ee0f3,1c901661,51e6fb5,71131e,109f5871,98d0ed4,109845db,1713e68b,1125770f,c43aea2,15e2b847,15ad7)],[(82a3b23,8b2c949,8977452,2a6c40f,e742060,18098b72,103344e5,c364b65,fdb2965,1c936898,8e4d079,1c33bdd9,175f8fbe,1ebbb05,1906ff04,5a545),(1b85230b,1400cb93,412ae0e,13aad92d,14e141fd,19f97574,1424d7f4,13fae777,1d1879db,1d4d9c4c,1396a4fe,11bbb1e5,e4238ce,1fc080b0,a60fdec,f955)]]

FP12 = [[[387476b675101f3d04c78ba473ebacee3a28753e0d93aea99cefc0186a55912c30641bfdfe0d264d2acd81b6e57c71e55303c693db41ed46de,3e9b8725bea91e2a25ff4aaaf98d80d22c502a4e7226cab8655fb785be5d1b862620c71db17e34f247e4e234395d3447572c6a5cc36a4a1b0c],[360a4e671323ccf79eb9a9d94af84045535a64a592c0ccd401cd527bbf0ab57d294703f45da48f04e03119ecdfec9c07e4c34a244c2ef5172d,2a4616853fb427241d48370b21b3b3d2ae8d17d22dee19bfea3431f478d083a9170804718b4e2181f23b18bed04f6d1c0d8b7387d4f9df52a5]],[[4b1818e4978cc8dc5c8b7fe98fcda8bdb5ff1eb84ff7d0ac256472a116f1865815a96fcc3fef97b5ba95700960c7a4f8f2894e686fc81510de,0d1891934556700902a4bb7869c8a5c7388eda9d0bd2b6ebda7f12c0465c122fccf8fe9833beb2644483fc6db33315c1518f6bc7b62eec9fcc],[03155685be93de2a3223266ad81d2857d9fd0c4c354ebad51057b091435d93fd74026c7d4ab4d4bcaaee28100176b4b3a381f82485ccc9fc44,09be1b59ebf9bad0975def367acff351a2c6826e2bf78b6c05cd1832608f48b3cafeb8013b3b98e7adca5347bd8b7bd1efec58a04b354e4123]],[[457070e89dceca3c79d1b09de71a3761e9b7d799dd5e5da672079f55ecc72ffd95151659689a13e2f581ff8ac183340891b418b9f84947918e,4a8ca4e64ae67154af72fa3277c767e4cbeb5397fee69e24e8ec699d8516a7fe56eeb886fb05427c4fa95ac1bc1fd903bafc2ed7d92b47308a],[4d4f2e9c606bee19c0d9502db06ac17ebe15412e844b58b6b3aee0ae558a24dfce9f97e0d3844000da18313622edfde86f10509ef3b703601e,2c39caaea622134c857d87610dd27763c83bcdd00276c8905578b523f190551f5687e45e84e7cf60932e8a8a518cccdf78cf01872d8c4f53f7]]]

ECP = (3c4a2e6b64c06458acfdb814ee03b1245935781cac010b0c532110dbe2eb700acb607829db4ec74ec3db666f02c76612f9fef0c1d829eaa7b4,2e40f906bf656582bdbc6b8f50c6aed09c4bf53190fdb0ecef8d3d6e919e29c752327a87999bc772220c04fc1e22f4a84634d8973f15712d48)
ECPxyz = (3c4a2e6b64c06458acfdb814ee03b1245935781cac010b0c532110dbe2eb700acb607829db4ec74ec3db666f02c76612f9fef0c1d829eaa7b4,2e40f906bf656582bdbc6b8f50c6aed09c4bf53190fdb0ecef8d3d6e919e29c752327a87999bc772220c04fc1e22f4a84634d8973f15712d48,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity

ECP2 = ([1729c061b7f63a100317ceef3e8d3e3f5983974ca68c3e2a7f01de36dfb54585c12d12f3ed9c2deb7ccb7c2ebc5fa76b2fbc8e70668a20384c,20c7a0259b3c985e87cc0ce7ca43beeafda0cfa3ce3040bd42b0629dcd0a334412a8267668a14ce079e2ec06f2c40ebb79a43f9b8db876a3e3],[13171c96ade7a12205e235a23f0c92ac24910744d8ffb78f709c4659a378544777a049fe9a5a342efb5d522cc706082b82e7fa48d65bfc0460,422836f30b37bb501c16dd8fa01cd090b84c53e88f0fbf4bcaf84dd67dfc807c35b3d56483d4c611910f1db4f9b2acd5fceb647270e01713f0])
ECP2xyz = ([1729c061b7f63a100317ceef3e8d3e3f5983974ca68c3e2a7f01de36dfb54585c12d12f3ed9c2deb7ccb7c2ebc5fa76b2fbc8e70668a20384c,20c7a0259b3c985e87cc0ce7ca43beeafda0cfa3ce3040bd42b0629dcd0a334412a8267668a14ce079e2ec06f2c40ebb79a43f9b8db876a3e3],[13171c96ade7a12205e235a23f0c92ac24910744d8ffb78f709c4659a378544777a049fe9a5a342efb5d522cc706082b82e7fa48d65bfc0460,422836f30b37bb501c16dd8fa01cd090b84c53e88f0fbf4bcaf84dd67dfc807c35b3d56483d4c611910f1db4f9b2acd5fceb647270e01713f0],[000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f00

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
