// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT-0
//
// Adapted for rscrypto from s2n-bignum:
// - x86_att/p384/p384_montjdouble_alt.S
//
// Public symbol is renamed and embedded with Rust global_asm!.

 .globl rscrypto_p384_montjdouble_alt
        .type rscrypto_p384_montjdouble_alt, %function
        .hidden rscrypto_p384_montjdouble_alt
        .text
        .balign 4
rscrypto_p384_montjdouble_alt:
        .cfi_startproc
        .byte 0xf3,0x0f,0x1e,0xfa
        pushq %rbx ; .cfi_adjust_cfa_offset 8 ; .cfi_rel_offset %rbx, 0
        pushq %rbp ; .cfi_adjust_cfa_offset 8 ; .cfi_rel_offset %rbp, 0
        pushq %r12 ; .cfi_adjust_cfa_offset 8 ; .cfi_rel_offset %r12, 0
        pushq %r13 ; .cfi_adjust_cfa_offset 8 ; .cfi_rel_offset %r13, 0
        pushq %r14 ; .cfi_adjust_cfa_offset 8 ; .cfi_rel_offset %r14, 0
        pushq %r15 ; .cfi_adjust_cfa_offset 8 ; .cfi_rel_offset %r15, 0
        subq $344, %rsp ; .cfi_adjust_cfa_offset 344
        movq %rdi, (48*7)(%rsp)
        movq (2*48)(%rsi), %rbx ; movq 0x8+(2*48)(%rsi), %rax ; mulq %rbx; movq %rax, %r9 ; movq %rdx, %r10 ; movq 0x18+(2*48)(%rsi), %rax ; mulq %rbx; movq %rax, %r11 ; movq %rdx, %r12 ; movq 0x28+(2*48)(%rsi), %rax ; mulq %rbx; movq %rax, %r13 ; movq %rdx, %r14 ; movq 0x18+(2*48)(%rsi), %rax ; mulq 0x20+(2*48)(%rsi); movq %rax, %r15 ; movq %rdx, %rcx ; movq 0x10+(2*48)(%rsi), %rbx ; movq (2*48)(%rsi), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x8+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbp, %rbp ; movq 0x8+(2*48)(%rsi), %rbx ; movq 0x18+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x20+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x28+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; adcq $0x0, %rcx ; movq 0x20+(2*48)(%rsi), %rbx ; movq (2*48)(%rsi), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x10+(2*48)(%rsi), %rbx ; movq 0x18+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x20+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x28+(2*48)(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r15 ; adcq %rdx, %rcx ; sbbq %rbp, %rbp ; xorl %ebx, %ebx ; movq 0x18+(2*48)(%rsi), %rax ; mulq 0x28+(2*48)(%rsi); subq %rbp, %rdx ; xorl %ebp, %ebp ; addq %rax, %rcx ; adcq %rdx, %rbx ; adcl %ebp, %ebp ; movq 0x20+(2*48)(%rsi), %rax ; mulq 0x28+(2*48)(%rsi); addq %rax, %rbx ; adcq %rdx, %rbp ; xorl %r8d, %r8d ; addq %r9, %r9 ; adcq %r10, %r10 ; adcq %r11, %r11 ; adcq %r12, %r12 ; adcq %r13, %r13 ; adcq %r14, %r14 ; adcq %r15, %r15 ; adcq %rcx, %rcx ; adcq %rbx, %rbx ; adcq %rbp, %rbp ; adcl %r8d, %r8d ; movq (2*48)(%rsi), %rax ; mulq %rax; movq %r8, (48*0)(%rsp) ; movq %rax, %r8 ; movq 0x8+(2*48)(%rsi), %rax ; movq %rbp, 0x8+(48*0)(%rsp) ; addq %rdx, %r9 ; sbbq %rbp, %rbp ; mulq %rax; negq %rbp; adcq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x10+(2*48)(%rsi), %rax ; mulq %rax; negq %rbp; adcq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x18+(2*48)(%rsi), %rax ; mulq %rax; negq %rbp; adcq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x20+(2*48)(%rsi), %rax ; mulq %rax; negq %rbp; adcq %rax, %rcx ; adcq %rdx, %rbx ; sbbq %rbp, %rbp ; movq 0x28+(2*48)(%rsi), %rax ; mulq %rax; negq %rbp; adcq 0x8+(48*0)(%rsp), %rax ; adcq (48*0)(%rsp), %rdx ; movq %rax, %rbp ; movq %rdx, %rdi ; movq %rbx, (48*0)(%rsp) ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r8 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r8, %r9 ; sbbq %rdx, %r10 ; sbbq %rax, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; movq %rbx, %r8 ; sbbq $0x0, %r8 ; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r9 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r9, %r10 ; sbbq %rdx, %r11 ; sbbq %rax, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r8 ; movq %rbx, %r9 ; sbbq $0x0, %r9 ; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r10 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r10, %r11 ; sbbq %rdx, %r12 ; sbbq %rax, %r13 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; movq %rbx, %r10 ; sbbq $0x0, %r10 ; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r11 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r11, %r12 ; sbbq %rdx, %r13 ; sbbq %rax, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; movq %rbx, %r11 ; sbbq $0x0, %r11 ; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r12 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r12, %r13 ; sbbq %rdx, %r8 ; sbbq %rax, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %r11 ; movq %rbx, %r12 ; sbbq $0x0, %r12 ; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r13 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r13, %r8 ; sbbq %rdx, %r9 ; sbbq %rax, %r10 ; sbbq $0x0, %r11 ; sbbq $0x0, %r12 ; movq %rbx, %r13 ; sbbq $0x0, %r13 ; movq (48*0)(%rsp), %rbx ; addq %r8, %r14 ; adcq %r9, %r15 ; adcq %r10, %rcx ; adcq %r11, %rbx ; adcq %r12, %rbp ; adcq %r13, %rdi ; movl $0x0, %r8d ; adcq %r8, %r8 ; xorq %r11, %r11 ; xorq %r12, %r12 ; xorq %r13, %r13 ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %r9d ; adcq %r15, %r9 ; movl $0x1, %r10d ; adcq %rcx, %r10 ; adcq %rbx, %r11 ; adcq %rbp, %r12 ; adcq %rdi, %r13 ; adcq $0x0, %r8 ; cmovneq %rax, %r14 ; cmovneq %r9, %r15 ; cmovneq %r10, %rcx ; cmovneq %r11, %rbx ; cmovneq %r12, %rbp ; cmovneq %r13, %rdi ; movq %r14, (48*0)(%rsp) ; movq %r15, 0x8+(48*0)(%rsp) ; movq %rcx, 0x10+(48*0)(%rsp) ; movq %rbx, 0x18+(48*0)(%rsp) ; movq %rbp, 0x20+(48*0)(%rsp) ; movq %rdi, 0x28+(48*0)(%rsp)
        movq 48(%rsi), %rbx ; movq 0x8+48(%rsi), %rax ; mulq %rbx; movq %rax, %r9 ; movq %rdx, %r10 ; movq 0x18+48(%rsi), %rax ; mulq %rbx; movq %rax, %r11 ; movq %rdx, %r12 ; movq 0x28+48(%rsi), %rax ; mulq %rbx; movq %rax, %r13 ; movq %rdx, %r14 ; movq 0x18+48(%rsi), %rax ; mulq 0x20+48(%rsi); movq %rax, %r15 ; movq %rdx, %rcx ; movq 0x10+48(%rsi), %rbx ; movq 48(%rsi), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x8+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbp, %rbp ; movq 0x8+48(%rsi), %rbx ; movq 0x18+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x20+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x28+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; adcq $0x0, %rcx ; movq 0x20+48(%rsi), %rbx ; movq 48(%rsi), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x10+48(%rsi), %rbx ; movq 0x18+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x20+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x28+48(%rsi), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r15 ; adcq %rdx, %rcx ; sbbq %rbp, %rbp ; xorl %ebx, %ebx ; movq 0x18+48(%rsi), %rax ; mulq 0x28+48(%rsi); subq %rbp, %rdx ; xorl %ebp, %ebp ; addq %rax, %rcx ; adcq %rdx, %rbx ; adcl %ebp, %ebp ; movq 0x20+48(%rsi), %rax ; mulq 0x28+48(%rsi); addq %rax, %rbx ; adcq %rdx, %rbp ; xorl %r8d, %r8d ; addq %r9, %r9 ; adcq %r10, %r10 ; adcq %r11, %r11 ; adcq %r12, %r12 ; adcq %r13, %r13 ; adcq %r14, %r14 ; adcq %r15, %r15 ; adcq %rcx, %rcx ; adcq %rbx, %rbx ; adcq %rbp, %rbp ; adcl %r8d, %r8d ; movq 48(%rsi), %rax ; mulq %rax; movq %r8, (48*1)(%rsp) ; movq %rax, %r8 ; movq 0x8+48(%rsi), %rax ; movq %rbp, 0x8+(48*1)(%rsp) ; addq %rdx, %r9 ; sbbq %rbp, %rbp ; mulq %rax; negq %rbp; adcq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x10+48(%rsi), %rax ; mulq %rax; negq %rbp; adcq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x18+48(%rsi), %rax ; mulq %rax; negq %rbp; adcq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x20+48(%rsi), %rax ; mulq %rax; negq %rbp; adcq %rax, %rcx ; adcq %rdx, %rbx ; sbbq %rbp, %rbp ; movq 0x28+48(%rsi), %rax ; mulq %rax; negq %rbp; adcq 0x8+(48*1)(%rsp), %rax ; adcq (48*1)(%rsp), %rdx ; movq %rax, %rbp ; movq %rdx, %rdi ; movq %rbx, (48*1)(%rsp) ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r8 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r8, %r9 ; sbbq %rdx, %r10 ; sbbq %rax, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; movq %rbx, %r8 ; sbbq $0x0, %r8 ; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r9 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r9, %r10 ; sbbq %rdx, %r11 ; sbbq %rax, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r8 ; movq %rbx, %r9 ; sbbq $0x0, %r9 ; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r10 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r10, %r11 ; sbbq %rdx, %r12 ; sbbq %rax, %r13 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; movq %rbx, %r10 ; sbbq $0x0, %r10 ; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r11 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r11, %r12 ; sbbq %rdx, %r13 ; sbbq %rax, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; movq %rbx, %r11 ; sbbq $0x0, %r11 ; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r12 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r12, %r13 ; sbbq %rdx, %r8 ; sbbq %rax, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %r11 ; movq %rbx, %r12 ; sbbq $0x0, %r12 ; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r13 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r13, %r8 ; sbbq %rdx, %r9 ; sbbq %rax, %r10 ; sbbq $0x0, %r11 ; sbbq $0x0, %r12 ; movq %rbx, %r13 ; sbbq $0x0, %r13 ; movq (48*1)(%rsp), %rbx ; addq %r8, %r14 ; adcq %r9, %r15 ; adcq %r10, %rcx ; adcq %r11, %rbx ; adcq %r12, %rbp ; adcq %r13, %rdi ; movl $0x0, %r8d ; adcq %r8, %r8 ; xorq %r11, %r11 ; xorq %r12, %r12 ; xorq %r13, %r13 ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %r9d ; adcq %r15, %r9 ; movl $0x1, %r10d ; adcq %rcx, %r10 ; adcq %rbx, %r11 ; adcq %rbp, %r12 ; adcq %rdi, %r13 ; adcq $0x0, %r8 ; cmovneq %rax, %r14 ; cmovneq %r9, %r15 ; cmovneq %r10, %rcx ; cmovneq %r11, %rbx ; cmovneq %r12, %rbp ; cmovneq %r13, %rdi ; movq %r14, (48*1)(%rsp) ; movq %r15, 0x8+(48*1)(%rsp) ; movq %rcx, 0x10+(48*1)(%rsp) ; movq %rbx, 0x18+(48*1)(%rsp) ; movq %rbp, 0x20+(48*1)(%rsp) ; movq %rdi, 0x28+(48*1)(%rsp)
        movq 0(%rsi), %rax ; addq (48*0)(%rsp), %rax ; movq 0x8+0(%rsi), %rcx ; adcq 0x8+(48*0)(%rsp), %rcx ; movq 0x10+0(%rsi), %r8 ; adcq 0x10+(48*0)(%rsp), %r8 ; movq 0x18+0(%rsi), %r9 ; adcq 0x18+(48*0)(%rsp), %r9 ; movq 0x20+0(%rsi), %r10 ; adcq 0x20+(48*0)(%rsp), %r10 ; movq 0x28+0(%rsi), %r11 ; adcq 0x28+(48*0)(%rsp), %r11 ; sbbq %rdx, %rdx ; movl $1, %ebx ; andq %rdx, %rbx ; movl $0xffffffff, %ebp ; andq %rbp, %rdx ; xorq %rbp, %rbp ; subq %rdx, %rbp ; addq %rbp, %rax ; movq %rax, (48*5)(%rsp) ; adcq %rdx, %rcx ; movq %rcx, 0x8+(48*5)(%rsp) ; adcq %rbx, %r8 ; movq %r8, 0x10+(48*5)(%rsp) ; adcq $0x0, %r9 ; movq %r9, 0x18+(48*5)(%rsp) ; adcq $0x0, %r10 ; movq %r10, 0x20+(48*5)(%rsp) ; adcq $0x0, %r11 ; movq %r11, 0x28+(48*5)(%rsp)
        movq 0(%rsi), %rax ; subq (48*0)(%rsp), %rax ; movq 0x8+0(%rsi), %rdx ; sbbq 0x8+(48*0)(%rsp), %rdx ; movq 0x10+0(%rsi), %r8 ; sbbq 0x10+(48*0)(%rsp), %r8 ; movq 0x18+0(%rsi), %r9 ; sbbq 0x18+(48*0)(%rsp), %r9 ; movq 0x20+0(%rsi), %r10 ; sbbq 0x20+(48*0)(%rsp), %r10 ; movq 0x28+0(%rsi), %r11 ; sbbq 0x28+(48*0)(%rsp), %r11 ; sbbq %rcx, %rcx ; movl $0xffffffff, %ebx ; andq %rbx, %rcx ; xorq %rbx, %rbx ; subq %rcx, %rbx ; subq %rbx, %rax ; movq %rax, (48*4)(%rsp) ; sbbq %rcx, %rdx ; movq %rdx, 0x8+(48*4)(%rsp) ; sbbq %rax, %rax ; andq %rbx, %rcx ; negq %rax; sbbq %rcx, %r8 ; movq %r8, 0x10+(48*4)(%rsp) ; sbbq $0x0, %r9 ; movq %r9, 0x18+(48*4)(%rsp) ; sbbq $0x0, %r10 ; movq %r10, 0x20+(48*4)(%rsp) ; sbbq $0x0, %r11 ; movq %r11, 0x28+(48*4)(%rsp)
        movq (48*4)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; movq %rax, %r8 ; movq %rdx, %r9 ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; xorl %r10d, %r10d ; addq %rax, %r9 ; adcq %rdx, %r10 ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rbx; xorl %r11d, %r11d ; addq %rax, %r10 ; adcq %rdx, %r11 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; xorl %r12d, %r12d ; addq %rax, %r11 ; adcq %rdx, %r12 ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; xorl %r13d, %r13d ; addq %rax, %r12 ; adcq %rdx, %r13 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; xorl %r14d, %r14d ; addq %rax, %r13 ; adcq %rdx, %r14 ; xorl %r15d, %r15d ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r8, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r9 ; sbbq %rdx, %r10 ; sbbq %rbp, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %rbx ; addq %rbx, %r14 ; adcq $0x0, %r15 ; movq 0x8+(48*4)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r8, %r8 ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r8, %r8 ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r8, %r8 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r8, %r8 ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r8, %r8 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r8, %r8 ; negq %r8; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r9, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r10 ; sbbq %rdx, %r11 ; sbbq %rbp, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r14 ; sbbq $0x0, %rbx ; addq %rbx, %r15 ; adcq $0x0, %r8 ; movq 0x10+(48*4)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r9, %r9 ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r9, %r9 ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r9, %r9 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r9, %r9 ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r9, %r9 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r9, %r9 ; negq %r9; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r10, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r11 ; sbbq %rdx, %r12 ; sbbq %rbp, %r13 ; sbbq $0x0, %r14 ; sbbq $0x0, %r15 ; sbbq $0x0, %rbx ; addq %rbx, %r8 ; adcq $0x0, %r9 ; movq 0x18+(48*4)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r10, %r10 ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r10, %r10 ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r10, %r10 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r10, %r10 ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r10, %r10 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r10, %r10 ; negq %r10; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r11, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r12 ; sbbq %rdx, %r13 ; sbbq %rbp, %r14 ; sbbq $0x0, %r15 ; sbbq $0x0, %r8 ; sbbq $0x0, %rbx ; addq %rbx, %r9 ; adcq $0x0, %r10 ; movq 0x20+(48*4)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r11, %r11 ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r11, %r11 ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r11, %r11 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r11, %r11 ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r11, %r11 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r11, %r11 ; negq %r11; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r12, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r13 ; sbbq %rdx, %r14 ; sbbq %rbp, %r15 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %rbx ; addq %rbx, %r10 ; adcq $0x0, %r11 ; movq 0x28+(48*4)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r12, %r12 ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r12, %r12 ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r12, %r12 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r12, %r12 ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r12, %r12 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r12, %r12 ; negq %r12; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r13, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r14 ; sbbq %rdx, %r15 ; sbbq %rbp, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %rbx ; addq %rbx, %r11 ; adcq $0x0, %r12 ; xorl %edx, %edx ; xorl %ebp, %ebp ; xorl %r13d, %r13d ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %ebx ; adcq %r15, %rbx ; movl $0x1, %ecx ; adcq %r8, %rcx ; adcq %r9, %rdx ; adcq %r10, %rbp ; adcq %r11, %r13 ; adcq $0x0, %r12 ; cmovneq %rax, %r14 ; cmovneq %rbx, %r15 ; cmovneq %rcx, %r8 ; cmovneq %rdx, %r9 ; cmovneq %rbp, %r10 ; cmovneq %r13, %r11 ; movq %r14, (48*2)(%rsp) ; movq %r15, 0x8+(48*2)(%rsp) ; movq %r8, 0x10+(48*2)(%rsp) ; movq %r9, 0x18+(48*2)(%rsp) ; movq %r10, 0x20+(48*2)(%rsp) ; movq %r11, 0x28+(48*2)(%rsp)
        movq 48(%rsi), %rax ; addq (2*48)(%rsi), %rax ; movq 0x8+48(%rsi), %rcx ; adcq 0x8+(2*48)(%rsi), %rcx ; movq 0x10+48(%rsi), %r8 ; adcq 0x10+(2*48)(%rsi), %r8 ; movq 0x18+48(%rsi), %r9 ; adcq 0x18+(2*48)(%rsi), %r9 ; movq 0x20+48(%rsi), %r10 ; adcq 0x20+(2*48)(%rsi), %r10 ; movq 0x28+48(%rsi), %r11 ; adcq 0x28+(2*48)(%rsi), %r11 ; movl $0x0, %edx ; adcq %rdx, %rdx ; movq $0xffffffff00000001, %rbp ; addq %rbp, %rax ; movl $0xffffffff, %ebp ; adcq %rbp, %rcx ; adcq $0x1, %r8 ; adcq $0x0, %r9 ; adcq $0x0, %r10 ; adcq $0x0, %r11 ; adcq $0xffffffffffffffff, %rdx ; movl $1, %ebx ; andq %rdx, %rbx ; andq %rbp, %rdx ; xorq %rbp, %rbp ; subq %rdx, %rbp ; subq %rbp, %rax ; movq %rax, (48*5)(%rsp) ; sbbq %rdx, %rcx ; movq %rcx, 0x8+(48*5)(%rsp) ; sbbq %rbx, %r8 ; movq %r8, 0x10+(48*5)(%rsp) ; sbbq $0x0, %r9 ; movq %r9, 0x18+(48*5)(%rsp) ; sbbq $0x0, %r10 ; movq %r10, 0x20+(48*5)(%rsp) ; sbbq $0x0, %r11 ; movq %r11, 0x28+(48*5)(%rsp)
        movq (48*2)(%rsp), %rbx ; movq 0x8+(48*2)(%rsp), %rax ; mulq %rbx; movq %rax, %r9 ; movq %rdx, %r10 ; movq 0x18+(48*2)(%rsp), %rax ; mulq %rbx; movq %rax, %r11 ; movq %rdx, %r12 ; movq 0x28+(48*2)(%rsp), %rax ; mulq %rbx; movq %rax, %r13 ; movq %rdx, %r14 ; movq 0x18+(48*2)(%rsp), %rax ; mulq 0x20+(48*2)(%rsp); movq %rax, %r15 ; movq %rdx, %rcx ; movq 0x10+(48*2)(%rsp), %rbx ; movq (48*2)(%rsp), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x8+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbp, %rbp ; movq 0x8+(48*2)(%rsp), %rbx ; movq 0x18+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x20+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x28+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; adcq $0x0, %rcx ; movq 0x20+(48*2)(%rsp), %rbx ; movq (48*2)(%rsp), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x10+(48*2)(%rsp), %rbx ; movq 0x18+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x20+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x28+(48*2)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r15 ; adcq %rdx, %rcx ; sbbq %rbp, %rbp ; xorl %ebx, %ebx ; movq 0x18+(48*2)(%rsp), %rax ; mulq 0x28+(48*2)(%rsp); subq %rbp, %rdx ; xorl %ebp, %ebp ; addq %rax, %rcx ; adcq %rdx, %rbx ; adcl %ebp, %ebp ; movq 0x20+(48*2)(%rsp), %rax ; mulq 0x28+(48*2)(%rsp); addq %rax, %rbx ; adcq %rdx, %rbp ; xorl %r8d, %r8d ; addq %r9, %r9 ; adcq %r10, %r10 ; adcq %r11, %r11 ; adcq %r12, %r12 ; adcq %r13, %r13 ; adcq %r14, %r14 ; adcq %r15, %r15 ; adcq %rcx, %rcx ; adcq %rbx, %rbx ; adcq %rbp, %rbp ; adcl %r8d, %r8d ; movq (48*2)(%rsp), %rax ; mulq %rax; movq %r8, (48*6)(%rsp) ; movq %rax, %r8 ; movq 0x8+(48*2)(%rsp), %rax ; movq %rbp, 0x8+(48*6)(%rsp) ; addq %rdx, %r9 ; sbbq %rbp, %rbp ; mulq %rax; negq %rbp; adcq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x10+(48*2)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x18+(48*2)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x20+(48*2)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %rcx ; adcq %rdx, %rbx ; sbbq %rbp, %rbp ; movq 0x28+(48*2)(%rsp), %rax ; mulq %rax; negq %rbp; adcq 0x8+(48*6)(%rsp), %rax ; adcq (48*6)(%rsp), %rdx ; movq %rax, %rbp ; movq %rdx, %rdi ; movq %rbx, (48*6)(%rsp) ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r8 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r8, %r9 ; sbbq %rdx, %r10 ; sbbq %rax, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; movq %rbx, %r8 ; sbbq $0x0, %r8 ; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r9 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r9, %r10 ; sbbq %rdx, %r11 ; sbbq %rax, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r8 ; movq %rbx, %r9 ; sbbq $0x0, %r9 ; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r10 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r10, %r11 ; sbbq %rdx, %r12 ; sbbq %rax, %r13 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; movq %rbx, %r10 ; sbbq $0x0, %r10 ; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r11 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r11, %r12 ; sbbq %rdx, %r13 ; sbbq %rax, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; movq %rbx, %r11 ; sbbq $0x0, %r11 ; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r12 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r12, %r13 ; sbbq %rdx, %r8 ; sbbq %rax, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %r11 ; movq %rbx, %r12 ; sbbq $0x0, %r12 ; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r13 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r13, %r8 ; sbbq %rdx, %r9 ; sbbq %rax, %r10 ; sbbq $0x0, %r11 ; sbbq $0x0, %r12 ; movq %rbx, %r13 ; sbbq $0x0, %r13 ; movq (48*6)(%rsp), %rbx ; addq %r8, %r14 ; adcq %r9, %r15 ; adcq %r10, %rcx ; adcq %r11, %rbx ; adcq %r12, %rbp ; adcq %r13, %rdi ; movl $0x0, %r8d ; adcq %r8, %r8 ; xorq %r11, %r11 ; xorq %r12, %r12 ; xorq %r13, %r13 ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %r9d ; adcq %r15, %r9 ; movl $0x1, %r10d ; adcq %rcx, %r10 ; adcq %rbx, %r11 ; adcq %rbp, %r12 ; adcq %rdi, %r13 ; adcq $0x0, %r8 ; cmovneq %rax, %r14 ; cmovneq %r9, %r15 ; cmovneq %r10, %rcx ; cmovneq %r11, %rbx ; cmovneq %r12, %rbp ; cmovneq %r13, %rdi ; movq %r14, (48*6)(%rsp) ; movq %r15, 0x8+(48*6)(%rsp) ; movq %rcx, 0x10+(48*6)(%rsp) ; movq %rbx, 0x18+(48*6)(%rsp) ; movq %rbp, 0x20+(48*6)(%rsp) ; movq %rdi, 0x28+(48*6)(%rsp)
        movq (48*1)(%rsp), %rbx ; movq 0(%rsi), %rax ; mulq %rbx; movq %rax, %r8 ; movq %rdx, %r9 ; movq 0x8+0(%rsi), %rax ; mulq %rbx; xorl %r10d, %r10d ; addq %rax, %r9 ; adcq %rdx, %r10 ; movq 0x10+0(%rsi), %rax ; mulq %rbx; xorl %r11d, %r11d ; addq %rax, %r10 ; adcq %rdx, %r11 ; movq 0x18+0(%rsi), %rax ; mulq %rbx; xorl %r12d, %r12d ; addq %rax, %r11 ; adcq %rdx, %r12 ; movq 0x20+0(%rsi), %rax ; mulq %rbx; xorl %r13d, %r13d ; addq %rax, %r12 ; adcq %rdx, %r13 ; movq 0x28+0(%rsi), %rax ; mulq %rbx; xorl %r14d, %r14d ; addq %rax, %r13 ; adcq %rdx, %r14 ; xorl %r15d, %r15d ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r8, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r9 ; sbbq %rdx, %r10 ; sbbq %rbp, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %rbx ; addq %rbx, %r14 ; adcq $0x0, %r15 ; movq 0x8+(48*1)(%rsp), %rbx ; movq 0(%rsi), %rax ; mulq %rbx; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r8, %r8 ; movq 0x8+0(%rsi), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r8, %r8 ; movq 0x10+0(%rsi), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r8, %r8 ; movq 0x18+0(%rsi), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r8, %r8 ; movq 0x20+0(%rsi), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r8, %r8 ; movq 0x28+0(%rsi), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r8, %r8 ; negq %r8; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r9, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r10 ; sbbq %rdx, %r11 ; sbbq %rbp, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r14 ; sbbq $0x0, %rbx ; addq %rbx, %r15 ; adcq $0x0, %r8 ; movq 0x10+(48*1)(%rsp), %rbx ; movq 0(%rsi), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r9, %r9 ; movq 0x8+0(%rsi), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r9, %r9 ; movq 0x10+0(%rsi), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r9, %r9 ; movq 0x18+0(%rsi), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r9, %r9 ; movq 0x20+0(%rsi), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r9, %r9 ; movq 0x28+0(%rsi), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r9, %r9 ; negq %r9; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r10, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r11 ; sbbq %rdx, %r12 ; sbbq %rbp, %r13 ; sbbq $0x0, %r14 ; sbbq $0x0, %r15 ; sbbq $0x0, %rbx ; addq %rbx, %r8 ; adcq $0x0, %r9 ; movq 0x18+(48*1)(%rsp), %rbx ; movq 0(%rsi), %rax ; mulq %rbx; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r10, %r10 ; movq 0x8+0(%rsi), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r10, %r10 ; movq 0x10+0(%rsi), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r10, %r10 ; movq 0x18+0(%rsi), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r10, %r10 ; movq 0x20+0(%rsi), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r10, %r10 ; movq 0x28+0(%rsi), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r10, %r10 ; negq %r10; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r11, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r12 ; sbbq %rdx, %r13 ; sbbq %rbp, %r14 ; sbbq $0x0, %r15 ; sbbq $0x0, %r8 ; sbbq $0x0, %rbx ; addq %rbx, %r9 ; adcq $0x0, %r10 ; movq 0x20+(48*1)(%rsp), %rbx ; movq 0(%rsi), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r11, %r11 ; movq 0x8+0(%rsi), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r11, %r11 ; movq 0x10+0(%rsi), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r11, %r11 ; movq 0x18+0(%rsi), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r11, %r11 ; movq 0x20+0(%rsi), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r11, %r11 ; movq 0x28+0(%rsi), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r11, %r11 ; negq %r11; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r12, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r13 ; sbbq %rdx, %r14 ; sbbq %rbp, %r15 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %rbx ; addq %rbx, %r10 ; adcq $0x0, %r11 ; movq 0x28+(48*1)(%rsp), %rbx ; movq 0(%rsi), %rax ; mulq %rbx; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r12, %r12 ; movq 0x8+0(%rsi), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r12, %r12 ; movq 0x10+0(%rsi), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r12, %r12 ; movq 0x18+0(%rsi), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r12, %r12 ; movq 0x20+0(%rsi), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r12, %r12 ; movq 0x28+0(%rsi), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r12, %r12 ; negq %r12; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r13, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r14 ; sbbq %rdx, %r15 ; sbbq %rbp, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %rbx ; addq %rbx, %r11 ; adcq $0x0, %r12 ; xorl %edx, %edx ; xorl %ebp, %ebp ; xorl %r13d, %r13d ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %ebx ; adcq %r15, %rbx ; movl $0x1, %ecx ; adcq %r8, %rcx ; adcq %r9, %rdx ; adcq %r10, %rbp ; adcq %r11, %r13 ; adcq $0x0, %r12 ; cmovneq %rax, %r14 ; cmovneq %rbx, %r15 ; cmovneq %rcx, %r8 ; cmovneq %rdx, %r9 ; cmovneq %rbp, %r10 ; cmovneq %r13, %r11 ; movq %r14, (48*3)(%rsp) ; movq %r15, 0x8+(48*3)(%rsp) ; movq %r8, 0x10+(48*3)(%rsp) ; movq %r9, 0x18+(48*3)(%rsp) ; movq %r10, 0x20+(48*3)(%rsp) ; movq %r11, 0x28+(48*3)(%rsp)
        movq (48*5)(%rsp), %rbx ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; movq %rax, %r9 ; movq %rdx, %r10 ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; movq %rax, %r11 ; movq %rdx, %r12 ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; movq %rax, %r13 ; movq %rdx, %r14 ; movq 0x18+(48*5)(%rsp), %rax ; mulq 0x20+(48*5)(%rsp); movq %rax, %r15 ; movq %rdx, %rcx ; movq 0x10+(48*5)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbp, %rbp ; movq 0x8+(48*5)(%rsp), %rbx ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; adcq $0x0, %rcx ; movq 0x20+(48*5)(%rsp), %rbx ; movq (48*5)(%rsp), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x10+(48*5)(%rsp), %rbx ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r15 ; adcq %rdx, %rcx ; sbbq %rbp, %rbp ; xorl %ebx, %ebx ; movq 0x18+(48*5)(%rsp), %rax ; mulq 0x28+(48*5)(%rsp); subq %rbp, %rdx ; xorl %ebp, %ebp ; addq %rax, %rcx ; adcq %rdx, %rbx ; adcl %ebp, %ebp ; movq 0x20+(48*5)(%rsp), %rax ; mulq 0x28+(48*5)(%rsp); addq %rax, %rbx ; adcq %rdx, %rbp ; xorl %r8d, %r8d ; addq %r9, %r9 ; adcq %r10, %r10 ; adcq %r11, %r11 ; adcq %r12, %r12 ; adcq %r13, %r13 ; adcq %r14, %r14 ; adcq %r15, %r15 ; adcq %rcx, %rcx ; adcq %rbx, %rbx ; adcq %rbp, %rbp ; adcl %r8d, %r8d ; movq (48*5)(%rsp), %rax ; mulq %rax; movq %r8, (48*4)(%rsp) ; movq %rax, %r8 ; movq 0x8+(48*5)(%rsp), %rax ; movq %rbp, 0x8+(48*4)(%rsp) ; addq %rdx, %r9 ; sbbq %rbp, %rbp ; mulq %rax; negq %rbp; adcq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %rcx ; adcq %rdx, %rbx ; sbbq %rbp, %rbp ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rax; negq %rbp; adcq 0x8+(48*4)(%rsp), %rax ; adcq (48*4)(%rsp), %rdx ; movq %rax, %rbp ; movq %rdx, %rdi ; movq %rbx, (48*4)(%rsp) ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r8 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r8, %r9 ; sbbq %rdx, %r10 ; sbbq %rax, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; movq %rbx, %r8 ; sbbq $0x0, %r8 ; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r9 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r9, %r10 ; sbbq %rdx, %r11 ; sbbq %rax, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r8 ; movq %rbx, %r9 ; sbbq $0x0, %r9 ; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r10 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r10, %r11 ; sbbq %rdx, %r12 ; sbbq %rax, %r13 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; movq %rbx, %r10 ; sbbq $0x0, %r10 ; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r11 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r11, %r12 ; sbbq %rdx, %r13 ; sbbq %rax, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; movq %rbx, %r11 ; sbbq $0x0, %r11 ; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r12 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r12, %r13 ; sbbq %rdx, %r8 ; sbbq %rax, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %r11 ; movq %rbx, %r12 ; sbbq $0x0, %r12 ; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r13 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r13, %r8 ; sbbq %rdx, %r9 ; sbbq %rax, %r10 ; sbbq $0x0, %r11 ; sbbq $0x0, %r12 ; movq %rbx, %r13 ; sbbq $0x0, %r13 ; movq (48*4)(%rsp), %rbx ; addq %r8, %r14 ; adcq %r9, %r15 ; adcq %r10, %rcx ; adcq %r11, %rbx ; adcq %r12, %rbp ; adcq %r13, %rdi ; movl $0x0, %r8d ; adcq %r8, %r8 ; xorq %r11, %r11 ; xorq %r12, %r12 ; xorq %r13, %r13 ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %r9d ; adcq %r15, %r9 ; movl $0x1, %r10d ; adcq %rcx, %r10 ; adcq %rbx, %r11 ; adcq %rbp, %r12 ; adcq %rdi, %r13 ; adcq $0x0, %r8 ; cmovneq %rax, %r14 ; cmovneq %r9, %r15 ; cmovneq %r10, %rcx ; cmovneq %r11, %rbx ; cmovneq %r12, %rbp ; cmovneq %r13, %rdi ; movq %r14, (48*4)(%rsp) ; movq %r15, 0x8+(48*4)(%rsp) ; movq %rcx, 0x10+(48*4)(%rsp) ; movq %rbx, 0x18+(48*4)(%rsp) ; movq %rbp, 0x20+(48*4)(%rsp) ; movq %rdi, 0x28+(48*4)(%rsp)
        movq $0x00000000ffffffff, %r9 ; subq (48*6)(%rsp), %r9 ; movq $0xffffffff00000000, %r10 ; sbbq 8+(48*6)(%rsp), %r10 ; movq $0xfffffffffffffffe, %r11 ; sbbq 16+(48*6)(%rsp), %r11 ; movq $0xffffffffffffffff, %r12 ; sbbq 24+(48*6)(%rsp), %r12 ; movq $0xffffffffffffffff, %r13 ; sbbq 32+(48*6)(%rsp), %r13 ; movq $0xffffffffffffffff, %r14 ; sbbq 40+(48*6)(%rsp), %r14 ; movq $9, %rcx ; movq %r9, %rax ; mulq %rcx; movq %rax, %r8 ; movq %rdx, %r9 ; movq %r10, %rax ; xorl %r10d, %r10d ; mulq %rcx; addq %rax, %r9 ; adcq %rdx, %r10 ; movq %r11, %rax ; xorl %r11d, %r11d ; mulq %rcx; addq %rax, %r10 ; adcq %rdx, %r11 ; movq %r12, %rax ; xorl %r12d, %r12d ; mulq %rcx; addq %rax, %r11 ; adcq %rdx, %r12 ; movq %r13, %rax ; xorl %r13d, %r13d ; mulq %rcx; addq %rax, %r12 ; adcq %rdx, %r13 ; movq %r14, %rax ; movl $1, %r14d ; mulq %rcx; addq %rax, %r13 ; adcq %rdx, %r14 ; movl $12, %ecx ; movq (48*3)(%rsp), %rax ; mulq %rcx; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %rbx, %rbx ; movq 0x8+(48*3)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %rbx, %rbx ; movq 0x10+(48*3)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbx, %rbx ; movq 0x18+(48*3)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbx, %rbx ; movq 0x20+(48*3)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbx, %rbx ; movq 0x28+(48*3)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; movq $0xffffffff00000001, %rax ; mulq %r14; addq %rax, %r8 ; adcq %rdx, %r9 ; adcq %r14, %r10 ; movq %r14, %rax ; sbbq %rcx, %rcx ; movl $0xffffffff, %edx ; negq %rcx; mulq %rdx; addq %rax, %r9 ; adcq %rdx, %r10 ; adcq %rcx, %r11 ; adcq $0x0, %r12 ; adcq $0x0, %r13 ; sbbq %rcx, %rcx ; notq %rcx; movl $0xffffffff, %edx ; xorq %rax, %rax ; andq %rcx, %rdx ; subq %rdx, %rax ; andq $0x1, %rcx ; subq %rax, %r8 ; movq %r8, (48*6)(%rsp) ; sbbq %rdx, %r9 ; movq %r9, 0x8+(48*6)(%rsp) ; sbbq %rcx, %r10 ; movq %r10, 0x10+(48*6)(%rsp) ; sbbq $0x0, %r11 ; movq %r11, 0x18+(48*6)(%rsp) ; sbbq $0x0, %r12 ; movq %r12, 0x20+(48*6)(%rsp) ; sbbq $0x0, %r13 ; movq %r13, 0x28+(48*6)(%rsp)
        movq (48*4)(%rsp), %rax ; subq (48*0)(%rsp), %rax ; movq 0x8+(48*4)(%rsp), %rdx ; sbbq 0x8+(48*0)(%rsp), %rdx ; movq 0x10+(48*4)(%rsp), %r8 ; sbbq 0x10+(48*0)(%rsp), %r8 ; movq 0x18+(48*4)(%rsp), %r9 ; sbbq 0x18+(48*0)(%rsp), %r9 ; movq 0x20+(48*4)(%rsp), %r10 ; sbbq 0x20+(48*0)(%rsp), %r10 ; movq 0x28+(48*4)(%rsp), %r11 ; sbbq 0x28+(48*0)(%rsp), %r11 ; sbbq %rcx, %rcx ; movl $0xffffffff, %ebx ; andq %rbx, %rcx ; xorq %rbx, %rbx ; subq %rcx, %rbx ; subq %rbx, %rax ; movq %rax, (48*5)(%rsp) ; sbbq %rcx, %rdx ; movq %rdx, 0x8+(48*5)(%rsp) ; sbbq %rax, %rax ; andq %rbx, %rcx ; negq %rax; sbbq %rcx, %r8 ; movq %r8, 0x10+(48*5)(%rsp) ; sbbq $0x0, %r9 ; movq %r9, 0x18+(48*5)(%rsp) ; sbbq $0x0, %r10 ; movq %r10, 0x20+(48*5)(%rsp) ; sbbq $0x0, %r11 ; movq %r11, 0x28+(48*5)(%rsp)
        movq (48*1)(%rsp), %rbx ; movq 0x8+(48*1)(%rsp), %rax ; mulq %rbx; movq %rax, %r9 ; movq %rdx, %r10 ; movq 0x18+(48*1)(%rsp), %rax ; mulq %rbx; movq %rax, %r11 ; movq %rdx, %r12 ; movq 0x28+(48*1)(%rsp), %rax ; mulq %rbx; movq %rax, %r13 ; movq %rdx, %r14 ; movq 0x18+(48*1)(%rsp), %rax ; mulq 0x20+(48*1)(%rsp); movq %rax, %r15 ; movq %rdx, %rcx ; movq 0x10+(48*1)(%rsp), %rbx ; movq (48*1)(%rsp), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x8+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbp, %rbp ; movq 0x8+(48*1)(%rsp), %rbx ; movq 0x18+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x20+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x28+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; adcq $0x0, %rcx ; movq 0x20+(48*1)(%rsp), %rbx ; movq (48*1)(%rsp), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x10+(48*1)(%rsp), %rbx ; movq 0x18+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %rbp, %rbp ; movq 0x20+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x28+(48*1)(%rsp), %rax ; mulq %rbx; subq %rbp, %rdx ; addq %rax, %r15 ; adcq %rdx, %rcx ; sbbq %rbp, %rbp ; xorl %ebx, %ebx ; movq 0x18+(48*1)(%rsp), %rax ; mulq 0x28+(48*1)(%rsp); subq %rbp, %rdx ; xorl %ebp, %ebp ; addq %rax, %rcx ; adcq %rdx, %rbx ; adcl %ebp, %ebp ; movq 0x20+(48*1)(%rsp), %rax ; mulq 0x28+(48*1)(%rsp); addq %rax, %rbx ; adcq %rdx, %rbp ; xorl %r8d, %r8d ; addq %r9, %r9 ; adcq %r10, %r10 ; adcq %r11, %r11 ; adcq %r12, %r12 ; adcq %r13, %r13 ; adcq %r14, %r14 ; adcq %r15, %r15 ; adcq %rcx, %rcx ; adcq %rbx, %rbx ; adcq %rbp, %rbp ; adcl %r8d, %r8d ; movq (48*1)(%rsp), %rax ; mulq %rax; movq %r8, (48*4)(%rsp) ; movq %rax, %r8 ; movq 0x8+(48*1)(%rsp), %rax ; movq %rbp, 0x8+(48*4)(%rsp) ; addq %rdx, %r9 ; sbbq %rbp, %rbp ; mulq %rax; negq %rbp; adcq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbp, %rbp ; movq 0x10+(48*1)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbp, %rbp ; movq 0x18+(48*1)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %rbp, %rbp ; movq 0x20+(48*1)(%rsp), %rax ; mulq %rax; negq %rbp; adcq %rax, %rcx ; adcq %rdx, %rbx ; sbbq %rbp, %rbp ; movq 0x28+(48*1)(%rsp), %rax ; mulq %rax; negq %rbp; adcq 0x8+(48*4)(%rsp), %rax ; adcq (48*4)(%rsp), %rdx ; movq %rax, %rbp ; movq %rdx, %rdi ; movq %rbx, (48*4)(%rsp) ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r8 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r8, %r9 ; sbbq %rdx, %r10 ; sbbq %rax, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; movq %rbx, %r8 ; sbbq $0x0, %r8 ; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r9 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r9, %r10 ; sbbq %rdx, %r11 ; sbbq %rax, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r8 ; movq %rbx, %r9 ; sbbq $0x0, %r9 ; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r10 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r10, %r11 ; sbbq %rdx, %r12 ; sbbq %rax, %r13 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; movq %rbx, %r10 ; sbbq $0x0, %r10 ; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r11 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r11, %r12 ; sbbq %rdx, %r13 ; sbbq %rax, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; movq %rbx, %r11 ; sbbq $0x0, %r11 ; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r12 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r12, %r13 ; sbbq %rdx, %r8 ; sbbq %rax, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %r11 ; movq %rbx, %r12 ; sbbq $0x0, %r12 ; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %rax, %r13 ; movl $0x0, %eax ; adcq %rbx, %rdx ; adcl %eax, %eax ; subq %r13, %r8 ; sbbq %rdx, %r9 ; sbbq %rax, %r10 ; sbbq $0x0, %r11 ; sbbq $0x0, %r12 ; movq %rbx, %r13 ; sbbq $0x0, %r13 ; movq (48*4)(%rsp), %rbx ; addq %r8, %r14 ; adcq %r9, %r15 ; adcq %r10, %rcx ; adcq %r11, %rbx ; adcq %r12, %rbp ; adcq %r13, %rdi ; movl $0x0, %r8d ; adcq %r8, %r8 ; xorq %r11, %r11 ; xorq %r12, %r12 ; xorq %r13, %r13 ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %r9d ; adcq %r15, %r9 ; movl $0x1, %r10d ; adcq %rcx, %r10 ; adcq %rbx, %r11 ; adcq %rbp, %r12 ; adcq %rdi, %r13 ; adcq $0x0, %r8 ; cmovneq %rax, %r14 ; cmovneq %r9, %r15 ; cmovneq %r10, %rcx ; cmovneq %r11, %rbx ; cmovneq %r12, %rbp ; cmovneq %r13, %rdi ; movq %r14, (48*4)(%rsp) ; movq %r15, 0x8+(48*4)(%rsp) ; movq %rcx, 0x10+(48*4)(%rsp) ; movq %rbx, 0x18+(48*4)(%rsp) ; movq %rbp, 0x20+(48*4)(%rsp) ; movq %rdi, 0x28+(48*4)(%rsp)
        movq (48*7)(%rsp), %rdi
        movq (48*5)(%rsp), %rax ; subq (48*1)(%rsp), %rax ; movq 0x8+(48*5)(%rsp), %rdx ; sbbq 0x8+(48*1)(%rsp), %rdx ; movq 0x10+(48*5)(%rsp), %r8 ; sbbq 0x10+(48*1)(%rsp), %r8 ; movq 0x18+(48*5)(%rsp), %r9 ; sbbq 0x18+(48*1)(%rsp), %r9 ; movq 0x20+(48*5)(%rsp), %r10 ; sbbq 0x20+(48*1)(%rsp), %r10 ; movq 0x28+(48*5)(%rsp), %r11 ; sbbq 0x28+(48*1)(%rsp), %r11 ; sbbq %rcx, %rcx ; movl $0xffffffff, %ebx ; andq %rbx, %rcx ; xorq %rbx, %rbx ; subq %rcx, %rbx ; subq %rbx, %rax ; movq %rax, (2*48)(%rdi) ; sbbq %rcx, %rdx ; movq %rdx, 0x8+(2*48)(%rdi) ; sbbq %rax, %rax ; andq %rbx, %rcx ; negq %rax; sbbq %rcx, %r8 ; movq %r8, 0x10+(2*48)(%rdi) ; sbbq $0x0, %r9 ; movq %r9, 0x18+(2*48)(%rdi) ; sbbq $0x0, %r10 ; movq %r10, 0x20+(2*48)(%rdi) ; sbbq $0x0, %r11 ; movq %r11, 0x28+(2*48)(%rdi)
        movq (48*2)(%rsp), %rbx ; movq (48*6)(%rsp), %rax ; mulq %rbx; movq %rax, %r8 ; movq %rdx, %r9 ; movq 0x8+(48*6)(%rsp), %rax ; mulq %rbx; xorl %r10d, %r10d ; addq %rax, %r9 ; adcq %rdx, %r10 ; movq 0x10+(48*6)(%rsp), %rax ; mulq %rbx; xorl %r11d, %r11d ; addq %rax, %r10 ; adcq %rdx, %r11 ; movq 0x18+(48*6)(%rsp), %rax ; mulq %rbx; xorl %r12d, %r12d ; addq %rax, %r11 ; adcq %rdx, %r12 ; movq 0x20+(48*6)(%rsp), %rax ; mulq %rbx; xorl %r13d, %r13d ; addq %rax, %r12 ; adcq %rdx, %r13 ; movq 0x28+(48*6)(%rsp), %rax ; mulq %rbx; xorl %r14d, %r14d ; addq %rax, %r13 ; adcq %rdx, %r14 ; xorl %r15d, %r15d ; movq %r8, %rbx ; shlq $0x20, %rbx ; addq %r8, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r8 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r8, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r9 ; sbbq %rdx, %r10 ; sbbq %rbp, %r11 ; sbbq $0x0, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %rbx ; addq %rbx, %r14 ; adcq $0x0, %r15 ; movq 0x8+(48*2)(%rsp), %rbx ; movq (48*6)(%rsp), %rax ; mulq %rbx; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r8, %r8 ; movq 0x8+(48*6)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r8, %r8 ; movq 0x10+(48*6)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r8, %r8 ; movq 0x18+(48*6)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r8, %r8 ; movq 0x20+(48*6)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r8, %r8 ; movq 0x28+(48*6)(%rsp), %rax ; mulq %rbx; subq %r8, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r8, %r8 ; negq %r8; movq %r9, %rbx ; shlq $0x20, %rbx ; addq %r9, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r9 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r9, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r10 ; sbbq %rdx, %r11 ; sbbq %rbp, %r12 ; sbbq $0x0, %r13 ; sbbq $0x0, %r14 ; sbbq $0x0, %rbx ; addq %rbx, %r15 ; adcq $0x0, %r8 ; movq 0x10+(48*2)(%rsp), %rbx ; movq (48*6)(%rsp), %rax ; mulq %rbx; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r9, %r9 ; movq 0x8+(48*6)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r9, %r9 ; movq 0x10+(48*6)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r9, %r9 ; movq 0x18+(48*6)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r9, %r9 ; movq 0x20+(48*6)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r9, %r9 ; movq 0x28+(48*6)(%rsp), %rax ; mulq %rbx; subq %r9, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r9, %r9 ; negq %r9; movq %r10, %rbx ; shlq $0x20, %rbx ; addq %r10, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r10 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r10, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r11 ; sbbq %rdx, %r12 ; sbbq %rbp, %r13 ; sbbq $0x0, %r14 ; sbbq $0x0, %r15 ; sbbq $0x0, %rbx ; addq %rbx, %r8 ; adcq $0x0, %r9 ; movq 0x18+(48*2)(%rsp), %rbx ; movq (48*6)(%rsp), %rax ; mulq %rbx; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %r10, %r10 ; movq 0x8+(48*6)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r10, %r10 ; movq 0x10+(48*6)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r10, %r10 ; movq 0x18+(48*6)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r10, %r10 ; movq 0x20+(48*6)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r10, %r10 ; movq 0x28+(48*6)(%rsp), %rax ; mulq %rbx; subq %r10, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r10, %r10 ; negq %r10; movq %r11, %rbx ; shlq $0x20, %rbx ; addq %r11, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r11 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r11, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r12 ; sbbq %rdx, %r13 ; sbbq %rbp, %r14 ; sbbq $0x0, %r15 ; sbbq $0x0, %r8 ; sbbq $0x0, %rbx ; addq %rbx, %r9 ; adcq $0x0, %r10 ; movq 0x20+(48*2)(%rsp), %rbx ; movq (48*6)(%rsp), %rax ; mulq %rbx; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %r11, %r11 ; movq 0x8+(48*6)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r11, %r11 ; movq 0x10+(48*6)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r11, %r11 ; movq 0x18+(48*6)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r11, %r11 ; movq 0x20+(48*6)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r11, %r11 ; movq 0x28+(48*6)(%rsp), %rax ; mulq %rbx; subq %r11, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r11, %r11 ; negq %r11; movq %r12, %rbx ; shlq $0x20, %rbx ; addq %r12, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r12 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r12, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r13 ; sbbq %rdx, %r14 ; sbbq %rbp, %r15 ; sbbq $0x0, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %rbx ; addq %rbx, %r10 ; adcq $0x0, %r11 ; movq 0x28+(48*2)(%rsp), %rbx ; movq (48*6)(%rsp), %rax ; mulq %rbx; addq %rax, %r13 ; adcq %rdx, %r14 ; sbbq %r12, %r12 ; movq 0x8+(48*6)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r14 ; adcq %rdx, %r15 ; sbbq %r12, %r12 ; movq 0x10+(48*6)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r15 ; adcq %rdx, %r8 ; sbbq %r12, %r12 ; movq 0x18+(48*6)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %r12, %r12 ; movq 0x20+(48*6)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %r12, %r12 ; movq 0x28+(48*6)(%rsp), %rax ; mulq %rbx; subq %r12, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %r12, %r12 ; negq %r12; movq %r13, %rbx ; shlq $0x20, %rbx ; addq %r13, %rbx ; xorl %ebp, %ebp ; movq $0xffffffff00000001, %rax ; mulq %rbx; movq %rdx, %r13 ; movq $0xffffffff, %rax ; mulq %rbx; addq %r13, %rax ; adcq %rbx, %rdx ; adcl %ebp, %ebp ; subq %rax, %r14 ; sbbq %rdx, %r15 ; sbbq %rbp, %r8 ; sbbq $0x0, %r9 ; sbbq $0x0, %r10 ; sbbq $0x0, %rbx ; addq %rbx, %r11 ; adcq $0x0, %r12 ; xorl %edx, %edx ; xorl %ebp, %ebp ; xorl %r13d, %r13d ; movq $0xffffffff00000001, %rax ; addq %r14, %rax ; movl $0xffffffff, %ebx ; adcq %r15, %rbx ; movl $0x1, %ecx ; adcq %r8, %rcx ; adcq %r9, %rdx ; adcq %r10, %rbp ; adcq %r11, %r13 ; adcq $0x0, %r12 ; cmovneq %rax, %r14 ; cmovneq %rbx, %r15 ; cmovneq %rcx, %r8 ; cmovneq %rdx, %r9 ; cmovneq %rbp, %r10 ; cmovneq %r13, %r11 ; movq %r14, (48*5)(%rsp) ; movq %r15, 0x8+(48*5)(%rsp) ; movq %r8, 0x10+(48*5)(%rsp) ; movq %r9, 0x18+(48*5)(%rsp) ; movq %r10, 0x20+(48*5)(%rsp) ; movq %r11, 0x28+(48*5)(%rsp)
        movq 40+(48*3)(%rsp), %rcx ; movq %rcx, %r13 ; shrq $62, %rcx ; movq 32+(48*3)(%rsp), %r12 ; shldq $2, %r12, %r13 ; movq 24+(48*3)(%rsp), %r11 ; shldq $2, %r11, %r12 ; movq 16+(48*3)(%rsp), %r10 ; shldq $2, %r10, %r11 ; movq 8+(48*3)(%rsp), %r9 ; shldq $2, %r9, %r10 ; movq (48*3)(%rsp), %r8 ; shldq $2, %r8, %r9 ; shlq $2, %r8 ; addq $1, %rcx ; subq (48*6)(%rsp), %r8 ; sbbq 0x8+(48*6)(%rsp), %r9 ; sbbq 0x10+(48*6)(%rsp), %r10 ; sbbq 0x18+(48*6)(%rsp), %r11 ; sbbq 0x20+(48*6)(%rsp), %r12 ; sbbq 0x28+(48*6)(%rsp), %r13 ; sbbq $0, %rcx ; movq $0xffffffff00000001, %rax ; mulq %rcx; addq %rax, %r8 ; adcq %rdx, %r9 ; adcq %rcx, %r10 ; movq %rcx, %rax ; sbbq %rcx, %rcx ; movl $0xffffffff, %edx ; negq %rcx; mulq %rdx; addq %rax, %r9 ; adcq %rdx, %r10 ; adcq %rcx, %r11 ; adcq $0x0, %r12 ; adcq $0x0, %r13 ; sbbq %rcx, %rcx ; notq %rcx; movl $0xffffffff, %edx ; xorq %rax, %rax ; andq %rcx, %rdx ; subq %rdx, %rax ; andq $0x1, %rcx ; subq %rax, %r8 ; movq %r8, 0(%rdi) ; sbbq %rdx, %r9 ; movq %r9, 0x8+0(%rdi) ; sbbq %rcx, %r10 ; movq %r10, 0x10+0(%rdi) ; sbbq $0x0, %r11 ; movq %r11, 0x18+0(%rdi) ; sbbq $0x0, %r12 ; movq %r12, 0x20+0(%rdi) ; sbbq $0x0, %r13 ; movq %r13, 0x28+0(%rdi)
        movq $0x00000000ffffffff, %r8 ; subq (48*4)(%rsp), %r8 ; movq $0xffffffff00000000, %r9 ; sbbq 8+(48*4)(%rsp), %r9 ; movq $0xfffffffffffffffe, %r10 ; sbbq 16+(48*4)(%rsp), %r10 ; movq $0xffffffffffffffff, %r11 ; sbbq 24+(48*4)(%rsp), %r11 ; movq $0xffffffffffffffff, %r12 ; sbbq 32+(48*4)(%rsp), %r12 ; movq $0xffffffffffffffff, %r13 ; sbbq 40+(48*4)(%rsp), %r13 ; movq %r13, %r14 ; shrq $61, %r14 ; shldq $3, %r12, %r13 ; shldq $3, %r11, %r12 ; shldq $3, %r10, %r11 ; shldq $3, %r9, %r10 ; shldq $3, %r8, %r9 ; shlq $3, %r8 ; addq $1, %r14 ; movl $3, %ecx ; movq (48*5)(%rsp), %rax ; mulq %rcx; addq %rax, %r8 ; adcq %rdx, %r9 ; sbbq %rbx, %rbx ; movq 0x8+(48*5)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r9 ; adcq %rdx, %r10 ; sbbq %rbx, %rbx ; movq 0x10+(48*5)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r10 ; adcq %rdx, %r11 ; sbbq %rbx, %rbx ; movq 0x18+(48*5)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r11 ; adcq %rdx, %r12 ; sbbq %rbx, %rbx ; movq 0x20+(48*5)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r12 ; adcq %rdx, %r13 ; sbbq %rbx, %rbx ; movq 0x28+(48*5)(%rsp), %rax ; mulq %rcx; subq %rbx, %rdx ; addq %rax, %r13 ; adcq %rdx, %r14 ; movq $0xffffffff00000001, %rax ; mulq %r14; addq %rax, %r8 ; adcq %rdx, %r9 ; adcq %r14, %r10 ; movq %r14, %rax ; sbbq %rcx, %rcx ; movl $0xffffffff, %edx ; negq %rcx; mulq %rdx; addq %rax, %r9 ; adcq %rdx, %r10 ; adcq %rcx, %r11 ; adcq $0x0, %r12 ; adcq $0x0, %r13 ; sbbq %rcx, %rcx ; notq %rcx; movl $0xffffffff, %edx ; xorq %rax, %rax ; andq %rcx, %rdx ; subq %rdx, %rax ; andq $0x1, %rcx ; subq %rax, %r8 ; movq %r8, 48(%rdi) ; sbbq %rdx, %r9 ; movq %r9, 0x8+48(%rdi) ; sbbq %rcx, %r10 ; movq %r10, 0x10+48(%rdi) ; sbbq $0x0, %r11 ; movq %r11, 0x18+48(%rdi) ; sbbq $0x0, %r12 ; movq %r12, 0x20+48(%rdi) ; sbbq $0x0, %r13 ; movq %r13, 0x28+48(%rdi)
        addq $344, %rsp ; .cfi_adjust_cfa_offset -344
        popq %r15 ; .cfi_adjust_cfa_offset -8 ; .cfi_restore %r15
        popq %r14 ; .cfi_adjust_cfa_offset -8 ; .cfi_restore %r14
        popq %r13 ; .cfi_adjust_cfa_offset -8 ; .cfi_restore %r13
        popq %r12 ; .cfi_adjust_cfa_offset -8 ; .cfi_restore %r12
        popq %rbp ; .cfi_adjust_cfa_offset -8 ; .cfi_restore %rbp
        popq %rbx ; .cfi_adjust_cfa_offset -8 ; .cfi_restore %rbx
        retq ; .cfi_endproc
.size rscrypto_p384_montjdouble_alt, .-rscrypto_p384_montjdouble_alt
