// linker define v0_0
// linker define v1_0
// linker define v2_1
// linker define v2_2
// linker define v9_0
// linker define v9_9
// linker define v19_19
// linker define v38_1
// linker define v38_19
// linker define v38_38
// linker define v121666_121666
// linker define m25
// linker define m26
// linker define subc0
// linker define subc2
// linker define REDMASK51

/*
   REDMASK51 is from amd64-51/consts.s.
*/

#include "consts_namespace.h"
#include "crypto_uint64.h"

const crypto_uint64 v0_0[] = { 0, 0 };
const crypto_uint64 v1_0[] = { 1, 0 };
const crypto_uint64 v2_1[] = { 2, 1 };
const crypto_uint64 v2_2[] = { 2, 2 };
const crypto_uint64 v9_0[] = { 9, 0 };
const crypto_uint64 v9_9[] = { 9, 9 };
const crypto_uint64 v19_19[] = { 19, 19 };
const crypto_uint64 v38_1[] = { 38, 1 };
const crypto_uint64 v38_19[] = { 38, 19 };
const crypto_uint64 v38_38[] = { 38, 38 };
const crypto_uint64 v121666_121666[] = { 121666, 121666 };
const crypto_uint64 m25[] = { 33554431, 33554431 };
const crypto_uint64 m26[] = { 67108863, 67108863 };

const crypto_uint64 subc0[] = { 0x07FFFFDA, 0x03FFFFFE };
const crypto_uint64 subc2[] = { 0x07FFFFFE, 0x03FFFFFE };

const crypto_uint64 REDMASK51[] = { 0x0007FFFFFFFFFFFF };
