Function at 0x140009dd0
Capabilities:
Encode data using xor
Encrypt data using curve25519

Disassembly:
push rbp
push r15
push r14
push r13
push r12
push rsi
push rdi
push rbx
sub rsp, 0x2f8
lea rbp, [rsp + 0x80]
and rsp, 0xffffffffffffffe0
mov qword [rsp + 0x1f8], rcx
xorps xmm0, xmm0
movaps xmmword [rsp + 0x2a0], xmm0
movaps xmmword [rsp + 0x2b0], xmm0
movaps xmmword [rsp + 0x2c0], xmm0
movaps xmmword [rsp + 0x2e0], xmm0
movaps xmmword [rsp + 0x2d0], xmm0
mov qword [rsp + 0x2a0], 9
movups xmmword [rsp + 0x2a8], xmm0
movups xmmword [rsp + 0x2b8], xmm0
mov qword [rsp + 0x2c8], 1
movups xmm1, xmmword [rdx]
movups xmm2, xmmword [rdx + 0x10]
movaps xmmword [rsp + 0x200], xmm1
movaps xmmword [rsp + 0x210], xmm2
and byte [rsp + 0x200], 0xf8
mov al, byte [rsp + 0x21f]
and al, 0x3f
or al, 0x40
mov byte [rsp + 0x90], al
mov byte [rsp + 0x21f], al
movaps xmmword [rsp + 0x220], xmm0
movaps xmmword [rsp + 0x280], xmm0
movaps xmmword [rsp + 0x270], xmm0
movaps xmmword [rsp + 0x260], xmm0
movaps xmmword [rsp + 0x250], xmm0
movaps xmmword [rsp + 0x240], xmm0
movaps xmmword [rsp + 0x230], xmm0
mov qword [rsp + 0x290], 0
mov qword [rsp + 0x220], 1
mov eax, 0x1f
mov qword [rsp + 0x1f0], rax
mov eax, 1
mov qword [rsp + 0x158], rax
xor edx, edx
xor eax, eax
mov qword [rsp + 0x150], rax
xor eax, eax
mov qword [rsp + 0x190], rax
xor eax, eax
mov qword [rsp + 0x1a0], rax
xor eax, eax
mov qword [rsp + 0x28], rax
xor eax, eax
mov qword [rsp + 0x98], rax
xor r12d, r12d
xor eax, eax
mov qword [rsp + 0x78], rax
xor eax, eax
mov r14d, 9
xor r11d, r11d
xor esi, esi
xor edi, edi
xor r9d, r9d
mov r15d, 1
xor ebx, ebx
xor r8d, r8d
xor r13d, r13d
xor r10d, r10d
nop word [rax + rax]
mov qword [rsp + 0x80], rax
mov qword [rsp + 0x88], r12
mov dword [rsp + 0x1ec], 0xfffffffc
mov al, byte [rsp + 0x90]
mov r12, qword [rsp + 0x98]
nop word [rax + rax]
mov qword [rsp + 0x198], rdx
mov byte [rsp + 0x90], al
movzx ecx, byte [rsp + 0x90]
shr cl, 7
movzx ecx, cl
neg rcx
mov rax, r9
mov rdx, qword [rsp + 0x1a0]
xor rax, rdx
and rax, rcx
xor rdx, rax
mov qword [rsp + 0x1a0], rdx
xor rax, r9
mov qword [rsp + 0x68], rax
mov rax, rdi
mov rdx, qword [rsp + 0x190]
xor rax, rdx
and rax, rcx
xor rdx, rax
mov qword [rsp + 0x190], rdx
xor rax, rdi
mov qword [rsp + 0x50], rax
mov rax, rsi
mov rdi, qword [rsp + 0x150]
xor rax, rdi
and rax, rcx
xor rdi, rax
xor rax, rsi
mov qword [rsp + 0x30], rax
mov rax, r11
mov rdx, qword [rsp + 0x198]
xor rax, rdx
and rax, rcx
xor rdx, rax
mov qword [rsp + 0x198], rdx
xor rax, r11
mov qword [rsp + 0x48], rax
mov rdx, r14
mov rax, qword [rsp + 0x158]
xor rdx, rax
and rdx, rcx
xor rax, rdx
mov qword [rsp + 0x158], rax
xor rdx, r14
mov qword [rsp + 0x40], rdx
mov rax, r10
mov rsi, qword [rsp + 0x80]
xor rax, rsi
and rax, rcx
mov rdx, rcx
xor rsi, rax
mov qword [rsp + 0x80], rsi
xor rax, r10
mov qword [rsp + 0x38], rax
mov r11, r13
mov r9, qword [rsp + 0x78]
xor r11, r9
and r11, rcx
xor r9, r11
xor r11, r13
mov rcx, rdi
mov r14, r8
mov r13, qword [rsp + 0x88]
xor r14, r13
and r14, rdx
xor r13, r14
xor r14, r8
mov rax, rbx
xor rax, r12
and rax, rdx
mov rdi, rdx
mov qword [rsp + 0xe8], rdx
xor r12, rax
xor rax, rbx
mov rdx, r15
mov rsi, qword [rsp + 0x28]
xor rdx, rsi
and rdx, rdi
xor rsi, rdx
mov qword [rsp + 0x28], rsi
xor rdx, r15
mov rbx, qword [rsp + 0x198]
lea rdi, [r12 + rbx]
mov qword [rsp + 0x70], rdi
movabs rdi, 0x3ffffffffffff8
add rbx, rdi
sub rbx, r12
lea rsi, [rcx + r13]
mov qword [rsp + 0x60], rsi
add rcx, rdi
sub rcx, r13
mov qword [rsp + 0x150], rcx
mov rsi, qword [rsp + 0x190]
lea rcx, [r9 + rsi]
mov qword [rsp + 0x58], rcx
add rsi, rdi
sub rsi, r9
mov qword [rsp + 0x190], rsi
mov rcx, qword [rsp + 0x1a0]
mov r8, qword [rsp + 0x80]
lea rsi, [r8 + rcx]
mov qword [rsp + 0x98], rsi
add rcx, rdi
sub rcx, r8
mov qword [rsp + 0x1a0], rcx
mov rcx, qword [rsp + 0x40]
lea r8, [rdx + rcx]
mov qword [rsp + 0x80], r8
add rcx, rdi
add rcx, 0xffffffffffffff70
sub rcx, rdx
mov qword [rsp + 0x40], rcx
mov rcx, qword [rsp + 0x48]
lea r10, [rax + rcx]
add rcx, rdi
sub rcx, rax
mov qword [rsp + 0x48], rcx
mov rax, qword [rsp + 0x30]
lea r12, [r14 + rax]
add rax, rdi
sub rax, r14
mov qword [rsp + 0x30], rax
mov rax, qword [rsp + 0x50]
lea r13, [r11 + rax]
add rax, rdi
sub rax, r11
mov qword [rsp + 0x50], rax
mov rax, qword [rsp + 0x158]
lea rsi, [rax + rdi]
add rsi, 0xffffffffffffff70
sub rsi, qword [rsp + 0x28]
mov qword [rsp + 0xf0], rsi
mov rax, rsi
mul r8
mov r11, rdx
mov r14, rax
mov rax, rsi
mul r10
mov rdi, r10
mov r15, rax
mov qword [rsp + 0xf8], rdx
mov rax, rsi
mul r12
mov qword [rsp + 0xd8], r12
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x100], rax
mov rax, rsi
mul r13
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xb8], rdx
mov r8, qword [rsp + 0x68]
mov r9, qword [rsp + 0x38]
lea rcx, [r9 + r8]
mov rax, rsi
mul rcx
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0x78], rdx
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov qword [rsp + 0x88], rcx
mov rax, rbx
mul rcx
mov r10, rax
mov rcx, rdx
movabs rdx, 0x3ffffffffffff8
add r8, rdx
sub r8, r9
mov qword [rsp + 0x68], r8
add r10, r14
adc rcx, r11
mov rax, rbx
mov qword [rsp + 0x198], rbx
mov rsi, qword [rsp + 0x80]
mul rsi
mov r11, rdx
mov r14, rax
add r14, r15
adc r11, qword [rsp + 0xf8]
mov rax, rbx
mul rdi
mov qword [rsp + 0xc8], rdi
mov r15, rdx
mov r9, rax
add r9, qword [rsp + 0x100]
adc r15, qword [rsp + 0x148]
mov rax, rbx
mul r12
mov r12, rax
add r12, qword [rsp + 0xb0]
adc rdx, qword [rsp + 0xb8]
mov qword [rsp + 0xb0], rdx
mov rax, rbx
mov rbx, r13
mul r13
mov r13, rax
add r13, qword [rsp + 0xc0]
adc rdx, qword [rsp + 0x78]
mov qword [rsp + 0x38], rdx
lea rax, [rbx + rbx*8]
lea rdx, [rbx + rax*2]
mov qword [rsp + 0x78], rdx
mov rbx, qword [rsp + 0x150]
mov rax, rbx
mul rdx
mov r8, rax
add r8, r10
adc rdx, rcx
mov qword [rsp + 0xc0], rdx
mov rax, rbx
mul qword [rsp + 0x88]
mov r10, rax
add r10, r14
adc rdx, r11
mov qword [rsp + 0xb8], rdx
mov rax, rbx
mul rsi
mov rsi, rdx
mov r11, rax
add r11, r9
adc rsi, r15
mov rax, rbx
mul rdi
mov r15, rdx
mov rdi, rax
add rdi, r12
adc r15, qword [rsp + 0xb0]
mov rax, rbx
mov rcx, qword [rsp + 0xd8]
mul rcx
mov r14, rdx
mov rbx, rax
add rbx, r13
adc r14, qword [rsp + 0x38]
lea rax, [rcx + rcx*8]
lea rdx, [rcx + rax*2]
mov qword [rsp + 0x38], rdx
mov rcx, qword [rsp + 0x190]
mov rax, rcx
mul rdx
mov r12, rdx
mov r13, rax
add r13, r8
adc r12, qword [rsp + 0xc0]
mov rax, rcx
mul qword [rsp + 0x78]
mov r8, rax
add r8, r10
adc rdx, qword [rsp + 0xb8]
mov qword [rsp + 0xd8], rdx
mov rax, rcx
mul qword [rsp + 0x88]
mov r9, rax
add r9, r11
adc rdx, rsi
mov qword [rsp + 0xc0], rdx
mov rax, rcx
mul qword [rsp + 0x80]
mov r10, rax
add r10, rdi
adc rdx, r15
mov qword [rsp + 0xb8], rdx
mov rax, rcx
mov rcx, qword [rsp + 0xc8]
mul rcx
mov r15, rdx
mov r11, rax
add r11, rbx
adc r15, r14
lea rax, [rcx + rcx*8]
lea rcx, [rcx + rax*2]
mov rdi, qword [rsp + 0x1a0]
mov rax, rdi
mul rcx
mov rsi, rdx
mov rcx, rax
add rcx, r13
adc rsi, r12
mov rax, rdi
mul qword [rsp + 0x38]
mov r12, rdx
mov r13, rax
add r13, r8
adc r12, qword [rsp + 0xd8]
mov rax, rdi
mul qword [rsp + 0x78]
mov r14, rdx
mov rbx, rax
add rbx, r9
adc r14, qword [rsp + 0xc0]
mov rax, rdi
mul qword [rsp + 0x88]
mov r8, rdx
mov r9, rax
add r9, r10
adc r8, qword [rsp + 0xb8]
mov rax, rdi
mul qword [rsp + 0x80]
add rax, r11
adc rdx, r15
mov r10, rsi
shr r10, 0x33
shld rsi, rcx, 0xd
movabs rdi, 0x7ffffffffffff
and rcx, rdi
add rsi, r13
adc r10, r12
mov rdi, r10
shr rdi, 0x33
shld r10, rsi, 0xd
add r10, rbx
adc rdi, r14
mov rbx, rdi
shld rdi, r10, 0xd
shr rbx, 0x33
add rdi, r9
adc rbx, r8
mov r8, rbx
shr r8, 0x33
shld rbx, rdi, 0xd
add rbx, rax
adc r8, rdx
shld r8, rbx, 0xd
mov rax, qword [rsp + 0x158]
mov rdx, qword [rsp + 0x28]
lea r9, [rdx + rax]
lea rax, [r8 + r8*8]
lea rdx, [r8 + rax*2]
add rdx, rcx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov r11, rdx
shr rdx, 0x33
add rdx, rsi
mov qword [rsp + 0x38], rdx
movabs rax, 0x7ffffffffffff
and r10, rax
mov qword [rsp + 0x80], r10
movabs rax, 0x7ffffffffffff
and rdi, rax
mov qword [rsp + 0x28], rdi
mov rdi, qword [rsp + 0x40]
mov rax, rdi
mov rsi, r9
mul r9
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0x158], rbx
mov rax, rdi
mov rbx, qword [rsp + 0x70]
mul rbx
mov r8, rdx
mov r9, rax
mov rax, rdi
mov rcx, qword [rsp + 0x60]
mul rcx
mov qword [rsp + 0x100], rax
mov qword [rsp + 0xf8], rdx
mov rax, rdi
mov r10, qword [rsp + 0x58]
mul r10
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xb8], rax
mov rax, rdi
mov rdi, qword [rsp + 0x98]
mul rdi
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0x78], rdx
lea rax, [rdi + rdi*8]
lea r14, [rdi + rax*2]
mov rax, r14
mov rdi, qword [rsp + 0x48]
mul rdi
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
movabs rax, 0x7ffffffffffff
and r11, rax
mov qword [rsp + 0x88], r11
mov rax, rdi
mul rsi
mov r11, rsi
add rax, r9
mov qword [rsp + 0x140], rax
adc rdx, r8
mov qword [rsp + 0x138], rdx
mov rax, rdi
mov r8, rbx
mul rbx
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xa0], rdx
mov rax, rdi
mul rcx
mov rsi, rcx
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x120], rax
mov rax, rdi
mov rcx, r10
mul r10
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xb0], rdx
lea rax, [r10 + r10*8]
lea r13, [r10 + rax*2]
mov rax, r13
mov rcx, qword [rsp + 0x30]
mul rcx
mov qword [rsp + 0x1b8], rax
mov qword [rsp + 0x1c0], rdx
mov rax, r14
mov r9, r14
mov qword [rsp + 0x40], r14
mul rcx
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x168], rax
mov rax, rcx
mul r11
mov r15, rax
mov r14, rdx
mov rax, rcx
mul rbx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x118], rax
mov rax, rcx
mov rcx, rsi
mul rsi
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x30], rdx
lea rax, [rsi + rsi*8]
lea r10, [rsi + rax*2]
mov rax, r10
mov rdi, qword [rsp + 0x50]
mul rdi
mov rsi, rax
mov rbx, rdx
mov rax, r13
mov rcx, r13
mov qword [rsp + 0x48], r13
mul rdi
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r9
mul rdi
mov qword [rsp + 0x188], rax
mov qword [rsp + 0x160], rdx
mov rax, rdi
mov r9, rdi
mul r11
mov qword [rsp + 0xc8], r11
mov r13, rdx
mov rdi, rax
mov rax, r9
mul r8
mov qword [rsp + 0x110], rax
mov qword [rsp + 0x50], rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mov r8, qword [rsp + 0x68]
mul r8
mov r12, rdx
mov r9, rax
add r9, qword [rsp + 0x128]
adc r12, qword [rsp + 0x130]
add r9, rsi
adc r12, rbx
add r9, qword [rsp + 0x1b8]
adc r12, qword [rsp + 0x1c0]
add r9, qword [rsp + 0x178]
adc r12, qword [rsp + 0x180]
mov rax, r10
mul r8
mov rbx, r8
mov rsi, rdx
mov r8, rax
mov rax, rcx
mul rbx
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
mov r10, r12
shr r10, 0x33
mov rax, qword [rsp + 0x40]
mul rbx
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
shld r12, r9, 0xd
mov rax, rbx
mul r11
mov rcx, rax
movabs rax, 0x7ffffffffffff
and r9, rax
add r8, qword [rsp + 0x140]
adc rsi, qword [rsp + 0x138]
add r8, qword [rsp + 0x1b0]
adc rsi, qword [rsp + 0x1a8]
add r8, qword [rsp + 0x168]
adc rsi, qword [rsp + 0x170]
add r8, r12
adc rsi, r10
mov rax, rsi
shld rsi, r8, 0xd
shr rax, 0x33
add r15, qword [rsp + 0xe0]
adc r14, qword [rsp + 0xa0]
add r15, qword [rsp + 0x100]
adc r14, qword [rsp + 0xf8]
add r15, qword [rsp + 0x178]
adc r14, qword [rsp + 0x180]
add r15, qword [rsp + 0x188]
adc r14, qword [rsp + 0x160]
add r15, rsi
adc r14, rax
mov rax, r14
shld r14, r15, 0xd
shr rax, 0x33
add rdi, qword [rsp + 0x118]
adc r13, qword [rsp + 0xd0]
add rdi, qword [rsp + 0x120]
adc r13, qword [rsp + 0x108]
add rdi, qword [rsp + 0xb8]
adc r13, qword [rsp + 0xc0]
add rdi, qword [rsp + 0x128]
adc r13, qword [rsp + 0x130]
add rdi, r14
adc r13, rax
mov rax, r13
shld r13, rdi, 0xd
shr rax, 0x33
add rcx, qword [rsp + 0x110]
adc rdx, qword [rsp + 0x50]
add rcx, qword [rsp + 0xa8]
adc rdx, qword [rsp + 0x30]
add rcx, qword [rsp + 0x148]
adc rdx, qword [rsp + 0xb0]
add rcx, qword [rsp + 0xd8]
adc rdx, qword [rsp + 0x78]
add rcx, r13
adc rdx, rax
shld rdx, rcx, 0xd
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
add rax, r9
movabs rdx, 0x7ffffffffffff
and r8, rdx
mov rdx, rax
shr rax, 0x33
add rax, r8
movabs rbx, 0x7ffffffffffff
and rdx, rbx
mov rsi, qword [rsp + 0x88]
lea r12, [rdx + rsi]
movabs rbx, 0x3ffffffffffff8
add rsi, rbx
add rsi, 0xffffffffffffff70
sub rsi, rdx
mov qword [rsp + 0x50], rsi
mov rsi, qword [rsp + 0x38]
lea r9, [rax + rsi]
mov rdx, rbx
add rsi, rbx
sub rsi, rax
mov qword [rsp + 0x38], rsi
movabs rax, 0x7ffffffffffff
and r15, rax
mov rax, qword [rsp + 0x80]
lea r14, [r15 + rax]
add rax, rbx
sub rax, r15
mov qword [rsp + 0x80], rax
movabs rax, 0x7ffffffffffff
and rdi, rax
mov rax, qword [rsp + 0x28]
lea r13, [rdi + rax]
add rax, rbx
sub rax, rdi
mov qword [rsp + 0x28], rax
movabs rax, 0x7ffffffffffff
and rcx, rax
mov rax, r12
mul r12
mov rbx, rax
mov qword [rsp + 0x88], rdx
mov r8, qword [rsp + 0x158]
lea r15, [rcx + r8]
imul rdi, r15, 0x26
mov rax, r9
mul rdi
mov r11, rax
mov qword [rsp + 0x78], rdx
imul rdx, r14, 0x26
mov rax, r13
mul rdx
mov r10, rax
mov rsi, rdx
movabs rax, 0x3ffffffffffff8
add r8, rax
sub r8, rcx
mov qword [rsp + 0x158], r8
add r10, rbx
adc rsi, qword [rsp + 0x88]
add r10, r11
mov r8, r10
adc rsi, qword [rsp + 0x78]
lea r11, [r12 + r12]
mov rax, r11
mul r9
mov qword [rsp + 0x100], rax
mov qword [rsp + 0xf8], rdx
mov rax, rdi
mul r14
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x120], rdx
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r13
mov rbx, rdx
mov r12, rax
mov rax, r11
mul r14
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0x30], rdx
mov rax, r9
mul r9
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0xa0], rax
mov rax, rdi
mul r13
mov rcx, rdx
mov qword [rsp + 0x88], rax
mov rax, r11
mul r13
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xd8], rdx
add r9, r9
mov rax, r9
mul r14
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xc0], rdx
lea rax, [r15 + r15*8]
lea rax, [r15 + rax*2]
mul r15
mov rdi, rdx
mov qword [rsp + 0x78], rax
mov rax, r11
mul r15
mov qword [rsp + 0x68], rax
mov r15, rdx
mov r10, rsi
shr r10, 0x33
mov rax, r9
mul r13
mov r9, rax
mov r13, rdx
shld rsi, r8, 0xd
mov rax, r14
mul r14
mov r11, rax
movabs rax, 0x7ffffffffffff
and r8, rax
add r12, qword [rsp + 0xa8]
adc rbx, qword [rsp + 0x120]
add r12, qword [rsp + 0x100]
adc rbx, qword [rsp + 0xf8]
add r12, rsi
adc rbx, r10
mov rax, rbx
shld rbx, r12, 0xd
shr rax, 0x33
mov rsi, qword [rsp + 0x88]
add rsi, qword [rsp + 0xa0]
adc rcx, qword [rsp + 0x108]
add rsi, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0x30]
add rsi, rbx
adc rcx, rax
mov rax, rcx
shld rcx, rsi, 0xd
shr rax, 0x33
mov rbx, qword [rsp + 0x78]
add rbx, qword [rsp + 0xb8]
adc rdi, qword [rsp + 0xd8]
add rbx, qword [rsp + 0x148]
adc rdi, qword [rsp + 0xc0]
add rbx, rcx
adc rdi, rax
mov rax, rdi
shld rdi, rbx, 0xd
shr rax, 0x33
add r11, qword [rsp + 0x68]
adc rdx, r15
add r11, r9
adc rdx, r13
add r11, rdi
adc rdx, rax
shld rdx, r11, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r8
movabs rax, 0x7ffffffffffff
and r12, rax
mov rdi, rcx
shr rcx, 0x33
add rcx, r12
mov qword [rsp + 0x68], rcx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0x88], rsi
mov rcx, qword [rsp + 0x50]
mov rax, rcx
mul rcx
mov r8, rcx
mov r12, rax
mov r9, rdx
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0x78], rbx
imul rsi, qword [rsp + 0x158], 0x26
mov rbx, qword [rsp + 0x38]
mov rax, rbx
mul rsi
mov r14, rax
mov r10, rdx
movabs rax, 0x7ffffffffffff
and r11, rax
mov qword [rsp + 0xd8], r11
mov r13, qword [rsp + 0x80]
imul rdx, r13, 0x26
mov rcx, qword [rsp + 0x28]
mov rax, rcx
mul rdx
mov r11, rax
mov r15, rdx
movabs rax, 0x7ffffffffffff
and rdi, rax
mov qword [rsp + 0x30], rdi
add r11, r12
adc r15, r9
add r11, r14
mov qword [rsp + 0xa8], r11
adc r15, r10
lea r12, [r8 + r8]
mov rax, r12
mul rbx
mov qword [rsp + 0x100], rax
mov qword [rsp + 0xf8], rdx
mov rax, rsi
mul r13
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa0], rdx
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mov r8, rcx
mul rcx
mov rcx, rdx
mov r9, rax
mov rax, r12
mul r13
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0x50], rdx
mov rax, rbx
mul rbx
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0xe0], rax
mov rax, rsi
mul r8
mov rsi, rdx
mov r14, rax
mov rax, r12
mul r8
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xc0], rdx
lea r10, [rbx + rbx]
mov rax, r10
mul r13
mov qword [rsp + 0x148], rax
mov qword [rsp + 0x38], rdx
mov rbx, qword [rsp + 0x158]
lea rax, [rbx + rbx*8]
lea rax, [rbx + rax*2]
mul rbx
mov rdi, rbx
mov rbx, rdx
mov r11, rax
mov rax, r12
mul rdi
mov qword [rsp + 0x158], rax
mov r12, rdx
mov rdi, r15
shr rdi, 0x33
mov rax, r10
mul r8
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x28], rdx
mov r8, qword [rsp + 0xa8]
shld r15, r8, 0xd
mov rax, r13
mul r13
mov r10, rax
movabs rax, 0x7ffffffffffff
and r8, rax
add r9, qword [rsp + 0xd0]
adc rcx, qword [rsp + 0xa0]
add r9, qword [rsp + 0x100]
adc rcx, qword [rsp + 0xf8]
add r9, r15
adc rcx, rdi
mov rax, rcx
shld rcx, r9, 0xd
shr rax, 0x33
add r14, qword [rsp + 0xe0]
adc rsi, qword [rsp + 0x120]
add r14, qword [rsp + 0xb0]
adc rsi, qword [rsp + 0x50]
add r14, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r14, 0xd
shr rax, 0x33
add r11, qword [rsp + 0xb8]
adc rbx, qword [rsp + 0xc0]
add r11, qword [rsp + 0x148]
adc rbx, qword [rsp + 0x38]
add r11, rsi
adc rbx, rax
mov rax, rbx
shld rbx, r11, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x158]
adc rdx, r12
add r10, qword [rsp + 0x108]
adc rdx, qword [rsp + 0x28]
add r10, rbx
adc rdx, rax
shld rdx, r10, 0xd
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
add rax, r8
movabs rcx, 0x7ffffffffffff
and r9, rcx
mov rsi, rax
shr rsi, 0x33
movabs rcx, 0x7ffffffffffff
and rax, rcx
mov r12d, 9
mul r12
mov r13, rax
mov rcx, rdx
add rsi, r9
movabs rax, 0x7ffffffffffff
and r14, rax
mov rax, r14
mul r12
mov r14, rax
mov rdi, rdx
lea r15, [rsi + rsi*8]
movabs rax, 0x7ffffffffffff
and r11, rax
mov rax, r11
mul r12
mov r8, rax
mov r9, rdx
movabs rax, 0x7ffffffffffff
and r10, rax
mov rbx, rcx
shr rbx, 0x33
mov rax, r10
mul r12
shld rcx, r13, 0xd
movabs rsi, 0x7ffffffffffff
and r13, rsi
add rcx, r15
adc rbx, 0
shld rbx, rcx, 0xd
add rbx, r14
adc rdi, 0
mov rsi, rdi
shld rsi, rbx, 0xd
shr rdi, 0x33
add rsi, r8
adc rdi, r9
mov r8, rdi
shld r8, rsi, 0xd
shr rdi, 0x33
add r8, rax
adc rdi, rdx
shld rdi, r8, 0xd
mov r11, r8
lea rax, [rdi + rdi*8]
lea rdx, [rdi + rax*2]
add rdx, r13
movabs rax, 0x7ffffffffffff
and rcx, rax
mov rdi, rdx
shr rdx, 0x33
add rdx, rcx
mov qword [rsp + 0x38], rdx
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0xc0], rbx
mov rax, qword [rsp + 0xc8]
mul rax
mov r8, rax
mov r9, rdx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0xb0], rsi
imul r13, qword [rsp + 0x98], 0x26
mov rax, r13
mov rbx, qword [rsp + 0x70]
mul rbx
mov r15, rax
mov r10, rdx
movabs rax, 0x7ffffffffffff
and r11, rax
mov qword [rsp + 0x148], r11
mov rsi, qword [rsp + 0x60]
imul rax, rsi, 0x26
mov r14, qword [rsp + 0x58]
mul r14
mov r12, rax
mov rcx, rdx
movabs rax, 0x7ffffffffffff
and rdi, rax
mov qword [rsp + 0xb8], rdi
add r12, r8
adc rcx, r9
add r12, r15
adc rcx, r10
mov rax, qword [rsp + 0xc8]
lea r10, [rax + rax]
mov rax, r10
mul rbx
mov rbx, rax
mov r11, rdx
mov rax, r13
mul rsi
mov r8, rsi
mov rdi, rdx
mov r15, rax
mov rax, qword [rsp + 0x48]
mul r14
mov r9, rax
add r9, rbx
adc rdx, r11
add r9, r15
adc rdx, rdi
mov qword [rsp + 0x80], rdx
mov rax, r10
mul rsi
mov rsi, rdx
mov r11, rax
mov rdi, qword [rsp + 0x70]
mov rax, rdi
mul rdi
mov r14, rdi
mov rdi, rdx
mov rbx, rax
add rbx, r11
adc rdi, rsi
mov rax, r13
mov rsi, qword [rsp + 0x58]
mul rsi
add rax, rbx
mov qword [rsp + 0x28], rax
adc rdx, rdi
mov qword [rsp + 0x158], rdx
lea r15, [r14 + r14]
mov rax, r10
mul rsi
mov r11, rdx
mov rbx, rax
mov rax, r15
mul r8
mov rdi, rdx
mov r14, rax
add r14, rbx
adc rdi, r11
mov rax, qword [rsp + 0x40]
mov r13, qword [rsp + 0x98]
mul r13
mov r11, rdx
mov rbx, rax
add rbx, r14
adc r11, rdi
mov rax, r10
mul r13
mov r13, rax
mov r14, rdx
mov rax, r15
mul rsi
mov r15, rdx
mov rdi, rax
mov rax, r8
mul r8
add rax, rdi
adc rdx, r15
add rax, r13
adc rdx, r14
mov r8, rcx
shr r8, 0x33
shld rcx, r12, 0xd
movabs rdi, 0x7ffffffffffff
and r12, rdi
add rcx, r9
adc r8, qword [rsp + 0x80]
mov rsi, r8
shld r8, rcx, 0xd
shr rsi, 0x33
add r8, qword [rsp + 0x28]
adc rsi, qword [rsp + 0x158]
mov rdi, rsi
shr rdi, 0x33
shld rsi, r8, 0xd
add rsi, rbx
adc rdi, r11
mov rbx, rdi
shld rdi, rsi, 0xd
shr rbx, 0x33
add rdi, rax
adc rbx, rdx
shld rbx, rdi, 0xd
lea rax, [rbx + rbx*8]
lea rdx, [rbx + rax*2]
add rdx, r12
movabs rax, 0x7ffffffffffff
and rcx, rax
mov r12, rdx
shr rdx, 0x33
add rdx, rcx
mov qword [rsp + 0x70], rdx
movabs rax, 0x7ffffffffffff
and r8, rax
mov qword [rsp + 0x58], r8
mov rcx, qword [rsp + 0xf0]
mov rax, rcx
mul rcx
mov r14, rcx
mov r11, rax
mov r8, rdx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0x98], rsi
imul r9, qword [rsp + 0x1a0], 0x26
mov rax, r9
mov qword [rsp + 0x28], r9
mov rcx, qword [rsp + 0x198]
mul rcx
mov r15, rax
mov r10, rdx
movabs rax, 0x7ffffffffffff
and rdi, rax
mov qword [rsp + 0x80], rdi
mov rbx, qword [rsp + 0x150]
imul rax, rbx, 0x26
mov r13, qword [rsp + 0x190]
mul r13
mov rsi, rax
mov rdi, rdx
movabs rax, 0x7ffffffffffff
and r12, rax
mov qword [rsp + 0x50], r12
add rsi, r11
adc rdi, r8
add rsi, r15
adc rdi, r10
lea rax, [r14 + r14]
mov qword [rsp + 0x158], rax
mul rcx
mov r8, rcx
mov r10, rdx
mov r11, rax
mov rax, r9
mul rbx
mov rcx, rbx
mov r14, rax
mov r15, rdx
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r13
mov r12, rdx
mov rbx, rax
add rbx, r11
adc r12, r10
add rbx, r14
adc r12, r15
mov r9, qword [rsp + 0x158]
mov rax, r9
mul rcx
mov r10, rdx
mov r11, rax
mov rax, r8
mul r8
mov r14, rdx
mov rcx, rax
add rcx, r11
adc r14, r10
mov rax, qword [rsp + 0x28]
mul r13
add rax, rcx
mov qword [rsp + 0x48], rax
adc rdx, r14
mov qword [rsp + 0x28], rdx
lea r15, [r8 + r8]
mov rax, r9
mul r13
mov r11, rdx
mov rcx, rax
mov rax, r15
mov r10, qword [rsp + 0x150]
mul r10
mov r8, rdx
mov r9, rax
add r9, rcx
adc r8, r11
mov rcx, qword [rsp + 0x1a0]
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mul rcx
mov r11, rdx
mov r14, rax
add r14, r9
adc r11, r8
mov rax, qword [rsp + 0x158]
mul rcx
mov r9, rax
mov r8, rdx
mov rax, r15
mul r13
mov r15, rdx
mov rcx, rax
mov rax, r10
mul r10
add rax, rcx
adc rdx, r15
add rax, r9
adc rdx, r8
mov r10, rdi
shr r10, 0x33
shld rdi, rsi, 0xd
movabs rcx, 0x7ffffffffffff
and rsi, rcx
add rdi, rbx
adc r10, r12
mov r8, r10
shr r8, 0x33
shld r10, rdi, 0xd
add r10, qword [rsp + 0x48]
adc r8, qword [rsp + 0x28]
mov rbx, r8
shld r8, r10, 0xd
shr rbx, 0x33
add r8, r14
adc rbx, r11
mov r9, rbx
shr r9, 0x33
shld rbx, r8, 0xd
add rbx, rax
adc r9, rdx
shld r9, rbx, 0xd
lea rax, [r9 + r9*8]
lea r11, [r9 + rax*2]
add r11, rsi
movabs rax, 0x7ffffffffffff
and rdi, rax
mov rcx, r11
shr r11, 0x33
add r11, rdi
movabs rax, 0x7ffffffffffff
and r10, rax
movabs rax, 0x7ffffffffffff
and r8, rax
movabs rax, 0x7ffffffffffff
and rbx, rax
movabs rax, 0x7ffffffffffff
and rcx, rax
mov qword [rsp + 0x198], rcx
mov rax, rcx
mov r9, qword [rsp + 0x50]
mul r9
mov qword [rsp + 0x1a0], rax
mov qword [rsp + 0x190], rdx
mov rax, rcx
mov rsi, qword [rsp + 0x70]
mul rsi
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x118], rax
mov rax, rcx
mov rdi, qword [rsp + 0x58]
mul rdi
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x100], rdx
mov rax, rcx
mov r14, qword [rsp + 0x98]
mul r14
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xc8], rax
mov rax, rcx
mov rcx, qword [rsp + 0x80]
mul rcx
mov qword [rsp + 0x28], rax
mov qword [rsp + 0x158], rdx
lea rax, [rcx + rcx*8]
lea r15, [rcx + rax*2]
mov qword [rsp + 0x150], r11
mov rax, r11
mul r15
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x1b0], rdx
mov rax, r11
mul r9
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x170], rax
mov rax, r11
mul rsi
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xa0], rdx
mov rax, r11
mul rdi
mov r12, rdi
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xf8], rax
mov rax, r11
mov rcx, r14
mul r14
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x48], rdx
lea rax, [r14 + r14*8]
lea r13, [r14 + rax*2]
mov rax, r13
mul r10
mov qword [rsp + 0x1d0], rax
mov qword [rsp + 0x1d8], rdx
mov rax, r15
mov rdi, r15
mov qword [rsp + 0x1e0], r15
mul r10
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1a8], rax
mov rax, r9
mov rcx, r9
mul r10
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
mov rax, rsi
mul r10
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x140], rax
mov rax, r10
mul r12
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x120], rdx
mov rdx, r12
lea rax, [r12 + r12*8]
lea r9, [r12 + rax*2]
mov rax, r8
mul r9
mov r12, rax
mov r15, rdx
mov rax, r8
mul r13
mov r11, rdx
mov r14, rax
mov rax, rdi
mul r8
mov qword [rsp + 0x1c8], rax
mov qword [rsp + 0x1b8], rdx
mov rax, rcx
mul r8
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, rsi
mul r8
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x138], rdx
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mul rbx
add r12, qword [rsp + 0x1d0]
adc r15, qword [rsp + 0x1d8]
add r12, qword [rsp + 0x1a0]
adc r15, qword [rsp + 0x190]
add r12, rax
adc r15, rdx
add r12, qword [rsp + 0x1c0]
adc r15, qword [rsp + 0x1b0]
mov rax, rbx
mul r9
mov qword [rsp + 0x1b0], rdx
mov r9, rax
mov rax, rbx
mul r13
mov qword [rsp + 0x190], rax
mov rdi, rdx
mov r13, r15
shr r13, 0x33
mov rax, rbx
mul qword [rsp + 0x1e0]
mov qword [rsp + 0x1a0], rax
mov rsi, rdx
shld r15, r12, 0xd
mov rax, rcx
mul rbx
mov rcx, rax
movabs rax, 0x7ffffffffffff
and r12, rax
add r14, qword [rsp + 0x1a8]
adc r11, qword [rsp + 0x178]
add r14, r9
adc r11, qword [rsp + 0x1b0]
add r14, qword [rsp + 0x118]
adc r11, qword [rsp + 0xd0]
add r14, qword [rsp + 0x170]
adc r11, qword [rsp + 0x128]
add r14, r15
adc r11, r13
mov r9, r11
shld r11, r14, 0xd
shr r9, 0x33
mov rax, qword [rsp + 0x190]
add rax, qword [rsp + 0x1c8]
adc rdi, qword [rsp + 0x1b8]
add rax, qword [rsp + 0x160]
adc rdi, qword [rsp + 0x168]
add rax, qword [rsp + 0x108]
adc rdi, qword [rsp + 0x100]
add rax, qword [rsp + 0xe0]
adc rdi, qword [rsp + 0xa0]
add rax, r11
adc rdi, r9
mov r9, rdi
shld rdi, rax, 0xd
mov r15, rax
shr r9, 0x33
mov rax, qword [rsp + 0x1a0]
add rax, qword [rsp + 0x180]
adc rsi, qword [rsp + 0x188]
add rax, qword [rsp + 0x140]
adc rsi, qword [rsp + 0x110]
add rax, qword [rsp + 0xc8]
adc rsi, qword [rsp + 0x40]
add rax, qword [rsp + 0xf8]
adc rsi, qword [rsp + 0xf0]
add rax, rdi
adc rsi, r9
mov rdi, rsi
shld rsi, rax, 0xd
mov r13, rax
shr rdi, 0x33
add rcx, qword [rsp + 0xa8]
adc rdx, qword [rsp + 0x120]
add rcx, qword [rsp + 0x130]
adc rdx, qword [rsp + 0x138]
add rcx, qword [rsp + 0x28]
adc rdx, qword [rsp + 0x158]
add rcx, qword [rsp + 0x60]
adc rdx, qword [rsp + 0x48]
add rcx, rsi
adc rdx, rdi
shld rdx, rcx, 0xd
mov rsi, rcx
lea rax, [rdx + rdx*8]
lea rdx, [rdx + rax*2]
add rdx, r12
movabs rax, 0x7ffffffffffff
and r14, rax
mov r9, rdx
shr rdx, 0x33
add rdx, r14
mov qword [rsp + 0x158], rdx
movabs rax, 0x3ffffffffffff8
mov rdx, qword [rsp + 0x50]
lea r11, [rdx + rax]
add r11, 0xffffffffffffff70
sub r11, qword [rsp + 0x198]
mov rdx, qword [rsp + 0x70]
lea r12, [rdx + rax]
sub r12, qword [rsp + 0x150]
mov rdx, qword [rsp + 0x58]
lea r14, [rdx + rax]
sub r14, r10
mov rdx, qword [rsp + 0x98]
lea rcx, [rdx + rax]
sub rcx, r8
mov qword [rsp + 0x40], rcx
mov rdx, qword [rsp + 0x80]
lea r10, [rdx + rax]
sub r10, rbx
movabs rax, 0x7ffffffffffff
and r15, rax
mov qword [rsp + 0x190], r15
movabs rax, 0x7ffffffffffff
and r13, rax
mov qword [rsp + 0x1a0], r13
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0x198], rsi
mov rax, r11
mov edi, 0x1db41
mul rdi
mov r8, rdx
mov r15, rax
mov rax, r12
mul rdi
mov rsi, rax
mov rbx, rdx
mov rax, r14
mul rdi
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc8], rax
mov rax, rcx
mul rdi
mov r13d, 0x1db41
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x150], rdx
movabs rax, 0x7ffffffffffff
and r9, rax
mov qword [rsp + 0x28], r9
mov rdi, r8
shr rdi, 0x33
mov rax, r10
mov r9, r10
mul r13
shld r8, r15, 0xd
movabs r13, 0x7ffffffffffff
and r15, r13
add r8, rsi
adc rdi, rbx
mov rcx, rdi
shld rcx, r8, 0xd
shr rdi, 0x33
add rcx, qword [rsp + 0xc8]
adc rdi, qword [rsp + 0x60]
mov rbx, rdi
shld rbx, rcx, 0xd
shr rdi, 0x33
add rbx, qword [rsp + 0x48]
adc rdi, qword [rsp + 0x150]
mov rsi, rdi
shld rsi, rbx, 0xd
shr rdi, 0x33
add rsi, rax
adc rdi, rdx
shld rdi, rsi, 0xd
lea rax, [rdi + rdi*8]
lea r10, [rdi + rax*2]
add r10, r15
movabs rax, 0x7ffffffffffff
and r8, rax
add r8, qword [rsp + 0x70]
add r10, qword [rsp + 0x50]
movabs rax, 0x7ffffffffffff
and rbx, rax
add rbx, qword [rsp + 0x98]
movabs rax, 0x7ffffffffffff
and rcx, rax
add rcx, qword [rsp + 0x58]
movabs rax, 0x7ffffffffffff
and rsi, rax
add rsi, qword [rsp + 0x80]
mov rax, r10
mul r11
mov qword [rsp + 0x110], rax
mov qword [rsp + 0xe0], rdx
mov rax, r8
mul r11
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xf0], rax
mov rax, rcx
mul r11
mov r13, rax
mov r15, rdx
lea rax, [rsi + rsi*8]
lea rdi, [rsi + rax*2]
mov rax, rbx
mul r11
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x58], rdx
mov rax, rsi
mul r11
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x98], rax
mov rax, rdi
mov rsi, rdi
mul r12
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
mov rax, r10
mul r12
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd0], rax
mov rax, r8
mul r12
add rax, r13
mov qword [rsp + 0xa8], rax
adc rdx, r15
mov qword [rsp + 0x120], rdx
lea rax, [rbx + rbx*8]
lea r11, [rbx + rax*2]
mov rax, rcx
mul r12
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0xc8], rdx
mov rax, rbx
mul r12
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x48], rax
mov rax, r11
mul r14
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1b8], rdi
mov rax, rdi
mul r14
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x170], rax
mov rax, r10
mul r14
mov qword [rsp + 0x140], rax
mov qword [rsp + 0x118], rdx
lea rax, [rcx + rcx*8]
lea r15, [rcx + rax*2]
mov rax, r8
mul r14
mov qword [rsp + 0x150], rax
mov r12, rdx
mov rax, rcx
mul r14
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0x108], rax
mov rax, r15
mov rcx, qword [rsp + 0x40]
mul rcx
mov rdi, rax
mov r14, rdx
mov rax, r11
mul rcx
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
lea rax, [r8 + r8*8]
lea rsi, [r8 + rax*2]
mov rax, r10
mul rcx
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x138], rdx
mov rax, r8
mul rcx
mov rcx, rdx
mov r13, rax
mov rax, rsi
mov rbx, r9
mul r9
mov r8, rdx
mov rsi, rax
add rsi, rdi
adc r8, r14
add rsi, qword [rsp + 0x1c0]
adc r8, qword [rsp + 0x1b0]
add rsi, qword [rsp + 0x180]
adc r8, qword [rsp + 0x188]
add rsi, qword [rsp + 0x110]
adc r8, qword [rsp + 0xe0]
mov rax, r15
mul r9
mov r15, rdx
mov r9, rax
mov rax, r11
mul rbx
mov rdi, rbx
mov rbx, rax
mov r11, rdx
mov r14, r8
shr r14, 0x33
mov rax, qword [rsp + 0x1b8]
mul rdi
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0x40], rdx
shld r8, rsi, 0xd
mov rax, r10
mul rdi
movabs rdi, 0x7ffffffffffff
and rsi, rdi
add r9, qword [rsp + 0xf0]
adc r15, qword [rsp + 0x60]
add r9, qword [rsp + 0x1a8]
adc r15, qword [rsp + 0x178]
add r9, qword [rsp + 0x170]
adc r15, qword [rsp + 0x128]
add r9, qword [rsp + 0xd0]
adc r15, qword [rsp + 0xa0]
add r9, r8
adc r15, r14
mov r8, r15
shld r15, r9, 0xd
shr r8, 0x33
add rbx, qword [rsp + 0xa8]
adc r11, qword [rsp + 0x120]
add rbx, qword [rsp + 0x160]
adc r11, qword [rsp + 0x168]
add rbx, qword [rsp + 0x140]
adc r11, qword [rsp + 0x118]
add rbx, r15
adc r11, r8
mov r8, r11
shld r11, rbx, 0xd
shr r8, 0x33
mov rdi, qword [rsp + 0x150]
add rdi, qword [rsp + 0xf8]
adc r12, qword [rsp + 0xc8]
add rdi, qword [rsp + 0x70]
adc r12, qword [rsp + 0x58]
add rdi, qword [rsp + 0xe0]
adc r12, qword [rsp + 0x40]
add rdi, qword [rsp + 0x130]
adc r12, qword [rsp + 0x138]
add rdi, r11
adc r12, r8
mov r8, r12
shld r12, rdi, 0xd
mov r11, rdi
shr r8, 0x33
add r13, qword [rsp + 0x108]
adc rcx, qword [rsp + 0x100]
add r13, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x50]
add r13, qword [rsp + 0x98]
adc rcx, qword [rsp + 0x80]
add r13, rax
adc rcx, rdx
add r13, r12
adc rcx, r8
shld rcx, r13, 0xd
lea rax, [rcx + rcx*8]
lea r10, [rcx + rax*2]
add r10, rsi
mov r8, qword [rsp + 0xd8]
mov rdi, r8
mov rsi, qword [rsp + 0x198]
xor rdi, rsi
movzx ecx, byte [rsp + 0x90]
shr cl, 6
and cl, 1
movzx eax, cl
neg rax
mov qword [rsp + 0x48], rax
mov rdx, qword [rsp + 0xe8]
xor rdx, rax
and rdi, rdx
xor rsi, rdi
mov qword [rsp + 0x198], rsi
xor rdi, r8
mov qword [rsp + 0x80], rdi
mov rdi, qword [rsp + 0x78]
mov rax, rdi
mov rcx, qword [rsp + 0x1a0]
xor rax, rcx
and rax, rdx
xor rcx, rax
mov qword [rsp + 0x1a0], rcx
xor rax, rdi
mov qword [rsp + 0x78], rax
mov rdi, qword [rsp + 0x88]
mov rax, rdi
mov rcx, qword [rsp + 0x190]
xor rax, rcx
and rax, rdx
xor rcx, rax
mov qword [rsp + 0x190], rcx
xor rax, rdi
mov qword [rsp + 0x98], rax
mov rax, qword [rsp + 0x68]
mov r12, rax
mov rcx, qword [rsp + 0x158]
xor r12, rcx
and r12, rdx
xor rcx, r12
mov qword [rsp + 0x158], rcx
xor r12, rax
mov rax, qword [rsp + 0x30]
mov r8, rax
mov rdi, qword [rsp + 0x28]
xor r8, rdi
and r8, rdx
xor rdi, r8
mov qword [rsp + 0x28], rdi
xor r8, rax
movabs rax, 0x7ffffffffffff
and r13, rax
mov rax, qword [rsp + 0x148]
mov r15, rax
xor r15, r13
and r15, rdx
xor r13, r15
xor r15, rax
movabs rax, 0x7ffffffffffff
mov rcx, r11
and rcx, rax
mov rax, qword [rsp + 0xb0]
mov r11, rax
xor r11, rcx
and r11, rdx
xor rcx, r11
mov qword [rsp + 0x150], rcx
xor r11, rax
movabs rax, 0x7ffffffffffff
and r9, rax
mov rcx, r10
shr r10, 0x33
add r10, r9
movabs rax, 0x7ffffffffffff
and rbx, rax
mov rax, qword [rsp + 0xc0]
mov rdi, rax
xor rdi, rbx
and rdi, rdx
xor rbx, rdi
xor rdi, rax
movabs rax, 0x7ffffffffffff
and rcx, rax
mov r9, qword [rsp + 0xb8]
mov rax, r9
xor rax, rcx
mov r14, qword [rsp + 0x38]
mov rsi, r14
xor rsi, r10
and rsi, rdx
and rdx, rax
xor r10, rsi
xor rsi, r14
xor rcx, rdx
mov r14, rcx
mov qword [rsp + 0x58], rcx
xor rdx, r9
mov rcx, qword [rsp + 0x190]
lea rax, [rbx + rcx]
mov qword [rsp + 0x68], rax
movabs r9, 0x3ffffffffffff8
add rcx, r9
sub rcx, rbx
mov qword [rsp + 0x190], rcx
mov rax, qword [rsp + 0x158]
lea rcx, [r10 + rax]
mov qword [rsp + 0x30], rcx
add rax, r9
sub rax, r10
mov r10, rax
mov rax, qword [rsp + 0x1a0]
mov rcx, qword [rsp + 0x150]
lea rbx, [rcx + rax]
mov qword [rsp + 0x50], rbx
add rax, r9
sub rax, rcx
mov qword [rsp + 0x1a0], rax
mov rax, qword [rsp + 0x198]
lea rcx, [rax + r13]
mov qword [rsp + 0x88], rcx
add rax, r9
sub rax, r13
mov qword [rsp + 0x198], rax
lea rax, [r8 + r9]
add rax, 0xffffffffffffff70
lea rcx, [rdx + r8]
sub rax, rdx
mov qword [rsp + 0x38], rax
lea r13, [rsi + r12]
add r12, r9
sub r12, rsi
mov rax, qword [rsp + 0x98]
lea r8, [rdi + rax]
add rax, r9
sub rax, rdi
mov qword [rsp + 0x98], rax
mov rax, qword [rsp + 0x78]
lea rdi, [r11 + rax]
add rax, r9
sub rax, r11
mov qword [rsp + 0x78], rax
mov rax, qword [rsp + 0x28]
lea rbx, [rax + r9]
add rbx, 0xffffffffffffff70
sub rbx, r14
mov rax, qword [rsp + 0x80]
lea rsi, [r15 + rax]
add rax, r9
mov qword [rsp + 0x80], rax
mov rax, rbx
mul rcx
mov r9, rcx
mov qword [rsp + 0x128], rax
mov qword [rsp + 0x130], rdx
mov rax, r13
mul rbx
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x100], rax
mov rax, rbx
mov qword [rsp + 0xc8], rbx
mul r8
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0xc0], rdx
lea rax, [rsi + rsi*8]
lea rcx, [rsi + rax*2]
mov rax, rbx
mul rdi
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xd8], rdx
mov rax, rbx
mul rsi
mov qword [rsp + 0x70], rdx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x158], r10
mov rax, r10
mul rcx
mov qword [rsp + 0x1b0], rax
mov qword [rsp + 0x1a8], rdx
mov rax, r10
mul r9
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x110], rax
mov rax, r10
mul r13
mov qword [rsp + 0x120], rax
mov qword [rsp + 0x108], rdx
lea rax, [rdi + rdi*8]
lea rbx, [rdi + rax*2]
mov rax, r10
mul r8
mov qword [rsp + 0x148], rax
mov qword [rsp + 0xb0], rdx
mov rax, r10
mul rdi
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xe8], rax
mov rax, rbx
mov rdi, qword [rsp + 0x190]
mul rdi
mov qword [rsp + 0x1c8], rax
mov qword [rsp + 0x1e0], rdx
mov rax, rcx
mov qword [rsp + 0x1d8], rcx
mul rdi
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x188], rax
mov rax, r9
mov qword [rsp + 0x1d0], r9
mul rdi
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
lea rax, [r8 + r8*8]
lea r10, [r8 + rax*2]
mov rax, r13
mul rdi
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa8], rdx
mov rax, rdi
mul r8
mov rsi, rdx
mov qword [rsp + 0x150], rax
mov rdi, qword [rsp + 0x1a0]
mov rax, rdi
mul r10
mov r14, rax
mov r11, rdx
mov rax, rbx
mul rdi
mov qword [rsp + 0x1c0], rdx
mov qword [rsp + 0x1b8], rax
mov rax, rcx
mul rdi
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
lea rax, [r13*8]
add rax, r13
lea rcx, [rax*2]
add rcx, r13
mov rax, r9
mul rdi
mov qword [rsp + 0x168], rax
mov qword [rsp + 0x170], rdx
mov rax, r13
mul rdi
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xe0], rax
mov rax, rcx
mov rcx, qword [rsp + 0x198]
mul rcx
sub qword [rsp + 0x80], r15
add r14, qword [rsp + 0x1c8]
adc r11, qword [rsp + 0x1e0]
add r14, qword [rsp + 0x128]
adc r11, qword [rsp + 0x130]
add r14, qword [rsp + 0x1b0]
adc r11, qword [rsp + 0x1a8]
add r14, rax
adc r11, rdx
mov rax, rcx
mul r10
mov r10, rdx
mov r9, rax
mov rax, rcx
mov rdi, rcx
mul rbx
mov r13, rax
mov rbx, rdx
mov r8, r11
shr r8, 0x33
mov rax, qword [rsp + 0x1d8]
mul rcx
mov r15, rax
mov rcx, rdx
shld r11, r14, 0xd
mov rax, qword [rsp + 0x1d0]
mul rdi
movabs rdi, 0x7ffffffffffff
and r14, rdi
add r9, qword [rsp + 0x1b8]
adc r10, qword [rsp + 0x1c0]
add r9, qword [rsp + 0x188]
adc r10, qword [rsp + 0x160]
add r9, qword [rsp + 0x100]
adc r10, qword [rsp + 0xf8]
add r9, qword [rsp + 0x110]
adc r10, qword [rsp + 0x118]
add r9, r11
adc r10, r8
mov r8, r10
shld r10, r9, 0xd
shr r8, 0x33
add r13, qword [rsp + 0x178]
adc rbx, qword [rsp + 0x180]
add r13, qword [rsp + 0xb8]
adc rbx, qword [rsp + 0xc0]
add r13, qword [rsp + 0x138]
adc rbx, qword [rsp + 0x140]
add r13, qword [rsp + 0x120]
adc rbx, qword [rsp + 0x108]
add r13, r10
adc rbx, r8
mov r8, rbx
shld rbx, r13, 0xd
shr r8, 0x33
add r15, qword [rsp + 0xf0]
adc rcx, qword [rsp + 0xd8]
add r15, qword [rsp + 0x168]
adc rcx, qword [rsp + 0x170]
add r15, qword [rsp + 0x148]
adc rcx, qword [rsp + 0xb0]
add r15, qword [rsp + 0xd0]
adc rcx, qword [rsp + 0xa8]
add r15, rbx
adc rcx, r8
mov rbx, rcx
shld rcx, r15, 0xd
shr rbx, 0x33
mov rdi, qword [rsp + 0x150]
add rdi, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x70]
add rdi, rax
adc rsi, rdx
add rdi, qword [rsp + 0xe8]
adc rsi, qword [rsp + 0x60]
add rdi, qword [rsp + 0xe0]
adc rsi, qword [rsp + 0xa0]
add rdi, rcx
adc rsi, rbx
shld rsi, rdi, 0xd
mov rcx, rdi
mov rax, qword [rsp + 0x28]
mov rdx, qword [rsp + 0x58]
lea rdi, [rdx + rax]
lea rax, [rsi + rsi*8]
lea rdx, [rsi + rax*2]
add rdx, r14
movabs rax, 0x7ffffffffffff
and r9, rax
mov r14, rdx
shr rdx, 0x33
add rdx, r9
mov qword [rsp + 0x70], rdx
movabs rax, 0x7ffffffffffff
and r13, rax
mov qword [rsp + 0x58], r13
movabs rax, 0x7ffffffffffff
and r15, rax
mov qword [rsp + 0x28], r15
mov r9, rdi
mov rax, rdi
mov rbx, qword [rsp + 0x38]
mul rbx
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x180], rdx
movabs rax, 0x7ffffffffffff
and rcx, rax
mov qword [rsp + 0x150], rcx
mov r11, qword [rsp + 0x30]
mov rax, r11
mul rbx
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, rbx
mov r10, qword [rsp + 0x68]
mul r10
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x100], rdx
mov rax, rbx
mov rsi, qword [rsp + 0x50]
mul rsi
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0xf0], rax
mov rax, rbx
mov rcx, qword [rsp + 0x88]
mul rcx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [rcx + rcx*8]
lea r13, [rcx + rax*2]
mov rax, r12
mul r13
mov qword [rsp + 0x1e0], rax
mov qword [rsp + 0x1c8], rdx
mov rax, r12
mul rdi
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r11
mul r12
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xd0], rdx
mov rax, r12
mul r10
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xf8], rax
mov rax, r12
mov rcx, rsi
mul rsi
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0x60], rdx
lea rax, [rsi + rsi*8]
lea rcx, [rsi + rax*2]
mov rax, rcx
mov rdi, qword [rsp + 0x98]
mul rdi
mov rsi, rax
mov r15, rdx
mov rax, r13
mov r12, r13
mul rdi
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, r9
mov r13, r9
mul rdi
mov qword [rsp + 0x168], rax
mov qword [rsp + 0x170], rdx
mov rax, r11
mul rdi
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x110], rax
mov rax, r10
mul rdi
mov qword [rsp + 0x120], rax
mov qword [rsp + 0x98], rdx
lea rax, [r10 + r10*8]
lea rbx, [r10 + rax*2]
mov rdi, qword [rsp + 0x78]
mov rax, rdi
mul rbx
mov r8, rax
mov r10, rdx
mov qword [rsp + 0xb0], rcx
mov rax, rcx
mul rdi
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1d0], rax
mov rax, r12
mov qword [rsp + 0xb8], r12
mul rdi
mov qword [rsp + 0x1b8], rax
mov qword [rsp + 0x1c0], rdx
mov rax, r9
mov qword [rsp + 0x148], r9
mul rdi
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x188], rax
mov rax, r11
mul rdi
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x140], rdx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mov r9, qword [rsp + 0x80]
mul r9
movabs rdi, 0x7ffffffffffff
and r14, rdi
mov qword [rsp + 0x78], r14
add r8, rsi
adc r10, r15
add r8, qword [rsp + 0x178]
adc r10, qword [rsp + 0x180]
add r8, qword [rsp + 0x1e0]
adc r10, qword [rsp + 0x1c8]
add r8, rax
adc r10, rdx
mov rdi, r9
mov rax, r9
mul rbx
mov r11, rdx
mov rbx, rax
mov rax, r9
mul rcx
mov rsi, rax
mov r9, rdx
mov r14, r10
shr r14, 0x33
mov rax, r12
mul rdi
mov rcx, rax
mov r15, rdx
shld r10, r8, 0xd
mov rax, r13
mul rdi
mov rdi, rax
movabs rax, 0x7ffffffffffff
and r8, rax
add rbx, qword [rsp + 0x1d0]
adc r11, qword [rsp + 0x1d8]
add rbx, qword [rsp + 0x1b0]
adc r11, qword [rsp + 0x1a8]
add rbx, qword [rsp + 0x128]
adc r11, qword [rsp + 0x130]
add rbx, qword [rsp + 0xa0]
adc r11, qword [rsp + 0xa8]
add rbx, r10
adc r11, r14
mov rax, r11
shld r11, rbx, 0xd
shr rax, 0x33
add rsi, qword [rsp + 0x1b8]
adc r9, qword [rsp + 0x1c0]
add rsi, qword [rsp + 0x168]
adc r9, qword [rsp + 0x170]
add rsi, qword [rsp + 0x108]
adc r9, qword [rsp + 0x100]
add rsi, qword [rsp + 0xe0]
adc r9, qword [rsp + 0xd0]
add rsi, r11
adc r9, rax
mov rax, r9
shld r9, rsi, 0xd
shr rax, 0x33
add rcx, qword [rsp + 0x188]
adc r15, qword [rsp + 0x160]
add rcx, qword [rsp + 0xf0]
adc r15, qword [rsp + 0xd8]
add rcx, qword [rsp + 0x110]
adc r15, qword [rsp + 0x118]
add rcx, qword [rsp + 0xf8]
adc r15, qword [rsp + 0xc0]
add rcx, r9
adc r15, rax
mov rax, r15
shld r15, rcx, 0xd
shr rax, 0x33
add rdi, qword [rsp + 0x120]
adc rdx, qword [rsp + 0x98]
add rdi, qword [rsp + 0x40]
adc rdx, qword [rsp + 0x38]
add rdi, qword [rsp + 0x138]
adc rdx, qword [rsp + 0x140]
add rdi, qword [rsp + 0xe8]
adc rdx, qword [rsp + 0x60]
add rdi, r15
adc rdx, rax
shld rdx, rdi, 0xd
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
add rax, r8
movabs rdx, 0x7ffffffffffff
and rbx, rdx
mov rdx, rax
shr rax, 0x33
add rax, rbx
movabs rbx, 0x7ffffffffffff
and rdx, rbx
mov rbx, qword [rsp + 0x78]
lea r8, [rdx + rbx]
movabs r9, 0x3ffffffffffff8
add rbx, r9
add rbx, 0xffffffffffffff70
sub rbx, rdx
mov qword [rsp + 0x78], rbx
mov rbx, qword [rsp + 0x70]
lea r11, [rax + rbx]
mov rdx, r9
add rbx, r9
sub rbx, rax
mov qword [rsp + 0x70], rbx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov rax, qword [rsp + 0x58]
lea r14, [rsi + rax]
add rax, r9
sub rax, rsi
mov qword [rsp + 0x58], rax
movabs rax, 0x7ffffffffffff
and rcx, rax
mov rax, qword [rsp + 0x28]
lea r13, [rcx + rax]
add rax, r9
sub rax, rcx
mov qword [rsp + 0x28], rax
movabs rax, 0x7ffffffffffff
and rdi, rax
mov rax, r8
mov qword [rsp + 0x80], r8
mul rax
mov r10, rax
mov qword [rsp + 0x98], rdx
mov rcx, qword [rsp + 0x150]
lea r12, [rdi + rcx]
imul rbx, r12, 0x26
mov rax, r11
mul rbx
mov r15, rax
mov rsi, rdx
imul rdx, r14, 0x26
mov rax, r13
mul rdx
mov r8, rax
mov r9, rdx
movabs rax, 0x3ffffffffffff8
add rcx, rax
sub rcx, rdi
mov qword [rsp + 0x150], rcx
add r8, r10
adc r9, qword [rsp + 0x98]
add r8, r15
mov rcx, r8
adc r9, rsi
mov rax, qword [rsp + 0x80]
lea r10, [rax + rax]
mov rax, r10
mul r11
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x100], rdx
mov rax, rbx
mul r14
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r13
mov r8, rdx
mov r15, rax
mov rax, r10
mul r14
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0x60], rdx
mov rax, r11
mul r11
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0xd0], rax
mov rax, rbx
mul r13
mov rbx, rdx
mov qword [rsp + 0x80], rax
mov rax, r10
mul r13
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xe8], rdx
add r11, r11
mov rax, r11
mul r14
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0xd8], rdx
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul r12
mov rdi, rdx
mov qword [rsp + 0x98], rax
mov rax, r10
mul r12
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
mov rsi, r9
shr rsi, 0x33
mov rax, r11
mul r13
mov r11, rax
mov r10, rdx
shld r9, rcx, 0xd
mov rax, r14
mul r14
mov r14, rax
movabs rax, 0x7ffffffffffff
and rcx, rax
mov r12, rcx
add r15, qword [rsp + 0xa0]
adc r8, qword [rsp + 0xa8]
add r15, qword [rsp + 0x108]
adc r8, qword [rsp + 0x100]
add r15, r9
adc r8, rsi
mov rax, r8
shld r8, r15, 0xd
shr rax, 0x33
mov rcx, qword [rsp + 0x80]
add rcx, qword [rsp + 0xd0]
adc rbx, qword [rsp + 0x120]
add rcx, qword [rsp + 0xc0]
adc rbx, qword [rsp + 0x60]
add rcx, r8
adc rbx, rax
mov rax, rbx
shld rbx, rcx, 0xd
mov rsi, rcx
shr rax, 0x33
mov rcx, qword [rsp + 0x98]
add rcx, qword [rsp + 0xf0]
adc rdi, qword [rsp + 0xe8]
add rcx, qword [rsp + 0xf8]
adc rdi, qword [rsp + 0xd8]
add rcx, rbx
adc rdi, rax
mov rax, rdi
shld rdi, rcx, 0xd
mov rbx, rcx
shr rax, 0x33
add r14, qword [rsp + 0x40]
adc rdx, qword [rsp + 0x38]
add r14, r11
adc rdx, r10
add r14, rdi
adc rdx, rax
shld rdx, r14, 0xd
mov r9, r14
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r12
movabs rax, 0x7ffffffffffff
and r15, rax
mov rdi, rcx
shr rcx, 0x33
add rcx, r15
mov qword [rsp + 0x38], rcx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0x80], rsi
mov rcx, qword [rsp + 0x78]
mov rax, rcx
mul rcx
mov r11, rcx
mov r14, rax
mov r8, rdx
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0x98], rbx
imul rbx, qword [rsp + 0x150], 0x26
mov rcx, qword [rsp + 0x70]
mov rax, rcx
mul rbx
mov r12, rax
mov r10, rdx
movabs rax, 0x7ffffffffffff
and r9, rax
mov qword [rsp + 0x60], r9
mov r15, qword [rsp + 0x58]
imul rdx, r15, 0x26
mov r9, qword [rsp + 0x28]
mov rax, r9
mul rdx
mov rsi, rax
mov r13, rdx
movabs rax, 0x7ffffffffffff
and rdi, rax
mov qword [rsp + 0x40], rdi
add rsi, r14
adc r13, r8
add rsi, r12
mov qword [rsp + 0xa8], rsi
adc r13, r10
lea r14, [r11 + r11]
mov rax, r14
mov rdi, rcx
mul rcx
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x100], rdx
mov rax, rbx
mul r15
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa0], rdx
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul r9
mov rcx, rdx
mov r8, rax
mov rax, r14
mul r15
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0xe8], rdx
mov rax, rdi
mul rdi
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0xe0], rax
mov rax, rbx
mul r9
mov rsi, rdx
mov r10, rax
mov rax, r14
mul r9
mov qword [rsp + 0xf0], rax
mov qword [rsp + 0xd8], rdx
lea r12, [rdi + rdi]
mov rax, r12
mul r15
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x70], rdx
mov rbx, qword [rsp + 0x150]
lea rax, [rbx + rbx*8]
lea rax, [rbx + rax*2]
mul rbx
mov rdi, rbx
mov rbx, rdx
mov r11, rax
mov rax, r14
mul rdi
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x150], rdx
mov rdi, r13
shr rdi, 0x33
mov rax, r12
mul r9
mov r12, rax
mov qword [rsp + 0x28], rdx
mov r9, qword [rsp + 0xa8]
shld r13, r9, 0xd
mov rax, r15
mul r15
mov r14, rax
movabs rax, 0x7ffffffffffff
and r9, rax
add r8, qword [rsp + 0xd0]
adc rcx, qword [rsp + 0xa0]
add r8, qword [rsp + 0x108]
adc rcx, qword [rsp + 0x100]
add r8, r13
adc rcx, rdi
mov rax, rcx
shld rcx, r8, 0xd
shr rax, 0x33
add r10, qword [rsp + 0xe0]
adc rsi, qword [rsp + 0x120]
add r10, qword [rsp + 0xc0]
adc rsi, qword [rsp + 0xe8]
add r10, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r10, 0xd
shr rax, 0x33
add r11, qword [rsp + 0xf0]
adc rbx, qword [rsp + 0xd8]
add r11, qword [rsp + 0xf8]
adc rbx, qword [rsp + 0x70]
add r11, rsi
adc rbx, rax
mov rax, rbx
shld rbx, r11, 0xd
shr rax, 0x33
add r14, qword [rsp + 0x78]
adc rdx, qword [rsp + 0x150]
add r14, r12
adc rdx, qword [rsp + 0x28]
add r14, rbx
adc rdx, rax
shld rdx, r14, 0xd
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
add rax, r9
movabs rcx, 0x7ffffffffffff
and r8, rcx
mov rsi, rax
shr rsi, 0x33
movabs rcx, 0x7ffffffffffff
and rax, rcx
mov r9d, 9
mul r9
mov r12, rax
mov r13, rdx
add rsi, r8
movabs rax, 0x7ffffffffffff
and r10, rax
mov rax, r10
mul r9
mov r10, rax
mov rdi, rdx
lea r15, [rsi + rsi*8]
movabs rax, 0x7ffffffffffff
and r11, rax
mov rax, r11
mul r9
mov esi, 9
mov r8, rax
mov r9, rdx
movabs rax, 0x7ffffffffffff
and r14, rax
mov rbx, r13
shr rbx, 0x33
mov rax, r14
mul rsi
shld r13, r12, 0xd
movabs rsi, 0x7ffffffffffff
and r12, rsi
add r13, r15
adc rbx, 0
shld rbx, r13, 0xd
add rbx, r10
adc rdi, 0
mov rsi, rdi
shld rsi, rbx, 0xd
shr rdi, 0x33
add rsi, r8
adc rdi, r9
mov rcx, rdi
shld rcx, rsi, 0xd
mov r8, rsi
shr rdi, 0x33
add rcx, rax
adc rdi, rdx
shld rdi, rcx, 0xd
mov r11, rcx
lea rax, [rdi + rdi*8]
lea rdx, [rdi + rax*2]
add rdx, r12
movabs rax, 0x7ffffffffffff
and r13, rax
mov rsi, rdx
shr rdx, 0x33
add rdx, r13
mov qword [rsp + 0x70], rdx
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0xe8], rbx
mov r15, qword [rsp + 0x148]
mov rax, r15
mul r15
mov r13, rax
mov r9, rdx
movabs rax, 0x7ffffffffffff
and r8, rax
mov qword [rsp + 0xf0], r8
imul r8, qword [rsp + 0x88], 0x26
mov rcx, qword [rsp + 0x30]
mov rax, rcx
mul r8
mov r12, rax
mov r14, rdx
movabs rax, 0x7ffffffffffff
and r11, rax
mov qword [rsp + 0xc0], r11
mov rdi, qword [rsp + 0x68]
imul rdx, rdi, 0x26
mov rbx, qword [rsp + 0x50]
mov rax, rbx
mul rdx
mov r10, rax
mov r11, rdx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0xd8], rsi
add r10, r13
adc r11, r9
add r10, r12
adc r11, r14
lea r12, [r15 + r15]
mov rax, r12
mul rcx
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x100], rdx
mov rax, r8
mul rdi
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd0], rax
mov rax, qword [rsp + 0xb0]
mov rsi, rbx
mul rbx
mov rbx, rdx
mov r9, rax
mov rax, r12
mul rdi
mov r14, rdi
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0x58], rdx
lea r13, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0xa8], rax
mov rax, r8
mul rsi
mov r15, rax
mov rcx, rdx
mov rax, r12
mul rsi
mov r8, rsi
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x148], rax
mov rax, r13
mul rdi
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x30], rdx
mov rax, qword [rsp + 0xb8]
mov rsi, qword [rsp + 0x88]
mul rsi
mov rdi, rdx
mov qword [rsp + 0x28], rax
mov rax, r12
mul rsi
mov qword [rsp + 0x88], rax
mov qword [rsp + 0x150], rdx
mov rsi, r11
shr rsi, 0x33
mov rax, r13
mul r8
mov r13, rax
mov r12, rdx
shld r11, r10, 0xd
mov rax, r14
mul r14
mov r8, rax
movabs rax, 0x7ffffffffffff
and r10, rax
add r9, qword [rsp + 0xd0]
adc rbx, qword [rsp + 0xa0]
add r9, qword [rsp + 0x108]
adc rbx, qword [rsp + 0x100]
add r9, r11
adc rbx, rsi
mov rax, rbx
shld rbx, r9, 0xd
shr rax, 0x33
add r15, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0x120]
add r15, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0x58]
add r15, rbx
adc rcx, rax
mov rax, rcx
shld rcx, r15, 0xd
shr rax, 0x33
mov rbx, qword [rsp + 0x28]
add rbx, qword [rsp + 0x148]
adc rdi, qword [rsp + 0x78]
add rbx, qword [rsp + 0xf8]
adc rdi, qword [rsp + 0x30]
add rbx, rcx
adc rdi, rax
mov rax, rdi
shld rdi, rbx, 0xd
mov rsi, rbx
shr rax, 0x33
add r8, qword [rsp + 0x88]
adc rdx, qword [rsp + 0x150]
add r8, r13
adc rdx, r12
add r8, rdi
adc rdx, rax
shld rdx, r8, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r10
movabs rax, 0x7ffffffffffff
and r9, rax
mov rbx, rcx
shr rcx, 0x33
add rcx, r9
mov qword [rsp + 0x58], rcx
movabs rax, 0x7ffffffffffff
and r15, rax
mov qword [rsp + 0x78], r15
mov rcx, qword [rsp + 0xc8]
mov rax, rcx
mul rcx
mov r11, rcx
mov r13, rax
mov r9, rdx
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0x28], rsi
imul rcx, qword [rsp + 0x198], 0x26
mov rdi, qword [rsp + 0x158]
mov rax, rdi
mul rcx
mov rsi, rax
mov r14, rdx
movabs rax, 0x7ffffffffffff
and r8, rax
mov qword [rsp + 0x88], r8
mov r15, qword [rsp + 0x190]
imul rdx, r15, 0x26
mov r10, qword [rsp + 0x1a0]
mov rax, r10
mul rdx
mov r12, rax
mov r8, rdx
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0x50], rbx
add r12, r13
adc r8, r9
add r12, rsi
adc r8, r14
add r11, r11
mov rax, r11
mul rdi
mov qword [rsp + 0xf8], rax
mov qword [rsp + 0x148], rdx
mov rax, rcx
mul r15
mov qword [rsp + 0x120], rax
mov qword [rsp + 0x108], rdx
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
mul r10
mov rsi, rdx
mov r9, rax
mov rax, r11
mul r15
mov rbx, r15
mov qword [rsp + 0xb8], rax
mov qword [rsp + 0x68], rdx
mov rax, rdi
mul rdi
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0xa8], rax
mov rax, rcx
mul r10
mov rcx, rdx
mov r15, rax
mov rax, r11
mul r10
mov qword [rsp + 0xc8], rax
mov qword [rsp + 0x30], rdx
lea r14, [rdi + rdi]
mov rax, r14
mul rbx
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0x158], rdx
mov rdi, qword [rsp + 0x198]
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mul rdi
mov rbx, rdx
mov r13, rax
mov rax, r11
mul rdi
mov qword [rsp + 0x150], rax
mov qword [rsp + 0x198], rdx
mov rdi, r8
shr rdi, 0x33
mov rax, r14
mul r10
mov r14, rax
mov r10, rdx
shld r8, r12, 0xd
mov rax, qword [rsp + 0x190]
mul rax
mov r11, rax
movabs rax, 0x7ffffffffffff
and r12, rax
add r9, qword [rsp + 0x120]
adc rsi, qword [rsp + 0x108]
add r9, qword [rsp + 0xf8]
adc rsi, qword [rsp + 0x148]
add r9, r8
adc rsi, rdi
mov rax, rsi
shld rsi, r9, 0xd
shr rax, 0x33
add r15, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0x100]
add r15, qword [rsp + 0xb8]
adc rcx, qword [rsp + 0x68]
add r15, rsi
adc rcx, rax
mov rax, rcx
shld rcx, r15, 0xd
shr rax, 0x33
add r13, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x30]
add r13, qword [rsp + 0xb0]
adc rbx, qword [rsp + 0x158]
add r13, rcx
adc rbx, rax
mov rax, rbx
shld rbx, r13, 0xd
shr rax, 0x33
add r11, qword [rsp + 0x150]
adc rdx, qword [rsp + 0x198]
add r11, r14
adc rdx, r10
add r11, rbx
adc rdx, rax
shld rdx, r11, 0xd
lea rax, [rdx + rdx*8]
lea r10, [rdx + rax*2]
add r10, r12
movabs rax, 0x7ffffffffffff
and r9, rax
mov rcx, r10
shr r10, 0x33
add r10, r9
movabs rax, 0x7ffffffffffff
and r15, rax
movabs rax, 0x7ffffffffffff
and r13, rax
movabs rax, 0x7ffffffffffff
and r11, rax
movabs rax, 0x7ffffffffffff
and rcx, rax
mov qword [rsp + 0x1a0], rcx
mov rax, rcx
mov rbx, qword [rsp + 0x50]
mul rbx
mov qword [rsp + 0x178], rax
mov qword [rsp + 0x190], rdx
mov r8, qword [rsp + 0x58]
mov rax, r8
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x118], rax
mov rax, rcx
mov r9, qword [rsp + 0x78]
mul r9
mov qword [rsp + 0x108], rax
mov qword [rsp + 0x100], rdx
mov rax, rcx
mov rdi, qword [rsp + 0x28]
mul rdi
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xb0], rax
mov rax, rcx
mov rcx, qword [rsp + 0x88]
mul rcx
mov qword [rsp + 0x158], rax
mov qword [rsp + 0x198], rdx
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
mov rax, r10
mul rsi
mov qword [rsp + 0x1e0], rax
mov qword [rsp + 0x1c8], rdx
mov rax, r10
mul rbx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x170], rax
mov rax, r10
mul r8
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xa0], rdx
mov rax, r10
mul r9
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0xf8], rax
mov rax, r10
mov rcx, rdi
mul rdi
mov qword [rsp + 0x30], rax
mov qword [rsp + 0x68], rdx
lea rax, [rdi + rdi*8]
lea rdi, [rdi + rax*2]
mov rax, rdi
mov qword [rsp + 0x150], r15
mul r15
mov r14, rax
mov r12, rdx
mov rax, rsi
mul r15
mov qword [rsp + 0x1a8], rdx
mov qword [rsp + 0x1b0], rax
mov rax, rbx
mul r15
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
mov rax, r8
mul r15
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x140], rax
mov rax, r15
mov rcx, r9
mul r9
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0x120], rdx
lea rax, [r9 + r9*8]
lea rcx, [r9 + rax*2]
mov qword [rsp + 0xb8], r13
mov rax, r13
mul rcx
mov r9, rax
mov r15, rdx
mov rax, rdi
mul r13
mov qword [rsp + 0x1d8], rdx
mov qword [rsp + 0x1d0], rax
mov rax, rsi
mul r13
mov qword [rsp + 0x1b8], rax
mov qword [rsp + 0x1c0], rdx
mov rax, rbx
mul r13
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, r8
mul r13
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x138], rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mul r11
add r9, r14
adc r15, r12
add r9, qword [rsp + 0x178]
adc r15, qword [rsp + 0x190]
add r9, qword [rsp + 0x1e0]
adc r15, qword [rsp + 0x1c8]
add r9, rax
adc r15, rdx
mov rax, r11
mul rcx
mov r14, rdx
mov rcx, rax
mov rax, r11
mul rdi
mov r13, rdx
mov rdi, r15
shr rdi, 0x33
mov r12, rax
mov rax, rsi
mul r11
mov rsi, rdx
shld r15, r9, 0xd
mov qword [rsp + 0x190], rax
mov rax, rbx
mov r8, rbx
mul r11
movabs rbx, 0x7ffffffffffff
and r9, rbx
add rcx, qword [rsp + 0x1d0]
adc r14, qword [rsp + 0x1d8]
add rcx, qword [rsp + 0x1b0]
adc r14, qword [rsp + 0x1a8]
add rcx, qword [rsp + 0x118]
adc r14, qword [rsp + 0xd0]
add rcx, qword [rsp + 0x170]
adc r14, qword [rsp + 0x128]
add rcx, r15
adc r14, rdi
mov rdi, r14
shld r14, rcx, 0xd
shr rdi, 0x33
add r12, qword [rsp + 0x1b8]
adc r13, qword [rsp + 0x1c0]
add r12, qword [rsp + 0x160]
adc r13, qword [rsp + 0x168]
add r12, qword [rsp + 0x108]
adc r13, qword [rsp + 0x100]
add r12, qword [rsp + 0xe0]
adc r13, qword [rsp + 0xa0]
add r12, r14
adc r13, rdi
mov rdi, r13
shld r13, r12, 0xd
mov rbx, r12
shr rdi, 0x33
mov r12, qword [rsp + 0x190]
add r12, qword [rsp + 0x180]
adc rsi, qword [rsp + 0x188]
add r12, qword [rsp + 0xb0]
adc rsi, qword [rsp + 0xc8]
add r12, qword [rsp + 0x140]
adc rsi, qword [rsp + 0x110]
add r12, qword [rsp + 0xf8]
adc rsi, qword [rsp + 0x148]
add r12, r13
adc rsi, rdi
mov rdi, rsi
shld rsi, r12, 0xd
shr rdi, 0x33
add rax, qword [rsp + 0xa8]
adc rdx, qword [rsp + 0x120]
add rax, qword [rsp + 0x158]
adc rdx, qword [rsp + 0x198]
add rax, qword [rsp + 0x130]
adc rdx, qword [rsp + 0x138]
add rax, qword [rsp + 0x30]
adc rdx, qword [rsp + 0x68]
add rax, rsi
adc rdx, rdi
shld rdx, rax, 0xd
mov rsi, rax
lea rax, [rdx + rdx*8]
lea rdx, [rdx + rax*2]
add rdx, r9
movabs rax, 0x7ffffffffffff
and rcx, rax
mov r9, rdx
shr rdx, 0x33
add rdx, rcx
mov qword [rsp + 0x198], rdx
movabs rax, 0x3ffffffffffff8
lea r15, [r8 + rax]
add r15, 0xffffffffffffff70
sub r15, qword [rsp + 0x1a0]
mov rcx, qword [rsp + 0x58]
lea r14, [rcx + rax]
sub r14, r10
mov rcx, qword [rsp + 0x78]
lea r13, [rcx + rax]
sub r13, qword [rsp + 0x150]
mov qword [rsp + 0xf8], r13
mov rcx, qword [rsp + 0x28]
lea rdi, [rcx + rax]
sub rdi, qword [rsp + 0xb8]
mov qword [rsp + 0xb8], rdi
mov rcx, qword [rsp + 0x88]
lea r8, [rcx + rax]
sub r8, r11
movabs rax, 0x7ffffffffffff
and rbx, rax
mov qword [rsp + 0x150], rbx
movabs rax, 0x7ffffffffffff
and r12, rax
mov qword [rsp + 0x190], r12
movabs rax, 0x7ffffffffffff
and rsi, rax
mov qword [rsp + 0x1a0], rsi
mov rax, r15
mov ecx, 0x1db41
mul rcx
mov r10, rdx
mov rsi, rax
mov rax, r14
mul rcx
mov r11, rax
mov rbx, rdx
mov rax, r13
mul rcx
mov qword [rsp + 0x30], rdx
mov r13, rax
mov rax, rdi
mul rcx
mov r12d, 0x1db41
mov qword [rsp + 0x68], rax
mov rcx, rdx
movabs rax, 0x7ffffffffffff
and r9, rax
mov qword [rsp + 0x158], r9
mov rdi, r10
shr rdi, 0x33
mov rax, r8
mul r12
shld r10, rsi, 0xd
movabs r12, 0x7ffffffffffff
and rsi, r12
add r10, r11
adc rdi, rbx
mov rbx, rdi
shld rbx, r10, 0xd
shr rdi, 0x33
add rbx, r13
adc rdi, qword [rsp + 0x30]
mov r13, rdi
shld r13, rbx, 0xd
shr rdi, 0x33
add r13, qword [rsp + 0x68]
adc rdi, rcx
mov rcx, rdi
shld rcx, r13, 0xd
shr rdi, 0x33
add rcx, rax
adc rdi, rdx
shld rdi, rcx, 0xd
lea rax, [rdi + rdi*8]
lea r12, [rdi + rax*2]
add r12, rsi
movabs rax, 0x7ffffffffffff
and r10, rax
add r10, qword [rsp + 0x58]
add r12, qword [rsp + 0x50]
movabs rax, 0x7ffffffffffff
and r13, rax
add r13, qword [rsp + 0x28]
movabs rax, 0x7ffffffffffff
and rbx, rax
add rbx, qword [rsp + 0x78]
movabs rax, 0x7ffffffffffff
and rcx, rax
add rcx, qword [rsp + 0x88]
mov rax, r12
mul r15
mov qword [rsp + 0x110], rax
mov qword [rsp + 0xe0], rdx
mov rax, r10
mul r15
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0xb0], rax
mov rax, rbx
mul r15
mov rsi, rax
mov r9, rdx
lea rax, [rcx + rcx*8]
lea rdi, [rcx + rax*2]
mov rax, r13
mul r15
mov qword [rsp + 0x68], rax
mov qword [rsp + 0x50], rdx
mov rax, rcx
mul r15
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x58], rax
mov rax, rdi
mul r14
mov qword [rsp + 0x180], rax
mov qword [rsp + 0x188], rdx
mov rax, r12
mul r14
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd0], rax
mov rax, r10
mul r14
add rax, rsi
mov qword [rsp + 0xa8], rax
adc rdx, r9
mov qword [rsp + 0x120], rdx
lea rax, [r13*8]
add rax, r13
lea r15, [rax*2]
add r15, r13
mov rax, rbx
mul r14
mov qword [rsp + 0x100], rax
mov qword [rsp + 0x148], rdx
mov rax, r13
mul r14
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0xc8], rax
mov rax, r15
mov qword [rsp + 0x1c8], r15
mov rcx, qword [rsp + 0xf8]
mul rcx
mov qword [rsp + 0x1c0], rax
mov qword [rsp + 0x1b0], rdx
mov qword [rsp + 0x1b8], rdi
mov rax, rdi
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x170], rax
mov rax, r12
mul rcx
mov qword [rsp + 0x140], rax
mov qword [rsp + 0x118], rdx
lea rax, [rbx + rbx*8]
lea r14, [rbx + rax*2]
mov rax, r10
mul rcx
mov r11, rdx
mov qword [rsp + 0x78], rax
mov rax, rbx
mul rcx
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x108], rax
mov rax, r14
mov rsi, qword [rsp + 0xb8]
mul rsi
mov r9, rax
mov rcx, rdx
mov rax, r15
mul rsi
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rdi
mul rsi
mov qword [rsp + 0x160], rax
mov qword [rsp + 0x168], rdx
lea rax, [r10 + r10*8]
lea rbx, [r10 + rax*2]
mov rax, r12
mul rsi
mov qword [rsp + 0x130], rax
mov qword [rsp + 0x138], rdx
mov rax, r10
mul rsi
mov r13, rdx
mov r15, rax
mov rax, rbx
mov rsi, r8
mul r8
mov r8, rdx
mov rdi, rax
add rdi, r9
adc r8, rcx
add rdi, qword [rsp + 0x1c0]
adc r8, qword [rsp + 0x1b0]
add rdi, qword [rsp + 0x180]
adc r8, qword [rsp + 0x188]
add rdi, qword [rsp + 0x110]
adc r8, qword [rsp + 0xe0]
mov rax, r14
mul rsi
mov rcx, rdx
mov r10, rax
mov rax, qword [rsp + 0x1c8]
mul rsi
mov rbx, rdx
mov r9, r8
shr r9, 0x33
mov r14, rax
mov rax, qword [rsp + 0x1b8]
mul rsi
mov qword [rsp + 0x110], rax
mov qword [rsp + 0xe0], rdx
shld r8, rdi, 0xd
mov rax, r12
mul rsi
movabs r12, 0x7ffffffffffff
and rdi, r12
mov qword [rsp + 0xb8], rdi
add r10, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0x88]
add r10, qword [rsp + 0x1a8]
adc rcx, qword [rsp + 0x178]
add r10, qword [rsp + 0x170]
adc rcx, qword [rsp + 0x128]
add r10, qword [rsp + 0xd0]
adc rcx, qword [rsp + 0xa0]
add r10, r8
mov qword [rsp + 0xb0], r10
adc rcx, r9
mov rdi, rcx
shld rcx, r10, 0xd
shr rdi, 0x33
add r14, qword [rsp + 0xa8]
adc rbx, qword [rsp + 0x120]
add r14, qword [rsp + 0x160]
adc rbx, qword [rsp + 0x168]
add r14, qword [rsp + 0x140]
adc rbx, qword [rsp + 0x118]
add r14, rcx
mov qword [rsp + 0x88], r14
adc rbx, rdi
mov rcx, rbx
shld rbx, r14, 0xd
shr rcx, 0x33
mov r14, qword [rsp + 0x78]
add r14, qword [rsp + 0x100]
adc r11, qword [rsp + 0x148]
add r14, qword [rsp + 0x68]
adc r11, qword [rsp + 0x50]
add r14, qword [rsp + 0x110]
adc r11, qword [rsp + 0xe0]
add r14, qword [rsp + 0x130]
adc r11, qword [rsp + 0x138]
add r14, rbx
adc r11, rcx
mov rcx, r11
shld r11, r14, 0xd
mov r8, r14
shr rcx, 0x33
add r15, qword [rsp + 0x108]
adc r13, qword [rsp + 0xf8]
add r15, qword [rsp + 0xc8]
adc r13, qword [rsp + 0x30]
add r15, qword [rsp + 0x58]
adc r13, qword [rsp + 0x28]
add r15, rax
adc r13, rdx
mov r10, qword [rsp + 0x150]
add r15, r11
adc r13, rcx
mov r14, qword [rsp + 0x198]
shld r13, r15, 0xd
lea rax, [r13*8]
add rax, r13
lea r12, [r13 + rax*2]
mov rbx, qword [rsp + 0x190]
mov rax, qword [rsp + 0x60]
mov r9, rax
mov rdx, qword [rsp + 0x1a0]
xor r9, rdx
mov rcx, qword [rsp + 0x48]
and r9, rcx
xor rdx, r9
mov qword [rsp + 0x1a0], rdx
xor r9, rax
mov rax, qword [rsp + 0x98]
mov rdi, rax
xor rdi, rbx
and rdi, rcx
xor rbx, rdi
mov qword [rsp + 0x190], rbx
xor rdi, rax
mov rax, qword [rsp + 0x80]
mov rsi, rax
xor rsi, r10
and rsi, rcx
xor r10, rsi
mov qword [rsp + 0x150], r10
xor rsi, rax
mov rax, qword [rsp + 0x38]
mov r11, rax
xor r11, r14
and r11, rcx
xor r14, r11
mov qword [rsp + 0x198], r14
xor r11, rax
mov rax, qword [rsp + 0x40]
mov r14, rax
mov rbx, qword [rsp + 0x158]
xor r14, rbx
and r14, rcx
xor rbx, r14
mov qword [rsp + 0x158], rbx
xor r14, rax
movabs rbx, 0x7ffffffffffff
and r15, rbx
mov rax, qword [rsp + 0xc0]
mov r10, rax
xor r10, r15
and r10, rcx
xor r15, r10
mov qword [rsp + 0x80], r15
xor r10, rax
add r12, qword [rsp + 0xb8]
and r8, rbx
mov rax, qword [rsp + 0xf0]
mov r13, rax
xor r13, r8
and r13, rcx
xor r8, r13
mov qword [rsp + 0x78], r8
xor r13, rax
mov rax, qword [rsp + 0xb0]
and rax, rbx
mov rdx, r12
shr r12, 0x33
add r12, rax
mov rax, qword [rsp + 0x88]
and rax, rbx
mov r15, qword [rsp + 0xe8]
mov r8, r15
xor r8, rax
and r8, rcx
xor rax, r8
mov qword [rsp + 0x88], rax
xor r8, r15
and rdx, rbx
mov rbx, qword [rsp + 0x70]
xor rbx, r12
and rbx, rcx
mov rax, qword [rsp + 0xd8]
mov r15, rax
xor r15, rdx
and r15, rcx
xor r12, rbx
xor rbx, qword [rsp + 0x70]
xor rdx, r15
mov qword [rsp + 0x28], rdx
mov rdx, qword [rsp + 0x198]
xor r15, rax
movzx eax, byte [rsp + 0x90]
shl al, 2
inc dword [rsp + 0x1ec]
jne 0x140009f80
mov qword [rsp + 0x98], r12
mov r12, qword [rsp + 0x88]
mov rax, qword [rsp + 0x80]
mov rcx, qword [rsp + 0x1f0]
sub rcx, 1
jb 0x14000dfd4
mov qword [rsp + 0x1f0], rcx
mov cl, byte [rsp + rcx + 0x200]
mov byte [rsp + 0x90], cl
jmp 0x140009f50
mov rcx, qword [rsp + 0x28]
lea rdx, [rcx + rcx]
mov qword [rsp + 0x90], rdx
mov r14, r12
imul rsi, r12, 0x26
mov r10, rax
imul r13, rax, 0x26
mov rax, rcx
mul rcx
mov r15, rdx
mov rcx, rax
mov rax, qword [rsp + 0x98]
mov rdi, rax
mul r13
mov r12, rdx
mov rbx, rax
mov r11, qword [rsp + 0x78]
mov rax, r11
mul rsi
mov r9, rdx
mov r8, rax
add r8, rcx
adc r9, r15
add r8, rbx
adc r9, r12
mov rsi, qword [rsp + 0x90]
mov rax, rsi
mul rdi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0xc8], rax
mov rax, r13
mul r14
mov qword [rsp + 0xc0], rax
mov qword [rsp + 0xd8], rdx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov rbx, rdx
mov r12, rax
mov rax, rsi
mul r14
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x40], rax
mov rax, rdi
mul rdi
mov rcx, rdi
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0xf0], rax
mov rax, r13
mul r11
mov rdi, rdx
mov qword [rsp + 0x70], rax
mov rax, rsi
mul r11
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x48], rdx
lea rax, [r10 + r10*8]
lea r15, [r10 + rax*2]
lea r13, [rcx + rcx]
mov rax, r13
mul r14
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x60], rax
mov rax, r15
mul r10
mov rcx, rdx
mov r15, rax
mov rax, rsi
mul r10
mov qword [rsp + 0x90], rdx
mov r10, rax
mov rax, r13
mul r11
mov r13, rdx
mov qword [rsp + 0x58], rax
mov rax, r14
mul rax
mov r11, r9
shr r11, 0x33
shld r9, r8, 0xd
movabs rsi, 0x7ffffffffffff
and r8, rsi
add r12, qword [rsp + 0xc0]
adc rbx, qword [rsp + 0xd8]
add r12, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x30]
add r12, r9
adc rbx, r11
mov rsi, rbx
shld rbx, r12, 0xd
mov r11, r12
mov qword [rsp + 0x30], r12
shr rsi, 0x33
mov r12, qword [rsp + 0x70]
add r12, qword [rsp + 0xf0]
adc rdi, qword [rsp + 0xe8]
add r12, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x50]
add r12, rbx
adc rdi, rsi
mov rbx, rdi
shld rdi, r12, 0xd
mov qword [rsp + 0x70], r12
shr rbx, 0x33
add r15, qword [rsp + 0x38]
adc rcx, qword [rsp + 0x48]
add r15, qword [rsp + 0x60]
adc rcx, qword [rsp + 0x68]
add r15, rdi
adc rcx, rbx
mov rbx, rcx
shld rcx, r15, 0xd
mov r14, r15
mov qword [rsp + 0x40], r15
shr rbx, 0x33
add rax, r10
adc rdx, qword [rsp + 0x90]
add rax, qword [rsp + 0x58]
adc rdx, r13
add rax, rcx
adc rdx, rbx
shld rdx, rax, 0xd
mov rdi, rax
mov qword [rsp + 0x48], rax
lea rax, [rdx + rdx*8]
lea rax, [rdx + rax*2]
mov qword [rsp + 0x50], rax
mov rdx, r8
add rdx, rax
mov r8, r11
movabs rax, 0x7ffffffffffff
and r8, rax
mov rbx, r12
and rbx, rax
and rdi, rax
mov r9, rdx
and r9, rax
mov r15, rax
shr rdx, 0x33
mov rsi, rdx
mov qword [rsp + 0x58], rdx
mov rax, r9
mul r9
mov qword [rsp + 0xf0], r9
mov r11, rax
mov qword [rsp + 0x90], rdx
add r8, rsi
imul r12, rdi, 0x26
mov rax, r8
mul r12
mov r10, rax
mov r13, rdx
mov rcx, r14
and rcx, r15
imul rdx, rbx, 0x26
mov rax, rcx
mul rdx
mov r14, rdx
mov r15, rax
add r15, r11
adc r14, qword [rsp + 0x90]
add r15, r10
adc r14, r13
lea r11, [r9 + r9]
mov rax, r11
mul r8
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0xa8], rax
mov rax, r12
mul rbx
mov qword [rsp + 0x118], rax
mov qword [rsp + 0xe0], rdx
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
mul rcx
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x90], rax
mov rax, r11
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0x108], rax
mov rax, r8
mul r8
mov qword [rsp + 0xc0], r8
mov qword [rsp + 0xa0], rdx
mov qword [rsp + 0xd0], rax
mov rax, r12
mov r12, rcx
mul rcx
mov r13, rdx
mov r9, rax
mov rax, r11
mul rcx
mov qword [rsp + 0xe8], rcx
mov qword [rsp + 0x100], rax
mov qword [rsp + 0x148], rdx
mov rcx, rdi
lea rax, [rdi + rdi*8]
lea r10, [rdi + rax*2]
mov qword [rsp + 0xc8], rdi
lea r8, [r8 + r8]
mov rax, r8
mov rdi, rbx
mov qword [rsp + 0xd8], rbx
mul rbx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x120], rax
mov rax, r10
mul rcx
mov r10, rdx
mov rbx, rax
mov rax, r11
mul rcx
mov r11, rdx
mov qword [rsp + 0x38], rax
mov rax, r8
mul r12
mov r8, rdx
mov r12, rax
mov rax, rdi
mul rdi
mov rsi, r14
shr rsi, 0x33
shld r14, r15, 0xd
mov qword [rsp + 0x60], r14
movabs rcx, 0x7ffffffffffff
and r15, rcx
mov rcx, qword [rsp + 0x90]
add rcx, qword [rsp + 0x118]
mov rdi, qword [rsp + 0x68]
adc rdi, qword [rsp + 0xe0]
add rcx, qword [rsp + 0xa8]
adc rdi, qword [rsp + 0xf8]
add rcx, r14
mov qword [rsp + 0x90], rcx
adc rdi, rsi
mov rsi, rdi
shld rdi, rcx, 0xd
mov qword [rsp + 0x68], rdi
shr rsi, 0x33
add r9, qword [rsp + 0xd0]
adc r13, qword [rsp + 0xa0]
add r9, qword [rsp + 0x108]
adc r13, qword [rsp + 0xb8]
add r9, rdi
adc r13, rsi
mov rdi, r13
shld r13, r9, 0xd
shr rdi, 0x33
add rbx, qword [rsp + 0x100]
adc r10, qword [rsp + 0x148]
add rbx, qword [rsp + 0x120]
adc r10, qword [rsp + 0xb0]
add rbx, r13
adc r10, rdi
mov rcx, r10
shld r10, rbx, 0xd
shr rcx, 0x33
add rax, qword [rsp + 0x38]
adc rdx, r11
add rax, r12
adc rdx, r8
add rax, r10
adc rdx, rcx
shld rdx, rax, 0xd
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
mov r14, qword [rsp + 0x58]
add r14, qword [rsp + 0x30]
mov rax, qword [rsp + 0x78]
imul rax, qword [rsp + 0x88]
mov rdx, qword [rsp + 0x98]
imul rdx, qword [rsp + 0x80]
add rdx, rax
imul rdx, rdx, 0x26
mov rbx, qword [rsp + 0x28]
imul rbx, rbx
add rbx, rdx
add rbx, qword [rsp + 0x50]
mov rdx, r14
mov rdi, qword [rsp + 0x40]
imul rdx, rdi
mov rax, rbx
mov rcx, qword [rsp + 0x48]
imul rax, rcx
add rax, rdx
mov rsi, qword [rsp + 0x70]
mov rdx, rsi
imul rdx, rsi
lea rax, [rdx + rax*2]
add rax, r10
mov r11, rax
mov rax, rcx
imul rax, rcx
lea rdx, [rax + rax*8]
lea rax, [rax + rdx*2]
mov rdx, rbx
imul rdx, rdi
mov r10, rdi
mov rdi, r14
imul rdi, rsi
mov r9, rsi
add rdi, rdx
lea rax, [rax + rdi*2]
add rax, r13
mov r12, rax
mov qword [rsp + 0x50], rax
mov rax, r14
imul rax, rcx
mov rdx, r10
imul rdx, rsi
add rax, rdx
imul rax, rax, 0x26
mov rdx, rbx
imul rdx, rbx
add rdx, rax
add r15, r8
add rdx, r8
mov rdi, rdx
mov qword [rsp + 0x30], rdx
imul rax, rcx, 0x26
mov rcx, rax
imul rcx, r10
mov rdx, rsi
imul rax, rsi
imul rdx, rbx
lea rcx, [rcx + rdx*2]
imul rbx, r14
imul r14, r14
add r14, rcx
add r14, qword [rsp + 0x68]
mov qword [rsp + 0x38], r11
imul rcx, r11, 0x26
mov qword [rsp + 0xb8], rcx
imul rcx, r12
mov rdx, r14
mov qword [rsp + 0x58], r14
imul rdx, rdi
lea r9, [rcx + rdx*2]
mov rdx, r10
imul rdx, r10
lea rcx, [rdx + rdx*8]
lea rcx, [rdx + rcx*2]
add rcx, rax
lea rax, [rcx + rbx*2]
add rax, qword [rsp + 0x60]
movabs rsi, 0x7ffffffffffff
mov r8, qword [rsp + 0x90]
and r8, rsi
shr r15, 0x33
add r8, r15
add rax, r15
mov rcx, rax
mov qword [rsp + 0x70], rax
and r14, rsi
mov rax, r12
and rax, rsi
mov r15, rax
mul r14
mov r13, r14
mov qword [rsp + 0x68], r14
mov rdi, rax
mov r14, rdx
mov rbx, rcx
imul rbx, rcx
mov rcx, r11
and rcx, rsi
mov r10, rsi
mov rax, r8
mov r12, r8
mov qword [rsp + 0x90], r8
mul rcx
mov qword [rsp + 0x48], rcx
mov rsi, rdx
add rbx, r9
mov r9, rbx
add rax, rdi
adc rsi, r14
mov edx, 0x26
mul rdx
mov r8, rax
mov rbx, rdx
imul rdi, rsi, 0x26
mov r11, qword [rsp + 0x30]
mov rax, r11
and rax, r10
mov qword [rsp + 0x60], rax
mul rax
add rbx, rdi
add rax, r8
adc rdx, rbx
mov rdi, rdx
shld rdx, rax, 0xd
mov r10, rdx
mov qword [rsp + 0x148], rdx
imul rax, rcx, 0x26
mov qword [rsp + 0xf8], rax
mul r13
mov r13, rdx
mov r14, rax
mov r8, r15
mov rax, r15
mul r15
mov qword [rsp + 0x40], r15
lea rcx, [rdx + rdx*8]
lea rsi, [rdx + rcx*2]
mov ecx, 0x13
mul rcx
mov rbx, rax
mov rcx, rdx
add rcx, rsi
shr rdi, 0x33
mov rsi, qword [rsp + 0x60]
mov rax, rsi
mul r12
shld rdx, rax, 1
add rax, rax
add rbx, r14
adc rcx, r13
add rbx, rax
adc rcx, rdx
add rbx, r10
adc rcx, rdi
mov rdi, rcx
shld rcx, rbx, 0xd
shr rdi, 0x33
add r9, rcx
mov qword [rsp + 0xb0], r9
mov r15, qword [rsp + 0x38]
mov r13, r15
imul r13, r15
mov r10, r11
imul r10, qword [rsp + 0x50]
mov r11, qword [rsp + 0x70]
mov r9, r11
mov r14, qword [rsp + 0x58]
imul r9, r14
mov rax, qword [rsp + 0xf8]
mul r8
mov r8, rdx
mov r12, rax
mov rax, qword [rsp + 0x68]
mul rsi
mov rsi, rdx
mov rbx, rax
shld rsi, rax, 1
mov rax, qword [rsp + 0x90]
mul rax
add rbx, rbx
add rbx, r12
adc rsi, r8
add rbx, rax
adc rsi, rdx
add rbx, rcx
adc rsi, rdi
mov r8, rsi
shld rsi, rbx, 0xd
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
add r9, r10
lea rdi, [rax + r9*2]
mov r9, qword [rsp + 0x30]
mov rax, r9
imul rax, r15
mov r10, qword [rsp + 0x50]
imul r11, r10
add r11, rax
imul r14, r14
lea r13, [r14 + r11*2]
mov rax, qword [rsp + 0x48]
mul rax
lea rcx, [rdx + rdx*8]
lea rbx, [rdx + rcx*2]
mov ecx, 0x13
mul rcx
mov r11, rax
mov rcx, rdx
add rcx, rbx
shr r8, 0x33
mov rax, qword [rsp + 0x40]
mov r14, qword [rsp + 0x60]
mul r14
mov rbx, rdx
mov r12, rax
shld rbx, rax, 1
add rdi, rsi
mov qword [rsp + 0xf8], rdi
mov rax, qword [rsp + 0x90]
add rax, rax
mov qword [rsp + 0x90], rax
mov r15, qword [rsp + 0x68]
mul r15
add r12, r12
add r12, r11
adc rbx, rcx
add r12, rax
adc rbx, rdx
add r12, rsi
adc rbx, r8
mov rdi, rbx
shld rbx, r12, 0xd
mov rax, r10
mov r11, qword [rsp + 0x58]
imul rax, r11
mov rcx, qword [rsp + 0x38]
imul rcx, qword [rsp + 0x70]
add rcx, rax
imul rax, rcx, 0x26
mov r12, r9
imul r12, r9
add r12, rax
shr rdi, 0x33
add r13, rbx
mov rax, qword [rsp + 0x48]
mul r14
mov r8, rdx
mov r9, rax
shld r8, rax, 1
mov rax, r15
mul rax
mov rcx, rdx
mov rsi, rax
mov rax, qword [rsp + 0x90]
mul qword [rsp + 0x40]
add r9, r9
add rsi, r9
adc rcx, r8
add rsi, rax
adc rcx, rdx
add rsi, rbx
adc rcx, rdi
shld rcx, rsi, 0xd
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
lea r10, [rax + r12]
movabs rbx, 0x7ffffffffffff
and r12, rbx
add r12, rax
imul r11, qword [rsp + 0xb8]
mov rcx, qword [rsp + 0x50]
imul rcx, rcx
lea rax, [rcx + rcx*8]
lea rax, [rcx + rax*2]
add rax, r11
mov rcx, qword [rsp + 0x70]
imul rcx, qword [rsp + 0x30]
lea rax, [rax + rcx*2]
add rax, qword [rsp + 0x148]
and rax, rbx
mov rcx, rbx
shr r12, 0x33
add r12, rax
mov rax, rbx
mov r11, qword [rsp + 0xb0]
and r11, rbx
mov rbx, qword [rsp + 0xf8]
and rbx, rax
and r13, rax
and r10, rax
mov rax, r10
mov rcx, qword [rsp + 0x28]
mul rcx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x140], rax
mov rax, r12
mul rcx
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0xb8], rax
mov rax, r11
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rbx
mov r9, rbx
mul rcx
mov rdi, rax
mov r8, rdx
lea rax, [r13*8]
add rax, r13
lea rbx, [rax*2]
add rbx, r13
mov rax, r13
mul rcx
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x58], rax
mov rax, rbx
mov rsi, qword [rsp + 0x98]
mul rsi
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x188], rax
mov rax, r10
mul rsi
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, r12
mul rsi
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x148], rax
mov rax, r11
mul rsi
add rax, rdi
mov qword [rsp + 0x40], rax
adc rdx, r8
mov qword [rsp + 0x60], rdx
mov rax, r9
lea rcx, [r9 + r9*8]
lea r14, [r9 + rcx*2]
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x68], rax
mov rax, r14
mov rcx, qword [rsp + 0x88]
mul rcx
mov r9, rdx
mov r8, rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x170], rax
mov rax, r10
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, r12
mul rcx
mov rdi, rcx
mov qword [rsp + 0x100], rax
mov qword [rsp + 0xf8], rdx
lea rax, [r11 + r11*8]
lea rcx, [r11 + rax*2]
mov rax, r11
mul rdi
mov r15, rdx
mov qword [rsp + 0x70], rax
mov rax, rcx
mov rdi, qword [rsp + 0x78]
mul rdi
mov rsi, rdx
mov r13, rax
mov rax, r14
mul rdi
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, rbx
mul rdi
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r10
mul rdi
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x110], rdx
lea rax, [r12 + r12*8]
lea r11, [r12 + rax*2]
mov rax, r12
mul rdi
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x120], rax
mov rax, r11
mov rdi, qword [rsp + 0x80]
mul rdi
add r13, r8
adc rsi, r9
add r13, qword [rsp + 0x188]
adc rsi, qword [rsp + 0x160]
add r13, qword [rsp + 0x140]
adc rsi, qword [rsp + 0x118]
add r13, rax
adc rsi, rdx
mov rax, rcx
mul rdi
mov rcx, rdx
mov r8, rax
mov rax, r14
mul rdi
mov r14, rdx
mov r11, rax
mov rax, rbx
mul rdi
mov rbx, rdx
mov r12, rax
mov rax, r10
mul rdi
mov r9, rsi
shr r9, 0x33
shld rsi, r13, 0xd
movabs r10, 0x7ffffffffffff
and r13, r10
add r8, qword [rsp + 0x178]
adc rcx, qword [rsp + 0x180]
add r8, qword [rsp + 0x170]
adc rcx, qword [rsp + 0x130]
add r8, qword [rsp + 0xa0]
adc rcx, qword [rsp + 0xa8]
add r8, qword [rsp + 0xb8]
adc rcx, qword [rsp + 0x38]
add r8, rsi
adc rcx, r9
mov rsi, rcx
shld rcx, r8, 0xd
shr rsi, 0x33
mov r9, r11
add r9, qword [rsp + 0x48]
adc r14, qword [rsp + 0x30]
add r9, qword [rsp + 0x168]
adc r14, qword [rsp + 0x128]
add r9, qword [rsp + 0xe0]
adc r14, qword [rsp + 0xd0]
add r9, qword [rsp + 0x148]
adc r14, qword [rsp + 0xb0]
add r9, rcx
adc r14, rsi
mov rcx, r14
shld r14, r9, 0xd
shr rcx, 0x33
add r12, qword [rsp + 0x40]
adc rbx, qword [rsp + 0x60]
add r12, qword [rsp + 0x138]
adc rbx, qword [rsp + 0x110]
add r12, qword [rsp + 0x100]
adc rbx, qword [rsp + 0xf8]
add r12, r14
adc rbx, rcx
mov rcx, rbx
shld rbx, r12, 0xd
mov r11, r12
shr rcx, 0x33
mov rdi, qword [rsp + 0x70]
add rdi, qword [rsp + 0x68]
adc r15, qword [rsp + 0x50]
add rdi, qword [rsp + 0x58]
adc r15, qword [rsp + 0x90]
add rdi, rax
adc r15, rdx
add rdi, qword [rsp + 0x120]
adc r15, qword [rsp + 0x108]
add rdi, rbx
adc r15, rcx
shld r15, rdi, 0xd
lea rax, [r15 + r15*8]
lea r15, [r15 + rax*2]
add r15, r13
mov rcx, r10
and r8, r10
mov rsi, r15
shr rsi, 0x33
add rsi, r8
and r9, r10
and r11, r10
and rdi, r10
and r15, r10
mov rax, r15
mov rcx, qword [rsp + 0xf0]
mul rcx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x140], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0x100], rax
mov rax, r9
mul rcx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xb8], rax
mov rax, r11
mul rcx
mov r8, rdx
mov r14, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x70], rdi
lea rax, [rdi + rdi*8]
lea r12, [rdi + rax*2]
mov rax, r12
mov rbx, qword [rsp + 0xc0]
mul rbx
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x188], rax
mov rax, r15
mul rbx
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0xf8], rdx
mov qword [rsp + 0x108], rax
mov rax, r9
mul rbx
add rax, r14
mov qword [rsp + 0x148], rax
adc rdx, r8
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0x50], r11
mov rax, r11
mul rbx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r11 + r11*8]
lea r10, [r11 + rax*2]
mov rax, r10
mov rdi, qword [rsp + 0xd8]
mul rdi
mov qword [rsp + 0x1a8], rdx
mov r14, rax
mov rax, r12
mov r11, r12
mul rdi
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x170], rax
mov rax, r15
mul rdi
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, rsi
mul rdi
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0x120], rax
mov qword [rsp + 0x90], r9
mov rax, r9
mul rdi
mov r13, rax
mov r12, rdx
lea rax, [r9 + r9*8]
lea r9, [r9 + rax*2]
mov rax, r9
mov rbx, qword [rsp + 0xe8]
mul rbx
mov r8, rdx
mov rdi, rax
mov rax, r10
mul rbx
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, r11
mul rbx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r15
mov qword [rsp + 0x68], r15
mul rbx
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x58], rsi
mov rax, rsi
mul rbx
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xe8], rdx
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mov rbx, qword [rsp + 0xc8]
mul rbx
add rdi, r14
adc r8, qword [rsp + 0x1a8]
add rdi, qword [rsp + 0x188]
adc r8, qword [rsp + 0x160]
add rdi, qword [rsp + 0x140]
adc r8, qword [rsp + 0x118]
add rdi, rax
adc r8, rdx
mov rax, r9
mul rbx
mov rsi, rdx
mov r14, rax
mov rax, r10
mul rbx
mov rcx, rdx
mov r9, rax
mov rax, r11
mul rbx
mov r10, rdx
mov r11, rax
mov rax, r15
mul rbx
mov rbx, r8
shr rbx, 0x33
shld r8, rdi, 0xd
movabs r15, 0x7ffffffffffff
and rdi, r15
add r14, qword [rsp + 0x178]
adc rsi, qword [rsp + 0x180]
add r14, qword [rsp + 0x170]
adc rsi, qword [rsp + 0x130]
add r14, qword [rsp + 0xa0]
adc rsi, qword [rsp + 0xa8]
add r14, qword [rsp + 0x100]
adc rsi, qword [rsp + 0xb0]
add r14, r8
adc rsi, rbx
mov rbx, rsi
shld rsi, r14, 0xd
shr rbx, 0x33
add r9, qword [rsp + 0xb8]
adc rcx, qword [rsp + 0x60]
add r9, qword [rsp + 0x168]
adc rcx, qword [rsp + 0x128]
add r9, qword [rsp + 0xe0]
adc rcx, qword [rsp + 0xd0]
add r9, qword [rsp + 0x108]
adc rcx, qword [rsp + 0xf8]
add r9, rsi
adc rcx, rbx
mov rbx, rcx
shld rcx, r9, 0xd
shr rbx, 0x33
add r11, qword [rsp + 0x148]
adc r10, qword [rsp + 0xf0]
add r11, qword [rsp + 0x138]
adc r10, qword [rsp + 0x110]
add r11, qword [rsp + 0x120]
adc r10, qword [rsp + 0xc0]
add r11, rcx
adc r10, rbx
mov rcx, r10
shld r10, r11, 0xd
shr rcx, 0x33
add r13, qword [rsp + 0x40]
adc r12, qword [rsp + 0x38]
add r13, qword [rsp + 0x48]
adc r12, qword [rsp + 0x30]
add r13, rax
adc r12, rdx
add r13, qword [rsp + 0xd8]
adc r12, qword [rsp + 0xe8]
add r13, r10
adc r12, rcx
shld r12, r13, 0xd
lea rax, [r12 + r12*8]
lea r8, [r12 + rax*2]
add r8, rdi
mov rsi, r15
and r14, r15
mov rdi, r8
shr r8, 0x33
add r8, r14
and r9, r15
and rdi, r15
mov rax, rdi
mul rdi
mov rbx, rax
mov r14, rdx
and r13, r15
imul rcx, r13, 0x26
mov rax, r8
mul rcx
mov r15, rax
mov r10, rdx
and r11, rsi
imul rdx, r9, 0x26
mov rax, r11
mul rdx
mov rsi, rdx
mov r12, rax
add r12, rbx
adc rsi, r14
add r12, r15
adc rsi, r10
mov qword [rsp + 0x120], rdi
lea r14, [rdi + rdi]
mov rax, r14
mul r8
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xf0], rax
mov rax, rcx
mul r9
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xb0], rdx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov rbx, rdx
mov r15, rax
mov rax, r14
mul r9
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0xe8], rax
mov rax, r8
mul r8
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xb8], rax
mov rax, rcx
mul r11
mov rcx, rdx
mov qword [rsp + 0xa0], rax
mov rax, r14
mul r11
mov qword [rsp + 0xc8], rax
mov qword [rsp + 0x40], rdx
lea rax, [r13*8]
add rax, r13
lea rdi, [r13 + rax*2]
mov qword [rsp + 0x108], r8
add r8, r8
mov rax, r8
mul r9
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0xd8], rax
mov rax, rdi
mul r13
mov rdi, rdx
mov r10, rax
mov rax, r14
mov qword [rsp + 0x148], r13
mul r13
mov r14, rdx
mov r13, rax
mov rax, r8
mov qword [rsp + 0xf8], r11
mul r11
mov r11, rdx
mov qword [rsp + 0x30], rax
mov rax, r9
mov qword [rsp + 0x100], r9
mul r9
mov r8, rax
mov rax, rsi
shr rax, 0x33
shld rsi, r12, 0xd
movabs r9, 0x7ffffffffffff
and r12, r9
add r15, qword [rsp + 0xa8]
adc rbx, qword [rsp + 0xb0]
add r15, qword [rsp + 0xf0]
adc rbx, qword [rsp + 0x60]
add r15, rsi
adc rbx, rax
mov rax, rbx
shld rbx, r15, 0xd
shr rax, 0x33
mov rsi, qword [rsp + 0xa0]
add rsi, qword [rsp + 0xb8]
adc rcx, qword [rsp + 0xc0]
add rsi, qword [rsp + 0xe8]
adc rcx, qword [rsp + 0x48]
add rsi, rbx
adc rcx, rax
mov rax, rcx
shld rcx, rsi, 0xd
mov rbx, rsi
shr rax, 0x33
add r10, qword [rsp + 0xc8]
adc rdi, qword [rsp + 0x40]
add r10, qword [rsp + 0xd8]
adc rdi, qword [rsp + 0x38]
add r10, rcx
adc rdi, rax
mov rax, rdi
shld rdi, r10, 0xd
shr rax, 0x33
add r8, r13
adc rdx, r14
add r8, qword [rsp + 0x30]
adc rdx, r11
add r8, rdi
adc rdx, rax
shld rdx, r8, 0xd
lea rax, [rdx + rdx*8]
lea r13, [rdx + rax*2]
add r13, r12
mov rax, r9
and r15, r9
mov r12, r13
shr r12, 0x33
add r12, r15
and rbx, r9
and r10, r9
and r8, r9
and r13, r9
mov rax, r13
mov rcx, qword [rsp + 0x68]
mul rcx
mov r15, rdx
mov qword [rsp + 0x140], rax
mov rax, rcx
mul r12
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xf0], rax
mov rax, rcx
mul rbx
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x60], rax
mov rax, rcx
mul r10
mov rsi, rax
mov r9, rdx
lea rax, [r8 + r8*8]
lea r11, [r8 + rax*2]
mov rax, rcx
mul r8
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x30], rax
mov rax, r11
mov rdi, qword [rsp + 0x58]
mul rdi
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x160], rax
mov rax, r13
mul rdi
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, r12
mul rdi
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0xb8], rax
mov rax, rbx
mul rdi
add rax, rsi
mov qword [rsp + 0xe8], rax
adc rdx, r9
mov qword [rsp + 0xd8], rdx
lea rax, [r10 + r10*8]
lea r8, [r10 + rax*2]
mov rax, r10
mul rdi
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x38], rax
mov rax, r8
mov rcx, qword [rsp + 0x90]
mul rcx
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1a8], rax
mov rax, r11
mul rcx
mov qword [rsp + 0x138], rdx
mov qword [rsp + 0x128], rax
mov rax, r13
mul rcx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x110], rax
mov rax, r12
mul rcx
mov qword [rsp + 0xa8], rax
mov qword [rsp + 0xb0], rdx
lea rax, [rbx + rbx*8]
lea r9, [rbx + rax*2]
mov rax, rbx
mul rcx
mov rdi, rdx
mov qword [rsp + 0x90], rax
mov rax, r9
mov rcx, qword [rsp + 0x50]
mul rcx
mov rsi, rdx
mov r10, rax
mov rax, r8
mul rcx
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, r11
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x170], rax
mov rax, r13
mul rcx
mov r14, rcx
mov qword [rsp + 0x58], rax
mov rbx, rdx
lea rax, [r12 + r12*8]
lea rcx, [r12 + rax*2]
mov rax, r12
mul r14
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0xa0], rax
mov rax, rcx
mov r12, qword [rsp + 0x70]
mul r12
add r10, qword [rsp + 0x1a8]
adc rsi, qword [rsp + 0x178]
add r10, qword [rsp + 0x140]
adc rsi, r15
add r10, qword [rsp + 0x160]
adc rsi, qword [rsp + 0x168]
add r10, rax
adc rsi, rdx
mov rax, r9
mul r12
mov rcx, rdx
mov r14, rax
mov rax, r8
mul r12
mov r8, rdx
mov r15, rax
mov rax, r11
mul r12
mov r9, r12
mov r12, rdx
mov r11, rax
mov rax, r13
mul r9
mov r9, rsi
shr r9, 0x33
shld rsi, r10, 0xd
movabs r13, 0x7ffffffffffff
and r10, r13
add r14, qword [rsp + 0x180]
adc rcx, qword [rsp + 0x188]
add r14, qword [rsp + 0xe0]
adc rcx, qword [rsp + 0xd0]
add r14, qword [rsp + 0x128]
adc rcx, qword [rsp + 0x138]
add r14, qword [rsp + 0xf0]
adc rcx, qword [rsp + 0xc8]
add r14, rsi
adc rcx, r9
mov rsi, rcx
shld rcx, r14, 0xd
shr rsi, 0x33
add r15, qword [rsp + 0x60]
adc r8, qword [rsp + 0x40]
add r15, qword [rsp + 0x110]
adc r8, qword [rsp + 0x118]
add r15, qword [rsp + 0x170]
adc r8, qword [rsp + 0x130]
add r15, qword [rsp + 0xb8]
adc r8, qword [rsp + 0xc0]
add r15, rcx
adc r8, rsi
mov rcx, r8
shld r8, r15, 0xd
mov r9, r15
shr rcx, 0x33
mov r15, qword [rsp + 0x58]
add r15, qword [rsp + 0xe8]
adc rbx, qword [rsp + 0xd8]
add r15, r11
adc rbx, r12
add r15, qword [rsp + 0xa8]
adc rbx, qword [rsp + 0xb0]
add r15, r8
adc rbx, rcx
mov rcx, rbx
shld rbx, r15, 0xd
mov r11, r15
shr rcx, 0x33
mov rsi, qword [rsp + 0x90]
add rsi, qword [rsp + 0x38]
adc rdi, qword [rsp + 0x48]
add rsi, qword [rsp + 0x30]
adc rdi, qword [rsp + 0x68]
add rsi, rax
adc rdi, rdx
add rsi, qword [rsp + 0xa0]
adc rdi, qword [rsp + 0x50]
add rsi, rbx
adc rdi, rcx
shld rdi, rsi, 0xd
lea rax, [rdi + rdi*8]
lea rcx, [rdi + rax*2]
add rcx, r10
mov r15, r13
and r14, r13
mov rdi, rcx
shr rcx, 0x33
add rcx, r14
mov rbx, r9
and rbx, r13
and rdi, r13
mov rax, rdi
mul rdi
mov qword [rsp + 0x50], rdi
mov r10, rax
mov r8, rdx
and rsi, r13
mov qword [rsp + 0x90], rsi
imul r12, rsi, 0x26
mov rax, rcx
mov r14, rcx
mul r12
mov rsi, rax
mov r9, rdx
and r11, r13
imul rcx, rbx, 0x26
mov r15, rbx
mov qword [rsp + 0x70], rbx
mov rax, r11
mul rcx
mov rcx, rdx
add rax, r10
adc rcx, r8
add rax, rsi
mov qword [rsp + 0xe0], rax
adc rcx, r9
lea r10, [rdi + rdi]
mov rax, r10
mul r14
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0xb8], rax
mov rax, r12
mul rbx
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa0], rdx
mov r13, r11
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov rbx, rdx
mov r11, rax
mov rax, r10
mul r15
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xf0], rax
mov rax, r14
mul r14
mov r8, r14
mov qword [rsp + 0x68], r14
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xa8], rax
mov rax, r12
mul r13
mov rdi, rdx
mov r15, rax
mov rax, r10
mul r13
mov qword [rsp + 0x58], r13
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xc8], rdx
mov r12, qword [rsp + 0x90]
lea rax, [r12 + r12*8]
lea rsi, [r12 + rax*2]
lea r9, [r14 + r14]
mov rax, r9
mov r14, qword [rsp + 0x70]
mul r14
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc0], rax
mov rax, rsi
mul r12
mov rsi, rdx
mov r8, rax
mov rax, r10
mul r12
mov r12, rdx
mov qword [rsp + 0x48], rax
mov rax, r9
mul r13
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x38], rax
mov rax, r14
mul r14
mov r9, rax
mov rax, rcx
shr rax, 0x33
mov r13, qword [rsp + 0xe0]
shld rcx, r13, 0xd
movabs r10, 0x7ffffffffffff
and r13, r10
mov r14, r13
add r11, qword [rsp + 0xd0]
adc rbx, qword [rsp + 0xa0]
add r11, qword [rsp + 0xb8]
adc rbx, qword [rsp + 0xe8]
add r11, rcx
adc rbx, rax
mov rax, rbx
shld rbx, r11, 0xd
shr rax, 0x33
add r15, qword [rsp + 0xa8]
adc rdi, qword [rsp + 0xb0]
add r15, qword [rsp + 0xf0]
adc rdi, qword [rsp + 0x40]
add r15, rbx
adc rdi, rax
mov rax, rdi
shld rdi, r15, 0xd
shr rax, 0x33
add r8, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0xc8]
add r8, qword [rsp + 0xc0]
adc rsi, qword [rsp + 0x60]
add r8, rdi
adc rsi, rax
mov rax, rsi
shld rsi, r8, 0xd
shr rax, 0x33
add r9, qword [rsp + 0x48]
adc rdx, r12
add r9, qword [rsp + 0x38]
adc rdx, qword [rsp + 0x30]
add r9, rsi
adc rdx, rax
shld rdx, r9, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r13
mov rdi, r10
and r11, r10
mov rbx, rcx
shr rcx, 0x33
add rcx, r11
and r15, r10
and rbx, r10
mov rax, rbx
mul rbx
mov r10, rax
mov r11, rdx
and r9, rdi
imul rsi, r9, 0x26
mov rax, rcx
mul rsi
mov r14, rax
mov r13, rdx
and r8, rdi
imul rdx, r15, 0x26
mov rax, r8
mul rdx
mov rdi, rdx
add rax, r10
adc rdi, r11
add rax, r14
mov qword [rsp + 0xd0], rax
adc rdi, r13
lea r12, [rbx + rbx]
mov rax, r12
mul rcx
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xc0], rax
mov rax, rsi
mul r15
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mul r8
mov r13, rax
mov rbx, rdx
lea rax, [r9 + r9*8]
lea r11, [r9 + rax*2]
mov rax, r12
mul r15
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0x60], rdx
lea r10, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xb0], rax
mov rax, rsi
mul r8
mov rcx, rdx
mov r14, rax
mov rax, r12
mul r8
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0xd8], rax
mov rax, r10
mul r15
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xf0], rax
mov rax, r11
mul r9
mov rsi, rdx
mov r11, rax
mov rax, r12
mul r9
mov qword [rsp + 0x30], rdx
mov r9, rax
mov rax, r10
mul r8
mov qword [rsp + 0x48], rdx
mov r12, rax
mov rax, r15
mul r15
mov r8, rax
mov rax, rdi
shr rax, 0x33
mov r10, qword [rsp + 0xd0]
shld rdi, r10, 0xd
movabs r15, 0x7ffffffffffff
and r10, r15
add r13, qword [rsp + 0xa0]
adc rbx, qword [rsp + 0xa8]
add r13, qword [rsp + 0xc0]
adc rbx, qword [rsp + 0xc8]
add r13, rdi
adc rbx, rax
mov rax, rbx
shld rbx, r13, 0xd
shr rax, 0x33
add r14, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0xb8]
add r14, qword [rsp + 0xe8]
adc rcx, qword [rsp + 0x60]
add r14, rbx
adc rcx, rax
mov rax, rcx
shld rcx, r14, 0xd
shr rax, 0x33
add r11, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0x38]
add r11, qword [rsp + 0xf0]
adc rsi, qword [rsp + 0x40]
add r11, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r11, 0xd
shr rax, 0x33
add r8, r9
adc rdx, qword [rsp + 0x30]
add r8, r12
adc rdx, qword [rsp + 0x48]
add r8, rsi
adc rdx, rax
shld rdx, r8, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r10
mov rbx, r15
and r13, r15
mov rdi, rcx
shr rcx, 0x33
add rcx, r13
and r14, r15
and rdi, r15
mov rax, rdi
mul rdi
mov r9, rax
mov r10, rdx
and r8, r15
imul rsi, r8, 0x26
mov rax, rcx
mul rsi
mov r12, rax
mov r13, rdx
and r11, r15
imul rdx, r14, 0x26
mov rax, r11
mul rdx
mov rbx, rdx
mov r15, rax
add r15, r9
adc rbx, r10
add r15, r12
adc rbx, r13
lea r10, [rdi + rdi]
mov rax, r10
mul rcx
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0xb8], rax
mov rax, rsi
mul r14
mov qword [rsp + 0xd0], rax
mov qword [rsp + 0xa0], rdx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov r13, rax
mov rdi, rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mov qword [rsp + 0x30], rax
mov rax, r10
mul r14
mov qword [rsp + 0xd8], rax
mov qword [rsp + 0xc8], rdx
lea r9, [rcx + rcx]
mov qword [rsp + 0x48], r9
mov rax, rcx
mul rcx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xa8], rax
mov rax, rsi
mul r11
mov rcx, rdx
mov r12, rax
mov rax, r10
mul r11
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xf0], rax
mov rax, r9
mul r14
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc0], rax
mov rax, qword [rsp + 0x30]
mul r8
mov rsi, rdx
mov r9, rax
mov rax, r10
mul r8
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x38], rax
mov rax, qword [rsp + 0x48]
mul r11
mov qword [rsp + 0x48], rdx
mov r11, rax
mov rax, r14
mul r14
mov r8, rax
mov rax, rbx
shr rax, 0x33
shld rbx, r15, 0xd
movabs r14, 0x7ffffffffffff
and r15, r14
add r13, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0xa0]
add r13, qword [rsp + 0xb8]
adc rdi, qword [rsp + 0xe8]
add r13, rbx
adc rdi, rax
mov rax, rdi
shld rdi, r13, 0xd
shr rax, 0x33
add r12, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0xb0]
add r12, qword [rsp + 0xd8]
adc rcx, qword [rsp + 0xc8]
add r12, rdi
adc rcx, rax
mov rax, rcx
shld rcx, r12, 0xd
shr rax, 0x33
add r9, qword [rsp + 0xf0]
adc rsi, qword [rsp + 0x40]
add r9, qword [rsp + 0xc0]
adc rsi, qword [rsp + 0x60]
add r9, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r9, 0xd
shr rax, 0x33
add r8, qword [rsp + 0x38]
adc rdx, qword [rsp + 0x30]
add r8, r11
adc rdx, qword [rsp + 0x48]
add r8, rsi
adc rdx, rax
shld rdx, r8, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r15
mov rbx, r14
and r13, r14
mov rdi, rcx
shr rcx, 0x33
add rcx, r13
and r12, r14
and rdi, r14
mov rax, rdi
mul rdi
mov r10, rax
mov r11, rdx
and r8, r14
imul rsi, r8, 0x26
mov rax, rcx
mul rsi
mov r14, rax
mov r13, rdx
and r9, rbx
imul rdx, r12, 0x26
mov rax, r9
mul rdx
mov rbx, rdx
mov r15, rax
add r15, r10
adc rbx, r11
add r15, r14
adc rbx, r13
lea r14, [rdi + rdi]
mov rax, r14
mul rcx
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xc0], rax
mov rax, rsi
mul r12
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul r9
mov r13, rax
mov rdi, rdx
lea rax, [r8 + r8*8]
lea rax, [r8 + rax*2]
mov qword [rsp + 0x30], rax
mov rax, r14
mul r12
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0x60], rdx
lea r11, [rcx + rcx]
mov qword [rsp + 0x48], r11
mov rax, rcx
mul rcx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xb0], rax
mov rax, rsi
mul r9
mov rcx, rdx
mov r10, rax
mov rax, r14
mul r9
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0xd8], rax
mov rax, r11
mul r12
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xf0], rax
mov rax, qword [rsp + 0x30]
mul r8
mov rsi, rdx
mov r11, rax
mov rax, r14
mul r8
mov qword [rsp + 0x30], rdx
mov r8, rax
mov rax, qword [rsp + 0x48]
mul r9
mov qword [rsp + 0x48], rdx
mov r9, rax
mov rax, r12
mul r12
mov r14, rax
mov rax, rbx
shr rax, 0x33
shld rbx, r15, 0xd
movabs r12, 0x7ffffffffffff
and r15, r12
add r13, qword [rsp + 0xa0]
adc rdi, qword [rsp + 0xa8]
add r13, qword [rsp + 0xc0]
adc rdi, qword [rsp + 0xc8]
add r13, rbx
adc rdi, rax
mov rax, rdi
shld rdi, r13, 0xd
shr rax, 0x33
add r10, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0xb8]
add r10, qword [rsp + 0xe8]
adc rcx, qword [rsp + 0x60]
add r10, rdi
adc rcx, rax
mov rax, rcx
shld rcx, r10, 0xd
shr rax, 0x33
add r11, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0x38]
add r11, qword [rsp + 0xf0]
adc rsi, qword [rsp + 0x40]
add r11, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r11, 0xd
shr rax, 0x33
add r14, r8
adc rdx, qword [rsp + 0x30]
add r14, r9
adc rdx, qword [rsp + 0x48]
add r14, rsi
adc rdx, rax
shld rdx, r14, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r15
mov rbx, r12
and r13, r12
mov rsi, rcx
shr rcx, 0x33
add rcx, r13
and r10, r12
and rsi, r12
mov rax, rsi
mul rsi
mov r15, rax
mov r9, rdx
and r14, r12
imul rdi, r14, 0x26
mov rax, rcx
mul rdi
mov r12, rax
mov r13, rdx
and r11, rbx
imul rdx, r10, 0x26
mov rax, r11
mul rdx
mov r8, rdx
mov rbx, rax
add rbx, r15
adc r8, r9
add rbx, r12
adc r8, r13
lea r9, [rsi + rsi]
mov rax, r9
mul rcx
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xc0], rax
mov rax, rdi
mul r10
mov qword [rsp + 0xa0], rax
mov qword [rsp + 0xa8], rdx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov r15, rax
mov r13, rdx
lea rax, [r14 + r14*8]
lea r12, [r14 + rax*2]
mov rax, r9
mul r10
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0x60], rdx
lea rsi, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xb0], rax
mov rax, rdi
mul r11
mov rdi, rdx
mov qword [rsp + 0xd0], rax
mov rax, r9
mul r11
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0xd8], rax
mov rcx, rsi
mov rax, rsi
mul r10
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0xf0], rax
mov rax, r12
mul r14
mov rsi, rdx
mov r12, rax
mov rax, r9
mul r14
mov qword [rsp + 0x30], rdx
mov r14, rax
mov rax, rcx
mul r11
mov qword [rsp + 0x48], rdx
mov r11, rax
mov rax, r10
mul r10
mov rcx, rax
mov r9, r8
shr r9, 0x33
mov rax, rbx
shld r8, rbx, 0xd
movabs rbx, 0x7ffffffffffff
and rax, rbx
mov rbx, rax
add r15, qword [rsp + 0xa0]
adc r13, qword [rsp + 0xa8]
add r15, qword [rsp + 0xc0]
adc r13, qword [rsp + 0xc8]
add r15, r8
adc r13, r9
mov rax, r13
shld r13, r15, 0xd
shr rax, 0x33
mov r9, qword [rsp + 0xd0]
add r9, qword [rsp + 0xb0]
adc rdi, qword [rsp + 0xb8]
add r9, qword [rsp + 0xe8]
adc rdi, qword [rsp + 0x60]
add r9, r13
adc rdi, rax
mov rax, rdi
shld rdi, r9, 0xd
shr rax, 0x33
add r12, qword [rsp + 0xd8]
adc rsi, qword [rsp + 0x38]
add r12, qword [rsp + 0xf0]
adc rsi, qword [rsp + 0x40]
add r12, rdi
adc rsi, rax
mov rax, rsi
shld rsi, r12, 0xd
shr rax, 0x33
add rcx, r14
adc rdx, qword [rsp + 0x30]
add rcx, r11
adc rdx, qword [rsp + 0x48]
add rcx, rsi
adc rdx, rax
shld rdx, rcx, 0xd
lea rax, [rdx + rdx*8]
lea r10, [rdx + rax*2]
add r10, rbx
movabs rax, 0x7ffffffffffff
and r15, rax
mov r13, r10
shr r13, 0x33
add r13, r15
and r9, rax
and r12, rax
and rcx, rax
and r10, rax
mov rax, r10
mov rbx, qword [rsp + 0x50]
mul rbx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x140], rax
mov rax, r13
mul rbx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xd8], rax
mov rax, r9
mul rbx
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x40], rax
mov rax, r12
mul rbx
mov rsi, rax
mov r8, rdx
lea rax, [rcx + rcx*8]
lea rdi, [rcx + rax*2]
mov rax, rcx
mul rbx
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x30], rax
mov rax, rdi
mov rcx, qword [rsp + 0x68]
mul rcx
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x188], rax
mov rax, r10
mul rcx
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, r13
mul rcx
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xc0], rax
mov rax, r9
mul rcx
add rax, rsi
mov qword [rsp + 0xc8], rax
adc rdx, r8
mov qword [rsp + 0xe8], rdx
lea rax, [r12 + r12*8]
lea r14, [r12 + rax*2]
mov rax, r12
mul rcx
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x48], rax
mov rax, r14
mov rcx, qword [rsp + 0x70]
mul rcx
mov qword [rsp + 0x1a8], rdx
mov r11, rax
mov rax, rdi
mov r8, rdi
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x170], rax
mov rax, r10
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, r13
mul rcx
mov qword [rsp + 0xb0], rax
mov qword [rsp + 0xb8], rdx
lea rax, [r9 + r9*8]
lea rdi, [r9 + rax*2]
mov rax, r9
mul rcx
mov rbx, rdx
mov r15, rax
mov rax, rdi
mov rcx, qword [rsp + 0x58]
mul rcx
mov rsi, rdx
mov r12, rax
mov rax, r14
mul rcx
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, r8
mov r9, r8
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r10
mul rcx
mov r8, rcx
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x110], rdx
lea rax, [r13*8]
add rax, r13
lea rcx, [rax*2]
add rcx, r13
mov rax, r13
mul r8
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x70], rax
mov rax, rcx
mov rcx, qword [rsp + 0x90]
mul rcx
add r12, r11
adc rsi, qword [rsp + 0x1a8]
add r12, qword [rsp + 0x188]
adc rsi, qword [rsp + 0x160]
add r12, qword [rsp + 0x140]
adc rsi, qword [rsp + 0x118]
add r12, rax
adc rsi, rdx
mov rax, rdi
mul rcx
mov r11, rdx
mov r13, rax
mov rax, r14
mul rcx
mov rdi, rdx
mov r8, rax
mov rax, r9
mul rcx
mov r14, rcx
mov rcx, rdx
mov r9, rax
mov rax, r10
mul r14
mov r10, rsi
shr r10, 0x33
shld rsi, r12, 0xd
movabs r14, 0x7ffffffffffff
and r12, r14
add r13, qword [rsp + 0x178]
adc r11, qword [rsp + 0x180]
add r13, qword [rsp + 0x170]
adc r11, qword [rsp + 0x130]
add r13, qword [rsp + 0xa0]
adc r11, qword [rsp + 0xa8]
add r13, qword [rsp + 0xd8]
adc r11, qword [rsp + 0x60]
add r13, rsi
adc r11, r10
mov rsi, r11
shld r11, r13, 0xd
shr rsi, 0x33
add r8, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x38]
add r8, qword [rsp + 0x168]
adc rdi, qword [rsp + 0x128]
add r8, qword [rsp + 0xe0]
adc rdi, qword [rsp + 0xd0]
add r8, qword [rsp + 0xc0]
adc rdi, qword [rsp + 0xf0]
add r8, r11
adc rdi, rsi
mov rsi, rdi
shld rdi, r8, 0xd
shr rsi, 0x33
add r9, qword [rsp + 0xc8]
adc rcx, qword [rsp + 0xe8]
add r9, qword [rsp + 0x138]
adc rcx, qword [rsp + 0x110]
add r9, qword [rsp + 0xb0]
adc rcx, qword [rsp + 0xb8]
add r9, rdi
adc rcx, rsi
mov rdi, rcx
shld rcx, r9, 0xd
shr rdi, 0x33
add r15, qword [rsp + 0x48]
adc rbx, qword [rsp + 0x68]
add r15, qword [rsp + 0x30]
adc rbx, qword [rsp + 0x50]
add r15, rax
adc rbx, rdx
add r15, qword [rsp + 0x70]
adc rbx, qword [rsp + 0x58]
add r15, rcx
adc rbx, rdi
shld rbx, r15, 0xd
lea rax, [rbx + rbx*8]
lea r10, [rbx + rax*2]
add r10, r12
mov rbx, r14
and r13, r14
mov rsi, r10
shr r10, 0x33
add r10, r13
and r8, r14
and rsi, r14
mov rax, rsi
mul rsi
mov rcx, rax
mov r11, rdx
and r15, r14
imul rdi, r15, 0x26
mov rax, r10
mul rdi
mov r12, rax
mov r13, rdx
and r9, r14
imul rdx, r8, 0x26
mov rax, r9
mul rdx
mov r14, rdx
mov rdx, rax
add rdx, rcx
adc r14, r11
mov rax, qword [rsp + 0x158]
mov qword [rsp + 0x220], rax
mov rax, qword [rsp + 0x198]
mov qword [rsp + 0x228], rax
mov rax, qword [rsp + 0x150]
mov qword [rsp + 0x230], rax
mov rax, qword [rsp + 0x190]
mov qword [rsp + 0x238], rax
mov rax, qword [rsp + 0x1a0]
mov qword [rsp + 0x240], rax
mov rax, qword [rsp + 0x28]
mov qword [rsp + 0x248], rax
add rdx, r12
mov qword [rsp + 0x60], rdx
adc r14, r13
mov rax, qword [rsp + 0x98]
mov qword [rsp + 0x250], rax
mov qword [rsp + 0xb0], rsi
lea r12, [rsi + rsi]
mov rax, r12
mul r10
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rdi
mul r8
mov qword [rsp + 0xe8], rax
mov qword [rsp + 0xc8], rdx
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul r9
mov rcx, rdx
mov r13, rax
mov rax, r12
mul r8
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r10
mul r10
mov qword [rsp + 0x38], rdx
mov qword [rsp + 0x40], rax
mov rax, rdi
mul r9
mov r11, rax
mov rdi, rdx
mov rax, qword [rsp + 0x88]
mov qword [rsp + 0x258], rax
mov rax, r12
mul r9
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x58], rdx
lea rax, [r15 + r15*8]
lea rsi, [r15 + rax*2]
mov qword [rsp + 0xb8], r10
lea rbx, [r10 + r10]
mov rax, rbx
mul r8
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rsi
mul r15
mov rsi, rdx
mov r10, rax
mov rax, r12
mov qword [rsp + 0xd8], r15
mul r15
mov r15, rdx
mov qword [rsp + 0x28], rax
mov rax, rbx
mov rbx, r11
mov qword [rsp + 0xf0], r9
mul r9
mov r11, rdx
mov qword [rsp + 0x88], rax
mov rax, r8
mov qword [rsp + 0xc0], r8
mul r8
mov r12, rax
mov rax, qword [rsp + 0x78]
mov qword [rsp + 0x260], rax
mov rax, r14
shr rax, 0x33
mov r9, qword [rsp + 0x60]
shld r14, r9, 0xd
movabs r8, 0x7ffffffffffff
and r9, r8
add r13, qword [rsp + 0xe8]
adc rcx, qword [rsp + 0xc8]
add r13, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add r13, r14
adc rcx, rax
mov rax, rcx
shld rcx, r13, 0xd
shr rax, 0x33
add rbx, qword [rsp + 0x40]
adc rdi, qword [rsp + 0x38]
add rbx, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x90]
add rbx, rcx
adc rdi, rax
mov rax, rdi
shld rdi, rbx, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x70]
adc rsi, qword [rsp + 0x58]
add r10, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x98]
add r10, rdi
adc rsi, rax
mov rax, rsi
shld rsi, r10, 0xd
shr rax, 0x33
add r12, qword [rsp + 0x28]
adc rdx, r15
add r12, qword [rsp + 0x88]
adc rdx, r11
add r12, rsi
adc rdx, rax
shld rdx, r12, 0xd
mov rax, qword [rsp + 0x80]
mov qword [rsp + 0x268], rax
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
add rsi, r9
mov rax, r8
and r13, r8
mov r14, rsi
shr rsi, 0x33
add rsi, r13
and rbx, r8
and r10, r8
and r12, r8
and r14, r8
mov dword [rsp + 0x60], 9
nop word cs:[rax + rax]
nop dword [rax]
lea r13, [r14 + r14]
imul r8, rbx, 0x26
imul r9, r12, 0x26
mov rax, r14
mul r14
mov qword [rsp + 0x28], rdx
mov rcx, rbx
mov rdi, rax
mov rax, rsi
mul r9
mov r15, rdx
mov rbx, rax
mov rax, r8
mul r10
mov r14, rdx
mov r11, rax
add r11, rbx
adc r14, r15
add r11, rdi
adc r14, qword [rsp + 0x28]
mov rax, r13
mov r8, r13
mul rsi
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x58], rax
mov rax, rcx
mul r9
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x30], rdx
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
mul r10
mov r13, rax
mov rbx, rdx
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mov qword [rsp + 0x38], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x88], rdx
lea rdi, [rsi + rsi]
mov qword [rsp + 0x40], rdi
mov rax, rsi
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x68], rax
mov rax, r9
mul r10
mov rsi, rdx
mov r9, rax
mov rax, r8
mul r10
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x70], rax
mov rax, qword [rsp + 0x38]
mul r12
mov rdi, rdx
mov r15, rax
mov rax, r8
mul r12
mov qword [rsp + 0x38], rdx
mov r12, rax
mov rax, qword [rsp + 0x40]
mul r10
mov r10, rdx
mov r8, rax
mov rax, rcx
mul rcx
add rax, r8
adc rdx, r10
add rax, r12
adc rdx, qword [rsp + 0x38]
mov r10, r14
shr r10, 0x33
mov r8, r11
shld r14, r11, 0xd
movabs r11, 0x7ffffffffffff
and r8, r11
add r13, qword [rsp + 0x48]
adc rbx, qword [rsp + 0x30]
add r13, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x90]
add r13, r14
adc rbx, r10
mov rcx, rbx
shld rbx, r13, 0xd
shr rcx, 0x33
add r9, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x50]
add r9, qword [rsp + 0x78]
adc rsi, qword [rsp + 0x88]
add r9, rbx
adc rsi, rcx
mov rcx, rsi
shld rsi, r9, 0xd
shr rcx, 0x33
add r15, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x98]
add r15, qword [rsp + 0x80]
adc rdi, qword [rsp + 0x28]
add r15, rsi
adc rdi, rcx
mov rcx, rdi
shr rcx, 0x33
shld rdi, r15, 0xd
add rdi, rax
adc rcx, rdx
shld rcx, rdi, 0xd
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
add rsi, r8
mov rax, r11
and r13, r11
mov r14, rsi
shr rsi, 0x33
add rsi, r13
mov rbx, r9
and rbx, r11
mov r10, r15
and r10, r11
mov r12, rdi
and r12, r11
and r14, r11
add dword [rsp + 0x60], 0xffffffff
jne 0x1400106b0
mov rax, r14
mov rcx, qword [rsp + 0xb0]
mul rcx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x140], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, r10
mul rcx
mov r9, rax
mov r8, rdx
lea rax, [r12 + r12*8]
lea rdi, [r12 + rax*2]
mov rax, r12
mul rcx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mov rcx, qword [rsp + 0xb8]
mul rcx
mov r12, rdx
mov qword [rsp + 0x160], rax
mov rax, r14
mul rcx
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rbx
mul rcx
add rax, r9
mov qword [rsp + 0x70], rax
adc rdx, r8
mov qword [rsp + 0x50], rdx
lea rax, [r10 + r10*8]
lea r8, [r10 + rax*2]
mov rax, r10
mul rcx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, r8
mov rcx, qword [rsp + 0xc0]
mul rcx
mov qword [rsp + 0x178], rdx
mov r9, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x170], rax
mov rax, r14
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [rbx + rbx*8]
lea r13, [rbx + rax*2]
mov rax, rbx
mul rcx
mov rbx, rdx
mov qword [rsp + 0xe8], rax
mov rax, r13
mov rcx, qword [rsp + 0xf0]
mul rcx
mov r15, rdx
mov r10, rax
mov rax, r8
mul rcx
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r14
mul rcx
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x110], rdx
lea rax, [rsi + rsi*8]
lea r11, [rsi + rax*2]
mov rax, rsi
mul rcx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc8], rax
mov rax, r11
mov rsi, qword [rsp + 0xd8]
mul rsi
add r10, r9
adc r15, qword [rsp + 0x178]
add r10, qword [rsp + 0x160]
adc r15, r12
add r10, qword [rsp + 0x140]
adc r15, qword [rsp + 0x118]
add r10, rax
mov r9, r10
adc r15, rdx
mov rax, r13
mul rsi
mov r13, rdx
mov r11, rax
mov rax, r8
mul rsi
mov r8, rdx
mov r10, rax
mov rax, rdi
mul rsi
mov rcx, rdx
mov r12, rax
mov rax, r14
mul rsi
mov rsi, r15
shr rsi, 0x33
shld r15, r9, 0xd
movabs r14, 0x7ffffffffffff
and r9, r14
add r11, qword [rsp + 0x180]
adc r13, qword [rsp + 0x188]
add r11, qword [rsp + 0x170]
adc r13, qword [rsp + 0x130]
add r11, qword [rsp + 0xa0]
adc r13, qword [rsp + 0xa8]
add r11, qword [rsp + 0x68]
adc r13, qword [rsp + 0x58]
add r11, r15
adc r13, rsi
mov rdi, r13
shld r13, r11, 0xd
shr rdi, 0x33
add r10, qword [rsp + 0x98]
adc r8, qword [rsp + 0x78]
add r10, qword [rsp + 0x168]
adc r8, qword [rsp + 0x128]
add r10, qword [rsp + 0xe0]
adc r8, qword [rsp + 0xd0]
add r10, qword [rsp + 0x48]
adc r8, qword [rsp + 0x30]
add r10, r13
adc r8, rdi
mov rdi, r8
shld r8, r10, 0xd
shr rdi, 0x33
add r12, qword [rsp + 0x70]
adc rcx, qword [rsp + 0x50]
add r12, qword [rsp + 0x138]
adc rcx, qword [rsp + 0x110]
add r12, qword [rsp + 0x40]
adc rcx, qword [rsp + 0x38]
add r12, r8
adc rcx, rdi
mov rdi, rcx
shld rcx, r12, 0xd
shr rdi, 0x33
mov r15, qword [rsp + 0xe8]
add r15, qword [rsp + 0x90]
adc rbx, qword [rsp + 0x88]
add r15, qword [rsp + 0x80]
adc rbx, qword [rsp + 0x28]
add r15, rax
adc rbx, rdx
add r15, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x60]
add r15, rcx
adc rbx, rdi
shld rbx, r15, 0xd
lea rax, [rbx + rbx*8]
lea rbx, [rbx + rax*2]
add rbx, r9
and r11, r14
and r10, r14
and r12, r14
and r15, r14
mov rax, rbx
and rax, r14
shr rbx, 0x33
add rbx, r11
lea r9, [rax + rax]
mov qword [rsp + 0x28], r9
imul rdi, r10, 0x26
imul rsi, r15, 0x26
mov qword [rsp + 0xe0], rax
mul rax
mov r11, rdx
mov r13, rax
mov rax, rbx
mul rsi
mov r14, rdx
mov rcx, rax
mov rax, r12
mul rdi
mov rdi, rdx
mov r8, rax
add r8, r13
adc rdi, r11
add r8, rcx
adc rdi, r14
mov rax, r9
mul rbx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rsi
mul r10
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r12 + r12*8]
lea rax, [r12 + rax*2]
mul r12
mov rcx, rdx
mov r11, rax
mov rax, r9
mul r10
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, rbx
mul rbx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rsi
mul r12
mov rsi, rdx
mov qword [rsp + 0x60], rax
mov rax, r9
mul r12
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea rax, [r15 + r15*8]
lea r14, [r15 + rax*2]
mov qword [rsp + 0xd0], rbx
lea r13, [rbx + rbx]
mov rax, r13
mul r10
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r14
mul r15
mov rbx, rdx
mov r9, rax
mov rax, qword [rsp + 0x28]
mov qword [rsp + 0xe8], r15
mul r15
mov r15, rdx
mov qword [rsp + 0x28], rax
mov rax, r13
mov r13, qword [rsp + 0x60]
mov qword [rsp + 0xa8], r12
mul r12
mov r12, rdx
mov qword [rsp + 0x80], rax
mov rax, r10
mov qword [rsp + 0xa0], r10
mul r10
mov r10, rax
mov rax, rdi
shr rax, 0x33
shld rdi, r8, 0xd
movabs r14, 0x7ffffffffffff
and r8, r14
add r11, qword [rsp + 0x40]
adc rcx, qword [rsp + 0x38]
add r11, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x98]
add r11, rdi
adc rcx, rax
mov rax, rcx
shld rcx, r11, 0xd
shr rax, 0x33
add r13, qword [rsp + 0x48]
adc rsi, qword [rsp + 0x30]
add r13, qword [rsp + 0x70]
adc rsi, qword [rsp + 0x88]
add r13, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r13, 0xd
shr rax, 0x33
add r9, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x78]
add r9, qword [rsp + 0x50]
adc rbx, qword [rsp + 0x90]
add r9, rsi
adc rbx, rax
mov rax, rbx
shld rbx, r9, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x28]
adc rdx, r15
add r10, qword [rsp + 0x80]
adc rdx, r12
add r10, rbx
adc rdx, rax
shld rdx, r10, 0xd
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
add rsi, r8
mov rax, r14
and r11, r14
and r13, r14
and r9, r14
and r10, r14
mov r12, rsi
and r12, r14
shr rsi, 0x33
add rsi, r11
mov dword [rsp + 0xc8], 0x13
nop dword [rax + rax]
lea rax, [r12 + r12]
mov qword [rsp + 0x38], rax
imul rdi, r13, 0x26
imul r11, r10, 0x26
mov rax, r12
mul r12
mov rbx, rdx
mov r15, rax
mov rax, rsi
mul r11
mov r12, rdx
mov rcx, rax
mov rax, rdi
mul r9
mov r8, rdx
mov r14, rax
add r14, rcx
adc r8, r12
add r14, r15
adc r8, rbx
mov r12, qword [rsp + 0x38]
mov rax, r12
mul rsi
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x58], rax
mov rax, r13
mul r11
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x30], rdx
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul r9
mov r15, rax
mov rcx, rdx
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
mov qword [rsp + 0x40], rax
mov rax, r12
mul r13
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x88], rdx
lea rbx, [rsi + rsi]
mov qword [rsp + 0x60], rbx
mov rax, rsi
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x68], rax
mov rax, r11
mul r9
mov rsi, rdx
mov rdi, r13
mov r13, rax
mov rax, r12
mul r9
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rbx
mul rdi
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x70], rax
mov rax, qword [rsp + 0x40]
mul r10
mov rbx, rdx
mov r11, rax
mov rax, r12
mul r10
mov qword [rsp + 0x38], rdx
mov r10, rax
mov rax, qword [rsp + 0x60]
mul r9
mov r9, rdx
mov r12, rax
mov rax, rdi
mul rdi
add rax, r12
adc rdx, r9
add rax, r10
adc rdx, qword [rsp + 0x38]
mov r9, r8
shr r9, 0x33
shld r8, r14, 0xd
movabs r12, 0x7ffffffffffff
and r14, r12
add r15, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add r15, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x90]
add r15, r8
adc rcx, r9
mov rdi, rcx
shld rcx, r15, 0xd
shr rdi, 0x33
add r13, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x50]
add r13, qword [rsp + 0x78]
adc rsi, qword [rsp + 0x88]
add r13, rcx
adc rsi, rdi
mov rcx, rsi
shld rsi, r13, 0xd
shr rcx, 0x33
add r11, qword [rsp + 0x70]
adc rbx, qword [rsp + 0x98]
add r11, qword [rsp + 0x80]
adc rbx, qword [rsp + 0x28]
add r11, rsi
adc rbx, rcx
mov rcx, rbx
shr rcx, 0x33
shld rbx, r11, 0xd
add rbx, rax
adc rcx, rdx
shld rcx, rbx, 0xd
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
add rsi, r14
mov rax, r12
and r15, r12
mov r12, rsi
shr rsi, 0x33
add rsi, r15
and r13, rax
mov r9, r11
and r9, rax
mov r10, rbx
and r10, rax
and r12, rax
add dword [rsp + 0xc8], 0xffffffff
jne 0x140010e40
mov rax, r12
mov rbx, qword [rsp + 0xe0]
mul rbx
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, r13
mul rbx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, r9
mul rbx
mov rcx, rax
mov r8, rdx
lea rax, [r10 + r10*8]
lea rdi, [r10 + rax*2]
mov rax, r10
mul rbx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mov r10, rdi
mov rbx, qword [rsp + 0xd0]
mul rbx
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, r12
mul rbx
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0x118], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, r13
mul rbx
add rax, rcx
mov qword [rsp + 0x70], rax
adc rdx, r8
mov qword [rsp + 0x50], rdx
lea rax, [r9 + r9*8]
lea rdi, [r9 + rax*2]
mov rax, r9
mul rbx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, rdi
mov r8, qword [rsp + 0xa0]
mul r8
mov qword [rsp + 0x1b0], rdx
mov rbx, rax
mov rax, r10
mul r8
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r12
mul r8
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x110], rax
mov rax, rsi
mul r8
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r13*8]
add rax, r13
lea rcx, [rax*2]
add rcx, r13
mov rax, r13
mul r8
mov r11, rdx
mov r13, rax
mov rax, rcx
mov r14, qword [rsp + 0xa8]
mul r14
mov r9, rdx
mov r15, rax
mov rax, rdi
mul r14
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1a8], rax
mov rax, r10
mul r14
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x160], rax
mov rax, r12
mul r14
mov qword [rsp + 0x130], rax
mov qword [rsp + 0xa0], rdx
lea rax, [rsi + rsi*8]
lea r8, [rsi + rax*2]
mov rax, rsi
mul r14
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc8], rax
mov rax, r8
mov r14, qword [rsp + 0xe8]
mul r14
add r15, rbx
adc r9, qword [rsp + 0x1b0]
add r15, qword [rsp + 0x180]
adc r9, qword [rsp + 0x188]
add r15, qword [rsp + 0x138]
adc r9, qword [rsp + 0x140]
add r15, rax
adc r9, rdx
mov rax, rcx
mul r14
mov rcx, rdx
mov rbx, rax
mov rax, rdi
mul r14
mov r8, rdx
mov rsi, rax
mov rax, r10
mul r14
mov r10, rdx
mov rdi, rax
mov rax, r12
mul r14
mov r12, r9
shr r12, 0x33
shld r9, r15, 0xd
movabs r14, 0x7ffffffffffff
and r15, r14
add rbx, qword [rsp + 0x1a8]
adc rcx, qword [rsp + 0x178]
add rbx, qword [rsp + 0x168]
adc rcx, qword [rsp + 0x128]
add rbx, qword [rsp + 0x118]
adc rcx, qword [rsp + 0xe0]
add rbx, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x58]
add rbx, r9
adc rcx, r12
mov r9, rcx
shld rcx, rbx, 0xd
shr r9, 0x33
add rsi, qword [rsp + 0x98]
adc r8, qword [rsp + 0x78]
add rsi, qword [rsp + 0x160]
adc r8, qword [rsp + 0x170]
add rsi, qword [rsp + 0x110]
adc r8, qword [rsp + 0xd0]
add rsi, qword [rsp + 0x48]
adc r8, qword [rsp + 0x30]
add rsi, rcx
adc r8, r9
mov rcx, r8
shld r8, rsi, 0xd
shr rcx, 0x33
add rdi, qword [rsp + 0x70]
adc r10, qword [rsp + 0x50]
add rdi, qword [rsp + 0x130]
adc r10, qword [rsp + 0xa0]
add rdi, qword [rsp + 0x40]
adc r10, qword [rsp + 0x38]
add rdi, r8
adc r10, rcx
mov rcx, r10
shld r10, rdi, 0xd
shr rcx, 0x33
add r13, qword [rsp + 0x90]
adc r11, qword [rsp + 0x88]
add r13, qword [rsp + 0x80]
adc r11, qword [rsp + 0x28]
add r13, rax
adc r11, rdx
add r13, qword [rsp + 0xc8]
adc r11, qword [rsp + 0x60]
add r13, r10
adc r11, rcx
shld r11, r13, 0xd
lea rax, [r11 + r11*8]
lea rcx, [r11 + rax*2]
add rcx, r15
and rbx, r14
and rsi, r14
and rdi, r14
and r13, r14
mov rax, rcx
and rax, r14
shr rcx, 0x33
add rcx, rbx
lea r10, [rax + rax]
mov qword [rsp + 0x28], r10
imul r9, rsi, 0x26
imul r15, r13, 0x26
mul rax
mov r8, rdx
mov rbx, rax
mov rax, rcx
mul r15
mov r11, rdx
mov r12, rax
mov rax, rdi
mul r9
mov r14, rdx
mov r9, rax
add r9, rbx
adc r14, r8
add r9, r12
adc r14, r11
mov rax, r10
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, r15
mul rsi
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mul rdi
mov r8, rax
mov rbx, rdx
lea rax, [r13*8]
add rax, r13
lea r12, [rax*2]
add r12, r13
mov rax, r10
mul rsi
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea r11, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, r15
mul rdi
mov rcx, rdx
mov r15, rax
mov rax, r10
mul rdi
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, r11
mul rsi
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r12
mul r13
mov r12, rdx
mov r10, rax
mov rax, qword [rsp + 0x28]
mul r13
mov qword [rsp + 0x28], rdx
mov r13, rax
mov rax, r11
mul rdi
mov qword [rsp + 0x80], rdx
mov rdi, rax
mov rax, rsi
mul rsi
mov r11, rax
mov rax, r14
shr rax, 0x33
shld r14, r9, 0xd
movabs rsi, 0x7ffffffffffff
and r9, rsi
add r8, qword [rsp + 0x40]
adc rbx, qword [rsp + 0x38]
add r8, qword [rsp + 0x68]
adc rbx, qword [rsp + 0x98]
add r8, r14
adc rbx, rax
mov rax, rbx
shld rbx, r8, 0xd
shr rax, 0x33
add r15, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add r15, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x78]
add r15, rbx
adc rcx, rax
mov rax, rcx
shld rcx, r15, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x70]
adc r12, qword [rsp + 0x88]
add r10, qword [rsp + 0x50]
adc r12, qword [rsp + 0x90]
add r10, rcx
adc r12, rax
mov rax, r12
shld r12, r10, 0xd
shr rax, 0x33
add r11, r13
mov rcx, r15
adc rdx, qword [rsp + 0x28]
add r11, rdi
adc rdx, qword [rsp + 0x80]
add r11, r12
adc rdx, rax
shld rdx, r11, 0xd
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
add rsi, r9
movabs rax, 0x7ffffffffffff
and r8, rax
and rcx, rax
and r10, rax
and r11, rax
mov r12, rsi
and r12, rax
shr rsi, 0x33
add rsi, r8
mov dword [rsp + 0x60], 9
nop dword [rax]
lea r13, [r12 + r12]
imul r8, rcx, 0x26
imul r9, r11, 0x26
mov rax, r12
mul r12
mov rdi, rdx
mov r14, rax
mov rax, rsi
mul r9
mov r12, rdx
mov rbx, rax
mov rax, r8
mul r10
mov r8, rdx
mov r15, rax
add r15, rbx
adc r8, r12
add r15, r14
adc r8, rdi
mov r12, r13
mov rax, r13
mul rsi
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x58], rax
mov rax, rcx
mul r9
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x30], rdx
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
mul r10
mov r13, rax
mov rbx, rdx
lea rax, [r11 + r11*8]
lea r14, [r11 + rax*2]
mov rax, r12
mul rcx
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x88], rdx
lea rdi, [rsi + rsi]
mov qword [rsp + 0x40], rdi
mov rax, rsi
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x68], rax
mov rax, r9
mul r10
mov rsi, rdx
mov r9, rax
mov rax, r12
mul r10
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x70], rax
mov rax, r14
mul r11
mov rdi, rdx
mov r14, rax
mov rax, r12
mul r11
mov qword [rsp + 0x38], rdx
mov r11, rax
mov rax, qword [rsp + 0x40]
mul r10
mov r10, rdx
mov r12, rax
mov rax, rcx
mul rcx
add rax, r12
adc rdx, r10
add rax, r11
adc rdx, qword [rsp + 0x38]
mov r10, r8
shr r10, 0x33
shld r8, r15, 0xd
movabs r12, 0x7ffffffffffff
and r15, r12
add r13, qword [rsp + 0x48]
adc rbx, qword [rsp + 0x30]
add r13, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x90]
add r13, r8
adc rbx, r10
mov rcx, rbx
shld rbx, r13, 0xd
shr rcx, 0x33
add r9, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x50]
add r9, qword [rsp + 0x78]
adc rsi, qword [rsp + 0x88]
add r9, rbx
adc rsi, rcx
mov rcx, rsi
shld rsi, r9, 0xd
shr rcx, 0x33
add r14, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x98]
add r14, qword [rsp + 0x80]
adc rdi, qword [rsp + 0x28]
add r14, rsi
adc rdi, rcx
mov rcx, rdi
shr rcx, 0x33
shld rdi, r14, 0xd
add rdi, rax
adc rcx, rdx
shld rcx, rdi, 0xd
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
add rsi, r15
mov rax, r12
and r13, r12
mov r12, rsi
shr rsi, 0x33
add rsi, r13
mov rcx, r9
and rcx, rax
mov r10, r14
and r10, rax
mov r11, rdi
and r11, rax
and r12, rax
add dword [rsp + 0x60], 0xffffffff
jne 0x1400115c0
mov rax, r12
mov rbx, qword [rsp + 0xb0]
mul rbx
mov r15, rdx
mov qword [rsp + 0xd0], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, rcx
mul rbx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, r10
mul rbx
mov r9, rax
mov r8, rdx
lea rax, [r11 + r11*8]
lea rdi, [r11 + rax*2]
mov rax, r11
mul rbx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mov rbx, qword [rsp + 0xb8]
mul rbx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x128], rax
mov rax, r12
mul rbx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xa8], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rcx
mul rbx
add rax, r9
mov qword [rsp + 0x70], rax
adc rdx, r8
mov qword [rsp + 0x50], rdx
lea rax, [r10 + r10*8]
lea r9, [r10 + rax*2]
mov rax, r10
mul rbx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, r9
mov rbx, qword [rsp + 0xc0]
mul rbx
mov qword [rsp + 0x160], rdx
mov r10, rax
mov rax, rdi
mul rbx
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x140], rax
mov rax, r12
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xa0], rax
mov rax, rsi
mul rbx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [rcx + rcx*8]
lea r11, [rcx + rax*2]
mov rax, rcx
mul rbx
mov rbx, rdx
mov qword [rsp + 0xe8], rax
mov rax, r11
mov rcx, qword [rsp + 0xf0]
mul rcx
mov r8, rdx
mov r13, rax
mov rax, r9
mul rcx
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x168], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x138], rax
mov rax, r12
mul rcx
mov qword [rsp + 0xe0], rax
mov qword [rsp + 0xc0], rdx
lea rax, [rsi + rsi*8]
lea r14, [rsi + rax*2]
mov rax, rsi
mul rcx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc8], rax
mov rax, r14
mov rsi, qword [rsp + 0xd8]
mul rsi
add r13, r10
adc r8, qword [rsp + 0x160]
add r13, qword [rsp + 0x128]
adc r8, qword [rsp + 0x130]
add r13, qword [rsp + 0xd0]
adc r8, r15
add r13, rax
adc r8, rdx
mov rax, r11
mul rsi
mov r11, rdx
mov r14, rax
mov rax, r9
mul rsi
mov rcx, rdx
mov r10, rax
mov rax, rdi
mul rsi
mov r9, rdx
mov r15, rax
mov rax, r12
mul rsi
mov rsi, r8
shr rsi, 0x33
shld r8, r13, 0xd
movabs rdi, 0x7ffffffffffff
and r13, rdi
add r14, qword [rsp + 0x168]
adc r11, qword [rsp + 0x170]
add r14, qword [rsp + 0x140]
adc r11, qword [rsp + 0x118]
add r14, qword [rsp + 0xa8]
adc r11, qword [rsp + 0xb0]
add r14, qword [rsp + 0x68]
adc r11, qword [rsp + 0x58]
add r14, r8
adc r11, rsi
mov r8, r11
shld r11, r14, 0xd
shr r8, 0x33
add r10, qword [rsp + 0x98]
adc rcx, qword [rsp + 0x78]
add r10, qword [rsp + 0x138]
adc rcx, qword [rsp + 0x110]
add r10, qword [rsp + 0xa0]
adc rcx, qword [rsp + 0xb8]
add r10, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add r10, r11
adc rcx, r8
mov r8, rcx
shld rcx, r10, 0xd
shr r8, 0x33
add r15, qword [rsp + 0x70]
adc r9, qword [rsp + 0x50]
add r15, qword [rsp + 0xe0]
adc r9, qword [rsp + 0xc0]
add r15, qword [rsp + 0x40]
adc r9, qword [rsp + 0x38]
add r15, rcx
adc r9, r8
mov rcx, r9
shld r9, r15, 0xd
shr rcx, 0x33
mov r12, qword [rsp + 0xe8]
add r12, qword [rsp + 0x90]
adc rbx, qword [rsp + 0x88]
add r12, qword [rsp + 0x80]
adc rbx, qword [rsp + 0x28]
add r12, rax
adc rbx, rdx
add r12, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x60]
add r12, r9
adc rbx, rcx
shld rbx, r12, 0xd
lea rax, [rbx + rbx*8]
lea r9, [rbx + rax*2]
add r9, r13
and r14, rdi
and r10, rdi
and r15, rdi
and r12, rdi
mov rax, r9
and rax, rdi
shr r9, 0x33
add r9, r14
lea rsi, [rax + rax]
mov qword [rsp + 0x28], rsi
imul rdi, r10, 0x26
imul rbx, r12, 0x26
mov qword [rsp + 0xb0], rax
mul rax
mov r14, rdx
mov r13, rax
mov rax, r9
mul rbx
mov r8, rdx
mov rcx, rax
mov rax, r15
mul rdi
mov rdi, rdx
mov r11, rax
add r11, r13
adc rdi, r14
add r11, rcx
adc rdi, r8
mov rax, rsi
mul r9
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rbx
mul r10
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r15 + r15*8]
lea rax, [r15 + rax*2]
mul r15
mov rcx, rdx
mov r8, rax
mov rax, rsi
mul r10
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, r9
mul r9
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rbx
mul r15
mov rbx, rdx
mov r14, rax
mov rax, rsi
mul r15
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea rax, [r12 + r12*8]
lea rsi, [r12 + rax*2]
mov qword [rsp + 0xb8], r9
lea r13, [r9 + r9]
mov rax, r13
mul r10
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, rsi
mul r12
mov rsi, rdx
mov r9, rax
mov rax, qword [rsp + 0x28]
mov qword [rsp + 0xe8], r12
mul r12
mov r12, rdx
mov qword [rsp + 0x28], rax
mov rax, r13
mov qword [rsp + 0xf0], r15
mul r15
mov r13, rdx
mov qword [rsp + 0x80], rax
mov rax, r10
mov qword [rsp + 0xc0], r10
mul r10
mov r10, rax
mov rax, rdi
shr rax, 0x33
shld rdi, r11, 0xd
movabs r15, 0x7ffffffffffff
and r11, r15
add r8, qword [rsp + 0x40]
adc rcx, qword [rsp + 0x38]
add r8, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x98]
add r8, rdi
adc rcx, rax
mov rax, rcx
shld rcx, r8, 0xd
shr rax, 0x33
add r14, qword [rsp + 0x48]
adc rbx, qword [rsp + 0x30]
add r14, qword [rsp + 0x70]
adc rbx, qword [rsp + 0x88]
add r14, rcx
adc rbx, rax
mov rax, rbx
shld rbx, r14, 0xd
shr rax, 0x33
add r9, qword [rsp + 0x58]
adc rsi, qword [rsp + 0x78]
add r9, qword [rsp + 0x50]
adc rsi, qword [rsp + 0x90]
add r9, rbx
adc rsi, rax
mov rax, rsi
shld rsi, r9, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x28]
adc rdx, r12
add r10, qword [rsp + 0x80]
adc rdx, r13
add r10, rsi
adc rdx, rax
shld rdx, r10, 0xd
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
add rsi, r11
mov rax, r15
and r8, r15
and r14, r15
and r9, r15
and r10, r15
mov r12, rsi
and r12, r15
shr rsi, 0x33
add rsi, r8
mov dword [rsp + 0x60], 0x31
nop word [rax + rax]
lea r13, [r12 + r12]
imul rcx, r14, 0x26
imul r8, r10, 0x26
mov rax, r12
mul r12
mov rdi, rdx
mov r15, rax
mov rax, rsi
mul r8
mov r12, rdx
mov rbx, rax
mov rax, rcx
mul r9
mov rcx, rdx
mov r11, rax
add r11, rbx
adc rcx, r12
add r11, r15
adc rcx, rdi
mov r12, r13
mov rax, r13
mul rsi
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x58], rax
mov rax, r14
mul r8
mov qword [rsp + 0x48], rax
mov qword [rsp + 0x30], rdx
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mul r9
mov r13, rax
mov rbx, rdx
lea rax, [r10 + r10*8]
lea r15, [r10 + rax*2]
mov rax, r12
mul r14
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x88], rdx
lea rdi, [rsi + rsi]
mov qword [rsp + 0x40], rdi
mov rax, rsi
mul rsi
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x68], rax
mov rax, r8
mul r9
mov rsi, rdx
mov r8, rax
mov rax, r12
mul r9
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mul r14
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x70], rax
mov rax, r15
mul r10
mov rdi, rdx
mov r15, rax
mov rax, r12
mul r10
mov qword [rsp + 0x38], rdx
mov r10, rax
mov rax, qword [rsp + 0x40]
mul r9
mov r9, rdx
mov r12, rax
mov rax, r14
mul r14
add rax, r12
adc rdx, r9
add rax, r10
adc rdx, qword [rsp + 0x38]
mov r9, rcx
shr r9, 0x33
mov r10, r11
shld rcx, r11, 0xd
movabs r11, 0x7ffffffffffff
and r10, r11
add r13, qword [rsp + 0x48]
adc rbx, qword [rsp + 0x30]
add r13, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x90]
add r13, rcx
adc rbx, r9
mov rcx, rbx
shld rbx, r13, 0xd
shr rcx, 0x33
add r8, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x50]
add r8, qword [rsp + 0x78]
adc rsi, qword [rsp + 0x88]
add r8, rbx
adc rsi, rcx
mov rcx, rsi
shld rsi, r8, 0xd
shr rcx, 0x33
add r15, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x98]
add r15, qword [rsp + 0x80]
adc rdi, qword [rsp + 0x28]
add r15, rsi
adc rdi, rcx
mov rcx, rdi
shr rcx, 0x33
shld rdi, r15, 0xd
add rdi, rax
adc rcx, rdx
shld rcx, rdi, 0xd
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
add rsi, r10
and r13, r11
mov r12, rsi
shr rsi, 0x33
add rsi, r13
mov r14, r8
and r14, r11
mov r9, r15
and r9, r11
mov r10, rdi
and r10, r11
and r12, r11
add dword [rsp + 0x60], 0xffffffff
jne 0x140011d30
mov rax, r12
mov rdi, qword [rsp + 0xb0]
mul rdi
mov qword [rsp + 0x118], rdx
mov qword [rsp + 0x140], rax
mov rax, rsi
mul rdi
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, r14
mul rdi
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, r9
mul rdi
mov rcx, rax
mov rbx, rdx
lea rax, [r10 + r10*8]
lea r15, [r10 + rax*2]
mov rax, r10
mul rdi
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, r15
mov rdi, qword [rsp + 0xb8]
mul rdi
mov qword [rsp + 0x160], rdx
mov qword [rsp + 0x188], rax
mov rax, r12
mul rdi
mov qword [rsp + 0xa8], rdx
mov qword [rsp + 0xa0], rax
mov rax, rsi
mul rdi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, r14
mul rdi
add rax, rcx
mov qword [rsp + 0x70], rax
adc rdx, rbx
mov qword [rsp + 0x50], rdx
lea rax, [r9 + r9*8]
lea r11, [r9 + rax*2]
mov rax, r9
mul rdi
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, r11
mov rcx, qword [rsp + 0xc0]
mul rcx
mov r13, rdx
mov rbx, r14
mov r14, rax
mov rax, r15
mul rcx
mov qword [rsp + 0x130], rdx
mov qword [rsp + 0x170], rax
mov rax, r12
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [rbx + rbx*8]
lea r8, [rbx + rax*2]
mov rax, rbx
mul rcx
mov rbx, rdx
mov qword [rsp + 0xd8], rax
mov rax, r8
mov rcx, qword [rsp + 0xf0]
mul rcx
mov r9, rdx
mov rdi, rax
mov rax, r11
mul rcx
mov qword [rsp + 0x180], rdx
mov qword [rsp + 0x178], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r12
mul rcx
mov qword [rsp + 0x138], rax
mov qword [rsp + 0x110], rdx
lea rax, [rsi + rsi*8]
lea r10, [rsi + rax*2]
mov rax, rsi
mul rcx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc8], rax
mov rax, r10
mov rsi, qword [rsp + 0xe8]
mul rsi
add rdi, r14
adc r9, r13
add rdi, qword [rsp + 0x188]
adc r9, qword [rsp + 0x160]
add rdi, qword [rsp + 0x140]
adc r9, qword [rsp + 0x118]
add rdi, rax
adc r9, rdx
mov rax, r8
mul rsi
mov rcx, rdx
mov r14, rax
mov rax, r11
mul rsi
mov r8, rdx
mov r10, rax
mov rax, r15
mul rsi
mov r15, rdx
mov r11, rax
mov rax, r12
mul rsi
mov r12, r9
shr r12, 0x33
shld r9, rdi, 0xd
movabs r13, 0x7ffffffffffff
and rdi, r13
add r14, qword [rsp + 0x178]
adc rcx, qword [rsp + 0x180]
add r14, qword [rsp + 0x170]
adc rcx, qword [rsp + 0x130]
add r14, qword [rsp + 0xa0]
adc rcx, qword [rsp + 0xa8]
add r14, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x58]
add r14, r9
adc rcx, r12
mov r9, rcx
shld rcx, r14, 0xd
shr r9, 0x33
add r10, qword [rsp + 0x98]
adc r8, qword [rsp + 0x78]
add r10, qword [rsp + 0x168]
adc r8, qword [rsp + 0x128]
add r10, qword [rsp + 0xe0]
adc r8, qword [rsp + 0xd0]
add r10, qword [rsp + 0x48]
adc r8, qword [rsp + 0x30]
add r10, rcx
adc r8, r9
mov rcx, r8
shld r8, r10, 0xd
shr rcx, 0x33
add r11, qword [rsp + 0x70]
adc r15, qword [rsp + 0x50]
add r11, qword [rsp + 0x138]
adc r15, qword [rsp + 0x110]
add r11, qword [rsp + 0x40]
adc r15, qword [rsp + 0x38]
add r11, r8
adc r15, rcx
mov rcx, r15
shld r15, r11, 0xd
shr rcx, 0x33
mov rsi, qword [rsp + 0xd8]
add rsi, qword [rsp + 0x90]
adc rbx, qword [rsp + 0x88]
add rsi, qword [rsp + 0x80]
adc rbx, qword [rsp + 0x28]
add rsi, rax
adc rbx, rdx
add rsi, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x60]
add rsi, r15
adc rbx, rcx
shld rbx, rsi, 0xd
mov r15, rsi
lea rax, [rbx + rbx*8]
lea rsi, [rbx + rax*2]
add rsi, rdi
and r14, r13
and r10, r13
and r11, r13
and r15, r13
mov rax, rsi
and rax, r13
shr rsi, 0x33
add rsi, r14
lea r12, [rax + rax]
imul r8, r10, 0x26
imul rcx, r15, 0x26
mov qword [rsp + 0xe0], rax
mul rax
mov r14, rdx
mov rbx, rax
mov rax, rsi
mul rcx
mov r9, rdx
mov rdi, rax
mov rax, r11
mul r8
mov r13, rdx
mov r8, rax
add r8, rbx
adc r13, r14
add r8, rdi
adc r13, r9
mov rax, r12
mul rsi
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rcx
mul r10
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r11 + r11*8]
lea rax, [r11 + rax*2]
mul r11
mov rbx, rdx
mov r14, rax
mov rax, r12
mul r10
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, rsi
mul rsi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rcx
mul r11
mov rdi, rdx
mov qword [rsp + 0x60], rax
mov rax, r12
mul r11
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea rax, [r15 + r15*8]
lea rcx, [r15 + rax*2]
mov qword [rsp + 0xd0], rsi
lea r9, [rsi + rsi]
mov rax, r9
mul r10
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, rcx
mul r15
mov rcx, rdx
mov rsi, rax
mov rax, r12
mov r12, qword [rsp + 0x60]
mov qword [rsp + 0xd8], r15
mul r15
mov r15, rdx
mov qword [rsp + 0x80], rax
mov rax, r9
mov qword [rsp + 0xa8], r11
mul r11
mov qword [rsp + 0x28], rdx
mov r9, rax
mov rax, r10
mov qword [rsp + 0xa0], r10
mul r10
mov r11, rax
mov rax, r13
shr rax, 0x33
shld r13, r8, 0xd
movabs r10, 0x7ffffffffffff
and r8, r10
add r14, qword [rsp + 0x40]
adc rbx, qword [rsp + 0x38]
add r14, qword [rsp + 0x68]
adc rbx, qword [rsp + 0x98]
add r14, r13
adc rbx, rax
mov rax, rbx
shld rbx, r14, 0xd
shr rax, 0x33
add r12, qword [rsp + 0x48]
adc rdi, qword [rsp + 0x30]
add r12, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x88]
add r12, rbx
adc rdi, rax
mov rax, rdi
shld rdi, r12, 0xd
shr rax, 0x33
add rsi, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x78]
add rsi, qword [rsp + 0x50]
adc rcx, qword [rsp + 0x90]
add rsi, rdi
adc rcx, rax
mov rax, rcx
shld rcx, rsi, 0xd
shr rax, 0x33
add r11, qword [rsp + 0x80]
adc rdx, r15
add r11, r9
adc rdx, qword [rsp + 0x28]
add r11, rcx
adc rdx, rax
shld rdx, r11, 0xd
lea rax, [rdx + rdx*8]
lea r15, [rdx + rax*2]
add r15, r8
mov rax, r10
and r14, r10
and r12, r10
and rsi, r10
and r11, r10
mov r9, r15
and r9, r10
shr r15, 0x33
add r15, r14
mov dword [rsp + 0xc8], 0x63
nop word cs:[rax + rax]
nop dword [rax]
lea rbx, [r9 + r9]
imul rdi, r12, 0x26
imul r10, r11, 0x26
mov rax, r9
mul r9
mov r8, rdx
mov r14, rax
mov rax, r15
mul r10
mov r9, rdx
mov rcx, rax
mov rax, rdi
mul rsi
mov rdi, rdx
add rax, rcx
adc rdi, r9
add rax, r14
mov qword [rsp + 0x68], rax
adc rdi, r8
mov r9, rbx
mov rax, rbx
mul r15
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x58], rax
mov rax, r12
mul r10
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x48], rdx
lea rax, [rsi + rsi*8]
lea rax, [rsi + rax*2]
mul rsi
mov r13, rax
mov rcx, rdx
lea rax, [r11 + r11*8]
lea r8, [r11 + rax*2]
mov rax, rbx
mul r12
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x88], rdx
lea r14, [r15 + r15]
mov rax, r15
mul r15
mov qword [rsp + 0x50], rdx
mov qword [rsp + 0x30], rax
mov rax, r10
mul rsi
mov rbx, rdx
mov r10, rax
mov rax, r9
mul rsi
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, r14
mov r15, r14
mul r12
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x70], rax
mov rax, r8
mul r11
mov r14, rdx
mov r8, rax
mov rax, r9
mul r11
mov qword [rsp + 0x40], rdx
mov qword [rsp + 0x60], rax
mov rax, r15
mul rsi
mov r11, rdx
mov r9, rax
mov rax, r12
mul r12
add rax, r9
adc rdx, r11
add rax, qword [rsp + 0x60]
adc rdx, qword [rsp + 0x40]
mov r9, rdi
shr r9, 0x33
mov r11, qword [rsp + 0x68]
shld rdi, r11, 0xd
movabs r12, 0x7ffffffffffff
and r11, r12
mov rsi, r11
add r13, qword [rsp + 0x38]
adc rcx, qword [rsp + 0x48]
add r13, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x90]
add r13, rdi
adc rcx, r9
mov rdi, rcx
shld rcx, r13, 0xd
shr rdi, 0x33
add r10, qword [rsp + 0x30]
adc rbx, qword [rsp + 0x50]
add r10, qword [rsp + 0x78]
adc rbx, qword [rsp + 0x88]
add r10, rcx
adc rbx, rdi
mov rcx, rbx
shld rbx, r10, 0xd
shr rcx, 0x33
add r8, qword [rsp + 0x70]
adc r14, qword [rsp + 0x98]
add r8, qword [rsp + 0x80]
adc r14, qword [rsp + 0x28]
add r8, rbx
adc r14, rcx
mov rcx, r14
shr rcx, 0x33
shld r14, r8, 0xd
add r14, rax
adc rcx, rdx
shld rcx, r14, 0xd
lea rax, [rcx + rcx*8]
lea r15, [rcx + rax*2]
add r15, r11
mov rax, r12
and r13, r12
mov r9, r15
shr r15, 0x33
add r15, r13
mov r12, r10
and r12, rax
mov rsi, r8
and rsi, rax
mov r11, r14
and r11, rax
and r9, rax
add dword [rsp + 0xc8], 0xffffffff
jne 0x1400124b0
mov rax, r9
mov rcx, qword [rsp + 0xe0]
mul rcx
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x138], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, r12
mul rcx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, rsi
mul rcx
mov rbx, rax
mov r8, rdx
lea rax, [r11 + r11*8]
lea rdi, [r11 + rax*2]
mov rax, r11
mul rcx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mov rcx, qword [rsp + 0xd0]
mul rcx
mov qword [rsp + 0x188], rdx
mov qword [rsp + 0x180], rax
mov rax, r9
mul rcx
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0x118], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, r12
mul rcx
add rax, rbx
mov qword [rsp + 0x70], rax
adc rdx, r8
mov qword [rsp + 0x50], rdx
lea rax, [rsi + rsi*8]
lea rbx, [rsi + rax*2]
mov rax, rsi
mul rcx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, rbx
mov rcx, qword [rsp + 0xa0]
mul rcx
mov r13, rdx
mov rsi, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x168], rax
mov rax, r9
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0x110], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x38], rdx
lea rax, [r12 + r12*8]
lea r8, [r12 + rax*2]
mov rax, r12
mul rcx
mov r14, rdx
mov qword [rsp + 0x40], rax
mov rax, r8
mov rcx, qword [rsp + 0xa8]
mul rcx
mov r10, rdx
mov r12, rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x178], rdx
mov qword [rsp + 0x1a8], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x170], rdx
mov qword [rsp + 0x160], rax
mov rax, r9
mul rcx
mov qword [rsp + 0x130], rax
mov qword [rsp + 0xa0], rdx
lea rax, [r15 + r15*8]
lea r11, [r15 + rax*2]
mov rax, r15
mul rcx
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xa8], rax
mov rax, r11
mov r15, qword [rsp + 0xd8]
mul r15
add r12, rsi
adc r10, r13
add r12, qword [rsp + 0x180]
adc r10, qword [rsp + 0x188]
add r12, qword [rsp + 0x138]
adc r10, qword [rsp + 0x140]
add r12, rax
adc r10, rdx
mov rax, r8
mul r15
mov rcx, rdx
mov r11, rax
mov rax, rbx
mul r15
mov r8, rdx
mov rsi, rax
mov rax, rdi
mul r15
mov rbx, rdx
mov rdi, rax
mov rax, r9
mul r15
mov r9, r10
shr r9, 0x33
shld r10, r12, 0xd
movabs r15, 0x7ffffffffffff
and r12, r15
add r11, qword [rsp + 0x1a8]
adc rcx, qword [rsp + 0x178]
add r11, qword [rsp + 0x168]
adc rcx, qword [rsp + 0x128]
add r11, qword [rsp + 0x118]
adc rcx, qword [rsp + 0xe0]
add r11, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x58]
add r11, r10
adc rcx, r9
mov r9, rcx
shld rcx, r11, 0xd
shr r9, 0x33
add rsi, qword [rsp + 0x98]
adc r8, qword [rsp + 0x78]
add rsi, qword [rsp + 0x160]
adc r8, qword [rsp + 0x170]
add rsi, qword [rsp + 0x110]
adc r8, qword [rsp + 0xd0]
add rsi, qword [rsp + 0x48]
adc r8, qword [rsp + 0x30]
add rsi, rcx
adc r8, r9
mov rcx, r8
shld r8, rsi, 0xd
shr rcx, 0x33
add rdi, qword [rsp + 0x70]
adc rbx, qword [rsp + 0x50]
add rdi, qword [rsp + 0x130]
adc rbx, qword [rsp + 0xa0]
add rdi, qword [rsp + 0x60]
adc rbx, qword [rsp + 0x38]
add rdi, r8
adc rbx, rcx
mov rcx, rbx
shld rbx, rdi, 0xd
shr rcx, 0x33
mov r9, qword [rsp + 0x40]
add r9, qword [rsp + 0x90]
adc r14, qword [rsp + 0x88]
add r9, qword [rsp + 0x80]
adc r14, qword [rsp + 0x28]
add r9, rax
adc r14, rdx
add r9, qword [rsp + 0xa8]
adc r14, qword [rsp + 0xc8]
add r9, rbx
adc r14, rcx
shld r14, r9, 0xd
lea rax, [r14 + r14*8]
lea rcx, [r14 + rax*2]
add rcx, r12
and r11, r15
and rsi, r15
and rdi, r15
and r9, r15
mov rax, rcx
and rax, r15
shr rcx, 0x33
add rcx, r11
lea r12, [rax + rax]
imul r11, rsi, 0x26
imul r14, r9, 0x26
mul rax
mov r8, rdx
mov rbx, rax
mov rax, rcx
mul r14
mov r13, rdx
mov r10, rax
mov rax, rdi
mul r11
mov r15, rdx
mov r11, rax
add r11, rbx
adc r15, r8
add r11, r10
adc r15, r13
mov rax, r12
mul rcx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x30], rax
mov rax, r14
mul rsi
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x40], rdx
lea rax, [rdi + rdi*8]
lea rax, [rdi + rax*2]
mul rdi
mov r8, rax
mov rbx, rdx
lea rax, [r9 + r9*8]
lea rax, [r9 + rax*2]
mov qword [rsp + 0x28], rax
mov rax, r12
mul rsi
mov qword [rsp + 0x70], rax
mov qword [rsp + 0x98], rdx
lea r13, [rcx + rcx]
mov qword [rsp + 0x80], r13
mov rax, rcx
mul rcx
mov qword [rsp + 0x48], rdx
mov qword [rsp + 0x38], rax
mov rax, r14
mul rdi
mov rcx, rdx
mov r10, rax
mov rax, r12
mul rdi
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r13
mul rsi
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x68], rax
mov rax, qword [rsp + 0x28]
mul r9
mov r13, rdx
mov r14, rax
mov rax, r12
mul r9
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x88], rax
mov rax, qword [rsp + 0x80]
mul rdi
mov qword [rsp + 0x80], rdx
mov rdi, rax
mov rax, rsi
mul rsi
mov r9, rax
mov rax, r15
shr rax, 0x33
shld r15, r11, 0xd
movabs r12, 0x7ffffffffffff
and r11, r12
add r8, qword [rsp + 0x60]
adc rbx, qword [rsp + 0x40]
add r8, qword [rsp + 0x30]
adc rbx, qword [rsp + 0x58]
add r8, r15
adc rbx, rax
mov rax, rbx
shld rbx, r8, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x38]
adc rcx, qword [rsp + 0x48]
add r10, qword [rsp + 0x70]
adc rcx, qword [rsp + 0x98]
add r10, rbx
adc rcx, rax
mov rax, rcx
shld rcx, r10, 0xd
shr rax, 0x33
add r14, qword [rsp + 0x50]
adc r13, qword [rsp + 0x90]
add r14, qword [rsp + 0x68]
adc r13, qword [rsp + 0x78]
add r14, rcx
adc r13, rax
mov rax, r13
shld r13, r14, 0xd
shr rax, 0x33
add r9, qword [rsp + 0x88]
adc rdx, qword [rsp + 0x28]
add r9, rdi
adc rdx, qword [rsp + 0x80]
add r9, r13
mov rbx, r10
adc rdx, rax
shld rdx, r9, 0xd
lea rax, [rdx + rdx*8]
lea rsi, [rdx + rax*2]
add rsi, r11
mov rax, r12
and r8, r12
and rbx, r12
and r14, r12
and r9, r12
mov r15, rsi
and r15, r12
shr rsi, 0x33
add rsi, r8
mov r8d, 0x31
nop word cs:[rax + rax]
nop dword [rax + rax]
mov dword [rsp + 0x28], r8d
lea r13, [r15 + r15]
imul rcx, rbx, 0x26
imul r11, r9, 0x26
mov rax, r15
mul r15
mov r10, rdx
mov r8, rax
mov rax, rsi
mul r11
mov r12, rdx
mov rdi, rax
mov rax, rcx
mul r14
mov rcx, rdx
mov r15, rax
add r15, rdi
adc rcx, r12
add r15, r8
adc rcx, r10
mov r10, r13
mov rax, r13
mul rsi
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x70], rax
mov rax, rbx
mul r11
mov qword [rsp + 0x38], rax
mov qword [rsp + 0x48], rdx
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul r14
mov r8, rbx
mov r13, rax
mov rbx, rdx
lea rax, [r9 + r9*8]
lea r12, [r9 + rax*2]
mov rax, r10
mul r8
mov qword [rsp + 0x98], rax
mov qword [rsp + 0x90], rdx
lea rdi, [rsi + rsi]
mov qword [rsp + 0x60], rdi
mov rax, rsi
mul rsi
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x30], rax
mov rax, r11
mul r14
mov rsi, rdx
mov r11, rax
mov rax, r10
mul r14
mov qword [rsp + 0x80], rdx
mov qword [rsp + 0x88], rax
mov rax, rdi
mul r8
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x50], rax
mov rax, r12
mul r9
mov rdi, rdx
mov r12, rax
mov rax, r10
mul r9
mov qword [rsp + 0x40], rdx
mov r9, rax
mov rax, qword [rsp + 0x60]
mul r14
mov r10, rdx
mov r14, rax
mov rax, r8
mul r8
mov r8d, dword [rsp + 0x28]
add rax, r14
adc rdx, r10
add rax, r9
adc rdx, qword [rsp + 0x40]
mov r9, rcx
shr r9, 0x33
shld rcx, r15, 0xd
movabs r10, 0x7ffffffffffff
and r15, r10
add r13, qword [rsp + 0x38]
adc rbx, qword [rsp + 0x48]
add r13, qword [rsp + 0x70]
adc rbx, qword [rsp + 0x78]
add r13, rcx
adc rbx, r9
mov rcx, rbx
shld rbx, r13, 0xd
shr rcx, 0x33
add r11, qword [rsp + 0x30]
adc rsi, qword [rsp + 0x68]
add r11, qword [rsp + 0x98]
adc rsi, qword [rsp + 0x90]
add r11, rbx
adc rsi, rcx
mov rcx, rsi
shld rsi, r11, 0xd
shr rcx, 0x33
add r12, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x58]
add r12, qword [rsp + 0x88]
adc rdi, qword [rsp + 0x80]
add r12, rsi
adc rdi, rcx
mov rcx, rdi
shr rcx, 0x33
shld rdi, r12, 0xd
add rdi, rax
adc rcx, rdx
shld rcx, rdi, 0xd
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
add rsi, r15
and r13, r10
mov r15, rsi
shr rsi, 0x33
add rsi, r13
mov rbx, r11
and rbx, r10
mov r14, r12
and r14, r10
mov r9, rdi
and r9, r10
and r15, r10
add r8d, 0xffffffff
jne 0x140012c20
mov rax, r15
mov rcx, qword [rsp + 0xb0]
mul rcx
mov qword [rsp + 0xd0], rdx
mov qword [rsp + 0xe0], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, rbx
mul rcx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, r14
mul rcx
mov r10, rax
mov r8, rdx
lea rax, [r9 + r9*8]
lea rdi, [r9 + rax*2]
mov rax, r9
mul rcx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rdi
mov rcx, qword [rsp + 0xb8]
mul rcx
mov qword [rsp + 0x128], rdx
mov qword [rsp + 0x170], rax
mov rax, r15
mul rcx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xa8], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rbx
mul rcx
add rax, r10
mov qword [rsp + 0x70], rax
adc rdx, r8
mov qword [rsp + 0x50], rdx
lea rax, [r14 + r14*8]
lea r8, [r14 + rax*2]
mov rax, r14
mul rcx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, r8
mov rcx, qword [rsp + 0xc0]
mul rcx
mov qword [rsp + 0x188], rdx
mov r11, rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x138], rax
mov rax, r15
mul rcx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xa0], rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x38], rdx
lea rax, [rbx + rbx*8]
lea r14, [rbx + rax*2]
mov rax, rbx
mul rcx
mov r12, rdx
mov qword [rsp + 0x40], rax
mov rax, r14
mov rcx, qword [rsp + 0xf0]
mul rcx
mov r9, rdx
mov r13, rax
mov rax, r8
mul rcx
mov qword [rsp + 0x168], rdx
mov qword [rsp + 0x160], rax
mov rax, rdi
mul rcx
mov qword [rsp + 0x140], rdx
mov qword [rsp + 0x130], rax
mov rax, r15
mul rcx
mov qword [rsp + 0x118], rax
mov qword [rsp + 0xc0], rdx
lea rax, [rsi + rsi*8]
lea r10, [rsi + rax*2]
mov rax, rsi
mul rcx
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xd8], rax
mov rax, r10
mov r10, qword [rsp + 0xe8]
mul r10
add r13, r11
adc r9, qword [rsp + 0x188]
add r13, qword [rsp + 0x170]
adc r9, qword [rsp + 0x128]
add r13, qword [rsp + 0xe0]
adc r9, qword [rsp + 0xd0]
add r13, rax
adc r9, rdx
mov rax, r14
mul r10
mov rcx, rdx
mov rsi, rax
mov rax, r8
mul r10
mov r8, rdx
mov rbx, rax
mov rax, rdi
mul r10
mov r11, rdx
mov r14, rax
mov rax, r15
mul r10
mov r15, r9
shr r15, 0x33
shld r9, r13, 0xd
movabs rdi, 0x7ffffffffffff
and r13, rdi
add rsi, qword [rsp + 0x160]
adc rcx, qword [rsp + 0x168]
add rsi, qword [rsp + 0x138]
adc rcx, qword [rsp + 0x110]
add rsi, qword [rsp + 0xa8]
adc rcx, qword [rsp + 0xb0]
add rsi, qword [rsp + 0x68]
adc rcx, qword [rsp + 0x58]
add rsi, r9
adc rcx, r15
mov r9, rcx
shld rcx, rsi, 0xd
shr r9, 0x33
add rbx, qword [rsp + 0x98]
adc r8, qword [rsp + 0x78]
add rbx, qword [rsp + 0x130]
adc r8, qword [rsp + 0x140]
add rbx, qword [rsp + 0xa0]
adc r8, qword [rsp + 0xb8]
add rbx, qword [rsp + 0x48]
adc r8, qword [rsp + 0x30]
add rbx, rcx
adc r8, r9
mov rcx, r8
shld r8, rbx, 0xd
shr rcx, 0x33
add r14, qword [rsp + 0x70]
adc r11, qword [rsp + 0x50]
add r14, qword [rsp + 0x118]
adc r11, qword [rsp + 0xc0]
add r14, qword [rsp + 0x60]
adc r11, qword [rsp + 0x38]
add r14, r8
adc r11, rcx
mov r8, r11
shld r11, r14, 0xd
shr r8, 0x33
mov rcx, qword [rsp + 0x40]
add rcx, qword [rsp + 0x90]
adc r12, qword [rsp + 0x88]
add rcx, qword [rsp + 0x80]
adc r12, qword [rsp + 0x28]
add rcx, rax
adc r12, rdx
add rcx, qword [rsp + 0xd8]
adc r12, qword [rsp + 0xc8]
add rcx, r11
adc r12, r8
shld r12, rcx, 0xd
mov r11, rcx
lea rax, [r12 + r12*8]
lea rcx, [r12 + rax*2]
add rcx, r13
and rsi, rdi
mov r8, rcx
shr rcx, 0x33
add rcx, rsi
and rbx, rdi
and r8, rdi
mov rax, r8
mul r8
mov rsi, rax
mov r10, rdx
and r11, rdi
imul r9, r11, 0x26
mov rax, rcx
mul r9
mov r12, rax
mov r13, rdx
and r14, rdi
imul rdx, rbx, 0x26
mov rax, r14
mul rdx
mov r15, rdx
add rax, rsi
adc r15, r10
add rax, r12
mov qword [rsp + 0x48], rax
adc r15, r13
lea rdi, [r8 + r8]
mov rax, rdi
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, r9
mul rbx
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x40], rdx
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mul r14
mov r8, rax
mov rsi, rdx
lea rax, [r11 + r11*8]
lea r10, [r11 + rax*2]
mov rax, rdi
mul rbx
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea r12, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x38], rax
mov rax, r9
mul r14
mov rcx, rdx
mov r9, rax
mov rax, rdi
mul r14
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, r12
mul rbx
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r10
mul r11
mov r13, rdx
mov r10, rax
mov rax, rdi
mul r11
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, r12
mul r14
mov r14, rdx
mov rdi, rax
mov rax, rbx
mul rbx
mov r12, rax
mov rax, r15
shr rax, 0x33
mov rbx, qword [rsp + 0x48]
shld r15, rbx, 0xd
movabs r11, 0x7ffffffffffff
and rbx, r11
add r8, qword [rsp + 0x60]
adc rsi, qword [rsp + 0x40]
add r8, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x98]
add r8, r15
adc rsi, rax
mov rax, rsi
shld rsi, r8, 0xd
shr rax, 0x33
add r9, qword [rsp + 0x38]
adc rcx, qword [rsp + 0x30]
add r9, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x78]
add r9, rsi
adc rcx, rax
mov rax, rcx
shld rcx, r9, 0xd
shr rax, 0x33
add r10, qword [rsp + 0x70]
adc r13, qword [rsp + 0x88]
add r10, qword [rsp + 0x50]
adc r13, qword [rsp + 0x90]
add r10, rcx
adc r13, rax
mov rax, r13
shld r13, r10, 0xd
shr rax, 0x33
add r12, qword [rsp + 0x80]
adc rdx, qword [rsp + 0x28]
add r12, rdi
adc rdx, r14
add r12, r13
adc rdx, rax
shld rdx, r12, 0xd
lea rax, [rdx + rdx*8]
lea rdi, [rdx + rax*2]
add rdi, rbx
mov rcx, r11
and r8, r11
mov rsi, rdi
shr rdi, 0x33
add rdi, r8
and r9, r11
and rsi, r11
mov rax, rsi
mul rsi
mov r8, rax
mov r11, rdx
and r12, rcx
imul rbx, r12, 0x26
mov rax, rdi
mul rbx
mov r15, rax
mov r13, rdx
and r10, rcx
imul rcx, r9, 0x26
mov rax, r10
mul rcx
mov rcx, rdx
add rax, r8
adc rcx, r11
add rax, r15
mov qword [rsp + 0x48], rax
adc rcx, r13
lea r15, [rsi + rsi]
mov rax, r15
mul rdi
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rbx
mul r9
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x40], rdx
lea rax, [r10 + r10*8]
lea rax, [r10 + rax*2]
mul r10
mov r11, rax
mov rsi, rdx
lea rax, [r12 + r12*8]
lea r13, [r12 + rax*2]
mov rax, r15
mul r9
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea r14, [rdi + rdi]
mov rax, rdi
mul rdi
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x38], rax
mov rax, rbx
mul r10
mov rbx, rdx
mov r8, rax
mov rax, r15
mul r10
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, r14
mul r9
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r13
mul r12
mov rdi, rdx
mov r13, rax
mov rax, r15
mul r12
mov r15, rdx
mov qword [rsp + 0x80], rax
mov rax, r14
mul r10
mov qword [rsp + 0x28], rdx
mov r12, rax
mov rax, r9
mul r9
mov r14, rax
mov rax, rcx
shr rax, 0x33
mov r10, qword [rsp + 0x48]
shld rcx, r10, 0xd
movabs r9, 0x7ffffffffffff
and r10, r9
add r11, qword [rsp + 0x60]
adc rsi, qword [rsp + 0x40]
add r11, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x98]
add r11, rcx
adc rsi, rax
mov rax, rsi
shld rsi, r11, 0xd
shr rax, 0x33
add r8, qword [rsp + 0x38]
adc rbx, qword [rsp + 0x30]
add r8, qword [rsp + 0x58]
adc rbx, qword [rsp + 0x78]
add r8, rsi
adc rbx, rax
mov rax, rbx
shld rbx, r8, 0xd
shr rax, 0x33
add r13, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x88]
add r13, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x90]
add r13, rbx
adc rdi, rax
mov rax, rdi
shld rdi, r13, 0xd
shr rax, 0x33
add r14, qword [rsp + 0x80]
adc rdx, r15
add r14, r12
adc rdx, qword [rsp + 0x28]
add r14, rdi
adc rdx, rax
shld rdx, r14, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r10
and r11, r9
mov rsi, rcx
shr rcx, 0x33
add rcx, r11
and r8, r9
and rsi, r9
mov rax, rsi
mul rsi
mov r10, rax
mov r11, rdx
and r14, r9
imul rdi, r14, 0x26
mov rax, rcx
mul rdi
mov r15, rax
mov r12, rdx
and r13, r9
imul rdx, r8, 0x26
mov rax, r13
mul rdx
mov rbx, rdx
mov r9, rax
add r9, r10
adc rbx, r11
add r9, r15
adc rbx, r12
lea r12, [rsi + rsi]
mov rax, r12
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rdi
mul r8
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r13
mov r10, rax
mov rsi, rdx
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mov qword [rsp + 0x28], rax
mov rax, r12
mul r8
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea r15, [rcx + rcx]
mov qword [rsp + 0x60], r15
mov rax, rcx
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rdi
mul r13
mov rcx, rdx
mov r11, rax
mov rax, r12
mul r13
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, r15
mul r8
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, qword [rsp + 0x28]
mul r14
mov rdi, rdx
mov r15, rax
mov rax, r12
mul r14
mov r12, rdx
mov qword [rsp + 0x80], rax
mov rax, qword [rsp + 0x60]
mul r13
mov qword [rsp + 0x28], rdx
mov r13, rax
mov rax, r8
mul r8
mov r14, rax
mov rax, rbx
shr rax, 0x33
shld rbx, r9, 0xd
movabs r8, 0x7ffffffffffff
and r9, r8
add r10, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x38]
add r10, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x98]
add r10, rbx
adc rsi, rax
mov rax, rsi
shld rsi, r10, 0xd
shr rax, 0x33
add r11, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add r11, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x78]
add r11, rsi
adc rcx, rax
mov rax, rcx
shld rcx, r11, 0xd
shr rax, 0x33
add r15, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x88]
add r15, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x90]
add r15, rcx
adc rdi, rax
mov rax, rdi
shld rdi, r15, 0xd
shr rax, 0x33
add r14, qword [rsp + 0x80]
adc rdx, r12
add r14, r13
adc rdx, qword [rsp + 0x28]
add r14, rdi
adc rdx, rax
shld rdx, r14, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r9
mov rbx, r8
and r10, r8
mov rsi, rcx
shr rcx, 0x33
add rcx, r10
and r11, r8
and rsi, r8
mov rax, rsi
mul rsi
mov r8, rax
mov r10, rdx
and r14, rbx
imul rdi, r14, 0x26
mov rax, rcx
mul rdi
mov r12, rax
mov r13, rdx
and r15, rbx
imul rdx, r11, 0x26
mov rax, r15
mul rdx
mov rbx, rdx
mov r9, rax
add r9, r8
adc rbx, r10
add r9, r12
adc rbx, r13
lea r12, [rsi + rsi]
mov rax, r12
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rdi
mul r11
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r15 + r15*8]
lea rax, [r15 + rax*2]
mul r15
mov r10, rax
mov rsi, rdx
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
mov qword [rsp + 0x28], rax
mov rax, r12
mul r11
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea r13, [rcx + rcx]
mov qword [rsp + 0x60], r13
mov rax, rcx
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, rdi
mul r15
mov rcx, rdx
mov r8, rax
mov rax, r12
mul r15
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rax, r13
mul r11
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, qword [rsp + 0x28]
mul r14
mov rdi, rdx
mov r13, rax
mov rax, r12
mul r14
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, qword [rsp + 0x60]
mul r15
mov r15, rdx
mov r14, rax
mov rax, r11
mul r11
mov r11, rax
mov rax, rbx
shr rax, 0x33
mov r12, r9
shld rbx, r9, 0xd
movabs r9, 0x7ffffffffffff
and r12, r9
add r10, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x38]
add r10, qword [rsp + 0x68]
adc rsi, qword [rsp + 0x98]
add r10, rbx
adc rsi, rax
mov rax, rsi
shld rsi, r10, 0xd
shr rax, 0x33
add r8, qword [rsp + 0x48]
adc rcx, qword [rsp + 0x30]
add r8, qword [rsp + 0x58]
adc rcx, qword [rsp + 0x78]
add r8, rsi
adc rcx, rax
mov rax, rcx
shld rcx, r8, 0xd
shr rax, 0x33
add r13, qword [rsp + 0x70]
adc rdi, qword [rsp + 0x88]
add r13, qword [rsp + 0x50]
adc rdi, qword [rsp + 0x90]
add r13, rcx
adc rdi, rax
mov rax, rdi
shld rdi, r13, 0xd
shr rax, 0x33
add r11, qword [rsp + 0x80]
adc rdx, qword [rsp + 0x28]
add r11, r14
adc rdx, r15
add r11, rdi
adc rdx, rax
shld rdx, r11, 0xd
lea rax, [rdx + rdx*8]
lea rcx, [rdx + rax*2]
add rcx, r12
and r10, r9
mov rbx, rcx
shr rcx, 0x33
add rcx, r10
and r8, r9
and rbx, r9
mov r10, r9
mov rax, rbx
mul rbx
mov rdi, rax
mov r9, rdx
and r11, r10
imul rsi, r11, 0x26
mov rax, rcx
mul rsi
mov r14, rax
mov r15, rdx
and r13, r10
imul rdx, r8, 0x26
mov rax, r13
mul rdx
mov r10, rdx
add rax, rdi
adc r10, r9
add rax, r14
mov qword [rsp + 0x48], rax
adc r10, r15
lea r9, [rbx + rbx]
mov rax, r9
mul rcx
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x68], rax
mov rax, rsi
mul r8
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x40], rdx
lea rax, [r13*8]
add rax, r13
lea rax, [rax*2]
add rax, r13
mul r13
mov r15, rax
mov rdi, rdx
lea rax, [r11 + r11*8]
lea r12, [r11 + rax*2]
mov rax, r9
mul r8
mov qword [rsp + 0x58], rax
mov qword [rsp + 0x78], rdx
lea rbx, [rcx + rcx]
mov rax, rcx
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x38], rax
mov rax, rsi
mul r13
mov rsi, rdx
mov r14, rax
mov rax, r9
mul r13
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x70], rax
mov rcx, rbx
mov rax, rbx
mul r8
mov qword [rsp + 0x90], rdx
mov qword [rsp + 0x50], rax
mov rax, r12
mul r11
mov rbx, rdx
mov r12, rax
mov rax, r9
mul r11
mov qword [rsp + 0x28], rdx
mov r11, rax
mov rax, rcx
mul r13
mov qword [rsp + 0x80], rdx
mov r13, rax
mov rax, r8
mul r8
mov rcx, rax
mov r8, r10
shr r8, 0x33
mov r9, qword [rsp + 0x48]
shld r10, r9, 0xd
movabs rax, 0x7ffffffffffff
and r9, rax
add r15, qword [rsp + 0x60]
adc rdi, qword [rsp + 0x40]
add r15, qword [rsp + 0x68]
adc rdi, qword [rsp + 0x98]
add r15, r10
adc rdi, r8
mov rax, rdi
shld rdi, r15, 0xd
shr rax, 0x33
add r14, qword [rsp + 0x38]
adc rsi, qword [rsp + 0x30]
add r14, qword [rsp + 0x58]
adc rsi, qword [rsp + 0x78]
add r14, rdi
adc rsi, rax
mov rax, rsi
shld rsi, r14, 0xd
shr rax, 0x33
add r12, qword [rsp + 0x70]
adc rbx, qword [rsp + 0x88]
add r12, qword [rsp + 0x50]
adc rbx, qword [rsp + 0x90]
add r12, rsi
adc rbx, rax
mov rax, rbx
shld rbx, r12, 0xd
shr rax, 0x33
add rcx, r11
adc rdx, qword [rsp + 0x28]
add rcx, r13
adc rdx, qword [rsp + 0x80]
add rcx, rbx
adc rdx, rax
shld rdx, rcx, 0xd
lea rax, [rdx + rdx*8]
lea r8, [rdx + rax*2]
add r8, r9
movabs rax, 0x7ffffffffffff
and r15, rax
mov r11, r8
shr r11, 0x33
add r11, r15
and r14, rax
and r12, rax
and rcx, rax
and r8, rax
mov rax, r8
mov rbx, qword [rsp + 0x120]
mul rbx
mov qword [rsp + 0xb8], rdx
mov qword [rsp + 0xa8], rax
mov rax, r11
mul rbx
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x68], rax
mov rax, r14
mul rbx
mov qword [rsp + 0x78], rdx
mov qword [rsp + 0x98], rax
mov rax, r12
mul rbx
mov rdi, rax
mov r9, rdx
lea rax, [rcx + rcx*8]
lea rsi, [rcx + rax*2]
mov rax, rcx
mul rbx
mov qword [rsp + 0x28], rdx
mov qword [rsp + 0x80], rax
mov rax, rsi
mov rbx, rsi
mov rcx, qword [rsp + 0x108]
mul rcx
mov qword [rsp + 0xe0], rdx
mov qword [rsp + 0x118], rax
mov rax, r8
mul rcx
mov qword [rsp + 0xe8], rdx
mov qword [rsp + 0xd8], rax
mov rax, r11
mul rcx
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x48], rax
mov rax, r14
mul rcx
add rax, rdi
mov qword [rsp + 0x70], rax
adc rdx, r9
mov qword [rsp + 0x50], rdx
lea rax, [r12 + r12*8]
lea rsi, [r12 + rax*2]
mov rax, r12
mul rcx
mov qword [rsp + 0x88], rdx
mov qword [rsp + 0x90], rax
mov rax, rsi
mov rcx, qword [rsp + 0x100]
mul rcx
mov qword [rsp + 0x138], rdx
mov r9, rax
mov rax, rbx
mov rdi, rbx
mul rcx
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0xa0], rax
mov rax, r8
mul rcx
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xc0], rax
mov rax, r11
mul rcx
mov qword [rsp + 0x40], rax
mov qword [rsp + 0x38], rdx
lea rax, [r14 + r14*8]
lea r10, [r14 + rax*2]
mov rax, r14
mul rcx
mov rbx, rdx
mov r12, rax
mov rax, r10
mov rcx, qword [rsp + 0xf8]
mul rcx
mov r13, rdx
mov r15, rax
mov rax, rsi
mul rcx
mov qword [rsp + 0x110], rdx
mov qword [rsp + 0x140], rax
mov rax, rdi
mov r14, rdi
mul rcx
mov qword [rsp + 0x120], rdx
mov qword [rsp + 0xd0], rax
mov rax, r8
mul rcx
mov qword [rsp + 0x100], rax
mov qword [rsp + 0xb0], rdx
lea rax, [r11 + r11*8]
lea rdi, [r11 + rax*2]
mov rax, r11
mul rcx
mov qword [rsp + 0x60], rdx
mov qword [rsp + 0xc8], rax
mov rax, rdi
mov rcx, qword [rsp + 0x148]
mul rcx
add r15, r9
adc r13, qword [rsp + 0x138]
add r15, qword [rsp + 0x118]
adc r13, qword [rsp + 0xe0]
add r15, qword [rsp + 0xa8]
adc r13, qword [rsp + 0xb8]
add r15, rax
adc r13, rdx
mov rax, r10
mul rcx
mov r10, rdx
mov r9, rax
mov rax, rsi
mul rcx
mov rdi, rdx
mov r11, rax
mov rax, r14
mul rcx
mov rsi, rdx
mov r14, rax
mov rax, r8
mul rcx
mov r8, r13
shr r8, 0x33
shld r13, r15, 0xd
movabs rcx, 0x7ffffffffffff
and r15, rcx
add r9, qword [rsp + 0x140]
adc r10, qword [rsp + 0x110]
add r9, qword [rsp + 0xa0]
adc r10, qword [rsp + 0x108]
add r9, qword [rsp + 0xd8]
adc r10, qword [rsp + 0xe8]
add r9, qword [rsp + 0x68]
adc r10, qword [rsp + 0x58]
add r9, r13
adc r10, r8
mov r8, r10
shld r10, r9, 0xd
shr r8, 0x33
add r11, qword [rsp + 0x98]
adc rdi, qword [rsp + 0x78]
add r11, qword [rsp + 0xd0]
adc rdi, qword [rsp + 0x120]
add r11, qword [rsp + 0xc0]
adc rdi, qword [rsp + 0xf0]
add r11, qword [rsp + 0x48]
adc rdi, qword [rsp + 0x30]
add r11, r10
adc rdi, r8
mov r8, rdi
shld rdi, r11, 0xd
shr r8, 0x33
add r14, qword [rsp + 0x70]
adc rsi, qword [rsp + 0x50]
add r14, qword [rsp + 0x100]
adc rsi, qword [rsp + 0xb0]
add r14, qword [rsp + 0x40]
adc rsi, qword [rsp + 0x38]
add r14, rdi
adc rsi, r8
mov rdi, rsi
shld rsi, r14, 0xd
shr rdi, 0x33
add r12, qword [rsp + 0x90]
adc rbx, qword [rsp + 0x88]
add r12, qword [rsp + 0x80]
adc rbx, qword [rsp + 0x28]
add r12, rax
adc rbx, rdx
add r12, qword [rsp + 0xc8]
adc rbx, qword [rsp + 0x60]
add r12, rsi
adc rbx, rdi
shld rbx, r12, 0xd
lea rax, [rbx + rbx*8]
lea rcx, [rbx + rax*2]
add rcx, r15
movabs rax, 0x7ffffffffffff
and r9, rax
mov rdi, rcx
shr rdi, 0x33
add rdi, r9
and rcx, rax
mov r10, rax
mov rax, rcx
mov rsi, qword [rsp + 0x158]
mul rsi
mov r15, rsi
mov qword [rsp + 0xd8], rdx
mov qword [rsp + 0xc0], rax
mov rax, rcx
mov r9, qword [rsp + 0x198]
mul r9
mov qword [rsp + 0x30], rdx
mov qword [rsp + 0x38], rax
mov rax, rcx
mov r8, qword [rsp + 0x150]
mul r8
mov qword [rsp + 0x58], rdx
mov qword [rsp + 0x50], rax
mov rax, rcx
mov rsi, qword [rsp + 0x190]
mul rsi
mov qword [rsp + 0x78], rax
mov qword [rsp + 0x90], rdx
mov rdx, qword [rsp + 0x1a0]
lea rax, [rdx + rdx*8]
lea rbx, [rdx + rax*2]
mov rax, rcx
mul rdx
mov qword [rsp + 0x1a0], rdx
mov qword [rsp + 0x28], rax
mov rax, rdi
mul rbx
mov qword [rsp + 0x148], rdx
mov qword [rsp + 0x100], rax
mov rax, rdi
mul r15
mov qword [rsp + 0xc8], rdx
mov qword [rsp + 0xe8], rax
mov rax, rdi
mul r9
mov qword [rsp + 0x68], rdx
mov qword [rsp + 0x48], rax
mov rax, rdi
mul r8
mov qword [rsp + 0x98], rdx
mov qword [rsp + 0x70], rax
mov rax, rdi
mul rsi
mov qword [rsp + 0x88], rax
mov qword [rsp + 0x80], rdx
lea rax, [rsi + rsi*8]
lea rsi, [rsi + rax*2]
and r11, r10
mov rax, r11
mul rsi
mov rdi, rsi
mov qword [rsp + 0xa0], rsi
mov qword [rsp + 0x108], rdx
mov qword [rsp + 0x120], rax
mov rax, r11
mov qword [rsp + 0xa8], rbx
mul rbx
mov qword [rsp + 0xb0], rdx
mov qword [rsp + 0xf8], rax
mov rax, r11
mul r15
mov rsi, r15
mov qword [rsp + 0xf0], rdx
mov qword [rsp + 0xb8], rax
mov rax, r11
mul r9
mov qword [rsp + 0x60], rax
mov qword [rsp + 0x40], rdx
lea rax, [r8 + r8*8]
lea rcx, [r8 + rax*2]
mov qword [rsp + 0xd0], rcx
mov rax, r11
mul r8
mov qword [rsp + 0x150], rax
mov qword [rsp + 0x190], rdx
and r14, r10
mov rax, r14
mul rcx
mov r10, rdx
mov r11, rax
mov rax, r14
mul rdi
mov r15, rdx
mov rdi, rax
mov rax, r14
mul rbx
mov r13, rdx
mov rcx, rax
mov rax, r14
mul rsi
mov r8, rdx
mov rsi, rax
mov rax, r14
mul r9
mov rbx, rax
mov r14, rdx
lea rax, [r9 + r9*8]
lea rdx, [r9 + rax*2]
movabs rax, 0x7ffffffffffff
and r12, rax
mov rax, r12
mul rdx
add r11, qword [rsp + 0x120]
adc r10, qword [rsp + 0x108]
add r11, rax
adc r10, rdx
add r11, qword [rsp + 0xc0]
adc r10, qword [rsp + 0xd8]
add r11, qword [rsp + 0x100]
adc r10, qword [rsp + 0x148]
mov rax, r12
mul qword [rsp + 0xd0]
mov qword [rsp + 0x100], rdx
mov qword [rsp + 0x108], rax
mov rax, r12
mul qword [rsp + 0xa0]
mov qword [rsp + 0xc0], rdx
mov qword [rsp + 0x148], rax
mov rax, r12
mul qword [rsp + 0xa8]
mov qword [rsp + 0x198], rdx
mov qword [rsp + 0xd8], rax
mov rax, r12
mul qword [rsp + 0x158]
mov r12, r10
shr r12, 0x33
shld r10, r11, 0xd
movabs r9, 0x7ffffffffffff
and r11, r9
add rdi, qword [rsp + 0xf8]
adc r15, qword [rsp + 0xb0]
add rdi, qword [rsp + 0x108]
adc r15, qword [rsp + 0x100]
add rdi, qword [rsp + 0x38]
adc r15, qword [rsp + 0x30]
add rdi, qword [rsp + 0xe8]
adc r15, qword [rsp + 0xc8]
add rdi, r10
adc r15, r12
mov r9, r15
shld r15, rdi, 0xd
shr r9, 0x33
add rcx, qword [rsp + 0xb8]
adc r13, qword [rsp + 0xf0]
add rcx, qword [rsp + 0x148]
adc r13, qword [rsp + 0xc0]
add rcx, qword [rsp + 0x50]
adc r13, qword [rsp + 0x58]
add rcx, qword [rsp + 0x48]
adc r13, qword [rsp + 0x68]
add rcx, r15
adc r13, r9
mov r9, r13
shld r13, rcx, 0xd
shr r9, 0x33
add rsi, qword [rsp + 0x60]
adc r8, qword [rsp + 0x40]
add rsi, qword [rsp + 0xd8]
adc r8, qword [rsp + 0x198]
add rsi, qword [rsp + 0x78]
adc r8, qword [rsp + 0x90]
add rsi, qword [rsp + 0x70]
adc r8, qword [rsp + 0x98]
add rsi, r13
adc r8, r9
mov r9, r8
shld r8, rsi, 0xd
shr r9, 0x33
add rbx, qword [rsp + 0x150]
adc r14, qword [rsp + 0x190]
add rbx, rax
adc r14, rdx
add rbx, qword [rsp + 0x28]
adc r14, qword [rsp + 0x1a0]
add rbx, qword [rsp + 0x88]
adc r14, qword [rsp + 0x80]
add rbx, r8
adc r14, r9
shld r14, rbx, 0xd
lea rax, [r14 + r14*8]
lea rax, [r14 + rax*2]
add rax, r11
movabs r15, 0x7ffffffffffff
and rdi, r15
and rcx, r15
and rsi, r15
and rbx, r15
mov r8, rax
and r8, r15
shr rax, 0x33
add rax, rdi
mov rdx, rax
shr rdx, 0x33
add rdx, rcx
and rax, r15
mov rdi, rdx
shr rdi, 0x33
add rdi, rsi
and rdx, r15
mov rcx, rdi
shr rcx, 0x33
add rcx, rbx
and rdi, r15
mov r9, rcx
and r9, r15
shr rcx, 0x33
lea rbx, [rcx + rcx*8]
lea r11, [rcx + rbx*2]
add r11, r8
mov rsi, r11
shr rsi, 0x33
add rsi, rax
and r11, r15
mov rax, rsi
shr rax, 0x33
add rax, rdx
and rsi, r15
mov rcx, rax
shr rcx, 0x33
add rcx, rdi
mov r10, rax
mov rbx, rcx
shr rbx, 0x33
add rbx, r9
mov rdx, rbx
shr rdx, 0x33
lea rdi, [rdx + rdx*8]
lea rdx, [rdx + rdi*2]
mov r14, rcx
add rdx, r11
mov r8, rdx
shr rdx, 0x33
add rdx, rsi
movabs r9, 0xfff8000000000000
or rax, r9
add rax, 1
shr rax, 0x3f
add rax, 0xffffffffffffffff
or rcx, r9
add rcx, 1
shr rcx, 0x3f
add rcx, 0xffffffffffffffff
and rcx, rax
mov rax, rbx
and r8, r15
or rbx, r9
add rbx, 1
shr rbx, 0x3f
add rbx, 0xffffffffffffffff
and rbx, rcx
mov rcx, rdx
xor rcx, r9
lea rsi, [r8 + r9]
add rsi, 0x13
shr rsi, 0x3f
add rsi, 0xffffffffffffffff
and rbx, rsi
add rcx, 1
shr rcx, 0x3f
add rcx, 0xffffffffffffffff
and rbx, rcx
lea rcx, [r15 - 0x12]
and rcx, rbx
sub r8, rcx
and r10, r15
and r14, r15
and rax, r15
and rbx, r15
sub rdx, rbx
sub r10, rbx
sub r14, rbx
sub rax, rbx
mov rcx, rdx
shl rcx, 0x33
or rcx, r8
mov rbx, r10
shl rbx, 0x26
shr rdx, 0xd
or rdx, rbx
mov rdi, r14
shl rdi, 0x19
shr r10, 0x1a
or r10, rdi
shl rax, 0xc
shr r14, 0x27
or r14, rax
mov rax, qword [rsp + 0x1f8]
mov qword [rax], rcx
mov qword [rax + 8], rdx
mov qword [rax + 0x10], r10
mov qword [rax + 0x18], r14
lea rcx, [rsp + 0x220]
mov edx, pe_nt_image_headers64
call fcn.140014430
lea rcx, [rsp + 0x200]
mov edx, 0x20
call fcn.140014430
lea rcx, [rsp + 0x2a0]
mov edx, 0x50
call fcn.140014430
nop
lea rsp, [rbp + 0x278]
pop rbx
pop rdi
pop rsi
pop r12
pop r13
pop r14
pop r15
pop rbp
ret