// File: /workspace/github_c_makefile_star2_O2/maandree[P]libkeccak/digest.c
// Function: libkeccak_f
LIBKECCAK_GCC_ONLY(__attribute__((__nonnull__, __nothrow__, __gnu_inline__)))
static inline void
libkeccak_f(register struct libkeccak_state *state)
{
	register long int i = 0;
	register long int nr = state->nr;

	if (nr == 24) {
		for (; i < nr; i++)
			libkeccak_f_round64(state, rc64[i]);
	} else if (nr == 22) {
		for (; i < nr; i++)
			libkeccak_f_round32(state, rc32[i]);
	} else if (nr == 20) {
		for (; i < nr; i++)
			libkeccak_f_round16(state, rc16[i]);
	} else if (nr == 18) {
		libkeccak_f8(state);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rdi, 0x50(%rsp)
movq 0x100(%rdi), %rax
addq $-0x12, %rax
cmpq $0x6, %rax
ja 0x3d3a
leaq 0x2826(%rip), %rcx      # 0x50b0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x50(%rsp), %rax
movb (%rax), %cl
movb %cl, -0x58(%rsp)
movb 0x1(%rax), %sil
movb 0x2(%rax), %r14b
movb 0x3(%rax), %bpl
movb 0x4(%rax), %cl
movb %cl, -0x40(%rsp)
movb 0x5(%rax), %cl
movb %cl, -0x68(%rsp)
movb 0x6(%rax), %r15b
movb 0x7(%rax), %r9b
movb 0x8(%rax), %bl
movb 0x9(%rax), %cl
movb %cl, -0x50(%rsp)
movb 0xa(%rax), %cl
movb %cl, -0x60(%rsp)
movb 0xb(%rax), %dl
movb 0xc(%rax), %cl
movb %cl, 0x18(%rsp)
movb 0xd(%rax), %r8b
movb 0xe(%rax), %cl
movb %cl, -0x8(%rsp)
movb 0xf(%rax), %cl
movb %cl, -0x30(%rsp)
movb 0x10(%rax), %r11b
xorl %r12d, %r12d
movb 0x11(%rax), %cl
movb %cl, -0x20(%rsp)
movb 0x12(%rax), %cl
movb %cl, (%rsp)
movb 0x13(%rax), %cl
movb %cl, -0x10(%rsp)
movb 0x14(%rax), %cl
movb %cl, -0x28(%rsp)
movb 0x15(%rax), %cl
movb %cl, -0x78(%rsp)
movb 0x16(%rax), %cl
movb %cl, -0x70(%rsp)
movb 0x17(%rax), %cl
movb %cl, -0x38(%rsp)
movb 0x18(%rax), %al
movb %al, 0x20(%rsp)
cmpq $0x12, %r12
je 0x3211
movl %ebp, %eax
xorb -0x40(%rsp), %al
movq %r12, 0x48(%rsp)
movl %r14d, %ecx
movb %sil, 0x30(%rsp)
xorb %sil, %cl
xorb %al, %cl
movl %ecx, %r13d
movb %r14b, 0x58(%rsp)
movb %bl, -0x18(%rsp)
xorb -0x50(%rsp), %bl
movl %r9d, %edi
xorb %r15b, %dil
xorb %bl, %dil
movb %r8b, 0x40(%rsp)
xorb -0x8(%rsp), %r8b
movb %bpl, 0x38(%rsp)
movb 0x18(%rsp), %bpl
movl %ebp, %ebx
movl %r15d, %r14d
movb %dl, -0x48(%rsp)
xorb %dl, %bl
xorb %r8b, %bl
movb (%rsp), %r12b
movl %r12d, %ecx
xorb -0x10(%rsp), %cl
movb %r9b, 0x10(%rsp)
movb -0x20(%rsp), %r8b
movl %r11d, %r15d
xorb %r11b, %r8b
xorb %cl, %r8b
movb -0x38(%rsp), %r10b
movl %r10d, %ecx
xorb 0x20(%rsp), %cl
movb -0x70(%rsp), %r11b
movl %r11d, %r9d
movb -0x78(%rsp), %sil
xorb %sil, %r9b
xorb %cl, %r9b
xorb -0x58(%rsp), %r13b
xorb -0x68(%rsp), %dil
xorb -0x60(%rsp), %bl
movl %edi, %edx
rolb %dl
movb -0x28(%rsp), %cl
xorb %cl, %r9b
xorb %r9b, %dl
rolb %r9b
movb -0x30(%rsp), %al
xorb %al, %r8b
xorb %bl, %r9b
rolb %bl
xorb %r13b, %bl
rolb %r13b
xorb %r8b, %r13b
rolb %r8b
xorb %dil, %r8b
xorb %r13b, %cl
movb %cl, -0x28(%rsp)
xorb %r13b, %sil
movb %sil, -0x78(%rsp)
xorb %r13b, %r11b
xorb %r13b, %r10b
movb %r10b, -0x38(%rsp)
xorb 0x20(%rsp), %r13b
movb -0x60(%rsp), %sil
xorb %r8b, %sil
xorb %r8b, -0x48(%rsp)
xorb %r8b, %bpl
xorb %r8b, 0x40(%rsp)
xorb -0x8(%rsp), %r8b
movb %r8b, -0x70(%rsp)
movl %edx, %ecx
movb -0x58(%rsp), %dl
xorb %cl, %dl
movb %dl, -0x58(%rsp)
xorb %cl, 0x30(%rsp)
movb 0x58(%rsp), %r10b
xorb %cl, %r10b
movb 0x38(%rsp), %r8b
xorb %cl, %r8b
xorb -0x40(%rsp), %cl
movb %cl, 0x20(%rsp)
xorb %r9b, %al
movl %eax, %ecx
xorb %r9b, %r15b
xorb %r9b, -0x20(%rsp)
xorb %r9b, %r12b
xorb -0x10(%rsp), %r9b
movb %r9b, -0x30(%rsp)
movb -0x68(%rsp), %al
xorb %bl, %al
xorb %bl, %r14b
xorb %bl, 0x10(%rsp)
movb -0x18(%rsp), %dil
xorb %bl, %dil
xorb -0x50(%rsp), %bl
rolb $0x4, %r14b
rolb $0x3, %bpl
rolb $0x5, %r12b
rolb $0x6, %r13b
movl %ebp, %r9d
notb %r9b
andb %r12b, %r9b
xorb %r14b, %r9b
movb %r9b, 0x58(%rsp)
notb %dl
andb %r14b, %dl
movb %dl, 0x60(%rsp)
notb %r14b
andb %bpl, %r14b
movb %r14b, 0x68(%rsp)
movb %r13b, 0xf(%rsp)
movl %r13d, %edx
notb %dl
andb -0x58(%rsp), %dl
xorb %r12b, %dl
movb %dl, 0x38(%rsp)
notb %r12b
andb %r13b, %r12b
xorb %bpl, %r12b
movb %r12b, 0x70(%rsp)
movl %ecx, %r14d
rolb $0x4, %r14b
rolb %al
movb %al, -0x68(%rsp)
rolb $0x6, %sil
movb -0x78(%rsp), %cl
rolb $0x4, %cl
movb %cl, -0x78(%rsp)
movb -0x48(%rsp), %r13b
rolb $0x6, %r13b
rorb %r15b
rolb $0x3, %r10b
movb -0x20(%rsp), %bpl
rolb %bpl
rorb %r11b
rolb $0x5, %dil
rolb %r8b
movb -0x70(%rsp), %dl
rolb $0x5, %dl
movl %ebx, %r12d
rolb $0x2, %r12b
movb %r12b, 0xe(%rsp)
movl %r15d, %eax
notb %al
andb %r11b, %al
xorb %sil, %al
movb %al, -0x40(%rsp)
movl %r8d, %eax
notb %al
andb %r12b, %al
xorb %r11b, %al
movb %al, -0x8(%rsp)
notb %r11b
andb %r8b, %r11b
movl %r8d, %ebx
xorb %r15b, %r11b
movb %r11b, -0x50(%rsp)
movl %r12d, %r8d
notb %r8b
andb %sil, %r8b
notb %sil
andb %r15b, %sil
movb %sil, -0x60(%rsp)
movb 0x20(%rsp), %sil
rolb $0x2, %sil
movb 0x30(%rsp), %r12b
movl %ecx, %eax
notb %al
movl %r10d, %r15d
andb %r10b, %al
movb %al, -0x18(%rsp)
movl %r13d, %ecx
movb %r13b, -0x48(%rsp)
movl %edi, %r13d
notb %r13b
movb %dl, -0x70(%rsp)
andb %dl, %r13b
xorb %r10b, %r13b
notb %r15b
andb %dil, %r15b
movb 0x40(%rsp), %r10b
movl %edx, %r11d
notb %r11b
movl %r14d, %edx
andb %r14b, %r11b
xorb %dil, %r11b
movl %ecx, %r14d
notb %r14b
movl %ebp, %r9d
andb %bpl, %r14b
movb -0x38(%rsp), %bpl
movl %ebp, %eax
notb %al
andb %sil, %al
movl %esi, %ecx
movb %sil, 0x20(%rsp)
xorb %r9b, %al
movb %al, 0x18(%rsp)
movb -0x68(%rsp), %sil
movb -0x28(%rsp), %dil
notb %r9b
andb %bpl, %r9b
movl %ecx, %eax
notb %al
andb %sil, %al
xorb %bpl, %al
movb %al, -0x20(%rsp)
xorb %bl, %r8b
movb %r8b, -0x10(%rsp)
rolb $0x4, %r12b
movb 0x10(%rsp), %al
rolb $0x2, %al
rorb %r10b
movl %r12d, %ebp
notb %bpl
andb %al, %bpl
movl %r10d, %r8d
notb %r8b
movb -0x30(%rsp), %bl
andb %bl, %r8b
xorb %al, %r8b
rolb $0x3, %dil
notb %al
andb %r10b, %al
notb %bl
andb %dil, %bl
xorb %r10b, %bl
movb %bl, (%rsp)
movb 0x60(%rsp), %r10b
xorb 0xf(%rsp), %r10b
movq 0x48(%rsp), %rcx
xorb %dl, -0x18(%rsp)
movb -0x78(%rsp), %bl
xorb %bl, %r15b
notb %dl
andb %bl, %dl
xorb -0x70(%rsp), %dl
xorb %sil, %r14b
movb -0x48(%rsp), %bl
xorb %bl, %r9b
notb %sil
andb %bl, %sil
xorb 0x20(%rsp), %sil
xorb %dil, %bpl
xorb %r12b, %al
notb %dil
andb %r12b, %dil
xorb -0x30(%rsp), %dil
leaq 0x2648(%rip), %rbx      # 0x52f0
movb 0x68(%rsp), %r12b
xorb (%rcx,%rbx), %r12b
movb -0x60(%rsp), %bl
xorb 0xe(%rsp), %bl
xorb %r12b, -0x58(%rsp)
movb %bl, 0x20(%rsp)
movb 0x70(%rsp), %bl
movb %bl, -0x60(%rsp)
movl %eax, %ebx
incq %rcx
movq %rcx, %r12
movb %dil, -0x38(%rsp)
movb %sil, -0x70(%rsp)
movb %dl, -0x78(%rsp)
movb %r10b, -0x28(%rsp)
movb 0x38(%rsp), %al
movb %al, -0x30(%rsp)
movl %r13d, %edx
movb 0x58(%rsp), %al
movb %al, -0x68(%rsp)
movb -0x18(%rsp), %sil
jmp 0x292b
movq 0x50(%rsp), %rax
movl (%rax), %r15d
movl 0x4(%rax), %r12d
movl 0x8(%rax), %ebx
movl 0xc(%rax), %edi
movl 0x10(%rax), %ecx
movl %ecx, -0x10(%rsp)
movl 0x14(%rax), %r8d
movl 0x18(%rax), %ebp
movl 0x1c(%rax), %ecx
movl %ecx, 0x20(%rsp)
movl 0x20(%rax), %ecx
movl %ecx, -0x40(%rsp)
movl 0x24(%rax), %ecx
movl %ecx, -0x8(%rsp)
movl 0x28(%rax), %r14d
movl 0x2c(%rax), %r11d
movl 0x30(%rax), %ecx
movl %ecx, 0x18(%rsp)
movl 0x34(%rax), %r9d
movl 0x38(%rax), %ecx
movl %ecx, 0x48(%rsp)
movl 0x3c(%rax), %esi
movl 0x40(%rax), %r10d
movl 0x44(%rax), %ecx
movl %ecx, -0x60(%rsp)
movl 0x48(%rax), %ecx
movl %ecx, (%rsp)
movl 0x4c(%rax), %ecx
movl %ecx, 0x10(%rsp)
movl 0x50(%rax), %ecx
movl %ecx, -0x38(%rsp)
movl 0x54(%rax), %ecx
movl %ecx, -0x58(%rsp)
movl 0x58(%rax), %ecx
movl %ecx, -0x70(%rsp)
movl 0x5c(%rax), %ecx
movl %ecx, -0x68(%rsp)
movl 0x60(%rax), %eax
movl %eax, -0x50(%rsp)
xorl %r13d, %r13d
cmpq $0x58, %r13
je 0x317f
movl %r12d, %eax
movl %r12d, 0x40(%rsp)
xorl %r15d, %eax
movq %r13, 0x58(%rsp)
movl %ebx, %r13d
xorl %edi, %r13d
xorl %eax, %r13d
movl %ebp, %ecx
movl %r8d, -0x30(%rsp)
xorl %r8d, %ecx
movl %r9d, %r8d
movl %r9d, 0x30(%rsp)
movl 0x20(%rsp), %edx
movl %r10d, %r9d
xorl -0x40(%rsp), %edx
xorl %ecx, %edx
movl %r11d, -0x20(%rsp)
movl %r11d, %ecx
xorl %r14d, %ecx
movl -0x58(%rsp), %r12d
movl 0x18(%rsp), %r10d
movl -0x50(%rsp), %eax
movl %r10d, %r11d
xorl %r8d, %r11d
xorl %ecx, %r11d
movl %r9d, %ecx
xorl %esi, %ecx
movl %r15d, -0x48(%rsp)
movl %esi, -0x78(%rsp)
movl -0x60(%rsp), %r15d
movl %ebx, -0x18(%rsp)
movl %ebp, %ebx
movl (%rsp), %ebp
xorl %ebp, %r15d
xorl %ecx, %r15d
movl %r12d, %ecx
movl %r12d, %esi
movl -0x38(%rsp), %r8d
xorl %r8d, %ecx
movl %r14d, -0x28(%rsp)
movl -0x70(%rsp), %r14d
movl %r14d, %r12d
movl %edi, 0x38(%rsp)
xorl -0x68(%rsp), %r12d
xorl %ecx, %r12d
xorl -0x10(%rsp), %r13d
xorl -0x8(%rsp), %edx
movl 0x48(%rsp), %edi
xorl %edi, %r11d
movl %edx, %ecx
roll %ecx
xorl %eax, %r12d
xorl %r12d, %ecx
roll %r12d
xorl 0x10(%rsp), %r15d
xorl %r11d, %r12d
roll %r11d
xorl %r13d, %r11d
roll %r13d
xorl %r15d, %r13d
roll %r15d
xorl %edx, %r15d
xorl %r13d, %r8d
movl %r8d, -0x38(%rsp)
xorl %r13d, %esi
movl %esi, -0x58(%rsp)
xorl %r13d, %r14d
movl -0x68(%rsp), %esi
xorl %r13d, %esi
xorl %eax, %r13d
xorl %r15d, -0x28(%rsp)
xorl %r15d, -0x20(%rsp)
xorl %r15d, %r10d
xorl %r15d, 0x30(%rsp)
xorl %edi, %r15d
movl %r15d, -0x50(%rsp)
xorl %ecx, -0x48(%rsp)
xorl %ecx, 0x40(%rsp)
movl -0x18(%rsp), %edx
xorl %ecx, %edx
movl 0x38(%rsp), %edi
xorl %ecx, %edi
xorl -0x10(%rsp), %ecx
movl %ecx, -0x70(%rsp)
xorl %r12d, -0x78(%rsp)
xorl %r12d, %r9d
movl -0x60(%rsp), %eax
xorl %r12d, %eax
xorl %r12d, %ebp
xorl 0x10(%rsp), %r12d
movl %r12d, (%rsp)
movl %r11d, %r15d
movl -0x30(%rsp), %r8d
xorl %r11d, %r8d
xorl %r11d, %ebx
xorl %r11d, 0x20(%rsp)
movl -0x40(%rsp), %ecx
xorl %r11d, %ecx
xorl -0x8(%rsp), %r15d
roll $0xc, %ebx
roll $0xb, %r10d
roll $0x15, %ebp
roll $0xe, %r13d
movl %r10d, %r11d
notl %r11d
andl %ebp, %r11d
xorl %ebx, %r11d
movl %r11d, 0x38(%rsp)
movl -0x48(%rsp), %r11d
notl %r11d
andl %ebx, %r11d
movl %r11d, -0x30(%rsp)
notl %ebx
andl %r10d, %ebx
movl %ebx, 0x68(%rsp)
movl %r13d, %r11d
notl %r11d
andl -0x48(%rsp), %r11d
xorl %ebp, %r11d
movl %r11d, 0x70(%rsp)
notl %ebp
andl %r13d, %ebp
xorl %r10d, %ebp
movl %ebp, -0x40(%rsp)
movl -0x78(%rsp), %r11d
roll $0x1c, %r11d
movl %r11d, -0x78(%rsp)
roll %r8d
movl -0x28(%rsp), %r12d
roll $0x1e, %r12d
movl -0x58(%rsp), %r10d
roll $0x14, %r10d
movl %r10d, -0x58(%rsp)
movl -0x20(%rsp), %ebp
roll $0x6, %ebp
roll $0x17, %r9d
roll $0x3, %edx
roll $0x19, %eax
movl %eax, -0x60(%rsp)
roll $0x7, %r14d
movl %ecx, %ebx
roll $0xd, %ebx
roll $0x8, %esi
movl %esi, -0x68(%rsp)
roll $0x9, %edi
roll $0x2, %r15d
movl %r9d, %eax
notl %eax
andl %r14d, %eax
xorl %r12d, %eax
movl %eax, -0x10(%rsp)
movl %edi, %eax
notl %eax
andl %r15d, %eax
movl %r15d, 0x60(%rsp)
xorl %r14d, %eax
movl %eax, 0x48(%rsp)
notl %r14d
andl %edi, %r14d
xorl %r9d, %r14d
movl %r14d, -0x8(%rsp)
notl %r15d
andl %r12d, %r15d
notl %r12d
andl %r9d, %r12d
movl %r12d, -0x28(%rsp)
movl -0x50(%rsp), %r9d
roll $0x1d, %r9d
movl %r9d, -0x50(%rsp)
movl 0x40(%rsp), %r14d
movl %r10d, %eax
notl %eax
andl %edx, %eax
movl %eax, -0x18(%rsp)
movl %ebp, %esi
movl %ebp, -0x20(%rsp)
movl %ebx, %r12d
notl %r12d
andl %r9d, %r12d
xorl %edx, %r12d
movl %edx, %ebp
notl %ebp
andl %ebx, %ebp
movl %r9d, %r10d
notl %r10d
andl %r11d, %r10d
xorl %ebx, %r10d
movl -0x70(%rsp), %r11d
roll $0x12, %r11d
movl %r11d, -0x70(%rsp)
movl %esi, %ebx
notl %ebx
movl -0x60(%rsp), %esi
andl %esi, %ebx
movl -0x68(%rsp), %r9d
movl %r9d, %eax
notl %eax
andl %r11d, %eax
xorl %esi, %eax
movl %eax, 0x18(%rsp)
movl -0x38(%rsp), %edx
notl %esi
andl %r9d, %esi
movl %r11d, %eax
notl %eax
andl %r8d, %eax
xorl %r9d, %eax
movl %eax, -0x60(%rsp)
xorl %edi, %r15d
movl %r15d, 0x10(%rsp)
roll $0x4, %r14d
movl 0x20(%rsp), %eax
roll $0xa, %eax
movl 0x30(%rsp), %r11d
roll $0xf, %r11d
movl (%rsp), %r15d
roll $0x18, %r15d
movl %r14d, %edi
notl %edi
andl %eax, %edi
movl %r11d, %ecx
notl %ecx
andl %r15d, %ecx
xorl %eax, %ecx
roll $0x1b, %edx
notl %eax
andl %r11d, %eax
movl %r15d, %r9d
notl %r9d
andl %edx, %r9d
xorl %r11d, %r9d
movl %r9d, (%rsp)
xorl %r13d, -0x30(%rsp)
movq 0x58(%rsp), %r9
movl -0x78(%rsp), %r13d
xorl %r13d, -0x18(%rsp)
movl -0x58(%rsp), %r11d
xorl %r11d, %ebp
notl %r13d
andl %r11d, %r13d
xorl -0x50(%rsp), %r13d
movl %r13d, -0x78(%rsp)
movl -0x48(%rsp), %r13d
xorl %r8d, %ebx
movl -0x20(%rsp), %r11d
xorl %r11d, %esi
notl %r8d
andl %r11d, %r8d
xorl -0x70(%rsp), %r8d
xorl %edx, %edi
xorl %r14d, %eax
notl %edx
andl %r14d, %edx
xorl %r15d, %edx
leaq 0x2145(%rip), %r15      # 0x5260
movl 0x68(%rsp), %r11d
xorl (%r9,%r15), %r11d
movl -0x28(%rsp), %r14d
xorl 0x60(%rsp), %r14d
xorl %r11d, %r13d
movl %r13d, %r15d
movl %r14d, -0x50(%rsp)
movl -0x40(%rsp), %r14d
movl %eax, -0x40(%rsp)
movl %esi, 0x20(%rsp)
addq $0x4, %r9
movq %r9, %r13
movl %edx, -0x68(%rsp)
movl %r8d, -0x70(%rsp)
movl -0x78(%rsp), %eax
movl %eax, -0x58(%rsp)
movl -0x30(%rsp), %eax
movl %eax, -0x38(%rsp)
movl 0x70(%rsp), %esi
movl %ecx, %r9d
movl %r12d, %r11d
movl 0x38(%rsp), %r8d
movl -0x18(%rsp), %r12d
jmp 0x2d92
movq 0x50(%rsp), %rax
movl %r15d, (%rax)
movl %r12d, 0x4(%rax)
movl %ebx, 0x8(%rax)
movl %edi, 0xc(%rax)
movl -0x10(%rsp), %ecx
movl %ecx, 0x10(%rax)
movl %r8d, 0x14(%rax)
movl %ebp, 0x18(%rax)
movl 0x20(%rsp), %ecx
movl %ecx, 0x1c(%rax)
movl -0x40(%rsp), %ecx
movl %ecx, 0x20(%rax)
movl -0x8(%rsp), %ecx
movl %ecx, 0x24(%rax)
movl %r14d, 0x28(%rax)
movl %r11d, 0x2c(%rax)
movl 0x18(%rsp), %ecx
movl %ecx, 0x30(%rax)
movl %r9d, 0x34(%rax)
movl 0x48(%rsp), %ecx
movl %ecx, 0x38(%rax)
movl %esi, 0x3c(%rax)
movl %r10d, 0x40(%rax)
movl -0x60(%rsp), %ecx
movl %ecx, 0x44(%rax)
movl (%rsp), %ecx
movl %ecx, 0x48(%rax)
movl 0x10(%rsp), %ecx
movl %ecx, 0x4c(%rax)
movl -0x38(%rsp), %ecx
movl %ecx, 0x50(%rax)
movl -0x58(%rsp), %ecx
movl %ecx, 0x54(%rax)
movl -0x70(%rsp), %ecx
movl %ecx, 0x58(%rax)
movl -0x68(%rsp), %ecx
movl %ecx, 0x5c(%rax)
movl -0x50(%rsp), %ecx
movl %ecx, 0x60(%rax)
jmp 0x3d3a
movq 0x50(%rsp), %rax
movb -0x58(%rsp), %cl
movb %cl, (%rax)
movb %sil, 0x1(%rax)
movb %r14b, 0x2(%rax)
movb %bpl, 0x3(%rax)
movb -0x40(%rsp), %cl
movb %cl, 0x4(%rax)
movb -0x68(%rsp), %cl
movb %cl, 0x5(%rax)
movb %r15b, 0x6(%rax)
movb %r9b, 0x7(%rax)
movb %bl, 0x8(%rax)
movb -0x50(%rsp), %cl
movb %cl, 0x9(%rax)
movb -0x60(%rsp), %cl
movb %cl, 0xa(%rax)
movb %dl, 0xb(%rax)
movb 0x18(%rsp), %cl
movb %cl, 0xc(%rax)
movb %r8b, 0xd(%rax)
movb -0x8(%rsp), %cl
movb %cl, 0xe(%rax)
movb -0x30(%rsp), %cl
movb %cl, 0xf(%rax)
movb %r11b, 0x10(%rax)
movb -0x20(%rsp), %cl
movb %cl, 0x11(%rax)
movb (%rsp), %cl
movb %cl, 0x12(%rax)
movb -0x10(%rsp), %cl
movb %cl, 0x13(%rax)
movb -0x28(%rsp), %cl
movb %cl, 0x14(%rax)
movb -0x78(%rsp), %cl
movb %cl, 0x15(%rax)
movb -0x70(%rsp), %cl
movb %cl, 0x16(%rax)
movb -0x38(%rsp), %cl
movb %cl, 0x17(%rax)
movb 0x20(%rsp), %cl
movb %cl, 0x18(%rax)
jmp 0x3d3a
movq 0x50(%rsp), %rdi
movzwl (%rdi), %r9d
movzwl 0x2(%rdi), %esi
movzwl 0x4(%rdi), %edx
movzwl 0x6(%rdi), %r14d
movzwl 0x8(%rdi), %ecx
movl %ecx, -0x48(%rsp)
movdqu 0x1a(%rdi), %xmm12
movdqu 0xa(%rdi), %xmm5
movzwl 0x2a(%rdi), %ebx
movzwl 0x2c(%rdi), %ebp
movzwl 0x2e(%rdi), %eax
movzwl 0x30(%rdi), %r8d
xorl %r13d, %r13d
cmpq $0x28, %r13
je 0x3724
movq %r13, -0x50(%rsp)
movl %esi, %ecx
xorl %r9d, %ecx
movl %edx, %r10d
xorl %r14d, %r10d
xorl %ecx, %r10d
pextrw $0x1, %xmm5, %ecx
movl %ecx, -0x70(%rsp)
movl %r8d, %r13d
movd %xmm5, %r8d
movl %r8d, -0x58(%rsp)
movl %r9d, -0x60(%rsp)
pextrw $0x2, %xmm5, %edi
movl %edi, 0x10(%rsp)
xorl %r8d, %ecx
movl %esi, 0x40(%rsp)
movl %r14d, 0x30(%rsp)
pextrw $0x3, %xmm5, %esi
movl %esi, 0x18(%rsp)
movl %edx, -0x20(%rsp)
movl %edi, %edx
xorl %esi, %edx
xorl %ecx, %edx
pextrw $0x5, %xmm5, %r11d
pextrw $0x6, %xmm5, %ecx
movl %ecx, -0x38(%rsp)
xorl %r11d, %ecx
pextrw $0x7, %xmm5, %r14d
movl %r14d, -0x28(%rsp)
movd %xmm12, %esi
movl %esi, 0x20(%rsp)
xorl %esi, %r14d
xorl %ecx, %r14d
pextrw $0x2, %xmm12, %edi
movl %edi, -0x78(%rsp)
pextrw $0x3, %xmm12, %esi
movl %esi, -0x68(%rsp)
xorl %edi, %esi
pextrw $0x4, %xmm12, %r9d
pextrw $0x5, %xmm12, %r12d
movl %r9d, %r8d
xorl %r12d, %r8d
xorl %esi, %r8d
xorl -0x48(%rsp), %r10d
pextrw $0x4, %xmm5, %ecx
movl %ecx, -0x30(%rsp)
pextrw $0x1, %xmm12, %esi
movl %esi, -0x18(%rsp)
xorl %ecx, %edx
xorl %esi, %r14d
movl %ebx, %esi
xorl %ebp, %esi
xorl %eax, %esi
xorl %r13d, %esi
movl %r13d, %edi
pextrw $0x7, %xmm12, %ecx
xorl %ecx, %esi
movl %eax, %r13d
movl %edx, %r15d
rolw %r15w
xorl %esi, %r15d
rolw %si
xorl %r14d, %esi
rolw %r14w
pextrw $0x6, %xmm12, %eax
xorl %eax, %r8d
xorl %r10d, %r14d
rolw %r10w
xorl %r8d, %r10d
rolw %r8w
xorl %edx, %r8d
xorl %r10d, %ecx
movl %ecx, -0x10(%rsp)
xorl %r10d, %ebx
movl %ebx, -0x40(%rsp)
xorl %r10d, %ebp
xorl %r10d, %r13d
xorl %edi, %r10d
xorl %r8d, %r11d
movl %r11d, -0x8(%rsp)
xorl %r8d, -0x38(%rsp)
xorl %r8d, -0x28(%rsp)
xorl %r8d, 0x20(%rsp)
xorl -0x18(%rsp), %r8d
movl -0x60(%rsp), %edx
xorl %r15d, %edx
movl %edx, -0x60(%rsp)
movl 0x40(%rsp), %ecx
xorl %r15d, %ecx
xorl %r15d, -0x20(%rsp)
movl 0x30(%rsp), %edi
xorl %r15d, %edi
xorl -0x48(%rsp), %r15d
movl %r15d, 0x30(%rsp)
xorl %esi, -0x78(%rsp)
movl -0x68(%rsp), %r11d
xorl %esi, %r11d
xorl %esi, %r9d
movl %r9d, -0x48(%rsp)
xorl %esi, %r12d
xorl %eax, %esi
movl -0x58(%rsp), %ebx
xorl %r14d, %ebx
xorl %r14d, -0x70(%rsp)
movl 0x10(%rsp), %r9d
xorl %r14d, %r9d
movl 0x18(%rsp), %eax
xorl %r14d, %eax
xorl -0x30(%rsp), %r14d
rolw $0x8, %r13w
movd %r13d, %xmm1
rolw $0x7, %r11w
movl %r11d, -0x68(%rsp)
rolw $0x7, %bp
rolw $0x5, %r12w
rolw $0xd, %ax
movd %eax, %xmm4
notl %r11d
andl %ebp, %r11d
movd %ebp, %xmm6
movd %r12d, %xmm2
rolw $0x4, %cx
rolw $0xa, %r9w
rolw $0x9, %di
movd %edi, %xmm3
movl %ecx, %r15d
notl %r15d
andl %r9d, %r15d
movd %r9d, %xmm12
rolw $0xe, %r10w
movd %r10d, %xmm14
movl -0x78(%rsp), %edi
rolw $0xc, %di
movl %ebx, %r9d
rolw %r9w
movl %r9d, -0x58(%rsp)
movl -0x10(%rsp), %ebp
rolw $0xb, %bp
movl 0x20(%rsp), %eax
rorw %ax
rolw $0xd, %r8w
movl 0x30(%rsp), %r10d
rolw $0x2, %r10w
rolw $0x8, %si
rolw $0x2, %r14w
movd %eax, %xmm11
movd %r8d, %xmm5
movdqa %xmm14, %xmm8
punpcklwd %xmm5, %xmm8    # xmm8 = xmm8[0],xmm5[0],xmm8[1],xmm5[1],xmm8[2],xmm5[2],xmm8[3],xmm5[3]
movdqa %xmm11, %xmm7
punpcklwd %xmm3, %xmm7    # xmm7 = xmm7[0],xmm3[0],xmm7[1],xmm3[1],xmm7[2],xmm3[2],xmm7[3],xmm3[3]
punpckldq %xmm8, %xmm7    # xmm7 = xmm7[0],xmm8[0],xmm7[1],xmm8[1]
movd %r10d, %xmm5
punpcklqdq %xmm5, %xmm7    # xmm7 = xmm7[0],xmm5[0]
movdqa %xmm7, %xmm8
pinsrw $0x5, %esi, %xmm8
pinsrw $0x6, %r14d, %xmm8
pinsrw $0x7, %edx, %xmm8
movdqa %xmm8, %xmm9
psrldq $0xa, %xmm9             # xmm9 = xmm9[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
pinsrw $0x3, %edi, %xmm9
movl %edi, %r13d
pinsrw $0x4, %r9d, %xmm9
pinsrw $0x5, %ebp, %xmm9
xorl %ebp, %r15d
movl %ebp, %ebx
movd %ecx, %xmm0
movdqa %xmm0, 0x20(%rsp)
notl %ebx
andl %ecx, %ebx
movl -0x40(%rsp), %edi
rolw $0x4, %di
movl -0x20(%rsp), %eax
rolw $0x3, %ax
movl %edi, %ecx
notl %ecx
andl %eax, %ecx
movd %eax, %xmm13
movl -0x38(%rsp), %r9d
rolw $0x6, %r9w
movl -0x48(%rsp), %eax
rolw $0x9, %ax
movl %r9d, %edx
movl %r9d, %r12d
notl %edx
andl %eax, %edx
movd %eax, %xmm15
movl -0x8(%rsp), %ebp
rolw $0xe, %bp
movl -0x70(%rsp), %r9d
rolw $0xc, %r9w
movl -0x28(%rsp), %eax
rolw $0xb, %ax
pinsrw $0x6, %ebp, %xmm9
pinsrw $0x7, %r9d, %xmm9
movd %r9d, %xmm5
notl %r9d
andl %eax, %r9d
movd %eax, %xmm10
punpcklwd %xmm14, %xmm3   # xmm3 = xmm3[0],xmm14[0],xmm3[1],xmm14[1],xmm3[2],xmm14[2],xmm3[3],xmm14[3]
movdqa %xmm4, %xmm0
punpcklwd %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1],xmm0[2],xmm1[2],xmm0[3],xmm1[3]
punpcklwd %xmm11, %xmm1   # xmm1 = xmm1[0],xmm11[0],xmm1[1],xmm11[1],xmm1[2],xmm11[2],xmm1[3],xmm11[3]
movdqa %xmm15, %xmm11
punpcklwd %xmm12, %xmm11  # xmm11 = xmm11[0],xmm12[0],xmm11[1],xmm12[1],xmm11[2],xmm12[2],xmm11[3],xmm12[3]
punpcklwd %xmm6, %xmm12   # xmm12 = xmm12[0],xmm6[0],xmm12[1],xmm6[1],xmm12[2],xmm6[2],xmm12[3],xmm6[3]
movdqa %xmm6, %xmm14
punpcklwd %xmm2, %xmm14   # xmm14 = xmm14[0],xmm2[0],xmm14[1],xmm2[1],xmm14[2],xmm2[2],xmm14[3],xmm2[3]
punpcklwd %xmm4, %xmm2    # xmm2 = xmm2[0],xmm4[0],xmm2[1],xmm4[1],xmm2[2],xmm4[2],xmm2[3],xmm4[3]
movdqa %xmm10, %xmm4
punpcklwd %xmm13, %xmm4   # xmm4 = xmm4[0],xmm13[0],xmm4[1],xmm13[1],xmm4[2],xmm13[2],xmm4[3],xmm13[3]
punpcklwd %xmm15, %xmm13  # xmm13 = xmm13[0],xmm15[0],xmm13[1],xmm15[1],xmm13[2],xmm15[2],xmm13[3],xmm15[3]
movl -0x68(%rsp), %eax
movd %eax, %xmm6
punpcklwd %xmm10, %xmm6   # xmm6 = xmm6[0],xmm10[0],xmm6[1],xmm10[1],xmm6[2],xmm10[2],xmm6[3],xmm10[3]
xorl %r13d, %ecx
movd %edi, %xmm10
notl %r13d
andl %edi, %r13d
xorl %r8d, %r13d
movl %r13d, -0x78(%rsp)
movq -0x50(%rsp), %r13
movl -0x58(%rsp), %edi
xorl %edi, %edx
punpckldq %xmm0, %xmm14   # xmm14 = xmm14[0],xmm0[0],xmm14[1],xmm0[1]
movd %r12d, %xmm15
notl %edi
andl %r12d, %edi
xorl %r10d, %edi
xorl %esi, %ebx
xorl %ebp, %r11d
movl %r11d, -0x48(%rsp)
notl %ebp
andl %eax, %ebp
xorl %r14d, %ebp
leaq 0x1c16(%rip), %rsi      # 0x52c0
xorw (%r13,%rsi), %r9w
xorl -0x60(%rsp), %r9d
punpckldq %xmm11, %xmm4   # xmm4 = xmm4[0],xmm11[0],xmm4[1],xmm11[1]
punpcklqdq %xmm14, %xmm4   # xmm4 = xmm4[0],xmm14[0]
movdqa %xmm4, %xmm0
psrldq $0xa, %xmm0             # xmm0 = xmm0[10,11,12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero
pslldq $0x6, %xmm7             # xmm7 = zero,zero,zero,zero,zero,zero,xmm7[0,1,2,3,4,5,6,7,8,9]
por %xmm0, %xmm7
pandn %xmm7, %xmm4
pandn %xmm9, %xmm8
punpckldq %xmm3, %xmm1    # xmm1 = xmm1[0],xmm3[0],xmm1[1],xmm3[1]
punpckldq %xmm2, %xmm12   # xmm12 = xmm12[0],xmm2[0],xmm12[1],xmm2[1]
punpcklqdq %xmm1, %xmm12   # xmm12 = xmm12[0],xmm1[0]
pxor %xmm8, %xmm12
punpckldq %xmm13, %xmm6   # xmm6 = xmm6[0],xmm13[0],xmm6[1],xmm13[1]
punpcklwd %xmm10, %xmm5   # xmm5 = xmm5[0],xmm10[0],xmm5[1],xmm10[1],xmm5[2],xmm10[2],xmm5[3],xmm10[3]
punpcklwd 0x20(%rsp), %xmm15 # xmm15 = xmm15[0],mem[0],xmm15[1],mem[1],xmm15[2],mem[2],xmm15[3],mem[3]
punpckldq %xmm15, %xmm5   # xmm5 = xmm5[0],xmm15[0],xmm5[1],xmm15[1]
punpcklqdq %xmm6, %xmm5    # xmm5 = xmm5[0],xmm6[0]
pxor %xmm4, %xmm5
addq $0x2, %r13
movl %ebp, %r8d
movl %ebx, %eax
movl %edi, %ebp
movl -0x78(%rsp), %ebx
movl %r15d, %r14d
movl %ecx, %esi
jmp 0x32e8
movq 0x50(%rsp), %rdi
movw %r9w, (%rdi)
movw %si, 0x2(%rdi)
movw %dx, 0x4(%rdi)
movw %r14w, 0x6(%rdi)
movl -0x48(%rsp), %ecx
movw %cx, 0x8(%rdi)
movdqu %xmm5, 0xa(%rdi)
movdqu %xmm12, 0x1a(%rdi)
movw %bx, 0x2a(%rdi)
movw %bp, 0x2c(%rdi)
movw %ax, 0x2e(%rdi)
movw %r8w, 0x30(%rdi)
jmp 0x3d3a
movq 0x50(%rsp), %rax
movq (%rax), %r12
movq 0x8(%rax), %r13
movq 0x10(%rax), %rbx
movq 0x18(%rax), %rdi
movq 0x20(%rax), %rcx
movq %rcx, -0x10(%rsp)
movq 0x28(%rax), %r8
movq 0x30(%rax), %r14
movq 0x38(%rax), %rcx
movq %rcx, 0x20(%rsp)
movq 0x40(%rax), %rcx
movq %rcx, -0x40(%rsp)
movq 0x48(%rax), %rcx
movq %rcx, -0x8(%rsp)
movq 0x50(%rax), %r15
movq 0x58(%rax), %r11
movq 0x60(%rax), %rcx
movq %rcx, 0x18(%rsp)
movq 0x68(%rax), %r9
movq 0x70(%rax), %rcx
movq %rcx, 0x48(%rsp)
movq 0x78(%rax), %rsi
movq 0x80(%rax), %r10
movq 0x88(%rax), %rcx
movq %rcx, -0x60(%rsp)
movq 0x90(%rax), %rcx
movq %rcx, (%rsp)
movq 0x98(%rax), %rcx
movq %rcx, 0x10(%rsp)
movq 0xa0(%rax), %rcx
movq %rcx, -0x38(%rsp)
movq 0xa8(%rax), %rcx
movq %rcx, -0x78(%rsp)
movq 0xb0(%rax), %rcx
movq %rcx, -0x70(%rsp)
movq 0xb8(%rax), %rcx
movq %rcx, -0x68(%rsp)
movq 0xc0(%rax), %rax
movq %rax, -0x50(%rsp)
xorl %ebp, %ebp
cmpq $0xc0, %rbp
je 0x3c72
movq %r13, %rax
movq %r13, 0x40(%rsp)
xorq %r12, %rax
movq %rbp, 0x58(%rsp)
movq %rbx, %rbp
xorq %rdi, %rbp
xorq %rax, %rbp
movq %r14, %rcx
movq %r8, -0x18(%rsp)
xorq %r8, %rcx
movq %r9, %r8
movq %r9, 0x30(%rsp)
movq 0x20(%rsp), %rdx
movq %r10, %r9
xorq -0x40(%rsp), %rdx
xorq %rcx, %rdx
movq %r11, -0x20(%rsp)
movq %r11, %rcx
xorq %r15, %rcx
movq -0x78(%rsp), %r13
movq 0x18(%rsp), %r10
movq -0x50(%rsp), %rax
movq %r10, %r11
xorq %r8, %r11
xorq %rcx, %r11
movq %r9, %rcx
xorq %rsi, %rcx
movq %r12, -0x48(%rsp)
movq %rsi, -0x58(%rsp)
movq -0x60(%rsp), %r12
movq %rbx, 0x38(%rsp)
movq %r14, %rbx
movq (%rsp), %r14
xorq %r14, %r12
xorq %rcx, %r12
movq %r13, %rcx
movq %r13, %rsi
movq -0x38(%rsp), %r8
xorq %r8, %rcx
movq %r15, -0x28(%rsp)
movq -0x70(%rsp), %r15
movq %r15, %r13
movq %rdi, -0x30(%rsp)
xorq -0x68(%rsp), %r13
xorq %rcx, %r13
xorq -0x10(%rsp), %rbp
xorq -0x8(%rsp), %rdx
movq 0x48(%rsp), %rdi
xorq %rdi, %r11
movq %rdx, %rcx
rolq %rcx
xorq %rax, %r13
xorq %r13, %rcx
rolq %r13
xorq 0x10(%rsp), %r12
xorq %r11, %r13
rolq %r11
xorq %rbp, %r11
rolq %rbp
xorq %r12, %rbp
rolq %r12
xorq %rdx, %r12
xorq %rbp, %r8
movq %r8, -0x38(%rsp)
xorq %rbp, %rsi
movq %rsi, -0x78(%rsp)
xorq %rbp, %r15
movq -0x68(%rsp), %rsi
xorq %rbp, %rsi
xorq %rax, %rbp
xorq %r12, -0x28(%rsp)
xorq %r12, -0x20(%rsp)
xorq %r12, %r10
xorq %r12, 0x30(%rsp)
xorq %rdi, %r12
movq %r12, -0x50(%rsp)
xorq %rcx, -0x48(%rsp)
xorq %rcx, 0x40(%rsp)
movq 0x38(%rsp), %rdx
xorq %rcx, %rdx
xorq %rcx, -0x30(%rsp)
xorq -0x10(%rsp), %rcx
movq %rcx, -0x70(%rsp)
movq -0x58(%rsp), %rcx
xorq %r13, %rcx
xorq %r13, %r9
movq -0x60(%rsp), %rax
xorq %r13, %rax
xorq %r13, %r14
xorq 0x10(%rsp), %r13
movq %r13, (%rsp)
movq %r11, %r12
movq -0x18(%rsp), %r8
xorq %r11, %r8
xorq %r11, %rbx
xorq %r11, 0x20(%rsp)
movq -0x40(%rsp), %rdi
xorq %r11, %rdi
xorq -0x8(%rsp), %r12
rolq $0x2c, %rbx
rolq $0x2b, %r10
rolq $0x15, %r14
rolq $0xe, %rbp
movq %r10, %r11
notq %r11
andq %r14, %r11
xorq %rbx, %r11
movq %r11, 0x38(%rsp)
movq -0x48(%rsp), %r11
notq %r11
andq %rbx, %r11
movq %r11, -0x18(%rsp)
notq %rbx
andq %r10, %rbx
movq %rbx, 0x68(%rsp)
movq %rbp, %r11
notq %r11
andq -0x48(%rsp), %r11
xorq %r14, %r11
movq %r11, 0x70(%rsp)
notq %r14
andq %rbp, %r14
xorq %r10, %r14
movq %r14, -0x40(%rsp)
rolq $0x1c, %rcx
movq %rcx, -0x58(%rsp)
rolq %r8
movq -0x28(%rsp), %r13
rolq $0x3e, %r13
movq -0x78(%rsp), %r10
rolq $0x14, %r10
movq %r10, -0x78(%rsp)
movq -0x20(%rsp), %r14
rolq $0x6, %r14
rolq $0x37, %r9
rolq $0x3, %rdx
rolq $0x19, %rax
movq %rax, -0x60(%rsp)
rolq $0x27, %r15
movq %rdi, %rbx
rolq $0x2d, %rbx
rolq $0x8, %rsi
movq %rsi, -0x68(%rsp)
movq -0x30(%rsp), %rdi
rolq $0x29, %rdi
rolq $0x2, %r12
movq %r9, %rax
notq %rax
andq %r15, %rax
xorq %r13, %rax
movq %rax, -0x10(%rsp)
movq %rdi, %rax
notq %rax
andq %r12, %rax
movq %r12, 0x60(%rsp)
xorq %r15, %rax
movq %rax, 0x48(%rsp)
notq %r15
andq %rdi, %r15
xorq %r9, %r15
movq %r15, -0x8(%rsp)
notq %r12
andq %r13, %r12
notq %r13
andq %r9, %r13
movq %r13, -0x28(%rsp)
movq -0x50(%rsp), %r9
rolq $0x3d, %r9
movq %r9, -0x50(%rsp)
movq 0x40(%rsp), %r15
movq %r10, %rax
notq %rax
andq %rdx, %rax
movq %rax, -0x30(%rsp)
movq %r14, %rsi
movq %r14, -0x20(%rsp)
movq %rbx, %r13
notq %r13
andq %r9, %r13
xorq %rdx, %r13
movq %rdx, %r14
notq %r14
andq %rbx, %r14
movq %r9, %r10
notq %r10
andq %rcx, %r10
xorq %rbx, %r10
movq -0x70(%rsp), %rcx
rolq $0x12, %rcx
movq %rcx, -0x70(%rsp)
movq %rsi, %rbx
notq %rbx
movq -0x60(%rsp), %rsi
andq %rsi, %rbx
movq -0x68(%rsp), %r9
movq %r9, %rax
notq %rax
andq %rcx, %rax
xorq %rsi, %rax
movq %rax, 0x18(%rsp)
movq -0x38(%rsp), %rdx
notq %rsi
andq %r9, %rsi
movq %rcx, %rax
notq %rax
andq %r8, %rax
xorq %r9, %rax
movq %rax, -0x60(%rsp)
xorq %rdi, %r12
movq %r12, 0x10(%rsp)
rolq $0x24, %r15
movq 0x20(%rsp), %rax
rolq $0xa, %rax
movq 0x30(%rsp), %r11
rolq $0xf, %r11
movq (%rsp), %r12
rolq $0x38, %r12
movq %r15, %rdi
notq %rdi
andq %rax, %rdi
movq %r11, %rcx
notq %rcx
andq %r12, %rcx
xorq %rax, %rcx
rolq $0x1b, %rdx
notq %rax
andq %r11, %rax
movq %r12, %r9
notq %r9
andq %rdx, %r9
xorq %r11, %r9
movq %r9, (%rsp)
xorq %rbp, -0x18(%rsp)
movq 0x58(%rsp), %r9
movq -0x58(%rsp), %rbp
xorq %rbp, -0x30(%rsp)
movq -0x78(%rsp), %r11
xorq %r11, %r14
notq %rbp
andq %r11, %rbp
xorq -0x50(%rsp), %rbp
movq %rbp, -0x58(%rsp)
movq -0x48(%rsp), %rbp
xorq %r8, %rbx
movq -0x20(%rsp), %r11
xorq %r11, %rsi
notq %r8
andq %r11, %r8
xorq -0x70(%rsp), %r8
xorq %rdx, %rdi
xorq %r15, %rax
notq %rdx
andq %r15, %rdx
xorq %r12, %rdx
leaq 0x159a(%rip), %r12      # 0x51a0
movq 0x68(%rsp), %r11
xorq (%r9,%r12), %r11
movq -0x28(%rsp), %r15
xorq 0x60(%rsp), %r15
xorq %r11, %rbp
movq %rbp, %r12
movq %r15, -0x50(%rsp)
movq -0x40(%rsp), %r15
movq %rax, -0x40(%rsp)
movq %rsi, 0x20(%rsp)
addq $0x8, %r9
movq %r9, %rbp
movq %rdx, -0x68(%rsp)
movq %r8, -0x70(%rsp)
movq -0x58(%rsp), %rax
movq %rax, -0x78(%rsp)
movq -0x18(%rsp), %rax
movq %rax, -0x38(%rsp)
movq 0x70(%rsp), %rsi
movq %rcx, %r9
movq %r13, %r11
movq 0x38(%rsp), %r8
movq -0x30(%rsp), %r13
jmp 0x382d
movq 0x50(%rsp), %rax
movq %r12, (%rax)
movq %r13, 0x8(%rax)
movq %rbx, 0x10(%rax)
movq %rdi, 0x18(%rax)
movq -0x10(%rsp), %rcx
movq %rcx, 0x20(%rax)
movq %r8, 0x28(%rax)
movq %r14, 0x30(%rax)
movq 0x20(%rsp), %rcx
movq %rcx, 0x38(%rax)
movq -0x40(%rsp), %rcx
movq %rcx, 0x40(%rax)
movq -0x8(%rsp), %rcx
movq %rcx, 0x48(%rax)
movq %r15, 0x50(%rax)
movq %r11, 0x58(%rax)
movq 0x18(%rsp), %rcx
movq %rcx, 0x60(%rax)
movq %r9, 0x68(%rax)
movq 0x48(%rsp), %rcx
movq %rcx, 0x70(%rax)
movq %rsi, 0x78(%rax)
movq %r10, 0x80(%rax)
movq -0x60(%rsp), %rcx
movq %rcx, 0x88(%rax)
movq (%rsp), %rcx
movq %rcx, 0x90(%rax)
movq 0x10(%rsp), %rcx
movq %rcx, 0x98(%rax)
movq -0x38(%rsp), %rcx
movq %rcx, 0xa0(%rax)
movq -0x78(%rsp), %rcx
movq %rcx, 0xa8(%rax)
movq -0x70(%rsp), %rcx
movq %rcx, 0xb0(%rax)
movq -0x68(%rsp), %rcx
movq %rcx, 0xb8(%rax)
movq -0x50(%rsp), %rcx
movq %rcx, 0xc0(%rax)
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq