// File: /workspace/github_c_makefile_star2_O1/rb-de0[P]hashverifier-for-monacoin/Lyra2RE/bmw.c
// Function: compress_big
static void
compress_big(const unsigned char *data, const sph_u64 h[16], sph_u64 dh[16])
{
#if SPH_LITTLE_FAST
#define M(x)    sph_dec64le_aligned(data + 8 * (x))
#else
	sph_u64 mv[16];

	mv[ 0] = sph_dec64le_aligned(data +   0);
	mv[ 1] = sph_dec64le_aligned(data +   8);
	mv[ 2] = sph_dec64le_aligned(data +  16);
	mv[ 3] = sph_dec64le_aligned(data +  24);
	mv[ 4] = sph_dec64le_aligned(data +  32);
	mv[ 5] = sph_dec64le_aligned(data +  40);
	mv[ 6] = sph_dec64le_aligned(data +  48);
	mv[ 7] = sph_dec64le_aligned(data +  56);
	mv[ 8] = sph_dec64le_aligned(data +  64);
	mv[ 9] = sph_dec64le_aligned(data +  72);
	mv[10] = sph_dec64le_aligned(data +  80);
	mv[11] = sph_dec64le_aligned(data +  88);
	mv[12] = sph_dec64le_aligned(data +  96);
	mv[13] = sph_dec64le_aligned(data + 104);
	mv[14] = sph_dec64le_aligned(data + 112);
	mv[15] = sph_dec64le_aligned(data + 120);
#define M(x)    (mv[x])
#endif
#define H(x)    (h[x])
#define dH(x)   (dh[x])

	FOLDb;

#undef M
#undef H
#undef dH
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movq %rdx, -0x210(%rbp)
movq %rsi, %r12
movq 0x70(%rdi), %rsi
movq 0x70(%r12), %rax
movq %rax, -0xb8(%rbp)
xorq %rsi, %rax
movq %rax, %rcx
movq %rax, -0x78(%rbp)
movq 0x8(%r12), %rax
movq %rax, -0x160(%rbp)
movq 0x58(%rdi), %r8
movq %r8, -0xe0(%rbp)
movq 0x58(%r12), %rdx
movq %rdx, -0x90(%rbp)
xorq %r8, %rdx
movq %rdx, %r9
movq 0x48(%rdi), %rdx
movq %rdx, -0x60(%rbp)
movq 0x48(%r12), %r8
movq %r8, -0x108(%rbp)
xorq %rdx, %r8
movq %r8, -0x70(%rbp)
movq 0x8(%rdi), %r15
movq %r15, %r10
xorq %rax, %r10
movq %r10, %r11
movq %r10, -0xa0(%rbp)
movq 0x10(%r12), %rax
movq %rax, -0x1b8(%rbp)
movq 0x10(%rdi), %rdx
movq %rdx, -0x58(%rbp)
movq %rdx, %r10
xorq %rax, %r10
movq %r10, -0x98(%rbp)
movq %r9, -0x30(%rbp)
leaq (%r9,%rcx), %rdx
movq %rdx, -0x80(%rbp)
movq %r8, %rax
subq %rdx, %rax
addq %r11, %rax
addq %r10, %rax
movq 0x68(%rdi), %r8
movq %r8, -0x168(%rbp)
movq 0x68(%r12), %rdx
movq %rdx, -0x148(%rbp)
xorq %r8, %rdx
movq %rdx, %rcx
movq (%r12), %r8
movq %r8, -0x150(%rbp)
movq (%rdi), %rdx
xorq %rdx, %r8
movq %r8, %r14
movq %r8, -0xa8(%rbp)
movq %rdx, %r10
movq %rdx, -0x208(%rbp)
movq 0x18(%r12), %rdx
movq %rdx, -0x158(%rbp)
movq 0x18(%rdi), %r8
movq %r8, %rbx
movq %r8, %r11
xorq %rdx, %rbx
movq %rbx, -0x40(%rbp)
leaq (%r9,%r14), %rdx
addq %rbx, %rdx
movq %rcx, %r9
movq %rcx, %rbx
movq %rcx, -0x38(%rbp)
subq %rdx, %r9
movq 0x20(%r12), %rdx
movq %rdx, -0x1c0(%rbp)
movq 0x20(%rdi), %r8
movq %r8, -0x48(%rbp)
xorq %rdx, %r8
movq %r8, -0x178(%rbp)
addq %r8, %r9
movq %r9, %rdx
shrq %rdx
leaq (,%r9,4), %r8
xorq %rdx, %r8
movq %r9, %rdx
rolq $0xd, %rdx
xorq %r8, %rdx
rolq $0x2b, %r9
rolq %r10
movq %r10, -0x1a8(%rbp)
rolq $0x4, %r11
movq %r11, -0x130(%rbp)
xorq %rdx, %r9
movq 0x50(%rdi), %r8
movq 0x50(%r12), %rdx
movq %rdx, -0x138(%rbp)
xorq %r8, %rdx
movq %rdx, -0x50(%rbp)
rolq $0xb, %r8
movq %r8, -0x140(%rbp)
movq %r10, %rdx
subq %r8, %rdx
movabsq $0x5555555555555550, %r8 # imm = 0x5555555555555550
addq %r11, %r8
addq %rdx, %r8
movq 0x38(%r12), %r14
addq %r14, %r9
movq %r9, -0x88(%rbp)
xorq %r14, %r8
movq %r8, -0xf8(%rbp)
movq 0x38(%rdi), %r8
xorq %r8, %r14
movq %rax, %rcx
shrq %rcx
rolq $0x2, %r15
movq %r15, -0x170(%rbp)
rolq $0x8, %r8
movq %r8, -0x1b0(%rbp)
xorq %rax, %rcx
movq %rcx, %rdx
movq 0x40(%rdi), %rax
movq 0x40(%r12), %rcx
movq %rcx, -0x128(%rbp)
xorq %rax, %rcx
movq %rcx, -0xd8(%rbp)
movq %rax, %rcx
rolq $0xf, %rsi
subq %rsi, %r8
movq %r8, -0x200(%rbp)
rolq $0x9, %rcx
movq %rsi, -0x1a0(%rbp)
movq %rcx, -0x1f0(%rbp)
subq %rcx, %rsi
movabsq $-0x600000000000000a, %rax # imm = 0x9FFFFFFFFFFFFFF6
addq %r15, %rax
addq %rsi, %rax
movq 0x28(%r12), %r8
addq %r8, %rdx
movq %rdx, -0xe8(%rbp)
xorq %r8, %rax
movq %rax, -0xc0(%rbp)
movq 0x28(%rdi), %rdx
xorq %rdx, %r8
movq %r8, %rax
movq %r14, -0x100(%rbp)
subq %r14, %rax
movq -0x50(%rbp), %r10
addq %r10, %rax
addq %rbx, %rax
addq -0x78(%rbp), %rax
movq %rax, %rsi
shrq %rsi
leaq (,%rax,8), %r9
xorq %rsi, %r9
movq %rax, %rsi
rolq $0x4, %rsi
rolq $0x25, %rax
xorq %r9, %rsi
xorq %rsi, %rax
movq %rax, -0x180(%rbp)
movq %rdi, %rbx
movq 0x78(%rdi), %rsi
movq 0x78(%r12), %r9
movq %r9, -0x198(%rbp)
xorq %rsi, %r9
movq 0x60(%rdi), %rax
movq %rax, -0x110(%rbp)
movq %rdi, -0x1f8(%rbp)
movq 0x60(%r12), %r13
movq %r13, -0x190(%rbp)
xorq %rax, %r13
addq %r9, %r10
movq -0x98(%rbp), %rax
leaq (%rax,%r13), %rdi
movq %r10, %rax
subq %rdi, %rax
addq -0x40(%rbp), %rax
movq %rax, %rdi
shrq %rdi
movq %rax, %r10
rolq $0x4, %r10
leaq (,%rax,8), %r11
xorq %rdi, %r11
xorq %r11, %r10
rolq $0x25, %rax
movq -0x58(%rbp), %rdi
rolq $0x3, %rdi
movq %rdi, -0x58(%rbp)
rolq $0x6, %rdx
movq %rdx, -0x1e0(%rbp)
xorq %r10, %rax
movq %rax, %r10
rolq $0x10, %rsi
leaq (%rdx,%rcx), %rax
subq %rsi, %rax
movq %rax, -0x1e8(%rbp)
movq -0x60(%rbp), %rax
rolq $0xa, %rax
movq %rax, -0x60(%rbp)
movq %rsi, -0x188(%rbp)
subq %rax, %rsi
movabsq $-0x5aaaaaaaaaaaaab5, %rax # imm = 0xA55555555555554B
addq %rdi, %rax
addq %rsi, %rax
movq 0x30(%r12), %r15
addq %r15, %r10
movq %r10, -0x118(%rbp)
xorq %r15, %rax
movq %rax, -0x120(%rbp)
movq 0x30(%rbx), %rax
movq %rax, -0x68(%rbp)
xorq %rax, %r15
movq -0x80(%rbp), %rax
addq %r15, %rax
movq -0xd8(%rbp), %r10
leaq (%r10,%r9), %rcx
movq %rcx, -0xb0(%rbp)
subq %rcx, %rax
movq %rax, %rsi
shrq %rsi
leaq (,%rax,4), %rdi
xorq %rsi, %rdi
movq %rax, %rsi
rolq $0xd, %rsi
xorq %rdi, %rsi
rolq $0x2b, %rax
xorq %rsi, %rax
movq %rax, -0xf0(%rbp)
movq -0x70(%rbp), %rax
movq -0xa8(%rbp), %r12
leaq (%r12,%rax), %rax
addq %r9, %rax
addq %r14, %rax
subq %r13, %rax
movq %rax, %rsi
shrq $0x2, %rsi
leaq (%rax,%rax), %rdi
xorq %rsi, %rdi
movq %rax, %rsi
rolq $0x13, %rsi
xorq %rdi, %rsi
rolq $0x35, %rax
xorq %rsi, %rax
movq %rax, -0xd0(%rbp)
movq -0x38(%rbp), %r11
movq %r11, %rdx
movq -0x50(%rbp), %rcx
subq %rcx, %rdx
addq %r10, %rdx
addq %r12, %rdx
movq -0xa0(%rbp), %r10
subq %r10, %rdx
movq %rdx, %rsi
shrq $0x2, %rsi
leaq (,%rdx,4), %rdi
xorq %rsi, %rdi
movq %rdx, %rsi
rolq $0x1c, %rsi
xorq %rdi, %rsi
rolq $0x3b, %rdx
xorq %rsi, %rdx
movq %rdx, -0xc8(%rbp)
movq -0x78(%rbp), %r14
movq -0x178(%rbp), %rbx
leaq (%r13,%rbx), %rdi
addq %r14, %rdi
addq %r8, %rdi
movq %r10, %rdx
subq %rdi, %rdx
movq %rdx, %rsi
shrq $0x2, %rsi
leaq (%rdx,%rdx), %rdi
xorq %rsi, %rdi
movq %rdx, %rsi
rolq $0x13, %rsi
xorq %rdi, %rsi
rolq $0x35, %rdx
xorq %rsi, %rdx
movq %rdx, -0x80(%rbp)
movq %r12, %rax
leaq (%r15,%r12), %rdi
addq %r8, %rax
movq %rcx, %rdx
movq %rcx, %rsi
movq -0x30(%rbp), %rcx
addq %rcx, %rdx
movq %rdx, -0x50(%rbp)
addq %r8, %rcx
addq %r15, %r8
addq %r8, %r9
addq %r13, %rcx
movq %rcx, -0x30(%rbp)
addq %r11, %r13
movq %r11, %rdx
subq %r9, %rdx
movq -0x98(%rbp), %r11
addq %r11, %rdx
movq %rdx, %r8
shrq $0x2, %r8
leaq (,%rdx,4), %r9
xorq %r8, %r9
movq %rdx, %r8
rolq $0x1c, %r8
rolq $0x3b, %rdx
xorq %r9, %r8
xorq %r8, %rdx
movq %rdx, -0xa8(%rbp)
movq %r14, %r12
movq -0x100(%rbp), %rdx
subq %rdx, %r12
addq %rdi, %r12
movq -0x40(%rbp), %r14
subq %r14, %r12
movq %r12, %rdi
shrq %rdi
xorq %r12, %rdi
movq %rdi, -0x38(%rbp)
movq %r10, %rcx
leaq (%rdx,%r10), %rdi
addq %rbx, %rdi
movq -0xb0(%rbp), %r9
subq %rdi, %r9
movq %r9, %rdi
shrq %rdi
leaq (,%r9,8), %r8
xorq %rdi, %r8
movq %r9, %rdi
rolq $0x4, %rdi
rolq $0x25, %r9
xorq %r8, %rdi
xorq %rdi, %r9
movq %r9, -0xb0(%rbp)
addq %r11, %rax
movq -0x70(%rbp), %r9
movq -0xd8(%rbp), %r10
leaq (%r10,%r9), %r12
subq %rax, %r12
movq %r12, %rdi
shrq %rdi
leaq (,%r12,4), %r8
xorq %rdi, %r8
movq %r12, %rdi
rolq $0xd, %rdi
xorq %r8, %rdi
rolq $0x2b, %r12
xorq %rdi, %r12
movq %r12, -0x78(%rbp)
movq %r9, %r8
addq %r15, %r8
subq %r8, %rsi
movq %rcx, %rax
addq %r14, %rax
addq %rsi, %rax
movq %rax, %rcx
shrq $0x2, %rcx
leaq (%rax,%rax), %rsi
xorq %rcx, %rsi
movq %rax, %rcx
rolq $0x13, %rcx
xorq %rsi, %rcx
rolq $0x35, %rax
xorq %rcx, %rax
movq %rax, -0xa0(%rbp)
addq %rbx, %rdx
movq -0x50(%rbp), %rdi
addq %rdx, %rdi
addq %r11, %rdi
movq %rdi, %rcx
shrq $0x2, %rcx
movq %rdi, %rdx
rolq $0x1c, %rdx
leaq (,%rdi,4), %rsi
xorq %rcx, %rsi
xorq %rsi, %rdx
rolq $0x3b, %rdi
xorq %rdx, %rdi
movq %rdi, -0x50(%rbp)
subq -0x30(%rbp), %r10
addq %r14, %r10
movq %r10, %rdx
shrq %rdx
xorq %r10, %rdx
movq %rdx, -0x70(%rbp)
addq %rbx, %r8
subq %r8, %r13
movq %r13, %rax
shrq %rax
leaq (,%r13,8), %rcx
xorq %rax, %rcx
movq %r13, %rax
rolq $0x4, %rax
xorq %rcx, %rax
rolq $0x25, %r13
xorq %rax, %r13
movq %r13, -0x40(%rbp)
movq -0x180(%rbp), %rdx
addq -0x160(%rbp), %rdx
movq %rdx, -0x180(%rbp)
movq %rdx, %rax
shrq %rax
leaq (,%rdx,4), %rcx
xorq %rax, %rcx
movq %rdx, %rax
rolq $0xd, %rax
xorq %rcx, %rax
movq %rdx, %rcx
rolq $0x2b, %rcx
xorq %rax, %rcx
movq -0xf0(%rbp), %r15
addq -0x1b8(%rbp), %r15
movq %r15, -0xf0(%rbp)
movq %r15, %rax
shrq $0x2, %rax
leaq (%r15,%r15), %rdx
xorq %rax, %rdx
movq %r15, %rax
rolq $0x13, %rax
xorq %rdx, %rax
rolq $0x35, %r15
xorq %rax, %r15
addq %rcx, %r15
movq -0xd0(%rbp), %rdx
addq -0x158(%rbp), %rdx
movq %rdx, -0xd0(%rbp)
movq %rdx, %rax
rolq $0x1c, %rax
leaq (,%rdx,4), %rcx
xorq %rcx, %rax
movq %rdx, %rbx
rolq $0x3b, %rbx
movq %rdx, %rcx
shrq $0x2, %rcx
movq %rcx, -0x30(%rbp)
xorq %rcx, %rbx
xorq %rax, %rbx
movq -0xc8(%rbp), %r11
addq -0x1c0(%rbp), %r11
movq %r11, -0xc8(%rbp)
movq %r11, %rax
shrq %rax
leaq (,%r11,8), %rcx
xorq %rax, %rcx
movq %r11, %rax
rolq $0x4, %rax
xorq %rcx, %rax
rolq $0x25, %r11
xorq %rax, %r11
movq -0xe8(%rbp), %r9
movq %r9, %rax
rolq $0xd, %rax
leaq (,%r9,4), %rcx
xorq %rcx, %rax
movq %r9, %rcx
shrq %rcx
movq %rcx, -0xd8(%rbp)
rolq $0x2b, %r9
xorq %rcx, %r9
xorq %rax, %r9
movq -0x118(%rbp), %rsi
movq %rsi, %rax
shrq $0x2, %rax
leaq (%rsi,%rsi), %rcx
xorq %rax, %rcx
movq %rsi, %rdx
rolq $0x13, %rdx
xorq %rcx, %rdx
movq %rsi, %rax
rolq $0x35, %rax
xorq %rdx, %rax
movq -0x88(%rbp), %r13
movq %r13, %rcx
rolq $0x1c, %rcx
leaq (,%r13,4), %rdx
xorq %rdx, %rcx
movq %r13, %rdx
shrq $0x2, %rdx
movq %rdx, -0x100(%rbp)
rolq $0x3b, %r13
xorq %rdx, %r13
xorq %rcx, %r13
movq -0x80(%rbp), %r8
addq -0x128(%rbp), %r8
movq %r8, -0x80(%rbp)
movq %r8, %rcx
shrq %rcx
leaq (,%r8,8), %rdx
xorq %rcx, %rdx
movq %r8, %rcx
rolq $0x4, %rcx
xorq %rdx, %rcx
rolq $0x25, %r8
movq -0xa8(%rbp), %rdx
addq -0x108(%rbp), %rdx
movq %rdx, -0xa8(%rbp)
movq %rdx, %r10
rolq $0xd, %r10
xorq %rcx, %r8
leaq (,%rdx,4), %rcx
xorq %rcx, %r10
movq %rdx, %rsi
shrq %rsi
movq %rsi, -0x1d8(%rbp)
movq %rdx, %rcx
rolq $0x2b, %rcx
xorq %rsi, %rcx
xorq %r10, %rcx
movq -0x38(%rbp), %rdx
addq -0x138(%rbp), %rdx
movq %rdx, -0x38(%rbp)
movq %rdx, %r10
shrq $0x2, %r10
leaq (%rdx,%rdx), %r14
xorq %r10, %r14
movq %rdx, %r12
rolq $0x13, %r12
xorq %r14, %r12
movq %rdx, %r10
rolq $0x35, %r10
xorq %r12, %r10
addq %rcx, %r10
movq -0xb0(%rbp), %rsi
addq -0x90(%rbp), %rsi
movq %rsi, -0xb0(%rbp)
movq %rsi, %r12
rolq $0x1c, %r12
addq %rax, %r10
leaq (,%rsi,4), %rax
xorq %rax, %r12
movq %rsi, %rax
shrq $0x2, %rax
movq %rax, -0x1d0(%rbp)
rolq $0x3b, %rsi
xorq %rax, %rsi
xorq %r12, %rsi
movq -0x78(%rbp), %rdi
addq -0x190(%rbp), %rdi
movq %rdi, %rax
shrq %rax
leaq (,%rdi,8), %r12
xorq %rax, %r12
movq %rdi, %rcx
rolq $0x4, %rcx
xorq %r12, %rcx
movq -0xa0(%rbp), %r12
addq -0x148(%rbp), %r12
movq %r12, -0xa0(%rbp)
movq %r12, %rdx
rolq $0xd, %rdx
leaq (,%r12,4), %rax
xorq %rax, %rdx
movq %r12, %r14
shrq %r14
movq %r12, %rax
rolq $0x2b, %rax
xorq %r14, %rax
xorq %rdx, %rax
movq %rdi, %rdx
movq %rdi, %r12
rolq $0x25, %rdx
movq %rdx, -0x98(%rbp)
xorq %rdx, %rcx
addq %rcx, %rax
addq %r13, %rax
addq %r8, %rax
addq %rsi, %rax
movq -0x50(%rbp), %rsi
addq -0xb8(%rbp), %rsi
movq %rsi, -0x50(%rbp)
movq %rsi, %rcx
shrq $0x2, %rcx
leaq (%rsi,%rsi), %rdx
xorq %rcx, %rdx
movq %rsi, %rcx
rolq $0x13, %rcx
xorq %rdx, %rcx
movq %rsi, %rdx
rolq $0x35, %rdx
movq -0x70(%rbp), %rdi
addq -0x198(%rbp), %rdi
movq %rdi, -0x70(%rbp)
movq %rdi, %rsi
rolq $0x1c, %rsi
xorq %rcx, %rdx
leaq (,%rdi,4), %rcx
xorq %rcx, %rsi
movq %rdi, %r13
shrq $0x2, %r13
movq %rdi, %rcx
rolq $0x3b, %rcx
xorq %r13, %rcx
xorq %rsi, %rcx
addq %r11, %rcx
addq %r9, %rcx
movq -0x40(%rbp), %r8
addq -0x150(%rbp), %r8
movq %r8, -0x40(%rbp)
movq %r8, %rsi
shrq %rsi
leaq (,%r8,8), %rdi
xorq %rsi, %rdi
movq %r8, %rsi
rolq $0x4, %rsi
xorq %rdi, %rsi
movq %r8, %rdi
rolq $0x25, %rdi
movq %rdi, -0x178(%rbp)
xorq %rdi, %rsi
addq %rdx, %rsi
movq -0xf8(%rbp), %rdx
addq %rbx, %rdx
addq %r15, %rdx
addq %rcx, %rdx
addq %r10, %rdx
addq %rax, %rdx
addq %rsi, %rdx
movq %rdx, -0xf8(%rbp)
movq -0xf0(%rbp), %r11
movq %r11, %rax
shrq %rax
leaq (,%r11,4), %rcx
xorq %rax, %rcx
movq %r11, %rax
rolq $0xd, %rax
xorq %rcx, %rax
rolq $0x2b, %r11
xorq %rax, %r11
movq %r11, -0x1c8(%rbp)
movq -0xd0(%rbp), %rdx
movq %rdx, %rcx
rolq $0x13, %rcx
leaq (%rdx,%rdx), %rax
xorq %rax, %rcx
movq %rdx, %rax
rolq $0x35, %rax
xorq -0x30(%rbp), %rax
xorq %rcx, %rax
movq -0xc8(%rbp), %rdi
movq %rdi, %rcx
shrq $0x2, %rcx
movq %rdi, %rdx
rolq $0x1c, %rdx
leaq (,%rdi,4), %rsi
xorq %rcx, %rsi
rolq $0x3b, %rdi
xorq %rsi, %rdx
movq -0xe8(%rbp), %r8
movq %r8, %rsi
rolq $0x4, %rsi
xorq %rdx, %rdi
leaq (,%r8,8), %rcx
xorq %rcx, %rsi
movq %r8, %rcx
rolq $0x25, %rcx
xorq -0xd8(%rbp), %rcx
xorq %rsi, %rcx
addq %rdi, %rcx
movq -0x118(%rbp), %r8
movq %r8, %rdx
shrq %rdx
leaq (,%r8,4), %rsi
xorq %rdx, %rsi
movq %r8, %rdi
rolq $0xd, %rdi
xorq %rsi, %rdi
movq %r8, %rdx
rolq $0x2b, %rdx
xorq %rdi, %rdx
movq -0x88(%rbp), %r8
movq %r8, %rsi
rolq $0x13, %rsi
movq %r8, %rdi
rolq $0x35, %rdi
addq %r8, %r8
xorq %r8, %rsi
xorq -0x100(%rbp), %rdi
xorq %rsi, %rdi
movq -0x80(%rbp), %r9
movq %r9, %rsi
shrq $0x2, %rsi
leaq (,%r9,4), %r8
xorq %rsi, %r8
movq %r9, %rsi
rolq $0x1c, %rsi
xorq %r8, %rsi
movq %r9, %r8
rolq $0x3b, %r8
xorq %rsi, %r8
addq %rdi, %r8
movq -0xa8(%rbp), %r9
movq %r9, %rdi
rolq $0x4, %rdi
leaq (,%r9,8), %rsi
xorq %rsi, %rdi
movq %r9, %rsi
rolq $0x25, %rsi
xorq -0x1d8(%rbp), %rsi
xorq %rdi, %rsi
addq %rcx, %rsi
movq -0x38(%rbp), %r9
movq %r9, %rcx
shrq %rcx
leaq (,%r9,4), %rdi
xorq %rcx, %rdi
movq %r9, %rcx
rolq $0xd, %rcx
xorq %rdi, %rcx
movq %r9, %rdi
rolq $0x2b, %rdi
xorq %rcx, %rdi
addq %rdx, %rdi
movq -0xb0(%rbp), %r9
movq %r9, %rdx
rolq $0x13, %rdx
leaq (%r9,%r9), %rcx
xorq %rcx, %rdx
movq %r9, %rcx
rolq $0x35, %rcx
xorq -0x1d0(%rbp), %rcx
xorq %rdx, %rcx
addq %r8, %rcx
movq %r12, -0x78(%rbp)
movq %r12, %rdx
shrq $0x2, %rdx
leaq (,%r12,4), %r8
xorq %rdx, %r8
movq %r12, %rdx
rolq $0x1c, %rdx
xorq %r8, %rdx
rolq $0x3b, %r12
xorq %rdx, %r12
addq %rdi, %r12
movq -0xa0(%rbp), %r9
movq %r9, %rdi
rolq $0x4, %rdi
leaq (,%r9,8), %rdx
xorq %r14, %rdx
movq %r9, %r10
rolq $0x25, %r10
movq %r10, -0xd8(%rbp)
xorq %rdi, %rdx
xorq %r10, %rdx
addq %r12, %rdx
movq -0x50(%rbp), %r10
movq %r10, %rdi
shrq %rdi
leaq (,%r10,4), %r8
xorq %rdi, %r8
movq %r10, %r9
rolq $0xd, %r9
xorq %r8, %r9
movq %r10, %r8
rolq $0x2b, %r8
xorq %r8, %r9
addq %rcx, %r9
movq -0x70(%rbp), %r15
movq %r15, %rcx
rolq $0x13, %rcx
leaq (%r15,%r15), %rdi
xorq %rdi, %rcx
movq %r15, %r10
rolq $0x35, %r10
xorq %r13, %r10
xorq %rcx, %r10
addq %rax, %r10
movq -0x40(%rbp), %rdi
movq %rdi, %rax
shrq $0x2, %rax
leaq (,%rdi,4), %rcx
xorq %rax, %rcx
movq %rdi, %rax
rolq $0x1c, %rax
xorq %rcx, %rax
rolq $0x3b, %rdi
xorq %rax, %rdi
movq -0xf8(%rbp), %r11
movq %r11, %rax
shrq %rax
movq %r11, %rcx
rolq $0x4, %rcx
leaq (,%r11,8), %rbx
xorq %rax, %rbx
movq -0x48(%rbp), %r12
rolq $0x5, %r12
movq %r12, -0x48(%rbp)
xorq %rcx, %rbx
movq -0xe0(%rbp), %r13
rolq $0xc, %r13
movq %r13, -0xe0(%rbp)
movq -0x1b0(%rbp), %rcx
movq -0x140(%rbp), %r14
addq %r14, %rcx
movq -0x170(%rbp), %r14
subq %r14, %rcx
movq %rcx, -0x100(%rbp)
subq %r13, %r14
movabsq $0x5aaaaaaaaaaaaaa5, %r13 # imm = 0x5AAAAAAAAAAAAAA5
addq %r12, %r13
addq %r14, %r13
xorq -0x128(%rbp), %r13
addq -0x1c8(%rbp), %r13
addq %r10, %r13
addq %rsi, %r13
addq %rdx, %r13
addq %r9, %r13
addq %rdi, %r13
movq %r13, %r9
movq %r11, %r10
movq %r11, %rcx
rolq $0x25, %rcx
movq %rcx, -0x128(%rbp)
xorq %rcx, %rbx
movq -0xc8(%rbp), %r11
movq %r11, %rdx
rolq $0x5, %rdx
addq %rbx, %r9
movq -0x38(%rbp), %rsi
rolq $0x20, %rsi
addq %rdx, %rsi
movq -0x110(%rbp), %rcx
rolq $0xd, %rcx
movq %rcx, -0x110(%rbp)
movq -0x1e0(%rbp), %rdx
subq %rdx, -0x1a0(%rbp)
subq %rcx, %rdx
movabsq $0x5ffffffffffffffa, %rdi # imm = 0x5FFFFFFFFFFFFFFA
addq -0x58(%rbp), %rdi
addq %rdx, %rdi
xorq -0x108(%rbp), %rdi
addq %r15, %rdi
addq -0xd0(%rbp), %rdi
movq -0xe8(%rbp), %r14
addq %r14, %rdi
movq -0xa8(%rbp), %r15
addq %r15, %rdi
addq %rsi, %rdi
movq -0x118(%rbp), %r13
movq %r13, %rdx
rolq $0xb, %rdx
movq -0xa0(%rbp), %rbx
addq %rbx, %rdx
addq -0x88(%rbp), %rdx
addq %rdi, %rdx
movq -0x80(%rbp), %rsi
rolq $0x1b, %rsi
movq -0x98(%rbp), %rcx
movq -0xb0(%rbp), %r12
addq %r12, %rcx
addq %rsi, %rcx
addq %r8, %rcx
addq %rdx, %rcx
movq -0x40(%rbp), %rsi
movq %rsi, %rdx
rolq $0x35, %rdx
addq %rdx, %rcx
xorq %r10, %rax
addq %rax, %rcx
movq %r9, -0x30(%rbp)
movq %r9, %rax
shrq $0x2, %rax
xorq %r9, %rax
addq %rax, %rcx
movq %rcx, -0x98(%rbp)
movq -0x68(%rbp), %rdx
rolq $0x7, %rdx
movq %rdx, -0x68(%rbp)
movq -0x168(%rbp), %rax
rolq $0xe, %rax
movq %rax, -0x168(%rbp)
subq %rax, %rdx
movabsq $0x655555555555554f, %rcx # imm = 0x655555555555554F
addq -0x130(%rbp), %rcx
addq %rdx, %rcx
xorq -0x138(%rbp), %rcx
movq -0x70(%rbp), %r9
movq %r9, %rdx
rolq $0x2b, %rdx
addq %r11, %rcx
addq %rdx, %rcx
movq %r14, %rax
movq %r14, %rdx
rolq $0x5, %rdx
addq %rdx, %rcx
movq %r15, %r14
movq %r15, %rdx
rolq $0x1b, %rdx
addq %rdx, %rcx
movq %rcx, -0x170(%rbp)
movq -0x50(%rbp), %r10
movq %r10, %rdx
rolq $0x25, %rdx
rolq $0x2b, %rsi
addq %rdx, %rsi
movabsq $0x6aaaaaaaaaaaaaa4, %rdx # imm = 0x6AAAAAAAAAAAAAA4
addq -0x48(%rbp), %rdx
addq -0x200(%rbp), %rdx
xorq -0x90(%rbp), %rdx
movq %r13, %rdi
rolq $0x5, %rdi
movq -0x38(%rbp), %rcx
movq %rcx, %r8
rolq $0x1b, %r8
addq %rax, %rdx
addq %r9, %rdx
movq %r9, %r15
addq %r8, %rdx
addq %r14, %rdx
movq %r14, %r9
addq %rbx, %rdx
movq -0x88(%rbp), %r14
addq %r14, %rdi
addq %rdx, %rdi
movq -0x80(%rbp), %r8
movq %r8, %rdx
rolq $0xb, %rdx
movq -0x78(%rbp), %r11
movq %r11, %rax
rolq $0x20, %rax
addq %r12, %rax
addq %rdx, %rax
addq %rdi, %rax
addq %rsi, %rax
movq %rax, -0x90(%rbp)
movabsq $0x6ffffffffffffff9, %rax # imm = 0x6FFFFFFFFFFFFFF9
addq -0x1e8(%rbp), %rax
movq %r15, %rdx
rolq $0x25, %rdx
xorq -0x190(%rbp), %rax
movq %r8, %rsi
rolq $0x5, %rsi
addq %rdx, %rax
movq %rax, -0x108(%rbp)
movq %r10, %rax
rolq $0x20, %rax
addq %rsi, %rax
movq -0x68(%rbp), %rdx
subq %rdx, -0x188(%rbp)
subq -0x1a8(%rbp), %rdx
movabsq $0x755555555555554e, %rsi # imm = 0x755555555555554E
movq -0x60(%rbp), %r13
addq %r13, %rsi
addq %rdx, %rsi
xorq -0x148(%rbp), %rsi
movq %rcx, %rdi
movq %rcx, %rdx
rolq $0xb, %rdx
addq %r15, %rsi
addq %rdx, %rsi
addq %r9, %rsi
movq %rbx, %r8
addq %rbx, %rsi
addq %r14, %rsi
movq %r11, %rdx
movq %r11, %rbx
rolq $0x1b, %rdx
addq %r12, %rdx
addq %rsi, %rdx
addq -0x178(%rbp), %rax
addq %rdx, %rax
movq %rax, -0x68(%rbp)
movabsq $0x7aaaaaaaaaaaaaa3, %rax # imm = 0x7AAAAAAAAAAAAAA3
addq -0x100(%rbp), %rax
movq %r15, %rcx
rolq $0x20, %rcx
xorq -0xb8(%rbp), %rax
movq %r10, %rdx
rolq $0x1b, %rdx
addq %rcx, %rax
movq %rax, -0xb8(%rbp)
movq -0x40(%rbp), %r11
movq %r11, %rcx
rolq $0x20, %rcx
addq %rdx, %rcx
movq -0x1f0(%rbp), %rax
movq -0xe0(%rbp), %rdx
addq %rax, %rdx
subq -0x58(%rbp), %rdx
movabsq $0x7ffffffffffffff8, %rsi # imm = 0x7FFFFFFFFFFFFFF8
addq %rdx, %rsi
rolq $0x5, %rdi
xorq -0x198(%rbp), %rsi
addq %r15, %rsi
addq %rdi, %rsi
movq %rbx, %rdx
movq %rbx, %r14
rolq $0xb, %rdx
addq %r9, %rsi
addq %r8, %rsi
movq %r8, %rax
addq %r12, %rdx
addq %rsi, %rdx
addq %rcx, %rdx
movq %rdx, %r9
movq -0x110(%rbp), %rbx
leaq (%rbx,%r13), %rcx
subq -0x130(%rbp), %rcx
movabsq $-0x7aaaaaaaaaaaaab3, %rdx # imm = 0x855555555555554D
addq %rcx, %rdx
xorq -0x150(%rbp), %rdx
movq %rdx, %r8
movq %r10, %rsi
movq %r10, %rcx
rolq $0xb, %rcx
movq %r11, %rdx
rolq $0x1b, %rdx
addq %rcx, %rdx
movq -0x140(%rbp), %rcx
addq -0x168(%rbp), %rcx
subq -0x48(%rbp), %rcx
movabsq $-0x755555555555555e, %r10 # imm = 0x8AAAAAAAAAAAAAA2
addq %rcx, %r10
xorq -0x160(%rbp), %r10
movq %r14, %rcx
rolq $0x5, %rcx
addq %r15, %r10
addq %rax, %r10
addq %r12, %r10
addq %rcx, %r10
addq %rdx, %r10
movabsq $-0x6aaaaaaaaaaaaab4, %rdi # imm = 0x955555555555554C
addq %rbx, %rdi
addq -0x188(%rbp), %rdi
xorq -0x158(%rbp), %rdi
movq %rsi, %rcx
movq %rsi, %r13
rolq $0x5, %rcx
movq %r11, %rdx
rolq $0xb, %rdx
addq %r15, %rdi
addq %rax, %rdi
addq %rcx, %rdi
rolq $0x5, %r11
addq %rdx, %rdi
movq -0xc0(%rbp), %r12
addq %r15, %r12
addq %r11, %r12
movq -0x38(%rbp), %rsi
addq %rsi, -0x108(%rbp)
addq %rsi, -0xb8(%rbp)
addq %rsi, %r8
movq %r8, -0x140(%rbp)
movq -0xf8(%rbp), %rcx
movq -0x90(%rbp), %r14
addq %rcx, %r14
addq %rcx, -0x68(%rbp)
addq %rcx, %r9
movq %r9, -0x60(%rbp)
addq %rcx, %r10
movq %r10, -0x58(%rbp)
addq %rcx, %rdi
movq %rdi, -0x48(%rbp)
addq %rcx, %r12
movq %r12, -0xc0(%rbp)
movq %rcx, %rax
movq -0x30(%rbp), %rcx
xorq %rax, %rcx
movq %rcx, -0x110(%rbp)
movq %rax, %rdx
movq %rax, -0x130(%rbp)
movq %rax, -0x138(%rbp)
movq %rax, -0x148(%rbp)
movq %rax, -0x150(%rbp)
movq %rax, -0x158(%rbp)
movq %rax, -0x160(%rbp)
xorq %rsi, %rax
movq %rax, -0xf8(%rbp)
movq -0x118(%rbp), %r10
addq %r10, %rsi
movq -0x78(%rbp), %r11
addq %r11, %rsi
addq -0xd8(%rbp), %rsi
movq -0x88(%rbp), %r8
movq %r8, %rdi
rolq $0xb, %rdi
addq %rdi, %rsi
movq -0xb0(%rbp), %r9
movq %r9, %rax
rolq $0x20, %rax
addq -0x170(%rbp), %rsi
movq -0x80(%rbp), %rcx
addq %r13, %rcx
addq -0x40(%rbp), %rcx
addq %rcx, %rax
addq %rsi, %rax
rolq $0x35, %rdx
addq %rdx, %rax
movq -0x30(%rbp), %rsi
movq %rsi, %rdx
shrq %rdx
xorq %rsi, %rdx
addq %rdx, %rax
movq -0x98(%rbp), %r15
movq %r15, %rdx
shrq $0x2, %rdx
xorq %r15, %rdx
addq %rdx, %rax
movq %rsi, %rdx
rolq $0x35, %rdx
addq %rdx, %r14
movq %r15, %rdx
shrq %rdx
xorq %r15, %rdx
addq %rdx, %r14
movq %rax, %rdx
shrq $0x2, %rdx
xorq %rax, %rdx
movq %rax, %r13
addq %rdx, %r14
movq -0xa8(%rbp), %rbx
movq %rbx, %rdx
rolq $0xb, %rdx
movq -0x108(%rbp), %rax
addq %rdx, %rax
movq -0xa0(%rbp), %rdi
movq %rdi, %rdx
rolq $0x20, %rdx
addq %r10, %rdx
addq %r11, %rdx
rolq $0x5, %r8
addq %r8, %rdx
movq %r9, %rsi
movq %r9, %r12
rolq $0x1b, %r12
addq %rax, %rdx
addq %rcx, %r12
movq -0x130(%rbp), %r8
rolq $0x2b, %r8
addq %rdx, %r12
movq %r15, %rcx
movq %r15, %rax
rolq $0x35, %rax
addq %r8, %r12
movq -0x30(%rbp), %rdx
addq %rdx, %r12
addq %rax, %r12
movq %r13, %rax
shrq %rax
xorq %r13, %rax
addq %rax, %r12
movq %r14, %r9
movq %r14, %rax
shrq $0x2, %rax
xorq %r14, %rax
addq %rax, %r12
movq %rdx, %rax
movq %rdx, %r15
rolq $0x2b, %rax
movq -0x68(%rbp), %r8
addq %rax, %r8
movq %r13, %rax
rolq $0x35, %rax
addq %rcx, %r8
movq %rcx, %r14
addq %rax, %r8
movq %r9, %rax
shrq %rax
xorq %r9, %rax
movq %r9, %r10
addq %rax, %r8
movq %r12, %rax
shrq $0x2, %rax
xorq %r12, %rax
addq %rax, %r8
movq %rbx, %rax
rolq $0x5, %rax
movq -0xb8(%rbp), %r9
addq %rax, %r9
movq %rsi, %r11
movq %rsi, %rax
rolq $0xb, %r11
movq %rdi, %rdx
rolq $0x1b, %rdx
movq -0x78(%rbp), %rbx
addq %rbx, %rdx
addq -0x80(%rbp), %rdx
addq %r9, %rdx
movq -0x50(%rbp), %rcx
movq -0x40(%rbp), %rsi
addq %rsi, %rcx
addq %rcx, %r11
movq %rcx, -0xb8(%rbp)
addq %rdx, %r11
addq -0x128(%rbp), %r11
movq %r14, %r9
movq %r14, %rdx
rolq $0x2b, %rdx
movq %r10, %rsi
rolq $0x35, %rsi
addq %r15, %r11
addq %rdx, %r11
movq %r13, -0x38(%rbp)
addq %r13, %r11
addq %rsi, %r11
movq %r12, %rdx
shrq %rdx
xorq %r12, %rdx
addq %rdx, %r11
movq %r8, %rdx
shrq $0x2, %rdx
xorq %r8, %rdx
addq %rdx, %r11
movq %r15, %rdx
rolq $0x25, %rdx
movq -0x60(%rbp), %rsi
addq %rdx, %rsi
rolq $0x2b, %r13
addq %r14, %rsi
addq %r13, %rsi
movq %r12, %rdx
rolq $0x35, %rdx
addq %r10, %rsi
movq %r10, %r13
addq %rdx, %rsi
movq %r8, %rdx
shrq %rdx
xorq %r8, %rdx
addq %rdx, %rsi
movq %r11, %rdx
shrq $0x2, %rdx
xorq %r11, %rdx
addq %rdx, %rsi
movq %rsi, %r14
movq %rax, %r15
rolq $0x5, %r15
movq -0x70(%rbp), %rdi
movq %rdi, %rdx
rolq $0x1b, %rdx
movq -0x140(%rbp), %rsi
addq %rbx, %rsi
addq %rdx, %rsi
movq -0xa0(%rbp), %rax
movq %rax, %rdx
rolq $0xb, %rdx
addq %rdx, %rsi
movq -0x138(%rbp), %r10
rolq $0x20, %r10
addq %rcx, %r15
addq %rsi, %r15
movq %r9, %rdx
rolq $0x25, %rdx
addq %r10, %r15
movq -0x30(%rbp), %rsi
addq %rsi, %r15
addq %rdx, %r15
movq %r13, %rdx
rolq $0x2b, %rdx
movq -0x38(%rbp), %rcx
addq %rcx, %r15
addq %rdx, %r15
movq %r8, %r10
movq %r8, %rdx
rolq $0x35, %rdx
addq %r12, %r15
addq %rdx, %r15
movq %r11, %rdx
shrq %rdx
xorq %r11, %rdx
addq %rdx, %r15
movq %r14, %rdx
shrq $0x2, %rdx
xorq %r14, %rdx
addq %rdx, %r15
movq %rsi, %rdx
rolq $0x20, %rdx
movq -0x58(%rbp), %r8
addq %rdx, %r8
movq %rcx, %rdx
rolq $0x25, %rdx
movq %r12, %rsi
rolq $0x2b, %rsi
addq %r9, %r8
movq %r9, %rbx
addq %rdx, %r8
addq %r13, %r8
addq %rsi, %r8
movq %r11, %rdx
rolq $0x35, %rdx
addq %r10, %r8
addq %rdx, %r8
movq %r14, -0x60(%rbp)
movq %r14, %rdx
shrq %rdx
xorq %r14, %rdx
addq %rdx, %r8
movq %r15, %rdx
shrq $0x2, %rdx
xorq %r15, %rdx
addq %rdx, %r8
movq %r8, %r9
movabsq $-0x7000000000000009, %r14 # imm = 0x8FFFFFFFFFFFFFF7
addq -0xe0(%rbp), %r14
addq -0x1a0(%rbp), %r14
xorq -0x1b8(%rbp), %r14
movq %rdi, %rdx
rolq $0xb, %rdx
addq -0x78(%rbp), %r14
addq %rdx, %r14
movq %rax, %rdx
rolq $0x5, %rdx
addq %rdx, %r14
addq -0xb8(%rbp), %r14
movq -0x148(%rbp), %rdx
rolq $0x1b, %rdx
addq %rdx, %r14
movq %rbx, %rdi
movq %rbx, %rax
rolq $0x20, %rax
movq %r13, %rsi
movq %r13, %rdx
rolq $0x25, %rdx
movq -0x30(%rbp), %r8
addq %r8, %r14
addq %rax, %r14
addq %rcx, %r14
addq %rdx, %r14
movq %r10, %rax
rolq $0x2b, %rax
addq %r12, %r14
addq %rax, %r14
movq -0x60(%rbp), %rbx
movq %rbx, %rax
rolq $0x35, %rax
addq %r11, %r14
addq %rax, %r14
movq %r15, %rax
shrq %rax
xorq %r15, %rax
addq %rax, %r14
movq %r9, %rax
shrq $0x2, %rax
xorq %r9, %rax
addq %rax, %r14
movq %r8, %rax
rolq $0x1b, %rax
movq -0x48(%rbp), %r13
addq %rax, %r13
movq %rcx, %rax
movq %rcx, %r8
rolq $0x20, %rax
movq %r12, %rdx
rolq $0x25, %rdx
addq %rdi, %r13
addq %rax, %r13
addq %rsi, %r13
movq %rsi, %rdi
movq %rsi, -0x90(%rbp)
addq %rdx, %r13
movq %r11, %rax
rolq $0x2b, %rax
addq %r10, %r13
addq %rax, %r13
movq %r15, %rax
rolq $0x35, %rax
addq %rbx, %r13
movq %rbx, %rcx
addq %rax, %r13
movq %r9, -0x58(%rbp)
movq %r9, %rax
shrq %rax
xorq %r9, %rax
addq %rax, %r13
movq %r14, %rax
shrq $0x2, %rax
xorq %r14, %rax
addq %rax, %r13
movq %r13, -0x48(%rbp)
movq -0x168(%rbp), %rdx
subq -0x1b0(%rbp), %rdx
movabsq $-0x655555555555555f, %rax # imm = 0x9AAAAAAAAAAAAAA1
addq -0x1a8(%rbp), %rax
addq %rdx, %rax
movq -0x70(%rbp), %rdx
rolq $0x5, %rdx
xorq -0x1c0(%rbp), %rax
movq -0x150(%rbp), %rsi
rolq $0xb, %rsi
addq -0x50(%rbp), %rax
addq %rdx, %rax
addq -0x40(%rbp), %rax
addq %rsi, %rax
movq -0x98(%rbp), %r13
movq %r13, %rdx
rolq $0x1b, %rdx
movq -0x30(%rbp), %rbx
addq %rbx, %rax
addq %rdx, %rax
rolq $0x20, %rdi
addq %r8, %rax
movq %r8, %r9
addq %rdi, %rax
movq %r10, %rdi
movq %r10, %rdx
rolq $0x25, %rdx
rolq $0x2b, %rcx
addq %r12, %rax
addq %rdx, %rax
addq %r11, %rax
addq %rcx, %rax
movq -0x58(%rbp), %rcx
movq %rcx, %rdx
rolq $0x35, %rdx
addq %r15, %rax
addq %rdx, %rax
movq %r14, %rdx
shrq %rdx
xorq %r14, %rdx
addq %rdx, %rax
movq -0x48(%rbp), %rsi
movq %rsi, %rdx
shrq $0x2, %rdx
xorq %rsi, %rdx
addq %rdx, %rax
movq %rbx, %rdx
rolq $0xb, %rdx
movq -0xc0(%rbp), %r8
addq %rdx, %r8
movq %r9, %rdx
rolq $0x1b, %rdx
addq %r13, %r8
movq %r13, %r9
addq %rdx, %r8
movq %r12, %rdx
rolq $0x20, %rdx
movq %r11, %rsi
rolq $0x25, %rsi
movq -0x90(%rbp), %r10
addq %r10, %r8
addq %rdx, %r8
addq %rdi, %r8
movq %rdi, %r13
movq %rdi, -0x68(%rbp)
addq %rsi, %r8
movq %r15, %rdx
rolq $0x2b, %rdx
movq -0x60(%rbp), %rbx
addq %rbx, %r8
addq %rdx, %r8
movq %r14, %rdx
rolq $0x35, %rdx
addq %rcx, %r8
addq %rdx, %r8
movq -0x48(%rbp), %rcx
movq %rcx, %rdx
shrq %rdx
xorq %rcx, %rdx
addq %rdx, %r8
movq %rax, %rdx
shrq $0x2, %rdx
xorq %rax, %rdx
addq %rdx, %r8
movq %r8, -0xc0(%rbp)
movq -0x158(%rbp), %rdx
rolq $0x5, %rdx
movq -0x120(%rbp), %rdi
addq -0x40(%rbp), %rdi
addq %rdx, %rdi
movq %r9, %rdx
rolq $0xb, %rdx
movq %r10, %rsi
rolq $0x1b, %rsi
addq -0x30(%rbp), %rdi
addq %rdx, %rdi
movq -0x38(%rbp), %rcx
addq %rcx, %rdi
addq %rsi, %rdi
movq %r13, %rdx
rolq $0x20, %rdx
addq %r12, %rdi
addq %rdx, %rdi
movq %rbx, %rdx
rolq $0x25, %rdx
addq %r11, %rdi
addq %rdx, %rdi
movq -0x58(%rbp), %rbx
movq %rbx, %rdx
rolq $0x2b, %rdx
movq -0x48(%rbp), %r8
movq %r8, %rsi
rolq $0x35, %rsi
addq %r15, %rdi
addq %rdx, %rdi
addq %r14, %rdi
addq %rsi, %rdi
movq %rax, %rdx
shrq %rdx
xorq %rax, %rdx
addq %rdx, %rdi
movq -0xc0(%rbp), %r13
movq %r13, %rdx
shrq $0x2, %rdx
xorq %r13, %rdx
addq %rdx, %rdi
movq %rdi, -0x120(%rbp)
movq -0x160(%rbp), %rdx
shrq $0x5, %rdx
xorq -0x208(%rbp), %rdx
movq %rdx, %rsi
movq -0x110(%rbp), %r10
xorq %r9, %r10
xorq %rcx, %r10
xorq -0x90(%rbp), %r10
xorq %r12, %r10
xorq -0x68(%rbp), %r10
xorq %r11, %r10
movq -0x60(%rbp), %rcx
xorq %r10, %rcx
movq %r15, %r9
xorq %rcx, %r9
xorq %rbx, %r9
xorq %r14, %r9
xorq %r8, %r9
xorq %rax, %r9
movq -0x88(%rbp), %rdx
xorq %r10, %rdx
xorq %r13, %rdx
movq %rdx, -0x88(%rbp)
xorq %r9, %r13
movq %r13, -0xc0(%rbp)
movq -0x120(%rbp), %rdi
xorq %r13, %rdi
movq %rdi, %rdx
shlq $0x5, %rdx
xorq %rdx, %rsi
xorq -0x180(%rbp), %rcx
addq %rsi, %rcx
movq %rcx, -0xe0(%rbp)
movq -0x210(%rbp), %r8
movq %rcx, (%r8)
movq -0x30(%rbp), %r13
movq %r13, %rdx
shlq $0x8, %rdx
movq -0x1f8(%rbp), %rbx
xorq 0x8(%rbx), %rdx
movq %rdi, %rsi
shrq $0x7, %rsi
xorq %rsi, %rdx
movq -0xf0(%rbp), %rcx
xorq %r10, %rcx
xorq %r15, %rcx
addq %rdx, %rcx
movq %rcx, -0xf0(%rbp)
movq %rcx, 0x8(%r8)
movq %rdi, %rdx
shrq $0x5, %rdx
movq -0x98(%rbp), %rsi
shlq $0x5, %rsi
xorq 0x10(%rbx), %rsi
xorq %rdx, %rsi
movq -0xd0(%rbp), %rcx
xorq %r10, %rcx
xorq -0x58(%rbp), %rcx
addq %rsi, %rcx
movq %rcx, -0xd0(%rbp)
movq %rcx, 0x10(%r8)
movq %rdi, %rdx
shrq %rdx
movq -0x38(%rbp), %rsi
shlq $0x5, %rsi
xorq 0x18(%rbx), %rsi
xorq %rdx, %rsi
movq -0xc8(%rbp), %rdx
xorq %r10, %rdx
xorq %r14, %rdx
addq %rsi, %rdx
movq %rdx, -0xc8(%rbp)
movq %rdx, 0x18(%r8)
movq %rdi, %rdx
shrq $0x3, %rdx
xorq 0x20(%rbx), %rdx
movq %rbx, %rcx
xorq -0xb0(%rbp), %r13
movq %r13, -0x30(%rbp)
xorq -0x90(%rbp), %rdx
movq -0xe8(%rbp), %rsi
xorq %r10, %rsi
xorq -0x48(%rbp), %rsi
addq %rdx, %rsi
movq %rsi, -0xe8(%rbp)
movq %rsi, 0x20(%r8)
movq %rdi, %rdx
shlq $0x6, %rdx
movq %r12, %rsi
shrq $0x6, %rsi
xorq 0x28(%rbx), %rsi
xorq %rdx, %rsi
movq -0x118(%rbp), %rbx
xorq %r10, %rbx
xorq %rax, %rbx
addq %rsi, %rbx
movq %rbx, 0x28(%r8)
movq %rdi, %rdx
shrq $0x4, %rdx
movq -0x68(%rbp), %rsi
shlq $0x6, %rsi
xorq 0x30(%rcx), %rsi
xorq %rdx, %rsi
movq -0x88(%rbp), %rdx
addq %rsi, %rdx
movq %rdx, -0x88(%rbp)
movq %rdx, 0x30(%r8)
movq %rdi, %rdx
shrq $0xb, %rdx
leaq (,%r11,4), %rsi
xorq 0x38(%rcx), %rsi
xorq %rdx, %rsi
movq -0x80(%rbp), %r13
xorq %r10, %r13
xorq -0x120(%rbp), %r13
addq %rsi, %r13
xorq -0xa8(%rbp), %r11
movq %r10, %rdx
shlq $0x8, %rdx
xorq %rdx, %r11
movq %r8, %rdx
movq %r13, 0x38(%r8)
movq %rcx, %rsi
movq -0x60(%rbp), %r8
xorq 0x40(%rcx), %r8
xorq %rdi, %r8
addq %r8, %r11
movq -0xe8(%rbp), %rcx
rolq $0x9, %rcx
addq %rcx, %r11
movq %r11, 0x40(%rdx)
rolq $0xa, %rbx
movq %r10, %rcx
shrq $0x6, %rcx
movq -0xf8(%rbp), %r8
xorq %rcx, %r8
xorq 0x48(%rsi), %r15
xorq %rdi, %r15
addq %r15, %r8
addq %rbx, %r8
movq %r8, 0x48(%rdx)
movq %r10, %rcx
shlq $0x6, %rcx
movq -0x30(%rbp), %r8
xorq %rcx, %r8
movq -0x58(%rbp), %rcx
xorq 0x50(%rsi), %rcx
xorq %rdi, %rcx
addq %rcx, %r8
movq -0x88(%rbp), %rcx
rolq $0xb, %rcx
addq %rcx, %r8
movq %r8, 0x50(%rdx)
movq -0x98(%rbp), %r8
xorq -0x78(%rbp), %r8
movq %r10, %rcx
shlq $0x4, %rcx
xorq %rcx, %r8
xorq 0x58(%rsi), %r14
xorq %rdi, %r14
addq %r14, %r8
rolq $0xc, %r13
addq %r13, %r8
movq %r8, 0x58(%rdx)
movq -0x38(%rbp), %r8
xorq -0xa0(%rbp), %r8
movq %r10, %rcx
shrq $0x3, %rcx
xorq %rcx, %r8
movq -0x48(%rbp), %rcx
xorq 0x60(%rsi), %rcx
xorq %rdi, %rcx
addq %rcx, %r8
movq -0xe0(%rbp), %rcx
rolq $0xd, %rcx
addq %rcx, %r8
movq %r8, 0x60(%rdx)
xorq 0x68(%rsi), %rax
xorq %rdi, %rax
movq -0x90(%rbp), %rdi
xorq -0x50(%rbp), %rdi
movq %r10, %rcx
shrq $0x4, %rcx
xorq %rcx, %rdi
addq %rax, %rdi
movq -0xf0(%rbp), %rax
rolq $0xe, %rax
addq %rax, %rdi
movq %rdi, 0x68(%rdx)
xorq 0x70(%rsi), %r9
xorq -0x120(%rbp), %r9
xorq -0x70(%rbp), %r12
movq %r10, %rax
shrq $0x7, %rax
xorq %rax, %r12
addq %r9, %r12
movq -0xd0(%rbp), %rax
rolq $0xf, %rax
addq %rax, %r12
movq %r12, 0x70(%rdx)
movq -0xc0(%rbp), %rcx
xorq 0x78(%rsi), %rcx
movq -0x68(%rbp), %rax
xorq -0x40(%rbp), %rax
shrq $0x2, %r10
xorq %r10, %rax
addq %rcx, %rax
movq -0xc8(%rbp), %rcx
rolq $0x10, %rcx
addq %rcx, %rax
movq %rax, 0x78(%rdx)
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop