// linker define 121666
// linker define MU0
// linker define MU1
// linker define MU2
// linker define MU3
// linker define MU4
// linker define ORDER0
// linker define ORDER1
// linker define ORDER2
// linker define ORDER3
// linker define EC2D0
// linker define EC2D1
// linker define EC2D2
// linker define EC2D3
// linker define 38
// linker define mask63
// linker define twoexp8_p0
// linker define twoexp8_p123
// linker define twoexp8_p4

#include "crypto_uint64.h"

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(121666) = 121666;

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU0) = 0xED9CE5A30A2C131B;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU1) = 0x2106215D086329A7;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU2) = 0xFFFFFFFFFFFFFFEB;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU3) = 0xFFFFFFFFFFFFFFFF;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(MU4) = 0x000000000000000F;

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER0) = 0x5812631A5CF5D3ED;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER1) = 0x14DEF9DEA2F79CD6;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER2) = 0x0000000000000000;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(ORDER3) = 0x1000000000000000;

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D0) = 0xEBD69B9426B2F146;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D1) = 0x00E0149A8283B156;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D2) = 0x198E80F2EEF3D130;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D3) = 0xA406D9DC56DFFCE7;

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(38) = 38;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(mask63) = 0x7FFFFFFFFFFFFFFF;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(twoexp8_p0) = 0xFFFFFFFFFFFFED00;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(twoexp8_p123) = 0xFFFFFFFFFFFFFFFF;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(twoexp8_p4) = 0x000000000000007F;
