1402bf6d9:	49 89 46 08          	mov    %rax,0x8(%r14)
1402bf6dd:	48 85 ff             	test   %rdi,%rdi
1402bf6e0:	74 3a                	je     0x1402bf71c
1402bf6e2:	8b c6                	mov    %esi,%eax
1402bf6e4:	f0 0f c1 47 08       	lock xadd %eax,0x8(%rdi)
1402bf6e9:	03 c6                	add    %esi,%eax
1402bf6eb:	75 2a                	jne    0x1402bf717
1402bf6ed:	48 8b 07             	mov    (%rdi),%rax
1402bf6f0:	48 8b cf             	mov    %rdi,%rcx
1402bf6f3:	48 8b 00             	mov    (%rax),%rax
1402bf6f6:	ff 15 3c d5 84 00    	call   *0x84d53c(%rip)        # 0x140b0cc38
1402bf6fc:	8b c6                	mov    %esi,%eax
1402bf6fe:	f0 0f c1 47 0c       	lock xadd %eax,0xc(%rdi)
1402bf703:	03 c6                	add    %esi,%eax
1402bf705:	75 10                	jne    0x1402bf717
1402bf707:	48 8b 07             	mov    (%rdi),%rax
1402bf70a:	48 8b cf             	mov    %rdi,%rcx
1402bf70d:	48 8b 40 08          	mov    0x8(%rax),%rax
1402bf711:	ff 15 21 d5 84 00    	call   *0x84d521(%rip)        # 0x140b0cc38
1402bf717:	48 8b 5c 24 70       	mov    0x70(%rsp),%rbx
1402bf71c:	48 85 db             	test   %rbx,%rbx
1402bf71f:	74 3f                	je     0x1402bf760
1402bf721:	48 8b 45 80          	mov    -0x80(%rbp),%rax
1402bf725:	48 2b c3             	sub    %rbx,%rax
1402bf728:	48 83 e0 fc          	and    $0xfffffffffffffffc,%rax
1402bf72c:	48 8b cb             	mov    %rbx,%rcx
1402bf72f:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402bf735:	72 1f                	jb     0x1402bf756
1402bf737:	48 8b 5b f8          	mov    -0x8(%rbx),%rbx
1402bf73b:	48 2b cb             	sub    %rbx,%rcx
1402bf73e:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
1402bf742:	48 83 f8 1f          	cmp    $0x1f,%rax
1402bf746:	76 0e                	jbe    0x1402bf756
1402bf748:	ff 15 4a d2 84 00    	call   *0x84d24a(%rip)        # 0x140b0c998
1402bf74e:	90                   	nop
1402bf74f:	ff 15 43 d2 84 00    	call   *0x84d243(%rip)        # 0x140b0c998
1402bf755:	90                   	nop
1402bf756:	48 8b cb             	mov    %rbx,%rcx
1402bf759:	ff 15 61 d1 84 00    	call   *0x84d161(%rip)        # 0x140b0c8c0
1402bf75f:	90                   	nop
1402bf760:	48 8b 54 24 68       	mov    0x68(%rsp),%rdx
1402bf765:	48 85 d2             	test   %rdx,%rdx
1402bf768:	0f 84 77 05 00 00    	je     0x1402bfce5
1402bf76e:	8b c6                	mov    %esi,%eax
1402bf770:	f0 0f c1 42 08       	lock xadd %eax,0x8(%rdx)
1402bf775:	03 c6                	add    %esi,%eax
1402bf777:	0f 85 68 05 00 00    	jne    0x1402bfce5
1402bf77d:	48 8b 5c 24 68       	mov    0x68(%rsp),%rbx
1402bf782:	48 8b 03             	mov    (%rbx),%rax
1402bf785:	48 8b cb             	mov    %rbx,%rcx
1402bf788:	48 8b 00             	mov    (%rax),%rax
1402bf78b:	ff 15 a7 d4 84 00    	call   *0x84d4a7(%rip)        # 0x140b0cc38
1402bf791:	8b c6                	mov    %esi,%eax
1402bf793:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402bf798:	03 c6                	add    %esi,%eax
1402bf79a:	0f 85 45 05 00 00    	jne    0x1402bfce5
1402bf7a0:	48 8b 4c 24 68       	mov    0x68(%rsp),%rcx
1402bf7a5:	48 8b 01             	mov    (%rcx),%rax
1402bf7a8:	48 8b 40 08          	mov    0x8(%rax),%rax
1402bf7ac:	ff 15 86 d4 84 00    	call   *0x84d486(%rip)        # 0x140b0cc38
1402bf7b2:	e9 2e 05 00 00       	jmp    0x1402bfce5
1402bf7b7:	44 89 6c 24 48       	mov    %r13d,0x48(%rsp)
1402bf7bc:	49 8b 0c 24          	mov    (%r12),%rcx
1402bf7c0:	48 8b 01             	mov    (%rcx),%rax
1402bf7c3:	4c 8b 40 40          	mov    0x40(%rax),%r8
1402bf7c7:	0f 11 45 f0          	movups %xmm0,-0x10(%rbp)
1402bf7cb:	48 c7 45 00 02 00 00 	movq   $0x2,0x0(%rbp)
1402bf7d2:	00
1402bf7d3:	be 0f 00 00 00       	mov    $0xf,%esi
1402bf7d8:	48 89 75 08          	mov    %rsi,0x8(%rbp)
1402bf7dc:	0f b7 05 ed a0 88 00 	movzwl 0x88a0ed(%rip),%eax        # 0x140b498d0
1402bf7e3:	66 89 45 f0          	mov    %ax,-0x10(%rbp)
1402bf7e7:	44 88 6d f2          	mov    %r13b,-0xe(%rbp)
1402bf7eb:	48 8d 55 f0          	lea    -0x10(%rbp),%rdx
1402bf7ef:	49 8b c0             	mov    %r8,%rax
1402bf7f2:	ff 15 40 d4 84 00    	call   *0x84d440(%rip)        # 0x140b0cc38
1402bf7f8:	48 8b d0             	mov    %rax,%rdx
1402bf7fb:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bf7fe:	f3 0f 7f 44 24 70    	movdqu %xmm0,0x70(%rsp)
1402bf804:	48 8b 48 08          	mov    0x8(%rax),%rcx
1402bf808:	48 85 c9             	test   %rcx,%rcx
1402bf80b:	74 08                	je     0x1402bf815
1402bf80d:	f0 ff 41 08          	lock incl 0x8(%rcx)
1402bf811:	8b 5c 24 40          	mov    0x40(%rsp),%ebx
1402bf815:	48 8b 00             	mov    (%rax),%rax
1402bf818:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1402bf81d:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402bf821:	48 89 44 24 78       	mov    %rax,0x78(%rsp)
1402bf826:	41 b9 37 80 04 80    	mov    $0x80048037,%r9d
1402bf82c:	4c 8d 44 24 48       	lea    0x48(%rsp),%r8
1402bf831:	b2 01                	mov    $0x1,%dl
1402bf833:	48 8d 4c 24 70       	lea    0x70(%rsp),%rcx
1402bf838:	e8 63 b4 01 00       	call   0x1402daca0
1402bf83d:	48 63 f8             	movslq %eax,%rdi
1402bf840:	48 8b 45 08          	mov    0x8(%rbp),%rax
1402bf844:	48 3b c6             	cmp    %rsi,%rax
1402bf847:	76 30                	jbe    0x1402bf879
1402bf849:	48 ff c0             	inc    %rax
1402bf84c:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1402bf850:	48 8b d1             	mov    %rcx,%rdx
1402bf853:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402bf859:	72 18                	jb     0x1402bf873
1402bf85b:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402bf85f:	48 2b d1             	sub    %rcx,%rdx
1402bf862:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402bf866:	48 83 f8 1f          	cmp    $0x1f,%rax
1402bf86a:	76 07                	jbe    0x1402bf873
1402bf86c:	ff 15 26 d1 84 00    	call   *0x84d126(%rip)        # 0x140b0c998
1402bf872:	cc                   	int3
1402bf873:	ff 15 47 d0 84 00    	call   *0x84d047(%rip)        # 0x140b0c8c0
1402bf879:	4c 89 6d 00          	mov    %r13,0x0(%rbp)
1402bf87d:	48 89 75 08          	mov    %rsi,0x8(%rbp)
1402bf881:	44 88 6d f0          	mov    %r13b,-0x10(%rbp)
1402bf885:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bf888:	0f 11 45 b0          	movups %xmm0,-0x50(%rbp)
1402bf88c:	4c 89 6d c0          	mov    %r13,-0x40(%rbp)
1402bf890:	48 89 75 c8          	mov    %rsi,-0x38(%rbp)
1402bf894:	44 88 6d b0          	mov    %r13b,-0x50(%rbp)
1402bf898:	f3 0f 7f 44 24 60    	movdqu %xmm0,0x60(%rsp)
1402bf89e:	49 8b 0c 24          	mov    (%r12),%rcx
1402bf8a2:	48 8b 01             	mov    (%rcx),%rax
1402bf8a5:	4c 8b 40 40          	mov    0x40(%rax),%r8
1402bf8a9:	0f 11 45 d0          	movups %xmm0,-0x30(%rbp)
1402bf8ad:	48 c7 45 e0 02 00 00 	movq   $0x2,-0x20(%rbp)
1402bf8b4:	00
1402bf8b5:	48 89 75 e8          	mov    %rsi,-0x18(%rbp)
1402bf8b9:	0f b7 05 6c 9e 88 00 	movzwl 0x889e6c(%rip),%eax        # 0x140b4972c
1402bf8c0:	66 89 45 d0          	mov    %ax,-0x30(%rbp)
1402bf8c4:	44 88 6d d2          	mov    %r13b,-0x2e(%rbp)
1402bf8c8:	48 8d 55 d0          	lea    -0x30(%rbp),%rdx
1402bf8cc:	49 8b c0             	mov    %r8,%rax
1402bf8cf:	ff 15 63 d3 84 00    	call   *0x84d363(%rip)        # 0x140b0cc38
1402bf8d5:	48 8b d0             	mov    %rax,%rdx
1402bf8d8:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bf8db:	f3 0f 7f 44 24 50    	movdqu %xmm0,0x50(%rsp)
1402bf8e1:	48 8b 48 08          	mov    0x8(%rax),%rcx
1402bf8e5:	48 85 c9             	test   %rcx,%rcx
1402bf8e8:	74 08                	je     0x1402bf8f2
1402bf8ea:	f0 ff 41 08          	lock incl 0x8(%rcx)
1402bf8ee:	8b 5c 24 40          	mov    0x40(%rsp),%ebx
1402bf8f2:	48 8b 00             	mov    (%rax),%rax
1402bf8f5:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1402bf8fa:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402bf8fe:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1402bf903:	c7 44 24 28 36 80 04 	movl   $0x80048036,0x28(%rsp)
1402bf90a:	80
1402bf90b:	c7 44 24 20 37 80 04 	movl   $0x80048037,0x20(%rsp)
1402bf912:	80
1402bf913:	41 b1 01             	mov    $0x1,%r9b
1402bf916:	45 33 c0             	xor    %r8d,%r8d
1402bf919:	48 8d 54 24 48       	lea    0x48(%rsp),%rdx
1402bf91e:	48 8d 4c 24 50       	lea    0x50(%rsp),%rcx
1402bf923:	e8 48 c2 e6 ff       	call   0x14012bb70
1402bf928:	40 8a f0             	mov    %al,%sil
1402bf92b:	48 8b 45 e8          	mov    -0x18(%rbp),%rax
1402bf92f:	48 83 f8 0f          	cmp    $0xf,%rax
1402bf933:	76 30                	jbe    0x1402bf965
1402bf935:	48 ff c0             	inc    %rax
1402bf938:	48 8b 4d d0          	mov    -0x30(%rbp),%rcx
1402bf93c:	48 8b d1             	mov    %rcx,%rdx
1402bf93f:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402bf945:	72 18                	jb     0x1402bf95f
1402bf947:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402bf94b:	48 2b d1             	sub    %rcx,%rdx
1402bf94e:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402bf952:	48 83 f8 1f          	cmp    $0x1f,%rax
1402bf956:	76 07                	jbe    0x1402bf95f
1402bf958:	ff 15 3a d0 84 00    	call   *0x84d03a(%rip)        # 0x140b0c998
1402bf95e:	cc                   	int3
1402bf95f:	ff 15 5b cf 84 00    	call   *0x84cf5b(%rip)        # 0x140b0c8c0
1402bf965:	40 84 f6             	test   %sil,%sil
1402bf968:	0f 85 35 02 00 00    	jne    0x1402bfba3
1402bf96e:	49 8b 0c 24          	mov    (%r12),%rcx
1402bf972:	48 8b 01             	mov    (%rcx),%rax
1402bf975:	4c 8b 40 40          	mov    0x40(%rax),%r8
1402bf979:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bf97c:	0f 11 45 d0          	movups %xmm0,-0x30(%rbp)
1402bf980:	48 c7 45 e0 02 00 00 	movq   $0x2,-0x20(%rbp)
1402bf987:	00
1402bf988:	48 c7 45 e8 0f 00 00 	movq   $0xf,-0x18(%rbp)
1402bf98f:	00
1402bf990:	0f b7 05 95 9d 88 00 	movzwl 0x889d95(%rip),%eax        # 0x140b4972c
1402bf997:	66 89 45 d0          	mov    %ax,-0x30(%rbp)
1402bf99b:	44 88 6d d2          	mov    %r13b,-0x2e(%rbp)
1402bf99f:	83 cb 04             	or     $0x4,%ebx
1402bf9a2:	89 5c 24 40          	mov    %ebx,0x40(%rsp)
1402bf9a6:	48 8d 55 d0          	lea    -0x30(%rbp),%rdx
1402bf9aa:	49 8b c0             	mov    %r8,%rax
1402bf9ad:	ff 15 85 d2 84 00    	call   *0x84d285(%rip)        # 0x140b0cc38
1402bf9b3:	48 8b d0             	mov    %rax,%rdx
1402bf9b6:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bf9b9:	f3 0f 7f 44 24 50    	movdqu %xmm0,0x50(%rsp)
1402bf9bf:	48 8b 48 08          	mov    0x8(%rax),%rcx
1402bf9c3:	48 85 c9             	test   %rcx,%rcx
1402bf9c6:	74 08                	je     0x1402bf9d0
1402bf9c8:	f0 ff 41 08          	lock incl 0x8(%rcx)
1402bf9cc:	8b 5c 24 40          	mov    0x40(%rsp),%ebx
1402bf9d0:	48 8b 00             	mov    (%rax),%rax
1402bf9d3:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1402bf9d8:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402bf9dc:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1402bf9e1:	41 b1 01             	mov    $0x1,%r9b
1402bf9e4:	45 33 c0             	xor    %r8d,%r8d
1402bf9e7:	48 8d 55 b0          	lea    -0x50(%rbp),%rdx
1402bf9eb:	48 8d 4c 24 50       	lea    0x50(%rsp),%rcx
1402bf9f0:	e8 cb e5 fe ff       	call   0x1402adfc0
1402bf9f5:	84 c0                	test   %al,%al
1402bf9f7:	74 09                	je     0x1402bfa02
1402bf9f9:	4c 39 6d c0          	cmp    %r13,-0x40(%rbp)
1402bf9fd:	40 b6 01             	mov    $0x1,%sil
1402bfa00:	75 03                	jne    0x1402bfa05
1402bfa02:	41 8a f5             	mov    %r13b,%sil
1402bfa05:	f6 c3 04             	test   $0x4,%bl
1402bfa08:	74 41                	je     0x1402bfa4b
1402bfa0a:	83 e3 fb             	and    $0xfffffffb,%ebx
1402bfa0d:	89 5c 24 40          	mov    %ebx,0x40(%rsp)
1402bfa11:	48 8b 45 e8          	mov    -0x18(%rbp),%rax
1402bfa15:	48 83 f8 0f          	cmp    $0xf,%rax
1402bfa19:	76 30                	jbe    0x1402bfa4b
1402bfa1b:	48 ff c0             	inc    %rax
1402bfa1e:	48 8b 4d d0          	mov    -0x30(%rbp),%rcx
1402bfa22:	48 8b d1             	mov    %rcx,%rdx
1402bfa25:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402bfa2b:	72 18                	jb     0x1402bfa45
1402bfa2d:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402bfa31:	48 2b d1             	sub    %rcx,%rdx
1402bfa34:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402bfa38:	48 83 f8 1f          	cmp    $0x1f,%rax
1402bfa3c:	76 07                	jbe    0x1402bfa45
1402bfa3e:	ff 15 54 cf 84 00    	call   *0x84cf54(%rip)        # 0x140b0c998
1402bfa44:	cc                   	int3
1402bfa45:	ff 15 75 ce 84 00    	call   *0x84ce75(%rip)        # 0x140b0c8c0
1402bfa4b:	40 84 f6             	test   %sil,%sil
1402bfa4e:	74 34                	je     0x1402bfa84
1402bfa50:	49 8d 9f 58 01 00 00 	lea    0x158(%r15),%rbx
1402bfa57:	4c 8d 45 b0          	lea    -0x50(%rbp),%r8
1402bfa5b:	48 8d 54 24 48       	lea    0x48(%rsp),%rdx
1402bfa60:	48 8b cb             	mov    %rbx,%rcx
1402bfa63:	e8 9c 92 01 00       	call   0x1402d8d04
1402bfa68:	48 8b 44 24 48       	mov    0x48(%rsp),%rax
1402bfa6d:	48 39 03             	cmp    %rax,(%rbx)
1402bfa70:	0f 84 e3 01 00 00    	je     0x1402bfc59
1402bfa76:	48 8b 50 40          	mov    0x40(%rax),%rdx
1402bfa7a:	48 89 54 24 48       	mov    %rdx,0x48(%rsp)
1402bfa7f:	e9 24 01 00 00       	jmp    0x1402bfba8
1402bfa84:	49 8b 0c 24          	mov    (%r12),%rcx
1402bfa88:	48 8b 01             	mov    (%rcx),%rax
1402bfa8b:	4c 8b 40 40          	mov    0x40(%rax),%r8
1402bfa8f:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bfa92:	0f 11 45 d0          	movups %xmm0,-0x30(%rbp)
1402bfa96:	48 c7 45 e0 02 00 00 	movq   $0x2,-0x20(%rbp)
1402bfa9d:	00
1402bfa9e:	48 c7 45 e8 0f 00 00 	movq   $0xf,-0x18(%rbp)
1402bfaa5:	00
1402bfaa6:	0f b7 05 7f 9c 88 00 	movzwl 0x889c7f(%rip),%eax        # 0x140b4972c
1402bfaad:	66 89 45 d0          	mov    %ax,-0x30(%rbp)
1402bfab1:	44 88 6d d2          	mov    %r13b,-0x2e(%rbp)
1402bfab5:	48 8d 55 d0          	lea    -0x30(%rbp),%rdx
1402bfab9:	49 8b c0             	mov    %r8,%rax
1402bfabc:	ff 15 76 d1 84 00    	call   *0x84d176(%rip)        # 0x140b0cc38
1402bfac2:	48 8b d0             	mov    %rax,%rdx
1402bfac5:	0f 57 c0             	xorps  %xmm0,%xmm0
1402bfac8:	f3 0f 7f 44 24 50    	movdqu %xmm0,0x50(%rsp)
1402bface:	48 8b 48 08          	mov    0x8(%rax),%rcx
1402bfad2:	48 85 c9             	test   %rcx,%rcx
1402bfad5:	74 04                	je     0x1402bfadb
1402bfad7:	f0 ff 41 08          	lock incl 0x8(%rcx)
1402bfadb:	48 8b 00             	mov    (%rax),%rax
1402bfade:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1402bfae3:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402bfae7:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1402bfaec:	41 b1 01             	mov    $0x1,%r9b
1402bfaef:	45 33 c0             	xor    %r8d,%r8d
1402bfaf2:	48 8d 54 24 60       	lea    0x60(%rsp),%rdx
1402bfaf7:	48 8d 4c 24 50       	lea    0x50(%rsp),%rcx
1402bfafc:	e8 43 b2 e4 ff       	call   0x14010ad44
1402bfb01:	8a d8                	mov    %al,%bl
1402bfb03:	48 8b 45 e8          	mov    -0x18(%rbp),%rax
1402bfb07:	48 83 f8 0f          	cmp    $0xf,%rax
1402bfb0b:	76 30                	jbe    0x1402bfb3d
1402bfb0d:	48 ff c0             	inc    %rax
1402bfb10:	48 8b 4d d0          	mov    -0x30(%rbp),%rcx
1402bfb14:	48 8b d1             	mov    %rcx,%rdx
1402bfb17:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402bfb1d:	72 18                	jb     0x1402bfb37
1402bfb1f:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402bfb23:	48 2b d1             	sub    %rcx,%rdx
1402bfb26:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402bfb2a:	48 83 f8 1f          	cmp    $0x1f,%rax
1402bfb2e:	76 07                	jbe    0x1402bfb37
1402bfb30:	ff 15 62 ce 84 00    	call   *0x84ce62(%rip)        # 0x140b0c998
1402bfb36:	cc                   	int3
1402bfb37:	ff 15 83 cd 84 00    	call   *0x84cd83(%rip)        # 0x140b0c8c0
1402bfb3d:	84 db                	test   %bl,%bl
1402bfb3f:	0f 84 14 01 00 00    	je     0x1402bfc59
1402bfb45:	48 8b 4c 24 60       	mov    0x60(%rsp),%rcx
1402bfb4a:	48 8b 01             	mov    (%rcx),%rax
1402bfb4d:	48 8b 40 28          	mov    0x28(%rax),%rax
1402bfb51:	ff 15 e1 d0 84 00    	call   *0x84d0e1(%rip)        # 0x140b0cc38
1402bfb57:	49 8b 97 68 01 00 00 	mov    0x168(%r15),%rdx
1402bfb5e:	48 8b 4a 08          	mov    0x8(%rdx),%rcx
1402bfb62:	eb 11                	jmp    0x1402bfb75
1402bfb64:	39 41 20             	cmp    %eax,0x20(%rcx)
1402bfb67:	73 06                	jae    0x1402bfb6f
1402bfb69:	48 8b 49 10          	mov    0x10(%rcx),%rcx
1402bfb6d:	eb 06                	jmp    0x1402bfb75
1402bfb6f:	48 8b d1             	mov    %rcx,%rdx
1402bfb72:	48 8b 09             	mov    (%rcx),%rcx
1402bfb75:	44 38 69 19          	cmp    %r13b,0x19(%rcx)
1402bfb79:	74 e9                	je     0x1402bfb64
1402bfb7b:	44 38 6a 19          	cmp    %r13b,0x19(%rdx)
1402bfb7f:	75 05                	jne    0x1402bfb86
1402bfb81:	3b 42 20             	cmp    0x20(%rdx),%eax
1402bfb84:	73 07                	jae    0x1402bfb8d
1402bfb86:	49 8b 97 68 01 00 00 	mov    0x168(%r15),%rdx
1402bfb8d:	49 39 97 68 01 00 00 	cmp    %rdx,0x168(%r15)
1402bfb94:	0f 84 bf 00 00 00    	je     0x1402bfc59
1402bfb9a:	48 8b 52 28          	mov    0x28(%rdx),%rdx
1402bfb9e:	e9 d7 fe ff ff       	jmp    0x1402bfa7a
1402bfba3:	48 8b 54 24 48       	mov    0x48(%rsp),%rdx
1402bfba8:	49 8b 8f 40 01 00 00 	mov    0x140(%r15),%rcx
1402bfbaf:	4d 8b 87 48 01 00 00 	mov    0x148(%r15),%r8
1402bfbb6:	4c 2b c1             	sub    %rcx,%r8
1402bfbb9:	49 c1 f8 03          	sar    $0x3,%r8
1402bfbbd:	48 b8 ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rax
1402bfbc4:	aa aa aa
1402bfbc7:	4c 0f af c0          	imul   %rax,%r8
1402bfbcb:	4c 3b c2             	cmp    %rdx,%r8
1402bfbce:	0f 86 85 00 00 00    	jbe    0x1402bfc59
1402bfbd4:	48 8d 04 52          	lea    (%rdx,%rdx,2),%rax
1402bfbd8:	4c 8b 0c c1          	mov    (%rcx,%rax,8),%r9
1402bfbdc:	48 8b 4c c1 08       	mov    0x8(%rcx,%rax,8),%rcx
1402bfbe1:	49 2b c9             	sub    %r9,%rcx
1402bfbe4:	48 c1 f9 04          	sar    $0x4,%rcx
1402bfbe8:	48 3b cf             	cmp    %rdi,%rcx
1402bfbeb:	76 6c                	jbe    0x1402bfc59
1402bfbed:	49 3b d0             	cmp    %r8,%rdx
1402bfbf0:	0f 83 e1 00 00 00    	jae    0x1402bfcd7
1402bfbf6:	48 03 ff             	add    %rdi,%rdi
1402bfbf9:	49 8b 44 f9 08       	mov    0x8(%r9,%rdi,8),%rax
1402bfbfe:	48 85 c0             	test   %rax,%rax
1402bfc01:	74 04                	je     0x1402bfc07
1402bfc03:	f0 ff 40 08          	lock incl 0x8(%rax)
1402bfc07:	49 8b 04 f9          	mov    (%r9,%rdi,8),%rax
1402bfc0b:	49 8b 4c f9 08       	mov    0x8(%r9,%rdi,8),%rcx
1402bfc10:	49 89 06             	mov    %rax,(%r14)
1402bfc13:	49 8b 5e 08          	mov    0x8(%r14),%rbx
1402bfc17:	49 89 4e 08          	mov    %rcx,0x8(%r14)
1402bfc1b:	48 85 db             	test   %rbx,%rbx
1402bfc1e:	74 39                	je     0x1402bfc59