#ifndef __APPLE__
.section .rodata
#else
.const
#endif

.globl CRYPTO_NAMESPACE(batch_REDMASK51)
.globl CRYPTO_NAMESPACE(batch_121666_213)
.globl CRYPTO_NAMESPACE(batch_2P0)
.globl CRYPTO_NAMESPACE(batch_2P1234)
.globl CRYPTO_NAMESPACE(batch_4P0)
.globl CRYPTO_NAMESPACE(batch_4P1234)
.globl CRYPTO_NAMESPACE(batch_MU0)
.globl CRYPTO_NAMESPACE(batch_MU1)
.globl CRYPTO_NAMESPACE(batch_MU2)
.globl CRYPTO_NAMESPACE(batch_MU3)
.globl CRYPTO_NAMESPACE(batch_MU4)
.globl CRYPTO_NAMESPACE(batch_ORDER0)
.globl CRYPTO_NAMESPACE(batch_ORDER1)
.globl CRYPTO_NAMESPACE(batch_ORDER2)
.globl CRYPTO_NAMESPACE(batch_ORDER3)
.globl CRYPTO_NAMESPACE(batch_EC2D0)
.globl CRYPTO_NAMESPACE(batch_EC2D1)
.globl CRYPTO_NAMESPACE(batch_EC2D2)
.globl CRYPTO_NAMESPACE(batch_EC2D3)
.globl CRYPTO_NAMESPACE(batch_EC2D4)
.globl CRYPTO_NAMESPACE(batch__38)

.p2align 4

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