Function at 0x140092d90
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 [0x140188028]
xor rax, rsp
mov qword [rsp + 0x320], rax
movabs rax, 0xaaaaaaaaaaaaaaaa
lea rsi, [rsp + 0x2c0]
mov qword [rsi + 0x20], rax
movaps xmm0, xmmword [0x140158be0]
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.14008fea0
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 r10d, 1
mov qword [rsp + 0x110], r10
mov r10, qword [rsp + 0x2a0]
mov qword [rsp + 0x100], r10
mov r10, qword [rsp + 0x2a8]
mov qword [rsp + 0x108], r10
mov r15, qword [rsp + 0x2b0]
mov r10, qword [rsp + 0x2b8]
mov qword [rsp + 0x160], r10
mov r11d, 0xfe
xor r13d, r13d
xor r10d, r10d
mov qword [rsp + 0x98], r10
xor r10d, r10d
mov qword [rsp + 0xc8], r10
xor r12d, r12d
xor ebx, ebx
mov qword [rsp + 0x238], rax
mov rdi, rax
mov qword [rsp + 0x230], rcx
mov r14, rcx
mov qword [rsp + 0x228], rdx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0x220], r8
mov rsi, r8
mov qword [rsp + 0x218], r9
mov qword [rsp + 0x158], r9
mov eax, 1
mov qword [rsp + 0x80], rax
xor eax, eax
mov qword [rsp + 0x28], rax
xor eax, eax
mov qword [rsp + 0x70], rax
xor r10d, r10d
xor eax, eax
mov qword [rsp + 0x30], rax
xor eax, eax
mov dword [rsp + 0x20c], r11d
mov ecx, r11d
shr ecx, 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, rdi
mov rdx, qword [rsp + 0x110]
xor rcx, rdx
and rcx, rax
xor rdx, rcx
mov qword [rsp + 0x110], rdx
xor rcx, rdi
mov qword [rsp + 0x68], rcx
mov rdi, r14
mov r9, qword [rsp + 0x100]
xor rdi, r9
and rdi, rax
xor r9, rdi
xor rdi, r14
mov rcx, qword [rsp + 0xb8]
mov r8, rcx
mov rdx, qword [rsp + 0x108]
xor r8, rdx
and r8, rax
xor rdx, r8
xor r8, rcx
mov qword [rsp + 0x90], r8
mov r11, rsi
mov rcx, r15
xor r11, r15
and r11, rax
xor rcx, r11
xor r11, rsi
mov r14, qword [rsp + 0x158]
mov r8, r14
mov rsi, qword [rsp + 0x160]
xor r8, rsi
and r8, rax
xor rsi, r8
xor r8, r14
mov qword [rsp + 0x78], r8
mov r14, qword [rsp + 0x80]
mov r8, r14
xor r8, rbx
and r8, rax
xor rbx, r8
mov qword [rsp + 0x148], rbx
xor r8, r14
mov qword [rsp + 0x80], r8
mov r14, qword [rsp + 0x28]
mov r8, r14
xor r8, r12
and r8, rax
xor r12, r8
xor r8, r14
mov qword [rsp + 0xd8], r8
mov r8, qword [rsp + 0x70]
mov rbx, r8
mov r14, qword [rsp + 0xc8]
xor rbx, r14
and rbx, rax
xor r14, rbx
xor rbx, r8
mov qword [rsp + 0x38], rbx
mov rbx, r10
mov r15, qword [rsp + 0x98]
xor rbx, r15
and rbx, rax
xor r15, rbx
xor rbx, r10
mov r10, qword [rsp + 0x30]
mov r8, r10
xor r8, r13
and r8, rax
xor r13, r8
xor r8, r10
mov r10, r8
mov qword [rsp + 0x138], r8
movabs rax, 0xffffffffffffe
lea r8, [r9 + rax]
sub r8, r12
mov qword [rsp + 0x160], r8
add r12, r9
lea r8, [rcx + rax]
sub r8, r15
mov qword [rsp + 0x28], r8
add r15, rcx
lea rcx, [rdx + rax]
sub rcx, r14
mov qword [rsp + 0x88], rcx
add r14, rdx
mov r8, qword [rsp + 0x110]
lea rdx, [r8 + rax]
add rdx, 0xffffffffffffffdc
mov rcx, qword [rsp + 0x148]
sub rdx, rcx
mov qword [rsp + 0x150], rdx
add rcx, r8
mov qword [rsp + 0x148], rcx
lea rcx, [rsi + rax]
sub rcx, r13
mov qword [rsp + 0xe0], rcx
add r13, rsi
mov qword [rsp + 0x110], r13
mov rcx, qword [rsp + 0x78]
lea r8, [rcx + rax]
mov rcx, rax
sub r8, r10
lea rax, [r13*8]
add rax, r13
lea r10, [rax*2]
add r10, r13
mov rax, r10
mul r8
mov qword [rsp + 0x158], rax
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x98], r15
lea rax, [r15 + r15*8]
lea r13, [r15 + rax*2]
mov rax, r13
mul r8
mov qword [rsp + 0x108], rax
mov qword [rsp + 0xd0], rdx
mov r15, rcx
lea r9, [rdi + rcx]
mov rbp, qword [rsp + 0xd8]
sub r9, rbp
mov qword [rsp + 0xc8], r14
lea rax, [r14 + r14*8]
lea rcx, [r14 + rax*2]
mov rax, rcx
mul r8
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0x40], rdx
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul r8
mov qword [rsp + 0x1b8], rax
mov qword [rsp + 0x1c0], rdx
lea rsi, [r11 + r15]
mov r14, r15
sub rsi, rbx
mov qword [rsp + 0x1c8], r10
mov rax, r10
mul rsi
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x1e0], r13
mov rax, r13
mul rsi
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0xf0], rdx
mov rax, qword [rsp + 0x90]
mov rdx, r15
add r15, rax
mov r14, r12
mov r12, qword [rsp + 0x38]
sub r15, r12
mov rax, rcx
mul rsi
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, r10
mul r15
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x130], rax
mov rax, r13
mul r15
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
add rbp, rdi
mov qword [rsp + 0xd8], rbp
mov rax, r10
mul r9
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x178], rax
mov r13, qword [rsp + 0x148]
mov rax, r13
mul r8
mov rbp, rdx
mov qword [rsp + 0x100], rax
mov rcx, r14
mov rax, r14
mul rsi
mov qword [rsp + 0x168], rax
mov r10, rdx
add rbx, r11
mov qword [rsp + 0x30], rbx
mov rax, r13
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov r14, qword [rsp + 0xc8]
mov rax, r14
mul r15
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0xb8], rdx
mov rdi, qword [rsp + 0x68]
movabs rax, 0xffffffffffffe
lea rsi, [rdi + rax]
add rsi, 0xffffffffffffffdc
mov r11, qword [rsp + 0x80]
sub rsi, r11
mov rax, rcx
mov rbx, rcx
mul r15
mov r8, rdx
mov qword [rsp + 0xc0], rax
mov rax, r13
mul r15
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rcx, qword [rsp + 0x98]
mov rax, rcx
mul r9
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
add r11, rdi
mov qword [rsp + 0x80], r11
mov rax, r14
mul r9
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x1e8], rbx
mov rax, rbx
mul r9
mov rdi, rdx
mov r11, rax
mov rax, r13
mul r9
mov r9, rax
mov qword [rsp + 0x1d0], rdx
add r12, qword [rsp + 0x90]
mov qword [rsp + 0x38], r12
mov rax, qword [rsp + 0x110]
mul rsi
mov r12, rdx
mov qword [rsp + 0x90], rax
mov rax, rcx
mul rsi
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x118], rax
mov rax, r14
mul rsi
mov qword [rsp + 0x1d8], rax
mov qword [rsp + 0x170], rdx
mov r15, qword [rsp + 0x138]
add r15, qword [rsp + 0x78]
mov rax, rbx
mul rsi
mov r14, rdx
mov rcx, rax
mov rax, r13
mul rsi
mov rbx, rax
add rbx, qword [rsp + 0x1b8]
adc rdx, qword [rsp + 0x1c0]
add rbx, qword [rsp + 0x198]
adc rdx, qword [rsp + 0x1a0]
add rbx, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x188]
add rbx, qword [rsp + 0x178]
adc rdx, qword [rsp + 0x190]
shld rdx, rbx, 0xd
movabs rax, 0x7ffffffffffff
and rbx, rax
add rcx, r9
adc r14, qword [rsp + 0x1d0]
add rcx, qword [rsp + 0xa0]
adc r14, qword [rsp + 0x40]
add rcx, qword [rsp + 0xe8]
adc r14, qword [rsp + 0xf0]
add rcx, qword [rsp + 0x130]
adc r14, qword [rsp + 0x140]
add rcx, rdx
adc r14, 0
shld r14, rcx, 0xd
and rcx, rax
add r11, qword [rsp + 0x1a8]
adc rdi, qword [rsp + 0x1b0]
add r11, qword [rsp + 0x1d8]
adc rdi, qword [rsp + 0x170]
add r11, qword [rsp + 0x108]
adc rdi, qword [rsp + 0xd0]
add r11, qword [rsp + 0xa8]
adc rdi, qword [rsp + 0xb0]
add r11, r14
adc rdi, 0
shld rdi, r11, 0xd
and r11, rax
mov r13, qword [rsp + 0xc0]
add r13, qword [rsp + 0x48]
adc r8, qword [rsp + 0x50]
add r13, qword [rsp + 0x128]
adc r8, qword [rsp + 0x68]
add r13, qword [rsp + 0x118]
adc r8, qword [rsp + 0x120]
add r13, qword [rsp + 0x158]
adc r8, qword [rsp + 0x70]
add r13, rdi
adc r8, 0
shld r8, r13, 0xd
and r13, rax
mov qword [rsp + 0xc0], r13
mov rax, qword [rsp + 0x168]
add rax, qword [rsp + 0x100]
adc r10, rbp
add rax, qword [rsp + 0xf8]
adc r10, qword [rsp + 0xb8]
add rax, qword [rsp + 0x58]
adc r10, qword [rsp + 0x60]
add rax, qword [rsp + 0x90]
adc r10, r12
add rax, r8
mov qword [rsp + 0x168], rax
adc r10, 0
shld r10, rax, 0xd
mov rdx, qword [rsp + 0xe0]
lea rax, [rdx + rdx*8]
lea rbp, [rdx + rax*2]
mov rax, rbp
mov rsi, r15
mul r15
mov qword [rsp + 0x100], rax
mov qword [rsp + 0x108], rdx
mov rdx, qword [rsp + 0x28]
lea rax, [rdx + rdx*8]
lea r15, [rdx + rax*2]
mov rax, r15
mul rsi
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xb8], rdx
mov rdx, qword [rsp + 0x88]
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r8
mul rsi
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
lea rax, [r10 + r10*8]
lea r13, [r10 + rax*2]
mov r12, qword [rsp + 0x160]
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul rsi
mov r14, rsi
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1a8], rdx
add r13, rbx
mov rax, rbp
mov rdi, qword [rsp + 0x30]
mul rdi
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x50], rax
mov qword [rsp + 0xd0], r15
mov rax, r15
mul rdi
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
mov rax, r13
shr rax, 0x33
mov rsi, rax
mov rax, r8
mul rdi
mov rbx, rdi
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x70], rbp
mov rax, rbp
mov r8, qword [rsp + 0x38]
mul r8
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1c0], rax
mov rax, r15
mul r8
mov rdi, r8
mov qword [rsp + 0x1d8], rax
mov qword [rsp + 0x170], rdx
add rsi, rcx
mov rax, rbp
mov r10, qword [rsp + 0xd8]
mul r10
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1d0], rax
mov r9, qword [rsp + 0x150]
mov rax, r9
mul r14
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xf8], rdx
mov rax, rsi
mov r14, rsi
shr rax, 0x33
mov r8, rax
mov rsi, r12
mov rax, r12
mul rbx
mov rcx, rdx
mov qword [rsp + 0x90], rax
mov rax, r9
mul rbx
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xe8], rax
mov r12, qword [rsp + 0x88]
mov rax, r12
mul rdi
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x30], rdx
add r8, r11
mov qword [rsp + 0x68], r8
mov rax, rsi
mul rdi
mov r8, rdx
mov qword [rsp + 0x78], rax
mov rax, r9
mov r11, r9
mul rdi
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x190], rax
mov r15, qword [rsp + 0x28]
mov rax, r15
mul r10
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x38], rdx
movabs rbp, 0x7ffffffffffff
and qword [rsp + 0x168], rbp
mov rax, r12
mul r10
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rsi
mul r10
mov rdi, rdx
mov rbx, rax
mov rax, r9
mul r10
mov r9, rax
mov qword [rsp + 0x1f0], rdx
and r13, rbp
mov qword [rsp + 0x158], r13
mov rax, qword [rsp + 0xe0]
mov r10, qword [rsp + 0x80]
mul r10
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xa0], rax
mov rax, r15
mul r10
mov r15, rdx
mov qword [rsp + 0x1b0], rax
mov rax, r12
mul r10
mov qword [rsp + 0x1f8], rax
mov qword [rsp + 0x200], rdx
and r14, rbp
mov qword [rsp + 0xd8], r14
mov rax, rsi
mul r10
mov r13, r10
mov r14, rdx
mov r10, rax
mov rax, r11
mov r12, r11
mul r13
add rax, qword [rsp + 0x1a0]
adc rdx, qword [rsp + 0x1a8]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x188]
add rax, qword [rsp + 0x1d8]
adc rdx, qword [rsp + 0x170]
add rax, qword [rsp + 0x1d0]
adc rdx, qword [rsp + 0x178]
shld rdx, rax, 0xd
and rax, rbp
add r10, r9
adc r14, qword [rsp + 0x1f0]
add r10, qword [rsp + 0x138]
adc r14, qword [rsp + 0x140]
add r10, qword [rsp + 0x128]
adc r14, qword [rsp + 0x130]
add r10, qword [rsp + 0x1c0]
adc r14, qword [rsp + 0x120]
add r10, rdx
adc r14, 0
shld r14, r10, 0xd
and r10, rbp
add rbx, qword [rsp + 0x190]
adc rdi, qword [rsp + 0x198]
add rbx, qword [rsp + 0x1f8]
adc rdi, qword [rsp + 0x200]
add rbx, qword [rsp + 0xb0]
adc rdi, qword [rsp + 0xb8]
add rbx, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x58]
add rbx, r14
adc rdi, 0
shld rdi, rbx, 0xd
and rbx, rbp
mov rsi, qword [rsp + 0x78]
add rsi, qword [rsp + 0xe8]
adc r8, qword [rsp + 0xf0]
add rsi, qword [rsp + 0x1b8]
adc r8, qword [rsp + 0x118]
add rsi, qword [rsp + 0x1b0]
adc r8, r15
add rsi, qword [rsp + 0x100]
adc r8, qword [rsp + 0x108]
add rsi, rdi
adc r8, 0
shld r8, rsi, 0xd
and rsi, rbp
mov qword [rsp + 0x78], rsi
mov rsi, qword [rsp + 0x90]
add rsi, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0xf8]
add rsi, qword [rsp + 0x60]
adc rcx, qword [rsp + 0x30]
add rsi, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x38]
add rsi, qword [rsp + 0xa0]
adc rcx, qword [rsp + 0x40]
add rsi, r8
adc rcx, 0
shld rcx, rsi, 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 + 0x30], rax
and rsi, rbp
mov qword [rsp + 0x90], rsi
mov rax, qword [rsp + 0x70]
mov rbx, qword [rsp + 0xe0]
mul rbx
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x80], rdx
and rcx, rbp
mov qword [rsp + 0x70], rcx
imul rcx, rbx, 0x26
mov rax, rcx
mov r10, qword [rsp + 0x28]
mul r10
mov qword [rsp + 0x108], rax
mov qword [rsp + 0xb0], rdx
imul r8, r10, 0x26
lea r9, [r10 + r10]
mov rax, qword [rsp + 0xd0]
mul r10
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xb8], rax
mov rax, rcx
mov r10, qword [rsp + 0x88]
mul r10
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xf8], rax
mov rax, r8
mul r10
mov qword [rsp + 0x50], rax
mov r8, rdx
lea rdi, [r10 + r10]
mov rax, r10
mul r10
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x58], rax
mov rax, rcx
mov r11, qword [rsp + 0x160]
mul r11
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, r9
mul r11
mov rcx, rax
mov r10, rdx
add rbx, rbx
mov rax, rdi
mul r11
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x28], rax
mov rax, r11
mul r11
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0xa8], rax
mov rax, rbx
mov rsi, r12
mul r12
mov r15, rax
mov qword [rsp + 0xa0], rdx
lea rbx, [r11 + r11]
mov rax, r9
mul r12
mov rbp, rdx
mov r12, rax
mov rax, rdi
mul rsi
mov r9, rdx
mov rdi, rax
mov rax, rbx
mul rsi
mov rbx, rax
mov r14, rdx
movabs r11, 0x7ffffffffffff
and r13, r11
mov qword [rsp + 0x160], r13
mov rax, rsi
mul rsi
add rax, qword [rsp + 0x50]
adc r8, rdx
add rax, qword [rsp + 0x40]
adc r8, qword [rsp + 0x48]
shld r8, rax, 0xd
mov rsi, r11
and rax, r11
mov r11, rax
add rcx, qword [rsp + 0x58]
adc r10, qword [rsp + 0x60]
add rcx, r15
adc r10, qword [rsp + 0xa0]
add rbx, qword [rsp + 0xb8]
adc r14, qword [rsp + 0xd0]
add rbx, qword [rsp + 0xf8]
adc r14, qword [rsp + 0x100]
add rbx, r8
adc r14, 0
shld r14, rbx, 0xd
and rbx, rsi
add rdi, qword [rsp + 0xa8]
adc r9, qword [rsp + 0xe0]
add rdi, qword [rsp + 0x108]
adc r9, qword [rsp + 0xb0]
add rdi, r14
adc r9, 0
shld r9, rdi, 0xd
add r12, qword [rsp + 0x28]
adc rbp, qword [rsp + 0x88]
add r12, qword [rsp + 0x38]
adc rbp, qword [rsp + 0x80]
add r12, r9
mov qword [rsp + 0x28], r12
adc rbp, 0
shld rbp, r12, 0xd
add rbp, rcx
mov qword [rsp + 0x88], rbp
adc r10, 0
shld r10, rbp, 0xd
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
add r11, rax
mov qword [rsp + 0x80], r11
shr r11, 0x33
add r11, rbx
mov rax, qword [rsp + 0x1c8]
mov r14, qword [rsp + 0x110]
mul r14
mov qword [rsp + 0x38], rax
mov qword [rsp + 0xe0], rdx
imul rcx, r14, 0x26
mov rax, rcx
mov r9, qword [rsp + 0x98]
mul r9
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0xd0], rax
mov rax, qword [rsp + 0x1e0]
mul r9
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0xb8], rdx
imul r8, r9, 0x26
add r9, r9
mov rax, rcx
mov r10, qword [rsp + 0xc8]
mul r10
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xb0], rax
mov rax, r8
mul r10
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, r10
mul r10
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
add r10, r10
mov rax, rcx
mov rcx, qword [rsp + 0x1e8]
mul rcx
mov qword [rsp + 0x40], rdx
mov rsi, rax
mov rax, r9
mul rcx
mov rbx, rdx
mov r15, rax
mov rax, r10
mul rcx
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x1e0], rdx
add r14, r14
mov rax, rcx
mul rcx
mov r12, rcx
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0xa8], rax
mov rax, r14
mov rcx, qword [rsp + 0x148]
mul rcx
mov r13, rdx
mov r14, rax
mov rax, r9
mul rcx
mov qword [rsp + 0xc8], 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, r11
movabs r8, 0x7ffffffffffff
and rax, r8
mov qword [rsp + 0x1c8], rax
mov rax, rcx
mul rcx
add rax, qword [rsp + 0x48]
adc rdx, qword [rsp + 0x50]
add rax, rsi
adc rdx, qword [rsp + 0x40]
shld rdx, rax, 0xd
and rax, r8
add r15, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x60]
add r15, r14
adc rbx, r13
add r12, qword [rsp + 0xf8]
adc rbp, qword [rsp + 0xb8]
add r12, qword [rsp + 0xb0]
adc rbp, qword [rsp + 0x100]
add r12, rdx
adc rbp, 0
shld rbp, r12, 0xd
and r12, r8
mov r14, r8
add r10, qword [rsp + 0xa8]
adc r9, qword [rsp + 0x110]
add r10, qword [rsp + 0xd0]
adc r9, qword [rsp + 0x150]
add r10, rbp
adc r9, 0
shld r9, r10, 0xd
mov rcx, qword [rsp + 0xc8]
add rcx, qword [rsp + 0x108]
mov rdx, qword [rsp + 0x98]
adc rdx, qword [rsp + 0x1e0]
add rcx, qword [rsp + 0x38]
adc rdx, qword [rsp + 0xe0]
add rcx, r9
adc rdx, 0
shld rdx, rcx, 0xd
mov r8, rcx
add rdx, r15
adc rbx, 0
shld rbx, rdx, 0xd
mov rsi, rdx
lea rcx, [rbx + rbx*8]
lea rcx, [rbx + rcx*2]
add rcx, rax
mov qword [rsp + 0x38], rcx
mov rax, rcx
shr rax, 0x33
add rax, r12
mov rbx, r14
and r10, r14
mov r15, rax
shr rax, 0x33
add rax, r10
mov r14, rax
and rdi, rbx
shr r11, 0x33
add r11, rdi
mov rax, qword [rsp + 0xd8]
mov rdx, qword [rsp + 0x160]
lea rcx, [rax + rdx]
mov qword [rsp + 0x1e8], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
sub rax, rdx
mov qword [rsp + 0xd8], rax
mov rcx, qword [rsp + 0x88]
and rcx, rbx
mov qword [rsp + 0x88], rcx
mov r12, rsi
and r12, rbx
mov r10, r8
and r10, rbx
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, r12
mul rcx
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x110], rdx
mov rdx, qword [rsp + 0x28]
and rdx, rbx
mov qword [rsp + 0x28], rdx
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r12
mul r8
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
mov rbp, r11
lea rax, [r11 + r11*8]
lea r9, [r11 + rax*2]
mov rax, r12
mul r9
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0x40], rdx
mov r11, qword [rsp + 0x1c8]
lea rax, [r11 + r11*8]
lea rdx, [r11 + rax*2]
mov r13, r11
mov rax, r12
mov r11, r12
mov qword [rsp + 0x98], r12
mul rdx
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x190], rax
mov rax, r10
mul rcx
mov r12, rdx
mov rsi, rax
mov rax, r10
mul r8
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x118], rdx
and r15, rbx
mov rax, r10
mov rdi, r10
mul r9
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, r14
mul rcx
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1b8], rax
mov rax, r14
mul r8
mov qword [rsp + 0x1d0], rax
mov qword [rsp + 0x1d8], rdx
mov r8, qword [rsp + 0x80]
and r8, rbx
mov rax, r15
mul rcx
mov qword [rsp + 0x1f8], rdx
mov qword [rsp + 0x1f0], rax
mov rax, r11
mul r8
mov qword [rsp + 0x60], rax
mov qword [rsp + 0xf8], rdx
mov rax, qword [rsp + 0xc0]
mov r10, qword [rsp + 0x78]
lea rcx, [rax + r10]
mov qword [rsp + 0xd0], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
mov rcx, rax
mov qword [rsp + 0xc8], rdi
mov rax, rdi
mov r9, r13
mul r13
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0x58], rax
mov rax, rdi
mul r8
mov r13, rdx
mov qword [rsp + 0x1e0], rax
mov qword [rsp + 0xe0], r14
mov rax, r14
mul rbp
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xb0], rdx
sub rcx, r10
mov qword [rsp + 0xc0], rcx
mov rax, r14
mul r9
mov rcx, r9
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xe8], rax
mov rax, r14
mov r9, r8
mul r8
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov r8, qword [rsp + 0x28]
mov rax, r8
mov qword [rsp + 0x148], r15
mul r15
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x50], rdx
mov r10, qword [rsp + 0x38]
movabs rax, 0x7ffffffffffff
and r10, rax
mov rax, rbp
mov r11, rbp
mov qword [rsp + 0x150], rbp
mul r15
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x170], rax
mov qword [rsp + 0x178], rdx
mov rax, qword [rsp + 0x158]
movabs rbx, 0xffffffffffffe
lea rdx, [rax + rbx]
add rdx, 0xffffffffffffffdc
mov qword [rsp + 0x78], rdx
add rax, qword [rsp + 0x70]
mov qword [rsp + 0x158], rax
mov rax, r15
mul r9
mov qword [rsp + 0x80], r9
mov r14, rdx
mov rbp, rax
mov rax, qword [rsp + 0x88]
mul r10
mov r15, rdx
mov rdi, qword [rsp + 0x68]
mov rdx, qword [rsp + 0x30]
add rdx, rdi
mov qword [rsp + 0xb8], rdx
add rdi, rbx
mov qword [rsp + 0x160], rax
mov rax, r8
mov qword [rsp + 0x38], r10
mul r10
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x198], rax
mov rax, r11
mul r10
mov qword [rsp + 0x240], rax
mov qword [rsp + 0x200], rdx
mov rax, qword [rsp + 0x168]
lea r11, [rax + rbx]
add rax, qword [rsp + 0x90]
mov qword [rsp + 0x168], rax
mov rax, rcx
mul r10
mov r8, rdx
mov rcx, rax
mov rax, r10
mul r9
add rax, qword [rsp + 0x1f0]
adc rdx, qword [rsp + 0x1f8]
add rax, qword [rsp + 0x190]
adc rdx, qword [rsp + 0x1a0]
add rax, qword [rsp + 0x1d0]
adc rdx, qword [rsp + 0x1d8]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x188]
mov r10, rdx
shr r10, 0x33
shld rdx, rax, 0xd
movabs r9, 0x7ffffffffffff
and rax, r9
add rsi, qword [rsp + 0x138]
adc r12, qword [rsp + 0x140]
add rbp, qword [rsp + 0x1c0]
adc r14, qword [rsp + 0x118]
add rbp, rcx
adc r14, r8
add rbp, qword [rsp + 0x1b8]
adc r14, qword [rsp + 0x120]
add rbp, qword [rsp + 0xa0]
adc r14, qword [rsp + 0x40]
add rbp, rdx
adc r14, r10
mov rcx, r14
shr rcx, 0x33
shld r14, rbp, 0xd
and rbp, r9
add rsi, qword [rsp + 0x170]
adc r12, qword [rsp + 0x178]
add rsi, qword [rsp + 0x1a8]
adc r12, qword [rsp + 0x1b0]
add rsi, qword [rsp + 0x240]
adc r12, qword [rsp + 0x200]
add rsi, r14
adc r12, rcx
mov rcx, r12
shr rcx, 0x33
shld r12, rsi, 0xd
and rsi, r9
mov rdx, qword [rsp + 0x1e0]
add rdx, qword [rsp + 0x108]
adc r13, qword [rsp + 0x110]
add rdx, qword [rsp + 0x198]
adc r13, qword [rsp + 0x68]
add rdx, qword [rsp + 0xe8]
adc r13, qword [rsp + 0xf0]
add rdx, qword [rsp + 0x128]
adc r13, qword [rsp + 0x130]
add rdx, r12
adc r13, rcx
mov rcx, r13
shr rcx, 0x33
shld r13, rdx, 0xd
and rdx, r9
mov qword [rsp + 0x1e0], rdx
mov rdx, qword [rsp + 0x160]
add rdx, qword [rsp + 0x60]
adc r15, qword [rsp + 0xf8]
add rdx, qword [rsp + 0x58]
adc r15, qword [rsp + 0x100]
add rdx, qword [rsp + 0x48]
adc r15, qword [rsp + 0x50]
add rdx, qword [rsp + 0xa8]
adc r15, qword [rsp + 0xb0]
add rdx, r13
adc r15, rcx
shld r15, rdx, 0xd
mov r8, rdx
lea rcx, [r15 + r15*8]
lea rcx, [r15 + rcx*2]
add rcx, rax
mov rdx, rcx
shr rdx, 0x33
add rdx, rbp
mov rax, rdx
shr rax, 0x33
add rax, rsi
mov qword [rsp + 0x108], rax
sub rdi, qword [rsp + 0x30]
mov r14, qword [rsp + 0x78]
sub r14, qword [rsp + 0x70]
sub r11, qword [rsp + 0x90]
mov rax, r9
and r8, r9
mov qword [rsp + 0x160], r8
and rcx, r9
mov qword [rsp + 0x110], rcx
and rdx, r9
mov qword [rsp + 0x100], rdx
movabs rax, 0xffffffffffffe
mov rbx, qword [rsp + 0x148]
add rbx, rax
add qword [rsp + 0xe0], rax
mov rcx, qword [rsp + 0xc8]
add rcx, rax
add qword [rsp + 0x98], rax
sub rbx, qword [rsp + 0x1c8]
mov qword [rsp + 0x148], rbx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x90], rdx
mov r8, qword [rsp + 0xc0]
lea rax, [r8 + r8*8]
lea r10, [r8 + rax*2]
imul rsi, r11, 0x26
mov r15, r11
mov rax, rsi
mul r8
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x48], rdx
imul r11, r8, 0x26
lea rbp, [r8 + r8]
mov rax, r10
mul r8
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x50], rax
mov rax, rdi
mul rsi
mov r8, rdx
mov r10, rax
mov rax, rdi
mul r11
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xa0], rdx
lea r9, [rdi + rdi]
mov rax, rdi
mul rdi
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0x68], rax
mov r11, qword [rsp + 0xd8]
mov rax, r11
mul rsi
mov qword [rsp + 0xe8], rdx
mov r12, rax
mov rax, r11
mul rbp
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xf8], rdx
add r15, r15
mov rax, r9
mul r11
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0x60], rax
mov rax, r11
mul r11
mov rdi, rdx
mov rsi, rax
mov rbx, r14
mov rax, r14
mul r15
mov qword [rsp + 0x70], rax
mov r15, rdx
lea r13, [r11 + r11]
mov rax, r14
mul rbp
mov rbp, rdx
mov qword [rsp + 0x30], rax
mov rax, r9
mul r14
mov r11, rdx
mov r9, rax
mov rax, r13
mul r14
mov r14, rax
mov r13, rdx
sub rcx, qword [rsp + 0x28]
mov qword [rsp + 0xc8], rcx
mov rax, rbx
mul rbx
add rax, r12
adc rdx, qword [rsp + 0xe8]
add rax, qword [rsp + 0xf0]
adc rdx, qword [rsp + 0xa0]
shld rdx, rax, 0xd
movabs rcx, 0x7ffffffffffff
and rax, rcx
add rsi, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x48]
add rsi, r9
adc rdi, r11
add r10, qword [rsp + 0x50]
adc r8, qword [rsp + 0x58]
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 + 0x30]
add rcx, qword [rsp + 0x78]
adc rbp, qword [rsp + 0x90]
add rcx, qword [rsp + 0x60]
adc rbp, qword [rsp + 0xa8]
add rcx, rdi
adc rbp, 0
shld rbp, rcx, 0xd
and rcx, rdx
mov qword [rsp + 0x30], rcx
mov rcx, qword [rsp + 0x70]
add rcx, qword [rsp + 0xb0]
adc r15, qword [rsp + 0xf8]
add rcx, qword [rsp + 0x68]
adc r15, qword [rsp + 0xc0]
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 + 0x68], rcx
mov rax, qword [rsp + 0x38]
movabs rcx, 0xffffffffffffe
lea rdi, [rax + rcx]
add rdi, 0xffffffffffffffdc
sub rdi, qword [rsp + 0x80]
mov qword [rsp + 0xf8], rdi
mov rax, qword [rsp + 0x98]
sub rax, qword [rsp + 0x88]
mov qword [rsp + 0x98], rax
mov esi, 0x1db42
mul rsi
mov rcx, rdx
mov r9, rax
mov rax, qword [rsp + 0xc8]
mul rsi
mov r10, rax
mov r15, rdx
mov rax, qword [rsp + 0xe0]
sub rax, qword [rsp + 0x150]
mov qword [rsp + 0xe0], rax
mul rsi
mov r14, rdx
mov r11, rax
mov rax, qword [rsp + 0x148]
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 + 0x70], rbp
and r12, rsi
mov qword [rsp + 0xb0], r12
and r13, rsi
mov qword [rsp + 0xa8], 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 + 0xc0], rbx
add r14, r10
adc r15, 0
shld r15, r14, 0xd
and r14, rsi
mov qword [rsp + 0xd8], 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 + 0x38], r15
and rax, rsi
mov qword [rsp + 0x90], rax
mov r8, rsi
mov rax, rcx
shr rax, 0x33
mov qword [rsp + 0x60], rax
mov rsi, qword [rsp + 0x168]
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mul rsi
mov qword [rsp + 0x50], rax
mov qword [rsp + 0x58], rdx
and rcx, r8
mov qword [rsp + 0x78], rcx
imul rcx, rsi, 0x26
mov rax, rcx
mov r8, qword [rsp + 0xd0]
mul r8
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x138], rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mul r8
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0x140], rax
mov r9, qword [rsp + 0xb8]
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 + 0x128], rdx
mov qword [rsp + 0x120], rax
mov rax, r9
mul r9
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x48], rax
mov rdi, qword [rsp + 0x1e8]
mov rax, rdi
mul rcx
mov rbx, rax
mov qword [rsp + 0x118], rdx
add r9, r9
mov rax, rdi
mul r8
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0x40], rax
mov rax, r9
mul rdi
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xf0], 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 rdi, rax
mov rax, r14
mul r8
mov r13, rdx
mov qword [rsp + 0x168], 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 + 0x118]
add rax, qword [rsp + 0x120]
adc rdx, qword [rsp + 0x128]
mov rbx, rdx
shr rbx, 0x33
shld rdx, rax, 0xd
movabs r14, 0x7ffffffffffff
and rax, r14
add r12, qword [rsp + 0x130]
adc r15, qword [rsp + 0x138]
add r12, r9
adc r15, rsi
add r11, qword [rsp + 0x140]
adc r10, qword [rsp + 0xe8]
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
mov rsi, r14
mov r9, qword [rsp + 0x168]
add r9, qword [rsp + 0x50]
adc r13, qword [rsp + 0x58]
add r9, qword [rsp + 0xf0]
adc r13, qword [rsp + 0xa0]
add r9, rdx
adc r13, r8
mov rdx, r13
shr rdx, 0x33
shld r13, r9, 0xd
and r9, r14
mov qword [rsp + 0x168], r9
add rdi, qword [rsp + 0x40]
adc rcx, qword [rsp + 0xb8]
add rdi, qword [rsp + 0x48]
adc rcx, qword [rsp + 0xd0]
add rdi, r13
mov qword [rsp + 0x158], rdi
adc rcx, rdx
shld rcx, rdi, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov qword [rsp + 0xd0], rcx
mov rax, rcx
shr rax, 0x33
add rax, r11
mov r9, rax
mov qword [rsp + 0x1e8], rax
mov rcx, qword [rsp + 0x70]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov r14, qword [rsp + 0x218]
mov rax, r14
mul rcx
mov qword [rsp + 0x50], rax
mov qword [rsp + 0x58], rdx
shr r9, 0x33
mov rdx, qword [rsp + 0x30]
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r14
mul r8
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xa0], rdx
add r9, r10
mov qword [rsp + 0xb8], r9
mov rdx, qword [rsp + 0x68]
lea rax, [rdx + rdx*8]
lea r9, [rdx + rax*2]
mov rax, r14
mul r9
mov qword [rsp + 0x140], rax
mov qword [rsp + 0xe8], rdx
mov rax, qword [rsp + 0x78]
add rax, qword [rsp + 0x1c8]
mov qword [rsp + 0x78], rax
mov r13, qword [rsp + 0xa8]
lea rax, [r13*8]
add rax, r13
lea rdx, [rax*2]
add rdx, r13
mov rax, r14
mul rdx
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1b0], rdx
mov rax, qword [rsp + 0xd8]
add rax, qword [rsp + 0x28]
mov qword [rsp + 0xd8], rax
mov r10, qword [rsp + 0x220]
mov rax, r10
mul rcx
mov r12, rdx
mov qword [rsp + 0x28], rax
mov rax, r10
mul r8
mov rsi, rdx
mov qword [rsp + 0x188], rax
mov rax, r10
mul r9
mov rdi, rax
mov rbx, rdx
mov rax, qword [rsp + 0x90]
add rax, qword [rsp + 0x80]
mov qword [rsp + 0x90], rax
mov r9, qword [rsp + 0x228]
mov rax, r9
mul rcx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x1c0], rax
mov rax, r9
mul r8
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1d0], rax
mov r8, qword [rsp + 0x230]
mov rax, r8
mul rcx
mov qword [rsp + 0x1d8], rax
mov qword [rsp + 0x170], rdx
mov rcx, qword [rsp + 0xc0]
add rcx, qword [rsp + 0x150]
mov rax, r14
mov r11, qword [rsp + 0xb0]
mul r11
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x1c8], rax
mov rax, r10
mul r13
mov r15, rdx
mov rbp, rax
mov rax, r10
mul r11
mov r14, rdx
add rcx, qword [rsp + 0x60]
mov qword [rsp + 0xc0], rcx
mov r10, rax
mov rax, r9
mov rcx, qword [rsp + 0x68]
mul rcx
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x60], rax
mov rax, r9
mul r13
mov qword [rsp + 0x138], rdx
mov qword [rsp + 0x130], rax
mov rax, r9
mul r11
mov qword [rsp + 0x198], rax
mov qword [rsp + 0x1a8], rdx
mov rax, qword [rsp + 0x38]
add rax, qword [rsp + 0x88]
mov qword [rsp + 0x38], rax
mov r9, qword [rsp + 0x30]
mov rax, r9
mul r8
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x48], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x120], rax
mov rax, r8
mul r13
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x190], rdx
movabs rcx, 0x7ffffffffffff
and qword [rsp + 0x158], rcx
mov rax, r8
mul r11
mov qword [rsp + 0x1f8], rdx
mov qword [rsp + 0x1f0], rax
mov rax, qword [rsp + 0x70]
mov r8, qword [rsp + 0x238]
mul r8
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x40], rax
mov rax, r9
mul r8
mov qword [rsp + 0x1b8], rax
mov qword [rsp + 0x30], rdx
and qword [rsp + 0xd0], rcx
mov rax, r8
mul qword [rsp + 0x68]
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x200], rax
mov rax, r8
mul r13
mov r9, rdx
mov rcx, rax
mov rax, r8
mul r11
movabs r8, 0x7ffffffffffff
and qword [rsp + 0x1e8], r8
add rdi, qword [rsp + 0x1a0]
adc rbx, qword [rsp + 0x1b0]
add rdi, qword [rsp + 0x1d0]
adc rbx, qword [rsp + 0x178]
add rdi, qword [rsp + 0x1d8]
adc rbx, qword [rsp + 0x170]
add rdi, rax
adc rbx, rdx
shld rbx, rdi, 0xd
and rdi, r8
mov rdx, r8
mov rax, qword [rsp + 0x28]
add rax, qword [rsp + 0xf0]
adc r12, qword [rsp + 0xa0]
mov r13, qword [rsp + 0x188]
add r13, qword [rsp + 0x140]
adc rsi, qword [rsp + 0xe8]
add r13, qword [rsp + 0x1c0]
adc rsi, qword [rsp + 0x118]
add r13, qword [rsp + 0x1f0]
adc rsi, qword [rsp + 0x1f8]
add r13, rcx
adc rsi, r9
add r13, rbx
adc rsi, 0
shld rsi, r13, 0xd
mov rcx, r8
and r13, r8
add rax, qword [rsp + 0x198]
adc r12, qword [rsp + 0x1a8]
add rax, qword [rsp + 0x180]
adc r12, qword [rsp + 0x190]
add rax, qword [rsp + 0x200]
adc r12, qword [rsp + 0x68]
add rax, rsi
adc r12, 0
shld r12, rax, 0xd
and rax, r8
mov qword [rsp + 0x28], rax
add r10, qword [rsp + 0x50]
adc r14, qword [rsp + 0x58]
add r10, qword [rsp + 0x130]
adc r14, qword [rsp + 0x138]
add r10, qword [rsp + 0x120]
adc r14, qword [rsp + 0x128]
add r10, qword [rsp + 0x1b8]
adc r14, qword [rsp + 0x30]
add r10, r12
adc r14, 0
shld r14, r10, 0xd
and r10, r8
add rbp, qword [rsp + 0x1c8]
adc r15, qword [rsp + 0x80]
add rbp, qword [rsp + 0x60]
adc r15, qword [rsp + 0x150]
add rbp, qword [rsp + 0x48]
adc r15, qword [rsp + 0x88]
add rbp, qword [rsp + 0x40]
adc r15, qword [rsp + 0x70]
add rbp, r14
mov qword [rsp + 0x30], rbp
adc r15, 0
shld r15, rbp, 0xd
lea rax, [r15 + r15*8]
lea rbx, [r15 + rax*2]
mov rcx, qword [rsp + 0x38]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mov r8, qword [rsp + 0x98]
mul r8
mov qword [rsp + 0x68], rax
mov qword [rsp + 0x1c8], rdx
add rbx, rdi
mov qword [rsp + 0x80], rbx
mov rdx, qword [rsp + 0xd8]
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
mov rax, rsi
mul r8
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
mov rdx, qword [rsp + 0xc0]
lea rax, [rdx + rdx*8]
lea r11, [rdx + rax*2]
mov rax, r11
mul r8
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x48], rdx
mov rbp, qword [rsp + 0x78]
lea rax, [rbp*8]
add rax, rbp
lea rax, [rax*2]
add rax, rbp
mul r8
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rcx
mov r9, qword [rsp + 0xc8]
mul r9
mov r14, rax
mov r15, rdx
shr rbx, 0x33
mov rax, rsi
mul r9
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x118], rax
mov rax, r11
mul r9
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, rcx
mov r8, qword [rsp + 0xe0]
mul r8
mov r11, rax
mov rdi, rdx
add rbx, r13
mov rax, rsi
mul r8
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, rcx
mov rsi, qword [rsp + 0x148]
mul rsi
mov qword [rsp + 0x88], rax
mov rcx, rdx
mov r13, rbx
shr r13, 0x33
mov r12, qword [rsp + 0x90]
mov rax, r12
mul qword [rsp + 0x98]
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0xa8], rax
mov rax, rbp
mul r9
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x60], rax
mov rax, r12
mul r9
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0x98], rdx
add r13, qword [rsp + 0x28]
mov qword [rsp + 0x70], r13
mov r9, qword [rsp + 0xc0]
mov rax, r9
mul r8
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0x58], rax
mov r13, rbp
mov rax, rbp
mul r8
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xe8], rax
mov rax, r12
mul r8
mov qword [rsp + 0x1a8], rax
mov qword [rsp + 0x1b0], rdx
movabs r8, 0x7ffffffffffff
and qword [rsp + 0x30], r8
mov rbp, qword [rsp + 0xd8]
mov rax, rbp
mul rsi
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0x50], rax
mov rax, r9
mul rsi
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r13
mul rsi
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x190], rdx
and qword [rsp + 0x80], r8
mov rax, r12
mul rsi
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x170], rax
mov rax, qword [rsp + 0x38]
mov r9, qword [rsp + 0xf8]
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 + 0x28], rbx
mov r8, rax
mov rax, qword [rsp + 0xc0]
mul r9
mov rbx, rdx
mov qword [rsp + 0xc0], rax
mov rax, qword [rsp + 0x78]
mul r9
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0x78], rax
mov rax, qword [rsp + 0x90]
mul r9
mov r9, qword [rsp + 0x88]
add r9, qword [rsp + 0x178]
adc rcx, qword [rsp + 0x180]
add r9, rax
adc rcx, rdx
add r9, qword [rsp + 0x1b8]
adc rcx, qword [rsp + 0x1c0]
add r9, qword [rsp + 0x198]
adc rcx, qword [rsp + 0x1a0]
mov rax, rcx
shr rax, 0x33
shld rcx, r9, 0xd
mov rdx, rbp
and r9, rbp
mov qword [rsp + 0x88], r9
add r14, qword [rsp + 0x138]
adc r15, qword [rsp + 0x140]
add r11, qword [rsp + 0x118]
adc rdi, qword [rsp + 0x120]
add r11, qword [rsp + 0x170]
adc rdi, qword [rsp + 0x148]
add r11, qword [rsp + 0x78]
adc rdi, qword [rsp + 0xd8]
add r11, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x48]
add r11, rcx
adc rdi, rax
mov rax, rdi
shr rax, 0x33
shld rdi, r11, 0xd
and r11, rbp
add r14, qword [rsp + 0x1a8]
adc r15, qword [rsp + 0x1b0]
add r14, qword [rsp + 0x188]
adc r15, qword [rsp + 0x190]
add r14, qword [rsp + 0xc0]
adc r15, rbx
add r14, rdi
mov rdi, qword [rsp + 0xd0]
adc r15, rax
mov rax, r15
shr rax, 0x33
shld r15, r14, 0xd
and r14, rbp
add r8, qword [rsp + 0x68]
adc r12, qword [rsp + 0x1c8]
add r8, qword [rsp + 0xa0]
adc r12, qword [rsp + 0x98]
add r8, qword [rsp + 0xe8]
adc r12, qword [rsp + 0xf0]
add r8, qword [rsp + 0x128]
adc r12, qword [rsp + 0x130]
add r8, r15
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 + 0x50]
adc rsi, qword [rsp + 0xe0]
add r13, qword [rsp + 0xa8]
adc rsi, qword [rsp + 0x150]
add r13, qword [rsp + 0x60]
adc rsi, qword [rsp + 0xb0]
add r13, qword [rsp + 0x58]
adc rsi, qword [rsp + 0xc8]
add r13, r12
adc rsi, rax
shld rsi, r13, 0xd
lea rax, [rsi + rsi*8]
lea rbx, [rsi + rax*2]
mov rsi, qword [rsp + 0x168]
mov r15, qword [rsp + 0x1e0]
mov rax, qword [rsp + 0x248]
add rbx, qword [rsp + 0x88]
mov r12, rbx
shr r12, 0x33
add r12, r11
mov r11d, dword [rsp + 0x20c]
mov rcx, r12
shr rcx, 0x33
add rcx, r14
mov r14, qword [rsp + 0x1e8]
mov qword [rsp + 0xc8], rcx
and r13, rbp
and rbx, rbp
and r12, rbp
add r11d, 0xffffffff
jb 0x140092f21
neg rax
mov rcx, qword [rsp + 0x110]
xor rdi, rcx
and rdi, rax
xor rdi, rcx
mov rcx, rdi
lea rdi, [rsp + 0x298]
mov qword [rdi], rcx
mov rcx, qword [rsp + 0x100]
xor r14, rcx
and r14, rax
xor r14, rcx
mov qword [rdi + 8], r14
mov rcx, qword [rsp + 0x108]
mov rdx, qword [rsp + 0xb8]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [rdi + 0x10], rdx
xor rsi, r15
and rsi, rax
xor rsi, r15
mov qword [rdi + 0x18], rsi
mov rcx, qword [rsp + 0x160]
mov rdx, qword [rsp + 0x158]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [rdi + 0x20], rdx
mov rcx, qword [rsp + 0x80]
xor rcx, rbx
and rcx, rax
xor rcx, rbx
lea rsi, [rsp + 0x270]
mov qword [rsi], rcx
mov rcx, qword [rsp + 0x28]
xor rcx, r12
and rcx, rax
xor rcx, r12
mov qword [rsi + 8], rcx
mov rcx, qword [rsp + 0xc8]
mov rdx, qword [rsp + 0x70]
xor rdx, rcx
and rdx, rax
xor rdx, rcx
mov qword [rsi + 0x10], rdx
mov rcx, qword [rsp + 0x98]
xor r10, rcx
and r10, rax
xor r10, rcx
mov qword [rsi + 0x18], r10
mov rcx, qword [rsp + 0x30]
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.1400954b0
mov rcx, rdi
mov rdx, rdi
mov r8, rsi
call fcn.14005ca40
mov rsi, qword [rsp + 0x210]
mov rcx, rsi
mov rdx, rdi
call fcn.14008f640
lea rcx, [0x140171590]
mov r8d, 0x20
mov rdx, rsi
call fcn.140050e60
xor esi, esi
test eax, eax
setne sil
mov rcx, qword [rsp + 0x320]
xor rcx, rsp
call fcn.1400a2770
mov eax, esi
add rsp, 0x328
pop rbx
pop rbp
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
ret