Given the following C code and unoptimized assembly code, your task is to generate highly optimized x86-64 assembly code.
C Code:

```c
#include<stdio.h>
#include<stdlib.h>
#define ll long long
#define rep(i,l,r)for(ll i=(l);i<(r);i++)
#define M 1000000007

ll x[100010],y[100010];
ll n,m;
int main(){
	scanf("%lld%lld",&n,&m);
	rep(i,0,n)scanf("%lld",x+i);
	rep(i,0,m)scanf("%lld",y+i);

	ll xx=0,yy=0;
	rep(i,1,n)xx=(xx+(x[i]-x[i-1])*i%M*(n-i)%M)%M;
	rep(i,1,m)yy=(yy+(y[i]-y[i-1])*i%M*(m-i)%M)%M;
	
	printf("%lld\n",xx*yy%M);
	return 0;
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	x
	.bss
	.align 32
	.type	x, @object
	.size	x, 800080
x:
	.zero	800080
	.globl	y
	.align 32
	.type	y, @object
	.size	y, 800080
y:
	.zero	800080
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.section	.rodata
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld"
.LC2:
	.string	"%lld\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$48, %rsp
	leaq	m(%rip), %rax
	movq	%rax, %rdx
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movq	$0, -48(%rbp)
	jmp	.L2
.L3:
	movq	-48(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	x(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addq	$1, -48(%rbp)
.L2:
	movq	n(%rip), %rax
	cmpq	%rax, -48(%rbp)
	jl	.L3
	movq	$0, -40(%rbp)
	jmp	.L4
.L5:
	movq	-40(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	y(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addq	$1, -40(%rbp)
.L4:
	movq	m(%rip), %rax
	cmpq	%rax, -40(%rbp)
	jl	.L5
	movq	$0, -32(%rbp)
	movq	$0, -24(%rbp)
	movq	$1, -16(%rbp)
	jmp	.L6
.L7:
	movq	-16(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	x(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-16(%rbp), %rdx
	subq	$1, %rdx
	leaq	0(,%rdx,8), %rcx
	leaq	x(%rip), %rdx
	movq	(%rcx,%rdx), %rdx
	subq	%rdx, %rax
	imulq	-16(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	n(%rip), %rdx
	subq	-16(%rbp), %rdx
	imulq	%rdx, %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	-32(%rbp), %rdx
	leaq	(%rax,%rdx), %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	movq	%rax, -32(%rbp)
	movq	-32(%rbp), %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, -32(%rbp)
	addq	$1, -16(%rbp)
.L6:
	movq	n(%rip), %rax
	cmpq	%rax, -16(%rbp)
	jl	.L7
	movq	$1, -8(%rbp)
	jmp	.L8
.L9:
	movq	-8(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	y(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-8(%rbp), %rdx
	subq	$1, %rdx
	leaq	0(,%rdx,8), %rcx
	leaq	y(%rip), %rdx
	movq	(%rcx,%rdx), %rdx
	subq	%rdx, %rax
	imulq	-8(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	m(%rip), %rdx
	subq	-8(%rbp), %rdx
	imulq	%rdx, %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	-24(%rbp), %rdx
	leaq	(%rax,%rdx), %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	movq	%rax, -24(%rbp)
	movq	-24(%rbp), %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, -24(%rbp)
	addq	$1, -8(%rbp)
.L8:
	movq	m(%rip), %rax
	cmpq	%rax, -8(%rbp)
	jl	.L9
	movq	-32(%rbp), %rax
	imulq	-24(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
```

Only output the optimized assembly code. Do not include any other text. Do not write any comments in the assembly code. Wrap the assembly code in ```assembly``` tags.
user
	.file	"temp.c"
	.text
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld"
.LC2:
	.string	"%lld\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB39:
	.cfi_startproc
	endbr64
	pushq	%r14
	.cfi_def_cfa_offset 16
	.cfi_offset 14, -16
	xorl	%eax, %eax
	leaq	m(%rip), %rdx
	leaq	n(%rip), %rsi
	pushq	%r13
	.cfi_def_cfa_offset 24
	.cfi_offset 13, -24
	leaq	.LC0(%rip), %rdi
	pushq	%r12
	.cfi_def_cfa_offset 32
	.cfi_offset 12, -32
	pushq	%rbp
	.cfi_def_cfa_offset 40
	.cfi_offset 6, -40
	pushq	%rbx
	.cfi_def_cfa_offset 48
	.cfi_offset 3, -48
	call	__isoc99_scanf@PLT
	cmpq	$0, n(%rip)
	jle	.L2
	leaq	x(%rip), %rbp
	xorl	%ebx, %ebx
	leaq	.LC1(%rip), %r12
	.p2align 4,,10
	.p2align 3
.L3:
	movq	%rbp, %rsi
	xorl	%eax, %eax
	movq	%r12, %rdi
	addq	$1, %rbx
	call	__isoc99_scanf@PLT
	addq	$8, %rbp
	cmpq	%rbx, n(%rip)
	jg	.L3
.L2:
	movq	m(%rip), %r9
	testq	%r9, %r9
	jle	.L4
	leaq	y(%rip), %rbp
	xorl	%ebx, %ebx
	leaq	.LC1(%rip), %r12
	.p2align 4,,10
	.p2align 3
.L5:
	movq	%rbp, %rsi
	movq	%r12, %rdi
	xorl	%eax, %eax
	addq	$1, %rbx
	call	__isoc99_scanf@PLT
	movq	m(%rip), %r9
	addq	$8, %rbp
	cmpq	%rbx, %r9
	jg	.L5
.L4:
	movq	n(%rip), %r10
	cmpq	$1, %r10
	jle	.L14
	cmpq	$3, %r10
	jle	.L15
	leaq	-4(%r10), %rdi
	movl	$1, %r8d
	leaq	-1(%r10), %rbp
	xorl	%esi, %esi
	andq	$-2, %rdi
	leaq	x(%rip), %r11
	movq	x(%rip), %r13
	movabsq	$-8543223828751151131, %rbx
	addq	$3, %rdi
	leaq	8(%r11), %r12
.L8:
	movq	(%r11,%r8,8), %r14
	movq	%r14, %rcx
	subq	%r13, %rcx
	movq	(%r12,%r8,8), %r13
	imulq	%r8, %rcx
	movq	%rcx, %rax
	imulq	%rbx
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r10, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%rbx
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	leaq	1(%r8), %rax
	addq	%rsi, %rcx
	movq	%r13, %rsi
	subq	%r14, %rsi
	imulq	%rax, %rsi
	movq	%rsi, %rax
	imulq	%rbx
	movq	%rsi, %rax
	sarq	$63, %rax
	addq	%rsi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%rbp, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rsi
	imulq	%rax, %rsi
	movq	%rsi, %rax
	imulq	%rbx
	leaq	(%rdx,%rsi), %rax
	movq	%rsi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	addq	$2, %r8
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rsi
	movq	%rcx, %rax
	imulq	%rbx
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	addq	%rsi, %rcx
	movq	%rcx, %rax
	imulq	%rbx
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rax
	movq	%rcx, %rsi
	subq	%rax, %rsi
	cmpq	%rdi, %r8
	jne	.L8
.L7:
	leaq	-8+x(%rip), %rbx
	movabsq	$-8543223828751151131, %r8
	.p2align 4,,10
	.p2align 3
.L9:
	movq	(%r11,%rdi,8), %rcx
	subq	(%rbx,%rdi,8), %rcx
	imulq	%rdi, %rcx
	movq	%rcx, %rax
	imulq	%r8
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r10, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%rdi, %rax
	addq	$1, %rdi
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%r8
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rcx
	addq	%rsi, %rcx
	movq	%rcx, %rax
	imulq	%r8
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rax
	movq	%rcx, %rsi
	subq	%rax, %rsi
	cmpq	%rdi, %r10
	jg	.L9
.L6:
	cmpq	$1, %r9
	jle	.L16
	cmpq	$3, %r9
	jle	.L17
	leaq	-4(%r9), %rbx
	movl	$1, %r8d
	leaq	-1(%r9), %rbp
	xorl	%edi, %edi
	andq	$-2, %rbx
	leaq	y(%rip), %r11
	movq	y(%rip), %r13
	movabsq	$-8543223828751151131, %r10
	addq	$3, %rbx
	leaq	8(%r11), %r12
.L12:
	movq	(%r11,%r8,8), %r14
	movq	%r14, %rcx
	subq	%r13, %rcx
	movq	(%r12,%r8,8), %r13
	imulq	%r8, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r9, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%r10
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	movq	%r13, %rax
	addq	%rdi, %rcx
	subq	%r14, %rax
	leaq	1(%r8), %rdi
	imulq	%rax, %rdi
	movq	%rdi, %rax
	imulq	%r10
	movq	%rdi, %rax
	sarq	$63, %rax
	addq	%rdi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%rbp, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rdi
	imulq	%rax, %rdi
	movq	%rdi, %rax
	imulq	%r10
	leaq	(%rdx,%rdi), %rax
	movq	%rdi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	addq	$2, %r8
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rdi
	movq	%rcx, %rax
	imulq	%r10
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	addq	%rdi, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rdi
	sarq	$29, %rdi
	subq	%rax, %rdi
	imulq	$1000000007, %rdi, %rax
	movq	%rcx, %rdi
	subq	%rax, %rdi
	cmpq	%r8, %rbx
	jne	.L12
.L11:
	leaq	-8+y(%rip), %rbx
	movabsq	$-8543223828751151131, %r10
	.p2align 4,,10
	.p2align 3
.L13:
	movq	(%r11,%r8,8), %rcx
	subq	(%rbx,%r8,8), %rcx
	imulq	%r8, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r9, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	addq	$1, %r8
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rcx
	addq	%rdi, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rdi
	sarq	$29, %rdi
	subq	%rax, %rdi
	imulq	$1000000007, %rdi, %rax
	movq	%rcx, %rdi
	subq	%rax, %rdi
	cmpq	%r8, %r9
	jg	.L13
.L10:
	movabsq	$-8543223828751151131, %rdx
	imulq	%rdi, %rsi
	movl	$1, %edi
	movq	%rsi, %rax
	imulq	%rdx
	leaq	(%rdx,%rsi), %rax
	movq	%rsi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rsi
	xorl	%eax, %eax
	movq	%rsi, %rdx
	leaq	.LC2(%rip), %rsi
	call	__printf_chk@PLT
	popq	%rbx
	.cfi_remember_state
	.cfi_def_cfa_offset 40
	xorl	%eax, %eax
	popq	%rbp
	.cfi_def_cfa_offset 32
	popq	%r12
	.cfi_def_cfa_offset 24
	popq	%r13
	.cfi_def_cfa_offset 16
	popq	%r14
	.cfi_def_cfa_offset 8
	ret
.L16:
	.cfi_restore_state
	xorl	%edi, %edi
	jmp	.L10
.L14:
	xorl	%esi, %esi
	jmp	.L6
.L15:
	movl	$1, %edi
	xorl	%esi, %esi
	leaq	x(%rip), %r11
	jmp	.L7
.L17:
	movl	$1, %r8d
	xorl	%edi, %edi
	leaq	y(%rip), %r11
	jmp	.L11
	.cfi_endproc
.LFE39:
	.size	main, .-main
	.globl	m
	.bss
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	y
	.align 32
	.type	y, @object
	.size	y, 800080
y:
	.zero	800080
	.globl	x
	.align 32
	.type	x, @object
	.size	x, 800080
x:
	.zero	800080
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:

rule
	.file	"temp.c"
	.text
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld"
.LC2:
	.string	"%lld\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB39:
	.cfi_startproc
	endbr64
	pushq	%r14
	.cfi_def_cfa_offset 16
	.cfi_offset 14, -16
	xorl	%eax, %eax
	leaq	m(%rip), %rdx
	leaq	n(%rip), %rsi
	pushq	%r13
	.cfi_def_cfa_offset 24
	.cfi_offset 13, -24
	leaq	.LC0(%rip), %rdi
	pushq	%r12
	.cfi_def_cfa_offset 32
	.cfi_offset 12, -32
	pushq	%rbp
	.cfi_def_cfa_offset 40
	.cfi_offset 6, -40
	pushq	%rbx
	.cfi_def_cfa_offset 48
	.cfi_offset 3, -48
	call	__isoc99_scanf@PLT
	cmpq	$0, n(%rip)
	jle	.L2
	leaq	x(%rip), %rbp
	xorl	%ebx, %ebx
	leaq	.LC1(%rip), %r12
	.p2align 4,,10
	.p2align 3
.L3:
	movq	%rbp, %rsi
	xorl	%eax, %eax
	movq	%r12, %rdi
	addq	$1, %rbx
	call	__isoc99_scanf@PLT
	addq	$8, %rbp
	cmpq	%rbx, n(%rip)
	jg	.L3
.L2:
	movq	m(%rip), %r9
	testq	%r9, %r9
	jle	.L4
	leaq	y(%rip), %rbp
	xorl	%ebx, %ebx
	leaq	.LC1(%rip), %r12
	.p2align 4,,10
	.p2align 3
.L5:
	movq	%rbp, %rsi
	movq	%r12, %rdi
	xorl	%eax, %eax
	addq	$1, %rbx
	call	__isoc99_scanf@PLT
	movq	m(%rip), %r9
	addq	$8, %rbp
	cmpq	%rbx, %r9
	jg	.L5
.L4:
	movq	n(%rip), %r10
	cmpq	$1, %r10
	jle	.L14
	cmpq	$3, %r10
	jle	.L15
	leaq	-4(%r10), %rdi
	movl	$1, %r8d
	leaq	-1(%r10), %rbp
	xorl	%esi, %esi
	andq	$-2, %rdi
	leaq	x(%rip), %r11
	movq	x(%rip), %r13
	movabsq	$-8543223828751151131, %rbx
	addq	$3, %rdi
	leaq	8(%r11), %r12
.L8:
	movq	(%r11,%r8,8), %r14
	movq	%r14, %rcx
	subq	%r13, %rcx
	movq	(%r12,%r8,8), %r13
	imulq	%r8, %rcx
	movq	%rcx, %rax
	imulq	%rbx
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r10, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%rbx
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	leaq	1(%r8), %rax
	addq	%rsi, %rcx
	movq	%r13, %rsi
	subq	%r14, %rsi
	imulq	%rax, %rsi
	movq	%rsi, %rax
	imulq	%rbx
	movq	%rsi, %rax
	sarq	$63, %rax
	addq	%rsi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%rbp, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rsi
	imulq	%rax, %rsi
	movq	%rsi, %rax
	imulq	%rbx
	leaq	(%rdx,%rsi), %rax
	movq	%rsi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	addq	$2, %r8
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rsi
	movq	%rcx, %rax
	imulq	%rbx
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	addq	%rsi, %rcx
	movq	%rcx, %rax
	imulq	%rbx
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rax
	movq	%rcx, %rsi
	subq	%rax, %rsi
	cmpq	%rdi, %r8
	jne	.L8
.L7:
	leaq	-8+x(%rip), %rbx
	movabsq	$-8543223828751151131, %r8
	.p2align 4,,10
	.p2align 3
.L9:
	movq	(%r11,%rdi,8), %rcx
	subq	(%rbx,%rdi,8), %rcx
	imulq	%rdi, %rcx
	movq	%rcx, %rax
	imulq	%r8
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r10, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%rdi, %rax
	addq	$1, %rdi
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%r8
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rcx
	addq	%rsi, %rcx
	movq	%rcx, %rax
	imulq	%r8
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rax
	movq	%rcx, %rsi
	subq	%rax, %rsi
	cmpq	%rdi, %r10
	jg	.L9
.L6:
	cmpq	$1, %r9
	jle	.L16
	cmpq	$3, %r9
	jle	.L17
	leaq	-4(%r9), %rbx
	movl	$1, %r8d
	leaq	-1(%r9), %rbp
	xorl	%edi, %edi
	andq	$-2, %rbx
	leaq	y(%rip), %r11
	movq	y(%rip), %r13
	movabsq	$-8543223828751151131, %r10
	addq	$3, %rbx
	leaq	8(%r11), %r12
.L12:
	movq	(%r11,%r8,8), %r14
	movq	%r14, %rcx
	subq	%r13, %rcx
	movq	(%r12,%r8,8), %r13
	imulq	%r8, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r9, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%r10
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	movq	%r13, %rax
	addq	%rdi, %rcx
	subq	%r14, %rax
	leaq	1(%r8), %rdi
	imulq	%rax, %rdi
	movq	%rdi, %rax
	imulq	%r10
	movq	%rdi, %rax
	sarq	$63, %rax
	addq	%rdi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%rbp, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	subq	%rdx, %rdi
	imulq	%rax, %rdi
	movq	%rdi, %rax
	imulq	%r10
	leaq	(%rdx,%rdi), %rax
	movq	%rdi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	addq	$2, %r8
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rdi
	movq	%rcx, %rax
	imulq	%r10
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	addq	%rdi, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rdi
	sarq	$29, %rdi
	subq	%rax, %rdi
	imulq	$1000000007, %rdi, %rax
	movq	%rcx, %rdi
	subq	%rax, %rdi
	cmpq	%r8, %rbx
	jne	.L12
.L11:
	leaq	-8+y(%rip), %rbx
	movabsq	$-8543223828751151131, %r10
	.p2align 4,,10
	.p2align 3
.L13:
	movq	(%r11,%r8,8), %rcx
	subq	(%rbx,%r8,8), %rcx
	imulq	%r8, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	movq	%r9, %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%r8, %rax
	addq	$1, %r8
	subq	%rdx, %rcx
	imulq	%rax, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	addq	%rcx, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rcx
	addq	%rdi, %rcx
	movq	%rcx, %rax
	imulq	%r10
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %rdi
	sarq	$29, %rdi
	subq	%rax, %rdi
	imulq	$1000000007, %rdi, %rax
	movq	%rcx, %rdi
	subq	%rax, %rdi
	cmpq	%r8, %r9
	jg	.L13
.L10:
	movabsq	$-8543223828751151131, %rdx
	imulq	%rdi, %rsi
	movl	$1, %edi
	movq	%rsi, %rax
	imulq	%rdx
	leaq	(%rdx,%rsi), %rax
	movq	%rsi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rsi
	xorl	%eax, %eax
	movq	%rsi, %rdx
	leaq	.LC2(%rip), %rsi
	call	__printf_chk@PLT
	popq	%rbx
	.cfi_remember_state
	.cfi_def_cfa_offset 40
	xorl	%eax, %eax
	popq	%rbp
	.cfi_def_cfa_offset 32
	popq	%r12
	.cfi_def_cfa_offset 24
	popq	%r13
	.cfi_def_cfa_offset 16
	popq	%r14
	.cfi_def_cfa_offset 8
	ret
.L16:
	.cfi_restore_state
	xorl	%edi, %edi
	jmp	.L10
.L14:
	xorl	%esi, %esi
	jmp	.L6
.L15:
	movl	$1, %edi
	xorl	%esi, %esi
	leaq	x(%rip), %r11
	jmp	.L7
.L17:
	movl	$1, %r8d
	xorl	%edi, %edi
	leaq	y(%rip), %r11
	jmp	.L11
	.cfi_endproc
.LFE39:
	.size	main, .-main
	.globl	m
	.bss
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	y
	.align 32
	.type	y, @object
	.size	y, 800080
y:
	.zero	800080
	.globl	x
	.align 32
	.type	x, @object
	.size	x, 800080
x:
	.zero	800080
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:

#include<stdio.h>
#include<stdlib.h>
#define ll long long
#define rep(i,l,r)for(ll i=(l);i<(r);i++)
#define M 1000000007

ll x[100010],y[100010];
ll n,m;
int main(){
	scanf("%lld%lld",&n,&m);
	rep(i,0,n)scanf("%lld",x+i);
	rep(i,0,m)scanf("%lld",y+i);

	ll xx=0,yy=0;
	rep(i,1,n)xx=(xx+(x[i]-x[i-1])*i%M*(n-i)%M)%M;
	rep(i,1,m)yy=(yy+(y[i]-y[i-1])*i%M*(m-i)%M)%M;
	
	printf("%lld\n",xx*yy%M);
	return 0;
}
3 3
1 3 4
1 3 6

60

Given the following C code and unoptimized assembly code, your task is to generate highly optimized x86-64 assembly code.
C Code:

```c
#include<stdio.h>
#include<stdlib.h>
#define ll long long
#define rep(i,l,r)for(ll i=(l);i<(r);i++)
#define M 1000000007

ll x[100010],y[100010];
ll n,m;
int main(){
	scanf("%lld%lld",&n,&m);
	rep(i,0,n)scanf("%lld",x+i);
	rep(i,0,m)scanf("%lld",y+i);

	ll xx=0,yy=0;
	rep(i,1,n)xx=(xx+(x[i]-x[i-1])*i%M*(n-i)%M)%M;
	rep(i,1,m)yy=(yy+(y[i]-y[i-1])*i%M*(m-i)%M)%M;
	
	printf("%lld\n",xx*yy%M);
	return 0;
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	x
	.bss
	.align 32
	.type	x, @object
	.size	x, 800080
x:
	.zero	800080
	.globl	y
	.align 32
	.type	y, @object
	.size	y, 800080
y:
	.zero	800080
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.section	.rodata
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld"
.LC2:
	.string	"%lld\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$48, %rsp
	leaq	m(%rip), %rax
	movq	%rax, %rdx
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movq	$0, -48(%rbp)
	jmp	.L2
.L3:
	movq	-48(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	x(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addq	$1, -48(%rbp)
.L2:
	movq	n(%rip), %rax
	cmpq	%rax, -48(%rbp)
	jl	.L3
	movq	$0, -40(%rbp)
	jmp	.L4
.L5:
	movq	-40(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	y(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addq	$1, -40(%rbp)
.L4:
	movq	m(%rip), %rax
	cmpq	%rax, -40(%rbp)
	jl	.L5
	movq	$0, -32(%rbp)
	movq	$0, -24(%rbp)
	movq	$1, -16(%rbp)
	jmp	.L6
.L7:
	movq	-16(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	x(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-16(%rbp), %rdx
	subq	$1, %rdx
	leaq	0(,%rdx,8), %rcx
	leaq	x(%rip), %rdx
	movq	(%rcx,%rdx), %rdx
	subq	%rdx, %rax
	imulq	-16(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	n(%rip), %rdx
	subq	-16(%rbp), %rdx
	imulq	%rdx, %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	-32(%rbp), %rdx
	leaq	(%rax,%rdx), %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	movq	%rax, -32(%rbp)
	movq	-32(%rbp), %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, -32(%rbp)
	addq	$1, -16(%rbp)
.L6:
	movq	n(%rip), %rax
	cmpq	%rax, -16(%rbp)
	jl	.L7
	movq	$1, -8(%rbp)
	jmp	.L8
.L9:
	movq	-8(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	y(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-8(%rbp), %rdx
	subq	$1, %rdx
	leaq	0(,%rdx,8), %rcx
	leaq	y(%rip), %rdx
	movq	(%rcx,%rdx), %rdx
	subq	%rdx, %rax
	imulq	-8(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	m(%rip), %rdx
	subq	-8(%rbp), %rdx
	imulq	%rdx, %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	-24(%rbp), %rdx
	leaq	(%rax,%rdx), %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	movq	%rax, -24(%rbp)
	movq	-24(%rbp), %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, -24(%rbp)
	addq	$1, -8(%rbp)
.L8:
	movq	m(%rip), %rax
	cmpq	%rax, -8(%rbp)
	jl	.L9
	movq	-32(%rbp), %rax
	imulq	-24(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
```

Only output the optimized assembly code. Do not include any other text. Do not write any comments in the assembly code. Wrap the assembly code in ```assembly``` tags.
train
	.file	"temp.c"
	.text
	.globl	x
	.bss
	.align 32
	.type	x, @object
	.size	x, 800080
x:
	.zero	800080
	.globl	y
	.align 32
	.type	y, @object
	.size	y, 800080
y:
	.zero	800080
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	m
	.align 8
	.type	m, @object
	.size	m, 8
m:
	.zero	8
	.section	.rodata
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld"
.LC2:
	.string	"%lld\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$48, %rsp
	leaq	m(%rip), %rax
	movq	%rax, %rdx
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movq	$0, -48(%rbp)
	jmp	.L2
.L3:
	movq	-48(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	x(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addq	$1, -48(%rbp)
.L2:
	movq	n(%rip), %rax
	cmpq	%rax, -48(%rbp)
	jl	.L3
	movq	$0, -40(%rbp)
	jmp	.L4
.L5:
	movq	-40(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	y(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addq	$1, -40(%rbp)
.L4:
	movq	m(%rip), %rax
	cmpq	%rax, -40(%rbp)
	jl	.L5
	movq	$0, -32(%rbp)
	movq	$0, -24(%rbp)
	movq	$1, -16(%rbp)
	jmp	.L6
.L7:
	movq	-16(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	x(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-16(%rbp), %rdx
	subq	$1, %rdx
	leaq	0(,%rdx,8), %rcx
	leaq	x(%rip), %rdx
	movq	(%rcx,%rdx), %rdx
	subq	%rdx, %rax
	imulq	-16(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	n(%rip), %rdx
	subq	-16(%rbp), %rdx
	imulq	%rdx, %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	-32(%rbp), %rdx
	leaq	(%rax,%rdx), %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	movq	%rax, -32(%rbp)
	movq	-32(%rbp), %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, -32(%rbp)
	addq	$1, -16(%rbp)
.L6:
	movq	n(%rip), %rax
	cmpq	%rax, -16(%rbp)
	jl	.L7
	movq	$1, -8(%rbp)
	jmp	.L8
.L9:
	movq	-8(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	y(%rip), %rax
	movq	(%rdx,%rax), %rax
	movq	-8(%rbp), %rdx
	subq	$1, %rdx
	leaq	0(,%rdx,8), %rcx
	leaq	y(%rip), %rdx
	movq	(%rcx,%rdx), %rdx
	subq	%rdx, %rax
	imulq	-8(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	m(%rip), %rdx
	subq	-8(%rbp), %rdx
	imulq	%rdx, %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	-24(%rbp), %rdx
	leaq	(%rax,%rdx), %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	movq	%rax, -24(%rbp)
	movq	-24(%rbp), %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, -24(%rbp)
	addq	$1, -8(%rbp)
.L8:
	movq	m(%rip), %rax
	cmpq	%rax, -8(%rbp)
	jl	.L9
	movq	-32(%rbp), %rax
	imulq	-24(%rbp), %rax
	movq	%rax, %rcx
	movabsq	$-8543223828751151131, %rdx
	movq	%rcx, %rax
	imulq	%rdx
	leaq	(%rdx,%rcx), %rax
	sarq	$29, %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rcx, %rax
	subq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
