-rw-r--r-- 1492 lib25519-20220726/crypto_sign/ed25519/amd64-51-30k/consts.c raw
#include "crypto_uint64.h"

const crypto_uint64 CRYPTO_NAMESPACE(batch_REDMASK51) = 0x0007FFFFFFFFFFFF;
const crypto_uint64 CRYPTO_NAMESPACE(batch_121666_213) = 996687872;
const crypto_uint64 CRYPTO_NAMESPACE(batch_2P0) = 0xFFFFFFFFFFFDA;
const crypto_uint64 CRYPTO_NAMESPACE(batch_2P1234) = 0xFFFFFFFFFFFFE;
const crypto_uint64 CRYPTO_NAMESPACE(batch_4P0) = 0x1FFFFFFFFFFFB4;
const crypto_uint64 CRYPTO_NAMESPACE(batch_4P1234) = 0x1FFFFFFFFFFFFC;
const crypto_uint64 CRYPTO_NAMESPACE(batch_MU0) = 0xED9CE5A30A2C131B;
const crypto_uint64 CRYPTO_NAMESPACE(batch_MU1) = 0x2106215D086329A7;
const crypto_uint64 CRYPTO_NAMESPACE(batch_MU2) = 0xFFFFFFFFFFFFFFEB;
const crypto_uint64 CRYPTO_NAMESPACE(batch_MU3) = 0xFFFFFFFFFFFFFFFF;
const crypto_uint64 CRYPTO_NAMESPACE(batch_MU4) = 0x000000000000000F;
const crypto_uint64 CRYPTO_NAMESPACE(batch_ORDER0) = 0x5812631A5CF5D3ED;
const crypto_uint64 CRYPTO_NAMESPACE(batch_ORDER1) = 0x14DEF9DEA2F79CD6;
const crypto_uint64 CRYPTO_NAMESPACE(batch_ORDER2) = 0x0000000000000000;
const crypto_uint64 CRYPTO_NAMESPACE(batch_ORDER3) = 0x1000000000000000;
const crypto_uint64 CRYPTO_NAMESPACE(batch_EC2D0) = 1859910466990425;
const crypto_uint64 CRYPTO_NAMESPACE(batch_EC2D1) = 932731440258426;
const crypto_uint64 CRYPTO_NAMESPACE(batch_EC2D2) = 1072319116312658;
const crypto_uint64 CRYPTO_NAMESPACE(batch_EC2D3) = 1815898335770999;
const crypto_uint64 CRYPTO_NAMESPACE(batch_EC2D4) = 633789495995903;
const crypto_uint64 CRYPTO_NAMESPACE(batch__38) = 38;