Function at 0x140070ac0
Capabilities:
Encrypt data using curve25519

Disassembly:
push r15
push r14
push r13
push r12
push rsi
push rdi
push rbp
push rbx
sub rsp, 0x318
mov qword [rsp + 0x208], rcx
mov rax, qword [0x14016e028]
xor rax, rsp
mov qword [rsp + 0x310], rax
movabs rdi, 0x7ffffffffffff
movabs rax, 0xaaaaaaaaaaaaaaaa
lea rsi, [rsp + 0x2b0]
mov qword [rsi + 0x20], rax
movaps xmm0, xmmword [0x140147b90]
movaps xmmword [rsi + 0x10], xmm0
movaps xmmword [rsi], xmm0
movups xmm0, xmmword [rdx]
movups xmm1, xmmword [rdx + 0x10]
movaps xmmword [rsp + 0x260], xmm0
movaps xmmword [rsp + 0x270], xmm1
and byte [rsp + 0x260], 0xf8
mov al, byte [rsp + 0x27f]
and al, 0x3f
or al, 0x40
mov byte [rsp + 0x27f], al
mov rcx, rsi
mov rdx, r8
call fcn.1400c6220
mov r10, qword [rsi]
mov rcx, qword [rsi + 8]
mov rdx, qword [rsi + 0x10]
mov r8, qword [rsi + 0x18]
mov ebx, 0xfe
xor eax, eax
mov qword [rsp + 0xb8], rax
mov r9d, 1
mov rax, qword [rsi + 0x20]
dec rdi
mov qword [rsp + 0x210], rdi
xor ebp, ebp
mov qword [rsp + 0xc0], rbp
xor esi, esi
xor r15d, r15d
xor ebp, ebp
xor edi, edi
mov qword [rsp + 0xe0], rdi
xor r12d, r12d
xor r14d, r14d
xor edi, edi
mov qword [rsp + 0xe8], rdi
mov qword [rsp + 0x238], r10
mov qword [rsp + 0x230], rcx
mov rdi, rcx
mov qword [rsp + 0x228], rdx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x220], r8
mov qword [rsp + 0x98], r8
mov qword [rsp + 0x218], rax
mov qword [rsp + 0x78], rax
mov eax, 1
mov qword [rsp + 0xb0], rax
xor eax, eax
mov qword [rsp + 0x20], rax
xor eax, eax
mov qword [rsp + 0x28], rax
xor r13d, r13d
xor eax, eax
mov qword [rsp + 0x70], rax
xor eax, eax
nop dword [rax]
mov dword [rsp + 0x200], ebx
mov ecx, ebx
shr rcx, 3
movzx edx, byte [rsp + rcx + 0x260]
mov ecx, ebx
and cl, 7
shr rdx, cl
and edx, 1
mov qword [rsp + 0x1f8], rdx
xor eax, edx
neg rax
mov r11, r10
xor r11, r9
and r11, rax
xor r9, r11
mov qword [rsp + 0x1d0], r9
xor r11, r10
mov rdx, rdi
mov r8, qword [rsp + 0xe8]
xor rdx, r8
and rdx, rax
xor r8, rdx
mov qword [rsp + 0xe8], r8
xor rdx, rdi
mov rbx, qword [rsp + 0x58]
mov r10, rbx
mov r9, r14
xor r10, r14
and r10, rax
xor r9, r10
xor r10, rbx
mov rdi, qword [rsp + 0x98]
mov rbx, rdi
mov r8, r12
xor rbx, r12
and rbx, rax
xor r8, rbx
xor rbx, rdi
mov r12, qword [rsp + 0x78]
mov rcx, r12
mov r14, qword [rsp + 0xe0]
xor rcx, r14
and rcx, rax
xor r14, rcx
xor rcx, r12
mov qword [rsp + 0x30], rcx
mov rdi, qword [rsp + 0xb0]
mov rcx, rdi
xor rcx, rbp
and rcx, rax
xor rbp, rcx
xor rcx, rdi
mov qword [rsp + 0xf0], rcx
mov rcx, qword [rsp + 0x20]
mov rdi, rcx
xor rdi, r15
and rdi, rax
xor r15, rdi
xor rdi, rcx
mov qword [rsp + 0x78], rdi
mov rcx, qword [rsp + 0x28]
mov rdi, rcx
xor rdi, rsi
and rdi, rax
xor rsi, rdi
xor rdi, rcx
mov qword [rsp + 0x28], rdi
mov rcx, r13
mov rdi, qword [rsp + 0xc0]
xor rcx, rdi
and rcx, rax
xor rdi, rcx
xor rcx, r13
mov qword [rsp + 0x20], rcx
mov rcx, qword [rsp + 0x70]
mov r13, rcx
mov r12, qword [rsp + 0xb8]
xor rcx, r12
and rcx, rax
xor r12, rcx
xor rcx, r13
mov qword [rsp + 0x68], rcx
movabs rax, 0xffffffffffffe
mov r13, qword [rsp + 0xe8]
lea rcx, [rax + r13]
sub rcx, r15
mov qword [rsp + 0xe0], rcx
add r15, r13
lea rcx, [r8 + rax]
sub rcx, rdi
mov qword [rsp + 0x160], rcx
add rdi, r8
lea rcx, [r9 + rax]
sub rcx, rsi
mov qword [rsp + 0x118], rcx
add rsi, r9
mov r8, qword [rsp + 0x1d0]
lea rcx, [r8 + rax]
add rcx, 0xffffffffffffffdc
sub rcx, rbp
mov qword [rsp + 0xe8], rcx
add rbp, r8
mov r8, rbp
lea rcx, [r14 + rax]
sub rcx, r12
mov qword [rsp + 0x70], rcx
add r12, r14
lea r9, [rdx + rax]
mov rcx, qword [rsp + 0x78]
sub r9, rcx
add rcx, rdx
mov qword [rsp + 0x78], rcx
lea rbp, [rbx + rax]
mov rcx, qword [rsp + 0x20]
sub rbp, rcx
add rcx, rbx
mov qword [rsp + 0x20], rcx
lea r13, [r11 + rax]
add r13, 0xffffffffffffffdc
mov rcx, qword [rsp + 0xf0]
sub r13, rcx
add rcx, r11
mov qword [rsp + 0xf0], rcx
lea rbx, [r10 + rax]
mov rcx, qword [rsp + 0x28]
sub rbx, rcx
add rcx, r10
mov qword [rsp + 0x28], rcx
mov rcx, qword [rsp + 0x30]
add rcx, rax
sub rcx, qword [rsp + 0x68]
lea rax, [r12 + r12*8]
lea r14, [r12 + rax*2]
mov qword [rsp + 0xb8], r12
mov rax, r14
mov qword [rsp + 0x150], r14
mul rcx
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mov r11, rdi
mov rdi, rax
mov qword [rsp + 0x158], rax
mul rcx
mov qword [rsp + 0x110], rax
mov qword [rsp + 0x170], rdx
mov rdx, rsi
lea rax, [rsi + rsi*8]
lea rsi, [rsi + rax*2]
mov r10, rdx
mov rax, rsi
mul rcx
mov qword [rsp + 0xc8], rax
mov qword [rsp + 0x38], rdx
lea rax, [r15 + r15*8]
lea rax, [r15 + rax*2]
mul rcx
mov qword [rsp + 0x1c8], rdx
mov qword [rsp + 0x1c0], rax
mov rax, r14
mul rbp
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0xd0], rax
mov rax, rdi
mul rbp
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xf8], rax
mov rax, rsi
mul rbp
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov rax, r14
mul rbx
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x138], rax
mov rax, rdi
mul rbx
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x188], rax
mov rax, r14
mul r9
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x180], rax
mov rax, rcx
mul r8
mov qword [rsp + 0x1d0], rdx
mov qword [rsp + 0x60], rax
mov rax, rbp
mul r15
mov rcx, rdx
mov qword [rsp + 0xb0], rax
mov rax, rbp
mul r8
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x80], rax
mov rax, rbx
mov rdi, r10
mul r10
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x98], rax
mov rax, rbx
mul r15
mov rbp, rdx
mov r10, rax
mov rax, rbx
mov rsi, r8
mul r8
mov qword [rsp + 0x1b8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r9
mov qword [rsp + 0xc0], r11
mul r11
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x88], rax
mov rax, r9
mul rdi
mov qword [rsp + 0xd8], rdi
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x130], rax
mov rax, r9
mul r15
mov r14, rdx
mov r8, rax
mov rax, r9
mul rsi
mov qword [rsp + 0x168], rsi
mov qword [rsp + 0x1d8], rdx
mov r9, rax
mov rax, r13
mul r12
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, r13
mul r11
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x120], rax
mov rax, r13
mul rdi
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1e0], rax
mov rax, r13
mul r15
mov rbx, rdx
mov r11, rax
mov rax, r13
mul rsi
mov r12, qword [rsp + 0x68]
add r12, qword [rsp + 0x30]
add rax, qword [rsp + 0x1c0]
adc rdx, qword [rsp + 0x1c8]
add rax, qword [rsp + 0x1a0]
adc rdx, qword [rsp + 0x1a8]
add rax, qword [rsp + 0x188]
adc rdx, qword [rsp + 0x198]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x190]
shld rdx, rax, 0xd
movabs rsi, 0x7ffffffffffff
and rax, rsi
add r11, r9
adc rbx, qword [rsp + 0x1d8]
add r11, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x38]
add r11, qword [rsp + 0xf8]
adc rbx, qword [rsp + 0x100]
add r11, qword [rsp + 0x138]
adc rbx, qword [rsp + 0x148]
add r11, rdx
adc rbx, 0
shld rbx, r11, 0xd
and r11, rsi
add r8, qword [rsp + 0x1b0]
adc r14, qword [rsp + 0x1b8]
add r8, qword [rsp + 0x1e0]
adc r14, qword [rsp + 0x178]
add r8, qword [rsp + 0x110]
adc r14, qword [rsp + 0x170]
add r8, qword [rsp + 0xd0]
adc r14, qword [rsp + 0x108]
add r8, rbx
adc r14, 0
shld r14, r8, 0xd
and r8, rsi
add r10, qword [rsp + 0x80]
adc rbp, qword [rsp + 0x40]
add r10, qword [rsp + 0x130]
adc rbp, qword [rsp + 0x140]
add r10, qword [rsp + 0x120]
adc rbp, qword [rsp + 0x128]
add r10, qword [rsp + 0xa0]
adc rbp, qword [rsp + 0xa8]
add r10, r14
adc rbp, 0
shld rbp, r10, 0xd
and r10, rsi
mov qword [rsp + 0x30], r10
mov r10, qword [rsp + 0xb0]
add r10, qword [rsp + 0x60]
adc rcx, qword [rsp + 0x1d0]
add r10, qword [rsp + 0x98]
adc rcx, qword [rsp + 0x58]
add r10, qword [rsp + 0x88]
adc rcx, qword [rsp + 0x90]
add r10, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x50]
add r10, rbp
adc rcx, 0
shld rcx, r10, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov rax, rcx
shr rax, 0x33
add rax, r11
mov qword [rsp + 0x68], rax
mov rdx, rax
shr rdx, 0x33
add rdx, r8
mov qword [rsp + 0x1d0], rdx
and r10, rsi
mov qword [rsp + 0xb0], r10
and rcx, rsi
mov qword [rsp + 0x170], rcx
mov rcx, qword [rsp + 0x70]
lea rax, [rcx + rcx*8]
lea rbx, [rcx + rax*2]
mov rax, rbx
mov rbp, r12
mul r12
mov qword [rsp + 0x58], rax
mov qword [rsp + 0xa0], rdx
mov r13, qword [rsp + 0x160]
lea rax, [r13*8]
add rax, r13
lea rsi, [rax*2]
add rsi, r13
mov rax, rsi
mov qword [rsp + 0x60], rsi
mul r12
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0x108], rdx
mov rdx, qword [rsp + 0x118]
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
mov r11, rdx
mov rax, rcx
mul r12
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xf8], rdx
mov r14, qword [rsp + 0xe0]
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul r12
mov r8, r12
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rbx
mov rbp, qword [rsp + 0x20]
mul rbp
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, rsi
mul rbp
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, rcx
mul rbp
mov r12, rbp
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x110], rbx
mov rax, rbx
mov r9, qword [rsp + 0x28]
mul r9
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x120], rax
mov rax, rsi
mul r9
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x1e0], rax
mov rax, rbx
mov r10, qword [rsp + 0x78]
mul r10
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1d8], rax
mov rsi, qword [rsp + 0xe8]
mov rax, rsi
mul r8
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x90], rax
mov rax, r14
mul rbp
mov rcx, rdx
mov qword [rsp + 0xa8], rax
mov rax, rsi
mul rbp
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0x100], rax
mov rbx, r11
mov rax, r11
mov rbp, r9
mul r9
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x50], rax
mov rax, r14
mul r9
mov r11, rdx
mov qword [rsp + 0x20], rax
mov rax, rsi
mov r9, rsi
mul rbp
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, r13
mov rbp, r10
mul r10
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rbx
mul r10
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x1c8], rax
mov rax, r14
mul r10
mov rsi, rdx
mov r8, rax
mov rax, r9
mov r10, r9
mul rbp
mov r12, rdx
mov rbp, rax
mov rax, qword [rsp + 0x70]
mov r9, qword [rsp + 0xf0]
mul r9
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x38], rax
mov rax, r13
mul r9
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rbx
mul r9
mov qword [rsp + 0x1f0], rdx
mov qword [rsp + 0x1e8], rax
mov rax, r14
mul r9
mov rbx, rdx
mov r14, rax
mov rax, r10
mul r9
movabs r9, 0x7ffffffffffff
and qword [rsp + 0x68], r9
add rax, qword [rsp + 0x1a8]
adc rdx, qword [rsp + 0x1b0]
add rax, qword [rsp + 0x188]
adc rdx, qword [rsp + 0x190]
add rax, qword [rsp + 0x1e0]
adc rdx, qword [rsp + 0x180]
add rax, qword [rsp + 0x1d8]
adc rdx, qword [rsp + 0x178]
shld rdx, rax, 0xd
and rax, r9
mov rdi, r9
add r14, rbp
adc rbx, r12
add r14, qword [rsp + 0x148]
adc rbx, qword [rsp + 0xf8]
add r14, qword [rsp + 0x138]
adc rbx, qword [rsp + 0x140]
add r14, qword [rsp + 0x120]
adc rbx, qword [rsp + 0x130]
add r14, rdx
adc rbx, 0
shld rbx, r14, 0xd
and r14, r9
add r8, qword [rsp + 0x198]
adc rsi, qword [rsp + 0x1a0]
add r8, qword [rsp + 0x1e8]
adc rsi, qword [rsp + 0x1f0]
add r8, qword [rsp + 0xd0]
adc rsi, qword [rsp + 0x108]
add r8, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x48]
add r8, rbx
adc rsi, 0
shld rsi, r8, 0xd
and r8, r9
mov r10, qword [rsp + 0x20]
add r10, qword [rsp + 0x100]
adc r11, qword [rsp + 0xc8]
add r10, qword [rsp + 0x1c8]
adc r11, qword [rsp + 0x128]
add r10, qword [rsp + 0x1b8]
adc r11, qword [rsp + 0x1c0]
add r10, qword [rsp + 0x58]
adc r11, qword [rsp + 0xa0]
add r10, rsi
adc r11, 0
shld r11, r10, 0xd
and r10, r9
mov qword [rsp + 0x20], r10
mov r9, qword [rsp + 0xa8]
add r9, qword [rsp + 0x90]
adc rcx, qword [rsp + 0x98]
add r9, qword [rsp + 0x50]
adc rcx, qword [rsp + 0x88]
add r9, qword [rsp + 0x80]
adc rcx, qword [rsp + 0x28]
add r9, qword [rsp + 0x38]
adc rcx, qword [rsp + 0x78]
add r9, r11
adc rcx, 0
shld rcx, r9, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov rdx, rcx
shr rdx, 0x33
add rdx, r14
mov rax, rdx
mov rbx, rdx
shr rax, 0x33
add rax, r8
mov qword [rsp + 0xa0], rax
and r9, rdi
mov qword [rsp + 0xa8], r9
mov rax, qword [rsp + 0x110]
mov rbp, qword [rsp + 0x70]
mul rbp
mov qword [rsp + 0x28], rax
mov qword [rsp + 0x78], rdx
and rcx, rdi
mov rsi, rdi
mov qword [rsp + 0x110], rcx
imul rcx, rbp, 0x26
mov rax, rcx
mul r13
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x98], rax
mov rax, qword [rsp + 0x60]
mul r13
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xd0], rax
mov rax, rcx
mov rdi, qword [rsp + 0x118]
mul rdi
mov qword [rsp + 0x90], rax
mov qword [rsp + 0x108], rdx
and rbx, rsi
mov qword [rsp + 0xf0], rbx
imul rax, r13, 0x26
mul rdi
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x48], rdx
mov rbx, r13
add rbx, r13
lea r14, [rdi + rdi]
mov rax, rdi
mul rdi
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x50], rax
mov rax, rcx
mov rdi, qword [rsp + 0xe0]
mul rdi
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x38], rax
mov rax, rbx
mul rdi
mov rcx, rax
mov rsi, rdx
add rbp, rbp
mov rax, r14
mul rdi
mov qword [rsp + 0x118], rax
mov qword [rsp + 0x70], rdx
lea r9, [rdi + rdi]
mov rax, rdi
mul rdi
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0x160], rax
mov rax, rbp
mov rdi, qword [rsp + 0xe8]
mul rdi
mov r13, rdx
mov r8, rax
mov rax, rbx
mul rdi
mov r11, rdx
mov r10, rax
mov rax, r14
mul rdi
mov rbx, rdx
mov r12, rax
mov rax, r9
mul rdi
mov r14, rdx
mov rbp, rax
mov rax, rdi
mul rdi
add rax, qword [rsp + 0x40]
adc rdx, qword [rsp + 0x48]
add rax, qword [rsp + 0x38]
adc rdx, qword [rsp + 0x80]
shld rdx, rax, 0xd
movabs rdi, 0x7ffffffffffff
and rax, rdi
add rcx, qword [rsp + 0x50]
adc rsi, qword [rsp + 0x88]
add rcx, r8
adc rsi, r13
add rbp, qword [rsp + 0xd0]
adc r14, qword [rsp + 0x60]
add rbp, qword [rsp + 0x90]
adc r14, qword [rsp + 0x108]
add rbp, rdx
adc r14, 0
shld r14, rbp, 0xd
and rbp, rdi
add r12, qword [rsp + 0x160]
adc rbx, qword [rsp + 0xe0]
add r12, qword [rsp + 0x98]
adc rbx, qword [rsp + 0x58]
add r12, r14
adc rbx, 0
shld rbx, r12, 0xd
add r10, qword [rsp + 0x118]
adc r11, qword [rsp + 0x70]
add r10, qword [rsp + 0x28]
adc r11, qword [rsp + 0x78]
add r10, rbx
mov qword [rsp + 0x70], r10
adc r11, 0
shld r11, r10, 0xd
add r11, rcx
adc rsi, 0
shld rsi, r11, 0xd
lea rcx, [rsi + rsi*8]
lea rcx, [rsi + rcx*2]
add rcx, rax
mov rax, rcx
mov rsi, rcx
shr rax, 0x33
add rax, rbp
mov rcx, rax
mov rbp, rax
mov rax, rdi
and rcx, rdi
mov qword [rsp + 0x160], rcx
and r12, rdi
and r11, rdi
mov qword [rsp + 0x78], r11
mov r8, rdi
mov rax, qword [rsp + 0x150]
mov rbx, qword [rsp + 0xb8]
mul rbx
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xe8], rdx
shr rbp, 0x33
mov qword [rsp + 0x28], rbp
imul rcx, rbx, 0x26
mov rax, rcx
mov rdi, qword [rsp + 0xc0]
mul rdi
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x150], rax
mov rax, qword [rsp + 0x158]
mul rdi
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x108], rax
mov rax, rcx
mov rbp, qword [rsp + 0xd8]
mul rbp
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0x98], rdx
and rsi, r8
mov qword [rsp + 0x158], rsi
imul rax, rdi, 0x26
mul rbp
mov r14, rax
mov qword [rsp + 0x40], rdx
lea rsi, [rdi + rdi]
mov rdi, rbp
add rdi, rbp
mov rax, rbp
mul rbp
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, rcx
mul r15
mov r10, rdx
mov r13, rax
mov rax, rsi
mul r15
mov r9, rax
mov r8, rdx
add rbx, rbx
mov rax, rdi
mul r15
mov qword [rsp + 0x60], rax
mov qword [rsp + 0xd8], rdx
lea rbp, [r15 + r15]
mov rax, r15
mul r15
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x88], rax
mov rax, rbx
mov rcx, qword [rsp + 0x168]
mul rcx
mov r11, rdx
mov r15, rax
mov rax, rsi
mul rcx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xc0], rax
mov rax, rdi
mul rcx
mov rdi, rdx
mov rsi, rax
mov rax, rbp
mul rcx
mov rbp, rdx
mov rbx, rax
mov rax, rcx
mul rcx
add rax, r14
adc rdx, qword [rsp + 0x40]
add rax, r13
adc rdx, r10
shld rdx, rax, 0xd
movabs rcx, 0x7ffffffffffff
and rax, rcx
add r9, qword [rsp + 0x48]
adc r8, qword [rsp + 0x50]
add r9, r15
adc r8, r11
add rbx, qword [rsp + 0x108]
adc rbp, qword [rsp + 0x58]
add rbx, qword [rsp + 0xd0]
adc rbp, qword [rsp + 0x98]
add rbx, rdx
adc rbp, 0
shld rbp, rbx, 0xd
and rbx, rcx
mov r15, rcx
add rsi, qword [rsp + 0x88]
adc rdi, qword [rsp + 0x90]
add rsi, qword [rsp + 0x150]
adc rdi, qword [rsp + 0x118]
add rsi, rbp
adc rdi, 0
shld rdi, rsi, 0xd
mov rdx, qword [rsp + 0xc0]
add rdx, qword [rsp + 0x60]
mov rbp, qword [rsp + 0xb8]
adc rbp, qword [rsp + 0xd8]
add rdx, qword [rsp + 0xe0]
adc rbp, qword [rsp + 0xe8]
add rdx, rdi
adc rbp, 0
shld rbp, rdx, 0xd
mov r14, rdx
add rbp, r9
adc r8, 0
shld r8, rbp, 0xd
lea rdx, [r8 + r8*8]
lea r11, [r8 + rdx*2]
add r11, rax
mov rax, r11
shr rax, 0x33
add rax, rbx
and rsi, rcx
mov r8, rax
shr rax, 0x33
add rax, rsi
mov r10, rax
mov rdi, qword [rsp + 0x28]
add rdi, r12
mov rax, qword [rsp + 0x68]
mov rdx, qword [rsp + 0xf0]
lea rcx, [rdx + rax]
mov qword [rsp + 0x58], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
sub rax, rdx
mov qword [rsp + 0x68], rax
mov rax, r15
and r8, r15
mov rbx, qword [rsp + 0x70]
and rbx, r15
mov rsi, rbp
and rsi, r15
and r11, r15
mov rbp, r14
and rbp, rax
mov rax, qword [rsp + 0x30]
mov rdx, qword [rsp + 0x20]
add rdx, rax
mov qword [rsp + 0x98], rdx
add rax, rcx
mov qword [rsp + 0x30], rax
mov rcx, qword [rsp + 0x78]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mul rsi
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xe8], rdx
mov rdx, rbx
lea rax, [rbx + rbx*8]
lea r9, [rbx + rax*2]
mov r14, rbx
mov rax, rsi
mul r9
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
mov rdx, rdi
lea rax, [rdi + rdi*8]
lea rbx, [rdi + rax*2]
mov r15, rdx
mov rax, rbx
mul rsi
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0xc8], rdx
mov rdx, qword [rsp + 0x160]
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mov r13, rdx
mul rsi
mov rdi, rsi
mov qword [rsp + 0xb8], rsi
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x188], rax
mov rax, rcx
mul rbp
mov rsi, rdx
mov qword [rsp + 0x1a0], rax
mov rax, r9
mul rbp
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rbx
mul rbp
mov rbx, rbp
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1e0], rax
mov rax, r10
mul rcx
mov qword [rsp + 0x1b8], rdx
mov qword [rsp + 0x1a8], rax
mov rax, r10
mul r9
mov qword [rsp + 0x1e8], rdx
mov qword [rsp + 0x248], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x240], rdx
mov rbp, rax
mov r12, qword [rsp + 0x158]
mov rax, r12
mul rdi
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x48], rax
mov rax, r13
mov qword [rsp + 0xc0], rbx
mul rbx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x108], rax
mov rax, r12
mul rbx
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0x148], rax
mov rax, r15
mov qword [rsp + 0x150], r10
mul r10
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x40], rax
mov rax, r10
mul r13
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, r10
mul r12
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x180], rax
mov qword [rsp + 0xf0], r8
mov rax, r8
mov qword [rsp + 0x70], r14
mul r14
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x38], rax
mov rax, r15
mov qword [rsp + 0x28], r15
mul r8
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1c8], rax
mov rax, r13
mul r8
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1f0], rax
mov rax, r8
mul r12
mov r8, rdx
mov r9, rax
mov rbx, r11
mov rax, r11
mul qword [rsp + 0x78]
mov rcx, rdx
mov qword [rsp + 0xe0], rax
mov rax, r11
mul r14
mov r11, rdx
mov qword [rsp + 0x118], rax
mov rax, r15
mul rbx
mov qword [rsp + 0x250], rax
mov qword [rsp + 0x258], rdx
mov rax, qword [rsp + 0x30]
sub rax, qword [rsp + 0x20]
mov qword [rsp + 0x30], rax
mov rax, r13
mul rbx
mov rdi, rbx
mov qword [rsp + 0x168], rbx
mov rbx, rax
mov r15, rdx
mov r14, qword [rsp + 0x1d0]
mov rax, qword [rsp + 0xa0]
add rax, r14
mov qword [rsp + 0x90], rax
movabs r10, 0xffffffffffffe
add r14, r10
mov rax, r12
mul rdi
mov r13, qword [rsp + 0xb0]
mov rdi, qword [rsp + 0xa8]
add rdi, r13
mov qword [rsp + 0x88], rdi
add r13, r10
add rax, rbp
adc rdx, qword [rsp + 0x240]
add rax, qword [rsp + 0x248]
adc rdx, qword [rsp + 0x1e8]
add rax, qword [rsp + 0x188]
adc rdx, qword [rsp + 0x198]
add rax, qword [rsp + 0x1e0]
adc rdx, qword [rsp + 0x178]
mov rbp, rdx
shr rbp, 0x33
shld rdx, rax, 0xd
movabs r12, 0x7ffffffffffff
and rax, r12
mov rdi, qword [rsp + 0x1a0]
add rdi, qword [rsp + 0x128]
adc rsi, qword [rsp + 0x130]
add r9, qword [rsp + 0x1b0]
adc r8, qword [rsp + 0x1c0]
add r9, rbx
adc r8, r15
add r9, qword [rsp + 0x1a8]
adc r8, qword [rsp + 0x1b8]
add r9, qword [rsp + 0xf8]
adc r8, qword [rsp + 0xc8]
add r9, rdx
adc r8, rbp
mov rdx, r8
shr rdx, 0x33
shld r8, r9, 0xd
mov rbx, r12
and r9, r12
add rdi, qword [rsp + 0x1f0]
adc rsi, qword [rsp + 0x1d8]
add rdi, qword [rsp + 0x180]
adc rsi, qword [rsp + 0x190]
add rdi, qword [rsp + 0x250]
adc rsi, qword [rsp + 0x258]
add rdi, r8
adc rsi, rdx
mov rdx, rsi
shr rdx, 0x33
shld rsi, rdi, 0xd
and rdi, r12
mov rbp, qword [rsp + 0x118]
add rbp, qword [rsp + 0xd8]
adc r11, qword [rsp + 0xe8]
add rbp, qword [rsp + 0x148]
adc r11, qword [rsp + 0x100]
add rbp, qword [rsp + 0x138]
adc r11, qword [rsp + 0x140]
add rbp, qword [rsp + 0x1c8]
adc r11, qword [rsp + 0x120]
add rbp, rsi
adc r11, rdx
mov rdx, r11
shr rdx, 0x33
shld r11, rbp, 0xd
and rbp, r12
mov qword [rsp + 0x118], rbp
mov rbp, qword [rsp + 0xe0]
add rbp, qword [rsp + 0x48]
adc rcx, qword [rsp + 0xd0]
add rbp, qword [rsp + 0x38]
adc rcx, qword [rsp + 0x80]
add rbp, qword [rsp + 0x108]
adc rcx, qword [rsp + 0x60]
add rbp, qword [rsp + 0x40]
adc rcx, qword [rsp + 0x50]
add rbp, r11
adc rcx, rdx
shld rcx, rbp, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov rax, rcx
shr rax, 0x33
add rax, r9
mov rdx, rax
shr rdx, 0x33
add rdx, rdi
mov qword [rsp + 0x108], rdx
sub r14, qword [rsp + 0xa0]
sub r13, qword [rsp + 0xa8]
mov rdx, r12
and rbp, r12
mov qword [rsp + 0xe0], rbp
and rcx, r12
mov qword [rsp + 0x1d0], rcx
and rax, r12
mov qword [rsp + 0xe8], rax
mov rcx, qword [rsp + 0x170]
lea r12, [rcx + r10]
add r12, 0xffffffffffffffdc
sub r12, qword [rsp + 0x110]
mov rcx, qword [rsp + 0xf0]
add rcx, r10
mov r9, qword [rsp + 0x150]
add r9, r10
mov rdi, qword [rsp + 0xc0]
add rdi, r10
add qword [rsp + 0xb8], r10
sub rcx, qword [rsp + 0x160]
mov qword [rsp + 0xf0], rcx
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r13
mov rsi, r13
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x20], rdx
mov rbx, qword [rsp + 0x30]
lea rax, [rbx + rbx*8]
lea rcx, [rbx + rax*2]
imul rbp, r13, 0x26
mov rax, rbp
mul rbx
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, rcx
mul rbx
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x100], rax
mov rax, r14
mul rbp
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0xc8], rdx
sub rdi, qword [rsp + 0x70]
mov qword [rsp + 0xc0], rdi
imul rcx, rbx, 0x26
mov rax, r14
mul rcx
mov r11, rax
mov r13, rdx
lea rdi, [rbx + rbx]
lea r8, [r14 + r14]
mov rax, r14
mul r14
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0xd8], rax
mov rcx, qword [rsp + 0x68]
mov rax, rcx
mul rbp
mov r14, rdx
mov r10, rax
mov rax, rcx
mul rdi
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0x60], rdx
add rsi, rsi
mov rax, r8
mul rcx
mov qword [rsp + 0x80], rax
mov qword [rsp + 0x40], rdx
lea rbp, [rcx + rcx]
mov rax, rcx
mul rcx
mov r15, rdx
mov rcx, rax
mov rax, r12
mul rsi
mov rsi, rdx
mov qword [rsp + 0xa0], rax
mov rax, r12
mul rdi
mov rbx, rdx
mov qword [rsp + 0xb0], rax
mov rax, r8
mul r12
mov qword [rsp + 0x68], rdx
mov rdi, rax
mov rax, rbp
mul r12
mov r8, rdx
mov rbp, rax
mov rax, r12
mul r12
mov r12, r9
sub r12, qword [rsp + 0x28]
mov qword [rsp + 0x150], r12
add rax, r10
adc rdx, r14
add rax, r11
adc rdx, r13
mov r9, rdx
shr r9, 0x33
shld rdx, rax, 0xd
movabs r10, 0x7ffffffffffff
and rax, r10
add rbp, qword [rsp + 0x100]
adc r8, qword [rsp + 0x38]
add rbp, qword [rsp + 0xf8]
adc r8, qword [rsp + 0xc8]
add rbp, rdx
adc r8, r9
mov rdx, r8
shr rdx, 0x33
shld r8, rbp, 0xd
and rbp, r10
mov r9, r10
add rcx, qword [rsp + 0x48]
adc r15, qword [rsp + 0x50]
add rcx, rdi
adc r15, qword [rsp + 0x68]
add rcx, r8
adc r15, rdx
mov rdx, r15
shr rdx, 0x33
shld r15, rcx, 0xd
and rcx, r10
mov r13, qword [rsp + 0xb0]
add r13, qword [rsp + 0xa8]
adc rbx, qword [rsp + 0x20]
add r13, qword [rsp + 0x80]
adc rbx, qword [rsp + 0x40]
add r13, r15
adc rbx, rdx
mov rdx, rbx
shr rdx, 0x33
shld rbx, r13, 0xd
and r13, r10
mov qword [rsp + 0xb0], r13
mov rdi, qword [rsp + 0xa0]
add rdi, qword [rsp + 0xd0]
adc rsi, qword [rsp + 0x60]
add rdi, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0x30]
add rdi, rbx
adc rsi, rdx
shld rsi, rdi, 0xd
lea rdx, [rsi + rsi*8]
lea rdx, [rsi + rdx*2]
add rdx, rax
mov rax, rdx
shr rax, 0x33
add rax, rbp
mov rbp, rax
mov rbx, rax
shr rbp, 0x33
add rbp, rcx
mov qword [rsp + 0x60], rbp
mov rax, qword [rsp + 0x168]
movabs rcx, 0xffffffffffffe
lea rbp, [rax + rcx]
add rbp, 0xffffffffffffffdc
mov rax, r10
and rdi, r10
mov qword [rsp + 0xa0], rdi
and rdx, r10
mov qword [rsp + 0x168], rdx
and rbx, rax
mov qword [rsp + 0xd8], rbx
mov r13, rax
mov rax, qword [rsp + 0xb8]
sub rax, qword [rsp + 0x78]
mov qword [rsp + 0xb8], rax
mov ecx, 0x1db42
mul rcx
mov r8, rdx
mov r11, rax
mov rax, qword [rsp + 0xc0]
mul rcx
mov r10, rdx
mov r14, rax
mov rax, r12
mul rcx
mov r15, rdx
mov r9, rax
mov rax, qword [rsp + 0xf0]
mul rcx
mov rbx, rax
mov rsi, rdx
mov rax, rbp
sub rax, qword [rsp + 0x158]
mov qword [rsp + 0xd0], rax
mul rcx
mov rcx, rdx
shr rcx, 0x33
shld rdx, rax, 0xd
and rax, qword [rsp + 0x210]
add rdx, rbx
adc rcx, rsi
mov rsi, rcx
shld rsi, rdx, 0xd
shr rcx, 0x33
and rdx, r13
add rsi, r9
adc rcx, r15
mov rdi, rcx
shld rdi, rsi, 0xd
shr rcx, 0x33
and rsi, r13
mov qword [rsp + 0x20], rsi
add rdi, r14
adc rcx, r10
mov r9, rcx
shld r9, rdi, 0xd
mov rbp, qword [rsp + 0x170]
mov rbx, qword [rsp + 0x110]
lea rsi, [rbx + rbp]
shr rcx, 0x33
and rdi, r13
mov qword [rsp + 0x68], rdi
add r9, r11
adc rcx, r8
shld rcx, r9, 0xd
lea rbp, [rcx + rcx*8]
lea rcx, [rcx + rbp*2]
add rcx, rax
mov rax, rcx
shr rax, 0x33
add rax, rdx
mov r8, rax
mov qword [rsp + 0x30], rax
and r9, r13
mov qword [rsp + 0xa8], r9
and rcx, r13
mov qword [rsp + 0x170], rcx
mov rdi, qword [rsp + 0x88]
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mul rdi
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x48], rdx
mov rbx, qword [rsp + 0x98]
lea rax, [rbx + rbx*8]
lea rcx, [rbx + rax*2]
imul rbp, rdi, 0x26
mov rax, rbp
mul rbx
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0x100], rax
mov rax, rcx
mul rbx
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x138], rax
mov rcx, qword [rsp + 0x90]
mov rax, rcx
mul rbp
mov qword [rsp + 0x140], rax
mov qword [rsp + 0x148], rdx
mov rax, r8
shr rax, 0x33
mov qword [rsp + 0x50], rax
imul rdx, rbx, 0x26
mov rax, rcx
mul rdx
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
lea r11, [rbx + rbx]
lea r14, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x90], rax
mov rbx, qword [rsp + 0x58]
mov rax, rbx
mul rbp
mov r13, rdx
mov r12, rax
mov rax, rbx
mul r11
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x80], rdx
add rdi, rdi
mov rax, r14
mul rbx
mov qword [rsp + 0x88], rax
mov qword [rsp + 0x98], rdx
lea r15, [rbx + rbx]
mov rax, rbx
mul rbx
mov r8, rdx
mov r9, rax
mov rax, rsi
mul rdi
mov rbp, rdx
mov r10, rax
mov rax, rsi
mul r11
mov r11, rdx
mov rcx, rax
mov rax, r14
mul rsi
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x120], rax
mov rax, r15
mul rsi
mov r15, rdx
mov rbx, rax
mov rax, rsi
mul rsi
mov rdi, qword [rsp + 0x30]
movabs r14, 0x7ffffffffffff
and rdi, r14
add rax, r12
adc rdx, r13
add rax, qword [rsp + 0x128]
adc rdx, qword [rsp + 0x130]
mov rsi, rdx
shr rsi, 0x33
shld rdx, rax, 0xd
and rax, r14
add rbx, qword [rsp + 0x138]
adc r15, qword [rsp + 0xf8]
add rbx, qword [rsp + 0x140]
adc r15, qword [rsp + 0x148]
add rbx, rdx
adc r15, rsi
mov rdx, r15
shr rdx, 0x33
shld r15, rbx, 0xd
and rbx, r14
add r9, qword [rsp + 0x100]
adc r8, qword [rsp + 0xc8]
add r9, qword [rsp + 0x120]
adc r8, qword [rsp + 0x58]
add r9, r15
adc r8, rdx
mov rdx, r8
shr rdx, 0x33
shld r8, r9, 0xd
and r9, r14
add rcx, qword [rsp + 0x40]
adc r11, qword [rsp + 0x48]
add rcx, qword [rsp + 0x88]
adc r11, qword [rsp + 0x98]
add rcx, r8
adc r11, rdx
mov rdx, r11
shr rdx, 0x33
shld r11, rcx, 0xd
and rcx, r14
mov qword [rsp + 0x98], rcx
add r10, qword [rsp + 0x38]
adc rbp, qword [rsp + 0x80]
add r10, qword [rsp + 0x90]
adc rbp, qword [rsp + 0x110]
add r10, r11
adc rbp, rdx
shld rbp, r10, 0xd
lea rdx, [rbp*8]
add rdx, rbp
lea rcx, [rdx*2]
add rcx, rbp
add rcx, rax
mov rax, rcx
shr rax, 0x33
add rax, rbx
mov qword [rsp + 0x110], rax
shr rax, 0x33
add rax, r9
mov qword [rsp + 0x58], rax
add rdi, qword [rsp + 0x160]
mov qword [rsp + 0x30], rdi
mov rax, qword [rsp + 0x68]
add rax, qword [rsp + 0x70]
mov qword [rsp + 0x68], rax
mov rax, qword [rsp + 0x170]
add rax, qword [rsp + 0x158]
mov qword [rsp + 0x170], rax
mov rax, qword [rsp + 0x20]
add rax, qword [rsp + 0x28]
add rax, qword [rsp + 0x50]
mov qword [rsp + 0x20], rax
mov rax, qword [rsp + 0xa8]
add rax, qword [rsp + 0x78]
mov qword [rsp + 0xa8], rax
mov rax, r14
and r10, r14
mov qword [rsp + 0x78], r10
and rcx, r14
mov qword [rsp + 0x160], rcx
mov rcx, qword [rsp + 0xa0]
lea rax, [rcx + rcx*8]
lea rbp, [rcx + rax*2]
mov rax, rbp
mov r14, qword [rsp + 0x218]
mul r14
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x28], rdx
mov rcx, qword [rsp + 0xb0]
lea rax, [rcx + rcx*8]
lea r8, [rcx + rax*2]
mov rax, r8
mul r14
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x138], rdx
mov r9, qword [rsp + 0x60]
lea rax, [r9 + r9*8]
lea rbx, [r9 + rax*2]
mov rax, rbx
mul r14
mov qword [rsp + 0xc8], rax
mov qword [rsp + 0x80], rdx
mov r13, qword [rsp + 0xd8]
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r14
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rbp
mov rcx, qword [rsp + 0x220]
mul rcx
mov r11, rdx
mov r15, rax
mov rax, r8
mul rcx
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x190], rax
mov rax, rbp
mov rsi, qword [rsp + 0x228]
mul rsi
mov rbx, rdx
mov r12, rax
mov rax, r8
mul rsi
mov qword [rsp + 0x1e0], rdx
mov qword [rsp + 0x1d8], rax
mov rax, rbp
mov r8, qword [rsp + 0x230]
mul r8
mov rbp, rdx
mov r10, rax
mov rdi, qword [rsp + 0x168]
mov rax, rdi
mul r14
mov qword [rsp + 0x158], rdx
mov qword [rsp + 0x88], rax
mov rax, r13
mul rcx
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x148], rax
mov rax, r9
mul rsi
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, r13
mul rsi
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x128], rax
mov rcx, rdi
mov rax, rdi
mul rsi
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x188], rax
mov rdi, qword [rsp + 0xb0]
mov rax, rdi
mul r8
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x100], rax
mov rax, r9
mul r8
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1c8], rax
mov rax, r13
mul r8
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, rcx
mul r8
mov qword [rsp + 0x1f0], rdx
mov qword [rsp + 0x1e8], rax
mov rax, qword [rsp + 0xa0]
mov rsi, qword [rsp + 0x238]
mul rsi
mov rcx, rdx
mov r9, rax
mov rax, rdi
mul rsi
mov r14, rdx
mov r13, rax
mov rax, qword [rsp + 0x60]
mul rsi
mov rdi, rdx
mov qword [rsp + 0xb0], rax
mov rax, qword [rsp + 0xd8]
mul rsi
mov qword [rsp + 0xa0], rdx
mov r8, rax
mov rax, qword [rsp + 0x168]
mul rsi
movabs rsi, 0x7ffffffffffff
and qword [rsp + 0x110], rsi
add r10, qword [rsp + 0x1d8]
adc rbp, qword [rsp + 0x1e0]
add r10, rax
adc rbp, rdx
add r10, qword [rsp + 0x1a8]
adc rbp, qword [rsp + 0x1b0]
add r10, qword [rsp + 0x190]
adc rbp, qword [rsp + 0x1a0]
shld rbp, r10, 0xd
and r10, rsi
mov rdx, rsi
add r15, qword [rsp + 0x130]
adc r11, qword [rsp + 0x138]
add r12, qword [rsp + 0x1b8]
adc rbx, qword [rsp + 0x1c0]
add r12, qword [rsp + 0x1e8]
adc rbx, qword [rsp + 0x1f0]
add r12, r8
adc rbx, qword [rsp + 0xa0]
add r12, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x80]
add r12, rbp
adc rbx, 0
shld rbx, r12, 0xd
and r12, rsi
add r15, qword [rsp + 0x188]
adc r11, qword [rsp + 0x198]
add r15, qword [rsp + 0x178]
adc r11, qword [rsp + 0x180]
add r15, qword [rsp + 0xb0]
adc r11, rdi
add r15, rbx
adc r11, 0
shld r11, r15, 0xd
and r15, rsi
add r13, qword [rsp + 0x70]
adc r14, qword [rsp + 0x28]
add r13, qword [rsp + 0x148]
adc r14, qword [rsp + 0xf8]
add r13, qword [rsp + 0x128]
adc r14, qword [rsp + 0x140]
add r13, qword [rsp + 0x1c8]
adc r14, qword [rsp + 0x120]
add r13, r11
adc r14, 0
shld r14, r13, 0xd
and r13, rsi
add r9, qword [rsp + 0x100]
adc rcx, qword [rsp + 0x38]
add r9, qword [rsp + 0x88]
adc rcx, qword [rsp + 0x158]
add r9, qword [rsp + 0x50]
adc rcx, qword [rsp + 0x90]
add r9, qword [rsp + 0x40]
adc rcx, qword [rsp + 0x48]
add r9, r14
adc rcx, 0
shld rcx, r9, 0xd
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
add rcx, r10
mov r11, rcx
shr r11, 0x33
add r11, r12
mov rax, r11
shr rax, 0x33
add rax, r15
mov qword [rsp + 0x28], rax
mov rax, rsi
and r9, rsi
mov qword [rsp + 0x70], r9
and rcx, rsi
mov qword [rsp + 0xb0], rcx
mov rcx, qword [rsp + 0xa8]
lea rax, [rcx + rcx*8]
lea rbp, [rcx + rax*2]
mov rax, rbp
mov rdi, qword [rsp + 0xb8]
mul rdi
mov qword [rsp + 0x158], rax
mov qword [rsp + 0xa0], rdx
mov rcx, qword [rsp + 0x68]
lea rax, [rcx + rcx*8]
lea rbx, [rcx + rax*2]
mov rax, rbx
mul rdi
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x100], rdx
mov rcx, qword [rsp + 0x20]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mul rdi
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x48], rdx
mov rdx, qword [rsp + 0x30]
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mul rdi
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x1c8], rax
mov rax, rbp
mov rsi, qword [rsp + 0xc0]
mul rsi
mov r9, rdx
mov qword [rsp + 0x128], rax
mov rax, rbx
mul rsi
mov qword [rsp + 0x138], rdx
mov qword [rsp + 0x130], rax
mov rax, rcx
mul rsi
mov r14, rsi
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rbp
mov rsi, qword [rsp + 0x150]
mul rsi
mov r10, rdx
mov rcx, rax
mov rax, rbx
mul rsi
mov rbx, rsi
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov rax, rbp
mov r15, qword [rsp + 0xf0]
mul r15
mov r8, rdx
mov rsi, rax
mov r12, qword [rsp + 0x170]
mov rax, r12
mul rdi
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xd8], rax
mov rbp, qword [rsp + 0x30]
mov rax, rbp
mul r14
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x60], rax
mov rax, r12
mul r14
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0x80], rax
mov rdi, qword [rsp + 0x20]
mov rax, rdi
mul rbx
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x88], rax
mov rax, rbp
mul rbx
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0xc8], rax
mov rax, r12
mul rbx
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov r14, qword [rsp + 0x68]
mov rax, r14
mul r15
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x50], rax
mov rax, rdi
mul r15
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x140], rax
mov rax, rbp
mul r15
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, r12
mul r15
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, qword [rsp + 0xa8]
mov rdi, qword [rsp + 0xd0]
mul rdi
mov r15, rdx
mov rbx, rax
mov rax, r14
mul rdi
mov r14, rdx
mov rbp, rax
mov rax, qword [rsp + 0x20]
mul rdi
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0x68], rax
mov rax, qword [rsp + 0x30]
mul rdi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0xa8], rax
mov rax, r12
mul rdi
movabs rdi, 0x7ffffffffffff
and r11, rdi
mov qword [rsp + 0x20], r11
add rsi, qword [rsp + 0x188]
adc r8, qword [rsp + 0x190]
add rsi, rax
adc r8, rdx
add rsi, qword [rsp + 0x1c8]
adc r8, qword [rsp + 0x120]
add rsi, qword [rsp + 0x1a8]
adc r8, qword [rsp + 0x1b0]
mov rax, r8
shr rax, 0x33
shld r8, rsi, 0xd
and rsi, rdi
mov rdx, rdi
mov rdi, qword [rsp + 0x128]
add rdi, qword [rsp + 0xf8]
adc r9, qword [rsp + 0x100]
add rcx, qword [rsp + 0x130]
adc r10, qword [rsp + 0x138]
add rcx, qword [rsp + 0x178]
adc r10, qword [rsp + 0x180]
add rcx, qword [rsp + 0xa8]
adc r10, qword [rsp + 0x30]
add rcx, qword [rsp + 0x40]
adc r10, qword [rsp + 0x48]
add rcx, r8
adc r10, rax
mov rax, r10
shr rax, 0x33
shld r10, rcx, 0xd
and rcx, rdx
add rdi, qword [rsp + 0x1b8]
adc r9, qword [rsp + 0x1c0]
add rdi, qword [rsp + 0x198]
adc r9, qword [rsp + 0x1a0]
add rdi, qword [rsp + 0x68]
adc r9, qword [rsp + 0xf0]
add rdi, r10
mov r10, qword [rsp + 0x160]
adc r9, rax
mov rax, r9
shr rax, 0x33
shld r9, rdi, 0xd
and rdi, rdx
add rbp, qword [rsp + 0x158]
adc r14, qword [rsp + 0xa0]
add rbp, qword [rsp + 0x80]
adc r14, qword [rsp + 0xc0]
add rbp, qword [rsp + 0xc8]
adc r14, qword [rsp + 0x38]
add rbp, qword [rsp + 0x140]
adc r14, qword [rsp + 0x148]
add rbp, r9
adc r14, rax
mov rax, r14
shr rax, 0x33
shld r14, rbp, 0xd
and rbp, rdx
mov qword [rsp + 0xc0], rbp
add rbx, qword [rsp + 0x50]
adc r15, qword [rsp + 0x150]
add rbx, qword [rsp + 0xd8]
adc r15, qword [rsp + 0xb8]
add rbx, qword [rsp + 0x60]
adc r15, qword [rsp + 0x168]
add rbx, qword [rsp + 0x88]
adc r15, qword [rsp + 0x90]
add rbx, r14
mov r14, qword [rsp + 0x108]
adc r15, rax
shld r15, rbx, 0xd
lea rax, [r15 + r15*8]
lea rbp, [r15 + rax*2]
add rbp, rsi
mov r15, rbp
shr r15, 0x33
add r15, rcx
mov rcx, qword [rsp + 0x1f8]
mov rsi, r15
shr rsi, 0x33
add rsi, rdi
mov rdi, qword [rsp + 0x110]
mov r9, qword [rsp + 0x1d0]
mov r12, qword [rsp + 0x118]
mov rax, rdx
and rbx, rdx
mov qword [rsp + 0xb8], rbx
and rbp, rdx
and r15, rdx
mov eax, ecx
mov ebx, dword [rsp + 0x200]
add ebx, 0xffffffff
jb 0x140070c20
neg rcx
xor r10, r9
and r10, rcx
xor r10, r9
mov qword [rsp + 0x160], r10
mov rax, qword [rsp + 0xe8]
xor rdi, rax
and rdi, rcx
xor rdi, rax
mov rax, qword [rsp + 0x58]
xor rax, r14
and rax, rcx
xor rax, r14
mov qword [rsp + 0x58], rax
mov r14, qword [rsp + 0x98]
xor r14, r12
and r14, rcx
xor r14, r12
mov rax, qword [rsp + 0xe0]
mov rbx, qword [rsp + 0x78]
xor rbx, rax
and rbx, rcx
xor rbx, rax
mov rax, qword [rsp + 0xb0]
xor rax, rbp
and rax, rcx
xor rax, rbp
lea rbp, [rsp + 0x288]
mov qword [rbp], rax
mov rax, qword [rsp + 0x20]
xor rax, r15
and rax, rcx
xor rax, r15
mov qword [rbp + 8], rax
mov rax, qword [rsp + 0x28]
xor rax, rsi
and rax, rcx
xor rax, rsi
mov qword [rbp + 0x10], rax
mov r12, qword [rsp + 0xc0]
xor r13, r12
and r13, rcx
xor r13, r12
mov qword [rbp + 0x18], r13
mov r13, qword [rsp + 0xb8]
mov rax, qword [rsp + 0x70]
xor rax, r13
and rax, rcx
xor rax, r13
mov qword [rbp + 0x20], rax
lea rdx, [rsp + 0x2e0]
mov qword [rdx + 0x20], rax
mov rax, qword [rbp + 0x10]
mov qword [rdx + 0x10], rax
mov rax, qword [rbp + 0x18]
mov qword [rdx + 0x18], rax
movups xmm0, xmmword [rbp]
movaps xmmword [rdx], xmm0
mov rcx, rbp
mov r15, rdi
call fcn.140056ab0
mov rcx, qword [rbp + 0x20]
mov qword [rsp + 0x1f8], rcx
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
mov rax, rsi
mul rbx
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xc0], rdx
mov r11, qword [rbp + 0x18]
lea rax, [r11 + r11*8]
lea r12, [r11 + rax*2]
mov rax, r12
mul rbx
mov qword [rsp + 0x118], rax
mov qword [rsp + 0xe8], rdx
mov rcx, qword [rbp + 0x10]
mov qword [rsp + 0x38], rcx
lea rax, [rcx + rcx*8]
lea r10, [rcx + rax*2]
mov rax, r10
mul rbx
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xa0], rdx
mov r8, qword [rbp]
mov r13, qword [rbp + 8]
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul rbx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x98], rax
mov rax, rsi
mul r14
mov rdi, rdx
mov r9, rax
mov rax, r12
mul r14
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x168], rax
mov rax, r10
mul r14
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x90], rax
mov rax, rsi
mov rcx, qword [rsp + 0x58]
mul rcx
mov r10, rdx
mov rbp, rax
mov rax, r12
mul rcx
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, rsi
mul r15
mov r12, rdx
mov rsi, rax
mov rax, r8
mul rbx
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x30], rax
mov rax, r13
mul r14
mov qword [rsp + 0x20], rdx
mov qword [rsp + 0xf0], rax
mov rax, r8
mul r14
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x68], rax
mov rbx, qword [rsp + 0x38]
mov rax, rbx
mul rcx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x28], rax
mov rax, r13
mul rcx
mov qword [rsp + 0x1d0], rdx
mov qword [rsp + 0x158], rax
mov qword [rsp + 0xc8], r8
mov rax, r8
mul rcx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x200], rax
mov rax, r11
mul r15
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xb0], rax
mov rax, rbx
mul r15
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0xd8], rax
mov rax, r13
mul r15
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x88], rax
mov rax, r8
mul r15
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x80], rax
mov rax, qword [rsp + 0x1f8]
mov rcx, qword [rsp + 0x160]
mul rcx
mov r8, rdx
mov r15, rax
mov rax, r11
mul rcx
mov r11, rdx
mov r14, rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x1f8], rdx
mov qword [rsp + 0x38], rax
mov rax, r13
mul rcx
mov rbx, rcx
mov rcx, rdx
mov r13, rax
mov rax, qword [rsp + 0xc8]
mul rbx
add rsi, qword [rsp + 0x48]
adc r12, qword [rsp + 0x50]
add rsi, qword [rsp + 0x90]
adc r12, qword [rsp + 0x108]
add rsi, qword [rsp + 0x98]
adc r12, qword [rsp + 0x60]
add rsi, rax
adc r12, rdx
shld r12, rsi, 0xd
movabs rbx, 0x7ffffffffffff
and rsi, rbx
add r9, qword [rsp + 0x118]
adc rdi, qword [rsp + 0xe8]
add rbp, qword [rsp + 0x168]
adc r10, qword [rsp + 0x170]
add rbp, qword [rsp + 0xe0]
adc r10, qword [rsp + 0xa0]
add rbp, r13
adc r10, rcx
add rbp, qword [rsp + 0x80]
adc r10, qword [rsp + 0x40]
add rbp, r12
adc r10, 0
shld r10, rbp, 0xd
and rbp, rbx
add r9, qword [rsp + 0x38]
adc rdi, qword [rsp + 0x1f8]
add r9, qword [rsp + 0x88]
adc rdi, qword [rsp + 0xd0]
add r9, qword [rsp + 0x200]
adc rdi, qword [rsp + 0x58]
add r9, r10
adc rdi, 0
shld rdi, r9, 0xd
and r9, rbx
add r14, qword [rsp + 0xb8]
adc r11, qword [rsp + 0xc0]
add r14, qword [rsp + 0xd8]
adc r11, qword [rsp + 0x110]
add r14, qword [rsp + 0x158]
adc r11, qword [rsp + 0x1d0]
add r14, qword [rsp + 0x68]
adc r11, qword [rsp + 0x70]
add r14, rdi
adc r11, 0
shld r11, r14, 0xd
add r15, qword [rsp + 0xb0]
adc r8, qword [rsp + 0xa8]
add r15, qword [rsp + 0x28]
adc r8, qword [rsp + 0x78]
add r15, qword [rsp + 0xf0]
adc r8, qword [rsp + 0x20]
add r15, qword [rsp + 0x30]
adc r8, qword [rsp + 0x150]
add r15, r11
adc r8, 0
shld r8, r15, 0xd
movq xmm0, r15
movq xmm1, r14
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
add rax, rsi
mov rcx, rax
shr rcx, 0x33
add rcx, rbp
mov rdx, rcx
shr rdx, 0x33
add rdx, r9
and rax, rbx
and rcx, rbx
lea rbp, [rsp + 0x2e0]
mov qword [rbp], rax
mov qword [rbp + 8], rcx
mov qword [rbp + 0x10], rdx
punpcklqdq xmm1, xmm0
pand xmm1, xmmword [0x14015eb80]
movdqu xmmword [rbp + 0x18], xmm1
lea rdx, [rsp + 0x2e0]
mov rsi, qword [rsp + 0x208]
mov rcx, rsi
call fcn.1400086a0
lea rcx, [0x14015ef80]
mov r8d, 0x20
mov rdx, rsi
call fcn.14005e0f0
xor esi, esi
test eax, eax
setne sil
mov rcx, qword [rsp + 0x310]
xor rcx, rsp
call fcn.14007d5a0
mov eax, esi
add rsp, 0x318
pop rbx
pop rbp
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
ret