.data

.globl crypto_scalarmult_curve25519_amd64_51_REDMASK51
.globl crypto_scalarmult_curve25519_amd64_51_121666_213
.globl crypto_scalarmult_curve25519_amd64_51_2P0
.globl crypto_scalarmult_curve25519_amd64_51_2P1234
.globl crypto_scalarmult_curve25519_amd64_51_4P0
.globl crypto_scalarmult_curve25519_amd64_51_4P1234
.globl crypto_scalarmult_curve25519_amd64_51_MU0
.globl crypto_scalarmult_curve25519_amd64_51_MU1
.globl crypto_scalarmult_curve25519_amd64_51_MU2
.globl crypto_scalarmult_curve25519_amd64_51_MU3
.globl crypto_scalarmult_curve25519_amd64_51_MU4
.globl crypto_scalarmult_curve25519_amd64_51_ORDER0
.globl crypto_scalarmult_curve25519_amd64_51_ORDER1
.globl crypto_scalarmult_curve25519_amd64_51_ORDER2
.globl crypto_scalarmult_curve25519_amd64_51_ORDER3
.globl crypto_scalarmult_curve25519_amd64_51_EC2D0
.globl crypto_scalarmult_curve25519_amd64_51_EC2D1
.globl crypto_scalarmult_curve25519_amd64_51_EC2D2
.globl crypto_scalarmult_curve25519_amd64_51_EC2D3
.globl crypto_scalarmult_curve25519_amd64_51_EC2D4
.globl crypto_scalarmult_curve25519_amd64_51__38

.p2align 4

crypto_scalarmult_curve25519_amd64_51_REDMASK51:   .quad 0x0007FFFFFFFFFFFF
crypto_scalarmult_curve25519_amd64_51_121666_213: .quad 996687872
crypto_scalarmult_curve25519_amd64_51_2P0:        .quad 0xFFFFFFFFFFFDA
crypto_scalarmult_curve25519_amd64_51_2P1234:     .quad 0xFFFFFFFFFFFFE
crypto_scalarmult_curve25519_amd64_51_4P0:        .quad 0x1FFFFFFFFFFFB4
crypto_scalarmult_curve25519_amd64_51_4P1234:     .quad 0x1FFFFFFFFFFFFC
crypto_scalarmult_curve25519_amd64_51_MU0:         .quad 0xED9CE5A30A2C131B
crypto_scalarmult_curve25519_amd64_51_MU1:         .quad 0x2106215D086329A7
crypto_scalarmult_curve25519_amd64_51_MU2:         .quad 0xFFFFFFFFFFFFFFEB
crypto_scalarmult_curve25519_amd64_51_MU3:         .quad 0xFFFFFFFFFFFFFFFF
crypto_scalarmult_curve25519_amd64_51_MU4:         .quad 0x000000000000000F
crypto_scalarmult_curve25519_amd64_51_ORDER0:      .quad 0x5812631A5CF5D3ED
crypto_scalarmult_curve25519_amd64_51_ORDER1:      .quad 0x14DEF9DEA2F79CD6
crypto_scalarmult_curve25519_amd64_51_ORDER2:      .quad 0x0000000000000000
crypto_scalarmult_curve25519_amd64_51_ORDER3:      .quad 0x1000000000000000
crypto_scalarmult_curve25519_amd64_51_EC2D0:       .quad 1859910466990425
crypto_scalarmult_curve25519_amd64_51_EC2D1:       .quad 932731440258426
crypto_scalarmult_curve25519_amd64_51_EC2D2:       .quad 1072319116312658
crypto_scalarmult_curve25519_amd64_51_EC2D3:       .quad 1815898335770999
crypto_scalarmult_curve25519_amd64_51_EC2D4:       .quad 633789495995903
crypto_scalarmult_curve25519_amd64_51__38:         .quad 38