Function at 0x140092d10
Capabilities:
Encrypt data using curve25519

Disassembly:
push r15
push r14
push r13
push r12
push rsi
push rdi
push rbp
push rbx
sub rsp, 0x328
mov qword [rsp + 0x210], rcx
mov rax, qword [0x14018e028]
xor rax, rsp
mov qword [rsp + 0x320], rax
movabs rax, 0xaaaaaaaaaaaaaaaa
lea rsi, [rsp + 0x2c0]
mov qword [rsi + 0x20], rax
movaps xmm0, xmmword [0x140161e70]
movaps xmmword [rsi + 0x10], xmm0
movaps xmmword [rsi], xmm0
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 rcx, rsi
mov rdx, r8
call fcn.14008fd90
xorps xmm0, xmm0
movups xmmword [rsp + 0x2a0], xmm0
movups xmmword [rsp + 0x2b0], xmm0
mov qword [rsp + 0x298], 1
mov rax, qword [rsi]
mov rcx, qword [rsi + 8]
mov rdx, qword [rsi + 0x10]
mov r8, qword [rsi + 0x18]
mov r9, qword [rsi + 0x20]
mov edi, 1
mov r10, qword [rsp + 0x2a0]
mov qword [rsp + 0xf8], r10
mov r10, qword [rsp + 0x2a8]
mov qword [rsp + 0x1b8], r10
mov r10, qword [rsp + 0x2b0]
mov qword [rsp + 0x1c8], r10
mov r10, qword [rsp + 0x2b8]
mov qword [rsp + 0x1c0], r10
mov r11d, 0xfe
xor r13d, r13d
xor r10d, r10d
mov qword [rsp + 0x98], r10
xor ebx, ebx
xor r12d, r12d
xor esi, esi
mov qword [rsp + 0x238], rax
mov r14, rax
mov qword [rsp + 0x230], rcx
mov qword [rsp + 0xc8], rcx
mov qword [rsp + 0x228], rdx
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0x220], r8
mov r15, r8
mov qword [rsp + 0x218], r9
mov qword [rsp + 0x108], r9
mov eax, 1
mov qword [rsp + 0x28], rax
xor eax, eax
mov qword [rsp + 0x90], rax
xor eax, eax
mov qword [rsp + 0x50], rax
xor r10d, r10d
xor eax, eax
mov qword [rsp + 0x68], rax
xor eax, eax
mov dword [rsp + 0x20c], r11d
mov ecx, r11d
shr rcx, 3
movzx ecx, byte [rsp + rcx + 0x250]
mov edx, r11d
and edx, 7
bt ecx, edx
mov ecx, 0
setb cl
mov qword [rsp + 0x248], rcx
xor eax, ecx
neg rax
mov rcx, r14
xor rcx, rdi
and rcx, rax
xor rdi, rcx
mov qword [rsp + 0x1d0], rdi
xor rcx, r14
mov qword [rsp + 0x158], rcx
mov rcx, qword [rsp + 0xc8]
mov r14, rcx
mov r11, qword [rsp + 0xf8]
xor r14, r11
and r14, rax
xor r11, r14
xor r14, rcx
mov rcx, qword [rsp + 0xf0]
mov rdx, rcx
mov r9, qword [rsp + 0x1b8]
xor rdx, r9
and rdx, rax
xor r9, rdx
xor rdx, rcx
mov qword [rsp + 0x60], rdx
mov rdi, rsi
mov rsi, r15
mov rcx, qword [rsp + 0x1c8]
xor rsi, rcx
and rsi, rax
xor rcx, rsi
xor rsi, r15
mov r15, qword [rsp + 0x108]
mov r8, r15
mov rdx, qword [rsp + 0x1c0]
xor r8, rdx
and r8, rax
xor rdx, r8
xor r8, r15
mov qword [rsp + 0x100], r8
mov r15, qword [rsp + 0x28]
mov r8, r15
xor r8, rdi
and r8, rax
xor rdi, r8
xor r8, r15
mov qword [rsp + 0x88], r8
mov r15, qword [rsp + 0x90]
mov r8, r15
xor r8, r12
and r8, rax
xor r12, r8
xor r8, r15
mov qword [rsp + 0x80], r8
mov r8, qword [rsp + 0x50]
mov r15, r8
xor r15, rbx
and r15, rax
xor rbx, r15
xor r15, r8
mov qword [rsp + 0x58], r15
mov r8, r10
mov r15, qword [rsp + 0x98]
xor r8, r15
and r8, rax
xor r15, r8
xor r8, r10
mov qword [rsp + 0x20], r8
mov r10, qword [rsp + 0x68]
mov r8, r10
xor r8, r13
and r8, rax
xor r13, r8
xor r8, r10
mov r10, r8
mov qword [rsp + 0x70], r8
movabs rax, 0xffffffffffffe
lea r8, [r11 + rax]
sub r8, r12
mov qword [rsp + 0x28], r8
add r12, r11
lea r8, [rcx + rax]
sub r8, r15
mov qword [rsp + 0x118], r8
add r15, rcx
lea rcx, [r9 + rax]
sub rcx, rbx
mov qword [rsp + 0x90], rcx
add rbx, r9
mov r8, qword [rsp + 0x1d0]
lea rcx, [r8 + rax]
add rcx, 0xffffffffffffffdc
sub rcx, rdi
mov qword [rsp + 0x1b8], rcx
add rdi, r8
mov qword [rsp + 0x1d0], rdi
lea r8, [rdx + rax]
mov rcx, r13
sub r8, r13
mov qword [rsp + 0x68], r8
add rcx, rdx
mov qword [rsp + 0x78], rcx
mov rdx, qword [rsp + 0x100]
lea r8, [rdx + rax]
mov r13, rax
sub r8, r10
lea rax, [rcx + rcx*8]
lea r10, [rcx + rax*2]
mov rax, r10
mul r8
mov qword [rsp + 0x50], rax
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0x98], r15
lea rax, [r15 + r15*8]
lea rax, [r15 + rax*2]
mov rdi, rax
mul r8
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xf8], rdx
lea r9, [r14 + r13]
mov rbp, qword [rsp + 0x80]
sub r9, rbp
mov qword [rsp + 0x110], rbx
lea rax, [rbx + rbx*8]
lea rcx, [rbx + rax*2]
mov rax, rcx
mul r8
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul r8
mov qword [rsp + 0x1b0], rax
mov qword [rsp + 0x120], rdx
lea r11, [rsi + r13]
mov r15, qword [rsp + 0x20]
sub r11, r15
mov rbx, r10
mov qword [rsp + 0x1c0], r10
mov rax, r10
mul r11
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xb0], rax
mov r10, rdi
mov qword [rsp + 0x150], rdi
mov rax, rdi
mul r11
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xd8], rdx
mov rax, qword [rsp + 0x60]
lea rdi, [rax + r13]
sub rdi, qword [rsp + 0x58]
mov rax, rcx
mul r11
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x190], rax
mov rax, rbx
mul rdi
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x138], rax
mov rax, r10
mul rdi
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
add rbp, r14
mov qword [rsp + 0x80], rbp
mov rax, rbx
mul r9
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x170], rax
mov r13, qword [rsp + 0x1d0]
mov rax, r13
mul r8
mov qword [rsp + 0x1c8], rdx
mov qword [rsp + 0xe8], rax
mov rax, r12
mul r11
mov qword [rsp + 0x108], rax
mov r10, rdx
add r15, rsi
mov qword [rsp + 0x20], r15
mov rax, r13
mul r11
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x30], rax
mov r15, qword [rsp + 0x110]
mov rax, r15
mul rdi
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0xe0], rdx
mov r14, qword [rsp + 0x158]
movabs rax, 0xffffffffffffe
lea rsi, [r14 + rax]
add rsi, 0xffffffffffffffdc
mov rbx, qword [rsp + 0x88]
sub rsi, rbx
mov rax, r12
mul rdi
mov r8, rdx
mov r11, rax
mov rax, r13
mul rdi
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov rcx, qword [rsp + 0x98]
mov rax, rcx
mul r9
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x48], rdx
add rbx, r14
mov qword [rsp + 0x88], rbx
mov rax, r15
mul r9
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x130], rax
mov rax, r12
mul r9
mov rdi, rdx
mov r14, rax
mov rax, r13
mul r9
mov r9, rax
mov qword [rsp + 0x1d8], rdx
mov rbp, qword [rsp + 0x58]
add rbp, qword [rsp + 0x60]
mov rax, qword [rsp + 0x78]
mul rsi
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x158], rax
mov rax, rcx
mul rsi
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x128], rax
mov rax, r15
mul rsi
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
mov rax, qword [rsp + 0x100]
add qword [rsp + 0x70], rax
mov rax, r12
mul rsi
mov r15, rdx
mov rcx, rax
mov rax, r13
mul rsi
mov rbx, rax
add rbx, qword [rsp + 0x1b0]
adc rdx, qword [rsp + 0x120]
add rbx, qword [rsp + 0x190]
adc rdx, qword [rsp + 0x198]
add rbx, qword [rsp + 0x178]
adc rdx, qword [rsp + 0x180]
add rbx, qword [rsp + 0x170]
adc rdx, qword [rsp + 0x188]
shld rdx, rbx, 0xd
movabs rax, 0x7ffffffffffff
and rbx, rax
add rcx, r9
adc r15, qword [rsp + 0x1d8]
add rcx, qword [rsp + 0xa0]
adc r15, qword [rsp + 0xa8]
add rcx, qword [rsp + 0xd0]
adc r15, qword [rsp + 0xd8]
add rcx, qword [rsp + 0x138]
adc r15, qword [rsp + 0x148]
add rcx, rdx
adc r15, 0
shld r15, rcx, 0xd
and rcx, rax
add r14, qword [rsp + 0x1a0]
adc rdi, qword [rsp + 0x1a8]
add r14, qword [rsp + 0x160]
adc rdi, qword [rsp + 0x168]
add r14, qword [rsp + 0xf0]
adc rdi, qword [rsp + 0xf8]
add r14, qword [rsp + 0xb0]
adc rdi, qword [rsp + 0xb8]
add r14, r15
adc rdi, 0
shld rdi, r14, 0xd
and r14, rax
add r11, qword [rsp + 0x30]
adc r8, qword [rsp + 0x38]
add r11, qword [rsp + 0x130]
adc r8, qword [rsp + 0x140]
add r11, qword [rsp + 0x128]
adc r8, qword [rsp + 0x60]
add r11, qword [rsp + 0x50]
adc r8, qword [rsp + 0xc8]
add r11, rdi
adc r8, 0
shld r8, r11, 0xd
and r11, rax
mov qword [rsp + 0x60], r11
mov rax, qword [rsp + 0x108]
add rax, qword [rsp + 0xe8]
adc r10, qword [rsp + 0x1c8]
add rax, qword [rsp + 0xc0]
adc r10, qword [rsp + 0xe0]
add rax, qword [rsp + 0x40]
adc r10, qword [rsp + 0x48]
add rax, qword [rsp + 0x158]
adc r10, qword [rsp + 0x58]
add rax, r8
mov qword [rsp + 0x108], rax
adc r10, 0
shld r10, rax, 0xd
mov rdx, qword [rsp + 0x68]
lea rax, [rdx + rdx*8]
lea r13, [rdx + rax*2]
mov rax, r13
mov r11, qword [rsp + 0x70]
mul r11
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xc8], rdx
mov rdx, qword [rsp + 0x118]
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
mov rax, rsi
mul r11
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0xe8], rdx
mov rdx, qword [rsp + 0x90]
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r8
mul r11
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xd0], rdx
lea rax, [r10 + r10*8]
lea r9, [r10 + rax*2]
mov rdx, qword [rsp + 0x28]
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mul r11
mov r15, r11
mov qword [rsp + 0x190], rax
mov qword [rsp + 0x198], rdx
add r9, rbx
mov rax, r13
mov rdi, qword [rsp + 0x20]
mul rdi
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0xf8], rsi
mov rax, rsi
mul rdi
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
mov rax, r9
mov r10, r9
shr rax, 0x33
mov r11, rax
mov rax, r8
mul rdi
mov rbx, rdi
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x170], rax
mov qword [rsp + 0x50], r13
mov rax, r13
mul rbp
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x120], rax
mov rax, rsi
mul rbp
mov rdi, rbp
mov qword [rsp + 0x1d8], rax
mov qword [rsp + 0x160], rdx
add r11, rcx
mov rax, r13
mov rbp, qword [rsp + 0x80]
mul rbp
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x1f0], rax
mov r9, qword [rsp + 0x1b8]
mov rax, r9
mul r15
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xe0], rdx
mov rax, r11
mov r15, r11
shr rax, 0x33
mov r8, rax
mov rsi, qword [rsp + 0x28]
mov rax, rsi
mul rbx
mov rcx, rdx
mov qword [rsp + 0x70], rax
mov rax, r9
mul rbx
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd8], rax
mov r11, qword [rsp + 0x90]
mov rax, r11
mul rdi
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0x20], rdx
add r8, r14
mov qword [rsp + 0x1c8], r8
mov rax, rsi
mul rdi
mov r8, rdx
mov qword [rsp + 0x58], rax
mov rax, r9
mov r14, r9
mul rdi
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov r13, qword [rsp + 0x118]
mov rax, r13
mov r9, rbp
mul rbp
mov qword [rsp + 0x30], rax
mov qword [rsp + 0x38], rdx
movabs rbp, 0x7ffffffffffff
and qword [rsp + 0x108], rbp
mov rax, r11
mul r9
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rsi
mul r9
mov rdi, rdx
mov rbx, rax
mov rax, r14
mul r9
mov r9, rax
mov qword [rsp + 0x1e0], rdx
and r10, rbp
mov qword [rsp + 0x158], r10
mov rax, qword [rsp + 0x68]
mov r10, qword [rsp + 0x88]
mul r10
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0xa8], rax
mov rax, r13
mul r10
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov rax, r11
mul r10
mov qword [rsp + 0x1e8], rax
mov r11, rdx
and r15, rbp
mov qword [rsp + 0x100], r15
mov rax, rsi
mul r10
mov r13, r10
mov r15, rdx
mov r10, rax
mov rax, r14
mul r13
add rax, qword [rsp + 0x190]
adc rdx, qword [rsp + 0x198]
add rax, qword [rsp + 0x170]
adc rdx, qword [rsp + 0x178]
add rax, qword [rsp + 0x1d8]
adc rdx, qword [rsp + 0x160]
add rax, qword [rsp + 0x1f0]
adc rdx, qword [rsp + 0x168]
shld rdx, rax, 0xd
and rax, rbp
add r10, r9
adc r15, qword [rsp + 0x1e0]
add r10, qword [rsp + 0x148]
adc r15, qword [rsp + 0xd0]
add r10, qword [rsp + 0x138]
adc r15, qword [rsp + 0x140]
add r10, qword [rsp + 0x120]
adc r15, qword [rsp + 0x130]
add r10, rdx
adc r15, 0
shld r15, r10, 0xd
and r10, rbp
add rbx, qword [rsp + 0x180]
adc rdi, qword [rsp + 0x188]
add rbx, qword [rsp + 0x1e8]
adc rdi, r11
add rbx, qword [rsp + 0xc0]
adc rdi, qword [rsp + 0xe8]
add rbx, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x48]
add rbx, r15
adc rdi, 0
shld rdi, rbx, 0xd
and rbx, rbp
mov r11, qword [rsp + 0x58]
add r11, qword [rsp + 0xd8]
adc r8, qword [rsp + 0xa0]
add r11, qword [rsp + 0x1b0]
adc r8, qword [rsp + 0x128]
add r11, qword [rsp + 0x1a0]
adc r8, qword [rsp + 0x1a8]
add r11, qword [rsp + 0xf0]
adc r8, qword [rsp + 0xc8]
add r11, rdi
adc r8, 0
shld r8, r11, 0xd
and r11, rbp
mov qword [rsp + 0x58], r11
mov r11, qword [rsp + 0x70]
add r11, qword [rsp + 0xb8]
adc rcx, qword [rsp + 0xe0]
add r11, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0x20]
add r11, qword [rsp + 0x30]
adc rcx, qword [rsp + 0x38]
add r11, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0x80]
add r11, r8
adc rcx, 0
shld rcx, r11, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov rdx, rcx
shr rdx, 0x33
add rdx, r10
mov rax, rdx
mov r13, rdx
shr rax, 0x33
add rax, rbx
mov qword [rsp + 0xc8], rax
and r11, rbp
mov qword [rsp + 0x70], r11
mov rax, qword [rsp + 0x50]
mov r8, qword [rsp + 0x68]
mul r8
mov qword [rsp + 0x80], rax
mov qword [rsp + 0x88], rdx
and rcx, rbp
mov qword [rsp + 0x50], rcx
imul rcx, r8, 0x26
mov rsi, r8
mov rax, rcx
mov r10, qword [rsp + 0x118]
mul r10
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0x20], rdx
imul r8, r10, 0x26
lea r9, [r10 + r10]
mov rax, qword [rsp + 0xf8]
mul r10
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0xe0], rax
mov rax, rcx
mov r10, qword [rsp + 0x90]
mul r10
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0xc0], rax
mov rax, r8
mul r10
mov qword [rsp + 0x38], rax
mov r8, rdx
lea rdi, [r10 + r10]
mov rax, r10
mul r10
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, rcx
mov r11, qword [rsp + 0x28]
mul r11
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0xa8], rax
mov rax, r9
mul r11
mov rcx, rax
mov r10, rdx
add rsi, rsi
mov rax, rdi
mul r11
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x68], rax
mov rax, r11
mul r11
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xb0], rax
mov rax, rsi
mov r15, r14
mul r14
mov rsi, rax
mov qword [rsp + 0xa0], rdx
lea rbx, [r11 + r11]
mov rax, r9
mul r14
mov qword [rsp + 0x28], rdx
mov r11, rax
mov rax, rdi
mul r14
mov r9, rdx
mov r14, rax
mov rax, rbx
mul r15
mov rdi, r15
mov rbx, rax
mov r15, rdx
and r13, rbp
mov qword [rsp + 0x118], r13
mov rax, rdi
mul rdi
mov rdi, rax
add rdi, qword [rsp + 0x38]
adc r8, rdx
add rdi, qword [rsp + 0xa8]
adc r8, qword [rsp + 0x30]
shld r8, rdi, 0xd
and rdi, rbp
add rcx, qword [rsp + 0x40]
adc r10, qword [rsp + 0x48]
add rcx, rsi
adc r10, qword [rsp + 0xa0]
add rbx, qword [rsp + 0xe0]
adc r15, qword [rsp + 0xf8]
add rbx, qword [rsp + 0xc0]
adc r15, qword [rsp + 0xe8]
add rbx, r8
adc r15, 0
shld r15, rbx, 0xd
and rbx, rbp
add r14, qword [rsp + 0xb0]
adc r9, qword [rsp + 0xb8]
add r14, qword [rsp + 0xf0]
adc r9, qword [rsp + 0x20]
add r14, r15
adc r9, 0
shld r9, r14, 0xd
add r11, qword [rsp + 0x68]
mov r8, qword [rsp + 0x28]
adc r8, qword [rsp + 0x90]
add r11, qword [rsp + 0x80]
adc r8, qword [rsp + 0x88]
add r11, r9
mov qword [rsp + 0x88], r11
adc r8, 0
shld r8, r11, 0xd
add r8, rcx
mov qword [rsp + 0x28], r8
adc r10, 0
shld r10, r8, 0xd
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
add rdi, rax
mov qword [rsp + 0x68], rdi
shr rdi, 0x33
add rdi, rbx
mov rax, qword [rsp + 0x1c0]
mov rbx, qword [rsp + 0x78]
mul rbx
mov qword [rsp + 0x20], rax
mov qword [rsp + 0x80], rdx
imul rcx, rbx, 0x26
mov rax, rcx
mov r9, qword [rsp + 0x98]
mul r9
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, qword [rsp + 0x150]
mul r9
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xe8], rdx
imul r8, r9, 0x26
add r9, r9
mov rax, rcx
mov r10, qword [rsp + 0x110]
mul r10
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xc0], rax
mov rax, r8
mul r10
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x38], rax
mov rax, r10
mul r10
mov qword [rsp + 0x48], rax
mov qword [rsp + 0xb0], rdx
add r10, r10
mov rax, rcx
mul r12
mov qword [rsp + 0x30], rdx
mov r15, rax
mov rax, r9
mul r12
mov r11, rdx
mov r13, rax
mov rax, r10
mul r12
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x150], rdx
add rbx, rbx
mov rax, r12
mul r12
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0xb8], rax
mov rax, rbx
mov rcx, qword [rsp + 0x1d0]
mul rcx
mov rsi, rdx
mov rbx, rax
mov rax, r9
mul rcx
mov qword [rsp + 0x90], rax
mov qword [rsp + 0x98], rdx
add r12, r12
mov rax, r10
mul rcx
mov r9, rdx
mov r10, rax
mov rax, r12
mul rcx
mov r12, rax
mov rbp, rdx
mov rax, rdi
movabs r8, 0x7ffffffffffff
and rax, r8
mov qword [rsp + 0x110], rax
mov rax, rcx
mul rcx
add rax, qword [rsp + 0x38]
adc rdx, qword [rsp + 0x40]
add rax, r15
adc rdx, qword [rsp + 0x30]
shld rdx, rax, 0xd
and rax, r8
add r13, qword [rsp + 0x48]
adc r11, qword [rsp + 0xb0]
add r13, rbx
adc r11, rsi
add r12, qword [rsp + 0xe0]
adc rbp, qword [rsp + 0xe8]
add r12, qword [rsp + 0xc0]
adc rbp, qword [rsp + 0xf0]
add r12, rdx
adc rbp, 0
shld rbp, r12, 0xd
and r12, r8
add r10, qword [rsp + 0xb8]
adc r9, qword [rsp + 0x78]
add r10, qword [rsp + 0x1b8]
adc r9, qword [rsp + 0x1c0]
add r10, rbp
adc r9, 0
shld r9, r10, 0xd
mov rsi, qword [rsp + 0x90]
add rsi, qword [rsp + 0xf8]
mov rbp, qword [rsp + 0x98]
adc rbp, qword [rsp + 0x150]
add rsi, qword [rsp + 0x20]
adc rbp, qword [rsp + 0x80]
add rsi, r9
adc rbp, 0
shld rbp, rsi, 0xd
mov r15, rsi
add rbp, r13
adc r11, 0
shld r11, rbp, 0xd
lea rcx, [r11 + r11*8]
lea rsi, [r11 + rcx*2]
add rsi, rax
mov qword [rsp + 0x20], rsi
shr rsi, 0x33
add rsi, r12
and r10, r8
mov r12, rsi
shr rsi, 0x33
add rsi, r10
and r14, r8
shr rdi, 0x33
add rdi, r14
mov rax, qword [rsp + 0x100]
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 + 0x100], rax
mov rcx, qword [rsp + 0x28]
and rcx, r8
mov qword [rsp + 0x28], rcx
and rbp, r8
mov r10, r15
and r10, r8
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rbp
mul rcx
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x1d0], rdx
mov rdx, qword [rsp + 0x88]
and rdx, r8
mov rbx, r8
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov r14, rdx
mov rax, rbp
mul r8
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xd0], rdx
lea rax, [rdi + rdi*8]
lea r9, [rdi + rax*2]
mov rax, rbp
mul r9
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x30], rdx
mov r11, qword [rsp + 0x110]
lea rax, [r11 + r11*8]
lea rdx, [r11 + rax*2]
mov r15, r11
mov rax, rbp
mov qword [rsp + 0x98], rbp
mul rdx
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x180], rax
mov rax, r10
mul rcx
mov r13, rdx
mov qword [rsp + 0x1a8], rax
mov rax, r10
mul r8
mov qword [rsp + 0x120], rax
mov qword [rsp + 0x128], rdx
and r12, rbx
mov rax, r10
mul r9
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x170], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rsi
mul r8
mov qword [rsp + 0x1f0], rax
mov qword [rsp + 0x1d8], rdx
mov r8, qword [rsp + 0x68]
and r8, rbx
mov rax, r12
mul rcx
mov qword [rsp + 0x200], rdx
mov qword [rsp + 0x1f8], rax
mov rax, rbp
mul r8
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0x1b8], rdx
mov rax, qword [rsp + 0x60]
mov r9, qword [rsp + 0x58]
lea rcx, [rax + r9]
mov qword [rsp + 0xe0], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
mov rcx, rax
mov qword [rsp + 0x90], r10
mov rax, r10
mul r11
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0xb0], rax
mov rax, r10
mul r8
mov rbp, rdx
mov r11, rax
mov qword [rsp + 0x80], rsi
mov rax, rsi
mov r10, rdi
mul rdi
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0xf8], rdx
sub rcx, r9
mov qword [rsp + 0x60], rcx
mov rax, rsi
mul r15
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd8], rax
mov rax, rsi
mov rsi, r8
mul r8
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov r9, r14
mov qword [rsp + 0x88], r14
mov rax, r14
mov qword [rsp + 0x118], r12
mul r12
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x40], rdx
mov rdi, qword [rsp + 0x20]
and rdi, rbx
mov qword [rsp + 0x20], rdi
mov rax, r10
mov rbx, r10
mov qword [rsp + 0x150], r10
mul r12
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, r12
mul r15
mov r10, r15
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
mov rax, qword [rsp + 0x158]
movabs rcx, 0xffffffffffffe
add rcx, rax
add rcx, 0xffffffffffffffdc
mov qword [rsp + 0x58], rcx
add rax, qword [rsp + 0x50]
mov qword [rsp + 0x158], rax
mov rax, r12
mul r8
mov qword [rsp + 0x68], r8
mov r15, rdx
mov r14, rax
mov rax, qword [rsp + 0x28]
mul rdi
mov r12, rdx
mov rdi, qword [rsp + 0x1c8]
mov rdx, qword [rsp + 0xc8]
lea rcx, [rdi + rdx]
mov qword [rsp + 0xc0], rcx
movabs rcx, 0xffffffffffffe
add rdi, rcx
mov r8, rax
mov rax, r9
mov rcx, qword [rsp + 0x20]
mul rcx
mov qword [rsp + 0x1c8], rdx
mov qword [rsp + 0x188], rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x1e0], rax
mov qword [rsp + 0x1e8], rdx
mov rax, qword [rsp + 0x108]
movabs rdx, 0xffffffffffffe
add rdx, rax
mov qword [rsp + 0x48], rdx
add rax, qword [rsp + 0x70]
mov qword [rsp + 0x108], rax
mov rax, r10
mul rcx
mov qword [rsp + 0x240], rdx
mov rbx, rax
mov rax, rcx
mul rsi
add rax, qword [rsp + 0x1f8]
adc rdx, qword [rsp + 0x200]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x190]
add rax, qword [rsp + 0x1f0]
adc rdx, qword [rsp + 0x1d8]
add rax, qword [rsp + 0x170]
adc rdx, qword [rsp + 0x178]
mov r10, rdx
shr r10, 0x33
shld rdx, rax, 0xd
movabs r9, 0x7ffffffffffff
and rax, r9
mov rsi, qword [rsp + 0x1a8]
add rsi, qword [rsp + 0x148]
adc r13, qword [rsp + 0xd0]
add r14, qword [rsp + 0x120]
adc r15, qword [rsp + 0x128]
add r14, rbx
adc r15, qword [rsp + 0x240]
add r14, qword [rsp + 0x1b0]
adc r15, qword [rsp + 0x130]
add r14, qword [rsp + 0xa8]
adc r15, qword [rsp + 0x30]
add r14, rdx
adc r15, r10
mov rcx, r15
shr rcx, 0x33
shld r15, r14, 0xd
and r14, r9
mov r10, rsi
add r10, qword [rsp + 0x160]
adc r13, qword [rsp + 0x168]
add r10, qword [rsp + 0x198]
adc r13, qword [rsp + 0x1a0]
add r10, qword [rsp + 0x1e0]
adc r13, qword [rsp + 0x1e8]
add r10, r15
adc r13, rcx
mov rcx, r13
shr rcx, 0x33
shld r13, r10, 0xd
and r10, r9
add r11, qword [rsp + 0x78]
adc rbp, qword [rsp + 0x1d0]
add r11, qword [rsp + 0x188]
adc rbp, qword [rsp + 0x1c8]
add r11, qword [rsp + 0xd8]
adc rbp, qword [rsp + 0xa0]
add r11, qword [rsp + 0x138]
adc rbp, qword [rsp + 0x140]
add r11, r13
adc rbp, rcx
mov rcx, rbp
shr rcx, 0x33
shld rbp, r11, 0xd
and r11, r9
mov qword [rsp + 0x1c8], r11
add r8, qword [rsp + 0xb8]
adc r12, qword [rsp + 0x1b8]
add r8, qword [rsp + 0xb0]
adc r12, qword [rsp + 0x1c0]
add r8, qword [rsp + 0x38]
adc r12, qword [rsp + 0x40]
add r8, qword [rsp + 0xe8]
adc r12, qword [rsp + 0xf8]
add r8, rbp
adc r12, rcx
shld r12, r8, 0xd
lea rcx, [r12 + r12*8]
lea rdx, [r12 + rcx*2]
add rdx, rax
mov rcx, rdx
shr rcx, 0x33
add rcx, r14
mov rax, rcx
shr rax, 0x33
add rax, r10
mov qword [rsp + 0x1b8], rax
sub rdi, qword [rsp + 0xc8]
mov rbx, qword [rsp + 0x58]
sub rbx, qword [rsp + 0x50]
mov r14, qword [rsp + 0x48]
sub r14, qword [rsp + 0x70]
mov rax, r9
and r8, r9
mov qword [rsp + 0x1c0], r8
and rdx, r9
mov qword [rsp + 0x1d0], rdx
and rcx, r9
mov qword [rsp + 0xf8], rcx
movabs rax, 0xffffffffffffe
mov rdx, qword [rsp + 0x118]
add rdx, rax
add qword [rsp + 0x80], rax
mov rcx, qword [rsp + 0x90]
add rcx, rax
add qword [rsp + 0x98], rax
sub rdx, qword [rsp + 0x110]
mov qword [rsp + 0x118], rdx
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul r14
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x70], rdx
mov r8, qword [rsp + 0x60]
lea rax, [r8 + r8*8]
lea r10, [r8 + rax*2]
imul rsi, r14, 0x26
mov rax, rsi
mul r8
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x30], rdx
imul r11, r8, 0x26
lea rbp, [r8 + r8]
mov rax, r10
mul r8
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x38], rax
mov rax, rdi
mul rsi
mov r8, rdx
mov r10, rax
mov rax, rdi
mul r11
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xa0], rdx
lea r9, [rdi + rdi]
mov rax, rdi
mul rdi
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x78], rax
mov r11, qword [rsp + 0x100]
mov rax, r11
mul rsi
mov qword [rsp + 0xd0], rdx
mov r12, rax
mov rax, r11
mul rbp
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xe8], rdx
add r14, r14
mov rax, r9
mul r11
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x48], rax
mov rax, r11
mul r11
mov rdi, rdx
mov rsi, rax
mov rax, rbx
mul r14
mov qword [rsp + 0x50], rax
mov r15, rdx
lea r13, [r11 + r11]
mov rax, rbx
mul rbp
mov rbp, rdx
mov qword [rsp + 0xc8], rax
mov rax, r9
mul rbx
mov r11, rdx
mov r9, rax
mov rax, r13
mul rbx
mov r14, rax
mov r13, rdx
sub rcx, qword [rsp + 0x88]
mov qword [rsp + 0x90], rcx
mov rax, rbx
mul rbx
add rax, r12
adc rdx, qword [rsp + 0xd0]
add rax, qword [rsp + 0xd8]
adc rdx, qword [rsp + 0xa0]
shld rdx, rax, 0xd
movabs rcx, 0x7ffffffffffff
and rax, rcx
add rsi, qword [rsp + 0xa8]
adc rdi, qword [rsp + 0x30]
add rsi, r9
adc rdi, r11
add r10, qword [rsp + 0x38]
adc r8, qword [rsp + 0x40]
add r10, r14
adc r8, r13
add r10, rdx
adc r8, 0
shld r8, r10, 0xd
and r10, rcx
add r8, rsi
adc rdi, 0
shld rdi, r8, 0xd
and r8, rcx
mov rdx, rcx
mov rcx, qword [rsp + 0xc8]
add rcx, qword [rsp + 0x58]
adc rbp, qword [rsp + 0x70]
add rcx, qword [rsp + 0x48]
adc rbp, qword [rsp + 0xb0]
add rcx, rdi
adc rbp, 0
shld rbp, rcx, 0xd
and rcx, rdx
mov qword [rsp + 0xc8], rcx
mov rcx, qword [rsp + 0x50]
add rcx, qword [rsp + 0xb8]
adc r15, qword [rsp + 0xe8]
add rcx, qword [rsp + 0x78]
adc r15, qword [rsp + 0x60]
add rcx, rbp
adc r15, 0
shld r15, rcx, 0xd
mov rbp, rcx
lea rcx, [r15 + r15*8]
lea rcx, [r15 + rcx*2]
add rcx, rax
mov rax, rcx
mov r12, rcx
shr rax, 0x33
add rax, r10
mov rcx, rax
mov r13, rax
shr rcx, 0x33
add rcx, r8
mov qword [rsp + 0x78], rcx
mov rax, qword [rsp + 0x20]
movabs rcx, 0xffffffffffffe
lea rdi, [rax + rcx]
add rdi, 0xffffffffffffffdc
sub rdi, qword [rsp + 0x68]
mov qword [rsp + 0xe8], rdi
mov rax, qword [rsp + 0x98]
sub rax, qword [rsp + 0x28]
mov qword [rsp + 0x98], rax
mov esi, 0x1db42
mul rsi
mov rcx, rdx
mov r9, rax
mov rax, qword [rsp + 0x90]
mul rsi
mov r10, rax
mov r15, rdx
mov rax, qword [rsp + 0x80]
sub rax, qword [rsp + 0x150]
mov qword [rsp + 0x80], rax
mul rsi
mov r14, rdx
mov r11, rax
mov rax, qword [rsp + 0x118]
mul rsi
mov rbx, rdx
mov r8, rax
mov rax, rdi
mul rsi
shld rdx, rax, 0xd
movabs rsi, 0x7ffffffffffff
lea rdi, [rsi - 1]
and rax, rdi
and rbp, rsi
mov qword [rsp + 0x50], rbp
and r12, rsi
mov qword [rsp + 0xb8], r12
and r13, rsi
mov qword [rsp + 0xb0], r13
add r8, rdx
adc rbx, 0
shld rbx, r8, 0xd
and r8, rsi
add rbx, r11
adc r14, 0
shld r14, rbx, 0xd
and rbx, rsi
mov qword [rsp + 0x70], rbx
add r14, r10
adc r15, 0
shld r15, r14, 0xd
and r14, rsi
mov qword [rsp + 0x60], r14
add r15, r9
adc rcx, 0
shld rcx, r15, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rax, rcx
mov rcx, rax
shr rcx, 0x33
add rcx, r8
and r15, rsi
mov qword [rsp + 0x58], r15
and rax, rsi
mov qword [rsp + 0x20], rax
mov r8, rsi
mov rax, rcx
shr rax, 0x33
mov qword [rsp + 0x48], rax
mov rsi, qword [rsp + 0x108]
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mul rsi
mov qword [rsp + 0x30], rax
mov qword [rsp + 0x38], rdx
and rcx, r8
mov qword [rsp + 0x100], rcx
imul rcx, rsi, 0x26
mov rax, rcx
mov r8, qword [rsp + 0xe0]
mul r8
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mul r8
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x148], rax
mov r9, qword [rsp + 0xc0]
mov rax, r9
mul rcx
mov r11, rax
mov r10, rdx
imul rdx, r8, 0x26
add r8, r8
mov rax, r9
mul rdx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r9
mul r9
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xa8], rax
mov rdi, qword [rsp + 0xf0]
mov rax, rdi
mul rcx
mov rbx, rax
mov qword [rsp + 0x120], rdx
add r9, r9
mov rax, rdi
mul r8
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xa0], rax
mov rax, r9
mul rdi
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0xd8], rax
mov rax, rdi
mul rdi
mov rbp, rdi
mov r12, rax
mov r15, rdx
add rsi, rsi
mov r14, qword [rsp + 0x158]
mov rax, r14
mul rsi
mov rcx, rdx
mov qword [rsp + 0x108], rax
mov rax, r14
mul r8
mov r13, rdx
mov rdi, rax
mov rax, r9
mul r14
mov r9, rax
mov rsi, rdx
lea rax, [rbp*2]
mul r14
mov rbp, rdx
mov r8, rax
mov rax, r14
mul r14
add rax, rbx
adc rdx, qword [rsp + 0x120]
add rax, qword [rsp + 0x128]
adc rdx, qword [rsp + 0x130]
mov rbx, rdx
shr rbx, 0x33
shld rdx, rax, 0xd
movabs r14, 0x7ffffffffffff
and rax, r14
add r12, qword [rsp + 0x138]
adc r15, qword [rsp + 0x140]
add r12, r9
adc r15, rsi
add r11, qword [rsp + 0x148]
adc r10, qword [rsp + 0xd0]
add r11, r8
adc r10, rbp
add r11, rdx
adc r10, rbx
mov rdx, r10
shr rdx, 0x33
shld r10, r11, 0xd
mov r9, r14
and r11, r14
add r10, r12
adc rdx, r15
mov r8, rdx
shr r8, 0x33
shld rdx, r10, 0xd
and r10, r14
add rdi, qword [rsp + 0x30]
adc r13, qword [rsp + 0x38]
add rdi, qword [rsp + 0xd8]
adc r13, qword [rsp + 0xe0]
add rdi, rdx
adc r13, r8
mov rdx, r13
shr rdx, 0x33
shld r13, rdi, 0xd
and rdi, r14
mov qword [rsp + 0xe0], rdi
mov r8, qword [rsp + 0x108]
add r8, qword [rsp + 0xa0]
adc rcx, qword [rsp + 0xc0]
add r8, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0x40]
add r8, r13
mov qword [rsp + 0x108], r8
adc rcx, rdx
shld rcx, r8, 0xd
lea rdx, [rcx + rcx*8]
lea rdi, [rcx + rdx*2]
add rdi, rax
mov qword [rsp + 0x158], rdi
shr rdi, 0x33
add rdi, r11
mov rcx, qword [rsp + 0x50]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov r11, qword [rsp + 0x218]
mov rax, r11
mul rcx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0xc0], rdx
mov r9, rdi
shr r9, 0x33
mov rdx, qword [rsp + 0xc8]
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r11
mul r8
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xa0], rdx
add r9, r10
mov qword [rsp + 0xf0], r9
mov rdx, qword [rsp + 0x78]
lea rax, [rdx + rdx*8]
lea r9, [rdx + rax*2]
mov rax, r11
mul r9
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xd0], rdx
mov rax, qword [rsp + 0x100]
add rax, qword [rsp + 0x110]
mov qword [rsp + 0x100], rax
mov r13, qword [rsp + 0xb0]
lea rax, [r13*8]
add rax, r13
lea rdx, [rax*2]
add rdx, r13
mov rax, r11
mul rdx
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x198], rdx
mov rax, qword [rsp + 0x60]
add rax, qword [rsp + 0x88]
mov qword [rsp + 0x60], rax
mov r10, qword [rsp + 0x220]
mov rax, r10
mul rcx
mov r12, rdx
mov qword [rsp + 0x88], rax
mov rax, r10
mul r8
mov rsi, rdx
mov qword [rsp + 0x110], rax
mov rax, r10
mul r9
mov qword [rsp + 0x1f8], rax
mov rbx, rdx
mov rax, qword [rsp + 0x20]
add rax, qword [rsp + 0x68]
mov qword [rsp + 0x20], rax
mov r9, qword [rsp + 0x228]
mov rax, r9
mul rcx
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r9
mul r8
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x1f0], rax
mov r8, qword [rsp + 0x230]
mov rax, r8
mul rcx
mov qword [rsp + 0x1d8], rax
mov qword [rsp + 0x160], rdx
mov rcx, qword [rsp + 0x70]
add rcx, qword [rsp + 0x150]
mov rax, r11
mov r15, qword [rsp + 0xb8]
mul r15
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x150], rax
mov rax, r10
mul r13
mov r11, rdx
mov rbp, rax
mov rax, r10
mul r15
mov r14, rdx
add rcx, qword [rsp + 0x48]
mov qword [rsp + 0x70], rcx
mov r10, rax
mov rax, r9
mov rcx, qword [rsp + 0x78]
mul rcx
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x38], rax
mov rax, r9
mul r13
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, r9
mul r15
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x190], rdx
mov rax, qword [rsp + 0x58]
add rax, qword [rsp + 0x28]
mov qword [rsp + 0x58], rax
mov r9, qword [rsp + 0xc8]
mov rax, r9
mul r8
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x30], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r8
mul r13
mov qword [rsp + 0x170], rax
mov qword [rsp + 0x178], rdx
movabs rcx, 0x7ffffffffffff
and qword [rsp + 0x108], rcx
mov rax, r8
mul r15
mov qword [rsp + 0x1e0], rdx
mov qword [rsp + 0x200], rax
mov rax, qword [rsp + 0x50]
mov r8, qword [rsp + 0x238]
mul r8
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0xa8], rax
mov rax, r9
mul r8
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1a8], rdx
and qword [rsp + 0x158], rcx
mov rax, r8
mul qword [rsp + 0x78]
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x1e8], rax
mov rax, r8
mul r13
mov rcx, rdx
mov r9, rax
mov rax, r8
mul r15
movabs r8, 0x7ffffffffffff
and rdi, r8
mov qword [rsp + 0xc8], rdi
mov rdi, qword [rsp + 0x1f8]
add rdi, qword [rsp + 0x188]
adc rbx, qword [rsp + 0x198]
add rdi, qword [rsp + 0x1f0]
adc rbx, qword [rsp + 0x168]
add rdi, qword [rsp + 0x1d8]
adc rbx, qword [rsp + 0x160]
add rdi, rax
adc rbx, rdx
shld rbx, rdi, 0xd
and rdi, r8
mov rdx, qword [rsp + 0x88]
add rdx, qword [rsp + 0xd8]
adc r12, qword [rsp + 0xa0]
mov rax, qword [rsp + 0x110]
add rax, qword [rsp + 0x148]
adc rsi, qword [rsp + 0xd0]
add rax, qword [rsp + 0x1b0]
adc rsi, qword [rsp + 0x120]
add rax, qword [rsp + 0x200]
adc rsi, qword [rsp + 0x1e0]
add rax, r9
adc rsi, rcx
add rax, rbx
adc rsi, 0
shld rsi, rax, 0xd
mov rcx, r8
and rax, r8
mov qword [rsp + 0x110], rax
mov rax, rdx
add rax, qword [rsp + 0x180]
adc r12, qword [rsp + 0x190]
add rax, qword [rsp + 0x170]
adc r12, qword [rsp + 0x178]
add rax, qword [rsp + 0x1e8]
adc r12, qword [rsp + 0x78]
add rax, rsi
adc r12, 0
shld r12, rax, 0xd
and rax, r8
mov qword [rsp + 0x88], rax
add r10, qword [rsp + 0x40]
adc r14, qword [rsp + 0xc0]
add r10, qword [rsp + 0x138]
adc r14, qword [rsp + 0x140]
add r10, qword [rsp + 0x128]
adc r14, qword [rsp + 0x130]
add r10, qword [rsp + 0x1a0]
adc r14, qword [rsp + 0x1a8]
add r10, r12
adc r14, 0
shld r14, r10, 0xd
and r10, r8
add rbp, qword [rsp + 0x150]
adc r11, qword [rsp + 0x68]
add rbp, qword [rsp + 0x38]
adc r11, qword [rsp + 0x48]
add rbp, qword [rsp + 0x30]
adc r11, qword [rsp + 0x28]
add rbp, qword [rsp + 0xa8]
adc r11, qword [rsp + 0x50]
add rbp, r14
mov qword [rsp + 0x68], rbp
adc r11, 0
shld r11, rbp, 0xd
lea rax, [r11 + r11*8]
lea rbx, [r11 + rax*2]
mov rcx, qword [rsp + 0x58]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mov r8, qword [rsp + 0x98]
mul r8
mov qword [rsp + 0x150], rax
mov qword [rsp + 0x78], rdx
add rbx, rdi
mov qword [rsp + 0x28], rbx
mov rdx, qword [rsp + 0x60]
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
mov rax, rsi
mul r8
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xd0], rdx
mov rdx, qword [rsp + 0x70]
lea rax, [rdx + rdx*8]
lea rdi, [rdx + rax*2]
mov rax, rdi
mul r8
mov qword [rsp + 0x30], rax
mov qword [rsp + 0x38], rdx
mov rbp, qword [rsp + 0x100]
lea rax, [rbp*8]
add rax, rbp
lea rax, [rax*2]
add rax, rbp
mul r8
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rcx
mov r9, qword [rsp + 0x90]
mul r9
mov r14, rax
mov r11, rdx
shr rbx, 0x33
mov rax, rsi
mul r9
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, rdi
mul r9
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x190], rax
mov rax, rcx
mov r8, qword [rsp + 0x80]
mul r8
mov r15, rax
mov rdi, rdx
add rbx, qword [rsp + 0x110]
mov rax, rsi
mul r8
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x170], rax
mov rax, rcx
mov rsi, qword [rsp + 0x118]
mul rsi
mov qword [rsp + 0x168], rax
mov rcx, rdx
mov r13, rbx
shr r13, 0x33
mov r12, qword [rsp + 0x20]
mov rax, r12
mul qword [rsp + 0x98]
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0xb8], rax
mov rax, rbp
mul r9
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xb0], rax
mov rax, r12
mul r9
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x98], rdx
add r13, qword [rsp + 0x88]
mov qword [rsp + 0x50], r13
mov r9, qword [rsp + 0x70]
mov rax, r9
mul r8
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x48], rax
mov r13, rbp
mov rax, rbp
mul r8
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd8], rax
mov rax, r12
mul r8
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1a8], rdx
movabs r8, 0x7ffffffffffff
and qword [rsp + 0x68], r8
mov rbp, qword [rsp + 0x60]
mov rax, rbp
mul rsi
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x40], rax
mov rax, r9
mul rsi
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, r13
mul rsi
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
and qword [rsp + 0x28], r8
mov rax, r12
mul rsi
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x160], rax
mov rax, qword [rsp + 0x58]
mov r9, qword [rsp + 0xe8]
mul r9
mov rsi, rdx
mov r13, rax
mov rax, rbp
mul r9
mov r12, rdx
and rbx, r8
mov rbp, r8
mov qword [rsp + 0x90], rbx
mov r8, rax
mov rax, qword [rsp + 0x70]
mul r9
mov rbx, rdx
mov qword [rsp + 0x70], rax
mov rax, qword [rsp + 0x100]
mul r9
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x100], rax
mov rax, qword [rsp + 0x20]
mul r9
mov r9, qword [rsp + 0x168]
add r9, qword [rsp + 0x170]
adc rcx, qword [rsp + 0x178]
add r9, rax
adc rcx, rdx
add r9, qword [rsp + 0x1b0]
adc rcx, qword [rsp + 0x120]
add r9, qword [rsp + 0x190]
adc rcx, qword [rsp + 0x198]
mov rax, rcx
shr rax, 0x33
shld rcx, r9, 0xd
mov rdx, rbp
and r9, rbp
add r14, qword [rsp + 0x148]
adc r11, qword [rsp + 0xd0]
add r15, qword [rsp + 0x128]
adc rdi, qword [rsp + 0x130]
add r15, qword [rsp + 0x160]
adc rdi, qword [rsp + 0x118]
add r15, qword [rsp + 0x100]
adc rdi, qword [rsp + 0x60]
add r15, qword [rsp + 0x30]
adc rdi, qword [rsp + 0x38]
add r15, rcx
adc rdi, rax
mov rax, rdi
shr rax, 0x33
shld rdi, r15, 0xd
and r15, rbp
add r14, qword [rsp + 0x1a0]
adc r11, qword [rsp + 0x1a8]
add r14, qword [rsp + 0x180]
adc r11, qword [rsp + 0x188]
add r14, qword [rsp + 0x70]
adc r11, rbx
add r14, rdi
mov rdi, qword [rsp + 0x1d0]
adc r11, rax
mov rax, r11
shr rax, 0x33
shld r11, r14, 0xd
and r14, rbp
add r8, qword [rsp + 0x150]
adc r12, qword [rsp + 0x78]
add r8, qword [rsp + 0xa8]
adc r12, qword [rsp + 0x98]
add r8, qword [rsp + 0xd8]
adc r12, qword [rsp + 0xa0]
add r8, qword [rsp + 0x138]
adc r12, qword [rsp + 0x140]
add r8, r11
mov r11d, dword [rsp + 0x20c]
adc r12, rax
mov rax, r12
shr rax, 0x33
shld r12, r8, 0xd
and r8, rbp
mov qword [rsp + 0x98], r8
add r13, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x80]
add r13, qword [rsp + 0xb8]
adc rsi, qword [rsp + 0x110]
add r13, qword [rsp + 0xb0]
adc rsi, qword [rsp + 0xc0]
add r13, qword [rsp + 0x48]
adc rsi, qword [rsp + 0x88]
add r13, r12
adc rsi, rax
shld rsi, r13, 0xd
lea rax, [rsi + rsi*8]
lea rsi, [rsi + rax*2]
mov rax, qword [rsp + 0x248]
add rsi, r9
mov r12, rsi
shr r12, 0x33
add r12, r15
mov r15, qword [rsp + 0xe0]
mov rbx, r12
shr rbx, 0x33
add rbx, r14
mov r14, qword [rsp + 0x158]
and r13, rbp
and rsi, rbp
and r12, rbp
add r11d, 0xffffffff
jb 0x140092e9c
neg rax
xor r14, rdi
and r14, rax
xor r14, rdi
lea rdi, [rsp + 0x298]
mov qword [rdi], r14
mov rcx, qword [rsp + 0xf8]
mov rdx, qword [rsp + 0xc8]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [rdi + 8], rdx
mov rcx, qword [rsp + 0x1b8]
mov rdx, qword [rsp + 0xf0]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [rdi + 0x10], rdx
mov rcx, qword [rsp + 0x1c8]
xor r15, rcx
and r15, rax
xor r15, rcx
mov qword [rdi + 0x18], r15
mov rcx, qword [rsp + 0x1c0]
mov rdx, qword [rsp + 0x108]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [rdi + 0x20], rdx
mov rcx, qword [rsp + 0x28]
xor rcx, rsi
and rcx, rax
xor rcx, rsi
lea rsi, [rsp + 0x270]
mov qword [rsi], rcx
mov rcx, qword [rsp + 0x90]
xor rcx, r12
and rcx, rax
xor rcx, r12
mov qword [rsi + 8], rcx
mov rcx, qword [rsp + 0x50]
xor rcx, rbx
and rcx, rax
xor rcx, rbx
mov qword [rsi + 0x10], rcx
mov rcx, qword [rsp + 0x98]
xor r10, rcx
and r10, rax
xor r10, rcx
mov qword [rsi + 0x18], r10
mov rcx, qword [rsp + 0x68]
xor rcx, r13
and rcx, rax
xor rcx, r13
mov qword [rsi + 0x20], rcx
lea rdx, [rsp + 0x2f0]
mov qword [rdx + 0x20], rcx
mov rax, qword [rsi + 0x10]
mov qword [rdx + 0x10], rax
mov rax, qword [rsi + 0x18]
mov qword [rdx + 0x18], rax
movups xmm0, xmmword [rsi]
movaps xmmword [rdx], xmm0
mov rcx, rsi
call fcn.1400953d0
mov rcx, rdi
mov rdx, rdi
mov r8, rsi
call fcn.140051db0
mov rsi, qword [rsp + 0x210]
mov rcx, rsi
mov rdx, rdi
call fcn.14008f510
lea rcx, [0x14017b490]
mov r8d, 0x20
mov rdx, rsi
call fcn.140045160
xor esi, esi
test eax, eax
setne sil
mov rcx, qword [rsp + 0x320]
xor rcx, rsp
call fcn.1400a29f0
mov eax, esi
add rsp, 0x328
pop rbx
pop rbp
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
ret