14043becf:	c6 47 20 01          	movb   $0x1,0x20(%rdi)
14043bed3:	8b c6                	mov    %esi,%eax
14043bed5:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
14043beda:	48 33 cc             	xor    %rsp,%rcx
14043bedd:	e8 1e f6 9d 00       	call   0x140e1b500
14043bee2:	48 83 c4 68          	add    $0x68,%rsp
14043bee6:	41 5f                	pop    %r15
14043bee8:	41 5e                	pop    %r14
14043beea:	5f                   	pop    %rdi
14043beeb:	5e                   	pop    %rsi
14043beec:	5d                   	pop    %rbp
14043beed:	5b                   	pop    %rbx
14043beee:	c3                   	ret
14043beef:	44 2b cb             	sub    %ebx,%r9d
14043bef2:	41 83 c0 05          	add    $0x5,%r8d
14043bef6:	48 8d 15 03 86 bb 00 	lea    0xbb8603(%rip),%rdx        # 0x140ff4500
14043befd:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
14043bf02:	e8 e9 d1 d6 ff       	call   0x1401a90f0
14043bf07:	48 8d 15 c2 4a f6 00 	lea    0xf64ac2(%rip),%rdx        # 0x1413a09d0
14043bf0e:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
14043bf13:	e8 00 09 9e 00       	call   0x140e1c818
14043bf18:	cc                   	int3
14043bf19:	44 2b cb             	sub    %ebx,%r9d
14043bf1c:	41 b8 05 00 00 00    	mov    $0x5,%r8d
14043bf22:	48 8d 15 b7 85 bb 00 	lea    0xbb85b7(%rip),%rdx        # 0x140ff44e0
14043bf29:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
14043bf2e:	e8 bd d1 d6 ff       	call   0x1401a90f0
14043bf33:	48 8d 15 96 4a f6 00 	lea    0xf64a96(%rip),%rdx        # 0x1413a09d0
14043bf3a:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
14043bf3f:	e8 d4 08 9e 00       	call   0x140e1c818
14043bf44:	cc                   	int3
14043bf45:	cc                   	int3
14043bf46:	cc                   	int3
14043bf47:	cc                   	int3
14043bf48:	cc                   	int3
14043bf49:	cc                   	int3
14043bf4a:	cc                   	int3
14043bf4b:	cc                   	int3
14043bf4c:	cc                   	int3
14043bf4d:	cc                   	int3
14043bf4e:	cc                   	int3
14043bf4f:	cc                   	int3
14043bf50:	40 55                	rex push %rbp
14043bf52:	56                   	push   %rsi
14043bf53:	57                   	push   %rdi
14043bf54:	41 54                	push   %r12
14043bf56:	41 56                	push   %r14
14043bf58:	41 57                	push   %r15
14043bf5a:	48 8d 6c 24 d9       	lea    -0x27(%rsp),%rbp
14043bf5f:	48 81 ec 88 00 00 00 	sub    $0x88,%rsp
14043bf66:	48 8b 05 93 cf f7 00 	mov    0xf7cf93(%rip),%rax        # 0x1413b8f00
14043bf6d:	48 33 c4             	xor    %rsp,%rax
14043bf70:	48 89 45 07          	mov    %rax,0x7(%rbp)
14043bf74:	48 8d 42 13          	lea    0x13(%rdx),%rax
14043bf78:	48 8b f9             	mov    %rcx,%rdi
14043bf7b:	4c 8d 72 13          	lea    0x13(%rdx),%r14
14043bf7f:	4d 8b f9             	mov    %r9,%r15
14043bf82:	49 8b f0             	mov    %r8,%rsi
14043bf85:	4c 8b e2             	mov    %rdx,%r12
14043bf88:	8b ca                	mov    %edx,%ecx
14043bf8a:	49 3b c0             	cmp    %r8,%rax
14043bf8d:	0f 87 93 06 00 00    	ja     0x14043c626
14043bf93:	48 8d 42 11          	lea    0x11(%rdx),%rax
14043bf97:	4c 3b f0             	cmp    %rax,%r14
14043bf9a:	0f 82 86 06 00 00    	jb     0x14043c626
14043bfa0:	0f b6 02             	movzbl (%rdx),%eax
14043bfa3:	b9 08 00 00 00       	mov    $0x8,%ecx
14043bfa8:	88 07                	mov    %al,(%rdi)
14043bfaa:	48 89 9c 24 80 00 00 	mov    %rbx,0x80(%rsp)
14043bfb1:	00
14043bfb2:	e8 51 f1 9d 00       	call   0x140e1b108
14043bfb7:	33 db                	xor    %ebx,%ebx
14043bfb9:	48 89 45 c7          	mov    %rax,-0x39(%rbp)
14043bfbd:	48 85 c0             	test   %rax,%rax
14043bfc0:	74 0b                	je     0x14043bfcd
14043bfc2:	89 18                	mov    %ebx,(%rax)
14043bfc4:	c7 40 04 01 00 00 00 	movl   $0x1,0x4(%rax)
14043bfcb:	eb 03                	jmp    0x14043bfd0
14043bfcd:	48 8b c3             	mov    %rbx,%rax
14043bfd0:	49 8d 54 24 01       	lea    0x1(%r12),%rdx
14043bfd5:	48 89 47 08          	mov    %rax,0x8(%rdi)
14043bfd9:	4c 8b c6             	mov    %rsi,%r8
14043bfdc:	48 8b c8             	mov    %rax,%rcx
14043bfdf:	e8 3c 1c 01 00       	call   0x14044dc20
14043bfe4:	8b 4d 7f             	mov    0x7f(%rbp),%ecx
14043bfe7:	41 0f b7 44 24 05    	movzwl 0x5(%r12),%eax
14043bfed:	83 f9 01             	cmp    $0x1,%ecx
14043bff0:	74 04                	je     0x14043bff6
14043bff2:	66 c1 c8 08          	ror    $0x8,%ax
14043bff6:	66 89 47 10          	mov    %ax,0x10(%rdi)
14043bffa:	41 0f b6 44 24 07    	movzbl 0x7(%r12),%eax
14043c000:	88 47 12             	mov    %al,0x12(%rdi)
14043c003:	41 0f b6 44 24 08    	movzbl 0x8(%r12),%eax
14043c009:	88 47 13             	mov    %al,0x13(%rdi)
14043c00c:	41 8b 44 24 09       	mov    0x9(%r12),%eax
14043c011:	83 f9 01             	cmp    $0x1,%ecx
14043c014:	75 1f                	jne    0x14043c035
14043c016:	89 47 14             	mov    %eax,0x14(%rdi)
14043c019:	41 0f b7 4c 24 0d    	movzwl 0xd(%r12),%ecx
14043c01f:	66 89 4f 18          	mov    %cx,0x18(%rdi)
14043c023:	41 0f b7 44 24 0f    	movzwl 0xf(%r12),%eax
14043c029:	66 89 47 1a          	mov    %ax,0x1a(%rdi)
14043c02d:	41 0f b7 44 24 11    	movzwl 0x11(%r12),%eax
14043c033:	eb 2b                	jmp    0x14043c060
14043c035:	0f c8                	bswap  %eax
14043c037:	89 47 14             	mov    %eax,0x14(%rdi)
14043c03a:	41 0f b7 4c 24 0d    	movzwl 0xd(%r12),%ecx
14043c040:	66 c1 c9 08          	ror    $0x8,%cx
14043c044:	66 89 4f 18          	mov    %cx,0x18(%rdi)
14043c048:	41 0f b7 44 24 0f    	movzwl 0xf(%r12),%eax
14043c04e:	66 c1 c8 08          	ror    $0x8,%ax
14043c052:	66 89 47 1a          	mov    %ax,0x1a(%rdi)
14043c056:	41 0f b7 44 24 11    	movzwl 0x11(%r12),%eax
14043c05c:	66 c1 c8 08          	ror    $0x8,%ax
14043c060:	66 89 47 1c          	mov    %ax,0x1c(%rdi)
14043c064:	49 8b 07             	mov    (%r15),%rax
14043c067:	4c 89 6c 24 78       	mov    %r13,0x78(%rsp)
14043c06c:	8b 90 90 00 00 00    	mov    0x90(%rax),%edx
14043c072:	89 57 20             	mov    %edx,0x20(%rdi)
14043c075:	83 fa 20             	cmp    $0x20,%edx
14043c078:	0f 84 0b 01 00 00    	je     0x14043c189
14043c07e:	83 fa 40             	cmp    $0x40,%edx
14043c081:	0f 85 cb 05 00 00    	jne    0x14043c652
14043c087:	44 0f b7 c1          	movzwl %cx,%r8d
14043c08b:	48 b8 67 66 66 66 66 	movabs $0x6666666666666667,%rax
14043c092:	66 66 66
14043c095:	44 0f b7 e9          	movzwl %cx,%r13d
14043c099:	48 8b ce             	mov    %rsi,%rcx
14043c09c:	49 2b cc             	sub    %r12,%rcx
14043c09f:	4c 89 45 bf          	mov    %r8,-0x41(%rbp)
14043c0a3:	48 83 e9 13          	sub    $0x13,%rcx
14043c0a7:	48 f7 e9             	imul   %rcx
14043c0aa:	48 c1 fa 03          	sar    $0x3,%rdx
14043c0ae:	48 8b c2             	mov    %rdx,%rax
14043c0b1:	48 c1 e8 3f          	shr    $0x3f,%rax
14043c0b5:	48 03 d0             	add    %rax,%rdx
14043c0b8:	4c 3b c2             	cmp    %rdx,%r8
14043c0bb:	0f 8f bd 05 00 00    	jg     0x14043c67e
14043c0c1:	b9 18 00 00 00       	mov    $0x18,%ecx
14043c0c6:	48 89 5f 40          	mov    %rbx,0x40(%rdi)
14043c0ca:	e8 39 f0 9d 00       	call   0x140e1b108
14043c0cf:	48 8b c8             	mov    %rax,%rcx
14043c0d2:	48 85 c0             	test   %rax,%rax
14043c0d5:	74 0d                	je     0x14043c0e4
14043c0d7:	48 89 18             	mov    %rbx,(%rax)
14043c0da:	48 89 58 08          	mov    %rbx,0x8(%rax)
14043c0de:	48 89 58 10          	mov    %rbx,0x10(%rax)
14043c0e2:	eb 03                	jmp    0x14043c0e7
14043c0e4:	48 8b cb             	mov    %rbx,%rcx
14043c0e7:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
14043c0eb:	48 89 4f 38          	mov    %rcx,0x38(%rdi)
14043c0ef:	48 8b 41 10          	mov    0x10(%rcx),%rax
14043c0f3:	48 2b 01             	sub    (%rcx),%rax
14043c0f6:	48 c1 f8 03          	sar    $0x3,%rax
14043c0fa:	48 89 55 bf          	mov    %rdx,-0x41(%rbp)
14043c0fe:	48 3b d0             	cmp    %rax,%rdx
14043c101:	76 09                	jbe    0x14043c10c
14043c103:	48 8d 55 bf          	lea    -0x41(%rbp),%rdx
14043c107:	e8 14 95 f8 ff       	call   0x1403c5620
14043c10c:	45 85 ed             	test   %r13d,%r13d
14043c10f:	0f 84 6a 01 00 00    	je     0x14043c27f
14043c115:	b9 18 00 00 00       	mov    $0x18,%ecx
14043c11a:	e8 e9 ef 9d 00       	call   0x140e1b108
14043c11f:	48 89 45 c7          	mov    %rax,-0x39(%rbp)
14043c123:	48 85 c0             	test   %rax,%rax
14043c126:	74 10                	je     0x14043c138
14043c128:	c7 00 00 00 00 00    	movl   $0x0,(%rax)
14043c12e:	48 89 58 08          	mov    %rbx,0x8(%rax)
14043c132:	48 89 58 10          	mov    %rbx,0x10(%rax)
14043c136:	eb 03                	jmp    0x14043c13b
14043c138:	48 8b c3             	mov    %rbx,%rax
14043c13b:	44 8b 4d 7f          	mov    0x7f(%rbp),%r9d
14043c13f:	4c 8b c6             	mov    %rsi,%r8
14043c142:	49 8b d6             	mov    %r14,%rdx
14043c145:	48 89 47 40          	mov    %rax,0x40(%rdi)
14043c149:	48 8b c8             	mov    %rax,%rcx
14043c14c:	e8 0f f4 ff ff       	call   0x14043b560
14043c151:	48 8b 4f 38          	mov    0x38(%rdi),%rcx
14043c155:	48 8b 51 08          	mov    0x8(%rcx),%rdx
14043c159:	48 3b 51 10          	cmp    0x10(%rcx),%rdx
14043c15d:	74 0e                	je     0x14043c16d
14043c15f:	48 8b 47 40          	mov    0x40(%rdi),%rax
14043c163:	48 89 02             	mov    %rax,(%rdx)
14043c166:	48 83 41 08 08       	addq   $0x8,0x8(%rcx)
14043c16b:	eb 09                	jmp    0x14043c176
14043c16d:	4c 8d 47 40          	lea    0x40(%rdi),%r8
14043c171:	e8 4a 93 f8 ff       	call   0x1403c54c0
14043c176:	49 83 c6 14          	add    $0x14,%r14
14043c17a:	48 89 5f 40          	mov    %rbx,0x40(%rdi)
14043c17e:	49 83 ed 01          	sub    $0x1,%r13
14043c182:	75 91                	jne    0x14043c115
14043c184:	e9 f6 00 00 00       	jmp    0x14043c27f
14043c189:	44 0f b7 c1          	movzwl %cx,%r8d
14043c18d:	48 b8 67 66 66 66 66 	movabs $0x6666666666666667,%rax
14043c194:	66 66 66
14043c197:	44 0f b7 e9          	movzwl %cx,%r13d
14043c19b:	48 8b ce             	mov    %rsi,%rcx
14043c19e:	49 2b cc             	sub    %r12,%rcx
14043c1a1:	4c 89 45 bf          	mov    %r8,-0x41(%rbp)
14043c1a5:	48 83 e9 13          	sub    $0x13,%rcx
14043c1a9:	48 f7 e9             	imul   %rcx
14043c1ac:	48 c1 fa 02          	sar    $0x2,%rdx
14043c1b0:	48 8b c2             	mov    %rdx,%rax
14043c1b3:	48 c1 e8 3f          	shr    $0x3f,%rax
14043c1b7:	48 03 d0             	add    %rax,%rdx
14043c1ba:	4c 3b c2             	cmp    %rdx,%r8
14043c1bd:	0f 8f e6 04 00 00    	jg     0x14043c6a9
14043c1c3:	b9 18 00 00 00       	mov    $0x18,%ecx
14043c1c8:	48 89 5f 30          	mov    %rbx,0x30(%rdi)
14043c1cc:	e8 37 ef 9d 00       	call   0x140e1b108
14043c1d1:	48 8b c8             	mov    %rax,%rcx
14043c1d4:	48 85 c0             	test   %rax,%rax
14043c1d7:	74 0d                	je     0x14043c1e6
14043c1d9:	48 89 18             	mov    %rbx,(%rax)
14043c1dc:	48 89 58 08          	mov    %rbx,0x8(%rax)
14043c1e0:	48 89 58 10          	mov    %rbx,0x10(%rax)
14043c1e4:	eb 03                	jmp    0x14043c1e9
14043c1e6:	48 8b cb             	mov    %rbx,%rcx
14043c1e9:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
14043c1ed:	48 89 4f 28          	mov    %rcx,0x28(%rdi)
14043c1f1:	48 8b 41 10          	mov    0x10(%rcx),%rax
14043c1f5:	48 2b 01             	sub    (%rcx),%rax
14043c1f8:	48 c1 f8 03          	sar    $0x3,%rax
14043c1fc:	48 89 55 bf          	mov    %rdx,-0x41(%rbp)
14043c200:	48 3b d0             	cmp    %rax,%rdx
14043c203:	76 09                	jbe    0x14043c20e
14043c205:	48 8d 55 bf          	lea    -0x41(%rbp),%rdx
14043c209:	e8 12 94 f8 ff       	call   0x1403c5620
14043c20e:	45 85 ed             	test   %r13d,%r13d
14043c211:	74 6c                	je     0x14043c27f
14043c213:	b9 0c 00 00 00       	mov    $0xc,%ecx
14043c218:	e8 eb ee 9d 00       	call   0x140e1b108
14043c21d:	48 89 45 c7          	mov    %rax,-0x39(%rbp)
14043c221:	48 85 c0             	test   %rax,%rax
14043c224:	74 0d                	je     0x14043c233
14043c226:	66 89 18             	mov    %bx,(%rax)
14043c229:	48 c7 40 04 00 00 00 	movq   $0x0,0x4(%rax)
14043c230:	00
14043c231:	eb 03                	jmp    0x14043c236
14043c233:	48 8b c3             	mov    %rbx,%rax
14043c236:	44 8b 4d 7f          	mov    0x7f(%rbp),%r9d
14043c23a:	4c 8b c6             	mov    %rsi,%r8
14043c23d:	49 8b d6             	mov    %r14,%rdx
14043c240:	48 89 47 30          	mov    %rax,0x30(%rdi)
14043c244:	48 8b c8             	mov    %rax,%rcx
14043c247:	e8 74 f2 ff ff       	call   0x14043b4c0
14043c24c:	48 8b 4f 28          	mov    0x28(%rdi),%rcx
14043c250:	48 8b 51 08          	mov    0x8(%rcx),%rdx
14043c254:	48 3b 51 10          	cmp    0x10(%rcx),%rdx
14043c258:	74 0e                	je     0x14043c268
14043c25a:	48 8b 47 30          	mov    0x30(%rdi),%rax
14043c25e:	48 89 02             	mov    %rax,(%rdx)
14043c261:	48 83 41 08 08       	addq   $0x8,0x8(%rcx)
14043c266:	eb 09                	jmp    0x14043c271
14043c268:	4c 8d 47 30          	lea    0x30(%rdi),%r8
14043c26c:	e8 4f 92 f8 ff       	call   0x1403c54c0
14043c271:	49 83 c6 0a          	add    $0xa,%r14
14043c275:	48 89 5f 30          	mov    %rbx,0x30(%rdi)
14043c279:	49 83 ed 01          	sub    $0x1,%r13
14043c27d:	75 94                	jne    0x14043c213
14043c27f:	45 2b f4             	sub    %r12d,%r14d
14043c282:	41 8d 46 ed          	lea    -0x13(%r14),%eax
14043c286:	4c 63 f0             	movslq %eax,%r14
14043c289:	49 8b 07             	mov    (%r15),%rax
14043c28c:	49 83 c6 13          	add    $0x13,%r14
14043c290:	4d 03 f4             	add    %r12,%r14
14043c293:	4c 89 75 bf          	mov    %r14,-0x41(%rbp)
14043c297:	8b 88 90 00 00 00    	mov    0x90(%rax),%ecx
14043c29d:	89 4f 48             	mov    %ecx,0x48(%rdi)
14043c2a0:	83 f9 20             	cmp    $0x20,%ecx
14043c2a3:	0f 84 fc 00 00 00    	je     0x14043c3a5
14043c2a9:	83 f9 40             	cmp    $0x40,%ecx
14043c2ac:	0f 85 22 04 00 00    	jne    0x14043c6d4
14043c2b2:	44 0f b7 6f 1a       	movzwl 0x1a(%rdi),%r13d
14043c2b7:	48 8b ce             	mov    %rsi,%rcx
14043c2ba:	49 2b ce             	sub    %r14,%rcx
14043c2bd:	48 b8 67 66 66 66 66 	movabs $0x6666666666666667,%rax
14043c2c4:	66 66 66
14043c2c7:	48 f7 e9             	imul   %rcx
14043c2ca:	48 c1 fa 03          	sar    $0x3,%rdx
14043c2ce:	48 8b c2             	mov    %rdx,%rax
14043c2d1:	48 c1 e8 3f          	shr    $0x3f,%rax
14043c2d5:	48 03 d0             	add    %rax,%rdx
14043c2d8:	4c 3b ea             	cmp    %rdx,%r13
14043c2db:	0f 8f 1f 04 00 00    	jg     0x14043c700
14043c2e1:	b9 18 00 00 00       	mov    $0x18,%ecx
14043c2e6:	48 89 5f 68          	mov    %rbx,0x68(%rdi)
14043c2ea:	e8 19 ee 9d 00       	call   0x140e1b108
14043c2ef:	48 8b c8             	mov    %rax,%rcx
14043c2f2:	48 85 c0             	test   %rax,%rax
14043c2f5:	74 0d                	je     0x14043c304
14043c2f7:	48 89 18             	mov    %rbx,(%rax)
14043c2fa:	48 89 58 08          	mov    %rbx,0x8(%rax)
14043c2fe:	48 89 58 10          	mov    %rbx,0x10(%rax)
14043c302:	eb 03                	jmp    0x14043c307
14043c304:	48 8b cb             	mov    %rbx,%rcx
14043c307:	48 89 4f 60          	mov    %rcx,0x60(%rdi)
14043c30b:	48 8b 41 10          	mov    0x10(%rcx),%rax
14043c30f:	48 2b 01             	sub    (%rcx),%rax
14043c312:	48 c1 f8 03          	sar    $0x3,%rax
14043c316:	4c 89 6d c7          	mov    %r13,-0x39(%rbp)
14043c31a:	4c 3b e8             	cmp    %rax,%r13
14043c31d:	76 09                	jbe    0x14043c328
14043c31f:	48 8d 55 c7          	lea    -0x39(%rbp),%rdx
14043c323:	e8 f8 92 f8 ff       	call   0x1403c5620
14043c328:	45 85 ed             	test   %r13d,%r13d
14043c32b:	0f 84 5f 01 00 00    	je     0x14043c490
14043c331:	b9 18 00 00 00       	mov    $0x18,%ecx
14043c336:	e8 cd ed 9d 00       	call   0x140e1b108
14043c33b:	48 89 45 c7          	mov    %rax,-0x39(%rbp)
14043c33f:	48 85 c0             	test   %rax,%rax
14043c342:	74 10                	je     0x14043c354
14043c344:	c7 00 00 00 00 00    	movl   $0x0,(%rax)
14043c34a:	48 89 58 08          	mov    %rbx,0x8(%rax)
14043c34e:	48 89 58 10          	mov    %rbx,0x10(%rax)
14043c352:	eb 03                	jmp    0x14043c357
14043c354:	48 8b c3             	mov    %rbx,%rax
14043c357:	44 8b 4d 7f          	mov    0x7f(%rbp),%r9d
14043c35b:	4c 8b c6             	mov    %rsi,%r8
14043c35e:	49 8b d6             	mov    %r14,%rdx
14043c361:	48 89 47 68          	mov    %rax,0x68(%rdi)
14043c365:	48 8b c8             	mov    %rax,%rcx
14043c368:	e8 f3 f1 ff ff       	call   0x14043b560
14043c36d:	48 8b 4f 60          	mov    0x60(%rdi),%rcx
14043c371:	48 8b 51 08          	mov    0x8(%rcx),%rdx
14043c375:	48 3b 51 10          	cmp    0x10(%rcx),%rdx
14043c379:	74 0e                	je     0x14043c389
14043c37b:	48 8b 47 68          	mov    0x68(%rdi),%rax
14043c37f:	48 89 02             	mov    %rax,(%rdx)
14043c382:	48 83 41 08 08       	addq   $0x8,0x8(%rcx)
14043c387:	eb 09                	jmp    0x14043c392
14043c389:	4c 8d 47 68          	lea    0x68(%rdi),%r8
14043c38d:	e8 2e 91 f8 ff       	call   0x1403c54c0
14043c392:	49 83 c6 14          	add    $0x14,%r14
14043c396:	48 89 5f 68          	mov    %rbx,0x68(%rdi)
14043c39a:	49 83 ed 01          	sub    $0x1,%r13
14043c39e:	75 91                	jne    0x14043c331
14043c3a0:	e9 eb 00 00 00       	jmp    0x14043c490
14043c3a5:	44 0f b7 6f 1a       	movzwl 0x1a(%rdi),%r13d
14043c3aa:	48 8b ce             	mov    %rsi,%rcx
14043c3ad:	49 2b ce             	sub    %r14,%rcx
14043c3b0:	48 b8 67 66 66 66 66 	movabs $0x6666666666666667,%rax
14043c3b7:	66 66 66
14043c3ba:	48 f7 e9             	imul   %rcx
14043c3bd:	48 c1 fa 02          	sar    $0x2,%rdx
14043c3c1:	48 8b c2             	mov    %rdx,%rax
14043c3c4:	48 c1 e8 3f          	shr    $0x3f,%rax
14043c3c8:	48 03 d0             	add    %rax,%rdx
14043c3cb:	4c 3b ea             	cmp    %rdx,%r13
14043c3ce:	0f 8f 56 03 00 00    	jg     0x14043c72a