140ae6886:	f3 0f 58 48 04       	addss  0x4(%rax),%xmm1
140ae688b:	f3 0f 59 0d 15 ab 0c 	mulss  0xcab15(%rip),%xmm1        # 0x140bb13a8
140ae6892:	00
140ae6893:	f3 0f 10 00          	movss  (%rax),%xmm0
140ae6897:	f3 0f 5c c1          	subss  %xmm1,%xmm0
140ae689b:	f3 0f 11 00          	movss  %xmm0,(%rax)
140ae689f:	48 83 c0 08          	add    $0x8,%rax
140ae68a3:	49 2b cd             	sub    %r13,%rcx
140ae68a6:	75 d9                	jne    0x140ae6881
140ae68a8:	41 8d 43 ff          	lea    -0x1(%r11),%eax
140ae68ac:	3b d8                	cmp    %eax,%ebx
140ae68ae:	7e 2d                	jle    0x140ae68dd
140ae68b0:	8d 04 1b             	lea    (%rbx,%rbx,1),%eax
140ae68b3:	48 63 d0             	movslq %eax,%rdx
140ae68b6:	43 8d 04 1b          	lea    (%r11,%r11,1),%eax
140ae68ba:	48 63 c8             	movslq %eax,%rcx
140ae68bd:	f3 41 0f 10 0c 88    	movss  (%r8,%rcx,4),%xmm1
140ae68c3:	f3 0f 59 0d ed aa 0c 	mulss  0xcaaed(%rip),%xmm1        # 0x140bb13b8
140ae68ca:	00
140ae68cb:	f3 41 0f 10 44 90 04 	movss  0x4(%r8,%rdx,4),%xmm0
140ae68d2:	f3 0f 5c c1          	subss  %xmm1,%xmm0
140ae68d6:	f3 41 0f 11 44 90 04 	movss  %xmm0,0x4(%r8,%rdx,4)
140ae68dd:	45 3b e5             	cmp    %r13d,%r12d
140ae68e0:	75 5c                	jne    0x140ae693e
140ae68e2:	4d 2b f1             	sub    %r9,%r14
140ae68e5:	49 c1 fe 02          	sar    $0x2,%r14
140ae68e9:	44 3b 77 1c          	cmp    0x1c(%rdi),%r14d
140ae68ed:	0f 8c b2 00 00 00    	jl     0x140ae69a5
140ae68f3:	48 8b 47 10          	mov    0x10(%rdi),%rax
140ae68f7:	4c 8b 00             	mov    (%rax),%r8
140ae68fa:	48 8b 48 08          	mov    0x8(%rax),%rcx
140ae68fe:	49 2b c8             	sub    %r8,%rcx
140ae6901:	48 c1 f9 02          	sar    $0x2,%rcx
140ae6905:	4c 3b f9             	cmp    %rcx,%r15
140ae6908:	0f 83 90 00 00 00    	jae    0x140ae699e
140ae690e:	4f 8d 04 b8          	lea    (%r8,%r15,4),%r8
140ae6912:	4d 85 f6             	test   %r14,%r14
140ae6915:	0f 84 83 00 00 00    	je     0x140ae699e
140ae691b:	33 d2                	xor    %edx,%edx
140ae691d:	39 57 1c             	cmp    %edx,0x1c(%rdi)
140ae6920:	7e 1c                	jle    0x140ae693e
140ae6922:	49 8b c9             	mov    %r9,%rcx
140ae6925:	8b 01                	mov    (%rcx),%eax
140ae6927:	41 89 00             	mov    %eax,(%r8)
140ae692a:	48 63 47 20          	movslq 0x20(%rdi),%rax
140ae692e:	4d 8d 04 80          	lea    (%r8,%rax,4),%r8
140ae6932:	41 03 d5             	add    %r13d,%edx
140ae6935:	48 8d 49 04          	lea    0x4(%rcx),%rcx
140ae6939:	3b 57 1c             	cmp    0x1c(%rdi),%edx
140ae693c:	7c e7                	jl     0x140ae6925
140ae693e:	4d 85 c9             	test   %r9,%r9
140ae6941:	74 34                	je     0x140ae6977
140ae6943:	49 8b c1             	mov    %r9,%rax
140ae6946:	4d 2b d1             	sub    %r9,%r10
140ae6949:	49 83 e2 fc          	and    $0xfffffffffffffffc,%r10
140ae694d:	49 81 fa 00 10 00 00 	cmp    $0x1000,%r10
140ae6954:	72 18                	jb     0x140ae696e
140ae6956:	4d 8b 49 f8          	mov    -0x8(%r9),%r9
140ae695a:	49 2b c1             	sub    %r9,%rax
140ae695d:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
140ae6961:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae6965:	76 07                	jbe    0x140ae696e
140ae6967:	ff 15 2b 60 02 00    	call   *0x2602b(%rip)        # 0x140b0c998
140ae696d:	cc                   	int3
140ae696e:	49 8b c9             	mov    %r9,%rcx
140ae6971:	ff 15 49 5f 02 00    	call   *0x25f49(%rip)        # 0x140b0c8c0
140ae6977:	48 8b 4d 17          	mov    0x17(%rbp),%rcx
140ae697b:	48 33 cc             	xor    %rsp,%rcx
140ae697e:	e8 5d 8c 00 00       	call   0x140aef5e0
140ae6983:	48 8b 9c 24 e0 00 00 	mov    0xe0(%rsp),%rbx
140ae698a:	00
140ae698b:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
140ae6992:	41 5f                	pop    %r15
140ae6994:	41 5e                	pop    %r14
140ae6996:	41 5d                	pop    %r13
140ae6998:	41 5c                	pop    %r12
140ae699a:	5f                   	pop    %rdi
140ae699b:	5e                   	pop    %rsi
140ae699c:	5d                   	pop    %rbp
140ae699d:	c3                   	ret
140ae699e:	ff 15 f4 5f 02 00    	call   *0x25ff4(%rip)        # 0x140b0c998
140ae69a4:	90                   	nop
140ae69a5:	48 8d 15 44 a4 0c 00 	lea    0xca444(%rip),%rdx        # 0x140bb0df0
140ae69ac:	48 8d 4d d7          	lea    -0x29(%rbp),%rcx
140ae69b0:	e8 17 0f e8 ff       	call   0x1409678cc
140ae69b5:	48 8d 15 24 04 15 00 	lea    0x150424(%rip),%rdx        # 0x140c36de0
140ae69bc:	48 8d 4d d7          	lea    -0x29(%rbp),%rcx
140ae69c0:	e8 b9 9a 00 00       	call   0x140af047e
140ae69c5:	cc                   	int3
140ae69c6:	48 8d 15 23 a4 0c 00 	lea    0xca423(%rip),%rdx        # 0x140bb0df0
140ae69cd:	48 8d 4d d7          	lea    -0x29(%rbp),%rcx
140ae69d1:	e8 f6 0e e8 ff       	call   0x1409678cc
140ae69d6:	48 8d 15 03 04 15 00 	lea    0x150403(%rip),%rdx        # 0x140c36de0
140ae69dd:	48 8d 4d d7          	lea    -0x29(%rbp),%rcx
140ae69e1:	e8 98 9a 00 00       	call   0x140af047e
140ae69e6:	cc                   	int3
140ae69e7:	90                   	nop
140ae69e8:	48 8b c4             	mov    %rsp,%rax
140ae69eb:	48 89 58 08          	mov    %rbx,0x8(%rax)
140ae69ef:	48 89 68 10          	mov    %rbp,0x10(%rax)
140ae69f3:	48 89 70 18          	mov    %rsi,0x18(%rax)
140ae69f7:	57                   	push   %rdi
140ae69f8:	41 55                	push   %r13
140ae69fa:	41 57                	push   %r15
140ae69fc:	48 83 ec 40          	sub    $0x40,%rsp
140ae6a00:	41 8b f1             	mov    %r9d,%esi
140ae6a03:	45 8b f8             	mov    %r8d,%r15d
140ae6a06:	8b fa                	mov    %edx,%edi
140ae6a08:	48 8b d9             	mov    %rcx,%rbx
140ae6a0b:	4c 8b ac 24 88 00 00 	mov    0x88(%rsp),%r13
140ae6a12:	00
140ae6a13:	83 39 02             	cmpl   $0x2,(%rcx)
140ae6a16:	0f 8e 0d 01 00 00    	jle    0x140ae6b29
140ae6a1c:	0f 57 c0             	xorps  %xmm0,%xmm0
140ae6a1f:	f3 0f 7f 40 c8       	movdqu %xmm0,-0x38(%rax)
140ae6a24:	48 83 60 d8 00       	andq   $0x0,-0x28(%rax)
140ae6a29:	8b d7                	mov    %edi,%edx
140ae6a2b:	48 8d 48 c8          	lea    -0x38(%rax),%rcx
140ae6a2f:	e8 f0 ed 58 ff       	call   0x140075824
140ae6a34:	48 8b 44 24 28       	mov    0x28(%rsp),%rax
140ae6a39:	4c 8b 44 24 20       	mov    0x20(%rsp),%r8
140ae6a3e:	49 2b c0             	sub    %r8,%rax
140ae6a41:	48 c1 f8 02          	sar    $0x2,%rax
140ae6a45:	48 85 c0             	test   %rax,%rax
140ae6a48:	0f 84 0d 02 00 00    	je     0x140ae6c5b
140ae6a4e:	45 33 d2             	xor    %r10d,%r10d
140ae6a51:	44 39 53 04          	cmp    %r10d,0x4(%rbx)
140ae6a55:	0f 8e 94 00 00 00    	jle    0x140ae6aef
140ae6a5b:	49 8b 4d 10          	mov    0x10(%r13),%rcx
140ae6a5f:	41 8b c2             	mov    %r10d,%eax
140ae6a62:	41 0f af 45 20       	imul   0x20(%r13),%eax
140ae6a67:	48 63 d0             	movslq %eax,%rdx
140ae6a6a:	4c 8b 09             	mov    (%rcx),%r9
140ae6a6d:	48 8b 41 08          	mov    0x8(%rcx),%rax
140ae6a71:	49 2b c1             	sub    %r9,%rax
140ae6a74:	48 c1 f8 02          	sar    $0x2,%rax
140ae6a78:	48 3b d0             	cmp    %rax,%rdx
140ae6a7b:	0f 83 da 01 00 00    	jae    0x140ae6c5b
140ae6a81:	4d 8d 1c 91          	lea    (%r9,%rdx,4),%r11
140ae6a85:	49 8b d3             	mov    %r11,%rdx
140ae6a88:	85 ff                	test   %edi,%edi
140ae6a8a:	74 18                	je     0x140ae6aa4
140ae6a8c:	49 8b c8             	mov    %r8,%rcx
140ae6a8f:	4c 8b cf             	mov    %rdi,%r9
140ae6a92:	8b 02                	mov    (%rdx),%eax
140ae6a94:	89 01                	mov    %eax,(%rcx)
140ae6a96:	48 83 c2 04          	add    $0x4,%rdx
140ae6a9a:	48 8d 49 04          	lea    0x4(%rcx),%rcx
140ae6a9e:	49 83 e9 01          	sub    $0x1,%r9
140ae6aa2:	75 ee                	jne    0x140ae6a92
140ae6aa4:	45 33 c9             	xor    %r9d,%r9d
140ae6aa7:	85 f6                	test   %esi,%esi
140ae6aa9:	74 1a                	je     0x140ae6ac5
140ae6aab:	42 8d 0c 4d 01 00 00 	lea    0x1(,%r9,2),%ecx
140ae6ab2:	00
140ae6ab3:	8b 02                	mov    (%rdx),%eax
140ae6ab5:	41 89 04 8b          	mov    %eax,(%r11,%rcx,4)
140ae6ab9:	48 8d 52 04          	lea    0x4(%rdx),%rdx
140ae6abd:	41 ff c1             	inc    %r9d
140ae6ac0:	44 3b ce             	cmp    %esi,%r9d
140ae6ac3:	72 e6                	jb     0x140ae6aab
140ae6ac5:	33 d2                	xor    %edx,%edx
140ae6ac7:	85 ff                	test   %edi,%edi
140ae6ac9:	74 17                	je     0x140ae6ae2
140ae6acb:	4d 8b c8             	mov    %r8,%r9
140ae6ace:	8d 0c 12             	lea    (%rdx,%rdx,1),%ecx
140ae6ad1:	41 8b 01             	mov    (%r9),%eax
140ae6ad4:	41 89 04 8b          	mov    %eax,(%r11,%rcx,4)
140ae6ad8:	ff c2                	inc    %edx
140ae6ada:	4d 8d 49 04          	lea    0x4(%r9),%r9
140ae6ade:	3b d7                	cmp    %edi,%edx
140ae6ae0:	72 ec                	jb     0x140ae6ace
140ae6ae2:	41 ff c2             	inc    %r10d
140ae6ae5:	44 3b 53 04          	cmp    0x4(%rbx),%r10d
140ae6ae9:	0f 8c 6c ff ff ff    	jl     0x140ae6a5b
140ae6aef:	4d 85 c0             	test   %r8,%r8
140ae6af2:	74 35                	je     0x140ae6b29
140ae6af4:	49 8b d0             	mov    %r8,%rdx
140ae6af7:	48 8b 44 24 30       	mov    0x30(%rsp),%rax
140ae6afc:	49 2b c0             	sub    %r8,%rax
140ae6aff:	48 83 e0 fc          	and    $0xfffffffffffffffc,%rax
140ae6b03:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140ae6b09:	72 15                	jb     0x140ae6b20
140ae6b0b:	4d 8b 40 f8          	mov    -0x8(%r8),%r8
140ae6b0f:	49 2b d0             	sub    %r8,%rdx
140ae6b12:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
140ae6b16:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae6b1a:	0f 87 42 01 00 00    	ja     0x140ae6c62
140ae6b20:	49 8b c8             	mov    %r8,%rcx
140ae6b23:	ff 15 97 5d 02 00    	call   *0x25d97(%rip)        # 0x140b0c8c0
140ae6b29:	83 7b 04 02          	cmpl   $0x2,0x4(%rbx)
140ae6b2d:	0f 8e 0f 01 00 00    	jle    0x140ae6c42
140ae6b33:	49 8b d7             	mov    %r15,%rdx
140ae6b36:	48 8d 4c 24 20       	lea    0x20(%rsp),%rcx
140ae6b3b:	e8 d8 23 69 ff       	call   0x140178f18
140ae6b40:	48 8b 44 24 28       	mov    0x28(%rsp),%rax
140ae6b45:	4c 8b 44 24 20       	mov    0x20(%rsp),%r8
140ae6b4a:	49 2b c0             	sub    %r8,%rax
140ae6b4d:	48 c1 f8 02          	sar    $0x2,%rax
140ae6b51:	48 85 c0             	test   %rax,%rax
140ae6b54:	0f 84 08 01 00 00    	je     0x140ae6c62
140ae6b5a:	45 33 d2             	xor    %r10d,%r10d
140ae6b5d:	44 39 13             	cmp    %r10d,(%rbx)
140ae6b60:	0f 8e a6 00 00 00    	jle    0x140ae6c0c
140ae6b66:	49 63 d2             	movslq %r10d,%rdx
140ae6b69:	49 8b 45 10          	mov    0x10(%r13),%rax
140ae6b6d:	4c 8b 08             	mov    (%rax),%r9
140ae6b70:	48 8b 48 08          	mov    0x8(%rax),%rcx
140ae6b74:	49 2b c9             	sub    %r9,%rcx
140ae6b77:	48 c1 f9 02          	sar    $0x2,%rcx
140ae6b7b:	48 3b d1             	cmp    %rcx,%rdx
140ae6b7e:	0f 83 de 00 00 00    	jae    0x140ae6c62
140ae6b84:	4d 8d 1c 91          	lea    (%r9,%rdx,4),%r11
140ae6b88:	4d 8b cb             	mov    %r11,%r9
140ae6b8b:	45 85 ff             	test   %r15d,%r15d
140ae6b8e:	74 1c                	je     0x140ae6bac
140ae6b90:	49 8b c8             	mov    %r8,%rcx
140ae6b93:	49 8b d7             	mov    %r15,%rdx
140ae6b96:	41 8b 01             	mov    (%r9),%eax
140ae6b99:	89 01                	mov    %eax,(%rcx)
140ae6b9b:	8b 43 0c             	mov    0xc(%rbx),%eax
140ae6b9e:	4d 8d 0c 81          	lea    (%r9,%rax,4),%r9
140ae6ba2:	48 8d 49 04          	lea    0x4(%rcx),%rcx
140ae6ba6:	48 83 ea 01          	sub    $0x1,%rdx
140ae6baa:	75 ea                	jne    0x140ae6b96
140ae6bac:	8b 43 0c             	mov    0xc(%rbx),%eax
140ae6baf:	49 8d 3c 83          	lea    (%r11,%rax,4),%rdi
140ae6bb3:	83 bc 24 80 00 00 00 	cmpl   $0x0,0x80(%rsp)
140ae6bba:	00
140ae6bbb:	76 20                	jbe    0x140ae6bdd
140ae6bbd:	8b b4 24 80 00 00 00 	mov    0x80(%rsp),%esi
140ae6bc4:	41 8b 01             	mov    (%r9),%eax
140ae6bc7:	89 07                	mov    %eax,(%rdi)
140ae6bc9:	8b 53 0c             	mov    0xc(%rbx),%edx
140ae6bcc:	8d 04 12             	lea    (%rdx,%rdx,1),%eax
140ae6bcf:	48 8d 3c 87          	lea    (%rdi,%rax,4),%rdi
140ae6bd3:	4d 8d 0c 91          	lea    (%r9,%rdx,4),%r9
140ae6bd7:	48 83 ee 01          	sub    $0x1,%rsi
140ae6bdb:	75 e7                	jne    0x140ae6bc4
140ae6bdd:	45 85 ff             	test   %r15d,%r15d
140ae6be0:	74 1e                	je     0x140ae6c00
140ae6be2:	49 8b c8             	mov    %r8,%rcx
140ae6be5:	49 8b d7             	mov    %r15,%rdx
140ae6be8:	8b 01                	mov    (%rcx),%eax
140ae6bea:	41 89 03             	mov    %eax,(%r11)
140ae6bed:	8b 43 0c             	mov    0xc(%rbx),%eax
140ae6bf0:	03 c0                	add    %eax,%eax
140ae6bf2:	4d 8d 1c 83          	lea    (%r11,%rax,4),%r11
140ae6bf6:	48 8d 49 04          	lea    0x4(%rcx),%rcx
140ae6bfa:	48 83 ea 01          	sub    $0x1,%rdx
140ae6bfe:	75 e8                	jne    0x140ae6be8
140ae6c00:	41 ff c2             	inc    %r10d
140ae6c03:	44 3b 13             	cmp    (%rbx),%r10d
140ae6c06:	0f 8c 5a ff ff ff    	jl     0x140ae6b66
140ae6c0c:	4d 85 c0             	test   %r8,%r8
140ae6c0f:	74 31                	je     0x140ae6c42
140ae6c11:	49 8b d0             	mov    %r8,%rdx
140ae6c14:	48 8b 44 24 30       	mov    0x30(%rsp),%rax
140ae6c19:	49 2b c0             	sub    %r8,%rax
140ae6c1c:	48 83 e0 fc          	and    $0xfffffffffffffffc,%rax
140ae6c20:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140ae6c26:	72 11                	jb     0x140ae6c39
140ae6c28:	4d 8b 40 f8          	mov    -0x8(%r8),%r8
140ae6c2c:	49 2b d0             	sub    %r8,%rdx
140ae6c2f:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
140ae6c33:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae6c37:	77 29                	ja     0x140ae6c62
140ae6c39:	49 8b c8             	mov    %r8,%rcx
140ae6c3c:	ff 15 7e 5c 02 00    	call   *0x25c7e(%rip)        # 0x140b0c8c0
140ae6c42:	48 8b 5c 24 60       	mov    0x60(%rsp),%rbx
140ae6c47:	48 8b 6c 24 68       	mov    0x68(%rsp),%rbp
140ae6c4c:	48 8b 74 24 70       	mov    0x70(%rsp),%rsi
140ae6c51:	48 83 c4 40          	add    $0x40,%rsp
140ae6c55:	41 5f                	pop    %r15
140ae6c57:	41 5d                	pop    %r13
140ae6c59:	5f                   	pop    %rdi
140ae6c5a:	c3                   	ret
140ae6c5b:	ff 15 37 5d 02 00    	call   *0x25d37(%rip)        # 0x140b0c998
140ae6c61:	90                   	nop
140ae6c62:	ff 15 30 5d 02 00    	call   *0x25d30(%rip)        # 0x140b0c998
140ae6c68:	cc                   	int3
140ae6c69:	90                   	nop
140ae6c6a:	90                   	nop
140ae6c6b:	90                   	nop
140ae6c6c:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
140ae6c71:	55                   	push   %rbp
140ae6c72:	56                   	push   %rsi
140ae6c73:	57                   	push   %rdi
140ae6c74:	41 54                	push   %r12
140ae6c76:	41 55                	push   %r13
140ae6c78:	41 56                	push   %r14
140ae6c7a:	41 57                	push   %r15
140ae6c7c:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
140ae6c83:	48 8b 05 b6 83 1d 00 	mov    0x1d83b6(%rip),%rax        # 0x140cbf040
140ae6c8a:	48 33 c4             	xor    %rsp,%rax
140ae6c8d:	48 89 84 24 80 00 00 	mov    %rax,0x80(%rsp)
140ae6c94:	00
140ae6c95:	48 8b fa             	mov    %rdx,%rdi
140ae6c98:	4c 8b f1             	mov    %rcx,%r14
140ae6c9b:	0f 57 c0             	xorps  %xmm0,%xmm0
140ae6c9e:	f3 0f 7f 44 24 20    	movdqu %xmm0,0x20(%rsp)
140ae6ca4:	48 83 64 24 30 00    	andq   $0x0,0x30(%rsp)
140ae6caa:	48 8b 01             	mov    (%rcx),%rax
140ae6cad:	48 8b 59 08          	mov    0x8(%rcx),%rbx
140ae6cb1:	48 2b d8             	sub    %rax,%rbx
140ae6cb4:	48 c1 fb 03          	sar    $0x3,%rbx
140ae6cb8:	49 bf ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%r15
140ae6cbf:	aa aa aa
140ae6cc2:	49 0f af df          	imul   %r15,%rbx
140ae6cc6:	83 fb 03             	cmp    $0x3,%ebx
140ae6cc9:	0f 8c 28 02 00 00    	jl     0x140ae6ef7
140ae6ccf:	48 85 db             	test   %rbx,%rbx
140ae6cd2:	0f 84 18 02 00 00    	je     0x140ae6ef0
140ae6cd8:	48 8b 70 08          	mov    0x8(%rax),%rsi
140ae6cdc:	48 2b 30             	sub    (%rax),%rsi
140ae6cdf:	48 c1 fe 02          	sar    $0x2,%rsi
140ae6ce3:	8b d6                	mov    %esi,%edx
140ae6ce5:	0f af d3             	imul   %ebx,%edx
140ae6ce8:	48 8d 4c 24 20       	lea    0x20(%rsp),%rcx
140ae6ced:	e8 32 eb 58 ff       	call   0x140075824
140ae6cf2:	45 33 c9             	xor    %r9d,%r9d
140ae6cf5:	33 ed                	xor    %ebp,%ebp
140ae6cf7:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140ae6cfc:	4c 8b 44 24 20       	mov    0x20(%rsp),%r8
140ae6d01:	85 f6                	test   %esi,%esi
140ae6d03:	0f 84 58 01 00 00    	je     0x140ae6e61
140ae6d09:	4c 63 e3             	movslq %ebx,%r12
140ae6d0c:	49 8b 16             	mov    (%r14),%rdx
140ae6d0f:	49 8b 4e 08          	mov    0x8(%r14),%rcx
140ae6d13:	48 2b ca             	sub    %rdx,%rcx
140ae6d16:	48 c1 f9 03          	sar    $0x3,%rcx
140ae6d1a:	49 0f af cf          	imul   %r15,%rcx
140ae6d1e:	48 85 c9             	test   %rcx,%rcx
140ae6d21:	0f 84 c9 01 00 00    	je     0x140ae6ef0
140ae6d27:	44 8b d5             	mov    %ebp,%r10d
140ae6d2a:	4c 8b 1a             	mov    (%rdx),%r11
140ae6d2d:	48 8b 42 08          	mov    0x8(%rdx),%rax
140ae6d31:	49 2b c3             	sub    %r11,%rax
140ae6d34:	48 c1 f8 02          	sar    $0x2,%rax
140ae6d38:	4c 3b d0             	cmp    %rax,%r10
140ae6d3b:	0f 83 af 01 00 00    	jae    0x140ae6ef0
140ae6d41:	41 8b 1c ab          	mov    (%r11,%rbp,4),%ebx
140ae6d45:	48 83 f9 01          	cmp    $0x1,%rcx
140ae6d49:	0f 86 a1 01 00 00    	jbe    0x140ae6ef0
140ae6d4f:	4c 8b 5a 18          	mov    0x18(%rdx),%r11
140ae6d53:	48 8b 42 20          	mov    0x20(%rdx),%rax
140ae6d57:	49 2b c3             	sub    %r11,%rax
140ae6d5a:	48 c1 f8 02          	sar    $0x2,%rax
140ae6d5e:	4c 3b d0             	cmp    %rax,%r10
140ae6d61:	0f 83 89 01 00 00    	jae    0x140ae6ef0