MCUXpresso_LPC55S69/boards/lpcxpresso55s69/driver_examples/casper/cm33_core0/test_ecdoublemul384.h
2022-04-08 22:42:47 +08:00

409 lines
39 KiB
C

/*
* Copyright 2018 NXP
* All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#ifndef __TEST_ECDOUBLEMUL384_H
#define __TEST_ECDOUBLEMUL384_H
#include <stdint.h>
static uint32_t test_ecddoublemul_base384[2][2 * 12] = {
{0x72760AB7, 0x3A545E38, 0xBF55296C, 0x5502F25D, 0x82542A38, 0x59F741E0, 0x8BA79B98, 0x6E1D3B62,
0xF320AD74, 0x8EB1C71E, 0xBE8B0537, 0xAA87CA22, 0x90EA0E5F, 0x7A431D7C, 0x1D7E819D, 0xA60B1CE,
0xB5F0B8C0, 0xE9DA3113, 0x289A147C, 0xF8F41DBD, 0x9292DC29, 0x5D9E98BF, 0x96262C6F, 0x3617DE4A},
{0xDDC8496D, 0x25267C55, 0xABDD40DA, 0xB23F0689, 0x89C61586, 0xD6FFF585, 0x9FD23CA6, 0xEFDEED6C,
0x5A555DAE, 0xAA35FE2C, 0x3EA2B8AB, 0x90F84D1D, 0x2E9CE4C6, 0xCDCDFC0, 0xA773130D, 0xDDEEEF6B,
0xD277469D, 0x51A4E87, 0x9CFEA63A, 0x94F86D36, 0x4E8FC352, 0x663C7080, 0x477637D1, 0x5AADA49E}};
static uint32_t test_ecddoublemul_scalars384[64][2 * 12] = {
{0xED612087, 0x6581C62, 0x6C3D7A80, 0x298AEE7D, 0xA69A4F54, 0x8406E08A, 0x2C4C27D4, 0x6DD4EFAC,
0x3BFF8F75, 0x3D0F4B0B, 0xCAFF3122, 0xC82E261, 0x3A70A955, 0x1F3241DF, 0x27F65DE1, 0xDD119AAE,
0x88701D34, 0xA10880E5, 0x827B074D, 0xB0C285F, 0xDD7A7C08, 0xD2E23BF7, 0x4CA47EF2, 0x1713C7EF},
{0x51B52355, 0x5BEEA9C, 0x1CAEF77E, 0xAF09BFE, 0x216436CD, 0xE97BF213, 0x41A4C5F1, 0xC8F9E11E,
0xC7070D47, 0x751C9E00, 0xAF7DC5E6, 0xBB708B3, 0x14B37F5F, 0x36BC962A, 0x65829DC0, 0x995D6A39,
0xA5BFF573, 0xA33CF200, 0x13103144, 0x7D4F5BC8, 0xA15355BE, 0x3E1C0DE4, 0x7F400B61, 0x3B010796},
{0x3D4128CB, 0x892965DC, 0x5D0348A8, 0x31FE5BFE, 0xCEBD2B8F, 0x6812DF9, 0xE9CCA27D, 0xC68D82E5,
0x7AC0AF7E, 0x18808582, 0xB7F79129, 0xDC52A935, 0xB1DF421F, 0xFBD38368, 0x50DA7DF7, 0x79F28DDD,
0x2A0D1D70, 0x2C56ADBA, 0x770C25E4, 0x900B1BEE, 0xD7D7BD0D, 0x83DB585E, 0x8AB56963, 0xE64E187A},
{0xF1DDC710, 0xABBFEF9F, 0x6F064AE8, 0x912F64D, 0xFE646014, 0x4E389408, 0x8D528B13, 0x1253C14B,
0x9368F7BE, 0x43319BCA, 0x7F08CDB4, 0xBB06DCA8, 0xFD3E5673, 0x1F181865, 0x47EF0F0B, 0x6C377998,
0xF55FDE7B, 0xA14E9DD5, 0xD5C25C7E, 0xCCF57458, 0x188E62FF, 0x6AA92900, 0x4AE8CB5B, 0x90E64D7D},
{0x66B532D, 0x37695F74, 0x72840BB4, 0x7D0F9023, 0x1C7274A9, 0x5109585C, 0xD2AA41AA, 0x99F1EAB4,
0x28950830, 0x9FD202C5, 0xFD3A386B, 0x1B482B46, 0xE2DECA97, 0xEBA8FF9, 0x40DE63B, 0x7E1F7838,
0xF2D24572, 0xDDD70347, 0x98A94686, 0x66A9042, 0x24C55A1D, 0xFE4B578, 0x7F1A6FDA, 0xD154D9A5},
{0x11C95E0E, 0x4FA42EA5, 0x6E82D3ED, 0xBD882FD3, 0x71A6463A, 0xFC21F80C, 0x8BB554E8, 0x47419829,
0x9B789CCA, 0x8A4EC75F, 0xDE0D010A, 0x5B966024, 0x53B945E6, 0x2735D80D, 0x983EF143, 0x2CF2FF8,
0x8624CD66, 0x83E5172A, 0x603D6909, 0x38C64B91, 0x673C0BEB, 0x6FB8BEE6, 0xAEEC611A, 0x71AF8054},
{0x1B2585A8, 0xC64252B8, 0x452A27FB, 0xF69EA044, 0xA91452B4, 0xA2D193A9, 0xB5805E8A, 0x157DF2EC,
0x72778CB7, 0x15D55DB9, 0x387311C6, 0x584955B5, 0xCD3F50A3, 0xF111438F, 0xC8861F86, 0xF1E42EE3,
0xDBD1FEE5, 0x6138B22, 0xA4310B56, 0x3AE59D83, 0x81F6B51A, 0xC7F4E5F8, 0x5B6DEFD9, 0x806A738},
{0x173C99D8, 0xACFEFF99, 0x8BFD0E53, 0x2F0FBD2A, 0x85514C92, 0xBF5B5574, 0xB76F58B3, 0xC24605E6,
0xAA8C1E6, 0xF64FB593, 0x667E470A, 0xECBF445E, 0x6D674B73, 0x464804FC, 0x7802FC5F, 0x1196BA24,
0xC87D0E49, 0xAAD13241, 0xF981D38A, 0xE59AFA74, 0xC791078F, 0x7808E7CD, 0x54E69E16, 0x2AA3778C},
{0xD99516C5, 0xE3C87923, 0x9A364564, 0x2DD0BCB5, 0x3DC94346, 0xE35BEB82, 0x6635817A, 0xF6B924DC,
0x9CDAADE6, 0x16EA7B56, 0xB29C5478, 0x2024AB39, 0x5CDA3921, 0x1B5137D5, 0xC5B491CF, 0xA7692F55,
0xBFA58835, 0xB6F60A36, 0x9E5470B4, 0x658DE49E, 0x91159A31, 0xCFDA2CC1, 0x551BA096, 0xBAE8F857},
{0xD2615F71, 0xE82B640B, 0xDD2B34FF, 0xD7431B9, 0x494C275D, 0x20486949, 0xC7AF5197, 0xFAFD95CD,
0xCDB8AB4A, 0x3A307BC9, 0x446A89F7, 0x361553AD, 0x275D36B1, 0xA5F65519, 0xD0A930B3, 0x22CF422B,
0xE3EA851C, 0x947E7B52, 0xF371A0F0, 0xDDEB9730, 0xACB4CD72, 0x4D958B6B, 0xDF0F2DBE, 0xF85D2059},
{0xA534A9C5, 0x7F1C7AC, 0x8916AB76, 0xB0DBB66, 0xDEB0AED9, 0x37C0C81B, 0x7D498A89, 0xD1C4954A,
0x9E39C2A, 0x89C4975B, 0x2208A2A6, 0x3A2AA28E, 0xFCADC3EE, 0x32CC10E2, 0x61123DA7, 0x66B3919D,
0xAF6226FB, 0xA45738A, 0xD4C09BE5, 0xAA3341A6, 0x4685510E, 0x8B663346, 0xE7350F31, 0x90A6D66D},
{0xC087B26E, 0x1EF5C95D, 0x7F212662, 0xD72F70F5, 0x239E4159, 0xC64DD6EE, 0x394B3C5, 0x81283349,
0xEE17AE1A, 0x8D2509CE, 0xBEA6697, 0x65836A54, 0x1F1B0821, 0x29BB5FC6, 0x7A6FF373, 0x20549AB5,
0x4F07EAE9, 0x9807F35, 0x64B7B47C, 0xAC0C267D, 0xE8EA383A, 0x9EBD9A27, 0x74EB75A2, 0xF43C4793},
{0x2C848F76, 0x96E4329E, 0x123CCD3A, 0x349E9C69, 0xE9D27D81, 0x8A103B6E, 0xE06A74DE, 0x2D88843F,
0x4A5DF09E, 0xFA9AF003, 0x75F91D2B, 0xA05CAEB4, 0x31BFCFE1, 0x333C7561, 0xB3CACE45, 0xDFD43C49,
0xCA55084, 0x6131BE5B, 0xAD7A0128, 0x83075CF9, 0x35FEBD6F, 0x7D229857, 0xA8235FF2, 0x817CA9C8},
{0xBC893EF6, 0xAF44718A, 0x15F09FAA, 0x88344EAF, 0xDEB25632, 0x8B040DE2, 0xD376F845, 0x5288B8F6,
0x9418D5C6, 0xFDAC9802, 0xCAFFBE7F, 0xE67D4D5D, 0x5F832150, 0x7B02D530, 0x7783B317, 0xB7A888BF,
0x8A021A67, 0x3DC220E4, 0x755DB269, 0x51A4A12B, 0x268F2ED, 0xE47B72AB, 0x6DC82AE1, 0xDD9B8A4F},
{0x13D2B2B1, 0x4E9507B2, 0x41CBCFB3, 0x5E86A2D, 0xFF380035, 0x2AC0B3ED, 0x8C1E7ED5, 0xC58D135E,
0xAD756747, 0x207ADDC0, 0x77F5BE43, 0x3CB18C3A, 0x1DDF8840, 0x3E26D027, 0x5384FAEE, 0x7687CD9D,
0x69267D38, 0x3F7B870C, 0x5D0E1A9D, 0xF6C9A88D, 0x8DF5352F, 0x89EE7067, 0x3F7EE499, 0x36273075},
{0x111CC1B3, 0x166FF91F, 0x1CDEA6AB, 0x680055D4, 0x5468C4EC, 0x16BBFF17, 0xDDEBEEEB, 0x79144F14,
0x717959DA, 0x4EF68D42, 0xAF222A7, 0x6C26BDDB, 0x4058C585, 0xBB11FBF6, 0x6AD08426, 0x6F3C43B5,
0xBF742A93, 0x85482A06, 0x48E4F213, 0x83EF0BE0, 0xC14D58B3, 0xF0D60DB0, 0x902AF989, 0xE75EF265},
{0x31C4DF77, 0x7D7F71DE, 0x2D8E57C0, 0x7126452, 0xD59E183B, 0xAA8CED8F, 0x65D7FD84, 0x92103093,
0x5EDC8B2, 0xDCBD3A6D, 0x53FFBAE9, 0x1B63F7CC, 0x172C25A7, 0x8E87D223, 0x648CE37C, 0x7BE1B04C,
0x43D4DD90, 0x27A7170, 0xF86CB9C3, 0x63FC5087, 0x3E1ECAFC, 0xAD0F64C1, 0x129CFA95, 0xBE884191},
{0x6A7585BC, 0xF93C5A7E, 0xE31B3144, 0xDC6A325D, 0x4D42528F, 0x61CB0E24, 0x65FF47D9, 0xE499FC26,
0x2687E408, 0xAEF88E40, 0xC532131B, 0x42913544, 0x615D17DE, 0x2C9D52AD, 0x562891D6, 0xBFE28E7E,
0x6618E9E3, 0xB5AA457F, 0x1FDAC754, 0x5AF41E10, 0x40BF8C40, 0xFB4F8AF4, 0x12A1F186, 0x7E43833F},
{0xE108B06D, 0x9D864E28, 0x5431B917, 0xE9AF13A7, 0xEC56BB5E, 0x48972459, 0xD0C74183, 0x146BAB40,
0x9AE6D1D3, 0x71B85552, 0x170A9B16, 0xFB5930E0, 0xD6206B4C, 0x8C9B078A, 0x84DCF1AB, 0xE4CC787,
0xB77966BD, 0x3D8C08D, 0xE513B1A4, 0xA5DE072D, 0x18093EF6, 0x9BE54DEC, 0x7EAC14F2, 0x1CB86320},
{0x89F0C60, 0x5DC89BA2, 0x43CA8CE5, 0x31A1AC5D, 0xF3E25BA, 0x950327AD, 0x9BB2FC0B, 0xF923942E,
0xA82E464C, 0xECAB4520, 0xFE75431E, 0x463E7DA5, 0x6C7ECDD7, 0xD5471141, 0x7C88080A, 0xEAEF27B9,
0xAC1BE567, 0xE4C3FD77, 0x8450C35A, 0xED69180E, 0x7558E96B, 0x8A75BCE6, 0xF358485F, 0xA497CAF4},
{0x87C11CE2, 0xB0943F3B, 0x3F5DEAF1, 0x2CD31627, 0x2C25FC9B, 0x49F7E04E, 0x30501A3A, 0xBCC1E30D,
0xB32789A0, 0x4DE2B7D8, 0xD46FBE91, 0x32C8CEE7, 0x3D4EF720, 0x5460A76A, 0xB12BB331, 0x88CFFCF4,
0x93B868A5, 0x23033C22, 0xBF0D582, 0xE4647D2B, 0x65CC758E, 0x25DA0721, 0x39661659, 0xF532BB73},
{0x4C65C150, 0xDFF6EA76, 0x9A953AE5, 0xCBA9D978, 0xF01E0DF, 0xF46B4E56, 0xAFD1DA71, 0x34580180,
0xBE77ACED, 0xAACDC20B, 0xCBFE2AF2, 0xF81A0EEF, 0x937EA4AC, 0x936D013A, 0x62BE5A5B, 0xAABFAA98,
0x3A78D504, 0xB7A67542, 0xC3B05136, 0xACC984A3, 0xB3B9C06, 0xEF5174CA, 0x8DDFDC61, 0xFF82AA33},
{0x17ECC71E, 0xF3B3ACE7, 0xE4793641, 0xAEE215B0, 0xCBDA08B4, 0xD02C691D, 0xC98AE0F1, 0x7A7698A5,
0x97ED4628, 0x4C36A82D, 0x8BBCBB90, 0xE219DA7F, 0xC66B72E5, 0xB7FC51F0, 0xE489F3BC, 0xF343952C,
0x58DEA2ED, 0xE9387C24, 0xA76C0358, 0xB49A0210, 0x30E87008, 0x1CF55FA5, 0xB045FEAF, 0xC262319C},
{0xF3A4CE94, 0x9D4F2C2E, 0xA0E5586C, 0x4BC7D211, 0x22FE3AC8, 0x208DADB6, 0xB6086033, 0x1133542A,
0xD10CEE59, 0xB2D65B84, 0x318308FF, 0xE638D07A, 0x6F439685, 0x515EFE1C, 0x56F53FB2, 0x52C49A08,
0x3B15A9C0, 0x8F8A0F8B, 0xA33C3ED9, 0xE2D7A4BD, 0x8E22FA3C, 0xFBCD6A90, 0x9BE3F92, 0x4B94C36F},
{0x5486D955, 0x7339A2C2, 0xFC9A4905, 0xA9A4E5F8, 0x9F93DE2, 0x56C0D627, 0x569D00EA, 0xD5A78FE0,
0x649C6447, 0x33EB62DE, 0x73C78341, 0x8EE671F5, 0xF3C7365B, 0x99D066A, 0x3D8A301A, 0x1EBF7467,
0xE97C4CB1, 0xF28A52C3, 0x3DB45D85, 0x8BC17CFE, 0x96E023C8, 0x8B9F142A, 0xA97241FF, 0x4542472E},
{0xCA7B5C5C, 0x2FE97459, 0xDC6BC685, 0xB93D9DB1, 0x16044C4, 0x1E3189E7, 0x5465E150, 0x1718F4CB,
0xDF7D8D23, 0x664D1C16, 0x8C2131E5, 0x43A5713E, 0xB3819C24, 0x7AFAEDFE, 0xBEF6E05A, 0x5FC631D1,
0xC9974DF8, 0xD4C90674, 0xF7FCDADE, 0xECA9978A, 0x14DB1A1, 0x23DD9BF4, 0xDA81EC31, 0x842BD067},
{0x1653E367, 0x3ED2128C, 0xC5BAA531, 0x28B9445A, 0x33B4F8DF, 0xD96D84DB, 0x54E4DC55, 0x28E97A8F,
0x7C9E7927, 0xA1318704, 0x754CE55, 0xCC55F6CA, 0x5A055C1E, 0xAAD5E4C4, 0x86468460, 0xB19F351E,
0x89C1BFD8, 0x6ED30A86, 0x76502DC7, 0xCC8E6DA7, 0xD1F895B3, 0x1D087DE3, 0x5B8FBD90, 0x5C5A4779},
{0x582E6D7F, 0xDC32A042, 0x60BAC3EA, 0x3342AEDB, 0x923D1254, 0xF89C1266, 0x14B8E553, 0x8110E3C,
0x497F3A1A, 0xD20CCD2F, 0xCC9CB761, 0x7F289696, 0xB9877891, 0xA1B87713, 0x7619FA23, 0xE0A13D19,
0x9E465D15, 0xACC9E612, 0x7C16E75E, 0xDC1E7881, 0xE167A096, 0xE9D873D6, 0x26818D03, 0x62E71C89},
{0x14D2DBC9, 0x3448BDDA, 0xC9AF554D, 0xB7F3CA0, 0x265B44C6, 0x38F54162, 0x8A9CD569, 0x14446D69,
0xC31C32F8, 0x50EB01C3, 0xB1F560BD, 0xA75DD06A, 0xBA533205, 0xEE35F86D, 0x27B4823D, 0x6AAB0374,
0x714D1EB5, 0xCC2F58DF, 0xD590D764, 0xBAD626B0, 0xB9FDE90B, 0xB11F15DA, 0x483582B6, 0x5AE3FBCA},
{0x1DD51474, 0x73C1526F, 0x85E738A7, 0xD82C9713, 0xF3962BEC, 0xE9A42488, 0x936E4F48, 0x892FE50,
0x8DA865, 0x766FC296, 0xC0F7E631, 0xC7B0D151, 0x9A91E478, 0xEAA67C6C, 0x4709CC36, 0x19FB5D49,
0x3328F18C, 0xA83DDF3A, 0x4E0FDFC6, 0x2DA71F17, 0x6C4AC5F2, 0x63E65AA5, 0xE8874104, 0xF50FF2E7},
{0x8DE9B24F, 0x8C6DB731, 0x5ACCBD1, 0x56054AB0, 0x9F7A4C4B, 0x4E84DC32, 0xD2C96FEA, 0xF510FFEF,
0x27C99C2F, 0x5BBEAD32, 0xD75E9795, 0x8FA79AA9, 0xF9A25BC0, 0x63F74581, 0xDFC96F87, 0x5C0A1218,
0x8ECE9788, 0xC2F5E5B4, 0x10C6E60A, 0xA9599A23, 0x61EA5CD3, 0xB7261200, 0x1F16E8AE, 0x3A99CA1A},
{0xF758750B, 0xE919E0CE, 0xD5602912, 0x264FFD30, 0x9DEE2819, 0x17B86B4C, 0x4F11B87B, 0x9DA37318,
0x75D0BC7, 0x2D88FDF3, 0x777A53D2, 0x74CC5107, 0xC57BD9FA, 0x6DE23D35, 0x83A2415B, 0x9C1C5897,
0x37C791F7, 0x294A7972, 0xC85E0109, 0xAAF60F2, 0x3FE28727, 0xE1A61403, 0x39AAF0E5, 0xA04EF27},
{0xA43F099C, 0xF96C1B6B, 0x9CB981B7, 0xE139E94C, 0xBE1F5BC8, 0x26258BE3, 0xEAA4DC41, 0xC1260435,
0x5EA19E15, 0x63205F6, 0x54F9A31, 0x5240064F, 0x4DDA815A, 0x4B65DA79, 0x14FAB681, 0x5360333F,
0x9CEBE0C2, 0x10F1315E, 0xDFEFDC70, 0x3E783D7D, 0xFDB0FC35, 0x635A03CC, 0x9D0E19C6, 0xBC038BCF},
{0xB0CFA117, 0xB3FD37C9, 0xE25486D2, 0xC6C0223C, 0xDE0816A5, 0x6ABDD9F1, 0x4ADD9BE4, 0x77DC6308,
0xF1C1E577, 0xF48DAD44, 0x4586EB54, 0x4AEDE281, 0x908D70C2, 0x7FC49146, 0x186B409A, 0xD06B165F,
0x52E89F95, 0x3C5EEF86, 0x28BBD8C6, 0x5594F98E, 0xEA4F7156, 0x4E8258B2, 0x70F53875, 0xFF99992A},
{0x185DE92, 0xDA4128BF, 0x44472FFA, 0x86343445, 0x1CC3F321, 0xE0F2EBF8, 0x2F29B9D0, 0xA866F552,
0x30AE65E8, 0xD9F47474, 0x6FD8FFA0, 0x60F742DB, 0xC6881B39, 0x62532047, 0xCDDD845A, 0xE5317FA9,
0x13D80949, 0x4CBE2AB6, 0xD23D5B8, 0x358C38CE, 0xF541E9A0, 0xB3A49CB4, 0x255AED80, 0xF5DA61F3},
{0x287D5124, 0xE2562F4F, 0x6BE57E58, 0x9E5FAE2B, 0x4ED01244, 0x1D146D5, 0x8B37438D, 0xBE20BD27,
0xCEC2F12C, 0x59D730A6, 0x90BA4F28, 0xE967E316, 0x86FB8D94, 0x25E4749D, 0xAD7E29F7, 0x20BA403A,
0x97833D56, 0x672BB424, 0x1AB31152, 0xA7C1284C, 0xC5B3FF9D, 0x58906875, 0x2AFE5AC8, 0xD1815903},
{0xE9A0E82D, 0x836F77CD, 0xAEFEF360, 0x9CD85A45, 0xAC8F4799, 0x75B76E55, 0xB07E9B1A, 0x7F9EF069,
0x2B490754, 0x1E80AC46, 0xC4925126, 0x8C989CA8, 0xCD09DBB, 0x829AFF4C, 0x85A8C614, 0x5D9E61BD,
0xD13FB79F, 0x17FB9092, 0xC219DDF0, 0x962A0DBC, 0xEC71D7B6, 0xBFFC3FA, 0x78E85D7B, 0x6ED63337},
{0x900754D0, 0xEDF1398A, 0x1D460EE, 0x5FEB9E52, 0xB1DFCD1D, 0xC76029BA, 0x3669573A, 0xEAE59F3,
0xA34A8E0B, 0x9B52ADE8, 0x73048619, 0x7BB17417, 0x639817AC, 0xBD6B8C3A, 0x2768C427, 0x23410B0D,
0xC6D8097, 0xA99270D1, 0xAFBA542D, 0x1DA58DCC, 0x67BE4301, 0xFE988ABF, 0xA1ECFBF, 0xD805585D},
{0x5D5F7005, 0x265C67F5, 0xDD7FBC93, 0x4E453E4C, 0x68CF3B6, 0xD28242A8, 0xF65B94C9, 0x8DC6E661,
0xDA8CCC97, 0x52F45895, 0xFC8C4AB8, 0xA2C3E95F, 0xCCD6C3D4, 0x42CB305C, 0x17E2E290, 0x9F240D2F,
0xB87BB87A, 0x914A9928, 0xB2AD9087, 0x4F073EAF, 0x8DC70C4F, 0xACE798FF, 0xE23E182F, 0x4C4FA5},
{0x2A91EB25, 0x668BB2B3, 0x70039F91, 0xC76EF66A, 0x71FF2D60, 0xA0440E6B, 0x1396339, 0x8BF998F2,
0xD3177AC9, 0xA5CBB947, 0xD0223F4, 0x667B5CED, 0x396E4372, 0x3E462A9E, 0xE874B3F0, 0x1C78BC72,
0x55FA4753, 0xFA4B5455, 0x5E3E31FE, 0x8FC98FB2, 0x1CDDA07B, 0xBE12A05B, 0x2D8206EE, 0xDE0CC646},
{0xF46D02B8, 0x27CDA3EF, 0x24DBB2C1, 0x60FFB29F, 0xC02B6B51, 0x7314E42C, 0x15B3D380, 0x118687ED,
0x447980E8, 0x4DCDDC00, 0x1B12F81A, 0x41D4E88F, 0xD6199BF9, 0xE37CFAB1, 0xB6F27D26, 0xC9486D63,
0xBBCF6D62, 0x3D8BE48F, 0xB50ABA4, 0xD5F507D8, 0x3CA7772, 0xD2C90FB9, 0xAC8F9BF, 0xEFA501E5},
{0xF2AB8149, 0x382CEF98, 0x1215B7A3, 0x877C1944, 0xC1D06E16, 0x37F29164, 0x7108EB59, 0xC4ECA436,
0xA16712C0, 0x9B4EC4E1, 0x4AD1C88D, 0x58AC46E, 0xC6FF283F, 0x3EDCDCFA, 0x6272E620, 0x33E1A768,
0x9BE7A01D, 0x1146B092, 0xEBDA876, 0x7AC1B8F4, 0xD36AB27D, 0x6AF7F18A, 0x66E6F9AE, 0xFF2A3B32},
{0x42202500, 0x50E8FA52, 0x9DA90BD6, 0xD7C78AAD, 0x6E35976, 0x369B9364, 0xD52362C, 0xDDE05CCC,
0x3368C646, 0xEFD5370F, 0xFA3FCC37, 0xB8F06EB8, 0xBFB7EF06, 0x95AD29B4, 0xDA698056, 0x7DB87B0A,
0xF49C4BC4, 0x9CB577F4, 0xA95A57A4, 0x57F4213A, 0x16E8A215, 0xA5302F91, 0xE5211106, 0xAD1221AA},
{0xDAD07B1C, 0xF155F9FB, 0x41EC9B4D, 0x28049E0F, 0xFA474A46, 0x899F9056, 0x9155D8A0, 0x831E5AB7,
0x125B102A, 0x36BBC9EF, 0xA61BD4E7, 0x14C9F36F, 0x77C33EF0, 0x7B1F9C77, 0x78D86124, 0x2F625C85,
0xC16B6989, 0xF5BE592B, 0x48E78387, 0x9BF30F34, 0xC560D1CD, 0xF013869D, 0x88ADF8F2, 0x60049301},
{0xBC44DDB0, 0x1E0CCBA9, 0x9298776B, 0xB30A7BD5, 0xA686A782, 0x3E086016, 0xA2C7A93D, 0x3534B790,
0x13024AA7, 0x735EA277, 0x907BAAD0, 0xF636133A, 0x93CB652E, 0xD72F228D, 0x6A2362EF, 0xA44E0186,
0xBC3CE482, 0x5EEA3B9C, 0x8C99313B, 0x6BAE29AD, 0xBE28EC88, 0x8E1798B9, 0x9A41C3FE, 0xD7909928},
{0xF887D85F, 0x2AB1B74C, 0xA5A0D9C4, 0xC6463262, 0xF959A603, 0x5B8E235A, 0x621F8B71, 0xEB6AA76A,
0xF522F023, 0x35DBBB36, 0xB38BA, 0x5E5B548E, 0x16CEAC79, 0xD298EDB8, 0xAA54A593, 0x3C28B0E8,
0xB48F32FA, 0xA3490A61, 0xCFFA008A, 0xEB536BAD, 0xD0376142, 0x15928A95, 0xC9D8AD2A, 0x953C1A37},
{0x5129613A, 0xB2DC921E, 0x81F5E08F, 0xD6787C5B, 0x77225465, 0xE9367A8B, 0x9ABAA624, 0x3CA14BF9,
0x24DB701B, 0xA7C7477A, 0x2E4C822A, 0x43A80B4B, 0x93A1EB97, 0x8C3C1B52, 0x4BDFF849, 0xFF3BEC33,
0x6B3AC769, 0xFA6450EC, 0xE6FBA8D, 0x29C24F42, 0x36F4E775, 0xB641759A, 0x8BBD370C, 0x14A31D5B},
{0x307432A1, 0xB4C1E39A, 0x26AF6996, 0xE73183B4, 0xAEC7E64E, 0x35FFA0E6, 0x86091FEE, 0x4CE1D48E,
0x74C6CF3E, 0xA1762EAA, 0x2780664B, 0x22F0D3AF, 0x4FC1358A, 0x209A25F1, 0xA9ED3DCE, 0xA8BABBED,
0xBA27A4D2, 0xF1F5A36C, 0x135D9464, 0xA9E339E2, 0x217F40EF, 0x9489B89, 0xE700BA29, 0xF1C4889D},
{0x1B70F239, 0x47EC6A31, 0x6CE5E6, 0x3685E11, 0x4BAA3241, 0x525DE420, 0x61841CC3, 0x838D9A9E,
0x1F41A7B0, 0xD1841C06, 0x5716D215, 0x20D13E4, 0xF6F282AB, 0x3A915DD7, 0x1D2641F4, 0x5682596C,
0x1E89B6D2, 0xC4064CFF, 0x645E9390, 0xF364DDEA, 0xECC85861, 0xEB02C540, 0xCDB2830A, 0xBC65EA2E},
{0xE26BC69A, 0xCC122A95, 0xC19D8034, 0x16F3BE35, 0x574A8A05, 0xA9693D69, 0xA158122F, 0xE836F4A2,
0xE7F82C08, 0x62EDF35B, 0x60A85E06, 0x14DB9BF7, 0xCC90DDD4, 0x6E1BCB5B, 0x8DCC9185, 0x2D7733B3,
0xB48DCA98, 0x792E676C, 0x46087E69, 0x10488AE3, 0x35054521, 0x9E12FF21, 0xFE9809DD, 0x236A0233},
{0xFFF9D6D2, 0x2E467E71, 0xDCFACF24, 0xFC88865A, 0x87614386, 0xF88D6176, 0xD6FED698, 0x7DAACA51,
0x35C4D7E3, 0xAACF6AA9, 0x2812E6D2, 0xA4C3A4D1, 0x697F3C09, 0x82C99F05, 0xC118AA97, 0xA1AB075,
0xF213985F, 0xCF34D3F9, 0x22331DF7, 0x69D44DD3, 0x9E6BEF77, 0xFAE890D7, 0x1BBBE897, 0xA1D25EA3},
{0x287D87D9, 0xFBD166F3, 0xF1B6B068, 0x215390A, 0xC2E8DDD5, 0x5E67896E, 0xCB02DC04, 0xAA530E97,
0x4B86731C, 0xF66EB88C, 0x644F278B, 0x7E061798, 0x1514BD5B, 0x6BA57B09, 0x1F52F82C, 0x438472F1,
0x18FE8471, 0xE63EC958, 0xAA443D18, 0x7F8FE967, 0xBA938680, 0x7268B37C, 0x84196813, 0xBE4CEEE3},
{0xC7ABB808, 0xB710FD24, 0x2760A3DB, 0xB84A4B85, 0x2CC63361, 0xB2D06828, 0xC308300D, 0x165CDF2C,
0x54F1F781, 0x6CD85227, 0x67903521, 0x6E16B150, 0x1AB38BA7, 0x72153906, 0xDF0BED1F, 0x8BE9AF5B,
0xF6B784A8, 0xDE3A24C1, 0x21CC5A22, 0x9360F724, 0xA904351A, 0x4E28D8C4, 0xD55ED96B, 0xC509EA65},
{0x33AB2C08, 0x7A0BB26, 0x7DF074A2, 0xC3B4878B, 0x9F8CD42F, 0x88F9165A, 0xE924ED8B, 0x773C2D3B,
0xAE065596, 0x5193E534, 0xFB9F2D96, 0x1B077A81, 0x388F66A5, 0x69015031, 0x733CAF16, 0xF04260F2,
0x49DAF141, 0x28959BD, 0x8F235058, 0x3F3E8359, 0x596DE82, 0xDDFF8CE3, 0xDB13A851, 0xB300235},
{0x209D8C32, 0x7B87BBB9, 0x642C8889, 0x56362D41, 0x8A89EA3E, 0xBDD5607F, 0x3D48DEF2, 0xF7E4F0A4,
0x6803B786, 0xB73ED7B7, 0x6B11183E, 0x68B365B1, 0xAB439AB8, 0xCFCAF646, 0x4BFE47F5, 0xBE583ADC,
0xD3139F91, 0xCFE009DB, 0x2825D28B, 0x6C74CEBE, 0x86E2D5E7, 0x49578748, 0x29D6B8E2, 0x5DDCF917},
{0x4451D3C4, 0xEBF26A6B, 0xAA6D716, 0x1347475B, 0x39A86F6C, 0x6283AF6B, 0xB45F4875, 0x14FA8A00,
0xA91F0667, 0x2CC9D971, 0xE98D6E24, 0x9512381E, 0x6F8A9668, 0x7AB953B0, 0xA060977F, 0x182119BE,
0xD7645C9D, 0xF483199, 0x651A81F3, 0x909037DD, 0xC0490236, 0xB2120E2D, 0x45FD88D3, 0xAA526BB9},
{0xE9D2BCB2, 0xA79283EE, 0xB238A323, 0x4DEA4AB8, 0xEF6CD3D, 0x54B1EBFD, 0xD09D0A4, 0x5C95B6C,
0x9F647586, 0xD4F6A3EC, 0xAD8CBBDF, 0x1A36826F, 0x361E71CD, 0x75BF7BCD, 0xDC88F643, 0x3A940E43,
0xFF7DC396, 0x78E8E32D, 0x700F6698, 0x3666366F, 0x2FD1CF40, 0x57522829, 0x42919964, 0xD4E1417},
{0x32C4230C, 0x8451B49, 0xA766C5E6, 0xE20E151, 0xE456AAE2, 0xBB65B3C, 0xEEEF4DDC, 0xE62510D0,
0x502D961C, 0xBBF25E3, 0xA2FE32C5, 0x3B55F5F7, 0x5903E14F, 0x2479F76B, 0xB9A82630, 0xED307F58,
0xE40775A0, 0xE4D16701, 0x11C2A6DC, 0x952D89F0, 0x820213C2, 0xE010E80F, 0x8BFD63B2, 0xA877DC79},
{0x3D0CCB7E, 0xF70245D7, 0xF5AC01A8, 0x7F460758, 0x15F6A041, 0x34B234E1, 0x75216D88, 0xF02C29DF,
0x8FAFAD73, 0x4EFF7EBC, 0xEBCFF890, 0xDF705441, 0x1798F86A, 0x64649FA0, 0xD1C0A432, 0x85B66B5D,
0x1CEBA965, 0x2DDCA3B9, 0xD45E95A1, 0xD2A1AC84, 0x777C7175, 0x532A8C70, 0xF5FF577E, 0x2561CEF1},
{0x7F9A48A6, 0x42ED26DE, 0x95457C98, 0x552B60ED, 0xBCACACB4, 0x87AA0AE8, 0x2D18278E, 0x85289A2C,
0x2CA4DF44, 0xC1E43712, 0xEC82BD53, 0x894B8169, 0x5AC9D98E, 0xF5AF8123, 0x67E80F7, 0x43621970,
0x2AA57645, 0x2D09EFC5, 0x8B7CC263, 0x6933F0BF, 0x1CD117DE, 0x7A8637FA, 0x1C610433, 0xA014E7B3},
{0x92ADDE78, 0xF7BBB534, 0xF61ED029, 0xB1A42E52, 0x7FECA376, 0x894C5EE6, 0xCF61EE78, 0x4B37ED19,
0x425CCB1B, 0xE502CF7B, 0xCCD0122E, 0x1874664, 0xFC9BB4F4, 0xCFDCBEC, 0xEFDC26FB, 0x7DC09E49,
0x20B669D2, 0x310DC818, 0xA49C467F, 0xAFAD8CE1, 0x670F634, 0xF5B1204A, 0x3C6DE925, 0xC032CC51},
{0xBB1250A, 0x56F01CDC, 0x6851646A, 0xDBD873C, 0xB1F008F4, 0x99500C3B, 0x390494DD, 0xB1BAC30D,
0x2C339B61, 0x6FDA0387, 0x71A95DB1, 0x5CF12F5F, 0x8AFEE468, 0xE8629A57, 0xFA8573E2, 0xB2831A7D,
0x4F1251D3, 0xB480C128, 0xF5E649FB, 0xF64A4DB3, 0xD76369BC, 0x8EAF33C6, 0xFD49B191, 0x1802D3AC},
{0x7C362A8, 0xA3B83003, 0xF0078BED, 0x57481303, 0x42DE3607, 0x3AD56E13, 0xC85E302E, 0x7C574E15,
0x403D778A, 0xFFC197CB, 0x5717FD24, 0x53868497, 0x515CE1DE, 0x4B899CA5, 0xF4D46F61, 0xBDC0FFDA,
0x6A961AA5, 0x658EEAF3, 0x3D39FB3D, 0xAAE6F466, 0x89AE3A4A, 0xC06C93A2, 0xAAE56EA9, 0xC236AD8A},
{0x2C3E56A3, 0x8AC89234, 0xBC08354, 0xB73B60D0, 0x6989B960, 0x7AE43731, 0x739DD841, 0x5C38E216,
0x544F1264, 0x34BB2F0E, 0xDC812F99, 0x8B57873B, 0x2D4D540C, 0x35A41511, 0x99A37B16, 0xC3E19BA7,
0x9ABD0969, 0x364B20FC, 0x1C53DB84, 0x29464C72, 0xCB1D1ECD, 0x874FABA8, 0xFAF4165, 0x792B9A75}};
static uint32_t test_ecddoublemul_result384[64][2 * 12] = {
{0xFE774771, 0x9C4A5428, 0xF4090893, 0x88786CCF, 0xCB223F9B, 0xF7D1B7FC, 0x7FAAD874, 0x5FD64EB0,
0x21FB56A0, 0x63656FFB, 0x77F6D8F4, 0x6D777251, 0xD2E771F3, 0x888182F0, 0x343EF8C3, 0x31287D35,
0x4895DB09, 0x92EA79FE, 0x9DB6389D, 0xBC114C5C, 0x1448F760, 0x8D64071D, 0x40BC588B, 0xFC2D1576},
{0x7C4A3D4C, 0xDD2F45B9, 0xE8BCED13, 0x440274AD, 0x1E2C94BF, 0xB3EE5867, 0xAE58A561, 0x3CBB9F3F,
0x6E937B68, 0xDFDECAF9, 0x2A3D94EB, 0xD3947E97, 0x8A8C733C, 0x8238E19D, 0xBB82EBFC, 0xAD495E2C,
0x475BF11E, 0x2EEA85AC, 0x74E3DBF0, 0xEDFD39EE, 0xF6FCB607, 0xE93CEE35, 0x3589BD14, 0xACA657C1},
{0xE0FF0333, 0xA73933EF, 0xF9F3DDA6, 0x6969F5DC, 0x93DE37B7, 0xAB512D5A, 0x503C9EEC, 0xDD8D8F24,
0x3D5EE9E3, 0x614EEB34, 0x5C8AAF9D, 0xA18B8E03, 0x14DA2F94, 0x4FE9F8FA, 0x80D820BD, 0x6BF4C394,
0x91CE44E8, 0xE94F078B, 0x6B2B545F, 0xE19FD2B4, 0x34935F9B, 0x3634EEA4, 0x9BF6EBFE, 0x32394F7F},
{0xE6930549, 0xDAF98BA1, 0xBEE55B2C, 0xD26B39CE, 0xA54D1917, 0x9E56BD1, 0xD945184C, 0x70151B2E,
0xF552661B, 0x70F46DB5, 0xBCCA3400, 0x3CD12BB3, 0x7C7499A9, 0x6D0F0F7F, 0xBE0312E, 0x34108BB2,
0x710A7DEA, 0xBAB4B270, 0x274FFFE0, 0xAD7E2098, 0x82528075, 0xB668169, 0x3C63281C, 0x32B7C57D},
{0x8D548D3A, 0x3197C69A, 0x677AEBF3, 0x66CBEA4B, 0xDB939605, 0xF028A01D, 0x77ACA0BE, 0xF9B39AD8,
0xC947E4EB, 0x3B7C2D35, 0x47C3FC34, 0xF18E0B67, 0x17AC7B5F, 0xCC3EED54, 0x90EE7C32, 0xA38162C5,
0xDF070788, 0x12A3350C, 0x549468D9, 0xBCEF199, 0xB7AC0181, 0xFE60D1EA, 0x355D6020, 0x749818F},
{0xFF2597D1, 0x82B301F4, 0x3325369, 0x4BDABC02, 0xE67F271E, 0x24D9A625, 0xA0A5FC99, 0xA353D3E6,
0xB6048122, 0x976BAF7D, 0x98A87C04, 0x3EC17D29, 0x3FC7421F, 0x18E8E226, 0x77426B6, 0xA25E4922,
0x8EFE71FD, 0xF662E4EA, 0x7E856E75, 0xB9C19DB6, 0x974F1E76, 0xF44D0FBD, 0xBD12EDC4, 0x8AE4EFD0},
{0xF33FD68D, 0x75C53A50, 0xAD9B4953, 0xB99F26EB, 0x6CF0AC1C, 0x840BD283, 0x4B66BAB4, 0x52282C32,
0x6176E227, 0xA8403524, 0x44B39A11, 0xA00B1BC3, 0x24DCE338, 0xC3D3C589, 0x9DC9785C, 0xBD4A4322,
0xE78F88C6, 0x67508E82, 0x6A4A3248, 0x1FC27093, 0x858680DE, 0x98B4AE32, 0x92FDC835, 0x596B3402},
{0xE068DC9C, 0x4639B9D3, 0xE3A24FBC, 0xBE66F7DF, 0xE4A4EA67, 0x75830DF9, 0x3AAD3427, 0xE4E4F837,
0x9DC5E7FB, 0xCB4ECB8F, 0xB3CCDC94, 0x2D9FDC96, 0xF9C1E88F, 0x5048AB0A, 0x4765B976, 0xBA08155A,
0x578F84D, 0x45458A4, 0xD6C7E465, 0x593CB5F0, 0x79213B49, 0x413232ED, 0x80EBB2D2, 0xEC8EF2D1},
{0xE0E7530C, 0xA3399AD, 0x6FFB5720, 0x840F1105, 0x7A0EFA41, 0x36C69672, 0xC91BA132, 0x2F253F58,
0x54CD1203, 0x8D3C1ABC, 0xA3050B1C, 0x6A77ACBB, 0x27023942, 0xC9654E23, 0x661B92E3, 0x138C9FCA,
0x38028294, 0xB66CEF95, 0x2A62DD65, 0xC31EC46F, 0xC41C069A, 0xC0E97EFE, 0xCD58718F, 0x7044D3B9},
{0x78E86C59, 0xC39DE679, 0x9FC43170, 0xA8D185DF, 0x4C410E2C, 0x9B3C8293, 0x1632E7EC, 0xDD88CE64,
0x9442DF3C, 0xF07638C4, 0x31237C54, 0xE775F1F9, 0x1B9122EA, 0x4E23E8FB, 0x62DAE8A0, 0x6848306B,
0xAFF82E6F, 0x3A0DBE05, 0xA99003FC, 0x418E2D6D, 0xA2ADBD15, 0xFC1D40E7, 0xA888D860, 0x437ED421},
{0xE52F3F97, 0xD06D35B4, 0xBB93514F, 0x20995E8F, 0x31D069D8, 0x6D6B3D7D, 0xA86826EE, 0x4467996D,
0x836E3216, 0x672A8FFA, 0xBC078247, 0x1EBF2B1, 0x33F2BB68, 0x65F69DC, 0xD7DDF843, 0xB6B3D0FD,
0x90F7E37A, 0x3BA36E3E, 0x840DF9E4, 0xDC8764E7, 0xBE25B83E, 0xBD91D715, 0x95A6D56, 0xEBF6C623},
{0xFFD96046, 0xB678B7B9, 0x687E8AF0, 0xB5148DC5, 0x7334013E, 0xC677992F, 0x4A00643A, 0x946CCC19,
0x8CB73EF6, 0x57E52B4A, 0xA22F1DC0, 0x53CA88C3, 0xC0F6A435, 0x411A8E8D, 0xED84565D, 0x790C7F9B,
0xF65B1386, 0xB5A9FB23, 0x64C1A489, 0x6262C00D, 0x7B4F398F, 0xFDC2BB55, 0x63B565D4, 0x4FE1EBA2},
{0xE8784967, 0x1C53F382, 0x77179985, 0x9AA9780D, 0x979F74FE, 0xFDF15974, 0xC41AACA6, 0x2900BF6D,
0x38CB2AC1, 0x441B560C, 0x10C4DD81, 0x656CC9F7, 0xD2FB953F, 0xFD8C8139, 0x59589FAE, 0x1A3FACC4,
0x6D9AC2F9, 0x72ED99EA, 0x20976CDD, 0xC8B8FE7, 0xB0980622, 0xC49E02CA, 0xD97BB652, 0xDA3A15D8},
{0x1C310BB3, 0x2DB858BA, 0xB6213593, 0x801E68D4, 0x8AF67F8E, 0x375BDDF4, 0x47AE9210, 0xCA9EB75E,
0xDB85BCAF, 0x33DA014A, 0x5A7F9804, 0x73BB27ED, 0xA19A3FBE, 0xB39AFCDA, 0xA6A1BB52, 0xFAA83886,
0xC82BDBB, 0xF4C09BB5, 0x40E07A4E, 0x96FA6608, 0xB57750F, 0x5531034C, 0xF25E91F0, 0x4C444134},
{0xA731D551, 0xC94FC555, 0x5FD4AD42, 0xC924162B, 0x1D5DDF03, 0x8CBC30D9, 0xBEBD95D9, 0x6E47D05B,
0x55C56C2B, 0x1222EBD8, 0x4C15AD38, 0xBB962676, 0x90CC11CE, 0x9207792A, 0x62DF85C4, 0x28618288,
0xC9EB6ED4, 0x14D14E9B, 0xDCBD215D, 0x318DFFCD, 0x3803A2E8, 0xA0070E97, 0x72281C07, 0xA7371CA4},
{0x21ED868, 0x76817E1C, 0x315B1392, 0x49B243F2, 0x7D692ADC, 0x3AB08C68, 0x4A9B8FE9, 0xCDC65F68,
0x596A0DBD, 0x79291837, 0x7D5FB722, 0x7D075D2, 0x21FEF57E, 0x9C2FB506, 0xF641D653, 0xBD87A820,
0xF71F6B02, 0x48704CB2, 0x7D79AAE, 0x8C5A94BF, 0xD921B9F1, 0x442C0C22, 0x59B832E6, 0xC615BFA2},
{0x73C67390, 0x4177B0E, 0xFC00538C, 0xDE1BADD0, 0xD0380567, 0x3564EEDD, 0x41FDE5C4, 0xAB91BEE0,
0x929F748A, 0x20A9E345, 0x8812EBA, 0x4E69E1DB, 0x217162C2, 0x642A9F23, 0xDBF08CA9, 0x5963E212,
0xDC1E3F61, 0xAEE9C49D, 0xE9702FFC, 0x224239AA, 0x1BE05D34, 0xF9FA07D0, 0x402AF20E, 0x7351AEAD},
{0x2593969E, 0x5E7C0B0D, 0x2D94E17A, 0x25D748FD, 0x12A3949F, 0x29E48295, 0xB86A4099, 0x69B9CE95,
0x504FBE9, 0xE254EF90, 0x2CE6F428, 0x21618B0E, 0xBEF79C1F, 0x98EA2A41, 0xBEA632E7, 0xECC56342,
0x29BC6C53, 0x1D4DA563, 0x9A862D2B, 0x8A883283, 0xA4317A9F, 0x96C080E9, 0xA0A7F0FA, 0xE71F8CB},
{0xCF37056A, 0xF0316E14, 0xB552339E, 0x6E961174, 0x194F8FB7, 0xE3C09F3C, 0x1C4C30CE, 0x4EE81AF3,
0x15CA55F5, 0xA4227D6A, 0x47A164C, 0x51B0F96D, 0xF5AD213B, 0x6EEFE38D, 0xCF033BAF, 0x9C5A7FCE,
0xAD68A8AA, 0x68B01DF5, 0x652073D7, 0xF35E719A, 0xF0ED0A9F, 0xC385627D, 0x62FC9CE0, 0x4BBC743C},
{0xDF128F2E, 0x50672C79, 0x7F1135F7, 0xAF556932, 0x98B70304, 0xA3E9CFA, 0x77C731AC, 0x2D318B59,
0xA5F74F95, 0x779A8970, 0x26CDBD43, 0xA0F208A3, 0x5785ACF5, 0xED991A87, 0x134E16DC, 0x8B385C31,
0xF5D20F31, 0x8DC3F32F, 0x1419BB8E, 0x104D7AFA, 0x6B9056D3, 0x834A7F75, 0xDF877C6E, 0x7E043429},
{0x2DF2838F, 0xB754FD04, 0x1298A54C, 0xC934FA76, 0x434796F6, 0x55DC46B7, 0x53D0D8E, 0x2DDE3E03,
0xA90B8348, 0x6056D01D, 0x2BB98425, 0x162139DA, 0xFBA3AF60, 0xEECE1F06, 0x203FA490, 0x16B02D56,
0x3EEC7D7, 0xA4EC078E, 0xC8E0DB6B, 0xD4CF6A9B, 0x2371759, 0x82F12BC5, 0x9B27A5D8, 0x70A1E6F1},
{0x5B63CD8B, 0x8795FA00, 0x33DA5ED1, 0xBD3D5D1E, 0x1C4A7A3D, 0xEFE4965F, 0x5B325ED, 0x5D6BB9B1,
0x79D313A4, 0xD28FC41F, 0xD54CC102, 0x4668BEA2, 0x885430B9, 0x7D94D0EE, 0x3A4028A6, 0xF497265D,
0xB12F10B4, 0x875E866C, 0xA4D12C02, 0x5FA3E029, 0x3F6D7EA3, 0xC075AA54, 0xB5304B8A, 0x98CFC3BC},
{0xD80A752D, 0x6BA8726E, 0xF7BF89DE, 0x2516888D, 0xB6543742, 0x564E9A2C, 0xB6825540, 0x96FE94B7,
0x557692A0, 0x9EF09DB, 0x1717007F, 0x2442E58D, 0xDA6EFCA3, 0x9CE3643C, 0x5D7EBE41, 0x47BBF60E,
0x3C2B72EA, 0x90D78BB, 0x43D49F0C, 0xA32821BA, 0xB14F1EA, 0x2D3661AF, 0xC31A6ED, 0xF53EA133},
{0x8657972F, 0xF9698802, 0xC7E28AB1, 0x6953AC7B, 0xA657BBF9, 0x1A6A54, 0x896BAE69, 0x42E773B4,
0x54792D7B, 0x9A90604A, 0x2040BE54, 0x3AF06DF, 0x65F370D, 0xFE2F340D, 0xE293596A, 0xE904E452,
0xC67890E, 0xEB005D87, 0x21396BE1, 0x578FD0F7, 0x6A715E47, 0x3B8912E8, 0x3C6E225C, 0x6E6FBC87},
{0xFAD88D07, 0xE484AA73, 0xE4B1A952, 0x899A3C90, 0x7EB6F96D, 0x7E0888EF, 0xDAA81C43, 0x4E5C99B9,
0x5410568B, 0xD9D3C14D, 0x8B381EF0, 0xAA6CEDDF, 0xB5472483, 0x5A654426, 0xA14B5264, 0xE0D9CC2D,
0x313A10AA, 0x3D6F4BD3, 0x285ADE0F, 0x83CC5A2A, 0xC9D54476, 0x120C383C, 0xFBDD55CC, 0x9487A7BC},
{0xEE76A893, 0xD20E3D79, 0xBFAC363B, 0xC46A8BBD, 0x1207263B, 0xEA684ED4, 0xAD45719E, 0xA969B110,
0x710A38EF, 0xB598F02D, 0xDC3A886D, 0xC2A6CFD, 0x1B726B9, 0x3FB51AA3, 0x42DE9FD7, 0xAAAA8622,
0xF02039E4, 0xADB57985, 0x46AD0F0F, 0xABA26461, 0x4E3A5A90, 0x822EF88B, 0x8B6E94CF, 0xF4E7730D},
{0x4AC9CA9A, 0x13425289, 0xE46FD222, 0x9DA9575A, 0x123592A2, 0x34EFB631, 0xAE4C3B6F, 0x338D490A,
0xEBBCB999, 0x18FE171D, 0xE0F92109, 0xD35BC195, 0x6ACE1A3E, 0x9C14738F, 0x71D046B, 0xFC0B282A,
0xDEE86555, 0x8D526FF6, 0x551517D0, 0x90295D42, 0xC68F3626, 0xCDC14F13, 0xAB07FB1, 0x6B9601C6},
{0xEA4DC1E4, 0xFFB131A2, 0x676F4C3, 0xD9A9DA64, 0xBA059DF6, 0xB5F5B718, 0x87F136B5, 0x94DFBA1E,
0xCD214CAB, 0x14FD4F98, 0xA31BA368, 0xED87AFA4, 0xFAE72F33, 0xCD051607, 0x9F40C473, 0x3853D148,
0x82AD14D9, 0xC269EF6, 0xB2A67ECE, 0xE20397B4, 0x4CCE1A95, 0x28863355, 0xF1EA078C, 0x1EEAE797},
{0x63E1E51E, 0x39EBB75F, 0x8C2421B9, 0x7E8AC132, 0x8CF9CFD8, 0x43D7B755, 0x3AF80A6A, 0x38609C0D,
0xF165BE7, 0xCE2BABC5, 0x5CE4D58A, 0x15DB6388, 0xEC85AA4, 0x844B3BC7, 0x56AE8BF1, 0x36923B06,
0x32922345, 0x18A40407, 0x6D54FD5C, 0xDCC26AAB, 0xAB4B92F6, 0x9FC6A239, 0x3CF3E6D8, 0xA1D267D9},
{0xC337C707, 0x739F227B, 0xE4F5D2C0, 0xB4A9795F, 0x1CFDEEF7, 0xC8358621, 0xE49298EF, 0x6B468173,
0x91186F96, 0xCF974020, 0xFB312855, 0x789582E5, 0xC238EAB6, 0xAA8FB35, 0xFA0C2730, 0x8D07DDB3,
0xD9A5A4D, 0x40E7B5B9, 0xDD51FF1, 0xF941C18A, 0xC22AD3FF, 0xEC76832F, 0xBA40C118, 0x5B51D115},
{0xE1F10766, 0xC0690C4D, 0x4B43E0, 0x315A344D, 0x3335F7CE, 0x539BADAB, 0x62071B06, 0x5F387D0C,
0x8EC79606, 0x8DF32A30, 0x77D80208, 0x93BA5593, 0x3EE76603, 0xEB01D43E, 0x13D3E23D, 0x2BCAB8A8,
0xC5251673, 0x12F31367, 0xA3CAE026, 0x385CBEB4, 0x5128F4C7, 0xDF3968E5, 0x1FEA281F, 0xAD75DA89},
{0xF15FF47B, 0x4A547743, 0x2EFA0442, 0x52797310, 0xC98B7551, 0x6F3A3953, 0x7ACD3BB7, 0xF600B81E,
0x6B2F2D66, 0x5B8DD648, 0xA299BCBC, 0xB4C5654C, 0x3294766A, 0x306837A5, 0x986C19E7, 0xB72BCB5,
0xAA183F8C, 0x64973DC4, 0x5F6FA509, 0xE65F8D34, 0x9D584D0B, 0x5C266E79, 0xBB7CF655, 0x21083453},
{0x7FA3D622, 0x1667F393, 0x12F314C1, 0x532E0191, 0xF1E9C649, 0xD33D6F66, 0xB3ACCD85, 0x3137182C,
0x8131B4A5, 0xF4829955, 0xA1CFEE5, 0x49F3FD69, 0xD6713FCF, 0xD28CA9BE, 0xA53A9875, 0xDAB9A4B0,
0x4EC3049, 0x797CAF57, 0x1C8DD57D, 0x22400697, 0xDD02045B, 0xFA2DD292, 0x33CCCD4, 0xA376369A},
{0x2EA8836A, 0x666EC330, 0xA19C850B, 0x5F3E6075, 0x7BF6727D, 0x421A0B84, 0x1B002C4E, 0xBCE80532,
0x704DD2E1, 0x24578AB1, 0x82F2146C, 0x766630F0, 0x6F27859D, 0x46DD64C2, 0x266C0BF8, 0x12E9364A,
0x79E665C3, 0x8911EAC8, 0x72BF6BE, 0xE30850D5, 0xEAEC9AEA, 0x332FE212, 0x50F695B8, 0xEEFF202D},
{0xA551D2F4, 0x1859AFD2, 0xFA7EF580, 0x19D62784, 0x74E9C797, 0x7C51D892, 0x6C41CA69, 0xF8BF4EDA,
0x6A0C84EF, 0xA4F869AB, 0xC3E1CCF8, 0x5C9951CF, 0xC4B2673, 0x8536B866, 0xCE8CF2F9, 0xF566824,
0xCF96AB53, 0xB41B4C65, 0xF27A2041, 0x74979B82, 0x166F1F77, 0x67EDAEC1, 0x11FC3B01, 0xBC15FF96},
{0x29EB2C8D, 0x58B53426, 0x28FDC488, 0x8FAE8118, 0xFC1A1313, 0xDEBB9A6C, 0xA0DC6CE6, 0x98C0062C,
0x101F3AA, 0x52596294, 0x26C929CC, 0x5CB4747B, 0x7164FE0D, 0x35A26D69, 0x479CEFC7, 0xE0EB6AB7,
0xEC6F3A43, 0xCD68F54C, 0x26DBEF22, 0xD911652E, 0x2D351324, 0x95E3ED3F, 0x340F06C4, 0x3E563B1},
{0x1DBC2BF5, 0xE7DC18F9, 0x94FFBF6C, 0xA250FF70, 0x4D150BC2, 0x71193B4A, 0x555BF6E6, 0x6EBD110D,
0xAB526ED3, 0xB4296F0F, 0xAF55EE40, 0x9EA01B61, 0x11BF0F65, 0x6F104D7F, 0xFD1A03A6, 0xAD14DD28,
0x547D514, 0x63C53B56, 0x16C917DB, 0x746323C9, 0x2412EFF8, 0x19A5083F, 0xED5EBF33, 0xCF146630},
{0xFBC6C313, 0x89427C0C, 0x7D299F7A, 0x67CAF9AF, 0xA90775F0, 0x4DB9288F, 0xF3AE47A, 0xEB91C3AD,
0xA9C6FBF8, 0x40F87EA7, 0xDF2CED03, 0x3BB474A1, 0x83F81064, 0xE6110C84, 0x14F5FE74, 0x237BF7D6,
0x65552C3, 0x2BE7A153, 0xB5DA013, 0xD9EF3466, 0xF2059942, 0xF315F21F, 0xA2C3EA96, 0x611B5C8E},
{0x31F62125, 0x6F3C09DA, 0x2A1603AE, 0xD0B2710, 0x2CAA666F, 0xDB7C5C94, 0xE372814, 0x7F229FB7,
0x9EC9F906, 0x272814DD, 0x7470B464, 0xDF653EF4, 0x6EE07BB5, 0x6F9C574D, 0xB7BF814F, 0x2DE06238,
0xC8FC4C05, 0x79B615F6, 0xB923384C, 0xCDA5B83C, 0x447B9228, 0x4BAF4865, 0x82A41BD, 0x21559667},
{0xBE708707, 0x7B0FEDC6, 0xE69C66EF, 0xCFF51A42, 0x232899A3, 0x5CCE5054, 0xC5C4A411, 0xE1AE28B5,
0xD058FA13, 0xB3175C45, 0x7FDC567D, 0x256FEE9, 0x24AFAF40, 0xEC54E1A8, 0x38397FC2, 0x155BC0B2,
0x7DB8DA4A, 0xE85E4C79, 0xF33E2A61, 0x7117576E, 0x15ADE0DF, 0x94C2AC5, 0xBDFF3E9C, 0x3AA5997F},
{0x53FE59B8, 0x751D7CBC, 0x498B2E34, 0xB033BE98, 0x55471290, 0xB0A11EB9, 0x800C4068, 0x5F966B7E,
0xB0A05EA1, 0xC9BB01BF, 0x780C9BA6, 0x52449227, 0x944150E4, 0xFF69C9EC, 0x35694E8D, 0x5E119D01,
0xEA5FACBA, 0xDF2C7DB4, 0x48160A0B, 0x4F13B6CC, 0x8828DCB1, 0x284C9C59, 0x80DC375A, 0xA6DE683},
{0x434BADAF, 0xA8933379, 0xBADF322E, 0xA4A79653, 0xB1ED82F0, 0x23B231EE, 0x3EA469D7, 0x11BEDBAA,
0x967E55A5, 0x1354EFEB, 0x59AC7757, 0x4184AA51, 0x1385D08C, 0xCF5EB3AA, 0xE8EE09FA, 0x67206963,
0x353C9EBB, 0x75003C5F, 0x65D7D4AB, 0x5F0F8E14, 0xBDA21B49, 0x7B5D5413, 0xAE808294, 0xD93B160F},
{0x2681BFE4, 0xD4D760DA, 0x8E43DD3B, 0x9E338145, 0xE545AD2D, 0x6F7A3478, 0xABE4C17F, 0xB7BC9CB1,
0x7AC110FB, 0x901A8710, 0xBE6CFDCB, 0x170969DD, 0x94FA4061, 0xC66FA7A3, 0x8B0B94FF, 0xC3710777,
0x5473615A, 0xC2363148, 0xDFEB28FE, 0x251FCB74, 0x3BEFFC1F, 0x680831D2, 0x91919E5A, 0xBAFC6414},
{0x2A996E76, 0xDD3EBD05, 0x66DBB188, 0x68B81BC1, 0x54E4A58, 0x55ACE003, 0x910BBDFD, 0xC14E5556,
0xDB669706, 0x2C3B7399, 0xFDC0401A, 0x19253117, 0xADBB27C7, 0x9B06CAB5, 0x8EC40696, 0x2018BE1E,
0x8C819F17, 0x48AB16EA, 0x2F286DE1, 0x775F235E, 0x663205C7, 0x80A6B287, 0xB798AF63, 0xBF36E36},
{0xB9B162E8, 0x5FD6EE3F, 0x73D4FD52, 0x43C07B28, 0xCED3FD6D, 0x30096F43, 0x9C698C9, 0xE6C6F25E,
0x37D7F49A, 0xCDB4856E, 0xA7021DA, 0x41258018, 0xF1060601, 0x6338EBE1, 0x6BBB865C, 0xE6365B53,
0x9E41ED45, 0x8B853DB, 0x45DB6704, 0xBF969796, 0x6A9012BA, 0x3BD807D1, 0xFE9AB3F4, 0x765B6552},
{0xC7C9D062, 0x76BB33D0, 0x840CCB82, 0xD7DE8439, 0xB240A154, 0xEEEAD8B5, 0xE2CA9819, 0x45D28FAF,
0xD7CB9D42, 0xCFACEDCA, 0x9DE2D79A, 0x5B2AA580, 0xF59534F0, 0xBACCD4F7, 0x9E2AE681, 0x8FBAE484,
0x271DC174, 0x39E9F557, 0x3A782DC4, 0x2CB63FDE, 0x731C630, 0x2BCFED21, 0xB47200F0, 0xB3078701},
{0x8C4CDDD3, 0x87FD0B46, 0x4DE2E29, 0x2412E4EB, 0x62534A6F, 0x4B282570, 0x79E79EB, 0x2DE16571,
0xBDA05969, 0x861422E9, 0x864AF422, 0x640D0C7B, 0xDBD2F55B, 0x64E5D923, 0xB3092D99, 0x9FEA1596,
0x8C9B3924, 0xBE10E3FD, 0x437996C1, 0x927BC752, 0x1CDF883F, 0x8AF6A1FC, 0x478504B, 0x3E300B02},
{0x64384631, 0x96F87D2D, 0x3A768F47, 0x455BAE83, 0x3FD6549F, 0x5F9EDF6C, 0xEE7F2DF4, 0xC495230C,
0x86D802FD, 0x54ABA95F, 0x21765727, 0xE086F4EB, 0xCD7A72F7, 0xD2E33F0B, 0x70CDCF89, 0x4B8AE9F1,
0x252FE139, 0xC8AB6B43, 0x4ADC091F, 0xC133D3C7, 0xE3AB50C6, 0x5924DC7E, 0xEBEB0496, 0x896C482F},
{0xAF1DC643, 0xFE83CB74, 0x140143F1, 0x74C946AC, 0x4F49447C, 0x201DE031, 0x2051DC75, 0x144EBAAF,
0x8480D6F9, 0x9E6A17B3, 0x9A4D3C9F, 0x5D5B02A7, 0x429E4C5D, 0xD95E7296, 0xAA182F8, 0x6F49B968,
0x57DCCD12, 0x76B57542, 0x9CBDC6AF, 0x2BB6FCAB, 0x9585C4AD, 0x55016D1, 0xCA609BBC, 0xFA53EF6F},
{0x2FB82928, 0xC830C8A6, 0x53B355ED, 0xC5ADAACF, 0x50EAF3C0, 0x308318AB, 0x5E24244E, 0x693B88BB,
0x61B1BAF0, 0x197B6962, 0x6770C9B8, 0x5F54E972, 0xB50580BB, 0x92646660, 0x4195C697, 0xF7A0E5AA,
0x973A4BF4, 0xABE1961, 0xAC5FC182, 0x3FE64CFA, 0x764BE071, 0x541A83BC, 0xD3B4401D, 0x11D20B21},
{0xFBCFBD0E, 0x8DE840DB, 0xE6DDE64F, 0xCF029942, 0x2352A286, 0x83042F1C, 0xF92B07A, 0x50DDFE64,
0x6EB66CF, 0x5598F208, 0x4FB37300, 0xCE6984DF, 0x24550E8D, 0xF1102C91, 0xE9D036C8, 0xBE686A1D,
0xC880C56, 0x5139D4C8, 0x519683A3, 0xD3136E5B, 0xF713EF01, 0x44449A3E, 0xEAD77B04, 0xA20C60C7},
{0x26F67509, 0xDE8B3665, 0x547C5D26, 0xDD2FC44E, 0x7682FBE9, 0x6BCF575D, 0x373B942A, 0xDA652CDE,
0x5FB8F21, 0x948119F8, 0x559AE44C, 0xB79BC655, 0x6E9947C2, 0x65F788BB, 0x7ECA7AC3, 0x2A9723AE,
0x7DDA69BC, 0xF00EFCF6, 0x791CA698, 0x146E82C5, 0x43A0F4E2, 0x9E9D3B00, 0xF379BBC, 0x30DB38A6},
{0xFF507C89, 0x5B231681, 0xB8D61FD5, 0xA4E7E1B0, 0xCC7AD510, 0x4B474612, 0x1BDF71FF, 0x63843C1,
0x272F7A92, 0x1BC635CB, 0x1D806F65, 0xEBBE7AC8, 0x2C5F3EA5, 0x356123C2, 0x425EE0F5, 0xF112CB69,
0xE1CD3A2A, 0xD7C014F0, 0xEA9E33EE, 0x8542E951, 0x90CC6A12, 0x197A72BA, 0x65996BC7, 0xE7CA0C80},
{0xEACE401B, 0xDF1BE5EF, 0x4E25B28D, 0xC3E22C5C, 0x19740FF8, 0x3C3F3C1D, 0xE8B48541, 0x9949E412,
0x780DEF21, 0xED012F00, 0x5ECF5680, 0x186CB393, 0xA2648EE, 0xD9965EE, 0xB2EAA573, 0x243B8F1E,
0xB7777357, 0xDA142285, 0x6081D79D, 0xEC3A95ED, 0xC1E1C403, 0x7CD0E707, 0x4C3BB420, 0x3BF76124},
{0x249709CF, 0xF267B77, 0x71EF96B6, 0xF74D0780, 0x9692E7D3, 0xABB9F67C, 0x11E74301, 0xB0CC4DA7,
0x51888E25, 0x5A90F28D, 0xC89BB8A, 0x7396C7CB, 0x9A8FCACD, 0x787ED3CE, 0x9C2F6E5C, 0x6413980B,
0x29757200, 0x10CCDFF3, 0xD8EB8919, 0xC3463901, 0x81FDD075, 0xBF4539A, 0x1323E91, 0x3F2EB0E4},
{0xF92FDAE0, 0x85DFB98F, 0x88A01ED3, 0xCAE86118, 0x416F8493, 0x161EAF70, 0x121A39A3, 0x3C74D27E,
0xE0D141F7, 0xB1E84E5C, 0xECDD0C9B, 0x299E51D7, 0x69F131B3, 0x965371E2, 0xDDBAFD7, 0x3881032E,
0x53CA8138, 0x89C7C48A, 0xF81FBD1, 0x214F77F1, 0xA0DF07F4, 0x313027C9, 0x2B93EF41, 0xF02127E6},
{0x45C1B4F3, 0xC7BC44CC, 0xF4C22781, 0x6B73E595, 0xDB84E78A, 0xCEB55625, 0x5FE1C979, 0x6285AF19,
0x5BF7EBF6, 0x70C074EE, 0x36EAF918, 0xD291B562, 0x1C9C57CF, 0x733B7913, 0x7F55A8BC, 0xF61E9F67,
0x113CEA6, 0x14AAE057, 0xA7923020, 0xB3340423, 0x4141B673, 0x6D74F74E, 0x5F25D400, 0xE8F6D3B0},
{0xCFED616F, 0x93E3F122, 0x38EC4EAB, 0x817DD42F, 0xF4E15B17, 0x7F09BCCF, 0x42381793, 0x91FB9A8A,
0x323B6166, 0x8A8D4D42, 0x4AA0A176, 0xF52E42C1, 0x832B1A14, 0xC9FBE77F, 0xDBC22DA8, 0x18EA1B11,
0xE8469D10, 0xE8EE50D8, 0x100434FA, 0xD6AD05B4, 0xDEFCA68C, 0x2168C90, 0xD4081068, 0xA5BE7619},
{0xF8AFE26C, 0x6D1586F7, 0x6B5CE219, 0x3F5C79C2, 0x40E5B767, 0x11491943, 0xE4A3CEB6, 0xCA6B63A2,
0x433C4331, 0x63D46DE8, 0xC5B3E78D, 0x2676C0AA, 0x94E6EB57, 0x28F4B6, 0xF5574B1F, 0xCD119034,
0x94263306, 0x5CFD09EB, 0xD5953421, 0xC189FE4B, 0x4256F739, 0x5D2B2786, 0x5C8104D6, 0xC7C7E7D2},
{0xB2DF27B0, 0x8172706F, 0x905CDD04, 0x6905EBE0, 0xD05F1B95, 0x79AF197D, 0x5FCCAD98, 0xFCACE6E3,
0xE4CEDDBB, 0x601D2073, 0x138C0E8F, 0x485F6550, 0xC4158661, 0x647A1265, 0x404420D8, 0x167455F4,
0x3292CBD4, 0xABABA0BF, 0x99AB0F4F, 0x5B1956FC, 0x90900C80, 0xDD1EC622, 0xEE86C409, 0xBD5F014D},
{0x720F9C79, 0xFA279F4, 0x14BAC8F7, 0x35C50B90, 0x934EE9FC, 0xC6854EB0, 0xC2F7A08E, 0x340574E6,
0xE7AAD03D, 0x98E9AD8B, 0xB9F0F29C, 0x7C7CA6CC, 0x81A5D23C, 0xD5EE31F4, 0x2CA4EEBD, 0x97E9ADD0,
0x3A5C0326, 0x3588EB04, 0x9833563A, 0xE703248A, 0xB4E8DE65, 0x6415AF5, 0xE1D66CAF, 0x3F5DF41F},
{0x60C8E4C2, 0x5C1B8B4C, 0xC66F682D, 0x6A04ACE9, 0x1F5FCDD2, 0x38B81A32, 0x3D1038FF, 0x16072A8F,
0x3FE2659A, 0xACB74CFA, 0x9615798A, 0x1B51A848, 0x39C19A1C, 0x94601972, 0xD827E518, 0xB420F5FA,
0x4FB236A, 0x96FCA6D5, 0x77BEE1C1, 0x492AFC11, 0x20D42634, 0xC0133FC5, 0x30973782, 0xD19AE5A8},
{0xED0D7948, 0xEA34EE07, 0xDD5B89B2, 0xEC203B49, 0x2ECEFEFC, 0x3DE38CB2, 0x25E830F0, 0x9C1CAAA7,
0x8349F232, 0xE229EAE2, 0xA6C1435C, 0x6FD24BB1, 0xC363FB22, 0x8434BE89, 0x9E59297C, 0xED384470,
0x9B03F31A, 0x21CDF36F, 0xB9640699, 0x238C813, 0x21181122, 0xF8DF3E8C, 0xA826070E, 0x53F2EBF6},
{0x299572ED, 0x5DF0B370, 0x5501CCD, 0xDC3AF1AC, 0xCEA491EF, 0x971B6FAA, 0x3DB55E26, 0xF6835B8,
0xAF8BDA0E, 0x6984B01F, 0x2256AF01, 0x5F8359E7, 0xA9CB32B6, 0xA08F3DA7, 0xC240A42B, 0xBEBD9905,
0x9EBC5503, 0xD2AABE59, 0x9821A4AB, 0x710B4A0B, 0xF866CF2B, 0xCF98FA7C, 0x9C1A85C6, 0xD39A8077}};
#endif /* __TEST_ECDOUBLEMUL_H */