//* 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     
	m…