1401fd533:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401fd537:	48 83 f8 1f          	cmp    $0x1f,%rax
1401fd53b:	77 18                	ja     0x1401fd555
1401fd53d:	ff 15 fd 55 01 00    	call   *0x155fd(%rip)        # 0x140212b40
1401fd543:	48 83 c3 50          	add    $0x50,%rbx
1401fd547:	48 3b df             	cmp    %rdi,%rbx
1401fd54a:	74 10                	je     0x1401fd55c
1401fd54c:	48 8b 45 17          	mov    0x17(%rbp),%rax
1401fd550:	e9 75 ff ff ff       	jmp    0x1401fd4ca
1401fd555:	ff 15 25 56 01 00    	call   *0x15625(%rip)        # 0x140212b80
1401fd55b:	cc                   	int3
1401fd55c:	0f 57 c0             	xorps  %xmm0,%xmm0
1401fd55f:	33 c0                	xor    %eax,%eax
1401fd561:	0f 11 45 c7          	movups %xmm0,-0x39(%rbp)
1401fd565:	48 89 45 d7          	mov    %rax,-0x29(%rbp)
1401fd569:	0f 57 c9             	xorps  %xmm1,%xmm1
1401fd56c:	0f 11 4d df          	movups %xmm1,-0x21(%rbp)
1401fd570:	0f 11 4d ef          	movups %xmm1,-0x11(%rbp)
1401fd574:	40 88 75 ff          	mov    %sil,-0x1(%rbp)
1401fd578:	48 8d 45 c7          	lea    -0x39(%rbp),%rax
1401fd57c:	48 89 45 ef          	mov    %rax,-0x11(%rbp)
1401fd580:	c7 44 24 20 01 00 00 	movl   $0x1,0x20(%rsp)
1401fd587:	00
1401fd588:	41 b9 0e 00 00 00    	mov    $0xe,%r9d
1401fd58e:	4c 8d 05 ab ae 01 00 	lea    0x1aeab(%rip),%r8        # 0x140218440
1401fd595:	48 8b 15 dc 47 10 00 	mov    0x1047dc(%rip),%rdx        # 0x140301d78
1401fd59c:	48 8d 4d c7          	lea    -0x39(%rbp),%rcx
1401fd5a0:	e8 ab 81 e1 ff       	call   0x140015750
1401fd5a5:	8a 45 ff             	mov    -0x1(%rbp),%al
1401fd5a8:	f6 d8                	neg    %al
1401fd5aa:	48 1b c9             	sbb    %rcx,%rcx
1401fd5ad:	48 8d 45 df          	lea    -0x21(%rbp),%rax
1401fd5b1:	48 23 c8             	and    %rax,%rcx
1401fd5b4:	48 8d 55 07          	lea    0x7(%rbp),%rdx
1401fd5b8:	48 83 7d 1f 07       	cmpq   $0x7,0x1f(%rbp)
1401fd5bd:	48 0f 47 55 07       	cmova  0x7(%rbp),%rdx
1401fd5c2:	e8 e5 ee e0 ff       	call   0x14000c4ac
1401fd5c7:	85 c0                	test   %eax,%eax
1401fd5c9:	0f 95 c3             	setne  %bl
1401fd5cc:	8a 45 ff             	mov    -0x1(%rbp),%al
1401fd5cf:	84 c0                	test   %al,%al
1401fd5d1:	74 39                	je     0x1401fd60c
1401fd5d3:	f6 d8                	neg    %al
1401fd5d5:	48 1b c9             	sbb    %rcx,%rcx
1401fd5d8:	48 8d 45 df          	lea    -0x21(%rbp),%rax
1401fd5dc:	48 23 c8             	and    %rax,%rcx
1401fd5df:	e8 0c 72 e1 ff       	call   0x1400147f0
1401fd5e4:	48 8b 4d c7          	mov    -0x39(%rbp),%rcx
1401fd5e8:	48 89 75 c7          	mov    %rsi,-0x39(%rbp)
1401fd5ec:	48 85 c9             	test   %rcx,%rcx
1401fd5ef:	74 05                	je     0x1401fd5f6
1401fd5f1:	e8 ca c4 e0 ff       	call   0x140009ac0
1401fd5f6:	48 8b 4d df          	mov    -0x21(%rbp),%rcx
1401fd5fa:	48 89 75 df          	mov    %rsi,-0x21(%rbp)
1401fd5fe:	48 85 c9             	test   %rcx,%rcx
1401fd601:	74 05                	je     0x1401fd608
1401fd603:	e8 b8 c4 e0 ff       	call   0x140009ac0
1401fd608:	40 88 75 ff          	mov    %sil,-0x1(%rbp)
1401fd60c:	48 8b 4d df          	mov    -0x21(%rbp),%rcx
1401fd610:	48 89 75 df          	mov    %rsi,-0x21(%rbp)
1401fd614:	48 85 c9             	test   %rcx,%rcx
1401fd617:	74 05                	je     0x1401fd61e
1401fd619:	e8 a2 c4 e0 ff       	call   0x140009ac0
1401fd61e:	48 8b 4d c7          	mov    -0x39(%rbp),%rcx
1401fd622:	48 89 75 c7          	mov    %rsi,-0x39(%rbp)
1401fd626:	48 85 c9             	test   %rcx,%rcx
1401fd629:	74 05                	je     0x1401fd630
1401fd62b:	e8 90 c4 e0 ff       	call   0x140009ac0
1401fd630:	48 8b 45 1f          	mov    0x1f(%rbp),%rax
1401fd634:	48 83 f8 07          	cmp    $0x7,%rax
1401fd638:	76 35                	jbe    0x1401fd66f
1401fd63a:	48 8b 4d 07          	mov    0x7(%rbp),%rcx
1401fd63e:	48 8b d1             	mov    %rcx,%rdx
1401fd641:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401fd648:	00
1401fd649:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1401fd64f:	72 18                	jb     0x1401fd669
1401fd651:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401fd655:	48 2b d1             	sub    %rcx,%rdx
1401fd658:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401fd65c:	48 83 f8 1f          	cmp    $0x1f,%rax
1401fd660:	76 07                	jbe    0x1401fd669
1401fd662:	ff 15 18 55 01 00    	call   *0x15518(%rip)        # 0x140212b80
1401fd668:	cc                   	int3
1401fd669:	ff 15 d1 54 01 00    	call   *0x154d1(%rip)        # 0x140212b40
1401fd66f:	8a c3                	mov    %bl,%al
1401fd671:	48 8b 4d 47          	mov    0x47(%rbp),%rcx
1401fd675:	48 33 cc             	xor    %rsp,%rcx
1401fd678:	e8 f3 70 00 00       	call   0x140204770
1401fd67d:	4c 8d 9c 24 c0 00 00 	lea    0xc0(%rsp),%r11
1401fd684:	00
1401fd685:	49 8b 5b 10          	mov    0x10(%r11),%rbx
1401fd689:	49 8b 73 20          	mov    0x20(%r11),%rsi
1401fd68d:	49 8b 7b 28          	mov    0x28(%r11),%rdi
1401fd691:	49 8b e3             	mov    %r11,%rsp
1401fd694:	5d                   	pop    %rbp
1401fd695:	c3                   	ret
1401fd696:	90                   	nop
1401fd697:	90                   	nop
1401fd698:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1401fd69d:	48 89 6c 24 10       	mov    %rbp,0x10(%rsp)
1401fd6a2:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
1401fd6a7:	57                   	push   %rdi
1401fd6a8:	41 56                	push   %r14
1401fd6aa:	41 57                	push   %r15
1401fd6ac:	48 83 ec 20          	sub    $0x20,%rsp
1401fd6b0:	48 8b 19             	mov    (%rcx),%rbx
1401fd6b3:	4d 8b f1             	mov    %r9,%r14
1401fd6b6:	4d 8b f8             	mov    %r8,%r15
1401fd6b9:	48 8b ea             	mov    %rdx,%rbp
1401fd6bc:	48 8b f9             	mov    %rcx,%rdi
1401fd6bf:	48 85 db             	test   %rbx,%rbx
1401fd6c2:	74 72                	je     0x1401fd736
1401fd6c4:	48 8b 71 08          	mov    0x8(%rcx),%rsi
1401fd6c8:	eb 15                	jmp    0x1401fd6df
1401fd6ca:	48 8b 03             	mov    (%rbx),%rax
1401fd6cd:	33 d2                	xor    %edx,%edx
1401fd6cf:	48 8b cb             	mov    %rbx,%rcx
1401fd6d2:	48 8b 00             	mov    (%rax),%rax
1401fd6d5:	ff 15 55 57 01 00    	call   *0x15755(%rip)        # 0x140212e30
1401fd6db:	48 83 c3 50          	add    $0x50,%rbx
1401fd6df:	48 3b de             	cmp    %rsi,%rbx
1401fd6e2:	75 e6                	jne    0x1401fd6ca
1401fd6e4:	4c 8b 07             	mov    (%rdi),%r8
1401fd6e7:	48 b8 67 66 66 66 66 	movabs $0x6666666666666667,%rax
1401fd6ee:	66 66 66
1401fd6f1:	48 8b 4f 10          	mov    0x10(%rdi),%rcx
1401fd6f5:	49 2b c8             	sub    %r8,%rcx
1401fd6f8:	48 f7 e9             	imul   %rcx
1401fd6fb:	48 c1 fa 05          	sar    $0x5,%rdx
1401fd6ff:	48 8b c2             	mov    %rdx,%rax
1401fd702:	48 c1 e8 3f          	shr    $0x3f,%rax
1401fd706:	48 03 d0             	add    %rax,%rdx
1401fd709:	48 8d 04 92          	lea    (%rdx,%rdx,4),%rax
1401fd70d:	48 c1 e0 04          	shl    $0x4,%rax
1401fd711:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1401fd717:	72 14                	jb     0x1401fd72d
1401fd719:	49 8b 48 f8          	mov    -0x8(%r8),%rcx
1401fd71d:	4c 2b c1             	sub    %rcx,%r8
1401fd720:	49 8d 40 f8          	lea    -0x8(%r8),%rax
1401fd724:	48 83 f8 1f          	cmp    $0x1f,%rax
1401fd728:	77 46                	ja     0x1401fd770
1401fd72a:	4c 8b c1             	mov    %rcx,%r8
1401fd72d:	49 8b c8             	mov    %r8,%rcx
1401fd730:	ff 15 0a 54 01 00    	call   *0x1540a(%rip)        # 0x140212b40
1401fd736:	48 8b 5c 24 40       	mov    0x40(%rsp),%rbx
1401fd73b:	4b 8d 04 bf          	lea    (%r15,%r15,4),%rax
1401fd73f:	48 8b 74 24 50       	mov    0x50(%rsp),%rsi
1401fd744:	48 c1 e0 04          	shl    $0x4,%rax
1401fd748:	48 03 c5             	add    %rbp,%rax
1401fd74b:	48 89 2f             	mov    %rbp,(%rdi)
1401fd74e:	48 89 47 08          	mov    %rax,0x8(%rdi)
1401fd752:	4b 8d 04 b6          	lea    (%r14,%r14,4),%rax
1401fd756:	48 c1 e0 04          	shl    $0x4,%rax
1401fd75a:	48 03 c5             	add    %rbp,%rax
1401fd75d:	48 8b 6c 24 48       	mov    0x48(%rsp),%rbp
1401fd762:	48 89 47 10          	mov    %rax,0x10(%rdi)
1401fd766:	48 83 c4 20          	add    $0x20,%rsp
1401fd76a:	41 5f                	pop    %r15
1401fd76c:	41 5e                	pop    %r14
1401fd76e:	5f                   	pop    %rdi
1401fd76f:	c3                   	ret
1401fd770:	ff 15 0a 54 01 00    	call   *0x1540a(%rip)        # 0x140212b80
1401fd776:	cc                   	int3
1401fd777:	90                   	nop
1401fd778:	90                   	nop
1401fd779:	90                   	nop
1401fd77a:	90                   	nop
1401fd77b:	90                   	nop
1401fd77c:	90                   	nop
1401fd77d:	90                   	nop
1401fd77e:	90                   	nop
1401fd77f:	90                   	nop
1401fd780:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1401fd785:	55                   	push   %rbp
1401fd786:	56                   	push   %rsi
1401fd787:	57                   	push   %rdi
1401fd788:	41 56                	push   %r14
1401fd78a:	41 57                	push   %r15
1401fd78c:	48 8b ec             	mov    %rsp,%rbp
1401fd78f:	48 81 ec 80 00 00 00 	sub    $0x80,%rsp
1401fd796:	48 8b 05 e3 39 10 00 	mov    0x1039e3(%rip),%rax        # 0x140301180
1401fd79d:	48 33 c4             	xor    %rsp,%rax
1401fd7a0:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
1401fd7a4:	45 33 ff             	xor    %r15d,%r15d
1401fd7a7:	48 8b 01             	mov    (%rcx),%rax
1401fd7aa:	45 33 c9             	xor    %r9d,%r9d
1401fd7ad:	4c 8b c2             	mov    %rdx,%r8
1401fd7b0:	48 8d 55 b8          	lea    -0x48(%rbp),%rdx
1401fd7b4:	48 8b 80 c0 00 00 00 	mov    0xc0(%rax),%rax
1401fd7bb:	ff 15 6f 56 01 00    	call   *0x1566f(%rip)        # 0x140212e30
1401fd7c1:	48 8b 4d b8          	mov    -0x48(%rbp),%rcx
1401fd7c5:	48 85 c9             	test   %rcx,%rcx
1401fd7c8:	75 08                	jne    0x1401fd7d2
1401fd7ca:	41 8b ff             	mov    %r15d,%edi
1401fd7cd:	e9 28 01 00 00       	jmp    0x1401fd8fa
1401fd7d2:	0f 57 c0             	xorps  %xmm0,%xmm0
1401fd7d5:	0f 11 45 d0          	movups %xmm0,-0x30(%rbp)
1401fd7d9:	49 8b ff             	mov    %r15,%rdi
1401fd7dc:	4c 89 7d e0          	mov    %r15,-0x20(%rbp)
1401fd7e0:	be 07 00 00 00       	mov    $0x7,%esi
1401fd7e5:	48 89 75 e8          	mov    %rsi,-0x18(%rbp)
1401fd7e9:	66 44 89 7d d0       	mov    %r15w,-0x30(%rbp)
1401fd7ee:	c6 45 b0 01          	movb   $0x1,-0x50(%rbp)
1401fd7f2:	8d 4e 11             	lea    0x11(%rsi),%ecx
1401fd7f5:	e8 fa 89 f7 ff       	call   0x1401761f4
1401fd7fa:	48 89 45 c0          	mov    %rax,-0x40(%rbp)
1401fd7fe:	48 85 c0             	test   %rax,%rax
1401fd801:	74 1c                	je     0x1401fd81f
1401fd803:	c7 45 b4 08 00 00 00 	movl   $0x8,-0x4c(%rbp)
1401fd80a:	4c 8d 45 b0          	lea    -0x50(%rbp),%r8
1401fd80e:	48 8d 55 b4          	lea    -0x4c(%rbp),%rdx
1401fd812:	48 8b c8             	mov    %rax,%rcx
1401fd815:	e8 f6 0c ff ff       	call   0x1401ee510
1401fd81a:	48 8b d8             	mov    %rax,%rbx
1401fd81d:	eb 03                	jmp    0x1401fd822
1401fd81f:	49 8b df             	mov    %r15,%rbx
1401fd822:	48 89 5d c0          	mov    %rbx,-0x40(%rbp)
1401fd826:	48 8b d3             	mov    %rbx,%rdx
1401fd829:	48 8b 4d b8          	mov    -0x48(%rbp),%rcx
1401fd82d:	e8 42 01 ff ff       	call   0x1401ed974
1401fd832:	84 c0                	test   %al,%al
1401fd834:	74 15                	je     0x1401fd84b
1401fd836:	48 8b 53 08          	mov    0x8(%rbx),%rdx
1401fd83a:	48 8d 4d d0          	lea    -0x30(%rbp),%rcx
1401fd83e:	e8 9d bb e0 ff       	call   0x1400093e0
1401fd843:	48 8b 75 e8          	mov    -0x18(%rbp),%rsi
1401fd847:	48 8b 7d e0          	mov    -0x20(%rbp),%rdi
1401fd84b:	e8 10 10 ff ff       	call   0x1401ee860
1401fd850:	4c 8b f0             	mov    %rax,%r14
1401fd853:	48 8d 4d d0          	lea    -0x30(%rbp),%rcx
1401fd857:	48 83 fe 07          	cmp    $0x7,%rsi
1401fd85b:	48 0f 47 4d d0       	cmova  -0x30(%rbp),%rcx
1401fd860:	48 8b d7             	mov    %rdi,%rdx
1401fd863:	e8 0c af e7 ff       	call   0x140078774
1401fd868:	4c 8b c8             	mov    %rax,%r9
1401fd86b:	4c 8d 45 d0          	lea    -0x30(%rbp),%r8
1401fd86f:	48 8d 55 c0          	lea    -0x40(%rbp),%rdx
1401fd873:	49 8b ce             	mov    %r14,%rcx
1401fd876:	e8 45 ab e7 ff       	call   0x1400783c0
1401fd87b:	48 8b 78 08          	mov    0x8(%rax),%rdi
1401fd87f:	48 85 ff             	test   %rdi,%rdi
1401fd882:	75 04                	jne    0x1401fd888
1401fd884:	49 8b 7e 08          	mov    0x8(%r14),%rdi
1401fd888:	49 3b 7e 08          	cmp    0x8(%r14),%rdi
1401fd88c:	74 05                	je     0x1401fd893
1401fd88e:	8b 7f 30             	mov    0x30(%rdi),%edi
1401fd891:	eb 03                	jmp    0x1401fd896
1401fd893:	41 8b ff             	mov    %r15d,%edi
1401fd896:	48 85 db             	test   %rbx,%rbx
1401fd899:	74 1c                	je     0x1401fd8b7
1401fd89b:	48 8b 4b 08          	mov    0x8(%rbx),%rcx
1401fd89f:	48 85 c9             	test   %rcx,%rcx
1401fd8a2:	74 0a                	je     0x1401fd8ae
1401fd8a4:	ba 01 00 00 00       	mov    $0x1,%edx
1401fd8a9:	e8 2a 7b e0 ff       	call   0x1400053d8
1401fd8ae:	48 8b cb             	mov    %rbx,%rcx
1401fd8b1:	e8 5a 89 f7 ff       	call   0x140176210
1401fd8b6:	90                   	nop
1401fd8b7:	48 8b 45 e8          	mov    -0x18(%rbp),%rax
1401fd8bb:	48 83 f8 07          	cmp    $0x7,%rax
1401fd8bf:	76 35                	jbe    0x1401fd8f6
1401fd8c1:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401fd8c8:	00
1401fd8c9:	48 8b 4d d0          	mov    -0x30(%rbp),%rcx
1401fd8cd:	48 8b d1             	mov    %rcx,%rdx
1401fd8d0:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1401fd8d6:	72 18                	jb     0x1401fd8f0
1401fd8d8:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401fd8dc:	48 2b d1             	sub    %rcx,%rdx
1401fd8df:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401fd8e3:	48 83 f8 1f          	cmp    $0x1f,%rax
1401fd8e7:	76 07                	jbe    0x1401fd8f0
1401fd8e9:	ff 15 91 52 01 00    	call   *0x15291(%rip)        # 0x140212b80
1401fd8ef:	cc                   	int3
1401fd8f0:	ff 15 4a 52 01 00    	call   *0x1524a(%rip)        # 0x140212b40
1401fd8f6:	48 8b 4d b8          	mov    -0x48(%rbp),%rcx
1401fd8fa:	48 85 c9             	test   %rcx,%rcx
1401fd8fd:	74 12                	je     0x1401fd911
1401fd8ff:	4c 8b 01             	mov    (%rcx),%r8
1401fd902:	ba 01 00 00 00       	mov    $0x1,%edx
1401fd907:	49 8b 40 28          	mov    0x28(%r8),%rax
1401fd90b:	ff 15 1f 55 01 00    	call   *0x1551f(%rip)        # 0x140212e30
1401fd911:	8b c7                	mov    %edi,%eax
1401fd913:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1401fd917:	48 33 cc             	xor    %rsp,%rcx
1401fd91a:	e8 51 6e 00 00       	call   0x140204770
1401fd91f:	48 8b 9c 24 c0 00 00 	mov    0xc0(%rsp),%rbx
1401fd926:	00
1401fd927:	48 81 c4 80 00 00 00 	add    $0x80,%rsp
1401fd92e:	41 5f                	pop    %r15
1401fd930:	41 5e                	pop    %r14
1401fd932:	5f                   	pop    %rdi
1401fd933:	5e                   	pop    %rsi
1401fd934:	5d                   	pop    %rbp
1401fd935:	c3                   	ret
1401fd936:	90                   	nop
1401fd937:	90                   	nop
1401fd938:	90                   	nop
1401fd939:	90                   	nop
1401fd93a:	90                   	nop
1401fd93b:	90                   	nop
1401fd93c:	90                   	nop
1401fd93d:	90                   	nop
1401fd93e:	90                   	nop
1401fd93f:	90                   	nop
1401fd940:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1401fd945:	48 89 54 24 10       	mov    %rdx,0x10(%rsp)
1401fd94a:	55                   	push   %rbp
1401fd94b:	56                   	push   %rsi
1401fd94c:	57                   	push   %rdi
1401fd94d:	48 8b ec             	mov    %rsp,%rbp
1401fd950:	48 83 ec 50          	sub    $0x50,%rsp
1401fd954:	48 8b fa             	mov    %rdx,%rdi
1401fd957:	c7 45 38 01 00 00 00 	movl   $0x1,0x38(%rbp)
1401fd95e:	48 83 22 00          	andq   $0x0,(%rdx)
1401fd962:	48 83 62 08 00       	andq   $0x0,0x8(%rdx)
1401fd967:	48 83 62 10 00       	andq   $0x0,0x10(%rdx)
1401fd96c:	c7 45 38 01 00 00 00 	movl   $0x1,0x38(%rbp)
1401fd973:	48 8b 01             	mov    (%rcx),%rax
1401fd976:	45 33 c9             	xor    %r9d,%r9d
1401fd979:	48 8d 55 e8          	lea    -0x18(%rbp),%rdx
1401fd97d:	48 8b 80 c0 00 00 00 	mov    0xc0(%rax),%rax
1401fd984:	ff 15 a6 54 01 00    	call   *0x154a6(%rip)        # 0x140212e30
1401fd98a:	48 83 7d e8 00       	cmpq   $0x0,-0x18(%rbp)
1401fd98f:	75 05                	jne    0x1401fd996
1401fd991:	e9 aa 00 00 00       	jmp    0x1401fda40
1401fd996:	c6 45 20 01          	movb   $0x1,0x20(%rbp)
1401fd99a:	c7 45 e0 09 00 00 00 	movl   $0x9,-0x20(%rbp)
1401fd9a1:	4c 8d 45 20          	lea    0x20(%rbp),%r8
1401fd9a5:	48 8d 55 e0          	lea    -0x20(%rbp),%rdx
1401fd9a9:	48 8d 4d f0          	lea    -0x10(%rbp),%rcx
1401fd9ad:	e8 52 0a ff ff       	call   0x1401ee404
1401fd9b2:	48 8b 5d f0          	mov    -0x10(%rbp),%rbx
1401fd9b6:	48 8b d3             	mov    %rbx,%rdx
1401fd9b9:	48 8b 4d e8          	mov    -0x18(%rbp),%rcx
1401fd9bd:	e8 0a 02 ff ff       	call   0x1401edbcc
1401fd9c2:	84 c0                	test   %al,%al
1401fd9c4:	74 37                	je     0x1401fd9fd
1401fd9c6:	4c 8b 4b 08          	mov    0x8(%rbx),%r9
1401fd9ca:	49 3b f9             	cmp    %r9,%rdi
1401fd9cd:	74 2e                	je     0x1401fd9fd
1401fd9cf:	49 8b 49 08          	mov    0x8(%r9),%rcx
1401fd9d3:	49 2b 09             	sub    (%r9),%rcx
1401fd9d6:	48 b8 25 49 92 24 49 	movabs $0x4924924924924925,%rax
1401fd9dd:	92 24 49
1401fd9e0:	48 f7 e9             	imul   %rcx
1401fd9e3:	48 c1 fa 04          	sar    $0x4,%rdx
1401fd9e7:	4c 8b c2             	mov    %rdx,%r8
1401fd9ea:	49 c1 e8 3f          	shr    $0x3f,%r8