1403b6cdb:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
1403b6cdf:	48 83 f8 1f          	cmp    $0x1f,%rax
1403b6ce3:	0f 87 72 01 00 00    	ja     0x1403b6e5b
1403b6ce9:	48 8b cb             	mov    %rbx,%rcx
1403b6cec:	e8 53 44 a6 00       	call   0x140e1b144
1403b6cf1:	e9 7b fb ff ff       	jmp    0x1403b6871
1403b6cf6:	4d 85 f6             	test   %r14,%r14
1403b6cf9:	7e 2b                	jle    0x1403b6d26
1403b6cfb:	49 8b df             	mov    %r15,%rbx
1403b6cfe:	66 90                	xchg   %ax,%ax
1403b6d00:	49 8b 3c dc          	mov    (%r12,%rbx,8),%rdi
1403b6d04:	48 85 ff             	test   %rdi,%rdi
1403b6d07:	74 15                	je     0x1403b6d1e
1403b6d09:	48 8b cf             	mov    %rdi,%rcx
1403b6d0c:	e8 8f d3 34 00       	call   0x1407040a0
1403b6d11:	ba 30 00 00 00       	mov    $0x30,%edx
1403b6d16:	48 8b cf             	mov    %rdi,%rcx
1403b6d19:	e8 26 44 a6 00       	call   0x140e1b144
1403b6d1e:	48 ff c3             	inc    %rbx
1403b6d21:	49 3b de             	cmp    %r14,%rbx
1403b6d24:	7c da                	jl     0x1403b6d00
1403b6d26:	49 8b cc             	mov    %r12,%rcx
1403b6d29:	e8 16 44 a6 00       	call   0x140e1b144
1403b6d2e:	90                   	nop
1403b6d2f:	48 8b 5d af          	mov    -0x51(%rbp),%rbx
1403b6d33:	48 85 db             	test   %rbx,%rbx
1403b6d36:	0f 84 97 00 00 00    	je     0x1403b6dd3
1403b6d3c:	48 8b 7d b7          	mov    -0x49(%rbp),%rdi
1403b6d40:	48 3b df             	cmp    %rdi,%rbx
1403b6d43:	74 56                	je     0x1403b6d9b
1403b6d45:	48 8b 53 18          	mov    0x18(%rbx),%rdx
1403b6d49:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6d4d:	76 30                	jbe    0x1403b6d7f
1403b6d4f:	48 8b 0b             	mov    (%rbx),%rcx
1403b6d52:	48 ff c2             	inc    %rdx
1403b6d55:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
1403b6d5c:	72 1c                	jb     0x1403b6d7a
1403b6d5e:	48 83 c2 27          	add    $0x27,%rdx
1403b6d62:	4c 8b 41 f8          	mov    -0x8(%rcx),%r8
1403b6d66:	49 2b c8             	sub    %r8,%rcx
1403b6d69:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
1403b6d6d:	48 83 f8 1f          	cmp    $0x1f,%rax
1403b6d71:	0f 87 e4 00 00 00    	ja     0x1403b6e5b
1403b6d77:	49 8b c8             	mov    %r8,%rcx
1403b6d7a:	e8 c5 43 a6 00       	call   0x140e1b144
1403b6d7f:	4c 89 7b 10          	mov    %r15,0x10(%rbx)
1403b6d83:	48 c7 43 18 0f 00 00 	movq   $0xf,0x18(%rbx)
1403b6d8a:	00
1403b6d8b:	c6 03 00             	movb   $0x0,(%rbx)
1403b6d8e:	48 83 c3 20          	add    $0x20,%rbx
1403b6d92:	48 3b df             	cmp    %rdi,%rbx
1403b6d95:	75 ae                	jne    0x1403b6d45
1403b6d97:	48 8b 5d af          	mov    -0x51(%rbp),%rbx
1403b6d9b:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
1403b6d9f:	48 2b d3             	sub    %rbx,%rdx
1403b6da2:	48 83 e2 e0          	and    $0xffffffffffffffe0,%rdx
1403b6da6:	48 8b c3             	mov    %rbx,%rax
1403b6da9:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
1403b6db0:	72 19                	jb     0x1403b6dcb
1403b6db2:	48 83 c2 27          	add    $0x27,%rdx
1403b6db6:	48 8b 5b f8          	mov    -0x8(%rbx),%rbx
1403b6dba:	48 2b c3             	sub    %rbx,%rax
1403b6dbd:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
1403b6dc1:	48 83 f8 1f          	cmp    $0x1f,%rax
1403b6dc5:	0f 87 90 00 00 00    	ja     0x1403b6e5b
1403b6dcb:	48 8b cb             	mov    %rbx,%rcx
1403b6dce:	e8 71 43 a6 00       	call   0x140e1b144
1403b6dd3:	32 db                	xor    %bl,%bl
1403b6dd5:	eb 17                	jmp    0x1403b6dee
1403b6dd7:	48 8b 87 c0 0c 00 00 	mov    0xcc0(%rdi),%rax
1403b6dde:	83 78 20 02          	cmpl   $0x2,0x20(%rax)
1403b6de2:	74 08                	je     0x1403b6dec
1403b6de4:	48 8b cf             	mov    %rdi,%rcx
1403b6de7:	e8 44 d3 1c 00       	call   0x140584130
1403b6dec:	b3 01                	mov    $0x1,%bl
1403b6dee:	48 8b 55 f7          	mov    -0x9(%rbp),%rdx
1403b6df2:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6df6:	76 2d                	jbe    0x1403b6e25
1403b6df8:	48 ff c2             	inc    %rdx
1403b6dfb:	48 8b 4d df          	mov    -0x21(%rbp),%rcx
1403b6dff:	48 8b c1             	mov    %rcx,%rax
1403b6e02:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
1403b6e09:	72 15                	jb     0x1403b6e20
1403b6e0b:	48 83 c2 27          	add    $0x27,%rdx
1403b6e0f:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1403b6e13:	48 2b c1             	sub    %rcx,%rax
1403b6e16:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
1403b6e1a:	48 83 f8 1f          	cmp    $0x1f,%rax
1403b6e1e:	77 35                	ja     0x1403b6e55
1403b6e20:	e8 1f 43 a6 00       	call   0x140e1b144
1403b6e25:	0f b6 c3             	movzbl %bl,%eax
1403b6e28:	48 8b 4d 2f          	mov    0x2f(%rbp),%rcx
1403b6e2c:	48 33 cc             	xor    %rsp,%rcx
1403b6e2f:	e8 cc 46 a6 00       	call   0x140e1b500
1403b6e34:	4c 8d 9c 24 d0 00 00 	lea    0xd0(%rsp),%r11
1403b6e3b:	00
1403b6e3c:	49 8b 5b 38          	mov    0x38(%r11),%rbx
1403b6e40:	49 8b 73 40          	mov    0x40(%r11),%rsi
1403b6e44:	49 8b 7b 48          	mov    0x48(%r11),%rdi
1403b6e48:	49 8b e3             	mov    %r11,%rsp
1403b6e4b:	41 5f                	pop    %r15
1403b6e4d:	41 5e                	pop    %r14
1403b6e4f:	41 5d                	pop    %r13
1403b6e51:	41 5c                	pop    %r12
1403b6e53:	5d                   	pop    %rbp
1403b6e54:	c3                   	ret
1403b6e55:	e8 4a 33 a7 00       	call   0x140e2a1a4
1403b6e5a:	90                   	nop
1403b6e5b:	e8 44 33 a7 00       	call   0x140e2a1a4
1403b6e60:	90                   	nop
1403b6e61:	ba 01 00 00 00       	mov    $0x1,%edx
1403b6e66:	48 8d 4d cf          	lea    -0x31(%rbp),%rcx
1403b6e6a:	e8 51 09 e5 ff       	call   0x1402077c0
1403b6e6f:	4c 8b c0             	mov    %rax,%r8
1403b6e72:	48 8d 15 6f 28 bf 00 	lea    0xbf286f(%rip),%rdx        # 0x140fa96e8
1403b6e79:	48 8d 4d ff          	lea    -0x1(%rbp),%rcx
1403b6e7d:	e8 ae 99 e2 ff       	call   0x1401e0830
1403b6e82:	48 8d 15 8f 9e fe 00 	lea    0xfe9e8f(%rip),%rdx        # 0x1413a0d18
1403b6e89:	48 8d 4d ff          	lea    -0x1(%rbp),%rcx
1403b6e8d:	e8 86 59 a6 00       	call   0x140e1c818
1403b6e92:	90                   	nop
1403b6e93:	e8 0c 33 a7 00       	call   0x140e2a1a4
1403b6e98:	cc                   	int3
1403b6e99:	e8 f2 62 de ff       	call   0x14019d190
1403b6e9e:	cc                   	int3
1403b6e9f:	e8 cc 66 de ff       	call   0x14019d570
1403b6ea4:	cc                   	int3
1403b6ea5:	cc                   	int3
1403b6ea6:	cc                   	int3
1403b6ea7:	cc                   	int3
1403b6ea8:	cc                   	int3
1403b6ea9:	cc                   	int3
1403b6eaa:	cc                   	int3
1403b6eab:	cc                   	int3
1403b6eac:	cc                   	int3
1403b6ead:	cc                   	int3
1403b6eae:	cc                   	int3
1403b6eaf:	cc                   	int3
1403b6eb0:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1403b6eb5:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1403b6eba:	57                   	push   %rdi
1403b6ebb:	48 83 ec 50          	sub    $0x50,%rsp
1403b6ebf:	48 8b 05 3a 20 00 01 	mov    0x100203a(%rip),%rax        # 0x1413b8f00
1403b6ec6:	48 33 c4             	xor    %rsp,%rax
1403b6ec9:	48 89 44 24 48       	mov    %rax,0x48(%rsp)
1403b6ece:	48 8d b1 e0 0c 00 00 	lea    0xce0(%rcx),%rsi
1403b6ed5:	48 8b f9             	mov    %rcx,%rdi
1403b6ed8:	48 8b 06             	mov    (%rsi),%rax
1403b6edb:	48 8b da             	mov    %rdx,%rbx
1403b6ede:	b2 0a                	mov    $0xa,%dl
1403b6ee0:	48 63 48 04          	movslq 0x4(%rax),%rcx
1403b6ee4:	48 03 ce             	add    %rsi,%rcx
1403b6ee7:	e8 84 46 e5 ff       	call   0x14020b570
1403b6eec:	44 0f b6 c0          	movzbl %al,%r8d
1403b6ef0:	48 8b d3             	mov    %rbx,%rdx
1403b6ef3:	48 8b ce             	mov    %rsi,%rcx
1403b6ef6:	e8 a5 74 fc ff       	call   0x14037e3a0
1403b6efb:	48 8b 08             	mov    (%rax),%rcx
1403b6efe:	48 63 51 04          	movslq 0x4(%rcx),%rdx
1403b6f02:	f6 44 02 10 06       	testb  $0x6,0x10(%rdx,%rax,1)
1403b6f07:	0f 85 f5 00 00 00    	jne    0x1403b7002
1403b6f0d:	0f 1f 00             	nopl   (%rax)
1403b6f10:	48 8b 87 08 0f 00 00 	mov    0xf08(%rdi),%rax
1403b6f17:	48 85 c0             	test   %rax,%rax
1403b6f1a:	74 0d                	je     0x1403b6f29
1403b6f1c:	ff 40 08             	incl   0x8(%rax)
1403b6f1f:	48 8b 87 08 0f 00 00 	mov    0xf08(%rdi),%rax
1403b6f26:	ff 40 0c             	incl   0xc(%rax)
1403b6f29:	48 8b 43 10          	mov    0x10(%rbx),%rax
1403b6f2d:	48 85 c0             	test   %rax,%rax
1403b6f30:	0f 84 9a 00 00 00    	je     0x1403b6fd0
1403b6f36:	48 8b 53 18          	mov    0x18(%rbx),%rdx
1403b6f3a:	48 8b cb             	mov    %rbx,%rcx
1403b6f3d:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6f41:	76 03                	jbe    0x1403b6f46
1403b6f43:	48 8b 0b             	mov    (%rbx),%rcx
1403b6f46:	80 7c 08 ff 0d       	cmpb   $0xd,-0x1(%rax,%rcx,1)
1403b6f4b:	75 18                	jne    0x1403b6f65
1403b6f4d:	48 8d 48 ff          	lea    -0x1(%rax),%rcx
1403b6f51:	48 8b c3             	mov    %rbx,%rax
1403b6f54:	48 89 4b 10          	mov    %rcx,0x10(%rbx)
1403b6f58:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6f5c:	76 03                	jbe    0x1403b6f61
1403b6f5e:	48 8b 03             	mov    (%rbx),%rax
1403b6f61:	c6 04 08 00          	movb   $0x0,(%rax,%rcx,1)
1403b6f65:	48 8b 53 18          	mov    0x18(%rbx),%rdx
1403b6f69:	48 8b c3             	mov    %rbx,%rax
1403b6f6c:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6f70:	76 03                	jbe    0x1403b6f75
1403b6f72:	48 8b 03             	mov    (%rbx),%rax
1403b6f75:	80 38 23             	cmpb   $0x23,(%rax)
1403b6f78:	0f 85 30 01 00 00    	jne    0x1403b70ae
1403b6f7e:	48 83 7b 10 08       	cmpq   $0x8,0x10(%rbx)
1403b6f83:	76 4b                	jbe    0x1403b6fd0
1403b6f85:	48 8b cb             	mov    %rbx,%rcx
1403b6f88:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6f8c:	76 03                	jbe    0x1403b6f91
1403b6f8e:	48 8b 0b             	mov    (%rbx),%rcx
1403b6f91:	41 b8 07 00 00 00    	mov    $0x7,%r8d
1403b6f97:	48 8d 15 7a fb c2 00 	lea    0xc2fb7a(%rip),%rdx        # 0x140fe6b18
1403b6f9e:	e8 ad 8a b2 00       	call   0x140edfa50
1403b6fa3:	85 c0                	test   %eax,%eax
1403b6fa5:	75 29                	jne    0x1403b6fd0
1403b6fa7:	48 8d 87 58 0e 00 00 	lea    0xe58(%rdi),%rax
1403b6fae:	48 83 78 18 0f       	cmpq   $0xf,0x18(%rax)
1403b6fb3:	76 03                	jbe    0x1403b6fb8
1403b6fb5:	48 8b 00             	mov    (%rax),%rax
1403b6fb8:	48 8b 53 18          	mov    0x18(%rbx),%rdx
1403b6fbc:	48 8b cb             	mov    %rbx,%rcx
1403b6fbf:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b6fc3:	76 03                	jbe    0x1403b6fc8
1403b6fc5:	48 8b 0b             	mov    (%rbx),%rcx
1403b6fc8:	0f b6 00             	movzbl (%rax),%eax
1403b6fcb:	38 41 07             	cmp    %al,0x7(%rcx)
1403b6fce:	74 51                	je     0x1403b7021
1403b6fd0:	48 8b 06             	mov    (%rsi),%rax
1403b6fd3:	b2 0a                	mov    $0xa,%dl
1403b6fd5:	48 63 48 04          	movslq 0x4(%rax),%rcx
1403b6fd9:	48 03 ce             	add    %rsi,%rcx
1403b6fdc:	e8 8f 45 e5 ff       	call   0x14020b570
1403b6fe1:	44 0f b6 c0          	movzbl %al,%r8d
1403b6fe5:	48 8b d3             	mov    %rbx,%rdx
1403b6fe8:	48 8b ce             	mov    %rsi,%rcx
1403b6feb:	e8 b0 73 fc ff       	call   0x14037e3a0
1403b6ff0:	48 8b 08             	mov    (%rax),%rcx
1403b6ff3:	48 63 51 04          	movslq 0x4(%rcx),%rdx
1403b6ff7:	f6 44 02 10 06       	testb  $0x6,0x10(%rdx,%rax,1)
1403b6ffc:	0f 84 0e ff ff ff    	je     0x1403b6f10
1403b7002:	32 c0                	xor    %al,%al
1403b7004:	48 8b 4c 24 48       	mov    0x48(%rsp),%rcx
1403b7009:	48 33 cc             	xor    %rsp,%rcx
1403b700c:	e8 ef 44 a6 00       	call   0x140e1b500
1403b7011:	48 8b 5c 24 70       	mov    0x70(%rsp),%rbx
1403b7016:	48 8b 74 24 78       	mov    0x78(%rsp),%rsi
1403b701b:	48 83 c4 50          	add    $0x50,%rsp
1403b701f:	5f                   	pop    %rdi
1403b7020:	c3                   	ret
1403b7021:	48 8b 43 10          	mov    0x10(%rbx),%rax
1403b7025:	0f 57 c0             	xorps  %xmm0,%xmm0
1403b7028:	0f 57 c9             	xorps  %xmm1,%xmm1
1403b702b:	0f 11 44 24 28       	movups %xmm0,0x28(%rsp)
1403b7030:	f3 0f 7f 4c 24 38    	movdqu %xmm1,0x38(%rsp)
1403b7036:	48 83 f8 08          	cmp    $0x8,%rax
1403b703a:	72 7f                	jb     0x1403b70bb
1403b703c:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
1403b7040:	49 c7 c0 ff ff ff ff 	mov    $0xffffffffffffffff,%r8
1403b7047:	49 3b c0             	cmp    %r8,%rax
1403b704a:	4c 0f 42 c0          	cmovb  %rax,%r8
1403b704e:	48 8b c3             	mov    %rbx,%rax
1403b7051:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b7055:	76 03                	jbe    0x1403b705a
1403b7057:	48 8b 03             	mov    (%rbx),%rax
1403b705a:	48 8d 50 08          	lea    0x8(%rax),%rdx
1403b705e:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
1403b7063:	e8 98 fd dd ff       	call   0x140196e00
1403b7068:	48 8d 54 24 28       	lea    0x28(%rsp),%rdx
1403b706d:	48 8b cb             	mov    %rbx,%rcx
1403b7070:	e8 ab 76 de ff       	call   0x14019e720
1403b7075:	48 8b 54 24 40       	mov    0x40(%rsp),%rdx
1403b707a:	48 83 fa 0f          	cmp    $0xf,%rdx
1403b707e:	76 2e                	jbe    0x1403b70ae
1403b7080:	48 8b 4c 24 28       	mov    0x28(%rsp),%rcx
1403b7085:	48 ff c2             	inc    %rdx
1403b7088:	48 8b c1             	mov    %rcx,%rax
1403b708b:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
1403b7092:	72 15                	jb     0x1403b70a9
1403b7094:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1403b7098:	48 83 c2 27          	add    $0x27,%rdx
1403b709c:	48 2b c1             	sub    %rcx,%rax
1403b709f:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
1403b70a3:	48 83 f8 1f          	cmp    $0x1f,%rax
1403b70a7:	77 0c                	ja     0x1403b70b5
1403b70a9:	e8 96 40 a6 00       	call   0x140e1b144
1403b70ae:	b0 01                	mov    $0x1,%al
1403b70b0:	e9 4f ff ff ff       	jmp    0x1403b7004
1403b70b5:	e8 ea 30 a7 00       	call   0x140e2a1a4
1403b70ba:	cc                   	int3
1403b70bb:	e8 f0 64 de ff       	call   0x14019d5b0
1403b70c0:	cc                   	int3
1403b70c1:	cc                   	int3
1403b70c2:	cc                   	int3
1403b70c3:	cc                   	int3
1403b70c4:	cc                   	int3
1403b70c5:	cc                   	int3
1403b70c6:	cc                   	int3
1403b70c7:	cc                   	int3
1403b70c8:	cc                   	int3
1403b70c9:	cc                   	int3
1403b70ca:	cc                   	int3
1403b70cb:	cc                   	int3
1403b70cc:	cc                   	int3
1403b70cd:	cc                   	int3
1403b70ce:	cc                   	int3
1403b70cf:	cc                   	int3
1403b70d0:	48 8b 81 08 0f 00 00 	mov    0xf08(%rcx),%rax
1403b70d7:	c3                   	ret
1403b70d8:	cc                   	int3
1403b70d9:	cc                   	int3
1403b70da:	cc                   	int3
1403b70db:	cc                   	int3
1403b70dc:	cc                   	int3
1403b70dd:	cc                   	int3
1403b70de:	cc                   	int3
1403b70df:	cc                   	int3
1403b70e0:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1403b70e5:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
1403b70ea:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1403b70ef:	55                   	push   %rbp
1403b70f0:	41 54                	push   %r12
1403b70f2:	41 55                	push   %r13
1403b70f4:	41 56                	push   %r14
1403b70f6:	41 57                	push   %r15
1403b70f8:	48 8d 6c 24 c9       	lea    -0x37(%rsp),%rbp
1403b70fd:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
1403b7104:	48 8b 05 f5 1d 00 01 	mov    0x1001df5(%rip),%rax        # 0x1413b8f00
1403b710b:	48 33 c4             	xor    %rsp,%rax
1403b710e:	48 89 45 2f          	mov    %rax,0x2f(%rbp)
1403b7112:	48 8b d9             	mov    %rcx,%rbx
1403b7115:	45 33 e4             	xor    %r12d,%r12d
1403b7118:	4c 39 a1 70 0d 00 00 	cmp    %r12,0xd70(%rcx)
1403b711f:	0f 85 01 05 00 00    	jne    0x1403b7626
1403b7125:	48 8b 81 c0 0c 00 00 	mov    0xcc0(%rcx),%rax
1403b712c:	48 8b 10             	mov    (%rax),%rdx
1403b712f:	4c 8d b1 00 0e 00 00 	lea    0xe00(%rcx),%r14
1403b7136:	48 c7 c7 ff ff ff ff 	mov    $0xffffffffffffffff,%rdi
1403b713d:	4c 8b c7             	mov    %rdi,%r8
1403b7140:	49 ff c0             	inc    %r8
1403b7143:	46 38 24 02          	cmp    %r12b,(%rdx,%r8,1)
1403b7147:	75 f7                	jne    0x1403b7140
1403b7149:	49 8b ce             	mov    %r14,%rcx
1403b714c:	e8 7f 82 de ff       	call   0x14019f3d0
1403b7151:	49 8b c6             	mov    %r14,%rax
1403b7154:	49 83 7e 18 0f       	cmpq   $0xf,0x18(%r14)
1403b7159:	76 03                	jbe    0x1403b715e
1403b715b:	49 8b 06             	mov    (%r14),%rax
1403b715e:	80 38 2f             	cmpb   $0x2f,(%rax)
1403b7161:	0f 84 6e 03 00 00    	je     0x1403b74d5
1403b7167:	4c 39 a3 f0 0e 00 00 	cmp    %r12,0xef0(%rbx)
1403b716e:	0f 84 61 03 00 00    	je     0x1403b74d5
1403b7174:	48 8d 93 e0 0e 00 00 	lea    0xee0(%rbx),%rdx
1403b717b:	48 8d 4d cf          	lea    -0x31(%rbp),%rcx
1403b717f:	e8 bc 18 df ff       	call   0x1401a8a40
1403b7184:	90                   	nop
1403b7185:	48 8d 4d cf          	lea    -0x31(%rbp),%rcx
1403b7189:	4c 8b 45 cf          	mov    -0x31(%rbp),%r8
1403b718d:	4c 8b 7d e7          	mov    -0x19(%rbp),%r15
1403b7191:	49 83 ff 0f          	cmp    $0xf,%r15
1403b7195:	49 0f 47 c8          	cmova  %r8,%rcx
1403b7199:	49 bd ff ff ff ff ff 	movabs $0x7fffffffffffffff,%r13
1403b71a0:	ff ff 7f