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>

int n;
int bounce[300000];

int IsReachable() {
    int i, current = 0;
    for ( i=0; i<n; ++i ) {
	if ( current < 10*i ) return 0;
	if ( current < 10*i + bounce[i] ) current = 10*i + bounce[i];
	if ( current >= 10*n ) return 1;
    }
    return 0;
}

int main() {
    int i;
    scanf("%d", &n);
    for ( i=0; i<n; ++i ) scanf("%d", &bounce[i]);
    if ( !IsReachable() ) {
	printf("no\n");
	return 0;
    }
    
    for ( i=0; i<n/2; ++i ) {
	int tmp = bounce[i];
	bounce[i] = bounce[n-i-1];
	bounce[n-i-1] = tmp;
    }
    if ( !IsReachable() ) printf("no\n");
    else printf("yes\n");
    
    return 0;
}

```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	n
	.bss
	.align 4
	.type	n, @object
	.size	n, 4
n:
	.zero	4
	.globl	bounce
	.align 32
	.type	bounce, @object
	.size	bounce, 1200000
bounce:
	.zero	1200000
	.text
	.globl	IsReachable
	.type	IsReachable, @function
IsReachable:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	$0, -4(%rbp)
	movl	$0, -8(%rbp)
	jmp	.L2
.L7:
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	cmpl	%eax, -4(%rbp)
	jge	.L3
	movl	$0, %eax
	jmp	.L4
.L3:
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	movl	%eax, %ecx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	addl	%ecx, %eax
	cmpl	%eax, -4(%rbp)
	jge	.L5
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	movl	%eax, %ecx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	addl	%ecx, %eax
	movl	%eax, -4(%rbp)
.L5:
	movl	n(%rip), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	cmpl	%eax, -4(%rbp)
	jl	.L6
	movl	$1, %eax
	jmp	.L4
.L6:
	addl	$1, -8(%rbp)
.L2:
	movl	n(%rip), %eax
	cmpl	%eax, -8(%rbp)
	jl	.L7
	movl	$0, %eax
.L4:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	IsReachable, .-IsReachable
	.section	.rodata
.LC0:
	.string	"%d"
.LC1:
	.string	"no"
.LC2:
	.string	"yes"
	.text
	.globl	main
	.type	main, @function
main:
.LFB1:
	.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
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	$0, -8(%rbp)
	jmp	.L9
.L10:
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addl	$1, -8(%rbp)
.L9:
	movl	n(%rip), %eax
	cmpl	%eax, -8(%rbp)
	jl	.L10
	movl	$0, %eax
	call	IsReachable
	testl	%eax, %eax
	jne	.L11
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	jmp	.L12
.L11:
	movl	$0, -8(%rbp)
	jmp	.L13
.L14:
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	movl	%eax, -4(%rbp)
	movl	n(%rip), %eax
	subl	-8(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	movl	-8(%rbp), %edx
	movslq	%edx, %rdx
	leaq	0(,%rdx,4), %rcx
	leaq	bounce(%rip), %rdx
	movl	%eax, (%rcx,%rdx)
	movl	n(%rip), %eax
	subl	-8(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,4), %rcx
	leaq	bounce(%rip), %rdx
	movl	-4(%rbp), %eax
	movl	%eax, (%rcx,%rdx)
	addl	$1, -8(%rbp)
.L13:
	movl	n(%rip), %eax
	movl	%eax, %edx
	shrl	$31, %edx
	addl	%edx, %eax
	sarl	%eax
	cmpl	%eax, -8(%rbp)
	jl	.L14
	movl	$0, %eax
	call	IsReachable
	testl	%eax, %eax
	jne	.L15
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	jmp	.L16
.L15:
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
.L16:
	movl	$0, %eax
.L12:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.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	IsReachable
	.type	IsReachable, @function
IsReachable:
.LFB23:
	.cfi_startproc
	endbr64
	movl	n(%rip), %eax
	testl	%eax, %eax
	jle	.L6
	leal	(%rax,%rax,4), %edi
	leaq	bounce(%rip), %rsi
	xorl	%eax, %eax
	xorl	%edx, %edx
	addl	%edi, %edi
	leal	-10(%rdi), %r8d
	jmp	.L3
	.p2align 4,,10
	.p2align 3
.L9:
	cmpl	%edx, %r8d
	je	.L6
	addl	$10, %edx
	addq	$4, %rsi
	cmpl	%edx, %eax
	jl	.L6
.L3:
	movl	(%rsi), %ecx
	addl	%edx, %ecx
	cmpl	%ecx, %eax
	cmovl	%ecx, %eax
	cmpl	%edi, %eax
	jl	.L9
	movl	$1, %eax
	ret
	.p2align 4,,10
	.p2align 3
.L6:
	xorl	%eax, %eax
	ret
	.cfi_endproc
.LFE23:
	.size	IsReachable, .-IsReachable
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%d"
.LC1:
	.string	"yes"
.LC2:
	.string	"no"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB24:
	.cfi_startproc
	endbr64
	pushq	%r14
	.cfi_def_cfa_offset 16
	.cfi_offset 14, -16
	leaq	.LC0(%rip), %r14
	leaq	n(%rip), %rsi
	xorl	%eax, %eax
	pushq	%r13
	.cfi_def_cfa_offset 24
	.cfi_offset 13, -24
	movq	%r14, %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
	movl	n(%rip), %eax
	testl	%eax, %eax
	jle	.L11
	leaq	bounce(%rip), %rbp
	xorl	%ebx, %ebx
	movq	%rbp, %r13
	movq	%rbp, %r12
	.p2align 4,,10
	.p2align 3
.L12:
	movq	%r12, %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	addl	$1, %ebx
	call	__isoc99_scanf@PLT
	movl	n(%rip), %edi
	addq	$4, %r12
	cmpl	%ebx, %edi
	jg	.L12
	testl	%edi, %edi
	jle	.L11
	movl	bounce(%rip), %eax
	xorl	%edx, %edx
	leal	(%rdi,%rdi,4), %ecx
	leaq	4+bounce(%rip), %r9
	movq	%r9, %rsi
	testl	%eax, %eax
	cmovs	%edx, %eax
	addl	%ecx, %ecx
	movl	$10, %edx
	cmpl	%eax, %ecx
	jg	.L16
	jmp	.L48
	.p2align 4,,10
	.p2align 3
.L19:
	cmpl	%eax, %edx
	jg	.L11
	movl	(%rsi), %r8d
	addl	%edx, %r8d
	cmpl	%r8d, %eax
	cmovl	%r8d, %eax
	addq	$4, %rsi
	addl	$10, %edx
	cmpl	%ecx, %eax
	jge	.L49
.L16:
	cmpl	%edx, %ecx
	jne	.L19
.L11:
	leaq	.LC2(%rip), %rdi
	call	puts@PLT
.L46:
	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
.L49:
	.cfi_restore_state
	movl	%edi, %esi
	sarl	%esi
.L31:
	movslq	%esi, %rax
	movslq	%edi, %rdx
	movl	$4, %r8d
	xorl	%r10d, %r10d
	salq	$2, %rax
	salq	$2, %rdx
	subq	%rax, %r8
	testl	%esi, %esi
	cmovle	%r10, %r8
	addq	%r13, %rax
	leaq	-4(%rdx,%r8), %r8
	addq	%r13, %r8
	testl	%esi, %esi
	cmovle	%r9, %rax
	cmpq	%rax, %r8
	jb	.L20
	cmpl	$1, %esi
	jle	.L20
	testl	%esi, %esi
	movl	$1, %r8d
	cmovg	%esi, %r8d
	cmpl	$3, %esi
	jle	.L32
	leaq	16+bounce(%rip), %r9
	leaq	-16(%r13,%rdx), %rax
	movl	%r8d, %esi
	shrl	$2, %esi
	subl	$1, %esi
	salq	$4, %rsi
	addq	%r9, %rsi
	.p2align 4,,10
	.p2align 3
.L22:
	movdqu	(%rax), %xmm2
	movdqa	0(%rbp), %xmm0
	addq	$16, %rbp
	subq	$16, %rax
	pshufd	$27, %xmm2, %xmm1
	pshufd	$27, %xmm0, %xmm0
	movaps	%xmm1, -16(%rbp)
	movups	%xmm0, 16(%rax)
	cmpq	%rsi, %rbp
	jne	.L22
	movl	%r8d, %eax
	andl	$-4, %eax
	movl	%eax, %esi
	cmpl	%eax, %r8d
	je	.L27
.L21:
	subl	%eax, %r8d
	cmpl	$1, %r8d
	je	.L24
	salq	$2, %rax
	subq	$8, %rdx
	subq	%rax, %rdx
	leaq	0(%r13,%rax), %r9
	leaq	0(%r13,%rdx), %rax
	movq	(%r9), %xmm0
	movq	(%rax), %xmm1
	pshufd	$225, %xmm0, %xmm0
	pshufd	$225, %xmm1, %xmm1
	movq	%xmm1, (%r9)
	movq	%xmm0, (%rax)
	movl	%r8d, %eax
	andl	$-2, %eax
	addl	%eax, %esi
	cmpl	%eax, %r8d
	je	.L27
.L24:
	movl	%edi, %eax
	movslq	%esi, %rdx
	subl	%esi, %eax
	movl	0(%r13,%rdx,4), %r8d
	subl	$1, %eax
	cltq
	movl	0(%r13,%rax,4), %esi
	movl	%esi, 0(%r13,%rdx,4)
	movl	%r8d, 0(%r13,%rax,4)
.L27:
	movl	bounce(%rip), %eax
	xorl	%edx, %edx
	testl	%eax, %eax
	cmovs	%edx, %eax
	cmpl	%eax, %ecx
	jle	.L18
	leal	(%rdi,%rdi,4), %r8d
	leaq	4+bounce(%rip), %rsi
	movl	$10, %edx
	addl	%r8d, %r8d
	jmp	.L28
	.p2align 4,,10
	.p2align 3
.L29:
	cmpl	%eax, %edx
	jg	.L11
	movl	(%rsi), %edi
	addl	%edx, %edi
	cmpl	%edi, %eax
	cmovl	%edi, %eax
	addq	$4, %rsi
	addl	$10, %edx
	cmpl	%ecx, %eax
	jge	.L18
.L28:
	cmpl	%r8d, %edx
	jne	.L29
	jmp	.L11
.L48:
	cmpl	$1, %edi
	jne	.L50
.L18:
	leaq	.LC1(%rip), %rdi
	call	puts@PLT
	jmp	.L46
.L20:
	addq	%r13, %rdx
	xorl	%eax, %eax
	.p2align 4,,10
	.p2align 3
.L26:
	movl	-4(%rdx), %r9d
	movl	0(%r13,%rax,4), %r8d
	subq	$4, %rdx
	movl	%r9d, 0(%r13,%rax,4)
	addq	$1, %rax
	movl	%r8d, (%rdx)
	cmpl	%eax, %esi
	jg	.L26
	jmp	.L27
.L32:
	xorl	%eax, %eax
	xorl	%esi, %esi
	jmp	.L21
.L50:
	movl	%edi, %esi
	leaq	4+bounce(%rip), %r9
	sarl	%esi
	jmp	.L31
	.cfi_endproc
.LFE24:
	.size	main, .-main
	.globl	bounce
	.bss
	.align 32
	.type	bounce, @object
	.size	bounce, 1200000
bounce:
	.zero	1200000
	.globl	n
	.align 4
	.type	n, @object
	.size	n, 4
n:
	.zero	4
	.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	IsReachable
	.type	IsReachable, @function
IsReachable:
.LFB23:
	.cfi_startproc
	endbr64
	movl	n(%rip), %eax
	testl	%eax, %eax
	jle	.L6
	leal	(%rax,%rax,4), %edi
	leaq	bounce(%rip), %rsi
	xorl	%eax, %eax
	xorl	%edx, %edx
	addl	%edi, %edi
	leal	-10(%rdi), %r8d
	jmp	.L3
	.p2align 4,,10
	.p2align 3
.L9:
	cmpl	%edx, %r8d
	je	.L6
	addl	$10, %edx
	addq	$4, %rsi
	cmpl	%edx, %eax
	jl	.L6
.L3:
	movl	(%rsi), %ecx
	addl	%edx, %ecx
	cmpl	%ecx, %eax
	cmovl	%ecx, %eax
	cmpl	%edi, %eax
	jl	.L9
	movl	$1, %eax
	ret
	.p2align 4,,10
	.p2align 3
.L6:
	xorl	%eax, %eax
	ret
	.cfi_endproc
.LFE23:
	.size	IsReachable, .-IsReachable
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%d"
.LC1:
	.string	"yes"
.LC2:
	.string	"no"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB24:
	.cfi_startproc
	endbr64
	pushq	%r14
	.cfi_def_cfa_offset 16
	.cfi_offset 14, -16
	leaq	.LC0(%rip), %r14
	leaq	n(%rip), %rsi
	xorl	%eax, %eax
	pushq	%r13
	.cfi_def_cfa_offset 24
	.cfi_offset 13, -24
	movq	%r14, %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
	movl	n(%rip), %eax
	testl	%eax, %eax
	jle	.L11
	leaq	bounce(%rip), %rbp
	xorl	%ebx, %ebx
	movq	%rbp, %r13
	movq	%rbp, %r12
	.p2align 4,,10
	.p2align 3
.L12:
	movq	%r12, %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	addl	$1, %ebx
	call	__isoc99_scanf@PLT
	movl	n(%rip), %edi
	addq	$4, %r12
	cmpl	%ebx, %edi
	jg	.L12
	testl	%edi, %edi
	jle	.L11
	movl	bounce(%rip), %eax
	xorl	%edx, %edx
	leal	(%rdi,%rdi,4), %ecx
	leaq	4+bounce(%rip), %r9
	movq	%r9, %rsi
	testl	%eax, %eax
	cmovs	%edx, %eax
	addl	%ecx, %ecx
	movl	$10, %edx
	cmpl	%eax, %ecx
	jg	.L16
	jmp	.L48
	.p2align 4,,10
	.p2align 3
.L19:
	cmpl	%eax, %edx
	jg	.L11
	movl	(%rsi), %r8d
	addl	%edx, %r8d
	cmpl	%r8d, %eax
	cmovl	%r8d, %eax
	addq	$4, %rsi
	addl	$10, %edx
	cmpl	%ecx, %eax
	jge	.L49
.L16:
	cmpl	%edx, %ecx
	jne	.L19
.L11:
	leaq	.LC2(%rip), %rdi
	call	puts@PLT
.L46:
	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
.L49:
	.cfi_restore_state
	movl	%edi, %esi
	sarl	%esi
.L31:
	movslq	%esi, %rax
	movslq	%edi, %rdx
	movl	$4, %r8d
	xorl	%r10d, %r10d
	salq	$2, %rax
	salq	$2, %rdx
	subq	%rax, %r8
	testl	%esi, %esi
	cmovle	%r10, %r8
	addq	%r13, %rax
	leaq	-4(%rdx,%r8), %r8
	addq	%r13, %r8
	testl	%esi, %esi
	cmovle	%r9, %rax
	cmpq	%rax, %r8
	jb	.L20
	cmpl	$1, %esi
	jle	.L20
	testl	%esi, %esi
	movl	$1, %r8d
	cmovg	%esi, %r8d
	cmpl	$3, %esi
	jle	.L32
	leaq	16+bounce(%rip), %r9
	leaq	-16(%r13,%rdx), %rax
	movl	%r8d, %esi
	shrl	$2, %esi
	subl	$1, %esi
	salq	$4, %rsi
	addq	%r9, %rsi
	.p2align 4,,10
	.p2align 3
.L22:
	movdqu	(%rax), %xmm2
	movdqa	0(%rbp), %xmm0
	addq	$16, %rbp
	subq	$16, %rax
	pshufd	$27, %xmm2, %xmm1
	pshufd	$27, %xmm0, %xmm0
	movaps	%xmm1, -16(%rbp)
	movups	%xmm0, 16(%rax)
	cmpq	%rsi, %rbp
	jne	.L22
	movl	%r8d, %eax
	andl	$-4, %eax
	movl	%eax, %esi
	cmpl	%eax, %r8d
	je	.L27
.L21:
	subl	%eax, %r8d
	cmpl	$1, %r8d
	je	.L24
	salq	$2, %rax
	subq	$8, %rdx
	subq	%rax, %rdx
	leaq	0(%r13,%rax), %r9
	leaq	0(%r13,%rdx), %rax
	movq	(%r9), %xmm0
	movq	(%rax), %xmm1
	pshufd	$225, %xmm0, %xmm0
	pshufd	$225, %xmm1, %xmm1
	movq	%xmm1, (%r9)
	movq	%xmm0, (%rax)
	movl	%r8d, %eax
	andl	$-2, %eax
	addl	%eax, %esi
	cmpl	%eax, %r8d
	je	.L27
.L24:
	movl	%edi, %eax
	movslq	%esi, %rdx
	subl	%esi, %eax
	movl	0(%r13,%rdx,4), %r8d
	subl	$1, %eax
	cltq
	movl	0(%r13,%rax,4), %esi
	movl	%esi, 0(%r13,%rdx,4)
	movl	%r8d, 0(%r13,%rax,4)
.L27:
	movl	bounce(%rip), %eax
	xorl	%edx, %edx
	testl	%eax, %eax
	cmovs	%edx, %eax
	cmpl	%eax, %ecx
	jle	.L18
	leal	(%rdi,%rdi,4), %r8d
	leaq	4+bounce(%rip), %rsi
	movl	$10, %edx
	addl	%r8d, %r8d
	jmp	.L28
	.p2align 4,,10
	.p2align 3
.L29:
	cmpl	%eax, %edx
	jg	.L11
	movl	(%rsi), %edi
	addl	%edx, %edi
	cmpl	%edi, %eax
	cmovl	%edi, %eax
	addq	$4, %rsi
	addl	$10, %edx
	cmpl	%ecx, %eax
	jge	.L18
.L28:
	cmpl	%r8d, %edx
	jne	.L29
	jmp	.L11
.L48:
	cmpl	$1, %edi
	jne	.L50
.L18:
	leaq	.LC1(%rip), %rdi
	call	puts@PLT
	jmp	.L46
.L20:
	addq	%r13, %rdx
	xorl	%eax, %eax
	.p2align 4,,10
	.p2align 3
.L26:
	movl	-4(%rdx), %r9d
	movl	0(%r13,%rax,4), %r8d
	subq	$4, %rdx
	movl	%r9d, 0(%r13,%rax,4)
	addq	$1, %rax
	movl	%r8d, (%rdx)
	cmpl	%eax, %esi
	jg	.L26
	jmp	.L27
.L32:
	xorl	%eax, %eax
	xorl	%esi, %esi
	jmp	.L21
.L50:
	movl	%edi, %esi
	leaq	4+bounce(%rip), %r9
	sarl	%esi
	jmp	.L31
	.cfi_endproc
.LFE24:
	.size	main, .-main
	.globl	bounce
	.bss
	.align 32
	.type	bounce, @object
	.size	bounce, 1200000
bounce:
	.zero	1200000
	.globl	n
	.align 4
	.type	n, @object
	.size	n, 4
n:
	.zero	4
	.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>

int n;
int bounce[300000];

int IsReachable() {
    int i, current = 0;
    for ( i=0; i<n; ++i ) {
	if ( current < 10*i ) return 0;
	if ( current < 10*i + bounce[i] ) current = 10*i + bounce[i];
	if ( current >= 10*n ) return 1;
    }
    return 0;
}

int main() {
    int i;
    scanf("%d", &n);
    for ( i=0; i<n; ++i ) scanf("%d", &bounce[i]);
    if ( !IsReachable() ) {
	printf("no\n");
	return 0;
    }
    
    for ( i=0; i<n/2; ++i ) {
	int tmp = bounce[i];
	bounce[i] = bounce[n-i-1];
	bounce[n-i-1] = tmp;
    }
    if ( !IsReachable() ) printf("no\n");
    else printf("yes\n");
    
    return 0;
}


4
20
51
1
20
 4
20
5
17
1
 3
12
5
10
 4
37
51
1
20
 4
20
5
5
1
 3
20
5
10
 4
54
51
1
20
 4
35
5
5
1
 3
20
5
5
 4
84
51
1
20

yes
 no
 no
 yes
 no
 no
 yes
 no
 no
 yes

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>

int n;
int bounce[300000];

int IsReachable() {
    int i, current = 0;
    for ( i=0; i<n; ++i ) {
	if ( current < 10*i ) return 0;
	if ( current < 10*i + bounce[i] ) current = 10*i + bounce[i];
	if ( current >= 10*n ) return 1;
    }
    return 0;
}

int main() {
    int i;
    scanf("%d", &n);
    for ( i=0; i<n; ++i ) scanf("%d", &bounce[i]);
    if ( !IsReachable() ) {
	printf("no\n");
	return 0;
    }
    
    for ( i=0; i<n/2; ++i ) {
	int tmp = bounce[i];
	bounce[i] = bounce[n-i-1];
	bounce[n-i-1] = tmp;
    }
    if ( !IsReachable() ) printf("no\n");
    else printf("yes\n");
    
    return 0;
}

```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	n
	.bss
	.align 4
	.type	n, @object
	.size	n, 4
n:
	.zero	4
	.globl	bounce
	.align 32
	.type	bounce, @object
	.size	bounce, 1200000
bounce:
	.zero	1200000
	.text
	.globl	IsReachable
	.type	IsReachable, @function
IsReachable:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	$0, -4(%rbp)
	movl	$0, -8(%rbp)
	jmp	.L2
.L7:
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	cmpl	%eax, -4(%rbp)
	jge	.L3
	movl	$0, %eax
	jmp	.L4
.L3:
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	movl	%eax, %ecx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	addl	%ecx, %eax
	cmpl	%eax, -4(%rbp)
	jge	.L5
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	movl	%eax, %ecx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	addl	%ecx, %eax
	movl	%eax, -4(%rbp)
.L5:
	movl	n(%rip), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	cmpl	%eax, -4(%rbp)
	jl	.L6
	movl	$1, %eax
	jmp	.L4
.L6:
	addl	$1, -8(%rbp)
.L2:
	movl	n(%rip), %eax
	cmpl	%eax, -8(%rbp)
	jl	.L7
	movl	$0, %eax
.L4:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	IsReachable, .-IsReachable
	.section	.rodata
.LC0:
	.string	"%d"
.LC1:
	.string	"no"
.LC2:
	.string	"yes"
	.text
	.globl	main
	.type	main, @function
main:
.LFB1:
	.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
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	$0, -8(%rbp)
	jmp	.L9
.L10:
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addl	$1, -8(%rbp)
.L9:
	movl	n(%rip), %eax
	cmpl	%eax, -8(%rbp)
	jl	.L10
	movl	$0, %eax
	call	IsReachable
	testl	%eax, %eax
	jne	.L11
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	jmp	.L12
.L11:
	movl	$0, -8(%rbp)
	jmp	.L13
.L14:
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	movl	%eax, -4(%rbp)
	movl	n(%rip), %eax
	subl	-8(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	movl	-8(%rbp), %edx
	movslq	%edx, %rdx
	leaq	0(,%rdx,4), %rcx
	leaq	bounce(%rip), %rdx
	movl	%eax, (%rcx,%rdx)
	movl	n(%rip), %eax
	subl	-8(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,4), %rcx
	leaq	bounce(%rip), %rdx
	movl	-4(%rbp), %eax
	movl	%eax, (%rcx,%rdx)
	addl	$1, -8(%rbp)
.L13:
	movl	n(%rip), %eax
	movl	%eax, %edx
	shrl	$31, %edx
	addl	%edx, %eax
	sarl	%eax
	cmpl	%eax, -8(%rbp)
	jl	.L14
	movl	$0, %eax
	call	IsReachable
	testl	%eax, %eax
	jne	.L15
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	jmp	.L16
.L15:
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
.L16:
	movl	$0, %eax
.L12:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.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	n
	.bss
	.align 4
	.type	n, @object
	.size	n, 4
n:
	.zero	4
	.globl	bounce
	.align 32
	.type	bounce, @object
	.size	bounce, 1200000
bounce:
	.zero	1200000
	.text
	.globl	IsReachable
	.type	IsReachable, @function
IsReachable:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	$0, -4(%rbp)
	movl	$0, -8(%rbp)
	jmp	.L2
.L7:
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	cmpl	%eax, -4(%rbp)
	jge	.L3
	movl	$0, %eax
	jmp	.L4
.L3:
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	movl	%eax, %ecx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	addl	%ecx, %eax
	cmpl	%eax, -4(%rbp)
	jge	.L5
	movl	-8(%rbp), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	movl	%eax, %ecx
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	addl	%ecx, %eax
	movl	%eax, -4(%rbp)
.L5:
	movl	n(%rip), %edx
	movl	%edx, %eax
	sall	$2, %eax
	addl	%edx, %eax
	addl	%eax, %eax
	cmpl	%eax, -4(%rbp)
	jl	.L6
	movl	$1, %eax
	jmp	.L4
.L6:
	addl	$1, -8(%rbp)
.L2:
	movl	n(%rip), %eax
	cmpl	%eax, -8(%rbp)
	jl	.L7
	movl	$0, %eax
.L4:
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	IsReachable, .-IsReachable
	.section	.rodata
.LC0:
	.string	"%d"
.LC1:
	.string	"no"
.LC2:
	.string	"yes"
	.text
	.globl	main
	.type	main, @function
main:
.LFB1:
	.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
	leaq	n(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	$0, -8(%rbp)
	jmp	.L9
.L10:
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	addq	%rdx, %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	addl	$1, -8(%rbp)
.L9:
	movl	n(%rip), %eax
	cmpl	%eax, -8(%rbp)
	jl	.L10
	movl	$0, %eax
	call	IsReachable
	testl	%eax, %eax
	jne	.L11
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	jmp	.L12
.L11:
	movl	$0, -8(%rbp)
	jmp	.L13
.L14:
	movl	-8(%rbp), %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	movl	%eax, -4(%rbp)
	movl	n(%rip), %eax
	subl	-8(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,4), %rdx
	leaq	bounce(%rip), %rax
	movl	(%rdx,%rax), %eax
	movl	-8(%rbp), %edx
	movslq	%edx, %rdx
	leaq	0(,%rdx,4), %rcx
	leaq	bounce(%rip), %rdx
	movl	%eax, (%rcx,%rdx)
	movl	n(%rip), %eax
	subl	-8(%rbp), %eax
	subl	$1, %eax
	cltq
	leaq	0(,%rax,4), %rcx
	leaq	bounce(%rip), %rdx
	movl	-4(%rbp), %eax
	movl	%eax, (%rcx,%rdx)
	addl	$1, -8(%rbp)
.L13:
	movl	n(%rip), %eax
	movl	%eax, %edx
	shrl	$31, %edx
	addl	%edx, %eax
	sarl	%eax
	cmpl	%eax, -8(%rbp)
	jl	.L14
	movl	$0, %eax
	call	IsReachable
	testl	%eax, %eax
	jne	.L15
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	jmp	.L16
.L15:
	leaq	.LC2(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
.L16:
	movl	$0, %eax
.L12:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.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:
