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