Function at 0x14008f440
Capabilities:
Encrypt data using curve25519

Disassembly:
push r15
push r14
push r13
push r12
push rsi
push rdi
push rbp
push rbx
sub rsp, 0x338
mov qword [rsp + 0x220], rcx
mov rax, qword [0x140185028]
xor rax, rsp
mov qword [rsp + 0x330], rax
movabs rdi, 0x7ffffffffffff
movabs rax, 0xaaaaaaaaaaaaaaaa
lea rsi, [rsp + 0x2d0]
mov qword [rsi + 0x20], rax
movaps xmm0, xmmword [0x140155bd0]
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.14008cd80
xorps xmm0, xmm0
movups xmmword [rsp + 0x2b0], xmm0
movups xmmword [rsp + 0x2c0], xmm0
mov qword [rsp + 0x2a8], 1
mov rax, qword [rsi]
mov rcx, qword [rsi + 8]
mov rdx, qword [rsi + 0x10]
mov r8, qword [rsi + 0x18]
mov rbp, qword [rsi + 0x20]
mov r10d, 1
mov qword [rsp + 0x100], r10
mov r10, qword [rsp + 0x2b0]
mov qword [rsp + 0x1e0], r10
mov r10, qword [rsp + 0x2b8]
mov qword [rsp + 0x1c8], r10
mov r10, qword [rsp + 0x2c0]
mov qword [rsp + 0x160], r10
mov r10, qword [rsp + 0x2c8]
mov qword [rsp + 0x158], r10
mov r11d, 0xfe
xor r12d, r12d
lea r10, [rdi - 1]
mov qword [rsp + 0x228], r10
xor esi, esi
xor r15d, r15d
xor r14d, r14d
xor ebx, ebx
mov qword [rsp + 0x250], rax
mov r13, rax
mov qword [rsp + 0x248], rcx
mov r10, rcx
mov qword [rsp + 0x240], rdx
mov rcx, rdx
mov qword [rsp + 0x238], r8
mov qword [rsp + 0xb0], r8
mov qword [rsp + 0x230], rbp
mov qword [rsp + 0x78], rbp
mov eax, 1
mov qword [rsp + 0x40], rax
xor eax, eax
mov qword [rsp + 0x30], rax
xor eax, eax
mov qword [rsp + 0x88], rax
xor edi, edi
xor eax, eax
mov qword [rsp + 0xc0], rax
xor eax, eax
mov dword [rsp + 0x21c], r11d
mov edx, r11d
shr edx, 3
movzx edx, byte [rsp + rdx + 0x260]
mov r8d, r11d
and r8d, 7
bt edx, r8d
mov edx, 0
setb dl
mov qword [rsp + 0x258], rdx
xor eax, edx
neg rax
mov rdx, r13
mov r8, qword [rsp + 0x100]
xor rdx, r8
and rdx, rax
xor r8, rdx
mov qword [rsp + 0x100], r8
xor rdx, r13
mov qword [rsp + 0x38], rdx
mov r13, r14
mov r14, r10
mov r11, r15
mov r15, qword [rsp + 0x1e0]
xor r14, r15
and r14, rax
xor r15, r14
xor r14, r10
mov rdx, rcx
mov r8, qword [rsp + 0x1c8]
xor rdx, r8
and rdx, rax
xor r8, rdx
xor rdx, rcx
mov qword [rsp + 0x28], rdx
mov rcx, rbx
mov rdx, qword [rsp + 0xb0]
mov rbx, rdx
mov r9, qword [rsp + 0x160]
xor rbx, r9
and rbx, rax
xor r9, rbx
xor rbx, rdx
mov rbp, r12
mov r12, rsi
mov rsi, qword [rsp + 0x78]
mov r10, rsi
mov rdx, qword [rsp + 0x158]
xor r10, rdx
and r10, rax
xor rdx, r10
xor r10, rsi
mov qword [rsp + 0xb8], r10
mov rsi, qword [rsp + 0x40]
mov r10, rsi
xor r10, rcx
and r10, rax
xor rcx, r10
mov qword [rsp + 0x80], rcx
xor r10, rsi
mov qword [rsp + 0x40], r10
mov rsi, qword [rsp + 0x30]
mov r10, rsi
xor r10, r13
and r10, rax
xor r13, r10
xor r10, rsi
mov qword [rsp + 0xd8], r10
mov rsi, qword [rsp + 0x88]
mov r10, rsi
xor r10, r11
and r10, rax
xor r11, r10
xor r10, rsi
mov qword [rsp + 0x30], r10
mov r10, rdi
xor r10, r12
and r10, rax
xor r12, r10
xor r10, rdi
mov qword [rsp + 0x78], r10
mov r10, qword [rsp + 0xc0]
mov rcx, r10
xor rcx, rbp
and rcx, rax
xor rbp, rcx
mov rsi, rbp
xor rcx, r10
mov r10, rcx
mov qword [rsp + 0x60], rcx
movabs rbp, 0xffffffffffffe
lea rcx, [r15 + rbp]
sub rcx, r13
mov qword [rsp + 0x140], rcx
add r13, r15
mov rdi, r13
lea rcx, [r9 + rbp]
sub rcx, r12
mov qword [rsp + 0x88], rcx
add r12, r9
lea rcx, [r8 + rbp]
sub rcx, r11
mov qword [rsp + 0x138], rcx
add r11, r8
mov r8, qword [rsp + 0x100]
lea rcx, [r8 + rbp]
add rcx, 0xffffffffffffffdc
mov r13, qword [rsp + 0x80]
sub rcx, r13
mov qword [rsp + 0x150], rcx
add r13, r8
mov qword [rsp + 0x80], r13
lea r8, [rdx + rbp]
mov rcx, rsi
sub r8, rsi
mov qword [rsp + 0x70], r8
add rcx, rdx
mov qword [rsp + 0x148], rcx
mov rdx, qword [rsp + 0xb8]
lea r9, [rdx + rbp]
sub r9, r10
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
mov rax, rsi
mul r9
mov qword [rsp + 0x168], rax
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x158], r12
lea rax, [r12 + r12*8]
lea r12, [r12 + rax*2]
mov rax, r12
mul r9
mov qword [rsp + 0x1d0], rax
mov qword [rsp + 0x100], rdx
lea r13, [r14 + rbp]
mov r10, qword [rsp + 0xd8]
sub r13, r10
mov qword [rsp + 0x160], r11
lea rax, [r11 + r11*8]
lea rcx, [r11 + rax*2]
mov rax, rcx
mul r9
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xe8], rdx
mov r11, rdi
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mul r9
mov qword [rsp + 0x118], rax
mov qword [rsp + 0x120], rdx
lea r8, [rbx + rbp]
mov r11, qword [rsp + 0x78]
sub r8, r11
mov rax, rsi
mul r8
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xc8], r12
mov rax, r12
mul r8
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x58], rdx
mov rax, qword [rsp + 0x28]
lea r15, [rax + rbp]
sub r15, qword [rsp + 0x30]
mov rax, rcx
mul r8
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x108], rax
mov rax, rsi
mov qword [rsp + 0x1c8], rsi
mul r15
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r12
mul r15
mov qword [rsp + 0x1a8], rax
mov qword [rsp + 0x1b0], rdx
add r10, r14
mov qword [rsp + 0xd8], r10
mov rax, rsi
mul r13
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rcx, qword [rsp + 0x80]
mov rax, rcx
mul r9
mov r12, rdx
mov qword [rsp + 0xf0], rax
mov rax, rdi
mul r8
mov qword [rsp + 0xc0], rax
mov r10, rdx
add r11, rbx
mov qword [rsp + 0x78], r11
mov rax, rcx
mul r8
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0xe0], rax
mov rsi, qword [rsp + 0x160]
mov rax, rsi
mul r15
mov qword [rsp + 0x68], rax
mov qword [rsp + 0xa0], rdx
mov r11, qword [rsp + 0x38]
movabs rax, 0xffffffffffffe
lea rbx, [r11 + rax]
add rbx, 0xffffffffffffffdc
mov r9, qword [rsp + 0x40]
sub rbx, r9
mov rax, rdi
mul r15
mov r14, rdx
mov rbp, rax
mov rax, rcx
mul r15
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov r8, qword [rsp + 0x158]
mov rax, r8
mul r13
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x50], rdx
add r9, r11
mov qword [rsp + 0x40], r9
mov rax, rsi
mov r15, rsi
mul r13
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov r11, rdi
mov qword [rsp + 0x1e0], rdi
mov rax, rdi
mul r13
mov r9, rdx
mov rdi, rax
mov rsi, rcx
mov rax, rcx
mul r13
mov rcx, rax
mov qword [rsp + 0x1d8], rdx
mov rax, qword [rsp + 0x28]
add qword [rsp + 0x30], rax
mov rax, qword [rsp + 0x148]
mul rbx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x38], rax
mov rax, r8
mul rbx
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, r15
mul rbx
mov qword [rsp + 0x170], rax
mov r15, rdx
mov r13, qword [rsp + 0x60]
add r13, qword [rsp + 0xb8]
mov rax, r11
mul rbx
mov r8, rdx
mov r11, rax
mov rax, rsi
mul rbx
mov rbx, rax
add rbx, qword [rsp + 0x118]
adc rdx, qword [rsp + 0x120]
add rbx, qword [rsp + 0x108]
adc rdx, qword [rsp + 0x110]
add rbx, qword [rsp + 0x1a8]
adc rdx, qword [rsp + 0x1b0]
add rbx, qword [rsp + 0x198]
adc rdx, qword [rsp + 0x1a0]
shld rdx, rbx, 0xd
movabs rax, 0x7ffffffffffff
and rbx, rax
add r11, rcx
adc r8, qword [rsp + 0x1d8]
add r11, qword [rsp + 0xa8]
adc r8, qword [rsp + 0xe8]
add r11, qword [rsp + 0x48]
adc r8, qword [rsp + 0x58]
add r11, qword [rsp + 0x128]
adc r8, qword [rsp + 0x130]
add r11, rdx
adc r8, 0
shld r8, r11, 0xd
and r11, rax
add rdi, qword [rsp + 0x188]
adc r9, qword [rsp + 0x190]
add rdi, qword [rsp + 0x170]
adc r9, r15
add rdi, qword [rsp + 0x1d0]
adc r9, qword [rsp + 0x100]
add rdi, qword [rsp + 0xb0]
adc r9, qword [rsp + 0xf8]
add rdi, r8
adc r9, 0
shld r9, rdi, 0xd
and rdi, rax
add rbp, qword [rsp + 0xe0]
adc r14, qword [rsp + 0x90]
add rbp, qword [rsp + 0x1b8]
adc r14, qword [rsp + 0x1c0]
add rbp, qword [rsp + 0x178]
adc r14, qword [rsp + 0x180]
add rbp, qword [rsp + 0x168]
adc r14, qword [rsp + 0xd0]
add rbp, r9
adc r14, 0
shld r14, rbp, 0xd
and rbp, rax
mov qword [rsp + 0xb8], rbp
mov rax, qword [rsp + 0xc0]
add rax, qword [rsp + 0xf0]
adc r10, r12
add rax, qword [rsp + 0x68]
adc r10, qword [rsp + 0xa0]
add rax, qword [rsp + 0x98]
adc r10, qword [rsp + 0x50]
add rax, qword [rsp + 0x38]
adc r10, qword [rsp + 0x28]
add rax, r14
mov qword [rsp + 0xc0], rax
adc r10, 0
shld r10, rax, 0xd
mov rcx, qword [rsp + 0x70]
lea rax, [rcx + rcx*8]
lea r12, [rcx + rax*2]
mov rax, r12
mov r14, r13
mul r13
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x100], rdx
mov rcx, qword [rsp + 0x88]
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mov r8, rax
mul r13
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xe8], rdx
mov rsi, qword [rsp + 0x138]
lea rax, [rsi + rsi*8]
lea rcx, [rsi + rax*2]
mov rax, rcx
mul r13
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x50], rdx
lea rax, [r10 + r10*8]
lea r15, [r10 + rax*2]
mov r13, qword [rsp + 0x140]
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r14
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x108], rdx
add r15, rbx
mov rax, r12
mov rbp, qword [rsp + 0x78]
mul rbp
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0x68], rax
mov rbx, r8
mov qword [rsp + 0xb0], r8
mov rax, r8
mul rbp
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0x90], rdx
mov rax, r15
shr rax, 0x33
mov r10, rax
mov rax, rcx
mul rbp
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov qword [rsp + 0xf0], r12
mov rax, r12
mov r8, qword [rsp + 0x30]
mul r8
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x110], rax
mov rax, rbx
mul r8
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x190], rdx
add r10, r11
mov rax, r12
mov rbx, qword [rsp + 0xd8]
mul rbx
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov r9, qword [rsp + 0x150]
mov rax, r9
mul r14
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
mov rax, r10
mov r14, r10
shr rax, 0x33
mov rcx, rax
mov rax, r13
mul rbp
mov r11, rdx
mov qword [rsp + 0x28], rax
mov rax, r9
mul rbp
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x118], rax
mov r12, rsi
mov rax, rsi
mul r8
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x78], rdx
add rcx, rdi
mov qword [rsp + 0xd0], rcx
mov rax, r13
mul r8
mov r10, rdx
mov qword [rsp + 0x38], rax
mov rax, r9
mov rsi, r9
mul r8
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x1d8], rax
mov rdi, qword [rsp + 0x88]
mov rax, rdi
mov rcx, rbx
mul rbx
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x30], rdx
movabs r8, 0x7ffffffffffff
and qword [rsp + 0xc0], r8
mov rax, r12
mul rbx
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, r13
mul rbx
mov r9, rdx
mov rbx, rax
mov rax, rsi
mul rcx
mov rbp, rax
mov qword [rsp + 0x1e8], rdx
and r15, r8
mov rcx, r8
mov qword [rsp + 0x1d0], r15
mov rax, qword [rsp + 0x70]
mov r8, qword [rsp + 0x40]
mul r8
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rdi
mul r8
mov r15, rdx
mov qword [rsp + 0x200], rax
mov rax, r12
mul r8
mov qword [rsp + 0x1f0], rax
mov qword [rsp + 0x1f8], rdx
and r14, rcx
mov qword [rsp + 0x168], r14
mov rax, r13
mul r8
mov rdi, r8
mov r8, rdx
mov r14, rax
mov rax, rsi
mul rdi
add rax, qword [rsp + 0x1c0]
adc rdx, qword [rsp + 0x108]
add rax, qword [rsp + 0x1a8]
adc rdx, qword [rsp + 0x1b0]
add rax, qword [rsp + 0x188]
adc rdx, qword [rsp + 0x190]
add rax, qword [rsp + 0x178]
adc rdx, qword [rsp + 0x180]
shld rdx, rax, 0xd
and rax, rcx
add r14, rbp
adc r8, qword [rsp + 0x1e8]
add r14, qword [rsp + 0x48]
adc r8, qword [rsp + 0x50]
add r14, qword [rsp + 0xe0]
adc r8, qword [rsp + 0x90]
add r14, qword [rsp + 0x110]
adc r8, qword [rsp + 0x120]
add r14, rdx
adc r8, 0
shld r8, r14, 0xd
and r14, rcx
mov r13, rcx
add rbx, qword [rsp + 0x1d8]
adc r9, qword [rsp + 0x170]
add rbx, qword [rsp + 0x1f0]
adc r9, qword [rsp + 0x1f8]
add rbx, qword [rsp + 0xa8]
adc r9, qword [rsp + 0xe8]
add rbx, qword [rsp + 0x68]
adc r9, qword [rsp + 0xa0]
add rbx, r8
adc r9, 0
shld r9, rbx, 0xd
and rbx, rcx
mov rbp, qword [rsp + 0x38]
add rbp, qword [rsp + 0x118]
adc r10, qword [rsp + 0x128]
add rbp, qword [rsp + 0x198]
adc r10, qword [rsp + 0x1a0]
add rbp, qword [rsp + 0x200]
adc r10, r15
add rbp, qword [rsp + 0xf8]
adc r10, qword [rsp + 0x100]
add rbp, r9
adc r10, 0
shld r10, rbp, 0xd
and rbp, rcx
mov qword [rsp + 0x38], rbp
mov r15, qword [rsp + 0x28]
add r15, qword [rsp + 0x58]
adc r11, qword [rsp + 0x60]
add r15, qword [rsp + 0x98]
adc r11, qword [rsp + 0x78]
add r15, qword [rsp + 0x130]
adc r11, qword [rsp + 0x30]
add r15, qword [rsp + 0x1b8]
adc r11, qword [rsp + 0xd8]
add r15, r10
adc r11, 0
shld r11, r15, 0xd
lea rcx, [r11 + r11*8]
lea rcx, [r11 + rcx*2]
add rcx, rax
mov rdx, rcx
shr rdx, 0x33
add rdx, r14
mov rax, rdx
mov rbp, rdx
shr rax, 0x33
add rax, rbx
mov qword [rsp + 0x100], rax
and r15, r13
mov qword [rsp + 0x28], r15
mov rax, qword [rsp + 0xf0]
mov rdi, qword [rsp + 0x70]
mul rdi
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x30], rdx
and rcx, r13
mov qword [rsp + 0xf8], rcx
imul r9, rdi, 0x26
mov rax, r9
mov r10, qword [rsp + 0x88]
mul r10
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0x78], rdx
imul r8, r10, 0x26
lea rcx, [r10 + r10]
mov rax, qword [rsp + 0xb0]
mul r10
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0xe8], rax
mov rax, r9
mov r11, qword [rsp + 0x138]
mul r11
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xa8], rax
mov rax, r8
mul r11
mov qword [rsp + 0x50], rax
mov r10, rdx
lea r8, [r11 + r11]
mov rax, r11
mul r11
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0x60], rax
mov rax, r9
mov r9, qword [rsp + 0x140]
mul r9
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x98], rax
mov rax, rcx
mul r9
mov r14, rax
mov r11, rdx
add rdi, rdi
mov rax, r8
mul r9
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x138], rax
mov rax, r9
mul r9
mov rsi, r9
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x58], rax
mov rax, rdi
mov r12, qword [rsp + 0x150]
mul r12
mov r9, rax
mov qword [rsp + 0x90], rdx
lea rdi, [rsi + rsi]
mov rax, rcx
mul r12
mov r15, rdx
mov rsi, rax
mov rax, r8
mul r12
mov r8, rdx
mov rbx, rax
mov rax, rdi
mul r12
mov rcx, rax
mov rdi, rdx
and rbp, r13
mov qword [rsp + 0xd8], rbp
mov rax, r12
mul r12
add rax, qword [rsp + 0x50]
adc r10, rdx
add rax, qword [rsp + 0x98]
adc r10, qword [rsp + 0x48]
shld r10, rax, 0xd
and rax, r13
mov rdx, rax
add r14, qword [rsp + 0x60]
adc r11, qword [rsp + 0xa0]
add r14, r9
adc r11, qword [rsp + 0x90]
add rcx, qword [rsp + 0xe8]
adc rdi, qword [rsp + 0x88]
add rcx, qword [rsp + 0xa8]
adc rdi, qword [rsp + 0xb0]
add rcx, r10
adc rdi, 0
shld rdi, rcx, 0xd
and rcx, r13
add rbx, qword [rsp + 0x58]
adc r8, qword [rsp + 0x68]
add rbx, qword [rsp + 0xf0]
adc r8, qword [rsp + 0x78]
add rbx, rdi
adc r8, 0
shld r8, rbx, 0xd
add rsi, qword [rsp + 0x138]
adc r15, qword [rsp + 0x70]
add rsi, qword [rsp + 0x40]
adc r15, qword [rsp + 0x30]
add rsi, r8
mov qword [rsp + 0x70], rsi
adc r15, 0
shld r15, rsi, 0xd
add r15, r14
mov qword [rsp + 0x40], r15
adc r11, 0
shld r11, r15, 0xd
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mov r9, rdx
add r9, rax
mov qword [rsp + 0x78], r9
shr r9, 0x33
add r9, rcx
mov rax, qword [rsp + 0x1c8]
mov r11, qword [rsp + 0x148]
mul r11
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
imul rcx, r11, 0x26
mov rax, rcx
mov r10, qword [rsp + 0x158]
mul r10
mov qword [rsp + 0x1c8], rdx
mov qword [rsp + 0xb0], rax
mov rax, qword [rsp + 0xc8]
mul r10
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xc8], rdx
imul r8, r10, 0x26
lea rdi, [r10 + r10]
mov rax, rcx
mov r10, qword [rsp + 0x160]
mul r10
mov qword [rsp + 0x158], rdx
mov qword [rsp + 0xe8], rax
mov rax, r8
mul r10
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x50], rax
mov rax, r10
mul r10
mov qword [rsp + 0x68], rax
mov qword [rsp + 0xa0], rdx
lea r14, [r10 + r10]
mov rax, rcx
mov rcx, qword [rsp + 0x1e0]
mul rcx
mov qword [rsp + 0x48], rdx
mov r15, rax
mov rax, rdi
mul rcx
mov rsi, rdx
mov r13, rax
mov rax, r14
mul rcx
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x160], rdx
add r11, r11
mov rax, rcx
mul rcx
mov rbp, rcx
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x60], rax
mov rax, r11
mov rcx, qword [rsp + 0x80]
mul rcx
mov r10, rdx
mov r8, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x88], rax
mov qword [rsp + 0x30], rdx
add rbp, rbp
mov rax, r14
mul rcx
mov r11, rdx
mov r12, rax
mov rax, rbp
mul rcx
mov rbp, rax
mov r14, rdx
mov rax, r9
movabs rdi, 0x7ffffffffffff
and rax, rdi
mov qword [rsp + 0x150], rax
mov rax, rcx
mul rcx
add rax, qword [rsp + 0x50]
adc rdx, qword [rsp + 0x58]
add rax, r15
adc rdx, qword [rsp + 0x48]
shld rdx, rax, 0xd
and rax, rdi
add r13, qword [rsp + 0x68]
adc rsi, qword [rsp + 0xa0]
add r13, r8
adc rsi, r10
add rbp, qword [rsp + 0xf0]
adc r14, qword [rsp + 0xc8]
add rbp, qword [rsp + 0xe8]
adc r14, qword [rsp + 0x158]
add rbp, rdx
adc r14, 0
shld r14, rbp, 0xd
and rbp, rdi
add r12, qword [rsp + 0x60]
adc r11, qword [rsp + 0x148]
add r12, qword [rsp + 0xb0]
adc r11, qword [rsp + 0x1c8]
add r12, r14
adc r11, 0
shld r11, r12, 0xd
mov r15, qword [rsp + 0x88]
add r15, qword [rsp + 0xa8]
mov rcx, qword [rsp + 0x30]
adc rcx, qword [rsp + 0x160]
add r15, qword [rsp + 0x138]
adc rcx, qword [rsp + 0x140]
add r15, r11
adc rcx, 0
shld rcx, r15, 0xd
add rcx, r13
adc rsi, 0
shld rsi, rcx, 0xd
mov r8, rcx
lea rcx, [rsi + rsi*8]
lea r14, [rsi + rcx*2]
add r14, rax
mov qword [rsp + 0x80], r14
shr r14, 0x33
add r14, rbp
and r12, rdi
mov r13, r14
shr r14, 0x33
add r14, r12
and rbx, rdi
mov r12, rdi
shr r9, 0x33
add r9, rbx
mov rax, qword [rsp + 0x168]
mov rdx, qword [rsp + 0xd8]
lea rcx, [rax + rdx]
mov qword [rsp + 0x138], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
sub rax, rdx
mov qword [rsp + 0x168], rax
mov rcx, qword [rsp + 0x40]
and rcx, rdi
mov qword [rsp + 0x40], rcx
mov rsi, r8
and rsi, rdi
mov r10, r15
and r10, rdi
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rsi
mul rcx
mov qword [rsp + 0x1c8], rax
mov qword [rsp + 0xc8], rdx
mov rdx, qword [rsp + 0x70]
and rdx, rdi
mov qword [rsp + 0x70], rdx
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, rsi
mul r8
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x48], rdx
mov rdx, r9
lea rax, [r9 + r9*8]
lea r9, [r9 + rax*2]
mov rbx, rdx
mov rax, rsi
mul r9
mov qword [rsp + 0x50], rax
mov qword [rsp + 0x60], rdx
mov r11, qword [rsp + 0x150]
lea rax, [r11 + r11*8]
lea rdx, [r11 + rax*2]
mov rax, rsi
mov qword [rsp + 0x30], rsi
mul rdx
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, r10
mul rcx
mov rbp, rdx
mov r15, rax
mov rax, r10
mul r8
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
and r13, rdi
mov rax, r10
mul r9
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, r14
mul rcx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x108], rax
mov rax, r14
mul r8
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
mov r8, qword [rsp + 0x78]
and r8, rdi
mov rax, r13
mul rcx
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x1f8], rax
mov rax, rsi
mul r8
mov r9, r8
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0x1e0], rdx
mov rax, qword [rsp + 0xb8]
mov rsi, qword [rsp + 0x38]
lea rcx, [rax + rsi]
mov qword [rsp + 0xb0], rcx
movabs rdi, 0xffffffffffffe
add rax, rdi
mov rcx, rax
mov qword [rsp + 0x88], r10
mov rax, r10
mov rdi, r11
mul r11
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, r10
mul r8
mov r11, rdx
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x148], r14
mov rax, r14
mul rbx
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x68], rdx
sub rcx, rsi
mov qword [rsp + 0xb8], rcx
mov rax, r14
mul rdi
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x110], rax
mov rax, r14
mul r8
mov r10, r8
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov r8, qword [rsp + 0x70]
mov rax, r8
mov qword [rsp + 0xd8], r13
mul r13
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0x90], rdx
mov rcx, qword [rsp + 0x80]
and rcx, r12
mov rax, rbx
mov r9, rbx
mov qword [rsp + 0x140], rbx
mul r13
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, r13
mul rdi
mov qword [rsp + 0x1e8], rax
mov qword [rsp + 0x1f0], rdx
mov rax, qword [rsp + 0x1d0]
movabs rdx, 0xffffffffffffe
add rdx, rax
add rdx, 0xffffffffffffffdc
mov qword [rsp + 0x38], rdx
add rax, qword [rsp + 0xf8]
mov qword [rsp + 0x1d0], rax
mov rax, r13
mul r10
mov rsi, r10
mov qword [rsp + 0x78], r10
mov r10, rdx
mov rbx, rax
mov rax, qword [rsp + 0x40]
mul rcx
mov r12, rdx
mov rdx, qword [rsp + 0xd0]
mov r13, qword [rsp + 0x100]
lea r14, [rdx + r13]
mov qword [rsp + 0xe8], r14
movabs r13, 0xffffffffffffe
add rdx, r13
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x158], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x200], rax
mov rax, r9
mul rcx
mov qword [rsp + 0x80], rcx
mov qword [rsp + 0x208], rax
mov qword [rsp + 0x210], rdx
mov rax, qword [rsp + 0xc0]
lea r9, [rax + r13]
add rax, qword [rsp + 0x28]
mov qword [rsp + 0xc0], rax
mov rax, rdi
mul rcx
mov rdi, rdx
mov r8, rax
mov rax, rcx
mul rsi
add rax, qword [rsp + 0x1f8]
adc rdx, qword [rsp + 0x170]
add rax, qword [rsp + 0x1b8]
adc rdx, qword [rsp + 0x1c0]
add rax, qword [rsp + 0x178]
adc rdx, qword [rsp + 0x180]
add rax, qword [rsp + 0x198]
adc rdx, qword [rsp + 0x1a0]
mov rcx, rdx
shr rcx, 0x33
shld rdx, rax, 0xd
movabs rsi, 0x7ffffffffffff
and rax, rsi
add r15, qword [rsp + 0x98]
adc rbp, qword [rsp + 0x48]
add rbx, qword [rsp + 0x128]
adc r10, qword [rsp + 0x130]
add rbx, r8
adc r10, rdi
add rbx, qword [rsp + 0x108]
adc r10, qword [rsp + 0x118]
add rbx, qword [rsp + 0x50]
adc r10, qword [rsp + 0x60]
add rbx, rdx
adc r10, rcx
mov rcx, r10
shr rcx, 0x33
shld r10, rbx, 0xd
mov rdx, rsi
and rbx, rsi
add r15, qword [rsp + 0x1e8]
adc rbp, qword [rsp + 0x1f0]
add r15, qword [rsp + 0x188]
adc rbp, qword [rsp + 0x190]
add r15, qword [rsp + 0x208]
adc rbp, qword [rsp + 0x210]
add r15, r10
adc rbp, rcx
mov rcx, rbp
shr rcx, 0x33
shld rbp, r15, 0xd
and r15, rsi
mov r10, rsi
mov rdx, qword [rsp + 0x160]
add rdx, qword [rsp + 0x1c8]
adc r11, qword [rsp + 0xc8]
add rdx, qword [rsp + 0x200]
adc r11, qword [rsp + 0x1d8]
add rdx, qword [rsp + 0x110]
adc r11, qword [rsp + 0x120]
add rdx, qword [rsp + 0x1a8]
adc r11, qword [rsp + 0x1b0]
add rdx, rbp
adc r11, rcx
mov rcx, r11
shr rcx, 0x33
shld r11, rdx, 0xd
and rdx, rsi
mov qword [rsp + 0x160], rdx
mov rdx, qword [rsp + 0x158]
add rdx, qword [rsp + 0xf0]
adc r12, qword [rsp + 0x1e0]
add rdx, qword [rsp + 0xa0]
adc r12, qword [rsp + 0xa8]
add rdx, qword [rsp + 0xe0]
adc r12, qword [rsp + 0x90]
add rdx, qword [rsp + 0x58]
adc r12, qword [rsp + 0x68]
add rdx, r11
adc r12, rcx
shld r12, rdx, 0xd
mov r8, rdx
lea rcx, [r12 + r12*8]
lea rcx, [r12 + rcx*2]
add rcx, rax
mov rdx, rcx
shr rdx, 0x33
add rdx, rbx
mov rax, rdx
shr rax, 0x33
add rax, r15
mov qword [rsp + 0x1c8], rax
mov rbx, qword [rsp + 0xd0]
sub rbx, qword [rsp + 0x100]
mov rbp, qword [rsp + 0x38]
sub rbp, qword [rsp + 0xf8]
sub r9, qword [rsp + 0x28]
mov rax, rsi
and r8, rsi
mov qword [rsp + 0x158], r8
and rcx, rsi
mov qword [rsp + 0x100], rcx
and rdx, rsi
mov qword [rsp + 0x1e0], rdx
movabs rax, 0xffffffffffffe
mov rdi, qword [rsp + 0xd8]
add rdi, rax
add qword [rsp + 0x148], rax
add qword [rsp + 0x88], rax
add qword [rsp + 0x30], rax
sub rdi, qword [rsp + 0x150]
mov qword [rsp + 0xd8], rdi
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul r9
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x28], rdx
mov r10, qword [rsp + 0xb8]
lea rax, [r10 + r10*8]
lea r8, [r10 + rax*2]
imul rcx, r9, 0x26
mov rax, rcx
mul r10
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x68], rdx
imul rsi, r10, 0x26
lea r11, [r10 + r10]
mov rax, r8
mul r10
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0x58], rax
mov rdi, rbx
mov rax, rbx
mul rcx
mov r8, rdx
mov r10, rax
mov rax, rbx
mul rsi
mov qword [rsp + 0x90], rax
mov qword [rsp + 0x98], rdx
lea r15, [rbx + rbx]
mov rax, rbx
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xc8], rax
mov rsi, qword [rsp + 0x168]
mov rax, rsi
mul rcx
mov qword [rsp + 0xe0], rdx
mov rbx, rax
mov rax, rsi
mul r11
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xf0], rdx
add r9, r9
mov rax, r15
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, rsi
mul rsi
mov r12, rdx
mov rdi, rax
mov rax, rbp
mul r9
mov qword [rsp + 0x38], rax
mov r13, rdx
lea rcx, [rsi + rsi]
mov rax, rbp
mul r11
mov r14, rdx
mov qword [rsp + 0xd0], rax
mov rax, r15
mul rbp
mov r15, rdx
mov r11, rax
mov rax, rcx
mul rbp
mov rcx, rax
mov rsi, rdx
mov r9, qword [rsp + 0x88]
sub r9, qword [rsp + 0x70]
mov qword [rsp + 0x88], r9
mov rax, rbp
mul rbp
add rax, rbx
adc rdx, qword [rsp + 0xe0]
add rax, qword [rsp + 0x90]
adc rdx, qword [rsp + 0x98]
shld rdx, rax, 0xd
movabs rbx, 0x7ffffffffffff
and rax, rbx
add rdi, qword [rsp + 0x60]
adc r12, qword [rsp + 0x68]
add rdi, r11
adc r12, r15
add r10, qword [rsp + 0x58]
adc r8, qword [rsp + 0xa0]
add r10, rcx
adc r8, rsi
add r10, rdx
adc r8, 0
shld r8, r10, 0xd
mov rcx, rbx
and r10, rbx
add r8, rdi
adc r12, 0
shld r12, r8, 0xd
and r8, rbx
mov rdi, rbx
mov rsi, qword [rsp + 0xd0]
add rsi, qword [rsp + 0xf8]
adc r14, qword [rsp + 0x28]
add rsi, qword [rsp + 0x48]
adc r14, qword [rsp + 0x50]
add rsi, r12
adc r14, 0
shld r14, rsi, 0xd
and rsi, rbx
mov qword [rsp + 0xd0], rsi
mov rcx, qword [rsp + 0x38]
add rcx, qword [rsp + 0xa8]
adc r13, qword [rsp + 0xf0]
add rcx, qword [rsp + 0xc8]
adc r13, qword [rsp + 0xb8]
add rcx, r14
adc r13, 0
shld r13, rcx, 0xd
mov r11, rcx
lea rcx, [r13*8]
add rcx, r13
lea rcx, [rcx*2]
add rcx, r13
add rcx, rax
mov rax, rcx
mov rdx, rcx
shr rax, 0x33
add rax, r10
mov rcx, rax
mov r10, rax
shr rcx, 0x33
add rcx, r8
mov qword [rsp + 0xc8], rcx
mov rax, qword [rsp + 0x80]
movabs rcx, 0xffffffffffffe
lea rbx, [rax + rcx]
add rbx, 0xffffffffffffffdc
mov rax, rdi
and r11, rdi
mov qword [rsp + 0x38], r11
and rdx, rdi
mov qword [rsp + 0xa8], rdx
and r10, rdi
mov qword [rsp + 0xa0], r10
sub rbx, qword [rsp + 0x78]
mov qword [rsp + 0xf0], rbx
mov rax, qword [rsp + 0x30]
sub rax, qword [rsp + 0x40]
mov qword [rsp + 0x30], rax
mov esi, 0x1db42
mul rsi
mov rcx, rdx
mov r8, rax
mov rax, r9
mul rsi
mov r10, rax
mov r14, rdx
mov rax, qword [rsp + 0x148]
sub rax, qword [rsp + 0x140]
mov qword [rsp + 0x148], rax
mul rsi
mov r12, rdx
mov r11, rax
mov rax, qword [rsp + 0xd8]
mul rsi
mov r15, rdx
mov r9, rax
mov rax, rbx
mul rsi
shld rdx, rax, 0xd
and rax, qword [rsp + 0x228]
add r9, rdx
adc r15, 0
shld r15, r9, 0xd
and r9, rdi
add r15, r11
adc r12, 0
shld r12, r15, 0xd
and r15, rdi
mov qword [rsp + 0x28], r15
add r12, r10
adc r14, 0
shld r14, r12, 0xd
and r12, rdi
mov qword [rsp + 0xb8], r12
add r14, r8
adc rcx, 0
shld rcx, r14, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rax, rcx
mov rcx, rax
shr rcx, 0x33
add rcx, r9
and r14, rdi
mov qword [rsp + 0x168], r14
and rax, rdi
mov qword [rsp + 0xf8], rax
mov rax, rcx
shr rax, 0x33
mov qword [rsp + 0x68], rax
mov rbx, qword [rsp + 0xc0]
lea rax, [rbx + rbx*8]
lea rax, [rbx + rax*2]
mul rbx
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
and rcx, rdi
mov qword [rsp + 0x80], rcx
imul r8, rbx, 0x26
mov rax, r8
mov rcx, qword [rsp + 0xb0]
mul rcx
mov qword [rsp + 0x130], rax
mov qword [rsp + 0xe0], rdx
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mul rcx
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x128], rax
mov r10, qword [rsp + 0xe8]
mov rax, r10
mul r8
mov r11, rax
mov r9, rdx
imul rdx, rcx, 0x26
add rcx, rcx
mov rax, r10
mul rdx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x110], rax
mov rax, r10
mul r10
mov rdi, r10
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov r10, qword [rsp + 0x138]
mov rax, r10
mul r8
mov rsi, rax
mov qword [rsp + 0x108], rdx
lea r8, [rdi + rdi]
mov rax, r10
mul rcx
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0x98], rax
mov rax, r8
mul r10
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x120], rax
mov rax, r10
mul r10
mov rdi, r10
mov r15, rax
mov r14, rdx
add rbx, rbx
mov rbp, qword [rsp + 0x1d0]
mov rax, rbp
mul rbx
mov r12, rdx
mov r10, rax
mov rax, rbp
mul rcx
mov rbx, rdx
mov rcx, rax
mov rax, r8
mul rbp
mov r13, rax
mov qword [rsp + 0xc0], rdx
lea rax, [rdi + rdi]
mul rbp
mov rdi, rdx
mov r8, rax
mov rax, rbp
mul rbp
add rax, rsi
adc rdx, qword [rsp + 0x108]
add rax, qword [rsp + 0x110]
adc rdx, qword [rsp + 0x118]
mov rsi, rdx
shr rsi, 0x33
shld rdx, rax, 0xd
movabs rbp, 0x7ffffffffffff
and rax, rbp
add r15, qword [rsp + 0x130]
adc r14, qword [rsp + 0xe0]
add r15, r13
adc r14, qword [rsp + 0xc0]
add r11, qword [rsp + 0x128]
adc r9, qword [rsp + 0x90]
add r11, r8
adc r9, rdi
add r11, rdx
adc r9, rsi
mov rdx, r9
shr rdx, 0x33
shld r9, r11, 0xd
mov rsi, rbp
and r11, rbp
add r9, r15
adc rdx, r14
mov r8, rdx
shr r8, 0x33
shld rdx, r9, 0xd
and r9, rbp
add rcx, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x60]
add rcx, qword [rsp + 0x120]
adc rbx, qword [rsp + 0xb0]
add rcx, rdx
adc rbx, r8
mov rdx, rbx
shr rdx, 0x33
shld rbx, rcx, 0xd
and rcx, rbp
mov qword [rsp + 0xb0], rcx
add r10, qword [rsp + 0x98]
adc r12, qword [rsp + 0xe8]
add r10, qword [rsp + 0x48]
adc r12, qword [rsp + 0x50]
add r10, rbx
adc r12, rdx
shld r12, r10, 0xd
lea rdx, [r12 + r12*8]
lea rcx, [r12 + rdx*2]
add rcx, rax
mov qword [rsp + 0x1d0], rcx
shr rcx, 0x33
add rcx, r11
mov r8, rcx
mov qword [rsp + 0x138], rcx
mov rcx, qword [rsp + 0x38]
lea rax, [rcx + rcx*8]
lea r15, [rcx + rax*2]
mov rcx, qword [rsp + 0x230]
mov rax, rcx
mul r15
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
mov rax, r8
shr rax, 0x33
mov r8, rax
mov rdx, qword [rsp + 0xd0]
lea rax, [rdx + rdx*8]
lea r14, [rdx + rax*2]
mov rax, rcx
mul r14
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x50], rdx
add r8, r9
mov qword [rsp + 0xe8], r8
mov rdx, qword [rsp + 0xc8]
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, rcx
mul r8
mov qword [rsp + 0x90], rax
mov qword [rsp + 0x98], rdx
mov rax, qword [rsp + 0x80]
add rax, qword [rsp + 0x150]
mov qword [rsp + 0x80], rax
mov rbp, qword [rsp + 0xa0]
lea rax, [rbp*8]
add rax, rbp
lea rdx, [rax*2]
add rdx, rbp
mov rax, rcx
mul rdx
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x108], rdx
mov rax, qword [rsp + 0xb8]
add rax, qword [rsp + 0x70]
mov qword [rsp + 0xb8], rax
mov r12, qword [rsp + 0x238]
mov rax, r12
mul r15
mov rsi, rdx
mov qword [rsp + 0x70], rax
mov rax, r12
mul r14
mov r11, rdx
mov qword [rsp + 0x1f0], rax
mov rax, r12
mul r8
mov r13, rax
mov rbx, rdx
mov rax, qword [rsp + 0xf8]
add rax, qword [rsp + 0x78]
mov qword [rsp + 0xf8], rax
mov r8, qword [rsp + 0x240]
mov rax, r8
mul r15
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x110], rax
mov rax, r8
mul r14
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov r14, qword [rsp + 0x248]
mov rax, r14
mul r15
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
mov r9, qword [rsp + 0x28]
add r9, qword [rsp + 0x140]
mov rax, rcx
mov rcx, qword [rsp + 0xa8]
mul rcx
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x140], rax
mov rax, r12
mul rbp
mov r15, rdx
mov qword [rsp + 0xc0], rax
mov rax, r12
mul rcx
mov r12, rdx
add r9, qword [rsp + 0x68]
mov qword [rsp + 0x28], r9
mov qword [rsp + 0x208], rax
mov rax, r8
mov r9, qword [rsp + 0xc8]
mul r9
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0xe0], rax
mov rax, r8
mul rbp
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x118], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x198], rax
mov qword [rsp + 0x1a0], rdx
mov rax, qword [rsp + 0x168]
add rax, qword [rsp + 0x40]
mov qword [rsp + 0x168], rax
mov rdi, qword [rsp + 0xd0]
mov rax, rdi
mul r14
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x130], rax
mov rax, r14
mul r9
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, r14
mul rbp
mov qword [rsp + 0x200], rax
mov qword [rsp + 0x1d8], rdx
movabs r8, 0x7ffffffffffff
and r10, r8
mov qword [rsp + 0x78], r10
mov rax, r14
mul rcx
mov qword [rsp + 0x1e8], rdx
mov qword [rsp + 0x210], rax
mov rax, qword [rsp + 0x38]
mov r10, qword [rsp + 0x250]
mul r10
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rdi
mul r10
mov qword [rsp + 0x170], rax
mov qword [rsp + 0xd0], rdx
and qword [rsp + 0x1d0], r8
mov rax, r10
mul r9
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0x1f8], rax
mov rax, r10
mul rbp
mov r8, rdx
mov r14, rax
mov rax, r10
mul rcx
mov rdi, qword [rsp + 0x208]
movabs rbp, 0x7ffffffffffff
and qword [rsp + 0x138], rbp
add r13, qword [rsp + 0x1c0]
adc rbx, qword [rsp + 0x108]
add r13, qword [rsp + 0x188]
adc rbx, qword [rsp + 0x190]
add r13, qword [rsp + 0x178]
adc rbx, qword [rsp + 0x180]
add r13, rax
adc rbx, rdx
shld rbx, r13, 0xd
and r13, rbp
mov r9, rbp
mov rbp, qword [rsp + 0x70]
add rbp, qword [rsp + 0x48]
adc rsi, qword [rsp + 0x50]
mov rax, qword [rsp + 0x1f0]
add rax, qword [rsp + 0x90]
adc r11, qword [rsp + 0x98]
add rax, qword [rsp + 0x110]
adc r11, qword [rsp + 0x120]
add rax, qword [rsp + 0x210]
adc r11, qword [rsp + 0x1e8]
add rax, r14
adc r11, r8
add rax, rbx
adc r11, 0
shld r11, rax, 0xd
and rax, r9
mov r14, rax
add rbp, qword [rsp + 0x198]
adc rsi, qword [rsp + 0x1a0]
add rbp, qword [rsp + 0x200]
adc rsi, qword [rsp + 0x1d8]
add rbp, qword [rsp + 0x1f8]
adc rsi, qword [rsp + 0xc8]
add rbp, r11
adc rsi, 0
shld rsi, rbp, 0xd
and rbp, r9
mov qword [rsp + 0x70], rbp
add rdi, qword [rsp + 0x58]
adc r12, qword [rsp + 0x60]
add rdi, qword [rsp + 0x118]
adc r12, qword [rsp + 0x128]
add rdi, qword [rsp + 0x1a8]
adc r12, qword [rsp + 0x1b0]
add rdi, qword [rsp + 0x170]
adc r12, qword [rsp + 0xd0]
add rdi, rsi
adc r12, 0
shld r12, rdi, 0xd
and rdi, r9
mov rax, qword [rsp + 0xc0]
add rax, qword [rsp + 0x140]
adc r15, qword [rsp + 0x150]
add rax, qword [rsp + 0xe0]
adc r15, qword [rsp + 0x68]
add rax, qword [rsp + 0x130]
adc r15, qword [rsp + 0x40]
add rax, qword [rsp + 0x1b8]
adc r15, qword [rsp + 0x38]
add rax, r12
mov qword [rsp + 0xc0], rax
adc r15, 0
shld r15, rax, 0xd
lea rax, [r15 + r15*8]
lea rbp, [r15 + rax*2]
mov rdx, qword [rsp + 0x168]
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov rax, r8
mov r10, qword [rsp + 0x30]
mul r10
mov qword [rsp + 0x38], rax
mov qword [rsp + 0xd0], rdx
add rbp, r13
mov qword [rsp + 0x40], rbp
mov rdx, qword [rsp + 0xb8]
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
mov rax, rsi
mul r10
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x60], rdx
mov rdx, qword [rsp + 0x28]
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
mov rax, rcx
mul r10
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
mov rdx, qword [rsp + 0x80]
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mul r10
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0x128], rax
mov rax, r8
mov r12, qword [rsp + 0x88]
mul r12
mov qword [rsp + 0x178], rax
mov r15, rdx
shr rbp, 0x33
mov rax, rsi
mul r12
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x130], rax
mov rax, rcx
mul r12
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x1c0], rax
mov rax, r8
mov r10, qword [rsp + 0x148]
mul r10
mov r9, rax
mov rbx, rdx
add rbp, r14
mov rax, rsi
mul r10
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x190], rax
mov rax, r8
mov r8, qword [rsp + 0xd8]
mul r8
mov r11, rax
mov r14, rdx
mov r13, rbp
shr r13, 0x33
mov rsi, qword [rsp + 0xf8]
mov rax, rsi
mul qword [rsp + 0x30]
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0xc8], rax
mov rcx, qword [rsp + 0x80]
mov rax, rcx
mul r12
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x68], rax
mov rax, rsi
mul r12
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x48], rdx
add r13, qword [rsp + 0x70]
mov qword [rsp + 0x88], r13
mov r12, qword [rsp + 0x28]
mov rax, r12
mul r10
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x50], rax
mov r13, rcx
mov rax, rcx
mul r10
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0x110], rax
mov rcx, rsi
mov rax, rsi
mul r10
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x1a8], rdx
movabs r10, 0x7ffffffffffff
and qword [rsp + 0xc0], r10
mov rsi, qword [rsp + 0xb8]
mov rax, rsi
mul r8
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x118], rax
mov rax, r12
mul r8
mov qword [rsp + 0x1b8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r13
mul r8
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
and qword [rsp + 0x40], r10
mov rax, rcx
mul r8
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0x170], rax
mov rax, qword [rsp + 0x168]
mov r8, qword [rsp + 0xf0]
mul r8
mov r13, rdx
mov r12, rax
mov rax, rsi
mul r8
mov r10, rdx
movabs rdx, 0x7ffffffffffff
and rbp, rdx
mov qword [rsp + 0x30], rbp
mov rsi, rax
mov rax, qword [rsp + 0x28]
mul r8
mov rbp, rdx
mov qword [rsp + 0x28], rax
mov rax, qword [rsp + 0x80]
mul r8
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0xb8], rax
mov rax, rcx
mul r8
add r11, qword [rsp + 0x190]
adc r14, qword [rsp + 0x198]
add r11, rax
adc r14, rdx
add r11, qword [rsp + 0x128]
adc r14, qword [rsp + 0xe0]
add r11, qword [rsp + 0x1c0]
adc r14, qword [rsp + 0x108]
shld r14, r11, 0xd
movabs rdx, 0x7ffffffffffff
and r11, rdx
mov r8, qword [rsp + 0x178]
add r8, qword [rsp + 0x58]
adc r15, qword [rsp + 0x60]
add r9, qword [rsp + 0x130]
adc rbx, qword [rsp + 0x90]
add r9, qword [rsp + 0x170]
adc rbx, qword [rsp + 0xd8]
add r9, qword [rsp + 0xb8]
adc rbx, qword [rsp + 0x80]
add r9, qword [rsp + 0xa0]
adc rbx, qword [rsp + 0xa8]
add r9, r14
adc rbx, 0
shld rbx, r9, 0xd
and r9, rdx
add r8, qword [rsp + 0x1a0]
adc r15, qword [rsp + 0x1a8]
add r8, qword [rsp + 0x180]
adc r15, qword [rsp + 0x188]
add r8, qword [rsp + 0x28]
adc r15, rbp
add r8, rbx
adc r15, 0
shld r15, r8, 0xd
and r8, rdx
add rsi, qword [rsp + 0x38]
adc r10, qword [rsp + 0xd0]
add rsi, qword [rsp + 0x98]
adc r10, qword [rsp + 0x48]
add rsi, qword [rsp + 0x110]
adc r10, qword [rsp + 0x120]
add rsi, qword [rsp + 0x1b0]
adc r10, qword [rsp + 0x1b8]
add rsi, r15
adc r10, 0
shld r10, rsi, 0xd
and rsi, rdx
add r12, qword [rsp + 0x118]
adc r13, qword [rsp + 0x148]
add r12, qword [rsp + 0xc8]
adc r13, qword [rsp + 0x150]
add r12, qword [rsp + 0x68]
adc r13, qword [rsp + 0x140]
add r12, qword [rsp + 0x50]
adc r13, qword [rsp + 0x70]
add r12, r10
mov r10, qword [rsp + 0x138]
adc r13, 0
shld r13, r12, 0xd
lea rax, [r13*8]
add rax, r13
lea rbx, [rax*2]
add rbx, r13
mov r13, qword [rsp + 0x1d0]
mov rax, qword [rsp + 0x258]
add rbx, r11
mov rcx, qword [rsp + 0xe8]
mov r14, rbx
shr r14, 0x33
add r14, r9
mov r15, r14
shr r15, 0x33
add r15, r8
mov r11d, dword [rsp + 0x21c]
and r12, rdx
and rbx, rdx
and r14, rdx
add r11d, 0xffffffff
jb 0x14008f5dd
neg rax
mov rdx, qword [rsp + 0x100]
xor r13, rdx
and r13, rax
xor r13, rdx
lea rbp, [rsp + 0x2a8]
mov qword [rbp], r13
mov rdx, qword [rsp + 0x1e0]
xor r10, rdx
and r10, rax
xor r10, rdx
mov qword [rbp + 8], r10
mov rdx, qword [rsp + 0x1c8]
xor rcx, rdx
and rcx, rax
xor rcx, rdx
mov qword [rbp + 0x10], rcx
mov rdx, qword [rsp + 0x160]
mov r8, qword [rsp + 0xb0]
xor r8, rdx
and r8, rax
xor r8, rdx
mov qword [rbp + 0x18], r8
mov rdx, qword [rsp + 0x158]
mov r8, qword [rsp + 0x78]
xor r8, rdx
and r8, rax
xor r8, rdx
mov qword [rbp + 0x20], r8
mov rdx, qword [rsp + 0x40]
xor rdx, rbx
and rdx, rax
xor rdx, rbx
lea rbx, [rsp + 0x280]
mov qword [rbx], rdx
mov rdx, qword [rsp + 0x30]
xor rdx, r14
and rdx, rax
xor rdx, r14
mov qword [rbx + 8], rdx
mov rdx, qword [rsp + 0x88]
xor rdx, r15
and rdx, rax
xor rdx, r15
mov qword [rbx + 0x10], rdx
xor rdi, rsi
and rdi, rax
xor rdi, rsi
mov qword [rbx + 0x18], rdi
mov rcx, qword [rsp + 0xc0]
xor rcx, r12
and rcx, rax
xor rcx, r12
mov qword [rbx + 0x20], rcx
lea rdx, [rsp + 0x300]
mov qword [rdx + 0x20], rcx
mov rax, qword [rbx + 0x10]
mov qword [rdx + 0x10], rax
mov rax, qword [rbx + 0x18]
mov qword [rdx + 0x18], rax
movups xmm0, xmmword [rbx]
movaps xmmword [rdx], xmm0
mov rcx, rbx
call fcn.140091b50
mov rcx, rbp
mov rdx, rbp
mov r8, rbx
call fcn.14004f9b0
mov rsi, qword [rsp + 0x220]
mov rcx, rsi
mov rdx, rbp
call fcn.14008c510
lea rcx, [0x14016f9e0]
mov r8d, 0x20
mov rdx, rsi
call fcn.1400413c0
xor esi, esi
test eax, eax
setne sil
mov rcx, qword [rsp + 0x330]
xor rcx, rsp
call fcn.14009ec00
mov eax, esi
add rsp, 0x338
pop rbx
pop rbp
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
ret