1400d268a:	48 85 ff             	test   %rdi,%rdi
1400d268d:	0f 8e 0b 01 00 00    	jle    0x1400d279e
1400d2693:	44 8a cb             	mov    %bl,%r9b
1400d2696:	4d 8b c5             	mov    %r13,%r8
1400d2699:	48 8b d6             	mov    %rsi,%rdx
1400d269c:	48 8d 4d e8          	lea    -0x18(%rbp),%rcx
1400d26a0:	e8 1b 0b 00 00       	call   0x1400d31c0
1400d26a5:	48 8b cf             	mov    %rdi,%rcx
1400d26a8:	48 c1 f9 02          	sar    $0x2,%rcx
1400d26ac:	48 d1 ff             	sar    $1,%rdi
1400d26af:	48 03 f9             	add    %rcx,%rdi
1400d26b2:	49 8b cd             	mov    %r13,%rcx
1400d26b5:	4c 8b 75 f0          	mov    -0x10(%rbp),%r14
1400d26b9:	49 2b ce             	sub    %r14,%rcx
1400d26bc:	48 83 e1 f0          	and    $0xfffffffffffffff0,%rcx
1400d26c0:	4c 8b 7d e8          	mov    -0x18(%rbp),%r15
1400d26c4:	49 8b c7             	mov    %r15,%rax
1400d26c7:	48 2b c6             	sub    %rsi,%rax
1400d26ca:	48 83 e0 f0          	and    $0xfffffffffffffff0,%rax
1400d26ce:	44 8a cb             	mov    %bl,%r9b
1400d26d1:	4c 8b c7             	mov    %rdi,%r8
1400d26d4:	48 3b c1             	cmp    %rcx,%rax
1400d26d7:	7d 10                	jge    0x1400d26e9
1400d26d9:	49 8b d7             	mov    %r15,%rdx
1400d26dc:	48 8b ce             	mov    %rsi,%rcx
1400d26df:	e8 70 ff ff ff       	call   0x1400d2654
1400d26e4:	49 8b f6             	mov    %r14,%rsi
1400d26e7:	eb 12                	jmp    0x1400d26fb
1400d26e9:	49 8b d5             	mov    %r13,%rdx
1400d26ec:	49 8b ce             	mov    %r14,%rcx
1400d26ef:	e8 60 ff ff ff       	call   0x1400d2654
1400d26f4:	4d 8b ef             	mov    %r15,%r13
1400d26f7:	4c 89 7d 48          	mov    %r15,0x48(%rbp)
1400d26fb:	49 8b c5             	mov    %r13,%rax
1400d26fe:	48 2b c6             	sub    %rsi,%rax
1400d2701:	48 83 e0 f0          	and    $0xfffffffffffffff0,%rax
1400d2705:	49 3b c4             	cmp    %r12,%rax
1400d2708:	7f 80                	jg     0x1400d268a
1400d270a:	49 3b f5             	cmp    %r13,%rsi
1400d270d:	0f 84 4d 03 00 00    	je     0x1400d2a60
1400d2713:	4c 8d 7e 10          	lea    0x10(%rsi),%r15
1400d2717:	4d 3b fd             	cmp    %r13,%r15
1400d271a:	0f 84 40 03 00 00    	je     0x1400d2a60
1400d2720:	41 83 ce ff          	or     $0xffffffff,%r14d
1400d2724:	4c 89 7d 40          	mov    %r15,0x40(%rbp)
1400d2728:	4d 8b 27             	mov    (%r15),%r12
1400d272b:	4c 89 65 e8          	mov    %r12,-0x18(%rbp)
1400d272f:	49 8b 47 08          	mov    0x8(%r15),%rax
1400d2733:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
1400d2737:	49 83 27 00          	andq   $0x0,(%r15)
1400d273b:	49 83 67 08 00       	andq   $0x0,0x8(%r15)
1400d2740:	48 8b 3e             	mov    (%rsi),%rdi
1400d2743:	49 8b 04 24          	mov    (%r12),%rax
1400d2747:	49 8b cc             	mov    %r12,%rcx
1400d274a:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
1400d2751:	ff 15 e1 a4 a3 00    	call   *0xa3a4e1(%rip)        # 0x140b0cc38
1400d2757:	48 8b d8             	mov    %rax,%rbx
1400d275a:	48 8b 17             	mov    (%rdi),%rdx
1400d275d:	48 8b cf             	mov    %rdi,%rcx
1400d2760:	48 8b 82 a8 00 00 00 	mov    0xa8(%rdx),%rax
1400d2767:	ff 15 cb a4 a3 00    	call   *0xa3a4cb(%rip)        # 0x140b0cc38
1400d276d:	f3 0f 10 00          	movss  (%rax),%xmm0
1400d2771:	0f 2f 03             	comiss (%rbx),%xmm0
1400d2774:	0f 86 ea 01 00 00    	jbe    0x1400d2964
1400d277a:	49 8b df             	mov    %r15,%rbx
1400d277d:	4c 3b fe             	cmp    %rsi,%r15
1400d2780:	74 14                	je     0x1400d2796
1400d2782:	48 8b cb             	mov    %rbx,%rcx
1400d2785:	48 83 eb 10          	sub    $0x10,%rbx
1400d2789:	48 8b d3             	mov    %rbx,%rdx
1400d278c:	e8 53 3b f3 ff       	call   0x1400062e4
1400d2791:	48 3b de             	cmp    %rsi,%rbx
1400d2794:	75 ec                	jne    0x1400d2782
1400d2796:	48 8b ce             	mov    %rsi,%rcx
1400d2799:	e9 64 02 00 00       	jmp    0x1400d2a02
1400d279e:	49 8b fd             	mov    %r13,%rdi
1400d27a1:	48 2b fe             	sub    %rsi,%rdi
1400d27a4:	48 c1 ff 04          	sar    $0x4,%rdi
1400d27a8:	48 89 7d 48          	mov    %rdi,0x48(%rbp)
1400d27ac:	4c 8b e7             	mov    %rdi,%r12
1400d27af:	49 d1 fc             	sar    $1,%r12
1400d27b2:	41 83 ce ff          	or     $0xffffffff,%r14d
1400d27b6:	4d 85 e4             	test   %r12,%r12
1400d27b9:	0f 8e 93 00 00 00    	jle    0x1400d2852
1400d27bf:	4d 8b fc             	mov    %r12,%r15
1400d27c2:	49 c1 e7 04          	shl    $0x4,%r15
1400d27c6:	4c 03 fe             	add    %rsi,%r15
1400d27c9:	49 ff cc             	dec    %r12
1400d27cc:	4d 8d 7f f0          	lea    -0x10(%r15),%r15
1400d27d0:	49 8b 07             	mov    (%r15),%rax
1400d27d3:	48 89 45 e8          	mov    %rax,-0x18(%rbp)
1400d27d7:	49 8b 47 08          	mov    0x8(%r15),%rax
1400d27db:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
1400d27df:	49 83 27 00          	andq   $0x0,(%r15)
1400d27e3:	49 83 67 08 00       	andq   $0x0,0x8(%r15)
1400d27e8:	88 5c 24 20          	mov    %bl,0x20(%rsp)
1400d27ec:	4c 8d 4d e8          	lea    -0x18(%rbp),%r9
1400d27f0:	4c 8b c7             	mov    %rdi,%r8
1400d27f3:	49 8b d4             	mov    %r12,%rdx
1400d27f6:	48 8b ce             	mov    %rsi,%rcx
1400d27f9:	e8 c6 0d 00 00       	call   0x1400d35c4
1400d27fe:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1400d2802:	48 85 c9             	test   %rcx,%rcx
1400d2805:	74 42                	je     0x1400d2849
1400d2807:	41 8b c6             	mov    %r14d,%eax
1400d280a:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
1400d280f:	41 03 c6             	add    %r14d,%eax
1400d2812:	75 35                	jne    0x1400d2849
1400d2814:	48 8b 7d f0          	mov    -0x10(%rbp),%rdi
1400d2818:	48 8b 07             	mov    (%rdi),%rax
1400d281b:	48 8b cf             	mov    %rdi,%rcx
1400d281e:	48 8b 00             	mov    (%rax),%rax
1400d2821:	ff 15 11 a4 a3 00    	call   *0xa3a411(%rip)        # 0x140b0cc38
1400d2827:	41 8b c6             	mov    %r14d,%eax
1400d282a:	f0 0f c1 47 0c       	lock xadd %eax,0xc(%rdi)
1400d282f:	41 03 c6             	add    %r14d,%eax
1400d2832:	75 11                	jne    0x1400d2845
1400d2834:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1400d2838:	48 8b 01             	mov    (%rcx),%rax
1400d283b:	48 8b 40 08          	mov    0x8(%rax),%rax
1400d283f:	ff 15 f3 a3 a3 00    	call   *0xa3a3f3(%rip)        # 0x140b0cc38
1400d2845:	48 8b 7d 48          	mov    0x48(%rbp),%rdi
1400d2849:	4d 85 e4             	test   %r12,%r12
1400d284c:	0f 8f 77 ff ff ff    	jg     0x1400d27c9
1400d2852:	48 83 ff 02          	cmp    $0x2,%rdi
1400d2856:	0f 8c 04 02 00 00    	jl     0x1400d2a60
1400d285c:	49 83 c5 f8          	add    $0xfffffffffffffff8,%r13
1400d2860:	49 c7 c4 f8 ff ff ff 	mov    $0xfffffffffffffff8,%r12
1400d2867:	4c 2b e6             	sub    %rsi,%r12
1400d286a:	41 bf 08 00 00 00    	mov    $0x8,%r15d
1400d2870:	4c 2b fe             	sub    %rsi,%r15
1400d2873:	49 8b 45 f8          	mov    -0x8(%r13),%rax
1400d2877:	48 89 45 e8          	mov    %rax,-0x18(%rbp)
1400d287b:	49 8b 45 00          	mov    0x0(%r13),%rax
1400d287f:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
1400d2883:	49 83 65 f8 00       	andq   $0x0,-0x8(%r13)
1400d2888:	49 83 65 00 00       	andq   $0x0,0x0(%r13)
1400d288d:	48 8b 06             	mov    (%rsi),%rax
1400d2890:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
1400d2894:	48 83 26 00          	andq   $0x0,(%rsi)
1400d2898:	48 83 66 08 00       	andq   $0x0,0x8(%rsi)
1400d289d:	49 89 45 f8          	mov    %rax,-0x8(%r13)
1400d28a1:	49 8b 7d 00          	mov    0x0(%r13),%rdi
1400d28a5:	49 89 4d 00          	mov    %rcx,0x0(%r13)
1400d28a9:	48 85 ff             	test   %rdi,%rdi
1400d28ac:	74 39                	je     0x1400d28e7
1400d28ae:	41 8b c6             	mov    %r14d,%eax
1400d28b1:	f0 0f c1 47 08       	lock xadd %eax,0x8(%rdi)
1400d28b6:	41 03 c6             	add    %r14d,%eax
1400d28b9:	75 2c                	jne    0x1400d28e7
1400d28bb:	48 8b 07             	mov    (%rdi),%rax
1400d28be:	48 8b cf             	mov    %rdi,%rcx
1400d28c1:	48 8b 00             	mov    (%rax),%rax
1400d28c4:	ff 15 6e a3 a3 00    	call   *0xa3a36e(%rip)        # 0x140b0cc38
1400d28ca:	41 8b c6             	mov    %r14d,%eax
1400d28cd:	f0 0f c1 47 0c       	lock xadd %eax,0xc(%rdi)
1400d28d2:	41 03 c6             	add    %r14d,%eax
1400d28d5:	75 10                	jne    0x1400d28e7
1400d28d7:	48 8b 07             	mov    (%rdi),%rax
1400d28da:	48 8b cf             	mov    %rdi,%rcx
1400d28dd:	48 8b 40 08          	mov    0x8(%rax),%rax
1400d28e1:	ff 15 51 a3 a3 00    	call   *0xa3a351(%rip)        # 0x140b0cc38
1400d28e7:	4f 8d 04 2c          	lea    (%r12,%r13,1),%r8
1400d28eb:	49 c1 f8 04          	sar    $0x4,%r8
1400d28ef:	88 5c 24 20          	mov    %bl,0x20(%rsp)
1400d28f3:	4c 8d 4d e8          	lea    -0x18(%rbp),%r9
1400d28f7:	33 d2                	xor    %edx,%edx
1400d28f9:	48 8b ce             	mov    %rsi,%rcx
1400d28fc:	e8 c3 0c 00 00       	call   0x1400d35c4
1400d2901:	90                   	nop
1400d2902:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1400d2906:	48 85 c9             	test   %rcx,%rcx
1400d2909:	74 3e                	je     0x1400d2949
1400d290b:	41 8b c6             	mov    %r14d,%eax
1400d290e:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
1400d2913:	41 03 c6             	add    %r14d,%eax
1400d2916:	75 31                	jne    0x1400d2949
1400d2918:	48 8b 7d f0          	mov    -0x10(%rbp),%rdi
1400d291c:	48 8b 07             	mov    (%rdi),%rax
1400d291f:	48 8b cf             	mov    %rdi,%rcx
1400d2922:	48 8b 00             	mov    (%rax),%rax
1400d2925:	ff 15 0d a3 a3 00    	call   *0xa3a30d(%rip)        # 0x140b0cc38
1400d292b:	41 8b c6             	mov    %r14d,%eax
1400d292e:	f0 0f c1 47 0c       	lock xadd %eax,0xc(%rdi)
1400d2933:	41 03 c6             	add    %r14d,%eax
1400d2936:	75 11                	jne    0x1400d2949
1400d2938:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1400d293c:	48 8b 01             	mov    (%rcx),%rax
1400d293f:	48 8b 40 08          	mov    0x8(%rax),%rax
1400d2943:	ff 15 ef a2 a3 00    	call   *0xa3a2ef(%rip)        # 0x140b0cc38
1400d2949:	49 83 ed 10          	sub    $0x10,%r13
1400d294d:	4b 8d 04 2f          	lea    (%r15,%r13,1),%rax
1400d2951:	48 83 e0 f0          	and    $0xfffffffffffffff0,%rax
1400d2955:	48 83 f8 20          	cmp    $0x20,%rax
1400d2959:	0f 8d 14 ff ff ff    	jge    0x1400d2873
1400d295f:	e9 fc 00 00 00       	jmp    0x1400d2a60
1400d2964:	49 8d 7f f0          	lea    -0x10(%r15),%rdi
1400d2968:	48 89 7d e0          	mov    %rdi,-0x20(%rbp)
1400d296c:	48 8b 3f             	mov    (%rdi),%rdi
1400d296f:	49 8b 04 24          	mov    (%r12),%rax
1400d2973:	49 8b cc             	mov    %r12,%rcx
1400d2976:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
1400d297d:	ff 15 b5 a2 a3 00    	call   *0xa3a2b5(%rip)        # 0x140b0cc38
1400d2983:	48 8b d8             	mov    %rax,%rbx
1400d2986:	48 8b 17             	mov    (%rdi),%rdx
1400d2989:	48 8b cf             	mov    %rdi,%rcx
1400d298c:	48 8b 82 a8 00 00 00 	mov    0xa8(%rdx),%rax
1400d2993:	ff 15 9f a2 a3 00    	call   *0xa3a29f(%rip)        # 0x140b0cc38
1400d2999:	f3 0f 10 00          	movss  (%rax),%xmm0
1400d299d:	0f 2f 03             	comiss (%rbx),%xmm0
1400d29a0:	76 5c                	jbe    0x1400d29fe
1400d29a2:	4c 8b 75 e0          	mov    -0x20(%rbp),%r14
1400d29a6:	4c 8b 6d 40          	mov    0x40(%rbp),%r13
1400d29aa:	49 8b d6             	mov    %r14,%rdx
1400d29ad:	49 8b cd             	mov    %r13,%rcx
1400d29b0:	e8 2f 39 f3 ff       	call   0x1400062e4
1400d29b5:	4d 8b ee             	mov    %r14,%r13
1400d29b8:	49 83 ee 10          	sub    $0x10,%r14
1400d29bc:	49 8b 3e             	mov    (%r14),%rdi
1400d29bf:	49 8b 04 24          	mov    (%r12),%rax
1400d29c3:	49 8b cc             	mov    %r12,%rcx
1400d29c6:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
1400d29cd:	ff 15 65 a2 a3 00    	call   *0xa3a265(%rip)        # 0x140b0cc38
1400d29d3:	48 8b d8             	mov    %rax,%rbx
1400d29d6:	48 8b 17             	mov    (%rdi),%rdx
1400d29d9:	48 8b cf             	mov    %rdi,%rcx
1400d29dc:	48 8b 82 a8 00 00 00 	mov    0xa8(%rdx),%rax
1400d29e3:	ff 15 4f a2 a3 00    	call   *0xa3a24f(%rip)        # 0x140b0cc38
1400d29e9:	f3 0f 10 00          	movss  (%rax),%xmm0
1400d29ed:	0f 2f 03             	comiss (%rbx),%xmm0
1400d29f0:	77 b8                	ja     0x1400d29aa
1400d29f2:	4c 89 6d 40          	mov    %r13,0x40(%rbp)
1400d29f6:	41 83 ce ff          	or     $0xffffffff,%r14d
1400d29fa:	4c 8b 6d 48          	mov    0x48(%rbp),%r13
1400d29fe:	48 8b 4d 40          	mov    0x40(%rbp),%rcx
1400d2a02:	48 8d 55 e8          	lea    -0x18(%rbp),%rdx
1400d2a06:	e8 d9 38 f3 ff       	call   0x1400062e4
1400d2a0b:	90                   	nop
1400d2a0c:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1400d2a10:	48 85 c9             	test   %rcx,%rcx
1400d2a13:	74 3e                	je     0x1400d2a53
1400d2a15:	41 8b c6             	mov    %r14d,%eax
1400d2a18:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
1400d2a1d:	41 03 c6             	add    %r14d,%eax
1400d2a20:	75 31                	jne    0x1400d2a53
1400d2a22:	48 8b 5d f0          	mov    -0x10(%rbp),%rbx
1400d2a26:	48 8b 03             	mov    (%rbx),%rax
1400d2a29:	48 8b cb             	mov    %rbx,%rcx
1400d2a2c:	48 8b 00             	mov    (%rax),%rax
1400d2a2f:	ff 15 03 a2 a3 00    	call   *0xa3a203(%rip)        # 0x140b0cc38
1400d2a35:	41 8b c6             	mov    %r14d,%eax
1400d2a38:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1400d2a3d:	41 03 c6             	add    %r14d,%eax
1400d2a40:	75 11                	jne    0x1400d2a53
1400d2a42:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
1400d2a46:	48 8b 01             	mov    (%rcx),%rax
1400d2a49:	48 8b 40 08          	mov    0x8(%rax),%rax
1400d2a4d:	ff 15 e5 a1 a3 00    	call   *0xa3a1e5(%rip)        # 0x140b0cc38
1400d2a53:	49 83 c7 10          	add    $0x10,%r15
1400d2a57:	4d 3b fd             	cmp    %r13,%r15
1400d2a5a:	0f 85 c4 fc ff ff    	jne    0x1400d2724
1400d2a60:	48 8b 9c 24 a0 00 00 	mov    0xa0(%rsp),%rbx
1400d2a67:	00
1400d2a68:	48 83 c4 50          	add    $0x50,%rsp
1400d2a6c:	41 5f                	pop    %r15
1400d2a6e:	41 5e                	pop    %r14
1400d2a70:	41 5d                	pop    %r13
1400d2a72:	41 5c                	pop    %r12
1400d2a74:	5f                   	pop    %rdi
1400d2a75:	5e                   	pop    %rsi
1400d2a76:	5d                   	pop    %rbp
1400d2a77:	c3                   	ret
1400d2a78:	48 8b c4             	mov    %rsp,%rax
1400d2a7b:	48 89 58 08          	mov    %rbx,0x8(%rax)
1400d2a7f:	48 89 68 10          	mov    %rbp,0x10(%rax)
1400d2a83:	48 89 70 18          	mov    %rsi,0x18(%rax)
1400d2a87:	48 89 78 20          	mov    %rdi,0x20(%rax)
1400d2a8b:	41 56                	push   %r14
1400d2a8d:	48 83 ec 20          	sub    $0x20,%rsp
1400d2a91:	41 80 78 19 00       	cmpb   $0x0,0x19(%r8)
1400d2a96:	49 8b f8             	mov    %r8,%rdi
1400d2a99:	48 8b ea             	mov    %rdx,%rbp
1400d2a9c:	4c 8b f1             	mov    %rcx,%r14
1400d2a9f:	75 66                	jne    0x1400d2b07
1400d2aa1:	4c 8b 47 10          	mov    0x10(%rdi),%r8
1400d2aa5:	48 8b d5             	mov    %rbp,%rdx
1400d2aa8:	49 8b ce             	mov    %r14,%rcx
1400d2aab:	e8 c8 ff ff ff       	call   0x1400d2a78
1400d2ab0:	48 8b f7             	mov    %rdi,%rsi
1400d2ab3:	48 8b 3f             	mov    (%rdi),%rdi
1400d2ab6:	48 8b 5e 30          	mov    0x30(%rsi),%rbx
1400d2aba:	48 85 db             	test   %rbx,%rbx
1400d2abd:	74 39                	je     0x1400d2af8
1400d2abf:	83 c8 ff             	or     $0xffffffff,%eax
1400d2ac2:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1400d2ac7:	83 f8 01             	cmp    $0x1,%eax
1400d2aca:	75 2c                	jne    0x1400d2af8
1400d2acc:	48 8b 03             	mov    (%rbx),%rax
1400d2acf:	48 8b cb             	mov    %rbx,%rcx
1400d2ad2:	48 8b 00             	mov    (%rax),%rax
1400d2ad5:	ff 15 5d a1 a3 00    	call   *0xa3a15d(%rip)        # 0x140b0cc38
1400d2adb:	83 c8 ff             	or     $0xffffffff,%eax
1400d2ade:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1400d2ae3:	83 f8 01             	cmp    $0x1,%eax
1400d2ae6:	75 10                	jne    0x1400d2af8
1400d2ae8:	48 8b 03             	mov    (%rbx),%rax
1400d2aeb:	48 8b cb             	mov    %rbx,%rcx
1400d2aee:	48 8b 40 08          	mov    0x8(%rax),%rax
1400d2af2:	ff 15 40 a1 a3 00    	call   *0xa3a140(%rip)        # 0x140b0cc38
1400d2af8:	48 8b ce             	mov    %rsi,%rcx
1400d2afb:	ff 15 bf 9d a3 00    	call   *0xa39dbf(%rip)        # 0x140b0c8c0
1400d2b01:	80 7f 19 00          	cmpb   $0x0,0x19(%rdi)
1400d2b05:	74 9a                	je     0x1400d2aa1
1400d2b07:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1400d2b0c:	48 8b 6c 24 38       	mov    0x38(%rsp),%rbp
1400d2b11:	48 8b 74 24 40       	mov    0x40(%rsp),%rsi
1400d2b16:	48 8b 7c 24 48       	mov    0x48(%rsp),%rdi
1400d2b1b:	48 83 c4 20          	add    $0x20,%rsp
1400d2b1f:	41 5e                	pop    %r14
1400d2b21:	c3                   	ret
1400d2b22:	90                   	nop
1400d2b23:	90                   	nop
1400d2b24:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
1400d2b29:	53                   	push   %rbx
1400d2b2a:	56                   	push   %rsi
1400d2b2b:	57                   	push   %rdi
1400d2b2c:	41 54                	push   %r12
1400d2b2e:	41 55                	push   %r13
1400d2b30:	41 56                	push   %r14
1400d2b32:	41 57                	push   %r15
1400d2b34:	48 83 ec 30          	sub    $0x30,%rsp
1400d2b38:	4c 8b fa             	mov    %rdx,%r15
1400d2b3b:	4c 8b e1             	mov    %rcx,%r12
1400d2b3e:	4c 8b ca             	mov    %rdx,%r9
1400d2b41:	4c 2b 09             	sub    (%rcx),%r9
1400d2b44:	48 b8 ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%rax
1400d2b4b:	aa aa 2a
1400d2b4e:	49 f7 e9             	imul   %r9
1400d2b51:	48 8b f2             	mov    %rdx,%rsi
1400d2b54:	48 c1 fe 02          	sar    $0x2,%rsi
1400d2b58:	48 8b c6             	mov    %rsi,%rax
1400d2b5b:	48 c1 e8 3f          	shr    $0x3f,%rax
1400d2b5f:	48 03 f0             	add    %rax,%rsi
1400d2b62:	48 8b 41 08          	mov    0x8(%rcx),%rax
1400d2b66:	48 2b 01             	sub    (%rcx),%rax
1400d2b69:	48 c1 f8 03          	sar    $0x3,%rax
1400d2b6d:	48 ba ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rdx
1400d2b74:	aa aa aa
1400d2b77:	48 0f af c2          	imul   %rdx,%rax
1400d2b7b:	49 b9 aa aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaa,%r9