14043fcfb:	48 8d 15 3e 55 bb 00 	lea    0xbb553e(%rip),%rdx        # 0x140ff5240
14043fd02:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd07:	e8 e4 92 d6 ff       	call   0x1401a8ff0
14043fd0c:	48 8d 15 7d 0d f6 00 	lea    0xf60d7d(%rip),%rdx        # 0x1413a0a90
14043fd13:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd18:	e8 fb ca 9d 00       	call   0x140e1c818
14043fd1d:	cc                   	int3
14043fd1e:	2b f7                	sub    %edi,%esi
14043fd20:	48 8d 15 b9 53 bb 00 	lea    0xbb53b9(%rip),%rdx        # 0x140ff50e0
14043fd27:	44 8b ce             	mov    %esi,%r9d
14043fd2a:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd2f:	41 b8 1c 00 00 00    	mov    $0x1c,%r8d
14043fd35:	e8 b6 93 d6 ff       	call   0x1401a90f0
14043fd3a:	48 8d 15 8f 0c f6 00 	lea    0xf60c8f(%rip),%rdx        # 0x1413a09d0
14043fd41:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd46:	e8 cd ca 9d 00       	call   0x140e1c818
14043fd4b:	cc                   	int3
14043fd4c:	44 2b d7             	sub    %edi,%r10d
14043fd4f:	48 8d 15 9a 54 bb 00 	lea    0xbb549a(%rip),%rdx        # 0x140ff51f0
14043fd56:	2b f7                	sub    %edi,%esi
14043fd58:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd5d:	45 03 c2             	add    %r10d,%r8d
14043fd60:	44 8b ce             	mov    %esi,%r9d
14043fd63:	e8 88 93 d6 ff       	call   0x1401a90f0
14043fd68:	48 8d 15 61 0c f6 00 	lea    0xf60c61(%rip),%rdx        # 0x1413a09d0
14043fd6f:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd74:	e8 9f ca 9d 00       	call   0x140e1c818
14043fd79:	cc                   	int3
14043fd7a:	44 2b f7             	sub    %edi,%r14d
14043fd7d:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fd82:	2b f7                	sub    %edi,%esi
14043fd84:	44 8b ce             	mov    %esi,%r9d
14043fd87:	46 8d 04 32          	lea    (%rdx,%r14,1),%r8d
14043fd8b:	48 8d 15 fe 53 bb 00 	lea    0xbb53fe(%rip),%rdx        # 0x140ff5190
14043fd92:	e8 59 93 d6 ff       	call   0x1401a90f0
14043fd97:	48 8d 15 32 0c f6 00 	lea    0xf60c32(%rip),%rdx        # 0x1413a09d0
14043fd9e:	48 8d 4c 24 28       	lea    0x28(%rsp),%rcx
14043fda3:	e8 70 ca 9d 00       	call   0x140e1c818
14043fda8:	cc                   	int3
14043fda9:	cc                   	int3
14043fdaa:	cc                   	int3
14043fdab:	cc                   	int3
14043fdac:	cc                   	int3
14043fdad:	cc                   	int3
14043fdae:	cc                   	int3
14043fdaf:	cc                   	int3
14043fdb0:	40 53                	rex push %rbx
14043fdb2:	56                   	push   %rsi
14043fdb3:	57                   	push   %rdi
14043fdb4:	41 56                	push   %r14
14043fdb6:	48 83 ec 68          	sub    $0x68,%rsp
14043fdba:	48 8b 05 3f 91 f7 00 	mov    0xf7913f(%rip),%rax        # 0x1413b8f00
14043fdc1:	48 33 c4             	xor    %rsp,%rax
14043fdc4:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
14043fdc9:	48 8d 72 01          	lea    0x1(%rdx),%rsi
14043fdcd:	4d 8b f1             	mov    %r9,%r14
14043fdd0:	49 8b f8             	mov    %r8,%rdi
14043fdd3:	48 8b d9             	mov    %rcx,%rbx
14043fdd6:	49 3b f0             	cmp    %r8,%rsi
14043fdd9:	0f 87 b9 01 00 00    	ja     0x14043ff98
14043fddf:	48 3b f2             	cmp    %rdx,%rsi
14043fde2:	0f 82 b0 01 00 00    	jb     0x14043ff98
14043fde8:	0f b6 0a             	movzbl (%rdx),%ecx
14043fdeb:	88 0b                	mov    %cl,(%rbx)
14043fded:	88 4b 01             	mov    %cl,0x1(%rbx)
14043fdf0:	83 e9 03             	sub    $0x3,%ecx
14043fdf3:	0f 84 c0 00 00 00    	je     0x14043feb9
14043fdf9:	83 f9 01             	cmp    $0x1,%ecx
14043fdfc:	74 35                	je     0x14043fe33
14043fdfe:	48 8d 42 03          	lea    0x3(%rdx),%rax
14043fe02:	49 3b c0             	cmp    %r8,%rax
14043fe05:	0f 87 5f 01 00 00    	ja     0x14043ff6a
14043fe0b:	48 3b c6             	cmp    %rsi,%rax
14043fe0e:	0f 82 56 01 00 00    	jb     0x14043ff6a
14043fe14:	83 bc 24 b0 00 00 00 	cmpl   $0x1,0xb0(%rsp)
14043fe1b:	01
14043fe1c:	0f b7 06             	movzwl (%rsi),%eax
14043fe1f:	74 04                	je     0x14043fe25
14043fe21:	66 c1 c8 08          	ror    $0x8,%ax
14043fe25:	66 89 43 18          	mov    %ax,0x18(%rbx)
14043fe29:	bf 02 00 00 00       	mov    $0x2,%edi
14043fe2e:	e9 0b 01 00 00       	jmp    0x14043ff3e
14043fe33:	b9 58 00 00 00       	mov    $0x58,%ecx
14043fe38:	e8 cb b2 9d 00       	call   0x140e1b108
14043fe3d:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
14043fe42:	4c 8b d0             	mov    %rax,%r10
14043fe45:	48 85 c0             	test   %rax,%rax
14043fe48:	74 45                	je     0x14043fe8f
14043fe4a:	0f b7 4b 28          	movzwl 0x28(%rbx),%ecx
14043fe4e:	48 8b 43 20          	mov    0x20(%rbx),%rax
14043fe52:	66 ff c1             	inc    %cx
14043fe55:	33 d2                	xor    %edx,%edx
14043fe57:	49 89 52 10          	mov    %rdx,0x10(%r10)
14043fe5b:	41 89 52 18          	mov    %edx,0x18(%r10)
14043fe5f:	49 89 52 30          	mov    %rdx,0x30(%r10)
14043fe63:	49 89 52 38          	mov    %rdx,0x38(%r10)
14043fe67:	49 89 12             	mov    %rdx,(%r10)
14043fe6a:	41 89 52 08          	mov    %edx,0x8(%r10)
14043fe6e:	66 41 89 52 0c       	mov    %dx,0xc(%r10)
14043fe73:	49 89 52 20          	mov    %rdx,0x20(%r10)
14043fe77:	49 89 52 28          	mov    %rdx,0x28(%r10)
14043fe7b:	49 89 52 40          	mov    %rdx,0x40(%r10)
14043fe7f:	49 89 42 48          	mov    %rax,0x48(%r10)
14043fe83:	66 41 89 4a 50       	mov    %cx,0x50(%r10)
14043fe88:	66 41 89 52 52       	mov    %dx,0x52(%r10)
14043fe8d:	eb 05                	jmp    0x14043fe94
14043fe8f:	33 d2                	xor    %edx,%edx
14043fe91:	44 8b d2             	mov    %edx,%r10d
14043fe94:	8b 84 24 b0 00 00 00 	mov    0xb0(%rsp),%eax
14043fe9b:	4d 8b ce             	mov    %r14,%r9
14043fe9e:	4c 8b c7             	mov    %rdi,%r8
14043fea1:	89 44 24 20          	mov    %eax,0x20(%rsp)
14043fea5:	48 8b d6             	mov    %rsi,%rdx
14043fea8:	4c 89 53 10          	mov    %r10,0x10(%rbx)
14043feac:	49 8b ca             	mov    %r10,%rcx
14043feaf:	e8 5c 07 00 00       	call   0x140440610
14043feb4:	e9 83 00 00 00       	jmp    0x14043ff3c
14043feb9:	b9 68 00 00 00       	mov    $0x68,%ecx
14043febe:	e8 45 b2 9d 00       	call   0x140e1b108
14043fec3:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
14043fec8:	4c 8b d0             	mov    %rax,%r10
14043fecb:	48 85 c0             	test   %rax,%rax
14043fece:	74 47                	je     0x14043ff17
14043fed0:	0f b7 4b 28          	movzwl 0x28(%rbx),%ecx
14043fed4:	48 8b 43 20          	mov    0x20(%rbx),%rax
14043fed8:	66 ff c1             	inc    %cx
14043fedb:	33 d2                	xor    %edx,%edx
14043fedd:	49 89 52 40          	mov    %rdx,0x40(%r10)
14043fee1:	49 89 52 48          	mov    %rdx,0x48(%r10)
14043fee5:	49 89 12             	mov    %rdx,(%r10)
14043fee8:	41 89 52 08          	mov    %edx,0x8(%r10)
14043feec:	49 89 52 10          	mov    %rdx,0x10(%r10)
14043fef0:	49 89 52 18          	mov    %rdx,0x18(%r10)
14043fef4:	49 89 52 20          	mov    %rdx,0x20(%r10)
14043fef8:	49 89 52 28          	mov    %rdx,0x28(%r10)
14043fefc:	49 89 52 30          	mov    %rdx,0x30(%r10)
14043ff00:	49 89 52 38          	mov    %rdx,0x38(%r10)
14043ff04:	49 89 52 50          	mov    %rdx,0x50(%r10)
14043ff08:	49 89 42 58          	mov    %rax,0x58(%r10)
14043ff0c:	66 41 89 4a 60       	mov    %cx,0x60(%r10)
14043ff11:	41 88 52 62          	mov    %dl,0x62(%r10)
14043ff15:	eb 05                	jmp    0x14043ff1c
14043ff17:	33 d2                	xor    %edx,%edx
14043ff19:	44 8b d2             	mov    %edx,%r10d
14043ff1c:	8b 84 24 b0 00 00 00 	mov    0xb0(%rsp),%eax
14043ff23:	4d 8b ce             	mov    %r14,%r9
14043ff26:	4c 8b c7             	mov    %rdi,%r8
14043ff29:	89 44 24 20          	mov    %eax,0x20(%rsp)
14043ff2d:	48 8b d6             	mov    %rsi,%rdx
14043ff30:	4c 89 53 08          	mov    %r10,0x8(%rbx)
14043ff34:	49 8b ca             	mov    %r10,%rcx
14043ff37:	e8 94 00 00 00       	call   0x14043ffd0
14043ff3c:	8b f8                	mov    %eax,%edi
14043ff3e:	48 8b 53 20          	mov    0x20(%rbx),%rdx
14043ff42:	4c 8b c3             	mov    %rbx,%r8
14043ff45:	49 8b 0e             	mov    (%r14),%rcx
14043ff48:	e8 e3 27 01 00       	call   0x140452730
14043ff4d:	88 43 2a             	mov    %al,0x2a(%rbx)
14043ff50:	8d 47 01             	lea    0x1(%rdi),%eax
14043ff53:	48 8b 4c 24 58       	mov    0x58(%rsp),%rcx
14043ff58:	48 33 cc             	xor    %rsp,%rcx
14043ff5b:	e8 a0 b5 9d 00       	call   0x140e1b500
14043ff60:	48 83 c4 68          	add    $0x68,%rsp
14043ff64:	41 5e                	pop    %r14
14043ff66:	5f                   	pop    %rdi
14043ff67:	5e                   	pop    %rsi
14043ff68:	5b                   	pop    %rbx
14043ff69:	c3                   	ret
14043ff6a:	2b fa                	sub    %edx,%edi
14043ff6c:	48 8d 4c 24 38       	lea    0x38(%rsp),%rcx
14043ff71:	44 8b cf             	mov    %edi,%r9d
14043ff74:	48 8d 15 9d 4e bb 00 	lea    0xbb4e9d(%rip),%rdx        # 0x140ff4e18
14043ff7b:	41 b8 03 00 00 00    	mov    $0x3,%r8d
14043ff81:	e8 6a 91 d6 ff       	call   0x1401a90f0
14043ff86:	48 8d 15 43 0a f6 00 	lea    0xf60a43(%rip),%rdx        # 0x1413a09d0
14043ff8d:	48 8d 4c 24 38       	lea    0x38(%rsp),%rcx
14043ff92:	e8 81 c8 9d 00       	call   0x140e1c818
14043ff97:	cc                   	int3
14043ff98:	2b fa                	sub    %edx,%edi
14043ff9a:	48 8d 4c 24 38       	lea    0x38(%rsp),%rcx
14043ff9f:	44 8b cf             	mov    %edi,%r9d
14043ffa2:	48 8d 15 3f 4e bb 00 	lea    0xbb4e3f(%rip),%rdx        # 0x140ff4de8
14043ffa9:	41 b8 01 00 00 00    	mov    $0x1,%r8d
14043ffaf:	e8 3c 91 d6 ff       	call   0x1401a90f0
14043ffb4:	48 8d 15 15 0a f6 00 	lea    0xf60a15(%rip),%rdx        # 0x1413a09d0
14043ffbb:	48 8d 4c 24 38       	lea    0x38(%rsp),%rcx
14043ffc0:	e8 53 c8 9d 00       	call   0x140e1c818
14043ffc5:	cc                   	int3
14043ffc6:	cc                   	int3
14043ffc7:	cc                   	int3
14043ffc8:	cc                   	int3
14043ffc9:	cc                   	int3
14043ffca:	cc                   	int3
14043ffcb:	cc                   	int3
14043ffcc:	cc                   	int3
14043ffcd:	cc                   	int3
14043ffce:	cc                   	int3
14043ffcf:	cc                   	int3
14043ffd0:	40 55                	rex push %rbp
14043ffd2:	56                   	push   %rsi
14043ffd3:	57                   	push   %rdi
14043ffd4:	41 55                	push   %r13
14043ffd6:	41 56                	push   %r14
14043ffd8:	48 81 ec 80 00 00 00 	sub    $0x80,%rsp
14043ffdf:	48 8b 05 1a 8f f7 00 	mov    0xf78f1a(%rip),%rax        # 0x1413b8f00
14043ffe6:	48 33 c4             	xor    %rsp,%rax
14043ffe9:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
14043ffee:	48 8d 6a 08          	lea    0x8(%rdx),%rbp
14043fff2:	4c 89 4c 24 30       	mov    %r9,0x30(%rsp)
14043fff7:	48 89 54 24 28       	mov    %rdx,0x28(%rsp)
14043fffc:	49 8b f0             	mov    %r8,%rsi
14043ffff:	4c 8b ea             	mov    %rdx,%r13
140440002:	48 8b f9             	mov    %rcx,%rdi
140440005:	49 3b e8             	cmp    %r8,%rbp
140440008:	0f 87 4a 05 00 00    	ja     0x140440558
14044000e:	4c 8d 72 06          	lea    0x6(%rdx),%r14
140440012:	49 3b ee             	cmp    %r14,%rbp
140440015:	0f 82 3d 05 00 00    	jb     0x140440558
14044001b:	48 89 5c 24 78       	mov    %rbx,0x78(%rsp)
140440020:	b9 08 00 00 00       	mov    $0x8,%ecx
140440025:	4c 89 7c 24 68       	mov    %r15,0x68(%rsp)
14044002a:	e8 d9 b0 9d 00       	call   0x140e1b108
14044002f:	33 db                	xor    %ebx,%ebx
140440031:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140440036:	48 85 c0             	test   %rax,%rax
140440039:	74 0b                	je     0x140440046
14044003b:	89 18                	mov    %ebx,(%rax)
14044003d:	c7 40 04 01 00 00 00 	movl   $0x1,0x4(%rax)
140440044:	eb 03                	jmp    0x140440049
140440046:	48 8b c3             	mov    %rbx,%rax
140440049:	4c 8b c6             	mov    %rsi,%r8
14044004c:	48 89 07             	mov    %rax,(%rdi)
14044004f:	49 8b d5             	mov    %r13,%rdx
140440052:	48 8b c8             	mov    %rax,%rcx
140440055:	e8 c6 db 00 00       	call   0x14044dc20
14044005a:	83 bc 24 d0 00 00 00 	cmpl   $0x1,0xd0(%rsp)
140440061:	01
140440062:	41 0f b7 45 04       	movzwl 0x4(%r13),%eax
140440067:	75 0a                	jne    0x140440073
140440069:	66 89 47 08          	mov    %ax,0x8(%rdi)
14044006d:	41 0f b7 0e          	movzwl (%r14),%ecx
140440071:	eb 10                	jmp    0x140440083
140440073:	66 c1 c8 08          	ror    $0x8,%ax
140440077:	66 89 47 08          	mov    %ax,0x8(%rdi)
14044007b:	41 0f b7 0e          	movzwl (%r14),%ecx
14044007f:	66 c1 c9 08          	ror    $0x8,%cx
140440083:	8b c3                	mov    %ebx,%eax
140440085:	66 89 4f 0a          	mov    %cx,0xa(%rdi)
140440089:	66 85 c9             	test   %cx,%cx
14044008c:	0f 95 c0             	setne  %al
14044008f:	44 8b f8             	mov    %eax,%r15d
140440092:	48 8b c6             	mov    %rsi,%rax
140440095:	49 2b c5             	sub    %r13,%rax
140440098:	48 83 e8 08          	sub    $0x8,%rax
14044009c:	4c 3b f8             	cmp    %rax,%r15
14044009f:	0f 8f e2 04 00 00    	jg     0x140440587
1404400a5:	b9 18 00 00 00       	mov    $0x18,%ecx
1404400aa:	4c 89 64 24 70       	mov    %r12,0x70(%rsp)
1404400af:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
1404400b3:	e8 50 b0 9d 00       	call   0x140e1b108
1404400b8:	48 8b c8             	mov    %rax,%rcx
1404400bb:	48 85 c0             	test   %rax,%rax
1404400be:	74 0d                	je     0x1404400cd
1404400c0:	48 89 18             	mov    %rbx,(%rax)
1404400c3:	48 89 58 08          	mov    %rbx,0x8(%rax)
1404400c7:	48 89 58 10          	mov    %rbx,0x10(%rax)
1404400cb:	eb 03                	jmp    0x1404400d0
1404400cd:	48 8b cb             	mov    %rbx,%rcx
1404400d0:	48 89 4f 10          	mov    %rcx,0x10(%rdi)
1404400d4:	48 8b 41 10          	mov    0x10(%rcx),%rax
1404400d8:	48 2b 01             	sub    (%rcx),%rax
1404400db:	48 c1 f8 03          	sar    $0x3,%rax
1404400df:	4c 89 7c 24 20       	mov    %r15,0x20(%rsp)
1404400e4:	4c 3b f8             	cmp    %rax,%r15
1404400e7:	76 0a                	jbe    0x1404400f3
1404400e9:	48 8d 54 24 20       	lea    0x20(%rsp),%rdx
1404400ee:	e8 2d 55 f8 ff       	call   0x1403c5620
1404400f3:	45 85 ff             	test   %r15d,%r15d
1404400f6:	0f 84 97 00 00 00    	je     0x140440193
1404400fc:	4c 8b 6c 24 30       	mov    0x30(%rsp),%r13
140440101:	b9 20 00 00 00       	mov    $0x20,%ecx
140440106:	e8 fd af 9d 00       	call   0x140e1b108
14044010b:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140440110:	48 8b c8             	mov    %rax,%rcx
140440113:	48 85 c0             	test   %rax,%rax
140440116:	74 25                	je     0x14044013d
140440118:	48 8b 47 58          	mov    0x58(%rdi),%rax
14044011c:	83 78 30 00          	cmpl   $0x0,0x30(%rax)
140440120:	c7 01 ff ff ff ff    	movl   $0xffffffff,(%rcx)
140440126:	0f 95 c0             	setne  %al
140440129:	48 89 59 08          	mov    %rbx,0x8(%rcx)
14044012d:	88 41 18             	mov    %al,0x18(%rcx)
140440130:	48 89 59 10          	mov    %rbx,0x10(%rcx)
140440134:	c7 41 1c 09 00 00 00 	movl   $0x9,0x1c(%rcx)
14044013b:	eb 03                	jmp    0x140440140
14044013d:	48 8b cb             	mov    %rbx,%rcx
140440140:	4d 8b cd             	mov    %r13,%r9
140440143:	48 89 4f 18          	mov    %rcx,0x18(%rdi)
140440147:	4c 8b c6             	mov    %rsi,%r8
14044014a:	48 8b d5             	mov    %rbp,%rdx
14044014d:	e8 0e dc 00 00       	call   0x14044dd60
140440152:	4c 8b 4f 10          	mov    0x10(%rdi),%r9
140440156:	4c 63 e0             	movslq %eax,%r12
140440159:	49 8b 51 08          	mov    0x8(%r9),%rdx
14044015d:	49 3b 51 10          	cmp    0x10(%r9),%rdx
140440161:	74 0e                	je     0x140440171
140440163:	48 8b 4f 18          	mov    0x18(%rdi),%rcx
140440167:	48 89 0a             	mov    %rcx,(%rdx)
14044016a:	49 83 41 08 08       	addq   $0x8,0x8(%r9)
14044016f:	eb 0c                	jmp    0x14044017d
140440171:	4c 8d 47 18          	lea    0x18(%rdi),%r8
140440175:	49 8b c9             	mov    %r9,%rcx
140440178:	e8 43 53 f8 ff       	call   0x1403c54c0
14044017d:	49 03 ec             	add    %r12,%rbp
140440180:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
140440184:	49 83 ef 01          	sub    $0x1,%r15
140440188:	0f 85 73 ff ff ff    	jne    0x140440101
14044018e:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140440193:	41 2b ed             	sub    %r13d,%ebp
140440196:	4d 8d 65 08          	lea    0x8(%r13),%r12
14044019a:	8d 45 f8             	lea    -0x8(%rbp),%eax
14044019d:	48 98                	cltq
14044019f:	4c 03 e0             	add    %rax,%r12
1404401a2:	8b c3                	mov    %ebx,%eax
1404401a4:	66 83 7f 0a 00       	cmpw   $0x0,0xa(%rdi)
1404401a9:	4c 89 64 24 20       	mov    %r12,0x20(%rsp)
1404401ae:	0f 95 c0             	setne  %al
1404401b1:	44 8b f8             	mov    %eax,%r15d
1404401b4:	48 8b c6             	mov    %rsi,%rax
1404401b7:	49 2b c4             	sub    %r12,%rax
1404401ba:	4c 3b f8             	cmp    %rax,%r15
1404401bd:	0f 8f f1 03 00 00    	jg     0x1404405b4
1404401c3:	b9 18 00 00 00       	mov    $0x18,%ecx
1404401c8:	48 89 5f 28          	mov    %rbx,0x28(%rdi)
1404401cc:	e8 37 af 9d 00       	call   0x140e1b108
1404401d1:	48 8b c8             	mov    %rax,%rcx
1404401d4:	48 85 c0             	test   %rax,%rax
1404401d7:	74 0d                	je     0x1404401e6
1404401d9:	48 89 18             	mov    %rbx,(%rax)
1404401dc:	48 89 58 08          	mov    %rbx,0x8(%rax)
1404401e0:	48 89 58 10          	mov    %rbx,0x10(%rax)
1404401e4:	eb 03                	jmp    0x1404401e9
1404401e6:	48 8b cb             	mov    %rbx,%rcx
1404401e9:	48 89 4f 20          	mov    %rcx,0x20(%rdi)
1404401ed:	48 8b 41 10          	mov    0x10(%rcx),%rax
1404401f1:	48 2b 01             	sub    (%rcx),%rax
1404401f4:	48 c1 f8 03          	sar    $0x3,%rax
1404401f8:	4c 89 7c 24 28       	mov    %r15,0x28(%rsp)
1404401fd:	4c 3b f8             	cmp    %rax,%r15
140440200:	76 0a                	jbe    0x14044020c