Function at 0x14009cd20
Capabilities:
Encrypt data using curve25519

Disassembly:
push r15
push r14
push r13
push r12
push rsi
push rdi
push rbp
push rbx
sub rsp, 0x2f8
mov qword [rsp + 0x218], rcx
mov rax, qword [0x140178028]
xor rax, rsp
mov qword [rsp + 0x2f0], rax
movups xmm0, xmmword [rdx]
movups xmm1, xmmword [rdx + 0x10]
movaps xmmword [rsp + 0x250], xmm0
and byte [rsp + 0x250], 0xf8
movabs r13, 0x7ffffffffffff
movaps xmmword [rsp + 0x260], xmm1
mov al, byte [rsp + 0x26f]
and al, 0x3f
or al, 0x40
mov byte [rsp + 0x26f], al
movzx r10d, byte [r8 + 4]
movzx esi, byte [r8 + 5]
movzx r9d, byte [r8 + 6]
movzx ecx, byte [r8 + 7]
movzx ebp, byte [r8 + 8]
movzx r11d, byte [r8 + 9]
movzx r14d, byte [r8 + 0xa]
movzx r15d, byte [r8 + 0xb]
movzx edi, byte [r8 + 0x14]
movzx ebx, byte [r8 + 0x1a]
movzx edx, byte [r8 + 0x1b]
shl rdx, 0xc
shl rbx, 4
or rbx, rdx
movzx edx, byte [r8 + 0x1c]
shl rdx, 0x14
or rbx, rdx
movzx edx, byte [r8 + 0x1d]
shl rdx, 0x1c
or rbx, rdx
movzx edx, byte [r8 + 0x1e]
shl rdx, 0x24
or rbx, rdx
movzx edx, byte [r8 + 0x1f]
and edx, 0x7f
shl rdx, 0x2c
or rbx, rdx
movzx edx, byte [r8 + 0x15]
shl rdx, 0xf
shl rdi, 7
or rdi, rdx
movzx edx, byte [r8 + 0x16]
shl rdx, 0x17
or rdi, rdx
movzx edx, byte [r8 + 0x17]
shl rdx, 0x1f
or rdi, rdx
movzx edx, byte [r8 + 0x18]
shl rdx, 0x27
or rdi, rdx
movzx edx, byte [r8 + 0x19]
shl rdx, 0x2f
or rdi, rdx
movzx edx, byte [r8 + 0xc]
shl rbp, 0xd
shl rcx, 5
or rcx, rbp
movzx r12d, byte [r8 + 0xd]
shl r11, 0x15
or rcx, r11
movzx r11d, byte [r8 + 0xe]
shl r14, 0x1d
or rcx, r14
movzx r14d, byte [r8 + 0xf]
shl r15, 0x25
or rcx, r15
movzx r15d, byte [r8 + 0x10]
shl rdx, 0x2d
or rcx, rdx
shl r10, 0x20
mov ebp, dword [r8]
or rbp, r10
movzx edx, byte [r8 + 0x11]
shl rsi, 0x28
or rbp, rsi
movzx esi, byte [r8 + 0x12]
movzx r8d, byte [r8 + 0x13]
shl r8, 0x32
shl rsi, 0x2a
shl rdx, 0x22
shl r15, 0x1a
shl r14, 0x12
shl r11, 0xa
shl r9, 0x30
or rbp, r9
and rbp, r13
shr r9, 0x33
or r9, rcx
and r9, r13
shr rcx, 0x33
lea rax, [r11 + r12*4]
or rax, r14
or rax, r15
or rax, rdx
or rax, rsi
or rax, r8
add rax, rcx
mov rsi, rax
and rsi, r13
shr rax, 0x33
add rax, rdi
mov r11, rax
and r11, r13
shr rax, 0x33
add rax, rbx
xorps xmm0, xmm0
movups xmmword [rsp + 0x2a0], xmm0
movups xmmword [rsp + 0x2b0], xmm0
mov qword [rsp + 0x298], 1
mov rdx, qword [rsp + 0x2a0]
mov qword [rsp + 0xe0], rdx
mov rdx, qword [rsp + 0x2a8]
mov qword [rsp + 0x118], rdx
mov rdx, qword [rsp + 0x2b0]
mov qword [rsp + 0x178], rdx
mov rdx, qword [rsp + 0x2b8]
mov qword [rsp + 0x1e8], rdx
mov edx, 0xfe
xor r8d, r8d
mov ebx, 1
mov qword [rsp + 0x130], rbx
xor ebx, ebx
mov qword [rsp + 0x40], rbx
xor edi, edi
xor ecx, ecx
xor ebx, ebx
mov qword [rsp + 0x238], rbp
mov r13, rbp
mov qword [rsp + 0x240], r9
mov r15, r9
mov qword [rsp + 0x228], rsi
mov qword [rsp + 0xc0], rsi
mov qword [rsp + 0x220], r11
mov qword [rsp + 0x230], rax
mov qword [rsp + 0x88], rax
mov r14d, 1
xor eax, eax
mov qword [rsp + 0x38], rax
xor eax, eax
mov qword [rsp + 0x78], rax
xor r9d, r9d
xor eax, eax
mov qword [rsp + 0xf0], rax
xor eax, eax
nop
mov dword [rsp + 0x200], edx
mov edx, dword [rsp + 0x200]
shr rdx, 3
movzx edx, byte [rsp + rdx + 0x250]
mov ebp, dword [rsp + 0x200]
and ebp, 7
bt edx, ebp
mov edx, 0
setb dl
mov qword [rsp + 0x210], rdx
xor eax, edx
neg rax
mov rdx, r13
mov rbp, qword [rsp + 0x130]
xor rdx, rbp
and rdx, rax
xor rbp, rdx
mov qword [rsp + 0x130], rbp
xor rdx, r13
mov qword [rsp + 0x80], rdx
mov rdx, r15
mov r12, qword [rsp + 0xe0]
xor r15, r12
and r15, rax
xor r12, r15
xor r15, rdx
mov rbp, qword [rsp + 0xc0]
mov rdx, rbp
mov r13, qword [rsp + 0x118]
xor rdx, r13
and rdx, rax
xor r13, rdx
xor rdx, rbp
mov qword [rsp + 0x28], rdx
mov r10, rdi
mov rdx, r11
mov rbp, qword [rsp + 0x178]
xor r11, rbp
and r11, rax
xor rbp, r11
xor r11, rdx
mov rdi, qword [rsp + 0x88]
mov rsi, rdi
mov rdx, qword [rsp + 0x1e8]
xor rsi, rdx
and rsi, rax
xor rdx, rsi
xor rsi, rdi
mov qword [rsp + 0x90], rsi
mov rsi, r14
xor rsi, rbx
and rsi, rax
xor rbx, rsi
xor rsi, r14
mov qword [rsp + 0xf8], rsi
mov r14, qword [rsp + 0x38]
mov rsi, r14
xor rsi, rcx
and rsi, rax
xor rcx, rsi
xor rsi, r14
mov qword [rsp + 0x30], rsi
mov r14, qword [rsp + 0x78]
mov rsi, r14
xor rsi, r10
and rsi, rax
xor r10, rsi
xor rsi, r14
mov qword [rsp + 0x38], rsi
mov rsi, r9
mov rdi, qword [rsp + 0x40]
xor rsi, rdi
and rsi, rax
xor rdi, rsi
xor rsi, r9
mov qword [rsp + 0x88], rsi
mov r9, qword [rsp + 0xf0]
mov rsi, r9
xor rsi, r8
and rsi, rax
xor r8, rsi
xor rsi, r9
mov r14, rsi
mov qword [rsp + 0x150], rsi
movabs rax, 0xffffffffffffe
lea rsi, [r12 + rax]
sub rsi, rcx
mov qword [rsp + 0x128], rsi
add rcx, r12
lea rsi, [rax + rbp]
sub rsi, rdi
mov qword [rsp + 0x70], rsi
add rdi, rbp
lea rbp, [rax + r13]
sub rbp, r10
mov qword [rsp + 0x120], rbp
add r10, r13
mov rsi, qword [rsp + 0x130]
lea rbp, [rsi + rax]
add rbp, 0xffffffffffffffdc
sub rbp, rbx
mov qword [rsp + 0x138], rbp
add rbx, rsi
mov r9, rbx
lea rsi, [rdx + rax]
sub rsi, r8
mov qword [rsp + 0x98], rsi
add r8, rdx
mov rdx, r8
mov qword [rsp + 0xf0], r8
mov rbp, qword [rsp + 0x90]
lea rsi, [rax + rbp]
mov r8, rax
sub rsi, r14
lea rax, [rdx + rdx*8]
lea r13, [rdx + rax*2]
mov rax, r13
mul rsi
mov qword [rsp + 0x110], rax
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x40], rdi
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mov rbp, rax
mul rsi
mov qword [rsp + 0x118], rax
mov qword [rsp + 0xc8], rdx
lea r12, [r15 + r8]
mov rdi, qword [rsp + 0x30]
sub r12, rdi
mov qword [rsp + 0xe8], r10
lea rax, [r10 + r10*8]
lea r14, [r10 + rax*2]
mov rax, r14
mul rsi
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x178], rcx
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mul rsi
mov qword [rsp + 0x1d8], rax
mov qword [rsp + 0x1e0], rdx
lea rbx, [r11 + r8]
mov r10, qword [rsp + 0x88]
sub rbx, r10
mov qword [rsp + 0x108], r13
mov rax, r13
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xb0], rax
mov rcx, rbp
mov qword [rsp + 0x130], rbp
mov rax, rbp
mul rbx
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa0], rdx
mov rax, qword [rsp + 0x28]
lea rbp, [rax + r8]
sub rbp, qword [rsp + 0x38]
mov rax, r14
mul rbx
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, r13
mul rbp
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x160], rax
mov rax, rcx
mul rbp
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1a8], rdx
add rdi, r15
mov qword [rsp + 0x30], rdi
mov rax, r13
mul r12
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x198], rax
mov rax, r9
mul rsi
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0xe0], rax
mov rsi, qword [rsp + 0x178]
mov rax, rsi
mul rbx
mov qword [rsp + 0x100], rax
mov rcx, rdx
add r10, r11
mov qword [rsp + 0x88], r10
mov rax, r9
mul rbx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x50], rax
mov r10, qword [rsp + 0xe8]
mov rax, r10
mul rbp
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xc0], rdx
mov r14, qword [rsp + 0x80]
lea rbx, [r14 + r8]
add rbx, 0xffffffffffffffdc
mov rdi, qword [rsp + 0xf8]
sub rbx, rdi
mov rax, rsi
mov r8, rsi
mul rbp
mov r15, rdx
mov r11, rax
mov rax, r9
mul rbp
mov qword [rsp + 0x1d0], rdx
mov qword [rsp + 0x1c8], rax
mov rsi, qword [rsp + 0x40]
mov rax, rsi
mul r12
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x68], rdx
add rdi, r14
mov qword [rsp + 0xf8], rdi
mov rax, r10
mul r12
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x158], rax
mov rdi, r8
mov rax, r8
mul r12
mov rbp, rdx
mov r13, rax
mov r8, r9
mov qword [rsp + 0x1e8], r9
mov rax, r9
mul r12
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
mov rax, qword [rsp + 0x38]
add rax, qword [rsp + 0x28]
mov qword [rsp + 0x38], rax
mov rax, qword [rsp + 0xf0]
mul rbx
mov r12, rdx
mov qword [rsp + 0x28], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x140], rax
mov rax, r10
mul rbx
mov qword [rsp + 0x190], rax
mov r10, rdx
mov rsi, qword [rsp + 0x150]
add rsi, qword [rsp + 0x90]
mov rax, rdi
mul rbx
mov rdi, rdx
mov r9, rax
mov rax, r8
mul rbx
mov r14, rax
add r14, qword [rsp + 0x1d8]
adc rdx, qword [rsp + 0x1e0]
add r14, qword [rsp + 0x1b8]
adc rdx, qword [rsp + 0x1c0]
add r14, qword [rsp + 0x1a0]
adc rdx, qword [rsp + 0x1a8]
add r14, qword [rsp + 0x198]
adc rdx, qword [rsp + 0x1b0]
shld rdx, r14, 0xd
movabs rax, 0x7ffffffffffff
and r14, rax
add r9, qword [rsp + 0x180]
adc rdi, qword [rsp + 0x188]
add r9, qword [rsp + 0xa8]
adc rdi, qword [rsp + 0x48]
add r9, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0xa0]
add r9, qword [rsp + 0x160]
adc rdi, qword [rsp + 0x168]
add r9, rdx
adc rdi, 0
shld rdi, r9, 0xd
and r9, rax
add r13, qword [rsp + 0x1c8]
adc rbp, qword [rsp + 0x1d0]
add r13, qword [rsp + 0x190]
adc rbp, r10
add r13, qword [rsp + 0x118]
adc rbp, qword [rsp + 0xc8]
add r13, qword [rsp + 0xb0]
adc rbp, qword [rsp + 0xb8]
add r13, rdi
adc rbp, 0
shld rbp, r13, 0xd
and r13, rax
add r11, qword [rsp + 0x50]
adc r15, qword [rsp + 0x58]
add r11, qword [rsp + 0x158]
adc r15, qword [rsp + 0x80]
add r11, qword [rsp + 0x140]
adc r15, qword [rsp + 0x148]
add r11, qword [rsp + 0x110]
adc r15, qword [rsp + 0x170]
add r11, rbp
adc r15, 0
shld r15, r11, 0xd
and r11, rax
mov qword [rsp + 0x90], r11
mov rax, qword [rsp + 0x100]
add rax, qword [rsp + 0xe0]
adc rcx, qword [rsp + 0x78]
add rax, qword [rsp + 0xd8]
adc rcx, qword [rsp + 0xc0]
add rax, qword [rsp + 0x60]
adc rcx, qword [rsp + 0x68]
add rax, qword [rsp + 0x28]
adc rcx, r12
add rax, r15
mov qword [rsp + 0x100], rax
adc rcx, 0
shld rcx, rax, 0xd
mov rdx, qword [rsp + 0x98]
lea rax, [rdx + rdx*8]
lea rbx, [rdx + rax*2]
mov rax, rbx
mov r10, rsi
mul rsi
mov qword [rsp + 0x118], rax
mov qword [rsp + 0x78], rdx
mov r8, qword [rsp + 0x70]
lea rax, [r8 + r8*8]
lea rbp, [r8 + rax*2]
mov rax, rbp
mul rsi
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xc0], rdx
mov rdx, qword [rsp + 0x120]
lea rax, [rdx + rdx*8]
lea rdi, [rdx + rax*2]
mov rax, rdi
mul rsi
mov qword [rsp + 0x168], rax
mov qword [rsp + 0xd0], rdx
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov r11, qword [rsp + 0x128]
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul rsi
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x1c8], rdx
add rcx, r14
mov qword [rsp + 0x170], rcx
mov qword [rsp + 0xc8], rbx
mov rax, rbx
mov r12, qword [rsp + 0x88]
mul r12
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x58], rax
mov qword [rsp + 0xe0], rbp
mov rax, rbp
mul r12
mov qword [rsp + 0x158], rax
mov qword [rsp + 0x160], rdx
mov rax, rcx
shr rax, 0x33
mov rcx, rax
mov rax, rdi
mul r12
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov rax, rbx
mov rsi, qword [rsp + 0x38]
mul rsi
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x140], rax
mov rax, rbp
mul rsi
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x190], rdx
add rcx, r9
mov rax, rbx
mov r14, qword [rsp + 0x30]
mul r14
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x180], rax
mov rbx, qword [rsp + 0x138]
mov rax, rbx
mul r10
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xd8], rdx
mov rax, rcx
mov r9, rcx
shr rax, 0x33
mov rbp, rax
mov rax, r11
mul r12
mov rcx, rdx
mov qword [rsp + 0x28], rax
mov rax, rbx
mul r12
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov r10, qword [rsp + 0x120]
mov rax, r10
mul rsi
mov qword [rsp + 0x68], rax
mov qword [rsp + 0x88], rdx
add rbp, r13
mov qword [rsp + 0x110], rbp
mov rax, r11
mul rsi
mov rbp, rdx
mov r13, rax
mov rax, rbx
mul rsi
mov qword [rsp + 0x1b8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r8
mov rdi, r14
mul r14
mov qword [rsp + 0x50], rax
mov qword [rsp + 0x38], rdx
movabs r12, 0x7ffffffffffff
and qword [rsp + 0x100], r12
mov rax, r10
mul r14
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x1e0], rax
mov rax, r11
mul r14
mov r15, rdx
mov rsi, rax
mov rax, rbx
mul r14
mov r14, rax
mov qword [rsp + 0x1f0], rdx
and qword [rsp + 0x170], r12
mov rax, qword [rsp + 0x98]
mov rdi, qword [rsp + 0xf8]
mul rdi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, r8
mul rdi
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1d0], rax
mov rax, r10
mov r8, r10
mul rdi
mov qword [rsp + 0x1f8], rax
mov r10, rdx
and r9, r12
mov qword [rsp + 0x80], r9
mov rax, r11
mul rdi
mov r11, rdi
mov rdi, rdx
mov r9, rax
mov rax, rbx
mul r11
add rax, qword [rsp + 0x1c0]
adc rdx, qword [rsp + 0x1c8]
add rax, qword [rsp + 0x1a0]
adc rdx, qword [rsp + 0x1a8]
add rax, qword [rsp + 0x188]
adc rdx, qword [rsp + 0x190]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x198]
shld rdx, rax, 0xd
and rax, r12
add r9, r14
adc rdi, qword [rsp + 0x1f0]
add r9, qword [rsp + 0x168]
adc rdi, qword [rsp + 0xd0]
add r9, qword [rsp + 0x158]
adc rdi, qword [rsp + 0x160]
add r9, qword [rsp + 0x140]
adc rdi, qword [rsp + 0x150]
add r9, rdx
adc rdi, 0
shld rdi, r9, 0xd
and r9, r12
add rsi, qword [rsp + 0x1b0]
adc r15, qword [rsp + 0x1b8]
add rsi, qword [rsp + 0x1f8]
adc r15, r10
add rsi, qword [rsp + 0xb8]
adc r15, qword [rsp + 0xc0]
add rsi, qword [rsp + 0x58]
adc r15, qword [rsp + 0x60]
add rsi, rdi
adc r15, 0
shld r15, rsi, 0xd
and rsi, r12
add r13, qword [rsp + 0xa0]
adc rbp, qword [rsp + 0xa8]
add r13, qword [rsp + 0x1e0]
adc rbp, qword [rsp + 0x148]
add r13, qword [rsp + 0x1d0]
adc rbp, qword [rsp + 0x1d8]
add r13, qword [rsp + 0x118]
adc rbp, qword [rsp + 0x78]
add r13, r15
adc rbp, 0
shld rbp, r13, 0xd
and r13, r12
mov qword [rsp + 0x118], r13
mov rbx, qword [rsp + 0x28]
add rbx, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0xd8]
add rbx, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x88]
add rbx, qword [rsp + 0x50]
adc rcx, qword [rsp + 0x38]
add rbx, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add rbx, rbp
adc rcx, 0
shld rcx, rbx, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov rdx, rcx
shr rdx, 0x33
add rdx, r9
mov rax, rdx
mov r11, rdx
shr rax, 0x33
add rax, rsi
mov qword [rsp + 0x78], rax
and rbx, r12
mov qword [rsp + 0x28], rbx
mov rax, qword [rsp + 0xc8]
mov rbx, qword [rsp + 0x98]
mul rbx
mov qword [rsp + 0x30], rax
mov qword [rsp + 0x38], rdx
and rcx, r12
mov qword [rsp + 0xc8], rcx
mov r10, r12
imul rbp, rbx, 0x26
mov rcx, rbx
mov rax, rbp
mov rbx, qword [rsp + 0x70]
mul rbx
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0x88], rdx
imul rdi, rbx, 0x26
lea r12, [rbx + rbx]
mov rax, qword [rsp + 0xe0]
mul rbx
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0xd8], rax
mov rax, rbp
mul r8
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0xb8], rax
mov rax, rdi
mul r8
mov qword [rsp + 0x50], rax
mov r15, rdx
lea rsi, [r8 + r8]
mov rax, r8
mul r8
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x58], rax
mov rax, rbp
mov rbx, qword [rsp + 0x128]
mul rbx
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0xa8], rax
mov rax, r12
mul rbx
mov r9, rax
mov r8, rdx
add rcx, rcx
mov rax, rsi
mul rbx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x120], rax
mov rax, rbx
mul rbx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x68], rax
mov rax, rcx
mov rbp, qword [rsp + 0x138]
mul rbp
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa0], rdx
lea r14, [rbx + rbx]
mov rax, r12
mul rbp
mov r12, rdx
mov r13, rax
mov rax, rsi
mul rbp
mov rdi, rdx
mov rbx, rax
mov rax, r14
mul rbp
mov rsi, rax
mov rcx, rdx
and r11, r10
mov qword [rsp + 0xf8], r11
mov rax, rbp
mul rbp
add rax, qword [rsp + 0x50]
adc r15, rdx
add rax, qword [rsp + 0xa8]
adc r15, qword [rsp + 0x48]
shld r15, rax, 0xd
and rax, r10
mov rdx, rax
add r9, qword [rsp + 0x58]
adc r8, qword [rsp + 0x60]
add r9, qword [rsp + 0xd0]
adc r8, qword [rsp + 0xa0]
add rsi, qword [rsp + 0xd8]
adc rcx, qword [rsp + 0x70]
add rsi, qword [rsp + 0xb8]
adc rcx, qword [rsp + 0xe0]
add rsi, r15
adc rcx, 0
shld rcx, rsi, 0xd
and rsi, r10
add rbx, qword [rsp + 0x68]
adc rdi, qword [rsp + 0xb0]
add rbx, qword [rsp + 0xc0]
adc rdi, qword [rsp + 0x88]
add rbx, rcx
mov qword [rsp + 0x128], rbx
adc rdi, 0
shld rdi, rbx, 0xd
add r13, qword [rsp + 0x120]
adc r12, qword [rsp + 0x98]
add r13, qword [rsp + 0x30]
adc r12, qword [rsp + 0x38]
add r13, rdi
mov qword [rsp + 0x30], r13
adc r12, 0
shld r12, r13, 0xd
add r12, r9
mov qword [rsp + 0x98], r12
adc r8, 0
shld r8, r12, 0xd
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mov r10, rdx
add r10, rax
mov qword [rsp + 0x88], r10
shr r10, 0x33
add r10, rsi
mov rax, qword [rsp + 0x108]
mov r14, qword [rsp + 0xf0]
mul r14
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x120], rdx
imul rbp, r14, 0x26
mov rax, rbp
mov rcx, qword [rsp + 0x40]
mul rcx
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0xe0], rax
mov rax, qword [rsp + 0x130]
mul rcx
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xd8], rdx
imul rdi, rcx, 0x26
lea r9, [rcx + rcx]
mov rax, rbp
mov rbx, qword [rsp + 0xe8]
mul rbx
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xb0], rax
mov rax, rdi
mul rbx
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, rbx
mul rbx
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
lea rdi, [rbx + rbx]
mov rax, rbp
mov rcx, qword [rsp + 0x178]
mul rcx
mov r13, rdx
mov r12, rax
mov rax, r9
mul rcx
mov rsi, rdx
mov r11, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x130], rax
mov qword [rsp + 0xe8], rdx
add r14, r14
mov rax, rcx
mul rcx
mov rbx, rcx
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0x68], rax
mov rax, r14
mov rcx, qword [rsp + 0x1e8]
mul rcx
mov r15, rdx
mov r14, rax
mov rax, r9
mul rcx
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x40], rdx
lea rbp, [rbx + rbx]
mov rax, rdi
mul rcx
mov r9, rdx
mov rbx, rax
mov rax, rbp
mul rcx
mov rdi, rax
mov rbp, rdx
mov rax, r10
movabs r8, 0x7ffffffffffff
and rax, r8
mov qword [rsp + 0x138], rax
mov rax, rcx
mul rcx
add rax, qword [rsp + 0x48]
adc rdx, qword [rsp + 0x50]
add rax, r12
adc rdx, r13
shld rdx, rax, 0xd
and rax, r8
add r11, qword [rsp + 0x58]
adc rsi, qword [rsp + 0x60]
add r11, r14
adc rsi, r15
add rdi, qword [rsp + 0xb8]
adc rbp, qword [rsp + 0xd8]
add rdi, qword [rsp + 0xb0]
adc rbp, qword [rsp + 0xc0]
add rdi, rdx
adc rbp, 0
shld rbp, rdi, 0xd
and rdi, r8
mov r14, r8
add rbx, qword [rsp + 0x68]
adc r9, qword [rsp + 0xf0]
add rbx, qword [rsp + 0xe0]
adc r9, qword [rsp + 0x108]
add rbx, rbp
adc r9, 0
shld r9, rbx, 0xd
mov r8, qword [rsp + 0x38]
add r8, qword [rsp + 0x130]
mov rdx, qword [rsp + 0x40]
adc rdx, qword [rsp + 0xe8]
add r8, qword [rsp + 0x70]
adc rdx, qword [rsp + 0x120]
add r8, r9
adc rdx, 0
shld rdx, r8, 0xd
mov r9, r8
add rdx, r11
adc rsi, 0
shld rsi, rdx, 0xd
mov rbp, rdx
lea rcx, [rsi + rsi*8]
lea rcx, [rsi + rcx*2]
add rcx, rax
mov qword [rsp + 0xe8], rcx
mov rax, rcx
shr rax, 0x33
add rax, rdi
mov rdi, r14
and rbx, r14
mov r8, rax
shr rax, 0x33
add rax, rbx
mov r11, rax
mov rax, qword [rsp + 0x128]
and rax, r14
shr r10, 0x33
add r10, rax
mov rax, qword [rsp + 0x80]
mov rdx, qword [rsp + 0xf8]
lea rcx, [rax + rdx]
mov qword [rsp + 0x120], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
sub rax, rdx
mov qword [rsp + 0x80], rax
mov rdx, qword [rsp + 0x98]
and rdx, r14
mov qword [rsp + 0x98], rdx
mov rsi, rbp
and rsi, r14
mov rcx, r9
and rcx, r14
lea rax, [rdx + rdx*8]
lea rbp, [rdx + rax*2]
mov rax, rbp
mul rsi
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x130], rdx
mov rdx, qword [rsp + 0x30]
and rdx, r14
mov qword [rsp + 0x30], rdx
mov r15, r14
lea rax, [rdx + rdx*8]
lea rdi, [rdx + rax*2]
mov rax, rsi
mov rbx, rsi
mul rdi
mov qword [rsp + 0x168], rax
mov qword [rsp + 0xd0], rdx
lea rax, [r10 + r10*8]
lea rsi, [r10 + rax*2]
mov r13, r10
mov rax, rsi
mul rbx
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x50], rdx
mov r14, qword [rsp + 0x138]
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul rbx
mov qword [rsp + 0x40], rbx
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rbp
mul rcx
mov r9, rdx
mov r12, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x140], rax
mov qword [rsp + 0x148], rdx
and r8, r15
mov rax, rsi
mul rcx
mov rsi, rcx
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov r10, r11
mov rax, r11
mul rbp
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x1e0], rax
mov rax, r11
mul rdi
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
mov rdi, qword [rsp + 0x88]
and rdi, r15
mov r11, r15
mov rax, r8
mul rbp
mov qword [rsp + 0x208], rdx
mov qword [rsp + 0x248], rax
mov rax, rdi
mul rbx
mov qword [rsp + 0x68], rax
mov qword [rsp + 0xe0], rdx
mov rax, qword [rsp + 0x90]
mov rbx, qword [rsp + 0x118]
lea rcx, [rax + rbx]
mov qword [rsp + 0xc0], rcx
movabs r15, 0xffffffffffffe
add rax, r15
mov rcx, rax
mov rax, r14
mov qword [rsp + 0x38], rsi
mul rsi
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x60], rax
mov rax, rdi
mov rbp, rdi
mul rsi
mov rdi, rdx
mov qword [rsp + 0x178], rax
mov qword [rsp + 0xf0], r10
mov rax, r10
mul r13
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xd8], rdx
sub rcx, rbx
mov qword [rsp + 0x90], rcx
mov rax, r10
mul r14
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, r10
mul rbp
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1c8], rax
mov qword [rsp + 0xf8], r8
mov rax, r8
mov rcx, qword [rsp + 0x30]
mul rcx
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x118], rdx
mov rbx, qword [rsp + 0xe8]
and rbx, r11
mov rax, r13
mov r10, r13
mov qword [rsp + 0x128], r13
mul r8
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x158], rax
mov rax, r8
mul r14
mov r11, r14
mov qword [rsp + 0x190], rax
mov qword [rsp + 0x198], rdx
mov rax, qword [rsp + 0x170]
lea rdx, [rax + r15]
add rdx, 0xffffffffffffffdc
mov qword [rsp + 0x1e8], rdx
add rax, qword [rsp + 0xc8]
mov qword [rsp + 0x170], rax
mov rax, r8
mul rbp
mov qword [rsp + 0x88], rbp
mov r8, rdx
mov rsi, rax
mov rax, rbx
mov r14, rbx
mul qword [rsp + 0x98]
mov r13, rdx
mov rdx, qword [rsp + 0x110]
mov rbx, qword [rsp + 0x78]
add rbx, rdx
mov qword [rsp + 0xb8], rbx
add rdx, r15
mov qword [rsp + 0x110], rdx
mov r15, rax
mov rbx, r14
mov qword [rsp + 0xe8], r14
mov rax, r14
mul rcx
mov qword [rsp + 0x1d0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, r10
mul r14
mov qword [rsp + 0x1f0], rax
mov qword [rsp + 0x1f8], rdx
mov rax, qword [rsp + 0x100]
movabs rcx, 0xffffffffffffe
add rcx, rax
add rax, qword [rsp + 0x28]
mov qword [rsp + 0x100], rax
mov rax, r11
mul r14
mov r14, rdx
mov r10, rax
mov rax, rbx
mul rbp
add rax, qword [rsp + 0x248]
adc rdx, qword [rsp + 0x208]
add rax, qword [rsp + 0x1b0]
adc rdx, qword [rsp + 0x1c0]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x188]
add rax, qword [rsp + 0x1a0]
adc rdx, qword [rsp + 0x1a8]
mov r11, rdx
shr r11, 0x33
shld rdx, rax, 0xd
movabs rbp, 0x7ffffffffffff
and rax, rbp
add r12, qword [rsp + 0x168]
adc r9, qword [rsp + 0xd0]
add rsi, qword [rsp + 0x140]
adc r8, qword [rsp + 0x148]
add rsi, r10
adc r8, r14
add rsi, qword [rsp + 0x1e0]
adc r8, qword [rsp + 0x150]
add rsi, qword [rsp + 0x48]
adc r8, qword [rsp + 0x50]
add rsi, rdx
adc r8, r11
mov rdx, r8
shr rdx, 0x33
shld r8, rsi, 0xd
and rsi, rbp
add r12, qword [rsp + 0x190]
adc r9, qword [rsp + 0x198]
add r12, qword [rsp + 0x1c8]
adc r9, qword [rsp + 0x1d8]
add r12, qword [rsp + 0x1f0]
adc r9, qword [rsp + 0x1f8]
add r12, r8
adc r9, rdx
mov r8, r9
shr r8, 0x33
shld r9, r12, 0xd
and r12, rbp
mov r10, rbp
mov rdx, qword [rsp + 0x178]
add rdx, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x130]
add rdx, qword [rsp + 0x1b8]
adc rdi, qword [rsp + 0x1d0]
add rdx, qword [rsp + 0xa0]
adc rdi, qword [rsp + 0xa8]
add rdx, qword [rsp + 0x158]
adc rdi, qword [rsp + 0x160]
add rdx, r9
adc rdi, r8
mov rbx, rdi
shr rbx, 0x33
shld rdi, rdx, 0xd
and rdx, rbp
mov qword [rsp + 0x178], rdx
add r15, qword [rsp + 0x68]
adc r13, qword [rsp + 0xe0]
add r15, qword [rsp + 0x60]
adc r13, qword [rsp + 0x108]
add r15, qword [rsp + 0x58]
adc r13, qword [rsp + 0x118]
add r15, qword [rsp + 0xb0]
adc r13, qword [rsp + 0xd8]
add r15, rdi
adc r13, rbx
shld r13, r15, 0xd
lea rdx, [r13*8]
add rdx, r13
lea rbx, [rdx*2]
add rbx, r13
add rbx, rax
mov rdx, rbx
shr rdx, 0x33
add rdx, rsi
mov rax, rdx
shr rax, 0x33
add rax, r12
mov qword [rsp + 0x118], rax
mov rdi, qword [rsp + 0x110]
sub rdi, qword [rsp + 0x78]
mov rbp, qword [rsp + 0x1e8]
sub rbp, qword [rsp + 0xc8]
sub rcx, qword [rsp + 0x28]
mov rax, r10
and r15, r10
mov qword [rsp + 0x1e8], r15
and rbx, r10
mov qword [rsp + 0x130], rbx
and rdx, r10
mov qword [rsp + 0xe0], rdx
movabs rdx, 0xffffffffffffe
mov rax, qword [rsp + 0xf8]
add rax, rdx
add qword [rsp + 0xf0], rdx
add qword [rsp + 0x38], rdx
add qword [rsp + 0x40], rdx
sub rax, qword [rsp + 0x138]
mov qword [rsp + 0xf8], rax
mov r14, rcx
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mul rcx
mov qword [rsp + 0x110], rax
mov qword [rsp + 0x28], rdx
mov rbx, qword [rsp + 0x90]
lea rax, [rbx + rbx*8]
lea rcx, [rbx + rax*2]
imul rsi, r14, 0x26
mov rax, rsi
mul rbx
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x50], rdx
imul r8, rbx, 0x26
lea r10, [rbx + rbx]
mov rax, rcx
mul rbx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x58], rax
mov rcx, rdi
mov rax, rdi
mul rsi
mov rbx, rdx
mov rdi, rax
mov rax, rcx
mul r8
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea r9, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x70], rax
mov rcx, qword [rsp + 0x80]
mov rax, rcx
mul rsi
mov r15, rdx
mov qword [rsp + 0xd0], rax
mov rax, rcx
mul r10
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0x108], rdx
add r14, r14
mov rax, r9
mul rcx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x68], rax
mov rax, rcx
mul rcx
mov r8, rdx
mov r11, rax
mov rax, rbp
mul r14
mov qword [rsp + 0xc8], rax
mov rsi, rdx
add rcx, rcx
mov rax, rbp
mul r10
mov r13, rdx
mov qword [rsp + 0x78], rax
mov rax, r9
mul rbp
mov r12, rdx
mov r10, rax
mov rax, rcx
mul rbp
mov rcx, rax
mov r9, rdx
mov r14, qword [rsp + 0x38]
sub r14, qword [rsp + 0x30]
mov qword [rsp + 0x38], r14
mov rax, rbp
mul rbp
add rax, qword [rsp + 0xd0]
adc r15, rdx
add rax, qword [rsp + 0xa0]
adc r15, qword [rsp + 0xa8]
shld r15, rax, 0xd
movabs rbp, 0x7ffffffffffff
and rax, rbp
mov rdx, rax
add r11, qword [rsp + 0x48]
adc r8, qword [rsp + 0x50]
add r11, r10
adc r8, r12
add rdi, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x60]
add rdi, rcx
adc rbx, r9
add rdi, r15
adc rbx, 0
shld rbx, rdi, 0xd
mov rax, rbp
and rdi, rbp
add rbx, r11
adc r8, 0
shld r8, rbx, 0xd
and rbx, rbp
mov rcx, rbp
mov rax, qword [rsp + 0x78]
add rax, qword [rsp + 0x110]
adc r13, qword [rsp + 0x28]
add rax, qword [rsp + 0x68]
adc r13, qword [rsp + 0xb0]
add rax, r8
adc r13, 0
shld r13, rax, 0xd
and rax, rbp
mov qword [rsp + 0x78], rax
mov r9, qword [rsp + 0xc8]
add r9, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0x108]
add r9, qword [rsp + 0x70]
adc rsi, qword [rsp + 0x90]
add r9, r13
adc rsi, 0
shld rsi, r9, 0xd
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
add rdx, rax
mov r8, rdx
mov r12, rdx
shr r8, 0x33
add r8, rdi
mov rcx, r8
shr rcx, 0x33
add rcx, rbx
mov qword [rsp + 0x70], rcx
mov rax, qword [rsp + 0xe8]
movabs rcx, 0xffffffffffffe
lea r10, [rax + rcx]
add r10, 0xffffffffffffffdc
mov rax, qword [rsp + 0x40]
sub rax, qword [rsp + 0x98]
mov qword [rsp + 0x40], rax
mov esi, 0x1db42
mul rsi
mov qword [rsp + 0x28], rax
mov rbx, rdx
mov rcx, qword [rsp + 0xf0]
sub rcx, qword [rsp + 0x128]
mov qword [rsp + 0xf0], rcx
mov rax, r14
mul rsi
mov r13, rdx
mov r15, rax
mov rax, rcx
mul rsi
mov r14, rdx
mov r11, rax
mov rax, qword [rsp + 0xf8]
mul rsi
mov rdi, rax
mov rbp, rdx
sub r10, qword [rsp + 0x88]
mov qword [rsp + 0xd8], r10
mov rax, r10
mul rsi
shld rdx, rax, 0xd
movabs rsi, 0x7ffffffffffff
lea rcx, [rsi - 1]
and rax, rcx
and r9, rsi
mov qword [rsp + 0xc8], r9
and r12, rsi
mov qword [rsp + 0xb0], r12
and r8, rsi
mov qword [rsp + 0x108], r8
add rdi, rdx
adc rbp, 0
shld rbp, rdi, 0xd
and rdi, rsi
add rbp, r11
adc r14, 0
shld r14, rbp, 0xd
and rbp, rsi
add r14, r15
adc r13, 0
shld r13, r14, 0xd
and r14, rsi
mov qword [rsp + 0x80], r14
add r13, qword [rsp + 0x28]
adc rbx, 0
shld rbx, r13, 0xd
lea rcx, [rbx + rbx*8]
lea rcx, [rbx + rcx*2]
add rax, rcx
mov rcx, rax
shr rcx, 0x33
add rcx, rdi
mov qword [rsp + 0x28], rcx
shr rcx, 0x33
add rcx, rbp
mov qword [rsp + 0x90], rcx
and r13, rsi
mov qword [rsp + 0xe8], r13
and rax, rsi
mov qword [rsp + 0x110], rax
mov rsi, qword [rsp + 0x100]
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mul rsi
mov qword [rsp + 0x68], rax
mov qword [rsp + 0x50], rdx
mov rbp, qword [rsp + 0xc0]
lea rax, [rbp*8]
add rax, rbp
lea rcx, [rax*2]
add rcx, rbp
imul rbx, rsi, 0x26
mov rax, rbx
mul rbp
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
imul r8, rbp, 0x26
mov r10, rbp
add r10, rbp
mov rax, rcx
mul rbp
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd0], rax
mov rcx, qword [rsp + 0xb8]
mov rax, rcx
mul rbx
mov rdi, rdx
mov rbp, rax
mov rax, rcx
mul r8
mov qword [rsp + 0x150], rax
mov qword [rsp + 0x158], rdx
lea r8, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xb8], rax
mov rcx, qword [rsp + 0x120]
mov rax, rcx
mul rbx
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x140], rax
mov rax, rcx
mul r10
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
add rsi, rsi
mov rax, r8
mul rcx
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0xa8], rax
mov rax, rcx
mul rcx
mov r15, rdx
mov r11, rax
mov r14, qword [rsp + 0x170]
mov rax, r14
mul rsi
mov rbx, rdx
lea rsi, [rcx + rcx]
mov r9, rax
mov rax, r14
mul r10
mov r10, rdx
mov qword [rsp + 0x100], rax
mov rax, r8
mul r14
mov r8, rdx
mov rcx, rax
mov rax, rsi
mul r14
mov r12, rax
mov r13, rdx
movabs rsi, 0x7ffffffffffff
and qword [rsp + 0x28], rsi
mov rax, r14
mul r14
add rax, qword [rsp + 0x140]
adc rdx, qword [rsp + 0x148]
add rax, qword [rsp + 0x150]
adc rdx, qword [rsp + 0x158]
shld rdx, rax, 0xd
and rax, rsi
add r11, qword [rsp + 0x160]
adc r15, qword [rsp + 0x168]
add r11, rcx
adc r15, r8
add rbp, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0xa0]
add rbp, r12
adc rdi, r13
add rbp, rdx
adc rdi, 0
shld rdi, rbp, 0xd
and rbp, rsi
add rdi, r11
adc r15, 0
shld r15, rdi, 0xd
and rdi, rsi
mov rcx, qword [rsp + 0x100]
add rcx, qword [rsp + 0x68]
adc r10, qword [rsp + 0x50]
add rcx, qword [rsp + 0xa8]
adc r10, qword [rsp + 0x48]
add rcx, r15
adc r10, 0
shld r10, rcx, 0xd
and rcx, rsi
mov qword [rsp + 0x100], rcx
add r9, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x60]
add r9, qword [rsp + 0xb8]
adc rbx, qword [rsp + 0xc0]
add r9, r10
adc rbx, 0
shld rbx, r9, 0xd
lea rcx, [rbx + rbx*8]
lea rcx, [rbx + rcx*2]
add rcx, rax
mov qword [rsp + 0x120], rcx
mov rax, rcx
shr rax, 0x33
add rax, rbp
mov rbx, rax
mov qword [rsp + 0x170], rax
mov rcx, qword [rsp + 0xc8]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mov rbp, qword [rsp + 0x230]
mul rbp
mov qword [rsp + 0x68], rax
mov qword [rsp + 0xb8], rdx
shr rbx, 0x33
mov rdx, qword [rsp + 0x78]
lea rax, [rdx + rdx*8]
lea r14, [rdx + rax*2]
mov rax, r14
mul rbp
mov qword [rsp + 0x148], rax
mov qword [rsp + 0x150], rdx
add rbx, rdi
mov qword [rsp + 0xc0], rbx
mov r12, qword [rsp + 0x70]
lea rax, [r12 + r12*8]
lea rdi, [r12 + rax*2]
mov rax, rdi
mul rbp
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x48], rdx
mov rax, qword [rsp + 0x28]
add rax, qword [rsp + 0x138]
mov qword [rsp + 0x28], rax
mov r8, qword [rsp + 0x108]
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mul rbp
mov qword [rsp + 0x1b8], rax
mov qword [rsp + 0x1c0], rdx
mov rax, qword [rsp + 0x80]
add rax, qword [rsp + 0x30]
mov qword [rsp + 0x80], rax
mov rax, rcx
mov rsi, qword [rsp + 0x220]
mul rsi
mov rbx, rdx
mov qword [rsp + 0x30], rax
mov rax, r14
mul rsi
mov qword [rsp + 0x1d0], rdx
mov qword [rsp + 0x1c8], rax
mov rax, rdi
mul rsi
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1b0], rdx
mov rax, qword [rsp + 0x110]
add rax, qword [rsp + 0x88]
mov qword [rsp + 0x110], rax
mov rax, rcx
mov rdi, qword [rsp + 0x228]
mul rdi
mov r10, rdx
mov r11, rax
mov rax, r14
mul rdi
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x1f8], rax
mov rax, rcx
mov rcx, qword [rsp + 0x240]
mul rcx
mov r14, rax
mov r15, rdx
mov rax, qword [rsp + 0x90]
add rax, qword [rsp + 0x128]
mov qword [rsp + 0x90], rax
mov r13, qword [rsp + 0xb0]
mov rax, r13
mul rbp
mov qword [rsp + 0x138], rdx
mov qword [rsp + 0x60], rax
mov rax, r8
mul rsi
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x58], rax
mov rax, r13
mul rsi
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
mov rax, qword [rsp + 0xe8]
add rax, qword [rsp + 0x98]
mov qword [rsp + 0xe8], rax
mov rax, r12
mul rdi
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x50], rax
mov rax, r8
mul rdi
mov qword [rsp + 0x158], rdx
mov qword [rsp + 0x140], rax
mov rax, r13
mul rdi
mov qword [rsp + 0x198], rax
mov qword [rsp + 0x1a8], rdx
movabs rdi, 0x7ffffffffffff
and r9, rdi
mov qword [rsp + 0x88], r9
mov rsi, qword [rsp + 0x78]
mov rax, rsi
mul rcx
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd0], rax
mov rax, r12
mul rcx
mov qword [rsp + 0x1e0], rdx
mov qword [rsp + 0x1d8], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x190], rdx
and qword [rsp + 0x120], rdi
mov r9, rdi
mov rax, r13
mul rcx
mov qword [rsp + 0x1f0], rdx
mov qword [rsp + 0x208], rax
mov rax, qword [rsp + 0xc8]
mov rbp, qword [rsp + 0x238]
mul rbp
mov rdi, rdx
mov r8, rax
mov rax, rsi
mul rbp
mov r12, rdx
and qword [rsp + 0x170], r9
mov rsi, r9
mov r9, rax
mov rax, qword [rsp + 0x70]
mul rbp
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0xc8], rax
mov rax, qword [rsp + 0x108]
mul rbp
mov qword [rsp + 0x70], rdx
mov rcx, rax
mov rax, r13
mul rbp
add r14, qword [rsp + 0x1f8]
adc r15, qword [rsp + 0x180]
add r14, rax
adc r15, rdx
add r14, qword [rsp + 0x1b8]
adc r15, qword [rsp + 0x1c0]
add r14, qword [rsp + 0x1a0]
adc r15, qword [rsp + 0x1b0]
shld r15, r14, 0xd
and r14, rsi
mov rax, qword [rsp + 0x30]
add rax, qword [rsp + 0x148]
adc rbx, qword [rsp + 0x150]
add r11, qword [rsp + 0x1c8]
adc r10, qword [rsp + 0x1d0]
add r11, qword [rsp + 0x208]
adc r10, qword [rsp + 0x1f0]
add r11, rcx
adc r10, qword [rsp + 0x70]
add r11, qword [rsp + 0xa8]
adc r10, qword [rsp + 0x48]
add r11, r15
adc r10, 0
shld r10, r11, 0xd
and r11, rsi
add rax, qword [rsp + 0x198]
adc rbx, qword [rsp + 0x1a8]
add rax, qword [rsp + 0x188]
adc rbx, qword [rsp + 0x190]
add rax, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x78]
add rax, r10
adc rbx, 0
shld rbx, rax, 0xd
and rax, rsi
mov qword [rsp + 0x30], rax
add r9, qword [rsp + 0x68]
adc r12, qword [rsp + 0xb8]
add r9, qword [rsp + 0x160]
adc r12, qword [rsp + 0x168]
add r9, qword [rsp + 0x140]
adc r12, qword [rsp + 0x158]
add r9, qword [rsp + 0x1d8]
adc r12, qword [rsp + 0x1e0]
add r9, rbx
adc r12, 0
shld r12, r9, 0xd
and r9, rsi
add r8, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0xa0]
add r8, qword [rsp + 0x60]
adc rdi, qword [rsp + 0x138]
add r8, qword [rsp + 0x58]
adc rdi, qword [rsp + 0x128]
add r8, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x98]
add r8, r12
adc rdi, 0
shld rdi, r8, 0xd
lea rax, [rdi + rdi*8]
lea rcx, [rdi + rax*2]
mov rdx, qword [rsp + 0xe8]
lea rax, [rdx + rdx*8]
lea rdi, [rdx + rax*2]
mov rax, rdi
mov rsi, qword [rsp + 0x40]
mul rsi
mov qword [rsp + 0x138], rax
mov qword [rsp + 0xc8], rdx
add rcx, r14
mov qword [rsp + 0x98], rcx
mov rdx, qword [rsp + 0x80]
lea rax, [rdx + rdx*8]
lea rbx, [rdx + rax*2]
mov rax, rbx
mul rsi
mov qword [rsp + 0x168], rax
mov qword [rsp + 0xd0], rdx
mov rdx, qword [rsp + 0x90]
lea rax, [rdx + rdx*8]
lea rbp, [rdx + rax*2]
mov rax, rbp
mul rsi
mov qword [rsp + 0x50], rax
mov qword [rsp + 0x58], rdx
mov rdx, qword [rsp + 0x28]
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mul rsi
mov qword [rsp + 0x1e0], rdx
mov qword [rsp + 0x1d8], rax
mov rax, rdi
mov rsi, qword [rsp + 0x38]
mul rsi
mov qword [rsp + 0x140], rax
mov r10, rdx
shr rcx, 0x33
mov rax, rbx
mul rsi
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x148], rax
mov rax, rbp
mul rsi
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rdi
mov rbp, qword [rsp + 0xf0]
mul rbp
mov r13, rax
mov r12, rdx
add rcx, r11
mov rax, rbx
mul rbp
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, rdi
mul qword [rsp + 0xf8]
mov qword [rsp + 0x180], rax
mov r15, rdx
mov r14, rcx
shr r14, 0x33
mov r11, qword [rsp + 0x110]
mov rax, r11
mul qword [rsp + 0x40]
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x108], rax
mov rbx, qword [rsp + 0x28]
mov rax, rbx
mul rsi
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0xb8], rax
mov rax, r11
mul rsi
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x40], rdx
add r14, qword [rsp + 0x30]
mov qword [rsp + 0x78], r14
mov rdi, qword [rsp + 0x90]
mov rax, rdi
mul rbp
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0xb0], rax
mov rax, rbx
mul rbp
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, r11
mul rbp
mov qword [rsp + 0x1c8], rax
mov qword [rsp + 0x1d0], rdx
movabs rbp, 0x7ffffffffffff
and r8, rbp
mov qword [rsp + 0xf0], r8
mov r14, qword [rsp + 0x80]
mov rax, r14
mov rbx, qword [rsp + 0xf8]
mul rbx
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x60], rax
mov rax, rdi
mul rbx
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x158], rax
mov rsi, qword [rsp + 0x28]
mov rax, rsi
mul rbx
mov qword [rsp + 0x1a8], rax
mov qword [rsp + 0x1b0], rdx
and qword [rsp + 0x98], rbp
mov rax, r11
mul rbx
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov rax, qword [rsp + 0xe8]
mov rbx, qword [rsp + 0xd8]
mul rbx
mov rdi, rdx
mov r8, rax
mov rax, r14
mul rbx
mov r11, rdx
and rcx, rbp
mov qword [rsp + 0x38], rcx
mov r14, rax
mov rax, qword [rsp + 0x90]
mul rbx
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x90], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, qword [rsp + 0x110]
mul rbx
mov rbp, qword [rsp + 0x180]
add rbp, qword [rsp + 0x198]
adc r15, qword [rsp + 0x1a0]
add rbp, rax
adc r15, rdx
mov edx, dword [rsp + 0x200]
add rbp, qword [rsp + 0x1d8]
adc r15, qword [rsp + 0x1e0]
add rbp, qword [rsp + 0x1b8]
adc r15, qword [rsp + 0x1c0]
mov rax, r15
shr rax, 0x33
shld r15, rbp, 0xd
movabs rcx, 0x7ffffffffffff
and rbp, rcx
mov rsi, qword [rsp + 0x140]
add rsi, qword [rsp + 0x168]
adc r10, qword [rsp + 0xd0]
add r13, qword [rsp + 0x148]
adc r12, qword [rsp + 0x150]
add r13, qword [rsp + 0x188]
adc r12, qword [rsp + 0x190]
add r13, qword [rsp + 0x80]
adc r12, qword [rsp + 0x28]
add r13, qword [rsp + 0x50]
adc r12, qword [rsp + 0x58]
add r13, r15
adc r12, rax
mov rax, r12
shr rax, 0x33
shld r12, r13, 0xd
and r13, rcx
add rsi, qword [rsp + 0x1c8]
adc r10, qword [rsp + 0x1d0]
add rsi, qword [rsp + 0x1a8]
adc r10, qword [rsp + 0x1b0]
add rsi, qword [rsp + 0x90]
adc r10, qword [rsp + 0xf8]
add rsi, r12
mov r15, qword [rsp + 0x170]
adc r10, rax
mov rax, r10
shr rax, 0x33
shld r10, rsi, 0xd
and rsi, rcx
add r14, qword [rsp + 0x138]
adc r11, qword [rsp + 0xc8]
add r14, qword [rsp + 0x48]
adc r11, qword [rsp + 0x40]
add r14, qword [rsp + 0xa0]
adc r11, qword [rsp + 0xa8]
add r14, qword [rsp + 0x158]
adc r11, qword [rsp + 0x160]
add r14, r10
adc r11, rax
mov rax, r11
shr rax, 0x33
shld r11, r14, 0xd
and r14, rcx
mov r10, rcx
mov qword [rsp + 0x40], r14
mov r14, qword [rsp + 0x98]
add r8, qword [rsp + 0x60]
adc rdi, qword [rsp + 0x68]
add r8, qword [rsp + 0x108]
adc rdi, qword [rsp + 0x128]
add r8, qword [rsp + 0xb8]
adc rdi, qword [rsp + 0x70]
add r8, qword [rsp + 0xb0]
adc rdi, qword [rsp + 0x30]
add r8, r11
adc rdi, rax
shld rdi, r8, 0xd
lea rax, [rdi + rdi*8]
lea rbx, [rdi + rax*2]
mov rax, qword [rsp + 0x210]
add rbx, rbp
mov rcx, rbx
shr rcx, 0x33
add rcx, r13
mov r13, qword [rsp + 0x120]
mov r11, qword [rsp + 0x100]
mov rdi, rcx
shr rdi, 0x33
add rdi, rsi
mov rbp, r10
and r8, r10
and rbx, r10
and rcx, r10
add edx, 0xffffffff
jb 0x14009cfe0
neg rax
mov rdx, qword [rsp + 0x130]
xor r13, rdx
and r13, rax
xor r13, rdx
lea rsi, [rsp + 0x298]
mov rdx, qword [rsp + 0xe0]
mov qword [rsi + 8], rdx
mov rbp, qword [rsp + 0x118]
mov qword [rsi + 0x10], rbp
mov r10, qword [rsp + 0x178]
mov qword [rsi + 0x18], r10
mov r12, qword [rsp + 0x1e8]
mov qword [rsi + 0x20], r12
mov qword [rsi], r13
mov rsi, r15
xor rsi, rdx
and rsi, rax
xor rsi, rdx
mov r15, qword [rsp + 0xc0]
xor r15, rbp
and r15, rax
xor r15, rbp
mov r13, r11
xor r13, r10
and r13, rax
xor r13, r10
mov rbp, qword [rsp + 0x88]
xor rbp, r12
and rbp, rax
xor rbp, r12
xor r14, rbx
and r14, rax
xor r14, rbx
lea r12, [rsp + 0x270]
mov qword [r12], r14
mov rdx, qword [rsp + 0x38]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [r12 + 8], rdx
mov rcx, qword [rsp + 0x78]
xor rcx, rdi
and rcx, rax
xor rcx, rdi
mov qword [r12 + 0x10], rcx
mov rdx, qword [rsp + 0x40]
xor r9, rdx
and r9, rax
xor r9, rdx
mov qword [r12 + 0x18], r9
mov rdi, qword [rsp + 0xf0]
xor rdi, r8
and rdi, rax
xor rdi, r8
mov qword [r12 + 0x20], rdi
lea rdx, [rsp + 0x2c0]
mov qword [rdx + 0x20], rdi
mov rax, qword [r12 + 0x10]
mov qword [rdx + 0x10], rax
mov rax, qword [r12 + 0x18]
mov qword [rdx + 0x18], rax
movups xmm0, xmmword [r12]
movaps xmmword [rdx], xmm0
mov rcx, r12
call fcn.14009f900
mov rcx, qword [r12 + 0x20]
mov qword [rsp + 0x80], rcx
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mul rbp
mov qword [rsp + 0x28], rax
mov qword [rsp + 0x38], rdx
mov rdx, qword [r12 + 0x18]
mov qword [rsp + 0x40], rdx
lea rax, [rdx + rdx*8]
lea r14, [rdx + rax*2]
mov rax, r14
mul rbp
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0x78], rdx
mov rdx, qword [r12 + 0x10]
mov qword [rsp + 0x100], rdx
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r8
mul rbp
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x130], rdx
mov r11, rsi
mov r9, qword [r12 + 8]
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul rbp
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0xe0], rax
mov rax, r13
mul rcx
mov rbx, rdx
mov qword [rsp + 0xa0], rax
mov rax, r13
mul r14
mov rdi, rdx
mov rsi, r13
mov r13, rax
mov rax, rsi
mul r8
mov r8, rdx
mov qword [rsp + 0xd8], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x120], rax
mov qword [rsp + 0x128], rdx
mov r10, qword [r12]
mov rax, r15
mul r14
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0x68], rax
mov rax, r11
mul rcx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x60], rax
mov rax, r10
mul rbp
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x98], rax
mov rax, rsi
mul r9
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x90], rax
mov rax, r10
mul rsi
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0x110], rax
mov rax, r15
mov r14, qword [rsp + 0x100]
mul r14
mov rcx, rdx
mov r12, rax
mov rax, r15
mul r9
mov rbp, rdx
mov rsi, rax
mov rax, r10
mul r15
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x1e8], rax
mov rax, r11
mul qword [rsp + 0x40]
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x170], rax
mov rax, r11
mul r14
mov qword [rsp + 0x200], rdx
mov qword [rsp + 0x138], rax
mov rax, r11
mul r9
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0x210], rax
mov rax, r10
mul r11
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x50], rdx
lea r15, [rsp + 0x298]
mov r14, qword [r15]
mov rax, r14
mul qword [rsp + 0x80]
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0xc8], rax
mov rax, r14
mul qword [rsp + 0x40]
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x70], rax
mov rax, r14
mul qword [rsp + 0x100]
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0x58], rax
mov rax, r14
mul r9
mov qword [rsp + 0xa8], rdx
mov r11, rax
mov rax, r14
mul r10
mov r14, qword [rsp + 0xd8]
add r14, qword [rsp + 0xe0]
adc r8, qword [rsp + 0x118]
add r14, qword [rsp + 0x68]
adc r8, qword [rsp + 0xb8]
add r14, qword [rsp + 0x60]
adc r8, qword [rsp + 0xb0]
add r14, rax
adc r8, rdx
shld r8, r14, 0xd
movabs r9, 0x7ffffffffffff
and r14, r9
mov rax, qword [rsp + 0xa0]
add rax, qword [rsp + 0xe8]
adc rbx, qword [rsp + 0x78]
add r13, qword [rsp + 0x178]
adc rdi, qword [rsp + 0x130]
add r13, qword [rsp + 0x120]
adc rdi, qword [rsp + 0x128]
add r13, qword [rsp + 0x48]
adc rdi, qword [rsp + 0x50]
add r13, r11
adc rdi, qword [rsp + 0xa8]
add r13, r8
adc rdi, 0
shld rdi, r13, 0xd
and r13, r9
add rax, qword [rsp + 0x210]
adc rbx, qword [rsp + 0xc0]
add rax, qword [rsp + 0x1e8]
adc rbx, qword [rsp + 0x108]
add rax, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x100]
add rax, rdi
adc rbx, 0
shld rbx, rax, 0xd
and rax, r9
mov rdi, rax
add rsi, qword [rsp + 0x28]
adc rbp, qword [rsp + 0x38]
add rsi, qword [rsp + 0x138]
adc rbp, qword [rsp + 0x200]
add rsi, qword [rsp + 0x110]
adc rbp, qword [rsp + 0xf0]
add rsi, qword [rsp + 0x70]
adc rbp, qword [rsp + 0x40]
add rsi, rbx
adc rbp, 0
shld rbp, rsi, 0xd
and rsi, r9
add r12, qword [rsp + 0x90]
adc rcx, qword [rsp + 0x30]
add r12, qword [rsp + 0x170]
adc rcx, qword [rsp + 0x88]
add r12, qword [rsp + 0x98]
adc rcx, qword [rsp + 0xf8]
add r12, qword [rsp + 0xc8]
adc rcx, qword [rsp + 0x80]
add r12, rbp
adc rcx, 0
shld rcx, r12, 0xd
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
add rax, r14
mov rcx, rax
shr rcx, 0x33
add rcx, r13
mov rdx, rcx
shr rdx, 0x33
add rdx, rdi
and r12, r9
and rax, r9
and rcx, r9
mov qword [r15], rax
mov qword [r15 + 8], rcx
mov qword [r15 + 0x10], rdx
mov qword [r15 + 0x18], rsi
mov qword [r15 + 0x20], r12
mov rdx, r15
mov rsi, qword [rsp + 0x218]
mov rcx, rsi
call fcn.14005ba30
lea rcx, [0x140167cd0]
mov r8d, 0x20
mov rdx, rsi
call fcn.1400892f0
xor esi, esi
test eax, eax
setne sil
mov rcx, qword [rsp + 0x2f0]
xor rcx, rsp
call fcn.1400a8490
mov eax, esi
add rsp, 0x2f8
pop rbx
pop rbp
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
ret