// File: /workspace/github_c_makefile_star2_O1/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 $0xa8, %rsp
movq (%rdi), %r13
movq 0x8(%rdi), %rax
movq %rax, -0x8(%rsp)
movq 0x10(%rdi), %r10
movq 0x18(%rdi), %rax
movq %rax, -0x58(%rsp)
movq 0x20(%rdi), %rax
movq %rax, -0x10(%rsp)
movq 0x28(%rdi), %rax
movq %rax, 0x20(%rsp)
movq 0x30(%rdi), %rax
movq %rax, -0x50(%rsp)
movq 0x38(%rdi), %rax
movq %rax, -0x20(%rsp)
movq 0x40(%rdi), %rax
movq %rax, -0x40(%rsp)
movq 0x48(%rdi), %r11
movq 0x50(%rdi), %rax
movq %rax, -0x60(%rsp)
movq 0x58(%rdi), %rax
movq %rax, -0x28(%rsp)
movq 0x60(%rdi), %r9
movq %r9, -0x68(%rsp)
movq 0x68(%rdi), %r9
movq %r9, -0x70(%rsp)
movq 0x70(%rdi), %rax
movq %rax, -0x48(%rsp)
movq 0x78(%rdi), %r9
movq %r9, 0x10(%rsp)
movq 0x80(%rdi), %r9
movq %r9, -0x78(%rsp)
movq 0x88(%rdi), %rbx
movq 0x90(%rdi), %r9
movq %r9, -0x38(%rsp)
movq 0x98(%rdi), %r15
movq 0xa0(%rdi), %r14
movq %r14, -0x80(%rsp)
movq 0xa8(%rdi), %r14
movq 0xb0(%rdi), %r9
movq 0xb8(%rdi), %rbp
movq %rbp, -0x30(%rsp)
movq %rdi, 0x70(%rsp)
movq 0xc0(%rdi), %rdi
movq %rdi, 0x8(%rsp)
leal (,%rsi,8), %edi
movq %rdi, 0x90(%rsp)
cmpq %rcx, %rdi
jbe 0xd8c3
movq %rcx, %rdi
movq 0x70(%rsp), %rsi
movq %r13, (%rsi)
movq -0x8(%rsp), %rdx
movq %rdx, 0x8(%rsi)
movq %r10, 0x10(%rsi)
movq -0x58(%rsp), %rdx
movq %rdx, 0x18(%rsi)
movq -0x10(%rsp), %rdx
movq %rdx, 0x20(%rsi)
movq 0x20(%rsp), %rax
movq %rax, 0x28(%rsi)
movq -0x50(%rsp), %rdx
movq %rdx, 0x30(%rsi)
movq -0x20(%rsp), %rdx
movq %rdx, 0x38(%rsi)
movq -0x40(%rsp), %rdx
movq %rdx, 0x40(%rsi)
movq %r11, 0x48(%rsi)
movq -0x60(%rsp), %rdx
movq %rdx, 0x50(%rsi)
movq -0x28(%rsp), %rax
movq %rax, 0x58(%rsi)
movq -0x68(%rsp), %rax
movq %rax, 0x60(%rsi)
movq -0x70(%rsp), %rax
movq %rax, 0x68(%rsi)
movq -0x48(%rsp), %rax
movq %rax, 0x70(%rsi)
movq 0x10(%rsp), %rax
movq %rax, 0x78(%rsi)
movq -0x78(%rsp), %rax
movq %rax, 0x80(%rsi)
movq %rbx, 0x88(%rsi)
movq -0x38(%rsp), %rax
movq %rax, 0x90(%rsi)
movq %r15, 0x98(%rsi)
movq -0x80(%rsp), %rax
movq %rax, 0xa0(%rsi)
movq %r14, 0xa8(%rsi)
movq %r9, 0xb0(%rsi)
movq -0x30(%rsp), %rax
movq %rax, 0xb8(%rsi)
movq 0x8(%rsp), %rax
movq %rax, 0xc0(%rsi)
subq %rdi, %rcx
movq %rcx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %esi, %edi
shlq $0x3, %rdi
movq %rdi, 0x78(%rsp)
movq %rcx, %rdi
movq %rcx, 0x88(%rsp)
movq %rsi, 0x80(%rsp)
cmpl $0x15, %esi
movq -0x60(%rsp), %r12
movq %rdi, 0xa0(%rsp)
movq %rdx, 0x98(%rsp)
jne 0xd9f9
movq %r9, -0x18(%rsp)
xorq (%rdx), %r13
movq -0x8(%rsp), %rcx
xorq 0x8(%rdx), %rcx
movq %rcx, -0x8(%rsp)
xorq 0x10(%rdx), %r10
movq -0x58(%rsp), %rcx
xorq 0x18(%rdx), %rcx
movq %rcx, -0x58(%rsp)
movq -0x10(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x10(%rsp)
movq 0x20(%rsp), %rax
xorq 0x28(%rdx), %rax
movq %rax, 0x20(%rsp)
movq -0x50(%rsp), %rax
xorq 0x30(%rdx), %rax
movq %rax, -0x50(%rsp)
movq -0x20(%rsp), %rcx
xorq 0x38(%rdx), %rcx
movq %rcx, -0x20(%rsp)
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
xorq 0x48(%rdx), %r11
xorq 0x50(%rdx), %r12
movq -0x28(%rsp), %rcx
xorq 0x58(%rdx), %rcx
movq %rcx, -0x28(%rsp)
movq -0x68(%rsp), %r8
xorq 0x60(%rdx), %r8
movq %r12, %r9
movq -0x70(%rsp), %r12
xorq 0x68(%rdx), %r12
movq -0x48(%rsp), %rcx
xorq 0x70(%rdx), %rcx
movq %rcx, -0x48(%rsp)
movq 0x10(%rsp), %rcx
xorq 0x78(%rdx), %rcx
movq %rcx, 0x10(%rsp)
movq -0x78(%rsp), %rax
xorq 0x80(%rdx), %rax
xorq 0x88(%rdx), %rbx
movq -0x38(%rsp), %rcx
xorq 0x90(%rdx), %rcx
movq %rcx, -0x38(%rsp)
xorq 0x98(%rdx), %r15
movq -0x80(%rsp), %rdi
xorq 0xa0(%rdx), %rdi
movq %r10, %rdx
movq %r11, %rbp
movq %rbx, %r10
jmp 0xdf77
cmpl $0xf, %esi
ja 0xda43
cmpl $0x7, %esi
movq %r9, -0x18(%rsp)
ja 0xdb48
cmpl $0x3, %esi
ja 0xdcaa
cmpl $0x1, %esi
ja 0xdda3
movq %r12, -0x60(%rsp)
movq %r15, %rcx
movq %r11, %rbp
testl %esi, %esi
je 0xda30
xorq (%rdx), %r13
movq %r10, %rdx
movq -0x70(%rsp), %r12
movq %rbx, %r10
movq %rcx, %r15
jmp 0xde23
xorq (%rdx), %r13
movq -0x8(%rsp), %rcx
xorq 0x8(%rdx), %rcx
movq %rcx, -0x8(%rsp)
xorq 0x10(%rdx), %r10
movq -0x58(%rsp), %rcx
xorq 0x18(%rdx), %rcx
movq %rcx, -0x58(%rsp)
movq -0x10(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x10(%rsp)
movq 0x20(%rsp), %rax
xorq 0x28(%rdx), %rax
movq %rax, 0x20(%rsp)
movq -0x50(%rsp), %rcx
xorq 0x30(%rdx), %rcx
movq %rcx, -0x50(%rsp)
movq -0x20(%rsp), %rcx
xorq 0x38(%rdx), %rcx
movq %rcx, -0x20(%rsp)
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
xorq 0x48(%rdx), %r11
xorq 0x50(%rdx), %r12
movq %r12, -0x60(%rsp)
movq -0x28(%rsp), %rax
xorq 0x58(%rdx), %rax
movq %rax, -0x28(%rsp)
movq -0x68(%rsp), %rcx
xorq 0x60(%rdx), %rcx
movq %rcx, -0x68(%rsp)
movq -0x70(%rsp), %rcx
xorq 0x68(%rdx), %rcx
movq -0x48(%rsp), %rax
xorq 0x70(%rdx), %rax
movq %rax, -0x48(%rsp)
movq 0x10(%rsp), %rbp
xorq 0x78(%rdx), %rbp
movq %rbp, 0x10(%rsp)
cmpl $0x17, %esi
ja 0xdbfe
cmpl $0x13, %esi
movq %r9, -0x18(%rsp)
ja 0xdd07
movq %r11, %rbp
cmpl $0x11, %esi
movq %rcx, -0x70(%rsp)
ja 0xdddf
movq %rbx, 0x18(%rsp)
movq %r13, %r9
cmpl $0x10, %esi
jne 0x12deb
movq %r9, %r13
movq %r10, %rdx
movq -0x70(%rsp), %r12
movq 0x18(%rsp), %r10
jmp 0xde23
movq %r15, 0x28(%rsp)
movq %r14, %r15
xorq (%rdx), %r13
movq -0x8(%rsp), %rcx
xorq 0x8(%rdx), %rcx
movq %rcx, -0x8(%rsp)
xorq 0x10(%rdx), %r10
movq -0x58(%rsp), %rcx
xorq 0x18(%rdx), %rcx
movq %rcx, -0x58(%rsp)
movq -0x10(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x10(%rsp)
movq 0x20(%rsp), %rax
xorq 0x28(%rdx), %rax
movq %rax, 0x20(%rsp)
movq -0x50(%rsp), %rcx
xorq 0x30(%rdx), %rcx
movq -0x20(%rsp), %r9
xorq 0x38(%rdx), %r9
movq %r9, -0x20(%rsp)
cmpl $0xb, %esi
movq %rcx, -0x50(%rsp)
ja 0xdd56
movq %r11, %rbp
cmpl $0x9, %esi
ja 0xde2d
movq %r12, %r11
movq %rbx, 0x18(%rsp)
movq %r10, %r9
movq %r13, %r10
cmpl $0x8, %esi
je 0xdbe1
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
movq %r10, %r13
movq %r9, %rdx
movq -0x70(%rsp), %r12
movq 0x18(%rsp), %r10
movq %r15, %r14
movq 0x28(%rsp), %r15
jmp 0xdea9
movq %r11, 0x40(%rsp)
movq %r10, (%rsp)
movq %r13, %r10
movq -0x78(%rsp), %rdi
xorq 0x80(%rdx), %rdi
movq %rdi, -0x78(%rsp)
xorq 0x88(%rdx), %rbx
movq %r9, %rbp
movq -0x38(%rsp), %rdi
xorq 0x90(%rdx), %rdi
movq %rdi, -0x38(%rsp)
xorq 0x98(%rdx), %r15
movq -0x80(%rsp), %rdi
xorq 0xa0(%rdx), %rdi
movq %rdi, -0x80(%rsp)
xorq 0xa8(%rdx), %r14
movq %r14, %rdi
xorq 0xb0(%rdx), %rbp
movq %rbp, -0x18(%rsp)
movq -0x30(%rsp), %r14
xorq 0xb8(%rdx), %r14
movq %r14, -0x30(%rsp)
cmpl $0x18, %esi
je 0xdc8b
movq 0x8(%rsp), %rsi
xorq 0xc0(%rdx), %rsi
movq %rsi, 0x8(%rsp)
movq %r10, %r13
movq (%rsp), %rdx
movq 0x40(%rsp), %rbp
movq %rcx, %r12
movq %rbx, %r10
movq %rdi, %r14
movq -0x60(%rsp), %r9
jmp 0xdf68
movq %r10, %r9
movq %r11, %rbp
xorq (%rdx), %r13
movq -0x8(%rsp), %rcx
xorq 0x8(%rdx), %rcx
movq %rcx, -0x8(%rsp)
xorq 0x10(%rdx), %r9
movq -0x58(%rsp), %rcx
xorq 0x18(%rdx), %rcx
movq %rcx, -0x58(%rsp)
cmpl $0x5, %esi
movq %r9, (%rsp)
movq %rbx, 0x18(%rsp)
movq %r12, %r11
movq %r13, %r9
ja 0xde69
cmpl $0x4, %esi
je 0xde98
movq -0x10(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x10(%rsp)
jmp 0xde98
movq -0x78(%rsp), %rbp
xorq 0x80(%rdx), %rbp
movq %rbp, -0x78(%rsp)
xorq 0x88(%rdx), %rbx
movq -0x38(%rsp), %r9
xorq 0x90(%rdx), %r9
movq %r9, -0x38(%rsp)
xorq 0x98(%rdx), %r15
cmpl $0x16, %esi
movq -0x60(%rsp), %r9
jae 0xdec0
movq %r10, %rdx
movq %r11, %rbp
movq %rcx, %r12
movq %rbx, %r10
jmp 0xdf68
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
xorq 0x48(%rdx), %r11
movq %r11, %rbp
xorq 0x50(%rdx), %r12
movq -0x28(%rsp), %rcx
xorq 0x58(%rdx), %rcx
movq %rcx, -0x28(%rsp)
movq %r12, %r9
cmpl $0xd, %esi
ja 0xdf1b
movq %r10, %rcx
movq %r13, %r10
cmpl $0xc, %esi
jne 0x12e11
movq %r10, %r13
movq %rcx, %rdx
jmp 0xdf58
movq %r12, %r9
movq %r14, %rcx
movq %r11, %rbp
xorq (%rdx), %r13
movq %r13, %r11
movq -0x8(%rsp), %rdi
xorq 0x8(%rdx), %rdi
movq %rdi, -0x8(%rsp)
cmpl $0x3, %esi
jne 0xddc9
xorq 0x10(%rdx), %r10
movq %r11, %r13
movq %r10, %rdx
movq -0x70(%rsp), %r12
movq %rbx, %r10
movq %rcx, %r14
jmp 0xdf68
movq %r10, (%rsp)
movq %r13, %rcx
movq -0x78(%rsp), %rdi
xorq 0x80(%rdx), %rdi
movq %rdi, -0x78(%rsp)
xorq 0x88(%rdx), %rbx
movq %rbx, %r10
cmpl $0x13, %esi
jne 0xde17
movq -0x38(%rsp), %rax
xorq 0x90(%rdx), %rax
movq %rax, -0x38(%rsp)
movq %rcx, %r13
movq (%rsp), %rdx
movq -0x70(%rsp), %r12
movq -0x80(%rsp), %rdi
jmp 0xdf0a
movq %r10, (%rsp)
movq %r13, %r10
movq -0x40(%rsp), %rcx
xorq 0x40(%rdx), %rcx
movq %rcx, -0x40(%rsp)
xorq 0x48(%rdx), %rbp
cmpl $0xb, %esi
jne 0xde4f
xorq 0x50(%rdx), %r12
movq %r10, %r13
movq (%rsp), %rdx
movq -0x70(%rsp), %rcx
movq %rbx, %r10
movq %r12, %r9
movq %rcx, %r12
jmp 0xdf60
movq -0x10(%rsp), %rcx
xorq 0x20(%rdx), %rcx
movq %rcx, -0x10(%rsp)
movq 0x20(%rsp), %rax
xorq 0x28(%rdx), %rax
movq %rax, 0x20(%rsp)
cmpl $0x7, %esi
jne 0xde98
movq -0x50(%rsp), %rax
xorq 0x30(%rdx), %rax
movq %rax, -0x50(%rsp)
movq %r9, %r13
movq (%rsp), %rdx
movq -0x70(%rsp), %r12
movq 0x18(%rsp), %r10
movq -0x80(%rsp), %rdi
movq -0x78(%rsp), %rax
movq -0x68(%rsp), %r8
movq %r11, %r9
jmp 0xdf77
movq %r15, 0x28(%rsp)
movq %r10, (%rsp)
movq %r13, %r15
movq -0x80(%rsp), %rdi
xorq 0xa0(%rdx), %rdi
xorq 0xa8(%rdx), %r14
cmpl $0x17, %esi
jne 0xdef5
movq -0x18(%rsp), %rsi
xorq 0xb0(%rdx), %rsi
movq %rsi, -0x18(%rsp)
movq %r15, %r13
movq (%rsp), %rdx
movq %r11, %rbp
movq %rcx, %r12
movq %rbx, %r10
movq 0x28(%rsp), %r15
movq -0x78(%rsp), %rax
movq -0x68(%rsp), %r8
movq -0x60(%rsp), %r9
jmp 0xdf77
movq %r10, (%rsp)
movq %r13, %r10
movq -0x68(%rsp), %rcx
xorq 0x60(%rdx), %rcx
movq %rcx, -0x68(%rsp)
movq -0x70(%rsp), %rcx
xorq 0x68(%rdx), %rcx
movq %rcx, -0x70(%rsp)
cmpl $0xf, %esi
jne 0xdf51
movq -0x48(%rsp), %rax
xorq 0x70(%rdx), %rax
movq %rax, -0x48(%rsp)
movq %r10, %r13
movq (%rsp), %rdx
movq -0x70(%rsp), %r12
movq %rbx, %r10
movq %r15, %r14
movq 0x28(%rsp), %r15
movq -0x80(%rsp), %rdi
movq -0x78(%rsp), %rax
movq -0x68(%rsp), %r8
movq %r9, -0x60(%rsp)
movq %r15, 0x28(%rsp)
movq %r12, -0x70(%rsp)
movq %rdi, -0x80(%rsp)
movq %r10, 0x18(%rsp)
movq %rdx, (%rsp)
movq %r14, 0x30(%rsp)
movq 0x10(%rsp), %rsi
xorq %rdi, %rsi
movq %r9, %rcx
xorq 0x20(%rsp), %rcx
xorq %rsi, %rcx
movq %rax, -0x78(%rsp)
xorq %r14, %rax
movq -0x28(%rsp), %rsi
movq -0x50(%rsp), %rbx
xorq %rbx, %rsi
xorq %rax, %rsi
xorq -0x18(%rsp), %r10
movq %r8, %r11
xorq -0x20(%rsp), %r8
xorq %r10, %r8
movq -0x38(%rsp), %r9
movq %r9, %rdi
xorq -0x30(%rsp), %rdi
movq %r12, %r10
xorq -0x40(%rsp), %r10
xorq %rdi, %r10
movq %r15, %rdi
movq 0x8(%rsp), %rax
xorq %rax, %rdi
movq -0x48(%rsp), %r15
xorq %rbp, %r15
xorq %rdi, %r15
xorq %r13, %rcx
xorq -0x8(%rsp), %rsi
xorq %rdx, %r8
movq %r13, %rdx
movq -0x58(%rsp), %r13
xorq %r13, %r10
movq -0x10(%rsp), %rdi
xorq %rdi, %r15
rorxq $0x3f, %r10, %r12
xorq %rsi, %r12
rorxq $0x3f, %rsi, %rsi
xorq %r15, %rsi
movq %rsi, 0x60(%rsp)
rorxq $0x3f, %r15, %r14
xorq %r8, %r14
rorxq $0x3f, %r8, %r15
xorq %rcx, %r15
movq %r15, 0x38(%rsp)
rorxq $0x3f, %rcx, %r8
xorq %r10, %r8
xorq %rsi, %rdx
xorq %r15, %rbx
rorxq $0x14, %rbx, %rcx
movq %r12, %rsi
xorq %r12, %r11
rorxq $0x15, %r11, %r15
movq %r14, %r12
xorq %r14, %r9
rorxq $0x2b, %r9, %r10
xorq %r8, %rax
movq -0x8(%rsp), %r11
movq -0x20(%rsp), %r9
rorxq $0x32, %rax, %rbx
movq %rcx, %rax
orq %r15, %rax
xorq %rdx, %rax
movq %rax, -0x50(%rsp)
movq %rbx, %rax
orq %rdx, %rax
andq %rcx, %rdx
xorq %rbx, %rdx
movq %rdx, 0x40(%rsp)
andq %r10, %rbx
xorq %r15, %rbx
movq %rbx, -0x38(%rsp)
notq %r15
orq %r10, %r15
xorq %rcx, %r15
movq %r15, 0x8(%rsp)
xorq %r10, %rax
movq %rax, -0x68(%rsp)
xorq %r14, %r13
rorxq $0x24, %r13, %rcx
xorq %r8, %rbp
rorxq $0x2c, %rbp, %r15
movq 0x60(%rsp), %r14
movq -0x60(%rsp), %rax
xorq %r14, %rax
rorxq $0x3d, %rax, %rbx
movq 0x38(%rsp), %rbp
movq -0x78(%rsp), %rax
xorq %rbp, %rax
rorxq $0x13, %rax, %r10
movq -0x18(%rsp), %rax
xorq %rsi, %rax
rorxq $0x3, %rax, %rdx
movq %r15, %rax
orq %rbx, %rax
xorq %rcx, %rax
movq %rax, -0x78(%rsp)
movq %rdx, %rax
notq %rax
orq %r10, %rax
xorq %rbx, %rax
movq %rax, -0x58(%rsp)
andq %r10, %rbx
xorq %r15, %rbx
movq %rbx, 0x48(%rsp)
andq %rcx, %r15
xorq %rdx, %r15
movq %r15, 0x50(%rsp)
orq %rcx, %rdx
xorq %r10, %rdx
movq %rdx, -0x60(%rsp)
xorq %rsi, %r9
rorxq $0x3a, %r9, %rax
movq -0x70(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x27, %rcx, %rcx
movq 0x28(%rsp), %rdx
xorq %r8, %rdx
rorxq $0x38, %rdx, %rdx
movq -0x80(%rsp), %r9
xorq %r14, %r9
rorxq $0x2e, %r9, %r9
movq %rax, %r10
orq %rcx, %r10
movq %r10, %rbx
movq %rdx, %r10
andq %rcx, %r10
andnq %r9, %rdx, %r15
xorq %rcx, %r15
movq %r15, 0x58(%rsp)
xorq %rbp, %r11
rorxq $0x3f, %r11, %rcx
notq %rdx
movq %r9, %r11
orq %rcx, %r11
xorq %rdx, %r11
movq %r11, -0x70(%rsp)
xorq %rcx, %rbx
movq %rbx, %r15
movq %rbx, -0x80(%rsp)
xorq %rax, %r10
movq %r10, -0x18(%rsp)
andq %rax, %rcx
xorq %r9, %rcx
movq %rcx, -0x20(%rsp)
xorq %r8, %rdi
rorxq $0x25, %rdi, %r9
movq 0x20(%rsp), %rax
xorq %r14, %rax
rorxq $0x1c, %rax, %r10
movq -0x28(%rsp), %rdi
xorq %rbp, %rdi
rorxq $0x36, %rdi, %rax
movq 0x18(%rsp), %rcx
xorq %rsi, %rcx
rorxq $0x31, %rcx, %rcx
movq %r10, %rdx
andq %rax, %rdx
xorq %r9, %rdx
movq %rdx, %rbx
movq %rdx, 0x18(%rsp)
movq %rax, %r13
orq %rcx, %r13
xorq %r10, %r13
movq %r9, %rdx
movq %r9, %r11
orq %r10, %rdx
movq %rdx, %r9
movq -0x30(%rsp), %rdx
movq %r12, %rdi
xorq %r12, %rdx
rorxq $0x8, %rdx, %r10
notq %rcx
andq %r10, %r11
xorq %r10, %r9
movq %r9, 0x28(%rsp)
orq %rcx, %r10
xorq %rax, %r10
movq %r10, -0x10(%rsp)
xorq %rcx, %r11
movq %rsi, %rcx
xorq (%rsp), %rcx
xorq -0x40(%rsp), %rdi
xorq -0x48(%rsp), %r8
movq %r14, %r9
xorq 0x10(%rsp), %r9
xorq 0x30(%rsp), %rbp
movq -0x50(%rsp), %rax
xorq $0x1, %rax
movq %rax, -0x50(%rsp)
rorxq $0x2, %rcx, %rdx
rorxq $0x9, %rdi, %rcx
rorxq $0x19, %r8, %r10
andnq %r10, %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, 0x30(%rsp)
xorq %rbx, %r15
xorq %rax, %r15
movq -0x78(%rsp), %r8
xorq %rdi, %r8
xorq %r15, %r8
rorxq $0x17, %r9, %rsi
rorxq $0x3e, %rbp, %rdi
movq %rdi, %rax
orq %rdx, %rax
andq %rcx, %rdx
notq %rcx
movq %rsi, %rbx
andq %rdi, %rbx
xorq %r10, %rbx
orq %rsi, %r10
xorq %rcx, %r10
movq %r10, (%rsp)
movq 0x48(%rsp), %r14
movq %r14, %rcx
xorq %r13, %rcx
xorq 0x8(%rsp), %rcx
movq -0x18(%rsp), %r12
xorq %r10, %r12
xorq %rcx, %r12
movq -0x58(%rsp), %r10
xorq -0x10(%rsp), %r10
movq %rbx, %rcx
xorq -0x38(%rsp), %rcx
movq 0x58(%rsp), %r15
xorq %r15, %rcx
xorq %r10, %rcx
xorq %rsi, %rax
movq %rax, 0x38(%rsp)
movq -0x70(%rsp), %r10
xorq -0x60(%rsp), %r10
movq %rax, %rsi
xorq -0x68(%rsp), %rsi
xorq %r10, %rsi
xorq %rdi, %rdx
movq 0x40(%rsp), %rdi
xorq %rdx, %rdi
movq -0x20(%rsp), %rax
xorq 0x50(%rsp), %rax
xorq %rdi, %rax
xorq %r11, %rsi
xorq 0x28(%rsp), %rax
rorxq $0x3f, %rsi, %r9
xorq %r12, %r9
rorxq $0x3f, %r12, %rdi
xorq %rax, %rdi
movq %rdi, -0x40(%rsp)
rorxq $0x3f, %rax, %r10
xorq %rcx, %r10
rorxq $0x3f, %rcx, %rcx
xorq %r8, %rcx
movq %rcx, 0x60(%rsp)
rorxq $0x3f, %r8, %r12
xorq %rsi, %r12
movq -0x50(%rsp), %rbp
xorq %rdi, %rbp
movq %r14, %rax
xorq %rcx, %rax
rorxq $0x14, %rax, %r14
xorq %r9, %r15
rorxq $0x15, %r15, %rax
xorq %r10, %r11
rorxq $0x2b, %r11, %rcx
xorq %r12, %rdx
rorxq $0x32, %rdx, %rdx
movq %r14, %rsi
orq %rax, %rsi
movq %rsi, %r8
movq %rcx, %rsi
andq %rdx, %rsi
xorq %rax, %rsi
movq %rsi, -0x8(%rsp)
movq %rax, %rsi
notq %rsi
orq %rcx, %rsi
movq %rdx, %rdi
movq %rbp, %rax
orq %rbp, %rdi
xorq %rcx, %rdi
movq %rdi, -0x30(%rsp)
xorq %rbp, %r8
movq %r8, 0x10(%rsp)
xorq %r14, %rsi
movq %rsi, -0x28(%rsp)
andq %r14, %rax
xorq %rdx, %rax
movq %rax, -0x50(%rsp)
movq -0x68(%rsp), %rax
xorq %r10, %rax
rorxq $0x24, %rax, %rdi
movq 0x50(%rsp), %rax
xorq %r12, %rax
rorxq $0x2c, %rax, %rax
movq -0x80(%rsp), %rcx
movq -0x40(%rsp), %r11
xorq %r11, %rcx
rorxq $0x3d, %rcx, %rdx
movq 0x60(%rsp), %r15
xorq %r15, %r13
rorxq $0x13, %r13, %rbp
movq %r9, %r8
xorq %r9, %rbx
rorxq $0x3, %rbx, %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, -0x68(%rsp)
notq %rcx
orq %rbp, %rcx
xorq %rbp, %rsi
movq %rsi, -0x48(%rsp)
andq %rdx, %rbp
xorq %rax, %rbp
movq %rbp, 0x58(%rsp)
xorq %rdx, %rcx
movq %rcx, -0x80(%rsp)
movq 0x8(%rsp), %rax
xorq %r15, %rax
rorxq $0x3f, %rax, %r9
movq -0x58(%rsp), %rax
xorq %r8, %rax
movq %r8, %rbx
rorxq $0x3a, %rax, %rax
movq -0x70(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x28(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x38, %rcx, %rdx
movq 0x30(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rdi
orq %rsi, %rdi
movq %rdi, %r11
andnq %rcx, %rdx, %rdi
xorq %rsi, %rdi
movq %rdi, 0x48(%rsp)
andq %rdx, %rsi
notq %rdx
movq %r9, %rdi
orq %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, 0x30(%rsp)
xorq %r9, %r11
movq %r11, 0x8(%rsp)
xorq %rax, %rsi
movq %rsi, -0x70(%rsp)
andq %rax, %r9
xorq %rcx, %r9
movq %r9, 0x50(%rsp)
movq 0x40(%rsp), %rax
xorq %r12, %rax
rorxq $0x25, %rax, %r14
movq -0x18(%rsp), %rax
xorq %r15, %rax
rorxq $0x36, %rax, %rcx
movq -0x10(%rsp), %rax
xorq %r8, %rax
rorxq $0x31, %rax, %rdx
movq 0x38(%rsp), %rax
xorq %r10, %rax
rorxq $0x8, %rax, %r13
movq %rcx, %rax
orq %rdx, %rax
notq %rdx
movq %r13, %rsi
orq %rdx, %rsi
movq %r13, %rbp
andq %r14, %rbp
xorq %rdx, %rbp
movq -0x30(%rsp), %r11
xorq -0x48(%rsp), %r11
xorq %rbp, %rdi
xorq %r11, %rdi
movq -0x78(%rsp), %r11
movq -0x40(%rsp), %r8
xorq %r8, %r11
rorxq $0x1c, %r11, %r11
xorq %rcx, %rsi
movq %rsi, -0x58(%rsp)
andq %r11, %rcx
xorq %r14, %rcx
movq %rcx, 0x28(%rsp)
xorq %r11, %rax
movq %rax, -0x78(%rsp)
orq %r11, %r14
xorq %r13, %r14
movq %r14, 0x38(%rsp)
movq -0x50(%rsp), %rax
xorq -0x68(%rsp), %rax
movq %r9, %r11
xorq %r14, %r11
xorq %rax, %r11
movq %rbx, %r9
xorq -0x38(%rsp), %r9
xorq -0x60(%rsp), %r10
xorq -0x20(%rsp), %r12
xorq 0x18(%rsp), %r8
movq %r8, %rsi
movq %r15, %r14
xorq (%rsp), %r14
movq 0x10(%rsp), %rax
xorq $0x8082, %rax           # imm = 0x8082
movq 0x20(%rsp), %rbx
xorq 0x8(%rsp), %rbx
xorq %rax, %rbx
rorxq $0x2, %r9, %rdx
rorxq $0x9, %r10, %r10
rorxq $0x19, %r12, %r8
andnq %r8, %r10, %r9
xorq %rdx, %r9
movq %r9, -0x18(%rsp)
xorq %r9, %rcx
xorq %rbx, %rcx
rorxq $0x17, %rsi, %rsi
rorxq $0x3e, %r14, %rbx
movq %rbx, %r12
orq %rdx, %r12
andq %r10, %rdx
movq %r10, %r15
notq %r15
xorq %rbx, %rdx
movq %rbx, %r10
andq %rsi, %r10
xorq %r8, %r10
movq %r8, %r9
orq %rsi, %r9
xorq %r15, %r9
movq %r9, -0x38(%rsp)
movq 0x58(%rsp), %r13
movq %r13, %r8
xorq -0x70(%rsp), %r8
xorq -0x28(%rsp), %r8
movq -0x78(%rsp), %rbx
xorq %r9, %rbx
xorq %r8, %rbx
movq -0x8(%rsp), %r8
movq 0x48(%rsp), %r14
xorq %r14, %r8
xorq -0x80(%rsp), %r8
movq -0x58(%rsp), %r15
xorq %r10, %r15
xorq %r8, %r15
xorq %rsi, %r12
movq %r12, (%rsp)
xorq %r12, %rdi
xorq %rdx, %r11
rorxq $0x3f, %rdi, %rsi
xorq %rbx, %rsi
movq %rsi, %r9
rorxq $0x3f, %rbx, %rsi
xorq %r11, %rsi
rorxq $0x3f, %r11, %rbx
xorq %r15, %rbx
rorxq $0x3f, %r15, %r8
xorq %rcx, %r8
movq %r8, 0x68(%rsp)
rorxq $0x3f, %rcx, %r12
xorq %rdi, %r12
xorq %rsi, %rax
movq %rsi, %r11
movq %r13, %rcx
xorq %r8, %rcx
rorxq $0x14, %rcx, %r8
xorq %r9, %r14
movq %r9, %r13
rorxq $0x15, %r14, %rcx
xorq %rbx, %rbp
rorxq $0x2b, %rbp, %rsi
xorq %r12, %rdx
rorxq $0x32, %rdx, %r14
movabsq $-0x7fffffffffffff80, %r15 # imm = 0x8000000000000080
movl $0x800a, %ebp           # imm = 0x800A
leaq (%r15,%rbp), %r9
xorq %rax, %r9
movq %r9, %rdi
movq %rcx, %rbp
notq %rbp
orq %rsi, %rbp
xorq %r8, %rbp
movq %rbp, -0x40(%rsp)
movq %r14, %r9
orq %rax, %r9
andq %r8, %rax
orq %rcx, %r8
xorq %r8, %rdi
movq %rdi, -0x10(%rsp)
xorq %rsi, %r9
movq %r9, -0x20(%rsp)
andq %r14, %rsi
xorq %rcx, %rsi
movq %rsi, 0x40(%rsp)
xorq %r14, %rax
movq %rax, 0x10(%rsp)
movq -0x30(%rsp), %rax
xorq %rbx, %rax
rorxq $0x24, %rax, %rdi
movq -0x68(%rsp), %rax
xorq %r12, %rax
rorxq $0x2c, %rax, %rax
movq 0x8(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x3d, %rcx, %rbp
movq 0x68(%rsp), %r8
movq -0x78(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x13, %rcx, %rcx
movq %r13, 0x60(%rsp)
xorq %r13, %r10
rorxq $0x3, %r10, %rdx
movq %rax, %rsi
orq %rbp, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
movq %rsi, 0x8(%rsp)
movq %rdx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x30(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %rbp, %rdx
movq %rdx, -0x60(%rsp)
andq %rcx, %rbp
xorq %rax, %rbp
movq %rbp, 0x48(%rsp)
xorq %rcx, %rsi
movq %rsi, -0x78(%rsp)
movq -0x28(%rsp), %rax
xorq %r8, %rax
rorxq $0x3f, %rax, %r10
movq -0x80(%rsp), %rax
xorq %r13, %rax
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x38(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x18(%rsp), %rcx
xorq %r11, %rcx
movq %r11, %r15
rorxq $0x2e, %rcx, %rcx
movq %rax, %r11
orq %rsi, %r11
andnq %rcx, %rdx, %rdi
xorq %rsi, %rdi
movq %rdi, -0x28(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r13
orq %r10, %r13
xorq %rdx, %r13
movq %r13, -0x68(%rsp)
xorq %r10, %r11
movq %r11, 0x18(%rsp)
xorq %rax, %rsi
movq %rsi, -0x80(%rsp)
andq %rax, %r10
xorq %rcx, %r10
movq %r10, %rbp
movq %r10, -0x18(%rsp)
movq -0x10(%rsp), %rdx
xorq %r9, %rdx
movq -0x50(%rsp), %rax
xorq %r12, %rax
rorxq $0x25, %rax, %rdi
movq 0x20(%rsp), %rax
xorq %r15, %rax
rorxq $0x1c, %rax, %rcx
movq -0x70(%rsp), %rax
xorq %r8, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %rdi, %rsi
movq %rsi, -0x70(%rsp)
xorq %rsi, %r11
xorq %rdx, %r11
movq -0x58(%rsp), %rdx
movq 0x60(%rsp), %r14
xorq %r14, %rdx
rorxq $0x31, %rdx, %rdx
movq (%rsp), %rsi
xorq %rbx, %rsi
rorxq $0x8, %rsi, %r9
movq %rax, %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, -0x58(%rsp)
movq %r9, %r10
andq %rdi, %r10
orq %rcx, %rdi
notq %rdx
xorq %r9, %rdi
movq %rdi, (%rsp)
orq %rdx, %r9
xorq %rax, %r9
movq %r9, -0x50(%rsp)
xorq %rdx, %r10
movq -0x20(%rsp), %rax
xorq -0x78(%rsp), %rax
movq %r13, %rdx
xorq %r10, %rdx
xorq %rax, %rdx
movq 0x10(%rsp), %rax
xorq -0x30(%rsp), %rax
movq %rbp, %r13
xorq %rdi, %r13
xorq %rax, %r13
movq %r14, %rcx
xorq -0x8(%rsp), %rcx
xorq -0x48(%rsp), %rbx
xorq 0x50(%rsp), %r12
movq %r15, %rax
xorq 0x28(%rsp), %rax
movq %r8, %rdi
xorq -0x38(%rsp), %rdi
rorxq $0x2, %rcx, %rcx
rorxq $0x9, %rbx, %rbx
rorxq $0x19, %r12, %r9
rorxq $0x17, %rax, %rbp
rorxq $0x3e, %rdi, %r12
andnq %r9, %rbx, %rax
xorq %rcx, %rax
movq %rax, -0x48(%rsp)
movq %r12, %r15
orq %rcx, %r15
andq %rbx, %rcx
notq %rbx
movq %rbp, %r8
andq %r12, %r8
xorq %r9, %r8
movq %r9, %rax
orq %rbp, %rax
xorq %rbx, %rax
movq %rax, 0x50(%rsp)
movq 0x48(%rsp), %r14
movq %r14, %r9
xorq -0x80(%rsp), %r9
xorq -0x40(%rsp), %r9
movq %rsi, %rbx
xorq %rax, %rbx
xorq %r9, %rbx
movq 0x40(%rsp), %r9
movq -0x28(%rsp), %rsi
xorq %rsi, %r9
xorq -0x60(%rsp), %r9
movq -0x50(%rsp), %rdi
xorq %r8, %rdi
xorq %r9, %rdi
xorq %rbp, %r15
movq %r15, 0x30(%rsp)
xorq %r12, %rcx
xorq -0x48(%rsp), %r11
xorq %r15, %rdx
xorq %rcx, %r13
rorxq $0x3f, %rdx, %rax
xorq %rbx, %rax
movq %rax, %r9
rorxq $0x3f, %rbx, %rbp
xorq %r13, %rbp
rorxq $0x3f, %r13, %r12
xorq %rdi, %r12
rorxq $0x3f, %rdi, %rdi
xorq %r11, %rdi
rorxq $0x3f, %r11, %r15
xorq %rdx, %r15
movq -0x10(%rsp), %rax
xorq %rbp, %rax
xorq %rdi, %r14
rorxq $0x14, %r14, %rbx
movq %rsi, %rdx
xorq %r9, %rdx
movq %r9, %rsi
rorxq $0x15, %rdx, %rdx
xorq %r12, %r10
rorxq $0x2b, %r10, %r10
xorq %r15, %rcx
rorxq $0x32, %rcx, %rcx
movabsq $-0x7fffffff7fff7f7f, %r9 # imm = 0x8000000080008081
leaq -0x81(%r9), %r11
movq %rax, %r9
xorq %rax, %r11
movq %rdx, %r13
notq %r13
orq %r10, %r13
xorq %rbx, %r13
movq %r13, -0x28(%rsp)
movq %rcx, %r13
orq %rax, %r13
andq %rbx, %r9
orq %rdx, %rbx
xorq %rbx, %r11
movq %r11, -0x8(%rsp)
xorq %r10, %r13
movq %r13, -0x38(%rsp)
andq %rcx, %r10
xorq %rdx, %r10
movq %r10, 0x20(%rsp)
xorq %rcx, %r9
movq %r9, -0x10(%rsp)
movq -0x20(%rsp), %rax
xorq %r12, %rax
rorxq $0x24, %rax, %r9
movq -0x30(%rsp), %rax
xorq %r15, %rax
rorxq $0x2c, %rax, %rax
movq 0x18(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x3d, %rcx, %r13
movq -0x58(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x13, %rcx, %rdx
movq %rsi, %r10
xorq %rsi, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %rbx
orq %r13, %rbx
xorq %r9, %rbx
movq %rbx, 0x18(%rsp)
movq %rcx, %rsi
orq %r9, %rsi
andq %rax, %r9
xorq %rcx, %r9
movq %r9, -0x30(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r13, %rcx
movq %rcx, -0x58(%rsp)
andq %rdx, %r13
xorq %rax, %r13
movq %r13, 0x60(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x20(%rsp)
movq -0x40(%rsp), %rax
xorq %rdi, %rax
rorxq $0x3f, %rax, %r9
movq -0x60(%rsp), %rax
xorq %r10, %rax
movq %r10, %r13
rorxq $0x3a, %rax, %rax
movq -0x68(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x27, %rcx, %rsi
movq (%rsp), %rcx
xorq %r15, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x48(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r14
orq %rsi, %r14
andnq %rcx, %rdx, %r8
xorq %rsi, %r8
movq %r8, 0x58(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r8
orq %r9, %r8
xorq %rdx, %r8
movq %r8, (%rsp)
xorq %r9, %r14
movq %r14, 0x38(%rsp)
xorq %rax, %rsi
movq %rsi, -0x48(%rsp)
andq %rax, %r9
xorq %rcx, %r9
movq %r9, -0x60(%rsp)
xorq %rbx, %r11
movq 0x10(%rsp), %rax
xorq %r15, %rax
rorxq $0x25, %rax, %r10
movq 0x8(%rsp), %rax
xorq %rbp, %rax
rorxq $0x1c, %rax, %rcx
movq -0x80(%rsp), %rax
xorq %rdi, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r10, %rsi
movq %rsi, 0x28(%rsp)
xorq %rsi, %r14
xorq %r11, %r14
movq -0x50(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x31, %rdx, %rsi
movq 0x30(%rsp), %rdx
xorq %r12, %rdx
rorxq $0x8, %rdx, %rbx
movq %rax, %rdx
orq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x40(%rsp)
movq %rbx, %r9
andq %r10, %r9
orq %rcx, %r10
notq %rsi
xorq %rbx, %r10
movq %r10, 0x8(%rsp)
orq %rsi, %rbx
xorq %rax, %rbx
movq %rbx, -0x68(%rsp)
xorq %rsi, %r9
movq -0x38(%rsp), %rax
xorq -0x20(%rsp), %rax
movq %r8, %rdx
xorq %r9, %rdx
xorq %rax, %rdx
movq -0x10(%rsp), %rax
xorq -0x30(%rsp), %rax
movq -0x60(%rsp), %rbx
xorq %r10, %rbx
xorq %rax, %rbx
movq %r13, %rax
xorq 0x40(%rsp), %rax
xorq -0x78(%rsp), %r12
xorq -0x18(%rsp), %r15
xorq -0x70(%rsp), %rbp
xorq 0x50(%rsp), %rdi
rorxq $0x2, %rax, %rcx
rorxq $0x9, %r12, %r8
rorxq $0x19, %r15, %r12
rorxq $0x17, %rbp, %r15
rorxq $0x3e, %rdi, %rsi
andnq %r12, %r8, %r13
xorq %rcx, %r13
movq %r13, 0x50(%rsp)
movq %rsi, %rbp
orq %rcx, %rbp
andq %r8, %rcx
movq %r8, %rdi
notq %rdi
movq %r15, %r8
andq %rsi, %r8
xorq %r12, %r8
movq %r12, %rax
orq %r15, %rax
xorq %rdi, %rax
movq %rax, 0x30(%rsp)
movq 0x60(%rsp), %r11
movq %r11, %rdi
xorq -0x48(%rsp), %rdi
xorq -0x28(%rsp), %rdi
movq -0x40(%rsp), %r12
xorq %rax, %r12
xorq %rdi, %r12
movq 0x20(%rsp), %rdi
movq 0x58(%rsp), %r10
xorq %r10, %rdi
xorq -0x58(%rsp), %rdi
movq -0x68(%rsp), %rax
xorq %r8, %rax
xorq %rdi, %rax
xorq %r15, %rbp
movq %rbp, 0x48(%rsp)
xorq %rsi, %rcx
xorq %r13, %r14
xorq %rbp, %rdx
xorq %rcx, %rbx
rorxq $0x3f, %rdx, %rbp
xorq %r12, %rbp
rorxq $0x3f, %r12, %rsi
xorq %rbx, %rsi
movq %rsi, 0x68(%rsp)
rorxq $0x3f, %rbx, %r15
xorq %rax, %r15
rorxq $0x3f, %rax, %r12
xorq %r14, %r12
rorxq $0x3f, %r14, %rbx
xorq %rdx, %rbx
movq -0x8(%rsp), %rdi
xorq %rsi, %rdi
xorq %r12, %r11
rorxq $0x14, %r11, %rsi
xorq %rbp, %r10
rorxq $0x15, %r10, %rdx
xorq %r15, %r9
rorxq $0x2b, %r9, %r9
xorq %rbx, %rcx
rorxq $0x32, %rcx, %rcx
movq %rsi, %rax
orq %rdx, %rax
movq %r9, %r14
andq %rcx, %r14
xorq %rdx, %r14
movq %r14, 0x10(%rsp)
movq %rdx, %r14
notq %r14
orq %r9, %r14
movq %rcx, %r13
orq %rdi, %r13
xorq %r9, %r13
movq %r13, -0x70(%rsp)
xorq %rdi, %rax
movq %rax, -0x50(%rsp)
xorq %rsi, %r14
movq %r14, -0x78(%rsp)
andq %rsi, %rdi
xorq %rcx, %rdi
movq %rdi, -0x8(%rsp)
movq -0x38(%rsp), %rax
xorq %r15, %rax
rorxq $0x24, %rax, %r9
movq -0x30(%rsp), %rax
xorq %rbx, %rax
rorxq $0x2c, %rax, %rax
movq 0x38(%rsp), %rcx
movq 0x68(%rsp), %rdi
xorq %rdi, %rcx
rorxq $0x3d, %rcx, %r14
movq -0x40(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x13, %rcx, %rcx
xorq %rbp, %r8
rorxq $0x3, %r8, %rdx
movq %rax, %r8
orq %r14, %r8
xorq %r9, %r8
movq %r8, 0x40(%rsp)
movq %rdx, %r8
orq %r9, %r8
andq %rax, %r9
xorq %rdx, %r9
movq %r9, -0x18(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r14, %rdx
movq %rdx, -0x80(%rsp)
andq %rcx, %r14
xorq %rax, %r14
xorq %rcx, %r8
movq %r8, -0x40(%rsp)
movq -0x28(%rsp), %rax
xorq %r12, %rax
rorxq $0x3f, %rax, %r9
movq -0x58(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3a, %rax, %rax
movq (%rsp), %rcx
xorq %r15, %rcx
rorxq $0x27, %rcx, %r8
movq 0x8(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x38, %rcx, %rdx
movq 0x50(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r10
orq %r8, %r10
movq %r10, %r11
andnq %rcx, %rdx, %rsi
xorq %r8, %rsi
movq %rsi, -0x28(%rsp)
andq %rdx, %r8
notq %rdx
movq %rcx, %r10
orq %r9, %r10
xorq %rdx, %r10
movq %r10, 0x8(%rsp)
xorq %r9, %r11
movq %r11, 0x50(%rsp)
xorq %rax, %r8
movq %r8, -0x58(%rsp)
andq %rax, %r9
xorq %rcx, %r9
movq %r9, %r11
movq %r9, (%rsp)
movq -0x10(%rsp), %rax
xorq %rbx, %rax
rorxq $0x25, %rax, %rsi
movq 0x18(%rsp), %rax
xorq %rdi, %rax
rorxq $0x1c, %rax, %r8
movq -0x48(%rsp), %rax
xorq %r12, %rax
rorxq $0x36, %rax, %rax
movq -0x68(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x31, %rcx, %rcx
movq 0x48(%rsp), %rdx
xorq %r15, %rdx
rorxq $0x8, %rdx, %r9
movq %r8, %rdx
andq %rax, %rdx
xorq %rsi, %rdx
movq %rdx, -0x48(%rsp)
movq %rax, %r13
orq %rcx, %r13
xorq %r8, %r13
movq %r9, %r10
andq %rsi, %r10
orq %r8, %rsi
notq %rcx
xorq %r9, %rsi
movq %rsi, 0x18(%rsp)
orq %rcx, %r9
xorq %rax, %r9
movq %r9, -0x30(%rsp)
xorq %rcx, %r10
movq -0x70(%rsp), %rcx
xorq -0x40(%rsp), %rcx
movq 0x8(%rsp), %rdx
xorq %r10, %rdx
xorq %rcx, %rdx
movq -0x8(%rsp), %rcx
xorq -0x18(%rsp), %rcx
movq %r11, %r8
xorq %rsi, %r8
xorq %rcx, %r8
xorq 0x20(%rsp), %rbp
xorq -0x20(%rsp), %r15
xorq -0x60(%rsp), %rbx
xorq 0x28(%rsp), %rdi
xorq 0x30(%rsp), %r12
movq -0x50(%rsp), %rax
xorq $0x808b, %rax           # imm = 0x808B
movq %rax, -0x50(%rsp)
movq 0x40(%rsp), %r11
xorq 0x50(%rsp), %r11
xorq %rax, %r11
rorxq $0x2, %rbp, %rbp
rorxq $0x9, %r15, %r9
rorxq $0x19, %rbx, %rcx
andnq %rcx, %r9, %rax
xorq %rbp, %rax
movq %rax, -0x68(%rsp)
movq -0x48(%rsp), %rsi
xorq %rax, %rsi
xorq %r11, %rsi
rorxq $0x17, %rdi, %r11
rorxq $0x3e, %r12, %rdi
movq %rdi, %r15
orq %rbp, %r15
andq %r9, %rbp
movq %r9, %rbx
notq %rbx
movq %r11, %r9
andq %rdi, %r9
xorq %rcx, %r9
movq %rcx, %rax
orq %r11, %rax
xorq %rbx, %rax
movq %rax, -0x60(%rsp)
movq %r14, %rcx
xorq -0x58(%rsp), %rcx
xorq -0x78(%rsp), %rcx
movq %r13, %r12
xorq %rax, %r12
xorq %rcx, %r12
movq 0x10(%rsp), %rcx
movq -0x28(%rsp), %rbx
xorq %rbx, %rcx
xorq -0x80(%rsp), %rcx
movq -0x30(%rsp), %rax
xorq %r9, %rax
xorq %rcx, %rax
xorq %r11, %r15
movq %r15, 0x30(%rsp)
xorq %rdi, %rbp
xorq %r15, %rdx
xorq %rbp, %r8
rorxq $0x3f, %rdx, %rcx
xorq %r12, %rcx
movq %rcx, %r15
rorxq $0x3f, %r12, %r11
xorq %r8, %r11
rorxq $0x3f, %r8, %r8
xorq %rax, %r8
rorxq $0x3f, %rax, %rcx
xorq %rsi, %rcx
movq %rcx, 0x60(%rsp)
rorxq $0x3f, %rsi, %rdi
xorq %rdx, %rdi
movq -0x50(%rsp), %rsi
xorq %r11, %rsi
xorq %rcx, %r14
rorxq $0x14, %r14, %rcx
xorq %r15, %rbx
movq %r15, %r14
rorxq $0x15, %rbx, %rbx
xorq %r8, %r10
rorxq $0x2b, %r10, %r12
xorq %rdi, %rbp
rorxq $0x32, %rbp, %rdx
movq %rbx, %r10
notq %r10
orq %r12, %r10
xorq %rcx, %r10
movq %r10, -0x28(%rsp)
movq %rdx, %r15
orq %rsi, %r15
movq %r15, %rbp
movq %rsi, %rax
andq %rcx, %rsi
orq %rbx, %rcx
movl $0x80000001, %r10d      # imm = 0x80000001
xorq %r10, %rax
xorq %rcx, %rax
movq %rax, -0x10(%rsp)
xorq %r12, %rbp
movq %rbp, -0x38(%rsp)
andq %rdx, %r12
xorq %rbx, %r12
movq %r12, 0x20(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x50(%rsp)
movq -0x70(%rsp), %rax
xorq %r8, %rax
rorxq $0x24, %rax, %rsi
movq -0x18(%rsp), %rax
xorq %rdi, %rax
rorxq $0x2c, %rax, %rax
movq 0x50(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x3d, %rcx, %rbp
movq 0x60(%rsp), %rbx
xorq %rbx, %r13
rorxq $0x13, %r13, %rcx
movq %r14, %r15
movq %r14, 0x38(%rsp)
xorq %r14, %r9
rorxq $0x3, %r9, %rdx
movq %rax, %r9
orq %rbp, %r9
xorq %rsi, %r9
movq %r9, %r14
movq %r9, 0x50(%rsp)
movq %rdx, %r9
orq %rsi, %r9
andq %rax, %rsi
xorq %rdx, %rsi
movq %rsi, -0x18(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %rbp, %rdx
movq %rdx, -0x70(%rsp)
andq %rcx, %rbp
xorq %rax, %rbp
movq %rbp, 0x48(%rsp)
xorq %rcx, %r9
movq %r9, -0x20(%rsp)
movq -0x78(%rsp), %rax
xorq %rbx, %rax
movq %rbx, %rbp
rorxq $0x3f, %rax, %r12
movq -0x80(%rsp), %rax
xorq %r15, %rax
rorxq $0x3a, %rax, %rax
movq 0x8(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x27, %rcx, %r9
movq 0x18(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x68(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %r9, %rsi
movq %rsi, %r15
andnq %rcx, %rdx, %rsi
xorq %r9, %rsi
movq %rsi, 0x58(%rsp)
andq %rdx, %r9
notq %rdx
movq %rcx, %rsi
orq %r12, %rsi
xorq %rdx, %rsi
movq %rsi, 0x8(%rsp)
xorq %r12, %r15
movq %r15, %r13
movq %r15, 0x18(%rsp)
xorq %rax, %r9
movq %r9, -0x78(%rsp)
andq %rax, %r12
xorq %rcx, %r12
movq %r12, 0x28(%rsp)
movq -0x10(%rsp), %rdx
xorq %r14, %rdx
movq -0x8(%rsp), %rax
xorq %rdi, %rax
rorxq $0x25, %rax, %rbx
movq 0x40(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rcx
movq -0x58(%rsp), %rax
movq %rbp, %r15
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %r10
andq %rax, %r10
xorq %rbx, %r10
movq %r10, -0x68(%rsp)
movq %r13, %r9
xorq %r10, %r9
xorq %rdx, %r9
movq -0x30(%rsp), %rdx
movq 0x38(%rsp), %rbp
xorq %rbp, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x30(%rsp), %r10
xorq %r8, %r10
rorxq $0x8, %r10, %r14
movq %rax, %r10
orq %rdx, %r10
xorq %rcx, %r10
movq %r10, -0x80(%rsp)
movq %r14, %r13
andq %rbx, %r13
orq %rcx, %rbx
notq %rdx
xorq %r14, %rbx
movq %rbx, 0x30(%rsp)
orq %rdx, %r14
xorq %rax, %r14
movq %r14, -0x30(%rsp)
xorq %rdx, %r13
movq -0x38(%rsp), %rcx
xorq -0x20(%rsp), %rcx
movq %rsi, %rax
xorq %r13, %rax
xorq %rcx, %rax
movq -0x50(%rsp), %rcx
xorq -0x18(%rsp), %rcx
movq %r12, %rdx
xorq %rbx, %rdx
xorq %rcx, %rdx
movq %rbp, %rcx
xorq 0x10(%rsp), %rcx
xorq -0x40(%rsp), %r8
xorq (%rsp), %rdi
xorq -0x48(%rsp), %r11
movq %r15, %rsi
xorq -0x60(%rsp), %rsi
rorxq $0x2, %rcx, %r14
rorxq $0x9, %r8, %rcx
rorxq $0x19, %rdi, %r12
rorxq $0x17, %r11, %r11
rorxq $0x3e, %rsi, %r10
andnq %r12, %rcx, %rbp
xorq %r14, %rbp
movq %rbp, -0x48(%rsp)
movq %r10, %rsi
orq %r14, %rsi
andq %rcx, %r14
notq %rcx
movq %r11, %r8
andq %r10, %r8
xorq %r12, %r8
orq %r11, %r12
xorq %rcx, %r12
movq %r12, 0x10(%rsp)
movq 0x48(%rsp), %r15
movq %r15, %rcx
xorq -0x78(%rsp), %rcx
xorq -0x28(%rsp), %rcx
movq -0x80(%rsp), %rdi
xorq %r12, %rdi
xorq %rcx, %rdi
movq 0x20(%rsp), %rcx
movq 0x58(%rsp), %rbx
xorq %rbx, %rcx
xorq -0x70(%rsp), %rcx
movq -0x30(%rsp), %r12
xorq %r8, %r12
xorq %rcx, %r12
xorq %r11, %rsi
movq %rsi, 0x38(%rsp)
xorq %r10, %r14
xorq %rbp, %r9
xorq %rsi, %rax
xorq %r14, %rdx
rorxq $0x3f, %rax, %rcx
xorq %rdi, %rcx
movq %rcx, %rsi
rorxq $0x3f, %rdi, %rcx
xorq %rdx, %rcx
movq %rcx, 0x60(%rsp)
rorxq $0x3f, %rdx, %rdi
xorq %r12, %rdi
rorxq $0x3f, %r12, %r11
xorq %r9, %r11
rorxq $0x3f, %r9, %r12
xorq %rax, %r12
movq -0x10(%rsp), %rax
xorq %rcx, %rax
xorq %r11, %r15
rorxq $0x14, %r15, %rdx
xorq %rsi, %rbx
movq %rsi, %r10
rorxq $0x15, %rbx, %rcx
xorq %rdi, %r13
rorxq $0x2b, %r13, %r13
xorq %r12, %r14
rorxq $0x32, %r14, %r9
movq %rcx, %rsi
notq %rsi
orq %r13, %rsi
xorq %rdx, %rsi
movq %rsi, -0x60(%rsp)
movq %r9, %r14
movq %rax, %rsi
orq %rax, %r14
movq %r14, %rax
movq %rsi, %r14
andq %rdx, %rsi
movq %rsi, %rbp
orq %rcx, %rdx
movabsq $-0x7fffffff7fff7f7f, %rsi # imm = 0x8000000080008081
xorq %rsi, %r14
xorq %rdx, %r14
movq %r14, 0x40(%rsp)
xorq %r13, %rax
movq %rax, -0x58(%rsp)
andq %r9, %r13
xorq %rcx, %r13
movq %r13, -0x8(%rsp)
xorq %r9, %rbp
movq %rbp, -0x10(%rsp)
movq -0x38(%rsp), %rax
xorq %rdi, %rax
rorxq $0x24, %rax, %rcx
movq -0x18(%rsp), %rax
xorq %r12, %rax
rorxq $0x2c, %rax, %rax
movq 0x18(%rsp), %rdx
movq 0x60(%rsp), %r13
xorq %r13, %rdx
rorxq $0x3d, %rdx, %rbp
movq -0x80(%rsp), %rdx
xorq %r11, %rdx
rorxq $0x13, %rdx, %rdx
movq %r10, %r9
xorq %r10, %r8
rorxq $0x3, %r8, %r8
movq %rax, %rsi
orq %rbp, %rsi
xorq %rcx, %rsi
movq %rsi, %r10
movq %rsi, (%rsp)
movq %r8, %rsi
orq %rcx, %rsi
andq %rax, %rcx
xorq %r8, %rcx
movq %rcx, -0x18(%rsp)
notq %r8
orq %rdx, %r8
xorq %rbp, %r8
movq %r8, -0x80(%rsp)
andq %rdx, %rbp
xorq %rax, %rbp
movq %rbp, 0x58(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x40(%rsp)
movq -0x28(%rsp), %rax
xorq %r11, %rax
rorxq $0x3f, %rax, %rsi
movq -0x70(%rsp), %rax
xorq %r9, %rax
movq %r9, %rbp
rorxq $0x3a, %rax, %rax
movq 0x8(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x27, %rcx, %r9
movq 0x30(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x38, %rcx, %r8
movq -0x48(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x2e, %rcx, %rdx
movq %rax, %rcx
orq %r9, %rcx
movq %rcx, %r15
andnq %rdx, %r8, %rcx
xorq %r9, %rcx
movq %rcx, 0x30(%rsp)
andq %r8, %r9
notq %r8
movq %rdx, %rcx
orq %rsi, %rcx
xorq %r8, %rcx
movq %rcx, -0x38(%rsp)
xorq %rsi, %r15
movq %r15, -0x70(%rsp)
xorq %rax, %r9
movq %r9, -0x28(%rsp)
andq %rax, %rsi
xorq %rdx, %rsi
movq %rsi, -0x48(%rsp)
movq %r14, %rdx
xorq %r10, %rdx
movq -0x50(%rsp), %rax
xorq %r12, %rax
rorxq $0x25, %rax, %rcx
movq 0x50(%rsp), %rax
xorq %r13, %rax
rorxq $0x1c, %rax, %r8
movq -0x78(%rsp), %rax
xorq %r11, %rax
rorxq $0x36, %rax, %rax
movq %r8, %rsi
andq %rax, %rsi
xorq %rcx, %rsi
movq %rsi, 0x50(%rsp)
movq %r15, %r10
xorq %rsi, %r10
xorq %rdx, %r10
movq -0x30(%rsp), %rdx
xorq %rbp, %rdx
rorxq $0x31, %rdx, %r9
movq 0x38(%rsp), %rdx
xorq %rdi, %rdx
rorxq $0x8, %rdx, %r14
movq %rax, %rdx
orq %r9, %rdx
xorq %r8, %rdx
movq %rdx, %r15
movq %rdx, -0x78(%rsp)
movq %r14, %rbx
andq %rcx, %rbx
orq %r8, %rcx
notq %r9
xorq %r14, %rcx
movq %rcx, 0x38(%rsp)
orq %r9, %r14
xorq %rax, %r14
movq %r14, 0x8(%rsp)
xorq %r9, %rbx
movq -0x58(%rsp), %rax
xorq -0x40(%rsp), %rax
movq -0x38(%rsp), %r14
xorq %rbx, %r14
xorq %rax, %r14
movq -0x10(%rsp), %rax
xorq -0x18(%rsp), %rax
movq -0x48(%rsp), %r8
xorq %rcx, %r8
xorq %rax, %r8
movq %rbp, %rcx
xorq 0x20(%rsp), %rcx
xorq -0x20(%rsp), %rdi
xorq 0x28(%rsp), %r12
movq %r13, %rax
xorq -0x68(%rsp), %rax
xorq 0x10(%rsp), %r11
rorxq $0x2, %rcx, %rdx
rorxq $0x9, %rdi, %r9
rorxq $0x19, %r12, %rcx
rorxq $0x17, %rax, %r12
rorxq $0x3e, %r11, %rsi
andnq %rcx, %r9, %rbp
xorq %rdx, %rbp
movq %rbp, -0x68(%rsp)
movq %rsi, %r11
orq %rdx, %r11
andq %r9, %rdx
notq %r9
movq %r12, %rdi
andq %rsi, %rdi
xorq %rcx, %rdi
movq %rcx, %rax
orq %r12, %rax
xorq %r9, %rax
movq %rax, 0x18(%rsp)
movq 0x58(%rsp), %r13
movq %r13, %rcx
xorq -0x28(%rsp), %rcx
xorq -0x60(%rsp), %rcx
movq %r15, %r9
xorq %rax, %r9
xorq %rcx, %r9
movq -0x8(%rsp), %rcx
movq 0x30(%rsp), %r15
xorq %r15, %rcx
xorq -0x80(%rsp), %rcx
movq 0x8(%rsp), %rax
xorq %rdi, %rax
xorq %rcx, %rax
xorq %r12, %r11
movq %r11, 0x48(%rsp)
xorq %rsi, %rdx
xorq %rbp, %r10
xorq %r11, %r14
xorq %rdx, %r8
rorxq $0x3f, %r14, %r12
xorq %r9, %r12
rorxq $0x3f, %r9, %r9
xorq %r8, %r9
rorxq $0x3f, %r8, %r11
xorq %rax, %r11
rorxq $0x3f, %rax, %r8
xorq %r10, %r8
rorxq $0x3f, %r10, %r10
xorq %r14, %r10
movq 0x40(%rsp), %rax
xorq %r9, %rax
xorq %r8, %r13
rorxq $0x14, %r13, %r14
xorq %r12, %r15
rorxq $0x15, %r15, %rsi
xorq %r11, %rbx
rorxq $0x2b, %rbx, %rbx
xorq %r10, %rdx
rorxq $0x32, %rdx, %rcx
movabsq $-0x7fffffffffffff80, %rdx # imm = 0x8000000000000080
leaq 0x7f89(%rdx), %rbp
movq %rax, %rdx
xorq %rax, %rbp
movq %rbp, %rax
movq %rsi, %rbp
notq %rbp
orq %rbx, %rbp
xorq %r14, %rbp
movq %rbp, -0x20(%rsp)
movq %rcx, %rbp
orq %rdx, %rbp
andq %r14, %rdx
orq %rsi, %r14
xorq %r14, %rax
movq %rax, 0x10(%rsp)
xorq %rbx, %rbp
movq %rbp, 0x20(%rsp)
andq %rcx, %rbx
xorq %rsi, %rbx
movq %rbx, -0x50(%rsp)
xorq %rcx, %rdx
movq %rdx, 0x40(%rsp)
movq -0x58(%rsp), %rax
xorq %r11, %rax
rorxq $0x24, %rax, %rbx
movq -0x18(%rsp), %rax
xorq %r10, %rax
rorxq $0x2c, %rax, %rax
movq -0x70(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x3d, %rcx, %rbp
movq -0x78(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x13, %rcx, %rcx
xorq %r12, %rdi
rorxq $0x3, %rdi, %rdx
movq %rax, %rsi
orq %rbp, %rsi
movq %rbx, %rdi
xorq %rbx, %rsi
movq %rsi, %rbx
movq %rsi, 0x30(%rsp)
movq %rdx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x30(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %rbp, %rdx
movq %rdx, -0x78(%rsp)
andq %rcx, %rbp
xorq %rax, %rbp
xorq %rcx, %rsi
movq %rsi, -0x70(%rsp)
movq -0x60(%rsp), %rax
xorq %r8, %rax
rorxq $0x3f, %rax, %rdi
movq -0x80(%rsp), %rax
xorq %r12, %rax
rorxq $0x3a, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x38(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x68(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r14
orq %rsi, %r14
movq %r14, %r15
andnq %rcx, %rdx, %r14
xorq %rsi, %r14
movq %r14, -0x58(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r14
orq %rdi, %r14
xorq %rdx, %r14
movq %r14, -0x68(%rsp)
movq %r15, %r14
xorq %rdi, %r14
movq %r14, -0x80(%rsp)
xorq %rax, %rsi
movq %rsi, -0x60(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, %r15
movq %rdi, 0x38(%rsp)
movq 0x10(%rsp), %rdx
xorq %rbx, %rdx
movq -0x10(%rsp), %rax
xorq %r10, %rax
rorxq $0x25, %rax, %rdi
movq (%rsp), %rax
xorq %r9, %rax
rorxq $0x1c, %rax, %rcx
movq -0x28(%rsp), %rax
xorq %r8, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %rdi, %rsi
movq %rsi, 0x28(%rsp)
movq %r14, %rbx
xorq %rsi, %rbx
xorq %rdx, %rbx
movq 0x8(%rsp), %rdx
xorq %r12, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x48(%rsp), %rsi
xorq %r11, %rsi
rorxq $0x8, %rsi, %r14
movq %rax, %r13
orq %rdx, %r13
xorq %rcx, %r13
movq %r13, -0x18(%rsp)
movq %r14, %rsi
andq %rdi, %rsi
orq %rcx, %rdi
notq %rdx
xorq %r14, %rdi
movq %rdi, 0x48(%rsp)
orq %rdx, %r14
xorq %rax, %r14
movq %r14, -0x38(%rsp)
xorq %rdx, %rsi
movq 0x20(%rsp), %rax
xorq -0x70(%rsp), %rax
movq -0x68(%rsp), %rdx
xorq %rsi, %rdx
xorq %rax, %rdx
movq 0x40(%rsp), %rax
xorq -0x30(%rsp), %rax
movq %r15, %r14
xorq %rdi, %r14
xorq %rax, %r14
xorq -0x8(%rsp), %r12
xorq -0x40(%rsp), %r11
xorq -0x48(%rsp), %r10
xorq 0x50(%rsp), %r9
xorq 0x18(%rsp), %r8
rorxq $0x2, %r12, %rax
rorxq $0x9, %r11, %rcx
rorxq $0x19, %r10, %r11
rorxq $0x17, %r9, %r10
rorxq $0x3e, %r8, %rdi
andnq %r11, %rcx, %r8
xorq %rax, %r8
movq %r8, -0x40(%rsp)
movq %rdi, %r9
orq %rax, %r9
andq %rcx, %rax
movq %rcx, %r15
notq %r15
movq %r10, %rcx
andq %rdi, %rcx
xorq %r11, %rcx
movq %r11, %r8
orq %r10, %r8
xorq %r15, %r8
movq %r8, 0x8(%rsp)
movq %rbp, %r11
xorq -0x60(%rsp), %r11
xorq -0x20(%rsp), %r11
movq %r13, %r15
xorq %r8, %r15
xorq %r11, %r15
movq -0x50(%rsp), %r11
movq -0x58(%rsp), %r13
xorq %r13, %r11
xorq -0x78(%rsp), %r11
movq -0x38(%rsp), %r12
xorq %rcx, %r12
xorq %r11, %r12
xorq %r10, %r9
movq %r9, 0x58(%rsp)
xorq %rdi, %rax
xorq -0x40(%rsp), %rbx
xorq %r9, %rdx
xorq %rax, %r14
rorxq $0x3f, %rdx, %r8
xorq %r15, %r8
rorxq $0x3f, %r15, %r9
xorq %r14, %r9
movq %r9, %rdi
movq %r9, 0x68(%rsp)
rorxq $0x3f, %r14, %r9
xorq %r12, %r9
rorxq $0x3f, %r12, %r14
xorq %rbx, %r14
rorxq $0x3f, %rbx, %r11
xorq %rdx, %r11
movq 0x10(%rsp), %r15
xorq %rdi, %r15
xorq %r14, %rbp
rorxq $0x14, %rbp, %rdx
xorq %r8, %r13
rorxq $0x15, %r13, %rbx
xorq %r9, %rsi
rorxq $0x2b, %rsi, %rsi
xorq %r11, %rax
rorxq $0x32, %rax, %rax
movq %rdx, %rdi
orq %rbx, %rdi
movq %rsi, %r10
andq %rax, %r10
xorq %rbx, %r10
movq %r10, -0x10(%rsp)
notq %rbx
orq %rsi, %rbx
movq %rax, %r12
movq %r15, %r10
orq %r15, %r12
xorq %rsi, %r12
movq %r12, -0x58(%rsp)
xorq %r15, %rdi
movq %rdi, -0x8(%rsp)
xorq %rdx, %rbx
movq %rbx, -0x28(%rsp)
andq %rdx, %r10
xorq %rax, %r10
movq %r10, 0x10(%rsp)
movq 0x20(%rsp), %rax
xorq %r9, %rax
rorxq $0x24, %rax, %r10
movq -0x30(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rax
movq -0x80(%rsp), %rdx
movq 0x68(%rsp), %rbx
xorq %rbx, %rdx
rorxq $0x3d, %rdx, %r12
movq -0x18(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x13, %rdx, %rdx
xorq %r8, %rcx
rorxq $0x3, %rcx, %rcx
movq %rax, %rsi
orq %r12, %rsi
xorq %r10, %rsi
movq %rsi, 0x20(%rsp)
movq %rcx, %rsi
orq %r10, %rsi
andq %rax, %r10
xorq %rcx, %r10
movq %r10, -0x18(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r12, %rcx
movq %rcx, -0x80(%rsp)
andq %rdx, %r12
xorq %rax, %r12
movq %r12, 0x60(%rsp)
xorq %rdx, %rsi
movq %rsi, %r10
movq %rsi, (%rsp)
movq -0x20(%rsp), %rax
xorq %r14, %rax
rorxq $0x3f, %rax, %rdi
movq -0x78(%rsp), %rax
xorq %r8, %rax
rorxq $0x3a, %rax, %rax
movq -0x68(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x48(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq %rbx, %rbp
movq -0x40(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rbx
orq %rsi, %rbx
movq %rbx, %r15
andnq %rcx, %rdx, %rbx
xorq %rsi, %rbx
movq %rbx, -0x40(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r12
orq %rdi, %r12
xorq %rdx, %r12
movq %r12, 0x50(%rsp)
xorq %rdi, %r15
movq %r15, -0x20(%rsp)
xorq %rax, %rsi
movq %rsi, -0x48(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, %rcx
movq %rdi, 0x18(%rsp)
movq 0x40(%rsp), %rax
xorq %r11, %rax
rorxq $0x25, %rax, %r15
movq 0x30(%rsp), %rax
xorq %rbp, %rax
rorxq $0x1c, %rax, %rsi
movq -0x60(%rsp), %rax
xorq %r14, %rax
rorxq $0x36, %rax, %rax
movq -0x38(%rsp), %rdx
xorq %r8, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x58(%rsp), %rdi
xorq %r9, %rdi
rorxq $0x8, %rdi, %rdi
movq %rsi, %rbx
andq %rax, %rbx
xorq %r15, %rbx
movq %rbx, -0x30(%rsp)
movq %rax, %rbx
orq %rdx, %rbx
xorq %rsi, %rbx
movq %rbx, -0x60(%rsp)
movq %rdi, %r13
andq %r15, %r13
orq %rsi, %r15
notq %rdx
xorq %rdi, %r15
movq %r15, 0x30(%rsp)
orq %rdx, %rdi
xorq %rax, %rdi
movq %rdi, -0x68(%rsp)
xorq %rdx, %r13
movq -0x58(%rsp), %rax
xorq %r10, %rax
movq %r12, %r10
xorq %r13, %r10
xorq %rax, %r10
movq 0x10(%rsp), %rax
xorq -0x18(%rsp), %rax
movq %rcx, %rdi
xorq %r15, %rdi
xorq %rax, %rdi
xorq -0x50(%rsp), %r8
xorq -0x70(%rsp), %r9
xorq 0x38(%rsp), %r11
movq %rbp, %rcx
xorq 0x28(%rsp), %rcx
xorq 0x8(%rsp), %r14
movq -0x8(%rsp), %rbp
xorq $0x8a, %rbp
movq 0x20(%rsp), %rax
xorq -0x20(%rsp), %rax
xorq %rbp, %rax
rorxq $0x2, %r8, %rsi
rorxq $0x9, %r9, %rdx
rorxq $0x19, %r11, %r11
andnq %r11, %rdx, %r9
xorq %rsi, %r9
movq %r9, -0x70(%rsp)
movq -0x30(%rsp), %r8
xorq %r9, %r8
xorq %rax, %r8
rorxq $0x17, %rcx, %r9
rorxq $0x3e, %r14, %rbx
movq %rbx, %r12
orq %rsi, %r12
andq %rdx, %rsi
notq %rdx
movq %r9, %r14
andq %rbx, %r14
xorq %r11, %r14
orq %r9, %r11
xorq %rdx, %r11
movq %r11, 0x28(%rsp)
movq 0x60(%rsp), %r15
movq %r15, %rax
xorq -0x48(%rsp), %rax
xorq -0x28(%rsp), %rax
movq -0x60(%rsp), %rdx
xorq %r11, %rdx
xorq %rax, %rdx
movq -0x10(%rsp), %rax
movq -0x40(%rsp), %r11
xorq %r11, %rax
xorq -0x80(%rsp), %rax
movq -0x68(%rsp), %rcx
xorq %r14, %rcx
xorq %rax, %rcx
xorq %r9, %r12
movq %r12, 0x38(%rsp)
xorq %rbx, %rsi
xorq %r12, %r10
xorq %rsi, %rdi
rorxq $0x3f, %r10, %r12
xorq %rdx, %r12
rorxq $0x3f, %rdx, %rax
xorq %rdi, %rax
movq %rax, %rdx
rorxq $0x3f, %rdi, %r9
xorq %rcx, %r9
rorxq $0x3f, %rcx, %rax
xorq %r8, %rax
rorxq $0x3f, %r8, %rdi
xorq %r10, %rdi
xorq %rdx, %rbp
movq %rdx, %r10
movq %r15, %rcx
xorq %rax, %rcx
movq %rax, %r15
rorxq $0x14, %rcx, %rdx
xorq %r12, %r11
rorxq $0x15, %r11, %rax
xorq %r9, %r13
rorxq $0x2b, %r13, %rcx
xorq %rdi, %rsi
rorxq $0x32, %rsi, %rsi
movq %rdx, %r8
orq %rax, %r8
movq %r8, %r11
movq %rcx, %r8
andq %rsi, %r8
xorq %rax, %r8
movq %r8, 0x40(%rsp)
movq %rax, %r8
notq %r8
orq %rcx, %r8
movq %rsi, %rbx
movq %rbp, %rax
orq %rbp, %rbx
xorq %rcx, %rbx
movq %rbx, -0x38(%rsp)
xorq %rbp, %r11
movq %r11, -0x50(%rsp)
xorq %rdx, %r8
movq %r8, -0x40(%rsp)
andq %rdx, %rax
xorq %rsi, %rax
movq %rax, -0x8(%rsp)
movq -0x58(%rsp), %rax
xorq %r9, %rax
rorxq $0x24, %rax, %r8
movq -0x18(%rsp), %rax
xorq %rdi, %rax
rorxq $0x2c, %rax, %rax
movq -0x20(%rsp), %rcx
movq %r10, %r11
xorq %r10, %rcx
rorxq $0x3d, %rcx, %r13
movq -0x60(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x13, %rcx, %rcx
xorq %r12, %r14
rorxq $0x3, %r14, %rdx
movq %rax, %rsi
orq %r13, %rsi
xorq %r8, %rsi
movq %rsi, -0x20(%rsp)
movq %rdx, %rsi
orq %r8, %rsi
andq %rax, %r8
xorq %rdx, %r8
movq %r8, 0x8(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r13, %rdx
movq %rdx, -0x78(%rsp)
andq %rcx, %r13
xorq %rax, %r13
xorq %rcx, %rsi
movq %rsi, -0x60(%rsp)
movq -0x28(%rsp), %rax
xorq %r15, %rax
movq %r15, %r14
rorxq $0x3f, %rax, %r8
movq -0x80(%rsp), %rax
xorq %r12, %rax
rorxq $0x3a, %rax, %rax
movq 0x50(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x30(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x70(%rsp), %rcx
xorq %r10, %rcx
movq %r10, 0x48(%rsp)
rorxq $0x2e, %rcx, %rcx
movq %rax, %r10
orq %rsi, %r10
movq %r10, %r15
andnq %rcx, %rdx, %r10
xorq %rsi, %r10
movq %r10, -0x28(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r10
orq %r8, %r10
xorq %rdx, %r10
movq %r10, 0x30(%rsp)
xorq %r8, %r15
movq %r15, -0x80(%rsp)
xorq %rax, %rsi
movq %rsi, -0x70(%rsp)
andq %rax, %r8
xorq %rcx, %r8
movq %r8, %rdx
movq %r8, 0x50(%rsp)
movq 0x10(%rsp), %rax
xorq %rdi, %rax
rorxq $0x25, %rax, %rbp
movq 0x20(%rsp), %rax
xorq %r11, %rax
rorxq $0x1c, %rax, %rbx
movq -0x48(%rsp), %rax
xorq %r14, %rax
movq %r14, %r11
rorxq $0x36, %rax, %rax
movq -0x68(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x31, %rcx, %rcx
movq 0x38(%rsp), %rsi
xorq %r9, %rsi
rorxq $0x8, %rsi, %rsi
movq %rbx, %r8
andq %rax, %r8
xorq %rbp, %r8
movq %r8, 0x10(%rsp)
movq %rax, %r8
orq %rcx, %r8
xorq %rbx, %r8
movq %r8, -0x48(%rsp)
movq %rsi, %r15
andq %rbp, %r15
orq %rbx, %rbp
notq %rcx
xorq %rsi, %rbp
movq %rbp, -0x68(%rsp)
orq %rcx, %rsi
xorq %rax, %rsi
movq %rsi, -0x18(%rsp)
xorq %rcx, %r15
movq -0x38(%rsp), %rax
xorq -0x60(%rsp), %rax
movq %r10, %rbx
xorq %r15, %rbx
xorq %rax, %rbx
movq -0x8(%rsp), %rax
xorq 0x8(%rsp), %rax
movq %rdx, %r14
xorq %rbp, %r14
xorq %rax, %r14
xorq -0x10(%rsp), %r12
xorq (%rsp), %r9
xorq 0x18(%rsp), %rdi
movq 0x48(%rsp), %rbp
xorq -0x30(%rsp), %rbp
movq %r11, %rax
xorq 0x28(%rsp), %rax
movq -0x50(%rsp), %rcx
xorq $0x88, %rcx
movq %rcx, -0x50(%rsp)
movq -0x20(%rsp), %rsi
xorq -0x80(%rsp), %rsi
xorq %rcx, %rsi
rorxq $0x2, %r12, %rcx
rorxq $0x9, %r9, %r12
rorxq $0x19, %rdi, %r11
andnq %r11, %r12, %rdx
xorq %rcx, %rdx
movq %rdx, 0x28(%rsp)
movq 0x10(%rsp), %rdi
xorq %rdx, %rdi
xorq %rsi, %rdi
rorxq $0x17, %rbp, %rdx
rorxq $0x3e, %rax, %r9
movq %r9, %rsi
orq %rcx, %rsi
andq %r12, %rcx
notq %r12
movq %rdx, %r10
andq %r9, %r10
xorq %r11, %r10
movq %r11, %rax
orq %rdx, %rax
xorq %r12, %rax
movq %rax, -0x30(%rsp)
movq %r13, %r11
xorq -0x70(%rsp), %r11
xorq -0x40(%rsp), %r11
movq %r8, %r12
xorq %rax, %r12
xorq %r11, %r12
movq 0x40(%rsp), %r11
movq -0x28(%rsp), %r8
xorq %r8, %r11
xorq -0x78(%rsp), %r11
movq -0x18(%rsp), %rax
xorq %r10, %rax
xorq %r11, %rax
xorq %rdx, %rsi
movq %rsi, 0x38(%rsp)
xorq %r9, %rcx
xorq %rsi, %rbx
xorq %rcx, %r14
rorxq $0x3f, %rbx, %rdx
xorq %r12, %rdx
movq %rdx, %r9
rorxq $0x3f, %r12, %rdx
xorq %r14, %rdx
rorxq $0x3f, %r14, %r14
xorq %rax, %r14
rorxq $0x3f, %rax, %rbp
xorq %rdi, %rbp
rorxq $0x3f, %rdi, %r11
xorq %rbx, %r11
movq -0x50(%rsp), %r12
xorq %rdx, %r12
movq %rdx, %rsi
xorq %rbp, %r13
rorxq $0x14, %r13, %rbx
xorq %r9, %r8
rorxq $0x15, %r8, %rdi
xorq %r14, %r15
rorxq $0x2b, %r15, %r15
xorq %r11, %rcx
rorxq $0x32, %rcx, %rax
movl $0x80000001, %ecx       # imm = 0x80000001
leaq 0x8008(%rcx), %rdx
movq %r12, %rcx
xorq %r12, %rdx
movq %rdx, %r13
movq %rdi, %rdx
notq %rdx
orq %r15, %rdx
xorq %rbx, %rdx
movq %rdx, -0x28(%rsp)
movq %rax, %rdx
orq %r12, %rdx
andq %rbx, %rcx
orq %rdi, %rbx
xorq %rbx, %r13
movq %r13, -0x10(%rsp)
xorq %r15, %rdx
movq %rdx, -0x58(%rsp)
andq %rax, %r15
xorq %rdi, %r15
movq %r15, 0x20(%rsp)
xorq %rax, %rcx
movq %rcx, -0x50(%rsp)
movq -0x38(%rsp), %rax
xorq %r14, %rax
rorxq $0x24, %rax, %rbx
movq 0x8(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rax
movq -0x80(%rsp), %rcx
xorq %rsi, %rcx
rorxq $0x3d, %rcx, %r13
movq -0x48(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x13, %rcx, %rdx
xorq %r9, %r10
rorxq $0x3, %r10, %rcx
movq %rax, %r12
orq %r13, %r12
xorq %rbx, %r12
movq %r12, (%rsp)
movq %rcx, %rdi
orq %rbx, %rdi
andq %rax, %rbx
xorq %rcx, %rbx
movq %rbx, -0x38(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r13, %rcx
movq %rcx, -0x80(%rsp)
andq %rdx, %r13
xorq %rax, %r13
movq %r13, 0x48(%rsp)
xorq %rdx, %rdi
movq %rdi, -0x48(%rsp)
movq -0x40(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3f, %rax, %r8
movq -0x78(%rsp), %rax
xorq %r9, %rax
movq %r9, %r10
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x27, %rcx, %rdi
movq -0x68(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq 0x28(%rsp), %rcx
xorq %rsi, %rcx
movq %rsi, %r13
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %rdi, %rsi
andnq %rcx, %rdx, %r9
xorq %rdi, %r9
movq %r9, 0x30(%rsp)
andq %rdx, %rdi
notq %rdx
movq %rcx, %rbx
orq %r8, %rbx
xorq %rdx, %rbx
movq %rbx, 0x8(%rsp)
movq %rsi, %r9
xorq %r8, %r9
movq %r9, 0x18(%rsp)
xorq %rax, %rdi
movq %rdi, -0x78(%rsp)
andq %rax, %r8
xorq %rcx, %r8
movq %r8, %r15
movq %r8, 0x28(%rsp)
movq -0x10(%rsp), %rdx
xorq %r12, %rdx
movq -0x8(%rsp), %rax
xorq %r11, %rax
rorxq $0x25, %rax, %rsi
movq -0x20(%rsp), %rax
xorq %r13, %rax
rorxq $0x1c, %rax, %rcx
movq -0x70(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rdi
andq %rax, %rdi
xorq %rsi, %rdi
movq %rdi, -0x68(%rsp)
movq %r9, %r8
xorq %rdi, %r8
xorq %rdx, %r8
movq -0x18(%rsp), %rdx
xorq %r10, %rdx
movq %r10, %r12
rorxq $0x31, %rdx, %rdx
movq 0x38(%rsp), %rdi
xorq %r14, %rdi
rorxq $0x8, %rdi, %r10
movq %rax, %rdi
orq %rdx, %rdi
xorq %rcx, %rdi
movq %rdi, -0x40(%rsp)
movq %r10, %r9
andq %rsi, %r9
orq %rcx, %rsi
notq %rdx
xorq %r10, %rsi
movq %rsi, -0x70(%rsp)
orq %rdx, %r10
xorq %rax, %r10
movq %r10, -0x8(%rsp)
xorq %rdx, %r9
movq -0x58(%rsp), %rax
xorq -0x48(%rsp), %rax
movq %rbx, %rdi
xorq %r9, %rdi
xorq %rax, %rdi
movq -0x50(%rsp), %rcx
xorq -0x38(%rsp), %rcx
movq %r15, %rdx
xorq %rsi, %rdx
xorq %rcx, %rdx
movq %r12, %rcx
xorq 0x40(%rsp), %rcx
xorq -0x60(%rsp), %r14
xorq 0x50(%rsp), %r11
movq %r13, %rax
xorq 0x10(%rsp), %rax
xorq -0x30(%rsp), %rbp
rorxq $0x2, %rcx, %rbx
rorxq $0x9, %r14, %rcx
rorxq $0x19, %r11, %r14
rorxq $0x17, %rax, %r11
rorxq $0x3e, %rbp, %rsi
andnq %r14, %rcx, %r13
xorq %rbx, %r13
movq %r13, 0x50(%rsp)
movq %rsi, %rbp
orq %rbx, %rbp
andq %rcx, %rbx
movq %rcx, %r10
notq %r10
movq %r11, %rcx
andq %rsi, %rcx
xorq %r14, %rcx
movq %r14, %rax
orq %r11, %rax
xorq %r10, %rax
movq %rax, -0x18(%rsp)
movq 0x48(%rsp), %r12
movq %r12, %r10
xorq -0x78(%rsp), %r10
xorq -0x28(%rsp), %r10
movq -0x40(%rsp), %r14
xorq %rax, %r14
xorq %r10, %r14
movq 0x20(%rsp), %r10
movq 0x30(%rsp), %r15
xorq %r15, %r10
xorq -0x80(%rsp), %r10
movq -0x8(%rsp), %rax
xorq %rcx, %rax
xorq %r10, %rax
xorq %r11, %rbp
movq %rbp, 0x38(%rsp)
xorq %rsi, %rbx
xorq %r13, %r8
xorq %rbp, %rdi
xorq %rbx, %rdx
rorxq $0x3f, %rdi, %rbp
xorq %r14, %rbp
rorxq $0x3f, %r14, %rsi
xorq %rdx, %rsi
movq %rsi, 0x58(%rsp)
rorxq $0x3f, %rdx, %r14
xorq %rax, %r14
rorxq $0x3f, %rax, %rdx
xorq %r8, %rdx
rorxq $0x3f, %r8, %r11
xorq %rdi, %r11
movq -0x10(%rsp), %rax
xorq %rsi, %rax
movq %r12, %rsi
xorq %rdx, %rsi
movq %rdx, %r12
rorxq $0x14, %rsi, %rdx
xorq %rbp, %r15
rorxq $0x15, %r15, %r8
xorq %r14, %r9
rorxq $0x2b, %r9, %r13
xorq %r11, %rbx
rorxq $0x32, %rbx, %rsi
movl $0x80000001, %edi       # imm = 0x80000001
leaq 0x9(%rdi), %r10
movq %rax, %rdi
xorq %rax, %r10
movq %r10, %rax
movq %r8, %r10
notq %r10
orq %r13, %r10
xorq %rdx, %r10
movq %r10, -0x60(%rsp)
movq %rsi, %r10
orq %rdi, %r10
andq %rdx, %rdi
orq %r8, %rdx
xorq %rdx, %rax
movq %rax, 0x10(%rsp)
xorq %r13, %r10
movq %r10, -0x20(%rsp)
andq %rsi, %r13
xorq %r8, %r13
movq %r13, 0x40(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x10(%rsp)
movq -0x58(%rsp), %rax
xorq %r14, %rax
rorxq $0x24, %rax, %rdi
movq -0x38(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rax
movq 0x18(%rsp), %rdx
movq 0x58(%rsp), %r9
xorq %r9, %rdx
rorxq $0x3d, %rdx, %rbx
movq -0x40(%rsp), %rdx
xorq %r12, %rdx
rorxq $0x13, %rdx, %rdx
xorq %rbp, %rcx
rorxq $0x3, %rcx, %rcx
movq %rax, %rsi
orq %rbx, %rsi
xorq %rdi, %rsi
movq %rsi, %r15
movq %rsi, 0x18(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x30(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %rbx, %rcx
movq %rcx, -0x58(%rsp)
andq %rdx, %rbx
xorq %rax, %rbx
xorq %rdx, %rsi
movq %rsi, -0x40(%rsp)
movq -0x28(%rsp), %rax
xorq %r12, %rax
movq %r12, %r13
rorxq $0x3f, %rax, %r10
movq -0x80(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3a, %rax, %rax
movq 0x8(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x27, %rcx, %rsi
movq -0x70(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq 0x50(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r8
orq %rsi, %r8
andnq %rcx, %rdx, %rdi
xorq %rsi, %rdi
movq %rdi, -0x28(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %rdi
orq %r10, %rdi
xorq %rdx, %rdi
movq %rdi, 0x8(%rsp)
xorq %r10, %r8
movq %r8, 0x30(%rsp)
xorq %rax, %rsi
movq %rsi, -0x80(%rsp)
andq %rax, %r10
xorq %rcx, %r10
movq %r10, -0x70(%rsp)
movq 0x10(%rsp), %rcx
xorq %r15, %rcx
movq -0x50(%rsp), %rax
xorq %r11, %rax
rorxq $0x25, %rax, %rdi
movq (%rsp), %rax
xorq %r9, %rax
rorxq $0x1c, %rax, %rsi
movq -0x78(%rsp), %rax
xorq %r12, %rax
rorxq $0x36, %rax, %rax
movq %rsi, %rdx
andq %rax, %rdx
xorq %rdi, %rdx
movq %rdx, 0x50(%rsp)
xorq %rdx, %r8
xorq %rcx, %r8
movq -0x8(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x31, %rcx, %r15
movq 0x38(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x8, %rcx, %r12
movq %rax, %rcx
orq %r15, %rcx
xorq %rsi, %rcx
movq %rcx, -0x78(%rsp)
movq %r12, %rdx
andq %rdi, %rdx
orq %rsi, %rdi
notq %r15
xorq %r12, %rdi
movq %rdi, (%rsp)
orq %r15, %r12
xorq %rax, %r12
movq %r12, -0x50(%rsp)
xorq %r15, %rdx
movq -0x20(%rsp), %rax
xorq -0x40(%rsp), %rax
movq 0x8(%rsp), %rsi
xorq %rdx, %rsi
xorq %rax, %rsi
movq -0x10(%rsp), %rax
xorq -0x30(%rsp), %rax
movq -0x70(%rsp), %r15
xorq %rdi, %r15
xorq %rax, %r15
xorq 0x20(%rsp), %rbp
xorq -0x48(%rsp), %r14
xorq 0x28(%rsp), %r11
movq %r9, %rdi
xorq -0x68(%rsp), %rdi
movq %r13, %rax
xorq -0x18(%rsp), %rax
rorxq $0x2, %rbp, %rcx
rorxq $0x9, %r14, %rbp
rorxq $0x19, %r11, %r14
rorxq $0x17, %rdi, %r11
rorxq $0x3e, %rax, %r10
andnq %r14, %rbp, %rax
xorq %rcx, %rax
movq %rax, -0x48(%rsp)
movq %r10, %r13
orq %rcx, %r13
andq %rbp, %rcx
notq %rbp
movq %r11, %r9
andq %r10, %r9
xorq %r14, %r9
movq %r14, %rax
orq %r11, %rax
xorq %rbp, %rax
movq %rax, -0x68(%rsp)
movq %rbx, %r14
xorq -0x80(%rsp), %r14
xorq -0x60(%rsp), %r14
movq -0x78(%rsp), %rdi
xorq %rax, %rdi
xorq %r14, %rdi
movq 0x40(%rsp), %r14
movq -0x28(%rsp), %r12
xorq %r12, %r14
xorq -0x58(%rsp), %r14
movq -0x50(%rsp), %rax
xorq %r9, %rax
xorq %r14, %rax
xorq %r11, %r13
movq %r13, 0x38(%rsp)
xorq %r10, %rcx
xorq -0x48(%rsp), %r8
xorq %r13, %rsi
xorq %rcx, %r15
rorxq $0x3f, %rsi, %rbp
xorq %rdi, %rbp
rorxq $0x3f, %rdi, %rdi
xorq %r15, %rdi
rorxq $0x3f, %r15, %r11
xorq %rax, %r11
rorxq $0x3f, %rax, %r15
xorq %r8, %r15
rorxq $0x3f, %r8, %r13
xorq %rsi, %r13
movq 0x10(%rsp), %r14
xorq %rdi, %r14
movq %rdi, %r8
xorq %r15, %rbx
rorxq $0x14, %rbx, %rbx
xorq %rbp, %r12
rorxq $0x15, %r12, %rsi
xorq %r11, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r13, %rcx
rorxq $0x32, %rcx, %rax
movl $0x80000001, %ecx       # imm = 0x80000001
leaq 0x808a(%rcx), %rdi
movq %r14, %rcx
xorq %r14, %rdi
movq %rdi, %r14
movq %rsi, %rdi
notq %rdi
orq %rdx, %rdi
xorq %rbx, %rdi
movq %rdi, -0x28(%rsp)
movq %rax, %rdi
orq %rcx, %rdi
andq %rbx, %rcx
orq %rsi, %rbx
xorq %rbx, %r14
movq %r14, %rbx
movq %r14, -0x8(%rsp)
xorq %rdx, %rdi
movq %rdi, -0x38(%rsp)
andq %rax, %rdx
xorq %rsi, %rdx
movq %rdx, 0x20(%rsp)
xorq %rax, %rcx
movq %rcx, 0x10(%rsp)
movq -0x20(%rsp), %rax
xorq %r11, %rax
rorxq $0x24, %rax, %rdi
movq -0x30(%rsp), %rax
xorq %r13, %rax
rorxq $0x2c, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x3d, %rcx, %r14
movq -0x78(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x13, %rcx, %rcx
xorq %rbp, %r9
rorxq $0x3, %r9, %rdx
movq %rax, %rsi
orq %r14, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
movq %rsi, 0x28(%rsp)
movq %rdx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rdx, %rdi
movq %rdi, -0x18(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r14, %rdx
movq %rdx, -0x78(%rsp)
andq %rcx, %r14
xorq %rax, %r14
xorq %rcx, %rsi
movq %rsi, -0x20(%rsp)
movq -0x60(%rsp), %rax
xorq %r15, %rax
rorxq $0x3f, %rax, %rdi
movq -0x58(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3a, %rax, %rax
movq 0x8(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x27, %rcx, %rsi
movq (%rsp), %rcx
xorq %r13, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x48(%rsp), %rcx
xorq %r8, %rcx
movq %r8, %r12
movq %r8, 0x48(%rsp)
rorxq $0x2e, %rcx, %rcx
movq %rax, %r8
orq %rsi, %r8
andnq %rcx, %rdx, %r10
xorq %rsi, %r10
movq %r10, -0x60(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r10
orq %rdi, %r10
xorq %rdx, %r10
movq %r10, -0x30(%rsp)
movq %r8, %r10
xorq %rdi, %r10
movq %r10, 0x30(%rsp)
xorq %rax, %rsi
movq %rsi, -0x48(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x58(%rsp)
movq %rbx, %rcx
xorq %r9, %rcx
movq -0x10(%rsp), %rax
xorq %r13, %rax
rorxq $0x25, %rax, %r8
movq 0x18(%rsp), %rax
xorq %r12, %rax
rorxq $0x1c, %rax, %rsi
movq -0x80(%rsp), %rax
xorq %r15, %rax
rorxq $0x36, %rax, %rax
movq %rsi, %rdi
andq %rax, %rdi
xorq %r8, %rdi
movq %rdi, 0x8(%rsp)
xorq %rdi, %r10
xorq %rcx, %r10
movq -0x50(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x31, %rcx, %rdi
movq 0x38(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x8, %rcx, %r9
movq %rax, %rcx
orq %rdi, %rcx
xorq %rsi, %rcx
movq %rcx, %rbx
movq %rcx, -0x80(%rsp)
movq %r9, %rdx
andq %r8, %rdx
orq %rsi, %r8
notq %rdi
xorq %r9, %r8
movq %r8, 0x18(%rsp)
orq %rdi, %r9
xorq %rax, %r9
movq %r9, -0x10(%rsp)
xorq %rdi, %rdx
movq -0x38(%rsp), %rax
xorq -0x20(%rsp), %rax
movq -0x30(%rsp), %r12
xorq %rdx, %r12
xorq %rax, %r12
movq 0x10(%rsp), %rax
xorq -0x18(%rsp), %rax
movq -0x58(%rsp), %rdi
xorq %r8, %rdi
xorq %rax, %rdi
xorq 0x40(%rsp), %rbp
xorq -0x40(%rsp), %r11
xorq -0x70(%rsp), %r13
movq 0x48(%rsp), %rcx
xorq 0x50(%rsp), %rcx
xorq -0x68(%rsp), %r15
rorxq $0x2, %rbp, %rbp
rorxq $0x9, %r11, %rax
rorxq $0x19, %r13, %r11
rorxq $0x17, %rcx, %rcx
rorxq $0x3e, %r15, %r8
andnq %r11, %rax, %rsi
xorq %rbp, %rsi
movq %rsi, -0x68(%rsp)
movq %r8, %r13
orq %rbp, %r13
andq %rax, %rbp
movq %rax, %r15
notq %r15
movq %rcx, %r9
andq %r8, %r9
xorq %r11, %r9
movq %r11, %rax
orq %rcx, %rax
xorq %r15, %rax
movq %rax, (%rsp)
movq %r14, %r11
xorq -0x48(%rsp), %r11
xorq -0x28(%rsp), %r11
movq %rbx, %r15
xorq %rax, %r15
xorq %r11, %r15
movq 0x20(%rsp), %r11
movq -0x60(%rsp), %rbx
xorq %rbx, %r11
xorq -0x78(%rsp), %r11
movq -0x10(%rsp), %rax
xorq %r9, %rax
xorq %r11, %rax
xorq %rcx, %r13
movq %r13, 0x38(%rsp)
xorq %r8, %rbp
xorq %rsi, %r10
xorq %r13, %r12
xorq %rbp, %rdi
rorxq $0x3f, %r12, %r13
xorq %r15, %r13
rorxq $0x3f, %r15, %rcx
xorq %rdi, %rcx
movq %rcx, %rsi
rorxq $0x3f, %rdi, %r15
xorq %rax, %r15
rorxq $0x3f, %rax, %r8
xorq %r10, %r8
rorxq $0x3f, %r10, %r11
xorq %r12, %r11
movq -0x8(%rsp), %rcx
xorq %rsi, %rcx
movq %rsi, %rdi
xorq %r8, %r14
rorxq $0x14, %r14, %r14
xorq %r13, %rbx
rorxq $0x15, %rbx, %r10
xorq %r15, %rdx
rorxq $0x2b, %rdx, %r12
xorq %r11, %rbp
rorxq $0x32, %rbp, %rsi
movabsq $-0x7fffffffffffff80, %rax # imm = 0x8000000000000080
leaq 0xb(%rax), %rdx
movq %rcx, %rax
xorq %rcx, %rdx
movq %rdx, %rcx
movq %r10, %rdx
notq %rdx
orq %r12, %rdx
xorq %r14, %rdx
movq %rdx, -0x60(%rsp)
movq %rsi, %rdx
orq %rax, %rdx
andq %r14, %rax
orq %r10, %r14
xorq %r14, %rcx
movq %rcx, -0x50(%rsp)
xorq %r12, %rdx
movq %rdx, -0x70(%rsp)
andq %rsi, %r12
xorq %r10, %r12
movq %r12, 0x40(%rsp)
xorq %rsi, %rax
movq %rax, -0x8(%rsp)
movq -0x38(%rsp), %rax
xorq %r15, %rax
rorxq $0x24, %rax, %rsi
movq -0x18(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rcx
movq 0x30(%rsp), %rax
xorq %rdi, %rax
rorxq $0x3d, %rax, %r12
movq -0x80(%rsp), %rax
xorq %r8, %rax
rorxq $0x13, %rax, %rdx
xorq %r13, %r9
rorxq $0x3, %r9, %rax
movq %rcx, %r9
orq %r12, %r9
xorq %rsi, %r9
movq %r9, %rbx
movq %r9, 0x50(%rsp)
movq %rax, %r9
orq %rsi, %r9
andq %rcx, %rsi
xorq %rax, %rsi
movq %rsi, -0x38(%rsp)
notq %rax
orq %rdx, %rax
xorq %r12, %rax
movq %rax, -0x80(%rsp)
andq %rdx, %r12
xorq %rcx, %r12
movq %r12, 0x48(%rsp)
xorq %rdx, %r9
movq %r9, -0x40(%rsp)
movq -0x28(%rsp), %rax
xorq %r8, %rax
rorxq $0x3f, %rax, %r14
movq -0x78(%rsp), %rax
xorq %r13, %rax
rorxq $0x3a, %rax, %rax
movq -0x30(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x27, %rcx, %r9
movq 0x18(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x68(%rsp), %rcx
xorq %rdi, %rcx
movq %rdi, %r12
rorxq $0x2e, %rcx, %rcx
movq %rax, %rdi
orq %r9, %rdi
andnq %rcx, %rdx, %rsi
xorq %r9, %rsi
movq %rsi, -0x28(%rsp)
andq %rdx, %r9
notq %rdx
movq %rcx, %rsi
orq %r14, %rsi
xorq %rdx, %rsi
movq %rsi, -0x30(%rsp)
xorq %r14, %rdi
movq %rdi, 0x30(%rsp)
xorq %rax, %r9
movq %r9, -0x78(%rsp)
andq %rax, %r14
xorq %rcx, %r14
movq %r14, -0x68(%rsp)
movq -0x50(%rsp), %rdx
xorq %rbx, %rdx
movq 0x10(%rsp), %rax
xorq %r11, %rax
rorxq $0x25, %rax, %rsi
movq 0x28(%rsp), %rax
xorq %r12, %rax
rorxq $0x1c, %rax, %rcx
movq -0x48(%rsp), %rax
xorq %r8, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %r9
andq %rax, %r9
xorq %rsi, %r9
movq %r9, -0x18(%rsp)
xorq %r9, %rdi
xorq %rdx, %rdi
movq -0x10(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x31, %rdx, %r9
movq 0x38(%rsp), %rdx
xorq %r15, %rdx
rorxq $0x8, %rdx, %rbx
movq %rax, %rdx
orq %r9, %rdx
xorq %rcx, %rdx
movq %rdx, %r10
movq %rdx, -0x48(%rsp)
movq %rbx, %rdx
andq %rsi, %rdx
orq %rcx, %rsi
notq %r9
xorq %rbx, %rsi
movq %rsi, 0x18(%rsp)
orq %r9, %rbx
xorq %rax, %rbx
movq %rbx, 0x10(%rsp)
xorq %r9, %rdx
movq -0x70(%rsp), %rax
xorq -0x40(%rsp), %rax
movq -0x30(%rsp), %rbx
xorq %rdx, %rbx
xorq %rax, %rbx
movq -0x8(%rsp), %rax
xorq -0x38(%rsp), %rax
movq %r14, %r9
xorq %rsi, %r9
xorq %rax, %r9
xorq 0x20(%rsp), %r13
xorq -0x20(%rsp), %r15
xorq -0x58(%rsp), %r11
movq %r12, %rax
xorq 0x8(%rsp), %rax
xorq (%rsp), %r8
rorxq $0x2, %r13, %rcx
rorxq $0x9, %r15, %r15
rorxq $0x19, %r11, %r14
rorxq $0x17, %rax, %r13
rorxq $0x3e, %r8, %rbp
andnq %r14, %r15, %r12
xorq %rcx, %r12
movq %r12, 0x8(%rsp)
movq %rbp, %r11
orq %rcx, %r11
andq %r15, %rcx
notq %r15
movq %r13, %r8
andq %rbp, %r8
xorq %r14, %r8
movq %r14, %rax
orq %r13, %rax
xorq %r15, %rax
movq %rax, (%rsp)
movq 0x48(%rsp), %r15
movq %r15, %r14
xorq -0x78(%rsp), %r14
xorq -0x60(%rsp), %r14
movq %r10, %rsi
xorq %rax, %rsi
xorq %r14, %rsi
movq 0x40(%rsp), %r14
movq -0x28(%rsp), %r10
xorq %r10, %r14
xorq -0x80(%rsp), %r14
movq 0x10(%rsp), %rax
xorq %r8, %rax
xorq %r14, %rax
xorq %r13, %r11
movq %r11, 0x38(%rsp)
xorq %rbp, %rcx
xorq %r12, %rdi
xorq %r11, %rbx
xorq %rcx, %r9
rorxq $0x3f, %rbx, %r11
xorq %rsi, %r11
rorxq $0x3f, %rsi, %rsi
xorq %r9, %rsi
rorxq $0x3f, %r9, %r9
xorq %rax, %r9
rorxq $0x3f, %rax, %r13
xorq %rdi, %r13
rorxq $0x3f, %rdi, %r14
xorq %rbx, %r14
movq -0x50(%rsp), %rbp
xorq %rsi, %rbp
movq %rsi, %rdi
xorq %r13, %r15
rorxq $0x14, %r15, %r12
xorq %r11, %r10
movq %r11, %r15
rorxq $0x15, %r10, %rbx
xorq %r9, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r14, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x8009(%rcx), %rsi
movq %rbp, %rcx
xorq %rbp, %rsi
movq %rsi, %rbp
movq %rbx, %rsi
notq %rsi
orq %rdx, %rsi
xorq %r12, %rsi
movq %rsi, -0x28(%rsp)
movq %rax, %rsi
orq %rcx, %rsi
andq %r12, %rcx
orq %rbx, %r12
xorq %r12, %rbp
movq %rbp, -0x10(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x20(%rsp)
andq %rax, %rdx
xorq %rbx, %rdx
movq %rdx, 0x20(%rsp)
xorq %rax, %rcx
movq %rcx, -0x50(%rsp)
movq -0x70(%rsp), %rax
xorq %r9, %rax
rorxq $0x24, %rax, %rbx
movq -0x38(%rsp), %rax
xorq %r14, %rax
rorxq $0x2c, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x3d, %rcx, %r12
movq -0x48(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x13, %rcx, %rdx
xorq %r11, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %rsi
orq %r12, %rsi
xorq %rbx, %rsi
movq %rsi, %rbp
movq %rsi, 0x28(%rsp)
movq %rcx, %rsi
orq %rbx, %rsi
andq %rax, %rbx
xorq %rcx, %rbx
movq %rbx, -0x58(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r12, %rcx
movq %rcx, -0x70(%rsp)
andq %rdx, %r12
xorq %rax, %r12
movq %r12, -0x38(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x48(%rsp)
movq -0x60(%rsp), %rax
xorq %r13, %rax
rorxq $0x3f, %rax, %r10
movq -0x80(%rsp), %rax
xorq %r11, %rax
rorxq $0x3a, %rax, %rax
movq -0x30(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x27, %rcx, %rcx
movq 0x18(%rsp), %rdx
xorq %r14, %rdx
rorxq $0x38, %rdx, %rsi
movq 0x8(%rsp), %rdx
movq %rdi, %r12
xorq %rdi, %rdx
rorxq $0x2e, %rdx, %rdx
movq %rax, %r11
orq %rcx, %r11
andnq %rdx, %rsi, %r8
xorq %rcx, %r8
movq %r8, 0x18(%rsp)
andq %rsi, %rcx
notq %rsi
movq %rdx, %rbx
orq %r10, %rbx
xorq %rsi, %rbx
movq %rbx, 0x30(%rsp)
xorq %r10, %r11
movq %r11, -0x80(%rsp)
xorq %rax, %rcx
movq %rcx, -0x60(%rsp)
andq %rax, %r10
xorq %rdx, %r10
movq %r10, %r8
movq %r10, 0x8(%rsp)
movq -0x10(%rsp), %rcx
xorq %rbp, %rcx
movq -0x8(%rsp), %rax
xorq %r14, %rax
rorxq $0x25, %rax, %r10
movq 0x50(%rsp), %rax
xorq %rdi, %rax
rorxq $0x1c, %rax, %rdx
movq -0x78(%rsp), %rax
xorq %r13, %rax
rorxq $0x36, %rax, %rax
movq %rdx, %rsi
andq %rax, %rsi
xorq %r10, %rsi
movq %rsi, -0x30(%rsp)
xorq %rsi, %r11
xorq %rcx, %r11
movq 0x10(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x31, %rcx, %rcx
movq 0x38(%rsp), %rsi
xorq %r9, %rsi
rorxq $0x8, %rsi, %rsi
movq %rax, %rdi
orq %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, 0x58(%rsp)
movq %rsi, %rbp
andq %r10, %rbp
orq %rdx, %r10
notq %rcx
xorq %rsi, %r10
movq %r10, 0x38(%rsp)
orq %rcx, %rsi
xorq %rax, %rsi
movq %rsi, -0x8(%rsp)
xorq %rcx, %rbp
movq -0x20(%rsp), %rcx
xorq -0x48(%rsp), %rcx
movq %rbx, %rsi
xorq %rbp, %rsi
xorq %rcx, %rsi
movq -0x50(%rsp), %rcx
xorq -0x58(%rsp), %rcx
movq %r8, %rdx
xorq %r10, %rdx
xorq %rcx, %rdx
movq %r15, %rcx
xorq 0x40(%rsp), %rcx
xorq -0x40(%rsp), %r9
xorq -0x68(%rsp), %r14
movq %r12, %rax
xorq -0x18(%rsp), %rax
xorq (%rsp), %r13
rorxq $0x2, %rcx, %r15
rorxq $0x9, %r9, %r9
rorxq $0x19, %r14, %r8
rorxq $0x17, %rax, %r10
rorxq $0x3e, %r13, %r14
andnq %r8, %r9, %r12
xorq %r15, %r12
movq %r12, -0x18(%rsp)
movq %r14, %rbx
orq %r15, %rbx
andq %r9, %r15
notq %r9
movq %r10, %rcx
andq %r14, %rcx
xorq %r8, %rcx
movq %r8, %rax
orq %r10, %rax
xorq %r9, %rax
movq %rax, 0x50(%rsp)
movq -0x38(%rsp), %r9
movq %r9, %r8
xorq -0x60(%rsp), %r8
xorq -0x28(%rsp), %r8
movq %rdi, %r13
xorq %rax, %r13
xorq %r8, %r13
movq 0x20(%rsp), %r8
movq 0x18(%rsp), %rdi
xorq %rdi, %r8
xorq -0x70(%rsp), %r8
movq -0x8(%rsp), %rax
xorq %rcx, %rax
xorq %r8, %rax
xorq %r10, %rbx
movq %rbx, 0x48(%rsp)
xorq %r14, %r15
xorq %r12, %r11
xorq %rbx, %rsi
xorq %r15, %rdx
rorxq $0x3f, %rsi, %r8
xorq %r13, %r8
movq %r8, %r14
rorxq $0x3f, %r13, %r8
xorq %rdx, %r8
movq %r8, %r10
rorxq $0x3f, %rdx, %rdx
xorq %rax, %rdx
movq %rdx, %r8
rorxq $0x3f, %rax, %rbx
xorq %r11, %rbx
rorxq $0x3f, %r11, %r13
xorq %rsi, %r13
movq -0x10(%rsp), %rax
xorq %r10, %rax
movq %r10, %r11
xorq %rbx, %r9
rorxq $0x14, %r9, %rdx
movq %rdi, %rsi
xorq %r14, %rsi
movq %r14, %r9
rorxq $0x15, %rsi, %rdi
xorq %r8, %rbp
rorxq $0x2b, %rbp, %r12
xorq %r13, %r15
rorxq $0x32, %r15, %r10
movabsq $-0x7fffffffffffff80, %rsi # imm = 0x8000000000000080
leaq 0x7f83(%rsi), %r14
xorq %rax, %r14
movq %r14, %r15
movq %rdi, %r14
notq %r14
orq %r12, %r14
xorq %rdx, %r14
movq %r14, -0x40(%rsp)
movq %r10, %r14
orq %rax, %r14
andq %rdx, %rax
orq %rdi, %rdx
xorq %rdx, %r15
movq %r15, 0x10(%rsp)
xorq %r12, %r14
movq %r14, -0x78(%rsp)
andq %r10, %r12
xorq %rdi, %r12
movq %r12, 0x40(%rsp)
xorq %r10, %rax
movq %rax, -0x10(%rsp)
movq -0x20(%rsp), %rax
xorq %r8, %rax
rorxq $0x24, %rax, %rdi
movq -0x58(%rsp), %rax
xorq %r13, %rax
rorxq $0x2c, %rax, %rax
movq -0x80(%rsp), %rdx
xorq %r11, %rdx
rorxq $0x3d, %rdx, %r12
movq 0x58(%rsp), %rdx
xorq %rbx, %rdx
rorxq $0x13, %rdx, %rdx
movq %r9, 0x68(%rsp)
xorq %r9, %rcx
rorxq $0x3, %rcx, %rcx
movq %rax, %rsi
orq %r12, %rsi
xorq %rdi, %rsi
movq %rsi, %r14
movq %rsi, 0x18(%rsp)
movq %rcx, %rsi
orq %rdi, %rsi
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x38(%rsp)
notq %rcx
orq %rdx, %rcx
xorq %r12, %rcx
movq %rcx, -0x80(%rsp)
andq %rdx, %r12
xorq %rax, %r12
movq %r12, 0x58(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x20(%rsp)
movq -0x28(%rsp), %rax
xorq %rbx, %rax
rorxq $0x3f, %rax, %r10
movq -0x70(%rsp), %rax
xorq %r9, %rax
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %r8, %rcx
movq %r8, %r9
rorxq $0x27, %rcx, %rsi
movq 0x38(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x18(%rsp), %rcx
xorq %r11, %rcx
movq %r11, %r8
movq %r11, 0x60(%rsp)
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, %rdi
orq %r10, %rdi
xorq %rdx, %rdi
movq %rdi, 0x30(%rsp)
xorq %r10, %r11
movq %r11, %rbp
movq %r11, (%rsp)
xorq %rax, %rsi
movq %rsi, -0x28(%rsp)
andq %rax, %r10
xorq %rcx, %r10
movq %r10, %r11
movq %r10, -0x68(%rsp)
movq %r15, %rdx
xorq %r14, %rdx
movq -0x50(%rsp), %rax
xorq %r13, %rax
rorxq $0x25, %rax, %r12
movq 0x28(%rsp), %rax
xorq %r8, %rax
rorxq $0x1c, %rax, %rcx
movq -0x60(%rsp), %rax
xorq %rbx, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r12, %rsi
movq %rsi, -0x18(%rsp)
movq %rbp, %r15
xorq %rsi, %r15
xorq %rdx, %r15
movq -0x8(%rsp), %rdx
movq 0x68(%rsp), %r8
xorq %r8, %rdx
rorxq $0x31, %rdx, %rsi
movq 0x48(%rsp), %rdx
xorq %r9, %rdx
rorxq $0x8, %rdx, %r10
movq %rax, %rbp
orq %rsi, %rbp
xorq %rcx, %rbp
movq %r10, %rdx
andq %r12, %rdx
orq %rcx, %r12
notq %rsi
xorq %r10, %r12
movq %r12, 0x38(%rsp)
orq %rsi, %r10
xorq %rax, %r10
movq %r10, -0x58(%rsp)
xorq %rsi, %rdx
movq -0x78(%rsp), %rax
xorq -0x20(%rsp), %rax
movq %rdi, %r14
xorq %rdx, %r14
xorq %rax, %r14
movq -0x10(%rsp), %rax
xorq -0x38(%rsp), %rax
movq %r11, %rcx
xorq %r12, %rcx
xorq %rax, %rcx
movq %r8, %rax
xorq 0x20(%rsp), %rax
xorq -0x48(%rsp), %r9
xorq 0x8(%rsp), %r13
movq 0x60(%rsp), %rsi
xorq -0x30(%rsp), %rsi
xorq 0x50(%rsp), %rbx
rorxq $0x2, %rax, %rax
rorxq $0x9, %r9, %r11
rorxq $0x19, %r13, %r10
rorxq $0x17, %rsi, %r9
rorxq $0x3e, %rbx, %rdi
andnq %r10, %r11, %rsi
xorq %rax, %rsi
movq %rsi, -0x48(%rsp)
movq %rdi, %rsi
orq %rax, %rsi
andq %r11, %rax
notq %r11
movq %r9, %r13
andq %rdi, %r13
xorq %r10, %r13
movq %r10, %r8
orq %r9, %r8
xorq %r11, %r8
movq %r8, 0x28(%rsp)
movq 0x58(%rsp), %r12
movq %r12, %r10
xorq -0x28(%rsp), %r10
xorq -0x40(%rsp), %r10
movq %rbp, %r11
xorq %r8, %r11
xorq %r10, %r11
movq 0x40(%rsp), %r10
movq -0x70(%rsp), %r8
xorq %r8, %r10
xorq -0x80(%rsp), %r10
movq -0x58(%rsp), %rbx
xorq %r13, %rbx
xorq %r10, %rbx
xorq %r9, %rsi
movq %rsi, 0x48(%rsp)
xorq %rdi, %rax
xorq -0x48(%rsp), %r15
xorq %rsi, %r14
xorq %rax, %rcx
rorxq $0x3f, %r14, %rsi
xorq %r11, %rsi
rorxq $0x3f, %r11, %rdi
xorq %rcx, %rdi
rorxq $0x3f, %rcx, %r10
xorq %rbx, %r10
rorxq $0x3f, %rbx, %r9
xorq %r15, %r9
rorxq $0x3f, %r15, %r15
xorq %r14, %r15
movq 0x10(%rsp), %rbx
xorq %rdi, %rbx
xorq %r9, %r12
rorxq $0x14, %r12, %r14
movq %r8, %rcx
xorq %rsi, %rcx
movq %rsi, %r8
rorxq $0x15, %rcx, %rcx
xorq %r10, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r15, %rax
rorxq $0x32, %rax, %rax
movabsq $-0x7fffffffffffff80, %rsi # imm = 0x8000000000000080
leaq 0x7f82(%rsi), %r11
movq %rbx, %rsi
xorq %rbx, %r11
movq %r11, %rbx
movq %rcx, %r11
notq %r11
orq %rdx, %r11
xorq %r14, %r11
movq %r11, 0x20(%rsp)
movq %rax, %r11
orq %rsi, %r11
andq %r14, %rsi
orq %rcx, %r14
xorq %r14, %rbx
movq %rbx, -0x50(%rsp)
xorq %rdx, %r11
movq %r11, -0x70(%rsp)
andq %rax, %rdx
xorq %rcx, %rdx
movq %rdx, -0x8(%rsp)
xorq %rax, %rsi
movq %rsi, 0x10(%rsp)
movq -0x78(%rsp), %rax
xorq %r10, %rax
rorxq $0x24, %rax, %r11
movq -0x38(%rsp), %rax
xorq %r15, %rax
rorxq $0x2c, %rax, %rax
movq (%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x3d, %rcx, %rcx
xorq %r9, %rbp
rorxq $0x13, %rbp, %rdx
xorq %r8, %r13
rorxq $0x3, %r13, %rbx
movq %rax, %rsi
orq %rcx, %rsi
xorq %r11, %rsi
movq %rsi, %r14
movq %rsi, (%rsp)
movq %rbx, %rsi
orq %r11, %rsi
andq %rax, %r11
xorq %rbx, %r11
movq %r11, -0x30(%rsp)
notq %rbx
orq %rdx, %rbx
xorq %rcx, %rbx
movq %rbx, -0x78(%rsp)
andq %rdx, %rcx
xorq %rax, %rcx
movq %rcx, 0x58(%rsp)
xorq %rdx, %rsi
movq %rsi, -0x60(%rsp)
movq -0x40(%rsp), %rax
xorq %r9, %rax
rorxq $0x3f, %rax, %r11
movq -0x80(%rsp), %rax
xorq %r8, %rax
movq %r8, %rbp
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x27, %rcx, %rbx
movq 0x38(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x48(%rsp), %rcx
xorq %rdi, %rcx
movq %rdi, %r8
rorxq $0x2e, %rcx, %rcx
movq %rax, %r12
orq %rbx, %r12
movq %r12, %r13
andnq %rcx, %rdx, %rsi
xorq %rbx, %rsi
movq %rsi, -0x80(%rsp)
andq %rdx, %rbx
notq %rdx
movq %rcx, %r12
orq %r11, %r12
xorq %rdx, %r12
movq %r12, -0x38(%rsp)
movq %r13, %r12
xorq %r11, %r12
movq %r12, -0x40(%rsp)
xorq %rax, %rbx
movq %rbx, -0x48(%rsp)
andq %rax, %r11
xorq %rcx, %r11
movq %r11, %r13
movq %r11, 0x50(%rsp)
movq -0x50(%rsp), %rdx
xorq %r14, %rdx
movq -0x10(%rsp), %rax
xorq %r15, %rax
rorxq $0x25, %rax, %rsi
movq 0x18(%rsp), %rax
xorq %rdi, %rax
rorxq $0x1c, %rax, %rcx
movq -0x28(%rsp), %rax
xorq %r9, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %r11
andq %rax, %r11
xorq %rsi, %r11
movq %r11, 0x8(%rsp)
movq %r12, %r14
xorq %r11, %r14
xorq %rdx, %r14
movq -0x58(%rsp), %rdx
xorq %rbp, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x48(%rsp), %rdi
xorq %r10, %rdi
rorxq $0x8, %rdi, %r12
movq %rax, %rdi
orq %rdx, %rdi
xorq %rcx, %rdi
movq %rdi, %rbx
movq %rdi, 0x18(%rsp)
movq %r12, %rdi
andq %rsi, %rdi
orq %rcx, %rsi
notq %rdx
xorq %r12, %rsi
movq %rsi, %rcx
movq %rsi, 0x38(%rsp)
orq %rdx, %r12
xorq %rax, %r12
movq %r12, -0x58(%rsp)
xorq %rdx, %rdi
movq -0x70(%rsp), %rax
xorq -0x60(%rsp), %rax
movq -0x38(%rsp), %rsi
xorq %rdi, %rsi
xorq %rax, %rsi
movq 0x10(%rsp), %rax
xorq -0x30(%rsp), %rax
movq %r13, %rdx
xorq %rcx, %rdx
xorq %rax, %rdx
movq %rbp, %rax
xorq 0x40(%rsp), %rax
xorq -0x20(%rsp), %r10
xorq -0x68(%rsp), %r15
xorq -0x18(%rsp), %r8
xorq 0x28(%rsp), %r9
rorxq $0x2, %rax, %rcx
rorxq $0x9, %r10, %r12
rorxq $0x19, %r15, %r15
rorxq $0x17, %r8, %r8
rorxq $0x3e, %r9, %r11
andnq %r15, %r12, %rbp
xorq %rcx, %rbp
movq %rbp, -0x68(%rsp)
movq %r11, %r9
orq %rcx, %r9
andq %r12, %rcx
notq %r12
movq %r8, %r10
andq %r11, %r10
xorq %r15, %r10
movq %r15, %rax
orq %r8, %rax
xorq %r12, %rax
movq %rax, 0x30(%rsp)
movq 0x58(%rsp), %r12
movq %r12, %r15
xorq -0x48(%rsp), %r15
xorq 0x20(%rsp), %r15
movq %rbx, %r13
xorq %rax, %r13
xorq %r15, %r13
movq -0x8(%rsp), %r15
movq -0x80(%rsp), %rbx
xorq %rbx, %r15
xorq -0x78(%rsp), %r15
movq -0x58(%rsp), %rax
xorq %r10, %rax
xorq %r15, %rax
xorq %r8, %r9
movq %r9, 0x48(%rsp)
xorq %r11, %rcx
xorq %rbp, %r14
xorq %r9, %rsi
xorq %rcx, %rdx
rorxq $0x3f, %rsi, %r8
xorq %r13, %r8
movq %r8, %r11
rorxq $0x3f, %r13, %r8
xorq %rdx, %r8
movq %r8, -0x18(%rsp)
rorxq $0x3f, %rdx, %r15
xorq %rax, %r15
rorxq $0x3f, %rax, %r13
xorq %r14, %r13
rorxq $0x3f, %r14, %r9
xorq %rsi, %r9
movq -0x50(%rsp), %rax
xorq %r8, %rax
xorq %r13, %r12
rorxq $0x14, %r12, %rdx
xorq %r11, %rbx
movq %r11, %r12
rorxq $0x15, %rbx, %r8
xorq %r15, %rdi
rorxq $0x2b, %rdi, %rdi
xorq %r9, %rcx
rorxq $0x32, %rcx, %rsi
movq %r8, %rcx
notq %rcx
orq %rdi, %rcx
xorq %rdx, %rcx
movq %rcx, -0x28(%rsp)
movq %rsi, %r14
movq %rax, %rcx
orq %rax, %r14
movq %r14, %rbp
andq %rdx, %rcx
movq %rcx, %r14
orq %r8, %rdx
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
xorq %rcx, %rax
xorq %rdx, %rax
movq %rax, -0x10(%rsp)
xorq %rdi, %rbp
movq %rbp, -0x20(%rsp)
andq %rsi, %rdi
xorq %r8, %rdi
movq %rdi, 0x40(%rsp)
xorq %rsi, %r14
movq %r14, -0x50(%rsp)
movq -0x70(%rsp), %rax
xorq %r15, %rax
rorxq $0x24, %rax, %r8
movq -0x30(%rsp), %rax
xorq %r9, %rax
rorxq $0x2c, %rax, %rax
movq -0x40(%rsp), %rcx
movq -0x18(%rsp), %rbx
xorq %rbx, %rcx
rorxq $0x3d, %rcx, %rcx
movq 0x18(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x13, %rdx, %rdx
xorq %r11, %r10
rorxq $0x3, %r10, %rsi
movq %rax, %rdi
orq %rcx, %rdi
xorq %r8, %rdi
movq %rdi, %r11
movq %rdi, 0x18(%rsp)
movq %rsi, %rdi
orq %r8, %rdi
andq %rax, %r8
xorq %rsi, %r8
movq %r8, -0x70(%rsp)
notq %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, -0x80(%rsp)
andq %rdx, %rcx
xorq %rax, %rcx
movq %rcx, 0x58(%rsp)
xorq %rdx, %rdi
movq %rdi, -0x40(%rsp)
movq 0x20(%rsp), %rax
xorq %r13, %rax
rorxq $0x3f, %rax, %r10
movq -0x78(%rsp), %rax
xorq %r12, %rax
rorxq $0x3a, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x27, %rcx, %rdi
movq 0x38(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x68(%rsp), %rcx
xorq %rbx, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %rsi
orq %rdi, %rsi
andnq %rcx, %rdx, %r8
xorq %rdi, %r8
movq %r8, 0x20(%rsp)
andq %rdx, %rdi
notq %rdx
movq %rcx, %r8
orq %r10, %r8
xorq %rdx, %r8
movq %r8, -0x30(%rsp)
xorq %r10, %rsi
movq %rsi, %r14
movq %rsi, -0x38(%rsp)
xorq %rax, %rdi
movq %rdi, -0x78(%rsp)
andq %rax, %r10
xorq %rcx, %r10
movq %r10, %r8
movq %r10, 0x28(%rsp)
movq -0x10(%rsp), %rcx
xorq %r11, %rcx
movq 0x10(%rsp), %rax
xorq %r9, %rax
rorxq $0x25, %rax, %rsi
movq (%rsp), %rax
xorq %rbx, %rax
rorxq $0x1c, %rax, %rdi
movq -0x48(%rsp), %rax
xorq %r13, %rax
rorxq $0x36, %rax, %rax
movq %rdi, %rdx
andq %rax, %rdx
xorq %rsi, %rdx
movq %rdx, -0x68(%rsp)
movq %r14, %rbx
xorq %rdx, %rbx
xorq %rcx, %rbx
movq -0x58(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x31, %rcx, %r10
movq 0x48(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x8, %rcx, %r11
movq %rax, %rbp
orq %r10, %rbp
xorq %rdi, %rbp
movq %r11, %rdx
andq %rsi, %rdx
orq %rdi, %rsi
notq %r10
xorq %r11, %rsi
movq %rsi, (%rsp)
orq %r10, %r11
xorq %rax, %r11
movq %r11, -0x58(%rsp)
xorq %r10, %rdx
movq -0x20(%rsp), %rax
xorq -0x40(%rsp), %rax
movq -0x30(%rsp), %r11
xorq %rdx, %r11
xorq %rax, %r11
movq -0x50(%rsp), %rax
xorq -0x70(%rsp), %rax
movq %r8, %rdi
xorq %rsi, %rdi
xorq %rax, %rdi
movq %r12, %rcx
xorq -0x8(%rsp), %rcx
xorq -0x60(%rsp), %r15
xorq 0x50(%rsp), %r9
movq -0x18(%rsp), %rax
xorq 0x8(%rsp), %rax
xorq 0x30(%rsp), %r13
rorxq $0x2, %rcx, %rcx
rorxq $0x9, %r15, %r12
rorxq $0x19, %r9, %r15
rorxq $0x17, %rax, %r9
rorxq $0x3e, %r13, %r8
andnq %r15, %r12, %rax
xorq %rcx, %rax
movq %rax, -0x8(%rsp)
movq %r8, %rsi
orq %rcx, %rsi
andq %r12, %rcx
movq %r12, %r13
notq %r13
movq %r9, %r12
andq %r8, %r12
xorq %r15, %r12
movq %r15, %rax
orq %r9, %rax
xorq %r13, %rax
movq %rax, -0x18(%rsp)
movq 0x58(%rsp), %r14
movq %r14, %r15
xorq -0x78(%rsp), %r15
xorq -0x28(%rsp), %r15
movq %rbp, %r13
xorq %rax, %r13
xorq %r15, %r13
movq 0x40(%rsp), %r15
movq 0x20(%rsp), %r10
xorq %r10, %r15
xorq -0x80(%rsp), %r15
movq -0x58(%rsp), %rax
xorq %r12, %rax
xorq %r15, %rax
xorq %r9, %rsi
movq %rsi, 0x38(%rsp)
xorq %r8, %rcx
xorq -0x8(%rsp), %rbx
xorq %rsi, %r11
xorq %rcx, %rdi
rorxq $0x3f, %r11, %rsi
xorq %r13, %rsi
rorxq $0x3f, %r13, %r8
xorq %rdi, %r8
rorxq $0x3f, %rdi, %r15
xorq %rax, %r15
rorxq $0x3f, %rax, %rax
xorq %rbx, %rax
rorxq $0x3f, %rbx, %r9
xorq %r11, %r9
movq -0x10(%rsp), %rbx
xorq %r8, %rbx
movq %r8, %r13
movq %r14, %rdi
xorq %rax, %rdi
movq %rax, %r14
rorxq $0x14, %rdi, %r11
movq %r10, %rdi
xorq %rsi, %rdi
movq %rsi, %r10
rorxq $0x15, %rdi, %r8
xorq %r15, %rdx
rorxq $0x2b, %rdx, %rdx
xorq %r9, %rcx
rorxq $0x32, %rcx, %rsi
movq %r8, %rcx
notq %rcx
orq %rdx, %rcx
xorq %r11, %rcx
movq %rcx, -0x60(%rsp)
movq %rsi, %rdi
movq %rbx, %rcx
orq %rbx, %rdi
movq %rdi, %rbx
movq %rcx, %rax
andq %r11, %rcx
movq %rcx, %rdi
orq %r8, %r11
movl $0x800a, %ecx           # imm = 0x800A
xorq %rcx, %rax
xorq %r11, %rax
movq %rax, 0x10(%rsp)
xorq %rdx, %rbx
movq %rbx, -0x48(%rsp)
andq %rsi, %rdx
xorq %r8, %rdx
movq %rdx, 0x20(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x10(%rsp)
movq -0x20(%rsp), %rax
xorq %r15, %rax
rorxq $0x24, %rax, %r8
movq -0x70(%rsp), %rax
xorq %r9, %rax
rorxq $0x2c, %rax, %rax
movq -0x38(%rsp), %rcx
xorq %r13, %rcx
rorxq $0x3d, %rcx, %rcx
xorq %r14, %rbp
rorxq $0x13, %rbp, %rsi
xorq %r10, %r12
rorxq $0x3, %r12, %rdx
movq %rax, %rdi
orq %rcx, %rdi
xorq %r8, %rdi
movq %rdi, %r11
movq %rdi, 0x8(%rsp)
movq %rdx, %rdi
orq %r8, %rdi
andq %rax, %r8
xorq %rdx, %r8
movq %r8, -0x38(%rsp)
notq %rdx
orq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x70(%rsp)
andq %rsi, %rcx
xorq %rax, %rcx
movq %rcx, 0x48(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x20(%rsp)
movq -0x28(%rsp), %rax
xorq %r14, %rax
movq %r14, %rbp
rorxq $0x3f, %rax, %rdi
movq -0x80(%rsp), %rax
xorq %r10, %rax
movq %r10, %r12
rorxq $0x3a, %rax, %rax
movq -0x30(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x27, %rcx, %rsi
movq (%rsp), %rcx
xorq %r9, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x8(%rsp), %rcx
xorq %r13, %rcx
movq %r13, %r10
rorxq $0x2e, %rcx, %rcx
movq %rax, %rbx
orq %rsi, %rbx
andnq %rcx, %rdx, %r8
xorq %rsi, %r8
movq %r8, -0x8(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r8
orq %rdi, %r8
xorq %rdx, %r8
movq %r8, 0x30(%rsp)
xorq %rdi, %rbx
movq %rbx, -0x30(%rsp)
xorq %rax, %rsi
movq %rsi, -0x80(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, -0x28(%rsp)
movq 0x10(%rsp), %rdx
xorq %r11, %rdx
movq -0x50(%rsp), %rax
xorq %r9, %rax
rorxq $0x25, %rax, %r14
movq 0x18(%rsp), %rax
xorq %r13, %rax
rorxq $0x1c, %rax, %rcx
movq -0x78(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %r14, %rsi
movq %rsi, 0x50(%rsp)
xorq %rsi, %rbx
xorq %rdx, %rbx
movq -0x58(%rsp), %rdx
movq %r12, %r13
xorq %r12, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x38(%rsp), %rsi
xorq %r15, %rsi
rorxq $0x8, %rsi, %r12
movq %rax, %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, %r11
movq %rsi, -0x78(%rsp)
movq %r12, %rdi
andq %r14, %rdi
orq %rcx, %r14
notq %rdx
xorq %r12, %r14
movq %r14, 0x18(%rsp)
orq %rdx, %r12
xorq %rax, %r12
movq %r12, -0x50(%rsp)
xorq %rdx, %rdi
movq -0x48(%rsp), %rax
xorq -0x20(%rsp), %rax
movq %r8, %rsi
xorq %rdi, %rsi
xorq %rax, %rsi
movq -0x10(%rsp), %rax
xorq -0x38(%rsp), %rax
movq -0x28(%rsp), %rdx
xorq %r14, %rdx
xorq %rax, %rdx
movq %r13, %rax
xorq 0x40(%rsp), %rax
xorq -0x40(%rsp), %r15
xorq 0x28(%rsp), %r9
movq %r10, %r8
xorq -0x68(%rsp), %r8
movq %rbp, %r10
xorq -0x18(%rsp), %r10
rorxq $0x2, %rax, %rcx
rorxq $0x9, %r15, %r12
rorxq $0x19, %r9, %r15
rorxq $0x17, %r8, %r9
rorxq $0x3e, %r10, %r10
andnq %r15, %r12, %r14
xorq %rcx, %r14
movq %r14, -0x68(%rsp)
movq %r10, %rbp
orq %rcx, %rbp
andq %r12, %rcx
notq %r12
movq %r9, %r8
andq %r10, %r8
xorq %r15, %r8
movq %r15, %rax
orq %r9, %rax
xorq %r12, %rax
movq %rax, (%rsp)
movq 0x48(%rsp), %r13
movq %r13, %r15
xorq -0x80(%rsp), %r15
xorq -0x60(%rsp), %r15
movq %r11, %r12
xorq %rax, %r12
xorq %r15, %r12
movq 0x20(%rsp), %r15
movq -0x8(%rsp), %r11
xorq %r11, %r15
xorq -0x70(%rsp), %r15
movq -0x50(%rsp), %rax
xorq %r8, %rax
xorq %r15, %rax
xorq %r9, %rbp
movq %rbp, 0x38(%rsp)
xorq %r10, %rcx
xorq %r14, %rbx
xorq %rbp, %rsi
xorq %rcx, %rdx
rorxq $0x3f, %rsi, %r9
xorq %r12, %r9
movq %r9, %r10
rorxq $0x3f, %r12, %r9
xorq %rdx, %r9
movq %r9, -0x18(%rsp)
rorxq $0x3f, %rdx, %rdx
xorq %rax, %rdx
movq %rdx, %r12
rorxq $0x3f, %rax, %rbp
xorq %rbx, %rbp
rorxq $0x3f, %rbx, %r15
xorq %rsi, %r15
movq 0x10(%rsp), %r14
xorq %r9, %r14
xorq %rbp, %r13
rorxq $0x14, %r13, %rbx
xorq %r10, %r11
rorxq $0x15, %r11, %r9
xorq %rdx, %rdi
rorxq $0x2b, %rdi, %rsi
xorq %r15, %rcx
rorxq $0x32, %rcx, %rdx
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x7fffff8a(%rcx), %r11
xorq %r14, %r11
movq %r9, %rcx
notq %rcx
orq %rsi, %rcx
xorq %rbx, %rcx
movq %rcx, -0x40(%rsp)
movq %rdx, %rdi
orq %r14, %rdi
andq %rbx, %r14
orq %r9, %rbx
xorq %rbx, %r11
movq %r11, -0x8(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x58(%rsp)
andq %rdx, %rsi
xorq %r9, %rsi
movq %rsi, 0x40(%rsp)
xorq %rdx, %r14
movq %r14, 0x10(%rsp)
movq -0x48(%rsp), %rax
xorq %r12, %rax
rorxq $0x24, %rax, %r14
movq -0x38(%rsp), %rax
xorq %r15, %rax
rorxq $0x2c, %rax, %rax
movq -0x30(%rsp), %rcx
movq -0x18(%rsp), %r9
xorq %r9, %rcx
rorxq $0x3d, %rcx, %rdx
movq -0x78(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x13, %rcx, %rsi
movq %r10, 0x60(%rsp)
xorq %r10, %r8
rorxq $0x3, %r8, %rcx
movq %rax, %rdi
orq %rdx, %rdi
movq %r14, %r8
xorq %r14, %rdi
movq %rdi, %rbx
movq %rdi, 0x28(%rsp)
movq %rcx, %rdi
orq %r14, %rdi
andq %rax, %r8
xorq %rcx, %r8
movq %r8, -0x30(%rsp)
notq %rcx
orq %rsi, %rcx
xorq %rdx, %rcx
movq %rcx, -0x78(%rsp)
andq %rsi, %rdx
xorq %rax, %rdx
movq %rdx, 0x58(%rsp)
xorq %rsi, %rdi
movq %rdi, -0x48(%rsp)
movq -0x60(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3f, %rax, %rdi
movq -0x70(%rsp), %rax
xorq %r10, %rax
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x27, %rcx, %rcx
movq 0x18(%rsp), %rdx
xorq %r15, %rdx
rorxq $0x38, %rdx, %rsi
movq -0x68(%rsp), %rdx
xorq %r9, %rdx
movq %r9, %r8
rorxq $0x2e, %rdx, %rdx
movq %rax, %r13
orq %rcx, %r13
andnq %rdx, %rsi, %r9
xorq %rcx, %r9
movq %r9, -0x70(%rsp)
andq %rsi, %rcx
notq %rsi
movq %rdx, %r14
movq %rdi, %r10
orq %rdi, %r14
xorq %rsi, %r14
movq %r14, 0x30(%rsp)
xorq %rdi, %r13
movq %r13, 0x18(%rsp)
xorq %rax, %rcx
movq %rcx, -0x60(%rsp)
andq %rax, %r10
xorq %rdx, %r10
movq %r10, -0x68(%rsp)
xorq %rbx, %r11
movq -0x10(%rsp), %rax
xorq %r15, %rax
rorxq $0x25, %rax, %rbx
movq 0x8(%rsp), %rax
xorq %r8, %rax
rorxq $0x1c, %rax, %rdx
movq -0x80(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rdx, %rsi
andq %rax, %rsi
xorq %rbx, %rsi
movq %rsi, 0x8(%rsp)
xorq %rsi, %r13
xorq %r11, %r13
movq -0x50(%rsp), %rcx
movq 0x60(%rsp), %r9
xorq %r9, %rcx
rorxq $0x31, %rcx, %rcx
movq 0x38(%rsp), %rsi
xorq %r12, %rsi
rorxq $0x8, %rsi, %rdi
movq %rax, %rsi
orq %rcx, %rsi
xorq %rdx, %rsi
movq %rsi, -0x80(%rsp)
movq %rdi, %r11
andq %rbx, %r11
orq %rdx, %rbx
notq %rcx
xorq %rdi, %rbx
movq %rbx, 0x38(%rsp)
orq %rcx, %rdi
xorq %rax, %rdi
movq %rdi, -0x38(%rsp)
xorq %rcx, %r11
movq -0x58(%rsp), %rcx
xorq -0x48(%rsp), %rcx
movq %r14, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
movq 0x10(%rsp), %rcx
xorq -0x30(%rsp), %rcx
movq %r10, %r8
xorq %rbx, %r8
xorq %rcx, %r8
xorq 0x20(%rsp), %r9
movq %r12, %rdi
xorq -0x20(%rsp), %rdi
xorq -0x28(%rsp), %r15
movq -0x18(%rsp), %rax
xorq 0x50(%rsp), %rax
xorq (%rsp), %rbp
rorxq $0x2, %r9, %rdx
rorxq $0x9, %rdi, %rbx
rorxq $0x19, %r15, %r10
rorxq $0x17, %rax, %rdi
rorxq $0x3e, %rbp, %r9
andnq %r10, %rbx, %rax
xorq %rdx, %rax
movq %rax, -0x20(%rsp)
movq %r9, %rcx
orq %rdx, %rcx
andq %rbx, %rdx
notq %rbx
movq %rdi, %rbp
andq %r9, %rbp
xorq %r10, %rbp
movq %r10, %rax
orq %rdi, %rax
xorq %rbx, %rax
movq %rax, -0x18(%rsp)
movq 0x58(%rsp), %r12
movq %r12, %r10
xorq -0x60(%rsp), %r10
xorq -0x40(%rsp), %r10
movq -0x80(%rsp), %r15
xorq %rax, %r15
xorq %r10, %r15
movq 0x40(%rsp), %r10
movq -0x70(%rsp), %r14
xorq %r14, %r10
xorq -0x78(%rsp), %r10
movq -0x38(%rsp), %rax
xorq %rbp, %rax
xorq %r10, %rax
xorq %rdi, %rcx
movq %rcx, 0x48(%rsp)
xorq %r9, %rdx
xorq -0x20(%rsp), %r13
xorq %rcx, %rsi
xorq %rdx, %r8
rorxq $0x3f, %rsi, %rcx
xorq %r15, %rcx
movq %rcx, %rbx
rorxq $0x3f, %r15, %rcx
xorq %r8, %rcx
rorxq $0x3f, %r8, %rdi
xorq %rax, %rdi
rorxq $0x3f, %rax, %r10
xorq %r13, %r10
rorxq $0x3f, %r13, %r15
xorq %rsi, %r15
movq -0x8(%rsp), %r8
xorq %rcx, %r8
movq %rcx, %r9
xorq %r10, %r12
rorxq $0x14, %r12, %rcx
movq %r14, %rax
xorq %rbx, %rax
movq %rbx, %r14
rorxq $0x15, %rax, %rax
xorq %rdi, %r11
rorxq $0x2b, %r11, %r11
xorq %r15, %rdx
rorxq $0x32, %rdx, %rdx
movq %rax, %rsi
notq %rsi
orq %r11, %rsi
xorq %rcx, %rsi
movq %rsi, 0x20(%rsp)
movq %rdx, %rsi
orq %r8, %rsi
movq %rsi, %r13
movq %r8, %rbx
andq %rcx, %r8
orq %rax, %rcx
movabsq $-0x7fffffff7fff7f7f, %rsi # imm = 0x8000000080008081
xorq %rsi, %rbx
xorq %rcx, %rbx
movq %rbx, -0x50(%rsp)
xorq %r11, %r13
movq %r13, -0x70(%rsp)
andq %rdx, %r11
xorq %rax, %r11
movq %r11, -0x10(%rsp)
xorq %rdx, %r8
movq %r8, -0x8(%rsp)
movq -0x58(%rsp), %rax
xorq %rdi, %rax
rorxq $0x24, %rax, %r8
movq -0x30(%rsp), %rax
xorq %r15, %rax
rorxq $0x2c, %rax, %rax
movq 0x18(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x3d, %rcx, %r13
movq -0x80(%rsp), %rcx
xorq %r10, %rcx
rorxq $0x13, %rcx, %rcx
movq %r14, %r11
xorq %r14, %rbp
rorxq $0x3, %rbp, %rdx
movq %rax, %r12
orq %r13, %r12
xorq %r8, %r12
movq %r12, 0x18(%rsp)
movq %rdx, %rsi
orq %r8, %rsi
andq %rax, %r8
xorq %rdx, %r8
movq %r8, -0x30(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r13, %rdx
movq %rdx, -0x80(%rsp)
andq %rcx, %r13
xorq %rax, %r13
movq %r13, 0x58(%rsp)
xorq %rcx, %rsi
movq %rsi, -0x28(%rsp)
movq -0x40(%rsp), %rax
xorq %r10, %rax
rorxq $0x3f, %rax, %r8
movq -0x78(%rsp), %rax
xorq %r14, %rax
rorxq $0x3a, %rax, %rax
movq 0x30(%rsp), %rcx
xorq %rdi, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x38(%rsp), %rcx
xorq %r15, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x20(%rsp), %rcx
xorq %r9, %rcx
movq %r9, %rbp
rorxq $0x2e, %rcx, %rcx
movq %rax, %rbx
orq %rsi, %rbx
movq %rbx, %r13
andnq %rcx, %rdx, %r9
xorq %rsi, %r9
movq %r9, -0x20(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r14
orq %r8, %r14
xorq %rdx, %r14
movq %r14, 0x30(%rsp)
xorq %r8, %r13
movq %r13, %r9
movq %r13, 0x38(%rsp)
xorq %rax, %rsi
movq %rsi, -0x78(%rsp)
andq %rax, %r8
xorq %rcx, %r8
movq %r8, %r13
movq %r8, (%rsp)
movq -0x50(%rsp), %rdx
xorq %r12, %rdx
movq 0x10(%rsp), %rax
xorq %r15, %rax
rorxq $0x25, %rax, %rbx
movq 0x28(%rsp), %rax
xorq %rbp, %rax
rorxq $0x1c, %rax, %rcx
movq -0x60(%rsp), %rax
xorq %r10, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rsi
andq %rax, %rsi
xorq %rbx, %rsi
movq %rsi, 0x50(%rsp)
xorq %rsi, %r9
xorq %rdx, %r9
movq -0x38(%rsp), %rdx
xorq %r11, %rdx
movq %r11, %r12
rorxq $0x31, %rdx, %rdx
movq 0x48(%rsp), %rsi
xorq %rdi, %rsi
rorxq $0x8, %rsi, %r11
movq %rax, %rsi
orq %rdx, %rsi
xorq %rcx, %rsi
movq %rsi, -0x40(%rsp)
movq %r11, %r8
andq %rbx, %r8
orq %rcx, %rbx
notq %rdx
xorq %r11, %rbx
movq %rbx, 0x28(%rsp)
orq %rdx, %r11
xorq %rax, %r11
movq %r11, -0x58(%rsp)
xorq %rdx, %r8
movq -0x70(%rsp), %rax
xorq -0x28(%rsp), %rax
movq %r14, %rsi
xorq %r8, %rsi
xorq %rax, %rsi
movq -0x8(%rsp), %rax
xorq -0x30(%rsp), %rax
movq %r13, %rdx
xorq %rbx, %rdx
xorq %rax, %rdx
movq %r12, %rax
xorq 0x40(%rsp), %rax
xorq -0x48(%rsp), %rdi
xorq -0x68(%rsp), %r15
movq %rbp, %r14
xorq 0x8(%rsp), %r14
xorq -0x18(%rsp), %r10
rorxq $0x2, %rax, %rcx
rorxq $0x9, %rdi, %rdi
rorxq $0x19, %r15, %r11
rorxq $0x17, %r14, %r13
rorxq $0x3e, %r10, %rbp
andnq %r11, %rdi, %rax
xorq %rcx, %rax
movq %rax, -0x18(%rsp)
movq %rbp, %r15
orq %rcx, %r15
andq %rdi, %rcx
movq %rdi, %r14
notq %r14
movq %r13, %r10
andq %rbp, %r10
xorq %r11, %r10
movq %r11, %rax
orq %r13, %rax
xorq %r14, %rax
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %r12
movq %r12, %r11
xorq -0x78(%rsp), %r11
xorq 0x20(%rsp), %r11
movq -0x40(%rsp), %r14
xorq %rax, %r14
xorq %r11, %r14
movq -0x10(%rsp), %r11
movq -0x20(%rsp), %rbx
xorq %rbx, %r11
xorq -0x80(%rsp), %r11
movq -0x58(%rsp), %rax
xorq %r10, %rax
xorq %r11, %rax
xorq %r13, %r15
movq %r15, 0x48(%rsp)
xorq %rbp, %rcx
xorq -0x18(%rsp), %r9
xorq %r15, %rsi
xorq %rcx, %rdx
rorxq $0x3f, %rsi, %r13
xorq %r14, %r13
rorxq $0x3f, %r14, %rdi
xorq %rdx, %rdi
rorxq $0x3f, %rdx, %r11
xorq %rax, %r11
rorxq $0x3f, %rax, %r14
xorq %r9, %r14
rorxq $0x3f, %r9, %rbp
xorq %rsi, %rbp
movq -0x50(%rsp), %rax
xorq %rdi, %rax
movq %rdi, %r9
xorq %r14, %r12
rorxq $0x14, %r12, %rdx
xorq %r13, %rbx
rorxq $0x15, %rbx, %r15
xorq %r11, %r8
rorxq $0x2b, %r8, %rsi
xorq %rbp, %rcx
rorxq $0x32, %rcx, %rdi
movabsq $-0x7fffffffffffff80, %rcx # imm = 0x8000000000000080
leaq 0x8000(%rcx), %r8
movq %rax, %rcx
xorq %rax, %r8
movq %r8, %rax
movq %r15, %r8
notq %r8
orq %rsi, %r8
xorq %rdx, %r8
movq %r8, -0x20(%rsp)
movq %rdi, %r8
orq %rcx, %r8
andq %rdx, %rcx
orq %r15, %rdx
xorq %rdx, %rax
movq %rax, 0x10(%rsp)
xorq %rsi, %r8
movq %r8, -0x48(%rsp)
andq %rdi, %rsi
xorq %r15, %rsi
movq %rsi, 0x40(%rsp)
xorq %rdi, %rcx
movq %rcx, -0x50(%rsp)
movq -0x70(%rsp), %rax
xorq %r11, %rax
rorxq $0x24, %rax, %r8
movq -0x30(%rsp), %rax
xorq %rbp, %rax
rorxq $0x2c, %rax, %rax
movq 0x38(%rsp), %rcx
xorq %r9, %rcx
movq %r9, %r15
rorxq $0x3d, %rcx, %rsi
movq -0x40(%rsp), %rcx
xorq %r14, %rcx
rorxq $0x13, %rcx, %rcx
xorq %r13, %r10
rorxq $0x3, %r10, %rdx
movq %rax, %rdi
orq %rsi, %rdi
xorq %r8, %rdi
movq %rdi, -0x70(%rsp)
movq %rdx, %rdi
orq %r8, %rdi
andq %rax, %r8
xorq %rdx, %r8
movq %r8, -0x38(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, -0x60(%rsp)
andq %rcx, %rsi
xorq %rax, %rsi
movq %rsi, 0x58(%rsp)
xorq %rcx, %rdi
movq %rdi, -0x40(%rsp)
movq 0x20(%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 %r11, %rcx
rorxq $0x27, %rcx, %rsi
movq 0x28(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x38, %rcx, %rdx
movq -0x18(%rsp), %rcx
xorq %r9, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r8
orq %rsi, %r8
andnq %rcx, %rdx, %r9
xorq %rsi, %r9
movq %r9, -0x80(%rsp)
andq %rdx, %rsi
notq %rdx
movq %rcx, %r9
orq %rdi, %r9
xorq %rdx, %r9
movq %r9, %r10
movq %r9, 0x38(%rsp)
movq %r8, %rbx
xorq %rdi, %rbx
movq %rbx, -0x30(%rsp)
xorq %rax, %rsi
movq %rsi, 0x20(%rsp)
andq %rax, %rdi
xorq %rcx, %rdi
movq %rdi, %r12
movq %rdi, 0x28(%rsp)
movq 0x10(%rsp), %rsi
xorq -0x70(%rsp), %rsi
movq -0x8(%rsp), %rax
xorq %rbp, %rax
rorxq $0x25, %rax, %r8
movq 0x18(%rsp), %rax
xorq %r15, %rax
rorxq $0x1c, %rax, %rcx
movq -0x78(%rsp), %rax
xorq %r14, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rdx
andq %rax, %rdx
xorq %r8, %rdx
movq %rdx, -0x68(%rsp)
xorq %rdx, %rbx
xorq %rsi, %rbx
movq -0x58(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x31, %rdx, %rsi
movq 0x48(%rsp), %rdx
xorq %r11, %rdx
rorxq $0x8, %rdx, %rdi
movq %rax, %rdx
orq %rsi, %rdx
xorq %rcx, %rdx
movq %rdx, -0x58(%rsp)
movq %rdi, %r9
andq %r8, %r9
orq %rcx, %r8
notq %rsi
xorq %rdi, %r8
movq %r8, 0x18(%rsp)
orq %rsi, %rdi
xorq %rax, %rdi
movq %rdi, -0x8(%rsp)
xorq %rsi, %r9
movq -0x48(%rsp), %rax
xorq -0x40(%rsp), %rax
movq %r10, %rdx
xorq %r9, %rdx
xorq %rax, %rdx
movq -0x50(%rsp), %rax
xorq -0x38(%rsp), %rax
movq %r12, %rdi
xorq %r8, %rdi
xorq %rax, %rdi
xorq -0x10(%rsp), %r13
xorq -0x28(%rsp), %r11
xorq (%rsp), %rbp
xorq 0x50(%rsp), %r15
xorq 0x8(%rsp), %r14
rorxq $0x2, %r13, %rcx
rorxq $0x9, %r11, %r13
rorxq $0x19, %rbp, %r12
rorxq $0x17, %r15, %r11
rorxq $0x3e, %r14, %r8
andnq %r12, %r13, %rax
xorq %rcx, %rax
movq %rax, 0x8(%rsp)
movq %r8, %rbp
orq %rcx, %rbp
andq %r13, %rcx
notq %r13
movq %r11, %r10
andq %r8, %r10
xorq %r12, %r10
movq %r12, %rax
orq %r11, %rax
xorq %r13, %rax
movq %rax, 0x30(%rsp)
movq 0x58(%rsp), %r15
movq %r15, %rsi
xorq 0x20(%rsp), %rsi
xorq -0x20(%rsp), %rsi
movq -0x58(%rsp), %r12
xorq %rax, %r12
xorq %rsi, %r12
movq 0x40(%rsp), %rsi
movq -0x80(%rsp), %r14
xorq %r14, %rsi
xorq -0x60(%rsp), %rsi
movq -0x8(%rsp), %rax
xorq %r10, %rax
xorq %rsi, %rax
xorq %r11, %rbp
movq %rbp, 0x48(%rsp)
xorq %r8, %rcx
xorq 0x8(%rsp), %rbx
xorq %rbp, %rdx
xorq %rcx, %rdi
rorxq $0x3f, %rdx, %r13
xorq %r12, %r13
rorxq $0x3f, %r12, %rsi
xorq %rdi, %rsi
movq %rsi, 0x60(%rsp)
rorxq $0x3f, %rdi, %r12
xorq %rax, %r12
rorxq $0x3f, %rax, %rbp
xorq %rbx, %rbp
rorxq $0x3f, %rbx, %r11
xorq %rdx, %r11
movq 0x10(%rsp), %rdx
xorq %rsi, %rdx
xorq %rbp, %r15
rorxq $0x14, %r15, %rdi
xorq %r13, %r14
rorxq $0x15, %r14, %r8
xorq %r12, %r9
rorxq $0x2b, %r9, %r9
xorq %r11, %rcx
rorxq $0x32, %rcx, %rsi
movq %r8, %rax
notq %rax
orq %r9, %rax
xorq %rdi, %rax
movq %rax, -0x28(%rsp)
movq %rsi, %rax
movq %rdx, %rcx
orq %rdx, %rax
movq %rax, %rdx
movq %rcx, %rbx
andq %rdi, %rcx
movq %rcx, %rax
orq %r8, %rdi
movl $0x80000001, %ecx       # imm = 0x80000001
xorq %rcx, %rbx
xorq %rdi, %rbx
movq %rbx, -0x10(%rsp)
xorq %r9, %rdx
movq %rdx, -0x78(%rsp)
andq %rsi, %r9
xorq %r8, %r9
movq %r9, -0x80(%rsp)
xorq %rsi, %rax
movq %rax, 0x10(%rsp)
movq -0x48(%rsp), %rax
xorq %r12, %rax
rorxq $0x24, %rax, %rsi
movq -0x38(%rsp), %rax
xorq %r11, %rax
rorxq $0x2c, %rax, %rax
movq -0x30(%rsp), %rcx
movq 0x60(%rsp), %r8
xorq %r8, %rcx
rorxq $0x3d, %rcx, %r15
movq -0x58(%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x13, %rcx, %rcx
xorq %r13, %r10
rorxq $0x3, %r10, %rdx
movq %rax, %r9
orq %r15, %r9
xorq %rsi, %r9
movq %r9, (%rsp)
movq %rdx, %rdi
orq %rsi, %rdi
andq %rax, %rsi
xorq %rdx, %rsi
movq %rsi, -0x18(%rsp)
notq %rdx
orq %rcx, %rdx
xorq %r15, %rdx
movq %rdx, -0x48(%rsp)
andq %rcx, %r15
xorq %rax, %r15
xorq %rcx, %rdi
movq %rdi, -0x30(%rsp)
movq -0x20(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3f, %rax, %r10
movq -0x60(%rsp), %rax
xorq %r13, %rax
rorxq $0x3a, %rax, %rax
movq 0x38(%rsp), %rcx
xorq %r12, %rcx
rorxq $0x27, %rcx, %rdi
movq 0x18(%rsp), %rcx
xorq %r11, %rcx
rorxq $0x38, %rcx, %rdx
movq 0x8(%rsp), %rcx
xorq %r8, %rcx
rorxq $0x2e, %rcx, %rcx
movq %rax, %r14
orq %rdi, %r14
andnq %rcx, %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, -0x58(%rsp)
andq %rdx, %rdi
notq %rdx
movq %rcx, %rsi
orq %r10, %rsi
xorq %rdx, %rsi
movq %rsi, -0x60(%rsp)
xorq %r10, %r14
movq %r14, -0x20(%rsp)
xorq %rax, %rdi
movq %rdi, -0x38(%rsp)
andq %rax, %r10
xorq %rcx, %r10
movq %r10, %rsi
movq %r10, 0x18(%rsp)
movq -0x10(%rsp), %rdx
xorq %r9, %rdx
movq -0x50(%rsp), %rax
xorq %r11, %rax
rorxq $0x25, %rax, %r9
movq -0x70(%rsp), %rax
xorq %r8, %rax
rorxq $0x1c, %rax, %rcx
movq 0x20(%rsp), %rax
xorq %rbp, %rax
rorxq $0x36, %rax, %rax
movq %rcx, %rdi
andq %rax, %rdi
xorq %r9, %rdi
movq %rdi, 0x50(%rsp)
xorq %rdi, %r14
xorq %rdx, %r14
movq -0x8(%rsp), %rdx
xorq %r13, %rdx
rorxq $0x31, %rdx, %rdx
movq 0x48(%rsp), %rdi
xorq %r12, %rdi
rorxq $0x8, %rdi, %rbx
movq %rax, %rdi
orq %rdx, %rdi
xorq %rcx, %rdi
movq %rdi, -0x50(%rsp)
movq %rbx, %r10
andq %r9, %r10
orq %rcx, %r9
notq %rdx
xorq %rbx, %r9
movq %r9, -0x70(%rsp)
orq %rdx, %rbx
xorq %rax, %rbx
movq %rbx, 0x8(%rsp)
xorq %rdx, %r10
movq -0x78(%rsp), %rax
xorq -0x30(%rsp), %rax
movq -0x60(%rsp), %rdi
xorq %r10, %rdi
xorq %rax, %rdi
movq 0x10(%rsp), %rax
xorq -0x18(%rsp), %rax
movq %rsi, %rdx
xorq %r9, %rdx
xorq %rax, %rdx
xorq 0x40(%rsp), %r13
xorq -0x40(%rsp), %r12
xorq 0x28(%rsp), %r11
xorq -0x68(%rsp), %r8
xorq 0x30(%rsp), %rbp
rorxq $0x2, %r13, %rcx
rorxq $0x9, %r12, %rsi
rorxq $0x19, %r11, %r13
rorxq $0x17, %r8, %r12
rorxq $0x3e, %rbp, %r11
andnq %r13, %rsi, %rbx
xorq %rcx, %rbx
movq %rbx, -0x68(%rsp)
movq %r11, %rbp
orq %rcx, %rbp
andq %rsi, %rcx
notq %rsi
movq %r12, %r8
andq %r11, %r8
xorq %r13, %r8
orq %r12, %r13
xorq %rsi, %r13
movq %r13, 0x28(%rsp)
movq %r15, %rsi
xorq -0x38(%rsp), %rsi
xorq -0x28(%rsp), %rsi
movq -0x50(%rsp), %r9
xorq %r13, %r9
xorq %rsi, %r9
movq -0x80(%rsp), %rsi
movq -0x58(%rsp), %r13
xorq %r13, %rsi
xorq -0x48(%rsp), %rsi
movq 0x8(%rsp), %rax
xorq %r8, %rax
xorq %rsi, %rax
xorq %r12, %rbp
movq %rbp, 0x30(%rsp)
xorq %r11, %rcx
xorq %rbx, %r14
xorq %rbp, %rdi
xorq %rcx, %rdx
rorxq $0x3f, %rdi, %r12
xorq %r9, %r12
rorxq $0x3f, %r9, %rbp
xorq %rdx, %rbp
rorxq $0x3f, %rdx, %r11
xorq %rax, %r11
rorxq $0x3f, %rax, %rbx
xorq %r14, %rbx
rorxq $0x3f, %r14, %rsi
xorq %rdi, %rsi
movq -0x10(%rsp), %r9
xorq %rbp, %r9
xorq %rbx, %r15
rorxq $0x14, %r15, %r15
xorq %r12, %r13
rorxq $0x15, %r13, %rdx
xorq %r11, %r10
rorxq $0x2b, %r10, %rdi
xorq %rsi, %rcx
rorxq $0x32, %rcx, %rax
movabsq $-0x7fffffff7fff7f7f, %rcx # imm = 0x8000000080008081
leaq -0x79(%rcx), %r10
movq %r9, %rcx
xorq %r9, %r10
movq %rdx, %r9
notq %r9
orq %rdi, %r9
xorq %r15, %r9
movq %r9, -0x8(%rsp)
movq %rax, %r9
orq %rcx, %r9
andq %r15, %rcx
orq %rdx, %r15
xorq %r15, %r10
movq %r10, 0x40(%rsp)
xorq %rdi, %r9
movq %r9, -0x58(%rsp)
movq %rdi, %r10
andq %rax, %r10
xorq %rdx, %r10
xorq %rax, %rcx
movq %rcx, -0x10(%rsp)
movq -0x78(%rsp), %rax
xorq %r11, %rax
rorxq $0x24, %rax, %r14
movq -0x18(%rsp), %rax
xorq %rsi, %rax
rorxq $0x2c, %rax, %rdx
movq -0x20(%rsp), %rax
xorq %rbp, %rax
rorxq $0x3d, %rax, %rdi
movq -0x50(%rsp), %rax
xorq %rbx, %rax
rorxq $0x13, %rax, %r9
xorq %r12, %r8
rorxq $0x3, %r8, %rax
movq %rdx, %rcx
orq %rdi, %rcx
xorq %r14, %rcx
movq %rcx, 0x20(%rsp)
movq %rax, %rcx
orq %r14, %rcx
andq %rdx, %r14
xorq %rax, %r14
notq %rax
orq %r9, %rax
xorq %rdi, %rax
movq %rax, -0x20(%rsp)
andq %r9, %rdi
xorq %rdx, %rdi
movq %rdi, -0x50(%rsp)
xorq %r9, %rcx
movq %rcx, -0x40(%rsp)
movq -0x28(%rsp), %rax
xorq %rbx, %rax
rorxq $0x3f, %rax, %r15
movq -0x48(%rsp), %rax
xorq %r12, %rax
rorxq $0x3a, %rax, %rdx
movq -0x60(%rsp), %rax
xorq %r11, %rax
rorxq $0x27, %rax, %rcx
movq -0x70(%rsp), %rax
xorq %rsi, %rax
rorxq $0x38, %rax, %rdi
movq -0x68(%rsp), %rax
xorq %rbp, %rax
rorxq $0x2e, %rax, %r8
movq %rdx, %r9
orq %rcx, %r9
andnq %r8, %rdi, %rax
xorq %rcx, %rax
movq %rax, -0x68(%rsp)
movq %rcx, %rax
andq %rdi, %rax
notq %rdi
movq %r8, %rcx
orq %r15, %rcx
xorq %rdi, %rcx
movq %rcx, -0x70(%rsp)
xorq %r15, %r9
movq %r9, -0x60(%rsp)
xorq %rdx, %rax
movq %rax, -0x28(%rsp)
andq %rdx, %r15
xorq %r8, %r15
movq %r15, -0x48(%rsp)
movq 0x10(%rsp), %rcx
xorq %rsi, %rcx
rorxq $0x25, %rcx, %r15
movq (%rsp), %rcx
xorq %rbp, %rcx
rorxq $0x1c, %rcx, %rcx
movq -0x38(%rsp), %rdx
xorq %rbx, %rdx
rorxq $0x36, %rdx, %rdx
movq 0x8(%rsp), %rdi
xorq %r12, %rdi
rorxq $0x31, %rdi, %rdi
movq 0x30(%rsp), %rax
xorq %r11, %rax
rorxq $0x8, %rax, %r8
movq %rcx, %r9
andq %rdx, %r9
xorq %r15, %r9
movq %r9, 0x10(%rsp)
movq %rdx, %r9
orq %rdi, %r9
xorq %rcx, %r9
movq %r9, -0x78(%rsp)
movq %r8, %r9
andq %r15, %r9
orq %rcx, %r15
notq %rdi
xorq %r8, %r15
orq %rdi, %r8
xorq %rdx, %r8
xorq %rdi, %r9
movq %r9, -0x38(%rsp)
xorq -0x80(%rsp), %r12
xorq -0x30(%rsp), %r11
xorq 0x18(%rsp), %rsi
xorq 0x50(%rsp), %rbp
xorq 0x28(%rsp), %rbx
rorxq $0x2, %r12, %r13
rorxq $0x9, %r11, %rcx
rorxq $0x19, %rsi, %rsi
rorxq $0x17, %rbp, %rdi
rorxq $0x3e, %rbx, %rdx
movq %r14, %r11
movq %r8, %rbx
andnq %rsi, %rcx, %r8
xorq %r13, %r8
movq %r8, -0x80(%rsp)
movq %rdx, %r8
orq %r13, %r8
andq %rcx, %r13
notq %rcx
movq %rdi, %r9
andq %rdx, %r9
xorq %rsi, %r9
movq %rsi, %r14
orq %rdi, %r14
xorq %rcx, %r14
xorq %rdi, %r8
movq %r8, -0x30(%rsp)
xorq %rdx, %r13
movq %r13, 0x8(%rsp)
movq 0x40(%rsp), %r13
movq 0xa0(%rsp), %rdi
movq 0x90(%rsp), %rcx
subq %rcx, %rdi
movq 0x98(%rsp), %rdx
addq 0x78(%rsp), %rdx
cmpq %rcx, %rdi
movq 0x88(%rsp), %rcx
movq 0x80(%rsp), %rsi
jae 0xd8e1
jmp 0xd7ce
movq -0x78(%rsp), %rax
xorq 0x80(%rdx), %rax
movq %r9, %r13
movq %r10, %rdx
movq -0x70(%rsp), %r12
movq 0x18(%rsp), %r10
movq -0x80(%rsp), %rdi
jmp 0xdf0f
movq -0x68(%rsp), %r8
xorq 0x60(%rdx), %r8
movq %r10, %r13
movq %rcx, %rdx
movq -0x70(%rsp), %r12
movq %rbx, %r10
movq %r15, %r14
movq 0x28(%rsp), %r15
movq -0x80(%rsp), %rdi
movq -0x78(%rsp), %rax
jmp 0xdf77
nop