// File: BU-DiSC[P]BF-Shared-Hashing/hash/xxh3p.h
// Function: ROCKSDB_XXH3p_128bits_withSeed
XXH_PUBLIC_API XXH128_hash_t
XXH3p_128bits_withSeed(const void* input, size_t len, XXH64_hash_t seed)
{
    if (len <= 16) return XXH3p_len_0to16_128b((const xxh_u8*)input, len, kSecret, seed);
    if (len <= 128) return XXH3p_len_17to128_128b((const xxh_u8*)input, len, kSecret, sizeof(kSecret), seed);
    if (len <= XXH3p_MIDSIZE_MAX) return XXH3p_len_129to240_128b((const xxh_u8*)input, len, kSecret, sizeof(kSecret), seed);
    return XXH3p_hashLong_128b_withSeed((const xxh_u8*)input, len, seed);
}

// Assembly:
subq $0x7c8, %rsp            # imm = 0x7C8
movq %rdi, 0x158(%rsp)
movq %rsi, 0x150(%rsp)
movq %rdx, 0x148(%rsp)
cmpq $0x10, 0x150(%rsp)
ja 0x5d503
movq 0x158(%rsp), %rdx
movq 0x150(%rsp), %rcx
movq 0x148(%rsp), %rax
movq %rdx, 0x188(%rsp)
movq %rcx, 0x180(%rsp)
leaq 0x8883(%rip), %rcx      # 0x65640
movq %rcx, 0x178(%rsp)
movq %rax, 0x170(%rsp)
cmpq $0x8, 0x180(%rsp)
jbe 0x5d04c
movq 0x188(%rsp), %rsi
movq 0x180(%rsp), %rdx
movq 0x178(%rsp), %rcx
movq 0x170(%rsp), %rax
movq %rsi, 0x2c0(%rsp)
movq %rdx, 0x2b8(%rsp)
movq %rcx, 0x2b0(%rsp)
movq %rax, 0x2a8(%rsp)
movq 0x2c0(%rsp), %rax
movq %rax, 0x2f0(%rsp)
movq 0x2f0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x128(%rsp)
movq 0x2b0(%rsp), %rax
movq %rax, 0x2e8(%rsp)
movq 0x2e8(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x128(%rsp), %rax
movq 0x2a8(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x2a0(%rsp)
movq 0x2c0(%rsp), %rax
movq 0x2b8(%rsp), %rcx
leaq -0x8(%rax,%rcx), %rax
movq %rax, 0x2e0(%rsp)
movq 0x2e0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x130(%rsp)
movq 0x2b0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x2d8(%rsp)
movq 0x2d8(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x130(%rsp), %rax
movq 0x2a8(%rsp), %rdx
subq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x298(%rsp)
movq 0x2a0(%rsp), %rdi
movq 0x298(%rsp), %rax
xorq %rax, %rdi
movabsq $-0x61c8864e7a143579, %rsi # imm = 0x9E3779B185EBCA87
movq %rsi, 0x138(%rsp)
callq 0x5fc00
movq %rax, %rcx
movq 0x138(%rsp), %rax
movq %rcx, 0x288(%rsp)
movq %rdx, 0x290(%rsp)
movl 0x2b8(%rsp), %ecx
imulq $0x165667b1, %rcx, %rcx # imm = 0x165667B1
movq %rcx, 0x280(%rsp)
movq 0x280(%rsp), %rdx
movq 0x288(%rsp), %rcx
addq %rdx, %rcx
movq %rcx, 0x288(%rsp)
movq 0x298(%rsp), %rcx
imulq %rax, %rcx
movq 0x290(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x290(%rsp)
movl 0x294(%rsp), %eax
movl %eax, %ecx
movq 0x288(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x288(%rsp)
movq 0x288(%rsp), %rdi
movabsq $-0x3d4d51c2d82b14b1, %rsi # imm = 0xC2B2AE3D27D4EB4F
movq %rsi, 0x140(%rsp)
callq 0x5fc00
movq %rax, %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x2c8(%rsp)
movq %rdx, 0x2d0(%rsp)
movq 0x290(%rsp), %rcx
imulq %rax, %rcx
movq 0x2d0(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x2d0(%rsp)
movq 0x2c8(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x2c8(%rsp)
movq 0x2d0(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x2d0(%rsp)
movq 0x2c8(%rsp), %rcx
movq 0x2d0(%rsp), %rax
movq %rcx, 0x190(%rsp)
movq %rax, 0x198(%rsp)
jmp 0x5d4de
cmpq $0x4, 0x180(%rsp)
jb 0x5d2c2
movq 0x188(%rsp), %rsi
movq 0x180(%rsp), %rdx
movq 0x178(%rsp), %rcx
movq 0x170(%rsp), %rax
movq %rsi, 0x358(%rsp)
movq %rdx, 0x350(%rsp)
movq %rcx, 0x348(%rsp)
movq %rax, 0x340(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x378(%rsp)
movq 0x378(%rsp), %rdi
callq 0x5fa70
movl %eax, 0x33c(%rsp)
movq 0x358(%rsp), %rax
movq 0x350(%rsp), %rcx
leaq -0x4(%rax,%rcx), %rax
movq %rax, 0x370(%rsp)
movq 0x370(%rsp), %rdi
callq 0x5fa70
movl %eax, 0x338(%rsp)
movl 0x33c(%rsp), %eax
movl 0x338(%rsp), %ecx
shlq $0x20, %rcx
orq %rcx, %rax
movq %rax, 0x330(%rsp)
movq 0x330(%rsp), %rdi
callq 0x508b0
movq %rax, 0x328(%rsp)
movq 0x330(%rsp), %rax
movq %rax, 0x118(%rsp)
movq 0x348(%rsp), %rax
movq %rax, 0x388(%rsp)
movq 0x388(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x118(%rsp), %rax
movq 0x340(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x320(%rsp)
movq 0x328(%rsp), %rax
movq %rax, 0x120(%rsp)
movq 0x348(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x380(%rsp)
movq 0x380(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x120(%rsp), %rax
movq 0x340(%rsp), %rdx
subq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x318(%rsp)
movq 0x350(%rsp), %rax
movq 0x320(%rsp), %rcx
movq %rcx, %rdx
shrq $0x33, %rdx
xorq %rdx, %rcx
movl $0x9e3779b1, %edx       # imm = 0x9E3779B1
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0x310(%rsp)
movq 0x310(%rsp), %rax
movq %rax, %rcx
shrq $0x2f, %rcx
xorq %rcx, %rax
movabsq $-0x3d4d51c2d82b14b1, %rcx # imm = 0xC2B2AE3D27D4EB4F
imulq %rcx, %rax
movq %rax, 0x308(%rsp)
movq 0x318(%rsp), %rax
movq %rax, %rcx
shrq $0x2f, %rcx
xorq %rcx, %rax
movabsq $-0x61c8864e7a143579, %rcx # imm = 0x9E3779B185EBCA87
imulq %rcx, %rax
movq 0x350(%rsp), %rcx
subq %rcx, %rax
movq %rax, 0x300(%rsp)
movq 0x300(%rsp), %rax
movq %rax, %rcx
shrq $0x2b, %rcx
xorq %rcx, %rax
movabsq $-0x7a1435883d4d519d, %rcx # imm = 0x85EBCA77C2B2AE63
imulq %rcx, %rax
movq %rax, 0x2f8(%rsp)
movq 0x308(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x360(%rsp)
movq 0x2f8(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x368(%rsp)
movq 0x360(%rsp), %rcx
movq 0x368(%rsp), %rax
movq %rcx, 0x190(%rsp)
movq %rax, 0x198(%rsp)
jmp 0x5d4de
cmpq $0x0, 0x180(%rsp)
je 0x5d4ca
movq 0x188(%rsp), %rsi
movq 0x180(%rsp), %rdx
movq 0x178(%rsp), %rcx
movq 0x170(%rsp), %rax
movq %rsi, 0x3d8(%rsp)
movq %rdx, 0x3d0(%rsp)
movq %rcx, 0x3c8(%rsp)
movq %rax, 0x3c0(%rsp)
movq 0x3d8(%rsp), %rax
movb (%rax), %al
movb %al, 0x3bf(%rsp)
movq 0x3d8(%rsp), %rax
movq 0x3d0(%rsp), %rcx
shrq %rcx
movb (%rax,%rcx), %al
movb %al, 0x3be(%rsp)
movq 0x3d8(%rsp), %rcx
movq 0x3d0(%rsp), %rax
movb -0x1(%rax,%rcx), %al
movb %al, 0x3bd(%rsp)
movzbl 0x3bf(%rsp), %eax
movzbl 0x3be(%rsp), %ecx
shll $0x8, %ecx
orl %ecx, %eax
movzbl 0x3bd(%rsp), %ecx
shll $0x10, %ecx
orl %ecx, %eax
movl 0x3d0(%rsp), %ecx
shll $0x18, %ecx
orl %ecx, %eax
movl %eax, 0x3b8(%rsp)
movl 0x3b8(%rsp), %edi
callq 0x4e030
movl %eax, 0x3b4(%rsp)
movl 0x3b8(%rsp), %eax
movq %rax, 0x108(%rsp)
movq 0x3c8(%rsp), %rax
movq %rax, 0x3f8(%rsp)
movq 0x3f8(%rsp), %rdi
callq 0x5fa70
movl %eax, %ecx
movq 0x108(%rsp), %rax
movl %ecx, %ecx
movq 0x3c0(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x3a8(%rsp)
movl 0x3b4(%rsp), %eax
movq %rax, 0x110(%rsp)
movq 0x3c8(%rsp), %rax
addq $0x4, %rax
movq %rax, 0x3f0(%rsp)
movq 0x3f0(%rsp), %rdi
callq 0x5fa70
movl %eax, %ecx
movq 0x110(%rsp), %rax
movl %ecx, %ecx
movq 0x3c0(%rsp), %rdx
subq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x3a0(%rsp)
movq 0x3a8(%rsp), %rax
movabsq $-0x61c8864e7a143579, %rcx # imm = 0x9E3779B185EBCA87
imulq %rcx, %rax
movq %rax, 0x398(%rsp)
movq 0x3a0(%rsp), %rax
movabsq $0x27d4eb2f165667c5, %rcx # imm = 0x27D4EB2F165667C5
imulq %rcx, %rax
movq %rax, 0x390(%rsp)
movq 0x398(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x3e0(%rsp)
movq 0x390(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x3e8(%rsp)
movq 0x3e0(%rsp), %rcx
movq 0x3e8(%rsp), %rax
movq %rcx, 0x190(%rsp)
movq %rax, 0x198(%rsp)
jmp 0x5d4de
leaq 0x190(%rsp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x62e0
movq 0x190(%rsp), %rcx
movq 0x198(%rsp), %rax
movq %rcx, 0x160(%rsp)
movq %rax, 0x168(%rsp)
jmp 0x5e69a
cmpq $0x80, 0x150(%rsp)
ja 0x5e624
movq 0x158(%rsp), %rdx
movq 0x150(%rsp), %rcx
movq 0x148(%rsp), %rax
movq %rdx, 0x268(%rsp)
movq %rcx, 0x260(%rsp)
leaq 0x80fc(%rip), %rcx      # 0x65640
movq %rcx, 0x258(%rsp)
movq $0xc0, 0x250(%rsp)
movq %rax, 0x248(%rsp)
movabsq $-0x61c8864e7a143579, %rax # imm = 0x9E3779B185EBCA87
imulq 0x260(%rsp), %rax
movq %rax, 0x230(%rsp)
movq $0x0, 0x238(%rsp)
cmpq $0x20, 0x260(%rsp)
jbe 0x5e1a2
cmpq $0x40, 0x260(%rsp)
jbe 0x5ddc4
cmpq $0x60, 0x260(%rsp)
jbe 0x5d9bc
movups 0x230(%rsp), %xmm0
movaps %xmm0, 0x210(%rsp)
movq 0x268(%rsp), %rax
movq %rax, %rsi
addq $0x30, %rsi
movq 0x260(%rsp), %rcx
leaq -0x40(%rax,%rcx), %rdx
movq 0x258(%rsp), %rcx
addq $0x60, %rcx
movq 0x248(%rsp), %rax
movq 0x210(%rsp), %r8
movq 0x218(%rsp), %rdi
movq %r8, 0x420(%rsp)
movq %rdi, 0x428(%rsp)
movq %rsi, 0x418(%rsp)
movq %rdx, 0x410(%rsp)
movq %rcx, 0x408(%rsp)
movq %rax, 0x400(%rsp)
movq 0x418(%rsp), %rdx
movq 0x408(%rsp), %rcx
movq 0x400(%rsp), %rax
movq %rdx, 0x4c8(%rsp)
movq %rcx, 0x4c0(%rsp)
movq %rax, 0x4b8(%rsp)
movq 0x4c8(%rsp), %rax
movq %rax, 0x4e8(%rsp)
movq 0x4e8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x4b0(%rsp)
movq 0x4c8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x4e0(%rsp)
movq 0x4e0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x4a8(%rsp)
movq 0x4b0(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq 0x4c0(%rsp), %rax
movq %rax, 0x4d8(%rsp)
movq 0x4d8(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xc8(%rsp), %rax
movq 0x4b8(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0xd8(%rsp)
movq 0x4a8(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0x4c0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x4d0(%rsp)
movq 0x4d0(%rsp), %rdi
callq 0x5fae0
movq 0xd0(%rsp), %rsi
movq 0xd8(%rsp), %rdi
movq 0x4b8(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x420(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x420(%rsp)
movq 0x410(%rsp), %rax
movq %rax, 0x458(%rsp)
movq 0x458(%rsp), %rdi
callq 0x5fae0
movq %rax, 0xe0(%rsp)
movq 0x410(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x450(%rsp)
movq 0x450(%rsp), %rdi
callq 0x5fae0
movq 0xe0(%rsp), %rcx
addq %rax, %rcx
movq 0x420(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x420(%rsp)
movq 0x410(%rsp), %rdx
movq 0x408(%rsp), %rcx
addq $0x10, %rcx
movq 0x400(%rsp), %rax
movq %rdx, 0x480(%rsp)
movq %rcx, 0x478(%rsp)
movq %rax, 0x470(%rsp)
movq 0x480(%rsp), %rax
movq %rax, 0x4a0(%rsp)
movq 0x4a0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x468(%rsp)
movq 0x480(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x498(%rsp)
movq 0x498(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x460(%rsp)
movq 0x468(%rsp), %rax
movq %rax, 0xe8(%rsp)
movq 0x478(%rsp), %rax
movq %rax, 0x490(%rsp)
movq 0x490(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xe8(%rsp), %rax
movq 0x470(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0xf8(%rsp)
movq 0x460(%rsp), %rax
movq %rax, 0xf0(%rsp)
movq 0x478(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x488(%rsp)
movq 0x488(%rsp), %rdi
callq 0x5fae0
movq 0xf0(%rsp), %rsi
movq 0xf8(%rsp), %rdi
movq 0x470(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x428(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x428(%rsp)
movq 0x418(%rsp), %rax
movq %rax, 0x448(%rsp)
movq 0x448(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x100(%rsp)
movq 0x418(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x440(%rsp)
movq 0x440(%rsp), %rdi
callq 0x5fae0
movq 0x100(%rsp), %rcx
addq %rax, %rcx
movq 0x428(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x428(%rsp)
movups 0x420(%rsp), %xmm0
movaps %xmm0, 0x430(%rsp)
movq 0x430(%rsp), %rcx
movq 0x438(%rsp), %rax
movq %rcx, 0x220(%rsp)
movq %rax, 0x228(%rsp)
movq 0x220(%rsp), %rax
movq %rax, 0x230(%rsp)
movq 0x228(%rsp), %rax
movq %rax, 0x238(%rsp)
movups 0x230(%rsp), %xmm0
movaps %xmm0, 0x1f0(%rsp)
movq 0x268(%rsp), %rax
movq %rax, %rsi
addq $0x20, %rsi
movq 0x260(%rsp), %rcx
leaq -0x30(%rax,%rcx), %rdx
movq 0x258(%rsp), %rcx
addq $0x40, %rcx
movq 0x248(%rsp), %rax
movq 0x1f0(%rsp), %r8
movq 0x1f8(%rsp), %rdi
movq %r8, 0x510(%rsp)
movq %rdi, 0x518(%rsp)
movq %rsi, 0x508(%rsp)
movq %rdx, 0x500(%rsp)
movq %rcx, 0x4f8(%rsp)
movq %rax, 0x4f0(%rsp)
movq 0x508(%rsp), %rdx
movq 0x4f8(%rsp), %rcx
movq 0x4f0(%rsp), %rax
movq %rdx, 0x5b8(%rsp)
movq %rcx, 0x5b0(%rsp)
movq %rax, 0x5a8(%rsp)
movq 0x5b8(%rsp), %rax
movq %rax, 0x5d8(%rsp)
movq 0x5d8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x5a0(%rsp)
movq 0x5b8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x5d0(%rsp)
movq 0x5d0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x598(%rsp)
movq 0x5a0(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0x5b0(%rsp), %rax
movq %rax, 0x5c8(%rsp)
movq 0x5c8(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x88(%rsp), %rax
movq 0x5a8(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x98(%rsp)
movq 0x598(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x5b0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x5c0(%rsp)
movq 0x5c0(%rsp), %rdi
callq 0x5fae0
movq 0x90(%rsp), %rsi
movq 0x98(%rsp), %rdi
movq 0x5a8(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x510(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x510(%rsp)
movq 0x500(%rsp), %rax
movq %rax, 0x548(%rsp)
movq 0x548(%rsp), %rdi
callq 0x5fae0
movq %rax, 0xa0(%rsp)
movq 0x500(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x540(%rsp)
movq 0x540(%rsp), %rdi
callq 0x5fae0
movq 0xa0(%rsp), %rcx
addq %rax, %rcx
movq 0x510(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x510(%rsp)
movq 0x500(%rsp), %rdx
movq 0x4f8(%rsp), %rcx
addq $0x10, %rcx
movq 0x4f0(%rsp), %rax
movq %rdx, 0x570(%rsp)
movq %rcx, 0x568(%rsp)
movq %rax, 0x560(%rsp)
movq 0x570(%rsp), %rax
movq %rax, 0x590(%rsp)
movq 0x590(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x558(%rsp)
movq 0x570(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x588(%rsp)
movq 0x588(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x550(%rsp)
movq 0x558(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0x568(%rsp), %rax
movq %rax, 0x580(%rsp)
movq 0x580(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0xa8(%rsp), %rax
movq 0x560(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0xb8(%rsp)
movq 0x550(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0x568(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x578(%rsp)
movq 0x578(%rsp), %rdi
callq 0x5fae0
movq 0xb0(%rsp), %rsi
movq 0xb8(%rsp), %rdi
movq 0x560(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x518(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x518(%rsp)
movq 0x508(%rsp), %rax
movq %rax, 0x538(%rsp)
movq 0x538(%rsp), %rdi
callq 0x5fae0
movq %rax, 0xc0(%rsp)
movq 0x508(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x530(%rsp)
movq 0x530(%rsp), %rdi
callq 0x5fae0
movq 0xc0(%rsp), %rcx
addq %rax, %rcx
movq 0x518(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x518(%rsp)
movups 0x510(%rsp), %xmm0
movaps %xmm0, 0x520(%rsp)
movq 0x520(%rsp), %rcx
movq 0x528(%rsp), %rax
movq %rcx, 0x200(%rsp)
movq %rax, 0x208(%rsp)
movq 0x200(%rsp), %rax
movq %rax, 0x230(%rsp)
movq 0x208(%rsp), %rax
movq %rax, 0x238(%rsp)
movups 0x230(%rsp), %xmm0
movaps %xmm0, 0x1d0(%rsp)
movq 0x268(%rsp), %rax
movq %rax, %rsi
addq $0x10, %rsi
movq 0x260(%rsp), %rcx
leaq -0x20(%rax,%rcx), %rdx
movq 0x258(%rsp), %rcx
addq $0x20, %rcx
movq 0x248(%rsp), %rax
movq 0x1d0(%rsp), %r8
movq 0x1d8(%rsp), %rdi
movq %r8, 0x600(%rsp)
movq %rdi, 0x608(%rsp)
movq %rsi, 0x5f8(%rsp)
movq %rdx, 0x5f0(%rsp)
movq %rcx, 0x5e8(%rsp)
movq %rax, 0x5e0(%rsp)
movq 0x5f8(%rsp), %rdx
movq 0x5e8(%rsp), %rcx
movq 0x5e0(%rsp), %rax
movq %rdx, 0x6a8(%rsp)
movq %rcx, 0x6a0(%rsp)
movq %rax, 0x698(%rsp)
movq 0x6a8(%rsp), %rax
movq %rax, 0x6c8(%rsp)
movq 0x6c8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x690(%rsp)
movq 0x6a8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x6c0(%rsp)
movq 0x6c0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x688(%rsp)
movq 0x690(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x6a0(%rsp), %rax
movq %rax, 0x6b8(%rsp)
movq 0x6b8(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq 0x698(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x58(%rsp)
movq 0x688(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x6a0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x6b0(%rsp)
movq 0x6b0(%rsp), %rdi
callq 0x5fae0
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rdi
movq 0x698(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x600(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x600(%rsp)
movq 0x5f0(%rsp), %rax
movq %rax, 0x638(%rsp)
movq 0x638(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x60(%rsp)
movq 0x5f0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x630(%rsp)
movq 0x630(%rsp), %rdi
callq 0x5fae0
movq 0x60(%rsp), %rcx
addq %rax, %rcx
movq 0x600(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x600(%rsp)
movq 0x5f0(%rsp), %rdx
movq 0x5e8(%rsp), %rcx
addq $0x10, %rcx
movq 0x5e0(%rsp), %rax
movq %rdx, 0x660(%rsp)
movq %rcx, 0x658(%rsp)
movq %rax, 0x650(%rsp)
movq 0x660(%rsp), %rax
movq %rax, 0x680(%rsp)
movq 0x680(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x648(%rsp)
movq 0x660(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x678(%rsp)
movq 0x678(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x640(%rsp)
movq 0x648(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x658(%rsp), %rax
movq %rax, 0x670(%rsp)
movq 0x670(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x68(%rsp), %rax
movq 0x650(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x78(%rsp)
movq 0x640(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x658(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x668(%rsp)
movq 0x668(%rsp), %rdi
callq 0x5fae0
movq 0x70(%rsp), %rsi
movq 0x78(%rsp), %rdi
movq 0x650(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x608(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x608(%rsp)
movq 0x5f8(%rsp), %rax
movq %rax, 0x628(%rsp)
movq 0x628(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x80(%rsp)
movq 0x5f8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x620(%rsp)
movq 0x620(%rsp), %rdi
callq 0x5fae0
movq 0x80(%rsp), %rcx
addq %rax, %rcx
movq 0x608(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x608(%rsp)
movups 0x600(%rsp), %xmm0
movaps %xmm0, 0x610(%rsp)
movq 0x610(%rsp), %rcx
movq 0x618(%rsp), %rax
movq %rcx, 0x1e0(%rsp)
movq %rax, 0x1e8(%rsp)
movq 0x1e0(%rsp), %rax
movq %rax, 0x230(%rsp)
movq 0x1e8(%rsp), %rax
movq %rax, 0x238(%rsp)
movups 0x230(%rsp), %xmm0
movaps %xmm0, 0x1b0(%rsp)
movq 0x268(%rsp), %rsi
movq 0x260(%rsp), %rax
leaq -0x10(%rsi,%rax), %rdx
movq 0x258(%rsp), %rcx
movq 0x248(%rsp), %rax
movq 0x1b0(%rsp), %r8
movq 0x1b8(%rsp), %rdi
movq %r8, 0x6f0(%rsp)
movq %rdi, 0x6f8(%rsp)
movq %rsi, 0x6e8(%rsp)
movq %rdx, 0x6e0(%rsp)
movq %rcx, 0x6d8(%rsp)
movq %rax, 0x6d0(%rsp)
movq 0x6e8(%rsp), %rdx
movq 0x6d8(%rsp), %rcx
movq 0x6d0(%rsp), %rax
movq %rdx, 0x7a0(%rsp)
movq %rcx, 0x798(%rsp)
movq %rax, 0x790(%rsp)
movq 0x7a0(%rsp), %rax
movq %rax, 0x7c0(%rsp)
movq 0x7c0(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x788(%rsp)
movq 0x7a0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x7b8(%rsp)
movq 0x7b8(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x780(%rsp)
movq 0x788(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x798(%rsp), %rax
movq %rax, 0x7b0(%rsp)
movq 0x7b0(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x8(%rsp), %rax
movq 0x790(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x18(%rsp)
movq 0x780(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x798(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x7a8(%rsp)
movq 0x7a8(%rsp), %rdi
callq 0x5fae0
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdi
movq 0x790(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x6f0(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x6f0(%rsp)
movq 0x6e0(%rsp), %rax
movq %rax, 0x730(%rsp)
movq 0x730(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x20(%rsp)
movq 0x6e0(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x728(%rsp)
movq 0x728(%rsp), %rdi
callq 0x5fae0
movq 0x20(%rsp), %rcx
addq %rax, %rcx
movq 0x6f0(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x6f0(%rsp)
movq 0x6e0(%rsp), %rdx
movq 0x6d8(%rsp), %rcx
addq $0x10, %rcx
movq 0x6d0(%rsp), %rax
movq %rdx, 0x758(%rsp)
movq %rcx, 0x750(%rsp)
movq %rax, 0x748(%rsp)
movq 0x758(%rsp), %rax
movq %rax, 0x778(%rsp)
movq 0x778(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x740(%rsp)
movq 0x758(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x770(%rsp)
movq 0x770(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x738(%rsp)
movq 0x740(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x750(%rsp), %rax
movq %rax, 0x768(%rsp)
movq 0x768(%rsp), %rdi
callq 0x5fae0
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq 0x748(%rsp), %rdx
addq %rdx, %rcx
xorq %rcx, %rax
movq %rax, 0x38(%rsp)
movq 0x738(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x750(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x760(%rsp)
movq 0x760(%rsp), %rdi
callq 0x5fae0
movq 0x30(%rsp), %rsi
movq 0x38(%rsp), %rdi
movq 0x748(%rsp), %rcx
subq %rcx, %rax
xorq %rax, %rsi
callq 0x5fb70
movq %rax, %rcx
movq 0x6f8(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x6f8(%rsp)
movq 0x6e8(%rsp), %rax
movq %rax, 0x720(%rsp)
movq 0x720(%rsp), %rdi
callq 0x5fae0
movq %rax, 0x40(%rsp)
movq 0x6e8(%rsp), %rax
addq $0x8, %rax
movq %rax, 0x718(%rsp)
movq 0x718(%rsp), %rdi
callq 0x5fae0
movq 0x40(%rsp), %rcx
addq %rax, %rcx
movq 0x6f8(%rsp), %rax
xorq %rcx, %rax
movq %rax, 0x6f8(%rsp)
movups 0x6f0(%rsp), %xmm0
movaps %xmm0, 0x700(%rsp)
movq 0x700(%rsp), %rcx
movq 0x708(%rsp), %rax
movq %rcx, 0x1c0(%rsp)
movq %rax, 0x1c8(%rsp)
movups 0x1c0(%rsp), %xmm0
movaps %xmm0, 0x230(%rsp)
movq 0x230(%rsp), %rax
movq 0x238(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x1a8(%rsp)
movq 0x230(%rsp), %rax
movq 0x238(%rsp), %rcx
movabsq $-0x61c8864e7a143579, %rdx # imm = 0x9E3779B185EBCA87
imulq %rdx, %rax
movabsq $-0x7a1435883d4d519d, %rdx # imm = 0x85EBCA77C2B2AE63
imulq %rdx, %rcx
addq %rcx, %rax
movq 0x260(%rsp), %rcx
movq 0x248(%rsp), %rdx
subq %rdx, %rcx
movabsq $-0x3d4d51c2d82b14b1, %rdx # imm = 0xC2B2AE3D27D4EB4F
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0x1a0(%rsp)
movq 0x1a8(%rsp), %rdi
callq 0x5fbb0
movq %rax, 0x270(%rsp)
movq 0x1a0(%rsp), %rdi
callq 0x5fbb0
negq %rax
movq %rax, 0x278(%rsp)
movq 0x270(%rsp), %rcx
movq 0x278(%rsp), %rax
movq %rcx, 0x160(%rsp)
movq %rax, 0x168(%rsp)
jmp 0x5e69a
cmpq $0xf0, 0x150(%rsp)
ja 0x5e66d
movq 0x158(%rsp), %rdi
movq 0x150(%rsp), %rsi
movq 0x148(%rsp), %r8
leaq 0x6fef(%rip), %rdx      # 0x65640
movl $0xc0, %ecx
callq 0x58620
movq %rax, 0x160(%rsp)
movq %rdx, 0x168(%rsp)
jmp 0x5e69a
movq 0x158(%rsp), %rdi
movq 0x150(%rsp), %rsi
movq 0x148(%rsp), %rdx
callq 0x5e6c0
movq %rax, 0x160(%rsp)
movq %rdx, 0x168(%rsp)
movq 0x160(%rsp), %rax
movq 0x168(%rsp), %rdx
addq $0x7c8, %rsp            # imm = 0x7C8
retq
nopw %cs:(%rax,%rax)