14002b56f:	74 3c                	je     0x14002b5ad
14002b571:	83 cf ff             	or     $0xffffffff,%edi
14002b574:	8b c7                	mov    %edi,%eax
14002b576:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14002b57b:	03 c7                	add    %edi,%eax
14002b57d:	75 2a                	jne    0x14002b5a9
14002b57f:	48 8b 03             	mov    (%rbx),%rax
14002b582:	48 8b cb             	mov    %rbx,%rcx
14002b585:	48 8b 00             	mov    (%rax),%rax
14002b588:	ff 15 aa 16 ae 00    	call   *0xae16aa(%rip)        # 0x140b0cc38
14002b58e:	8b c7                	mov    %edi,%eax
14002b590:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14002b595:	03 c7                	add    %edi,%eax
14002b597:	75 10                	jne    0x14002b5a9
14002b599:	48 8b 03             	mov    (%rbx),%rax
14002b59c:	48 8b cb             	mov    %rbx,%rcx
14002b59f:	48 8b 40 08          	mov    0x8(%rax),%rax
14002b5a3:	ff 15 8f 16 ae 00    	call   *0xae168f(%rip)        # 0x140b0cc38
14002b5a9:	48 8b 75 b7          	mov    -0x49(%rbp),%rsi
14002b5ad:	49 8b 3e             	mov    (%r14),%rdi
14002b5b0:	49 8b 46 08          	mov    0x8(%r14),%rax
14002b5b4:	48 2b c7             	sub    %rdi,%rax
14002b5b7:	48 c1 f8 04          	sar    $0x4,%rax
14002b5bb:	4c 3b f8             	cmp    %rax,%r15
14002b5be:	0f 83 5a 02 00 00    	jae    0x14002b81e
14002b5c4:	49 8b 3c 3c          	mov    (%r12,%rdi,1),%rdi
14002b5c8:	48 8b 07             	mov    (%rdi),%rax
14002b5cb:	48 8b 98 b8 00 00 00 	mov    0xb8(%rax),%rbx
14002b5d2:	48 8b 16             	mov    (%rsi),%rdx
14002b5d5:	48 8b ce             	mov    %rsi,%rcx
14002b5d8:	48 8b 82 a8 00 00 00 	mov    0xa8(%rdx),%rax
14002b5df:	ff 15 53 16 ae 00    	call   *0xae1653(%rip)        # 0x140b0cc38
14002b5e5:	45 33 c0             	xor    %r8d,%r8d
14002b5e8:	48 8b d0             	mov    %rax,%rdx
14002b5eb:	48 8b cf             	mov    %rdi,%rcx
14002b5ee:	48 8b c3             	mov    %rbx,%rax
14002b5f1:	ff 15 41 16 ae 00    	call   *0xae1641(%rip)        # 0x140b0cc38
14002b5f7:	b3 01                	mov    $0x1,%bl
14002b5f9:	48 8b 45 af          	mov    -0x51(%rbp),%rax
14002b5fd:	c7 00 01 00 00 00    	movl   $0x1,(%rax)
14002b603:	49 ff c7             	inc    %r15
14002b606:	49 83 c4 10          	add    $0x10,%r12
14002b60a:	49 8b 4e 08          	mov    0x8(%r14),%rcx
14002b60e:	49 8b 16             	mov    (%r14),%rdx
14002b611:	48 8b c1             	mov    %rcx,%rax
14002b614:	48 2b c2             	sub    %rdx,%rax
14002b617:	48 c1 f8 04          	sar    $0x4,%rax
14002b61b:	4c 3b f8             	cmp    %rax,%r15
14002b61e:	0f 82 a8 fe ff ff    	jb     0x14002b4cc
14002b624:	4c 8b 65 af          	mov    -0x51(%rbp),%r12
14002b628:	84 db                	test   %bl,%bl
14002b62a:	0f 85 5c 01 00 00    	jne    0x14002b78c
14002b630:	49 8b d5             	mov    %r13,%rdx
14002b633:	48 8d 4d c7          	lea    -0x39(%rbp),%rcx
14002b637:	e8 80 56 00 00       	call   0x140030cbc
14002b63c:	90                   	nop
14002b63d:	48 8b 7d c7          	mov    -0x39(%rbp),%rdi
14002b641:	48 8b 07             	mov    (%rdi),%rax
14002b644:	0f 57 c0             	xorps  %xmm0,%xmm0
14002b647:	66 0f 7f 45 e7       	movdqa %xmm0,-0x19(%rbp)
14002b64c:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
14002b650:	48 85 d2             	test   %rdx,%rdx
14002b653:	74 0c                	je     0x14002b661
14002b655:	f0 ff 42 08          	lock incl 0x8(%rdx)
14002b659:	48 8b 75 b7          	mov    -0x49(%rbp),%rsi
14002b65d:	48 8b 7d c7          	mov    -0x39(%rbp),%rdi
14002b661:	0f 28 45 b7          	movaps -0x49(%rbp),%xmm0
14002b665:	66 0f 7f 45 e7       	movdqa %xmm0,-0x19(%rbp)
14002b66a:	48 8d 55 e7          	lea    -0x19(%rbp),%rdx
14002b66e:	48 8b cf             	mov    %rdi,%rcx
14002b671:	48 8b 40 48          	mov    0x48(%rax),%rax
14002b675:	ff 15 bd 15 ae 00    	call   *0xae15bd(%rip)        # 0x140b0cc38
14002b67b:	48 8b 5d ef          	mov    -0x11(%rbp),%rbx
14002b67f:	41 83 cf ff          	or     $0xffffffff,%r15d
14002b683:	48 85 db             	test   %rbx,%rbx
14002b686:	74 41                	je     0x14002b6c9
14002b688:	41 8b c7             	mov    %r15d,%eax
14002b68b:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14002b690:	41 03 c7             	add    %r15d,%eax
14002b693:	75 2c                	jne    0x14002b6c1
14002b695:	48 8b 03             	mov    (%rbx),%rax
14002b698:	48 8b cb             	mov    %rbx,%rcx
14002b69b:	48 8b 00             	mov    (%rax),%rax
14002b69e:	ff 15 94 15 ae 00    	call   *0xae1594(%rip)        # 0x140b0cc38
14002b6a4:	41 8b c7             	mov    %r15d,%eax
14002b6a7:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14002b6ac:	41 03 c7             	add    %r15d,%eax
14002b6af:	75 10                	jne    0x14002b6c1
14002b6b1:	48 8b 03             	mov    (%rbx),%rax
14002b6b4:	48 8b cb             	mov    %rbx,%rcx
14002b6b7:	48 8b 40 08          	mov    0x8(%rax),%rax
14002b6bb:	ff 15 77 15 ae 00    	call   *0xae1577(%rip)        # 0x140b0cc38
14002b6c1:	48 8b 7d c7          	mov    -0x39(%rbp),%rdi
14002b6c5:	48 8b 75 b7          	mov    -0x49(%rbp),%rsi
14002b6c9:	48 8b 07             	mov    (%rdi),%rax
14002b6cc:	48 8b 98 b0 00 00 00 	mov    0xb0(%rax),%rbx
14002b6d3:	48 8b 16             	mov    (%rsi),%rdx
14002b6d6:	48 8b ce             	mov    %rsi,%rcx
14002b6d9:	48 8b 82 a8 00 00 00 	mov    0xa8(%rdx),%rax
14002b6e0:	ff 15 52 15 ae 00    	call   *0xae1552(%rip)        # 0x140b0cc38
14002b6e6:	48 8b d0             	mov    %rax,%rdx
14002b6e9:	48 8b cf             	mov    %rdi,%rcx
14002b6ec:	48 8b c3             	mov    %rbx,%rax
14002b6ef:	ff 15 43 15 ae 00    	call   *0xae1543(%rip)        # 0x140b0cc38
14002b6f5:	49 8b 56 08          	mov    0x8(%r14),%rdx
14002b6f9:	49 3b 56 10          	cmp    0x10(%r14),%rdx
14002b6fd:	74 2c                	je     0x14002b72b
14002b6ff:	48 83 22 00          	andq   $0x0,(%rdx)
14002b703:	48 83 62 08 00       	andq   $0x0,0x8(%rdx)
14002b708:	48 8b 4d cf          	mov    -0x31(%rbp),%rcx
14002b70c:	48 85 c9             	test   %rcx,%rcx
14002b70f:	74 0c                	je     0x14002b71d
14002b711:	f0 ff 41 08          	lock incl 0x8(%rcx)
14002b715:	48 8b 4d cf          	mov    -0x31(%rbp),%rcx
14002b719:	48 8b 7d c7          	mov    -0x39(%rbp),%rdi
14002b71d:	48 89 3a             	mov    %rdi,(%rdx)
14002b720:	48 89 4a 08          	mov    %rcx,0x8(%rdx)
14002b724:	49 83 46 08 10       	addq   $0x10,0x8(%r14)
14002b729:	eb 10                	jmp    0x14002b73b
14002b72b:	4c 8d 45 c7          	lea    -0x39(%rbp),%r8
14002b72f:	49 8b ce             	mov    %r14,%rcx
14002b732:	e8 ed 4d ff ff       	call   0x140020524
14002b737:	48 8b 4d cf          	mov    -0x31(%rbp),%rcx
14002b73b:	41 c7 04 24 01 00 00 	movl   $0x1,(%r12)
14002b742:	00
14002b743:	48 85 c9             	test   %rcx,%rcx
14002b746:	74 48                	je     0x14002b790
14002b748:	41 8b c7             	mov    %r15d,%eax
14002b74b:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
14002b750:	41 03 c7             	add    %r15d,%eax
14002b753:	75 3b                	jne    0x14002b790
14002b755:	48 8b 5d cf          	mov    -0x31(%rbp),%rbx
14002b759:	48 8b 03             	mov    (%rbx),%rax
14002b75c:	48 8b cb             	mov    %rbx,%rcx
14002b75f:	48 8b 00             	mov    (%rax),%rax
14002b762:	ff 15 d0 14 ae 00    	call   *0xae14d0(%rip)        # 0x140b0cc38
14002b768:	41 8b c7             	mov    %r15d,%eax
14002b76b:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14002b770:	41 03 c7             	add    %r15d,%eax
14002b773:	75 1b                	jne    0x14002b790
14002b775:	48 8b 4d cf          	mov    -0x31(%rbp),%rcx
14002b779:	48 8b 01             	mov    (%rcx),%rax
14002b77c:	48 8b 40 08          	mov    0x8(%rax),%rax
14002b780:	ff 15 b2 14 ae 00    	call   *0xae14b2(%rip)        # 0x140b0cc38
14002b786:	eb 08                	jmp    0x14002b790
14002b788:	4c 8b 65 af          	mov    -0x51(%rbp),%r12
14002b78c:	41 83 cf ff          	or     $0xffffffff,%r15d
14002b790:	48 8b 7d a7          	mov    -0x59(%rbp),%rdi
14002b794:	48 8b 4d 57          	mov    0x57(%rbp),%rcx
14002b798:	e8 4f e0 fd ff       	call   0x1400097ec
14002b79d:	90                   	nop
14002b79e:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
14002b7a2:	48 85 d2             	test   %rdx,%rdx
14002b7a5:	74 3e                	je     0x14002b7e5
14002b7a7:	41 8b c7             	mov    %r15d,%eax
14002b7aa:	f0 0f c1 42 08       	lock xadd %eax,0x8(%rdx)
14002b7af:	41 03 c7             	add    %r15d,%eax
14002b7b2:	75 31                	jne    0x14002b7e5
14002b7b4:	48 8b 5d bf          	mov    -0x41(%rbp),%rbx
14002b7b8:	48 8b 03             	mov    (%rbx),%rax
14002b7bb:	48 8b cb             	mov    %rbx,%rcx
14002b7be:	48 8b 00             	mov    (%rax),%rax
14002b7c1:	ff 15 71 14 ae 00    	call   *0xae1471(%rip)        # 0x140b0cc38
14002b7c7:	41 8b c7             	mov    %r15d,%eax
14002b7ca:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14002b7cf:	41 03 c7             	add    %r15d,%eax
14002b7d2:	75 11                	jne    0x14002b7e5
14002b7d4:	48 8b 4d bf          	mov    -0x41(%rbp),%rcx
14002b7d8:	48 8b 01             	mov    (%rcx),%rax
14002b7db:	48 8b 40 08          	mov    0x8(%rax),%rax
14002b7df:	ff 15 53 14 ae 00    	call   *0xae1453(%rip)        # 0x140b0cc38
14002b7e5:	48 ff c7             	inc    %rdi
14002b7e8:	48 89 7d a7          	mov    %rdi,-0x59(%rbp)
14002b7ec:	49 83 c4 04          	add    $0x4,%r12
14002b7f0:	4c 89 65 af          	mov    %r12,-0x51(%rbp)
14002b7f4:	49 8b 4d 00          	mov    0x0(%r13),%rcx
14002b7f8:	48 8b 01             	mov    (%rcx),%rax
14002b7fb:	48 8b 40 40          	mov    0x40(%rax),%rax
14002b7ff:	ff 15 33 14 ae 00    	call   *0xae1433(%rip)        # 0x140b0cc38
14002b805:	48 3b f8             	cmp    %rax,%rdi
14002b808:	73 1b                	jae    0x14002b825
14002b80a:	48 8b 45 77          	mov    0x77(%rbp),%rax
14002b80e:	48 8b 75 6f          	mov    0x6f(%rbp),%rsi
14002b812:	e9 da fb ff ff       	jmp    0x14002b3f1
14002b817:	ff 15 7b 11 ae 00    	call   *0xae117b(%rip)        # 0x140b0c998
14002b81d:	cc                   	int3
14002b81e:	ff 15 74 11 ae 00    	call   *0xae1174(%rip)        # 0x140b0c998
14002b824:	90                   	nop
14002b825:	49 8b 5d 08          	mov    0x8(%r13),%rbx
14002b829:	48 85 db             	test   %rbx,%rbx
14002b82c:	74 39                	je     0x14002b867
14002b82e:	41 8b c7             	mov    %r15d,%eax
14002b831:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14002b836:	41 03 c7             	add    %r15d,%eax
14002b839:	75 2c                	jne    0x14002b867
14002b83b:	48 8b 03             	mov    (%rbx),%rax
14002b83e:	48 8b cb             	mov    %rbx,%rcx
14002b841:	48 8b 00             	mov    (%rax),%rax
14002b844:	ff 15 ee 13 ae 00    	call   *0xae13ee(%rip)        # 0x140b0cc38
14002b84a:	41 8b c7             	mov    %r15d,%eax
14002b84d:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14002b852:	41 03 c7             	add    %r15d,%eax
14002b855:	75 10                	jne    0x14002b867
14002b857:	48 8b 03             	mov    (%rbx),%rax
14002b85a:	48 8b cb             	mov    %rbx,%rcx
14002b85d:	48 8b 40 08          	mov    0x8(%rax),%rax
14002b861:	ff 15 d1 13 ae 00    	call   *0xae13d1(%rip)        # 0x140b0cc38
14002b867:	33 c0                	xor    %eax,%eax
14002b869:	4c 8d 9c 24 90 00 00 	lea    0x90(%rsp),%r11
14002b870:	00
14002b871:	49 8b 5b 50          	mov    0x50(%r11),%rbx
14002b875:	41 0f 28 73 f0       	movaps -0x10(%r11),%xmm6
14002b87a:	49 8b e3             	mov    %r11,%rsp
14002b87d:	41 5f                	pop    %r15
14002b87f:	41 5e                	pop    %r14
14002b881:	41 5d                	pop    %r13
14002b883:	41 5c                	pop    %r12
14002b885:	5f                   	pop    %rdi
14002b886:	5e                   	pop    %rsi
14002b887:	5d                   	pop    %rbp
14002b888:	c3                   	ret
14002b889:	90                   	nop
14002b88a:	90                   	nop
14002b88b:	90                   	nop
14002b88c:	90                   	nop
14002b88d:	90                   	nop
14002b88e:	90                   	nop
14002b88f:	90                   	nop
14002b890:	48 8b c4             	mov    %rsp,%rax
14002b893:	48 89 58 10          	mov    %rbx,0x10(%rax)
14002b897:	4c 89 40 18          	mov    %r8,0x18(%rax)
14002b89b:	48 89 48 08          	mov    %rcx,0x8(%rax)
14002b89f:	55                   	push   %rbp
14002b8a0:	56                   	push   %rsi
14002b8a1:	57                   	push   %rdi
14002b8a2:	41 54                	push   %r12
14002b8a4:	41 55                	push   %r13
14002b8a6:	41 56                	push   %r14
14002b8a8:	41 57                	push   %r15
14002b8aa:	48 8b ec             	mov    %rsp,%rbp
14002b8ad:	48 83 ec 60          	sub    $0x60,%rsp
14002b8b1:	0f 29 70 b8          	movaps %xmm6,-0x48(%rax)
14002b8b5:	4d 8b f9             	mov    %r9,%r15
14002b8b8:	4d 8b e8             	mov    %r8,%r13
14002b8bb:	48 8b f2             	mov    %rdx,%rsi
14002b8be:	32 db                	xor    %bl,%bl
14002b8c0:	88 5d 40             	mov    %bl,0x40(%rbp)
14002b8c3:	0f 57 c0             	xorps  %xmm0,%xmm0
14002b8c6:	f3 0f 7f 45 c8       	movdqu %xmm0,-0x38(%rbp)
14002b8cb:	49 8b 08             	mov    (%r8),%rcx
14002b8ce:	48 8b 01             	mov    (%rcx),%rax
14002b8d1:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
14002b8d8:	ff 15 5a 13 ae 00    	call   *0xae135a(%rip)        # 0x140b0cc38
14002b8de:	0f 10 00             	movups (%rax),%xmm0
14002b8e1:	f3 0f 7f 45 d8       	movdqu %xmm0,-0x28(%rbp)
14002b8e6:	45 33 e4             	xor    %r12d,%r12d
14002b8e9:	49 8b 4f 08          	mov    0x8(%r15),%rcx
14002b8ed:	49 8b 17             	mov    (%r15),%rdx
14002b8f0:	48 8b c1             	mov    %rcx,%rax
14002b8f3:	48 2b c2             	sub    %rdx,%rax
14002b8f6:	48 c1 f8 04          	sar    $0x4,%rax
14002b8fa:	83 cf ff             	or     $0xffffffff,%edi
14002b8fd:	48 85 c0             	test   %rax,%rax
14002b900:	0f 84 57 01 00 00    	je     0x14002ba5d
14002b906:	45 33 f6             	xor    %r14d,%r14d
14002b909:	f3 0f 10 75 d8       	movss  -0x28(%rbp),%xmm6
14002b90e:	48 8b 7d c8          	mov    -0x38(%rbp),%rdi
14002b912:	48 2b ca             	sub    %rdx,%rcx
14002b915:	48 c1 f9 04          	sar    $0x4,%rcx
14002b919:	4c 3b e1             	cmp    %rcx,%r12
14002b91c:	0f 83 31 01 00 00    	jae    0x14002ba53
14002b922:	4a 8b 0c 32          	mov    (%rdx,%r14,1),%rcx
14002b926:	49 39 4d 00          	cmp    %rcx,0x0(%r13)
14002b92a:	0f 84 dc 00 00 00    	je     0x14002ba0c
14002b930:	48 8b 01             	mov    (%rcx),%rax
14002b933:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
14002b93a:	ff 15 f8 12 ae 00    	call   *0xae12f8(%rip)        # 0x140b0cc38
14002b940:	0f 2f 70 08          	comiss 0x8(%rax),%xmm6
14002b944:	76 0a                	jbe    0x14002b950
14002b946:	b3 01                	mov    $0x1,%bl
14002b948:	88 5d 40             	mov    %bl,0x40(%rbp)
14002b94b:	e9 bc 00 00 00       	jmp    0x14002ba0c
14002b950:	49 8b 0f             	mov    (%r15),%rcx
14002b953:	49 8b 47 08          	mov    0x8(%r15),%rax
14002b957:	48 2b c1             	sub    %rcx,%rax
14002b95a:	48 c1 f8 04          	sar    $0x4,%rax
14002b95e:	4c 3b e0             	cmp    %rax,%r12
14002b961:	0f 83 ec 00 00 00    	jae    0x14002ba53
14002b967:	49 8b 0c 0e          	mov    (%r14,%rcx,1),%rcx
14002b96b:	48 8b 01             	mov    (%rcx),%rax
14002b96e:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
14002b975:	ff 15 bd 12 ae 00    	call   *0xae12bd(%rip)        # 0x140b0cc38
14002b97b:	f3 0f 10 00          	movss  (%rax),%xmm0
14002b97f:	0f 2f 45 e0          	comiss -0x20(%rbp),%xmm0
14002b983:	0f 86 83 00 00 00    	jbe    0x14002ba0c
14002b989:	48 85 ff             	test   %rdi,%rdi
14002b98c:	75 b8                	jne    0x14002b946
14002b98e:	49 8b 0f             	mov    (%r15),%rcx
14002b991:	49 8b 47 08          	mov    0x8(%r15),%rax
14002b995:	48 2b c1             	sub    %rcx,%rax
14002b998:	48 c1 f8 04          	sar    $0x4,%rax
14002b99c:	4c 3b e0             	cmp    %rax,%r12
14002b99f:	0f 83 ae 00 00 00    	jae    0x14002ba53
14002b9a5:	4a 8b 44 31 08       	mov    0x8(%rcx,%r14,1),%rax
14002b9aa:	48 85 c0             	test   %rax,%rax
14002b9ad:	74 04                	je     0x14002b9b3
14002b9af:	f0 ff 40 08          	lock incl 0x8(%rax)
14002b9b3:	49 8b 3c 0e          	mov    (%r14,%rcx,1),%rdi
14002b9b7:	48 89 7d c8          	mov    %rdi,-0x38(%rbp)
14002b9bb:	4a 8b 44 31 08       	mov    0x8(%rcx,%r14,1),%rax
14002b9c0:	48 8b 5d d0          	mov    -0x30(%rbp),%rbx
14002b9c4:	48 89 45 d0          	mov    %rax,-0x30(%rbp)
14002b9c8:	48 85 db             	test   %rbx,%rbx
14002b9cb:	74 3c                	je     0x14002ba09
14002b9cd:	83 cf ff             	or     $0xffffffff,%edi
14002b9d0:	8b c7                	mov    %edi,%eax
14002b9d2:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14002b9d7:	03 c7                	add    %edi,%eax
14002b9d9:	75 2a                	jne    0x14002ba05
14002b9db:	48 8b 03             	mov    (%rbx),%rax
14002b9de:	48 8b cb             	mov    %rbx,%rcx
14002b9e1:	48 8b 00             	mov    (%rax),%rax
14002b9e4:	ff 15 4e 12 ae 00    	call   *0xae124e(%rip)        # 0x140b0cc38
14002b9ea:	8b c7                	mov    %edi,%eax
14002b9ec:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14002b9f1:	03 c7                	add    %edi,%eax
14002b9f3:	75 10                	jne    0x14002ba05
14002b9f5:	48 8b 03             	mov    (%rbx),%rax
14002b9f8:	48 8b cb             	mov    %rbx,%rcx
14002b9fb:	48 8b 40 08          	mov    0x8(%rax),%rax
14002b9ff:	ff 15 33 12 ae 00    	call   *0xae1233(%rip)        # 0x140b0cc38
14002ba05:	48 8b 7d c8          	mov    -0x38(%rbp),%rdi
14002ba09:	8a 5d 40             	mov    0x40(%rbp),%bl
14002ba0c:	49 ff c4             	inc    %r12
14002ba0f:	49 83 c6 10          	add    $0x10,%r14
14002ba13:	49 8b 4f 08          	mov    0x8(%r15),%rcx
14002ba17:	49 8b 17             	mov    (%r15),%rdx
14002ba1a:	48 8b c1             	mov    %rcx,%rax
14002ba1d:	48 2b c2             	sub    %rdx,%rax
14002ba20:	48 c1 f8 04          	sar    $0x4,%rax
14002ba24:	4c 3b e0             	cmp    %rax,%r12
14002ba27:	0f 82 e5 fe ff ff    	jb     0x14002b912
14002ba2d:	84 db                	test   %bl,%bl
14002ba2f:	75 29                	jne    0x14002ba5a
14002ba31:	48 85 ff             	test   %rdi,%rdi
14002ba34:	74 24                	je     0x14002ba5a
14002ba36:	48 89 3e             	mov    %rdi,(%rsi)
14002ba39:	48 8b 45 d0          	mov    -0x30(%rbp),%rax
14002ba3d:	48 89 46 08          	mov    %rax,0x8(%rsi)
14002ba41:	49 8b 5d 08          	mov    0x8(%r13),%rbx