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>

#define MOD_BY 1000000007

int add(int a, int b) {
	return a + b - MOD_BY * (a + b >= MOD_BY);
}

int mul(int a, int b) {
	int r = 0;
	while (b > 0) {
		if (b & 1) r = add(r, a);
		a = add(a, a);
		b >>= 1;
	}
	return r;
}

void mizukinana(int out[8][8], int a[8][8], int b[8][8]) {
	int buf[8][8] = {{0}};
	int i, j, k;
	for (i = 0; i < 8; i++) {
		for (k = 0; k < 8; k++) {
			for (j = 0; j < 8; j++) {
				buf[i][j] = add(buf[i][j], mul(a[i][k], b[k][j]));
			}
		}
	}
	for (i = 0; i < 8; i++) {
		for (j = 0; j < 8; j++) {
			out[i][j] = buf[i][j];
		}
	}
}

int main(void) {
	int H, W, K;
	int horieyui[8][8] = {{0}};
	int tamurayukari[8][8] = {{0}};
	int i, j;
	if (scanf("%d%d%d", &H, &W, &K) != 3) return 1;
	for (i = 0; i < (1 << W); i += 2) {
		int valid = 1;
		for (j = 1; j < W; j++) {
			if (((i >> j) & 3) == 3) {
				valid = 0;
				break;
			}
		}
		if (valid) {
			for (j = 1; j <= W; j++) {
				if ((i >> (j - 1)) & 1) horieyui[j - 1][j - 2]++;
				else if ((i >> j) & 1) horieyui[j - 1][j]++;
				else horieyui[j - 1][j - 1]++;
			}
		}
	}
	for (i = 0; i < W; i++) tamurayukari[i][i] = 1;
	while (H > 0) {
		if (H & 1) mizukinana(tamurayukari, tamurayukari, horieyui);
		mizukinana(horieyui, horieyui, horieyui);
		H >>= 1;
	}
	printf("%d\n", tamurayukari[0][K - 1]);
	return 0;
}
```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	add
	.type	add, @function
add:
.LFB0:
	.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), %edx
	movl	-8(%rbp), %eax
	addl	%edx, %eax
	movl	-4(%rbp), %ecx
	movl	-8(%rbp), %edx
	addl	%ecx, %edx
	cmpl	$1000000006, %edx
	jle	.L2
	movl	$1000000007, %edx
	jmp	.L3
.L2:
	movl	$0, %edx
.L3:
	subl	%edx, %eax
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	add, .-add
	.globl	mul
	.type	mul, @function
mul:
.LFB1:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$24, %rsp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	$0, -4(%rbp)
	jmp	.L6
.L8:
	movl	-24(%rbp), %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L7
	movl	-20(%rbp), %edx
	movl	-4(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	%eax, -4(%rbp)
.L7:
	movl	-20(%rbp), %edx
	movl	-20(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	%eax, -20(%rbp)
	sarl	-24(%rbp)
.L6:
	cmpl	$0, -24(%rbp)
	jg	.L8
	movl	-4(%rbp), %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	mul, .-mul
	.globl	mizukinana
	.type	mizukinana, @function
mizukinana:
.LFB2:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$320, %rsp
	movq	%rdi, -296(%rbp)
	movq	%rsi, -304(%rbp)
	movq	%rdx, -312(%rbp)
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	-272(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	movl	$0, -284(%rbp)
	jmp	.L11
.L16:
	movl	$0, -276(%rbp)
	jmp	.L12
.L15:
	movl	$0, -280(%rbp)
	jmp	.L13
.L14:
	movl	-276(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rdx
	movq	-312(%rbp), %rax
	addq	%rax, %rdx
	movl	-280(%rbp), %eax
	cltq
	movl	(%rdx,%rax,4), %edx
	movl	-284(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rcx
	movq	-304(%rbp), %rax
	addq	%rax, %rcx
	movl	-276(%rbp), %eax
	cltq
	movl	(%rcx,%rax,4), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	mul
	movl	%eax, %edx
	movl	-280(%rbp), %eax
	movslq	%eax, %rcx
	movl	-284(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movl	-272(%rbp,%rax,4), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	-280(%rbp), %edx
	movslq	%edx, %rcx
	movl	-284(%rbp), %edx
	movslq	%edx, %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movl	%eax, -272(%rbp,%rdx,4)
	addl	$1, -280(%rbp)
.L13:
	cmpl	$7, -280(%rbp)
	jle	.L14
	addl	$1, -276(%rbp)
.L12:
	cmpl	$7, -276(%rbp)
	jle	.L15
	addl	$1, -284(%rbp)
.L11:
	cmpl	$7, -284(%rbp)
	jle	.L16
	movl	$0, -284(%rbp)
	jmp	.L17
.L20:
	movl	$0, -280(%rbp)
	jmp	.L18
.L19:
	movl	-284(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rdx
	movq	-296(%rbp), %rax
	leaq	(%rdx,%rax), %rcx
	movl	-280(%rbp), %eax
	movslq	%eax, %rdx
	movl	-284(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	-272(%rbp,%rax,4), %edx
	movl	-280(%rbp), %eax
	cltq
	movl	%edx, (%rcx,%rax,4)
	addl	$1, -280(%rbp)
.L18:
	cmpl	$7, -280(%rbp)
	jle	.L19
	addl	$1, -284(%rbp)
.L17:
	cmpl	$7, -284(%rbp)
	jle	.L20
	nop
	movq	-8(%rbp), %rax
	subq	%fs:40, %rax
	je	.L21
	call	__stack_chk_fail@PLT
.L21:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	mizukinana, .-mizukinana
	.section	.rodata
.LC0:
	.string	"%d%d%d"
.LC1:
	.string	"%d\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB3:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$560, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	-528(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	leaq	-272(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	leaq	-544(%rbp), %rcx
	leaq	-548(%rbp), %rdx
	leaq	-552(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	cmpl	$3, %eax
	je	.L23
	movl	$1, %eax
	jmp	.L42
.L23:
	movl	$0, -540(%rbp)
	jmp	.L25
.L36:
	movl	$1, -532(%rbp)
	movl	$1, -536(%rbp)
	jmp	.L26
.L29:
	movl	-536(%rbp), %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$3, %eax
	cmpl	$3, %eax
	jne	.L27
	movl	$0, -532(%rbp)
	jmp	.L28
.L27:
	addl	$1, -536(%rbp)
.L26:
	movl	-548(%rbp), %eax
	cmpl	%eax, -536(%rbp)
	jl	.L29
.L28:
	cmpl	$0, -532(%rbp)
	je	.L30
	movl	$1, -536(%rbp)
	jmp	.L31
.L35:
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L32
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	subl	$2, %edx
	movslq	%edx, %rsi
	movslq	%eax, %rcx
	salq	$3, %rcx
	addq	%rsi, %rcx
	movl	-528(%rbp,%rcx,4), %ecx
	addl	$1, %ecx
	movslq	%edx, %rdx
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	%ecx, -528(%rbp,%rax,4)
	jmp	.L33
.L32:
	movl	-536(%rbp), %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L34
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	movslq	%edx, %rcx
	movslq	%eax, %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movl	-528(%rbp,%rdx,4), %edx
	addl	$1, %edx
	movl	-536(%rbp), %ecx
	movslq	%ecx, %rcx
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movl	%edx, -528(%rbp,%rax,4)
	jmp	.L33
.L34:
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	subl	$1, %edx
	movslq	%edx, %rsi
	movslq	%eax, %rcx
	salq	$3, %rcx
	addq	%rsi, %rcx
	movl	-528(%rbp,%rcx,4), %ecx
	addl	$1, %ecx
	movslq	%edx, %rdx
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	%ecx, -528(%rbp,%rax,4)
.L33:
	addl	$1, -536(%rbp)
.L31:
	movl	-548(%rbp), %eax
	cmpl	%eax, -536(%rbp)
	jle	.L35
.L30:
	addl	$2, -540(%rbp)
.L25:
	movl	-548(%rbp), %eax
	movl	$1, %edx
	movl	%eax, %ecx
	sall	%cl, %edx
	movl	%edx, %eax
	cmpl	%eax, -540(%rbp)
	jl	.L36
	movl	$0, -540(%rbp)
	jmp	.L37
.L38:
	movl	-540(%rbp), %eax
	movslq	%eax, %rdx
	movq	%rdx, %rax
	salq	$3, %rax
	addq	%rdx, %rax
	salq	$2, %rax
	addq	%rbp, %rax
	subq	$272, %rax
	movl	$1, (%rax)
	addl	$1, -540(%rbp)
.L37:
	movl	-548(%rbp), %eax
	cmpl	%eax, -540(%rbp)
	jl	.L38
	jmp	.L39
.L41:
	movl	-552(%rbp), %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L40
	leaq	-528(%rbp), %rdx
	leaq	-272(%rbp), %rcx
	leaq	-272(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	mizukinana
.L40:
	leaq	-528(%rbp), %rdx
	leaq	-528(%rbp), %rcx
	leaq	-528(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	mizukinana
	movl	-552(%rbp), %eax
	sarl	%eax
	movl	%eax, -552(%rbp)
.L39:
	movl	-552(%rbp), %eax
	testl	%eax, %eax
	jg	.L41
	movl	-544(%rbp), %eax
	subl	$1, %eax
	cltq
	movl	-272(%rbp,%rax,4), %eax
	movl	%eax, %esi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
.L42:
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L43
	call	__stack_chk_fail@PLT
.L43:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.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	add
	.type	add, @function
add:
.LFB23:
	.cfi_startproc
	endbr64
	leal	(%rdi,%rsi), %eax
	leal	-1000000007(%rax), %edx
	cmpl	$1000000006, %eax
	cmovg	%edx, %eax
	ret
	.cfi_endproc
.LFE23:
	.size	add, .-add
	.p2align 4
	.globl	mul
	.type	mul, @function
mul:
.LFB24:
	.cfi_startproc
	endbr64
	xorl	%eax, %eax
	testl	%esi, %esi
	jle	.L10
	.p2align 4,,10
	.p2align 3
.L9:
	testb	$1, %sil
	je	.L6
	addl	%edi, %eax
	leal	-1000000007(%rax), %edx
	cmpl	$1000000006, %eax
	cmovg	%edx, %eax
.L6:
	addl	%edi, %edi
	cmpl	$1000000006, %edi
	leal	-1000000007(%rdi), %edx
	cmovg	%edx, %edi
	sarl	%esi
	jne	.L9
	ret
	.p2align 4,,10
	.p2align 3
.L10:
	ret
	.cfi_endproc
.LFE24:
	.size	mul, .-mul
	.p2align 4
	.globl	mizukinana
	.type	mizukinana, @function
mizukinana:
.LFB25:
	.cfi_startproc
	endbr64
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	movl	$32, %ecx
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	movq	%rsi, %r14
	pushq	%r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	leaq	288(%rdx), %r13
	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
	movq	%rdi, %rbx
	subq	$296, %rsp
	.cfi_def_cfa_offset 352
	movq	%fs:40, %rax
	movq	%rax, 280(%rsp)
	xorl	%eax, %eax
	leaq	16(%rsp), %rdi
	leaq	16(%rsp), %r12
	leaq	272(%rsp), %r15
	rep stosq
	leaq	32(%rdx), %rax
	xorl	%edi, %edi
	movq	%rax, 8(%rsp)
.L16:
	movq	8(%rsp), %r10
	movq	%r14, %rbp
	.p2align 4,,10
	.p2align 3
.L27:
	movl	0(%rbp), %r11d
	leaq	-32(%r10), %r8
	movq	%r12, %r9
	.p2align 4,,10
	.p2align 3
.L25:
	movl	(%r8), %edx
	testl	%edx, %edx
	jle	.L17
	movl	%r11d, %eax
	xorl	%ecx, %ecx
	.p2align 4,,10
	.p2align 3
.L21:
	testb	$1, %dl
	je	.L18
	addl	%eax, %ecx
	leal	-1000000007(%rcx), %esi
	cmpl	$1000000006, %ecx
	cmovg	%esi, %ecx
.L18:
	addl	%eax, %eax
	cmpl	$1000000006, %eax
	leal	-1000000007(%rax), %esi
	cmovg	%esi, %eax
	sarl	%edx
	jne	.L21
	addl	%ecx, %edi
.L17:
	cmpl	$1000000006, %edi
	leal	-1000000007(%rdi), %eax
	cmovg	%eax, %edi
	addq	$4, %r8
	addq	$4, %r9
	movl	%edi, -4(%r9)
	cmpq	%r10, %r8
	je	.L34
	movl	(%r9), %edi
	jmp	.L25
	.p2align 4,,10
	.p2align 3
.L34:
	addq	$32, %r10
	addq	$4, %rbp
	cmpq	%r10, %r13
	je	.L24
	movl	(%r12), %edi
	jmp	.L27
.L24:
	addq	$32, %r12
	addq	$32, %r14
	cmpq	%r15, %r12
	je	.L26
	movl	(%r12), %edi
	jmp	.L16
.L26:
	movdqa	16(%rsp), %xmm0
	movdqa	32(%rsp), %xmm1
	movdqa	48(%rsp), %xmm2
	movdqa	64(%rsp), %xmm3
	movdqa	80(%rsp), %xmm4
	movdqa	96(%rsp), %xmm5
	movups	%xmm0, (%rbx)
	movdqa	112(%rsp), %xmm6
	movups	%xmm1, 16(%rbx)
	movdqa	128(%rsp), %xmm7
	movdqa	144(%rsp), %xmm0
	movups	%xmm2, 32(%rbx)
	movdqa	160(%rsp), %xmm1
	movdqa	176(%rsp), %xmm2
	movups	%xmm3, 48(%rbx)
	movdqa	192(%rsp), %xmm3
	movups	%xmm4, 64(%rbx)
	movdqa	208(%rsp), %xmm4
	movups	%xmm5, 80(%rbx)
	movdqa	224(%rsp), %xmm5
	movups	%xmm6, 96(%rbx)
	movdqa	240(%rsp), %xmm6
	movups	%xmm7, 112(%rbx)
	movdqa	256(%rsp), %xmm7
	movups	%xmm0, 128(%rbx)
	movups	%xmm1, 144(%rbx)
	movups	%xmm2, 160(%rbx)
	movups	%xmm3, 176(%rbx)
	movups	%xmm4, 192(%rbx)
	movups	%xmm5, 208(%rbx)
	movups	%xmm6, 224(%rbx)
	movups	%xmm7, 240(%rbx)
	movq	280(%rsp), %rax
	subq	%fs:40, %rax
	jne	.L35
	addq	$296, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	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
.L35:
	.cfi_restore_state
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE25:
	.size	mizukinana, .-mizukinana
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%d%d%d"
.LC1:
	.string	"%d\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB26:
	.cfi_startproc
	endbr64
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	movl	$32, %ecx
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	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	$648, %rsp
	.cfi_def_cfa_offset 704
	movq	%fs:40, %rax
	movq	%rax, 632(%rsp)
	xorl	%eax, %eax
	leaq	112(%rsp), %rbx
	leaq	104(%rsp), %rdx
	movq	%rbx, %rdi
	leaq	368(%rsp), %rbp
	leaq	100(%rsp), %rsi
	rep stosq
	movl	$32, %ecx
	movq	%rbp, %rdi
	rep stosq
	leaq	108(%rsp), %rcx
	leaq	.LC0(%rip), %rdi
	call	__isoc99_scanf@PLT
	movl	%eax, %r8d
	movl	$1, %eax
	cmpl	$3, %r8d
	jne	.L36
	movl	104(%rsp), %esi
	movl	%esi, %ecx
	sall	%cl, %eax
	testl	%eax, %eax
	jle	.L39
	movl	184(%rsp), %edx
	movl	148(%rsp), %edi
	xorl	%r14d, %r14d
	movl	112(%rsp), %r11d
	movl	116(%rsp), %r12d
	movl	%edx, 44(%rsp)
	movl	188(%rsp), %edx
	movl	%edi, 24(%rsp)
	movl	152(%rsp), %edi
	movl	%edx, 52(%rsp)
	movl	220(%rsp), %edx
	movl	%edi, 28(%rsp)
	movl	180(%rsp), %r8d
	movl	%edx, 60(%rsp)
	movl	224(%rsp), %edx
	movl	144(%rsp), %edi
	movl	216(%rsp), %r9d
	movl	%edx, 64(%rsp)
	movl	256(%rsp), %edx
	movl	252(%rsp), %r10d
	movl	288(%rsp), %r13d
	movl	%edx, 72(%rsp)
	movl	260(%rsp), %edx
	movl	%edx, 76(%rsp)
	movl	292(%rsp), %edx
	movl	%edx, 80(%rsp)
	movl	296(%rsp), %edx
	movl	%edx, 84(%rsp)
	movl	328(%rsp), %edx
	movl	%edx, 92(%rsp)
	movl	332(%rsp), %edx
	movl	%edx, 56(%rsp)
	movl	324(%rsp), %edx
	movl	%edx, 20(%rsp)
	movl	364(%rsp), %edx
	movb	$0, 17(%rsp)
	movl	%edx, 40(%rsp)
	movl	360(%rsp), %edx
	movb	$0, 69(%rsp)
	movb	$0, 48(%rsp)
	movb	$0, 91(%rsp)
	movb	$0, 90(%rsp)
	movb	$0, 32(%rsp)
	movb	$0, 89(%rsp)
	movb	$0, 88(%rsp)
	movb	$0, 18(%rsp)
	movb	$0, 71(%rsp)
	movb	$0, 70(%rsp)
	movb	$0, 16(%rsp)
	movb	$0, 68(%rsp)
	movb	$0, 51(%rsp)
	movb	$0, 15(%rsp)
	movb	$0, 35(%rsp)
	movb	$0, 34(%rsp)
	movb	$0, 33(%rsp)
	movb	$0, 19(%rsp)
	movb	$0, 50(%rsp)
	movb	$0, 49(%rsp)
	movl	%edx, 36(%rsp)
	xorl	%edx, %edx
	.p2align 4,,10
	.p2align 3
.L41:
	cmpl	$1, %esi
	jle	.L74
	movl	%edx, %ecx
	xorl	$6, %ecx
	andl	$6, %ecx
	je	.L46
	movl	$1, %ecx
	jmp	.L40
	.p2align 4,,10
	.p2align 3
.L43:
	movl	%edx, %r15d
	sarl	%cl, %r15d
	andl	$3, %r15d
	cmpl	$3, %r15d
	je	.L46
.L40:
	addl	$1, %ecx
	cmpl	%esi, %ecx
	jne	.L43
	testb	$1, %dl
	jne	.L232
.L103:
	testb	$2, %dl
	jne	.L47
	movb	$1, 19(%rsp)
	addl	$1, %r11d
	cmpl	$1, %esi
	jle	.L46
.L48:
	testb	$4, %dl
	jne	.L50
	addl	$1, 24(%rsp)
	movb	$1, 34(%rsp)
	cmpl	$2, %esi
	jle	.L46
.L51:
	testb	$8, %dl
	jne	.L54
	addl	$1, 44(%rsp)
	movb	$1, 51(%rsp)
	cmpl	$3, %esi
	jle	.L46
.L55:
	testb	$16, %dl
	jne	.L58
	addl	$1, 60(%rsp)
	movb	$1, 70(%rsp)
	cmpl	$4, %esi
	jle	.L46
.L59:
	testb	$32, %dl
	jne	.L62
	addl	$1, 72(%rsp)
	movb	$1, 88(%rsp)
	cmpl	$5, %esi
	jle	.L46
.L63:
	testb	$64, %dl
	jne	.L66
	addl	$1, 80(%rsp)
	movb	$1, 90(%rsp)
	cmpl	$6, %esi
	jle	.L46
.L67:
	testb	$-128, %dl
	jne	.L70
	addl	$1, 92(%rsp)
	movb	$1, 69(%rsp)
	cmpl	$7, %esi
	jle	.L46
.L71:
	addl	$1, 40(%rsp)
	movb	$1, 50(%rsp)
	.p2align 4,,10
	.p2align 3
.L46:
	addl	$2, %edx
	cmpl	%eax, %edx
	jl	.L41
	cmpb	$0, 17(%rsp)
	je	.L75
	movl	56(%rsp), %eax
	movl	%eax, 332(%rsp)
.L75:
	cmpb	$0, 69(%rsp)
	jne	.L233
.L76:
	cmpb	$0, 48(%rsp)
	je	.L77
	movl	20(%rsp), %eax
	movl	%eax, 324(%rsp)
.L77:
	cmpb	$0, 91(%rsp)
	je	.L78
	movl	84(%rsp), %eax
	movl	%eax, 296(%rsp)
.L78:
	cmpb	$0, 90(%rsp)
	je	.L79
	movl	80(%rsp), %eax
	movl	%eax, 292(%rsp)
.L79:
	cmpb	$0, 32(%rsp)
	je	.L80
	movl	%r13d, 288(%rsp)
.L80:
	cmpb	$0, 89(%rsp)
	je	.L81
	movl	76(%rsp), %eax
	movl	%eax, 260(%rsp)
.L81:
	cmpb	$0, 88(%rsp)
	je	.L82
	movl	72(%rsp), %eax
	movl	%eax, 256(%rsp)
.L82:
	cmpb	$0, 18(%rsp)
	je	.L83
	movl	%r10d, 252(%rsp)
.L83:
	cmpb	$0, 71(%rsp)
	je	.L84
	movl	64(%rsp), %eax
	movl	%eax, 224(%rsp)
.L84:
	cmpb	$0, 70(%rsp)
	je	.L85
	movl	60(%rsp), %eax
	movl	%eax, 220(%rsp)
.L85:
	cmpb	$0, 16(%rsp)
	je	.L86
	movl	%r9d, 216(%rsp)
.L86:
	cmpb	$0, 68(%rsp)
	je	.L87
	movl	52(%rsp), %eax
	movl	%eax, 188(%rsp)
.L87:
	cmpb	$0, 51(%rsp)
	je	.L88
	movl	44(%rsp), %eax
	movl	%eax, 184(%rsp)
.L88:
	cmpb	$0, 15(%rsp)
	je	.L89
	movl	%r8d, 180(%rsp)
.L89:
	cmpb	$0, 35(%rsp)
	je	.L90
	movl	28(%rsp), %eax
	movl	%eax, 152(%rsp)
.L90:
	cmpb	$0, 34(%rsp)
	je	.L91
	movl	24(%rsp), %eax
	movl	%eax, 148(%rsp)
.L91:
	testb	%r14b, %r14b
	je	.L92
	movl	%edi, 144(%rsp)
.L92:
	cmpb	$0, 33(%rsp)
	je	.L93
	movl	%r12d, 116(%rsp)
.L93:
	cmpb	$0, 19(%rsp)
	je	.L94
	movl	%r11d, 112(%rsp)
.L94:
	cmpb	$0, 50(%rsp)
	je	.L95
	movl	40(%rsp), %eax
	movl	%eax, 364(%rsp)
.L95:
	cmpb	$0, 49(%rsp)
	je	.L39
	movl	36(%rsp), %eax
	movl	%eax, 360(%rsp)
.L39:
	testl	%esi, %esi
	jle	.L99
	movl	$1, 368(%rsp)
	cmpl	$1, %esi
	je	.L99
	movl	$1, 404(%rsp)
	cmpl	$2, %esi
	je	.L99
	movl	$1, 440(%rsp)
	cmpl	$3, %esi
	je	.L99
	movl	$1, 476(%rsp)
	cmpl	$4, %esi
	je	.L99
	movl	$1, 512(%rsp)
	cmpl	$5, %esi
	je	.L99
	movl	$1, 548(%rsp)
	cmpl	$6, %esi
	je	.L99
	movl	$1, 584(%rsp)
	cmpl	$7, %esi
	je	.L99
	movl	$1, 620(%rsp)
.L99:
	movl	100(%rsp), %r12d
	testl	%r12d, %r12d
	jg	.L97
.L98:
	movl	108(%rsp), %eax
	leaq	.LC1(%rip), %rsi
	movl	$1, %edi
	subl	$1, %eax
	cltq
	movl	368(%rsp,%rax,4), %edx
	xorl	%eax, %eax
	call	__printf_chk@PLT
	xorl	%eax, %eax
.L36:
	movq	632(%rsp), %rdx
	subq	%fs:40, %rdx
	jne	.L234
	addq	$648, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	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
	.p2align 4,,10
	.p2align 3
.L235:
	.cfi_restore_state
	movq	%rbx, %rdx
	movq	%rbp, %rsi
	movq	%rbp, %rdi
	call	mizukinana
.L100:
	movq	%rbx, %rdx
	movq	%rbx, %rsi
	movq	%rbx, %rdi
	call	mizukinana
	sarl	%r12d
	movl	%r12d, 100(%rsp)
	je	.L98
.L97:
	testb	$1, %r12b
	je	.L100
	jmp	.L235
	.p2align 4,,10
	.p2align 3
.L232:
	addl	$1, 108(%rsp)
	testb	$2, %dl
	je	.L48
.L104:
	addl	$1, %edi
	movl	$1, %r14d
	cmpl	$2, %esi
	jle	.L46
	testb	$4, %dl
	je	.L51
.L52:
	movb	$1, 15(%rsp)
	addl	$1, %r8d
	cmpl	$3, %esi
	jle	.L46
	testb	$8, %dl
	je	.L55
.L56:
	movb	$1, 16(%rsp)
	addl	$1, %r9d
	cmpl	$4, %esi
	jle	.L46
	testb	$16, %dl
	je	.L59
.L60:
	movb	$1, 18(%rsp)
	addl	$1, %r10d
	cmpl	$5, %esi
	jle	.L46
	testb	$32, %dl
	je	.L63
.L64:
	movb	$1, 32(%rsp)
	addl	$1, %r13d
	cmpl	$6, %esi
	jle	.L46
	testb	$64, %dl
	je	.L67
.L68:
	addl	$1, 20(%rsp)
	movb	$1, 48(%rsp)
	cmpl	$7, %esi
	jle	.L46
	testb	$-128, %dl
	je	.L71
.L72:
	addl	$1, 36(%rsp)
	movb	$1, 49(%rsp)
	jmp	.L46
.L47:
	movb	$1, 33(%rsp)
	addl	$1, %r12d
	cmpl	$1, %esi
	jg	.L104
	jmp	.L46
.L50:
	addl	$1, 28(%rsp)
	movb	$1, 35(%rsp)
	cmpl	$2, %esi
	jg	.L52
	jmp	.L46
.L54:
	addl	$1, 52(%rsp)
	movb	$1, 68(%rsp)
	cmpl	$3, %esi
	jg	.L56
	jmp	.L46
.L58:
	addl	$1, 64(%rsp)
	movb	$1, 71(%rsp)
	cmpl	$4, %esi
	jg	.L60
	jmp	.L46
.L62:
	addl	$1, 76(%rsp)
	movb	$1, 89(%rsp)
	cmpl	$5, %esi
	jg	.L64
	jmp	.L46
.L74:
	jne	.L46
	testb	$1, %dl
	je	.L103
	addl	$1, 108(%rsp)
	jmp	.L46
.L66:
	addl	$1, 84(%rsp)
	movb	$1, 91(%rsp)
	cmpl	$6, %esi
	jg	.L68
	jmp	.L46
.L70:
	addl	$1, 56(%rsp)
	movb	$1, 17(%rsp)
	cmpl	$7, %esi
	jg	.L72
	jmp	.L46
.L233:
	movl	92(%rsp), %eax
	movl	%eax, 328(%rsp)
	jmp	.L76
.L234:
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE26:
	.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:

rule
	.file	"temp.c"
	.text
	.p2align 4
	.globl	add
	.type	add, @function
add:
.LFB23:
	.cfi_startproc
	endbr64
	leal	(%rdi,%rsi), %eax
	leal	-1000000007(%rax), %edx
	cmpl	$1000000006, %eax
	cmovg	%edx, %eax
	ret
	.cfi_endproc
.LFE23:
	.size	add, .-add
	.p2align 4
	.globl	mul
	.type	mul, @function
mul:
.LFB24:
	.cfi_startproc
	endbr64
	xorl	%eax, %eax
	testl	%esi, %esi
	jle	.L10
	.p2align 4,,10
	.p2align 3
.L9:
	testb	$1, %sil
	je	.L6
	addl	%edi, %eax
	leal	-1000000007(%rax), %edx
	cmpl	$1000000006, %eax
	cmovg	%edx, %eax
.L6:
	addl	%edi, %edi
	cmpl	$1000000006, %edi
	leal	-1000000007(%rdi), %edx
	cmovg	%edx, %edi
	sarl	%esi
	jne	.L9
	ret
	.p2align 4,,10
	.p2align 3
.L10:
	ret
	.cfi_endproc
.LFE24:
	.size	mul, .-mul
	.p2align 4
	.globl	mizukinana
	.type	mizukinana, @function
mizukinana:
.LFB25:
	.cfi_startproc
	endbr64
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	movl	$32, %ecx
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	movq	%rsi, %r14
	pushq	%r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	leaq	288(%rdx), %r13
	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
	movq	%rdi, %rbx
	subq	$296, %rsp
	.cfi_def_cfa_offset 352
	movq	%fs:40, %rax
	movq	%rax, 280(%rsp)
	xorl	%eax, %eax
	leaq	16(%rsp), %rdi
	leaq	16(%rsp), %r12
	leaq	272(%rsp), %r15
	rep stosq
	leaq	32(%rdx), %rax
	xorl	%edi, %edi
	movq	%rax, 8(%rsp)
.L16:
	movq	8(%rsp), %r10
	movq	%r14, %rbp
	.p2align 4,,10
	.p2align 3
.L27:
	movl	0(%rbp), %r11d
	leaq	-32(%r10), %r8
	movq	%r12, %r9
	.p2align 4,,10
	.p2align 3
.L25:
	movl	(%r8), %edx
	testl	%edx, %edx
	jle	.L17
	movl	%r11d, %eax
	xorl	%ecx, %ecx
	.p2align 4,,10
	.p2align 3
.L21:
	testb	$1, %dl
	je	.L18
	addl	%eax, %ecx
	leal	-1000000007(%rcx), %esi
	cmpl	$1000000006, %ecx
	cmovg	%esi, %ecx
.L18:
	addl	%eax, %eax
	cmpl	$1000000006, %eax
	leal	-1000000007(%rax), %esi
	cmovg	%esi, %eax
	sarl	%edx
	jne	.L21
	addl	%ecx, %edi
.L17:
	cmpl	$1000000006, %edi
	leal	-1000000007(%rdi), %eax
	cmovg	%eax, %edi
	addq	$4, %r8
	addq	$4, %r9
	movl	%edi, -4(%r9)
	cmpq	%r10, %r8
	je	.L34
	movl	(%r9), %edi
	jmp	.L25
	.p2align 4,,10
	.p2align 3
.L34:
	addq	$32, %r10
	addq	$4, %rbp
	cmpq	%r10, %r13
	je	.L24
	movl	(%r12), %edi
	jmp	.L27
.L24:
	addq	$32, %r12
	addq	$32, %r14
	cmpq	%r15, %r12
	je	.L26
	movl	(%r12), %edi
	jmp	.L16
.L26:
	movdqa	16(%rsp), %xmm0
	movdqa	32(%rsp), %xmm1
	movdqa	48(%rsp), %xmm2
	movdqa	64(%rsp), %xmm3
	movdqa	80(%rsp), %xmm4
	movdqa	96(%rsp), %xmm5
	movups	%xmm0, (%rbx)
	movdqa	112(%rsp), %xmm6
	movups	%xmm1, 16(%rbx)
	movdqa	128(%rsp), %xmm7
	movdqa	144(%rsp), %xmm0
	movups	%xmm2, 32(%rbx)
	movdqa	160(%rsp), %xmm1
	movdqa	176(%rsp), %xmm2
	movups	%xmm3, 48(%rbx)
	movdqa	192(%rsp), %xmm3
	movups	%xmm4, 64(%rbx)
	movdqa	208(%rsp), %xmm4
	movups	%xmm5, 80(%rbx)
	movdqa	224(%rsp), %xmm5
	movups	%xmm6, 96(%rbx)
	movdqa	240(%rsp), %xmm6
	movups	%xmm7, 112(%rbx)
	movdqa	256(%rsp), %xmm7
	movups	%xmm0, 128(%rbx)
	movups	%xmm1, 144(%rbx)
	movups	%xmm2, 160(%rbx)
	movups	%xmm3, 176(%rbx)
	movups	%xmm4, 192(%rbx)
	movups	%xmm5, 208(%rbx)
	movups	%xmm6, 224(%rbx)
	movups	%xmm7, 240(%rbx)
	movq	280(%rsp), %rax
	subq	%fs:40, %rax
	jne	.L35
	addq	$296, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	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
.L35:
	.cfi_restore_state
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE25:
	.size	mizukinana, .-mizukinana
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%d%d%d"
.LC1:
	.string	"%d\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB26:
	.cfi_startproc
	endbr64
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	movl	$32, %ecx
	pushq	%r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	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	$648, %rsp
	.cfi_def_cfa_offset 704
	movq	%fs:40, %rax
	movq	%rax, 632(%rsp)
	xorl	%eax, %eax
	leaq	112(%rsp), %rbx
	leaq	104(%rsp), %rdx
	movq	%rbx, %rdi
	leaq	368(%rsp), %rbp
	leaq	100(%rsp), %rsi
	rep stosq
	movl	$32, %ecx
	movq	%rbp, %rdi
	rep stosq
	leaq	108(%rsp), %rcx
	leaq	.LC0(%rip), %rdi
	call	__isoc99_scanf@PLT
	movl	%eax, %r8d
	movl	$1, %eax
	cmpl	$3, %r8d
	jne	.L36
	movl	104(%rsp), %esi
	movl	%esi, %ecx
	sall	%cl, %eax
	testl	%eax, %eax
	jle	.L39
	movl	184(%rsp), %edx
	movl	148(%rsp), %edi
	xorl	%r14d, %r14d
	movl	112(%rsp), %r11d
	movl	116(%rsp), %r12d
	movl	%edx, 44(%rsp)
	movl	188(%rsp), %edx
	movl	%edi, 24(%rsp)
	movl	152(%rsp), %edi
	movl	%edx, 52(%rsp)
	movl	220(%rsp), %edx
	movl	%edi, 28(%rsp)
	movl	180(%rsp), %r8d
	movl	%edx, 60(%rsp)
	movl	224(%rsp), %edx
	movl	144(%rsp), %edi
	movl	216(%rsp), %r9d
	movl	%edx, 64(%rsp)
	movl	256(%rsp), %edx
	movl	252(%rsp), %r10d
	movl	288(%rsp), %r13d
	movl	%edx, 72(%rsp)
	movl	260(%rsp), %edx
	movl	%edx, 76(%rsp)
	movl	292(%rsp), %edx
	movl	%edx, 80(%rsp)
	movl	296(%rsp), %edx
	movl	%edx, 84(%rsp)
	movl	328(%rsp), %edx
	movl	%edx, 92(%rsp)
	movl	332(%rsp), %edx
	movl	%edx, 56(%rsp)
	movl	324(%rsp), %edx
	movl	%edx, 20(%rsp)
	movl	364(%rsp), %edx
	movb	$0, 17(%rsp)
	movl	%edx, 40(%rsp)
	movl	360(%rsp), %edx
	movb	$0, 69(%rsp)
	movb	$0, 48(%rsp)
	movb	$0, 91(%rsp)
	movb	$0, 90(%rsp)
	movb	$0, 32(%rsp)
	movb	$0, 89(%rsp)
	movb	$0, 88(%rsp)
	movb	$0, 18(%rsp)
	movb	$0, 71(%rsp)
	movb	$0, 70(%rsp)
	movb	$0, 16(%rsp)
	movb	$0, 68(%rsp)
	movb	$0, 51(%rsp)
	movb	$0, 15(%rsp)
	movb	$0, 35(%rsp)
	movb	$0, 34(%rsp)
	movb	$0, 33(%rsp)
	movb	$0, 19(%rsp)
	movb	$0, 50(%rsp)
	movb	$0, 49(%rsp)
	movl	%edx, 36(%rsp)
	xorl	%edx, %edx
	.p2align 4,,10
	.p2align 3
.L41:
	cmpl	$1, %esi
	jle	.L74
	movl	%edx, %ecx
	xorl	$6, %ecx
	andl	$6, %ecx
	je	.L46
	movl	$1, %ecx
	jmp	.L40
	.p2align 4,,10
	.p2align 3
.L43:
	movl	%edx, %r15d
	sarl	%cl, %r15d
	andl	$3, %r15d
	cmpl	$3, %r15d
	je	.L46
.L40:
	addl	$1, %ecx
	cmpl	%esi, %ecx
	jne	.L43
	testb	$1, %dl
	jne	.L232
.L103:
	testb	$2, %dl
	jne	.L47
	movb	$1, 19(%rsp)
	addl	$1, %r11d
	cmpl	$1, %esi
	jle	.L46
.L48:
	testb	$4, %dl
	jne	.L50
	addl	$1, 24(%rsp)
	movb	$1, 34(%rsp)
	cmpl	$2, %esi
	jle	.L46
.L51:
	testb	$8, %dl
	jne	.L54
	addl	$1, 44(%rsp)
	movb	$1, 51(%rsp)
	cmpl	$3, %esi
	jle	.L46
.L55:
	testb	$16, %dl
	jne	.L58
	addl	$1, 60(%rsp)
	movb	$1, 70(%rsp)
	cmpl	$4, %esi
	jle	.L46
.L59:
	testb	$32, %dl
	jne	.L62
	addl	$1, 72(%rsp)
	movb	$1, 88(%rsp)
	cmpl	$5, %esi
	jle	.L46
.L63:
	testb	$64, %dl
	jne	.L66
	addl	$1, 80(%rsp)
	movb	$1, 90(%rsp)
	cmpl	$6, %esi
	jle	.L46
.L67:
	testb	$-128, %dl
	jne	.L70
	addl	$1, 92(%rsp)
	movb	$1, 69(%rsp)
	cmpl	$7, %esi
	jle	.L46
.L71:
	addl	$1, 40(%rsp)
	movb	$1, 50(%rsp)
	.p2align 4,,10
	.p2align 3
.L46:
	addl	$2, %edx
	cmpl	%eax, %edx
	jl	.L41
	cmpb	$0, 17(%rsp)
	je	.L75
	movl	56(%rsp), %eax
	movl	%eax, 332(%rsp)
.L75:
	cmpb	$0, 69(%rsp)
	jne	.L233
.L76:
	cmpb	$0, 48(%rsp)
	je	.L77
	movl	20(%rsp), %eax
	movl	%eax, 324(%rsp)
.L77:
	cmpb	$0, 91(%rsp)
	je	.L78
	movl	84(%rsp), %eax
	movl	%eax, 296(%rsp)
.L78:
	cmpb	$0, 90(%rsp)
	je	.L79
	movl	80(%rsp), %eax
	movl	%eax, 292(%rsp)
.L79:
	cmpb	$0, 32(%rsp)
	je	.L80
	movl	%r13d, 288(%rsp)
.L80:
	cmpb	$0, 89(%rsp)
	je	.L81
	movl	76(%rsp), %eax
	movl	%eax, 260(%rsp)
.L81:
	cmpb	$0, 88(%rsp)
	je	.L82
	movl	72(%rsp), %eax
	movl	%eax, 256(%rsp)
.L82:
	cmpb	$0, 18(%rsp)
	je	.L83
	movl	%r10d, 252(%rsp)
.L83:
	cmpb	$0, 71(%rsp)
	je	.L84
	movl	64(%rsp), %eax
	movl	%eax, 224(%rsp)
.L84:
	cmpb	$0, 70(%rsp)
	je	.L85
	movl	60(%rsp), %eax
	movl	%eax, 220(%rsp)
.L85:
	cmpb	$0, 16(%rsp)
	je	.L86
	movl	%r9d, 216(%rsp)
.L86:
	cmpb	$0, 68(%rsp)
	je	.L87
	movl	52(%rsp), %eax
	movl	%eax, 188(%rsp)
.L87:
	cmpb	$0, 51(%rsp)
	je	.L88
	movl	44(%rsp), %eax
	movl	%eax, 184(%rsp)
.L88:
	cmpb	$0, 15(%rsp)
	je	.L89
	movl	%r8d, 180(%rsp)
.L89:
	cmpb	$0, 35(%rsp)
	je	.L90
	movl	28(%rsp), %eax
	movl	%eax, 152(%rsp)
.L90:
	cmpb	$0, 34(%rsp)
	je	.L91
	movl	24(%rsp), %eax
	movl	%eax, 148(%rsp)
.L91:
	testb	%r14b, %r14b
	je	.L92
	movl	%edi, 144(%rsp)
.L92:
	cmpb	$0, 33(%rsp)
	je	.L93
	movl	%r12d, 116(%rsp)
.L93:
	cmpb	$0, 19(%rsp)
	je	.L94
	movl	%r11d, 112(%rsp)
.L94:
	cmpb	$0, 50(%rsp)
	je	.L95
	movl	40(%rsp), %eax
	movl	%eax, 364(%rsp)
.L95:
	cmpb	$0, 49(%rsp)
	je	.L39
	movl	36(%rsp), %eax
	movl	%eax, 360(%rsp)
.L39:
	testl	%esi, %esi
	jle	.L99
	movl	$1, 368(%rsp)
	cmpl	$1, %esi
	je	.L99
	movl	$1, 404(%rsp)
	cmpl	$2, %esi
	je	.L99
	movl	$1, 440(%rsp)
	cmpl	$3, %esi
	je	.L99
	movl	$1, 476(%rsp)
	cmpl	$4, %esi
	je	.L99
	movl	$1, 512(%rsp)
	cmpl	$5, %esi
	je	.L99
	movl	$1, 548(%rsp)
	cmpl	$6, %esi
	je	.L99
	movl	$1, 584(%rsp)
	cmpl	$7, %esi
	je	.L99
	movl	$1, 620(%rsp)
.L99:
	movl	100(%rsp), %r12d
	testl	%r12d, %r12d
	jg	.L97
.L98:
	movl	108(%rsp), %eax
	leaq	.LC1(%rip), %rsi
	movl	$1, %edi
	subl	$1, %eax
	cltq
	movl	368(%rsp,%rax,4), %edx
	xorl	%eax, %eax
	call	__printf_chk@PLT
	xorl	%eax, %eax
.L36:
	movq	632(%rsp), %rdx
	subq	%fs:40, %rdx
	jne	.L234
	addq	$648, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	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
	.p2align 4,,10
	.p2align 3
.L235:
	.cfi_restore_state
	movq	%rbx, %rdx
	movq	%rbp, %rsi
	movq	%rbp, %rdi
	call	mizukinana
.L100:
	movq	%rbx, %rdx
	movq	%rbx, %rsi
	movq	%rbx, %rdi
	call	mizukinana
	sarl	%r12d
	movl	%r12d, 100(%rsp)
	je	.L98
.L97:
	testb	$1, %r12b
	je	.L100
	jmp	.L235
	.p2align 4,,10
	.p2align 3
.L232:
	addl	$1, 108(%rsp)
	testb	$2, %dl
	je	.L48
.L104:
	addl	$1, %edi
	movl	$1, %r14d
	cmpl	$2, %esi
	jle	.L46
	testb	$4, %dl
	je	.L51
.L52:
	movb	$1, 15(%rsp)
	addl	$1, %r8d
	cmpl	$3, %esi
	jle	.L46
	testb	$8, %dl
	je	.L55
.L56:
	movb	$1, 16(%rsp)
	addl	$1, %r9d
	cmpl	$4, %esi
	jle	.L46
	testb	$16, %dl
	je	.L59
.L60:
	movb	$1, 18(%rsp)
	addl	$1, %r10d
	cmpl	$5, %esi
	jle	.L46
	testb	$32, %dl
	je	.L63
.L64:
	movb	$1, 32(%rsp)
	addl	$1, %r13d
	cmpl	$6, %esi
	jle	.L46
	testb	$64, %dl
	je	.L67
.L68:
	addl	$1, 20(%rsp)
	movb	$1, 48(%rsp)
	cmpl	$7, %esi
	jle	.L46
	testb	$-128, %dl
	je	.L71
.L72:
	addl	$1, 36(%rsp)
	movb	$1, 49(%rsp)
	jmp	.L46
.L47:
	movb	$1, 33(%rsp)
	addl	$1, %r12d
	cmpl	$1, %esi
	jg	.L104
	jmp	.L46
.L50:
	addl	$1, 28(%rsp)
	movb	$1, 35(%rsp)
	cmpl	$2, %esi
	jg	.L52
	jmp	.L46
.L54:
	addl	$1, 52(%rsp)
	movb	$1, 68(%rsp)
	cmpl	$3, %esi
	jg	.L56
	jmp	.L46
.L58:
	addl	$1, 64(%rsp)
	movb	$1, 71(%rsp)
	cmpl	$4, %esi
	jg	.L60
	jmp	.L46
.L62:
	addl	$1, 76(%rsp)
	movb	$1, 89(%rsp)
	cmpl	$5, %esi
	jg	.L64
	jmp	.L46
.L74:
	jne	.L46
	testb	$1, %dl
	je	.L103
	addl	$1, 108(%rsp)
	jmp	.L46
.L66:
	addl	$1, 84(%rsp)
	movb	$1, 91(%rsp)
	cmpl	$6, %esi
	jg	.L68
	jmp	.L46
.L70:
	addl	$1, 56(%rsp)
	movb	$1, 17(%rsp)
	cmpl	$7, %esi
	jg	.L72
	jmp	.L46
.L233:
	movl	92(%rsp), %eax
	movl	%eax, 328(%rsp)
	jmp	.L76
.L234:
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE26:
	.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:

#include <stdio.h>

#define MOD_BY 1000000007

int add(int a, int b) {
	return a + b - MOD_BY * (a + b >= MOD_BY);
}

int mul(int a, int b) {
	int r = 0;
	while (b > 0) {
		if (b & 1) r = add(r, a);
		a = add(a, a);
		b >>= 1;
	}
	return r;
}

void mizukinana(int out[8][8], int a[8][8], int b[8][8]) {
	int buf[8][8] = {{0}};
	int i, j, k;
	for (i = 0; i < 8; i++) {
		for (k = 0; k < 8; k++) {
			for (j = 0; j < 8; j++) {
				buf[i][j] = add(buf[i][j], mul(a[i][k], b[k][j]));
			}
		}
	}
	for (i = 0; i < 8; i++) {
		for (j = 0; j < 8; j++) {
			out[i][j] = buf[i][j];
		}
	}
}

int main(void) {
	int H, W, K;
	int horieyui[8][8] = {{0}};
	int tamurayukari[8][8] = {{0}};
	int i, j;
	if (scanf("%d%d%d", &H, &W, &K) != 3) return 1;
	for (i = 0; i < (1 << W); i += 2) {
		int valid = 1;
		for (j = 1; j < W; j++) {
			if (((i >> j) & 3) == 3) {
				valid = 0;
				break;
			}
		}
		if (valid) {
			for (j = 1; j <= W; j++) {
				if ((i >> (j - 1)) & 1) horieyui[j - 1][j - 2]++;
				else if ((i >> j) & 1) horieyui[j - 1][j]++;
				else horieyui[j - 1][j - 1]++;
			}
		}
	}
	for (i = 0; i < W; i++) tamurayukari[i][i] = 1;
	while (H > 0) {
		if (H & 1) mizukinana(tamurayukari, tamurayukari, horieyui);
		mizukinana(horieyui, horieyui, horieyui);
		H >>= 1;
	}
	printf("%d\n", tamurayukari[0][K - 1]);
	return 0;
}

4 3 1
 1 2 2
 1 5 1
 16 8 5
 4 6 1
 1 9 1
 16 8 3
 8 6 1
 1 9 2
 15 8 3

35
 1
 5
 698231265
 12371
 34
 59172019
 276953291
 21
 978283490

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>

#define MOD_BY 1000000007

int add(int a, int b) {
	return a + b - MOD_BY * (a + b >= MOD_BY);
}

int mul(int a, int b) {
	int r = 0;
	while (b > 0) {
		if (b & 1) r = add(r, a);
		a = add(a, a);
		b >>= 1;
	}
	return r;
}

void mizukinana(int out[8][8], int a[8][8], int b[8][8]) {
	int buf[8][8] = {{0}};
	int i, j, k;
	for (i = 0; i < 8; i++) {
		for (k = 0; k < 8; k++) {
			for (j = 0; j < 8; j++) {
				buf[i][j] = add(buf[i][j], mul(a[i][k], b[k][j]));
			}
		}
	}
	for (i = 0; i < 8; i++) {
		for (j = 0; j < 8; j++) {
			out[i][j] = buf[i][j];
		}
	}
}

int main(void) {
	int H, W, K;
	int horieyui[8][8] = {{0}};
	int tamurayukari[8][8] = {{0}};
	int i, j;
	if (scanf("%d%d%d", &H, &W, &K) != 3) return 1;
	for (i = 0; i < (1 << W); i += 2) {
		int valid = 1;
		for (j = 1; j < W; j++) {
			if (((i >> j) & 3) == 3) {
				valid = 0;
				break;
			}
		}
		if (valid) {
			for (j = 1; j <= W; j++) {
				if ((i >> (j - 1)) & 1) horieyui[j - 1][j - 2]++;
				else if ((i >> j) & 1) horieyui[j - 1][j]++;
				else horieyui[j - 1][j - 1]++;
			}
		}
	}
	for (i = 0; i < W; i++) tamurayukari[i][i] = 1;
	while (H > 0) {
		if (H & 1) mizukinana(tamurayukari, tamurayukari, horieyui);
		mizukinana(horieyui, horieyui, horieyui);
		H >>= 1;
	}
	printf("%d\n", tamurayukari[0][K - 1]);
	return 0;
}
```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	add
	.type	add, @function
add:
.LFB0:
	.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), %edx
	movl	-8(%rbp), %eax
	addl	%edx, %eax
	movl	-4(%rbp), %ecx
	movl	-8(%rbp), %edx
	addl	%ecx, %edx
	cmpl	$1000000006, %edx
	jle	.L2
	movl	$1000000007, %edx
	jmp	.L3
.L2:
	movl	$0, %edx
.L3:
	subl	%edx, %eax
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	add, .-add
	.globl	mul
	.type	mul, @function
mul:
.LFB1:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$24, %rsp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	$0, -4(%rbp)
	jmp	.L6
.L8:
	movl	-24(%rbp), %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L7
	movl	-20(%rbp), %edx
	movl	-4(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	%eax, -4(%rbp)
.L7:
	movl	-20(%rbp), %edx
	movl	-20(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	%eax, -20(%rbp)
	sarl	-24(%rbp)
.L6:
	cmpl	$0, -24(%rbp)
	jg	.L8
	movl	-4(%rbp), %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	mul, .-mul
	.globl	mizukinana
	.type	mizukinana, @function
mizukinana:
.LFB2:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$320, %rsp
	movq	%rdi, -296(%rbp)
	movq	%rsi, -304(%rbp)
	movq	%rdx, -312(%rbp)
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	-272(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	movl	$0, -284(%rbp)
	jmp	.L11
.L16:
	movl	$0, -276(%rbp)
	jmp	.L12
.L15:
	movl	$0, -280(%rbp)
	jmp	.L13
.L14:
	movl	-276(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rdx
	movq	-312(%rbp), %rax
	addq	%rax, %rdx
	movl	-280(%rbp), %eax
	cltq
	movl	(%rdx,%rax,4), %edx
	movl	-284(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rcx
	movq	-304(%rbp), %rax
	addq	%rax, %rcx
	movl	-276(%rbp), %eax
	cltq
	movl	(%rcx,%rax,4), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	mul
	movl	%eax, %edx
	movl	-280(%rbp), %eax
	movslq	%eax, %rcx
	movl	-284(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movl	-272(%rbp,%rax,4), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	-280(%rbp), %edx
	movslq	%edx, %rcx
	movl	-284(%rbp), %edx
	movslq	%edx, %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movl	%eax, -272(%rbp,%rdx,4)
	addl	$1, -280(%rbp)
.L13:
	cmpl	$7, -280(%rbp)
	jle	.L14
	addl	$1, -276(%rbp)
.L12:
	cmpl	$7, -276(%rbp)
	jle	.L15
	addl	$1, -284(%rbp)
.L11:
	cmpl	$7, -284(%rbp)
	jle	.L16
	movl	$0, -284(%rbp)
	jmp	.L17
.L20:
	movl	$0, -280(%rbp)
	jmp	.L18
.L19:
	movl	-284(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rdx
	movq	-296(%rbp), %rax
	leaq	(%rdx,%rax), %rcx
	movl	-280(%rbp), %eax
	movslq	%eax, %rdx
	movl	-284(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	-272(%rbp,%rax,4), %edx
	movl	-280(%rbp), %eax
	cltq
	movl	%edx, (%rcx,%rax,4)
	addl	$1, -280(%rbp)
.L18:
	cmpl	$7, -280(%rbp)
	jle	.L19
	addl	$1, -284(%rbp)
.L17:
	cmpl	$7, -284(%rbp)
	jle	.L20
	nop
	movq	-8(%rbp), %rax
	subq	%fs:40, %rax
	je	.L21
	call	__stack_chk_fail@PLT
.L21:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	mizukinana, .-mizukinana
	.section	.rodata
.LC0:
	.string	"%d%d%d"
.LC1:
	.string	"%d\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB3:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$560, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	-528(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	leaq	-272(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	leaq	-544(%rbp), %rcx
	leaq	-548(%rbp), %rdx
	leaq	-552(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	cmpl	$3, %eax
	je	.L23
	movl	$1, %eax
	jmp	.L42
.L23:
	movl	$0, -540(%rbp)
	jmp	.L25
.L36:
	movl	$1, -532(%rbp)
	movl	$1, -536(%rbp)
	jmp	.L26
.L29:
	movl	-536(%rbp), %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$3, %eax
	cmpl	$3, %eax
	jne	.L27
	movl	$0, -532(%rbp)
	jmp	.L28
.L27:
	addl	$1, -536(%rbp)
.L26:
	movl	-548(%rbp), %eax
	cmpl	%eax, -536(%rbp)
	jl	.L29
.L28:
	cmpl	$0, -532(%rbp)
	je	.L30
	movl	$1, -536(%rbp)
	jmp	.L31
.L35:
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L32
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	subl	$2, %edx
	movslq	%edx, %rsi
	movslq	%eax, %rcx
	salq	$3, %rcx
	addq	%rsi, %rcx
	movl	-528(%rbp,%rcx,4), %ecx
	addl	$1, %ecx
	movslq	%edx, %rdx
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	%ecx, -528(%rbp,%rax,4)
	jmp	.L33
.L32:
	movl	-536(%rbp), %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L34
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	movslq	%edx, %rcx
	movslq	%eax, %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movl	-528(%rbp,%rdx,4), %edx
	addl	$1, %edx
	movl	-536(%rbp), %ecx
	movslq	%ecx, %rcx
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movl	%edx, -528(%rbp,%rax,4)
	jmp	.L33
.L34:
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	subl	$1, %edx
	movslq	%edx, %rsi
	movslq	%eax, %rcx
	salq	$3, %rcx
	addq	%rsi, %rcx
	movl	-528(%rbp,%rcx,4), %ecx
	addl	$1, %ecx
	movslq	%edx, %rdx
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	%ecx, -528(%rbp,%rax,4)
.L33:
	addl	$1, -536(%rbp)
.L31:
	movl	-548(%rbp), %eax
	cmpl	%eax, -536(%rbp)
	jle	.L35
.L30:
	addl	$2, -540(%rbp)
.L25:
	movl	-548(%rbp), %eax
	movl	$1, %edx
	movl	%eax, %ecx
	sall	%cl, %edx
	movl	%edx, %eax
	cmpl	%eax, -540(%rbp)
	jl	.L36
	movl	$0, -540(%rbp)
	jmp	.L37
.L38:
	movl	-540(%rbp), %eax
	movslq	%eax, %rdx
	movq	%rdx, %rax
	salq	$3, %rax
	addq	%rdx, %rax
	salq	$2, %rax
	addq	%rbp, %rax
	subq	$272, %rax
	movl	$1, (%rax)
	addl	$1, -540(%rbp)
.L37:
	movl	-548(%rbp), %eax
	cmpl	%eax, -540(%rbp)
	jl	.L38
	jmp	.L39
.L41:
	movl	-552(%rbp), %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L40
	leaq	-528(%rbp), %rdx
	leaq	-272(%rbp), %rcx
	leaq	-272(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	mizukinana
.L40:
	leaq	-528(%rbp), %rdx
	leaq	-528(%rbp), %rcx
	leaq	-528(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	mizukinana
	movl	-552(%rbp), %eax
	sarl	%eax
	movl	%eax, -552(%rbp)
.L39:
	movl	-552(%rbp), %eax
	testl	%eax, %eax
	jg	.L41
	movl	-544(%rbp), %eax
	subl	$1, %eax
	cltq
	movl	-272(%rbp,%rax,4), %eax
	movl	%eax, %esi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
.L42:
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L43
	call	__stack_chk_fail@PLT
.L43:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.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	add
	.type	add, @function
add:
.LFB0:
	.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), %edx
	movl	-8(%rbp), %eax
	addl	%edx, %eax
	movl	-4(%rbp), %ecx
	movl	-8(%rbp), %edx
	addl	%ecx, %edx
	cmpl	$1000000006, %edx
	jle	.L2
	movl	$1000000007, %edx
	jmp	.L3
.L2:
	movl	$0, %edx
.L3:
	subl	%edx, %eax
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	add, .-add
	.globl	mul
	.type	mul, @function
mul:
.LFB1:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$24, %rsp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	$0, -4(%rbp)
	jmp	.L6
.L8:
	movl	-24(%rbp), %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L7
	movl	-20(%rbp), %edx
	movl	-4(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	%eax, -4(%rbp)
.L7:
	movl	-20(%rbp), %edx
	movl	-20(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	%eax, -20(%rbp)
	sarl	-24(%rbp)
.L6:
	cmpl	$0, -24(%rbp)
	jg	.L8
	movl	-4(%rbp), %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	mul, .-mul
	.globl	mizukinana
	.type	mizukinana, @function
mizukinana:
.LFB2:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$320, %rsp
	movq	%rdi, -296(%rbp)
	movq	%rsi, -304(%rbp)
	movq	%rdx, -312(%rbp)
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	-272(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	movl	$0, -284(%rbp)
	jmp	.L11
.L16:
	movl	$0, -276(%rbp)
	jmp	.L12
.L15:
	movl	$0, -280(%rbp)
	jmp	.L13
.L14:
	movl	-276(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rdx
	movq	-312(%rbp), %rax
	addq	%rax, %rdx
	movl	-280(%rbp), %eax
	cltq
	movl	(%rdx,%rax,4), %edx
	movl	-284(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rcx
	movq	-304(%rbp), %rax
	addq	%rax, %rcx
	movl	-276(%rbp), %eax
	cltq
	movl	(%rcx,%rax,4), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	mul
	movl	%eax, %edx
	movl	-280(%rbp), %eax
	movslq	%eax, %rcx
	movl	-284(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movl	-272(%rbp,%rax,4), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	add
	movl	-280(%rbp), %edx
	movslq	%edx, %rcx
	movl	-284(%rbp), %edx
	movslq	%edx, %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movl	%eax, -272(%rbp,%rdx,4)
	addl	$1, -280(%rbp)
.L13:
	cmpl	$7, -280(%rbp)
	jle	.L14
	addl	$1, -276(%rbp)
.L12:
	cmpl	$7, -276(%rbp)
	jle	.L15
	addl	$1, -284(%rbp)
.L11:
	cmpl	$7, -284(%rbp)
	jle	.L16
	movl	$0, -284(%rbp)
	jmp	.L17
.L20:
	movl	$0, -280(%rbp)
	jmp	.L18
.L19:
	movl	-284(%rbp), %eax
	cltq
	salq	$5, %rax
	movq	%rax, %rdx
	movq	-296(%rbp), %rax
	leaq	(%rdx,%rax), %rcx
	movl	-280(%rbp), %eax
	movslq	%eax, %rdx
	movl	-284(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	-272(%rbp,%rax,4), %edx
	movl	-280(%rbp), %eax
	cltq
	movl	%edx, (%rcx,%rax,4)
	addl	$1, -280(%rbp)
.L18:
	cmpl	$7, -280(%rbp)
	jle	.L19
	addl	$1, -284(%rbp)
.L17:
	cmpl	$7, -284(%rbp)
	jle	.L20
	nop
	movq	-8(%rbp), %rax
	subq	%fs:40, %rax
	je	.L21
	call	__stack_chk_fail@PLT
.L21:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	mizukinana, .-mizukinana
	.section	.rodata
.LC0:
	.string	"%d%d%d"
.LC1:
	.string	"%d\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB3:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$560, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	-528(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	leaq	-272(%rbp), %rdx
	movl	$0, %eax
	movl	$32, %ecx
	movq	%rdx, %rdi
	rep stosq
	leaq	-544(%rbp), %rcx
	leaq	-548(%rbp), %rdx
	leaq	-552(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	cmpl	$3, %eax
	je	.L23
	movl	$1, %eax
	jmp	.L42
.L23:
	movl	$0, -540(%rbp)
	jmp	.L25
.L36:
	movl	$1, -532(%rbp)
	movl	$1, -536(%rbp)
	jmp	.L26
.L29:
	movl	-536(%rbp), %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$3, %eax
	cmpl	$3, %eax
	jne	.L27
	movl	$0, -532(%rbp)
	jmp	.L28
.L27:
	addl	$1, -536(%rbp)
.L26:
	movl	-548(%rbp), %eax
	cmpl	%eax, -536(%rbp)
	jl	.L29
.L28:
	cmpl	$0, -532(%rbp)
	je	.L30
	movl	$1, -536(%rbp)
	jmp	.L31
.L35:
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L32
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	subl	$2, %edx
	movslq	%edx, %rsi
	movslq	%eax, %rcx
	salq	$3, %rcx
	addq	%rsi, %rcx
	movl	-528(%rbp,%rcx,4), %ecx
	addl	$1, %ecx
	movslq	%edx, %rdx
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	%ecx, -528(%rbp,%rax,4)
	jmp	.L33
.L32:
	movl	-536(%rbp), %eax
	movl	-540(%rbp), %edx
	movl	%eax, %ecx
	sarl	%cl, %edx
	movl	%edx, %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L34
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	movslq	%edx, %rcx
	movslq	%eax, %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movl	-528(%rbp,%rdx,4), %edx
	addl	$1, %edx
	movl	-536(%rbp), %ecx
	movslq	%ecx, %rcx
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movl	%edx, -528(%rbp,%rax,4)
	jmp	.L33
.L34:
	movl	-536(%rbp), %eax
	subl	$1, %eax
	movl	-536(%rbp), %edx
	subl	$1, %edx
	movslq	%edx, %rsi
	movslq	%eax, %rcx
	salq	$3, %rcx
	addq	%rsi, %rcx
	movl	-528(%rbp,%rcx,4), %ecx
	addl	$1, %ecx
	movslq	%edx, %rdx
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movl	%ecx, -528(%rbp,%rax,4)
.L33:
	addl	$1, -536(%rbp)
.L31:
	movl	-548(%rbp), %eax
	cmpl	%eax, -536(%rbp)
	jle	.L35
.L30:
	addl	$2, -540(%rbp)
.L25:
	movl	-548(%rbp), %eax
	movl	$1, %edx
	movl	%eax, %ecx
	sall	%cl, %edx
	movl	%edx, %eax
	cmpl	%eax, -540(%rbp)
	jl	.L36
	movl	$0, -540(%rbp)
	jmp	.L37
.L38:
	movl	-540(%rbp), %eax
	movslq	%eax, %rdx
	movq	%rdx, %rax
	salq	$3, %rax
	addq	%rdx, %rax
	salq	$2, %rax
	addq	%rbp, %rax
	subq	$272, %rax
	movl	$1, (%rax)
	addl	$1, -540(%rbp)
.L37:
	movl	-548(%rbp), %eax
	cmpl	%eax, -540(%rbp)
	jl	.L38
	jmp	.L39
.L41:
	movl	-552(%rbp), %eax
	andl	$1, %eax
	testl	%eax, %eax
	je	.L40
	leaq	-528(%rbp), %rdx
	leaq	-272(%rbp), %rcx
	leaq	-272(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	mizukinana
.L40:
	leaq	-528(%rbp), %rdx
	leaq	-528(%rbp), %rcx
	leaq	-528(%rbp), %rax
	movq	%rcx, %rsi
	movq	%rax, %rdi
	call	mizukinana
	movl	-552(%rbp), %eax
	sarl	%eax
	movl	%eax, -552(%rbp)
.L39:
	movl	-552(%rbp), %eax
	testl	%eax, %eax
	jg	.L41
	movl	-544(%rbp), %eax
	subl	$1, %eax
	cltq
	movl	-272(%rbp,%rax,4), %eax
	movl	%eax, %esi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	printf@PLT
	movl	$0, %eax
.L42:
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L43
	call	__stack_chk_fail@PLT
.L43:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.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:
