Quelle  mp_comba_amd64_sun.s   Sprache: Sparc

//* TomsFastMath, a fast ISO C bignum library.
/ * 
/ * This project is meant to fill in where LibTomMath
/ * falls short.  That is speed ;-)
/ *
/ * This project is public domain and free for all purposes.
/ * 
/ * Tom St Denis, tomstdenis@iahu.ca
/ */

//*
/ * The source file from which this assembly was derived
/ * comes from TFM v0.03, which has the above license.
/ * This source was compiled with an unnamed compiler at
/ * the highest optimization level.  Afterwards, the
/ * trailing .section was removed because it causes errors
/ * in the Studio 10 compiler on AMD 64.
/ */

        .file "mp_comba.c"
 .text
 .align 16
.globl s_mp_mul_comba_4
 .type s_mp_mul_comba_4, @function
s_mp_mul_comba_4:
.LFB2:
 pushq %r12
.LCFI0:
 pushq %rbp
.LCFI1:
 pushq %rbx
.LCFI2:
 movq 16(%rdi), %r9
 movq %rdx, %rbx
 movq 16(%rsi), %rdx
 movq (%r9), %rax
 movq %rax, -64(%rsp)
 movq 8(%r9), %r8
 movq %r8, -56(%rsp)
 movq 16(%r9), %rbp
 movq %rbp, -48(%rsp)
 movq 24(%r9), %r12
 movq %r12, -40(%rsp)
 movq (%rdx), %rcx
 movq %rcx, -32(%rsp)
 movq 8(%rdx), %r10
 movq %r10, -24(%rsp)
 movq 16(%rdx), %r11
 xorl %r10d, %r10d
 movq %r10, %r8
 movq %r10, %r9
 movq %r10, %rbp
 movq %r11, -16(%rsp)
 movq 16(%rbx), %r11
 movq 24(%rdx), %rax
 movq %rax, -8(%rsp)
/APP
 movq  -64(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rbp        
 
/NO_APP
 movq %r8, (%r11)
 movq %rbp, %r8
 movq %r10, %rbp
/APP
 movq  -64(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r9     
 adcq  %rdx,%r8     
 adcq  $0,%rbp        
 
/NO_APP
 movq %rbp, %r12
/APP
 movq  -56(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r9     
 adcq  %rdx,%r8     
 adcq  $0,%r12        
 
/NO_APP
 movq %r9, 8(%r11)
 movq %r12, %r9
 movq %r10, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%r12        
 
/NO_APP
 movq %r12, %rcx
/APP
 movq  -56(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -48(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 16(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -64(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -40(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 24(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -56(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -40(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 32(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -48(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r8, %r12
 movq %r9, %rbp
/APP
 movq  -40(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 40(%r11)
 movq %rbp, %r8
 movq %r12, %rcx
/APP
 movq  -40(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rcx     
 adcq  $0,%r10        
 
/NO_APP
 movq %r8, 48(%r11)
 movl (%rsi), %esi
 xorl (%rdi), %esi
 testq %rcx, %rcx
 movq %rcx, 56(%r11)
 movl $8, 8(%rbx)
 jne .L9
 .align 16
.L18:
 movl 8(%rbx), %edx
 leal -1(%rdx), %edi
 testl %edi, %edi
 movl %edi, 8(%rbx)
 je .L9
 leal -2(%rdx), %r10d
 cmpq $0, (%r11,%r10,8)
 je .L18
.L9:
 movl 8(%rbx), %edx
 xorl %r11d, %r11d
 testl %edx, %edx
 cmovne %esi, %r11d
 movl %r11d, (%rbx)
 popq %rbx
 popq %rbp
 popq %r12
 ret
.LFE2:
 .size s_mp_mul_comba_4, .-s_mp_mul_comba_4
 .align 16
.globl s_mp_mul_comba_8
 .type s_mp_mul_comba_8, @function
s_mp_mul_comba_8:
.LFB3:
 pushq %r12
.LCFI3:
 pushq %rbp
.LCFI4:
 pushq %rbx
.LCFI5:
 movq %rdx, %rbx
 subq $8, %rsp
.LCFI6:
 movq 16(%rdi), %rdx
 movq (%rdx), %r8
 movq %r8, -120(%rsp)
 movq 8(%rdx), %rbp
 movq %rbp, -112(%rsp)
 movq 16(%rdx), %r9
 movq %r9, -104(%rsp)
 movq 24(%rdx), %r12
 movq %r12, -96(%rsp)
 movq 32(%rdx), %rcx
 movq %rcx, -88(%rsp)
 movq 40(%rdx), %r10
 movq %r10, -80(%rsp)
 movq 48(%rdx), %r11
 movq %r11, -72(%rsp)
 movq 56(%rdx), %rax
 movq 16(%rsi), %rdx
 movq %rax, -64(%rsp)
 movq (%rdx), %r8
 movq %r8, -56(%rsp)
 movq 8(%rdx), %rbp
 movq %rbp, -48(%rsp)
 movq 16(%rdx), %r9
 movq %r9, -40(%rsp)
 movq 24(%rdx), %r12
 movq %r12, -32(%rsp)
 movq 32(%rdx), %rcx
 movq %rcx, -24(%rsp)
 movq 40(%rdx), %r10
 movq %r10, -16(%rsp)
 movq 48(%rdx), %r11
 xorl %r10d, %r10d
 movq %r10, %r8
 movq %r10, %r9
 movq %r10, %rbp
 movq %r11, -8(%rsp)
 movq 16(%rbx), %r11
 movq 56(%rdx), %rax
 movq %rax, (%rsp)
/APP
 movq  -120(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rbp        
 
/NO_APP
 movq %r8, (%r11)
 movq %rbp, %r8
 movq %r10, %rbp
/APP
 movq  -120(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%r9     
 adcq  %rdx,%r8     
 adcq  $0,%rbp        
 
/NO_APP
 movq %rbp, %r12
/APP
 movq  -112(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%r9     
 adcq  %rdx,%r8     
 adcq  $0,%r12        
 
/NO_APP
 movq %r9, 8(%r11)
 movq %r12, %r9
 movq %r10, %r12
/APP
 movq  -120(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%r12        
 
/NO_APP
 movq %r12, %rcx
/APP
 movq  -112(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -104(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 16(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -96(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 24(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -88(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 32(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -80(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 40(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -72(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 48(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 56(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -112(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 64(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -104(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 72(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -96(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 80(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -88(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 88(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -80(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  -16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 96(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -72(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r8, %r12
 movq %r9, %rbp
/APP
 movq  -64(%rsp),%rax     
 mulq  -8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 104(%r11)
 movq %rbp, %r8
 movq %r12, %rcx
/APP
 movq  -64(%rsp),%rax     
 mulq  (%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rcx     
 adcq  $0,%r10        
 
/NO_APP
 movq %r8, 112(%r11)
 movl (%rsi), %esi
 xorl (%rdi), %esi
 testq %rcx, %rcx
 movq %rcx, 120(%r11)
 movl $16, 8(%rbx)
 jne .L35
 .align 16
.L43:
 movl 8(%rbx), %edx
 leal -1(%rdx), %edi
 testl %edi, %edi
 movl %edi, 8(%rbx)
 je .L35
 leal -2(%rdx), %eax
 cmpq $0, (%r11,%rax,8)
 je .L43
.L35:
 movl 8(%rbx), %r11d
 xorl %edx, %edx
 testl %r11d, %r11d
 cmovne %esi, %edx
 movl %edx, (%rbx)
 addq $8, %rsp
 popq %rbx
 popq %rbp
 popq %r12
 ret
.LFE3:
 .size s_mp_mul_comba_8, .-s_mp_mul_comba_8
 .align 16
.globl s_mp_mul_comba_16
 .type s_mp_mul_comba_16, @function
s_mp_mul_comba_16:
.LFB4:
 pushq %r12
.LCFI7:
 pushq %rbp
.LCFI8:
 pushq %rbx
.LCFI9:
 movq %rdx, %rbx
 subq $136, %rsp
.LCFI10:
 movq 16(%rdi), %rax
 movq (%rax), %r8
 movq %r8, -120(%rsp)
 movq 8(%rax), %rbp
 movq %rbp, -112(%rsp)
 movq 16(%rax), %r9
 movq %r9, -104(%rsp)
 movq 24(%rax), %r12
 movq %r12, -96(%rsp)
 movq 32(%rax), %rcx
 movq %rcx, -88(%rsp)
 movq 40(%rax), %r10
 movq %r10, -80(%rsp)
 movq 48(%rax), %rdx
 movq %rdx, -72(%rsp)
 movq 56(%rax), %r11
 movq %r11, -64(%rsp)
 movq 64(%rax), %r8
 movq %r8, -56(%rsp)
 movq 72(%rax), %rbp
 movq %rbp, -48(%rsp)
 movq 80(%rax), %r9
 movq %r9, -40(%rsp)
 movq 88(%rax), %r12
 movq %r12, -32(%rsp)
 movq 96(%rax), %rcx
 movq %rcx, -24(%rsp)
 movq 104(%rax), %r10
 movq %r10, -16(%rsp)
 movq 112(%rax), %rdx
 movq %rdx, -8(%rsp)
 movq 120(%rax), %r11
 movq %r11, (%rsp)
 movq 16(%rsi), %r11
 movq (%r11), %r8
 movq %r8, 8(%rsp)
 movq 8(%r11), %rbp
 movq %rbp, 16(%rsp)
 movq 16(%r11), %r9
 movq %r9, 24(%rsp)
 movq 24(%r11), %r12
 movq %r12, 32(%rsp)
 movq 32(%r11), %rcx
 movq %rcx, 40(%rsp)
 movq 40(%r11), %r10
 movq %r10, 48(%rsp)
 movq 48(%r11), %rdx
 movq %rdx, 56(%rsp)
 movq 56(%r11), %rax
 movq %rax, 64(%rsp)
 movq 64(%r11), %r8
 movq %r8, 72(%rsp)
 movq 72(%r11), %rbp
 movq %rbp, 80(%rsp)
 movq 80(%r11), %r9
 movq %r9, 88(%rsp)
 movq 88(%r11), %r12
 movq %r12, 96(%rsp)
 movq 96(%r11), %rcx
 movq %rcx, 104(%rsp)
 movq 104(%r11), %r10
 movq %r10, 112(%rsp)
 movq 112(%r11), %rdx
 xorl %r10d, %r10d
 movq %r10, %r8
 movq %r10, %r9
 movq %r10, %rbp
 movq %rdx, 120(%rsp)
 movq 120(%r11), %rax
 movq %rax, 128(%rsp)
 movq 16(%rbx), %r11
/APP
 movq  -120(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rbp        
 
/NO_APP
 movq %r8, (%r11)
 movq %rbp, %r8
 movq %r10, %rbp
/APP
 movq  -120(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r9     
 adcq  %rdx,%r8     
 adcq  $0,%rbp        
 
/NO_APP
 movq %rbp, %r12
/APP
 movq  -112(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r9     
 adcq  %rdx,%r8     
 adcq  $0,%r12        
 
/NO_APP
 movq %r9, 8(%r11)
 movq %r12, %r9
 movq %r10, %r12
/APP
 movq  -120(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%r12        
 
/NO_APP
 movq %r12, %rcx
/APP
 movq  -112(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -104(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 16(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -96(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 24(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -88(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 32(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -80(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 40(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -72(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 48(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -64(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 56(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -56(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 64(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -48(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 72(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -40(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 80(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -32(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 88(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -24(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 96(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  -16(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 104(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -120(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -112(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  -8(%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 112(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -120(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -112(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -104(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  8(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 120(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -112(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -104(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -96(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  16(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 128(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -104(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -96(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -88(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  24(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 136(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -96(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -88(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -80(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  32(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 144(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -88(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -80(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -72(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  40(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 152(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -80(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -72(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -64(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  48(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 160(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -72(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -64(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -56(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  56(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 168(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -64(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -56(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -48(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  64(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 176(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -56(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -48(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -40(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  72(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 184(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -48(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -40(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -32(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  80(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 192(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -40(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -32(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -24(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  88(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 200(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -32(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -24(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -16(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  96(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 208(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -24(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -16(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
 movq  -8(%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r9, %rbp
 movq %r8, %r12
/APP
 movq  (%rsp),%rax     
 mulq  104(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 216(%r11)
 movq %r12, %r9
 movq %rbp, %r8
 movq %r10, %rcx
/APP
 movq  -16(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
 movq  -8(%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%r9     
 adcq  $0,%rcx        
 
/NO_APP
 movq %r9, %rbp
 movq %rcx, %r12
/APP
 movq  (%rsp),%rax     
 mulq  112(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %r8, 224(%r11)
 movq %r12, %r9
 movq %rbp, %rcx
 movq %r10, %r8
/APP
 movq  -8(%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r9     
 adcq  $0,%r8        
 
/NO_APP
 movq %r8, %r12
 movq %r9, %rbp
/APP
 movq  (%rsp),%rax     
 mulq  120(%rsp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rbp     
 adcq  $0,%r12        
 
/NO_APP
 movq %rcx, 232(%r11)
 movq %rbp, %r8
 movq %r12, %rcx
/APP
 movq  (%rsp),%rax     
 mulq  128(%rsp)           
 addq  %rax,%r8     
 adcq  %rdx,%rcx     
 adcq  $0,%r10        
 
/NO_APP
 movq %r8, 240(%r11)
 movl (%rsi), %esi
 xorl (%rdi), %esi
 testq %rcx, %rcx
 movq %rcx, 248(%r11)
 movl $32, 8(%rbx)
 jne .L76
 .align 16
.L84:
 movl 8(%rbx), %edx
 leal -1(%rdx), %edi
 testl %edi, %edi
 movl %edi, 8(%rbx)
 je .L76
 leal -2(%rdx), %eax
 cmpq $0, (%r11,%rax,8)
 je .L84
.L76:
 movl 8(%rbx), %edx
 xorl %r11d, %r11d
 testl %edx, %edx
 cmovne %esi, %r11d
 movl %r11d, (%rbx)
 addq $136, %rsp
 popq %rbx
 popq %rbp
 popq %r12
 ret
.LFE4:
 .size s_mp_mul_comba_16, .-s_mp_mul_comba_16
 .align 16
.globl s_mp_mul_comba_32
 .type s_mp_mul_comba_32, @function
s_mp_mul_comba_32:
.LFB5:
 pushq %rbp
.LCFI11:
 movq %rsp, %rbp
.LCFI12:
 pushq %r13
.LCFI13:
 movq %rdx, %r13
 movl $256, %edx
 pushq %r12
.LCFI14:
 movq %rsi, %r12
 pushq %rbx
.LCFI15:
 movq %rdi, %rbx
 subq $520, %rsp
.LCFI16:
 movq 16(%rdi), %rsi
 leaq -544(%rbp), %rdi
 call memcpy@PLT
 movq 16(%r12), %rsi
 leaq -288(%rbp), %rdi
 movl $256, %edx
 call memcpy@PLT
 movq 16(%r13), %r9
 xorl %r8d, %r8d
 movq %r8, %rsi
 movq %r8, %rdi
 movq %r8, %r10
/APP
 movq  -544(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%r10        
 
/NO_APP
 movq %rsi, (%r9)
 movq %r10, %rsi
 movq %r8, %r10
/APP
 movq  -544(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rdi     
 adcq  %rdx,%rsi     
 adcq  $0,%r10        
 
/NO_APP
 movq %r10, %r11
/APP
 movq  -536(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rdi     
 adcq  %rdx,%rsi     
 adcq  $0,%r11        
 
/NO_APP
 movq %rdi, 8(%r9)
 movq %r11, %rdi
 movq %r8, %r11
/APP
 movq  -544(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%r11        
 
/NO_APP
 movq %r11, %rcx
/APP
 movq  -536(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
/NO_APP
 movq %rdi, %r10
 movq %rcx, %r11
/APP
 movq  -528(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rsi, 16(%r9)
 movq %r11, %rdi
 movq %r10, %rcx
 movq %r8, %rsi
/APP
 movq  -544(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -536(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -528(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
/NO_APP
 movq %rdi, %r10
 movq %rsi, %r11
/APP
 movq  -520(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rcx, 24(%r9)
 movq %r11, %rdi
 movq %r10, %rsi
 movq %r8, %rcx
/APP
 movq  -544(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -536(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -528(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -520(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
/NO_APP
 movq %rdi, %r10
 movq %rcx, %r11
/APP
 movq  -512(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rsi, 32(%r9)
 movq %r11, %rdi
 movq %r10, %rcx
 movq %r8, %rsi
/APP
 movq  -544(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -536(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -528(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -520(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -512(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
/NO_APP
 movq %rdi, %r10
 movq %rsi, %r11
/APP
 movq  -504(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rcx, 40(%r9)
 movq %r11, %rdi
 movq %r10, %rsi
 movq %r8, %rcx
/APP
 movq  -544(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -536(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -528(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -520(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -512(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -504(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
/NO_APP
 movq %rdi, %r10
 movq %rcx, %r11
/APP
 movq  -496(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rsi, 48(%r9)
 movq %r11, %rdi
 movq %r10, %rcx
 movq %r8, %rsi
/APP
 movq  -544(%rbp),%rax     
 mulq  -232(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -536(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -528(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -520(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -512(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -504(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -496(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
/NO_APP
 movq %rdi, %r10
 movq %rsi, %r11
/APP
 movq  -488(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rcx, 56(%r9)
 movq %r11, %rdi
 movq %r10, %rsi
 movq %r8, %rcx
/APP
 movq  -544(%rbp),%rax     
 mulq  -224(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -536(%rbp),%rax     
 mulq  -232(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -528(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -520(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -512(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -504(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -496(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -488(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
/NO_APP
 movq %rdi, %r10
 movq %rcx, %r11
/APP
 movq  -480(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rsi, 64(%r9)
 movq %r11, %rdi
 movq %r10, %rcx
 movq %r8, %rsi
/APP
 movq  -544(%rbp),%rax     
 mulq  -216(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -536(%rbp),%rax     
 mulq  -224(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -528(%rbp),%rax     
 mulq  -232(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -520(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -512(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -504(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -496(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -488(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -480(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
/NO_APP
 movq %rdi, %r10
 movq %rsi, %r11
/APP
 movq  -472(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rcx, 72(%r9)
 movq %r11, %rdi
 movq %r10, %rsi
 movq %r8, %rcx
/APP
 movq  -544(%rbp),%rax     
 mulq  -208(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -536(%rbp),%rax     
 mulq  -216(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -528(%rbp),%rax     
 mulq  -224(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -520(%rbp),%rax     
 mulq  -232(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -512(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -504(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -496(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -488(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -480(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -472(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
/NO_APP
 movq %rdi, %r10
 movq %rcx, %r11
/APP
 movq  -464(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rsi, 80(%r9)
 movq %r11, %rdi
 movq %r10, %rcx
 movq %r8, %rsi
/APP
 movq  -544(%rbp),%rax     
 mulq  -200(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -536(%rbp),%rax     
 mulq  -208(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -528(%rbp),%rax     
 mulq  -216(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -520(%rbp),%rax     
 mulq  -224(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -512(%rbp),%rax     
 mulq  -232(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -504(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -496(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -488(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -480(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -472(%rbp),%rax     
 mulq  -272(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
 movq  -464(%rbp),%rax     
 mulq  -280(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%rdi     
 adcq  $0,%rsi        
 
/NO_APP
 movq %rdi, %r10
 movq %rsi, %r11
/APP
 movq  -456(%rbp),%rax     
 mulq  -288(%rbp)           
 addq  %rax,%rcx     
 adcq  %rdx,%r10     
 adcq  $0,%r11        
 
/NO_APP
 movq %rcx, 88(%r9)
 movq %r11, %rdi
 movq %r10, %rsi
 movq %r8, %rcx
/APP
 movq  -544(%rbp),%rax     
 mulq  -192(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -536(%rbp),%rax     
 mulq  -200(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -528(%rbp),%rax     
 mulq  -208(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -520(%rbp),%rax     
 mulq  -216(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -512(%rbp),%rax     
 mulq  -224(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -504(%rbp),%rax     
 mulq  -232(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -496(%rbp),%rax     
 mulq  -240(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -488(%rbp),%rax     
 mulq  -248(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -480(%rbp),%rax     
 mulq  -256(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
 
 movq  -472(%rbp),%rax     
 mulq  -264(%rbp)           
 addq  %rax,%rsi     
 adcq  %rdx,%rdi     
 adcq  $0,%rcx        
--> --------------------

--> maximum size reached

--> --------------------