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>
#define ll long long
#define rep(i,l,r)for(ll i=(l);i<(r);i++)
#define repp(i,l,r,k)for(ll i=(l);i<(r);i+=(k))

char s[9000];
ll d[9000];
ll xx[20000],*x=xx+10000;
ll yy[20000],*y=yy+10000;
ll tt[20000],*t=tt+10000;

int main(){
	scanf("%s",s);
	int len=strlen(s);
	
	int cnt=0;
	rep(i,0,len){
		if(s[i]=='F')d[cnt]++;
		else cnt++;
	}
	cnt++;
	
	x[d[0]]=1;
	repp(i,2,cnt,2)if(d[i]){
		//x
		rep(k,-8500,8500){
			t[k]=0;
			if(abs(k+d[i])<8500)t[k]|=x[k+d[i]];
			if(abs(k-d[i])<8500)t[k]|=x[k-d[i]];
		}
		rep(k,-8500,8500)x[k]=t[k];
	}
	
	y[0]=1;
	repp(i,1,cnt,2)if(d[i]){
		//y
		rep(k,-8500,8500){
			t[k]=0;
			if(abs(k+d[i])<8500)t[k]|=y[k+d[i]];
			if(abs(k-d[i])<8500)t[k]|=y[k-d[i]];
		}
		rep(k,-8500,8500)y[k]=t[k];
	}
		
	int p,q;
	scanf("%d%d",&p,&q);
	puts(x[p]&y[q]?"Yes":"No");
	return 0;
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	s
	.bss
	.align 32
	.type	s, @object
	.size	s, 9000
s:
	.zero	9000
	.globl	d
	.align 32
	.type	d, @object
	.size	d, 72000
d:
	.zero	72000
	.globl	xx
	.align 32
	.type	xx, @object
	.size	xx, 160000
xx:
	.zero	160000
	.globl	x
	.section	.data.rel.local,"aw"
	.align 8
	.type	x, @object
	.size	x, 8
x:
	.quad	xx+80000
	.globl	yy
	.bss
	.align 32
	.type	yy, @object
	.size	yy, 160000
yy:
	.zero	160000
	.globl	y
	.section	.data.rel.local
	.align 8
	.type	y, @object
	.size	y, 8
y:
	.quad	yy+80000
	.globl	tt
	.bss
	.align 32
	.type	tt, @object
	.size	tt, 160000
tt:
	.zero	160000
	.globl	t
	.section	.data.rel.local
	.align 8
	.type	t, @object
	.size	t, 8
t:
	.quad	tt+80000
	.section	.rodata
.LC0:
	.string	"%s"
.LC1:
	.string	"%d%d"
.LC2:
	.string	"Yes"
.LC3:
	.string	"No"
	.text
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$80, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	s(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	movl	%eax, -68(%rbp)
	movl	$0, -72(%rbp)
	movq	$0, -64(%rbp)
	jmp	.L2
.L5:
	leaq	s(%rip), %rdx
	movq	-64(%rbp), %rax
	addq	%rdx, %rax
	movzbl	(%rax), %eax
	cmpb	$70, %al
	jne	.L3
	movl	-72(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	leaq	1(%rax), %rcx
	movl	-72(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	jmp	.L4
.L3:
	addl	$1, -72(%rbp)
.L4:
	addq	$1, -64(%rbp)
.L2:
	movl	-68(%rbp), %eax
	cltq
	cmpq	%rax, -64(%rbp)
	jl	.L5
	addl	$1, -72(%rbp)
	movq	x(%rip), %rdx
	movq	d(%rip), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$1, (%rax)
	movq	$2, -56(%rbp)
	jmp	.L6
.L14:
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	testq	%rax, %rax
	je	.L7
	movq	$-8500, -48(%rbp)
	jmp	.L8
.L11:
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$0, (%rax)
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-48(%rbp), %rax
	addl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L9
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-48(%rbp), %rax
	addl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L9
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	x(%rip), %rsi
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-48(%rbp), %rax
	addq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L9:
	movq	-48(%rbp), %rax
	movl	%eax, %ecx
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L10
	movq	-48(%rbp), %rax
	movl	%eax, %ecx
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L10
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	x(%rip), %rsi
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-48(%rbp), %rax
	subq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L10:
	addq	$1, -48(%rbp)
.L8:
	cmpq	$8499, -48(%rbp)
	jle	.L11
	movq	$-8500, -40(%rbp)
	jmp	.L12
.L13:
	movq	t(%rip), %rdx
	movq	-40(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	x(%rip), %rcx
	movq	-40(%rbp), %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movq	(%rax), %rax
	movq	%rax, (%rdx)
	addq	$1, -40(%rbp)
.L12:
	cmpq	$8499, -40(%rbp)
	jle	.L13
.L7:
	addq	$2, -56(%rbp)
.L6:
	movl	-72(%rbp), %eax
	cltq
	cmpq	%rax, -56(%rbp)
	jl	.L14
	movq	y(%rip), %rax
	movq	$1, (%rax)
	movq	$1, -32(%rbp)
	jmp	.L15
.L23:
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	testq	%rax, %rax
	je	.L16
	movq	$-8500, -24(%rbp)
	jmp	.L17
.L20:
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$0, (%rax)
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-24(%rbp), %rax
	addl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L18
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-24(%rbp), %rax
	addl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L18
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	y(%rip), %rsi
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-24(%rbp), %rax
	addq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L18:
	movq	-24(%rbp), %rax
	movl	%eax, %ecx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L19
	movq	-24(%rbp), %rax
	movl	%eax, %ecx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L19
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	y(%rip), %rsi
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-24(%rbp), %rax
	subq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L19:
	addq	$1, -24(%rbp)
.L17:
	cmpq	$8499, -24(%rbp)
	jle	.L20
	movq	$-8500, -16(%rbp)
	jmp	.L21
.L22:
	movq	t(%rip), %rdx
	movq	-16(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	y(%rip), %rcx
	movq	-16(%rbp), %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movq	(%rax), %rax
	movq	%rax, (%rdx)
	addq	$1, -16(%rbp)
.L21:
	cmpq	$8499, -16(%rbp)
	jle	.L22
.L16:
	addq	$2, -32(%rbp)
.L15:
	movl	-72(%rbp), %eax
	cltq
	cmpq	%rax, -32(%rbp)
	jl	.L23
	leaq	-76(%rbp), %rdx
	leaq	-80(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movq	x(%rip), %rdx
	movl	-80(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rdx
	movq	y(%rip), %rcx
	movl	-76(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movq	(%rax), %rax
	andq	%rdx, %rax
	testq	%rax, %rax
	je	.L24
	leaq	.LC2(%rip), %rax
	jmp	.L25
.L24:
	leaq	.LC3(%rip), %rax
.L25:
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L27
	call	__stack_chk_fail@PLT
.L27:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
```

Only output the optimized assembly code. Do not include any other text. Do not write any comments in the assembly code. Wrap the assembly code in ```assembly``` tags.
user
	.file	"temp.c"
	.text
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"Yes"
.LC1:
	.string	"No"
.LC2:
	.string	"%s"
.LC3:
	.string	"%d%d"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB51:
	.cfi_startproc
	endbr64
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	leaq	.LC2(%rip), %rdi
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	leaq	s(%rip), %rbx
	movq	%rbx, %rsi
	subq	$24, %rsp
	.cfi_def_cfa_offset 64
	movq	%fs:40, %rax
	movq	%rax, 8(%rsp)
	xorl	%eax, %eax
	call	__isoc99_scanf@PLT
	movq	%rbx, %rdi
	call	strlen@PLT
	testq	%rax, %rax
	je	.L2
	leaq	(%rbx,%rax), %rcx
	movq	%rbx, %rdx
	leaq	d(%rip), %rdi
	xorl	%eax, %eax
	jmp	.L5
	.p2align 4,,10
	.p2align 3
.L51:
	addq	$1, %rdx
	addl	$1, %eax
	cmpq	%rcx, %rdx
	je	.L50
.L5:
	cmpb	$70, (%rdx)
	jne	.L51
	movslq	%eax, %rsi
	addq	$1, %rdx
	addq	$1, (%rdi,%rsi,8)
	cmpq	%rcx, %rdx
	jne	.L5
.L50:
	movq	x(%rip), %rbx
	movq	d(%rip), %rdx
	addl	$1, %eax
	movslq	%eax, %r8
	movq	$1, (%rbx,%rdx,8)
	cmpl	$2, %eax
	jle	.L6
	movq	t(%rip), %rsi
	leaq	16+d(%rip), %r11
	leaq	-24(,%r8,8), %rbp
	andq	$-16, %rbp
	leaq	16(%r11), %rax
	leaq	-68000(%rbx), %r12
	addq	%rax, %rbp
	leaq	-67992(%rsi), %r9
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L14:
	addq	$16, %r11
	cmpq	%rbp, %r11
	je	.L52
.L8:
	cmpq	$0, (%r11)
	je	.L14
	movq	$-8500, %rax
	jmp	.L7
	.p2align 4,,10
	.p2align 3
.L11:
	addq	$1, %rax
	cmpq	$8500, %rax
	je	.L53
.L7:
	movq	$0, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%eax, %edx
	xorl	%r10d, %r10d
	leal	8499(%rcx,%rax), %r13d
	movl	%ecx, %edi
	cmpl	$16998, %r13d
	jbe	.L54
.L10:
	addl	$8499, %edx
	subl	%edi, %edx
	cmpl	$16998, %edx
	ja	.L11
	movq	%rax, %rdx
	subq	%rcx, %rdx
	orq	(%rbx,%rdx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L7
.L53:
	cmpq	%r12, %r9
	je	.L32
	movq	$-68000, %rax
	.p2align 4,,10
	.p2align 3
.L13:
	movdqu	(%rsi,%rax), %xmm0
	movups	%xmm0, (%rbx,%rax)
	addq	$16, %rax
	cmpq	$68000, %rax
	jne	.L13
	addq	$16, %r11
	cmpq	%rbp, %r11
	jne	.L8
.L52:
	movq	y(%rip), %rbx
	movq	$1, (%rbx)
.L28:
	leaq	8+d(%rip), %r11
	leaq	-68000(%rbx), %r12
	movl	$1, %ebp
	jmp	.L20
	.p2align 4,,10
	.p2align 3
.L26:
	addq	$2, %rbp
	addq	$16, %r11
	cmpq	%r8, %rbp
	jge	.L21
.L20:
	cmpq	$0, (%r11)
	je	.L26
	movq	$-8500, %rax
	jmp	.L19
	.p2align 4,,10
	.p2align 3
.L23:
	addq	$1, %rax
	cmpq	$8500, %rax
	je	.L55
.L19:
	movq	$0, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%eax, %edx
	xorl	%r10d, %r10d
	leal	8499(%rcx,%rax), %r13d
	movl	%ecx, %edi
	cmpl	$16998, %r13d
	jbe	.L56
.L22:
	addl	$8499, %edx
	subl	%edi, %edx
	cmpl	$16998, %edx
	ja	.L23
	movq	%rax, %rdx
	subq	%rcx, %rdx
	orq	(%rbx,%rdx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L19
.L55:
	cmpq	%r12, %r9
	je	.L36
	movq	$-68000, %rax
	.p2align 4,,10
	.p2align 3
.L25:
	movdqu	(%rsi,%rax), %xmm1
	movups	%xmm1, (%rbx,%rax)
	addq	$16, %rax
	cmpq	$68000, %rax
	jne	.L25
	addq	$2, %rbp
	addq	$16, %r11
	cmpq	%r8, %rbp
	jl	.L20
.L21:
	leaq	4(%rsp), %rdx
	leaq	.LC3(%rip), %rdi
	xorl	%eax, %eax
	movq	%rsp, %rsi
	call	__isoc99_scanf@PLT
	movslq	(%rsp), %rdx
	movq	x(%rip), %rax
	leaq	.LC0(%rip), %rdi
	movslq	4(%rsp), %rcx
	movq	(%rax,%rdx,8), %rax
	movq	y(%rip), %rdx
	andq	(%rdx,%rcx,8), %rax
	leaq	.LC1(%rip), %rax
	cmove	%rax, %rdi
	call	puts@PLT
	movq	8(%rsp), %rax
	subq	%fs:40, %rax
	jne	.L57
	addq	$24, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 40
	xorl	%eax, %eax
	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
	.p2align 4,,10
	.p2align 3
.L54:
	.cfi_restore_state
	addq	%rax, %rcx
	movq	(%rbx,%rcx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%ecx, %edi
	jmp	.L10
	.p2align 4,,10
	.p2align 3
.L56:
	addq	%rax, %rcx
	movq	(%rbx,%rcx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%ecx, %edi
	jmp	.L22
.L32:
	movq	$-8500, %rax
	.p2align 4,,10
	.p2align 3
.L12:
	movq	(%rsi,%rax,8), %rdx
	movq	%rdx, (%rbx,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L12
	jmp	.L14
.L36:
	movq	$-8500, %rax
	.p2align 4,,10
	.p2align 3
.L24:
	movq	(%rsi,%rax,8), %rdx
	movq	%rdx, (%rbx,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L24
	jmp	.L26
.L2:
	movq	x(%rip), %rax
	movq	d(%rip), %rdx
	movq	$1, (%rax,%rdx,8)
	movq	y(%rip), %rax
	movq	$1, (%rax)
	jmp	.L21
.L6:
	movq	y(%rip), %rbx
	movq	$1, (%rbx)
	cmpq	$2, %r8
	jne	.L21
	movq	t(%rip), %rsi
	leaq	-67992(%rsi), %r9
	jmp	.L28
.L57:
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE51:
	.size	main, .-main
	.globl	t
	.section	.data.rel.local,"aw"
	.align 8
	.type	t, @object
	.size	t, 8
t:
	.quad	tt+80000
	.globl	tt
	.bss
	.align 32
	.type	tt, @object
	.size	tt, 160000
tt:
	.zero	160000
	.globl	y
	.section	.data.rel.local
	.align 8
	.type	y, @object
	.size	y, 8
y:
	.quad	yy+80000
	.globl	yy
	.bss
	.align 32
	.type	yy, @object
	.size	yy, 160000
yy:
	.zero	160000
	.globl	x
	.section	.data.rel.local
	.align 8
	.type	x, @object
	.size	x, 8
x:
	.quad	xx+80000
	.globl	xx
	.bss
	.align 32
	.type	xx, @object
	.size	xx, 160000
xx:
	.zero	160000
	.globl	d
	.align 32
	.type	d, @object
	.size	d, 72000
d:
	.zero	72000
	.globl	s
	.align 32
	.type	s, @object
	.size	s, 9000
s:
	.zero	9000
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:

rule
	.file	"temp.c"
	.text
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"Yes"
.LC1:
	.string	"No"
.LC2:
	.string	"%s"
.LC3:
	.string	"%d%d"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB51:
	.cfi_startproc
	endbr64
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	leaq	.LC2(%rip), %rdi
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	leaq	s(%rip), %rbx
	movq	%rbx, %rsi
	subq	$24, %rsp
	.cfi_def_cfa_offset 64
	movq	%fs:40, %rax
	movq	%rax, 8(%rsp)
	xorl	%eax, %eax
	call	__isoc99_scanf@PLT
	movq	%rbx, %rdi
	call	strlen@PLT
	testq	%rax, %rax
	je	.L2
	leaq	(%rbx,%rax), %rcx
	movq	%rbx, %rdx
	leaq	d(%rip), %rdi
	xorl	%eax, %eax
	jmp	.L5
	.p2align 4,,10
	.p2align 3
.L51:
	addq	$1, %rdx
	addl	$1, %eax
	cmpq	%rcx, %rdx
	je	.L50
.L5:
	cmpb	$70, (%rdx)
	jne	.L51
	movslq	%eax, %rsi
	addq	$1, %rdx
	addq	$1, (%rdi,%rsi,8)
	cmpq	%rcx, %rdx
	jne	.L5
.L50:
	movq	x(%rip), %rbx
	movq	d(%rip), %rdx
	addl	$1, %eax
	movslq	%eax, %r8
	movq	$1, (%rbx,%rdx,8)
	cmpl	$2, %eax
	jle	.L6
	movq	t(%rip), %rsi
	leaq	16+d(%rip), %r11
	leaq	-24(,%r8,8), %rbp
	andq	$-16, %rbp
	leaq	16(%r11), %rax
	leaq	-68000(%rbx), %r12
	addq	%rax, %rbp
	leaq	-67992(%rsi), %r9
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L14:
	addq	$16, %r11
	cmpq	%rbp, %r11
	je	.L52
.L8:
	cmpq	$0, (%r11)
	je	.L14
	movq	$-8500, %rax
	jmp	.L7
	.p2align 4,,10
	.p2align 3
.L11:
	addq	$1, %rax
	cmpq	$8500, %rax
	je	.L53
.L7:
	movq	$0, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%eax, %edx
	xorl	%r10d, %r10d
	leal	8499(%rcx,%rax), %r13d
	movl	%ecx, %edi
	cmpl	$16998, %r13d
	jbe	.L54
.L10:
	addl	$8499, %edx
	subl	%edi, %edx
	cmpl	$16998, %edx
	ja	.L11
	movq	%rax, %rdx
	subq	%rcx, %rdx
	orq	(%rbx,%rdx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L7
.L53:
	cmpq	%r12, %r9
	je	.L32
	movq	$-68000, %rax
	.p2align 4,,10
	.p2align 3
.L13:
	movdqu	(%rsi,%rax), %xmm0
	movups	%xmm0, (%rbx,%rax)
	addq	$16, %rax
	cmpq	$68000, %rax
	jne	.L13
	addq	$16, %r11
	cmpq	%rbp, %r11
	jne	.L8
.L52:
	movq	y(%rip), %rbx
	movq	$1, (%rbx)
.L28:
	leaq	8+d(%rip), %r11
	leaq	-68000(%rbx), %r12
	movl	$1, %ebp
	jmp	.L20
	.p2align 4,,10
	.p2align 3
.L26:
	addq	$2, %rbp
	addq	$16, %r11
	cmpq	%r8, %rbp
	jge	.L21
.L20:
	cmpq	$0, (%r11)
	je	.L26
	movq	$-8500, %rax
	jmp	.L19
	.p2align 4,,10
	.p2align 3
.L23:
	addq	$1, %rax
	cmpq	$8500, %rax
	je	.L55
.L19:
	movq	$0, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%eax, %edx
	xorl	%r10d, %r10d
	leal	8499(%rcx,%rax), %r13d
	movl	%ecx, %edi
	cmpl	$16998, %r13d
	jbe	.L56
.L22:
	addl	$8499, %edx
	subl	%edi, %edx
	cmpl	$16998, %edx
	ja	.L23
	movq	%rax, %rdx
	subq	%rcx, %rdx
	orq	(%rbx,%rdx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L19
.L55:
	cmpq	%r12, %r9
	je	.L36
	movq	$-68000, %rax
	.p2align 4,,10
	.p2align 3
.L25:
	movdqu	(%rsi,%rax), %xmm1
	movups	%xmm1, (%rbx,%rax)
	addq	$16, %rax
	cmpq	$68000, %rax
	jne	.L25
	addq	$2, %rbp
	addq	$16, %r11
	cmpq	%r8, %rbp
	jl	.L20
.L21:
	leaq	4(%rsp), %rdx
	leaq	.LC3(%rip), %rdi
	xorl	%eax, %eax
	movq	%rsp, %rsi
	call	__isoc99_scanf@PLT
	movslq	(%rsp), %rdx
	movq	x(%rip), %rax
	leaq	.LC0(%rip), %rdi
	movslq	4(%rsp), %rcx
	movq	(%rax,%rdx,8), %rax
	movq	y(%rip), %rdx
	andq	(%rdx,%rcx,8), %rax
	leaq	.LC1(%rip), %rax
	cmove	%rax, %rdi
	call	puts@PLT
	movq	8(%rsp), %rax
	subq	%fs:40, %rax
	jne	.L57
	addq	$24, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 40
	xorl	%eax, %eax
	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
	.p2align 4,,10
	.p2align 3
.L54:
	.cfi_restore_state
	addq	%rax, %rcx
	movq	(%rbx,%rcx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%ecx, %edi
	jmp	.L10
	.p2align 4,,10
	.p2align 3
.L56:
	addq	%rax, %rcx
	movq	(%rbx,%rcx,8), %r10
	movq	%r10, (%rsi,%rax,8)
	movq	(%r11), %rcx
	movl	%ecx, %edi
	jmp	.L22
.L32:
	movq	$-8500, %rax
	.p2align 4,,10
	.p2align 3
.L12:
	movq	(%rsi,%rax,8), %rdx
	movq	%rdx, (%rbx,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L12
	jmp	.L14
.L36:
	movq	$-8500, %rax
	.p2align 4,,10
	.p2align 3
.L24:
	movq	(%rsi,%rax,8), %rdx
	movq	%rdx, (%rbx,%rax,8)
	addq	$1, %rax
	cmpq	$8500, %rax
	jne	.L24
	jmp	.L26
.L2:
	movq	x(%rip), %rax
	movq	d(%rip), %rdx
	movq	$1, (%rax,%rdx,8)
	movq	y(%rip), %rax
	movq	$1, (%rax)
	jmp	.L21
.L6:
	movq	y(%rip), %rbx
	movq	$1, (%rbx)
	cmpq	$2, %r8
	jne	.L21
	movq	t(%rip), %rsi
	leaq	-67992(%rsi), %r9
	jmp	.L28
.L57:
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE51:
	.size	main, .-main
	.globl	t
	.section	.data.rel.local,"aw"
	.align 8
	.type	t, @object
	.size	t, 8
t:
	.quad	tt+80000
	.globl	tt
	.bss
	.align 32
	.type	tt, @object
	.size	tt, 160000
tt:
	.zero	160000
	.globl	y
	.section	.data.rel.local
	.align 8
	.type	y, @object
	.size	y, 8
y:
	.quad	yy+80000
	.globl	yy
	.bss
	.align 32
	.type	yy, @object
	.size	yy, 160000
yy:
	.zero	160000
	.globl	x
	.section	.data.rel.local
	.align 8
	.type	x, @object
	.size	x, 8
x:
	.quad	xx+80000
	.globl	xx
	.bss
	.align 32
	.type	xx, @object
	.size	xx, 160000
xx:
	.zero	160000
	.globl	d
	.align 32
	.type	d, @object
	.size	d, 72000
d:
	.zero	72000
	.globl	s
	.align 32
	.type	s, @object
	.size	s, 9000
s:
	.zero	9000
	.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>
#define ll long long
#define rep(i,l,r)for(ll i=(l);i<(r);i++)
#define repp(i,l,r,k)for(ll i=(l);i<(r);i+=(k))

char s[9000];
ll d[9000];
ll xx[20000],*x=xx+10000;
ll yy[20000],*y=yy+10000;
ll tt[20000],*t=tt+10000;

int main(){
	scanf("%s",s);
	int len=strlen(s);
	
	int cnt=0;
	rep(i,0,len){
		if(s[i]=='F')d[cnt]++;
		else cnt++;
	}
	cnt++;
	
	x[d[0]]=1;
	repp(i,2,cnt,2)if(d[i]){
		//x
		rep(k,-8500,8500){
			t[k]=0;
			if(abs(k+d[i])<8500)t[k]|=x[k+d[i]];
			if(abs(k-d[i])<8500)t[k]|=x[k-d[i]];
		}
		rep(k,-8500,8500)x[k]=t[k];
	}
	
	y[0]=1;
	repp(i,1,cnt,2)if(d[i]){
		//y
		rep(k,-8500,8500){
			t[k]=0;
			if(abs(k+d[i])<8500)t[k]|=y[k+d[i]];
			if(abs(k-d[i])<8500)t[k]|=y[k-d[i]];
		}
		rep(k,-8500,8500)y[k]=t[k];
	}
		
	int p,q;
	scanf("%d%d",&p,&q);
	puts(x[p]&y[q]?"Yes":"No");
	return 0;
}
UF
1 0
 FT
1 0
 FF
1 -1
 FFTTFF
1 0
 FTFFTFFF
-2 -3
 TTTT
1 -1
 FTFFTFFF
4 0
 UF
1 -1
 FF
0 -1
 FFTTFF
2 0

No
 Yes
 No
 No
 No
 No
 No
 No
 No
 No

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>
#define ll long long
#define rep(i,l,r)for(ll i=(l);i<(r);i++)
#define repp(i,l,r,k)for(ll i=(l);i<(r);i+=(k))

char s[9000];
ll d[9000];
ll xx[20000],*x=xx+10000;
ll yy[20000],*y=yy+10000;
ll tt[20000],*t=tt+10000;

int main(){
	scanf("%s",s);
	int len=strlen(s);
	
	int cnt=0;
	rep(i,0,len){
		if(s[i]=='F')d[cnt]++;
		else cnt++;
	}
	cnt++;
	
	x[d[0]]=1;
	repp(i,2,cnt,2)if(d[i]){
		//x
		rep(k,-8500,8500){
			t[k]=0;
			if(abs(k+d[i])<8500)t[k]|=x[k+d[i]];
			if(abs(k-d[i])<8500)t[k]|=x[k-d[i]];
		}
		rep(k,-8500,8500)x[k]=t[k];
	}
	
	y[0]=1;
	repp(i,1,cnt,2)if(d[i]){
		//y
		rep(k,-8500,8500){
			t[k]=0;
			if(abs(k+d[i])<8500)t[k]|=y[k+d[i]];
			if(abs(k-d[i])<8500)t[k]|=y[k-d[i]];
		}
		rep(k,-8500,8500)y[k]=t[k];
	}
		
	int p,q;
	scanf("%d%d",&p,&q);
	puts(x[p]&y[q]?"Yes":"No");
	return 0;
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	s
	.bss
	.align 32
	.type	s, @object
	.size	s, 9000
s:
	.zero	9000
	.globl	d
	.align 32
	.type	d, @object
	.size	d, 72000
d:
	.zero	72000
	.globl	xx
	.align 32
	.type	xx, @object
	.size	xx, 160000
xx:
	.zero	160000
	.globl	x
	.section	.data.rel.local,"aw"
	.align 8
	.type	x, @object
	.size	x, 8
x:
	.quad	xx+80000
	.globl	yy
	.bss
	.align 32
	.type	yy, @object
	.size	yy, 160000
yy:
	.zero	160000
	.globl	y
	.section	.data.rel.local
	.align 8
	.type	y, @object
	.size	y, 8
y:
	.quad	yy+80000
	.globl	tt
	.bss
	.align 32
	.type	tt, @object
	.size	tt, 160000
tt:
	.zero	160000
	.globl	t
	.section	.data.rel.local
	.align 8
	.type	t, @object
	.size	t, 8
t:
	.quad	tt+80000
	.section	.rodata
.LC0:
	.string	"%s"
.LC1:
	.string	"%d%d"
.LC2:
	.string	"Yes"
.LC3:
	.string	"No"
	.text
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$80, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	s(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	movl	%eax, -68(%rbp)
	movl	$0, -72(%rbp)
	movq	$0, -64(%rbp)
	jmp	.L2
.L5:
	leaq	s(%rip), %rdx
	movq	-64(%rbp), %rax
	addq	%rdx, %rax
	movzbl	(%rax), %eax
	cmpb	$70, %al
	jne	.L3
	movl	-72(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	leaq	1(%rax), %rcx
	movl	-72(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	jmp	.L4
.L3:
	addl	$1, -72(%rbp)
.L4:
	addq	$1, -64(%rbp)
.L2:
	movl	-68(%rbp), %eax
	cltq
	cmpq	%rax, -64(%rbp)
	jl	.L5
	addl	$1, -72(%rbp)
	movq	x(%rip), %rdx
	movq	d(%rip), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$1, (%rax)
	movq	$2, -56(%rbp)
	jmp	.L6
.L14:
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	testq	%rax, %rax
	je	.L7
	movq	$-8500, -48(%rbp)
	jmp	.L8
.L11:
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$0, (%rax)
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-48(%rbp), %rax
	addl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L9
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-48(%rbp), %rax
	addl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L9
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	x(%rip), %rsi
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-48(%rbp), %rax
	addq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L9:
	movq	-48(%rbp), %rax
	movl	%eax, %ecx
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L10
	movq	-48(%rbp), %rax
	movl	%eax, %ecx
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L10
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	x(%rip), %rsi
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-48(%rbp), %rax
	subq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L10:
	addq	$1, -48(%rbp)
.L8:
	cmpq	$8499, -48(%rbp)
	jle	.L11
	movq	$-8500, -40(%rbp)
	jmp	.L12
.L13:
	movq	t(%rip), %rdx
	movq	-40(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	x(%rip), %rcx
	movq	-40(%rbp), %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movq	(%rax), %rax
	movq	%rax, (%rdx)
	addq	$1, -40(%rbp)
.L12:
	cmpq	$8499, -40(%rbp)
	jle	.L13
.L7:
	addq	$2, -56(%rbp)
.L6:
	movl	-72(%rbp), %eax
	cltq
	cmpq	%rax, -56(%rbp)
	jl	.L14
	movq	y(%rip), %rax
	movq	$1, (%rax)
	movq	$1, -32(%rbp)
	jmp	.L15
.L23:
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	testq	%rax, %rax
	je	.L16
	movq	$-8500, -24(%rbp)
	jmp	.L17
.L20:
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$0, (%rax)
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-24(%rbp), %rax
	addl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L18
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-24(%rbp), %rax
	addl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L18
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	y(%rip), %rsi
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-24(%rbp), %rax
	addq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L18:
	movq	-24(%rbp), %rax
	movl	%eax, %ecx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L19
	movq	-24(%rbp), %rax
	movl	%eax, %ecx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L19
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	y(%rip), %rsi
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-24(%rbp), %rax
	subq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L19:
	addq	$1, -24(%rbp)
.L17:
	cmpq	$8499, -24(%rbp)
	jle	.L20
	movq	$-8500, -16(%rbp)
	jmp	.L21
.L22:
	movq	t(%rip), %rdx
	movq	-16(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	y(%rip), %rcx
	movq	-16(%rbp), %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movq	(%rax), %rax
	movq	%rax, (%rdx)
	addq	$1, -16(%rbp)
.L21:
	cmpq	$8499, -16(%rbp)
	jle	.L22
.L16:
	addq	$2, -32(%rbp)
.L15:
	movl	-72(%rbp), %eax
	cltq
	cmpq	%rax, -32(%rbp)
	jl	.L23
	leaq	-76(%rbp), %rdx
	leaq	-80(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movq	x(%rip), %rdx
	movl	-80(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rdx
	movq	y(%rip), %rcx
	movl	-76(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movq	(%rax), %rax
	andq	%rdx, %rax
	testq	%rax, %rax
	je	.L24
	leaq	.LC2(%rip), %rax
	jmp	.L25
.L24:
	leaq	.LC3(%rip), %rax
.L25:
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L27
	call	__stack_chk_fail@PLT
.L27:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
```

Only output the optimized assembly code. Do not include any other text. Do not write any comments in the assembly code. Wrap the assembly code in ```assembly``` tags.
train
	.file	"temp.c"
	.text
	.globl	s
	.bss
	.align 32
	.type	s, @object
	.size	s, 9000
s:
	.zero	9000
	.globl	d
	.align 32
	.type	d, @object
	.size	d, 72000
d:
	.zero	72000
	.globl	xx
	.align 32
	.type	xx, @object
	.size	xx, 160000
xx:
	.zero	160000
	.globl	x
	.section	.data.rel.local,"aw"
	.align 8
	.type	x, @object
	.size	x, 8
x:
	.quad	xx+80000
	.globl	yy
	.bss
	.align 32
	.type	yy, @object
	.size	yy, 160000
yy:
	.zero	160000
	.globl	y
	.section	.data.rel.local
	.align 8
	.type	y, @object
	.size	y, 8
y:
	.quad	yy+80000
	.globl	tt
	.bss
	.align 32
	.type	tt, @object
	.size	tt, 160000
tt:
	.zero	160000
	.globl	t
	.section	.data.rel.local
	.align 8
	.type	t, @object
	.size	t, 8
t:
	.quad	tt+80000
	.section	.rodata
.LC0:
	.string	"%s"
.LC1:
	.string	"%d%d"
.LC2:
	.string	"Yes"
.LC3:
	.string	"No"
	.text
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$80, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
	leaq	s(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	movl	%eax, -68(%rbp)
	movl	$0, -72(%rbp)
	movq	$0, -64(%rbp)
	jmp	.L2
.L5:
	leaq	s(%rip), %rdx
	movq	-64(%rbp), %rax
	addq	%rdx, %rax
	movzbl	(%rax), %eax
	cmpb	$70, %al
	jne	.L3
	movl	-72(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	leaq	1(%rax), %rcx
	movl	-72(%rbp), %eax
	cltq
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	%rcx, (%rdx,%rax)
	jmp	.L4
.L3:
	addl	$1, -72(%rbp)
.L4:
	addq	$1, -64(%rbp)
.L2:
	movl	-68(%rbp), %eax
	cltq
	cmpq	%rax, -64(%rbp)
	jl	.L5
	addl	$1, -72(%rbp)
	movq	x(%rip), %rdx
	movq	d(%rip), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$1, (%rax)
	movq	$2, -56(%rbp)
	jmp	.L6
.L14:
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	testq	%rax, %rax
	je	.L7
	movq	$-8500, -48(%rbp)
	jmp	.L8
.L11:
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$0, (%rax)
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-48(%rbp), %rax
	addl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L9
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-48(%rbp), %rax
	addl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L9
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	x(%rip), %rsi
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-48(%rbp), %rax
	addq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L9:
	movq	-48(%rbp), %rax
	movl	%eax, %ecx
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L10
	movq	-48(%rbp), %rax
	movl	%eax, %ecx
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L10
	movq	t(%rip), %rdx
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	x(%rip), %rsi
	movq	-56(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-48(%rbp), %rax
	subq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-48(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L10:
	addq	$1, -48(%rbp)
.L8:
	cmpq	$8499, -48(%rbp)
	jle	.L11
	movq	$-8500, -40(%rbp)
	jmp	.L12
.L13:
	movq	t(%rip), %rdx
	movq	-40(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	x(%rip), %rcx
	movq	-40(%rbp), %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movq	(%rax), %rax
	movq	%rax, (%rdx)
	addq	$1, -40(%rbp)
.L12:
	cmpq	$8499, -40(%rbp)
	jle	.L13
.L7:
	addq	$2, -56(%rbp)
.L6:
	movl	-72(%rbp), %eax
	cltq
	cmpq	%rax, -56(%rbp)
	jl	.L14
	movq	y(%rip), %rax
	movq	$1, (%rax)
	movq	$1, -32(%rbp)
	jmp	.L15
.L23:
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	testq	%rax, %rax
	je	.L16
	movq	$-8500, -24(%rbp)
	jmp	.L17
.L20:
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	$0, (%rax)
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-24(%rbp), %rax
	addl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L18
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movq	-24(%rbp), %rax
	addl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L18
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	y(%rip), %rsi
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-24(%rbp), %rax
	addq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L18:
	movq	-24(%rbp), %rax
	movl	%eax, %ecx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$-8499, %eax
	jl	.L19
	movq	-24(%rbp), %rax
	movl	%eax, %ecx
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rax
	movl	%eax, %edx
	movl	%ecx, %eax
	subl	%edx, %eax
	cmpl	$8499, %eax
	jg	.L19
	movq	t(%rip), %rdx
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rcx
	movq	y(%rip), %rsi
	movq	-32(%rbp), %rax
	leaq	0(,%rax,8), %rdx
	leaq	d(%rip), %rax
	movq	(%rdx,%rax), %rdx
	movq	-24(%rbp), %rax
	subq	%rdx, %rax
	salq	$3, %rax
	addq	%rsi, %rax
	movq	(%rax), %rdx
	movq	t(%rip), %rsi
	movq	-24(%rbp), %rax
	salq	$3, %rax
	addq	%rsi, %rax
	orq	%rcx, %rdx
	movq	%rdx, (%rax)
.L19:
	addq	$1, -24(%rbp)
.L17:
	cmpq	$8499, -24(%rbp)
	jle	.L20
	movq	$-8500, -16(%rbp)
	jmp	.L21
.L22:
	movq	t(%rip), %rdx
	movq	-16(%rbp), %rax
	salq	$3, %rax
	addq	%rdx, %rax
	movq	y(%rip), %rcx
	movq	-16(%rbp), %rdx
	salq	$3, %rdx
	addq	%rcx, %rdx
	movq	(%rax), %rax
	movq	%rax, (%rdx)
	addq	$1, -16(%rbp)
.L21:
	cmpq	$8499, -16(%rbp)
	jle	.L22
.L16:
	addq	$2, -32(%rbp)
.L15:
	movl	-72(%rbp), %eax
	cltq
	cmpq	%rax, -32(%rbp)
	jl	.L23
	leaq	-76(%rbp), %rdx
	leaq	-80(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC1(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movq	x(%rip), %rdx
	movl	-80(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rdx, %rax
	movq	(%rax), %rdx
	movq	y(%rip), %rcx
	movl	-76(%rbp), %eax
	cltq
	salq	$3, %rax
	addq	%rcx, %rax
	movq	(%rax), %rax
	andq	%rdx, %rax
	testq	%rax, %rax
	je	.L24
	leaq	.LC2(%rip), %rax
	jmp	.L25
.L24:
	leaq	.LC3(%rip), %rax
.L25:
	movq	%rax, %rdi
	call	puts@PLT
	movl	$0, %eax
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L27
	call	__stack_chk_fail@PLT
.L27:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	1f - 0f
	.long	4f - 1f
	.long	5
0:
	.string	"GNU"
1:
	.align 8
	.long	0xc0000002
	.long	3f - 2f
2:
	.long	0x3
3:
	.align 8
4:
