BIG = 000000000000000000000000000000000000000000000000004243e02f90feac8871ddf63782501cbbbb85ae27a3f1020c9e2e998ec2348229
BIGraw = (e2e998ec2348229,85ae27a3f1020c9,df63782501cbbbb,e02f90feac8871d,4243,0,0,0)

DBIG = 20a18e90aab562712fec45e9217df58c65ce8e2a9a128416527e45de4a1c582934e1b81bc8a398e4999369fe44845ae5a0fc9c208b9db2ec3ee0e655ce9a4791

FP = 1587a76590446794852490c3ca8f47143f9423e9c2dbd284d196827491445d8762b022d6727844cae340181ec578c2d760a4ab23d0d88764c1
FPraw = (bc4ce96fe046b19,9c5c5a3e75f2a48,466be253475d167,4382d7e00166ef,8ceeff19b0ed7fe,266eb161d4a6cbc,928ce5bf447a9e4,1b99c4e2f)

FP2 = [3fb338d6b951ba02297f033ae932447f52f1039c5efde6813e549ef26c58ccae2eda90c6ea328f9386c577d12e5981595af3ce6c158d376bfd,09fdf78621a27489f026ddf0e45384e010b37f265515bdb4ffdb377cd5683d5ec9f9769716df7dae2d3bd3875305aaf463cd7a853a38777a29]
FP2raw = [(c688ff91ad51f12,250aa5aacff3ffe,c29474d9c2a193e,7d650618b6fe471,886681882c17b59,6ce6a6761ba1417,fd03c26400dd233,19ab012d9),(781c9dd73a16263,ab7f4afe789debc,c27f72e21545560,8c86868af570902,5ef533f6af4b048,416004337d11c49,678905bfffb8363,2df65f82b)]

FP4 = [[1889b31c0dec27b78998fb2765022c0f9406df114f66e23ac686c487f15c2fec55958bd3aebe12818635ad863865494afc4a4e0a0c82f994e3,419e8b5f1a7ba2896eb7e0eb1980ad83b1f847e1e8127b9500b6208ceedb2cdc9a0508798e1f425625f151804e72a7730389764351b821fa4b],[0de5bec73085cfc1d3ca105199fc68a8dda05b0784c39bb6c6b330d089c4667658c98eab41bad11e234fc2decc7ae7b2d035fb43363c1afa06,4e018b6d41bfff4cf5f55dfbe53546edcfb3a2adaf641de576dc054d954728f724444c0e4560b3a5a1f99b285ae09d963bfd4e6ff6ee97408c]]
FP4raw = [[(82ab91e9d400ddf,85d47a754490625,7bdfeb09cac9818,419984df5da1cf3,1da92f1be1266de,9192179f403e8d3,279682df647a5fe,5b57fde4),(4a2a2ef79b3fd4,caf1aca9e6f6a0d,2667c1f725818c1,59304259d63548b,2734abcbaa2dd7,c6979c2e539add5,b4c76ff160e3e3b,124bf3629)],[(e685ced39b982d6,bc64141f853c73f,18893b52bd7312,a9445bfb37781c0,ba7c232d8ca833b,31ff7a080511d46,61e7daa13c7d850,2c23c7adf),(8125876a2cca58b,c7f33cb0ac9a026,891344206269b32,edfddfb7ed49baa,3dc16fcf59031dc,16b87eab90da877,cf8133b17aeead,54e56e22a)]]

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],[423e3cbea791b43524bdd86d56a7ff56dbae5f19615b65c6b2af92dfb1845ecd4113919afa52b43e2049735c8e65227dd3c2a5b72b2403fe4b,132d22624a419a070e89307ff597c17247f31275ab4b5e0a58538b62d70032988300063510d8225b8a97a7d45bb87dd359bf3b8d909fe8eebb])
ECP2xyz = ([1729c061b7f63a100317ceef3e8d3e3f5983974ca68c3e2a7f01de36dfb54585c12d12f3ed9c2deb7ccb7c2ebc5fa76b2fbc8e70668a20384c,20c7a0259b3c985e87cc0ce7ca43beeafda0cfa3ce3040bd42b0629dcd0a334412a8267668a14ce079e2ec06f2c40ebb79a43f9b8db876a3e3],[423e3cbea791b43524bdd86d56a7ff56dbae5f19615b65c6b2af92dfb1845ecd4113919afa52b43e2049735c8e65227dd3c2a5b72b2403fe4b,132d22624a419a070e89307ff597c17247f31275ab4b5e0a58538b62d70032988300063510d8225b8a97a7d45bb87dd359bf3b8d909fe8eebb],[000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 091af20b03872f9dd6e6de726d7f220799883c6d6fccae803a264f

HEX = 7ec2d70f9883b3ff1d7963d069ff7576f3e5d782511766854cd6d6eb1ad8863c
