// linker define REDMASK51
// linker define 121666_213
// linker define 2P0
// linker define 2P1234
// linker define 4P0
// linker define 4P1234
// 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 EC2D4
// linker define _38

#include "crypto_uint64.h"

const crypto_uint64 CRYPTO_SHARED_NAMESPACE(REDMASK51) = 0x0007FFFFFFFFFFFF;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(121666_213) = 996687872;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(2P0) = 0xFFFFFFFFFFFDA;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(2P1234) = 0xFFFFFFFFFFFFE;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(4P0) = 0x1FFFFFFFFFFFB4;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(4P1234) = 0x1FFFFFFFFFFFFC;
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) = 1859910466990425;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D1) = 932731440258426;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D2) = 1072319116312658;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D3) = 1815898335770999;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(EC2D4) = 633789495995903;
const crypto_uint64 CRYPTO_SHARED_NAMESPACE(_38) = 38;
