// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/oceankeyakv2/generic64lc/KeccakP-1600-opt64.c
// Function: KeccakF1600_FastLoop_Absorb
size_t KeccakF1600_FastLoop_Absorb(void *state, unsigned int laneCount, const unsigned char *data, size_t dataByteLen)
{
    size_t originalDataByteLen = dataByteLen;
    declareABCDE
    #ifndef KeccakP1600_fullUnrolling
    unsigned int i;
    #endif
    UINT64 *stateAsLanes = (UINT64*)state;
    UINT64 *inDataAsLanes = (UINT64*)data;

    copyFromState(A, stateAsLanes)
    while(dataByteLen >= laneCount*8) {
        addInput(A, inDataAsLanes, laneCount)
        rounds24
        inDataAsLanes += laneCount;
        dataByteLen -= laneCount*8;
    }
    copyToState(stateAsLanes, A)
    return originalDataByteLen - dataByteLen;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb0, %rsp
movq %rcx, 0x90(%rsp)
vmovdqu (%rdi), %ymm2
movq 0x20(%rdi), %rax
movq %rax, -0x50(%rsp)
movq 0x28(%rdi), %rax
movq %rax, (%rsp)
movq 0x30(%rdi), %rax
movq %rax, -0x10(%rsp)
movq 0x38(%rdi), %rax
movq %rax, 0x8(%rsp)
movq 0x40(%rdi), %rax
movq %rax, -0x40(%rsp)
movq 0x48(%rdi), %rax
movq %rax, -0x30(%rsp)
movq 0x50(%rdi), %rax
movq %rax, -0x20(%rsp)
movl %esi, %eax
vpbroadcastq 0x13a18(%rip), %xmm0 # 0x21010
shlq $0x3, %rax
movq %rax, 0x80(%rsp)
movq 0x58(%rdi), %r10
movq 0x60(%rdi), %rax
movq %rax, -0x48(%rsp)
movq 0x68(%rdi), %rax
movq %rax, 0x10(%rsp)
movq 0x70(%rdi), %r13
movq 0x78(%rdi), %r11
movq 0x80(%rdi), %rax
movq %rax, -0x78(%rsp)
movq 0x88(%rdi), %r8
movq 0x90(%rdi), %r9
movq 0x98(%rdi), %rax
movq %rax, -0x70(%rsp)
movq 0xa0(%rdi), %rax
movq %rax, -0x8(%rsp)
movq 0xa8(%rdi), %rax
movq %rax, -0x58(%rsp)
movq 0xb0(%rdi), %rax
movq %rax, -0x60(%rsp)
movq 0xb8(%rdi), %rbx
movq %rdi, 0x70(%rsp)
movq 0xc0(%rdi), %rax
movq %rax, -0x18(%rsp)
leal (,%rsi,8), %edi
xorl %eax, %eax
movq %rsi, 0x88(%rsp)
movq %rdi, 0x78(%rsp)
movq 0x90(%rsp), %rcx
addq %rax, %rcx
cmpq %rdi, %rcx
jb 0x12a3d
movq %rbx, -0x28(%rsp)
cmpl $0x15, %esi
movq (%rsp), %r14
movq %r10, %rdi
movq -0x20(%rsp), %r10
movq %rax, 0xa8(%rsp)
movq %rdx, 0xa0(%rsp)
jne 0xd793
vpxor (%rdx), %ymm2, %ymm1
movq -0x50(%rsp), %rax
xorq 0x20(%rdx), %rax
movq %rax, -0x50(%rsp)
xorq 0x28(%rdx), %r14
movq -0x10(%rsp), %rcx
xorq 0x30(%rdx), %rcx
movq 0x8(%rsp), %rax
xorq 0x38(%rdx), %rax
movq %rax, 0x8(%rsp)
movq -0x40(%rsp), %rax
xorq 0x40(%rdx), %rax
movq %rax, -0x40(%rsp)
movq -0x30(%rsp), %rax
xorq 0x48(%rdx), %rax
movq %rax, -0x30(%rsp)
xorq 0x50(%rdx), %r10
xorq 0x58(%rdx), %rdi
movq -0x48(%rsp), %r15
xorq 0x60(%rdx), %r15
movq 0x10(%rsp), %rsi
xorq 0x68(%rdx), %rsi
movq %rsi, 0x10(%rsp)
xorq 0x70(%rdx), %r13
movq %r13, -0x38(%rsp)
xorq 0x78(%rdx), %r11
movq -0x78(%rsp), %rsi
xorq 0x80(%rdx), %rsi
xorq 0x88(%rdx), %r8
xorq 0x90(%rdx), %r9
movq %r9, %rbp
movq %r8, %r9
movq -0x70(%rsp), %rax
movq %rcx, %r13
xorq 0x98(%rdx), %rax
movq -0x8(%rsp), %rbx
xorq 0xa0(%rdx), %rbx
movq %r11, %rdx
movq %r15, %r11
jmp 0xdbc2
movq %r13, %rbp
movq %r9, -0x68(%rsp)
movq %r8, -0x80(%rsp)
movq %r14, %r15
cmpl $0xf, %esi
movq -0x30(%rsp), %r9
movq 0x10(%rsp), %r12
movq -0x48(%rsp), %r8
ja 0xd80b
movq %r9, -0x30(%rsp)
cmpl $0x7, %esi
movq -0x8(%rsp), %rbx
movq -0x10(%rsp), %r13
movq %rbp, -0x38(%rsp)
ja 0xd8b0
cmpl $0x3, %esi
movq %r12, 0x10(%rsp)
ja 0xd9af
cmpl $0x1, %esi
ja 0xda7b
testl %esi, %esi
je 0x12a34
vmovq %xmm2, %rcx
xorq (%rdx), %rcx
vmovq %rcx, %xmm1
vpblendd $0x3, %ymm1, %ymm2, %ymm1 # ymm1 = ymm1[0,1],ymm2[2,3,4,5,6,7]
jmp 0xd9a2
movq -0x50(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x50(%rsp)
xorq 0x28(%rdx), %r15
movq -0x10(%rsp), %r13
xorq 0x30(%rdx), %r13
movq 0x8(%rsp), %rcx
xorq 0x38(%rdx), %rcx
movq %rcx, 0x8(%rsp)
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
xorq 0x48(%rdx), %r9
movq %r9, -0x30(%rsp)
xorq 0x50(%rdx), %r10
xorq 0x58(%rdx), %rdi
xorq 0x60(%rdx), %r8
xorq 0x68(%rdx), %r12
xorq 0x70(%rdx), %rbp
xorq 0x78(%rdx), %r11
vpxor (%rdx), %ymm2, %ymm1
cmpl $0x17, %esi
movq -0x8(%rsp), %rbx
movq %rbp, -0x38(%rsp)
movq %r12, 0x10(%rsp)
ja 0xd90e
cmpl $0x13, %esi
movq -0x70(%rsp), %r9
ja 0xd9d1
cmpl $0x11, %esi
ja 0xdaae
cmpl $0x10, %esi
je 0xd9a2
movq -0x78(%rsp), %rsi
xorq 0x80(%rdx), %rsi
jmp 0xd9a7
movq -0x50(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x50(%rsp)
xorq 0x28(%rdx), %r15
xorq 0x30(%rdx), %r13
movq 0x8(%rsp), %rcx
xorq 0x38(%rdx), %rcx
movq %rcx, 0x8(%rsp)
vpxor (%rdx), %ymm2, %ymm1
cmpl $0xb, %esi
ja 0xda34
cmpl $0x9, %esi
movq %r12, 0x10(%rsp)
movq %r15, %r14
ja 0xdaf1
cmpl $0x8, %esi
je 0xdba8
movq -0x40(%rsp), %rax
xorq 0x40(%rdx), %rax
movq %rax, -0x40(%rsp)
jmp 0xdba8
movq -0x78(%rsp), %rax
xorq 0x80(%rdx), %rax
movq %rax, -0x78(%rsp)
movq -0x80(%rsp), %rax
xorq 0x88(%rdx), %rax
movq %rax, -0x80(%rsp)
movq -0x68(%rsp), %rax
xorq 0x90(%rdx), %rax
movq %rax, -0x68(%rsp)
movq -0x70(%rsp), %rax
xorq 0x98(%rdx), %rax
movq %rax, -0x70(%rsp)
xorq 0xa0(%rdx), %rbx
movq -0x58(%rsp), %rax
xorq 0xa8(%rdx), %rax
movq %rax, -0x58(%rsp)
movq -0x60(%rsp), %rax
xorq 0xb0(%rdx), %rax
movq %rax, -0x60(%rsp)
movq -0x28(%rsp), %rax
xorq 0xb8(%rdx), %rax
movq %rax, -0x28(%rsp)
cmpl $0x18, %esi
je 0xd9a2
movq -0x18(%rsp), %rax
xorq 0xc0(%rdx), %rax
movq %rax, -0x18(%rsp)
movq -0x78(%rsp), %rsi
movq %r15, %r14
jmp 0xdbad
vpxor (%rdx), %ymm2, %ymm1
cmpl $0x5, %esi
ja 0xdb1f
cmpl $0x4, %esi
je 0xd9a2
movq -0x50(%rsp), %rax
xorq 0x20(%rdx), %rax
movq %rax, -0x50(%rsp)
jmp 0xd9a2
movq -0x78(%rsp), %rcx
xorq 0x80(%rdx), %rcx
movq %rcx, -0x78(%rsp)
movq -0x80(%rsp), %rcx
xorq 0x88(%rdx), %rcx
movq %rcx, -0x80(%rsp)
movq -0x68(%rsp), %rcx
xorq 0x90(%rdx), %rcx
movq %rcx, -0x68(%rsp)
xorq 0x98(%rdx), %r9
cmpl $0x16, %esi
jae 0xdb3f
movq -0x78(%rsp), %rsi
movq %r15, %r14
movq %r11, %rdx
movq %r9, %rax
movq -0x80(%rsp), %r9
movq -0x68(%rsp), %rbp
movq %r8, %r11
jmp 0xdbc2
movq %r15, %r14
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
movq -0x30(%rsp), %rcx
xorq 0x48(%rdx), %rcx
movq %rcx, -0x30(%rsp)
xorq 0x50(%rdx), %r10
xorq 0x58(%rdx), %rdi
cmpl $0xd, %esi
ja 0xdb8d
cmpl $0xc, %esi
movq %r12, 0x10(%rsp)
je 0xdba8
xorq 0x60(%rdx), %r8
jmp 0xdba8
vpxor (%rdx), %xmm2, %xmm1
vpblendd $0xf, %ymm1, %ymm2, %ymm1 # ymm1 = ymm1[0,1,2,3],ymm2[4,5,6,7]
cmpl $0x3, %esi
jne 0xd9a2
vextracti128 $0x1, %ymm2, %xmm2
vmovq %xmm2, %rcx
xorq 0x10(%rdx), %rcx
vpbroadcastq %rcx, %ymm2
vpblendd $0x30, %ymm2, %ymm1, %ymm1 # ymm1 = ymm1[0,1,2,3],ymm2[4,5],ymm1[6,7]
jmp 0xd9a2
movq %r13, %rcx
movq -0x78(%rsp), %r9
xorq 0x80(%rdx), %r9
movq -0x80(%rsp), %rax
xorq 0x88(%rdx), %rax
movq %rax, -0x80(%rsp)
cmpl $0x13, %esi
jne 0x12a11
movq -0x68(%rsp), %rax
xorq 0x90(%rdx), %rax
movq %rax, %rbp
movq %r15, %r14
movq %r11, %rdx
jmp 0x12a1c
movq -0x40(%rsp), %rax
xorq 0x40(%rdx), %rax
movq %rax, -0x40(%rsp)
movq -0x30(%rsp), %rax
xorq 0x48(%rdx), %rax
movq %rax, -0x30(%rsp)
cmpl $0xb, %esi
jne 0xdba8
xorq 0x50(%rdx), %r10
jmp 0xdba8
movq %r15, %r14
movq -0x50(%rsp), %rax
xorq 0x20(%rdx), %rax
movq %rax, -0x50(%rsp)
xorq 0x28(%rdx), %r14
cmpl $0x7, %esi
jne 0xdba8
xorq 0x30(%rdx), %r13
jmp 0xdba8
movq %r9, %rcx
xorq 0xa0(%rdx), %rbx
movq -0x58(%rsp), %rax
xorq 0xa8(%rdx), %rax
movq %rax, -0x58(%rsp)
cmpl $0x17, %esi
jne 0xdb70
movq -0x60(%rsp), %rax
xorq 0xb0(%rdx), %rax
movq %rax, -0x60(%rsp)
movq -0x78(%rsp), %rsi
movq %r15, %r14
movq -0x80(%rsp), %r9
movq %r11, %rdx
movq -0x68(%rsp), %rbp
movq %r8, %r11
movq %rcx, %rax
jmp 0xdbc2
xorq 0x60(%rdx), %r8
xorq 0x68(%rdx), %r12
cmpl $0xf, %esi
movq %r12, 0x10(%rsp)
jne 0xdba8
xorq 0x70(%rdx), %rbp
movq %rbp, -0x38(%rsp)
movq -0x78(%rsp), %rsi
movq -0x80(%rsp), %r9
movq %r11, %rdx
movq -0x68(%rsp), %rbp
movq %r8, %r11
movq -0x70(%rsp), %rax
movq %rsi, -0x78(%rsp)
movq %rbx, -0x8(%rsp)
movq %rax, -0x70(%rsp)
movq %r14, (%rsp)
movq %r9, -0x80(%rsp)
movq %rdi, 0x30(%rsp)
movq %rdx, 0x18(%rsp)
xorq %rbx, %rdx
movq %r10, -0x20(%rsp)
movq %r10, %rcx
xorq %r14, %rcx
xorq %rdx, %rcx
movq %rsi, %rdx
xorq -0x58(%rsp), %rdx
movq %rdi, %rsi
xorq %r13, %rsi
xorq %rdx, %rsi
movq %r9, %rdx
xorq -0x60(%rsp), %rdx
movq %r11, %r14
xorq 0x8(%rsp), %r14
xorq %rdx, %r14
movq %rbp, %rdx
xorq -0x28(%rsp), %rdx
movq %rbp, %rbx
movq %r13, %r9
movq 0x10(%rsp), %rbp
xorq -0x40(%rsp), %rbp
xorq %rdx, %rbp
movq -0x18(%rsp), %rdi
xorq %rdi, %rax
movq -0x38(%rsp), %r8
xorq -0x30(%rsp), %r8
xorq %rax, %r8
vmovq %xmm1, %r15
xorq %r15, %rcx
vpextrq $0x1, %xmm1, %rax
movq %rax, 0x40(%rsp)
xorq %rax, %rsi
vextracti128 $0x1, %ymm1, %xmm1
vmovq %xmm1, %rax
movq %rax, 0x28(%rsp)
xorq %rax, %r14
vpextrq $0x1, %xmm1, %r10
xorq %r10, %rbp
xorq -0x50(%rsp), %r8
rorxq $0x3f, %rbp, %rdx
xorq %rsi, %rdx
rorxq $0x3f, %rsi, %rax
xorq %r8, %rax
rorxq $0x3f, %r8, %r8
xorq %r14, %r8
rorxq $0x3f, %r14, %rsi
xorq %rcx, %rsi
rorxq $0x3f, %rcx, %rcx
xorq %rbp, %rcx
xorq %rax, %r15
movq %rax, %rbp
xorq %rsi, %r9
rorxq $0x14, %r9, %r14
xorq %rdx, %r11
rorxq $0x15, %r11, %r13
xorq %r8, %rbx
rorxq $0x2b, %rbx, %r12
xorq %rcx, %rdi
rorxq $0x32, %rdi, %rax
movq %r14, %rdi
orq %r13, %rdi
xorq %r15, %rdi
movq %rdi, -0x18(%rsp)
movq %rax, %rdi
orq %r15, %rdi
andq %r14, %r15
xorq %rax, %r15
movq %r15, -0x10(%rsp)
andq %r12, %rax
xorq %r13, %rax
movq %rax, -0x48(%rsp)
notq %r13
orq %r12, %r13
xorq %r14, %r13
movq %r13, -0x68(%rsp)
xorq %r12, %rdi
movq %rdi, 0x48(%rsp)
xorq %r8, %r10
rorxq $0x24, %r10, %rax
movq -0x30(%rsp), %rdi
xorq %rcx, %rdi
rorxq $0x2c, %rdi, %r15
movq -0x20(%rsp), %rdi
xorq %rbp, %rdi
rorxq $0x3d, %rdi, %r14
movq -0x78(%rsp), %rdi
xorq %rsi, %rdi
rorxq $0x13, %rdi, %r10
movq -0x60(%rsp), %rdi
xorq %rdx, %rdi
rorxq $0x3, %rdi, %r11
movq %r15, %rdi
orq %r14, %rdi
xorq %rax, %rdi
movq %rdi, -0x20(%rsp)
movq %r11, %rdi
notq %rdi
orq %r10, %rdi
xorq %r14, %rdi
movq %rdi, -0x60(%rsp)
andq %r10, %r14
xorq %r15, %r14
movq %r14, 0x60(%rsp)
andq %rax, %r15
xorq %r11, %r15
movq %r15, 0x38(%rsp)
orq %rax, %r11
xorq %r10, %r11
movq %r11, -0x30(%rsp)
movq 0x8(%rsp), %rax
xorq %rdx, %rax
rorxq $0x3a, %rax, %rax
movq 0x10(%rsp), %rdi
xorq %r8, %rdi
rorxq $0x27, %rdi, %r10
movq -0x70(%rsp), %rdi
xorq %rcx, %rdi
rorxq $0x38, %rdi, %r11
movq -0x8(%rsp), %rdi
xorq %rbp, %rdi
rorxq $0x2e, %rdi, %rbx
movq %rax, %rdi
orq %r10, %rdi
movq %rdi, %r12
movq %r11, %rdi
andq %r10, %rdi
movq %rdi, %r15
andnq %rbx, %r11, %rdi
xorq %r10, %rdi
movq %rdi, -0x78(%rsp)
movq 0x40(%rsp), %rdi
xorq %rsi, %rdi
rorxq $0x3f, %rdi, %rdi
notq %r11
movq %rbx, %r10
orq %rdi, %r10
xorq %r11, %r10
movq %r10, 0x50(%rsp)
xorq %rdi, %r12
movq %r12, %r9
movq %r12, 0x8(%rsp)
xorq %rax, %r15
movq %r15, 0x40(%rsp)
andq %rax, %rdi
xorq %rbx, %rdi
movq %rdi, 0x10(%rsp)
movq -0x50(%rsp), %rax
xorq %rcx, %rax
rorxq $0x25, %rax, %r12
movq (%rsp), %rax
xorq %rbp, %rax
rorxq $0x1c, %rax, %r11
movq 0x30(%rsp), %rax
xorq %rsi, %rax
rorxq $0x36, %rax, %rax
movq -0x80(%rsp), %rdi
xorq %rdx, %rdi
rorxq $0x31, %rdi, %r10
movq %r11, %rdi
andq %rax, %rdi
xorq %r12, %rdi
movq %rdi, %rbx
movq %rdi, 0x30(%rsp)
movq %rax, %r15
orq %r10, %r15
xorq %r11, %r15
movq %r12, %rdi
orq %r11, %rdi
movq -0x28(%rsp), %r11
xorq %r8, %r11
rorxq $0x8, %r11, %r13
notq %r10
andq %r13, %r12
xorq %r13, %rdi
movq %rdi, -0x50(%rsp)
orq %r10, %r13
xorq %rax, %r13
movq %r13, 0x20(%rsp)
xorq %r10, %r12
xorq 0x28(%rsp), %rdx
xorq -0x40(%rsp), %r8
xorq -0x38(%rsp), %rcx
xorq 0x18(%rsp), %rbp
xorq -0x58(%rsp), %rsi
movq -0x18(%rsp), %rax
xorq $0x1, %rax
movq %rax, -0x18(%rsp)
rorxq $0x2, %rdx, %rdx
rorxq $0x9, %r8, %r10
rorxq $0x19, %rcx, %rdi
andnq %rdi, %r10, %r8
xorq %rdx, %r8
movq %r8, -0x28(%rsp)
movq %r9, %rcx
xorq %rbx, %rcx
xorq %rax, %rcx
movq -0x20(%rsp), %r11
xorq %r8, %r11
xorq %rcx, %r11
rorxq $0x17, %rbp, %r8
rorxq $0x3e, %rsi, %rsi
movq %rsi, %rbp
orq %rdx, %rbp
andq %r10, %rdx
notq %r10
movq %r8, %rbx
andq %rsi, %rbx
xorq %rdi, %rbx
movq %rdi, %rax
orq %r8, %rax
xorq %r10, %rax
movq %rax, 0x18(%rsp)
movq %r14, %r9
xorq %r15, %r9
xorq -0x68(%rsp), %r9
movq 0x40(%rsp), %rdi
xorq %rax, %rdi
xorq %r9, %rdi
movq -0x60(%rsp), %r9
xorq %r13, %r9
movq %rbx, %r10
xorq -0x48(%rsp), %r10
movq -0x78(%rsp), %r14
xorq %r14, %r10
xorq %r9, %r10
xorq %r8, %rbp
movq 0x50(%rsp), %r8
xorq -0x30(%rsp), %r8
movq %rbp, %r9
xorq 0x48(%rsp), %r9
xorq %r8, %r9
xorq %rsi, %rdx
movq -0x10(%rsp), %rsi
xorq %rdx, %rsi
movq 0x10(%rsp), %rax
xorq 0x38(%rsp), %rax
xorq %rsi, %rax
xorq %r12, %r9
xorq -0x50(%rsp), %rax
rorxq $0x3f, %r9, %rcx
xorq %rdi, %rcx
rorxq $0x3f, %rdi, %rsi
xorq %rax, %rsi
rorxq $0x3f, %rax, %r8
xorq %r10, %r8
rorxq $0x3f, %r10, %rax
xorq %r11, %rax
movq %rax, (%rsp)
rorxq $0x3f, %r11, %r13
xorq %r9, %r13
movq -0x18(%rsp), %rdi
xorq %rsi, %rdi
movq %rsi, %r10
movq 0x60(%rsp), %rsi
xorq %rax, %rsi
rorxq $0x14, %rsi, %rax
xorq %rcx, %r14
rorxq $0x15, %r14, %r9
xorq %r8, %r12
rorxq $0x2b, %r12, %r11
xorq %r13, %rdx
rorxq $0x32, %rdx, %rdx
movq %rax, %r12
orq %r9, %r12
movq %r11, %r14
andq %rdx, %r14
xorq %r9, %r14
movq %r14, -0x78(%rsp)
movq %r9, %r14
notq %r14
orq %r11, %r14
movq %rdx, %rsi
orq %rdi, %rsi
xorq %r11, %rsi
movq %rsi, -0x8(%rsp)
xorq %rdi, %r12
xorq %rax, %r14
movq %r14, -0x70(%rsp)
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x18(%rsp)
movq 0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x24, %rax, %rsi
movq 0x38(%rsp), %rax
xorq %r13, %rax
rorxq $0x2c, %rax, %rax
movq 0x8(%rsp), %rdx
movq %r10, 0x58(%rsp)
xorq %r10, %rdx
rorxq $0x3d, %rdx, %rdx
movq (%rsp), %rdi
xorq %rdi, %r15
rorxq $0x13, %r15, %r15
movq %rcx, %r14
xorq %rcx, %rbx
rorxq $0x3, %rbx, %rcx
movq %rax, %r9
orq %rdx, %r9
xorq %rsi, %r9
movq %r9, -0x40(%rsp)
movq %rcx, %r9
orq %rsi, %r9
andq %rax, %rsi
xorq %rcx, %rsi
movq %rsi, -0x58(%rsp)
notq %rcx
orq %r15, %rcx
xorq %r15, %r9
movq %r9, 0x8(%rsp)
andq %rdx, %r15
xorq %rax, %r15
xorq %rdx, %rcx
movq %rcx, -0x80(%rsp)
movq -0x68(%rsp), %rax
xorq %rdi, %rax
movq %rdi, %rbx
rorxq $0x3f, %rax, %r11
movq -0x60(%rsp), %rax
xorq %r14, %rax
rorxq $0x3a, %rax, %rax
movq 0x50(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x27, %rcx, %r9
movq -0x50(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x28(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %r9, %rsi
movq %rsi, %r10
andnq %rcx, %rdx, %rsi
xorq %r9, %rsi
movq %rsi, 0x28(%rsp)
andq %rdx, %r9
notq %rdx
movq %r11, %rdi
orq %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, -0x68(%rsp)
xorq %r11, %r10
movq %r10, -0x38(%rsp)
xorq %rax, %r9
movq %r9, -0x60(%rsp)
andq %rax, %r11
xorq %rcx, %r11
movq %r11, %r10
movq %r11, 0x48(%rsp)
movq -0x10(%rsp), %rax
xorq %r13, %rax
rorxq $0x25, %rax, %r9
movq 0x40(%rsp), %rax
xorq %rbx, %rax
rorxq $0x36, %rax, %rcx
movq 0x20(%rsp), %rax
xorq %r14, %rax
movq %r14, %rbx
rorxq $0x31, %rax, %rdx
xorq %r8, %rbp
rorxq $0x8, %rbp, %rbp
movq %rcx, %rax
orq %rdx, %rax
movq %rax, %r14
notq %rdx
movq %rbp, %rax
orq %rdx, %rax
movq %rbp, %rsi
andq %r9, %rsi
xorq %rdx, %rsi
movq -0x8(%rsp), %r11
xorq 0x8(%rsp), %r11
movq %rdi, %rdx
xorq %rsi, %rdx
xorq %r11, %rdx
movq -0x20(%rsp), %r11
movq 0x58(%rsp), %rdi
xorq %rdi, %r11
rorxq $0x1c, %r11, %r11
xorq %rcx, %rax
movq %rax, -0x28(%rsp)
andq %r11, %rcx
movq %r9, %rax
xorq %r9, %rcx
movq %rcx, %r9
movq %rcx, 0x50(%rsp)
xorq %r11, %r14
movq %r14, 0x40(%rsp)
orq %r11, %rax
xorq %rbp, %rax
movq %rax, %r11
movq %rax, -0x10(%rsp)
movq -0x18(%rsp), %rax
xorq -0x58(%rsp), %rax
movq %r10, %rcx
xorq %r11, %rcx
xorq %rax, %rcx
xorq -0x48(%rsp), %rbx
xorq -0x30(%rsp), %r8
xorq 0x10(%rsp), %r13
xorq 0x30(%rsp), %rdi
movq %rdi, %r10
movq (%rsp), %rbp
xorq 0x18(%rsp), %rbp
xorq $0x8082, %r12           # imm = 0x8082
movq %r12, -0x50(%rsp)
movq -0x40(%rsp), %r11
xorq -0x38(%rsp), %r11
xorq %r12, %r11
rorxq $0x2, %rbx, %rax
rorxq $0x9, %r8, %r8
rorxq $0x19, %r13, %rdi
andnq %rdi, %r8, %r12
xorq %rax, %r12
movq %r12, 0x38(%rsp)
movq %r9, %rbx
xorq %r12, %rbx
xorq %r11, %rbx
rorxq $0x17, %r10, %r9
rorxq $0x3e, %rbp, %r10
movq %r10, %r12
orq %rax, %r12
andq %r8, %rax
notq %r8
xorq %r10, %rax
andq %r9, %r10
xorq %rdi, %r10
movq %rdi, %r13
orq %r9, %r13
xorq %r8, %r13
movq %r13, -0x48(%rsp)
movq %r15, %rdi
xorq -0x60(%rsp), %rdi
xorq -0x70(%rsp), %rdi
movq %r14, %r11
xorq %r13, %r11
xorq %rdi, %r11
movq -0x78(%rsp), %rdi
movq 0x28(%rsp), %r14
xorq %r14, %rdi
xorq -0x80(%rsp), %rdi
movq -0x28(%rsp), %r13
xorq %r10, %r13
xorq %rdi, %r13
xorq %r9, %r12
xorq %r12, %rdx
xorq %rax, %rcx
rorxq $0x3f, %rdx, %r8
xorq %r11, %r8
rorxq $0x3f, %r11, %rbp
xorq %rcx, %rbp
rorxq $0x3f, %rcx, %rcx
xorq %r13, %rcx
rorxq $0x3f, %r13, %rdi
xorq %rbx, %rdi
rorxq $0x3f, %rbx, %rbx
xorq %rdx, %rbx
movq -0x50(%rsp), %r9
xorq %rbp, %r9
xorq %rdi, %r15
rorxq $0x14, %r15, %r11
xorq %r8, %r14
rorxq $0x15, %r14, %rdx
xorq %rcx, %rsi
rorxq $0x2b, %rsi, %r15
xorq %rbx, %rax
rorxq $0x32, %rax, %rax
movabsq $-0x7fffffffffffff80, %rsi # imm = 0x8000000000000080
movl $0x800a, %r13d          # imm = 0x800A
addq %rsi, %r13
movq %r9, %rsi
xorq %r9, %r13
movq %r13, %r9
movq %rdx, %r13
notq %r13
orq %r15, %r13
xorq %r11, %r13
movq %r13, (%rsp)
movq %rax, %r13
orq %rsi, %r13
andq %r11, %rsi
orq %rdx, %r11
xorq %r11, %r9
movq %r9, -0x30(%rsp)
xorq %r15, %r13
movq %r13, -0x20(%rsp)
andq %rax, %r15
xorq %rdx, %r15
movq %r15, 0x10(%rsp)
xorq %rax, %rsi
movq %rsi, -0x50(%rsp)
movq -0x8(%rsp), %rax
movq %rcx, %r14
movq %rcx, 0x60(%rsp)
xorq %rcx, %rax
rorxq $0x24, %rax, %r11
movq -0x58(%rsp), %rax
xorq %rbx, %rax
rorxq $0x2c, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x3d, %rcx, %r15
movq 0x40(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x13, %rcx, %rdx
xorq %r8, %r10
rorxq $0x3, %r10, %r9
movq %rax, %rsi
orq %r15, %rsi
movq %r11, %r10
xorq %r11, %rsi
movq %rsi, %r11
movq %rsi, 0x40(%rsp)
movq %r9, %rsi
orq %r10, %rsi
andq %rax, %r10
xorq %r9, %r10
movq %r10, -0x38(%rsp)
notq %r9
orq %rdx, %r9
xorq %r15, %r9
movq %r9, -0x58(%rsp)
andq %rdx, %r15
xorq %rax, %r15
xorq %rdx, %rsi
movq %rsi, -0x8(%rsp)
movq -0x70(%rsp), %rax
xorq %rdi, %rax
movq %rdi, 0x58(%rsp)
rorxq $0x3f, %rax, %rsi
movq -0x80(%rsp), %rax
xorq %r8, %rax
rorxq $0x3a, %rax, %rax
movq -0x68(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x27, %rdx, %r10
movq -0x10(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x38, %rcx, %r9
movq 0x38(%rsp), %rcx
xorq %rbp, %rcx
movq %rbp, %r13
movq %rbp, 0x20(%rsp)
rorxq $0x2e, %rcx, %rdx
movq %rax, %rcx
orq %r10, %rcx
andnq %rdx, %r9, %r14
xorq %r10, %r14
movq %r14, 0x28(%rsp)
andq %r9, %r10
notq %r9
movq %rdx, %rbp
orq %rsi, %rbp
xorq %r9, %rbp
movq %rbp, 0x30(%rsp)
movq %rcx, %r14
xorq %rsi, %r14
movq %r14, 0x38(%rsp)
xorq %rax, %r10
movq %r10, -0x80(%rsp)
andq %rax, %rsi
xorq %rdx, %rsi
movq %rsi, -0x70(%rsp)
movq -0x30(%rsp), %rdx
xorq %r11, %rdx
movq -0x18(%rsp), %rax
xorq %rbx, %rax
rorxq $0x25, %rax, %rcx
movq -0x40(%rsp), %rax
xorq %r13, %rax
rorxq $0x1c, %rax, %r9
movq -0x60(%rsp), %rax
xorq %rdi, %rax
rorxq $0x36, %rax, %rax
movq %r9, %rsi
andq %rax, %rsi
xorq %rcx, %rsi
movq %rsi, -0x68(%rsp)
movq %r14, %r11
xorq %rsi, %r11
xorq %rdx, %r11
movq -0x28(%rsp), %rdx
xorq %r8, %rdx
rorxq $0x31, %rdx, %r10
movq 0x60(%rsp), %rdi
xorq %rdi, %r12
rorxq $0x8, %r12, %r12
movq %rax, %rdx
orq %r10, %rdx
xorq %r9, %rdx
movq %rdx, %r14
movq %rdx, -0x60(%rsp)
movq %r12, %r13
andq %rcx, %r13
orq %r9, %rcx
notq %r10
xorq %r12, %rcx
movq %rcx, 0x18(%rsp)
orq %r10, %r12
xorq %rax, %r12
movq %r12, -0x10(%rsp)
xorq %r10, %r13
movq -0x20(%rsp), %r9
xorq -0x8(%rsp), %r9
movq %rbp, %rdx
xorq %r13, %rdx
xorq %r9, %rdx
movq -0x50(%rsp), %r9
xorq -0x38(%rsp), %r9
movq -0x70(%rsp), %rbp
xorq %rcx, %rbp
xorq %r9, %rbp
xorq -0x78(%rsp), %r8
movq %rdi, %rcx
xorq 0x8(%rsp), %rcx
xorq 0x48(%rsp), %rbx
movq 0x20(%rsp), %rax
xorq 0x50(%rsp), %rax
movq 0x58(%rsp), %rdi
xorq -0x48(%rsp), %rdi
rorxq $0x2, %r8, %r8
rorxq $0x9, %rcx, %rcx
rorxq $0x19, %rbx, %r10
rorxq $0x17, %rax, %r9
rorxq $0x3e, %rdi, %rdi
andnq %r10, %rcx, %rsi
xorq %r8, %rsi
movq %rsi, -0x48(%rsp)
movq %rdi, %r12
orq %r8, %r12
andq %rcx, %r8
movq %rcx, %rbx
notq %rbx
movq %r9, %rcx
andq %rdi, %rcx
xorq %r10, %rcx
movq %r10, %rax
orq %r9, %rax
xorq %rbx, %rax
movq %rax, 0x50(%rsp)
movq %r15, %r10
xorq -0x80(%rsp), %r10
xorq (%rsp), %r10
movq %r14, %rbx
xorq %rax, %rbx
xorq %r10, %rbx
movq 0x10(%rsp), %r10
movq 0x28(%rsp), %r14
xorq %r14, %r10
xorq -0x58(%rsp), %r10
movq -0x10(%rsp), %rax
xorq %rcx, %rax
xorq %r10, %rax
xorq %r9, %r12
xorq %rdi, %r8
xorq %rsi, %r11
xorq %r12, %rdx
xorq %r8, %rbp
rorxq $0x3f, %rdx, %rsi
xorq %rbx, %rsi
rorxq $0x3f, %rbx, %r10
xorq %rbp, %r10
rorxq $0x3f, %rbp, %rbp
xorq %rax, %rbp
rorxq $0x3f, %rax, %r9
xorq %r11, %r9
rorxq $0x3f, %r11, %rbx
xorq %rdx, %rbx
movq -0x30(%rsp), %rax
xorq %r10, %rax
xorq %r9, %r15
rorxq $0x14, %r15, %r11
movq %r14, %rdx
xorq %rsi, %rdx
movq %rsi, %r14
rorxq $0x15, %rdx, %rsi
xorq %rbp, %r13
rorxq $0x2b, %r13, %r15
xorq %rbx, %r8
rorxq $0x32, %r8, %r8
movabsq $-0x7fffffff7fff7f7f, %rdx # imm = 0x8000000080008081
leaq -0x81(%rdx), %r13
movq %rax, %rdx
xorq %rax, %r13
movq %r13, %rax
movq %rsi, %r13
notq %r13
orq %r15, %r13
xorq %r11, %r13
movq %r13, -0x40(%rsp)
movq %r8, %r13
orq %rdx, %r13
andq %r11, %rdx
orq %rsi, %r11
xorq %r11, %rax
movq %rax, -0x78(%rsp)
xorq %r15, %r13
movq %r13, 0x8(%rsp)
andq %r8, %r15
xorq %rsi, %r15
movq %r15, -0x18(%rsp)
xorq %r8, %rdx
movq %rdx, -0x30(%rsp)
movq -0x20(%rsp), %rax
xorq %rbp, %rax
rorxq $0x24, %rax, %rdi
movq -0x38(%rsp), %rax
xorq %rbx, %rax
rorxq $0x2c, %rax, %rax
movq 0x38(%rsp), %rdx
xorq %r10, %rdx
rorxq $0x3d, %rdx, %r8
movq -0x60(%rsp), %rdx
xorq %r9, %rdx
rorxq $0x13, %rdx, %rdx
movq %r14, %r15
movq %r14, 0x20(%rsp)
xorq %r14, %rcx
rorxq $0x3, %rcx, %rcx
movq %rax, %rsi
orq %r8, %rsi
xorq %rdi, %rsi
movq %rsi, %r14
movq %rsi, 0x38(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x28(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r8, %rcx
movq %rcx, -0x60(%rsp)
andq %rdx, %r8
xorq %rax, %r8
movq %r8, -0x38(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x20(%rsp)
movq (%rsp), %rax
xorq %r9, %rax
rorxq $0x3f, %rax, %r13
movq -0x58(%rsp), %rax
xorq %r15, %rax
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x18(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x48(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rdi
orq %rsi, %rdi
movq %rdi, %r15
andnq %rcx, %rdx, %rdi
xorq %rsi, %rdi
movq %rdi, 0x58(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %rdi
orq %r13, %rdi
xorq %rdx, %rdi
movq %rdi, -0x48(%rsp)
xorq %r13, %r15
movq %r15, 0x28(%rsp)
xorq %rax, %rsi
movq %rsi, -0x58(%rsp)
andq %rax, %r13
xorq %rcx, %r13
movq %r13, 0x30(%rsp)
movq -0x78(%rsp), %rdx
xorq %r14, %rdx
movq -0x50(%rsp), %rax
xorq %rbx, %rax
rorxq $0x25, %rax, %r8
movq 0x40(%rsp), %rax
xorq %r10, %rax
rorxq $0x1c, %rax, %rcx
movq -0x80(%rsp), %rax
xorq %r9, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r8, %rsi
movq %rsi, 0x48(%rsp)
movq %r15, %r14
xorq %rsi, %r14
xorq %rdx, %r14
movq -0x10(%rsp), %rdx
movq 0x20(%rsp), %rdi
xorq %rdi, %rdx
rorxq $0x31, %rdx, %rdx
xorq %rbp, %r12
rorxq $0x8, %r12, %r11
movq %rax, %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, (%rsp)
movq %r11, %r12
andq %r8, %r12
orq %rcx, %r8
notq %rdx
xorq %r11, %r8
movq %r8, 0x18(%rsp)
orq %rdx, %r11
xorq %rax, %r11
movq %r11, -0x10(%rsp)
xorq %rdx, %r12
movq 0x8(%rsp), %rax
xorq -0x20(%rsp), %rax
movq -0x48(%rsp), %rdx
xorq %r12, %rdx
xorq %rax, %rdx
movq -0x30(%rsp), %rax
xorq -0x28(%rsp), %rax
movq %r13, %r11
xorq %r8, %r11
xorq %rax, %r11
movq %rdi, %rax
xorq 0x10(%rsp), %rax
xorq -0x8(%rsp), %rbp
xorq -0x70(%rsp), %rbx
xorq -0x68(%rsp), %r10
xorq 0x50(%rsp), %r9
rorxq $0x2, %rax, %rax
rorxq $0x9, %rbp, %rcx
rorxq $0x19, %rbx, %rbx
rorxq $0x17, %r10, %rsi
rorxq $0x3e, %r9, %rdi
andnq %rbx, %rcx, %r8
xorq %rax, %r8
movq %r8, -0x70(%rsp)
movq %rdi, %r9
orq %rax, %r9
andq %rcx, %rax
movq %rcx, %r13
notq %r13
movq %rsi, %rbp
andq %rdi, %rbp
xorq %rbx, %rbp
movq %rbx, %r10
orq %rsi, %r10
xorq %r13, %r10
movq %r10, 0x40(%rsp)
movq -0x38(%rsp), %r15
movq %r15, %rbx
xorq -0x58(%rsp), %rbx
xorq -0x40(%rsp), %rbx
movq (%rsp), %r13
xorq %r10, %r13
xorq %rbx, %r13
movq -0x18(%rsp), %rbx
movq 0x58(%rsp), %r8
xorq %r8, %rbx
xorq -0x60(%rsp), %rbx
movq -0x10(%rsp), %r10
xorq %rbp, %r10
xorq %rbx, %r10
xorq %rsi, %r9
movq %r9, 0x20(%rsp)
xorq %rdi, %rax
xorq -0x70(%rsp), %r14
xorq %r9, %rdx
xorq %rax, %r11
rorxq $0x3f, %rdx, %rbx
xorq %r13, %rbx
rorxq $0x3f, %r13, %rcx
xorq %r11, %rcx
rorxq $0x3f, %r11, %r9
xorq %r10, %r9
rorxq $0x3f, %r10, %r13
xorq %r14, %r13
rorxq $0x3f, %r14, %r10
xorq %rdx, %r10
movq -0x78(%rsp), %rdx
xorq %rcx, %rdx
movq %rcx, %rdi
xorq %r13, %r15
rorxq $0x14, %r15, %rsi
xorq %rbx, %r8
rorxq $0x15, %r8, %r8
xorq %r9, %r12
rorxq $0x2b, %r12, %r11
xorq %r10, %rax
rorxq $0x32, %rax, %rcx
movq %rsi, %rax
orq %r8, %rax
movq %r11, %r14
andq %rcx, %r14
xorq %r8, %r14
movq %r14, 0x10(%rsp)
movq %r8, %r14
notq %r14
orq %r11, %r14
movq %rcx, %r12
orq %rdx, %r12
xorq %r11, %r12
movq %r12, -0x38(%rsp)
xorq %rdx, %rax
movq %rax, -0x50(%rsp)
xorq %rsi, %r14
movq %r14, -0x8(%rsp)
andq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x78(%rsp)
movq 0x8(%rsp), %rax
xorq %r9, %rax
rorxq $0x24, %rax, %r8
movq -0x28(%rsp), %rax
xorq %r10, %rax
rorxq $0x2c, %rax, %rax
movq 0x28(%rsp), %rdx
xorq %rdi, %rdx
rorxq $0x3d, %rdx, %r12
movq (%rsp), %rcx
xorq %r13, %rcx
rorxq $0x13, %rcx, %rdx
xorq %rbx, %rbp
rorxq $0x3, %rbp, %rcx
movq %rax, %rsi
orq %r12, %rsi
xorq %r8, %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, %rsi
orq %r8, %rsi
andq %rax, %r8
xorq %rcx, %r8
movq %r8, -0x68(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r12, %rcx
movq %rcx, -0x80(%rsp)
andq %rdx, %r12
xorq %rax, %r12
movq %r12, -0x28(%rsp)
xorq %rdx, %rsi
movq %rsi, (%rsp)
movq -0x40(%rsp), %rax
xorq %r13, %rax
rorxq $0x3f, %rax, %r8
movq -0x60(%rsp), %rax
xorq %rbx, %rax
rorxq $0x3a, %rax, %rax
movq -0x48(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x18(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x38, %rcx, %rdx
movq %rdi, %rbp
movq -0x70(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rdi
orq %rsi, %rdi
movq %rdi, %r11
andnq %rcx, %rdx, %rdi
xorq %rsi, %rdi
movq %rdi, -0x70(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r14
orq %r8, %r14
xorq %rdx, %r14
movq %r14, 0x28(%rsp)
xorq %r8, %r11
movq %r11, -0x40(%rsp)
xorq %rax, %rsi
movq %rsi, -0x60(%rsp)
andq %rax, %r8
xorq %rcx, %r8
movq %r8, %r15
movq %r8, 0x50(%rsp)
movq -0x30(%rsp), %rax
xorq %r10, %rax
rorxq $0x25, %rax, %r8
movq 0x38(%rsp), %rax
xorq %rbp, %rax
rorxq $0x1c, %rax, %rdx
movq -0x58(%rsp), %rax
xorq %r13, %rax
rorxq $0x36, %rax, %rax
movq -0x10(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x31, %rcx, %rcx
movq 0x20(%rsp), %rsi
xorq %r9, %rsi
rorxq $0x8, %rsi, %rsi
movq %rdx, %rdi
andq %rax, %rdi
xorq %r8, %rdi
movq %rdi, -0x48(%rsp)
movq %rax, %rdi
orq %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, -0x58(%rsp)
movq %rsi, %r11
andq %r8, %r11
orq %rdx, %r8
notq %rcx
xorq %rsi, %r8
movq %r8, 0x38(%rsp)
orq %rcx, %rsi
xorq %rax, %rsi
movq %rsi, -0x10(%rsp)
xorq %rcx, %r11
movq -0x38(%rsp), %rax
xorq (%rsp), %rax
movq %r14, %rsi
xorq %r11, %rsi
xorq %rax, %rsi
movq -0x78(%rsp), %rax
xorq -0x68(%rsp), %rax
movq %r15, %rdx
xorq %r8, %rdx
xorq %rax, %rdx
xorq -0x18(%rsp), %rbx
xorq -0x20(%rsp), %r9
xorq 0x30(%rsp), %r10
movq %rbp, %r8
xorq 0x48(%rsp), %r8
xorq 0x40(%rsp), %r13
movq -0x50(%rsp), %rax
xorq $0x808b, %rax           # imm = 0x808B
movq %rax, -0x50(%rsp)
movq 0x8(%rsp), %r15
xorq -0x40(%rsp), %r15
xorq %rax, %r15
rorxq $0x2, %rbx, %rcx
rorxq $0x9, %r9, %rdi
rorxq $0x19, %r10, %rbx
andnq %rbx, %rdi, %r9
xorq %rcx, %r9
movq %r9, -0x20(%rsp)
movq -0x48(%rsp), %rax
xorq %r9, %rax
xorq %r15, %rax
rorxq $0x17, %r8, %r10
rorxq $0x3e, %r13, %r9
movq %r9, %r8
orq %rcx, %r8
andq %rdi, %rcx
notq %rdi
movq %r10, %rbp
andq %r9, %rbp
xorq %rbx, %rbp
orq %r10, %rbx
xorq %rdi, %rbx
movq %rbx, 0x18(%rsp)
movq -0x28(%rsp), %r12
movq %r12, %rdi
xorq -0x60(%rsp), %rdi
xorq -0x8(%rsp), %rdi
movq -0x58(%rsp), %r15
xorq %rbx, %r15
xorq %rdi, %r15
movq 0x10(%rsp), %rdi
movq -0x70(%rsp), %r14
xorq %r14, %rdi
xorq -0x80(%rsp), %rdi
movq -0x10(%rsp), %r13
xorq %rbp, %r13
xorq %rdi, %r13
xorq %r10, %r8
movq %r8, 0x20(%rsp)
xorq %r9, %rcx
xorq %r8, %rsi
xorq %rcx, %rdx
rorxq $0x3f, %rsi, %rbx
xorq %r15, %rbx
rorxq $0x3f, %r15, %rdi
xorq %rdx, %rdi
movq %rdi, 0x48(%rsp)
rorxq $0x3f, %rdx, %r10
xorq %r13, %r10
rorxq $0x3f, %r13, %r8
xorq %rax, %r8
rorxq $0x3f, %rax, %r9
xorq %rsi, %r9
movq -0x50(%rsp), %rax
xorq %rdi, %rax
movq %r12, %rdx
xorq %r8, %rdx
movq %r8, %r12
rorxq $0x14, %rdx, %rsi
xorq %rbx, %r14
rorxq $0x15, %r14, %rdx
xorq %r10, %r11
rorxq $0x2b, %r11, %rdi
xorq %r9, %rcx
rorxq $0x32, %rcx, %rcx
movq %rdx, %r8
notq %r8
orq %rdi, %r8
xorq %rsi, %r8
movq %r8, -0x70(%rsp)
movq %rcx, %r8
orq %rax, %r8
movq %r8, %r13
movq %rax, %r15
andq %rsi, %rax
orq %rdx, %rsi
movl $0x80000001, %r8d       # imm = 0x80000001
xorq %r8, %r15
xorq %rsi, %r15
movq %r15, -0x18(%rsp)
xorq %rdi, %r13
movq %r13, -0x28(%rsp)
andq %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, -0x30(%rsp)
xorq %rcx, %rax
movq %rax, -0x50(%rsp)
movq -0x38(%rsp), %rax
xorq %r10, %rax
rorxq $0x24, %rax, %r15
movq -0x68(%rsp), %rax
xorq %r9, %rax
rorxq $0x2c, %rax, %rax
movq -0x40(%rsp), %rcx
movq 0x48(%rsp), %r13
xorq %r13, %rcx
rorxq $0x3d, %rcx, %rsi
movq -0x58(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x13, %rcx, %rdx
xorq %rbx, %rbp
rorxq $0x3, %rbp, %rdi
movq %rax, %r8
orq %rsi, %r8
movq %r15, %rcx
xorq %r15, %r8
movq %r8, %r15
movq %r8, 0x30(%rsp)
movq %rdi, %r8
orq %rcx, %r8
andq %rax, %rcx
xorq %rdi, %rcx
movq %rcx, -0x68(%rsp)
notq %rdi
orq %rdx, %rdi
xorq %rsi, %rdi
movq %rdi, -0x58(%rsp)
andq %rdx, %rsi
xorq %rax, %rsi
movq %rsi, 0x60(%rsp)
xorq %rdx, %r8
movq %r8, -0x40(%rsp)
movq -0x8(%rsp), %rax
xorq %r12, %rax
rorxq $0x3f, %rax, %rbp
movq -0x80(%rsp), %rax
xorq %rbx, %rax
rorxq $0x3a, %rax, %rax
movq 0x28(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x27, %rcx, %r8
movq 0x38(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x38, %rcx, %rdi
movq -0x20(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x2e, %rcx, %rdx
movq %rax, %rcx
orq %r8, %rcx
movq %rcx, %rsi
andnq %rdx, %rdi, %rcx
xorq %r8, %rcx
movq %rcx, 0x68(%rsp)
andq %rdi, %r8
notq %rdi
movq %rdx, %rcx
orq %rbp, %rcx
xorq %rdi, %rcx
movq %rcx, -0x8(%rsp)
movq %rsi, %rcx
xorq %rbp, %rcx
movq %rcx, -0x80(%rsp)
xorq %rax, %r8
movq %r8, -0x20(%rsp)
andq %rax, %rbp
xorq %rdx, %rbp
movq %rbp, 0x38(%rsp)
movq -0x18(%rsp), %rdx
xorq %r15, %rdx
movq -0x78(%rsp), %rax
xorq %r9, %rax
rorxq $0x25, %rax, %rsi
movq 0x8(%rsp), %rax
xorq %r13, %rax
rorxq $0x1c, %rax, %rdi
movq -0x60(%rsp), %rax
xorq %r12, %rax
movq %r12, %r15
rorxq $0x36, %rax, %rax
movq %rdi, %r8
andq %rax, %r8
xorq %rsi, %r8
movq %r8, 0x40(%rsp)
movq %rcx, %r14
xorq %r8, %r14
xorq %rdx, %r14
movq -0x10(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x31, %rcx, %r11
movq 0x20(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x8, %rcx, %r13
movq %rax, %r12
orq %r11, %r12
xorq %rdi, %r12
movq %r13, %r8
andq %rsi, %r8
orq %rdi, %rsi
notq %r11
xorq %r13, %rsi
movq %rsi, 0x20(%rsp)
orq %r11, %r13
xorq %rax, %r13
movq %r13, -0x38(%rsp)
xorq %r11, %r8
movq -0x28(%rsp), %rdi
xorq -0x40(%rsp), %rdi
movq -0x8(%rsp), %rdx
xorq %r8, %rdx
xorq %rdi, %rdx
movq -0x50(%rsp), %rdi
xorq -0x68(%rsp), %rdi
movq %rbp, %r13
xorq %rsi, %r13
xorq %rdi, %r13
xorq 0x10(%rsp), %rbx
xorq (%rsp), %r10
xorq 0x50(%rsp), %r9
movq 0x48(%rsp), %rax
xorq -0x48(%rsp), %rax
movq %r15, %rsi
xorq 0x18(%rsp), %rsi
rorxq $0x2, %rbx, %rbx
rorxq $0x9, %r10, %r11
rorxq $0x19, %r9, %rcx
rorxq $0x17, %rax, %r10
rorxq $0x3e, %rsi, %rdi
andnq %rcx, %r11, %rax
xorq %rbx, %rax
movq %rax, -0x10(%rsp)
movq %rdi, %rsi
orq %rbx, %rsi
andq %r11, %rbx
notq %r11
movq %r10, %rbp
andq %rdi, %rbp
xorq %rcx, %rbp
movq %rcx, %rax
orq %r10, %rax
xorq %r11, %rax
movq %rax, 0x28(%rsp)
movq 0x60(%rsp), %r15
movq %r15, %rcx
xorq -0x20(%rsp), %rcx
xorq -0x70(%rsp), %rcx
movq %r12, %r9
xorq %rax, %r9
xorq %rcx, %r9
movq -0x30(%rsp), %rcx
movq 0x68(%rsp), %r11
xorq %r11, %rcx
xorq -0x58(%rsp), %rcx
movq -0x38(%rsp), %rax
xorq %rbp, %rax
xorq %rcx, %rax
xorq %r10, %rsi
movq %rsi, 0x58(%rsp)
xorq %rdi, %rbx
xorq -0x10(%rsp), %r14
xorq %rsi, %rdx
xorq %rbx, %r13
rorxq $0x3f, %rdx, %rcx
xorq %r9, %rcx
movq %rcx, %rsi
rorxq $0x3f, %r9, %rcx
xorq %r13, %rcx
movq %rcx, 0x98(%rsp)
rorxq $0x3f, %r13, %r10
xorq %rax, %r10
rorxq $0x3f, %rax, %rdi
xorq %r14, %rdi
rorxq $0x3f, %r14, %r14
xorq %rdx, %r14
movq -0x18(%rsp), %r13
xorq %rcx, %r13
xorq %rdi, %r15
rorxq $0x14, %r15, %rcx
xorq %rsi, %r11
movq %rsi, %r15
rorxq $0x15, %r11, %rax
xorq %r10, %r8
rorxq $0x2b, %r8, %r8
xorq %r14, %rbx
rorxq $0x32, %rbx, %rsi
movq %rax, %rdx
notq %rdx
orq %r8, %rdx
xorq %rcx, %rdx
movq %rdx, 0x8(%rsp)
movq %rsi, %r9
movq %r13, %rdx
orq %r13, %r9
movq %r9, %r13
movq %rdx, %r9
andq %rcx, %rdx
movq %rdx, %rbx
orq %rax, %rcx
movabsq $-0x7fffffff7fff7f7f, %rdx # imm = 0x8000000080008081
xorq %rdx, %r9
xorq %rcx, %r9
movq %r9, -0x78(%rsp)
xorq %r8, %r13
movq %r13, -0x60(%rsp)
andq %rsi, %r8
xorq %rax, %r8
movq %r8, 0x10(%rsp)
xorq %rsi, %rbx
movq %rbx, -0x18(%rsp)
movq -0x28(%rsp), %rax
xorq %r10, %rax
rorxq $0x24, %rax, %r8
movq -0x68(%rsp), %rax
xorq %r14, %rax
rorxq $0x2c, %rax, %rax
movq -0x80(%rsp), %rcx
movq 0x98(%rsp), %r11
xorq %r11, %rcx
rorxq $0x3d, %rcx, %r13
xorq %rdi, %r12
rorxq $0x13, %r12, %rcx
xorq %r15, %rbp
rorxq $0x3, %rbp, %rdx
movq %rax, %rsi
orq %r13, %rsi
xorq %r8, %rsi
movq %rsi, %r9
movq %rsi, 0x18(%rsp)
movq %rdx, %rsi
orq %r8, %rsi
andq %rax, %r8
xorq %rdx, %r8
movq %r8, -0x48(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r13, %rdx
movq %rdx, -0x80(%rsp)
andq %rcx, %r13
xorq %rax, %r13
movq %r13, 0x60(%rsp)
xorq %rcx, %rsi
movq %rsi, (%rsp)
movq -0x70(%rsp), %rax
xorq %rdi, %rax
rorxq $0x3f, %rax, %r8
movq -0x58(%rsp), %rax
xorq %r15, %rax
rorxq $0x3a, %rax, %rax
movq -0x8(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x20(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x10(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r12
orq %rsi, %r12
andnq %rcx, %rdx, %rbx
xorq %rsi, %rbx
movq %rbx, -0x58(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r13
orq %r8, %r13
xorq %rdx, %r13
movq %r13, -0x10(%rsp)
xorq %r8, %r12
movq %r12, -0x70(%rsp)
xorq %rax, %rsi
movq %rsi, -0x8(%rsp)
andq %rax, %r8
xorq %rcx, %r8
movq %r8, %rsi
movq %r8, 0x50(%rsp)
movq -0x78(%rsp), %rdx
xorq %r9, %rdx
movq -0x50(%rsp), %rax
xorq %r14, %rax
rorxq $0x25, %rax, %r9
movq 0x30(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rcx
movq -0x20(%rsp), %rax
xorq %rdi, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %r8
andq %rax, %r8
xorq %r9, %r8
movq %r8, 0x48(%rsp)
xorq %r8, %r12
xorq %rdx, %r12
movq -0x38(%rsp), %rdx
xorq %r15, %rdx
rorxq $0x31, %rdx, %r8
movq 0x58(%rsp), %rdx
xorq %r10, %rdx
rorxq $0x8, %rdx, %rbx
movq %rax, %rbp
orq %r8, %rbp
xorq %rcx, %rbp
movq %rbx, %rdx
andq %r9, %rdx
orq %rcx, %r9
notq %r8
xorq %rbx, %r9
movq %r9, 0x30(%rsp)
orq %r8, %rbx
xorq %rax, %rbx
movq %rbx, -0x28(%rsp)
xorq %r8, %rdx
movq -0x60(%rsp), %rax
xorq (%rsp), %rax
movq %r13, %rbx
xorq %rdx, %rbx
xorq %rax, %rbx
movq -0x18(%rsp), %rax
xorq -0x48(%rsp), %rax
movq %rsi, %r8
xorq %r9, %r8
xorq %rax, %r8
movq %r15, %rax
xorq -0x30(%rsp), %rax
xorq -0x40(%rsp), %r10
xorq 0x38(%rsp), %r14
movq %r11, %rsi
xorq 0x40(%rsp), %rsi
xorq 0x28(%rsp), %rdi
rorxq $0x2, %rax, %rcx
rorxq $0x9, %r10, %rax
rorxq $0x19, %r14, %r14
rorxq $0x17, %rsi, %rsi
rorxq $0x3e, %rdi, %rdi
andnq %r14, %rax, %r9
xorq %rcx, %r9
movq %r9, -0x38(%rsp)
movq %rdi, %r13
orq %rcx, %r13
andq %rax, %rcx
movq %rax, %r11
notq %r11
movq %rsi, %r10
andq %rdi, %r10
xorq %r14, %r10
movq %r14, %rax
orq %rsi, %rax
xorq %r11, %rax
movq %rax, 0x28(%rsp)
movq 0x60(%rsp), %r15
movq %r15, %r11
xorq -0x8(%rsp), %r11
xorq 0x8(%rsp), %r11
movq %rbp, %r14
xorq %rax, %r14
xorq %r11, %r14
movq 0x10(%rsp), %r11
movq -0x58(%rsp), %r9
xorq %r9, %r11
xorq -0x80(%rsp), %r11
movq -0x28(%rsp), %rax
xorq %r10, %rax
xorq %r11, %rax
xorq %rsi, %r13
movq %r13, 0x20(%rsp)
xorq %rdi, %rcx
xorq -0x38(%rsp), %r12
xorq %r13, %rbx
xorq %rcx, %r8
rorxq $0x3f, %rbx, %r13
xorq %r14, %r13
rorxq $0x3f, %r14, %rsi
xorq %r8, %rsi
movq %rsi, -0x68(%rsp)
rorxq $0x3f, %r8, %r14
xorq %rax, %r14
rorxq $0x3f, %rax, %rax
xorq %r12, %rax
rorxq $0x3f, %r12, %r11
xorq %rbx, %r11
movq -0x78(%rsp), %r8
xorq %rsi, %r8
xorq %rax, %r15
movq %rax, %rdi
rorxq $0x14, %r15, %r12
xorq %r13, %r9
rorxq $0x15, %r9, %rbx
xorq %r14, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r11, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x7f89(%rcx), %rsi
movq %r8, %rcx
xorq %r8, %rsi
movq %rsi, %r8
movq %rbx, %rsi
notq %rsi
orq %rdx, %rsi
xorq %r12, %rsi
movq %rsi, -0x40(%rsp)
movq %rax, %rsi
orq %rcx, %rsi
andq %r12, %rcx
orq %rbx, %r12
xorq %r12, %r8
movq %r8, -0x30(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x20(%rsp)
andq %rax, %rdx
xorq %rbx, %rdx
movq %rdx, -0x50(%rsp)
xorq %rax, %rcx
movq %rcx, -0x78(%rsp)
movq -0x60(%rsp), %rax
xorq %r14, %rax
rorxq $0x24, %rax, %r8
movq -0x48(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rax
movq -0x70(%rsp), %rcx
movq -0x68(%rsp), %r9
xorq %r9, %rcx
rorxq $0x3d, %rcx, %rbx
xorq %rdi, %rbp
rorxq $0x13, %rbp, %rdx
xorq %r13, %r10
rorxq $0x3, %r10, %rcx
movq %rax, %rsi
orq %rbx, %rsi
xorq %r8, %rsi
movq %rsi, %r10
movq %rsi, 0x38(%rsp)
movq %rcx, %rsi
orq %r8, %rsi
andq %rax, %r8
xorq %rcx, %r8
movq %r8, -0x60(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %rbx, %rcx
movq %rcx, -0x58(%rsp)
andq %rdx, %rbx
xorq %rax, %rbx
xorq %rdx, %rsi
movq %rsi, -0x70(%rsp)
movq 0x8(%rsp), %rax
movq %rdi, %rbp
xorq %rdi, %rax
rorxq $0x3f, %rax, %r8
movq -0x80(%rsp), %rax
xorq %r13, %rax
rorxq $0x3a, %rax, %rax
movq -0x10(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x30(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq %r9, %rdi
movq -0x38(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r12
orq %rsi, %r12
andnq %rcx, %rdx, %r9
xorq %rsi, %r9
movq %r9, 0x8(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r9
orq %r8, %r9
xorq %rdx, %r9
movq %r9, -0x10(%rsp)
xorq %r8, %r12
movq %r12, -0x48(%rsp)
xorq %rax, %rsi
movq %rsi, -0x80(%rsp)
andq %rax, %r8
xorq %rcx, %r8
movq %r8, %r9
movq %r8, 0x30(%rsp)
movq -0x30(%rsp), %rax
xorq %r10, %rax
movq -0x18(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x25, %rcx, %r8
movq 0x18(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x1c, %rcx, %r15
movq -0x8(%rsp), %rcx
xorq %rbp, %rcx
movq %rbp, %rdi
rorxq $0x36, %rcx, %rcx
movq %r15, %rdx
andq %rcx, %rdx
xorq %r8, %rdx
movq %rdx, 0x40(%rsp)
movq %r12, %rsi
xorq %rdx, %rsi
xorq %rax, %rsi
movq -0x28(%rsp), %rax
xorq %r13, %rax
rorxq $0x31, %rax, %rax
movq 0x20(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x8, %rdx, %r10
movq %rcx, %rdx
orq %rax, %rdx
xorq %r15, %rdx
movq %rdx, %r12
movq %rdx, -0x8(%rsp)
movq %r10, %rdx
andq %r8, %rdx
orq %r15, %r8
notq %rax
xorq %r10, %r8
movq %r8, 0x18(%rsp)
orq %rax, %r10
xorq %rcx, %r10
movq %r10, -0x28(%rsp)
xorq %rax, %rdx
movq -0x20(%rsp), %rax
xorq -0x70(%rsp), %rax
movq -0x10(%rsp), %rbp
xorq %rdx, %rbp
xorq %rax, %rbp
movq -0x78(%rsp), %rax
xorq -0x60(%rsp), %rax
movq %r9, %r15
xorq %r8, %r15
xorq %rax, %r15
xorq 0x10(%rsp), %r13
xorq (%rsp), %r14
xorq 0x50(%rsp), %r11
movq -0x68(%rsp), %rcx
xorq 0x48(%rsp), %rcx
xorq 0x28(%rsp), %rdi
rorxq $0x2, %r13, %r10
rorxq $0x9, %r14, %rax
rorxq $0x19, %r11, %r13
rorxq $0x17, %rcx, %r14
rorxq $0x3e, %rdi, %rdi
andnq %r13, %rax, %rcx
xorq %r10, %rcx
movq %rcx, 0x10(%rsp)
movq %rdi, %r8
orq %r10, %r8
andq %rax, %r10
notq %rax
movq %r14, %r11
andq %rdi, %r11
xorq %r13, %r11
orq %r14, %r13
xorq %rax, %r13
movq %r13, (%rsp)
movq %rbx, %rax
xorq -0x80(%rsp), %rax
xorq -0x40(%rsp), %rax
movq %r12, %r9
xorq %r13, %r9
xorq %rax, %r9
movq -0x50(%rsp), %rax
movq 0x8(%rsp), %r12
xorq %r12, %rax
xorq -0x58(%rsp), %rax
movq -0x28(%rsp), %rcx
xorq %r11, %rcx
xorq %rax, %rcx
xorq %r14, %r8
movq %r8, 0x48(%rsp)
xorq %rdi, %r10
xorq 0x10(%rsp), %rsi
xorq %r8, %rbp
xorq %r10, %r15
rorxq $0x3f, %rbp, %r13
xorq %r9, %r13
rorxq $0x3f, %r9, %rax
xorq %r15, %rax
rorxq $0x3f, %r15, %r15
xorq %rcx, %r15
rorxq $0x3f, %rcx, %rcx
xorq %rsi, %rcx
movq %rcx, 0x58(%rsp)
rorxq $0x3f, %rsi, %r14
xorq %rbp, %r14
movq -0x30(%rsp), %rbp
xorq %rax, %rbp
movq %rax, %rsi
xorq %rcx, %rbx
rorxq $0x14, %rbx, %rbx
xorq %r13, %r12
rorxq $0x15, %r12, %rax
xorq %r15, %rdx
rorxq $0x2b, %rdx, %rcx
xorq %r14, %r10
rorxq $0x32, %r10, %rdx
movq %rbx, %rdi
orq %rax, %rdi
movq %rdi, %r8
movq %rcx, %rdi
andq %rdx, %rdi
xorq %rax, %rdi
movq %rdi, 0x8(%rsp)
movq %rax, %rdi
notq %rdi
orq %rcx, %rdi
movq %rdx, %r9
movq %rbp, %rax
orq %rbp, %r9
xorq %rcx, %r9
movq %r9, -0x38(%rsp)
xorq %rbp, %r8
movq %r8, -0x18(%rsp)
xorq %rbx, %rdi
movq %rdi, -0x68(%rsp)
andq %rbx, %rax
xorq %rdx, %rax
movq %rax, -0x30(%rsp)
movq -0x20(%rsp), %rax
xorq %r15, %rax
rorxq $0x24, %rax, %rdi
movq -0x60(%rsp), %rax
xorq %r14, %rax
rorxq $0x2c, %rax, %rax
movq -0x48(%rsp), %rcx
movq %rsi, %r10
xorq %rsi, %rcx
rorxq $0x3d, %rcx, %rdx
movq 0x58(%rsp), %r8
movq -0x8(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x13, %rcx, %r9
xorq %r13, %r11
rorxq $0x3, %r11, %rcx
movq %rax, %rsi
orq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, -0x20(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x48(%rsp)
notq %rcx
orq %r9, %rcx
xorq %rdx, %rcx
movq %rcx, -0x60(%rsp)
andq %r9, %rdx
xorq %rax, %rdx
movq %rdx, 0x28(%rsp)
xorq %r9, %rsi
movq %rsi, -0x8(%rsp)
movq -0x40(%rsp), %rax
xorq %r8, %rax
movq %r8, %rbp
rorxq $0x3f, %rax, %rdi
movq -0x58(%rsp), %rax
xorq %r13, %rax
rorxq $0x3a, %rax, %rax
movq -0x10(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x27, %rcx, %rcx
movq 0x18(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x38, %rdx, %rsi
movq %r10, %r11
movq %r10, 0x20(%rsp)
movq 0x10(%rsp), %rdx
xorq %r10, %rdx
rorxq $0x2e, %rdx, %rdx
movq %rax, %r8
orq %rcx, %r8
movq %r8, %r9
andnq %rdx, %rsi, %r8
xorq %rcx, %r8
movq %r8, 0x10(%rsp)
andq %rsi, %rcx
notq %rsi
movq %rdx, %r10
orq %rdi, %r10
xorq %rsi, %r10
movq %r10, -0x58(%rsp)
xorq %rdi, %r9
movq %r9, %r12
movq %r9, 0x18(%rsp)
xorq %rax, %rcx
movq %rcx, -0x40(%rsp)
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, %r8
movq %rdi, -0x10(%rsp)
movq -0x78(%rsp), %rax
xorq %r14, %rax
rorxq $0x25, %rax, %rbx
movq 0x38(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %r9
movq -0x80(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq -0x28(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x31, %rcx, %rsi
movq 0x48(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x8, %rcx, %rcx
movq %r9, %r11
andq %rax, %r11
xorq %rbx, %r11
movq %r11, 0x50(%rsp)
movq %rax, %rdx
orq %rsi, %rdx
xorq %r9, %rdx
movq %rdx, -0x80(%rsp)
movq %rcx, %rdi
andq %rbx, %rdi
orq %r9, %rbx
notq %rsi
xorq %rcx, %rbx
movq %rbx, 0x38(%rsp)
orq %rsi, %rcx
xorq %rax, %rcx
movq %rcx, -0x78(%rsp)
xorq %rsi, %rdi
movq -0x38(%rsp), %rax
xorq -0x8(%rsp), %rax
movq %r10, %rdx
xorq %rdi, %rdx
xorq %rax, %rdx
movq -0x30(%rsp), %rax
xorq -0x48(%rsp), %rax
movq %r8, %r9
xorq %rbx, %r9
xorq %rax, %r9
xorq -0x50(%rsp), %r13
xorq -0x70(%rsp), %r15
xorq 0x30(%rsp), %r14
movq 0x20(%rsp), %rsi
xorq 0x40(%rsp), %rsi
movq %rbp, %r8
xorq (%rsp), %r8
movq -0x18(%rsp), %rax
xorq $0x8a, %rax
movq %rax, -0x18(%rsp)
movq -0x20(%rsp), %r10
xorq %r12, %r10
xorq %rax, %r10
rorxq $0x2, %r13, %rcx
rorxq $0x9, %r15, %r13
rorxq $0x19, %r14, %r15
andnq %r15, %r13, %rax
xorq %rcx, %rax
movq %rax, 0x30(%rsp)
movq %r11, %r12
xorq %rax, %r12
xorq %r10, %r12
rorxq $0x17, %rsi, %r11
rorxq $0x3e, %r8, %r10
movq %r10, %rsi
orq %rcx, %rsi
andq %r13, %rcx
movq %r13, %r14
notq %r14
movq %r11, %r13
andq %r10, %r13
xorq %r15, %r13
movq %r15, %rax
orq %r11, %rax
xorq %r14, %rax
movq %rax, 0x40(%rsp)
movq 0x28(%rsp), %rbp
movq %rbp, %r14
xorq -0x40(%rsp), %r14
xorq -0x68(%rsp), %r14
movq -0x80(%rsp), %r8
xorq %rax, %r8
xorq %r14, %r8
movq 0x8(%rsp), %r14
movq 0x10(%rsp), %rbx
xorq %rbx, %r14
xorq -0x60(%rsp), %r14
movq -0x78(%rsp), %rax
xorq %r13, %rax
xorq %r14, %rax
xorq %r11, %rsi
movq %rsi, -0x70(%rsp)
xorq %r10, %rcx
xorq %rsi, %rdx
xorq %rcx, %r9
rorxq $0x3f, %rdx, %r15
xorq %r8, %r15
rorxq $0x3f, %r8, %rsi
xorq %r9, %rsi
rorxq $0x3f, %r9, %r14
xorq %rax, %r14
rorxq $0x3f, %rax, %r8
xorq %r12, %r8
rorxq $0x3f, %r12, %r11
xorq %rdx, %r11
movq -0x18(%rsp), %r9
xorq %rsi, %r9
movq %rsi, %r10
xorq %r8, %rbp
movq %r8, %r12
rorxq $0x14, %rbp, %rsi
xorq %r15, %rbx
rorxq $0x15, %rbx, %rdx
xorq %r14, %rdi
rorxq $0x2b, %rdi, %rdi
xorq %r11, %rcx
rorxq $0x32, %rcx, %rax
movq %rsi, %rcx
orq %rdx, %rcx
movq %rcx, %rbx
movq %rdi, %r8
andq %rax, %r8
xorq %rdx, %r8
movq %r8, 0x10(%rsp)
movq %rdx, %r8
notq %r8
orq %rdi, %r8
movq %rax, %rcx
orq %r9, %rcx
xorq %rdi, %rcx
movq %rcx, -0x28(%rsp)
xorq %r9, %rbx
movq %rbx, -0x50(%rsp)
xorq %rsi, %r8
movq %r8, (%rsp)
andq %rsi, %r9
xorq %rax, %r9
movq %r9, -0x18(%rsp)
movq -0x38(%rsp), %rax
xorq %r14, %rax
rorxq $0x24, %rax, %rsi
movq -0x48(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rax
movq 0x18(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x3d, %rcx, %rcx
movq -0x80(%rsp), %rdx
xorq %r12, %rdx
rorxq $0x13, %rdx, %rdx
xorq %r15, %r13
rorxq $0x3, %r13, %rdi
movq %rax, %r8
orq %rcx, %r8
xorq %rsi, %r8
movq %r8, -0x38(%rsp)
movq %rdi, %r13
orq %rsi, %r13
andq %rax, %rsi
xorq %rdi, %rsi
movq %rsi, -0x48(%rsp)
notq %rdi
orq %rdx, %rdi
xorq %rcx, %rdi
movq %rdi, -0x80(%rsp)
andq %rdx, %rcx
xorq %rax, %rcx
movq %rcx, 0x20(%rsp)
xorq %rdx, %r13
movq %r13, 0x48(%rsp)
movq -0x68(%rsp), %rax
xorq %r12, %rax
rorxq $0x3f, %rax, %rbx
movq -0x60(%rsp), %rax
xorq %r15, %rax
rorxq $0x3a, %rax, %rax
movq -0x58(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x27, %rcx, %rdi
movq 0x38(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq 0x30(%rsp), %rcx
xorq %r10, %rcx
movq %r10, %r9
movq %r10, 0x68(%rsp)
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %rdi, %rsi
movq %rsi, %r8
andnq %rcx, %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, 0x58(%rsp)
andq %rdx, %rdi
notq %rdx
movq %rcx, %r10
orq %rbx, %r10
xorq %rdx, %r10
movq %r10, 0x30(%rsp)
xorq %rbx, %r8
movq %r8, %rbp
movq %r8, 0x60(%rsp)
xorq %rax, %rdi
movq %rdi, -0x58(%rsp)
andq %rax, %rbx
xorq %rcx, %rbx
movq %rbx, %r8
movq %rbx, -0x68(%rsp)
movq -0x30(%rsp), %rax
xorq %r11, %rax
rorxq $0x25, %rax, %rdi
movq -0x20(%rsp), %rax
xorq %r9, %rax
rorxq $0x1c, %rax, %rdx
movq -0x40(%rsp), %rax
xorq %r12, %rax
rorxq $0x36, %rax, %rax
movq -0x78(%rsp), %rcx
xorq %r15, %rcx
movq %r15, %r9
rorxq $0x31, %rcx, %rcx
movq -0x70(%rsp), %rsi
xorq %r14, %rsi
rorxq $0x8, %rsi, %rsi
movq %rdx, %rbx
andq %rax, %rbx
xorq %rdi, %rbx
movq %rbx, -0x70(%rsp)
movq %rax, %rbx
orq %rcx, %rbx
xorq %rdx, %rbx
movq %rbx, -0x20(%rsp)
movq %rsi, %r15
andq %rdi, %r15
orq %rdx, %rdi
notq %rcx
xorq %rsi, %rdi
movq %rdi, 0x18(%rsp)
orq %rcx, %rsi
xorq %rax, %rsi
movq %rsi, -0x60(%rsp)
xorq %rcx, %r15
movq -0x28(%rsp), %rax
xorq %r13, %rax
movq %r10, %rsi
xorq %r15, %rsi
xorq %rax, %rsi
movq -0x18(%rsp), %rax
xorq -0x48(%rsp), %rax
xorq %rdi, %r8
xorq %rax, %r8
xorq 0x8(%rsp), %r9
xorq -0x8(%rsp), %r14
xorq -0x10(%rsp), %r11
movq 0x68(%rsp), %rdi
xorq 0x50(%rsp), %rdi
xorq 0x40(%rsp), %r12
movq -0x50(%rsp), %rax
xorq $0x88, %rax
movq %rax, -0x50(%rsp)
movq -0x38(%rsp), %r10
xorq %rbp, %r10
xorq %rax, %r10
rorxq $0x2, %r9, %rcx
rorxq $0x9, %r14, %rax
rorxq $0x19, %r11, %r13
andnq %r13, %rax, %r9
xorq %rcx, %r9
movq %r9, -0x10(%rsp)
movq -0x70(%rsp), %rdx
xorq %r9, %rdx
xorq %r10, %rdx
rorxq $0x17, %rdi, %rdi
rorxq $0x3e, %r12, %rbx
movq %rbx, %r10
orq %rcx, %r10
andq %rax, %rcx
movq %rax, %r14
notq %r14
movq %rdi, %r11
andq %rbx, %r11
xorq %r13, %r11
orq %rdi, %r13
xorq %r14, %r13
movq %r13, 0x38(%rsp)
movq 0x20(%rsp), %rbp
movq %rbp, %r14
xorq -0x58(%rsp), %r14
xorq (%rsp), %r14
movq -0x20(%rsp), %r9
xorq %r13, %r9
xorq %r14, %r9
movq 0x10(%rsp), %r14
movq 0x58(%rsp), %r12
xorq %r12, %r14
xorq -0x80(%rsp), %r14
movq -0x60(%rsp), %rax
xorq %r11, %rax
xorq %r14, %rax
xorq %rdi, %r10
movq %r10, 0x28(%rsp)
xorq %rbx, %rcx
xorq %r10, %rsi
xorq %rcx, %r8
rorxq $0x3f, %rsi, %r13
xorq %r9, %r13
rorxq $0x3f, %r9, %rdi
xorq %r8, %rdi
movq %rdi, 0x68(%rsp)
rorxq $0x3f, %r8, %r10
xorq %rax, %r10
rorxq $0x3f, %rax, %r14
xorq %rdx, %r14
rorxq $0x3f, %rdx, %r8
xorq %rsi, %r8
movq -0x50(%rsp), %rbx
xorq %rdi, %rbx
xorq %r14, %rbp
rorxq $0x14, %rbp, %rsi
xorq %r13, %r12
rorxq $0x15, %r12, %rdx
xorq %r10, %r15
rorxq $0x2b, %r15, %rdi
xorq %r8, %rcx
rorxq $0x32, %rcx, %rax
movl $0x80000001, %ecx       # imm = 0x80000001
leaq 0x8008(%rcx), %r9
movq %rbx, %rcx
xorq %rbx, %r9
movq %r9, %rbx
movq %rdx, %r9
notq %r9
orq %rdi, %r9
xorq %rsi, %r9
movq %r9, -0x40(%rsp)
movq %rax, %r9
orq %rcx, %r9
andq %rsi, %rcx
orq %rdx, %rsi
xorq %rsi, %rbx
movq %rbx, -0x78(%rsp)
xorq %rdi, %r9
movq %r9, -0x8(%rsp)
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x30(%rsp)
xorq %rax, %rcx
movq %rcx, -0x50(%rsp)
movq -0x28(%rsp), %rax
xorq %r10, %rax
rorxq $0x24, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x2c, %rax, %rax
movq 0x68(%rsp), %rbx
movq 0x60(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x3d, %rcx, %rbp
movq -0x20(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x13, %rcx, %rcx
xorq %r13, %r11
rorxq $0x3, %r11, %rdx
movq %rax, %rsi
orq %rbp, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
movq %rsi, 0x50(%rsp)
movq %rdx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x28(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %rbp, %rdx
movq %rdx, -0x20(%rsp)
andq %rcx, %rbp
xorq %rax, %rbp
movq %rbp, 0x20(%rsp)
xorq %rcx, %rsi
movq %rsi, 0x8(%rsp)
movq (%rsp), %rax
xorq %r14, %rax
rorxq $0x3f, %rax, %rdi
movq -0x80(%rsp), %rax
xorq %r13, %rax
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x18(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x10(%rsp), %rcx
xorq %rbx, %rcx
movq %rbx, %rbp
rorxq $0x2e, %rcx, %rcx
movq %rax, %r11
orq %rsi, %r11
movq %r11, %rbx
andnq %rcx, %rdx, %r11
xorq %rsi, %r11
movq %r11, 0x58(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r11
orq %rdi, %r11
xorq %rdx, %r11
movq %r11, -0x80(%rsp)
xorq %rdi, %rbx
movq %rbx, %r15
movq %rbx, -0x48(%rsp)
xorq %rax, %rsi
movq %rsi, (%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, %rbx
movq %rdi, 0x40(%rsp)
movq -0x78(%rsp), %rsi
xorq %r9, %rsi
movq -0x18(%rsp), %rax
xorq %r8, %rax
rorxq $0x25, %rax, %r11
movq -0x38(%rsp), %rax
xorq %rbp, %rax
rorxq $0x1c, %rax, %rdx
movq -0x58(%rsp), %rax
xorq %r14, %rax
rorxq $0x36, %rax, %rax
movq %rdx, %rcx
andq %rax, %rcx
xorq %r11, %rcx
movq %rcx, -0x10(%rsp)
movq %r15, %r9
xorq %rcx, %r9
xorq %rsi, %r9
movq -0x60(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x31, %rcx, %rsi
movq 0x28(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x8, %rcx, %rdi
movq %rax, %rcx
orq %rsi, %rcx
xorq %rdx, %rcx
movq %rcx, -0x38(%rsp)
movq %rdi, %r12
andq %r11, %r12
orq %rdx, %r11
notq %rsi
xorq %rdi, %r11
movq %r11, 0x18(%rsp)
orq %rsi, %rdi
xorq %rax, %rdi
movq %rdi, -0x60(%rsp)
xorq %rsi, %r12
movq -0x8(%rsp), %rdx
xorq 0x8(%rsp), %rdx
movq -0x80(%rsp), %rcx
xorq %r12, %rcx
xorq %rdx, %rcx
movq -0x50(%rsp), %rdx
xorq -0x28(%rsp), %rdx
movq %rbx, %rsi
xorq %r11, %rsi
xorq %rdx, %rsi
xorq 0x10(%rsp), %r13
xorq 0x48(%rsp), %r10
xorq -0x68(%rsp), %r8
movq %rbp, %rax
xorq -0x70(%rsp), %rax
xorq 0x38(%rsp), %r14
rorxq $0x2, %r13, %r13
rorxq $0x9, %r10, %rbx
rorxq $0x19, %r8, %r10
rorxq $0x17, %rax, %r8
rorxq $0x3e, %r14, %rdi
andnq %r10, %rbx, %rbp
xorq %r13, %rbp
movq %rbp, -0x68(%rsp)
movq %rdi, %rdx
orq %r13, %rdx
andq %rbx, %r13
movq %rbx, %r14
notq %r14
movq %r8, %rbx
andq %rdi, %rbx
xorq %r10, %rbx
movq %r10, %rax
orq %r8, %rax
xorq %r14, %rax
movq %rax, 0x30(%rsp)
movq 0x20(%rsp), %r15
movq %r15, %r10
xorq (%rsp), %r10
xorq -0x40(%rsp), %r10
movq -0x38(%rsp), %r14
xorq %rax, %r14
xorq %r10, %r14
movq -0x30(%rsp), %r10
movq 0x58(%rsp), %r11
xorq %r11, %r10
xorq -0x20(%rsp), %r10
movq -0x60(%rsp), %rax
xorq %rbx, %rax
xorq %r10, %rax
xorq %r8, %rdx
movq %rdx, 0x28(%rsp)
xorq %rdi, %r13
xorq %rbp, %r9
xorq %rdx, %rcx
xorq %r13, %rsi
rorxq $0x3f, %rcx, %r10
xorq %r14, %r10
rorxq $0x3f, %r14, %rdx
xorq %rsi, %rdx
rorxq $0x3f, %rsi, %r8
xorq %rax, %r8
rorxq $0x3f, %rax, %r14
xorq %r9, %r14
rorxq $0x3f, %r9, %rdi
xorq %rcx, %rdi
movq -0x78(%rsp), %rax
xorq %rdx, %rax
movq %rdx, %rsi
xorq %r14, %r15
rorxq $0x14, %r15, %r9
xorq %r10, %r11
rorxq $0x15, %r11, %rdx
xorq %r8, %r12
rorxq $0x2b, %r12, %rbp
xorq %rdi, %r13
rorxq $0x32, %r13, %r12
movl $0x80000001, %ecx       # imm = 0x80000001
leaq 0x9(%rcx), %r13
movq %rax, %rcx
xorq %rax, %r13
movq %r13, %rax
movq %rdx, %r13
notq %r13
orq %rbp, %r13
xorq %r9, %r13
movq %r13, -0x70(%rsp)
movq %r12, %r13
orq %rcx, %r13
andq %r9, %rcx
orq %rdx, %r9
xorq %r9, %rax
movq %rax, -0x18(%rsp)
xorq %rbp, %r13
movq %r13, -0x58(%rsp)
andq %r12, %rbp
xorq %rdx, %rbp
movq %rbp, 0x10(%rsp)
xorq %r12, %rcx
movq %rcx, -0x78(%rsp)
movq -0x8(%rsp), %rax
xorq %r8, %rax
rorxq $0x24, %rax, %r13
movq -0x28(%rsp), %rax
xorq %rdi, %rax
rorxq $0x2c, %rax, %rax
movq -0x48(%rsp), %rcx
xorq %rsi, %rcx
rorxq $0x3d, %rcx, %r9
movq -0x38(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x13, %rcx, %r15
xorq %r10, %rbx
rorxq $0x3, %rbx, %rcx
movq %rax, %rbx
orq %r9, %rbx
xorq %r13, %rbx
movq %rbx, %rbp
movq %rbx, 0x38(%rsp)
movq %rcx, %rbx
orq %r13, %rbx
movq %rbx, %r12
andq %rax, %r13
xorq %rcx, %r13
movq %r13, -0x48(%rsp)
notq %rcx
orq %r15, %rcx
xorq %r9, %rcx
movq %rcx, -0x8(%rsp)
movq %r9, %rbx
andq %r15, %rbx
xorq %rax, %rbx
xorq %r15, %r12
movq %r12, %r13
movq %r12, 0x48(%rsp)
movq -0x40(%rsp), %rax
xorq %r14, %rax
rorxq $0x3f, %rax, %r12
movq -0x20(%rsp), %rax
xorq %r10, %rax
rorxq $0x3a, %rax, %rax
movq -0x80(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x27, %rcx, %r15
movq 0x18(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x38, %rcx, %r9
movq -0x68(%rsp), %rcx
xorq %rsi, %rcx
movq %rsi, %r11
rorxq $0x2e, %rcx, %rcx
movq %rax, %rdx
orq %r15, %rdx
movq %rdx, %rsi
andnq %rcx, %r9, %rdx
xorq %r15, %rdx
movq %rdx, -0x40(%rsp)
andq %r9, %r15
notq %r9
movq %rcx, %rdx
orq %r12, %rdx
xorq %r9, %rdx
movq %rdx, -0x38(%rsp)
movq %rsi, %rdx
xorq %r12, %rdx
movq %rdx, 0x18(%rsp)
xorq %rax, %r15
movq %r15, -0x20(%rsp)
andq %rax, %r12
xorq %rcx, %r12
movq %r12, -0x80(%rsp)
movq -0x18(%rsp), %r9
xorq %rbp, %r9
movq -0x50(%rsp), %rax
xorq %rdi, %rax
rorxq $0x25, %rax, %rsi
movq 0x50(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rcx
movq (%rsp), %rax
xorq %r14, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %r15
andq %rax, %r15
xorq %rsi, %r15
movq %r15, -0x68(%rsp)
movq %rdx, %rbp
xorq %r15, %rbp
xorq %r9, %rbp
movq -0x60(%rsp), %rdx
xorq %r10, %rdx
rorxq $0x31, %rdx, %r9
movq 0x28(%rsp), %rdx
xorq %r8, %rdx
rorxq $0x8, %rdx, %r15
movq %rax, %r12
orq %r9, %r12
xorq %rcx, %r12
movq %r15, %rdx
andq %rsi, %rdx
orq %rcx, %rsi
notq %r9
xorq %r15, %rsi
movq %rsi, 0x50(%rsp)
orq %r9, %r15
xorq %rax, %r15
movq %r15, -0x28(%rsp)
xorq %r9, %rdx
movq -0x58(%rsp), %rax
xorq %r13, %rax
movq -0x38(%rsp), %r13
xorq %rdx, %r13
xorq %rax, %r13
movq -0x78(%rsp), %rax
xorq -0x48(%rsp), %rax
movq -0x80(%rsp), %r15
xorq %rsi, %r15
xorq %rax, %r15
xorq -0x30(%rsp), %r10
xorq 0x8(%rsp), %r8
xorq 0x40(%rsp), %rdi
movq %r11, %rsi
xorq -0x10(%rsp), %rsi
xorq 0x30(%rsp), %r14
rorxq $0x2, %r10, %rcx
rorxq $0x9, %r8, %rax
rorxq $0x19, %rdi, %r10
rorxq $0x17, %rsi, %rsi
rorxq $0x3e, %r14, %rdi
andnq %r10, %rax, %r8
xorq %rcx, %r8
movq %r8, -0x30(%rsp)
movq %rdi, %r9
orq %rcx, %r9
andq %rax, %rcx
movq %rax, %r14
notq %r14
movq %rsi, %r8
andq %rdi, %r8
xorq %r10, %r8
movq %r10, %rax
orq %rsi, %rax
xorq %r14, %rax
movq %rax, 0x40(%rsp)
movq %rbx, %r10
xorq -0x20(%rsp), %r10
xorq -0x70(%rsp), %r10
movq %r12, %r14
xorq %rax, %r14
xorq %r10, %r14
movq 0x10(%rsp), %r10
movq -0x40(%rsp), %r11
xorq %r11, %r10
xorq -0x8(%rsp), %r10
movq -0x28(%rsp), %rax
xorq %r8, %rax
xorq %r10, %rax
xorq %rsi, %r9
movq %r9, 0x20(%rsp)
xorq %rdi, %rcx
xorq -0x30(%rsp), %rbp
xorq %r9, %r13
xorq %rcx, %r15
rorxq $0x3f, %r13, %rsi
xorq %r14, %rsi
movq %rsi, %r10
rorxq $0x3f, %r14, %rsi
xorq %r15, %rsi
rorxq $0x3f, %r15, %rdi
xorq %rax, %rdi
movq %rdi, %r9
rorxq $0x3f, %rax, %r15
xorq %rbp, %r15
rorxq $0x3f, %rbp, %r14
xorq %r13, %r14
movq -0x18(%rsp), %rdi
xorq %rsi, %rdi
movq %rsi, %rbp
xorq %r15, %rbx
rorxq $0x14, %rbx, %r13
xorq %r10, %r11
rorxq $0x15, %r11, %rbx
xorq %r9, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r14, %rcx
rorxq $0x32, %rcx, %rax
movl $0x80000001, %ecx       # imm = 0x80000001
leaq 0x808a(%rcx), %rsi
movq %rdi, %rcx
xorq %rdi, %rsi
movq %rsi, %rdi
movq %rbx, %rsi
notq %rsi
orq %rdx, %rsi
xorq %r13, %rsi
movq %rsi, -0x40(%rsp)
movq %rax, %rsi
orq %rcx, %rsi
andq %r13, %rcx
orq %rbx, %r13
xorq %r13, %rdi
movq %rdi, -0x50(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x60(%rsp)
andq %rax, %rdx
xorq %rbx, %rdx
movq %rdx, 0x8(%rsp)
xorq %rax, %rcx
movq %rcx, -0x18(%rsp)
movq -0x58(%rsp), %rax
xorq %r9, %rax
rorxq $0x24, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %r14, %rax
rorxq $0x2c, %rax, %rax
movq 0x18(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x3d, %rcx, %rbx
xorq %r15, %r12
rorxq $0x13, %r12, %rdx
movq %r10, 0x60(%rsp)
xorq %r10, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %rsi
orq %rbx, %rsi
xorq %rdi, %rsi
movq %rsi, %r8
movq %rsi, 0x30(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x48(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %rbx, %rcx
movq %rcx, -0x58(%rsp)
andq %rdx, %rbx
xorq %rax, %rbx
movq %rbx, 0x58(%rsp)
xorq %rdx, %rsi
movq %rsi, (%rsp)
movq -0x70(%rsp), %rax
xorq %r15, %rax
rorxq $0x3f, %rax, %r12
movq -0x8(%rsp), %rax
xorq %r10, %rax
rorxq $0x3a, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r9, %rcx
movq %r9, %r13
rorxq $0x27, %rcx, %rsi
movq 0x50(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x30(%rsp), %rcx
xorq %rbp, %rcx
movq %rbp, %r11
rorxq $0x2e, %rcx, %rcx
movq %rax, %r10
orq %rsi, %r10
andnq %rcx, %rdx, %r9
xorq %rsi, %r9
movq %r9, -0x30(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %rbp
orq %r12, %rbp
xorq %rdx, %rbp
movq %rbp, -0x38(%rsp)
xorq %r12, %r10
movq %r10, 0x28(%rsp)
xorq %rax, %rsi
movq %rsi, -0x8(%rsp)
andq %rax, %r12
xorq %rcx, %r12
movq %r12, 0x50(%rsp)
movq -0x50(%rsp), %rdx
xorq %r8, %rdx
movq -0x78(%rsp), %rax
xorq %r14, %rax
rorxq $0x25, %rax, %r9
movq 0x38(%rsp), %rax
xorq %r11, %rax
movq %r11, %rbx
rorxq $0x1c, %rax, %rcx
movq -0x20(%rsp), %rax
xorq %r15, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r9, %rsi
movq %rsi, -0x10(%rsp)
xorq %rsi, %r10
xorq %rdx, %r10
movq -0x28(%rsp), %rdx
movq 0x60(%rsp), %r11
xorq %r11, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x20(%rsp), %rsi
xorq %r13, %rsi
rorxq $0x8, %rsi, %r8
movq %rax, %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, -0x28(%rsp)
movq %r8, %rdi
andq %r9, %rdi
orq %rcx, %r9
notq %rdx
xorq %r8, %r9
movq %r9, 0x18(%rsp)
orq %rdx, %r8
xorq %rax, %r8
movq %r8, -0x78(%rsp)
xorq %rdx, %rdi
movq -0x60(%rsp), %rax
xorq (%rsp), %rax
movq %rbp, %rsi
xorq %rdi, %rsi
xorq %rax, %rsi
movq -0x18(%rsp), %rax
xorq -0x48(%rsp), %rax
movq %r12, %rdx
xorq %r9, %rdx
xorq %rax, %rdx
xorq 0x10(%rsp), %r11
movq %r13, %r8
xorq 0x48(%rsp), %r8
xorq -0x80(%rsp), %r14
movq %rbx, %rax
xorq -0x68(%rsp), %rax
xorq 0x40(%rsp), %r15
rorxq $0x2, %r11, %rcx
rorxq $0x9, %r8, %r12
rorxq $0x19, %r14, %r14
rorxq $0x17, %rax, %r13
rorxq $0x3e, %r15, %r15
andnq %r14, %r12, %rax
xorq %rcx, %rax
movq %rax, -0x80(%rsp)
movq %r15, %rbp
orq %rcx, %rbp
andq %r12, %rcx
notq %r12
movq %r13, %r8
andq %r15, %r8
xorq %r14, %r8
movq %r14, %rax
orq %r13, %rax
xorq %r12, %rax
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rbx
movq %rbx, %r14
xorq -0x8(%rsp), %r14
xorq -0x40(%rsp), %r14
movq -0x28(%rsp), %r9
xorq %rax, %r9
xorq %r14, %r9
movq 0x8(%rsp), %r14
movq -0x30(%rsp), %r11
xorq %r11, %r14
xorq -0x58(%rsp), %r14
movq -0x78(%rsp), %rax
xorq %r8, %rax
xorq %r14, %rax
xorq %r13, %rbp
movq %rbp, 0x20(%rsp)
xorq %r15, %rcx
xorq -0x80(%rsp), %r10
xorq %rbp, %rsi
xorq %rcx, %rdx
rorxq $0x3f, %rsi, %r14
xorq %r9, %r14
movq %r14, %r13
rorxq $0x3f, %r9, %r9
xorq %rdx, %r9
rorxq $0x3f, %rdx, %r12
xorq %rax, %r12
rorxq $0x3f, %rax, %rbp
xorq %r10, %rbp
rorxq $0x3f, %r10, %r14
xorq %rsi, %r14
movq -0x50(%rsp), %r15
xorq %r9, %r15
movq %r9, %r10
xorq %rbp, %rbx
rorxq $0x14, %rbx, %rdx
movq %r11, %rax
xorq %r13, %rax
movq %r13, %r11
rorxq $0x15, %rax, %r9
xorq %r12, %rdi
rorxq $0x2b, %rdi, %rsi
xorq %r14, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0xb(%rcx), %rdi
movq %r15, %rcx
xorq %r15, %rdi
movq %rdi, %r15
movq %r9, %rdi
notq %rdi
orq %rsi, %rdi
xorq %rdx, %rdi
movq %rdi, -0x70(%rsp)
movq %rax, %rdi
orq %rcx, %rdi
andq %rdx, %rcx
orq %r9, %rdx
xorq %rdx, %r15
movq %r15, %r13
movq %r15, -0x30(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x20(%rsp)
andq %rax, %rsi
xorq %r9, %rsi
movq %rsi, 0x10(%rsp)
xorq %rax, %rcx
movq %rcx, -0x50(%rsp)
movq -0x60(%rsp), %rax
xorq %r12, %rax
rorxq $0x24, %rax, %r9
movq -0x48(%rsp), %rax
xorq %r14, %rax
rorxq $0x2c, %rax, %rax
movq 0x28(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x3d, %rcx, %rcx
movq -0x28(%rsp), %rdx
xorq %rbp, %rdx
rorxq $0x13, %rdx, %rdx
movq %r11, %rbx
movq %r11, 0x60(%rsp)
xorq %r11, %r8
rorxq $0x3, %r8, %rsi
movq %rax, %rdi
orq %rcx, %rdi
xorq %r9, %rdi
movq %rdi, %r11
movq %rdi, 0x48(%rsp)
movq %rsi, %rdi
orq %r9, %rdi
andq %rax, %r9
xorq %rsi, %r9
movq %r9, -0x48(%rsp)
notq %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, -0x60(%rsp)
andq %rdx, %rcx
xorq %rax, %rcx
movq %rcx, 0x58(%rsp)
xorq %rdx, %rdi
movq %rdi, %r15
movq %rdi, 0x40(%rsp)
movq -0x40(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3f, %rax, %rdi
movq -0x58(%rsp), %rax
xorq %rbx, %rax
rorxq $0x3a, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x18(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x80(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r9
orq %rsi, %r9
andnq %rcx, %rdx, %r8
xorq %rsi, %r8
movq %r8, 0x18(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r8
orq %rdi, %r8
xorq %rdx, %r8
movq %r8, -0x38(%rsp)
xorq %rdi, %r9
movq %r9, -0x58(%rsp)
xorq %rax, %rsi
movq %rsi, -0x40(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x80(%rsp)
movq %r13, %rsi
xorq %r11, %rsi
movq -0x18(%rsp), %rax
xorq %r14, %rax
rorxq $0x25, %rax, %r8
movq 0x30(%rsp), %rax
xorq %r10, %rax
rorxq $0x1c, %rax, %rcx
movq -0x8(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rdx
andq %rax, %rdx
xorq %r8, %rdx
movq %rdx, -0x68(%rsp)
xorq %rdx, %r9
xorq %rsi, %r9
movq -0x78(%rsp), %rdx
movq 0x60(%rsp), %rbx
xorq %rbx, %rdx
rorxq $0x31, %rdx, %rsi
movq 0x20(%rsp), %rdx
xorq %r12, %rdx
rorxq $0x8, %rdx, %rdi
movq %rax, %rdx
orq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, %r13
movq %rdx, 0x68(%rsp)
movq %rdi, %r11
andq %r8, %r11
orq %rcx, %r8
notq %rsi
xorq %rdi, %r8
movq %r8, 0x30(%rsp)
orq %rsi, %rdi
xorq %rax, %rdi
movq %rdi, -0x28(%rsp)
xorq %rsi, %r11
movq -0x20(%rsp), %rax
xorq %r15, %rax
movq -0x38(%rsp), %r15
xorq %r11, %r15
xorq %rax, %r15
movq -0x50(%rsp), %rax
xorq -0x48(%rsp), %rax
movq -0x80(%rsp), %rdx
xorq %r8, %rdx
xorq %rax, %rdx
movq %rbx, %rcx
xorq 0x8(%rsp), %rcx
xorq (%rsp), %r12
xorq 0x50(%rsp), %r14
movq %r10, %rax
xorq -0x10(%rsp), %rax
xorq 0x38(%rsp), %rbp
rorxq $0x2, %rcx, %rcx
rorxq $0x9, %r12, %r10
rorxq $0x19, %r14, %r12
rorxq $0x17, %rax, %r8
rorxq $0x3e, %rbp, %rdi
andnq %r12, %r10, %rax
xorq %rcx, %rax
movq %rax, (%rsp)
movq %rdi, %rsi
orq %rcx, %rsi
andq %r10, %rcx
movq %r10, %r14
notq %r14
movq %r8, %r10
andq %rdi, %r10
xorq %r12, %r10
orq %r8, %r12
xorq %r14, %r12
movq %r12, -0x10(%rsp)
movq 0x58(%rsp), %rbx
movq %rbx, %r14
xorq -0x40(%rsp), %r14
xorq -0x70(%rsp), %r14
movq %r13, %rbp
xorq %r12, %rbp
xorq %r14, %rbp
movq 0x10(%rsp), %r14
movq 0x18(%rsp), %r13
xorq %r13, %r14
xorq -0x60(%rsp), %r14
movq -0x28(%rsp), %rax
xorq %r10, %rax
xorq %r14, %rax
xorq %r8, %rsi
movq %rsi, 0x28(%rsp)
xorq %rdi, %rcx
xorq (%rsp), %r9
xorq %rsi, %r15
xorq %rcx, %rdx
rorxq $0x3f, %r15, %r12
xorq %rbp, %r12
rorxq $0x3f, %rbp, %rsi
xorq %rdx, %rsi
rorxq $0x3f, %rdx, %rbp
xorq %rax, %rbp
rorxq $0x3f, %rax, %r14
xorq %r9, %r14
rorxq $0x3f, %r9, %r8
xorq %r15, %r8
movq -0x30(%rsp), %rdi
xorq %rsi, %rdi
movq %rbx, %rax
xorq %r14, %rax
rorxq $0x14, %rax, %rbx
xorq %r12, %r13
rorxq $0x15, %r13, %r9
xorq %rbp, %r11
rorxq $0x2b, %r11, %r11
xorq %r8, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x8009(%rcx), %rdx
movq %rdi, %rcx
xorq %rdi, %rdx
movq %rdx, %rdi
movq %r9, %rdx
notq %rdx
orq %r11, %rdx
xorq %rbx, %rdx
movq %rdx, 0x8(%rsp)
movq %rax, %rdx
orq %rcx, %rdx
andq %rbx, %rcx
orq %r9, %rbx
xorq %rbx, %rdi
movq %rdi, -0x78(%rsp)
xorq %r11, %rdx
movq %rdx, -0x8(%rsp)
andq %rax, %r11
xorq %r9, %r11
movq %r11, -0x18(%rsp)
xorq %rax, %rcx
movq %rcx, -0x30(%rsp)
movq -0x20(%rsp), %rax
xorq %rbp, %rax
rorxq $0x24, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x2c, %rax, %rax
movq -0x58(%rsp), %rcx
xorq %rsi, %rcx
rorxq $0x3d, %rcx, %r9
movq 0x68(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x13, %rcx, %r11
xorq %r12, %r10
rorxq $0x3, %r10, %rcx
movq %rax, %rdx
orq %r9, %rdx
xorq %rdi, %rdx
movq %rdx, %r13
movq %rdx, 0x38(%rsp)
movq %rcx, %rdx
orq %rdi, %rdx
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x48(%rsp)
notq %rcx
orq %r11, %rcx
xorq %r9, %rcx
movq %rcx, -0x58(%rsp)
andq %r11, %r9
xorq %rax, %r9
movq %r9, 0x58(%rsp)
xorq %r11, %rdx
movq %rdx, -0x20(%rsp)
movq -0x70(%rsp), %rax
xorq %r14, %rax
rorxq $0x3f, %rax, %rbx
movq -0x60(%rsp), %rax
xorq %r12, %rax
rorxq $0x3a, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x27, %rcx, %rcx
movq 0x30(%rsp), %rdx
xorq %r8, %rdx
rorxq $0x38, %rdx, %r10
movq (%rsp), %rdx
xorq %rsi, %rdx
movq %rsi, %r15
movq %rsi, 0x20(%rsp)
rorxq $0x2e, %rdx, %rdx
movq %rax, %rsi
orq %rcx, %rsi
andnq %rdx, %r10, %r9
xorq %rcx, %r9
movq %r9, (%rsp)
andq %r10, %rcx
notq %r10
movq %rdx, %r11
orq %rbx, %r11
xorq %r10, %r11
movq %r11, %r10
movq %r11, 0x18(%rsp)
movq %rsi, %r9
xorq %rbx, %r9
movq %r9, 0x30(%rsp)
xorq %rax, %rcx
movq %rcx, -0x70(%rsp)
andq %rax, %rbx
xorq %rdx, %rbx
movq %rbx, 0x50(%rsp)
movq -0x78(%rsp), %rcx
xorq %r13, %rcx
movq -0x50(%rsp), %rax
xorq %r8, %rax
rorxq $0x25, %rax, %rsi
movq 0x48(%rsp), %rax
xorq %r15, %rax
rorxq $0x1c, %rax, %rdx
movq -0x40(%rsp), %rax
xorq %r14, %rax
rorxq $0x36, %rax, %rax
movq %rdx, %rdi
andq %rax, %rdi
xorq %rsi, %rdi
movq %rdi, 0x48(%rsp)
movq %r9, %r13
xorq %rdi, %r13
xorq %rcx, %r13
movq -0x28(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x31, %rcx, %rcx
movq 0x28(%rsp), %rdi
xorq %rbp, %rdi
rorxq $0x8, %rdi, %r11
movq %rax, %r15
orq %rcx, %r15
xorq %rdx, %r15
movq %r11, %r9
andq %rsi, %r9
orq %rdx, %rsi
notq %rcx
xorq %r11, %rsi
movq %rsi, 0x28(%rsp)
orq %rcx, %r11
xorq %rax, %r11
movq %r11, -0x38(%rsp)
xorq %rcx, %r9
movq -0x8(%rsp), %rax
xorq -0x20(%rsp), %rax
movq %r10, %rdi
xorq %r9, %rdi
xorq %rax, %rdi
movq -0x30(%rsp), %rcx
xorq -0x48(%rsp), %rcx
movq %rbx, %rdx
xorq %rsi, %rdx
xorq %rcx, %rdx
xorq 0x10(%rsp), %r12
xorq 0x40(%rsp), %rbp
xorq -0x80(%rsp), %r8
movq 0x20(%rsp), %rax
xorq -0x68(%rsp), %rax
xorq -0x10(%rsp), %r14
rorxq $0x2, %r12, %r12
rorxq $0x9, %rbp, %rcx
rorxq $0x19, %r8, %r11
rorxq $0x17, %rax, %r8
rorxq $0x3e, %r14, %rbp
andnq %r11, %rcx, %rax
xorq %r12, %rax
movq %rax, -0x40(%rsp)
movq %rbp, %rbx
orq %r12, %rbx
andq %rcx, %r12
movq %rcx, %r14
notq %r14
movq %r8, %rcx
andq %rbp, %rcx
xorq %r11, %rcx
movq %r11, %rax
orq %r8, %rax
xorq %r14, %rax
movq %rax, -0x68(%rsp)
movq 0x58(%rsp), %r10
movq %r10, %r11
xorq -0x70(%rsp), %r11
xorq 0x8(%rsp), %r11
movq %r15, %r14
xorq %rax, %r14
xorq %r11, %r14
movq -0x18(%rsp), %r11
movq (%rsp), %rsi
xorq %rsi, %r11
xorq -0x58(%rsp), %r11
movq -0x38(%rsp), %rax
xorq %rcx, %rax
xorq %r11, %rax
xorq %r8, %rbx
movq %rbx, 0x20(%rsp)
xorq %rbp, %r12
xorq -0x40(%rsp), %r13
xorq %rbx, %rdi
xorq %r12, %rdx
rorxq $0x3f, %rdi, %r8
xorq %r14, %r8
movq %r8, %r11
rorxq $0x3f, %r14, %r8
xorq %rdx, %r8
rorxq $0x3f, %rdx, %r14
xorq %rax, %r14
rorxq $0x3f, %rax, %rdx
xorq %r13, %rdx
rorxq $0x3f, %r13, %rbp
xorq %rdi, %rbp
movq -0x78(%rsp), %rbx
xorq %r8, %rbx
movq %r10, %rax
xorq %rdx, %rax
movq %rdx, %r10
rorxq $0x14, %rax, %rdx
xorq %r11, %rsi
movq %r11, %r13
rorxq $0x15, %rsi, %rax
xorq %r14, %r9
rorxq $0x2b, %r9, %r9
xorq %rbp, %r12
rorxq $0x32, %r12, %rsi
movabsq $-0x7fffffffffffff80, %rdi # imm = 0x8000000000000080
leaq 0x7f83(%rdi), %r11
movq %rbx, %rdi
xorq %rbx, %r11
movq %r11, %rbx
movq %rax, %r11
notq %r11
orq %r9, %r11
xorq %rdx, %r11
movq %r11, (%rsp)
movq %rsi, %r11
orq %rdi, %r11
andq %rdx, %rdi
orq %rax, %rdx
xorq %rdx, %rbx
movq %rbx, -0x50(%rsp)
xorq %r9, %r11
movq %r11, -0x60(%rsp)
andq %rsi, %r9
xorq %rax, %r9
movq %r9, 0x10(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x78(%rsp)
movq -0x8(%rsp), %rax
xorq %r14, %rax
rorxq $0x24, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %rbp, %rax
rorxq $0x2c, %rax, %rax
movq 0x30(%rsp), %rdx
movq %r8, %r11
xorq %r8, %rdx
rorxq $0x3d, %rdx, %rbx
xorq %r10, %r15
rorxq $0x13, %r15, %rdx
xorq %r13, %rcx
rorxq $0x3, %rcx, %rcx
movq %rax, %rsi
orq %rbx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
movq %rsi, 0x30(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x10(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %rbx, %rcx
movq %rcx, -0x28(%rsp)
andq %rdx, %rbx
xorq %rax, %rbx
movq %rbx, 0x58(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x8(%rsp)
movq 0x8(%rsp), %rax
xorq %r10, %rax
movq %r10, %r15
rorxq $0x3f, %rax, %rdi
movq -0x58(%rsp), %rax
xorq %r13, %rax
movq %r13, %rbx
rorxq $0x3a, %rax, %rax
movq 0x18(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x28(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x40(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r8
orq %rsi, %r8
andnq %rcx, %rdx, %r10
xorq %rsi, %r10
movq %r10, 0x28(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r12
orq %rdi, %r12
xorq %rdx, %r12
movq %r12, -0x58(%rsp)
movq %r8, %r10
xorq %rdi, %r10
movq %r10, 0x8(%rsp)
xorq %rax, %rsi
movq %rsi, -0x80(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x40(%rsp)
movq -0x50(%rsp), %rdx
xorq %r9, %rdx
movq -0x30(%rsp), %rax
xorq %rbp, %rax
rorxq $0x25, %rax, %r8
movq 0x38(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rcx
movq -0x70(%rsp), %rax
xorq %r15, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r8, %rsi
movq %rsi, 0x40(%rsp)
movq %r10, %r9
xorq %rsi, %r9
xorq %rdx, %r9
movq -0x38(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x31, %rdx, %rdi
movq 0x20(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x8, %rdx, %r10
movq %rax, %r13
orq %rdi, %r13
xorq %rcx, %r13
movq %r10, %rsi
andq %r8, %rsi
orq %rcx, %r8
notq %rdi
xorq %r10, %r8
movq %r8, 0x18(%rsp)
orq %rdi, %r10
xorq %rax, %r10
movq %r10, -0x48(%rsp)
xorq %rdi, %rsi
movq -0x60(%rsp), %rax
xorq -0x8(%rsp), %rax
movq %r12, %rdx
xorq %rsi, %rdx
xorq %rax, %rdx
movq -0x78(%rsp), %rax
xorq -0x10(%rsp), %rax
movq -0x40(%rsp), %r12
xorq %r8, %r12
xorq %rax, %r12
movq %rbx, %rcx
xorq -0x18(%rsp), %rcx
xorq -0x20(%rsp), %r14
xorq 0x50(%rsp), %rbp
xorq 0x48(%rsp), %r11
xorq -0x68(%rsp), %r15
rorxq $0x2, %rcx, %rcx
rorxq $0x9, %r14, %r14
rorxq $0x19, %rbp, %rbp
rorxq $0x17, %r11, %r10
rorxq $0x3e, %r15, %r11
andnq %rbp, %r14, %rax
xorq %rcx, %rax
movq %rax, -0x20(%rsp)
movq %r11, %rdi
orq %rcx, %rdi
andq %r14, %rcx
movq %r14, %r8
notq %r8
movq %r10, %r14
andq %r11, %r14
xorq %rbp, %r14
movq %rbp, %rax
orq %r10, %rax
xorq %r8, %rax
movq %rax, 0x50(%rsp)
movq 0x58(%rsp), %rbx
movq %rbx, %r8
xorq -0x80(%rsp), %r8
xorq (%rsp), %r8
movq %r13, %rbp
xorq %rax, %rbp
xorq %r8, %rbp
movq 0x10(%rsp), %r8
movq 0x28(%rsp), %r15
xorq %r15, %r8
xorq -0x28(%rsp), %r8
movq -0x48(%rsp), %rax
xorq %r14, %rax
xorq %r8, %rax
xorq %r10, %rdi
movq %rdi, 0x20(%rsp)
xorq %r11, %rcx
xorq -0x20(%rsp), %r9
xorq %rdi, %rdx
xorq %rcx, %r12
rorxq $0x3f, %rdx, %rdi
xorq %rbp, %rdi
movq %rdi, %r11
rorxq $0x3f, %rbp, %r10
xorq %r12, %r10
rorxq $0x3f, %r12, %r8
xorq %rax, %r8
rorxq $0x3f, %rax, %r12
xorq %r9, %r12
rorxq $0x3f, %r9, %r9
xorq %rdx, %r9
movq -0x50(%rsp), %rdi
xorq %r10, %rdi
xorq %r12, %rbx
rorxq $0x14, %rbx, %rbx
xorq %r11, %r15
rorxq $0x15, %r15, %rbp
xorq %r8, %rsi
rorxq $0x2b, %rsi, %rdx
xorq %r9, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x7f82(%rcx), %rsi
movq %rdi, %rcx
xorq %rdi, %rsi
movq %rsi, %rdi
movq %rbp, %rsi
notq %rsi
orq %rdx, %rsi
xorq %rbx, %rsi
movq %rsi, -0x70(%rsp)
movq %rax, %rsi
orq %rcx, %rsi
andq %rbx, %rcx
orq %rbp, %rbx
xorq %rbx, %rdi
movq %rdi, -0x18(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x38(%rsp)
andq %rax, %rdx
xorq %rbp, %rdx
movq %rdx, -0x30(%rsp)
xorq %rax, %rcx
movq %rcx, -0x50(%rsp)
movq -0x60(%rsp), %rax
xorq %r8, %rax
rorxq $0x24, %rax, %rdi
movq -0x10(%rsp), %rax
xorq %r9, %rax
rorxq $0x2c, %rax, %rax
movq 0x8(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x3d, %rcx, %rbp
xorq %r12, %r13
rorxq $0x13, %r13, %rcx
movq %r11, %rbx
xorq %r11, %r14
rorxq $0x3, %r14, %rdx
movq %rax, %rsi
orq %rbp, %rsi
xorq %rdi, %rsi
movq %rsi, %r11
movq %rsi, 0x38(%rsp)
movq %rdx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x68(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %rbp, %rdx
movq %rdx, -0x60(%rsp)
andq %rcx, %rbp
xorq %rax, %rbp
movq %rbp, 0x60(%rsp)
xorq %rcx, %rsi
movq %rsi, 0x8(%rsp)
movq (%rsp), %rax
xorq %r12, %rax
rorxq $0x3f, %rax, %rdi
movq -0x28(%rsp), %rax
xorq %rbx, %rax
movq %rbx, %rbp
rorxq $0x3a, %rax, %rax
movq -0x58(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x18(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x20(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rbx
orq %rsi, %rbx
movq %rbx, %r14
andnq %rcx, %rdx, %rbx
xorq %rsi, %rbx
movq %rbx, (%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %rbx
orq %rdi, %rbx
xorq %rdx, %rbx
movq %rbx, -0x10(%rsp)
xorq %rdi, %r14
movq %r14, 0x28(%rsp)
xorq %rax, %rsi
movq %rsi, -0x20(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x58(%rsp)
movq -0x18(%rsp), %rcx
xorq %r11, %rcx
movq -0x78(%rsp), %rax
xorq %r9, %rax
rorxq $0x25, %rax, %rdx
movq 0x30(%rsp), %rax
xorq %r10, %rax
rorxq $0x1c, %rax, %rsi
movq -0x80(%rsp), %rax
xorq %r12, %rax
rorxq $0x36, %rax, %rax
movq %rsi, %rdi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, 0x48(%rsp)
movq %r14, %r11
xorq %rdi, %r11
xorq %rcx, %r11
movq -0x48(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x31, %rcx, %r14
movq 0x20(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x8, %rcx, %r15
movq %rax, %rcx
orq %r14, %rcx
xorq %rsi, %rcx
movq %rcx, -0x80(%rsp)
movq %r15, %rcx
andq %rdx, %rcx
orq %rsi, %rdx
notq %r14
xorq %r15, %rdx
movq %rdx, 0x58(%rsp)
orq %r14, %r15
xorq %rax, %r15
movq %r15, -0x28(%rsp)
xorq %r14, %rcx
movq -0x38(%rsp), %rax
xorq 0x8(%rsp), %rax
movq -0x10(%rsp), %r13
xorq %rcx, %r13
xorq %rax, %r13
movq -0x50(%rsp), %rax
xorq -0x68(%rsp), %rax
movq -0x58(%rsp), %rsi
xorq %rdx, %rsi
xorq %rax, %rsi
movq %rbp, %rax
xorq 0x10(%rsp), %rax
xorq -0x8(%rsp), %r8
xorq -0x40(%rsp), %r9
xorq 0x40(%rsp), %r10
xorq 0x50(%rsp), %r12
rorxq $0x2, %rax, %r15
rorxq $0x9, %r8, %rax
rorxq $0x19, %r9, %r14
rorxq $0x17, %r10, %rdx
rorxq $0x3e, %r12, %r8
andnq %r14, %rax, %rbp
xorq %r15, %rbp
movq %rbp, -0x40(%rsp)
movq %r8, %r10
orq %r15, %r10
andq %rax, %r15
movq %rax, %r12
notq %r12
movq %rdx, %r9
andq %r8, %r9
xorq %r14, %r9
movq %r14, %rax
orq %rdx, %rax
xorq %r12, %rax
movq %rax, 0x18(%rsp)
movq 0x60(%rsp), %rbx
movq %rbx, %r14
xorq -0x20(%rsp), %r14
xorq -0x70(%rsp), %r14
movq -0x80(%rsp), %r12
xorq %rax, %r12
xorq %r14, %r12
movq -0x30(%rsp), %r14
movq (%rsp), %rdi
xorq %rdi, %r14
xorq -0x60(%rsp), %r14
movq -0x28(%rsp), %rax
xorq %r9, %rax
xorq %r14, %rax
xorq %rdx, %r10
movq %r10, 0x20(%rsp)
xorq %r8, %r15
xorq %rbp, %r11
xorq %r10, %r13
xorq %r15, %rsi
rorxq $0x3f, %r13, %r14
xorq %r12, %r14
rorxq $0x3f, %r12, %rdx
xorq %rsi, %rdx
movq %rdx, 0x68(%rsp)
rorxq $0x3f, %rsi, %r10
xorq %rax, %r10
rorxq $0x3f, %rax, %r12
xorq %r11, %r12
rorxq $0x3f, %r11, %r8
xorq %r13, %r8
movq -0x18(%rsp), %rsi
xorq %rdx, %rsi
xorq %r12, %rbx
rorxq $0x14, %rbx, %r13
xorq %r14, %rdi
rorxq $0x15, %rdi, %r11
xorq %r10, %rcx
rorxq $0x2b, %rcx, %rbp
xorq %r8, %r15
rorxq $0x32, %r15, %rcx
movq %r11, %rax
notq %rax
orq %rbp, %rax
xorq %r13, %rax
movq %rax, (%rsp)
movq %rcx, %rdx
movq %rsi, %rax
orq %rsi, %rdx
movq %rdx, %rsi
movq %rax, %r15
andq %r13, %rax
movq %rax, %rdx
orq %r11, %r13
movabsq $-0x7fffffffffffff80, %rax # imm = 0x8000000000000080
xorq %rax, %r15
xorq %r13, %r15
movq %r15, -0x78(%rsp)
xorq %rbp, %rsi
movq %rsi, -0x48(%rsp)
andq %rcx, %rbp
xorq %r11, %rbp
movq %rbp, 0x10(%rsp)
xorq %rcx, %rdx
movq %rdx, -0x18(%rsp)
movq -0x38(%rsp), %rax
xorq %r10, %rax
rorxq $0x24, %rax, %r13
movq -0x68(%rsp), %rax
xorq %r8, %rax
rorxq $0x2c, %rax, %rcx
movq 0x28(%rsp), %rax
movq 0x68(%rsp), %rbp
xorq %rbp, %rax
rorxq $0x3d, %rax, %r11
movq -0x80(%rsp), %rax
xorq %r12, %rax
rorxq $0x13, %rax, %rdx
xorq %r14, %r9
rorxq $0x3, %r9, %rax
movq %rcx, %rsi
orq %r11, %rsi
xorq %r13, %rsi
movq %rsi, %r15
movq %rsi, 0x30(%rsp)
movq %rax, %rsi
orq %r13, %rsi
andq %rcx, %r13
xorq %rax, %r13
movq %r13, -0x38(%rsp)
notq %rax
orq %rdx, %rax
xorq %r11, %rax
movq %rax, -0x80(%rsp)
andq %rdx, %r11
xorq %rcx, %r11
movq %r11, -0x68(%rsp)
xorq %rdx, %rsi
movq %rsi, %r13
movq %rsi, 0x50(%rsp)
movq -0x70(%rsp), %rax
xorq %r12, %rax
rorxq $0x3f, %rax, %r9
movq -0x60(%rsp), %rax
xorq %r14, %rax
rorxq $0x3a, %rax, %rax
movq -0x10(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x27, %rcx, %rdi
movq 0x58(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x40(%rsp), %rcx
xorq %rbp, %rcx
movq %rbp, %r11
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %rdi, %rsi
movq %rsi, %rbp
andnq %rcx, %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, -0x60(%rsp)
andq %rdx, %rdi
notq %rdx
movq %rcx, %rsi
orq %r9, %rsi
xorq %rdx, %rsi
movq %rsi, -0x10(%rsp)
xorq %r9, %rbp
movq %rbp, -0x70(%rsp)
xorq %rax, %rdi
movq %rdi, -0x8(%rsp)
andq %rax, %r9
xorq %rcx, %r9
movq %r9, -0x40(%rsp)
movq -0x78(%rsp), %rdx
xorq %r15, %rdx
movq -0x50(%rsp), %rax
xorq %r8, %rax
rorxq $0x25, %rax, %rsi
movq 0x38(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rcx
movq -0x20(%rsp), %rax
xorq %r12, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rdi
andq %rax, %rdi
xorq %rsi, %rdi
movq %rdi, 0x40(%rsp)
xorq %rdi, %rbp
xorq %rdx, %rbp
movq -0x28(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x20(%rsp), %rdi
xorq %r10, %rdi
rorxq $0x8, %rdi, %r9
movq %rax, %r15
orq %rdx, %r15
xorq %rcx, %r15
movq %r9, %rbx
andq %rsi, %rbx
orq %rcx, %rsi
notq %rdx
xorq %r9, %rsi
movq %rsi, %rcx
movq %rsi, 0x38(%rsp)
orq %rdx, %r9
xorq %rax, %r9
movq %r9, -0x28(%rsp)
xorq %rdx, %rbx
movq -0x48(%rsp), %rax
xorq %r13, %rax
movq -0x10(%rsp), %r13
xorq %rbx, %r13
xorq %rax, %r13
movq -0x18(%rsp), %rax
xorq -0x38(%rsp), %rax
movq -0x40(%rsp), %rsi
xorq %rcx, %rsi
xorq %rax, %rsi
xorq -0x30(%rsp), %r14
xorq 0x8(%rsp), %r10
xorq -0x58(%rsp), %r8
xorq 0x48(%rsp), %r11
xorq 0x18(%rsp), %r12
rorxq $0x2, %r14, %rdx
rorxq $0x9, %r10, %rcx
rorxq $0x19, %r8, %r14
rorxq $0x17, %r11, %r10
rorxq $0x3e, %r12, %rdi
andnq %r14, %rcx, %rax
xorq %rdx, %rax
movq %rax, -0x30(%rsp)
movq %rdi, %r8
orq %rdx, %r8
andq %rcx, %rdx
notq %rcx
movq %r10, %r9
andq %rdi, %r9
xorq %r14, %r9
orq %r10, %r14
xorq %rcx, %r14
movq %r14, 0x18(%rsp)
movq -0x68(%rsp), %rcx
xorq -0x8(%rsp), %rcx
xorq (%rsp), %rcx
movq %r15, %r12
xorq %r14, %r12
xorq %rcx, %r12
movq 0x10(%rsp), %rcx
movq -0x60(%rsp), %r11
xorq %r11, %rcx
xorq -0x80(%rsp), %rcx
movq -0x28(%rsp), %rax
xorq %r9, %rax
xorq %rcx, %rax
xorq %r10, %r8
movq %r8, 0x28(%rsp)
xorq %rdi, %rdx
xorq -0x30(%rsp), %rbp
xorq %r8, %r13
xorq %rdx, %rsi
rorxq $0x3f, %r13, %rcx
xorq %r12, %rcx
movq %rcx, %rdi
movq %rcx, 0x58(%rsp)
rorxq $0x3f, %r12, %rcx
xorq %rsi, %rcx
rorxq $0x3f, %rsi, %r8
xorq %rax, %r8
rorxq $0x3f, %rax, %r10
xorq %rbp, %r10
rorxq $0x3f, %rbp, %r12
xorq %r13, %r12
movq -0x78(%rsp), %r13
xorq %rcx, %r13
movq %rcx, %r14
movq -0x68(%rsp), %rax
xorq %r10, %rax
rorxq $0x14, %rax, %rcx
xorq %rdi, %r11
rorxq $0x15, %r11, %r11
xorq %r8, %rbx
rorxq $0x2b, %rbx, %rbx
xorq %r12, %rdx
rorxq $0x32, %rdx, %rax
movq %r11, %rdx
notq %rdx
orq %rbx, %rdx
xorq %rcx, %rdx
movq %rdx, -0x20(%rsp)
movq %rax, %rsi
movq %r13, %rdx
orq %r13, %rsi
movq %rsi, %rbp
movq %r13, %rsi
andq %rcx, %rdx
movq %rdx, %r13
orq %r11, %rcx
movl $0x800a, %edx           # imm = 0x800A
xorq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, -0x50(%rsp)
xorq %rbx, %rbp
movq %rbp, -0x58(%rsp)
andq %rax, %rbx
xorq %r11, %rbx
movq %rbx, 0x8(%rsp)
xorq %rax, %r13
movq %r13, -0x78(%rsp)
movq -0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x24, %rax, %rsi
movq -0x38(%rsp), %rax
xorq %r12, %rax
rorxq $0x2c, %rax, %rax
movq -0x70(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x3d, %rcx, %rbp
xorq %r10, %r15
rorxq $0x13, %r15, %rdi
movq 0x58(%rsp), %r11
xorq %r11, %r9
rorxq $0x3, %r9, %rcx
movq %rax, %rdx
orq %rbp, %rdx
xorq %rsi, %rdx
movq %rdx, %r9
movq %rdx, -0x68(%rsp)
movq %rcx, %rdx
orq %rsi, %rdx
andq %rax, %rsi
xorq %rcx, %rsi
movq %rsi, -0x48(%rsp)
notq %rcx
orq %rdi, %rcx
xorq %rbp, %rcx
movq %rcx, -0x60(%rsp)
andq %rdi, %rbp
xorq %rax, %rbp
movq %rbp, 0x20(%rsp)
xorq %rdi, %rdx
movq %rdx, -0x70(%rsp)
movq (%rsp), %rax
xorq %r10, %rax
rorxq $0x3f, %rax, %rsi
movq -0x80(%rsp), %rax
xorq %r11, %rax
movq %r11, %rbp
rorxq $0x3a, %rax, %rax
movq -0x10(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x27, %rcx, %rdx
movq 0x38(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x38, %rcx, %rdi
movq -0x30(%rsp), %rcx
xorq %r14, %rcx
movq %r14, %r15
rorxq $0x2e, %rcx, %rcx
movq %rax, %r13
orq %rdx, %r13
andnq %rcx, %rdi, %r11
xorq %rdx, %r11
movq %r11, -0x30(%rsp)
andq %rdi, %rdx
notq %rdi
movq %rcx, %r11
orq %rsi, %r11
xorq %rdi, %r11
movq %r11, -0x38(%rsp)
xorq %rsi, %r13
movq %r13, (%rsp)
xorq %rax, %rdx
movq %rdx, -0x80(%rsp)
andq %rax, %rsi
xorq %rcx, %rsi
movq %rsi, %r11
movq %rsi, 0x38(%rsp)
movq -0x50(%rsp), %rcx
xorq %r9, %rcx
movq -0x18(%rsp), %rax
xorq %r12, %rax
rorxq $0x25, %rax, %rbx
movq 0x30(%rsp), %rax
xorq %r14, %rax
rorxq $0x1c, %rax, %rdi
movq -0x8(%rsp), %rax
xorq %r10, %rax
rorxq $0x36, %rax, %rax
movq %rdi, %rdx
andq %rax, %rdx
xorq %rbx, %rdx
movq %rdx, 0x48(%rsp)
xorq %rdx, %r13
xorq %rcx, %r13
movq -0x28(%rsp), %rcx
xorq %rbp, %rcx
movq %rbp, %r14
rorxq $0x31, %rcx, %rdx
movq 0x28(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x8, %rcx, %rsi
movq %rax, %rbp
orq %rdx, %rbp
xorq %rdi, %rbp
movq %rsi, %r9
andq %rbx, %r9
orq %rdi, %rbx
notq %rdx
xorq %rsi, %rbx
movq %rbx, 0x28(%rsp)
orq %rdx, %rsi
xorq %rax, %rsi
movq %rsi, -0x18(%rsp)
xorq %rdx, %r9
movq -0x58(%rsp), %rax
xorq -0x70(%rsp), %rax
movq -0x38(%rsp), %rsi
xorq %r9, %rsi
xorq %rax, %rsi
movq -0x78(%rsp), %rax
xorq -0x48(%rsp), %rax
movq %r11, %rdi
xorq %rbx, %rdi
xorq %rax, %rdi
xorq 0x10(%rsp), %r14
xorq 0x50(%rsp), %r8
xorq -0x40(%rsp), %r12
xorq 0x40(%rsp), %r15
xorq 0x18(%rsp), %r10
rorxq $0x2, %r14, %rcx
rorxq $0x9, %r8, %r8
rorxq $0x19, %r12, %r11
rorxq $0x17, %r15, %rdx
rorxq $0x3e, %r10, %rbx
andnq %r11, %r8, %rax
xorq %rcx, %rax
movq %rax, -0x10(%rsp)
movq %rbx, %r12
orq %rcx, %r12
andq %r8, %rcx
notq %r8
movq %rdx, %r10
andq %rbx, %r10
xorq %r11, %r10
movq %r11, %rax
orq %rdx, %rax
xorq %r8, %rax
movq %rax, 0x50(%rsp)
movq 0x20(%rsp), %r15
movq %r15, %r8
xorq -0x80(%rsp), %r8
xorq -0x20(%rsp), %r8
movq %rbp, %r11
xorq %rax, %r11
xorq %r8, %r11
movq 0x8(%rsp), %r8
movq -0x30(%rsp), %r14
xorq %r14, %r8
xorq -0x60(%rsp), %r8
movq -0x18(%rsp), %rax
xorq %r10, %rax
xorq %r8, %rax
xorq %rdx, %r12
movq %r12, 0x18(%rsp)
xorq %rbx, %rcx
xorq -0x10(%rsp), %r13
xorq %r12, %rsi
xorq %rcx, %rdi
rorxq $0x3f, %rsi, %rdx
xorq %r11, %rdx
movq %rdx, %rbx
rorxq $0x3f, %r11, %rdx
xorq %rdi, %rdx
movq %rdx, 0x60(%rsp)
rorxq $0x3f, %rdi, %r11
xorq %rax, %r11
rorxq $0x3f, %rax, %r12
xorq %r13, %r12
rorxq $0x3f, %r13, %r8
xorq %rsi, %r8
movq -0x50(%rsp), %rax
xorq %rdx, %rax
xorq %r12, %r15
rorxq $0x14, %r15, %r13
xorq %rbx, %r14
rorxq $0x15, %r14, %rdi
xorq %r11, %r9
rorxq $0x2b, %r9, %rdx
xorq %r8, %rcx
rorxq $0x32, %rcx, %rsi
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x7fffff8a(%rcx), %r9
movq %rax, %rcx
xorq %rax, %r9
movq %r9, %rax
movq %rdi, %r9
notq %r9
orq %rdx, %r9
xorq %r13, %r9
movq %r9, -0x40(%rsp)
movq %rsi, %r9
orq %rcx, %r9
andq %r13, %rcx
orq %rdi, %r13
xorq %r13, %rax
movq %rax, -0x30(%rsp)
xorq %rdx, %r9
movq %r9, -0x8(%rsp)
andq %rsi, %rdx
xorq %rdi, %rdx
movq %rdx, 0x10(%rsp)
xorq %rsi, %rcx
movq %rcx, -0x50(%rsp)
movq -0x58(%rsp), %rax
xorq %r11, %rax
rorxq $0x24, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x2c, %rax, %rax
movq (%rsp), %rcx
movq 0x60(%rsp), %r13
xorq %r13, %rcx
rorxq $0x3d, %rcx, %rcx
xorq %r12, %rbp
rorxq $0x13, %rbp, %rsi
xorq %rbx, %r10
rorxq $0x3, %r10, %rdx
movq %rax, %r9
orq %rcx, %r9
xorq %rdi, %r9
movq %r9, %r10
movq %r9, 0x30(%rsp)
movq %rdx, %r9
orq %rdi, %r9
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x28(%rsp)
notq %rdx
orq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x58(%rsp)
andq %rsi, %rcx
xorq %rax, %rcx
movq %rcx, 0x58(%rsp)
xorq %rsi, %r9
movq %r9, (%rsp)
movq -0x20(%rsp), %rax
xorq %r12, %rax
rorxq $0x3f, %rax, %r9
movq -0x60(%rsp), %rax
xorq %rbx, %rax
movq %rbx, %r15
rorxq $0x3a, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x27, %rcx, %rdx
movq 0x28(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x38, %rcx, %rsi
movq -0x10(%rsp), %rcx
xorq %r13, %rcx
movq %r13, %rbx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rdi
orq %rdx, %rdi
movq %rdi, %r14
andnq %rcx, %rsi, %rdi
xorq %rdx, %rdi
movq %rdi, -0x60(%rsp)
andq %rsi, %rdx
notq %rsi
movq %rcx, %rdi
movq %r9, %r13
orq %r9, %rdi
xorq %rsi, %rdi
movq %rdi, -0x48(%rsp)
xorq %r9, %r14
movq %r14, -0x38(%rsp)
xorq %rax, %rdx
movq %rdx, -0x20(%rsp)
andq %rax, %r13
xorq %rcx, %r13
movq %r13, 0x40(%rsp)
movq -0x30(%rsp), %rdx
xorq %r10, %rdx
movq -0x78(%rsp), %rax
xorq %r8, %rax
rorxq $0x25, %rax, %rdi
movq -0x68(%rsp), %rax
xorq %rbx, %rax
rorxq $0x1c, %rax, %rcx
movq -0x80(%rsp), %rax
xorq %r12, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %rdi, %rsi
movq %rsi, -0x68(%rsp)
xorq %rsi, %r14
xorq %rdx, %r14
movq -0x18(%rsp), %rdx
xorq %r15, %rdx
movq %r15, %r10
rorxq $0x31, %rdx, %rsi
movq 0x18(%rsp), %rdx
xorq %r11, %rdx
rorxq $0x8, %rdx, %r9
movq %rax, %rdx
orq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x80(%rsp)
movq %r9, %r15
andq %rdi, %r15
orq %rcx, %rdi
notq %rsi
xorq %r9, %rdi
movq %rdi, 0x28(%rsp)
orq %rsi, %r9
xorq %rax, %r9
movq %r9, -0x78(%rsp)
xorq %rsi, %r15
movq -0x8(%rsp), %rax
xorq (%rsp), %rax
movq -0x48(%rsp), %rbp
xorq %r15, %rbp
xorq %rax, %rbp
movq -0x50(%rsp), %rax
xorq -0x28(%rsp), %rax
movq %r13, %rsi
xorq %rdi, %rsi
xorq %rax, %rsi
movq %r10, %rax
xorq 0x8(%rsp), %rax
xorq -0x70(%rsp), %r11
xorq 0x38(%rsp), %r8
movq %rbx, %rdx
xorq 0x48(%rsp), %rdx
xorq 0x50(%rsp), %r12
rorxq $0x2, %rax, %rcx
rorxq $0x9, %r11, %rax
rorxq $0x19, %r8, %r11
rorxq $0x17, %rdx, %rdx
rorxq $0x3e, %r12, %rdi
andnq %r11, %rax, %rbx
xorq %rcx, %rbx
movq %rbx, 0x48(%rsp)
movq %rdi, %r13
orq %rcx, %r13
andq %rax, %rcx
movq %rax, %r12
notq %r12
movq %rdx, %r8
andq %rdi, %r8
xorq %r11, %r8
movq %r11, %rax
orq %rdx, %rax
xorq %r12, %rax
movq %rax, 0x18(%rsp)
movq 0x58(%rsp), %r10
movq %r10, %r11
xorq -0x20(%rsp), %r11
xorq -0x40(%rsp), %r11
movq -0x80(%rsp), %r12
xorq %rax, %r12
xorq %r11, %r12
movq 0x10(%rsp), %r11
movq -0x60(%rsp), %r9
xorq %r9, %r11
xorq -0x58(%rsp), %r11
movq -0x78(%rsp), %rax
xorq %r8, %rax
xorq %r11, %rax
xorq %rdx, %r13
movq %r13, 0x20(%rsp)
xorq %rdi, %rcx
xorq %rbx, %r14
xorq %r13, %rbp
xorq %rcx, %rsi
rorxq $0x3f, %rbp, %rdx
xorq %r12, %rdx
movq %rdx, %rbx
rorxq $0x3f, %r12, %rdx
xorq %rsi, %rdx
rorxq $0x3f, %rsi, %r13
xorq %rax, %r13
rorxq $0x3f, %rax, %r11
xorq %r14, %r11
rorxq $0x3f, %r14, %rdi
xorq %rbp, %rdi
movq -0x30(%rsp), %rsi
xorq %rdx, %rsi
movq %rdx, %r12
xorq %r11, %r10
rorxq $0x14, %r10, %r14
xorq %rbx, %r9
movq %rbx, %r10
rorxq $0x15, %r9, %rbx
xorq %r13, %r15
rorxq $0x2b, %r15, %r15
xorq %rdi, %rcx
rorxq $0x32, %rcx, %rax
movq %rbx, %rcx
notq %rcx
orq %r15, %rcx
xorq %r14, %rcx
movq %rcx, -0x70(%rsp)
movq %rax, %rdx
movq %rsi, %rcx
orq %rsi, %rdx
movq %rdx, %rbp
movq %rsi, %rdx
andq %r14, %rcx
movq %rcx, %rsi
orq %rbx, %r14
movabsq $-0x7fffffff7fff7f7f, %rcx # imm = 0x8000000080008081
xorq %rcx, %rdx
xorq %r14, %rdx
movq %rdx, -0x18(%rsp)
xorq %r15, %rbp
movq %rbp, -0x60(%rsp)
andq %rax, %r15
xorq %rbx, %r15
movq %r15, 0x8(%rsp)
xorq %rax, %rsi
movq %rsi, -0x30(%rsp)
movq -0x8(%rsp), %rax
xorq %r13, %rax
rorxq $0x24, %rax, %r15
movq -0x28(%rsp), %rax
xorq %rdi, %rax
rorxq $0x2c, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r12, %rcx
movq %r12, %r9
rorxq $0x3d, %rcx, %r14
movq -0x80(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x13, %rcx, %rdx
movq %r10, %r12
xorq %r10, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %rsi
orq %r14, %rsi
xorq %r15, %rsi
movq %rsi, %rbx
movq %rsi, 0x38(%rsp)
movq %rcx, %rsi
orq %r15, %rsi
andq %rax, %r15
xorq %rcx, %r15
movq %r15, -0x38(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r14, %rcx
movq %rcx, -0x28(%rsp)
andq %rdx, %r14
xorq %rax, %r14
movq %r14, -0x10(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x8(%rsp)
movq -0x40(%rsp), %rax
xorq %r11, %rax
rorxq $0x3f, %rax, %r10
movq -0x58(%rsp), %rax
xorq %r12, %rax
movq %r12, %r14
rorxq $0x3a, %rax, %rax
movq -0x48(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x27, %rcx, %r8
movq 0x28(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x38, %rcx, %rdx
movq %r9, %r12
movq %r9, 0x60(%rsp)
movq 0x48(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %r8, %rsi
andnq %rcx, %rdx, %r9
xorq %r8, %r9
movq %r9, -0x48(%rsp)
andq %rdx, %r8
notq %rdx
movq %rcx, %r15
orq %r10, %r15
xorq %rdx, %r15
movq %r15, 0x28(%rsp)
xorq %r10, %rsi
movq %rsi, %r9
movq %rsi, -0x40(%rsp)
xorq %rax, %r8
movq %r8, -0x80(%rsp)
andq %rax, %r10
xorq %rcx, %r10
movq %r10, %rbp
movq %r10, 0x50(%rsp)
movq -0x18(%rsp), %rdx
xorq %rbx, %rdx
movq -0x50(%rsp), %rax
xorq %rdi, %rax
rorxq $0x25, %rax, %rsi
movq 0x30(%rsp), %rax
xorq %r12, %rax
rorxq $0x1c, %rax, %rcx
movq -0x20(%rsp), %rax
xorq %r11, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %r8
andq %rax, %r8
xorq %rsi, %r8
movq %r8, 0x48(%rsp)
movq %r9, %r10
xorq %r8, %r10
xorq %rdx, %r10
movq -0x78(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x31, %rdx, %r8
movq 0x20(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x8, %rdx, %rbx
movq %rax, %r12
orq %r8, %r12
xorq %rcx, %r12
movq %rbx, %rdx
andq %rsi, %rdx
orq %rcx, %rsi
notq %r8
xorq %rbx, %rsi
movq %rsi, 0x20(%rsp)
orq %r8, %rbx
xorq %rax, %rbx
movq %rbx, -0x50(%rsp)
xorq %r8, %rdx
movq -0x60(%rsp), %rax
xorq -0x8(%rsp), %rax
movq %r15, %rbx
xorq %rdx, %rbx
xorq %rax, %rbx
movq -0x30(%rsp), %rax
xorq -0x38(%rsp), %rax
movq %rbp, %r15
xorq %rsi, %r15
xorq %rax, %r15
xorq 0x10(%rsp), %r14
xorq (%rsp), %r13
xorq 0x40(%rsp), %rdi
movq 0x60(%rsp), %rsi
xorq -0x68(%rsp), %rsi
xorq 0x18(%rsp), %r11
rorxq $0x2, %r14, %rcx
rorxq $0x9, %r13, %rax
rorxq $0x19, %rdi, %rbp
rorxq $0x17, %rsi, %rsi
rorxq $0x3e, %r11, %r9
andnq %rbp, %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x58(%rsp)
movq %r9, %rdi
orq %rcx, %rdi
andq %rax, %rcx
movq %rax, %r11
notq %r11
movq %rsi, %r8
andq %r9, %r8
xorq %rbp, %r8
orq %rsi, %rbp
xorq %r11, %rbp
movq %rbp, 0x30(%rsp)
movq -0x10(%rsp), %r11
xorq -0x80(%rsp), %r11
xorq -0x70(%rsp), %r11
movq %r12, %r13
xorq %rbp, %r13
xorq %r11, %r13
movq 0x8(%rsp), %r11
movq -0x48(%rsp), %r14
xorq %r14, %r11
xorq -0x28(%rsp), %r11
movq -0x50(%rsp), %rax
xorq %r8, %rax
xorq %r11, %rax
xorq %rsi, %rdi
movq %rdi, 0x18(%rsp)
xorq %r9, %rcx
xorq -0x58(%rsp), %r10
xorq %rdi, %rbx
xorq %rcx, %r15
rorxq $0x3f, %rbx, %rbp
xorq %r13, %rbp
rorxq $0x3f, %r13, %rsi
xorq %r15, %rsi
rorxq $0x3f, %r15, %r11
xorq %rax, %r11
rorxq $0x3f, %rax, %r15
xorq %r10, %r15
rorxq $0x3f, %r10, %r13
xorq %rbx, %r13
movq -0x18(%rsp), %rdi
xorq %rsi, %rdi
movq %rsi, %r10
movq -0x10(%rsp), %rax
xorq %r15, %rax
rorxq $0x14, %rax, %rbx
xorq %rbp, %r14
rorxq $0x15, %r14, %r9
xorq %r11, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r13, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x8000(%rcx), %rsi
movq %rdi, %rcx
xorq %rdi, %rsi
movq %rsi, %rdi
movq %r9, %rsi
notq %rsi
orq %rdx, %rsi
xorq %rbx, %rsi
movq %rsi, (%rsp)
movq %rax, %rsi
orq %rcx, %rsi
andq %rbx, %rcx
orq %r9, %rbx
xorq %rbx, %rdi
movq %rdi, -0x78(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x20(%rsp)
andq %rax, %rdx
xorq %r9, %rdx
movq %rdx, 0x10(%rsp)
xorq %rax, %rcx
movq %rcx, -0x18(%rsp)
movq -0x60(%rsp), %rax
xorq %r11, %rax
rorxq $0x24, %rax, %rdi
movq -0x38(%rsp), %rax
xorq %r13, %rax
rorxq $0x2c, %rax, %rax
movq -0x40(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x3d, %rcx, %r14
xorq %r15, %r12
rorxq $0x13, %r12, %rdx
xorq %rbp, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %rsi
orq %r14, %rsi
xorq %rdi, %rsi
movq %rsi, %r8
movq %rsi, 0x40(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x48(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r14, %rcx
movq %rcx, -0x60(%rsp)
andq %rdx, %r14
xorq %rax, %r14
xorq %rdx, %rsi
movq %rsi, -0x40(%rsp)
movq -0x70(%rsp), %rax
xorq %r15, %rax
rorxq $0x3f, %rax, %rbx
movq -0x28(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3a, %rax, %rax
movq 0x28(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x20(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x38, %rcx, %rdx
movq %r10, %r12
movq %r10, 0x58(%rsp)
movq -0x58(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r9
orq %rsi, %r9
movq %r9, %r10
andnq %rcx, %rdx, %r9
xorq %rsi, %r9
movq %r9, -0x70(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r9
orq %rbx, %r9
xorq %rdx, %r9
movq %r9, -0x28(%rsp)
xorq %rbx, %r10
movq %r10, 0x28(%rsp)
xorq %rax, %rsi
movq %rsi, -0x58(%rsp)
andq %rax, %rbx
xorq %rcx, %rbx
movq %rbx, -0x68(%rsp)
movq -0x78(%rsp), %rdx
xorq %r8, %rdx
movq -0x30(%rsp), %rax
xorq %r13, %rax
rorxq $0x25, %rax, %r9
movq 0x38(%rsp), %rax
xorq %r12, %rax
rorxq $0x1c, %rax, %rcx
movq -0x80(%rsp), %rax
xorq %r15, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r9, %rsi
movq %rsi, -0x10(%rsp)
movq %r10, %r12
xorq %rsi, %r12
xorq %rdx, %r12
movq -0x50(%rsp), %rdx
xorq %rbp, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x18(%rsp), %rsi
xorq %r11, %rsi
rorxq $0x8, %rsi, %r8
movq %rax, %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, %r10
movq %rsi, 0x20(%rsp)
movq %r8, %rdi
andq %r9, %rdi
orq %rcx, %r9
notq %rdx
xorq %r8, %r9
movq %r9, 0x18(%rsp)
orq %rdx, %r8
xorq %rax, %r8
movq %r8, -0x38(%rsp)
xorq %rdx, %rdi
movq -0x20(%rsp), %rax
xorq -0x40(%rsp), %rax
movq -0x28(%rsp), %rsi
xorq %rdi, %rsi
xorq %rax, %rsi
movq -0x18(%rsp), %rdx
xorq -0x48(%rsp), %rdx
movq %rbx, %rcx
xorq %r9, %rcx
xorq %rdx, %rcx
xorq 0x8(%rsp), %rbp
xorq -0x8(%rsp), %r11
xorq 0x50(%rsp), %r13
movq 0x58(%rsp), %rax
xorq 0x48(%rsp), %rax
xorq 0x30(%rsp), %r15
rorxq $0x2, %rbp, %rbp
rorxq $0x9, %r11, %rdx
rorxq $0x19, %r13, %rbx
rorxq $0x17, %rax, %r8
rorxq $0x3e, %r15, %r9
andnq %rbx, %rdx, %rax
xorq %rbp, %rax
movq %rax, -0x80(%rsp)
movq %r9, %r13
orq %rbp, %r13
andq %rdx, %rbp
movq %rdx, %r11
notq %r11
movq %r8, %rdx
andq %r9, %rdx
xorq %rbx, %rdx
orq %r8, %rbx
xorq %r11, %rbx
movq %rbx, 0x38(%rsp)
movq %r14, %r11
xorq -0x58(%rsp), %r11
xorq (%rsp), %r11
movq %r10, %r15
xorq %rbx, %r15
xorq %r11, %r15
movq 0x10(%rsp), %r11
movq -0x70(%rsp), %r10
xorq %r10, %r11
xorq -0x60(%rsp), %r11
movq -0x38(%rsp), %rax
xorq %rdx, %rax
xorq %r11, %rax
xorq %r8, %r13
movq %r13, 0x30(%rsp)
xorq %r9, %rbp
xorq -0x80(%rsp), %r12
xorq %r13, %rsi
xorq %rbp, %rcx
rorxq $0x3f, %rsi, %rbx
xorq %r15, %rbx
rorxq $0x3f, %r15, %r8
xorq %rcx, %r8
movq %r8, %r9
rorxq $0x3f, %rcx, %r15
xorq %rax, %r15
rorxq $0x3f, %rax, %rax
xorq %r12, %rax
rorxq $0x3f, %r12, %r8
xorq %rsi, %r8
movq -0x78(%rsp), %r13
xorq %r9, %r13
movq %r9, %r11
xorq %rax, %r14
movq %rax, %r9
rorxq $0x14, %r14, %rcx
xorq %rbx, %r10
rorxq $0x15, %r10, %rax
xorq %r15, %rdi
rorxq $0x2b, %rdi, %r14
xorq %r8, %rbp
rorxq $0x32, %rbp, %rsi
movq %rax, %rdi
notq %rdi
orq %r14, %rdi
xorq %rcx, %rdi
movq %rdi, -0x70(%rsp)
movq %rsi, %r12
movq %r13, %rdi
orq %r13, %r12
movq %r12, %r13
movq %rdi, %r10
andq %rcx, %rdi
movq %rdi, %r12
orq %rax, %rcx
movl $0x80000001, %edi       # imm = 0x80000001
xorq %rdi, %r10
xorq %rcx, %r10
movq %r10, -0x50(%rsp)
xorq %r14, %r13
movq %r13, -0x30(%rsp)
andq %rsi, %r14
xorq %rax, %r14
movq %r14, -0x8(%rsp)
xorq %rsi, %r12
movq %r12, -0x78(%rsp)
movq -0x20(%rsp), %rax
xorq %r15, %rax
rorxq $0x24, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x2c, %rax, %rax
movq 0x28(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x3d, %rcx, %r12
movq %r9, %rbp
movq 0x20(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x13, %rcx, %rcx
xorq %rbx, %rdx
rorxq $0x3, %rdx, %rdx
movq %rax, %rsi
orq %r12, %rsi
xorq %rdi, %rsi
movq %rsi, %r10
movq %rsi, 0x48(%rsp)
movq %rdx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, 0x8(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r12, %rdx
movq %rdx, -0x20(%rsp)
andq %rcx, %r12
xorq %rax, %r12
movq %r12, -0x48(%rsp)
xorq %rcx, %rsi
movq %rsi, %r13
movq %rsi, 0x50(%rsp)
movq (%rsp), %rax
xorq %r9, %rax
rorxq $0x3f, %rax, %rdi
movq -0x60(%rsp), %rax
xorq %rbx, %rax
rorxq $0x3a, %rax, %rax
movq -0x28(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x18(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x80(%rsp), %rcx
xorq %r11, %rcx
movq %r11, %r12
rorxq $0x2e, %rcx, %rcx
movq %rax, %r14
orq %rsi, %r14
andnq %rcx, %rdx, %r9
xorq %rsi, %r9
movq %r9, 0x18(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r9
orq %rdi, %r9
xorq %rdx, %r9
movq %r9, -0x28(%rsp)
xorq %rdi, %r14
movq %r14, (%rsp)
xorq %rax, %rsi
movq %rsi, -0x60(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x80(%rsp)
movq -0x50(%rsp), %rdx
xorq %r10, %rdx
movq -0x18(%rsp), %rax
xorq %r8, %rax
rorxq $0x25, %rax, %r10
movq 0x40(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rcx
movq -0x58(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r10, %rsi
movq %rsi, -0x58(%rsp)
xorq %rsi, %r14
xorq %rdx, %r14
movq -0x38(%rsp), %rdx
xorq %rbx, %rdx
rorxq $0x31, %rdx, %rsi
movq 0x30(%rsp), %rdx
xorq %r15, %rdx
rorxq $0x8, %rdx, %rdi
movq %rax, %r11
orq %rsi, %r11
xorq %rcx, %r11
movq %rdi, %r9
andq %r10, %r9
orq %rcx, %r10
notq %rsi
xorq %rdi, %r10
movq %r10, 0x40(%rsp)
orq %rsi, %rdi
xorq %rax, %rdi
movq %rdi, -0x18(%rsp)
xorq %rsi, %r9
movq -0x30(%rsp), %rax
xorq %r13, %rax
movq -0x28(%rsp), %r13
xorq %r9, %r13
xorq %rax, %r13
movq -0x78(%rsp), %rax
xorq 0x8(%rsp), %rax
movq -0x80(%rsp), %rsi
xorq %r10, %rsi
xorq %rax, %rsi
xorq 0x10(%rsp), %rbx
xorq -0x40(%rsp), %r15
xorq -0x68(%rsp), %r8
xorq -0x10(%rsp), %r12
xorq 0x38(%rsp), %rbp
rorxq $0x2, %rbx, %rcx
rorxq $0x9, %r15, %r15
rorxq $0x19, %r8, %rbx
rorxq $0x17, %r12, %rdx
rorxq $0x3e, %rbp, %rdi
andnq %rbx, %r15, %r10
xorq %rcx, %r10
movq %rdi, %rbp
orq %rcx, %rbp
andq %r15, %rcx
notq %r15
movq %rdx, %r8
andq %rdi, %r8
xorq %rbx, %r8
movq %rbx, %rax
orq %rdx, %rax
xorq %r15, %rax
movq %rax, -0x38(%rsp)
movq -0x48(%rsp), %rbx
xorq -0x60(%rsp), %rbx
xorq -0x70(%rsp), %rbx
movq %r11, %r15
xorq %rax, %r15
xorq %rbx, %r15
movq -0x8(%rsp), %rbx
movq 0x18(%rsp), %r12
xorq %r12, %rbx
xorq -0x20(%rsp), %rbx
movq -0x18(%rsp), %rax
xorq %r8, %rax
xorq %rbx, %rax
xorq %rdx, %rbp
xorq %rdi, %rcx
xorq %r10, %r14
xorq %rbp, %r13
xorq %rcx, %rsi
rorxq $0x3f, %r13, %rdi
xorq %r15, %rdi
rorxq $0x3f, %r15, %r15
xorq %rsi, %r15
rorxq $0x3f, %rsi, %rbx
xorq %rax, %rbx
rorxq $0x3f, %rax, %rsi
xorq %r14, %rsi
rorxq $0x3f, %r14, %r14
xorq %r13, %r14
movq -0x50(%rsp), %r13
xorq %r15, %r13
xorq %r14, %rcx
rorxq $0x32, %rcx, %rax
movq %rax, %rcx
orq %r13, %rcx
vmovq %rcx, %xmm1
movq -0x48(%rsp), %rcx
xorq %rsi, %rcx
rorxq $0x14, %rcx, %rcx
xorq %rdi, %r12
rorxq $0x15, %r12, %rdx
xorq %rbx, %r9
rorxq $0x2b, %r9, %r9
movq %rcx, %r12
orq %rdx, %r12
vmovq %rdx, %xmm2
notq %rdx
orq %r9, %rdx
vmovq %r9, %xmm3
andq %rax, %r9
vmovq %r9, %xmm4
movq %r13, %r9
vmovq %rdx, %xmm5
xorq %r13, %r12
vmovq %r12, %xmm7
vpinsrq $0x1, %rcx, %xmm0, %xmm6
andq %rcx, %r9
xorq %rax, %r9
movq %r9, -0x50(%rsp)
movq -0x30(%rsp), %rax
xorq %rbx, %rax
rorxq $0x24, %rax, %r12
movq 0x8(%rsp), %rax
xorq %r14, %rax
rorxq $0x2c, %rax, %rax
movq (%rsp), %rcx
xorq %r15, %rcx
rorxq $0x3d, %rcx, %r13
xorq %rsi, %r11
rorxq $0x13, %r11, %rdx
xorq %rdi, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %r8
orq %r13, %r8
xorq %r12, %r8
movq %r8, (%rsp)
movq %rcx, %r8
orq %r12, %r8
andq %rax, %r12
xorq %rcx, %r12
movq %r12, -0x30(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r13, %rcx
movq %rcx, 0x8(%rsp)
andq %rdx, %r13
xorq %rax, %r13
movq %r13, -0x10(%rsp)
xorq %rdx, %r8
movq %r8, -0x40(%rsp)
movq -0x70(%rsp), %rax
xorq %rsi, %rax
rorxq $0x3f, %rax, %r13
movq -0x20(%rsp), %rax
xorq %rdi, %rax
rorxq $0x3a, %rax, %rax
movq -0x28(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x27, %rcx, %rcx
movq 0x40(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x38, %rdx, %rdx
xorq %r15, %r10
rorxq $0x2e, %r10, %r8
movq %rax, %r12
orq %rcx, %r12
andnq %r8, %rdx, %r9
xorq %rcx, %r9
movq %r9, -0x48(%rsp)
movq %rcx, %r10
andq %rdx, %r10
notq %rdx
movq %r8, %r9
orq %r13, %r9
xorq %rdx, %r9
movq %r9, 0x10(%rsp)
xorq %r13, %r12
movq %r12, -0x20(%rsp)
xorq %rax, %r10
andq %rax, %r13
xorq %r8, %r13
movq -0x78(%rsp), %rax
xorq %r14, %rax
rorxq $0x25, %rax, %r9
movq 0x48(%rsp), %rax
xorq %r15, %rax
rorxq $0x1c, %rax, %rcx
movq -0x60(%rsp), %rax
xorq %rsi, %rax
rorxq $0x36, %rax, %rax
movq -0x18(%rsp), %rdx
xorq %rdi, %rdx
rorxq $0x31, %rdx, %rdx
xorq %rbx, %rbp
rorxq $0x8, %rbp, %r8
movq %rcx, %r11
andq %rax, %r11
xorq %r9, %r11
movq %rax, %r12
orq %rdx, %r12
xorq %rcx, %r12
movq %r12, -0x78(%rsp)
movq %r8, %r12
andq %r9, %r12
orq %rcx, %r9
notq %rdx
xorq %r8, %r9
movq %r9, -0x70(%rsp)
orq %rdx, %r8
xorq %rax, %r8
xorq %rdx, %r12
movq %r12, %r9
xorq -0x8(%rsp), %rdi
xorq 0x50(%rsp), %rbx
xorq -0x80(%rsp), %r14
xorq -0x58(%rsp), %r15
xorq -0x38(%rsp), %rsi
rorxq $0x2, %rdi, %r12
rorxq $0x9, %rbx, %rcx
rorxq $0x19, %r14, %rdx
rorxq $0x17, %r15, %rdi
rorxq $0x3e, %rsi, %rsi
andnq %rdx, %rcx, %rax
xorq %r12, %rax
movq %rax, -0x8(%rsp)
movq %rsi, %rbx
orq %r12, %rbx
andq %rcx, %r12
notq %rcx
movq %rdi, %rax
andq %rsi, %rax
xorq %rdx, %rax
movq %rax, -0x60(%rsp)
orq %rdi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x58(%rsp)
xorq %rdi, %rbx
xorq %rsi, %r12
movq %r12, -0x18(%rsp)
vpunpcklqdq %xmm1, %xmm4, %xmm1 # xmm1 = xmm4[0],xmm1[0]
vpunpcklqdq %xmm5, %xmm7, %xmm4 # xmm4 = xmm7[0],xmm5[0]
vinserti128 $0x1, %xmm1, %ymm4, %ymm1
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vinserti128 $0x1, %xmm2, %ymm6, %ymm2
vpxor %ymm2, %ymm1, %ymm2
movq 0xa8(%rsp), %rax
movq 0x78(%rsp), %rdi
subq %rdi, %rax
movq 0xa0(%rsp), %rdx
addq 0x80(%rsp), %rdx
movq 0x88(%rsp), %rsi
jmp 0xd69a
movq %r15, %r14
movq %r11, %rdx
movq -0x68(%rsp), %rbp
movq %rcx, %r13
movq %r8, %r11
movq -0x70(%rsp), %rax
movq %r9, %rsi
movq -0x80(%rsp), %r9
jmp 0xdbc2
vmovdqa %ymm2, %ymm1
jmp 0xd9a2
movq 0x70(%rsp), %rcx
vmovdqu %ymm2, (%rcx)
movq -0x50(%rsp), %rdx
movq %rdx, 0x20(%rcx)
movq (%rsp), %rdx
movq %rdx, 0x28(%rcx)
movq -0x10(%rsp), %rdx
movq %rdx, 0x30(%rcx)
movq 0x8(%rsp), %rdx
movq %rdx, 0x38(%rcx)
movq -0x40(%rsp), %rdx
movq %rdx, 0x40(%rcx)
movq -0x30(%rsp), %rdx
movq %rdx, 0x48(%rcx)
movq -0x20(%rsp), %rdx
movq %rdx, 0x50(%rcx)
movq %r10, 0x58(%rcx)
movq -0x48(%rsp), %rdx
movq %rdx, 0x60(%rcx)
movq 0x10(%rsp), %rdx
movq %rdx, 0x68(%rcx)
movq %r13, 0x70(%rcx)
movq %r11, 0x78(%rcx)
movq -0x78(%rsp), %rdx
movq %rdx, 0x80(%rcx)
movq %r8, 0x88(%rcx)
movq %r9, 0x90(%rcx)
movq -0x70(%rsp), %rdx
movq %rdx, 0x98(%rcx)
movq -0x8(%rsp), %rdx
movq %rdx, 0xa0(%rcx)
movq -0x58(%rsp), %rdx
movq %rdx, 0xa8(%rcx)
movq -0x60(%rsp), %rdx
movq %rdx, 0xb0(%rcx)
movq %rbx, 0xb8(%rcx)
movq -0x18(%rsp), %rdx
movq %rdx, 0xc0(%rcx)
negq %rax
addq $0xb0, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq
nop