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