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

278 lines
26 KiB
C

/*
* Copyright 2018 NXP
* All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#ifndef __TEST_ECDOUBLEMUL256_H
#define __TEST_ECDOUBLEMUL256_H
#include <stdint.h>
uint32_t test_ecddoublemul_base256[2][2 * 8] = {
{0xD898C296, 0xF4A13945, 0x2DEB33A0, 0x77037D81, 0x63A440F2, 0xF8BCE6E5, 0xE12C4247, 0x6B17D1F2, 0x37BF51F5,
0xCBB64068, 0x6B315ECE, 0x2BCE3357, 0x7C0F9E16, 0x8EE7EB4A, 0xFE1A7F9B, 0x4FE342E2},
{0xDC98970E, 0x9002FB08, 0x7200358A, 0xE7F40934, 0xA4340190, 0x99E6594B, 0xBA3EDAF, 0xD72CEB43, 0x866D8ED3,
0xC7B548E9, 0xE27C8238, 0x537D2761, 0x95434984, 0x735746C, 0xDBAACE42, 0xCA5129B7}};
uint32_t test_ecddoublemul_scalars256[64][2 * 8] = {
{0xFE0F4AB5, 0xB5B2B15A, 0x53BE6777, 0x3BAD70D0, 0x8D4FC6D4, 0xE1AA11CB, 0x247C7AAF, 0x5BE45242, 0x406FB795,
0x9C8C50B8, 0x9F04856F, 0x54DF21DD, 0xBCEDCF1D, 0x93D539D8, 0x5A25C0FF, 0x310A13B9},
{0xCC286B24, 0x75CEC37D, 0xC03C1001, 0x2B13FEAF, 0x98F5006F, 0xF1608092, 0x280C6C16, 0x3C52250B, 0x8D94861E,
0xF378517A, 0x8633883F, 0x645CAD99, 0x9830199, 0xD8235F1A, 0x9DACBE98, 0x333D4B6B},
{0x9B97A8A6, 0x1C3AA2D3, 0x96B6717B, 0xE1756873, 0x42F272, 0x268456D1, 0xA2BAA966, 0x2018427A, 0xCA9B452F,
0x1BA412F7, 0xD1CD90A1, 0x6D04A684, 0x542554EA, 0xE4B1042B, 0x3840986E, 0x71139F44},
{0x5A650C09, 0xF34D31A6, 0x2F0CCD05, 0x2381D1C4, 0x6CE96EBC, 0xF3A75D9E, 0x235DD8D9, 0xEEAB6EC, 0xD1409C6,
0x98E01974, 0x68899F40, 0x8E7A18C7, 0x8109D28D, 0x3F424906, 0x15F4AE8B, 0x82E0C693},
{0x5BD66980, 0x1B4F98C7, 0xEFCDA2A8, 0xB7E42B36, 0x79FC4370, 0xC146F5B4, 0xB3AAAD6C, 0x56C11E17, 0x174C6802,
0x6C4F9C12, 0x3716E38, 0x1987499F, 0x85927E5F, 0x80823CBE, 0x7054C86F, 0x77CBE32},
{0x338FC3B8, 0xA4B989B, 0xAC0F8B33, 0x8B61BA0F, 0x985DCB86, 0x9F217F33, 0x65B6112A, 0x54A9553, 0x36CD36E0,
0x3000D2AB, 0x21F54EA2, 0x3D494F2E, 0xDF0A843B, 0x148B2B8C, 0x6336009D, 0xE0DFA08F},
{0xAF57D557, 0x3FB14B03, 0x99690366, 0xCE760F2F, 0x598F80D3, 0xB414D52A, 0x14879925, 0x4260CE6D, 0xF0F41ED5,
0x406E4DD6, 0xEB7AD3B7, 0xCF1F927A, 0xDB25DF6A, 0xAD622868, 0xCC647D37, 0x9C19B951},
{0x1085B2D7, 0x4BD9DD38, 0x40792F7C, 0x9E0A31F8, 0x1ADE0C7, 0xC39423E3, 0x6D8D531A, 0x7501D377, 0x66EC7BC,
0x6EDA55ED, 0x936C2DB4, 0x83E5045F, 0x2CA6CF8F, 0xDA6D86C1, 0xBEC994DD, 0xC71BBC2B},
{0xE952DBD, 0x30AD7E4E, 0xB0C5E5F3, 0x37A604CB, 0x661BDB22, 0x98B81974, 0xE97DFB5E, 0x78849DE9, 0x9A25F8C9,
0xD8E6EC96, 0x38204BE8, 0x4C231926, 0x5C60DDE0, 0x8494A9EB, 0x7F019BDC, 0x9B3FC959},
{0x7EC73920, 0xC4BC4D24, 0x914A0795, 0xADC1511A, 0x668F9CD6, 0x688AF653, 0x1E24B383, 0xE53071BF, 0x3BC645AF,
0x6B665035, 0xC546E0C3, 0x472A66E8, 0x5977E472, 0xFFAB02C9, 0x9A649E26, 0xFD0F9462},
{0x49F67814, 0x49F88F3D, 0xA0676276, 0x2065EB3A, 0x7B896A3B, 0x6957B64A, 0x1BA2A993, 0xC2F751D0, 0x265F2A59,
0x300BA0C5, 0x638544AF, 0x8FE7D480, 0xEC825C50, 0xC0FF9170, 0xFB5CF5DB, 0xAFDB53FA},
{0x2C83DE55, 0xC77FE88B, 0xA9497388, 0x6C9C3CD, 0xE063A07, 0x81E2A771, 0xCE8B72CD, 0x6C140A2C, 0xAAB04747,
0xCCFAFD2E, 0x5E6E2BC3, 0x59C1829B, 0x11449E4E, 0xB34A55E5, 0xC4764522, 0x2F99943},
{0xFC0DEDCC, 0x5F439029, 0x47FA197B, 0x1940BF89, 0x27F549E3, 0xEB60A7CD, 0xC9CDFA63, 0x402D3A3B, 0x65723771,
0x593E2D6D, 0xCEA54F55, 0x4FD83503, 0x2FF8FD54, 0x9762BD7, 0x2298ADB, 0x697ABC40},
{0x56178249, 0x662FD215, 0xFC45451B, 0x215BF79E, 0xF7EFAD38, 0x6CFCFD69, 0xCF28CFE6, 0xBC99623E, 0x1704E33C,
0x4DCC76A7, 0x8959252F, 0xE50BA1, 0xF2F02888, 0x2CCB099, 0x78FAA5AB, 0xE0DC153F},
{0x9BE3E14F, 0xF55E65E8, 0x626B80E9, 0x8B1E17F2, 0x357C9151, 0x5B64BE3A, 0x6D0E5C54, 0xA5783A44, 0x306D71A0,
0x9A9889FC, 0x86BC480C, 0x28EA28FB, 0x328335B5, 0xE2BE780F, 0xF2F212AE, 0xD6FA0DDD},
{0xCC0830EC, 0x75FFCA1C, 0x2B757978, 0x6FC9A4A4, 0xE9F71914, 0x9C17872B, 0x4A977CBD, 0x5D41B868, 0xF786FC82,
0x53F58F0C, 0x1EE560F6, 0xE59C34C4, 0xD1C27BE5, 0xA2A5F63, 0x6DF379E0, 0xCD3755DC},
{0xB9A1CC16, 0x73DAA421, 0xA64CB32B, 0x3BFF2B23, 0x7597D655, 0xD8FFB05, 0x61D12C5C, 0x6C4CDC07, 0xD22D0810,
0x5AAB0FC8, 0x534FE8AE, 0x41555283, 0xAD138DD0, 0x9CC39E8E, 0xC432660F, 0xA82D49E0},
{0x7C3F59F9, 0x703323AF, 0xDE7F89BA, 0x5F425BA3, 0x7D70A48E, 0x899F1E31, 0x593E4BC6, 0xA52FD5F7, 0x8EF80C98,
0x53DAE74E, 0xCC04AE35, 0x5DCBF0, 0x8276CF2, 0xB74C1E06, 0x1D6E4AD2, 0xC9095DA3},
{0x40BD8D61, 0x5F1E3163, 0x2E3A98F2, 0xC709B283, 0x789A2AE6, 0x837BD5D3, 0x277FB1A6, 0xC6331139, 0xD06DFE81,
0xBE8111C3, 0xBDAC6694, 0x55410778, 0x491BBD4, 0xBC70CF08, 0x74C724F4, 0x65EE55A4},
{0xBD4664BF, 0x464D922E, 0xF5CE4559, 0x234E5EEC, 0xBABBC703, 0x3254EFD9, 0xF1A6C956, 0xD624E19C, 0x1CCD5020,
0xAFEE019A, 0xA09F91A8, 0xFC4BD350, 0xA52D0475, 0xB7D50EBC, 0x990D15A7, 0xF71738D8},
{0x742A3EA7, 0x20083B56, 0x3735032, 0xAB3207C0, 0x73775DB2, 0xE1977D10, 0xB0C18BE5, 0x5BB5AE39, 0xBE99C5A6,
0x13EFC581, 0xE05303C8, 0x976996C0, 0xF268815C, 0x1E764434, 0xBFD888C, 0x945CD9BA},
{0xA7502556, 0xFD69041A, 0x71BC4DE0, 0x70C044C3, 0x83B4BBBE, 0xE70725B1, 0xBF863B50, 0x2B72C3A6, 0x1124A8F0,
0x15B41B95, 0x45ECB19E, 0x87B629F, 0xDF35440F, 0xD49390C7, 0xEA14671A, 0xFF1A52ED},
{0xEF5075F, 0x7689483B, 0x10CE88B, 0xB0B05058, 0xFB195C7C, 0x497E4FF3, 0x2D2AE3A5, 0xD9BEE057, 0x90F77C26,
0x5AE8BE31, 0x64517F38, 0x6C443095, 0x85B42D97, 0xF3D1653, 0xC166FD04, 0x9D11208B},
{0x3BC72F89, 0xC4B01944, 0xF22DB71A, 0x3DAE41E3, 0x29B1B11E, 0x430C8791, 0xCF675C8C, 0x7C8B9278, 0x500AD206,
0xA2621E59, 0xB8E69CDD, 0x7058BC52, 0x5D635621, 0x667830FD, 0x48148888, 0xBAD8560A},
{0x94AB24AC, 0xE64CAB4A, 0xD61C08EE, 0xE51FDFFE, 0x222FFF50, 0x4BC98DBC, 0xF5EF6221, 0x3355E0DB, 0x283D331E,
0x6BFD3C83, 0x5605AD8E, 0x656D7159, 0xB61E24CA, 0x4C3D2CEB, 0xF947E236, 0xC237D36B},
{0x8C235869, 0x49AD06AF, 0xF8FB7EA9, 0xA181DC09, 0xCFAB1731, 0x7C4DCAD5, 0xE7BB1910, 0xDDD5399A, 0xF9D5C403,
0xF939F126, 0x6C0238A8, 0x9C48B30E, 0x592EEBF7, 0x7BD49971, 0xD475DF84, 0x95D64ECC},
{0x4FA27C4D, 0xA6FC480C, 0x9668E1B7, 0x7E3C6568, 0x10B44028, 0xB474F158, 0x7A68D23, 0xC43EF004, 0x34527F1C,
0x407437A5, 0xFF169FEE, 0xB114BA69, 0x33C369D3, 0xE6A2603C, 0x913B9919, 0xAD7CEBCF},
{0x9CEB422C, 0xDE2D3D4A, 0xD36FD105, 0x603DAF68, 0xA96860CA, 0x3853BE94, 0x4C0B9B66, 0x3BD60B35, 0xCCF15A33,
0x50D34448, 0xF468EEFB, 0x80C17FE7, 0x3D1BD170, 0xEE853A8C, 0x4B1D05A1, 0x38166792},
{0x3E638F44, 0xA5363ACD, 0x1F850A3, 0x2F0E0CEB, 0xC7B05634, 0x4CF0FCFC, 0xDA6240FE, 0xFF8C3184, 0x32A88876,
0x4C101BBA, 0x32D0790F, 0x2EB18981, 0xB4E371F9, 0x4327B6B2, 0x96B5BB79, 0x664E789B},
{0xC05FA148, 0x546C8A4A, 0xB3D7585A, 0x3DF94CDD, 0x85360EDF, 0x5716A710, 0xFB4C9C05, 0x1EFE34A5, 0x1EEBC984,
0xEC92551B, 0x527254E3, 0x5072B30, 0xE8989C01, 0x1E57252D, 0xFEBA9C6A, 0x2E699FA3},
{0x6C0610C0, 0x8E125956, 0xCE1B27F6, 0x6BF56062, 0x90E5A13C, 0x862E8F1C, 0xEE1E5644, 0x292B390C, 0x4CD73E9B,
0x69C07E7F, 0xBDAD8ADA, 0x337D56DF, 0xF86AA343, 0x202EB3E6, 0x961A22A2, 0xEBCF514C},
{0x854214A6, 0x69678BCC, 0xC0071705, 0x1337A2E9, 0xF67806EF, 0x7A3BADFF, 0xFAA26430, 0x1FEB9912, 0x89101B6F,
0x3D2DF9A9, 0xA186B7CF, 0x73C01BCF, 0xEC6C674A, 0x1C0DA095, 0x641E0D07, 0x2DFB83B3},
{0x666649AA, 0x95B7A2D, 0xD826D6B7, 0x5DE0CE92, 0x6E9C2423, 0x7C9AFBDD, 0xFA87CD40, 0x3FA036BC, 0x7E56135D,
0xC9F6DB2E, 0x4B60217C, 0xFD6703F6, 0xE3DB1E49, 0x813C83D6, 0x2786095, 0x2AF2415B},
{0x3DD3B1E2, 0x41561EE9, 0x46C0E71, 0x6D013767, 0x47E09CE5, 0xE9C20935, 0x6264E446, 0x4E94659, 0xEBD3D42F,
0x2B34D103, 0x90F40369, 0xFF33F8, 0xE67AEE2F, 0xA46D7AF2, 0xEF274DC9, 0x55B09BED},
{0x39B05ED5, 0x3C9D30E5, 0xAAD85232, 0x93C1D52C, 0xAAAD23D8, 0x9D566510, 0xC715AD2C, 0x68C29EBD, 0x2B443BFA,
0x8ADCBDA8, 0x87CF1D56, 0x8B32BB7C, 0x457BD15B, 0xA4B61461, 0x6F03B8A4, 0x3CB96639},
{0x8CCB44AD, 0xDEA02D34, 0xBB9B5EDF, 0xAAF1336B, 0xD8C751C5, 0xFD838759, 0xDF1A19B, 0x402E21DC, 0xD192AE31,
0x55A5A19E, 0x2F462136, 0x68A782C8, 0x32F957F, 0xDE856390, 0xF67D495F, 0xD54B2C33},
{0xF8A84DCB, 0x7E4E03D9, 0x8F4E1C4A, 0x5D3E05B7, 0x93676233, 0xD4C1A6F3, 0xF5337997, 0xD2D9BF60, 0xCFE2D4AB,
0x2230F8F2, 0xC3420AB4, 0xF37C3639, 0xFDC369D0, 0x3649400F, 0x5592B585, 0x7FB8E777},
{0x1140AA91, 0x5F33A945, 0x16B385D, 0x2F40E66C, 0x698B981F, 0x3E93FACF, 0xF4124498, 0x19BB0FDF, 0xC9F11BF1,
0xA1679C81, 0xA966F313, 0xDFE9FB49, 0xDD9B4D19, 0xFC534378, 0xF1116F35, 0x43DC1355},
{0x1659BD86, 0xA71B0C12, 0x14FA67CD, 0xCE487D3A, 0xB10B6EAE, 0xF256C3, 0xFE6D7B51, 0x200C53B6, 0xF8629278,
0x19238D19, 0xCCEFF1A1, 0x24798499, 0x9D82750A, 0x323BA125, 0x2BA70E91, 0xD59783B3},
{0xD623FEE2, 0xE9A268B2, 0x96B611E8, 0xB313B1A2, 0xA760ABBB, 0xE1960018, 0xD922F6CE, 0xEB24F510, 0xF726A1F3,
0x195AA7C1, 0xBD51C78E, 0x648A0F4C, 0x85B4C45, 0x27E90A84, 0x4BDEFC2F, 0xE3F72C65},
{0x28F7BC82, 0xA3E8543B, 0x389DBF28, 0x1DAC82F0, 0xAEEBEF51, 0xFE2A2C9C, 0xD02D3E2A, 0xFE426EAF, 0x56DA7233,
0x52AFBD0E, 0xE6A1A08C, 0x69EAD1E0, 0x6153E2, 0xAFB413D6, 0xDAD7CC4D, 0xAB822D2B},
{0xE81A4CB6, 0x7F446893, 0x56618BBB, 0x4F746EF6, 0x8719AB3A, 0x8AA24D07, 0x72CA2196, 0xA971D385, 0x38509EF1,
0x7010FFDB, 0x529EDBC4, 0x68063775, 0xF4E491E3, 0x5BAA6189, 0xB1F04B1, 0xE4A5F1A1},
{0xE5E0489A, 0x370831F, 0xCB91423C, 0xF3E2DD8, 0x9EA07DBE, 0xA3E6B674, 0x7EF695E1, 0xAB0F609, 0xF4FD760, 0x214472AB,
0x4E270B60, 0x27BDB07F, 0xD3063691, 0xC0E8B4C5, 0x5B032F41, 0x64FD115A},
{0x62558581, 0x58D09017, 0x9268B282, 0xE2656559, 0xDBF78083, 0xDD194BDB, 0x441A2670, 0x8E0A0266, 0xAB0F63B7,
0x53B1D1E8, 0xFC05A495, 0x635C601, 0x2A9E3F61, 0xF1897BF6, 0x2AE7218C, 0x9858F89C},
{0x69B77B01, 0xA17A07AC, 0x2EA84885, 0x35F04287, 0xF04C9979, 0x138F93A1, 0x615D990F, 0x7C9B834C, 0xFBCA8B74,
0xBB488487, 0x58F4EBEF, 0xA64E40A5, 0x49B639B6, 0xCC0D266C, 0x9D662899, 0x593E5E24},
{0x45F19A82, 0x324127F1, 0x34207523, 0xDD698F43, 0x58E49C4C, 0x62EBCC7D, 0x4ECE3DD, 0xC2128168, 0x3B6197CC,
0x40D02200, 0x3A2825FF, 0x46C4C7A, 0x4022761F, 0xC576CCA1, 0x36E518A8, 0x6323A70C},
{0x9E4EEC6E, 0xD75C23D3, 0x9AB777D2, 0xB4B6C36A, 0xE6DE4FF0, 0xC4D388EF, 0xB12F3007, 0x3AC5A7D4, 0xD17EB77E,
0x74E1082C, 0x4ADA34A7, 0x9DEEACE5, 0x334B6FA8, 0xF8FA76DF, 0x1DA3E096, 0xDBF3D73E},
{0x2B94BA40, 0xA100FC47, 0x5C6CE07F, 0x2ABD5B11, 0x9FCD74CD, 0xF17A41D2, 0x789101C8, 0xADE442BC, 0x1EEBE9D0,
0x7D1173BF, 0xD689D7DD, 0xC5706988, 0xDF04EC6A, 0x2339BE53, 0xC0622BB1, 0xD66B198E},
{0x60A697A7, 0x58075D9B, 0x7C14BA20, 0xE7C6A982, 0xED26A36B, 0xE48DEB9F, 0x8EB35692, 0xF13C7E9C, 0x340C4AF3,
0xF278C338, 0xA62795B7, 0xEE7D515A, 0xBEFFF309, 0xF333CDF5, 0x163AAD5F, 0x7EDA2018},
{0x7C04260B, 0x54FCF4A9, 0xA614303B, 0x45979B4F, 0x6018FEE6, 0x27B39F74, 0xE3EBC12E, 0x2A119E7, 0x6E745071,
0xB57515F5, 0x86CF2A28, 0x58E57F04, 0xABF5AC8C, 0xBE113B14, 0x6F1AF633, 0x1DEB527A},
{0x554E24F8, 0x21B35144, 0xDD818EB2, 0x421DADF1, 0xF6E770E6, 0x917EE160, 0xBAD5E87D, 0xE193E6A, 0x53569C82,
0x6D63F98F, 0xB4003149, 0x7B918E7F, 0x7778AD91, 0x2ED0382B, 0xD9504F0B, 0x14D51AAA},
{0x967CD15E, 0xC85D6BE2, 0x479FE0FF, 0xA02621A2, 0x4D3B3159, 0x8E2346D, 0xC49C5459, 0xCF141B2D, 0xAF3E60F,
0x753A7C5A, 0xA78FB9DF, 0xDF8E4DA5, 0xB0E1E781, 0x99D5A8B2, 0x3B31D564, 0x2E16F27A},
{0xBCD32FBE, 0x151CCE72, 0x494BB1F7, 0x83CA5F87, 0x117D895F, 0x1516FBE4, 0x8D294347, 0xF0973CC6, 0x62663515,
0x8100AA7A, 0xC3A4B2, 0xA62E05C9, 0x5FD51C2C, 0x3F96F355, 0x3ACD18, 0xBA98BFCC},
{0x46FA4A1E, 0x28C12F9A, 0x3ECA7124, 0x2C7DA057, 0xB1F6DEA5, 0x3B38C3CA, 0xCD0AAB9E, 0xA2A1143F, 0xF63D4C8D,
0x6B01983D, 0xB1D9279, 0x9AE2A693, 0x248F7CF5, 0x453FA341, 0xD2ACE4BF, 0x8B4E61A8},
{0xCA2E7CA1, 0x2F9307CE, 0xEF09A271, 0x8AFAD1D8, 0x45281ED2, 0xB0AD84D7, 0xC2789679, 0x19B1EACB, 0xAC19BEC5,
0xA8D67EDE, 0xC8B4D45C, 0x97C75449, 0xC7D319DD, 0xB82636C2, 0x9A24E450, 0xA9EA3663},
{0xDBD74440, 0x68E0220E, 0xB46D10A2, 0x9C9F349B, 0x892CD99C, 0x3CFB5FF9, 0x155824FB, 0x77AB3377, 0xD27FF061,
0xBCE5EE1E, 0x2179144B, 0x7F7C169B, 0x22A3EEE5, 0x4A22A3E6, 0xB14D74A8, 0x8C22761B},
{0x9936A71D, 0x984EA407, 0x8BBBE368, 0x5B282A32, 0xE21AA8AD, 0xCC1494B7, 0xAA5337D8, 0x7B079650, 0x6DAE83F1,
0xA2737583, 0xB16641, 0x68D2103F, 0xA0D1DB5F, 0x9574967D, 0x46CB5F, 0xDB02C1A6},
{0x574DF501, 0x8CF67FF8, 0x69C3DCB3, 0xDCD833A1, 0x3818D9BC, 0x8F5E051C, 0xBC4AEC7C, 0xDFB3FC4B, 0x90D474FB,
0x66EBB83C, 0x51B8A5C, 0x829CC867, 0x2B3276D3, 0x336236AD, 0x65F66597, 0x8A3EACEC},
{0x723030EB, 0x8482AA88, 0xC3CF59C5, 0x8BFFB3AE, 0xB5C22243, 0x6ADB5167, 0x80FB7BD8, 0x7BBE09C4, 0x2B0FC4CF,
0x8F98D73, 0x85CC53CC, 0x335A9595, 0x243852C3, 0xC330A3CD, 0x5A5457E0, 0x9840DCC9},
{0x1D990E44, 0x6D68205A, 0x6B5078B5, 0xC9BF2C3C, 0x8C97152C, 0xF1891F2E, 0xE0D7B3E1, 0x432B22A, 0x24FC83EA,
0x3817246B, 0xD0433C50, 0x3ED8A69B, 0xD4A8AF39, 0xC38D0C07, 0x4CB4ED1B, 0x94B5B2F},
{0xA2A05FE6, 0xDAC971E6, 0xFC88E4F1, 0x81CE8469, 0xA63CA14, 0x1CB42D62, 0x2BE72EDC, 0xE64E8928, 0x627CCCAB,
0x7C5D6357, 0x415B273B, 0x26754C3F, 0xEE222B8A, 0x79F08B77, 0x266063D5, 0x2E3EA231},
{0xE1D74D22, 0xDD8B1F98, 0x55F69FDF, 0xF2D1B345, 0x55BAF126, 0x8648D1B1, 0xBD57C807, 0xA9D5EE62, 0x597363B4,
0xE2F31A86, 0x9BEA3A13, 0x44D855C7, 0x7EDC893, 0xB05E0B75, 0x7E74C578, 0x2829922B},
{0x36E55362, 0xD6838F30, 0xA3266D9A, 0xCE85B5FF, 0x34B8020F, 0x6CF08B9C, 0x94B72684, 0xADCED0EA, 0x170583F1,
0x5EE0BA8A, 0x567D2C91, 0x45E19636, 0xA8EEC3C1, 0x85C494B1, 0x620F8541, 0x3D602E0},
{0xAFFB34D4, 0xF8CCE6AD, 0x2A207B8E, 0xEB8A3FAD, 0x3F024AF0, 0x34343682, 0xC63B2A01, 0x1852F97C, 0x50989964,
0x12F8D0F2, 0x47B7F146, 0x87CA10C2, 0x49D05DBB, 0x11E2B290, 0xC5A84F7C, 0xFFE7C04D}};
uint32_t test_ecddoublemul_result256[64][2 * 8] = {
{0x790A3222, 0xB5256EA5, 0xEBAC59B6, 0x3D6CC1A3, 0xAA6B774B, 0x7CD4F372, 0x30CBD1BA, 0x62C77EAD, 0x53D37C49,
0xF3BBB15C, 0x3CCEB161, 0xD097FCED, 0x2569B718, 0xBBD7D72F, 0x7F3F544D, 0xAB816DC7},
{0x8E201F7A, 0xF478C12C, 0xEEEAFCEC, 0xCC86681B, 0xDD93FEC7, 0x45829FB4, 0xCF69C0D7, 0x296C1D0F, 0xBB665A7C,
0xD1CE3EEC, 0xDF543B31, 0x2FD5359D, 0x32396288, 0x9B6B4BCE, 0x1E77FA4E, 0xEC7B3AC9},
{0x628E8316, 0xAFC2525A, 0x20B2F946, 0x2A5A488D, 0x5C817904, 0x6BD82EF7, 0xC43C8ACF, 0xE6D7F20A, 0x75BC58D6,
0x4A1FE715, 0xBD0D2011, 0xC907A7F2, 0xF156F9DA, 0xEAB3396C, 0xFE1B845F, 0x48592E9B},
{0xE0B8FCDD, 0xEF9C9F7A, 0xBEB44117, 0x842BE5D9, 0x3D377117, 0xDB4C8F5F, 0x3FF8AA83, 0xE6EE54E9, 0xDA1DF635,
0xB4269458, 0x42935E0D, 0x6DDBF881, 0x80FD279F, 0xC85F96C5, 0x505A816F, 0x7EAF3159},
{0x922D3124, 0x2DF61163, 0xB65AEBD8, 0xBFB6D2B8, 0xFA1D93A5, 0xB024315, 0xF2B07E18, 0x96F13D98, 0x406832BC,
0x73CB0639, 0xD54DB560, 0x40F4CF17, 0xF5975058, 0x64983288, 0x91390D33, 0x51FC699E},
{0xA9C6AD20, 0x6B0ABE4A, 0xADE9ACE5, 0xE1194368, 0x134C1D1E, 0x17422847, 0xD887A111, 0x46025976, 0x4F16C09D,
0x4529A9C3, 0x67F0E58C, 0xFD1059DF, 0x6D111432, 0xCD5AB0E, 0xCC45A137, 0x5DDF7EF5},
{0xAAA89492, 0xDA91C1A, 0x979767C6, 0x6D008BB0, 0xCE414B69, 0x372221F3, 0x8A9532BC, 0xC40F74BF, 0x4B4E3B6C,
0x5F76F02F, 0xB3D487FB, 0x4A4BA9B1, 0xD9D915ED, 0xF8F4344, 0x7B79C699, 0xCD5AE3C6},
{0xA1AD5A61, 0x292FE86D, 0xECFBFE7F, 0x343DFA91, 0x42452492, 0x7DEE468C, 0x19E51039, 0xF958E2B8, 0x9E7CF21,
0x2B0D691, 0x67F18142, 0xC494B86E, 0x70DB6958, 0xCB38EE56, 0xC83D7B21, 0x55A291F3},
{0x15BA564E, 0x7BD4A448, 0xF7B4E1B, 0x5C77A271, 0x4CA725D8, 0xC28A0449, 0x90A8C2AE, 0x9EA6AF14, 0xB0B126C7,
0x35FCB2E5, 0x1FCFF898, 0x48756E4B, 0x70944F88, 0x196A6C81, 0x27C0CBA3, 0x910677D7},
{0x57AA9DC2, 0x862B5209, 0x378C0372, 0x5534B48E, 0x2308B3BC, 0xB7929150, 0x8465AFA1, 0x72B3DE3E, 0xB78C0284,
0x5E96B386, 0x90BE84F6, 0x168702A2, 0x405210DB, 0x1856A86, 0xB071978F, 0x28AF9151},
{0xCB1F9740, 0x214AC372, 0x7136F6B, 0x8594D473, 0x6281C937, 0x8DF90270, 0x4E6BD06F, 0xC694BB9, 0xBC886F99,
0xF26C6480, 0x89BB7377, 0xCB02FAE2, 0x6BA3B09D, 0x82684C53, 0xCCD9E670, 0x57C479A4},
{0xE0C69D8A, 0x515A3640, 0xDEC9053A, 0xB82C94B7, 0xCF54CDB6, 0x37CDA730, 0x1CA47624, 0xC51DE9B7, 0x515078C0,
0x4592D88D, 0x82EAF1DC, 0x422C8D0B, 0xA4D64900, 0x4C3BB3C2, 0xCB089633, 0xC6ED69FD},
{0x9F4E3214, 0x16AEF9DB, 0xC0F85AD7, 0xDC690B11, 0xBE4DCF7F, 0xAD52B08A, 0x7993006D, 0x3971A176, 0xCADD9CB7,
0x736E0E11, 0xEF91D63E, 0xBBCD834D, 0x81187DAD, 0xAD206A53, 0xEA6E483, 0x3C668641},
{0xC5745915, 0x610DE690, 0x4582566B, 0x8F23732D, 0xC92DC78E, 0x6B42B6E2, 0x2F78ABE8, 0x4C644972, 0x9BC8436F,
0xAFD2A41B, 0xAFF93670, 0x26FD32AB, 0xBD8EC817, 0xDE48586A, 0x1F1B39FC, 0x37FBD9AB},
{0xED9DE21A, 0x13B08EF5, 0x299DA33C, 0x354E35CB, 0x290B88B4, 0xCC26BF6C, 0x99E2E75B, 0x69999F22, 0x36BA15DA,
0x857A8A19, 0xC22A071D, 0x2D145C2E, 0x94DEB989, 0xFD443D02, 0xFC46982F, 0x8E4ADCF6},
{0x4AC37A75, 0x908A3F9D, 0xDCBA9760, 0x67042E7, 0x4503EFE0, 0x2FAACC86, 0xAF616B08, 0xC7A9AF75, 0xA003E20B,
0x3557B092, 0x696DBC34, 0x11B5D91B, 0x6CBA14B, 0x7DABB35C, 0xF602D721, 0xA006B90E},
{0xB992B7DC, 0xB6EBBF20, 0xD2D598FF, 0xE5C0ABB7, 0x989AF848, 0x46723C73, 0x52EB7F38, 0x97737640, 0x32C2CF64,
0xF3FA95C2, 0xAE5BDECA, 0xF1995F10, 0x9A32EC86, 0xD05FCD85, 0xAA8D724C, 0xA8D07E9},
{0xC8AAFACB, 0x18FE312F, 0x5333CFD7, 0x17CB4AC9, 0xD797574D, 0x93E7D390, 0x32908F7D, 0x81C8E617, 0x39CCA3B8,
0xEE66A181, 0xEDB5FB00, 0x21EF14E4, 0xD7EF08B6, 0x9A55268F, 0x5C7E2318, 0x6A6C56C8},
{0x127EDFB5, 0xE69AE9D0, 0x3AD21A91, 0xDED86AB9, 0x9AB59607, 0x947BCA6F, 0xA21AEB10, 0x4DB1472, 0xE4572E5A,
0x2222E8FC, 0x575A354D, 0xDC689217, 0x4ABE115F, 0x8B182ECA, 0x3FCC9713, 0x430B4B00},
{0x71C96078, 0xE04125B4, 0x4748FFBA, 0xD39973A7, 0xBE505954, 0xE9121DFB, 0x82F0FF52, 0x8D131B9C, 0xD7FD8E01,
0x7EEE6569, 0xDCE48D4B, 0x1C934545, 0x3D49716B, 0xD7428AB0, 0x821F2F9D, 0x29A20E1E},
{0xAC7E6551, 0xC3C09889, 0x103B05D1, 0x6D82C15E, 0xCD4341BB, 0xEC8A6D34, 0x6B805277, 0x682A551E, 0x9300333A,
0xA9F19945, 0x63F5F97E, 0xE729B61F, 0x896B53E8, 0xE4ABAAAF, 0xD6408FF5, 0x4BC5293F},
{0x569FEF59, 0x6D9CE6BC, 0x4D98A46A, 0xB224CBC2, 0xEAA2A1ED, 0xB786D7E8, 0x10D42824, 0x337EC9FC, 0xEBC48225,
0xCF998718, 0x43A5D2E3, 0x345B970D, 0x7A8A552A, 0xF8C25693, 0xE9DDF6FA, 0xF133D933},
{0x36C96A8, 0x38543E94, 0xA9B97CDC, 0xAAB6DD9, 0xD9456182, 0xDC9F8ECD, 0xB448970B, 0xF2500DD, 0x9D4522A8,
0xA309EEC7, 0x37D39B67, 0x3D0B4B8E, 0x767FE0A0, 0xED46C21F, 0xE72524DC, 0x1E66E6C5},
{0x81B65CAF, 0xC90B686F, 0xDFB09248, 0xB2DDE597, 0x6D728920, 0xEA040E2F, 0x725CE8D, 0x1AD4BC2, 0xC1F6FC17,
0xD0475F92, 0x91F994FA, 0x7300B312, 0x5D7D8B67, 0x15B1C7B1, 0xF94ACC1D, 0x476EE0E4},
{0x8A5AF9FC, 0xD98CA93E, 0x89E79091, 0xBEB2D457, 0xF69EBC9F, 0x26162905, 0x92A6C059, 0x6332AE42, 0x408D0C76,
0xE30A5E80, 0xE17C2BCC, 0x9813D80A, 0x5418BA45, 0x9E777E02, 0x9EB59C1E, 0x1D531665},
{0x57FC853, 0x8765FA48, 0xF494F4DE, 0xC4621D17, 0xCAE6C26B, 0x6BB7A5F3, 0xFA8465DC, 0x60CE0A2F, 0x511F5A2B,
0x461F4375, 0x617A83F8, 0x2A2D149A, 0x6F002721, 0x886310F2, 0x13F15EB4, 0x4EB82E22},
{0xEB8582F2, 0x3D1ADB64, 0x5A549BB7, 0xE573002, 0x45D5FAB9, 0x88018B93, 0xDF281CB5, 0x6F226229, 0xCAD731A7,
0x1E2B7F4D, 0xA5FE4841, 0xE0DBF8A2, 0xA847CD44, 0xFB4DBE3, 0xD7DAE5D6, 0xCBB326E3},
{0x268DC287, 0xB6881C54, 0x4407179A, 0x94D31BB9, 0x8229EAF0, 0xA68EC6A4, 0x5D991D13, 0x332017F2, 0x80EB419,
0xB3C25801, 0xFB770868, 0x25787008, 0x8A41E487, 0x19A15821, 0xC813F830, 0xBC0D516F},
{0x3DD783A0, 0xDC3F076A, 0xE9011AD7, 0x4CC178A8, 0x269179A3, 0x75A2CFD1, 0xD324C956, 0x2AAD8066, 0xAD5349B7,
0xAB00E24A, 0xDCD9BB18, 0xB9C52A91, 0x8DE47ECE, 0x8ACF35FC, 0xDF66BD7B, 0xBB54AA9},
{0x98BBFBF0, 0x70DE4706, 0xC3ED33D5, 0x5C5C03A2, 0xA7B76DF1, 0x698CAABE, 0x47A932FD, 0x96EC134A, 0xB93A5113,
0x49CE4EAC, 0x1E557F95, 0x84A7F1CB, 0x32366079, 0x227F9259, 0x8B2F9B38, 0x1209BF82},
{0x8F7F2AF9, 0x48DFE1FE, 0xC40741C2, 0xAA0DF4EE, 0xC20F1D2D, 0x902AC9F7, 0xFBECDBDF, 0x3E4D91B9, 0x661D53D1,
0x50382D7, 0xA8910B64, 0xCCE46222, 0x985097BC, 0x234D6265, 0x236B8DDC, 0x8C66278B},
{0xB0F225FA, 0x12FDB022, 0x16949A67, 0x71CD28C6, 0xD1B83FD7, 0x8EA59ED9, 0x4D9F8500, 0x8FD4FF95, 0xF9C91358,
0x27A1D586, 0x6F34D8C1, 0x846C8DDE, 0xEF0F2490, 0x5812D5BB, 0x20C2D3DD, 0xFCF7FA58},
{0xB06033B3, 0x4459A74F, 0x4915D4B, 0xF1A6BB92, 0x7AFAFC1D, 0x209B057F, 0xB13ADE0B, 0x875F5E00, 0x5AFF7DCC,
0x8AF7FBF0, 0x68F8CDC7, 0x61E12FE4, 0xF537D244, 0x3989EA43, 0x10601DEB, 0x3D805198},
{0x4CCC45EA, 0x12BB7A1, 0x41AA91EC, 0x63B19F26, 0x979784F7, 0xC893CC18, 0xED91FE7D, 0x9B932F79, 0x5B0207E8,
0x1CEE51EA, 0xB0470CA1, 0x2EE38D4D, 0x5858D8E8, 0x6B7145B0, 0x205E098A, 0x28A09DC3},
{0x5C22333, 0x873BB2E8, 0x8D5EC318, 0xE04D15E0, 0xC5C02DCA, 0x8058BF20, 0x2F9CFB41, 0x8F70432D, 0x9827025E,
0xE44EFE02, 0xCE5BAF1A, 0xDE02C776, 0x35A66550, 0x745EC7A9, 0x604B07FA, 0x629874F4},
{0x2E1352E1, 0x1D28FE9B, 0xCD61412F, 0x1291DE31, 0x1C415C3E, 0x5B36B7D1, 0x7D7C4975, 0xFA27357B, 0x6B87E777,
0x483F91D1, 0xE3744069, 0x24F3F830, 0xFD6CA7FD, 0xD0D43B2D, 0x70947985, 0xE7CC8C08},
{0xC5D596C2, 0x34BC6686, 0x5413CB10, 0x5F75351, 0xB8EF5C1A, 0x315E6015, 0x995AF8B7, 0x4C03090F, 0x7DFD3810,
0x917B8FA1, 0xCD5AFA7F, 0x294580F, 0xED676146, 0x4FEA7AA, 0x25255129, 0x81EC35C6},
{0x1182013B, 0x35551D07, 0x38B2FA69, 0xFF85B123, 0x82CFF9F, 0x56CBB727, 0x597A643B, 0xDD934F0F, 0x42FCDF0F,
0xEAFBE2B7, 0x608F9EDA, 0xA0691AD0, 0x59010A93, 0x6CE4267C, 0x22CA6FB2, 0x4F0FA34A},
{0x48349BDA, 0x4F798DC7, 0x52BE0CDD, 0xEDDF522D, 0xD84A3680, 0x7F9026AB, 0x4EF822AF, 0x7060E59, 0xC331815B,
0xDA99713E, 0x513D0EE5, 0x67E7BE47, 0xA532E51, 0xCB7079E9, 0x4EDE568E, 0x5339C46D},
{0xEE13341A, 0x7D7AA060, 0xEE65D8B7, 0xF553CFCA, 0x62EE74A3, 0x27AB1180, 0x1DFE06F8, 0x477FB131, 0xD11503C,
0x477F6348, 0x98048FC1, 0xBE7EA514, 0xDFFE4986, 0x1F77E841, 0x47A9CE7A, 0xE240E57},
{0x6FFAED9, 0x5C6A5A23, 0x8C1B1797, 0x339D9706, 0x9CBBEA37, 0x183191B4, 0x7ABBBC41, 0x150C93B6, 0xE44A586,
0xB88771EE, 0xE857B22C, 0xC24A022, 0xDBDEEC56, 0x6ACEFADB, 0x31749C65, 0xABC770BD},
{0x258C4C71, 0x1A8ECECC, 0xF264F2F0, 0x7C996090, 0x8CF5564A, 0x76C27B4E, 0xAE56E6E2, 0x306C5C15, 0x5137F4CC,
0xED4242B0, 0x2CAC3839, 0x39F3BE46, 0x11F968EA, 0x3A838519, 0x70AE1529, 0xF0EEEAF5},
{0x9353655E, 0xEE7B451E, 0x612D106E, 0xEF1709BB, 0x2ED02EDB, 0x7619A879, 0xA30941DD, 0x2DF4DC7E, 0x28F098F2,
0xF50ED545, 0x5C989C46, 0xCF88A4C2, 0x56FF19E4, 0xF728BAC, 0xAE91CDFC, 0xF26686DE},
{0x91417E41, 0xA13658EF, 0x84826D4D, 0xF6CD3CA, 0xF785FB32, 0xD10A2571, 0xE341E3EC, 0x105A7CD5, 0xC0107EDE,
0xF0D153FC, 0xD6298228, 0x56245116, 0x9C53EF5, 0xD21D0BA3, 0xE9C7A462, 0xA5CAF3F},
{0xB8CAC3B, 0x4CF87D9A, 0xEE7B59CC, 0x228FF34, 0xDFD3ECE7, 0x1A2CE51, 0x8A014232, 0x4F4F0889, 0xFF5B3914,
0xA5CD5C04, 0x1DBB84A1, 0xFE311475, 0xF3F6E011, 0x4BF87A82, 0x9A8499EE, 0xDEF582C6},
{0x7E55A388, 0xA1A97E09, 0x5061AC8A, 0xD0685FDC, 0x7609FDA, 0x1E4FDE44, 0xF1FABD62, 0xB01899AC, 0xCB4B1D42,
0xF5B0AD79, 0x817B149B, 0x65FB6BE7, 0x83C0429F, 0x467AC9AB, 0x9F90BF1F, 0x6B5AF4FB},
{0x9DB61DE9, 0xC6504A99, 0x490922A8, 0xCF3FD6E7, 0xB201E4A4, 0xCCFC5087, 0xE19ABFD5, 0x4A6FEF52, 0xD3FEE9B0,
0xCDB436C6, 0xA5565EDF, 0x89941038, 0xD396C89E, 0xEACB5946, 0xD36EB6F5, 0x27D5194D},
{0xDED4ABFE, 0x22BEDAE, 0xAA6D8DB5, 0xDBAA5B4, 0xE35A2F85, 0xD271E25B, 0x986357AF, 0x34CBB76A, 0xFF776A84,
0xF346226D, 0x7138F8CD, 0xCF24CD4, 0x9FBA3934, 0x7DD08A77, 0x96BED063, 0xB156694F},
{0xE34AB5A1, 0xB8E41239, 0x7A44DE09, 0x407EB33C, 0xF0D0AE5F, 0xFF9CA243, 0xA42DC764, 0x8582FB0F, 0x3D693D36,
0x9F6B0F3E, 0x890B583A, 0x86013730, 0xF51821BF, 0xF7ED4AFA, 0xD1D6E54B, 0xF82438EE},
{0x41AB2401, 0x31BD01F9, 0x43696F7F, 0x629EEB14, 0xFAC3238F, 0xD4B03926, 0x2B266C66, 0xC98F13E, 0x95B03B75,
0x544FC9D0, 0xE6D0FFFC, 0x61E682B6, 0xC7BF12E3, 0x9959ECD5, 0x88AD983, 0xF3590897},
{0xD8CAFD97, 0x260BB060, 0x6617FCF2, 0xA329AA38, 0xB6FF023F, 0xC06C1896, 0xD2F7EB59, 0x56F7F0E9, 0x2B34966D,
0x88B1B834, 0xE543765E, 0x87B897F8, 0xAA1F37A0, 0x3007FF46, 0x74BE791E, 0xC71C15E9},
{0x24DEB545, 0x48A6959A, 0x245C99D1, 0x19CD1BA0, 0x9B7DD701, 0x96951079, 0x7678F515, 0x7BF0EA0A, 0x8591666F,
0xE22AE719, 0x5D712238, 0x4EFB0B00, 0x3055CCFD, 0x84882543, 0xEEB812E7, 0xE1126CFE},
{0xA7CBA715, 0x8532CA11, 0xC275C0EC, 0x3B82E66B, 0x424F5E4C, 0x19736D5E, 0x3D59F757, 0xD4C7304B, 0x71C6EACF,
0x63780C3, 0x342C847A, 0xF9411641, 0xFBF6EF86, 0x77914703, 0xD45ACBA3, 0xBFA11500},
{0xDDFFBC26, 0xA771E000, 0xE5207523, 0xF5CB9BB4, 0xE35B71D1, 0xB6D5ED3A, 0x24E25277, 0xFFC4851B, 0x3AC9FF4C,
0x3586C9AB, 0xF8D3AE45, 0x6A48225D, 0x83C1696, 0xB3A581A4, 0x88A3C7E6, 0x2C2913F3},
{0x8E93B82E, 0x9D45B1, 0x614B18E0, 0xA4795179, 0x30808ECA, 0x999ADBD6, 0xC9386D3F, 0xE0A8C229, 0x74632071,
0x822467A7, 0x9F3AFF2B, 0x8C2252D0, 0xA797CFD, 0x4D0BC9B3, 0xD9048EEE, 0x376CF97F},
{0x661556BD, 0x452A00D9, 0xAEC11219, 0xC8DB2BFC, 0xC1C3A233, 0x49242FB1, 0x3D01BCB9, 0xF27E84A1, 0xCC186077,
0x91B36BB, 0xB9DD126D, 0x12C3DCA7, 0x2AE3615F, 0xD760AA5F, 0x2103222A, 0xA6FC73F3},
{0xD9BCF8A7, 0xE4A44A6A, 0x38730C20, 0x4F470E9A, 0x48AFD39A, 0x254E0A4A, 0xD143DD75, 0xF16811EF, 0x677C1693,
0x626086C4, 0x883E3B5, 0xCC1E1A15, 0xC8BFD246, 0x553F2FEC, 0xA9B4FEC7, 0xE64FA01B},
{0xE5EA35D0, 0xB1A15FFF, 0x49AB7823, 0x1CCBF936, 0x49856916, 0x16E74DBF, 0xC3D7A75C, 0x9697EB2C, 0x87F0BFDC,
0x3976225A, 0xB39666CC, 0x78E81F1B, 0x8A5631AE, 0xEB80BF05, 0x7EE4B8AB, 0x8DD601AB},
{0x71EF8C38, 0x8F5F34B2, 0xA0FC5FBD, 0xD8E05633, 0x387BADA, 0x3270290D, 0x1ACA0317, 0x6D5E645D, 0xB0C418EA,
0x6890ACCF, 0x86B2BCBD, 0x389C537B, 0x132DC8, 0x77A7A15B, 0x12E0838E, 0xBBF6AAD9},
{0x14341C, 0x4BFB4C70, 0x48CD9884, 0xD33C36DC, 0x1105EB82, 0xA00F7E11, 0x347EEB8F, 0x3910A877, 0x5721A990,
0x47E365CF, 0xFD092512, 0x3A9DE0AE, 0x548928F2, 0xCE9D5F8D, 0xB5B3016A, 0x1E556059},
{0xA595B114, 0x39A25CC6, 0xD34E62AD, 0x340A9861, 0xD0472D27, 0xD90900F1, 0x4B9A8A79, 0x9AE02AC2, 0x6AA0F77F,
0x27425EB0, 0xE8B7F763, 0xA31A1A61, 0x644B276A, 0xA44DF01B, 0x8F98FD1A, 0x46999EA7},
{0xC7FD12D2, 0xD27586EB, 0x169CB228, 0xF9EEF3DD, 0x720E707B, 0x9622E0F7, 0x1F4333ED, 0x8E39B161, 0xABE5AB8C,
0xE6594FA1, 0xD421ADA5, 0xA805D41, 0x2FAC127B, 0x4BB84D65, 0xF260D994, 0x9C5ADA59},
{0x3826D501, 0xAEEA694, 0x60DD5D82, 0xEA576B7B, 0xC6CA2C86, 0x79BEAB63, 0x7A77F86A, 0x2201A2B9, 0xD67EC21B,
0x968EAACB, 0xF5DCD146, 0x6B6BDD1B, 0x43276BB4, 0x3C250D76, 0x14680D72, 0x445EE3E6},
{0xDF935917, 0x2D1FE315, 0x718F550E, 0x3637D9AD, 0x5DC5FE89, 0x323FC92C, 0xBED8D95, 0xF2511F77, 0x30DD275C,
0x31726F47, 0x2CC614AE, 0xC96F00DC, 0xB892B75A, 0xD5492F, 0xA71FCC0, 0x3942D03C}};
#endif /* __TEST_ECDOUBLEMUL256_H */