.data

.globl CONST_REDMASK51
.globl CONST_121666_213
.globl CONST_2P0
.globl CONST_2P1234
.globl CONST_4P0
.globl CONST_4P1234
.globl CONST_MU0
.globl CONST_MU1
.globl CONST_MU2
.globl CONST_MU3
.globl CONST_MU4
.globl CONST_ORDER0
.globl CONST_ORDER1
.globl CONST_ORDER2
.globl CONST_ORDER3
.globl CONST_EC2D0
.globl CONST_EC2D1
.globl CONST_EC2D2
.globl CONST_EC2D3
.globl CONST_EC2D4
.globl CONST__38

.globl _Fs00
.globl _51_1

.p2align 4

CONST_REDMASK51:   .quad 0x0007FFFFFFFFFFFF
CONST_121666_213: .quad 996687872
CONST_2P0:        .quad 0xFFFFFFFFFFFDA
CONST_2P1234:     .quad 0xFFFFFFFFFFFFE
CONST_4P0:        .quad 0x1FFFFFFFFFFFB4
CONST_4P1234:     .quad 0x1FFFFFFFFFFFFC
CONST_MU0:         .quad 0xED9CE5A30A2C131B
CONST_MU1:         .quad 0x2106215D086329A7
CONST_MU2:         .quad 0xFFFFFFFFFFFFFFEB
CONST_MU3:         .quad 0xFFFFFFFFFFFFFFFF
CONST_MU4:         .quad 0x000000000000000F
CONST_ORDER0:      .quad 0x5812631A5CF5D3ED
CONST_ORDER1:      .quad 0x14DEF9DEA2F79CD6
CONST_ORDER2:      .quad 0x0000000000000000
CONST_ORDER3:      .quad 0x1000000000000000
CONST_EC2D0:       .quad 1859910466990425
CONST_EC2D1:       .quad 932731440258426
CONST_EC2D2:       .quad 1072319116312658
CONST_EC2D3:       .quad 1815898335770999
CONST_EC2D4:       .quad 633789495995903
CONST__38:         .quad 38

_Fs00: .quad 0xFFFFFFFFFFFFFF00

_51_1: .quad 2251799813685247

