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

```c
t;i;K;char s[100001];main(){gets(s);scanf("%d",&K);
	for(;i<strlen(s)&&K;++i){
		if(s[i]>'a'&&('z'+1-s[i])<=K){
			K-='z'+1-s[i];
			s[i]='a';
		}
	}
	if(K){
		t=s[strlen(s)-1];
		s[strlen(s)-1]='a'+(t-'a'+K)%26;
	}
	K=!puts(s);
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	t
	.bss
	.align 4
	.type	t, @object
	.size	t, 4
t:
	.zero	4
	.globl	i
	.align 4
	.type	i, @object
	.size	i, 4
i:
	.zero	4
	.globl	K
	.align 4
	.type	K, @object
	.size	K, 4
K:
	.zero	4
	.globl	s
	.align 32
	.type	s, @object
	.size	s, 100001
s:
	.zero	100001
	.section	.rodata
.LC0:
	.string	"%d"
	.text
	.globl	main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pushq	%rbx
	subq	$8, %rsp
	.cfi_offset 3, -24
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	gets@PLT
	leaq	K(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	scanf@PLT
	jmp	.L2
.L5:
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movzbl	(%rax,%rdx), %eax
	cmpb	$97, %al
	jle	.L3
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movzbl	(%rax,%rdx), %eax
	movsbl	%al, %eax
	movl	$123, %edx
	subl	%eax, %edx
	movl	K(%rip), %eax
	cmpl	%eax, %edx
	jg	.L3
	movl	K(%rip), %edx
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rcx
	movzbl	(%rax,%rcx), %eax
	movsbl	%al, %eax
	movl	$123, %ecx
	subl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	movl	%eax, K(%rip)
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movb	$97, (%rax,%rdx)
.L3:
	movl	i(%rip), %eax
	addl	$1, %eax
	movl	%eax, i(%rip)
.L2:
	movl	i(%rip), %eax
	movslq	%eax, %rbx
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	cmpq	%rax, %rbx
	jnb	.L4
	movl	K(%rip), %eax
	testl	%eax, %eax
	jne	.L5
.L4:
	movl	K(%rip), %eax
	testl	%eax, %eax
	je	.L6
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	leaq	-1(%rax), %rdx
	leaq	s(%rip), %rax
	movzbl	(%rdx,%rax), %eax
	movsbl	%al, %eax
	movl	%eax, t(%rip)
	movl	t(%rip), %eax
	leal	-97(%rax), %edx
	movl	K(%rip), %eax
	addl	%edx, %eax
	movslq	%eax, %rdx
	imulq	$1321528399, %rdx, %rdx
	shrq	$32, %rdx
	sarl	$3, %edx
	movl	%eax, %ecx
	sarl	$31, %ecx
	subl	%ecx, %edx
	imull	$26, %edx, %ecx
	subl	%ecx, %eax
	movl	%eax, %edx
	movl	%edx, %eax
	leal	97(%rax), %ebx
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	leaq	-1(%rax), %rdx
	movl	%ebx, %ecx
	leaq	s(%rip), %rax
	movb	%cl, (%rdx,%rax)
.L6:
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	testl	%eax, %eax
	sete	%al
	movzbl	%al, %eax
	movl	%eax, K(%rip)
	movl	$0, %eax
	movq	-8(%rbp), %rbx
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.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	"%d"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	xorl	%eax, %eax
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	leaq	s(%rip), %r12
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	movq	%r12, %rdi
	movl	$123, %ebp
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	subq	$8, %rsp
	.cfi_def_cfa_offset 48
	call	gets@PLT
	leaq	K(%rip), %rsi
	leaq	.LC0(%rip), %rdi
	xorl	%eax, %eax
	call	scanf@PLT
	movl	K(%rip), %r13d
	movslq	i(%rip), %rbx
	jmp	.L2
	.p2align 4,,10
	.p2align 3
.L12:
	testl	%r13d, %r13d
	je	.L6
	movsbl	(%r12,%rbx), %eax
	cmpb	$97, %al
	jle	.L3
	movl	%ebp, %edx
	subl	%eax, %edx
	cmpl	%r13d, %edx
	jg	.L3
	subl	%edx, %r13d
	movb	$97, (%r12,%rbx)
	movl	%r13d, K(%rip)
.L3:
	leal	1(%rbx), %eax
	addq	$1, %rbx
	movl	%eax, i(%rip)
.L2:
	movq	%r12, %rdi
	call	strlen@PLT
	movq	%rax, %rcx
	cmpq	%rax, %rbx
	jb	.L12
	testl	%r13d, %r13d
	je	.L6
	movsbl	-1(%r12,%rax), %eax
	movl	$26, %esi
	movl	%eax, t(%rip)
	leal	-97(%rax,%r13), %eax
	cltd
	idivl	%esi
	addl	$97, %edx
	movb	%dl, -1(%r12,%rcx)
.L6:
	movq	%r12, %rdi
	call	puts@PLT
	testl	%eax, %eax
	sete	%al
	movzbl	%al, %eax
	movl	%eax, K(%rip)
	addq	$8, %rsp
	.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
	.cfi_endproc
.LFE0:
	.size	main, .-main
	.globl	s
	.bss
	.align 32
	.type	s, @object
	.size	s, 100001
s:
	.zero	100001
	.globl	K
	.align 4
	.type	K, @object
	.size	K, 4
K:
	.zero	4
	.globl	i
	.align 4
	.type	i, @object
	.size	i, 4
i:
	.zero	4
	.globl	t
	.align 4
	.type	t, @object
	.size	t, 4
t:
	.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
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC0:
	.string	"%d"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%r13
	.cfi_def_cfa_offset 16
	.cfi_offset 13, -16
	xorl	%eax, %eax
	pushq	%r12
	.cfi_def_cfa_offset 24
	.cfi_offset 12, -24
	leaq	s(%rip), %r12
	pushq	%rbp
	.cfi_def_cfa_offset 32
	.cfi_offset 6, -32
	movq	%r12, %rdi
	movl	$123, %ebp
	pushq	%rbx
	.cfi_def_cfa_offset 40
	.cfi_offset 3, -40
	subq	$8, %rsp
	.cfi_def_cfa_offset 48
	call	gets@PLT
	leaq	K(%rip), %rsi
	leaq	.LC0(%rip), %rdi
	xorl	%eax, %eax
	call	scanf@PLT
	movl	K(%rip), %r13d
	movslq	i(%rip), %rbx
	jmp	.L2
	.p2align 4,,10
	.p2align 3
.L12:
	testl	%r13d, %r13d
	je	.L6
	movsbl	(%r12,%rbx), %eax
	cmpb	$97, %al
	jle	.L3
	movl	%ebp, %edx
	subl	%eax, %edx
	cmpl	%r13d, %edx
	jg	.L3
	subl	%edx, %r13d
	movb	$97, (%r12,%rbx)
	movl	%r13d, K(%rip)
.L3:
	leal	1(%rbx), %eax
	addq	$1, %rbx
	movl	%eax, i(%rip)
.L2:
	movq	%r12, %rdi
	call	strlen@PLT
	movq	%rax, %rcx
	cmpq	%rax, %rbx
	jb	.L12
	testl	%r13d, %r13d
	je	.L6
	movsbl	-1(%r12,%rax), %eax
	movl	$26, %esi
	movl	%eax, t(%rip)
	leal	-97(%rax,%r13), %eax
	cltd
	idivl	%esi
	addl	$97, %edx
	movb	%dl, -1(%r12,%rcx)
.L6:
	movq	%r12, %rdi
	call	puts@PLT
	testl	%eax, %eax
	sete	%al
	movzbl	%al, %eax
	movl	%eax, K(%rip)
	addq	$8, %rsp
	.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
	.cfi_endproc
.LFE0:
	.size	main, .-main
	.globl	s
	.bss
	.align 32
	.type	s, @object
	.size	s, 100001
s:
	.zero	100001
	.globl	K
	.align 4
	.type	K, @object
	.size	K, 4
K:
	.zero	4
	.globl	i
	.align 4
	.type	i, @object
	.size	i, 4
i:
	.zero	4
	.globl	t
	.align 4
	.type	t, @object
	.size	t, 4
t:
	.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:

t;i;K;char s[100001];main(){gets(s);scanf("%d",&K);
	for(;i<strlen(s)&&K;++i){
		if(s[i]>'a'&&('z'+1-s[i])<=K){
			K-='z'+1-s[i];
			s[i]='a';
		}
	}
	if(K){
		t=s[strlen(s)-1];
		s[strlen(s)-1]='a'+(t-'a'+K)%26;
	}
	K=!puts(s);
}
codefestival
101
 xyz
1
 zyx
1
 cdoeffstival
101
 zyx
2
 cdoeffstival
111
 zyx
3
 lavitsffeodc
111
 xyz
2
 caoeffstivdl
111

aaaafeaaiaal
 xya
 ayx
 aaaaffaaiaal
 ayy
 aaaaafativam
 aax
 aaaaaaaaeadg
 xaz
 aaaaaaativdo

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

```c
t;i;K;char s[100001];main(){gets(s);scanf("%d",&K);
	for(;i<strlen(s)&&K;++i){
		if(s[i]>'a'&&('z'+1-s[i])<=K){
			K-='z'+1-s[i];
			s[i]='a';
		}
	}
	if(K){
		t=s[strlen(s)-1];
		s[strlen(s)-1]='a'+(t-'a'+K)%26;
	}
	K=!puts(s);
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	t
	.bss
	.align 4
	.type	t, @object
	.size	t, 4
t:
	.zero	4
	.globl	i
	.align 4
	.type	i, @object
	.size	i, 4
i:
	.zero	4
	.globl	K
	.align 4
	.type	K, @object
	.size	K, 4
K:
	.zero	4
	.globl	s
	.align 32
	.type	s, @object
	.size	s, 100001
s:
	.zero	100001
	.section	.rodata
.LC0:
	.string	"%d"
	.text
	.globl	main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pushq	%rbx
	subq	$8, %rsp
	.cfi_offset 3, -24
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	gets@PLT
	leaq	K(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	scanf@PLT
	jmp	.L2
.L5:
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movzbl	(%rax,%rdx), %eax
	cmpb	$97, %al
	jle	.L3
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movzbl	(%rax,%rdx), %eax
	movsbl	%al, %eax
	movl	$123, %edx
	subl	%eax, %edx
	movl	K(%rip), %eax
	cmpl	%eax, %edx
	jg	.L3
	movl	K(%rip), %edx
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rcx
	movzbl	(%rax,%rcx), %eax
	movsbl	%al, %eax
	movl	$123, %ecx
	subl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	movl	%eax, K(%rip)
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movb	$97, (%rax,%rdx)
.L3:
	movl	i(%rip), %eax
	addl	$1, %eax
	movl	%eax, i(%rip)
.L2:
	movl	i(%rip), %eax
	movslq	%eax, %rbx
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	cmpq	%rax, %rbx
	jnb	.L4
	movl	K(%rip), %eax
	testl	%eax, %eax
	jne	.L5
.L4:
	movl	K(%rip), %eax
	testl	%eax, %eax
	je	.L6
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	leaq	-1(%rax), %rdx
	leaq	s(%rip), %rax
	movzbl	(%rdx,%rax), %eax
	movsbl	%al, %eax
	movl	%eax, t(%rip)
	movl	t(%rip), %eax
	leal	-97(%rax), %edx
	movl	K(%rip), %eax
	addl	%edx, %eax
	movslq	%eax, %rdx
	imulq	$1321528399, %rdx, %rdx
	shrq	$32, %rdx
	sarl	$3, %edx
	movl	%eax, %ecx
	sarl	$31, %ecx
	subl	%ecx, %edx
	imull	$26, %edx, %ecx
	subl	%ecx, %eax
	movl	%eax, %edx
	movl	%edx, %eax
	leal	97(%rax), %ebx
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	leaq	-1(%rax), %rdx
	movl	%ebx, %ecx
	leaq	s(%rip), %rax
	movb	%cl, (%rdx,%rax)
.L6:
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	testl	%eax, %eax
	sete	%al
	movzbl	%al, %eax
	movl	%eax, K(%rip)
	movl	$0, %eax
	movq	-8(%rbp), %rbx
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.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	t
	.bss
	.align 4
	.type	t, @object
	.size	t, 4
t:
	.zero	4
	.globl	i
	.align 4
	.type	i, @object
	.size	i, 4
i:
	.zero	4
	.globl	K
	.align 4
	.type	K, @object
	.size	K, 4
K:
	.zero	4
	.globl	s
	.align 32
	.type	s, @object
	.size	s, 100001
s:
	.zero	100001
	.section	.rodata
.LC0:
	.string	"%d"
	.text
	.globl	main
	.type	main, @function
main:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	pushq	%rbx
	subq	$8, %rsp
	.cfi_offset 3, -24
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	gets@PLT
	leaq	K(%rip), %rax
	movq	%rax, %rsi
	leaq	.LC0(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	scanf@PLT
	jmp	.L2
.L5:
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movzbl	(%rax,%rdx), %eax
	cmpb	$97, %al
	jle	.L3
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movzbl	(%rax,%rdx), %eax
	movsbl	%al, %eax
	movl	$123, %edx
	subl	%eax, %edx
	movl	K(%rip), %eax
	cmpl	%eax, %edx
	jg	.L3
	movl	K(%rip), %edx
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rcx
	movzbl	(%rax,%rcx), %eax
	movsbl	%al, %eax
	movl	$123, %ecx
	subl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	movl	%eax, K(%rip)
	movl	i(%rip), %eax
	cltq
	leaq	s(%rip), %rdx
	movb	$97, (%rax,%rdx)
.L3:
	movl	i(%rip), %eax
	addl	$1, %eax
	movl	%eax, i(%rip)
.L2:
	movl	i(%rip), %eax
	movslq	%eax, %rbx
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	cmpq	%rax, %rbx
	jnb	.L4
	movl	K(%rip), %eax
	testl	%eax, %eax
	jne	.L5
.L4:
	movl	K(%rip), %eax
	testl	%eax, %eax
	je	.L6
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	leaq	-1(%rax), %rdx
	leaq	s(%rip), %rax
	movzbl	(%rdx,%rax), %eax
	movsbl	%al, %eax
	movl	%eax, t(%rip)
	movl	t(%rip), %eax
	leal	-97(%rax), %edx
	movl	K(%rip), %eax
	addl	%edx, %eax
	movslq	%eax, %rdx
	imulq	$1321528399, %rdx, %rdx
	shrq	$32, %rdx
	sarl	$3, %edx
	movl	%eax, %ecx
	sarl	$31, %ecx
	subl	%ecx, %edx
	imull	$26, %edx, %ecx
	subl	%ecx, %eax
	movl	%eax, %edx
	movl	%edx, %eax
	leal	97(%rax), %ebx
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	strlen@PLT
	leaq	-1(%rax), %rdx
	movl	%ebx, %ecx
	leaq	s(%rip), %rax
	movb	%cl, (%rdx,%rax)
.L6:
	leaq	s(%rip), %rax
	movq	%rax, %rdi
	call	puts@PLT
	testl	%eax, %eax
	sete	%al
	movzbl	%al, %eax
	movl	%eax, K(%rip)
	movl	$0, %eax
	movq	-8(%rbp), %rbx
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.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:
