1402aab62:	48 8b 00             	mov    (%rax),%rax
1402aab65:	ff 15 cd 20 86 00    	call   *0x8620cd(%rip)        # 0x140b0cc38
1402aab6b:	8b c7                	mov    %edi,%eax
1402aab6d:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aab72:	03 c7                	add    %edi,%eax
1402aab74:	75 10                	jne    0x1402aab86
1402aab76:	48 8b 03             	mov    (%rbx),%rax
1402aab79:	48 8b cb             	mov    %rbx,%rcx
1402aab7c:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aab80:	ff 15 b2 20 86 00    	call   *0x8620b2(%rip)        # 0x140b0cc38
1402aab86:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402aab8b:	48 85 db             	test   %rbx,%rbx
1402aab8e:	74 35                	je     0x1402aabc5
1402aab90:	8b c7                	mov    %edi,%eax
1402aab92:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aab97:	03 c7                	add    %edi,%eax
1402aab99:	75 2a                	jne    0x1402aabc5
1402aab9b:	48 8b 03             	mov    (%rbx),%rax
1402aab9e:	48 8b cb             	mov    %rbx,%rcx
1402aaba1:	48 8b 00             	mov    (%rax),%rax
1402aaba4:	ff 15 8e 20 86 00    	call   *0x86208e(%rip)        # 0x140b0cc38
1402aabaa:	8b c7                	mov    %edi,%eax
1402aabac:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aabb1:	03 c7                	add    %edi,%eax
1402aabb3:	75 10                	jne    0x1402aabc5
1402aabb5:	48 8b 03             	mov    (%rbx),%rax
1402aabb8:	48 8b cb             	mov    %rbx,%rcx
1402aabbb:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aabbf:	ff 15 73 20 86 00    	call   *0x862073(%rip)        # 0x140b0cc38
1402aabc5:	0f 57 c0             	xorps  %xmm0,%xmm0
1402aabc8:	0f 11 45 08          	movups %xmm0,0x8(%rbp)
1402aabcc:	33 ff                	xor    %edi,%edi
1402aabce:	48 89 7d 18          	mov    %rdi,0x18(%rbp)
1402aabd2:	48 c7 45 20 0f 00 00 	movq   $0xf,0x20(%rbp)
1402aabd9:	00
1402aabda:	40 88 7d 08          	mov    %dil,0x8(%rbp)
1402aabde:	49 8b 0e             	mov    (%r14),%rcx
1402aabe1:	48 8b 01             	mov    (%rcx),%rax
1402aabe4:	8d 5f 01             	lea    0x1(%rdi),%ebx
1402aabe7:	8b d3                	mov    %ebx,%edx
1402aabe9:	48 8b 40 40          	mov    0x40(%rax),%rax
1402aabed:	ff 15 45 20 86 00    	call   *0x862045(%rip)        # 0x140b0cc38
1402aabf3:	4c 8b c0             	mov    %rax,%r8
1402aabf6:	0f 57 c0             	xorps  %xmm0,%xmm0
1402aabf9:	f3 0f 7f 44 24 50    	movdqu %xmm0,0x50(%rsp)
1402aabff:	48 8b 48 08          	mov    0x8(%rax),%rcx
1402aac03:	48 85 c9             	test   %rcx,%rcx
1402aac06:	74 04                	je     0x1402aac0c
1402aac08:	f0 01 59 08          	lock add %ebx,0x8(%rcx)
1402aac0c:	48 8b 00             	mov    (%rax),%rax
1402aac0f:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1402aac14:	49 8b 40 08          	mov    0x8(%r8),%rax
1402aac18:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1402aac1d:	45 33 c9             	xor    %r9d,%r9d
1402aac20:	44 8a c3             	mov    %bl,%r8b
1402aac23:	48 8d 55 08          	lea    0x8(%rbp),%rdx
1402aac27:	48 8d 4c 24 50       	lea    0x50(%rsp),%rcx
1402aac2c:	e8 83 ba e7 ff       	call   0x1401266b4
1402aac31:	84 c0                	test   %al,%al
1402aac33:	0f 84 2a 09 00 00    	je     0x1402ab563
1402aac39:	0f 57 c0             	xorps  %xmm0,%xmm0
1402aac3c:	f3 0f 7f 45 88       	movdqu %xmm0,-0x78(%rbp)
1402aac41:	f3 0f 7f 45 98       	movdqu %xmm0,-0x68(%rbp)
1402aac46:	48 8d 4d 08          	lea    0x8(%rbp),%rcx
1402aac4a:	48 83 7d 20 0f       	cmpq   $0xf,0x20(%rbp)
1402aac4f:	48 0f 47 4d 08       	cmova  0x8(%rbp),%rcx
1402aac54:	4c 8b 45 18          	mov    0x18(%rbp),%r8
1402aac58:	49 83 f8 04          	cmp    $0x4,%r8
1402aac5c:	0f 85 69 03 00 00    	jne    0x1402aafcb
1402aac62:	48 8d 15 33 d7 89 00 	lea    0x89d733(%rip),%rdx        # 0x140b4839c
1402aac69:	e8 7c 76 84 00       	call   0x140af22ea
1402aac6e:	85 c0                	test   %eax,%eax
1402aac70:	0f 85 55 03 00 00    	jne    0x1402aafcb
1402aac76:	49 8b 45 00          	mov    0x0(%r13),%rax
1402aac7a:	4c 8b 50 30          	mov    0x30(%rax),%r10
1402aac7e:	0f 57 c0             	xorps  %xmm0,%xmm0
1402aac81:	0f 11 45 48          	movups %xmm0,0x48(%rbp)
1402aac85:	66 0f 6f 0d 63 70 90 	movdqa 0x907063(%rip),%xmm1        # 0x140bb1cf0
1402aac8c:	00
1402aac8d:	f3 0f 7f 4d 58       	movdqu %xmm1,0x58(%rbp)
1402aac92:	f2 0f 10 05 5e d9 89 	movsd  0x89d95e(%rip),%xmm0        # 0x140b485f8
1402aac99:	00
1402aac9a:	f2 0f 11 45 48       	movsd  %xmm0,0x48(%rbp)
1402aac9f:	0f b7 05 5a d9 89 00 	movzwl 0x89d95a(%rip),%eax        # 0x140b48600
1402aaca6:	66 89 45 50          	mov    %ax,0x50(%rbp)
1402aacaa:	40 88 7d 52          	mov    %dil,0x52(%rbp)
1402aacae:	4c 8b 64 24 68       	mov    0x68(%rsp),%r12
1402aacb3:	4d 8b cc             	mov    %r12,%r9
1402aacb6:	4c 8d 45 48          	lea    0x48(%rbp),%r8
1402aacba:	48 8d 54 24 50       	lea    0x50(%rsp),%rdx
1402aacbf:	49 8b cd             	mov    %r13,%rcx
1402aacc2:	49 8b c2             	mov    %r10,%rax
1402aacc5:	ff 15 6d 1f 86 00    	call   *0x861f6d(%rip)        # 0x140b0cc38
1402aaccb:	48 8b 08             	mov    (%rax),%rcx
1402aacce:	48 8b 50 08          	mov    0x8(%rax),%rdx
1402aacd2:	48 89 38             	mov    %rdi,(%rax)
1402aacd5:	48 89 78 08          	mov    %rdi,0x8(%rax)
1402aacd9:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1402aacde:	48 8b 5d 80          	mov    -0x80(%rbp),%rbx
1402aace2:	48 89 55 80          	mov    %rdx,-0x80(%rbp)
1402aace6:	83 cf ff             	or     $0xffffffff,%edi
1402aace9:	48 85 db             	test   %rbx,%rbx
1402aacec:	74 35                	je     0x1402aad23
1402aacee:	8b c7                	mov    %edi,%eax
1402aacf0:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aacf5:	03 c7                	add    %edi,%eax
1402aacf7:	75 2a                	jne    0x1402aad23
1402aacf9:	48 8b 03             	mov    (%rbx),%rax
1402aacfc:	48 8b cb             	mov    %rbx,%rcx
1402aacff:	48 8b 00             	mov    (%rax),%rax
1402aad02:	ff 15 30 1f 86 00    	call   *0x861f30(%rip)        # 0x140b0cc38
1402aad08:	8b c7                	mov    %edi,%eax
1402aad0a:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aad0f:	03 c7                	add    %edi,%eax
1402aad11:	75 10                	jne    0x1402aad23
1402aad13:	48 8b 03             	mov    (%rbx),%rax
1402aad16:	48 8b cb             	mov    %rbx,%rcx
1402aad19:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aad1d:	ff 15 15 1f 86 00    	call   *0x861f15(%rip)        # 0x140b0cc38
1402aad23:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402aad28:	45 33 f6             	xor    %r14d,%r14d
1402aad2b:	48 85 db             	test   %rbx,%rbx
1402aad2e:	74 36                	je     0x1402aad66
1402aad30:	8b c7                	mov    %edi,%eax
1402aad32:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aad37:	03 c7                	add    %edi,%eax
1402aad39:	75 2b                	jne    0x1402aad66
1402aad3b:	48 8b 03             	mov    (%rbx),%rax
1402aad3e:	48 8b cb             	mov    %rbx,%rcx
1402aad41:	48 8b 00             	mov    (%rax),%rax
1402aad44:	ff 15 ee 1e 86 00    	call   *0x861eee(%rip)        # 0x140b0cc38
1402aad4a:	8b c7                	mov    %edi,%eax
1402aad4c:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aad51:	03 c7                	add    %edi,%eax
1402aad53:	75 11                	jne    0x1402aad66
1402aad55:	48 8b 03             	mov    (%rbx),%rax
1402aad58:	48 8b cb             	mov    %rbx,%rcx
1402aad5b:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aad5f:	ff 15 d3 1e 86 00    	call   *0x861ed3(%rip)        # 0x140b0cc38
1402aad65:	90                   	nop
1402aad66:	48 8b 45 60          	mov    0x60(%rbp),%rax
1402aad6a:	48 83 f8 0f          	cmp    $0xf,%rax
1402aad6e:	76 30                	jbe    0x1402aada0
1402aad70:	48 ff c0             	inc    %rax
1402aad73:	48 8b 4d 48          	mov    0x48(%rbp),%rcx
1402aad77:	48 8b d1             	mov    %rcx,%rdx
1402aad7a:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402aad80:	72 18                	jb     0x1402aad9a
1402aad82:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402aad86:	48 2b d1             	sub    %rcx,%rdx
1402aad89:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402aad8d:	48 83 f8 1f          	cmp    $0x1f,%rax
1402aad91:	76 07                	jbe    0x1402aad9a
1402aad93:	ff 15 ff 1b 86 00    	call   *0x861bff(%rip)        # 0x140b0c998
1402aad99:	cc                   	int3
1402aad9a:	ff 15 20 1b 86 00    	call   *0x861b20(%rip)        # 0x140b0c8c0
1402aada0:	49 8b 0c 24          	mov    (%r12),%rcx
1402aada4:	48 8b 01             	mov    (%rcx),%rax
1402aada7:	4c 8d 44 24 78       	lea    0x78(%rsp),%r8
1402aadac:	48 8d 54 24 50       	lea    0x50(%rsp),%rdx
1402aadb1:	48 8b 80 d0 00 00 00 	mov    0xd0(%rax),%rax
1402aadb8:	ff 15 7a 1e 86 00    	call   *0x861e7a(%rip)        # 0x140b0cc38
1402aadbe:	48 8b 08             	mov    (%rax),%rcx
1402aadc1:	48 8b 50 08          	mov    0x8(%rax),%rdx
1402aadc5:	4c 89 30             	mov    %r14,(%rax)
1402aadc8:	4c 89 70 08          	mov    %r14,0x8(%rax)
1402aadcc:	48 89 4d 88          	mov    %rcx,-0x78(%rbp)
1402aadd0:	48 8b 5d 90          	mov    -0x70(%rbp),%rbx
1402aadd4:	48 89 55 90          	mov    %rdx,-0x70(%rbp)
1402aadd8:	48 85 db             	test   %rbx,%rbx
1402aaddb:	74 35                	je     0x1402aae12
1402aaddd:	8b c7                	mov    %edi,%eax
1402aaddf:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aade4:	03 c7                	add    %edi,%eax
1402aade6:	75 2a                	jne    0x1402aae12
1402aade8:	48 8b 03             	mov    (%rbx),%rax
1402aadeb:	48 8b cb             	mov    %rbx,%rcx
1402aadee:	48 8b 00             	mov    (%rax),%rax
1402aadf1:	ff 15 41 1e 86 00    	call   *0x861e41(%rip)        # 0x140b0cc38
1402aadf7:	8b c7                	mov    %edi,%eax
1402aadf9:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aadfe:	03 c7                	add    %edi,%eax
1402aae00:	75 10                	jne    0x1402aae12
1402aae02:	48 8b 03             	mov    (%rbx),%rax
1402aae05:	48 8b cb             	mov    %rbx,%rcx
1402aae08:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aae0c:	ff 15 26 1e 86 00    	call   *0x861e26(%rip)        # 0x140b0cc38
1402aae12:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402aae17:	48 85 db             	test   %rbx,%rbx
1402aae1a:	74 35                	je     0x1402aae51
1402aae1c:	8b c7                	mov    %edi,%eax
1402aae1e:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aae23:	03 c7                	add    %edi,%eax
1402aae25:	75 2a                	jne    0x1402aae51
1402aae27:	48 8b 03             	mov    (%rbx),%rax
1402aae2a:	48 8b cb             	mov    %rbx,%rcx
1402aae2d:	48 8b 00             	mov    (%rax),%rax
1402aae30:	ff 15 02 1e 86 00    	call   *0x861e02(%rip)        # 0x140b0cc38
1402aae36:	8b c7                	mov    %edi,%eax
1402aae38:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aae3d:	03 c7                	add    %edi,%eax
1402aae3f:	75 10                	jne    0x1402aae51
1402aae41:	48 8b 03             	mov    (%rbx),%rax
1402aae44:	48 8b cb             	mov    %rbx,%rcx
1402aae47:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aae4b:	ff 15 e7 1d 86 00    	call   *0x861de7(%rip)        # 0x140b0cc38
1402aae51:	49 8b 4d 38          	mov    0x38(%r13),%rcx
1402aae55:	48 8b 01             	mov    (%rcx),%rax
1402aae58:	4c 8d 45 88          	lea    -0x78(%rbp),%r8
1402aae5c:	48 8d 54 24 50       	lea    0x50(%rsp),%rdx
1402aae61:	48 8b 40 60          	mov    0x60(%rax),%rax
1402aae65:	ff 15 cd 1d 86 00    	call   *0x861dcd(%rip)        # 0x140b0cc38
1402aae6b:	48 8b 08             	mov    (%rax),%rcx
1402aae6e:	48 8b 50 08          	mov    0x8(%rax),%rdx
1402aae72:	4c 89 30             	mov    %r14,(%rax)
1402aae75:	4c 89 70 08          	mov    %r14,0x8(%rax)
1402aae79:	48 89 4d 98          	mov    %rcx,-0x68(%rbp)
1402aae7d:	48 8b 5d a0          	mov    -0x60(%rbp),%rbx
1402aae81:	48 89 55 a0          	mov    %rdx,-0x60(%rbp)
1402aae85:	48 85 db             	test   %rbx,%rbx
1402aae88:	74 35                	je     0x1402aaebf
1402aae8a:	8b c7                	mov    %edi,%eax
1402aae8c:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aae91:	03 c7                	add    %edi,%eax
1402aae93:	75 2a                	jne    0x1402aaebf
1402aae95:	48 8b 03             	mov    (%rbx),%rax
1402aae98:	48 8b cb             	mov    %rbx,%rcx
1402aae9b:	48 8b 00             	mov    (%rax),%rax
1402aae9e:	ff 15 94 1d 86 00    	call   *0x861d94(%rip)        # 0x140b0cc38
1402aaea4:	8b c7                	mov    %edi,%eax
1402aaea6:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aaeab:	03 c7                	add    %edi,%eax
1402aaead:	75 10                	jne    0x1402aaebf
1402aaeaf:	48 8b 03             	mov    (%rbx),%rax
1402aaeb2:	48 8b cb             	mov    %rbx,%rcx
1402aaeb5:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aaeb9:	ff 15 79 1d 86 00    	call   *0x861d79(%rip)        # 0x140b0cc38
1402aaebf:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402aaec4:	48 85 db             	test   %rbx,%rbx
1402aaec7:	74 35                	je     0x1402aaefe
1402aaec9:	8b c7                	mov    %edi,%eax
1402aaecb:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402aaed0:	03 c7                	add    %edi,%eax
1402aaed2:	75 2a                	jne    0x1402aaefe
1402aaed4:	48 8b 03             	mov    (%rbx),%rax
1402aaed7:	48 8b cb             	mov    %rbx,%rcx
1402aaeda:	48 8b 00             	mov    (%rax),%rax
1402aaedd:	ff 15 55 1d 86 00    	call   *0x861d55(%rip)        # 0x140b0cc38
1402aaee3:	8b c7                	mov    %edi,%eax
1402aaee5:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402aaeea:	03 c7                	add    %edi,%eax
1402aaeec:	75 10                	jne    0x1402aaefe
1402aaeee:	48 8b 03             	mov    (%rbx),%rax
1402aaef1:	48 8b cb             	mov    %rbx,%rcx
1402aaef4:	48 8b 40 08          	mov    0x8(%rax),%rax
1402aaef8:	ff 15 3a 1d 86 00    	call   *0x861d3a(%rip)        # 0x140b0cc38
1402aaefe:	41 83 ce ff          	or     $0xffffffff,%r14d
1402aaf02:	0f 57 c0             	xorps  %xmm0,%xmm0
1402aaf05:	f3 0f 7f 45 d8       	movdqu %xmm0,-0x28(%rbp)
1402aaf0a:	48 83 65 e8 00       	andq   $0x0,-0x18(%rbp)
1402aaf0f:	f3 0f 7f 45 c0       	movdqu %xmm0,-0x40(%rbp)
1402aaf14:	48 83 65 d0 00       	andq   $0x0,-0x30(%rbp)
1402aaf19:	83 64 24 68 00       	andl   $0x0,0x68(%rsp)
1402aaf1e:	c7 44 24 6c 00 00 80 	movl   $0x3f800000,0x6c(%rsp)
1402aaf25:	3f
1402aaf26:	4c 8d 44 24 68       	lea    0x68(%rsp),%r8
1402aaf2b:	bb 01 00 00 00       	mov    $0x1,%ebx
1402aaf30:	8b d3                	mov    %ebx,%edx
1402aaf32:	48 8d 4d d8          	lea    -0x28(%rbp),%rcx
1402aaf36:	e8 7d 34 00 00       	call   0x1402ae3b8
1402aaf3b:	c7 44 24 68 00 00 80 	movl   $0x3f800000,0x68(%rsp)
1402aaf42:	3f
1402aaf43:	4c 8d 44 24 68       	lea    0x68(%rsp),%r8
1402aaf48:	8b d3                	mov    %ebx,%edx
1402aaf4a:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
1402aaf4e:	e8 d5 26 00 00       	call   0x1402ad628
1402aaf53:	49 8b 4d 38          	mov    0x38(%r13),%rcx
1402aaf57:	48 8b 01             	mov    (%rcx),%rax
1402aaf5a:	44 88 7c 24 40       	mov    %r15b,0x40(%rsp)
1402aaf5f:	48 8d 55 c0          	lea    -0x40(%rbp),%rdx
1402aaf63:	48 89 54 24 38       	mov    %rdx,0x38(%rsp)
1402aaf68:	48 8d 55 d8          	lea    -0x28(%rbp),%rdx
1402aaf6c:	48 89 54 24 30       	mov    %rdx,0x30(%rsp)
1402aaf71:	48 89 5c 24 28       	mov    %rbx,0x28(%rsp)
1402aaf76:	48 8d 55 98          	lea    -0x68(%rbp),%rdx
1402aaf7a:	48 89 54 24 20       	mov    %rdx,0x20(%rsp)
1402aaf7f:	4c 8d 4d 88          	lea    -0x78(%rbp),%r9
1402aaf83:	44 8b 44 24 64       	mov    0x64(%rsp),%r8d
1402aaf88:	48 8d 55 f0          	lea    -0x10(%rbp),%rdx
1402aaf8c:	48 8b 40 50          	mov    0x50(%rax),%rax
1402aaf90:	ff 15 a2 1c 86 00    	call   *0x861ca2(%rip)        # 0x140b0cc38
1402aaf96:	90                   	nop
1402aaf97:	49 8b 0c 24          	mov    (%r12),%rcx
1402aaf9b:	48 8b 01             	mov    (%rcx),%rax
1402aaf9e:	45 33 ff             	xor    %r15d,%r15d
1402aafa1:	48 8d 54 24 50       	lea    0x50(%rsp),%rdx
1402aafa6:	44 38 7c 24 60       	cmp    %r15b,0x60(%rsp)
1402aafab:	0f 84 53 02 00 00    	je     0x1402ab204
1402aafb1:	4c 8d 4d f0          	lea    -0x10(%rbp),%r9
1402aafb5:	4c 8d 45 68          	lea    0x68(%rbp),%r8
1402aafb9:	48 8b 80 d0 01 00 00 	mov    0x1d0(%rax),%rax
1402aafc0:	ff 15 72 1c 86 00    	call   *0x861c72(%rip)        # 0x140b0cc38
1402aafc6:	e9 4a 02 00 00       	jmp    0x1402ab215
1402aafcb:	4c 8b 64 24 68       	mov    0x68(%rsp),%r12
1402aafd0:	49 8b 0c 24          	mov    (%r12),%rcx
1402aafd4:	48 8b 01             	mov    (%rcx),%rax
1402aafd7:	4c 8d 44 24 78       	lea    0x78(%rsp),%r8
1402aafdc:	48 8d 54 24 68       	lea    0x68(%rsp),%rdx
1402aafe1:	48 8b 80 d0 00 00 00 	mov    0xd0(%rax),%rax
1402aafe8:	ff 15 4a 1c 86 00    	call   *0x861c4a(%rip)        # 0x140b0cc38
1402aafee:	48 8b 08             	mov    (%rax),%rcx
1402aaff1:	48 8b 50 08          	mov    0x8(%rax),%rdx
1402aaff5:	48 89 38             	mov    %rdi,(%rax)
1402aaff8:	48 89 78 08          	mov    %rdi,0x8(%rax)
1402aaffc:	48 89 4d 88          	mov    %rcx,-0x78(%rbp)
1402ab000:	48 8b 5d 90          	mov    -0x70(%rbp),%rbx
1402ab004:	48 89 55 90          	mov    %rdx,-0x70(%rbp)
1402ab008:	41 83 cf ff          	or     $0xffffffff,%r15d
1402ab00c:	48 85 db             	test   %rbx,%rbx
1402ab00f:	74 39                	je     0x1402ab04a
1402ab011:	41 8b c7             	mov    %r15d,%eax
1402ab014:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ab019:	41 03 c7             	add    %r15d,%eax
1402ab01c:	75 2c                	jne    0x1402ab04a
1402ab01e:	48 8b 03             	mov    (%rbx),%rax
1402ab021:	48 8b cb             	mov    %rbx,%rcx
1402ab024:	48 8b 00             	mov    (%rax),%rax
1402ab027:	ff 15 0b 1c 86 00    	call   *0x861c0b(%rip)        # 0x140b0cc38
1402ab02d:	41 8b c7             	mov    %r15d,%eax
1402ab030:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ab035:	41 03 c7             	add    %r15d,%eax
1402ab038:	75 10                	jne    0x1402ab04a
1402ab03a:	48 8b 03             	mov    (%rbx),%rax
1402ab03d:	48 8b cb             	mov    %rbx,%rcx
1402ab040:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ab044:	ff 15 ee 1b 86 00    	call   *0x861bee(%rip)        # 0x140b0cc38
1402ab04a:	48 8b 5c 24 70       	mov    0x70(%rsp),%rbx
1402ab04f:	48 85 db             	test   %rbx,%rbx
1402ab052:	74 39                	je     0x1402ab08d
1402ab054:	41 8b c7             	mov    %r15d,%eax
1402ab057:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ab05c:	41 03 c7             	add    %r15d,%eax
1402ab05f:	75 2c                	jne    0x1402ab08d
1402ab061:	48 8b 03             	mov    (%rbx),%rax
1402ab064:	48 8b cb             	mov    %rbx,%rcx
1402ab067:	48 8b 00             	mov    (%rax),%rax
1402ab06a:	ff 15 c8 1b 86 00    	call   *0x861bc8(%rip)        # 0x140b0cc38
1402ab070:	41 8b c7             	mov    %r15d,%eax
1402ab073:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ab078:	41 03 c7             	add    %r15d,%eax