140ae2717:	48 85 c9             	test   %rcx,%rcx
140ae271a:	0f 84 9f 00 00 00    	je     0x140ae27bf
140ae2720:	8b 46 3c             	mov    0x3c(%rsi),%eax
140ae2723:	45 8b dd             	mov    %r13d,%r11d
140ae2726:	85 c0                	test   %eax,%eax
140ae2728:	0f 84 85 00 00 00    	je     0x140ae27b3
140ae272e:	4c 8b 4d e8          	mov    -0x18(%rbp),%r9
140ae2732:	4c 2b cf             	sub    %rdi,%r9
140ae2735:	49 c1 f9 02          	sar    $0x2,%r9
140ae2739:	45 8b c3             	mov    %r11d,%r8d
140ae273c:	4d 3b c1             	cmp    %r9,%r8
140ae273f:	0f 83 b9 00 00 00    	jae    0x140ae27fe
140ae2745:	41 8b dc             	mov    %r12d,%ebx
140ae2748:	48 8b 45 a8          	mov    -0x58(%rbp),%rax
140ae274c:	48 2b c2             	sub    %rdx,%rax
140ae274f:	48 c1 f8 02          	sar    $0x2,%rax
140ae2753:	48 3b d8             	cmp    %rax,%rbx
140ae2756:	0f 83 a2 00 00 00    	jae    0x140ae27fe
140ae275c:	44 8b 14 9a          	mov    (%rdx,%rbx,4),%r10d
140ae2760:	46 03 14 87          	add    (%rdi,%r8,4),%r10d
140ae2764:	48 8b 45 88          	mov    -0x78(%rbp),%rax
140ae2768:	49 2b c6             	sub    %r14,%rax
140ae276b:	48 c1 f8 02          	sar    $0x2,%rax
140ae276f:	4c 3b c0             	cmp    %rax,%r8
140ae2772:	0f 83 86 00 00 00    	jae    0x140ae27fe
140ae2778:	47 8b 04 86          	mov    (%r14,%r8,4),%r8d
140ae277c:	45 3b d0             	cmp    %r8d,%r10d
140ae277f:	7f 0a                	jg     0x140ae278b
140ae2781:	45 8b c2             	mov    %r10d,%r8d
140ae2784:	45 85 d2             	test   %r10d,%r10d
140ae2787:	45 0f 48 c5          	cmovs  %r13d,%r8d
140ae278b:	4c 8b 96 a8 01 00 00 	mov    0x1a8(%rsi),%r10
140ae2792:	48 8b 86 b0 01 00 00 	mov    0x1b0(%rsi),%rax
140ae2799:	49 2b c2             	sub    %r10,%rax
140ae279c:	48 3b d8             	cmp    %rax,%rbx
140ae279f:	73 5d                	jae    0x140ae27fe
140ae27a1:	45 88 04 1a          	mov    %r8b,(%r10,%rbx,1)
140ae27a5:	41 ff c4             	inc    %r12d
140ae27a8:	41 ff c3             	inc    %r11d
140ae27ab:	8b 46 3c             	mov    0x3c(%rsi),%eax
140ae27ae:	44 3b d8             	cmp    %eax,%r11d
140ae27b1:	72 86                	jb     0x140ae2739
140ae27b3:	49 ff c7             	inc    %r15
140ae27b6:	4c 3b f9             	cmp    %rcx,%r15
140ae27b9:	0f 82 64 ff ff ff    	jb     0x140ae2723
140ae27bf:	48 85 d2             	test   %rdx,%rdx
140ae27c2:	0f 84 98 00 00 00    	je     0x140ae2860
140ae27c8:	48 8b 45 b0          	mov    -0x50(%rbp),%rax
140ae27cc:	48 2b c2             	sub    %rdx,%rax
140ae27cf:	48 83 e0 fc          	and    $0xfffffffffffffffc,%rax
140ae27d3:	48 8b ca             	mov    %rdx,%rcx
140ae27d6:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140ae27dc:	72 15                	jb     0x140ae27f3
140ae27de:	48 8b 52 f8          	mov    -0x8(%rdx),%rdx
140ae27e2:	48 2b ca             	sub    %rdx,%rcx
140ae27e5:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
140ae27e9:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae27ed:	0f 87 04 01 00 00    	ja     0x140ae28f7
140ae27f3:	48 8b ca             	mov    %rdx,%rcx
140ae27f6:	ff 15 c4 a0 02 00    	call   *0x2a0c4(%rip)        # 0x140b0c8c0
140ae27fc:	eb 62                	jmp    0x140ae2860
140ae27fe:	ff 15 94 a1 02 00    	call   *0x2a194(%rip)        # 0x140b0c998
140ae2804:	90                   	nop
140ae2805:	48 8d 45 80          	lea    -0x80(%rbp),%rax
140ae2809:	4c 8d 4d e0          	lea    -0x20(%rbp),%r9
140ae280d:	48 8b d3             	mov    %rbx,%rdx
140ae2810:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140ae2815:	83 be 0c 01 00 00 08 	cmpl   $0x8,0x10c(%rsi)
140ae281c:	75 1e                	jne    0x140ae283c
140ae281e:	45 85 ff             	test   %r15d,%r15d
140ae2821:	75 0e                	jne    0x140ae2831
140ae2823:	48 8d 8e 90 01 00 00 	lea    0x190(%rsi),%rcx
140ae282a:	e8 15 22 00 00       	call   0x140ae4a44
140ae282f:	eb 27                	jmp    0x140ae2858
140ae2831:	48 8d 4d c8          	lea    -0x38(%rbp),%rcx
140ae2835:	e8 32 24 00 00       	call   0x140ae4c6c
140ae283a:	eb 1c                	jmp    0x140ae2858
140ae283c:	45 85 ff             	test   %r15d,%r15d
140ae283f:	75 0e                	jne    0x140ae284f
140ae2841:	48 8d 8e 90 01 00 00 	lea    0x190(%rsi),%rcx
140ae2848:	e8 5b 26 00 00       	call   0x140ae4ea8
140ae284d:	eb 09                	jmp    0x140ae2858
140ae284f:	48 8d 4d c8          	lea    -0x38(%rbp),%rcx
140ae2853:	e8 7c 28 00 00       	call   0x140ae50d4
140ae2858:	4c 8b 75 80          	mov    -0x80(%rbp),%r14
140ae285c:	48 8b 7d e0          	mov    -0x20(%rbp),%rdi
140ae2860:	4d 85 f6             	test   %r14,%r14
140ae2863:	74 38                	je     0x140ae289d
140ae2865:	48 8b 45 90          	mov    -0x70(%rbp),%rax
140ae2869:	49 2b c6             	sub    %r14,%rax
140ae286c:	48 83 e0 fc          	and    $0xfffffffffffffffc,%rax
140ae2870:	49 8b ce             	mov    %r14,%rcx
140ae2873:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140ae2879:	72 18                	jb     0x140ae2893
140ae287b:	4d 8b 76 f8          	mov    -0x8(%r14),%r14
140ae287f:	49 2b ce             	sub    %r14,%rcx
140ae2882:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
140ae2886:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae288a:	76 07                	jbe    0x140ae2893
140ae288c:	ff 15 06 a1 02 00    	call   *0x2a106(%rip)        # 0x140b0c998
140ae2892:	cc                   	int3
140ae2893:	49 8b ce             	mov    %r14,%rcx
140ae2896:	ff 15 24 a0 02 00    	call   *0x2a024(%rip)        # 0x140b0c8c0
140ae289c:	90                   	nop
140ae289d:	48 85 ff             	test   %rdi,%rdi
140ae28a0:	74 38                	je     0x140ae28da
140ae28a2:	48 8b 45 f0          	mov    -0x10(%rbp),%rax
140ae28a6:	48 2b c7             	sub    %rdi,%rax
140ae28a9:	48 83 e0 fc          	and    $0xfffffffffffffffc,%rax
140ae28ad:	48 8b cf             	mov    %rdi,%rcx
140ae28b0:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140ae28b6:	72 18                	jb     0x140ae28d0
140ae28b8:	48 8b 7f f8          	mov    -0x8(%rdi),%rdi
140ae28bc:	48 2b cf             	sub    %rdi,%rcx
140ae28bf:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
140ae28c3:	48 83 f8 1f          	cmp    $0x1f,%rax
140ae28c7:	76 07                	jbe    0x140ae28d0
140ae28c9:	ff 15 c9 a0 02 00    	call   *0x2a0c9(%rip)        # 0x140b0c998
140ae28cf:	cc                   	int3
140ae28d0:	48 8b cf             	mov    %rdi,%rcx
140ae28d3:	ff 15 e7 9f 02 00    	call   *0x29fe7(%rip)        # 0x140b0c8c0
140ae28d9:	90                   	nop
140ae28da:	48 8d 4d c8          	lea    -0x38(%rbp),%rcx
140ae28de:	e8 79 ae 57 ff       	call   0x14005d75c
140ae28e3:	48 81 c4 58 01 00 00 	add    $0x158,%rsp
140ae28ea:	41 5f                	pop    %r15
140ae28ec:	41 5e                	pop    %r14
140ae28ee:	41 5d                	pop    %r13
140ae28f0:	41 5c                	pop    %r12
140ae28f2:	5f                   	pop    %rdi
140ae28f3:	5e                   	pop    %rsi
140ae28f4:	5b                   	pop    %rbx
140ae28f5:	5d                   	pop    %rbp
140ae28f6:	c3                   	ret
140ae28f7:	ff 15 9b a0 02 00    	call   *0x2a09b(%rip)        # 0x140b0c998
140ae28fd:	90                   	nop
140ae28fe:	e8 6d 8a 82 ff       	call   0x14030b370
140ae2903:	cc                   	int3
140ae2904:	48 8b c4             	mov    %rsp,%rax
140ae2907:	89 50 10             	mov    %edx,0x10(%rax)
140ae290a:	48 89 48 08          	mov    %rcx,0x8(%rax)
140ae290e:	55                   	push   %rbp
140ae290f:	53                   	push   %rbx
140ae2910:	56                   	push   %rsi
140ae2911:	57                   	push   %rdi
140ae2912:	41 54                	push   %r12
140ae2914:	41 55                	push   %r13
140ae2916:	41 56                	push   %r14
140ae2918:	41 57                	push   %r15
140ae291a:	48 8d 6c 24 a8       	lea    -0x58(%rsp),%rbp
140ae291f:	48 81 ec 58 01 00 00 	sub    $0x158,%rsp
140ae2926:	0f 29 70 a8          	movaps %xmm6,-0x58(%rax)
140ae292a:	0f 29 78 98          	movaps %xmm7,-0x68(%rax)
140ae292e:	44 8b fa             	mov    %edx,%r15d
140ae2931:	4c 8b e1             	mov    %rcx,%r12
140ae2934:	4c 8d a9 38 01 00 00 	lea    0x138(%rcx),%r13
140ae293b:	4c 89 6d 00          	mov    %r13,0x0(%rbp)
140ae293f:	8b da                	mov    %edx,%ebx
140ae2941:	49 8b 7d 08          	mov    0x8(%r13),%rdi
140ae2945:	4d 8b 4d 00          	mov    0x0(%r13),%r9
140ae2949:	48 8b cf             	mov    %rdi,%rcx
140ae294c:	49 2b c9             	sub    %r9,%rcx
140ae294f:	49 bb ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%r11
140ae2956:	aa aa 2a
140ae2959:	49 8b c3             	mov    %r11,%rax
140ae295c:	48 f7 e9             	imul   %rcx
140ae295f:	4c 8b c2             	mov    %rdx,%r8
140ae2962:	49 c1 f8 02          	sar    $0x2,%r8
140ae2966:	49 8b c0             	mov    %r8,%rax
140ae2969:	48 c1 e8 3f          	shr    $0x3f,%rax
140ae296d:	4c 03 c0             	add    %rax,%r8
140ae2970:	33 f6                	xor    %esi,%esi
140ae2972:	44 8d 56 01          	lea    0x1(%rsi),%r10d
140ae2976:	4d 3b f8             	cmp    %r8,%r15
140ae2979:	73 29                	jae    0x140ae29a4
140ae297b:	4b 8d 04 7f          	lea    (%r15,%r15,2),%rax
140ae297f:	4d 8d 34 c1          	lea    (%r9,%rax,8),%r14
140ae2983:	49 8b f6             	mov    %r14,%rsi
140ae2986:	4c 3b f7             	cmp    %rdi,%r14
140ae2989:	74 11                	je     0x140ae299c
140ae298b:	48 8b ce             	mov    %rsi,%rcx
140ae298e:	e8 89 db ff ff       	call   0x140ae051c
140ae2993:	48 83 c6 18          	add    $0x18,%rsi
140ae2997:	48 3b f7             	cmp    %rdi,%rsi
140ae299a:	75 ef                	jne    0x140ae298b
140ae299c:	4d 89 75 08          	mov    %r14,0x8(%r13)
140ae29a0:	33 f6                	xor    %esi,%esi
140ae29a2:	eb 4f                	jmp    0x140ae29f3
140ae29a4:	76 4d                	jbe    0x140ae29f3
140ae29a6:	49 8b 4d 10          	mov    0x10(%r13),%rcx
140ae29aa:	49 2b c9             	sub    %r9,%rcx
140ae29ad:	49 8b c3             	mov    %r11,%rax
140ae29b0:	48 f7 e9             	imul   %rcx
140ae29b3:	48 c1 fa 02          	sar    $0x2,%rdx
140ae29b7:	48 8b c2             	mov    %rdx,%rax
140ae29ba:	48 c1 e8 3f          	shr    $0x3f,%rax
140ae29be:	48 03 d0             	add    %rax,%rdx
140ae29c1:	48 3b da             	cmp    %rdx,%rbx
140ae29c4:	76 0d                	jbe    0x140ae29d3
140ae29c6:	48 8b d3             	mov    %rbx,%rdx
140ae29c9:	49 8b cd             	mov    %r13,%rcx
140ae29cc:	e8 2f 31 00 00       	call   0x140ae5b00
140ae29d1:	eb 20                	jmp    0x140ae29f3
140ae29d3:	48 8b c3             	mov    %rbx,%rax
140ae29d6:	49 2b c0             	sub    %r8,%rax
140ae29d9:	74 14                	je     0x140ae29ef
140ae29db:	48 89 37             	mov    %rsi,(%rdi)
140ae29de:	48 89 77 08          	mov    %rsi,0x8(%rdi)
140ae29e2:	48 89 77 10          	mov    %rsi,0x10(%rdi)
140ae29e6:	48 83 c7 18          	add    $0x18,%rdi
140ae29ea:	49 2b c2             	sub    %r10,%rax
140ae29ed:	75 ec                	jne    0x140ae29db
140ae29ef:	49 89 7d 08          	mov    %rdi,0x8(%r13)
140ae29f3:	4d 8d b4 24 50 01 00 	lea    0x150(%r12),%r14
140ae29fa:	00
140ae29fb:	4c 89 75 f0          	mov    %r14,-0x10(%rbp)
140ae29ff:	49 8b 7e 08          	mov    0x8(%r14),%rdi
140ae2a03:	4d 8b 0e             	mov    (%r14),%r9
140ae2a06:	48 8b cf             	mov    %rdi,%rcx
140ae2a09:	49 2b c9             	sub    %r9,%rcx
140ae2a0c:	48 b8 ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%rax
140ae2a13:	aa aa 2a
140ae2a16:	48 f7 e9             	imul   %rcx
140ae2a19:	4c 8b c2             	mov    %rdx,%r8
140ae2a1c:	49 c1 f8 02          	sar    $0x2,%r8
140ae2a20:	49 8b c0             	mov    %r8,%rax
140ae2a23:	48 c1 e8 3f          	shr    $0x3f,%rax
140ae2a27:	4c 03 c0             	add    %rax,%r8
140ae2a2a:	49 3b d8             	cmp    %r8,%rbx
140ae2a2d:	73 5c                	jae    0x140ae2a8b
140ae2a2f:	4b 8d 04 7f          	lea    (%r15,%r15,2),%rax
140ae2a33:	49 8d 34 c1          	lea    (%r9,%rax,8),%rsi
140ae2a37:	48 8b de             	mov    %rsi,%rbx
140ae2a3a:	48 3b f7             	cmp    %rdi,%rsi
140ae2a3d:	74 11                	je     0x140ae2a50
140ae2a3f:	48 8b cb             	mov    %rbx,%rcx
140ae2a42:	e8 b5 70 6a ff       	call   0x140189afc
140ae2a47:	48 83 c3 18          	add    $0x18,%rbx
140ae2a4b:	48 3b df             	cmp    %rdi,%rbx
140ae2a4e:	75 ef                	jne    0x140ae2a3f
140ae2a50:	49 89 76 08          	mov    %rsi,0x8(%r14)
140ae2a54:	49 b9 ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%r9
140ae2a5b:	aa aa 2a
140ae2a5e:	45 33 d2             	xor    %r10d,%r10d
140ae2a61:	41 8b c2             	mov    %r10d,%eax
140ae2a64:	89 44 24 20          	mov    %eax,0x20(%rsp)
140ae2a68:	48 bb c5 4e ec c4 4e 	movabs $0x4ec4ec4ec4ec4ec5,%rbx
140ae2a6f:	ec c4 4e
140ae2a72:	48 bf b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%rdi
140ae2a79:	db b6 6d
140ae2a7c:	45 8d 5a 01          	lea    0x1(%r10),%r11d
140ae2a80:	45 85 ff             	test   %r15d,%r15d
140ae2a83:	0f 84 76 06 00 00    	je     0x140ae30ff
140ae2a89:	eb 71                	jmp    0x140ae2afc
140ae2a8b:	76 c7                	jbe    0x140ae2a54
140ae2a8d:	49 8b 4e 10          	mov    0x10(%r14),%rcx
140ae2a91:	49 2b c9             	sub    %r9,%rcx
140ae2a94:	49 b9 ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%r9
140ae2a9b:	aa aa 2a
140ae2a9e:	49 8b c1             	mov    %r9,%rax
140ae2aa1:	48 f7 e9             	imul   %rcx
140ae2aa4:	48 c1 fa 02          	sar    $0x2,%rdx
140ae2aa8:	48 8b c2             	mov    %rdx,%rax
140ae2aab:	48 c1 e8 3f          	shr    $0x3f,%rax
140ae2aaf:	48 03 d0             	add    %rax,%rdx
140ae2ab2:	48 3b da             	cmp    %rdx,%rbx
140ae2ab5:	76 0d                	jbe    0x140ae2ac4
140ae2ab7:	48 8b d3             	mov    %rbx,%rdx
140ae2aba:	49 8b ce             	mov    %r14,%rcx
140ae2abd:	e8 22 2e 00 00       	call   0x140ae58e4
140ae2ac2:	eb 90                	jmp    0x140ae2a54
140ae2ac4:	49 2b d8             	sub    %r8,%rbx
140ae2ac7:	74 19                	je     0x140ae2ae2
140ae2ac9:	ba 01 00 00 00       	mov    $0x1,%edx
140ae2ace:	48 89 37             	mov    %rsi,(%rdi)
140ae2ad1:	48 89 77 08          	mov    %rsi,0x8(%rdi)
140ae2ad5:	48 89 77 10          	mov    %rsi,0x10(%rdi)
140ae2ad9:	48 83 c7 18          	add    $0x18,%rdi
140ae2add:	48 2b da             	sub    %rdx,%rbx
140ae2ae0:	75 ec                	jne    0x140ae2ace
140ae2ae2:	49 89 7e 08          	mov    %rdi,0x8(%r14)
140ae2ae6:	e9 73 ff ff ff       	jmp    0x140ae2a5e
140ae2aeb:	4c 8b a5 a0 00 00 00 	mov    0xa0(%rbp),%r12
140ae2af2:	48 bb c5 4e ec c4 4e 	movabs $0x4ec4ec4ec4ec4ec5,%rbx
140ae2af9:	ec c4 4e
140ae2afc:	44 8b f8             	mov    %eax,%r15d
140ae2aff:	4d 8b 06             	mov    (%r14),%r8
140ae2b02:	49 8b 4e 08          	mov    0x8(%r14),%rcx
140ae2b06:	49 2b c8             	sub    %r8,%rcx
140ae2b09:	49 8b c1             	mov    %r9,%rax
140ae2b0c:	48 f7 e9             	imul   %rcx
140ae2b0f:	48 c1 fa 02          	sar    $0x2,%rdx
140ae2b13:	48 8b c2             	mov    %rdx,%rax
140ae2b16:	48 c1 e8 3f          	shr    $0x3f,%rax
140ae2b1a:	48 03 d0             	add    %rax,%rdx
140ae2b1d:	4c 3b fa             	cmp    %rdx,%r15
140ae2b20:	0f 83 e5 0c 00 00    	jae    0x140ae380b
140ae2b26:	4b 8d 04 7f          	lea    (%r15,%r15,2),%rax
140ae2b2a:	49 8d 3c c0          	lea    (%r8,%rax,8),%rdi
140ae2b2e:	49 8b 94 24 c0 00 00 	mov    0xc0(%r12),%rdx
140ae2b35:	00
140ae2b36:	49 8b 84 24 c8 00 00 	mov    0xc8(%r12),%rax
140ae2b3d:	00
140ae2b3e:	48 2b c2             	sub    %rdx,%rax
140ae2b41:	48 c1 f8 03          	sar    $0x3,%rax
140ae2b45:	48 0f af c3          	imul   %rbx,%rax
140ae2b49:	4c 3b f8             	cmp    %rax,%r15
140ae2b4c:	0f 83 b9 0c 00 00    	jae    0x140ae380b
140ae2b52:	49 6b f7 68          	imul   $0x68,%r15,%rsi
140ae2b56:	44 8b 74 16 40       	mov    0x40(%rsi,%rdx,1),%r14d
140ae2b5b:	44 89 b5 b8 00 00 00 	mov    %r14d,0xb8(%rbp)
140ae2b62:	46 8d 0c 75 01 00 00 	lea    0x1(,%r14,2),%r9d
140ae2b69:	00
140ae2b6a:	45 03 ce             	add    %r14d,%r9d
140ae2b6d:	44 8a 04 32          	mov    (%rdx,%rsi,1),%r8b
140ae2b71:	45 84 c0             	test   %r8b,%r8b
140ae2b74:	74 07                	je     0x140ae2b7d
140ae2b76:	b9 0f 00 00 00       	mov    $0xf,%ecx
140ae2b7b:	eb 1c                	jmp    0x140ae2b99
140ae2b7d:	48 8b 4c 32 08       	mov    0x8(%rdx,%rsi,1),%rcx
140ae2b82:	48 8b 44 32 10       	mov    0x10(%rdx,%rsi,1),%rax
140ae2b87:	48 2b c1             	sub    %rcx,%rax
140ae2b8a:	48 c1 f8 02          	sar    $0x2,%rax
140ae2b8e:	48 85 c0             	test   %rax,%rax
140ae2b91:	0f 84 74 0c 00 00    	je     0x140ae380b
140ae2b97:	8b 09                	mov    (%rcx),%ecx
140ae2b99:	41 8b db             	mov    %r11d,%ebx
140ae2b9c:	d3 e3                	shl    %cl,%ebx
140ae2b9e:	45 84 c0             	test   %r8b,%r8b
140ae2ba1:	74 07                	je     0x140ae2baa
140ae2ba3:	b9 0f 00 00 00       	mov    $0xf,%ecx
140ae2ba8:	eb 1c                	jmp    0x140ae2bc6
140ae2baa:	48 8b 4c 16 20       	mov    0x20(%rsi,%rdx,1),%rcx
140ae2baf:	48 8b 44 16 28       	mov    0x28(%rsi,%rdx,1),%rax
140ae2bb4:	48 2b c1             	sub    %rcx,%rax
140ae2bb7:	48 c1 f8 02          	sar    $0x2,%rax
140ae2bbb:	48 85 c0             	test   %rax,%rax
140ae2bbe:	0f 84 47 0c 00 00    	je     0x140ae380b
140ae2bc4:	8b 09                	mov    (%rcx),%ecx
140ae2bc6:	45 8b e3             	mov    %r11d,%r12d
140ae2bc9:	41 d3 e4             	shl    %cl,%r12d
140ae2bcc:	41 8b d1             	mov    %r9d,%edx
140ae2bcf:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ae2bd3:	4c 8b c1             	mov    %rcx,%r8
140ae2bd6:	4c 2b 07             	sub    (%rdi),%r8
140ae2bd9:	49 c1 f8 02          	sar    $0x2,%r8
140ae2bdd:	49 b9 b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%r9
140ae2be4:	db b6 6d
140ae2be7:	4d 0f af c1          	imul   %r9,%r8
140ae2beb:	49 3b d0             	cmp    %r8,%rdx