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>
#include<string.h>
#include<stdint.h>
#include<tgmath.h>
#include<stdbool.h>
#include<sys/queue.h>
#include<time.h>
#define ll long long
#define min(a, b) ((a) > (b) ? (b) : (a))
#define max(a, b) ((a) > (b) ? (a) : (b))

const ll mod = 1000000007ll;
#define MAX 200200

long long fac[MAX], finv[MAX], inv[MAX];

void COMinit(){
    fac[0] = fac[1] = 1;
        finv[0] = finv[1] = 1;
    inv[1] = 1;
    for(int i=2; i<MAX; i++){
        fac[i] = fac[i-1] * i % mod;
        inv[i] = mod - inv[mod%i] * (mod/i) % mod;
        finv[i] = finv[i-1] * inv[i] % mod;
    }
}
long long COM(int n, int k){
    if(n < k) return 0;
    if(n < 0 || k < 0) return 0;
    return fac[n] * (finv[k] * finv[n-k] % mod) % mod;
}

ll modpow(ll x, ll y, ll m){
    if(y == 0ll)return 1ll;
    ll res = 1ll, tmp = x;
    while(y){
        if(y&1) res = res * tmp % m;
        tmp = tmp * tmp % m;
        y >>= 1;
    }
    return res;
}
ll pom(ll x, ll y){
    return modpow(x, y, mod);
}

ll n, k, ans = 0;

int main(){
	scanf("%lld%lld", &n, &k);
	k = min(k, n-1);
	COMinit();
	for(ll i=0; i<=k; i++){
		ll tmp = COM(n, i);
		tmp = tmp * tmp % mod * (n-i) % mod * pom(n, mod-2) % mod;
		ans += tmp;
		ans %= mod;
	}
	printf("%lld\n", ans);
	return 0;
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	mod
	.section	.rodata
	.align 8
	.type	mod, @object
	.size	mod, 8
mod:
	.quad	1000000007
	.globl	fac
	.bss
	.align 32
	.type	fac, @object
	.size	fac, 1601600
fac:
	.zero	1601600
	.globl	finv
	.align 32
	.type	finv, @object
	.size	finv, 1601600
finv:
	.zero	1601600
	.globl	inv
	.align 32
	.type	inv, @object
	.size	inv, 1601600
inv:
	.zero	1601600
	.text
	.globl	COMinit
	.type	COMinit, @function
COMinit:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	$1, 8+fac(%rip)
	movq	8+fac(%rip), %rax
	movq	%rax, fac(%rip)
	movq	$1, 8+finv(%rip)
	movq	8+finv(%rip), %rax
	movq	%rax, finv(%rip)
	movq	$1, 8+inv(%rip)
	movl	$2, -4(%rbp)
	jmp	.L2
.L3:
	movl	-4(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	cltq
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	movl	$1000000007, %edi
	movl	$1000000007, %edx
	movl	-4(%rbp), %eax
	movslq	%eax, %rcx
	movq	%rdx, %rax
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	inv(%rip), %rax
	movq	(%rdx,%rax), %rcx
	movl	$1000000007, %esi
	movl	-4(%rbp), %eax
	movslq	%eax, %r8
	movq	%rsi, %rax
	cqto
	idivq	%r8
	imulq	%rcx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	subq	%rax, %rdi
	movq	%rdi, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	inv(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	movl	-4(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rcx
	leaq	inv(%rip), %rax
	movq	(%rcx,%rax), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	addl	$1, -4(%rbp)
.L2:
	cmpl	$200199, -4(%rbp)
	jle	.L3
	nop
	nop
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	COMinit, .-COMinit
	.globl	COM
	.type	COM, @function
COM:
.LFB7:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -4(%rbp)
	movl	%esi, -8(%rbp)
	movl	-4(%rbp), %eax
	cmpl	-8(%rbp), %eax
	jge	.L5
	movl	$0, %eax
	jmp	.L6
.L5:
	cmpl	$0, -4(%rbp)
	js	.L7
	cmpl	$0, -8(%rbp)
	jns	.L8
.L7:
	movl	$0, %eax
	jmp	.L6
.L8:
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	(%rdx,%rax), %rcx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	subl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rsi
	leaq	finv(%rip), %rax
	movq	(%rsi,%rax), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %esi
	cqto
	idivq	%rsi
	movq	%rdx, %rax
	imulq	%rcx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
.L6:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	COM, .-COM
	.globl	modpow
	.type	modpow, @function
modpow:
.LFB8:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	%rdi, -24(%rbp)
	movq	%rsi, -32(%rbp)
	movq	%rdx, -40(%rbp)
	cmpq	$0, -32(%rbp)
	jne	.L10
	movl	$1, %eax
	jmp	.L11
.L10:
	movq	$1, -16(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -8(%rbp)
	jmp	.L12
.L14:
	movq	-32(%rbp), %rax
	andl	$1, %eax
	testq	%rax, %rax
	je	.L13
	movq	-16(%rbp), %rax
	imulq	-8(%rbp), %rax
	cqto
	idivq	-40(%rbp)
	movq	%rdx, -16(%rbp)
.L13:
	movq	-8(%rbp), %rax
	imulq	%rax, %rax
	cqto
	idivq	-40(%rbp)
	movq	%rdx, -8(%rbp)
	sarq	-32(%rbp)
.L12:
	cmpq	$0, -32(%rbp)
	jne	.L14
	movq	-16(%rbp), %rax
.L11:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	modpow, .-modpow
	.globl	pom
	.type	pom, @function
pom:
.LFB9:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movq	%rdi, -8(%rbp)
	movq	%rsi, -16(%rbp)
	movl	$1000000007, %edx
	movq	-16(%rbp), %rcx
	movq	-8(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	modpow
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	pom, .-pom
	.globl	n
	.bss
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	ans
	.align 8
	.type	ans, @object
	.size	ans, 8
ans:
	.zero	8
	.section	.rodata
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB10:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pushq	%rbx
	subq	$24, %rsp
	.cfi_offset 3, -24
	leaq	k(%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	n(%rip), %rdx
	movq	k(%rip), %rax
	cmpq	%rax, %rdx
	jg	.L18
	movq	n(%rip), %rax
	subq	$1, %rax
	jmp	.L19
.L18:
	movq	k(%rip), %rax
.L19:
	movq	%rax, k(%rip)
	movl	$0, %eax
	call	COMinit
	movq	$0, -32(%rbp)
	jmp	.L20
.L21:
	movq	-32(%rbp), %rax
	movl	%eax, %edx
	movq	n(%rip), %rax
	movl	%edx, %esi
	movl	%eax, %edi
	call	COM
	movq	%rax, -24(%rbp)
	movq	-24(%rbp), %rax
	imulq	%rax, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	n(%rip), %rax
	subq	-32(%rbp), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rbx
	movl	$1000000007, %eax
	leaq	-2(%rax), %rdx
	movq	n(%rip), %rax
	movq	%rdx, %rsi
	movq	%rax, %rdi
	call	pom
	imulq	%rbx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, -24(%rbp)
	movq	ans(%rip), %rdx
	movq	-24(%rbp), %rax
	addq	%rdx, %rax
	movq	%rax, ans(%rip)
	movq	ans(%rip), %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	movq	%rax, ans(%rip)
	addq	$1, -32(%rbp)
.L20:
	movq	k(%rip), %rax
	cmpq	%rax, -32(%rbp)
	jle	.L21
	movq	ans(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	movq	-8(%rbp), %rbx
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.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
	.p2align 4
	.globl	COMinit
	.type	COMinit, @function
COMinit:
.LFB51:
	.cfi_startproc
	endbr64
	movdqa	.LC0(%rip), %xmm0
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	movl	$3, %edi
	movl	$2, %ecx
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	movl	$500000004, %r9d
	leaq	fac(%rip), %r12
	movl	$1000000007, %r11d
	movaps	%xmm0, fac(%rip)
	movabsq	$-8543223828751151131, %r10
	movaps	%xmm0, finv(%rip)
	movdqa	.LC1(%rip), %xmm0
	movq	$2, 16+fac(%rip)
	movq	$500000004, 16+finv(%rip)
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	leaq	finv(%rip), %rbp
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	leaq	inv(%rip), %rbx
	movups	%xmm0, 8+inv(%rip)
	.p2align 4,,10
	.p2align 3
.L2:
	movq	%r11, %rax
	imulq	%rdi, %rcx
	cqto
	idivq	%rdi
	movq	%rcx, %rsi
	movq	%rax, %r8
	movq	%rcx, %rax
	movq	%rdx, %r13
	imulq	%r10
	movq	%rsi, %rax
	sarq	$63, %rax
	imulq	(%rbx,%r13,8), %r8
	leaq	(%rdx,%rcx), %rcx
	sarq	$29, %rcx
	subq	%rax, %rcx
	imulq	$1000000007, %rcx, %rax
	movq	%rsi, %rcx
	subq	%rax, %rcx
	movq	%r8, %rax
	imulq	%r10
	movq	%r8, %rax
	movq	%rcx, (%r12,%rdi,8)
	sarq	$63, %rax
	leaq	(%rdx,%r8), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rsi
	subq	%rsi, %r8
	movq	%r11, %rsi
	subq	%r8, %rsi
	movq	%rsi, (%rbx,%rdi,8)
	imulq	%r9, %rsi
	movq	%rsi, %rax
	mulq	%r10
	shrq	$29, %rdx
	imulq	$1000000007, %rdx, %rax
	subq	%rax, %rsi
	movq	%rsi, 0(%rbp,%rdi,8)
	addq	$1, %rdi
	movq	%rsi, %r9
	cmpq	$200200, %rdi
	jne	.L2
	popq	%rbx
	.cfi_def_cfa_offset 32
	popq	%rbp
	.cfi_def_cfa_offset 24
	popq	%r12
	.cfi_def_cfa_offset 16
	popq	%r13
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE51:
	.size	COMinit, .-COMinit
	.p2align 4
	.globl	COM
	.type	COM, @function
COM:
.LFB52:
	.cfi_startproc
	endbr64
	xorl	%eax, %eax
	cmpl	%esi, %edi
	jl	.L6
	movl	%edi, %ecx
	orl	%esi, %ecx
	js	.L6
	movl	%edi, %eax
	movslq	%edi, %rdi
	leaq	finv(%rip), %rdx
	movabsq	$-8543223828751151131, %rcx
	subl	%esi, %eax
	movslq	%esi, %rsi
	cltq
	movq	(%rdx,%rax,8), %rax
	imulq	(%rdx,%rsi,8), %rax
	movq	%rax, %rsi
	imulq	%rcx
	movq	%rsi, %rax
	sarq	$63, %rax
	addq	%rsi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	leaq	fac(%rip), %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rsi
	imulq	(%rax,%rdi,8), %rsi
	movq	%rsi, %rax
	imulq	%rcx
	leaq	(%rdx,%rsi), %rax
	movq	%rsi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rsi, %rax
	subq	%rdx, %rax
.L6:
	ret
	.cfi_endproc
.LFE52:
	.size	COM, .-COM
	.p2align 4
	.globl	modpow
	.type	modpow, @function
modpow:
.LFB53:
	.cfi_startproc
	endbr64
	movq	%rdx, %rcx
	movl	$1, %r8d
	testq	%rsi, %rsi
	je	.L10
	.p2align 4,,10
	.p2align 3
.L13:
	testb	$1, %sil
	je	.L12
	movq	%r8, %rax
	imulq	%rdi, %rax
	cqto
	idivq	%rcx
	movq	%rdx, %r8
.L12:
	imulq	%rdi, %rdi
	movq	%rdi, %rax
	cqto
	idivq	%rcx
	sarq	%rsi
	movq	%rdx, %rdi
	jne	.L13
.L10:
	movq	%r8, %rax
	ret
	.cfi_endproc
.LFE53:
	.size	modpow, .-modpow
	.p2align 4
	.globl	pom
	.type	pom, @function
pom:
.LFB54:
	.cfi_startproc
	endbr64
	movq	%rdi, %rcx
	movl	$1, %r8d
	movq	%rsi, %rdi
	testq	%rsi, %rsi
	je	.L20
	movabsq	$-8543223828751151131, %r9
	.p2align 4,,10
	.p2align 3
.L23:
	testb	$1, %dil
	je	.L22
	movq	%r8, %rsi
	imulq	%rcx, %rsi
	movq	%rsi, %rax
	imulq	%r9
	movq	%rsi, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rsi), %r8
	sarq	$29, %r8
	subq	%rax, %r8
	imulq	$1000000007, %r8, %rax
	subq	%rax, %rsi
	movq	%rsi, %r8
.L22:
	imulq	%rcx, %rcx
	movq	%rcx, %rax
	movq	%rcx, %rsi
	mulq	%r9
	shrq	$29, %rdx
	imulq	$1000000007, %rdx, %rax
	subq	%rax, %rsi
	sarq	%rdi
	movq	%rsi, %rcx
	jne	.L23
.L20:
	movq	%r8, %rax
	ret
	.cfi_endproc
.LFE54:
	.size	pom, .-pom
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC2:
	.string	"%lld%lld"
.LC3:
	.string	"%lld\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB55:
	.cfi_startproc
	endbr64
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	leaq	k(%rip), %rdx
	leaq	n(%rip), %rsi
	xorl	%eax, %eax
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	leaq	.LC2(%rip), %rdi
	pushq	%r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	pushq	%r12
	.cfi_def_cfa_offset 40
	.cfi_offset 12, -40
	pushq	%rbp
	.cfi_def_cfa_offset 48
	.cfi_offset 6, -48
	pushq	%rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	subq	$24, %rsp
	.cfi_def_cfa_offset 80
	call	__isoc99_scanf@PLT
	movq	k(%rip), %rax
	movq	n(%rip), %rdx
	cmpq	%rax, %rdx
	leaq	-1(%rdx), %rcx
	cmovle	%rcx, %rax
	movq	%rax, k(%rip)
	xorl	%eax, %eax
	call	COMinit
	movq	k(%rip), %rax
	movq	ans(%rip), %r12
	testq	%rax, %rax
	js	.L33
	movq	n(%rip), %r14
	addq	$1, %rax
	movq	ans(%rip), %r12
	xorl	%ebx, %ebx
	movq	%rax, (%rsp)
	leaq	finv(%rip), %r15
	movabsq	$-8543223828751151131, %r11
	movslq	%r14d, %rax
	movl	%r14d, %r13d
	movq	%r14, %rbp
	movq	%rax, 8(%rsp)
	.p2align 4,,10
	.p2align 3
.L37:
	movslq	%ebx, %rax
	xorl	%r10d, %r10d
	cmpl	%ebx, %r13d
	jl	.L34
	movl	%r13d, %edi
	orl	%ebx, %edi
	js	.L34
	movslq	%ebp, %rdx
	movq	(%r15,%rax,8), %rsi
	movq	8(%rsp), %rdi
	imulq	(%r15,%rdx,8), %rsi
	movq	%rsi, %rax
	imulq	%r11
	movq	%rsi, %rax
	sarq	$63, %rax
	addq	%rsi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	leaq	fac(%rip), %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rsi
	imulq	(%rax,%rdi,8), %rsi
	movq	%rsi, %rax
	imulq	%r11
	movq	%rsi, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rsi), %rcx
	sarq	$29, %rcx
	subq	%rax, %rcx
	imulq	$1000000007, %rcx, %rax
	subq	%rax, %rsi
	movq	%rsi, %rcx
	imulq	%rsi, %rcx
	movq	%rcx, %rax
	imulq	%r11
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	imulq	%rbp, %rcx
	movq	%rcx, %rax
	imulq	%r11
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %r10
	sarq	$29, %r10
	subq	%rax, %r10
	imulq	$1000000007, %r10, %rax
	subq	%rax, %rcx
	movq	%rcx, %r10
.L34:
	movq	%r14, %rcx
	movl	$30, %r8d
	movl	$1, %esi
	movl	$1000000005, %edi
	.p2align 4,,10
	.p2align 3
.L36:
	testb	$1, %dil
	je	.L35
	imulq	%rcx, %rsi
	movq	%rsi, %rax
	movq	%rsi, %r9
	imulq	%r11
	movq	%r9, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rsi), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rax
	movq	%r9, %rsi
	subq	%rax, %rsi
.L35:
	imulq	%rcx, %rcx
	sarq	%rdi
	movq	%rcx, %rax
	mulq	%r11
	shrq	$29, %rdx
	imulq	$1000000007, %rdx, %rax
	subq	%rax, %rcx
	subl	$1, %r8d
	jne	.L36
	imulq	%rsi, %r10
	addq	$1, %rbx
	subq	$1, %rbp
	movq	%r10, %rax
	imulq	%r11
	leaq	(%rdx,%r10), %rax
	movq	%r10, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %r10
	addq	%r12, %r10
	movq	%r10, %rax
	imulq	%r11
	movq	%r10, %rax
	sarq	$63, %rax
	leaq	(%rdx,%r10), %r12
	sarq	$29, %r12
	subq	%rax, %r12
	imulq	$1000000007, %r12, %rax
	subq	%rax, %r10
	movq	%r10, %r12
	cmpq	(%rsp), %rbx
	jne	.L37
	movq	%r10, ans(%rip)
.L33:
	movq	%r12, %rdx
	leaq	.LC3(%rip), %rsi
	movl	$1, %edi
	xorl	%eax, %eax
	call	__printf_chk@PLT
	addq	$24, %rsp
	.cfi_def_cfa_offset 56
	xorl	%eax, %eax
	popq	%rbx
	.cfi_def_cfa_offset 48
	popq	%rbp
	.cfi_def_cfa_offset 40
	popq	%r12
	.cfi_def_cfa_offset 32
	popq	%r13
	.cfi_def_cfa_offset 24
	popq	%r14
	.cfi_def_cfa_offset 16
	popq	%r15
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE55:
	.size	main, .-main
	.globl	ans
	.bss
	.align 8
	.type	ans, @object
	.size	ans, 8
ans:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	inv
	.align 32
	.type	inv, @object
	.size	inv, 1601600
inv:
	.zero	1601600
	.globl	finv
	.align 32
	.type	finv, @object
	.size	finv, 1601600
finv:
	.zero	1601600
	.globl	fac
	.align 32
	.type	fac, @object
	.size	fac, 1601600
fac:
	.zero	1601600
	.globl	mod
	.section	.rodata
	.align 8
	.type	mod, @object
	.size	mod, 8
mod:
	.quad	1000000007
	.section	.rodata.cst16,"aM",@progbits,16
	.align 16
.LC0:
	.quad	1
	.quad	1
	.align 16
.LC1:
	.quad	1
	.quad	500000004
	.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
	.p2align 4
	.globl	COMinit
	.type	COMinit, @function
COMinit:
.LFB51:
	.cfi_startproc
	endbr64
	movdqa	.LC0(%rip), %xmm0
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	movl	$3, %edi
	movl	$2, %ecx
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	movl	$500000004, %r9d
	leaq	fac(%rip), %r12
	movl	$1000000007, %r11d
	movaps	%xmm0, fac(%rip)
	movabsq	$-8543223828751151131, %r10
	movaps	%xmm0, finv(%rip)
	movdqa	.LC1(%rip), %xmm0
	movq	$2, 16+fac(%rip)
	movq	$500000004, 16+finv(%rip)
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	leaq	finv(%rip), %rbp
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	leaq	inv(%rip), %rbx
	movups	%xmm0, 8+inv(%rip)
	.p2align 4,,10
	.p2align 3
.L2:
	movq	%r11, %rax
	imulq	%rdi, %rcx
	cqto
	idivq	%rdi
	movq	%rcx, %rsi
	movq	%rax, %r8
	movq	%rcx, %rax
	movq	%rdx, %r13
	imulq	%r10
	movq	%rsi, %rax
	sarq	$63, %rax
	imulq	(%rbx,%r13,8), %r8
	leaq	(%rdx,%rcx), %rcx
	sarq	$29, %rcx
	subq	%rax, %rcx
	imulq	$1000000007, %rcx, %rax
	movq	%rsi, %rcx
	subq	%rax, %rcx
	movq	%r8, %rax
	imulq	%r10
	movq	%r8, %rax
	movq	%rcx, (%r12,%rdi,8)
	sarq	$63, %rax
	leaq	(%rdx,%r8), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rsi
	subq	%rsi, %r8
	movq	%r11, %rsi
	subq	%r8, %rsi
	movq	%rsi, (%rbx,%rdi,8)
	imulq	%r9, %rsi
	movq	%rsi, %rax
	mulq	%r10
	shrq	$29, %rdx
	imulq	$1000000007, %rdx, %rax
	subq	%rax, %rsi
	movq	%rsi, 0(%rbp,%rdi,8)
	addq	$1, %rdi
	movq	%rsi, %r9
	cmpq	$200200, %rdi
	jne	.L2
	popq	%rbx
	.cfi_def_cfa_offset 32
	popq	%rbp
	.cfi_def_cfa_offset 24
	popq	%r12
	.cfi_def_cfa_offset 16
	popq	%r13
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE51:
	.size	COMinit, .-COMinit
	.p2align 4
	.globl	COM
	.type	COM, @function
COM:
.LFB52:
	.cfi_startproc
	endbr64
	xorl	%eax, %eax
	cmpl	%esi, %edi
	jl	.L6
	movl	%edi, %ecx
	orl	%esi, %ecx
	js	.L6
	movl	%edi, %eax
	movslq	%edi, %rdi
	leaq	finv(%rip), %rdx
	movabsq	$-8543223828751151131, %rcx
	subl	%esi, %eax
	movslq	%esi, %rsi
	cltq
	movq	(%rdx,%rax,8), %rax
	imulq	(%rdx,%rsi,8), %rax
	movq	%rax, %rsi
	imulq	%rcx
	movq	%rsi, %rax
	sarq	$63, %rax
	addq	%rsi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	leaq	fac(%rip), %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rsi
	imulq	(%rax,%rdi,8), %rsi
	movq	%rsi, %rax
	imulq	%rcx
	leaq	(%rdx,%rsi), %rax
	movq	%rsi, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rdx
	movq	%rsi, %rax
	subq	%rdx, %rax
.L6:
	ret
	.cfi_endproc
.LFE52:
	.size	COM, .-COM
	.p2align 4
	.globl	modpow
	.type	modpow, @function
modpow:
.LFB53:
	.cfi_startproc
	endbr64
	movq	%rdx, %rcx
	movl	$1, %r8d
	testq	%rsi, %rsi
	je	.L10
	.p2align 4,,10
	.p2align 3
.L13:
	testb	$1, %sil
	je	.L12
	movq	%r8, %rax
	imulq	%rdi, %rax
	cqto
	idivq	%rcx
	movq	%rdx, %r8
.L12:
	imulq	%rdi, %rdi
	movq	%rdi, %rax
	cqto
	idivq	%rcx
	sarq	%rsi
	movq	%rdx, %rdi
	jne	.L13
.L10:
	movq	%r8, %rax
	ret
	.cfi_endproc
.LFE53:
	.size	modpow, .-modpow
	.p2align 4
	.globl	pom
	.type	pom, @function
pom:
.LFB54:
	.cfi_startproc
	endbr64
	movq	%rdi, %rcx
	movl	$1, %r8d
	movq	%rsi, %rdi
	testq	%rsi, %rsi
	je	.L20
	movabsq	$-8543223828751151131, %r9
	.p2align 4,,10
	.p2align 3
.L23:
	testb	$1, %dil
	je	.L22
	movq	%r8, %rsi
	imulq	%rcx, %rsi
	movq	%rsi, %rax
	imulq	%r9
	movq	%rsi, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rsi), %r8
	sarq	$29, %r8
	subq	%rax, %r8
	imulq	$1000000007, %r8, %rax
	subq	%rax, %rsi
	movq	%rsi, %r8
.L22:
	imulq	%rcx, %rcx
	movq	%rcx, %rax
	movq	%rcx, %rsi
	mulq	%r9
	shrq	$29, %rdx
	imulq	$1000000007, %rdx, %rax
	subq	%rax, %rsi
	sarq	%rdi
	movq	%rsi, %rcx
	jne	.L23
.L20:
	movq	%r8, %rax
	ret
	.cfi_endproc
.LFE54:
	.size	pom, .-pom
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC2:
	.string	"%lld%lld"
.LC3:
	.string	"%lld\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB55:
	.cfi_startproc
	endbr64
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	leaq	k(%rip), %rdx
	leaq	n(%rip), %rsi
	xorl	%eax, %eax
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	leaq	.LC2(%rip), %rdi
	pushq	%r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	pushq	%r12
	.cfi_def_cfa_offset 40
	.cfi_offset 12, -40
	pushq	%rbp
	.cfi_def_cfa_offset 48
	.cfi_offset 6, -48
	pushq	%rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	subq	$24, %rsp
	.cfi_def_cfa_offset 80
	call	__isoc99_scanf@PLT
	movq	k(%rip), %rax
	movq	n(%rip), %rdx
	cmpq	%rax, %rdx
	leaq	-1(%rdx), %rcx
	cmovle	%rcx, %rax
	movq	%rax, k(%rip)
	xorl	%eax, %eax
	call	COMinit
	movq	k(%rip), %rax
	movq	ans(%rip), %r12
	testq	%rax, %rax
	js	.L33
	movq	n(%rip), %r14
	addq	$1, %rax
	movq	ans(%rip), %r12
	xorl	%ebx, %ebx
	movq	%rax, (%rsp)
	leaq	finv(%rip), %r15
	movabsq	$-8543223828751151131, %r11
	movslq	%r14d, %rax
	movl	%r14d, %r13d
	movq	%r14, %rbp
	movq	%rax, 8(%rsp)
	.p2align 4,,10
	.p2align 3
.L37:
	movslq	%ebx, %rax
	xorl	%r10d, %r10d
	cmpl	%ebx, %r13d
	jl	.L34
	movl	%r13d, %edi
	orl	%ebx, %edi
	js	.L34
	movslq	%ebp, %rdx
	movq	(%r15,%rax,8), %rsi
	movq	8(%rsp), %rdi
	imulq	(%r15,%rdx,8), %rsi
	movq	%rsi, %rax
	imulq	%r11
	movq	%rsi, %rax
	sarq	$63, %rax
	addq	%rsi, %rdx
	sarq	$29, %rdx
	subq	%rax, %rdx
	leaq	fac(%rip), %rax
	imulq	$1000000007, %rdx, %rdx
	subq	%rdx, %rsi
	imulq	(%rax,%rdi,8), %rsi
	movq	%rsi, %rax
	imulq	%r11
	movq	%rsi, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rsi), %rcx
	sarq	$29, %rcx
	subq	%rax, %rcx
	imulq	$1000000007, %rcx, %rax
	subq	%rax, %rsi
	movq	%rsi, %rcx
	imulq	%rsi, %rcx
	movq	%rcx, %rax
	imulq	%r11
	leaq	(%rdx,%rcx), %rax
	movq	%rcx, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %rcx
	imulq	%rbp, %rcx
	movq	%rcx, %rax
	imulq	%r11
	movq	%rcx, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rcx), %r10
	sarq	$29, %r10
	subq	%rax, %r10
	imulq	$1000000007, %r10, %rax
	subq	%rax, %rcx
	movq	%rcx, %r10
.L34:
	movq	%r14, %rcx
	movl	$30, %r8d
	movl	$1, %esi
	movl	$1000000005, %edi
	.p2align 4,,10
	.p2align 3
.L36:
	testb	$1, %dil
	je	.L35
	imulq	%rcx, %rsi
	movq	%rsi, %rax
	movq	%rsi, %r9
	imulq	%r11
	movq	%r9, %rax
	sarq	$63, %rax
	leaq	(%rdx,%rsi), %rsi
	sarq	$29, %rsi
	subq	%rax, %rsi
	imulq	$1000000007, %rsi, %rax
	movq	%r9, %rsi
	subq	%rax, %rsi
.L35:
	imulq	%rcx, %rcx
	sarq	%rdi
	movq	%rcx, %rax
	mulq	%r11
	shrq	$29, %rdx
	imulq	$1000000007, %rdx, %rax
	subq	%rax, %rcx
	subl	$1, %r8d
	jne	.L36
	imulq	%rsi, %r10
	addq	$1, %rbx
	subq	$1, %rbp
	movq	%r10, %rax
	imulq	%r11
	leaq	(%rdx,%r10), %rax
	movq	%r10, %rdx
	sarq	$63, %rdx
	sarq	$29, %rax
	subq	%rdx, %rax
	imulq	$1000000007, %rax, %rax
	subq	%rax, %r10
	addq	%r12, %r10
	movq	%r10, %rax
	imulq	%r11
	movq	%r10, %rax
	sarq	$63, %rax
	leaq	(%rdx,%r10), %r12
	sarq	$29, %r12
	subq	%rax, %r12
	imulq	$1000000007, %r12, %rax
	subq	%rax, %r10
	movq	%r10, %r12
	cmpq	(%rsp), %rbx
	jne	.L37
	movq	%r10, ans(%rip)
.L33:
	movq	%r12, %rdx
	leaq	.LC3(%rip), %rsi
	movl	$1, %edi
	xorl	%eax, %eax
	call	__printf_chk@PLT
	addq	$24, %rsp
	.cfi_def_cfa_offset 56
	xorl	%eax, %eax
	popq	%rbx
	.cfi_def_cfa_offset 48
	popq	%rbp
	.cfi_def_cfa_offset 40
	popq	%r12
	.cfi_def_cfa_offset 32
	popq	%r13
	.cfi_def_cfa_offset 24
	popq	%r14
	.cfi_def_cfa_offset 16
	popq	%r15
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE55:
	.size	main, .-main
	.globl	ans
	.bss
	.align 8
	.type	ans, @object
	.size	ans, 8
ans:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	n
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	inv
	.align 32
	.type	inv, @object
	.size	inv, 1601600
inv:
	.zero	1601600
	.globl	finv
	.align 32
	.type	finv, @object
	.size	finv, 1601600
finv:
	.zero	1601600
	.globl	fac
	.align 32
	.type	fac, @object
	.size	fac, 1601600
fac:
	.zero	1601600
	.globl	mod
	.section	.rodata
	.align 8
	.type	mod, @object
	.size	mod, 8
mod:
	.quad	1000000007
	.section	.rodata.cst16,"aM",@progbits,16
	.align 16
.LC0:
	.quad	1
	.quad	1
	.align 16
.LC1:
	.quad	1
	.quad	500000004
	.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>
#include<string.h>
#include<stdint.h>
#include<tgmath.h>
#include<stdbool.h>
#include<sys/queue.h>
#include<time.h>
#define ll long long
#define min(a, b) ((a) > (b) ? (b) : (a))
#define max(a, b) ((a) > (b) ? (a) : (b))

const ll mod = 1000000007ll;
#define MAX 200200

long long fac[MAX], finv[MAX], inv[MAX];

void COMinit(){
    fac[0] = fac[1] = 1;
        finv[0] = finv[1] = 1;
    inv[1] = 1;
    for(int i=2; i<MAX; i++){
        fac[i] = fac[i-1] * i % mod;
        inv[i] = mod - inv[mod%i] * (mod/i) % mod;
        finv[i] = finv[i-1] * inv[i] % mod;
    }
}
long long COM(int n, int k){
    if(n < k) return 0;
    if(n < 0 || k < 0) return 0;
    return fac[n] * (finv[k] * finv[n-k] % mod) % mod;
}

ll modpow(ll x, ll y, ll m){
    if(y == 0ll)return 1ll;
    ll res = 1ll, tmp = x;
    while(y){
        if(y&1) res = res * tmp % m;
        tmp = tmp * tmp % m;
        y >>= 1;
    }
    return res;
}
ll pom(ll x, ll y){
    return modpow(x, y, mod);
}

ll n, k, ans = 0;

int main(){
	scanf("%lld%lld", &n, &k);
	k = min(k, n-1);
	COMinit();
	for(ll i=0; i<=k; i++){
		ll tmp = COM(n, i);
		tmp = tmp * tmp % mod * (n-i) % mod * pom(n, mod-2) % mod;
		ans += tmp;
		ans %= mod;
	}
	printf("%lld\n", ans);
	return 0;
}
1 2
 15 8
 30 6
 4 2
 200000 0000001000
 4 4
 200000 0000001001
 5 4
 200000 0001001001
 90099 0001001001

1
 63992997
 644207313
 31
 525127456
 35
 578341203
 126
 607923868
 153178923

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>
#include<string.h>
#include<stdint.h>
#include<tgmath.h>
#include<stdbool.h>
#include<sys/queue.h>
#include<time.h>
#define ll long long
#define min(a, b) ((a) > (b) ? (b) : (a))
#define max(a, b) ((a) > (b) ? (a) : (b))

const ll mod = 1000000007ll;
#define MAX 200200

long long fac[MAX], finv[MAX], inv[MAX];

void COMinit(){
    fac[0] = fac[1] = 1;
        finv[0] = finv[1] = 1;
    inv[1] = 1;
    for(int i=2; i<MAX; i++){
        fac[i] = fac[i-1] * i % mod;
        inv[i] = mod - inv[mod%i] * (mod/i) % mod;
        finv[i] = finv[i-1] * inv[i] % mod;
    }
}
long long COM(int n, int k){
    if(n < k) return 0;
    if(n < 0 || k < 0) return 0;
    return fac[n] * (finv[k] * finv[n-k] % mod) % mod;
}

ll modpow(ll x, ll y, ll m){
    if(y == 0ll)return 1ll;
    ll res = 1ll, tmp = x;
    while(y){
        if(y&1) res = res * tmp % m;
        tmp = tmp * tmp % m;
        y >>= 1;
    }
    return res;
}
ll pom(ll x, ll y){
    return modpow(x, y, mod);
}

ll n, k, ans = 0;

int main(){
	scanf("%lld%lld", &n, &k);
	k = min(k, n-1);
	COMinit();
	for(ll i=0; i<=k; i++){
		ll tmp = COM(n, i);
		tmp = tmp * tmp % mod * (n-i) % mod * pom(n, mod-2) % mod;
		ans += tmp;
		ans %= mod;
	}
	printf("%lld\n", ans);
	return 0;
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	mod
	.section	.rodata
	.align 8
	.type	mod, @object
	.size	mod, 8
mod:
	.quad	1000000007
	.globl	fac
	.bss
	.align 32
	.type	fac, @object
	.size	fac, 1601600
fac:
	.zero	1601600
	.globl	finv
	.align 32
	.type	finv, @object
	.size	finv, 1601600
finv:
	.zero	1601600
	.globl	inv
	.align 32
	.type	inv, @object
	.size	inv, 1601600
inv:
	.zero	1601600
	.text
	.globl	COMinit
	.type	COMinit, @function
COMinit:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	$1, 8+fac(%rip)
	movq	8+fac(%rip), %rax
	movq	%rax, fac(%rip)
	movq	$1, 8+finv(%rip)
	movq	8+finv(%rip), %rax
	movq	%rax, finv(%rip)
	movq	$1, 8+inv(%rip)
	movl	$2, -4(%rbp)
	jmp	.L2
.L3:
	movl	-4(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	cltq
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	movl	$1000000007, %edi
	movl	$1000000007, %edx
	movl	-4(%rbp), %eax
	movslq	%eax, %rcx
	movq	%rdx, %rax
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	inv(%rip), %rax
	movq	(%rdx,%rax), %rcx
	movl	$1000000007, %esi
	movl	-4(%rbp), %eax
	movslq	%eax, %r8
	movq	%rsi, %rax
	cqto
	idivq	%r8
	imulq	%rcx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	subq	%rax, %rdi
	movq	%rdi, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	inv(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	movl	-4(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rcx
	leaq	inv(%rip), %rax
	movq	(%rcx,%rax), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	addl	$1, -4(%rbp)
.L2:
	cmpl	$200199, -4(%rbp)
	jle	.L3
	nop
	nop
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	COMinit, .-COMinit
	.globl	COM
	.type	COM, @function
COM:
.LFB7:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -4(%rbp)
	movl	%esi, -8(%rbp)
	movl	-4(%rbp), %eax
	cmpl	-8(%rbp), %eax
	jge	.L5
	movl	$0, %eax
	jmp	.L6
.L5:
	cmpl	$0, -4(%rbp)
	js	.L7
	cmpl	$0, -8(%rbp)
	jns	.L8
.L7:
	movl	$0, %eax
	jmp	.L6
.L8:
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	(%rdx,%rax), %rcx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	subl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rsi
	leaq	finv(%rip), %rax
	movq	(%rsi,%rax), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %esi
	cqto
	idivq	%rsi
	movq	%rdx, %rax
	imulq	%rcx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
.L6:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	COM, .-COM
	.globl	modpow
	.type	modpow, @function
modpow:
.LFB8:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	%rdi, -24(%rbp)
	movq	%rsi, -32(%rbp)
	movq	%rdx, -40(%rbp)
	cmpq	$0, -32(%rbp)
	jne	.L10
	movl	$1, %eax
	jmp	.L11
.L10:
	movq	$1, -16(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -8(%rbp)
	jmp	.L12
.L14:
	movq	-32(%rbp), %rax
	andl	$1, %eax
	testq	%rax, %rax
	je	.L13
	movq	-16(%rbp), %rax
	imulq	-8(%rbp), %rax
	cqto
	idivq	-40(%rbp)
	movq	%rdx, -16(%rbp)
.L13:
	movq	-8(%rbp), %rax
	imulq	%rax, %rax
	cqto
	idivq	-40(%rbp)
	movq	%rdx, -8(%rbp)
	sarq	-32(%rbp)
.L12:
	cmpq	$0, -32(%rbp)
	jne	.L14
	movq	-16(%rbp), %rax
.L11:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	modpow, .-modpow
	.globl	pom
	.type	pom, @function
pom:
.LFB9:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movq	%rdi, -8(%rbp)
	movq	%rsi, -16(%rbp)
	movl	$1000000007, %edx
	movq	-16(%rbp), %rcx
	movq	-8(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	modpow
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	pom, .-pom
	.globl	n
	.bss
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	ans
	.align 8
	.type	ans, @object
	.size	ans, 8
ans:
	.zero	8
	.section	.rodata
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB10:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pushq	%rbx
	subq	$24, %rsp
	.cfi_offset 3, -24
	leaq	k(%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	n(%rip), %rdx
	movq	k(%rip), %rax
	cmpq	%rax, %rdx
	jg	.L18
	movq	n(%rip), %rax
	subq	$1, %rax
	jmp	.L19
.L18:
	movq	k(%rip), %rax
.L19:
	movq	%rax, k(%rip)
	movl	$0, %eax
	call	COMinit
	movq	$0, -32(%rbp)
	jmp	.L20
.L21:
	movq	-32(%rbp), %rax
	movl	%eax, %edx
	movq	n(%rip), %rax
	movl	%edx, %esi
	movl	%eax, %edi
	call	COM
	movq	%rax, -24(%rbp)
	movq	-24(%rbp), %rax
	imulq	%rax, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	n(%rip), %rax
	subq	-32(%rbp), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rbx
	movl	$1000000007, %eax
	leaq	-2(%rax), %rdx
	movq	n(%rip), %rax
	movq	%rdx, %rsi
	movq	%rax, %rdi
	call	pom
	imulq	%rbx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, -24(%rbp)
	movq	ans(%rip), %rdx
	movq	-24(%rbp), %rax
	addq	%rdx, %rax
	movq	%rax, ans(%rip)
	movq	ans(%rip), %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	movq	%rax, ans(%rip)
	addq	$1, -32(%rbp)
.L20:
	movq	k(%rip), %rax
	cmpq	%rax, -32(%rbp)
	jle	.L21
	movq	ans(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	movq	-8(%rbp), %rbx
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.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	mod
	.section	.rodata
	.align 8
	.type	mod, @object
	.size	mod, 8
mod:
	.quad	1000000007
	.globl	fac
	.bss
	.align 32
	.type	fac, @object
	.size	fac, 1601600
fac:
	.zero	1601600
	.globl	finv
	.align 32
	.type	finv, @object
	.size	finv, 1601600
finv:
	.zero	1601600
	.globl	inv
	.align 32
	.type	inv, @object
	.size	inv, 1601600
inv:
	.zero	1601600
	.text
	.globl	COMinit
	.type	COMinit, @function
COMinit:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	$1, 8+fac(%rip)
	movq	8+fac(%rip), %rax
	movq	%rax, fac(%rip)
	movq	$1, 8+finv(%rip)
	movq	8+finv(%rip), %rax
	movq	%rax, finv(%rip)
	movq	$1, 8+inv(%rip)
	movl	$2, -4(%rbp)
	jmp	.L2
.L3:
	movl	-4(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	cltq
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	movl	$1000000007, %edi
	movl	$1000000007, %edx
	movl	-4(%rbp), %eax
	movslq	%eax, %rcx
	movq	%rdx, %rax
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	inv(%rip), %rax
	movq	(%rdx,%rax), %rcx
	movl	$1000000007, %esi
	movl	-4(%rbp), %eax
	movslq	%eax, %r8
	movq	%rsi, %rax
	cqto
	idivq	%r8
	imulq	%rcx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	subq	%rax, %rdi
	movq	%rdi, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	inv(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	movl	-4(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rcx
	leaq	inv(%rip), %rax
	movq	(%rcx,%rax), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rcx
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	addl	$1, -4(%rbp)
.L2:
	cmpl	$200199, -4(%rbp)
	jle	.L3
	nop
	nop
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	COMinit, .-COMinit
	.globl	COM
	.type	COM, @function
COM:
.LFB7:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -4(%rbp)
	movl	%esi, -8(%rbp)
	movl	-4(%rbp), %eax
	cmpl	-8(%rbp), %eax
	jge	.L5
	movl	$0, %eax
	jmp	.L6
.L5:
	cmpl	$0, -4(%rbp)
	js	.L7
	cmpl	$0, -8(%rbp)
	jns	.L8
.L7:
	movl	$0, %eax
	jmp	.L6
.L8:
	movl	-4(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	fac(%rip), %rax
	movq	(%rdx,%rax), %rcx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	finv(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movl	-4(%rbp), %eax
	subl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rsi
	leaq	finv(%rip), %rax
	movq	(%rsi,%rax), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %esi
	cqto
	idivq	%rsi
	movq	%rdx, %rax
	imulq	%rcx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
.L6:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	COM, .-COM
	.globl	modpow
	.type	modpow, @function
modpow:
.LFB8:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movq	%rdi, -24(%rbp)
	movq	%rsi, -32(%rbp)
	movq	%rdx, -40(%rbp)
	cmpq	$0, -32(%rbp)
	jne	.L10
	movl	$1, %eax
	jmp	.L11
.L10:
	movq	$1, -16(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -8(%rbp)
	jmp	.L12
.L14:
	movq	-32(%rbp), %rax
	andl	$1, %eax
	testq	%rax, %rax
	je	.L13
	movq	-16(%rbp), %rax
	imulq	-8(%rbp), %rax
	cqto
	idivq	-40(%rbp)
	movq	%rdx, -16(%rbp)
.L13:
	movq	-8(%rbp), %rax
	imulq	%rax, %rax
	cqto
	idivq	-40(%rbp)
	movq	%rdx, -8(%rbp)
	sarq	-32(%rbp)
.L12:
	cmpq	$0, -32(%rbp)
	jne	.L14
	movq	-16(%rbp), %rax
.L11:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	modpow, .-modpow
	.globl	pom
	.type	pom, @function
pom:
.LFB9:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movq	%rdi, -8(%rbp)
	movq	%rsi, -16(%rbp)
	movl	$1000000007, %edx
	movq	-16(%rbp), %rcx
	movq	-8(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	modpow
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	pom, .-pom
	.globl	n
	.bss
	.align 8
	.type	n, @object
	.size	n, 8
n:
	.zero	8
	.globl	k
	.align 8
	.type	k, @object
	.size	k, 8
k:
	.zero	8
	.globl	ans
	.align 8
	.type	ans, @object
	.size	ans, 8
ans:
	.zero	8
	.section	.rodata
.LC0:
	.string	"%lld%lld"
.LC1:
	.string	"%lld\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB10:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pushq	%rbx
	subq	$24, %rsp
	.cfi_offset 3, -24
	leaq	k(%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	n(%rip), %rdx
	movq	k(%rip), %rax
	cmpq	%rax, %rdx
	jg	.L18
	movq	n(%rip), %rax
	subq	$1, %rax
	jmp	.L19
.L18:
	movq	k(%rip), %rax
.L19:
	movq	%rax, k(%rip)
	movl	$0, %eax
	call	COMinit
	movq	$0, -32(%rbp)
	jmp	.L20
.L21:
	movq	-32(%rbp), %rax
	movl	%eax, %edx
	movq	n(%rip), %rax
	movl	%edx, %esi
	movl	%eax, %edi
	call	COM
	movq	%rax, -24(%rbp)
	movq	-24(%rbp), %rax
	imulq	%rax, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	n(%rip), %rax
	subq	-32(%rbp), %rax
	imulq	%rdx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rbx
	movl	$1000000007, %eax
	leaq	-2(%rax), %rdx
	movq	n(%rip), %rax
	movq	%rdx, %rsi
	movq	%rax, %rdi
	call	pom
	imulq	%rbx, %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, -24(%rbp)
	movq	ans(%rip), %rdx
	movq	-24(%rbp), %rax
	addq	%rdx, %rax
	movq	%rax, ans(%rip)
	movq	ans(%rip), %rax
	movl	$1000000007, %ecx
	cqto
	idivq	%rcx
	movq	%rdx, %rax
	movq	%rax, ans(%rip)
	addq	$1, -32(%rbp)
.L20:
	movq	k(%rip), %rax
	cmpq	%rax, -32(%rbp)
	jle	.L21
	movq	ans(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
	movq	-8(%rbp), %rbx
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.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:
