-rw-r--r-- 1366 lib25519-20220726/crypto_dh/x25519/amd64-51/consts.c raw
#include "crypto_uint64.h"

const crypto_uint64 CRYPTO_NAMESPACE(REDMASK51) = 0x0007FFFFFFFFFFFF;
const crypto_uint64 CRYPTO_NAMESPACE(121666_213) = 996687872;
const crypto_uint64 CRYPTO_NAMESPACE(2P0) = 0xFFFFFFFFFFFDA;
const crypto_uint64 CRYPTO_NAMESPACE(2P1234) = 0xFFFFFFFFFFFFE;
const crypto_uint64 CRYPTO_NAMESPACE(4P0) = 0x1FFFFFFFFFFFB4;
const crypto_uint64 CRYPTO_NAMESPACE(4P1234) = 0x1FFFFFFFFFFFFC;
const crypto_uint64 CRYPTO_NAMESPACE(MU0) = 0xED9CE5A30A2C131B;
const crypto_uint64 CRYPTO_NAMESPACE(MU1) = 0x2106215D086329A7;
const crypto_uint64 CRYPTO_NAMESPACE(MU2) = 0xFFFFFFFFFFFFFFEB;
const crypto_uint64 CRYPTO_NAMESPACE(MU3) = 0xFFFFFFFFFFFFFFFF;
const crypto_uint64 CRYPTO_NAMESPACE(MU4) = 0x000000000000000F;
const crypto_uint64 CRYPTO_NAMESPACE(ORDER0) = 0x5812631A5CF5D3ED;
const crypto_uint64 CRYPTO_NAMESPACE(ORDER1) = 0x14DEF9DEA2F79CD6;
const crypto_uint64 CRYPTO_NAMESPACE(ORDER2) = 0x0000000000000000;
const crypto_uint64 CRYPTO_NAMESPACE(ORDER3) = 0x1000000000000000;
const crypto_uint64 CRYPTO_NAMESPACE(EC2D0) = 1859910466990425;
const crypto_uint64 CRYPTO_NAMESPACE(EC2D1) = 932731440258426;
const crypto_uint64 CRYPTO_NAMESPACE(EC2D2) = 1072319116312658;
const crypto_uint64 CRYPTO_NAMESPACE(EC2D3) = 1815898335770999;
const crypto_uint64 CRYPTO_NAMESPACE(EC2D4) = 633789495995903;
const crypto_uint64 CRYPTO_NAMESPACE(_38) = 38;