1402e5121:	0f 86 59 01 00 00    	jbe    0x1402e5280
1402e5127:	ff 15 9b 77 82 00    	call   *0x82779b(%rip)        # 0x140b0c8c8
1402e512d:	45 33 c0             	xor    %r8d,%r8d
1402e5130:	48 85 c0             	test   %rax,%rax
1402e5133:	74 27                	je     0x1402e515c
1402e5135:	48 8d 58 27          	lea    0x27(%rax),%rbx
1402e5139:	48 83 e3 e0          	and    $0xffffffffffffffe0,%rbx
1402e513d:	48 89 43 f8          	mov    %rax,-0x8(%rbx)
1402e5141:	48 89 5c 24 70       	mov    %rbx,0x70(%rsp)
1402e5146:	eb 20                	jmp    0x1402e5168
1402e5148:	48 8b ce             	mov    %rsi,%rcx
1402e514b:	ff 15 77 77 82 00    	call   *0x827777(%rip)        # 0x140b0c8c8
1402e5151:	48 8b d8             	mov    %rax,%rbx
1402e5154:	45 33 c0             	xor    %r8d,%r8d
1402e5157:	48 85 c0             	test   %rax,%rax
1402e515a:	75 07                	jne    0x1402e5163
1402e515c:	ff 15 36 73 82 00    	call   *0x827336(%rip)        # 0x140b0c498
1402e5162:	cc                   	int3
1402e5163:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1402e5168:	4c 8b 54 24 78       	mov    0x78(%rsp),%r10
1402e516d:	4b 8d 04 b6          	lea    (%r14,%r14,4),%rax
1402e5171:	4c 8d 34 c3          	lea    (%rbx,%rax,8),%r14
1402e5175:	4d 8d 66 28          	lea    0x28(%r14),%r12
1402e5179:	4c 89 64 24 28       	mov    %r12,0x28(%rsp)
1402e517e:	4d 89 06             	mov    %r8,(%r14)
1402e5181:	4d 89 46 08          	mov    %r8,0x8(%r14)
1402e5185:	49 8b 45 00          	mov    0x0(%r13),%rax
1402e5189:	49 89 06             	mov    %rax,(%r14)
1402e518c:	49 8b 45 08          	mov    0x8(%r13),%rax
1402e5190:	49 89 46 08          	mov    %rax,0x8(%r14)
1402e5194:	4d 89 45 00          	mov    %r8,0x0(%r13)
1402e5198:	4d 89 45 08          	mov    %r8,0x8(%r13)
1402e519c:	49 8b 55 20          	mov    0x20(%r13),%rdx
1402e51a0:	4d 89 45 20          	mov    %r8,0x20(%r13)
1402e51a4:	49 8b 4d 18          	mov    0x18(%r13),%rcx
1402e51a8:	4d 89 45 18          	mov    %r8,0x18(%r13)
1402e51ac:	49 8b 45 10          	mov    0x10(%r13),%rax
1402e51b0:	4d 89 45 10          	mov    %r8,0x10(%r13)
1402e51b4:	49 89 46 10          	mov    %rax,0x10(%r14)
1402e51b8:	49 89 4e 18          	mov    %rcx,0x18(%r14)
1402e51bc:	49 89 56 20          	mov    %rdx,0x20(%r14)
1402e51c0:	4c 89 b4 24 88 00 00 	mov    %r14,0x88(%rsp)
1402e51c7:	00
1402e51c8:	48 8b 57 08          	mov    0x8(%rdi),%rdx
1402e51cc:	4c 8b c3             	mov    %rbx,%r8
1402e51cf:	48 8b 0f             	mov    (%rdi),%rcx
1402e51d2:	4c 3b d2             	cmp    %rdx,%r10
1402e51d5:	74 1c                	je     0x1402e51f3
1402e51d7:	49 8b d2             	mov    %r10,%rdx
1402e51da:	e8 01 08 00 00       	call   0x1402e59e0
1402e51df:	48 89 9c 24 88 00 00 	mov    %rbx,0x88(%rsp)
1402e51e6:	00
1402e51e7:	4d 8b c4             	mov    %r12,%r8
1402e51ea:	48 8b 57 08          	mov    0x8(%rdi),%rdx
1402e51ee:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1402e51f3:	e8 e8 07 00 00       	call   0x1402e59e0
1402e51f8:	48 8b 0f             	mov    (%rdi),%rcx
1402e51fb:	48 85 c9             	test   %rcx,%rcx
1402e51fe:	74 4f                	je     0x1402e524f
1402e5200:	48 8b 57 08          	mov    0x8(%rdi),%rdx
1402e5204:	e8 63 08 00 00       	call   0x1402e5a6c
1402e5209:	48 8b 0f             	mov    (%rdi),%rcx
1402e520c:	48 8b 47 10          	mov    0x10(%rdi),%rax
1402e5210:	48 2b c1             	sub    %rcx,%rax
1402e5213:	48 c1 f8 03          	sar    $0x3,%rax
1402e5217:	48 ba cd cc cc cc cc 	movabs $0xcccccccccccccccd,%rdx
1402e521e:	cc cc cc
1402e5221:	48 0f af c2          	imul   %rdx,%rax
1402e5225:	48 8d 04 80          	lea    (%rax,%rax,4),%rax
1402e5229:	48 c1 e0 03          	shl    $0x3,%rax
1402e522d:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402e5233:	72 14                	jb     0x1402e5249
1402e5235:	48 8b 51 f8          	mov    -0x8(%rcx),%rdx
1402e5239:	48 2b ca             	sub    %rdx,%rcx
1402e523c:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
1402e5240:	48 83 f8 1f          	cmp    $0x1f,%rax
1402e5244:	77 33                	ja     0x1402e5279
1402e5246:	48 8b ca             	mov    %rdx,%rcx
1402e5249:	ff 15 71 76 82 00    	call   *0x827671(%rip)        # 0x140b0c8c0
1402e524f:	48 89 1f             	mov    %rbx,(%rdi)
1402e5252:	4b 8d 0c bf          	lea    (%r15,%r15,4),%rcx
1402e5256:	48 8d 14 cb          	lea    (%rbx,%rcx,8),%rdx
1402e525a:	48 89 57 08          	mov    %rdx,0x8(%rdi)
1402e525e:	48 8d 0c 1e          	lea    (%rsi,%rbx,1),%rcx
1402e5262:	48 89 4f 10          	mov    %rcx,0x10(%rdi)
1402e5266:	49 8b c6             	mov    %r14,%rax
1402e5269:	48 83 c4 30          	add    $0x30,%rsp
1402e526d:	41 5f                	pop    %r15
1402e526f:	41 5e                	pop    %r14
1402e5271:	41 5d                	pop    %r13
1402e5273:	41 5c                	pop    %r12
1402e5275:	5f                   	pop    %rdi
1402e5276:	5e                   	pop    %rsi
1402e5277:	5b                   	pop    %rbx
1402e5278:	c3                   	ret
1402e5279:	ff 15 19 77 82 00    	call   *0x827719(%rip)        # 0x140b0c998
1402e527f:	cc                   	int3
1402e5280:	e8 4b ea d1 ff       	call   0x140003cd0
1402e5285:	cc                   	int3
1402e5286:	e8 dd 6a d3 ff       	call   0x14001bd68
1402e528b:	cc                   	int3
1402e528c:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
1402e5291:	53                   	push   %rbx
1402e5292:	56                   	push   %rsi
1402e5293:	57                   	push   %rdi
1402e5294:	41 54                	push   %r12
1402e5296:	41 55                	push   %r13
1402e5298:	41 56                	push   %r14
1402e529a:	41 57                	push   %r15
1402e529c:	48 83 ec 30          	sub    $0x30,%rsp
1402e52a0:	4c 8b e2             	mov    %rdx,%r12
1402e52a3:	48 8b f9             	mov    %rcx,%rdi
1402e52a6:	4c 8b ca             	mov    %rdx,%r9
1402e52a9:	4c 2b 09             	sub    (%rcx),%r9
1402e52ac:	48 b8 ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%rax
1402e52b3:	aa aa 2a
1402e52b6:	49 f7 e9             	imul   %r9
1402e52b9:	48 8b f2             	mov    %rdx,%rsi
1402e52bc:	48 c1 fe 02          	sar    $0x2,%rsi
1402e52c0:	48 8b c6             	mov    %rsi,%rax
1402e52c3:	48 c1 e8 3f          	shr    $0x3f,%rax
1402e52c7:	48 03 f0             	add    %rax,%rsi
1402e52ca:	48 8b 41 08          	mov    0x8(%rcx),%rax
1402e52ce:	48 2b 01             	sub    (%rcx),%rax
1402e52d1:	48 c1 f8 03          	sar    $0x3,%rax
1402e52d5:	48 ba ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rdx
1402e52dc:	aa aa aa
1402e52df:	48 0f af c2          	imul   %rdx,%rax
1402e52e3:	49 ba aa aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaa,%r10
1402e52ea:	aa aa 0a
1402e52ed:	49 3b c2             	cmp    %r10,%rax
1402e52f0:	0f 84 87 02 00 00    	je     0x1402e557d
1402e52f6:	4c 8d 48 01          	lea    0x1(%rax),%r9
1402e52fa:	4c 89 4c 24 20       	mov    %r9,0x20(%rsp)
1402e52ff:	48 8b 49 10          	mov    0x10(%rcx),%rcx
1402e5303:	48 2b 0f             	sub    (%rdi),%rcx
1402e5306:	48 c1 f9 03          	sar    $0x3,%rcx
1402e530a:	48 0f af ca          	imul   %rdx,%rcx
1402e530e:	48 8b d1             	mov    %rcx,%rdx
1402e5311:	48 d1 ea             	shr    $1,%rdx
1402e5314:	49 8b c2             	mov    %r10,%rax
1402e5317:	48 2b c2             	sub    %rdx,%rax
1402e531a:	48 3b c8             	cmp    %rax,%rcx
1402e531d:	76 05                	jbe    0x1402e5324
1402e531f:	49 8b c2             	mov    %r10,%rax
1402e5322:	eb 0b                	jmp    0x1402e532f
1402e5324:	48 8d 04 11          	lea    (%rcx,%rdx,1),%rax
1402e5328:	49 3b c1             	cmp    %r9,%rax
1402e532b:	49 0f 42 c1          	cmovb  %r9,%rax
1402e532f:	48 89 84 24 88 00 00 	mov    %rax,0x88(%rsp)
1402e5336:	00
1402e5337:	49 3b c2             	cmp    %r10,%rax
1402e533a:	0f 87 37 02 00 00    	ja     0x1402e5577
1402e5340:	48 8d 04 40          	lea    (%rax,%rax,2),%rax
1402e5344:	4c 8d 34 c5 00 00 00 	lea    0x0(,%rax,8),%r14
1402e534b:	00
1402e534c:	45 33 c9             	xor    %r9d,%r9d
1402e534f:	4d 85 f6             	test   %r14,%r14
1402e5352:	75 0a                	jne    0x1402e535e
1402e5354:	41 8b d9             	mov    %r9d,%ebx
1402e5357:	48 89 5c 24 70       	mov    %rbx,0x70(%rsp)
1402e535c:	eb 5f                	jmp    0x1402e53bd
1402e535e:	49 81 fe 00 10 00 00 	cmp    $0x1000,%r14
1402e5365:	72 2e                	jb     0x1402e5395
1402e5367:	49 8d 4e 27          	lea    0x27(%r14),%rcx
1402e536b:	49 3b ce             	cmp    %r14,%rcx
1402e536e:	0f 86 03 02 00 00    	jbe    0x1402e5577
1402e5374:	ff 15 4e 75 82 00    	call   *0x82754e(%rip)        # 0x140b0c8c8
1402e537a:	45 33 c9             	xor    %r9d,%r9d
1402e537d:	48 85 c0             	test   %rax,%rax
1402e5380:	74 27                	je     0x1402e53a9
1402e5382:	48 8d 58 27          	lea    0x27(%rax),%rbx
1402e5386:	48 83 e3 e0          	and    $0xffffffffffffffe0,%rbx
1402e538a:	48 89 43 f8          	mov    %rax,-0x8(%rbx)
1402e538e:	48 89 5c 24 70       	mov    %rbx,0x70(%rsp)
1402e5393:	eb 20                	jmp    0x1402e53b5
1402e5395:	49 8b ce             	mov    %r14,%rcx
1402e5398:	ff 15 2a 75 82 00    	call   *0x82752a(%rip)        # 0x140b0c8c8
1402e539e:	48 8b d8             	mov    %rax,%rbx
1402e53a1:	45 33 c9             	xor    %r9d,%r9d
1402e53a4:	48 85 c0             	test   %rax,%rax
1402e53a7:	75 07                	jne    0x1402e53b0
1402e53a9:	ff 15 e9 70 82 00    	call   *0x8270e9(%rip)        # 0x140b0c498
1402e53af:	cc                   	int3
1402e53b0:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1402e53b5:	4c 8b 84 24 80 00 00 	mov    0x80(%rsp),%r8
1402e53bc:	00
1402e53bd:	48 8d 04 76          	lea    (%rsi,%rsi,2),%rax
1402e53c1:	4c 8d 3c c5 00 00 00 	lea    0x0(,%rax,8),%r15
1402e53c8:	00
1402e53c9:	4d 8d 2c 1f          	lea    (%r15,%rbx,1),%r13
1402e53cd:	49 8d 75 18          	lea    0x18(%r13),%rsi
1402e53d1:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
1402e53d6:	4d 89 4d 00          	mov    %r9,0x0(%r13)
1402e53da:	4d 89 4d 08          	mov    %r9,0x8(%r13)
1402e53de:	49 8b 00             	mov    (%r8),%rax
1402e53e1:	49 89 45 00          	mov    %rax,0x0(%r13)
1402e53e5:	49 8b 40 08          	mov    0x8(%r8),%rax
1402e53e9:	49 89 45 08          	mov    %rax,0x8(%r13)
1402e53ed:	4d 89 08             	mov    %r9,(%r8)
1402e53f0:	4d 89 48 08          	mov    %r9,0x8(%r8)
1402e53f4:	41 8b 40 10          	mov    0x10(%r8),%eax
1402e53f8:	41 89 45 10          	mov    %eax,0x10(%r13)
1402e53fc:	4c 89 6c 24 78       	mov    %r13,0x78(%rsp)
1402e5401:	4c 8b 47 08          	mov    0x8(%rdi),%r8
1402e5405:	48 8b 17             	mov    (%rdi),%rdx
1402e5408:	48 8b cb             	mov    %rbx,%rcx
1402e540b:	4d 3b e0             	cmp    %r8,%r12
1402e540e:	75 63                	jne    0x1402e5473
1402e5410:	eb 2a                	jmp    0x1402e543c
1402e5412:	4c 89 09             	mov    %r9,(%rcx)
1402e5415:	4c 89 49 08          	mov    %r9,0x8(%rcx)
1402e5419:	48 8b 02             	mov    (%rdx),%rax
1402e541c:	48 89 01             	mov    %rax,(%rcx)
1402e541f:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402e5423:	48 89 41 08          	mov    %rax,0x8(%rcx)
1402e5427:	4c 89 0a             	mov    %r9,(%rdx)
1402e542a:	4c 89 4a 08          	mov    %r9,0x8(%rdx)
1402e542e:	8b 42 10             	mov    0x10(%rdx),%eax
1402e5431:	89 41 10             	mov    %eax,0x10(%rcx)
1402e5434:	48 83 c1 18          	add    $0x18,%rcx
1402e5438:	48 83 c2 18          	add    $0x18,%rdx
1402e543c:	49 3b d0             	cmp    %r8,%rdx
1402e543f:	75 d1                	jne    0x1402e5412
1402e5441:	48 8b d1             	mov    %rcx,%rdx
1402e5444:	e9 9c 00 00 00       	jmp    0x1402e54e5
1402e5449:	4c 89 09             	mov    %r9,(%rcx)
1402e544c:	4c 89 49 08          	mov    %r9,0x8(%rcx)
1402e5450:	48 8b 02             	mov    (%rdx),%rax
1402e5453:	48 89 01             	mov    %rax,(%rcx)
1402e5456:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402e545a:	48 89 41 08          	mov    %rax,0x8(%rcx)
1402e545e:	4c 89 0a             	mov    %r9,(%rdx)
1402e5461:	4c 89 4a 08          	mov    %r9,0x8(%rdx)
1402e5465:	8b 42 10             	mov    0x10(%rdx),%eax
1402e5468:	89 41 10             	mov    %eax,0x10(%rcx)
1402e546b:	48 83 c1 18          	add    $0x18,%rcx
1402e546f:	48 83 c2 18          	add    $0x18,%rdx
1402e5473:	49 3b d4             	cmp    %r12,%rdx
1402e5476:	75 d1                	jne    0x1402e5449
1402e5478:	48 8b d1             	mov    %rcx,%rdx
1402e547b:	e8 f4 e0 db ff       	call   0x1400a3574
1402e5480:	48 89 5c 24 78       	mov    %rbx,0x78(%rsp)
1402e5485:	4c 8b 47 08          	mov    0x8(%rdi),%r8
1402e5489:	4d 3b e0             	cmp    %r8,%r12
1402e548c:	74 51                	je     0x1402e54df
1402e548e:	48 8b d6             	mov    %rsi,%rdx
1402e5491:	49 2b d7             	sub    %r15,%rdx
1402e5494:	48 2b d3             	sub    %rbx,%rdx
1402e5497:	48 83 c2 f0          	add    $0xfffffffffffffff0,%rdx
1402e549b:	49 03 d4             	add    %r12,%rdx
1402e549e:	4d 2b fc             	sub    %r12,%r15
1402e54a1:	4a 8d 0c 3b          	lea    (%rbx,%r15,1),%rcx
1402e54a5:	48 83 26 00          	andq   $0x0,(%rsi)
1402e54a9:	48 83 64 0a 18 00    	andq   $0x0,0x18(%rdx,%rcx,1)
1402e54af:	48 8b 42 f8          	mov    -0x8(%rdx),%rax
1402e54b3:	48 89 06             	mov    %rax,(%rsi)
1402e54b6:	48 8b 02             	mov    (%rdx),%rax
1402e54b9:	48 89 44 0a 18       	mov    %rax,0x18(%rdx,%rcx,1)
1402e54be:	48 83 62 f8 00       	andq   $0x0,-0x8(%rdx)
1402e54c3:	48 83 22 00          	andq   $0x0,(%rdx)
1402e54c7:	8b 42 08             	mov    0x8(%rdx),%eax
1402e54ca:	89 44 11 20          	mov    %eax,0x20(%rcx,%rdx,1)
1402e54ce:	48 83 c6 18          	add    $0x18,%rsi
1402e54d2:	48 8d 52 18          	lea    0x18(%rdx),%rdx
1402e54d6:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402e54da:	49 3b c0             	cmp    %r8,%rax
1402e54dd:	75 c6                	jne    0x1402e54a5
1402e54df:	48 8b d6             	mov    %rsi,%rdx
1402e54e2:	48 8b ce             	mov    %rsi,%rcx
1402e54e5:	e8 8a e0 db ff       	call   0x1400a3574
1402e54ea:	48 8b 0f             	mov    (%rdi),%rcx
1402e54ed:	48 85 c9             	test   %rcx,%rcx
1402e54f0:	74 4f                	je     0x1402e5541
1402e54f2:	48 8b 57 08          	mov    0x8(%rdi),%rdx
1402e54f6:	e8 79 e0 db ff       	call   0x1400a3574
1402e54fb:	48 8b 0f             	mov    (%rdi),%rcx
1402e54fe:	48 8b 47 10          	mov    0x10(%rdi),%rax
1402e5502:	48 2b c1             	sub    %rcx,%rax
1402e5505:	48 c1 f8 03          	sar    $0x3,%rax
1402e5509:	48 ba ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rdx
1402e5510:	aa aa aa
1402e5513:	48 0f af c2          	imul   %rdx,%rax
1402e5517:	48 8d 04 40          	lea    (%rax,%rax,2),%rax
1402e551b:	48 c1 e0 03          	shl    $0x3,%rax
1402e551f:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402e5525:	72 14                	jb     0x1402e553b
1402e5527:	48 8b 51 f8          	mov    -0x8(%rcx),%rdx
1402e552b:	48 2b ca             	sub    %rdx,%rcx
1402e552e:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
1402e5532:	48 83 f8 1f          	cmp    $0x1f,%rax
1402e5536:	77 38                	ja     0x1402e5570
1402e5538:	48 8b ca             	mov    %rdx,%rcx
1402e553b:	ff 15 7f 73 82 00    	call   *0x82737f(%rip)        # 0x140b0c8c0
1402e5541:	48 89 1f             	mov    %rbx,(%rdi)
1402e5544:	48 8b 44 24 20       	mov    0x20(%rsp),%rax
1402e5549:	48 8d 0c 40          	lea    (%rax,%rax,2),%rcx
1402e554d:	48 8d 14 cb          	lea    (%rbx,%rcx,8),%rdx
1402e5551:	48 89 57 08          	mov    %rdx,0x8(%rdi)
1402e5555:	49 8d 0c 1e          	lea    (%r14,%rbx,1),%rcx
1402e5559:	48 89 4f 10          	mov    %rcx,0x10(%rdi)
1402e555d:	49 8b c5             	mov    %r13,%rax
1402e5560:	48 83 c4 30          	add    $0x30,%rsp
1402e5564:	41 5f                	pop    %r15
1402e5566:	41 5e                	pop    %r14
1402e5568:	41 5d                	pop    %r13
1402e556a:	41 5c                	pop    %r12
1402e556c:	5f                   	pop    %rdi
1402e556d:	5e                   	pop    %rsi
1402e556e:	5b                   	pop    %rbx
1402e556f:	c3                   	ret
1402e5570:	ff 15 22 74 82 00    	call   *0x827422(%rip)        # 0x140b0c998
1402e5576:	cc                   	int3
1402e5577:	e8 54 e7 d1 ff       	call   0x140003cd0
1402e557c:	cc                   	int3
1402e557d:	e8 e6 67 d3 ff       	call   0x14001bd68
1402e5582:	cc                   	int3
1402e5583:	90                   	nop
1402e5584:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402e5589:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
1402e558e:	56                   	push   %rsi
1402e558f:	57                   	push   %rdi
1402e5590:	41 55                	push   %r13
1402e5592:	41 56                	push   %r14
1402e5594:	41 57                	push   %r15
1402e5596:	48 83 ec 30          	sub    $0x30,%rsp
1402e559a:	4c 8b f2             	mov    %rdx,%r14
1402e559d:	48 8b f9             	mov    %rcx,%rdi
1402e55a0:	49 b8 aa aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaa,%r8
1402e55a7:	aa aa 0a
1402e55aa:	49 3b d0             	cmp    %r8,%rdx
1402e55ad:	0f 87 b8 01 00 00    	ja     0x1402e576b
1402e55b3:	4c 8b 79 08          	mov    0x8(%rcx),%r15
1402e55b7:	4c 2b 39             	sub    (%rcx),%r15
1402e55ba:	49 c1 ff 03          	sar    $0x3,%r15
1402e55be:	49 bd ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%r13
1402e55c5:	aa aa aa
1402e55c8:	4d 0f af fd          	imul   %r13,%r15
1402e55cc:	48 8b 49 10          	mov    0x10(%rcx),%rcx
1402e55d0:	48 2b 0f             	sub    (%rdi),%rcx
1402e55d3:	48 c1 f9 03          	sar    $0x3,%rcx
1402e55d7:	49 0f af cd          	imul   %r13,%rcx
1402e55db:	48 8b d1             	mov    %rcx,%rdx
1402e55de:	48 d1 ea             	shr    $1,%rdx
1402e55e1:	49 8b c0             	mov    %r8,%rax
1402e55e4:	48 2b c2             	sub    %rdx,%rax
1402e55e7:	48 3b c8             	cmp    %rax,%rcx
1402e55ea:	76 05                	jbe    0x1402e55f1
1402e55ec:	49 8b c0             	mov    %r8,%rax
1402e55ef:	eb 0b                	jmp    0x1402e55fc