140ae7715:	48 c1 e8 3f          	shr    $0x3f,%rax
140ae7719:	4c 03 f8             	add    %rax,%r15
140ae771c:	48 8b 41 08          	mov    0x8(%rcx),%rax
140ae7720:	48 2b 01             	sub    (%rcx),%rax
140ae7723:	48 c1 f8 03          	sar    $0x3,%rax
140ae7727:	48 ba ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rdx
140ae772e:	aa aa aa
140ae7731:	48 0f af c2          	imul   %rdx,%rax
140ae7735:	49 b8 aa aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaa,%r8
140ae773c:	aa aa 0a
140ae773f:	49 3b c0             	cmp    %r8,%rax
140ae7742:	0f 84 7a 01 00 00    	je     0x140ae78c2
140ae7748:	4c 8d 70 01          	lea    0x1(%rax),%r14
140ae774c:	48 8b 49 10          	mov    0x10(%rcx),%rcx
140ae7750:	48 2b 0f             	sub    (%rdi),%rcx
140ae7753:	48 c1 f9 03          	sar    $0x3,%rcx
140ae7757:	48 0f af ca          	imul   %rdx,%rcx
140ae775b:	48 8b d1             	mov    %rcx,%rdx
140ae775e:	48 d1 ea             	shr    $1,%rdx
140ae7761:	49 8b c0             	mov    %r8,%rax
140ae7764:	48 2b c2             	sub    %rdx,%rax
140ae7767:	48 3b c8             	cmp    %rax,%rcx
140ae776a:	76 05                	jbe    0x140ae7771
140ae776c:	49 8b c0             	mov    %r8,%rax
140ae776f:	eb 0b                	jmp    0x140ae777c
140ae7771:	48 8d 04 11          	lea    (%rcx,%rdx,1),%rax
140ae7775:	49 3b c6             	cmp    %r14,%rax
140ae7778:	49 0f 42 c6          	cmovb  %r14,%rax
140ae777c:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
140ae7781:	49 3b c0             	cmp    %r8,%rax
140ae7784:	0f 87 32 01 00 00    	ja     0x140ae78bc
140ae778a:	48 8d 04 40          	lea    (%rax,%rax,2),%rax
140ae778e:	48 8d 34 c5 00 00 00 	lea    0x0(,%rax,8),%rsi
140ae7795:	00
140ae7796:	48 85 f6             	test   %rsi,%rsi
140ae7799:	75 38                	jne    0x140ae77d3
140ae779b:	33 db                	xor    %ebx,%ebx
140ae779d:	48 89 5c 24 50       	mov    %rbx,0x50(%rsp)
140ae77a2:	4b 8d 04 7f          	lea    (%r15,%r15,2),%rax
140ae77a6:	4c 8d 3c c3          	lea    (%rbx,%rax,8),%r15
140ae77aa:	41 0f 10 45 00       	movups 0x0(%r13),%xmm0
140ae77af:	41 0f 11 07          	movups %xmm0,(%r15)
140ae77b3:	f2 41 0f 10 4d 10    	movsd  0x10(%r13),%xmm1
140ae77b9:	f2 41 0f 11 4f 10    	movsd  %xmm1,0x10(%r15)
140ae77bf:	4c 8b 47 08          	mov    0x8(%rdi),%r8
140ae77c3:	48 8b 17             	mov    (%rdi),%rdx
140ae77c6:	48 8b cb             	mov    %rbx,%rcx
140ae77c9:	4d 3b e0             	cmp    %r8,%r12
140ae77cc:	75 4c                	jne    0x140ae781a
140ae77ce:	4c 2b c2             	sub    %rdx,%r8
140ae77d1:	eb 60                	jmp    0x140ae7833
140ae77d3:	48 81 fe 00 10 00 00 	cmp    $0x1000,%rsi
140ae77da:	72 26                	jb     0x140ae7802
140ae77dc:	48 8d 4e 27          	lea    0x27(%rsi),%rcx
140ae77e0:	48 3b ce             	cmp    %rsi,%rcx
140ae77e3:	0f 86 d3 00 00 00    	jbe    0x140ae78bc
140ae77e9:	ff 15 d9 50 02 00    	call   *0x250d9(%rip)        # 0x140b0c8c8
140ae77ef:	48 85 c0             	test   %rax,%rax
140ae77f2:	74 1f                	je     0x140ae7813
140ae77f4:	48 8d 58 27          	lea    0x27(%rax),%rbx
140ae77f8:	48 83 e3 e0          	and    $0xffffffffffffffe0,%rbx
140ae77fc:	48 89 43 f8          	mov    %rax,-0x8(%rbx)
140ae7800:	eb 9b                	jmp    0x140ae779d
140ae7802:	48 8b ce             	mov    %rsi,%rcx
140ae7805:	ff 15 bd 50 02 00    	call   *0x250bd(%rip)        # 0x140b0c8c8
140ae780b:	48 8b d8             	mov    %rax,%rbx
140ae780e:	48 85 c0             	test   %rax,%rax
140ae7811:	75 8a                	jne    0x140ae779d
140ae7813:	ff 15 7f 4c 02 00    	call   *0x24c7f(%rip)        # 0x140b0c498
140ae7819:	90                   	nop
140ae781a:	4d 8b c4             	mov    %r12,%r8
140ae781d:	4c 2b 07             	sub    (%rdi),%r8
140ae7820:	e8 41 8c 00 00       	call   0x140af0466
140ae7825:	49 8d 4f 18          	lea    0x18(%r15),%rcx
140ae7829:	4c 8b 47 08          	mov    0x8(%rdi),%r8
140ae782d:	4d 2b c4             	sub    %r12,%r8
140ae7830:	49 8b d4             	mov    %r12,%rdx
140ae7833:	e8 2e 8c 00 00       	call   0x140af0466
140ae7838:	48 8b 0f             	mov    (%rdi),%rcx
140ae783b:	48 85 c9             	test   %rcx,%rcx
140ae783e:	74 43                	je     0x140ae7883
140ae7840:	48 8b 47 10          	mov    0x10(%rdi),%rax
140ae7844:	48 2b c1             	sub    %rcx,%rax
140ae7847:	48 c1 f8 03          	sar    $0x3,%rax
140ae784b:	48 ba ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rdx
140ae7852:	aa aa aa
140ae7855:	48 0f af c2          	imul   %rdx,%rax
140ae7859:	48 8d 04 40          	lea    (%rax,%rax,2),%rax
140ae785d:	48 c1 e0 03          	shl    $0x3,%rax
140ae7861:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140ae7867:	72 14                	jb     0x140ae787d
140ae7869:	48 8b 51 f8          	mov    -0x8(%rcx),%rdx
140ae786d:	48 2b ca             	sub    %rdx,%rcx
140ae7870:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
140ae7874:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae7878:	77 3b                	ja     0x140ae78b5
140ae787a:	48 8b ca             	mov    %rdx,%rcx
140ae787d:	ff 15 3d 50 02 00    	call   *0x2503d(%rip)        # 0x140b0c8c0
140ae7883:	48 89 1f             	mov    %rbx,(%rdi)
140ae7886:	4b 8d 0c 76          	lea    (%r14,%r14,2),%rcx
140ae788a:	48 8d 14 cb          	lea    (%rbx,%rcx,8),%rdx
140ae788e:	48 89 57 08          	mov    %rdx,0x8(%rdi)
140ae7892:	48 8d 0c 1e          	lea    (%rsi,%rbx,1),%rcx
140ae7896:	48 89 4f 10          	mov    %rcx,0x10(%rdi)
140ae789a:	49 8b c7             	mov    %r15,%rax
140ae789d:	48 8b 5c 24 60       	mov    0x60(%rsp),%rbx
140ae78a2:	48 8b 74 24 68       	mov    0x68(%rsp),%rsi
140ae78a7:	48 83 c4 20          	add    $0x20,%rsp
140ae78ab:	41 5f                	pop    %r15
140ae78ad:	41 5e                	pop    %r14
140ae78af:	41 5d                	pop    %r13
140ae78b1:	41 5c                	pop    %r12
140ae78b3:	5f                   	pop    %rdi
140ae78b4:	c3                   	ret
140ae78b5:	ff 15 dd 50 02 00    	call   *0x250dd(%rip)        # 0x140b0c998
140ae78bb:	cc                   	int3
140ae78bc:	e8 0f c4 51 ff       	call   0x140003cd0
140ae78c1:	cc                   	int3
140ae78c2:	e8 a1 44 53 ff       	call   0x14001bd68
140ae78c7:	cc                   	int3
140ae78c8:	48 83 ec 28          	sub    $0x28,%rsp
140ae78cc:	4c 8b 51 38          	mov    0x38(%rcx),%r10
140ae78d0:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae78d4:	49 2b c2             	sub    %r10,%rax
140ae78d7:	48 c1 f8 02          	sar    $0x2,%rax
140ae78db:	48 85 c0             	test   %rax,%rax
140ae78de:	75 07                	jne    0x140ae78e7
140ae78e0:	ff 15 b2 50 02 00    	call   *0x250b2(%rip)        # 0x140b0c998
140ae78e6:	cc                   	int3
140ae78e7:	83 3a ff             	cmpl   $0xffffffff,(%rdx)
140ae78ea:	41 bb 01 00 00 00    	mov    $0x1,%r11d
140ae78f0:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
140ae78f5:	74 0d                	je     0x140ae7904
140ae78f7:	48 63 02             	movslq (%rdx),%rax
140ae78fa:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae78ff:	74 03                	je     0x140ae7904
140ae7901:	44 01 19             	add    %r11d,(%rcx)
140ae7904:	83 7a 08 ff          	cmpl   $0xffffffff,0x8(%rdx)
140ae7908:	74 0e                	je     0x140ae7918
140ae790a:	48 63 42 08          	movslq 0x8(%rdx),%rax
140ae790e:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae7913:	74 03                	je     0x140ae7918
140ae7915:	44 01 19             	add    %r11d,(%rcx)
140ae7918:	83 7a 14 ff          	cmpl   $0xffffffff,0x14(%rdx)
140ae791c:	74 0e                	je     0x140ae792c
140ae791e:	48 63 42 14          	movslq 0x14(%rdx),%rax
140ae7922:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae7927:	74 03                	je     0x140ae792c
140ae7929:	44 01 19             	add    %r11d,(%rcx)
140ae792c:	83 7a 1c ff          	cmpl   $0xffffffff,0x1c(%rdx)
140ae7930:	74 0e                	je     0x140ae7940
140ae7932:	48 63 42 1c          	movslq 0x1c(%rdx),%rax
140ae7936:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae793b:	74 03                	je     0x140ae7940
140ae793d:	44 01 19             	add    %r11d,(%rcx)
140ae7940:	83 7a 0c ff          	cmpl   $0xffffffff,0xc(%rdx)
140ae7944:	74 0e                	je     0x140ae7954
140ae7946:	48 63 42 0c          	movslq 0xc(%rdx),%rax
140ae794a:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae794f:	74 03                	je     0x140ae7954
140ae7951:	45 01 18             	add    %r11d,(%r8)
140ae7954:	83 7a 10 ff          	cmpl   $0xffffffff,0x10(%rdx)
140ae7958:	74 0e                	je     0x140ae7968
140ae795a:	48 63 42 10          	movslq 0x10(%rdx),%rax
140ae795e:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae7963:	74 03                	je     0x140ae7968
140ae7965:	45 01 18             	add    %r11d,(%r8)
140ae7968:	83 7a 04 ff          	cmpl   $0xffffffff,0x4(%rdx)
140ae796c:	74 0e                	je     0x140ae797c
140ae796e:	48 63 42 04          	movslq 0x4(%rdx),%rax
140ae7972:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae7977:	74 03                	je     0x140ae797c
140ae7979:	45 01 19             	add    %r11d,(%r9)
140ae797c:	83 7a 18 ff          	cmpl   $0xffffffff,0x18(%rdx)
140ae7980:	74 0e                	je     0x140ae7990
140ae7982:	48 63 42 18          	movslq 0x18(%rdx),%rax
140ae7986:	41 83 3c 82 00       	cmpl   $0x0,(%r10,%rax,4)
140ae798b:	74 03                	je     0x140ae7990
140ae798d:	45 01 19             	add    %r11d,(%r9)
140ae7990:	48 83 c4 28          	add    $0x28,%rsp
140ae7994:	c3                   	ret
140ae7995:	90                   	nop
140ae7996:	90                   	nop
140ae7997:	90                   	nop
140ae7998:	48 83 ec 28          	sub    $0x28,%rsp
140ae799c:	45 33 c9             	xor    %r9d,%r9d
140ae799f:	4d 63 d8             	movslq %r8d,%r11
140ae79a2:	85 d2                	test   %edx,%edx
140ae79a4:	78 42                	js     0x140ae79e8
140ae79a6:	4c 8b 51 38          	mov    0x38(%rcx),%r10
140ae79aa:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae79ae:	49 2b c2             	sub    %r10,%rax
140ae79b1:	48 63 d2             	movslq %edx,%rdx
140ae79b4:	48 c1 f8 02          	sar    $0x2,%rax
140ae79b8:	48 3b d0             	cmp    %rax,%rdx
140ae79bb:	73 70                	jae    0x140ae7a2d
140ae79bd:	45 8b 04 92          	mov    (%r10,%rdx,4),%r8d
140ae79c1:	45 85 c0             	test   %r8d,%r8d
140ae79c4:	7e 08                	jle    0x140ae79ce
140ae79c6:	41 b9 01 00 00 00    	mov    $0x1,%r9d
140ae79cc:	eb 1a                	jmp    0x140ae79e8
140ae79ce:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae79d2:	49 2b c2             	sub    %r10,%rax
140ae79d5:	48 c1 f8 02          	sar    $0x2,%rax
140ae79d9:	48 3b d0             	cmp    %rax,%rdx
140ae79dc:	73 4f                	jae    0x140ae7a2d
140ae79de:	83 c8 ff             	or     $0xffffffff,%eax
140ae79e1:	45 85 c0             	test   %r8d,%r8d
140ae79e4:	44 0f 48 c8          	cmovs  %eax,%r9d
140ae79e8:	45 85 db             	test   %r11d,%r11d
140ae79eb:	78 1f                	js     0x140ae7a0c
140ae79ed:	4c 8b 51 38          	mov    0x38(%rcx),%r10
140ae79f1:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae79f5:	49 2b c2             	sub    %r10,%rax
140ae79f8:	48 c1 f8 02          	sar    $0x2,%rax
140ae79fc:	4c 3b d8             	cmp    %rax,%r11
140ae79ff:	73 2c                	jae    0x140ae7a2d
140ae7a01:	43 8b 14 9a          	mov    (%r10,%r11,4),%edx
140ae7a05:	85 d2                	test   %edx,%edx
140ae7a07:	7e 0b                	jle    0x140ae7a14
140ae7a09:	41 ff c1             	inc    %r9d
140ae7a0c:	41 8b c1             	mov    %r9d,%eax
140ae7a0f:	48 83 c4 28          	add    $0x28,%rsp
140ae7a13:	c3                   	ret
140ae7a14:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae7a18:	49 2b c2             	sub    %r10,%rax
140ae7a1b:	48 c1 f8 02          	sar    $0x2,%rax
140ae7a1f:	4c 3b d8             	cmp    %rax,%r11
140ae7a22:	73 09                	jae    0x140ae7a2d
140ae7a24:	85 d2                	test   %edx,%edx
140ae7a26:	79 e4                	jns    0x140ae7a0c
140ae7a28:	41 ff c9             	dec    %r9d
140ae7a2b:	eb df                	jmp    0x140ae7a0c
140ae7a2d:	ff 15 65 4f 02 00    	call   *0x24f65(%rip)        # 0x140b0c998
140ae7a33:	cc                   	int3
140ae7a34:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
140ae7a39:	48 89 6c 24 10       	mov    %rbp,0x10(%rsp)
140ae7a3e:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
140ae7a43:	57                   	push   %rdi
140ae7a44:	48 83 ec 20          	sub    $0x20,%rsp
140ae7a48:	8b 79 10             	mov    0x10(%rcx),%edi
140ae7a4b:	45 33 c9             	xor    %r9d,%r9d
140ae7a4e:	44 8b d7             	mov    %edi,%r10d
140ae7a51:	41 8b e8             	mov    %r8d,%ebp
140ae7a54:	45 0f af d0          	imul   %r8d,%r10d
140ae7a58:	44 8b da             	mov    %edx,%r11d
140ae7a5b:	44 03 d2             	add    %edx,%r10d
140ae7a5e:	45 85 c0             	test   %r8d,%r8d
140ae7a61:	74 7d                	je     0x140ae7ae0
140ae7a63:	48 8b 51 38          	mov    0x38(%rcx),%rdx
140ae7a67:	45 8b c2             	mov    %r10d,%r8d
140ae7a6a:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae7a6e:	44 2b c7             	sub    %edi,%r8d
140ae7a71:	48 2b c2             	sub    %rdx,%rax
140ae7a74:	41 8b d8             	mov    %r8d,%ebx
140ae7a77:	48 c1 f8 02          	sar    $0x2,%rax
140ae7a7b:	48 3b d8             	cmp    %rax,%rbx
140ae7a7e:	0f 83 9d 01 00 00    	jae    0x140ae7c21
140ae7a84:	46 39 0c 82          	cmp    %r9d,(%rdx,%r8,4)
140ae7a88:	0f 85 e8 00 00 00    	jne    0x140ae7b76
140ae7a8e:	48 8d 59 40          	lea    0x40(%rcx),%rbx
140ae7a92:	45 85 db             	test   %r11d,%r11d
140ae7a95:	74 21                	je     0x140ae7ab8
140ae7a97:	48 8b 03             	mov    (%rbx),%rax
140ae7a9a:	41 8d 70 ff          	lea    -0x1(%r8),%esi
140ae7a9e:	48 2b c2             	sub    %rdx,%rax
140ae7aa1:	48 c1 f8 02          	sar    $0x2,%rax
140ae7aa5:	48 3b f0             	cmp    %rax,%rsi
140ae7aa8:	0f 83 73 01 00 00    	jae    0x140ae7c21
140ae7aae:	44 39 0c b2          	cmp    %r9d,(%rdx,%rsi,4)
140ae7ab2:	0f 85 be 00 00 00    	jne    0x140ae7b76
140ae7ab8:	8d 47 ff             	lea    -0x1(%rdi),%eax
140ae7abb:	44 3b d8             	cmp    %eax,%r11d
140ae7abe:	74 20                	je     0x140ae7ae0
140ae7ac0:	48 8b 03             	mov    (%rbx),%rax
140ae7ac3:	41 ff c0             	inc    %r8d
140ae7ac6:	48 2b c2             	sub    %rdx,%rax
140ae7ac9:	48 c1 f8 02          	sar    $0x2,%rax
140ae7acd:	4c 3b c0             	cmp    %rax,%r8
140ae7ad0:	0f 83 4b 01 00 00    	jae    0x140ae7c21
140ae7ad6:	46 39 0c 82          	cmp    %r9d,(%rdx,%r8,4)
140ae7ada:	0f 85 96 00 00 00    	jne    0x140ae7b76
140ae7ae0:	8b 41 14             	mov    0x14(%rcx),%eax
140ae7ae3:	83 f8 04             	cmp    $0x4,%eax
140ae7ae6:	0f 86 91 00 00 00    	jbe    0x140ae7b7d
140ae7aec:	83 c0 fc             	add    $0xfffffffc,%eax
140ae7aef:	3b e8                	cmp    %eax,%ebp
140ae7af1:	0f 83 86 00 00 00    	jae    0x140ae7b7d
140ae7af7:	48 8b 81 a8 00 00 00 	mov    0xa8(%rcx),%rax
140ae7afe:	44 38 48 03          	cmp    %r9b,0x3(%rax)
140ae7b02:	75 79                	jne    0x140ae7b7d
140ae7b04:	48 8b 51 38          	mov    0x38(%rcx),%rdx
140ae7b08:	8b f7                	mov    %edi,%esi
140ae7b0a:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae7b0e:	41 8d 3c ba          	lea    (%r10,%rdi,4),%edi
140ae7b12:	48 2b c2             	sub    %rdx,%rax
140ae7b15:	44 8b c7             	mov    %edi,%r8d
140ae7b18:	48 c1 f8 02          	sar    $0x2,%rax
140ae7b1c:	4c 3b c0             	cmp    %rax,%r8
140ae7b1f:	0f 83 fc 00 00 00    	jae    0x140ae7c21
140ae7b25:	44 39 0c ba          	cmp    %r9d,(%rdx,%rdi,4)
140ae7b29:	75 4b                	jne    0x140ae7b76
140ae7b2b:	48 8d 59 40          	lea    0x40(%rcx),%rbx
140ae7b2f:	45 85 db             	test   %r11d,%r11d
140ae7b32:	74 1d                	je     0x140ae7b51
140ae7b34:	48 8b 03             	mov    (%rbx),%rax
140ae7b37:	44 8d 47 ff          	lea    -0x1(%rdi),%r8d
140ae7b3b:	48 2b c2             	sub    %rdx,%rax
140ae7b3e:	48 c1 f8 02          	sar    $0x2,%rax
140ae7b42:	4c 3b c0             	cmp    %rax,%r8
140ae7b45:	0f 83 d6 00 00 00    	jae    0x140ae7c21
140ae7b4b:	46 39 0c 82          	cmp    %r9d,(%rdx,%r8,4)
140ae7b4f:	75 25                	jne    0x140ae7b76
140ae7b51:	8d 46 ff             	lea    -0x1(%rsi),%eax
140ae7b54:	44 3b d8             	cmp    %eax,%r11d
140ae7b57:	74 24                	je     0x140ae7b7d
140ae7b59:	48 8b 03             	mov    (%rbx),%rax
140ae7b5c:	44 8d 47 01          	lea    0x1(%rdi),%r8d
140ae7b60:	48 2b c2             	sub    %rdx,%rax
140ae7b63:	48 c1 f8 02          	sar    $0x2,%rax
140ae7b67:	4c 3b c0             	cmp    %rax,%r8
140ae7b6a:	0f 83 b1 00 00 00    	jae    0x140ae7c21
140ae7b70:	46 39 0c 82          	cmp    %r9d,(%rdx,%r8,4)
140ae7b74:	74 07                	je     0x140ae7b7d
140ae7b76:	32 c0                	xor    %al,%al
140ae7b78:	e9 8f 00 00 00       	jmp    0x140ae7c0c
140ae7b7d:	8d 45 03             	lea    0x3(%rbp),%eax
140ae7b80:	3b 41 14             	cmp    0x14(%rcx),%eax
140ae7b83:	0f 83 80 00 00 00    	jae    0x140ae7c09
140ae7b89:	48 8b 69 50          	mov    0x50(%rcx),%rbp
140ae7b8d:	41 8b d1             	mov    %r9d,%edx
140ae7b90:	4c 8b 41 58          	mov    0x58(%rcx),%r8
140ae7b94:	8b 71 10             	mov    0x10(%rcx),%esi
140ae7b97:	4c 2b c5             	sub    %rbp,%r8
140ae7b9a:	49 c1 f8 02          	sar    $0x2,%r8
140ae7b9e:	41 8b c2             	mov    %r10d,%eax
140ae7ba1:	49 3b c0             	cmp    %r8,%rax
140ae7ba4:	73 7b                	jae    0x140ae7c21
140ae7ba6:	42 83 7c 95 00 ff    	cmpl   $0xffffffff,0x0(%rbp,%r10,4)
140ae7bac:	75 53                	jne    0x140ae7c01
140ae7bae:	45 85 db             	test   %r11d,%r11d
140ae7bb1:	74 1e                	je     0x140ae7bd1
140ae7bb3:	48 8b 79 38          	mov    0x38(%rcx),%rdi
140ae7bb7:	41 8d 5a ff          	lea    -0x1(%r10),%ebx
140ae7bbb:	48 8b 41 40          	mov    0x40(%rcx),%rax
140ae7bbf:	48 2b c7             	sub    %rdi,%rax
140ae7bc2:	48 c1 f8 02          	sar    $0x2,%rax
140ae7bc6:	48 3b d8             	cmp    %rax,%rbx
140ae7bc9:	73 56                	jae    0x140ae7c21
140ae7bcb:	44 39 0c 9f          	cmp    %r9d,(%rdi,%rbx,4)