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 from, battery, to;
double prob[16][16]; //残量iで, 地点jからbatteryへいける確率

double getProb(int lim, int start)
{
    int k;
    double ans;
    
    if (prob[lim][start] >= 0){
        return (prob[lim][start]);
    }
    
    if (start == battery && lim == 0){
        return (1);
    }
    if (lim == 0){
        return (0);
    }
    
    ans = 0.0;
    k = 4;
    
    if ((start + 1) % 3 && start + 1 != to){
        ans += 0.25 * getProb(lim - 1, start + 1);
        k--;
    }
    
    if (start % 3 && start - 1 != to){
        ans += 0.25 * getProb(lim - 1, start - 1);
        k--;
    }
    
    if (start + 3 < 9 && start + 3 != to){
        ans += 0.25 * getProb(lim - 1, start + 3);
        k--;
    }
    
    if (start - 3 >= 0 && start - 3 != to){
        ans += 0.25 * getProb(lim - 1, start - 3);
        k--;
    }
    
    ans += 0.25 * k * getProb(lim - 1, start);
    
    return (prob[lim][start] = ans);
}

int main(void)
{
    int left;
    int i, j;
    char in[16];
    
    while (1){
        scanf(" %d", &left);
        if (left == 0){
            break;
        }
        scanf(" %c %c %c", in, in + 2, in + 4);
        from = in[0] - 'A';
        battery = in[2] - 'A';
        to = in[4] - 'A';
        
        for (i = 0; i < 16; i++){
            for (j = 0; j < 16; j++){
                prob[i][j] = -1;
            }
        }
        
        printf("%.8lf\n", getProb(left, from));
    }
    
    return (0);
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	from
	.bss
	.align 4
	.type	from, @object
	.size	from, 4
from:
	.zero	4
	.globl	battery
	.align 4
	.type	battery, @object
	.size	battery, 4
battery:
	.zero	4
	.globl	to
	.align 4
	.type	to, @object
	.size	to, 4
to:
	.zero	4
	.globl	prob
	.align 32
	.type	prob, @object
	.size	prob, 2048
prob:
	.zero	2048
	.text
	.globl	getProb
	.type	getProb, @function
getProb:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$32, %rsp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
	pxor	%xmm1, %xmm1
	comisd	%xmm1, %xmm0
	jb	.L12
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
	jmp	.L4
.L12:
	movl	battery(%rip), %eax
	cmpl	%eax, -24(%rbp)
	jne	.L5
	cmpl	$0, -20(%rbp)
	jne	.L5
	movsd	.LC1(%rip), %xmm0
	jmp	.L4
.L5:
	cmpl	$0, -20(%rbp)
	jne	.L6
	pxor	%xmm0, %xmm0
	jmp	.L4
.L6:
	pxor	%xmm0, %xmm0
	movsd	%xmm0, -8(%rbp)
	movl	$4, -12(%rbp)
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movslq	%edx, %rax
	imulq	$1431655766, %rax, %rax
	shrq	$32, %rax
	movl	%edx, %ecx
	sarl	$31, %ecx
	subl	%ecx, %eax
	movl	%eax, %ecx
	addl	%ecx, %ecx
	addl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	testl	%eax, %eax
	je	.L7
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L7
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L7:
	movl	-24(%rbp), %edx
	movslq	%edx, %rax
	imulq	$1431655766, %rax, %rax
	shrq	$32, %rax
	movl	%edx, %ecx
	sarl	$31, %ecx
	subl	%ecx, %eax
	movl	%eax, %ecx
	addl	%ecx, %ecx
	addl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	testl	%eax, %eax
	je	.L8
	movl	-24(%rbp), %eax
	leal	-1(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L8
	movl	-24(%rbp), %eax
	leal	-1(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L8:
	cmpl	$5, -24(%rbp)
	jg	.L9
	movl	-24(%rbp), %eax
	leal	3(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L9
	movl	-24(%rbp), %eax
	leal	3(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L9:
	cmpl	$2, -24(%rbp)
	jle	.L10
	movl	-24(%rbp), %eax
	leal	-3(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L10
	movl	-24(%rbp), %eax
	leal	-3(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L10:
	pxor	%xmm1, %xmm1
	cvtsi2sdl	-12(%rbp), %xmm1
	movsd	.LC2(%rip), %xmm0
	mulsd	%xmm0, %xmm1
	movsd	%xmm1, -32(%rbp)
	movl	-20(%rbp), %eax
	leal	-1(%rax), %edx
	movl	-24(%rbp), %eax
	movl	%eax, %esi
	movl	%edx, %edi
	call	getProb
	mulsd	-32(%rbp), %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	-8(%rbp), %xmm0
	movsd	%xmm0, (%rdx,%rax)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
.L4:
	movq	%xmm0, %rax
	movq	%rax, %xmm0
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	getProb, .-getProb
	.section	.rodata
.LC3:
	.string	" %d"
.LC4:
	.string	" %c %c %c"
.LC6:
	.string	"%.8lf\n"
	.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	$48, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
.L20:
	leaq	-44(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC3(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	-44(%rbp), %eax
	testl	%eax, %eax
	je	.L24
	leaq	-32(%rbp), %rdx
	addq	$4, %rdx
	leaq	-32(%rbp), %rax
	addq	$2, %rax
	leaq	-32(%rbp), %rsi
	movq	%rdx, %rcx
	movq	%rax, %rdx
	leaq	.LC4(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movzbl	-32(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, from(%rip)
	movzbl	-30(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, battery(%rip)
	movzbl	-28(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, to(%rip)
	movl	$0, -40(%rbp)
	jmp	.L16
.L19:
	movl	$0, -36(%rbp)
	jmp	.L17
.L18:
	movl	-36(%rbp), %eax
	movslq	%eax, %rdx
	movl	-40(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	.LC5(%rip), %xmm0
	movsd	%xmm0, (%rdx,%rax)
	addl	$1, -36(%rbp)
.L17:
	cmpl	$15, -36(%rbp)
	jle	.L18
	addl	$1, -40(%rbp)
.L16:
	cmpl	$15, -40(%rbp)
	jle	.L19
	movl	from(%rip), %edx
	movl	-44(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movq	%xmm0, %rax
	movq	%rax, %xmm0
	leaq	.LC6(%rip), %rax
	movq	%rax, %rdi
	movl	$1, %eax
	call	printf@PLT
	jmp	.L20
.L24:
	nop
	movl	$0, %eax
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L22
	call	__stack_chk_fail@PLT
.L22:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC1:
	.long	0
	.long	1072693248
	.align 8
.LC2:
	.long	0
	.long	1070596096
	.align 8
.LC5:
	.long	0
	.long	-1074790400
	.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
	.type	getProb.part.0, @function
getProb.part.0:
.LFB25:
	.cfi_startproc
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	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
	movl	%esi, %ebp
	addl	$1, %esi
	imull	$-1431655765, %esi, %eax
	pushq	%rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	movslq	%edi, %rbx
	leal	-1(%rbx), %r13d
	addl	$715827882, %eax
	subq	$56, %rsp
	.cfi_def_cfa_offset 112
	movl	to(%rip), %r15d
	cmpl	$1431655764, %eax
	jbe	.L33
	cmpl	%r15d, %esi
	jne	.L62
.L33:
	pxor	%xmm4, %xmm4
	movl	$3, %ecx
	movslq	%r13d, %rax
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm4, %xmm1
	movl	$4, %r14d
	leaq	prob(%rip), %r12
.L2:
	imull	$-1431655765, %ebp, %edx
	addl	$715827882, %edx
	cmpl	$1431655764, %edx
	jbe	.L8
	leal	-1(%rbp), %esi
	cmpl	%r15d, %esi
	jne	.L63
.L8:
	cmpl	$5, %ebp
	jg	.L14
	leal	3(%rbp), %esi
	cmpl	%r15d, %esi
	jne	.L64
.L15:
	cmpl	$2, %ebp
	jg	.L14
.L21:
	pxor	%xmm2, %xmm2
	salq	$4, %rax
	cvtsi2sdl	%r14d, %xmm2
	movslq	%ebp, %r14
	addq	%r14, %rax
	movsd	(%r12,%rax,8), %xmm0
	mulsd	%xmm3, %xmm2
	comisd	%xmm4, %xmm0
	jnb	.L65
	cmpl	battery(%rip), %ebp
	je	.L66
	testl	%r13d, %r13d
	je	.L67
.L31:
	movl	%ebp, %esi
	movl	%r13d, %edi
	movsd	%xmm2, 16(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	16(%rsp), %xmm2
	movsd	8(%rsp), %xmm1
	mulsd	%xmm0, %xmm2
.L29:
	addsd	%xmm2, %xmm1
	salq	$4, %rbx
	addq	%r14, %rbx
	movsd	%xmm1, (%r12,%rbx,8)
	addq	$56, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	movapd	%xmm1, %xmm0
	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
.L14:
	.cfi_restore_state
	leal	-3(%rbp), %esi
	cmpl	%r15d, %esi
	je	.L21
	movq	%rax, %rdx
	movslq	%esi, %rcx
	salq	$4, %rdx
	addq	%rcx, %rdx
	movsd	(%r12,%rdx,8), %xmm0
	comisd	%xmm4, %xmm0
	jnb	.L68
	cmpl	battery(%rip), %esi
	je	.L69
	movapd	%xmm4, %xmm0
	testl	%r13d, %r13d
	je	.L24
.L26:
	movl	%r13d, %edi
	movq	%rax, 16(%rsp)
	movsd	%xmm4, 32(%rsp)
	movsd	%xmm3, 24(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	24(%rsp), %xmm3
	movq	16(%rsp), %rax
	movsd	32(%rsp), %xmm4
	movsd	8(%rsp), %xmm1
	mulsd	%xmm3, %xmm0
.L24:
	addsd	%xmm0, %xmm1
	subl	$1, %r14d
	jmp	.L21
	.p2align 4,,10
	.p2align 3
.L64:
	movq	%rax, %rdx
	movslq	%esi, %rcx
	salq	$4, %rdx
	addq	%rcx, %rdx
	movsd	(%r12,%rdx,8), %xmm0
	comisd	%xmm4, %xmm0
	jnb	.L70
	cmpl	battery(%rip), %esi
	je	.L71
	movapd	%xmm4, %xmm0
	testl	%r13d, %r13d
	je	.L18
.L20:
	movl	%r13d, %edi
	movq	%rax, 16(%rsp)
	movsd	%xmm4, 32(%rsp)
	movsd	%xmm3, 24(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	24(%rsp), %xmm3
	movq	16(%rsp), %rax
	movsd	32(%rsp), %xmm4
	movsd	8(%rsp), %xmm1
	mulsd	%xmm3, %xmm0
.L18:
	addsd	%xmm0, %xmm1
	subl	$1, %r14d
	jmp	.L15
	.p2align 4,,10
	.p2align 3
.L63:
	movq	%rax, %rdx
	movslq	%esi, %rdi
	salq	$4, %rdx
	addq	%rdi, %rdx
	movsd	(%r12,%rdx,8), %xmm0
	comisd	%xmm4, %xmm0
	jnb	.L72
	cmpl	battery(%rip), %esi
	je	.L73
	testl	%r13d, %r13d
	je	.L11
.L13:
	movl	%r13d, %edi
	movq	%rax, 24(%rsp)
	movl	%ecx, 16(%rsp)
	movsd	%xmm4, 40(%rsp)
	movsd	%xmm3, 32(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	32(%rsp), %xmm3
	movsd	8(%rsp), %xmm1
	movsd	40(%rsp), %xmm4
	movq	24(%rsp), %rax
	mulsd	%xmm3, %xmm0
	movl	16(%rsp), %ecx
	addsd	%xmm0, %xmm1
.L11:
	movl	%ecx, %r14d
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L62:
	movslq	%r13d, %rax
	movslq	%esi, %rcx
	leaq	prob(%rip), %r12
	movq	%rax, %rdx
	pxor	%xmm4, %xmm4
	salq	$4, %rdx
	addq	%rcx, %rdx
	movsd	(%r12,%rdx,8), %xmm1
	comisd	%xmm4, %xmm1
	jnb	.L74
	cmpl	battery(%rip), %esi
	je	.L75
	testl	%r13d, %r13d
	je	.L35
.L7:
	movl	%r13d, %edi
	movq	%rax, 8(%rsp)
	movsd	%xmm4, 16(%rsp)
	call	getProb.part.0
	movsd	16(%rsp), %xmm4
	movq	8(%rsp), %rax
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm0, %xmm1
	mulsd	%xmm3, %xmm1
	addsd	%xmm4, %xmm1
.L5:
	movl	$2, %ecx
	movl	$3, %r14d
	jmp	.L2
	.p2align 4,,10
	.p2align 3
.L65:
	mulsd	%xmm0, %xmm2
	jmp	.L29
	.p2align 4,,10
	.p2align 3
.L66:
	testl	%r13d, %r13d
	jne	.L31
	jmp	.L29
	.p2align 4,,10
	.p2align 3
.L72:
	mulsd	%xmm3, %xmm0
	addsd	%xmm0, %xmm1
	jmp	.L11
	.p2align 4,,10
	.p2align 3
.L68:
	mulsd	%xmm3, %xmm0
	jmp	.L24
	.p2align 4,,10
	.p2align 3
.L74:
	movsd	.LC0(%rip), %xmm3
	mulsd	%xmm3, %xmm1
	addsd	%xmm4, %xmm1
	jmp	.L5
	.p2align 4,,10
	.p2align 3
.L70:
	mulsd	%xmm3, %xmm0
	jmp	.L18
	.p2align 4,,10
	.p2align 3
.L67:
	mulsd	%xmm4, %xmm2
	jmp	.L29
	.p2align 4,,10
	.p2align 3
.L69:
	movapd	%xmm3, %xmm0
	testl	%r13d, %r13d
	jne	.L26
	jmp	.L24
	.p2align 4,,10
	.p2align 3
.L71:
	movapd	%xmm3, %xmm0
	testl	%r13d, %r13d
	jne	.L20
	jmp	.L18
	.p2align 4,,10
	.p2align 3
.L73:
	testl	%r13d, %r13d
	jne	.L13
	addsd	%xmm3, %xmm1
	jmp	.L11
	.p2align 4,,10
	.p2align 3
.L75:
	testl	%r13d, %r13d
	jne	.L7
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm3, %xmm1
	jmp	.L5
	.p2align 4,,10
	.p2align 3
.L35:
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm4, %xmm1
	jmp	.L5
	.cfi_endproc
.LFE25:
	.size	getProb.part.0, .-getProb.part.0
	.p2align 4
	.globl	getProb
	.type	getProb, @function
getProb:
.LFB23:
	.cfi_startproc
	endbr64
	movslq	%edi, %rax
	movslq	%esi, %rdx
	pxor	%xmm1, %xmm1
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	prob(%rip), %rdx
	movsd	(%rdx,%rax,8), %xmm0
	comisd	%xmm1, %xmm0
	jnb	.L76
	cmpl	%esi, battery(%rip)
	je	.L82
	testl	%edi, %edi
	je	.L81
.L79:
	jmp	getProb.part.0
	.p2align 4,,10
	.p2align 3
.L81:
	pxor	%xmm0, %xmm0
.L76:
	ret
	.p2align 4,,10
	.p2align 3
.L82:
	testl	%edi, %edi
	jne	.L79
	movsd	.LC2(%rip), %xmm0
	ret
	.cfi_endproc
.LFE23:
	.size	getProb, .-getProb
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC3:
	.string	" %d"
.LC4:
	.string	" %c %c %c"
.LC6:
	.string	"%.8lf\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB24:
	.cfi_startproc
	endbr64
	pushq	%r12
	.cfi_def_cfa_offset 16
	.cfi_offset 12, -16
	leaq	.LC4(%rip), %r12
	pushq	%rbp
	.cfi_def_cfa_offset 24
	.cfi_offset 6, -24
	pushq	%rbx
	.cfi_def_cfa_offset 32
	.cfi_offset 3, -32
	leaq	.LC3(%rip), %rbx
	subq	$48, %rsp
	.cfi_def_cfa_offset 80
	movq	%fs:40, %rax
	movq	%rax, 40(%rsp)
	xorl	%eax, %eax
	leaq	12(%rsp), %rbp
	jmp	.L88
.L86:
	pxor	%xmm0, %xmm0
	testl	%edi, %edi
	je	.L85
.L87:
	call	getProb.part.0
.L85:
	leaq	.LC6(%rip), %rsi
	movl	$1, %edi
	movl	$1, %eax
	call	__printf_chk@PLT
.L88:
	movq	%rbp, %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	call	__isoc99_scanf@PLT
	movl	12(%rsp), %eax
	testl	%eax, %eax
	je	.L84
	leaq	16(%rsp), %rsi
	leaq	20(%rsp), %rcx
	movq	%r12, %rdi
	xorl	%eax, %eax
	leaq	18(%rsp), %rdx
	call	__isoc99_scanf@PLT
	movsbl	18(%rsp), %eax
	movsbl	16(%rsp), %esi
	pxor	%xmm2, %xmm2
	movapd	.LC5(%rip), %xmm1
	movl	%eax, %edx
	subl	$65, %eax
	movl	%esi, %ecx
	subl	$65, %esi
	movl	%eax, battery(%rip)
	movsbl	20(%rsp), %eax
	movslq	%esi, %r8
	movl	%esi, from(%rip)
	subl	$65, %eax
	movaps	%xmm1, prob(%rip)
	movl	%eax, to(%rip)
	movaps	%xmm1, 16+prob(%rip)
	movaps	%xmm1, 32+prob(%rip)
	movaps	%xmm1, 48+prob(%rip)
	movaps	%xmm1, 64+prob(%rip)
	movaps	%xmm1, 80+prob(%rip)
	movaps	%xmm1, 96+prob(%rip)
	movaps	%xmm1, 112+prob(%rip)
	movaps	%xmm1, 128+prob(%rip)
	movaps	%xmm1, 144+prob(%rip)
	movaps	%xmm1, 160+prob(%rip)
	movaps	%xmm1, 176+prob(%rip)
	movaps	%xmm1, 192+prob(%rip)
	movaps	%xmm1, 208+prob(%rip)
	movaps	%xmm1, 224+prob(%rip)
	movaps	%xmm1, 240+prob(%rip)
	movaps	%xmm1, 256+prob(%rip)
	movaps	%xmm1, 272+prob(%rip)
	movaps	%xmm1, 288+prob(%rip)
	movaps	%xmm1, 304+prob(%rip)
	movaps	%xmm1, 320+prob(%rip)
	movaps	%xmm1, 336+prob(%rip)
	movaps	%xmm1, 352+prob(%rip)
	movaps	%xmm1, 368+prob(%rip)
	movaps	%xmm1, 384+prob(%rip)
	movaps	%xmm1, 400+prob(%rip)
	movaps	%xmm1, 416+prob(%rip)
	movaps	%xmm1, 432+prob(%rip)
	movaps	%xmm1, 448+prob(%rip)
	movaps	%xmm1, 464+prob(%rip)
	movaps	%xmm1, 480+prob(%rip)
	movaps	%xmm1, 496+prob(%rip)
	movaps	%xmm1, 512+prob(%rip)
	movaps	%xmm1, 528+prob(%rip)
	movaps	%xmm1, 544+prob(%rip)
	movaps	%xmm1, 560+prob(%rip)
	movaps	%xmm1, 576+prob(%rip)
	movaps	%xmm1, 592+prob(%rip)
	movaps	%xmm1, 608+prob(%rip)
	movaps	%xmm1, 624+prob(%rip)
	movaps	%xmm1, 640+prob(%rip)
	movaps	%xmm1, 656+prob(%rip)
	movaps	%xmm1, 672+prob(%rip)
	movaps	%xmm1, 688+prob(%rip)
	movaps	%xmm1, 704+prob(%rip)
	movaps	%xmm1, 720+prob(%rip)
	movaps	%xmm1, 736+prob(%rip)
	movaps	%xmm1, 752+prob(%rip)
	movaps	%xmm1, 768+prob(%rip)
	movaps	%xmm1, 784+prob(%rip)
	movaps	%xmm1, 800+prob(%rip)
	movaps	%xmm1, 816+prob(%rip)
	movaps	%xmm1, 832+prob(%rip)
	movaps	%xmm1, 848+prob(%rip)
	movaps	%xmm1, 864+prob(%rip)
	movaps	%xmm1, 880+prob(%rip)
	movaps	%xmm1, 896+prob(%rip)
	movaps	%xmm1, 912+prob(%rip)
	movaps	%xmm1, 928+prob(%rip)
	movaps	%xmm1, 944+prob(%rip)
	movaps	%xmm1, 960+prob(%rip)
	movaps	%xmm1, 976+prob(%rip)
	movaps	%xmm1, 992+prob(%rip)
	movaps	%xmm1, 1008+prob(%rip)
	movaps	%xmm1, 1024+prob(%rip)
	movaps	%xmm1, 1040+prob(%rip)
	movaps	%xmm1, 1056+prob(%rip)
	movaps	%xmm1, 1072+prob(%rip)
	movaps	%xmm1, 1088+prob(%rip)
	movaps	%xmm1, 1104+prob(%rip)
	movaps	%xmm1, 1120+prob(%rip)
	movaps	%xmm1, 1136+prob(%rip)
	movaps	%xmm1, 1152+prob(%rip)
	movaps	%xmm1, 1168+prob(%rip)
	movaps	%xmm1, 1184+prob(%rip)
	movaps	%xmm1, 1200+prob(%rip)
	movaps	%xmm1, 1216+prob(%rip)
	movaps	%xmm1, 1232+prob(%rip)
	movaps	%xmm1, 1248+prob(%rip)
	movaps	%xmm1, 1264+prob(%rip)
	movaps	%xmm1, 1280+prob(%rip)
	movaps	%xmm1, 1296+prob(%rip)
	movaps	%xmm1, 1312+prob(%rip)
	movaps	%xmm1, 1328+prob(%rip)
	movaps	%xmm1, 1344+prob(%rip)
	movaps	%xmm1, 1360+prob(%rip)
	movaps	%xmm1, 1376+prob(%rip)
	movaps	%xmm1, 1392+prob(%rip)
	movaps	%xmm1, 1408+prob(%rip)
	movaps	%xmm1, 1424+prob(%rip)
	movaps	%xmm1, 1440+prob(%rip)
	movaps	%xmm1, 1456+prob(%rip)
	movaps	%xmm1, 1472+prob(%rip)
	movaps	%xmm1, 1488+prob(%rip)
	movaps	%xmm1, 1504+prob(%rip)
	movaps	%xmm1, 1520+prob(%rip)
	movaps	%xmm1, 1536+prob(%rip)
	movaps	%xmm1, 1552+prob(%rip)
	movaps	%xmm1, 1568+prob(%rip)
	movaps	%xmm1, 1584+prob(%rip)
	movaps	%xmm1, 1600+prob(%rip)
	movaps	%xmm1, 1616+prob(%rip)
	movaps	%xmm1, 1632+prob(%rip)
	movaps	%xmm1, 1648+prob(%rip)
	movaps	%xmm1, 1664+prob(%rip)
	movaps	%xmm1, 1680+prob(%rip)
	movaps	%xmm1, 1696+prob(%rip)
	movaps	%xmm1, 1712+prob(%rip)
	movaps	%xmm1, 1728+prob(%rip)
	movaps	%xmm1, 1744+prob(%rip)
	movaps	%xmm1, 1760+prob(%rip)
	movaps	%xmm1, 1776+prob(%rip)
	movaps	%xmm1, 1792+prob(%rip)
	movaps	%xmm1, 1808+prob(%rip)
	movaps	%xmm1, 1824+prob(%rip)
	movaps	%xmm1, 1840+prob(%rip)
	movaps	%xmm1, 1856+prob(%rip)
	movaps	%xmm1, 1872+prob(%rip)
	movaps	%xmm1, 1888+prob(%rip)
	movaps	%xmm1, 1904+prob(%rip)
	movaps	%xmm1, 1920+prob(%rip)
	movaps	%xmm1, 1936+prob(%rip)
	movaps	%xmm1, 1952+prob(%rip)
	movaps	%xmm1, 1968+prob(%rip)
	movaps	%xmm1, 1984+prob(%rip)
	movslq	12(%rsp), %rax
	movaps	%xmm1, 2000+prob(%rip)
	movq	%rax, %rdi
	salq	$4, %rax
	movaps	%xmm1, 2016+prob(%rip)
	addq	%r8, %rax
	leaq	prob(%rip), %r8
	movaps	%xmm1, 2032+prob(%rip)
	movsd	(%r8,%rax,8), %xmm0
	comisd	%xmm2, %xmm0
	jnb	.L85
	cmpb	%dl, %cl
	jne	.L86
	movsd	.LC2(%rip), %xmm0
	testl	%edi, %edi
	jne	.L87
	jmp	.L85
.L84:
	movq	40(%rsp), %rax
	subq	%fs:40, %rax
	jne	.L95
	addq	$48, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 32
	xorl	%eax, %eax
	popq	%rbx
	.cfi_def_cfa_offset 24
	popq	%rbp
	.cfi_def_cfa_offset 16
	popq	%r12
	.cfi_def_cfa_offset 8
	ret
.L95:
	.cfi_restore_state
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE24:
	.size	main, .-main
	.globl	prob
	.bss
	.align 32
	.type	prob, @object
	.size	prob, 2048
prob:
	.zero	2048
	.globl	to
	.align 4
	.type	to, @object
	.size	to, 4
to:
	.zero	4
	.globl	battery
	.align 4
	.type	battery, @object
	.size	battery, 4
battery:
	.zero	4
	.globl	from
	.align 4
	.type	from, @object
	.size	from, 4
from:
	.zero	4
	.section	.rodata.cst8,"aM",@progbits,8
	.align 8
.LC0:
	.long	0
	.long	1070596096
	.align 8
.LC2:
	.long	0
	.long	1072693248
	.section	.rodata.cst16,"aM",@progbits,16
	.align 16
.LC5:
	.long	0
	.long	-1074790400
	.long	0
	.long	-1074790400
	.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
	.type	getProb.part.0, @function
getProb.part.0:
.LFB25:
	.cfi_startproc
	pushq	%r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	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
	movl	%esi, %ebp
	addl	$1, %esi
	imull	$-1431655765, %esi, %eax
	pushq	%rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	movslq	%edi, %rbx
	leal	-1(%rbx), %r13d
	addl	$715827882, %eax
	subq	$56, %rsp
	.cfi_def_cfa_offset 112
	movl	to(%rip), %r15d
	cmpl	$1431655764, %eax
	jbe	.L33
	cmpl	%r15d, %esi
	jne	.L62
.L33:
	pxor	%xmm4, %xmm4
	movl	$3, %ecx
	movslq	%r13d, %rax
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm4, %xmm1
	movl	$4, %r14d
	leaq	prob(%rip), %r12
.L2:
	imull	$-1431655765, %ebp, %edx
	addl	$715827882, %edx
	cmpl	$1431655764, %edx
	jbe	.L8
	leal	-1(%rbp), %esi
	cmpl	%r15d, %esi
	jne	.L63
.L8:
	cmpl	$5, %ebp
	jg	.L14
	leal	3(%rbp), %esi
	cmpl	%r15d, %esi
	jne	.L64
.L15:
	cmpl	$2, %ebp
	jg	.L14
.L21:
	pxor	%xmm2, %xmm2
	salq	$4, %rax
	cvtsi2sdl	%r14d, %xmm2
	movslq	%ebp, %r14
	addq	%r14, %rax
	movsd	(%r12,%rax,8), %xmm0
	mulsd	%xmm3, %xmm2
	comisd	%xmm4, %xmm0
	jnb	.L65
	cmpl	battery(%rip), %ebp
	je	.L66
	testl	%r13d, %r13d
	je	.L67
.L31:
	movl	%ebp, %esi
	movl	%r13d, %edi
	movsd	%xmm2, 16(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	16(%rsp), %xmm2
	movsd	8(%rsp), %xmm1
	mulsd	%xmm0, %xmm2
.L29:
	addsd	%xmm2, %xmm1
	salq	$4, %rbx
	addq	%r14, %rbx
	movsd	%xmm1, (%r12,%rbx,8)
	addq	$56, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	movapd	%xmm1, %xmm0
	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
.L14:
	.cfi_restore_state
	leal	-3(%rbp), %esi
	cmpl	%r15d, %esi
	je	.L21
	movq	%rax, %rdx
	movslq	%esi, %rcx
	salq	$4, %rdx
	addq	%rcx, %rdx
	movsd	(%r12,%rdx,8), %xmm0
	comisd	%xmm4, %xmm0
	jnb	.L68
	cmpl	battery(%rip), %esi
	je	.L69
	movapd	%xmm4, %xmm0
	testl	%r13d, %r13d
	je	.L24
.L26:
	movl	%r13d, %edi
	movq	%rax, 16(%rsp)
	movsd	%xmm4, 32(%rsp)
	movsd	%xmm3, 24(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	24(%rsp), %xmm3
	movq	16(%rsp), %rax
	movsd	32(%rsp), %xmm4
	movsd	8(%rsp), %xmm1
	mulsd	%xmm3, %xmm0
.L24:
	addsd	%xmm0, %xmm1
	subl	$1, %r14d
	jmp	.L21
	.p2align 4,,10
	.p2align 3
.L64:
	movq	%rax, %rdx
	movslq	%esi, %rcx
	salq	$4, %rdx
	addq	%rcx, %rdx
	movsd	(%r12,%rdx,8), %xmm0
	comisd	%xmm4, %xmm0
	jnb	.L70
	cmpl	battery(%rip), %esi
	je	.L71
	movapd	%xmm4, %xmm0
	testl	%r13d, %r13d
	je	.L18
.L20:
	movl	%r13d, %edi
	movq	%rax, 16(%rsp)
	movsd	%xmm4, 32(%rsp)
	movsd	%xmm3, 24(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	24(%rsp), %xmm3
	movq	16(%rsp), %rax
	movsd	32(%rsp), %xmm4
	movsd	8(%rsp), %xmm1
	mulsd	%xmm3, %xmm0
.L18:
	addsd	%xmm0, %xmm1
	subl	$1, %r14d
	jmp	.L15
	.p2align 4,,10
	.p2align 3
.L63:
	movq	%rax, %rdx
	movslq	%esi, %rdi
	salq	$4, %rdx
	addq	%rdi, %rdx
	movsd	(%r12,%rdx,8), %xmm0
	comisd	%xmm4, %xmm0
	jnb	.L72
	cmpl	battery(%rip), %esi
	je	.L73
	testl	%r13d, %r13d
	je	.L11
.L13:
	movl	%r13d, %edi
	movq	%rax, 24(%rsp)
	movl	%ecx, 16(%rsp)
	movsd	%xmm4, 40(%rsp)
	movsd	%xmm3, 32(%rsp)
	movsd	%xmm1, 8(%rsp)
	call	getProb.part.0
	movsd	32(%rsp), %xmm3
	movsd	8(%rsp), %xmm1
	movsd	40(%rsp), %xmm4
	movq	24(%rsp), %rax
	mulsd	%xmm3, %xmm0
	movl	16(%rsp), %ecx
	addsd	%xmm0, %xmm1
.L11:
	movl	%ecx, %r14d
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L62:
	movslq	%r13d, %rax
	movslq	%esi, %rcx
	leaq	prob(%rip), %r12
	movq	%rax, %rdx
	pxor	%xmm4, %xmm4
	salq	$4, %rdx
	addq	%rcx, %rdx
	movsd	(%r12,%rdx,8), %xmm1
	comisd	%xmm4, %xmm1
	jnb	.L74
	cmpl	battery(%rip), %esi
	je	.L75
	testl	%r13d, %r13d
	je	.L35
.L7:
	movl	%r13d, %edi
	movq	%rax, 8(%rsp)
	movsd	%xmm4, 16(%rsp)
	call	getProb.part.0
	movsd	16(%rsp), %xmm4
	movq	8(%rsp), %rax
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm0, %xmm1
	mulsd	%xmm3, %xmm1
	addsd	%xmm4, %xmm1
.L5:
	movl	$2, %ecx
	movl	$3, %r14d
	jmp	.L2
	.p2align 4,,10
	.p2align 3
.L65:
	mulsd	%xmm0, %xmm2
	jmp	.L29
	.p2align 4,,10
	.p2align 3
.L66:
	testl	%r13d, %r13d
	jne	.L31
	jmp	.L29
	.p2align 4,,10
	.p2align 3
.L72:
	mulsd	%xmm3, %xmm0
	addsd	%xmm0, %xmm1
	jmp	.L11
	.p2align 4,,10
	.p2align 3
.L68:
	mulsd	%xmm3, %xmm0
	jmp	.L24
	.p2align 4,,10
	.p2align 3
.L74:
	movsd	.LC0(%rip), %xmm3
	mulsd	%xmm3, %xmm1
	addsd	%xmm4, %xmm1
	jmp	.L5
	.p2align 4,,10
	.p2align 3
.L70:
	mulsd	%xmm3, %xmm0
	jmp	.L18
	.p2align 4,,10
	.p2align 3
.L67:
	mulsd	%xmm4, %xmm2
	jmp	.L29
	.p2align 4,,10
	.p2align 3
.L69:
	movapd	%xmm3, %xmm0
	testl	%r13d, %r13d
	jne	.L26
	jmp	.L24
	.p2align 4,,10
	.p2align 3
.L71:
	movapd	%xmm3, %xmm0
	testl	%r13d, %r13d
	jne	.L20
	jmp	.L18
	.p2align 4,,10
	.p2align 3
.L73:
	testl	%r13d, %r13d
	jne	.L13
	addsd	%xmm3, %xmm1
	jmp	.L11
	.p2align 4,,10
	.p2align 3
.L75:
	testl	%r13d, %r13d
	jne	.L7
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm3, %xmm1
	jmp	.L5
	.p2align 4,,10
	.p2align 3
.L35:
	movsd	.LC0(%rip), %xmm3
	movapd	%xmm4, %xmm1
	jmp	.L5
	.cfi_endproc
.LFE25:
	.size	getProb.part.0, .-getProb.part.0
	.p2align 4
	.globl	getProb
	.type	getProb, @function
getProb:
.LFB23:
	.cfi_startproc
	endbr64
	movslq	%edi, %rax
	movslq	%esi, %rdx
	pxor	%xmm1, %xmm1
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	prob(%rip), %rdx
	movsd	(%rdx,%rax,8), %xmm0
	comisd	%xmm1, %xmm0
	jnb	.L76
	cmpl	%esi, battery(%rip)
	je	.L82
	testl	%edi, %edi
	je	.L81
.L79:
	jmp	getProb.part.0
	.p2align 4,,10
	.p2align 3
.L81:
	pxor	%xmm0, %xmm0
.L76:
	ret
	.p2align 4,,10
	.p2align 3
.L82:
	testl	%edi, %edi
	jne	.L79
	movsd	.LC2(%rip), %xmm0
	ret
	.cfi_endproc
.LFE23:
	.size	getProb, .-getProb
	.section	.rodata.str1.1,"aMS",@progbits,1
.LC3:
	.string	" %d"
.LC4:
	.string	" %c %c %c"
.LC6:
	.string	"%.8lf\n"
	.section	.text.startup,"ax",@progbits
	.p2align 4
	.globl	main
	.type	main, @function
main:
.LFB24:
	.cfi_startproc
	endbr64
	pushq	%r12
	.cfi_def_cfa_offset 16
	.cfi_offset 12, -16
	leaq	.LC4(%rip), %r12
	pushq	%rbp
	.cfi_def_cfa_offset 24
	.cfi_offset 6, -24
	pushq	%rbx
	.cfi_def_cfa_offset 32
	.cfi_offset 3, -32
	leaq	.LC3(%rip), %rbx
	subq	$48, %rsp
	.cfi_def_cfa_offset 80
	movq	%fs:40, %rax
	movq	%rax, 40(%rsp)
	xorl	%eax, %eax
	leaq	12(%rsp), %rbp
	jmp	.L88
.L86:
	pxor	%xmm0, %xmm0
	testl	%edi, %edi
	je	.L85
.L87:
	call	getProb.part.0
.L85:
	leaq	.LC6(%rip), %rsi
	movl	$1, %edi
	movl	$1, %eax
	call	__printf_chk@PLT
.L88:
	movq	%rbp, %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	call	__isoc99_scanf@PLT
	movl	12(%rsp), %eax
	testl	%eax, %eax
	je	.L84
	leaq	16(%rsp), %rsi
	leaq	20(%rsp), %rcx
	movq	%r12, %rdi
	xorl	%eax, %eax
	leaq	18(%rsp), %rdx
	call	__isoc99_scanf@PLT
	movsbl	18(%rsp), %eax
	movsbl	16(%rsp), %esi
	pxor	%xmm2, %xmm2
	movapd	.LC5(%rip), %xmm1
	movl	%eax, %edx
	subl	$65, %eax
	movl	%esi, %ecx
	subl	$65, %esi
	movl	%eax, battery(%rip)
	movsbl	20(%rsp), %eax
	movslq	%esi, %r8
	movl	%esi, from(%rip)
	subl	$65, %eax
	movaps	%xmm1, prob(%rip)
	movl	%eax, to(%rip)
	movaps	%xmm1, 16+prob(%rip)
	movaps	%xmm1, 32+prob(%rip)
	movaps	%xmm1, 48+prob(%rip)
	movaps	%xmm1, 64+prob(%rip)
	movaps	%xmm1, 80+prob(%rip)
	movaps	%xmm1, 96+prob(%rip)
	movaps	%xmm1, 112+prob(%rip)
	movaps	%xmm1, 128+prob(%rip)
	movaps	%xmm1, 144+prob(%rip)
	movaps	%xmm1, 160+prob(%rip)
	movaps	%xmm1, 176+prob(%rip)
	movaps	%xmm1, 192+prob(%rip)
	movaps	%xmm1, 208+prob(%rip)
	movaps	%xmm1, 224+prob(%rip)
	movaps	%xmm1, 240+prob(%rip)
	movaps	%xmm1, 256+prob(%rip)
	movaps	%xmm1, 272+prob(%rip)
	movaps	%xmm1, 288+prob(%rip)
	movaps	%xmm1, 304+prob(%rip)
	movaps	%xmm1, 320+prob(%rip)
	movaps	%xmm1, 336+prob(%rip)
	movaps	%xmm1, 352+prob(%rip)
	movaps	%xmm1, 368+prob(%rip)
	movaps	%xmm1, 384+prob(%rip)
	movaps	%xmm1, 400+prob(%rip)
	movaps	%xmm1, 416+prob(%rip)
	movaps	%xmm1, 432+prob(%rip)
	movaps	%xmm1, 448+prob(%rip)
	movaps	%xmm1, 464+prob(%rip)
	movaps	%xmm1, 480+prob(%rip)
	movaps	%xmm1, 496+prob(%rip)
	movaps	%xmm1, 512+prob(%rip)
	movaps	%xmm1, 528+prob(%rip)
	movaps	%xmm1, 544+prob(%rip)
	movaps	%xmm1, 560+prob(%rip)
	movaps	%xmm1, 576+prob(%rip)
	movaps	%xmm1, 592+prob(%rip)
	movaps	%xmm1, 608+prob(%rip)
	movaps	%xmm1, 624+prob(%rip)
	movaps	%xmm1, 640+prob(%rip)
	movaps	%xmm1, 656+prob(%rip)
	movaps	%xmm1, 672+prob(%rip)
	movaps	%xmm1, 688+prob(%rip)
	movaps	%xmm1, 704+prob(%rip)
	movaps	%xmm1, 720+prob(%rip)
	movaps	%xmm1, 736+prob(%rip)
	movaps	%xmm1, 752+prob(%rip)
	movaps	%xmm1, 768+prob(%rip)
	movaps	%xmm1, 784+prob(%rip)
	movaps	%xmm1, 800+prob(%rip)
	movaps	%xmm1, 816+prob(%rip)
	movaps	%xmm1, 832+prob(%rip)
	movaps	%xmm1, 848+prob(%rip)
	movaps	%xmm1, 864+prob(%rip)
	movaps	%xmm1, 880+prob(%rip)
	movaps	%xmm1, 896+prob(%rip)
	movaps	%xmm1, 912+prob(%rip)
	movaps	%xmm1, 928+prob(%rip)
	movaps	%xmm1, 944+prob(%rip)
	movaps	%xmm1, 960+prob(%rip)
	movaps	%xmm1, 976+prob(%rip)
	movaps	%xmm1, 992+prob(%rip)
	movaps	%xmm1, 1008+prob(%rip)
	movaps	%xmm1, 1024+prob(%rip)
	movaps	%xmm1, 1040+prob(%rip)
	movaps	%xmm1, 1056+prob(%rip)
	movaps	%xmm1, 1072+prob(%rip)
	movaps	%xmm1, 1088+prob(%rip)
	movaps	%xmm1, 1104+prob(%rip)
	movaps	%xmm1, 1120+prob(%rip)
	movaps	%xmm1, 1136+prob(%rip)
	movaps	%xmm1, 1152+prob(%rip)
	movaps	%xmm1, 1168+prob(%rip)
	movaps	%xmm1, 1184+prob(%rip)
	movaps	%xmm1, 1200+prob(%rip)
	movaps	%xmm1, 1216+prob(%rip)
	movaps	%xmm1, 1232+prob(%rip)
	movaps	%xmm1, 1248+prob(%rip)
	movaps	%xmm1, 1264+prob(%rip)
	movaps	%xmm1, 1280+prob(%rip)
	movaps	%xmm1, 1296+prob(%rip)
	movaps	%xmm1, 1312+prob(%rip)
	movaps	%xmm1, 1328+prob(%rip)
	movaps	%xmm1, 1344+prob(%rip)
	movaps	%xmm1, 1360+prob(%rip)
	movaps	%xmm1, 1376+prob(%rip)
	movaps	%xmm1, 1392+prob(%rip)
	movaps	%xmm1, 1408+prob(%rip)
	movaps	%xmm1, 1424+prob(%rip)
	movaps	%xmm1, 1440+prob(%rip)
	movaps	%xmm1, 1456+prob(%rip)
	movaps	%xmm1, 1472+prob(%rip)
	movaps	%xmm1, 1488+prob(%rip)
	movaps	%xmm1, 1504+prob(%rip)
	movaps	%xmm1, 1520+prob(%rip)
	movaps	%xmm1, 1536+prob(%rip)
	movaps	%xmm1, 1552+prob(%rip)
	movaps	%xmm1, 1568+prob(%rip)
	movaps	%xmm1, 1584+prob(%rip)
	movaps	%xmm1, 1600+prob(%rip)
	movaps	%xmm1, 1616+prob(%rip)
	movaps	%xmm1, 1632+prob(%rip)
	movaps	%xmm1, 1648+prob(%rip)
	movaps	%xmm1, 1664+prob(%rip)
	movaps	%xmm1, 1680+prob(%rip)
	movaps	%xmm1, 1696+prob(%rip)
	movaps	%xmm1, 1712+prob(%rip)
	movaps	%xmm1, 1728+prob(%rip)
	movaps	%xmm1, 1744+prob(%rip)
	movaps	%xmm1, 1760+prob(%rip)
	movaps	%xmm1, 1776+prob(%rip)
	movaps	%xmm1, 1792+prob(%rip)
	movaps	%xmm1, 1808+prob(%rip)
	movaps	%xmm1, 1824+prob(%rip)
	movaps	%xmm1, 1840+prob(%rip)
	movaps	%xmm1, 1856+prob(%rip)
	movaps	%xmm1, 1872+prob(%rip)
	movaps	%xmm1, 1888+prob(%rip)
	movaps	%xmm1, 1904+prob(%rip)
	movaps	%xmm1, 1920+prob(%rip)
	movaps	%xmm1, 1936+prob(%rip)
	movaps	%xmm1, 1952+prob(%rip)
	movaps	%xmm1, 1968+prob(%rip)
	movaps	%xmm1, 1984+prob(%rip)
	movslq	12(%rsp), %rax
	movaps	%xmm1, 2000+prob(%rip)
	movq	%rax, %rdi
	salq	$4, %rax
	movaps	%xmm1, 2016+prob(%rip)
	addq	%r8, %rax
	leaq	prob(%rip), %r8
	movaps	%xmm1, 2032+prob(%rip)
	movsd	(%r8,%rax,8), %xmm0
	comisd	%xmm2, %xmm0
	jnb	.L85
	cmpb	%dl, %cl
	jne	.L86
	movsd	.LC2(%rip), %xmm0
	testl	%edi, %edi
	jne	.L87
	jmp	.L85
.L84:
	movq	40(%rsp), %rax
	subq	%fs:40, %rax
	jne	.L95
	addq	$48, %rsp
	.cfi_remember_state
	.cfi_def_cfa_offset 32
	xorl	%eax, %eax
	popq	%rbx
	.cfi_def_cfa_offset 24
	popq	%rbp
	.cfi_def_cfa_offset 16
	popq	%r12
	.cfi_def_cfa_offset 8
	ret
.L95:
	.cfi_restore_state
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE24:
	.size	main, .-main
	.globl	prob
	.bss
	.align 32
	.type	prob, @object
	.size	prob, 2048
prob:
	.zero	2048
	.globl	to
	.align 4
	.type	to, @object
	.size	to, 4
to:
	.zero	4
	.globl	battery
	.align 4
	.type	battery, @object
	.size	battery, 4
battery:
	.zero	4
	.globl	from
	.align 4
	.type	from, @object
	.size	from, 4
from:
	.zero	4
	.section	.rodata.cst8,"aM",@progbits,8
	.align 8
.LC0:
	.long	0
	.long	1070596096
	.align 8
.LC2:
	.long	0
	.long	1072693248
	.section	.rodata.cst16,"aM",@progbits,16
	.align 16
.LC5:
	.long	0
	.long	-1074790400
	.long	0
	.long	-1074790400
	.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 from, battery, to;
double prob[16][16]; //残量iで, 地点jからbatteryへいける確率

double getProb(int lim, int start)
{
    int k;
    double ans;
    
    if (prob[lim][start] >= 0){
        return (prob[lim][start]);
    }
    
    if (start == battery && lim == 0){
        return (1);
    }
    if (lim == 0){
        return (0);
    }
    
    ans = 0.0;
    k = 4;
    
    if ((start + 1) % 3 && start + 1 != to){
        ans += 0.25 * getProb(lim - 1, start + 1);
        k--;
    }
    
    if (start % 3 && start - 1 != to){
        ans += 0.25 * getProb(lim - 1, start - 1);
        k--;
    }
    
    if (start + 3 < 9 && start + 3 != to){
        ans += 0.25 * getProb(lim - 1, start + 3);
        k--;
    }
    
    if (start - 3 >= 0 && start - 3 != to){
        ans += 0.25 * getProb(lim - 1, start - 3);
        k--;
    }
    
    ans += 0.25 * k * getProb(lim - 1, start);
    
    return (prob[lim][start] = ans);
}

int main(void)
{
    int left;
    int i, j;
    char in[16];
    
    while (1){
        scanf(" %d", &left);
        if (left == 0){
            break;
        }
        scanf(" %c %c %c", in, in + 2, in + 4);
        from = in[0] - 'A';
        battery = in[2] - 'A';
        to = in[4] - 'A';
        
        for (i = 0; i < 16; i++){
            for (j = 0; j < 16; j++){
                prob[i][j] = -1;
            }
        }
        
        printf("%.8lf\n", getProb(left, from));
    }
    
    return (0);
}
1
D A C
1
E B C
2
E A B
0
 1
D A C
1
E B C
2
F A B
0
 1
D A C
0
E B C
2
F A B
0
 1
C A C
0
E B C
2
F A B
0
 1
E A B
1
E B C
2
E A B
0
 1
D A C
1
E A D
2
F A B
0
 1
C A D
1
D B C
2
F A B
0
 1
D A C
1
E A D
3
F A B
0
 1
D A C
1
E A D
4
F A B
0
 1
C A C
1
D A C
0
F B B
0

0.25000000
0.25000000
0.06250000
 0.25000000
0.25000000
0.00000000
 0.25000000
 0.00000000
 0.00000000
0.25000000
0.06250000
 0.25000000
0.00000000
0.00000000
 0.00000000
0.00000000
0.00000000
 0.25000000
0.00000000
0.01562500
 0.25000000
0.00000000
0.02343750
 0.00000000
0.25000000

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 from, battery, to;
double prob[16][16]; //残量iで, 地点jからbatteryへいける確率

double getProb(int lim, int start)
{
    int k;
    double ans;
    
    if (prob[lim][start] >= 0){
        return (prob[lim][start]);
    }
    
    if (start == battery && lim == 0){
        return (1);
    }
    if (lim == 0){
        return (0);
    }
    
    ans = 0.0;
    k = 4;
    
    if ((start + 1) % 3 && start + 1 != to){
        ans += 0.25 * getProb(lim - 1, start + 1);
        k--;
    }
    
    if (start % 3 && start - 1 != to){
        ans += 0.25 * getProb(lim - 1, start - 1);
        k--;
    }
    
    if (start + 3 < 9 && start + 3 != to){
        ans += 0.25 * getProb(lim - 1, start + 3);
        k--;
    }
    
    if (start - 3 >= 0 && start - 3 != to){
        ans += 0.25 * getProb(lim - 1, start - 3);
        k--;
    }
    
    ans += 0.25 * k * getProb(lim - 1, start);
    
    return (prob[lim][start] = ans);
}

int main(void)
{
    int left;
    int i, j;
    char in[16];
    
    while (1){
        scanf(" %d", &left);
        if (left == 0){
            break;
        }
        scanf(" %c %c %c", in, in + 2, in + 4);
        from = in[0] - 'A';
        battery = in[2] - 'A';
        to = in[4] - 'A';
        
        for (i = 0; i < 16; i++){
            for (j = 0; j < 16; j++){
                prob[i][j] = -1;
            }
        }
        
        printf("%.8lf\n", getProb(left, from));
    }
    
    return (0);
}```

Unoptimized Assembly Code:

```assembly
	.file	"temp.c"
	.text
	.globl	from
	.bss
	.align 4
	.type	from, @object
	.size	from, 4
from:
	.zero	4
	.globl	battery
	.align 4
	.type	battery, @object
	.size	battery, 4
battery:
	.zero	4
	.globl	to
	.align 4
	.type	to, @object
	.size	to, 4
to:
	.zero	4
	.globl	prob
	.align 32
	.type	prob, @object
	.size	prob, 2048
prob:
	.zero	2048
	.text
	.globl	getProb
	.type	getProb, @function
getProb:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$32, %rsp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
	pxor	%xmm1, %xmm1
	comisd	%xmm1, %xmm0
	jb	.L12
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
	jmp	.L4
.L12:
	movl	battery(%rip), %eax
	cmpl	%eax, -24(%rbp)
	jne	.L5
	cmpl	$0, -20(%rbp)
	jne	.L5
	movsd	.LC1(%rip), %xmm0
	jmp	.L4
.L5:
	cmpl	$0, -20(%rbp)
	jne	.L6
	pxor	%xmm0, %xmm0
	jmp	.L4
.L6:
	pxor	%xmm0, %xmm0
	movsd	%xmm0, -8(%rbp)
	movl	$4, -12(%rbp)
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movslq	%edx, %rax
	imulq	$1431655766, %rax, %rax
	shrq	$32, %rax
	movl	%edx, %ecx
	sarl	$31, %ecx
	subl	%ecx, %eax
	movl	%eax, %ecx
	addl	%ecx, %ecx
	addl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	testl	%eax, %eax
	je	.L7
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L7
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L7:
	movl	-24(%rbp), %edx
	movslq	%edx, %rax
	imulq	$1431655766, %rax, %rax
	shrq	$32, %rax
	movl	%edx, %ecx
	sarl	$31, %ecx
	subl	%ecx, %eax
	movl	%eax, %ecx
	addl	%ecx, %ecx
	addl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	testl	%eax, %eax
	je	.L8
	movl	-24(%rbp), %eax
	leal	-1(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L8
	movl	-24(%rbp), %eax
	leal	-1(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L8:
	cmpl	$5, -24(%rbp)
	jg	.L9
	movl	-24(%rbp), %eax
	leal	3(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L9
	movl	-24(%rbp), %eax
	leal	3(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L9:
	cmpl	$2, -24(%rbp)
	jle	.L10
	movl	-24(%rbp), %eax
	leal	-3(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L10
	movl	-24(%rbp), %eax
	leal	-3(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L10:
	pxor	%xmm1, %xmm1
	cvtsi2sdl	-12(%rbp), %xmm1
	movsd	.LC2(%rip), %xmm0
	mulsd	%xmm0, %xmm1
	movsd	%xmm1, -32(%rbp)
	movl	-20(%rbp), %eax
	leal	-1(%rax), %edx
	movl	-24(%rbp), %eax
	movl	%eax, %esi
	movl	%edx, %edi
	call	getProb
	mulsd	-32(%rbp), %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	-8(%rbp), %xmm0
	movsd	%xmm0, (%rdx,%rax)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
.L4:
	movq	%xmm0, %rax
	movq	%rax, %xmm0
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	getProb, .-getProb
	.section	.rodata
.LC3:
	.string	" %d"
.LC4:
	.string	" %c %c %c"
.LC6:
	.string	"%.8lf\n"
	.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	$48, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
.L20:
	leaq	-44(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC3(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	-44(%rbp), %eax
	testl	%eax, %eax
	je	.L24
	leaq	-32(%rbp), %rdx
	addq	$4, %rdx
	leaq	-32(%rbp), %rax
	addq	$2, %rax
	leaq	-32(%rbp), %rsi
	movq	%rdx, %rcx
	movq	%rax, %rdx
	leaq	.LC4(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movzbl	-32(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, from(%rip)
	movzbl	-30(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, battery(%rip)
	movzbl	-28(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, to(%rip)
	movl	$0, -40(%rbp)
	jmp	.L16
.L19:
	movl	$0, -36(%rbp)
	jmp	.L17
.L18:
	movl	-36(%rbp), %eax
	movslq	%eax, %rdx
	movl	-40(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	.LC5(%rip), %xmm0
	movsd	%xmm0, (%rdx,%rax)
	addl	$1, -36(%rbp)
.L17:
	cmpl	$15, -36(%rbp)
	jle	.L18
	addl	$1, -40(%rbp)
.L16:
	cmpl	$15, -40(%rbp)
	jle	.L19
	movl	from(%rip), %edx
	movl	-44(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movq	%xmm0, %rax
	movq	%rax, %xmm0
	leaq	.LC6(%rip), %rax
	movq	%rax, %rdi
	movl	$1, %eax
	call	printf@PLT
	jmp	.L20
.L24:
	nop
	movl	$0, %eax
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L22
	call	__stack_chk_fail@PLT
.L22:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC1:
	.long	0
	.long	1072693248
	.align 8
.LC2:
	.long	0
	.long	1070596096
	.align 8
.LC5:
	.long	0
	.long	-1074790400
	.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	from
	.bss
	.align 4
	.type	from, @object
	.size	from, 4
from:
	.zero	4
	.globl	battery
	.align 4
	.type	battery, @object
	.size	battery, 4
battery:
	.zero	4
	.globl	to
	.align 4
	.type	to, @object
	.size	to, 4
to:
	.zero	4
	.globl	prob
	.align 32
	.type	prob, @object
	.size	prob, 2048
prob:
	.zero	2048
	.text
	.globl	getProb
	.type	getProb, @function
getProb:
.LFB0:
	.cfi_startproc
	endbr64
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$32, %rsp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
	pxor	%xmm1, %xmm1
	comisd	%xmm1, %xmm0
	jb	.L12
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
	jmp	.L4
.L12:
	movl	battery(%rip), %eax
	cmpl	%eax, -24(%rbp)
	jne	.L5
	cmpl	$0, -20(%rbp)
	jne	.L5
	movsd	.LC1(%rip), %xmm0
	jmp	.L4
.L5:
	cmpl	$0, -20(%rbp)
	jne	.L6
	pxor	%xmm0, %xmm0
	jmp	.L4
.L6:
	pxor	%xmm0, %xmm0
	movsd	%xmm0, -8(%rbp)
	movl	$4, -12(%rbp)
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movslq	%edx, %rax
	imulq	$1431655766, %rax, %rax
	shrq	$32, %rax
	movl	%edx, %ecx
	sarl	$31, %ecx
	subl	%ecx, %eax
	movl	%eax, %ecx
	addl	%ecx, %ecx
	addl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	testl	%eax, %eax
	je	.L7
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L7
	movl	-24(%rbp), %eax
	leal	1(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L7:
	movl	-24(%rbp), %edx
	movslq	%edx, %rax
	imulq	$1431655766, %rax, %rax
	shrq	$32, %rax
	movl	%edx, %ecx
	sarl	$31, %ecx
	subl	%ecx, %eax
	movl	%eax, %ecx
	addl	%ecx, %ecx
	addl	%eax, %ecx
	movl	%edx, %eax
	subl	%ecx, %eax
	testl	%eax, %eax
	je	.L8
	movl	-24(%rbp), %eax
	leal	-1(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L8
	movl	-24(%rbp), %eax
	leal	-1(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L8:
	cmpl	$5, -24(%rbp)
	jg	.L9
	movl	-24(%rbp), %eax
	leal	3(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L9
	movl	-24(%rbp), %eax
	leal	3(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L9:
	cmpl	$2, -24(%rbp)
	jle	.L10
	movl	-24(%rbp), %eax
	leal	-3(%rax), %edx
	movl	to(%rip), %eax
	cmpl	%eax, %edx
	je	.L10
	movl	-24(%rbp), %eax
	leal	-3(%rax), %edx
	movl	-20(%rbp), %eax
	subl	$1, %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movsd	.LC2(%rip), %xmm1
	mulsd	%xmm1, %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	subl	$1, -12(%rbp)
.L10:
	pxor	%xmm1, %xmm1
	cvtsi2sdl	-12(%rbp), %xmm1
	movsd	.LC2(%rip), %xmm0
	mulsd	%xmm0, %xmm1
	movsd	%xmm1, -32(%rbp)
	movl	-20(%rbp), %eax
	leal	-1(%rax), %edx
	movl	-24(%rbp), %eax
	movl	%eax, %esi
	movl	%edx, %edi
	call	getProb
	mulsd	-32(%rbp), %xmm0
	movsd	-8(%rbp), %xmm1
	addsd	%xmm1, %xmm0
	movsd	%xmm0, -8(%rbp)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	-8(%rbp), %xmm0
	movsd	%xmm0, (%rdx,%rax)
	movl	-24(%rbp), %eax
	movslq	%eax, %rdx
	movl	-20(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	(%rdx,%rax), %xmm0
.L4:
	movq	%xmm0, %rax
	movq	%rax, %xmm0
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	getProb, .-getProb
	.section	.rodata
.LC3:
	.string	" %d"
.LC4:
	.string	" %c %c %c"
.LC6:
	.string	"%.8lf\n"
	.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	$48, %rsp
	movq	%fs:40, %rax
	movq	%rax, -8(%rbp)
	xorl	%eax, %eax
.L20:
	leaq	-44(%rbp), %rax
	movq	%rax, %rsi
	leaq	.LC3(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movl	-44(%rbp), %eax
	testl	%eax, %eax
	je	.L24
	leaq	-32(%rbp), %rdx
	addq	$4, %rdx
	leaq	-32(%rbp), %rax
	addq	$2, %rax
	leaq	-32(%rbp), %rsi
	movq	%rdx, %rcx
	movq	%rax, %rdx
	leaq	.LC4(%rip), %rax
	movq	%rax, %rdi
	movl	$0, %eax
	call	__isoc99_scanf@PLT
	movzbl	-32(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, from(%rip)
	movzbl	-30(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, battery(%rip)
	movzbl	-28(%rbp), %eax
	movsbl	%al, %eax
	subl	$65, %eax
	movl	%eax, to(%rip)
	movl	$0, -40(%rbp)
	jmp	.L16
.L19:
	movl	$0, -36(%rbp)
	jmp	.L17
.L18:
	movl	-36(%rbp), %eax
	movslq	%eax, %rdx
	movl	-40(%rbp), %eax
	cltq
	salq	$4, %rax
	addq	%rdx, %rax
	leaq	0(,%rax,8), %rdx
	leaq	prob(%rip), %rax
	movsd	.LC5(%rip), %xmm0
	movsd	%xmm0, (%rdx,%rax)
	addl	$1, -36(%rbp)
.L17:
	cmpl	$15, -36(%rbp)
	jle	.L18
	addl	$1, -40(%rbp)
.L16:
	cmpl	$15, -40(%rbp)
	jle	.L19
	movl	from(%rip), %edx
	movl	-44(%rbp), %eax
	movl	%edx, %esi
	movl	%eax, %edi
	call	getProb
	movq	%xmm0, %rax
	movq	%rax, %xmm0
	leaq	.LC6(%rip), %rax
	movq	%rax, %rdi
	movl	$1, %eax
	call	printf@PLT
	jmp	.L20
.L24:
	nop
	movl	$0, %eax
	movq	-8(%rbp), %rdx
	subq	%fs:40, %rdx
	je	.L22
	call	__stack_chk_fail@PLT
.L22:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC1:
	.long	0
	.long	1072693248
	.align 8
.LC2:
	.long	0
	.long	1070596096
	.align 8
.LC5:
	.long	0
	.long	-1074790400
	.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:
