1400a4be1:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1400a4be6:	48 3b ca             	cmp    %rdx,%rcx
1400a4be9:	0f 95 c2             	setne  %dl
1400a4bec:	48 8b 40 20          	mov    0x20(%rax),%rax
1400a4bf0:	ff 15 42 80 a6 00    	call   *0xa68042(%rip)        # 0x140b0cc38
1400a4bf6:	90                   	nop
1400a4bf7:	48 89 3b             	mov    %rdi,(%rbx)
1400a4bfa:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1400a4bfe:	48 8b c3             	mov    %rbx,%rax
1400a4c01:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a4c08:	00
1400a4c09:	48 33 cc             	xor    %rsp,%rcx
1400a4c0c:	e8 cf a9 a4 00       	call   0x140aef5e0
1400a4c11:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
1400a4c18:	41 5f                	pop    %r15
1400a4c1a:	41 5e                	pop    %r14
1400a4c1c:	5f                   	pop    %rdi
1400a4c1d:	5e                   	pop    %rsi
1400a4c1e:	5b                   	pop    %rbx
1400a4c1f:	c3                   	ret
1400a4c20:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1400a4c25:	56                   	push   %rsi
1400a4c26:	57                   	push   %rdi
1400a4c27:	41 56                	push   %r14
1400a4c29:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
1400a4c30:	48 8b 05 09 a4 c1 00 	mov    0xc1a409(%rip),%rax        # 0x140cbf040
1400a4c37:	48 33 c4             	xor    %rsp,%rax
1400a4c3a:	48 89 84 24 80 00 00 	mov    %rax,0x80(%rsp)
1400a4c41:	00
1400a4c42:	4c 8b f2             	mov    %rdx,%r14
1400a4c45:	48 8b d9             	mov    %rcx,%rbx
1400a4c48:	48 89 4c 24 20       	mov    %rcx,0x20(%rsp)
1400a4c4d:	b9 70 00 00 00       	mov    $0x70,%ecx
1400a4c52:	ff 15 70 7c a6 00    	call   *0xa67c70(%rip)        # 0x140b0c8c8
1400a4c58:	48 8b f0             	mov    %rax,%rsi
1400a4c5b:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400a4c60:	48 85 c0             	test   %rax,%rax
1400a4c63:	75 07                	jne    0x1400a4c6c
1400a4c65:	ff 15 2d 78 a6 00    	call   *0xa6782d(%rip)        # 0x140b0c498
1400a4c6b:	90                   	nop
1400a4c6c:	ba 01 00 00 00       	mov    $0x1,%edx
1400a4c71:	89 50 08             	mov    %edx,0x8(%rax)
1400a4c74:	89 50 0c             	mov    %edx,0xc(%rax)
1400a4c77:	48 8d 05 aa 36 a7 00 	lea    0xa736aa(%rip),%rax        # 0x140b18328
1400a4c7e:	48 89 06             	mov    %rax,(%rsi)
1400a4c81:	48 8d 7e 10          	lea    0x10(%rsi),%rdi
1400a4c85:	48 89 7c 24 30       	mov    %rdi,0x30(%rsp)
1400a4c8a:	48 8d 05 6f 2a a7 00 	lea    0xa72a6f(%rip),%rax        # 0x140b17700
1400a4c91:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1400a4c96:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1400a4c9b:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1400a4ca0:	48 8d 05 c1 2f a7 00 	lea    0xa72fc1(%rip),%rax        # 0x140b17c68
1400a4ca7:	48 89 07             	mov    %rax,(%rdi)
1400a4caa:	48 83 67 08 00       	andq   $0x0,0x8(%rdi)
1400a4caf:	48 83 67 10 00       	andq   $0x0,0x10(%rdi)
1400a4cb4:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4cb8:	48 85 c0             	test   %rax,%rax
1400a4cbb:	74 09                	je     0x1400a4cc6
1400a4cbd:	f0 01 50 08          	lock add %edx,0x8(%rax)
1400a4cc1:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4cc6:	49 8b 06             	mov    (%r14),%rax
1400a4cc9:	48 89 47 08          	mov    %rax,0x8(%rdi)
1400a4ccd:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4cd1:	48 89 47 10          	mov    %rax,0x10(%rdi)
1400a4cd5:	48 8d 05 c4 36 a7 00 	lea    0xa736c4(%rip),%rax        # 0x140b183a0
1400a4cdc:	48 89 07             	mov    %rax,(%rdi)
1400a4cdf:	4c 8d 77 18          	lea    0x18(%rdi),%r14
1400a4ce3:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a4ce8:	49 83 66 38 00       	andq   $0x0,0x38(%r14)
1400a4ced:	48 85 c9             	test   %rcx,%rcx
1400a4cf0:	74 18                	je     0x1400a4d0a
1400a4cf2:	48 8b 01             	mov    (%rcx),%rax
1400a4cf5:	49 8b d6             	mov    %r14,%rdx
1400a4cf8:	48 8b 00             	mov    (%rax),%rax
1400a4cfb:	ff 15 37 7f a6 00    	call   *0xa67f37(%rip)        # 0x140b0cc38
1400a4d01:	49 89 46 38          	mov    %rax,0x38(%r14)
1400a4d05:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4d0a:	48 83 67 58 00       	andq   $0x0,0x58(%rdi)
1400a4d0f:	48 85 c9             	test   %rcx,%rcx
1400a4d12:	74 19                	je     0x1400a4d2d
1400a4d14:	48 8b 01             	mov    (%rcx),%rax
1400a4d17:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1400a4d1c:	48 3b ca             	cmp    %rdx,%rcx
1400a4d1f:	0f 95 c2             	setne  %dl
1400a4d22:	48 8b 40 20          	mov    0x20(%rax),%rax
1400a4d26:	ff 15 0c 7f a6 00    	call   *0xa67f0c(%rip)        # 0x140b0cc38
1400a4d2c:	90                   	nop
1400a4d2d:	48 89 3b             	mov    %rdi,(%rbx)
1400a4d30:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1400a4d34:	48 8b c3             	mov    %rbx,%rax
1400a4d37:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a4d3e:	00
1400a4d3f:	48 33 cc             	xor    %rsp,%rcx
1400a4d42:	e8 99 a8 a4 00       	call   0x140aef5e0
1400a4d47:	48 8b 9c 24 c0 00 00 	mov    0xc0(%rsp),%rbx
1400a4d4e:	00
1400a4d4f:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
1400a4d56:	41 5e                	pop    %r14
1400a4d58:	5f                   	pop    %rdi
1400a4d59:	5e                   	pop    %rsi
1400a4d5a:	c3                   	ret
1400a4d5b:	90                   	nop
1400a4d5c:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1400a4d61:	57                   	push   %rdi
1400a4d62:	48 83 ec 30          	sub    $0x30,%rsp
1400a4d66:	48 8b fa             	mov    %rdx,%rdi
1400a4d69:	48 8b d9             	mov    %rcx,%rbx
1400a4d6c:	b9 28 00 00 00       	mov    $0x28,%ecx
1400a4d71:	ff 15 51 7b a6 00    	call   *0xa67b51(%rip)        # 0x140b0c8c8
1400a4d77:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1400a4d7c:	48 85 c0             	test   %rax,%rax
1400a4d7f:	75 07                	jne    0x1400a4d88
1400a4d81:	ff 15 11 77 a6 00    	call   *0xa67711(%rip)        # 0x140b0c498
1400a4d87:	90                   	nop
1400a4d88:	b9 01 00 00 00       	mov    $0x1,%ecx
1400a4d8d:	89 48 08             	mov    %ecx,0x8(%rax)
1400a4d90:	89 48 0c             	mov    %ecx,0xc(%rax)
1400a4d93:	48 8d 0d e6 2a a7 00 	lea    0xa72ae6(%rip),%rcx        # 0x140b17880
1400a4d9a:	48 89 08             	mov    %rcx,(%rax)
1400a4d9d:	48 8d 48 10          	lea    0x10(%rax),%rcx
1400a4da1:	48 8d 15 40 29 a7 00 	lea    0xa72940(%rip),%rdx        # 0x140b176e8
1400a4da8:	48 89 11             	mov    %rdx,(%rcx)
1400a4dab:	48 89 78 18          	mov    %rdi,0x18(%rax)
1400a4daf:	48 83 60 20 00       	andq   $0x0,0x20(%rax)
1400a4db4:	48 89 0b             	mov    %rcx,(%rbx)
1400a4db7:	48 89 43 08          	mov    %rax,0x8(%rbx)
1400a4dbb:	48 8b c3             	mov    %rbx,%rax
1400a4dbe:	48 8b 5c 24 40       	mov    0x40(%rsp),%rbx
1400a4dc3:	48 83 c4 30          	add    $0x30,%rsp
1400a4dc7:	5f                   	pop    %rdi
1400a4dc8:	c3                   	ret
1400a4dc9:	90                   	nop
1400a4dca:	90                   	nop
1400a4dcb:	90                   	nop
1400a4dcc:	40 53                	rex push %rbx
1400a4dce:	56                   	push   %rsi
1400a4dcf:	57                   	push   %rdi
1400a4dd0:	41 56                	push   %r14
1400a4dd2:	41 57                	push   %r15
1400a4dd4:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
1400a4ddb:	48 8b 05 5e a2 c1 00 	mov    0xc1a25e(%rip),%rax        # 0x140cbf040
1400a4de2:	48 33 c4             	xor    %rsp,%rax
1400a4de5:	48 89 84 24 80 00 00 	mov    %rax,0x80(%rsp)
1400a4dec:	00
1400a4ded:	4d 8b f8             	mov    %r8,%r15
1400a4df0:	4c 8b f2             	mov    %rdx,%r14
1400a4df3:	48 8b d9             	mov    %rcx,%rbx
1400a4df6:	48 89 4c 24 20       	mov    %rcx,0x20(%rsp)
1400a4dfb:	b9 68 00 00 00       	mov    $0x68,%ecx
1400a4e00:	ff 15 c2 7a a6 00    	call   *0xa67ac2(%rip)        # 0x140b0c8c8
1400a4e06:	48 8b f0             	mov    %rax,%rsi
1400a4e09:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400a4e0e:	48 85 c0             	test   %rax,%rax
1400a4e11:	75 07                	jne    0x1400a4e1a
1400a4e13:	ff 15 7f 76 a6 00    	call   *0xa6767f(%rip)        # 0x140b0c498
1400a4e19:	90                   	nop
1400a4e1a:	ba 01 00 00 00       	mov    $0x1,%edx
1400a4e1f:	89 50 08             	mov    %edx,0x8(%rax)
1400a4e22:	89 50 0c             	mov    %edx,0xc(%rax)
1400a4e25:	48 8d 05 54 31 a7 00 	lea    0xa73154(%rip),%rax        # 0x140b17f80
1400a4e2c:	48 89 06             	mov    %rax,(%rsi)
1400a4e2f:	48 8d 7e 10          	lea    0x10(%rsi),%rdi
1400a4e33:	48 89 7c 24 30       	mov    %rdi,0x30(%rsp)
1400a4e38:	48 8d 05 81 31 a7 00 	lea    0xa73181(%rip),%rax        # 0x140b17fc0
1400a4e3f:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1400a4e44:	41 0f 10 07          	movups (%r15),%xmm0
1400a4e48:	f3 0f 7f 44 24 48    	movdqu %xmm0,0x48(%rsp)
1400a4e4e:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1400a4e53:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1400a4e58:	48 8d 05 c9 2e a7 00 	lea    0xa72ec9(%rip),%rax        # 0x140b17d28
1400a4e5f:	48 89 07             	mov    %rax,(%rdi)
1400a4e62:	48 83 67 08 00       	andq   $0x0,0x8(%rdi)
1400a4e67:	48 83 67 10 00       	andq   $0x0,0x10(%rdi)
1400a4e6c:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4e70:	48 85 c0             	test   %rax,%rax
1400a4e73:	74 09                	je     0x1400a4e7e
1400a4e75:	f0 01 50 08          	lock add %edx,0x8(%rax)
1400a4e79:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4e7e:	49 8b 06             	mov    (%r14),%rax
1400a4e81:	48 89 47 08          	mov    %rax,0x8(%rdi)
1400a4e85:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4e89:	48 89 47 10          	mov    %rax,0x10(%rdi)
1400a4e8d:	48 8d 05 04 30 a7 00 	lea    0xa73004(%rip),%rax        # 0x140b17e98
1400a4e94:	48 89 07             	mov    %rax,(%rdi)
1400a4e97:	4c 8d 77 18          	lea    0x18(%rdi),%r14
1400a4e9b:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a4ea0:	49 83 66 38 00       	andq   $0x0,0x38(%r14)
1400a4ea5:	48 85 c9             	test   %rcx,%rcx
1400a4ea8:	74 18                	je     0x1400a4ec2
1400a4eaa:	48 8b 01             	mov    (%rcx),%rax
1400a4ead:	49 8b d6             	mov    %r14,%rdx
1400a4eb0:	48 8b 00             	mov    (%rax),%rax
1400a4eb3:	ff 15 7f 7d a6 00    	call   *0xa67d7f(%rip)        # 0x140b0cc38
1400a4eb9:	49 89 46 38          	mov    %rax,0x38(%r14)
1400a4ebd:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4ec2:	48 85 c9             	test   %rcx,%rcx
1400a4ec5:	74 19                	je     0x1400a4ee0
1400a4ec7:	48 8b 01             	mov    (%rcx),%rax
1400a4eca:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1400a4ecf:	48 3b ca             	cmp    %rdx,%rcx
1400a4ed2:	0f 95 c2             	setne  %dl
1400a4ed5:	48 8b 40 20          	mov    0x20(%rax),%rax
1400a4ed9:	ff 15 59 7d a6 00    	call   *0xa67d59(%rip)        # 0x140b0cc38
1400a4edf:	90                   	nop
1400a4ee0:	48 89 3b             	mov    %rdi,(%rbx)
1400a4ee3:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1400a4ee7:	48 8b c3             	mov    %rbx,%rax
1400a4eea:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a4ef1:	00
1400a4ef2:	48 33 cc             	xor    %rsp,%rcx
1400a4ef5:	e8 e6 a6 a4 00       	call   0x140aef5e0
1400a4efa:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
1400a4f01:	41 5f                	pop    %r15
1400a4f03:	41 5e                	pop    %r14
1400a4f05:	5f                   	pop    %rdi
1400a4f06:	5e                   	pop    %rsi
1400a4f07:	5b                   	pop    %rbx
1400a4f08:	c3                   	ret
1400a4f09:	90                   	nop
1400a4f0a:	90                   	nop
1400a4f0b:	90                   	nop
1400a4f0c:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1400a4f11:	56                   	push   %rsi
1400a4f12:	57                   	push   %rdi
1400a4f13:	41 56                	push   %r14
1400a4f15:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
1400a4f1c:	48 8b 05 1d a1 c1 00 	mov    0xc1a11d(%rip),%rax        # 0x140cbf040
1400a4f23:	48 33 c4             	xor    %rsp,%rax
1400a4f26:	48 89 84 24 80 00 00 	mov    %rax,0x80(%rsp)
1400a4f2d:	00
1400a4f2e:	4c 8b f2             	mov    %rdx,%r14
1400a4f31:	48 8b d9             	mov    %rcx,%rbx
1400a4f34:	48 89 4c 24 20       	mov    %rcx,0x20(%rsp)
1400a4f39:	b9 70 00 00 00       	mov    $0x70,%ecx
1400a4f3e:	ff 15 84 79 a6 00    	call   *0xa67984(%rip)        # 0x140b0c8c8
1400a4f44:	48 8b f0             	mov    %rax,%rsi
1400a4f47:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400a4f4c:	48 85 c0             	test   %rax,%rax
1400a4f4f:	75 07                	jne    0x1400a4f58
1400a4f51:	ff 15 41 75 a6 00    	call   *0xa67541(%rip)        # 0x140b0c498
1400a4f57:	90                   	nop
1400a4f58:	ba 01 00 00 00       	mov    $0x1,%edx
1400a4f5d:	89 50 08             	mov    %edx,0x8(%rax)
1400a4f60:	89 50 0c             	mov    %edx,0xc(%rax)
1400a4f63:	48 8d 05 1e 2a a7 00 	lea    0xa72a1e(%rip),%rax        # 0x140b17988
1400a4f6a:	48 89 06             	mov    %rax,(%rsi)
1400a4f6d:	48 8d 7e 10          	lea    0x10(%rsi),%rdi
1400a4f71:	48 89 7c 24 30       	mov    %rdi,0x30(%rsp)
1400a4f76:	48 8d 05 63 29 a7 00 	lea    0xa72963(%rip),%rax        # 0x140b178e0
1400a4f7d:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1400a4f82:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1400a4f87:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1400a4f8c:	48 8d 05 bd 2e a7 00 	lea    0xa72ebd(%rip),%rax        # 0x140b17e50
1400a4f93:	48 89 07             	mov    %rax,(%rdi)
1400a4f96:	48 83 67 08 00       	andq   $0x0,0x8(%rdi)
1400a4f9b:	48 83 67 10 00       	andq   $0x0,0x10(%rdi)
1400a4fa0:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4fa4:	48 85 c0             	test   %rax,%rax
1400a4fa7:	74 09                	je     0x1400a4fb2
1400a4fa9:	f0 01 50 08          	lock add %edx,0x8(%rax)
1400a4fad:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4fb2:	49 8b 06             	mov    (%r14),%rax
1400a4fb5:	48 89 47 08          	mov    %rax,0x8(%rdi)
1400a4fb9:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4fbd:	48 89 47 10          	mov    %rax,0x10(%rdi)
1400a4fc1:	48 8d 05 58 34 a7 00 	lea    0xa73458(%rip),%rax        # 0x140b18420
1400a4fc8:	48 89 07             	mov    %rax,(%rdi)
1400a4fcb:	4c 8d 77 18          	lea    0x18(%rdi),%r14
1400a4fcf:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a4fd4:	49 83 66 38 00       	andq   $0x0,0x38(%r14)
1400a4fd9:	48 85 c9             	test   %rcx,%rcx
1400a4fdc:	74 18                	je     0x1400a4ff6
1400a4fde:	48 8b 01             	mov    (%rcx),%rax
1400a4fe1:	49 8b d6             	mov    %r14,%rdx
1400a4fe4:	48 8b 00             	mov    (%rax),%rax
1400a4fe7:	ff 15 4b 7c a6 00    	call   *0xa67c4b(%rip)        # 0x140b0cc38
1400a4fed:	49 89 46 38          	mov    %rax,0x38(%r14)
1400a4ff1:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4ff6:	48 83 67 58 00       	andq   $0x0,0x58(%rdi)
1400a4ffb:	48 85 c9             	test   %rcx,%rcx
1400a4ffe:	74 19                	je     0x1400a5019
1400a5000:	48 8b 01             	mov    (%rcx),%rax
1400a5003:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1400a5008:	48 3b ca             	cmp    %rdx,%rcx
1400a500b:	0f 95 c2             	setne  %dl
1400a500e:	48 8b 40 20          	mov    0x20(%rax),%rax
1400a5012:	ff 15 20 7c a6 00    	call   *0xa67c20(%rip)        # 0x140b0cc38
1400a5018:	90                   	nop
1400a5019:	48 89 3b             	mov    %rdi,(%rbx)
1400a501c:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1400a5020:	48 8b c3             	mov    %rbx,%rax
1400a5023:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a502a:	00
1400a502b:	48 33 cc             	xor    %rsp,%rcx
1400a502e:	e8 ad a5 a4 00       	call   0x140aef5e0
1400a5033:	48 8b 9c 24 c0 00 00 	mov    0xc0(%rsp),%rbx
1400a503a:	00
1400a503b:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
1400a5042:	41 5e                	pop    %r14
1400a5044:	5f                   	pop    %rdi
1400a5045:	5e                   	pop    %rsi
1400a5046:	c3                   	ret
1400a5047:	90                   	nop
1400a5048:	48 8b c4             	mov    %rsp,%rax
1400a504b:	4c 89 48 20          	mov    %r9,0x20(%rax)
1400a504f:	4c 89 40 18          	mov    %r8,0x18(%rax)
1400a5053:	48 89 50 10          	mov    %rdx,0x10(%rax)
1400a5057:	48 89 48 08          	mov    %rcx,0x8(%rax)
1400a505b:	53                   	push   %rbx
1400a505c:	56                   	push   %rsi
1400a505d:	57                   	push   %rdi
1400a505e:	41 54                	push   %r12
1400a5060:	41 55                	push   %r13
1400a5062:	41 56                	push   %r14
1400a5064:	41 57                	push   %r15
1400a5066:	48 83 ec 40          	sub    $0x40,%rsp
1400a506a:	4d 8b e1             	mov    %r9,%r12
1400a506d:	4d 8b c8             	mov    %r8,%r9
1400a5070:	48 8b da             	mov    %rdx,%rbx
1400a5073:	4c 8d 69 08          	lea    0x8(%rcx),%r13
1400a5077:	4c 89 6c 24 20       	mov    %r13,0x20(%rsp)
1400a507c:	4c 8b 39             	mov    (%rcx),%r15
1400a507f:	49 8b 75 00          	mov    0x0(%r13),%rsi
1400a5083:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
1400a5088:	48 8b 51 10          	mov    0x10(%rcx),%rdx
1400a508c:	48 8b c2             	mov    %rdx,%rax
1400a508f:	48 2b c6             	sub    %rsi,%rax
1400a5092:	48 c1 f8 04          	sar    $0x4,%rax
1400a5096:	45 33 db             	xor    %r11d,%r11d
1400a5099:	4d 85 e4             	test   %r12,%r12
1400a509c:	0f 84 71 02 00 00    	je     0x1400a5313
1400a50a2:	4c 3b e0             	cmp    %rax,%r12
1400a50a5:	0f 86 78 02 00 00    	jbe    0x1400a5323
1400a50ab:	48 8b ce             	mov    %rsi,%rcx
1400a50ae:	49 2b cf             	sub    %r15,%rcx
1400a50b1:	48 c1 f9 04          	sar    $0x4,%rcx
1400a50b5:	49 ba ff ff ff ff ff 	movabs $0xfffffffffffffff,%r10
1400a50bc:	ff ff 0f
1400a50bf:	49 8b c2             	mov    %r10,%rax
1400a50c2:	48 2b c1             	sub    %rcx,%rax
1400a50c5:	4c 3b e0             	cmp    %rax,%r12
1400a50c8:	0f 87 43 04 00 00    	ja     0x1400a5511
1400a50ce:	4e 8d 04 21          	lea    (%rcx,%r12,1),%r8
1400a50d2:	4c 89 44 24 30       	mov    %r8,0x30(%rsp)
1400a50d7:	49 2b d7             	sub    %r15,%rdx
1400a50da:	48 c1 fa 04          	sar    $0x4,%rdx
1400a50de:	48 8b ca             	mov    %rdx,%rcx
1400a50e1:	48 d1 e9             	shr    $1,%rcx
1400a50e4:	49 8b c2             	mov    %r10,%rax
1400a50e7:	48 2b c1             	sub    %rcx,%rax