Function at 0x140080540
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 [0x14017e028]
xor rax, rsp
mov qword [rsp + 0x310], rax
movabs r14, 0x7ffffffffffff
movabs rax, 0xaaaaaaaaaaaaaaaa
lea rdi, [rsp + 0x2b0]
mov qword [rdi + 0x20], rax
movaps xmm0, xmmword [0x14015c320]
movaps xmmword [rdi + 0x10], xmm0
movaps xmmword [rdi], 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, rdi
mov rdx, r8
call fcn.1400dc2c0
mov r12, qword [rdi]
mov rcx, qword [rdi + 8]
mov rdx, qword [rdi + 0x10]
mov r9, qword [rdi + 0x18]
mov ebx, 0xfe
xor r13d, r13d
mov esi, 1
mov rax, qword [rdi + 0x20]
lea rdi, [r14 - 1]
mov qword [rsp + 0x210], rdi
xor edi, edi
mov qword [rsp + 0xc0], rdi
xor r11d, r11d
xor ebp, ebp
xor r15d, r15d
xor edi, edi
mov qword [rsp + 0xe8], rdi
xor edi, edi
mov qword [rsp + 0xe0], rdi
xor edi, edi
mov qword [rsp + 0x130], rdi
xor edi, edi
mov qword [rsp + 0x168], rdi
mov qword [rsp + 0x238], r12
mov qword [rsp + 0x230], rcx
mov qword [rsp + 0xa8], rcx
mov qword [rsp + 0x228], rdx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x220], r9
mov rdi, r9
mov qword [rsp + 0x218], rax
mov qword [rsp + 0x178], rax
mov eax, 1
mov qword [rsp + 0x50], rax
xor eax, eax
mov qword [rsp + 0x20], rax
xor eax, eax
mov qword [rsp + 0xa0], rax
xor r9d, r9d
xor eax, eax
mov qword [rsp + 0x110], rax
xor eax, eax
nop word [rax + 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 r10, r12
xor r10, rsi
and r10, rax
xor rsi, r10
mov qword [rsp + 0x128], rsi
xor r10, r12
mov rcx, qword [rsp + 0xa8]
mov r8, rcx
mov rdx, qword [rsp + 0x168]
xor r8, rdx
and r8, rax
xor rdx, r8
xor r8, rcx
mov rcx, qword [rsp + 0x88]
mov rsi, rcx
mov rbx, qword [rsp + 0x130]
xor rsi, rbx
and rsi, rax
xor rbx, rsi
mov qword [rsp + 0x130], rbx
xor rsi, rcx
mov rcx, rdi
mov rbx, qword [rsp + 0xe0]
xor rcx, rbx
and rcx, rax
xor rbx, rcx
xor rcx, rdi
mov r12, rbp
mov r14, r11
mov r11, qword [rsp + 0x178]
mov rdi, r11
mov rbp, r15
mov r15, qword [rsp + 0xe8]
xor rdi, r15
and rdi, rax
xor r15, rdi
xor rdi, r11
mov qword [rsp + 0x58], rdi
mov r11, qword [rsp + 0x50]
mov rdi, r11
xor rdi, rbp
and rdi, rax
xor rbp, rdi
xor rdi, r11
mov qword [rsp + 0xb8], rdi
mov rdi, qword [rsp + 0x20]
mov r11, rdi
xor rdi, r12
and rdi, rax
xor r12, rdi
xor rdi, r11
mov qword [rsp + 0x28], rdi
mov rdi, qword [rsp + 0xa0]
mov r11, rdi
xor rdi, r14
and rdi, rax
xor r14, rdi
xor rdi, r11
mov qword [rsp + 0xb0], rdi
mov rdi, r9
mov r11, qword [rsp + 0xc0]
xor rdi, r11
and rdi, rax
xor r11, rdi
xor rdi, r9
mov qword [rsp + 0x20], rdi
mov rdi, qword [rsp + 0x110]
mov r9, rdi
xor rdi, r13
and rdi, rax
xor r13, rdi
xor rdi, r9
mov r9, rdi
mov qword [rsp + 0x148], rdi
movabs rax, 0xffffffffffffe
lea rdi, [rdx + rax]
sub rdi, r12
mov qword [rsp + 0xe8], rdi
add r12, rdx
lea rdi, [rbx + rax]
sub rdi, r11
mov qword [rsp + 0x88], rdi
add r11, rbx
mov rdx, qword [rsp + 0x130]
lea rbx, [rdx + rax]
sub rbx, r14
mov qword [rsp + 0xe0], rbx
add r14, rdx
mov rdi, qword [rsp + 0x128]
lea rbx, [rdi + rax]
add rbx, 0xffffffffffffffdc
sub rbx, rbp
mov qword [rsp + 0x178], rbx
add rbp, rdi
mov qword [rsp + 0x130], rbp
lea rdi, [r15 + rax]
sub rdi, r13
mov qword [rsp + 0xa8], rdi
add r13, r15
mov qword [rsp + 0x168], r13
lea rbp, [r8 + rax]
mov rdi, qword [rsp + 0x28]
sub rbp, rdi
add rdi, r8
mov qword [rsp + 0x28], rdi
lea rbx, [rcx + rax]
mov rdx, qword [rsp + 0x20]
sub rbx, rdx
add rdx, rcx
mov qword [rsp + 0x20], rdx
lea rdx, [r10 + rax]
add rdx, 0xffffffffffffffdc
mov rcx, qword [rsp + 0xb8]
sub rdx, rcx
mov qword [rsp + 0x140], rdx
add rcx, r10
mov qword [rsp + 0xb8], rcx
lea r15, [rsi + rax]
mov rcx, qword [rsp + 0xb0]
sub r15, rcx
add rcx, rsi
mov qword [rsp + 0xb0], rcx
mov rcx, qword [rsp + 0x58]
lea rdi, [rcx + rax]
sub rdi, r9
lea rax, [r13*8]
add rax, r13
lea rcx, [rax*2]
add rcx, r13
mov rax, rcx
mul rdi
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x90], rdx
lea rax, [r11 + r11*8]
lea rsi, [r11 + rax*2]
mov rax, rsi
mul rdi
mov qword [rsp + 0x50], rax
mov qword [rsp + 0xa0], rdx
lea rax, [r14 + r14*8]
lea r8, [r14 + rax*2]
mov rax, r8
mul rdi
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x68], rdx
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul rdi
mov qword [rsp + 0x1c8], rdx
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x170], rcx
mov rax, rcx
mul rbx
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x110], rsi
mov rax, rsi
mul rbx
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xf8], rax
mov rax, r8
mul rbx
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov rax, rcx
mul r15
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0x158], rax
mov rax, rsi
mul r15
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x188], rax
mov rax, rcx
mul rbp
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x180], rax
mov rax, rdi
mov r9, qword [rsp + 0x130]
mul r9
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x120], rax
mov rax, rbx
mul r12
mov rdi, rdx
mov qword [rsp + 0x138], rax
mov rax, rbx
mul r9
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x70], rax
mov rax, r15
mul r14
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0xd0], rax
mov rax, r15
mul r12
mov r8, rdx
mov qword [rsp + 0xc8], rax
mov rax, r15
mul r9
mov qword [rsp + 0x1b8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rbp
mov qword [rsp + 0xc0], r11
mul r11
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, rbp
mul r14
mov r10, r14
mov qword [rsp + 0x118], r14
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x150], rax
mov rax, rbp
mov qword [rsp + 0x98], r12
mul r12
mov r15, rdx
mov rcx, rax
mov rax, rbp
mul r9
mov qword [rsp + 0x1d0], rdx
mov rsi, rax
mov rbx, qword [rsp + 0x140]
mov rax, rbx
mul r13
mov r13, rdx
mov qword [rsp + 0x38], rax
mov rax, rbx
mul r11
mov r11, rdx
mov r14, rax
mov rax, rbx
mul r10
mov qword [rsp + 0x1e0], rdx
mov qword [rsp + 0x1d8], rax
mov rax, rbx
mul r12
mov r12, rdx
mov rbp, rax
mov rax, rbx
mul r9
mov r9, qword [rsp + 0x148]
add r9, qword [rsp + 0x58]
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 r10, 0x7ffffffffffff
and rax, r10
add rbp, rsi
adc r12, qword [rsp + 0x1d0]
add rbp, qword [rsp + 0x60]
adc r12, qword [rsp + 0x68]
add rbp, qword [rsp + 0xf8]
adc r12, qword [rsp + 0x100]
add rbp, qword [rsp + 0x158]
adc r12, qword [rsp + 0xf0]
add rbp, rdx
adc r12, 0
shld r12, rbp, 0xd
and rbp, r10
add rcx, qword [rsp + 0x1b0]
adc r15, qword [rsp + 0x1b8]
add rcx, qword [rsp + 0x1d8]
adc r15, qword [rsp + 0x1e0]
add rcx, qword [rsp + 0x50]
adc r15, qword [rsp + 0xa0]
add rcx, qword [rsp + 0x78]
adc r15, qword [rsp + 0x80]
add rcx, r12
adc r15, 0
shld r15, rcx, 0xd
and rcx, r10
mov rdx, qword [rsp + 0xc8]
add rdx, qword [rsp + 0x70]
adc r8, qword [rsp + 0x30]
add rdx, qword [rsp + 0x150]
adc r8, qword [rsp + 0x160]
add rdx, r14
adc r8, r11
add rdx, qword [rsp + 0x128]
adc r8, qword [rsp + 0x90]
add rdx, r15
adc r8, 0
shld r8, rdx, 0xd
and rdx, r10
mov qword [rsp + 0xc8], rdx
mov rdx, qword [rsp + 0x138]
add rdx, qword [rsp + 0x120]
adc rdi, qword [rsp + 0x108]
add rdx, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0xd8]
add rdx, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x48]
add rdx, qword [rsp + 0x38]
adc rdi, r13
add rdx, r8
adc rdi, 0
shld rdi, rdx, 0xd
mov rbx, rdx
lea rdx, [rdi + rdi*8]
lea rdx, [rdi + rdx*2]
add rdx, rax
mov r11, rdx
shr r11, 0x33
add r11, rbp
mov rbp, r11
shr rbp, 0x33
add rbp, rcx
mov qword [rsp + 0x120], rbp
and rbx, r10
mov qword [rsp + 0x138], rbx
and rdx, r10
mov qword [rsp + 0xa0], rdx
mov r15, qword [rsp + 0xa8]
lea rax, [r15 + r15*8]
lea rsi, [r15 + rax*2]
mov rax, rsi
mov rbp, r9
mul r9
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0x128], rdx
mov r14, qword [rsp + 0x88]
lea rax, [r14 + r14*8]
lea rbx, [r14 + rax*2]
mov rax, rbx
mov qword [rsp + 0xd8], rbx
mul r9
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x78], rdx
mov rdx, qword [rsp + 0xe0]
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
mov r9, rdx
mov rax, rcx
mul rbp
mov qword [rsp + 0x160], rax
mov qword [rsp + 0xf0], rdx
mov r12, qword [rsp + 0xe8]
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul rbp
mov rdi, rbp
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x50], rsi
mov rax, rsi
mov rbp, qword [rsp + 0x20]
mul rbp
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x70], rax
mov rax, rbx
mul rbp
mov qword [rsp + 0x158], rdx
mov qword [rsp + 0x150], rax
mov rax, rcx
mul rbp
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, rsi
mov rcx, qword [rsp + 0xb0]
mul rcx
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x1c8], rax
mov rax, rbx
mul rcx
mov rbx, rcx
mov qword [rsp + 0x1e0], rdx
mov qword [rsp + 0x1d0], rax
mov rax, rsi
mov rsi, qword [rsp + 0x28]
mul rsi
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1f0], rax
mov r13, qword [rsp + 0x178]
mov rax, r13
mul rdi
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x40], rax
mov rax, r12
mul rbp
mov r8, rdx
mov qword [rsp + 0x58], rax
mov rax, r13
mul rbp
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xf8], rax
mov r10, r9
mov rax, r9
mul rcx
mov qword [rsp + 0x20], rdx
mov qword [rsp + 0x38], rax
mov rax, r12
mul rcx
mov rdi, rdx
mov qword [rsp + 0x90], rax
mov rax, r13
mul rcx
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x190], rax
mov rax, r14
mov rcx, rsi
mul rsi
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x68], rax
mov rax, r9
mul rsi
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x1c0], rax
mov rax, r12
mov r9, r12
mul rsi
mov rbp, rsi
mov r12, rdx
mov rcx, rax
mov rax, r13
mul rsi
mov rbx, rdx
mov rbp, rax
mov rax, r15
mov rsi, qword [rsp + 0xb8]
mul rsi
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x60], rax
mov rax, r14
mul rsi
mov qword [rsp + 0x1b8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r10
mul rsi
mov qword [rsp + 0x1e8], rdx
mov r10, rax
mov rax, r9
mul rsi
mov r9, rsi
mov rsi, rdx
mov r15, rax
mov rax, r13
mul r9
movabs r9, 0x7ffffffffffff
and r11, r9
mov qword [rsp + 0x108], r11
add rax, qword [rsp + 0x1a0]
adc rdx, qword [rsp + 0x1a8]
add rax, qword [rsp + 0x180]
adc rdx, qword [rsp + 0x188]
add rax, qword [rsp + 0x1d0]
adc rdx, qword [rsp + 0x1e0]
add rax, qword [rsp + 0x1f0]
adc rdx, qword [rsp + 0x1d8]
shld rdx, rax, 0xd
and rax, r9
add r15, rbp
adc rsi, rbx
add r15, qword [rsp + 0x160]
adc rsi, qword [rsp + 0xf0]
add r15, qword [rsp + 0x150]
adc rsi, qword [rsp + 0x158]
add r15, qword [rsp + 0x1c8]
adc rsi, qword [rsp + 0x148]
add r15, rdx
adc rsi, 0
shld rsi, r15, 0xd
and r15, r9
add rcx, qword [rsp + 0x190]
adc r12, qword [rsp + 0x198]
add rcx, r10
adc r12, qword [rsp + 0x1e8]
add rcx, qword [rsp + 0x48]
adc r12, qword [rsp + 0x78]
add rcx, qword [rsp + 0x70]
adc r12, qword [rsp + 0x30]
add rcx, rsi
adc r12, 0
shld r12, rcx, 0xd
and rcx, r9
mov r11, qword [rsp + 0x90]
add r11, qword [rsp + 0xf8]
adc rdi, qword [rsp + 0x100]
add r11, qword [rsp + 0x1c0]
adc rdi, qword [rsp + 0x140]
add r11, qword [rsp + 0x1b0]
adc rdi, qword [rsp + 0x1b8]
add r11, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0x128]
add r11, r12
adc rdi, 0
shld rdi, r11, 0xd
and r11, r9
mov r10, r9
mov qword [rsp + 0x90], r11
mov r9, qword [rsp + 0x58]
add r9, qword [rsp + 0x40]
adc r8, qword [rsp + 0x80]
add r9, qword [rsp + 0x38]
adc r8, qword [rsp + 0x20]
add r9, qword [rsp + 0x68]
adc r8, qword [rsp + 0xb0]
add r9, qword [rsp + 0x60]
adc r8, qword [rsp + 0x28]
add r9, rdi
adc r8, 0
shld r8, r9, 0xd
lea rdx, [r8 + r8*8]
lea rbp, [r8 + rdx*2]
add rbp, rax
mov rdx, rbp
shr rdx, 0x33
add rdx, r15
mov rax, rdx
mov rdi, rdx
shr rax, 0x33
add rax, rcx
mov qword [rsp + 0x128], rax
and r9, r10
mov qword [rsp + 0x58], r9
mov rax, qword [rsp + 0x50]
mov rbx, qword [rsp + 0xa8]
mul rbx
mov qword [rsp + 0x28], rax
mov qword [rsp + 0xb8], rdx
and rbp, r10
mov qword [rsp + 0x50], rbp
imul rcx, rbx, 0x26
mov rbp, rbx
mov rax, rcx
mul r14
mov qword [rsp + 0x20], rdx
mov qword [rsp + 0xd0], rax
mov rax, qword [rsp + 0xd8]
mul r14
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0x78], rax
mov rax, rcx
mov rbx, qword [rsp + 0xe0]
mul rbx
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x80], rdx
and rdi, r10
mov qword [rsp + 0xb0], rdi
imul rax, r14, 0x26
mul rbx
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x30], rdx
lea rdi, [r14 + r14]
lea r14, [rbx + rbx]
mov rax, rbx
mul rbx
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x38], rax
mov rax, rcx
mov rbx, qword [rsp + 0xe8]
mul rbx
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x60], rax
mov rax, rdi
mul rbx
mov rcx, rax
mov rsi, rdx
add rbp, rbp
mov rax, r14
mul rbx
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xe0], rdx
lea r12, [rbx + rbx]
mov rax, rbx
mul rbx
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0x88], rax
mov rax, rbp
mul r13
mov r8, rdx
mov r15, rax
mov rax, rdi
mul r13
mov r9, rdx
mov r11, rax
mov rax, r14
mul r13
mov rdi, rdx
mov r14, rax
mov rax, r12
mul r13
mov r12, rdx
mov rbp, rax
mov rax, r13
mul r13
add rax, qword [rsp + 0x70]
adc rdx, qword [rsp + 0x30]
add rax, qword [rsp + 0x60]
adc rdx, qword [rsp + 0x68]
shld rdx, rax, 0xd
and rax, r10
add rcx, qword [rsp + 0x38]
adc rsi, qword [rsp + 0x40]
add rcx, r15
adc rsi, r8
add rbp, qword [rsp + 0x78]
adc r12, qword [rsp + 0xd8]
add rbp, qword [rsp + 0x48]
adc r12, qword [rsp + 0x80]
add rbp, rdx
adc r12, 0
shld r12, rbp, 0xd
and rbp, r10
add r14, qword [rsp + 0x88]
adc rdi, qword [rsp + 0xe8]
add r14, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0x20]
add r14, r12
adc rdi, 0
shld rdi, r14, 0xd
add r11, qword [rsp + 0xa8]
adc r9, qword [rsp + 0xe0]
add r11, qword [rsp + 0x28]
adc r9, qword [rsp + 0xb8]
add r11, rdi
mov qword [rsp + 0x28], r11
adc r9, 0
shld r9, r11, 0xd
add r9, rcx
adc rsi, 0
shld rsi, r9, 0xd
lea rcx, [rsi + rsi*8]
lea rcx, [rsi + rcx*2]
add rcx, rax
mov rax, rcx
mov rdi, rcx
shr rax, 0x33
add rax, rbp
mov rcx, rax
mov rbp, rax
and rcx, r10
mov qword [rsp + 0x178], rcx
and r14, r10
and r9, r10
mov qword [rsp + 0xa8], r9
mov rax, qword [rsp + 0x170]
mov r9, qword [rsp + 0x168]
mul r9
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xe8], rdx
shr rbp, 0x33
mov qword [rsp + 0x20], rbp
imul rcx, r9, 0x26
mov rax, rcx
mov rbp, qword [rsp + 0xc0]
mul rbp
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x88], rax
mov rax, qword [rsp + 0x110]
mul rbp
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0x80], rax
mov rax, rcx
mov rbx, qword [rsp + 0x118]
mul rbx
mov qword [rsp + 0x78], rax
mov qword [rsp + 0xd0], rdx
and rdi, r10
mov qword [rsp + 0x110], rdi
imul rax, rbp, 0x26
mul rbx
mov r12, rax
mov qword [rsp + 0x30], rdx
mov rdi, rbp
add rdi, rbp
lea rbp, [rbx + rbx]
mov rax, rbx
mul rbx
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x38], rax
mov rax, rcx
mov rbx, qword [rsp + 0x98]
mul rbx
mov r11, rdx
mov r8, rax
mov rax, rdi
mul rbx
mov r15, rax
mov rsi, rdx
add r9, r9
mov rax, rbp
mul rbx
mov qword [rsp + 0x168], rax
mov qword [rsp + 0x118], rdx
lea rcx, [rbx + rbx]
mov rax, rbx
mul rbx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x48], rax
mov rax, r9
mov rbx, qword [rsp + 0x130]
mul rbx
mov r13, rdx
mov r9, rax
mov rax, rdi
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xc0], rax
mov rax, rbp
mul rbx
mov rdi, rdx
mov r10, rax
mov rax, rcx
mul rbx
mov rcx, rdx
mov rbp, rax
mov rax, rbx
mul rbx
add rax, r12
adc rdx, qword [rsp + 0x30]
add rax, r8
adc rdx, r11
shld rdx, rax, 0xd
movabs rbx, 0x7ffffffffffff
and rax, rbx
add r15, qword [rsp + 0x38]
adc rsi, qword [rsp + 0x40]
add r15, r9
adc rsi, r13
add rbp, qword [rsp + 0x80]
adc rcx, qword [rsp + 0xd8]
add rbp, qword [rsp + 0x78]
adc rcx, qword [rsp + 0xd0]
add rbp, rdx
adc rcx, 0
shld rcx, rbp, 0xd
and rbp, rbx
add r10, qword [rsp + 0x48]
adc rdi, qword [rsp + 0x98]
add r10, qword [rsp + 0x88]
adc rdi, qword [rsp + 0x170]
add r10, rcx
adc rdi, 0
shld rdi, r10, 0xd
mov rcx, qword [rsp + 0xc0]
add rcx, qword [rsp + 0x168]
mov r12, qword [rsp + 0xb8]
adc r12, qword [rsp + 0x118]
add rcx, qword [rsp + 0xe0]
adc r12, qword [rsp + 0xe8]
add rcx, rdi
adc r12, 0
shld r12, rcx, 0xd
mov rdi, rcx
add r12, r15
adc rsi, 0
shld rsi, r12, 0xd
lea rcx, [rsi + rsi*8]
lea r11, [rsi + rcx*2]
add r11, rax
mov rax, r11
shr rax, 0x33
add rax, rbp
and r10, rbx
mov r8, rax
shr rax, 0x33
add rax, r10
mov r10, rax
mov r15, qword [rsp + 0x20]
add r15, r14
mov rax, qword [rsp + 0x108]
mov rbp, qword [rsp + 0xb0]
lea rcx, [rax + rbp]
mov qword [rsp + 0x88], rcx
movabs rcx, 0xffffffffffffe
add rax, rcx
sub rax, rbp
mov qword [rsp + 0x108], rax
mov rax, rbx
and r8, rbx
mov rbx, qword [rsp + 0x28]
and rbx, rax
and r12, rax
and r11, rax
mov rbp, rdi
and rbp, rax
mov rax, qword [rsp + 0xc8]
mov rdx, qword [rsp + 0x90]
add rdx, rax
mov qword [rsp + 0xd0], rdx
add rax, rcx
mov qword [rsp + 0xc8], rax
mov r13, qword [rsp + 0xa8]
lea rax, [r13*8]
add rax, r13
lea rcx, [rax*2]
add rcx, r13
mov rax, rcx
mul r12
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x130], rdx
mov rdx, rbx
mov qword [rsp + 0x28], rbx
lea rax, [rbx + rbx*8]
lea r9, [rbx + rax*2]
mov rax, r12
mul r9
mov qword [rsp + 0x148], rax
mov qword [rsp + 0x150], rdx
mov rdx, r15
lea rax, [r15 + r15*8]
lea rsi, [r15 + rax*2]
mov rax, rsi
mul r12
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x60], rdx
mov r14, qword [rsp + 0x178]
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul r12
mov qword [rsp + 0xb8], r12
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x190], rax
mov rax, rcx
mul rbp
mov rdi, rdx
mov rbx, rax
mov rax, r9
mul rbp
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rsi
mul rbp
mov rsi, rbp
mov qword [rsp + 0x180], 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 + 0x1f0], rdx
mov qword [rsp + 0x250], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x248], rdx
mov qword [rsp + 0x240], rax
mov rbp, qword [rsp + 0x110]
mov rax, rbp
mul r12
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x38], rax
mov rax, r14
mov qword [rsp + 0xc0], rsi
mul rsi
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0xd8], rax
mov rax, rbp
mul rsi
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xf0], rax
mov rax, r15
mov qword [rsp + 0x170], r10
mul r10
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x30], rax
mov rax, r10
mul r14
mov r12, r14
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x158], rax
mov rax, r10
mul rbp
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x188], rax
mov qword [rsp + 0xb0], r8
mov rax, r8
mov r14, qword [rsp + 0x28]
mul r14
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x68], rax
mov rax, r15
mov qword [rsp + 0x20], r15
mul r8
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x1c8], rax
mov rax, r12
mul r8
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1d0], rax
mov rax, r8
mul rbp
mov rcx, rdx
mov r9, rax
mov rsi, r11
mov qword [rsp + 0x118], r11
mov rax, r11
mul r13
mov r10, rdx
mov qword [rsp + 0xe8], rax
mov rax, r11
mul r14
mov r14, rdx
mov qword [rsp + 0xe0], rax
mov rax, r15
mul r11
mov qword [rsp + 0x258], rax
mov qword [rsp + 0x1e8], rdx
mov rax, qword [rsp + 0xc8]
sub rax, qword [rsp + 0x90]
mov qword [rsp + 0xc8], rax
mov rax, r12
mul r11
mov r13, rax
mov r12, rdx
mov r15, qword [rsp + 0x120]
mov rax, qword [rsp + 0x128]
add rax, r15
mov qword [rsp + 0x80], rax
movabs r11, 0xffffffffffffe
add r15, r11
mov rax, rbp
mul rsi
mov r8, rax
mov rax, qword [rsp + 0x138]
mov rbp, qword [rsp + 0x58]
lea rsi, [rax + rbp]
mov qword [rsp + 0x78], rsi
add rax, r11
mov rsi, rax
add r8, qword [rsp + 0x240]
adc rdx, qword [rsp + 0x248]
add r8, qword [rsp + 0x250]
adc rdx, qword [rsp + 0x1f0]
add r8, qword [rsp + 0x190]
adc rdx, qword [rsp + 0x1a0]
add r8, qword [rsp + 0x1e0]
adc rdx, qword [rsp + 0x180]
mov rbp, rdx
shr rbp, 0x33
shld rdx, r8, 0xd
movabs r11, 0x7ffffffffffff
and r8, r11
add rbx, qword [rsp + 0x148]
adc rdi, qword [rsp + 0x150]
add r9, qword [rsp + 0x1b0]
adc rcx, qword [rsp + 0x1c0]
add r9, r13
adc rcx, r12
add r9, qword [rsp + 0x1a8]
adc rcx, qword [rsp + 0x1b8]
add r9, qword [rsp + 0xf8]
adc rcx, qword [rsp + 0x60]
add r9, rdx
adc rcx, rbp
mov rdx, rcx
shr rdx, 0x33
shld rcx, r9, 0xd
and r9, r11
add rbx, qword [rsp + 0x1d0]
adc rdi, qword [rsp + 0x1d8]
add rbx, qword [rsp + 0x188]
adc rdi, qword [rsp + 0x198]
add rbx, qword [rsp + 0x258]
adc rdi, qword [rsp + 0x1e8]
add rbx, rcx
adc rdi, rdx
mov rcx, rdi
shr rcx, 0x33
shld rdi, rbx, 0xd
and rbx, r11
mov rdx, qword [rsp + 0xe0]
add rdx, qword [rsp + 0x98]
adc r14, qword [rsp + 0x130]
add rdx, qword [rsp + 0xf0]
adc r14, qword [rsp + 0x100]
add rdx, qword [rsp + 0x158]
adc r14, qword [rsp + 0x160]
add rdx, qword [rsp + 0x1c8]
adc r14, qword [rsp + 0x140]
add rdx, rdi
adc r14, rcx
mov rcx, r14
shr rcx, 0x33
shld r14, rdx, 0xd
and rdx, r11
mov qword [rsp + 0xe0], rdx
mov rdx, qword [rsp + 0xe8]
add rdx, qword [rsp + 0x38]
adc r10, qword [rsp + 0x48]
add rdx, qword [rsp + 0x68]
adc r10, qword [rsp + 0x70]
add rdx, qword [rsp + 0xd8]
adc r10, qword [rsp + 0x168]
add rdx, qword [rsp + 0x30]
adc r10, qword [rsp + 0x40]
add rdx, r14
adc r10, rcx
shld r10, rdx, 0xd
lea rcx, [r10 + r10*8]
lea rcx, [r10 + rcx*2]
add rcx, r8
mov rbp, rcx
shr rbp, 0x33
add rbp, r9
mov rax, rbp
shr rax, 0x33
add rax, rbx
mov qword [rsp + 0x130], rax
sub r15, qword [rsp + 0x128]
sub rsi, qword [rsp + 0x58]
mov rax, r11
and rdx, r11
mov qword [rsp + 0xe8], rdx
and rcx, r11
mov qword [rsp + 0x128], rcx
and rbp, r11
mov qword [rsp + 0x168], rbp
movabs rax, 0xffffffffffffe
mov rcx, qword [rsp + 0xa0]
lea r10, [rcx + rax]
add r10, 0xffffffffffffffdc
sub r10, qword [rsp + 0x50]
mov rcx, qword [rsp + 0xb0]
add rcx, rax
mov r11, qword [rsp + 0x170]
add r11, rax
mov rdi, qword [rsp + 0xc0]
add rdi, rax
add qword [rsp + 0xb8], rax
sub rcx, qword [rsp + 0x178]
mov qword [rsp + 0xb0], rcx
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mul rsi
mov qword [rsp + 0x90], rax
mov qword [rsp + 0x58], rdx
mov rbx, qword [rsp + 0xc8]
lea rax, [rbx + rbx*8]
lea rcx, [rbx + rax*2]
imul rbp, rsi, 0x26
mov rax, rbp
mul rbx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x48], rax
mov rax, rcx
mul rbx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x68], rax
mov rax, r15
mul rbp
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x70], rdx
sub rdi, qword [rsp + 0x28]
mov qword [rsp + 0xc0], rdi
imul rcx, rbx, 0x26
mov rax, r15
mul rcx
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x100], rdx
lea rdi, [rbx + rbx]
lea r13, [r15 + r15]
mov rax, r15
mul r15
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0x138], rax
mov rcx, qword [rsp + 0x108]
mov rax, rcx
mul rbp
mov r14, rdx
mov r12, rax
mov rax, rcx
mul rdi
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0x120], rdx
add rsi, rsi
mov rax, r13
mul rcx
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x40], rdx
lea rbp, [rcx + rcx]
mov rax, rcx
mul rcx
mov rbx, rdx
mov r8, rax
mov rax, r10
mul rsi
mov rcx, rdx
mov r15, rax
mov rax, r10
mul rdi
mov r9, rdx
mov rdi, rax
mov rax, r13
mul r10
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0xf0], rax
mov rax, rbp
mul r10
mov r13, rdx
mov rbp, rax
mov rax, r10
mul r10
sub r11, qword [rsp + 0x20]
mov r10, r11
mov qword [rsp + 0x170], r11
add rax, r12
adc rdx, r14
add rax, qword [rsp + 0xf8]
adc rdx, qword [rsp + 0x100]
mov rsi, rdx
shr rsi, 0x33
shld rdx, rax, 0xd
movabs r11, 0x7ffffffffffff
and rax, r11
add rbp, qword [rsp + 0x68]
adc r13, qword [rsp + 0x30]
add rbp, qword [rsp + 0x60]
adc r13, qword [rsp + 0x70]
add rbp, rdx
adc r13, rsi
mov rdx, r13
shr rdx, 0x33
shld r13, rbp, 0xd
and rbp, r11
mov rsi, r11
add r8, qword [rsp + 0x48]
adc rbx, qword [rsp + 0x98]
add r8, qword [rsp + 0xf0]
adc rbx, qword [rsp + 0x108]
add r8, r13
adc rbx, rdx
mov rdx, rbx
shr rdx, 0x33
shld rbx, r8, 0xd
and r8, r11
add rdi, qword [rsp + 0x90]
adc r9, qword [rsp + 0x58]
add rdi, qword [rsp + 0x38]
adc r9, qword [rsp + 0x40]
add rdi, rbx
adc r9, rdx
mov rdx, r9
shr rdx, 0x33
shld r9, rdi, 0xd
and rdi, r11
mov qword [rsp + 0x98], rdi
add r15, qword [rsp + 0xd8]
adc rcx, qword [rsp + 0x120]
add r15, qword [rsp + 0x138]
adc rcx, qword [rsp + 0xc8]
add r15, r9
adc rcx, rdx
mov rdx, qword [rsp + 0xa0]
mov rbx, qword [rsp + 0x50]
add rbx, rdx
shld rcx, r15, 0xd
lea rdx, [rcx + rcx*8]
lea rcx, [rcx + rdx*2]
add rcx, rax
mov rax, rcx
mov rdx, rcx
shr rax, 0x33
add rax, rbp
mov rcx, rax
mov rbp, rax
shr rcx, 0x33
add rcx, r8
mov qword [rsp + 0x50], rcx
mov rax, qword [rsp + 0x118]
movabs rcx, 0xffffffffffffe
add rcx, rax
add rcx, 0xffffffffffffffdc
mov rdi, r11
and r15, r11
mov qword [rsp + 0x118], r15
and rdx, r11
mov qword [rsp + 0x120], rdx
and rbp, r11
mov qword [rsp + 0xa0], rbp
sub rcx, qword [rsp + 0x110]
mov rsi, rcx
mov qword [rsp + 0xd8], rcx
mov rax, qword [rsp + 0xb8]
sub rax, qword [rsp + 0xa8]
mov qword [rsp + 0xb8], rax
mov ebp, 0x1db42
mul rbp
mov rcx, rdx
mov r12, rax
mov rax, qword [rsp + 0xc0]
mul rbp
mov r15, rdx
mov r11, rax
mov rax, r10
mul rbp
mov r14, rdx
mov r8, rax
mov rax, qword [rsp + 0xb0]
mul rbp
mov r9, rdx
mov r10, rax
mov rax, rsi
mul rbp
shld rdx, rax, 0xd
and rax, qword [rsp + 0x210]
add rdx, r10
adc r9, 0
shld r9, rdx, 0xd
and rdx, rdi
add r9, r8
adc r14, 0
shld r14, r9, 0xd
and r9, rdi
add r14, r11
adc r15, 0
shld r15, r14, 0xd
and r14, rdi
mov qword [rsp + 0x58], r14
add r15, r12
adc rcx, 0
shld rcx, r15, 0xd
lea rbp, [rcx + rcx*8]
lea rcx, [rcx + rbp*2]
add rcx, rax
mov r10, rcx
shr r10, 0x33
add r10, rdx
and r15, rdi
mov qword [rsp + 0x90], r15
and rcx, rdi
mov qword [rsp + 0xc8], rcx
mov r8, qword [rsp + 0x78]
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mul r8
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x40], rdx
mov rsi, qword [rsp + 0xd0]
lea rax, [rsi + rsi*8]
lea rcx, [rsi + rax*2]
imul rbp, r8, 0x26
mov rax, rbp
mul rsi
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x60], rax
mov rax, rcx
mul rsi
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x158], rax
mov rcx, qword [rsp + 0x80]
mov rax, rcx
mul rbp
mov qword [rsp + 0x160], rax
mov qword [rsp + 0xf0], rdx
mov rax, r10
shr rax, 0x33
mov qword [rsp + 0x48], rax
imul rdx, rsi, 0x26
mov rax, rcx
mul rdx
mov qword [rsp + 0x148], rax
mov qword [rsp + 0x150], rdx
lea r12, [rsi + rsi]
lea r14, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x80], rax
mov rcx, qword [rsp + 0x88]
mov rax, rcx
mul rbp
mov qword [rsp + 0x140], rdx
mov r11, rax
mov rax, rcx
mul r12
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x30], rdx
add r8, r8
mov rax, r14
mul rcx
mov qword [rsp + 0x100], rax
mov qword [rsp + 0x78], rdx
lea r15, [rcx + rcx]
mov rax, rcx
mul rcx
mov r13, rdx
mov rcx, rax
mov rax, rbx
mul r8
mov rsi, rdx
mov r8, rax
mov rax, rbx
mul r12
mov rbp, rdx
mov qword [rsp + 0x108], rax
mov rax, r14
mul rbx
mov qword [rsp + 0x88], rdx
mov r12, rax
mov rax, r15
mul rbx
mov r15, rdx
mov r14, rax
mov rax, rbx
mul rbx
and r10, rdi
mov qword [rsp + 0x138], r10
add rax, r11
adc rdx, qword [rsp + 0x140]
add rax, qword [rsp + 0x148]
adc rdx, qword [rsp + 0x150]
mov rbx, rdx
shr rbx, 0x33
shld rdx, rax, 0xd
and rax, rdi
add r14, qword [rsp + 0x158]
adc r15, qword [rsp + 0xf8]
add r14, qword [rsp + 0x160]
adc r15, qword [rsp + 0xf0]
add r14, rdx
adc r15, rbx
mov rdx, r15
shr rdx, 0x33
shld r15, r14, 0xd
and r14, rdi
add rcx, qword [rsp + 0x60]
adc r13, qword [rsp + 0x68]
add rcx, r12
adc r13, qword [rsp + 0x88]
add rcx, r15
adc r13, rdx
mov rdx, r13
shr rdx, 0x33
shld r13, rcx, 0xd
and rcx, rdi
mov r10, qword [rsp + 0x108]
add r10, qword [rsp + 0x38]
adc rbp, qword [rsp + 0x40]
add r10, qword [rsp + 0x100]
adc rbp, qword [rsp + 0x78]
add r10, r13
adc rbp, rdx
mov rdx, rbp
shr rdx, 0x33
shld rbp, r10, 0xd
and r10, rdi
mov qword [rsp + 0x108], r10
add r8, qword [rsp + 0x70]
adc rsi, qword [rsp + 0x30]
add r8, qword [rsp + 0x80]
adc rsi, qword [rsp + 0xd0]
add r8, rbp
adc rsi, rdx
shld rsi, r8, 0xd
lea rdx, [rsi + rsi*8]
lea rdx, [rsi + rdx*2]
add rdx, rax
mov r10, rdx
shr r10, 0x33
add r10, r14
mov rax, r10
shr rax, 0x33
add rax, rcx
mov qword [rsp + 0x88], rax
mov rax, qword [rsp + 0x138]
add rax, qword [rsp + 0x178]
mov qword [rsp + 0x138], rax
mov rax, qword [rsp + 0x58]
add rax, qword [rsp + 0x28]
mov qword [rsp + 0x58], rax
mov rax, qword [rsp + 0xc8]
add rax, qword [rsp + 0x110]
mov qword [rsp + 0xc8], rax
add r9, qword [rsp + 0x20]
add r9, qword [rsp + 0x48]
mov qword [rsp + 0x28], r9
mov rax, qword [rsp + 0x90]
add rax, qword [rsp + 0xa8]
mov qword [rsp + 0x90], rax
and r8, rdi
mov qword [rsp + 0x178], r8
and rdx, rdi
mov qword [rsp + 0xd0], rdx
mov rcx, qword [rsp + 0x118]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mov r15, qword [rsp + 0x218]
mul r15
mov qword [rsp + 0x110], rax
mov qword [rsp + 0x20], rdx
mov rdx, qword [rsp + 0x98]
lea rax, [rdx + rdx*8]
lea r9, [rdx + rax*2]
mov rax, r9
mul r15
mov qword [rsp + 0x150], rax
mov qword [rsp + 0x158], rdx
mov rdx, qword [rsp + 0x50]
lea rax, [rdx + rdx*8]
lea rbx, [rdx + rax*2]
mov rax, rbx
mul r15
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x70], rdx
mov rdx, qword [rsp + 0xa0]
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mul r15
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rcx
mov rsi, qword [rsp + 0x220]
mul rsi
mov r14, rdx
mov r8, rax
mov rax, r9
mul rsi
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rbx
mul rsi
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x190], rax
mov rax, rcx
mov rbp, qword [rsp + 0x228]
mul rbp
mov rbx, rdx
mov r11, rax
mov rax, r9
mul rbp
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1d0], rax
mov rax, rcx
mov r9, qword [rsp + 0x230]
mul r9
mov r13, rdx
mov r12, rax
mov rdi, qword [rsp + 0x120]
mov rax, rdi
mul r15
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x48], rax
mov r15, qword [rsp + 0xa0]
mov rax, r15
mul rsi
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x40], rax
mov rax, rdi
mul rsi
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0xf0], rax
mov rsi, qword [rsp + 0x50]
mov rax, rsi
mul rbp
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x30], rax
mov rax, r15
mul rbp
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x148], rax
mov rcx, rdi
mov rax, rdi
mul rbp
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0x188], rax
mov rdi, qword [rsp + 0x98]
mov rax, rdi
mul r9
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x100], rax
mov rax, rsi
mul r9
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x1c8], rax
mov rax, r15
mul r9
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x1e0], rax
mov rax, rcx
mul r9
mov qword [rsp + 0x1f0], rdx
mov qword [rsp + 0x1e8], rax
mov rax, qword [rsp + 0x118]
mov rcx, qword [rsp + 0x238]
mul rcx
mov rsi, rdx
mov rbp, rax
mov rax, rdi
mul rcx
mov r15, rdx
mov r9, rax
mov rax, qword [rsp + 0x50]
mul rcx
mov rdi, rdx
mov qword [rsp + 0x50], rax
mov rax, qword [rsp + 0xa0]
mul rcx
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0x98], rax
mov rax, qword [rsp + 0x120]
mul rcx
movabs rcx, 0x7ffffffffffff
and r10, rcx
mov qword [rsp + 0xa8], r10
add r12, qword [rsp + 0x1d0]
adc r13, qword [rsp + 0x1d8]
add r12, rax
adc r13, rdx
add r12, qword [rsp + 0x1a8]
adc r13, qword [rsp + 0x1b0]
add r12, qword [rsp + 0x190]
adc r13, qword [rsp + 0x1a0]
shld r13, r12, 0xd
and r12, rcx
mov rdx, rcx
add r8, qword [rsp + 0x150]
adc r14, qword [rsp + 0x158]
add r11, qword [rsp + 0x1b8]
adc rbx, qword [rsp + 0x1c0]
add r11, qword [rsp + 0x1e8]
adc rbx, qword [rsp + 0x1f0]
add r11, qword [rsp + 0x98]
adc rbx, qword [rsp + 0xa0]
add r11, qword [rsp + 0x60]
adc rbx, qword [rsp + 0x70]
add r11, r13
adc rbx, 0
shld rbx, r11, 0xd
and r11, rcx
add r8, qword [rsp + 0x188]
adc r14, qword [rsp + 0x198]
add r8, qword [rsp + 0x1e0]
adc r14, qword [rsp + 0x180]
add r8, qword [rsp + 0x50]
adc r14, rdi
add r8, rbx
adc r14, 0
shld r14, r8, 0xd
and r8, rcx
add r9, qword [rsp + 0x110]
adc r15, qword [rsp + 0x20]
add r9, qword [rsp + 0xf0]
adc r15, qword [rsp + 0xf8]
add r9, qword [rsp + 0x148]
adc r15, qword [rsp + 0x160]
add r9, qword [rsp + 0x1c8]
adc r15, qword [rsp + 0x140]
add r9, r14
adc r15, 0
shld r15, r9, 0xd
and r9, rcx
add rbp, qword [rsp + 0x100]
adc rsi, qword [rsp + 0x68]
add rbp, qword [rsp + 0x48]
adc rsi, qword [rsp + 0x80]
add rbp, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x78]
add rbp, qword [rsp + 0x30]
adc rsi, qword [rsp + 0x38]
add rbp, r15
adc rsi, 0
shld rsi, rbp, 0xd
lea rax, [rsi + rsi*8]
lea rbx, [rsi + rax*2]
add rbx, r12
mov rax, rbx
shr rax, 0x33
add rax, r11
mov qword [rsp + 0x20], rax
shr rax, 0x33
add rax, r8
mov qword [rsp + 0xa0], rax
mov rax, rcx
and rbp, rcx
mov qword [rsp + 0x110], rbp
and rbx, rcx
mov qword [rsp + 0x50], rbx
mov rcx, qword [rsp + 0x90]
lea rax, [rcx + rcx*8]
lea rbx, [rcx + rax*2]
mov rax, rbx
mov rbp, qword [rsp + 0xb8]
mul rbp
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x120], rdx
mov rcx, qword [rsp + 0x58]
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
mov rax, rsi
mul rbp
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xf8], rdx
mov rcx, qword [rsp + 0x28]
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rax, rcx
mul rbp
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x30], rdx
mov r13, qword [rsp + 0x138]
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul rbp
mov rdi, rbp
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x1c8], rax
mov rax, rbx
mov rbp, qword [rsp + 0xc0]
mul rbp
mov r14, rdx
mov r8, rax
mov rax, rsi
mul rbp
mov qword [rsp + 0x150], rdx
mov qword [rsp + 0x148], rax
mov rax, rcx
mul rbp
mov r10, rbp
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rbx
mov rbp, qword [rsp + 0x170]
mul rbp
mov r12, rdx
mov r11, rax
mov rax, rsi
mul rbp
mov rcx, rbp
mov qword [rsp + 0x190], rdx
mov qword [rsp + 0x188], rax
mov rax, rbx
mov r15, qword [rsp + 0xb0]
mul r15
mov rsi, rdx
mov rbx, rax
mov rbp, qword [rsp + 0xc8]
mov rax, rbp
mul rdi
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0x80], rax
mov rdi, r13
mov rax, r13
mul r10
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x78], rax
mov rax, rbp
mul r10
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0x68], rax
mov r13, qword [rsp + 0x28]
mov rax, r13
mul rcx
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, rdi
mov r10, rdi
mul rcx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0x100], rax
mov rdi, rbp
mov rax, rbp
mul rcx
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rbp, qword [rsp + 0x58]
mov rax, rbp
mul r15
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x38], rax
mov rax, r13
mul r15
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x158], rax
mov rax, r10
mul r15
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x198], rax
mov rax, rdi
mul r15
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x180], rax
mov rax, qword [rsp + 0x90]
mov rdi, qword [rsp + 0xd8]
mul rdi
mov r10, rdx
mov r13, rax
mov rax, rbp
mul rdi
mov r15, rdx
mov rcx, rax
mov rax, qword [rsp + 0x28]
mul rdi
mov rbp, rdx
mov qword [rsp + 0x28], rax
mov rax, qword [rsp + 0x138]
mul rdi
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x90], rax
mov rax, qword [rsp + 0xc8]
mul rdi
movabs rdi, 0x7ffffffffffff
and qword [rsp + 0x20], rdi
add rbx, qword [rsp + 0x188]
adc rsi, qword [rsp + 0x190]
add rbx, rax
adc rsi, rdx
add rbx, qword [rsp + 0x1c8]
adc rsi, qword [rsp + 0x140]
add rbx, qword [rsp + 0x1a8]
adc rsi, qword [rsp + 0x1b0]
mov rax, rsi
shr rax, 0x33
shld rsi, rbx, 0xd
and rbx, rdi
mov rdx, rdi
add r8, qword [rsp + 0xf0]
adc r14, qword [rsp + 0xf8]
add r11, qword [rsp + 0x148]
adc r12, qword [rsp + 0x150]
add r11, qword [rsp + 0x180]
adc r12, qword [rsp + 0xb0]
add r11, qword [rsp + 0x90]
adc r12, qword [rsp + 0x58]
add r11, qword [rsp + 0x70]
adc r12, qword [rsp + 0x30]
add r11, rsi
adc r12, rax
mov rax, r12
shr rax, 0x33
shld r12, r11, 0xd
and r11, rdi
add r8, qword [rsp + 0x1b8]
adc r14, qword [rsp + 0x1c0]
add r8, qword [rsp + 0x198]
adc r14, qword [rsp + 0x1a0]
add r8, qword [rsp + 0x28]
adc r14, rbp
add r8, r12
mov r12, qword [rsp + 0xd0]
mov rsi, qword [rsp + 0x128]
adc r14, rax
mov rax, r14
shr rax, 0x33
shld r14, r8, 0xd
and r8, rdi
add rcx, qword [rsp + 0x98]
adc r15, qword [rsp + 0x120]
add rcx, qword [rsp + 0x68]
adc r15, qword [rsp + 0xc0]
add rcx, qword [rsp + 0x100]
adc r15, qword [rsp + 0x60]
add rcx, qword [rsp + 0x158]
adc r15, qword [rsp + 0x160]
add rcx, r14
adc r15, rax
mov rax, r15
shr rax, 0x33
shld r15, rcx, 0xd
and rcx, rdi
mov qword [rsp + 0xc0], rcx
add r13, qword [rsp + 0x38]
adc r10, qword [rsp + 0x170]
add r13, qword [rsp + 0x80]
adc r10, qword [rsp + 0xb8]
add r13, qword [rsp + 0x78]
adc r10, qword [rsp + 0x118]
add r13, qword [rsp + 0x40]
adc r10, qword [rsp + 0x48]
add r13, r15
mov rdi, qword [rsp + 0x108]
adc r10, rax
shld r10, r13, 0xd
lea rax, [r10 + r10*8]
lea r15, [r10 + rax*2]
add r15, rbx
mov rbp, r15
shr rbp, 0x33
add rbp, r11
mov r11, rbp
shr r11, 0x33
add r11, r8
mov ebx, dword [rsp + 0x200]
mov rax, rdx
and r13, rdx
and r15, rdx
and rbp, rdx
mov rax, qword [rsp + 0x1f8]
mov rcx, rax
add ebx, 0xffffffff
jb 0x1400806b0
neg rcx
xor r12, rsi
and r12, rcx
xor r12, rsi
mov rax, qword [rsp + 0x168]
mov rdx, qword [rsp + 0xa8]
xor rdx, rax
and rdx, rcx
xor rdx, rax
mov qword [rsp + 0xa8], rdx
mov rax, qword [rsp + 0x130]
mov rdx, qword [rsp + 0x88]
xor rdx, rax
and rdx, rcx
xor rdx, rax
mov qword [rsp + 0x88], rdx
mov rsi, rdi
mov rax, qword [rsp + 0xe0]
xor rsi, rax
and rsi, rcx
xor rsi, rax
mov rax, qword [rsp + 0xe8]
mov rbx, qword [rsp + 0x178]
xor rbx, rax
and rbx, rcx
xor rbx, rax
mov rax, qword [rsp + 0x50]
xor rax, r15
and rax, rcx
xor rax, r15
lea r14, [rsp + 0x288]
mov qword [r14], rax
mov rax, qword [rsp + 0x20]
xor rax, rbp
and rax, rcx
xor rax, rbp
mov qword [r14 + 8], rax
mov rax, qword [rsp + 0xa0]
xor rax, r11
and rax, rcx
xor rax, r11
mov qword [r14 + 0x10], rax
mov rax, qword [rsp + 0xc0]
xor r9, rax
and r9, rcx
xor r9, rax
mov qword [r14 + 0x18], r9
mov rax, qword [rsp + 0x110]
xor rax, r13
and rax, rcx
xor rax, r13
mov qword [r14 + 0x20], rax
lea rdx, [rsp + 0x2e0]
mov qword [rdx + 0x20], rax
mov rax, qword [r14 + 0x10]
mov qword [rdx + 0x10], rax
mov rax, qword [r14 + 0x18]
mov qword [rdx + 0x18], rax
movups xmm0, xmmword [r14]
movaps xmmword [rdx], xmm0
mov rcx, r14
call fcn.140070570
mov r9, qword [r14 + 0x20]
lea rax, [r9 + r9*8]
lea rdi, [r9 + rax*2]
mov rax, rdi
mul rbx
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0xc8], rdx
mov r10, qword [r14 + 0x18]
lea rax, [r10 + r10*8]
lea rbp, [r10 + rax*2]
mov rax, rbp
mul rbx
mov qword [rsp + 0x90], rax
mov qword [rsp + 0x58], rdx
mov r13, qword [r14 + 0x10]
lea rax, [r13*8]
add rax, r13
lea rcx, [rax*2]
add rcx, r13
mov rax, rcx
mul rbx
mov qword [rsp + 0x50], rax
mov qword [rsp + 0xa0], rdx
mov r8, qword [r14]
mov r14, qword [r14 + 8]
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul rbx
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x78], rax
mov rax, rsi
mul rdi
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x110], rax
mov rax, rsi
mul rbp
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x200], rax
mov rax, rsi
mul rcx
mov r11, rsi
mov r15, rdx
mov rcx, rax
mov rsi, qword [rsp + 0x88]
mov rax, rsi
mul rdi
mov qword [rsp + 0x1f8], rdx
mov qword [rsp + 0xd8], rax
mov rax, rsi
mul rbp
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x70], rax
mov rbp, qword [rsp + 0xa8]
mov rax, rbp
mul rdi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x68], rax
mov rax, r8
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0x28], rax
mov rax, r11
mul r14
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x20], rax
mov rax, r8
mul r11
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x170], rax
mov rax, rsi
mul r13
mov qword [rsp + 0x138], rdx
mov qword [rsp + 0x130], rax
mov rax, rsi
mul r14
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x120], rax
mov rax, r8
mul rsi
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0xd0], rax
mov rax, rbp
mul r10
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0xe0], rax
mov rax, rbp
mul r13
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x118], rax
mov rax, rbp
mul r14
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x40], rax
mov rax, r8
mul rbp
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0x60], rax
mov rax, r9
mul r12
mov r11, rdx
mov rbx, rax
mov rax, r10
mul r12
mov r10, rdx
mov rbp, rax
mov rax, r13
mul r12
mov r13, rdx
mov r9, rax
mov rax, r14
mul r12
mov rsi, rdx
mov rdi, rax
mov rax, r8
mul r12
add rcx, qword [rsp + 0x78]
adc r15, qword [rsp + 0x80]
add rcx, qword [rsp + 0x70]
adc r15, qword [rsp + 0x38]
add rcx, qword [rsp + 0x68]
adc r15, qword [rsp + 0x30]
add rcx, rax
adc r15, rdx
shld r15, rcx, 0xd
movabs r8, 0x7ffffffffffff
and rcx, r8
add rdi, qword [rsp + 0x50]
adc rsi, qword [rsp + 0xa0]
add rdi, qword [rsp + 0x200]
adc rsi, qword [rsp + 0x168]
add rdi, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0x1f8]
add rdi, qword [rsp + 0x60]
adc rsi, qword [rsp + 0xa8]
add rdi, r15
adc rsi, 0
shld rsi, rdi, 0xd
and rdi, r8
add r9, qword [rsp + 0x90]
adc r13, qword [rsp + 0x58]
add r9, qword [rsp + 0x110]
adc r13, qword [rsp + 0x128]
add r9, qword [rsp + 0x40]
adc r13, qword [rsp + 0x48]
add r9, qword [rsp + 0xd0]
adc r13, qword [rsp + 0x88]
add r9, rsi
adc r13, 0
shld r13, r9, 0xd
and r9, r8
add rbp, qword [rsp + 0xc0]
adc r10, qword [rsp + 0xc8]
add rbp, qword [rsp + 0x120]
adc r10, qword [rsp + 0x108]
add rbp, qword [rsp + 0x118]
adc r10, qword [rsp + 0x98]
add rbp, qword [rsp + 0x170]
adc r10, qword [rsp + 0x178]
add rbp, r13
adc r10, 0
shld r10, rbp, 0xd
and rbp, r8
add rbx, qword [rsp + 0x20]
adc r11, qword [rsp + 0xb0]
add rbx, qword [rsp + 0x130]
adc r11, qword [rsp + 0x138]
add rbx, qword [rsp + 0xe0]
adc r11, qword [rsp + 0xe8]
add rbx, qword [rsp + 0x28]
adc r11, qword [rsp + 0xb8]
add rbx, r10
adc r11, 0
shld r11, rbx, 0xd
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
add rax, rcx
mov rcx, rax
shr rcx, 0x33
add rcx, rdi
mov rdx, rcx
shr rdx, 0x33
add rdx, r9
and rbx, r8
and rax, r8
and rcx, r8
lea rdi, [rsp + 0x2e0]
mov qword [rdi], rax
mov qword [rdi + 8], rcx
mov qword [rdi + 0x10], rdx
mov qword [rdi + 0x18], rbp
mov qword [rdi + 0x20], rbx
lea rdx, [rsp + 0x2e0]
mov rsi, qword [rsp + 0x208]
mov rcx, rsi
call fcn.14000ab50
lea rcx, [0x140170c80]
mov r8d, 0x20
mov rdx, rsi
call fcn.140063e60
xor esi, esi
test eax, eax
setne sil
mov rcx, qword [rsp + 0x310]
xor rcx, rsp
call fcn.14008fec0
mov eax, esi
add rsp, 0x318
pop rbx
pop rbp
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
ret