1402b56b1:	48 85 ed             	test   %rbp,%rbp
1402b56b4:	0f 85 76 ff ff ff    	jne    0x1402b5630
1402b56ba:	48 8b 74 24 78       	mov    0x78(%rsp),%rsi
1402b56bf:	b8 01 00 00 00       	mov    $0x1,%eax
1402b56c4:	48 8b 7c 24 40       	mov    0x40(%rsp),%rdi
1402b56c9:	48 8b 5c 24 70       	mov    0x70(%rsp),%rbx
1402b56ce:	48 83 c4 48          	add    $0x48,%rsp
1402b56d2:	41 5f                	pop    %r15
1402b56d4:	41 5e                	pop    %r14
1402b56d6:	41 5c                	pop    %r12
1402b56d8:	5d                   	pop    %rbp
1402b56d9:	c3                   	ret
1402b56da:	b8 01 00 00 00       	mov    $0x1,%eax
1402b56df:	48 83 c4 48          	add    $0x48,%rsp
1402b56e3:	41 5f                	pop    %r15
1402b56e5:	41 5e                	pop    %r14
1402b56e7:	41 5c                	pop    %r12
1402b56e9:	5d                   	pop    %rbp
1402b56ea:	c3                   	ret
1402b56eb:	cc                   	int3
1402b56ec:	cc                   	int3
1402b56ed:	cc                   	int3
1402b56ee:	cc                   	int3
1402b56ef:	cc                   	int3
1402b56f0:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402b56f5:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402b56fa:	41 54                	push   %r12
1402b56fc:	41 56                	push   %r14
1402b56fe:	41 57                	push   %r15
1402b5700:	b8 20 00 00 00       	mov    $0x20,%eax
1402b5705:	e8 d6 4e 04 00       	call   0x1402fa5e0
1402b570a:	48 2b e0             	sub    %rax,%rsp
1402b570d:	49 8b f1             	mov    %r9,%rsi
1402b5710:	49 8b e8             	mov    %r8,%rbp
1402b5713:	4c 8b f2             	mov    %rdx,%r14
1402b5716:	4c 8b f9             	mov    %rcx,%r15
1402b5719:	e8 d2 2b f6 ff       	call   0x1402182f0
1402b571e:	4c 63 60 04          	movslq 0x4(%rax),%r12
1402b5722:	49 3b f4             	cmp    %r12,%rsi
1402b5725:	72 55                	jb     0x1402b577c
1402b5727:	48 89 5c 24 40       	mov    %rbx,0x40(%rsp)
1402b572c:	49 2b f4             	sub    %r12,%rsi
1402b572f:	48 89 7c 24 48       	mov    %rdi,0x48(%rsp)
1402b5734:	4c 2b f5             	sub    %rbp,%r14
1402b5737:	48 8b fd             	mov    %rbp,%rdi
1402b573a:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1402b5740:	49 8b cf             	mov    %r15,%rcx
1402b5743:	e8 88 da f7 ff       	call   0x1402331d0
1402b5748:	49 8b cf             	mov    %r15,%rcx
1402b574b:	8b d8                	mov    %eax,%ebx
1402b574d:	e8 6e a5 f8 ff       	call   0x14023fcc0
1402b5752:	4c 8b c0             	mov    %rax,%r8
1402b5755:	49 8d 14 3e          	lea    (%r14,%rdi,1),%rdx
1402b5759:	44 8b cb             	mov    %ebx,%r9d
1402b575c:	48 8b cf             	mov    %rdi,%rcx
1402b575f:	e8 6c 04 03 00       	call   0x1402e5bd0
1402b5764:	49 03 fc             	add    %r12,%rdi
1402b5767:	48 8b c7             	mov    %rdi,%rax
1402b576a:	48 2b c5             	sub    %rbp,%rax
1402b576d:	48 3b c6             	cmp    %rsi,%rax
1402b5770:	76 ce                	jbe    0x1402b5740
1402b5772:	48 8b 7c 24 48       	mov    0x48(%rsp),%rdi
1402b5777:	48 8b 5c 24 40       	mov    0x40(%rsp),%rbx
1402b577c:	48 8b 6c 24 50       	mov    0x50(%rsp),%rbp
1402b5781:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5786:	48 8b 74 24 58       	mov    0x58(%rsp),%rsi
1402b578b:	48 83 c4 20          	add    $0x20,%rsp
1402b578f:	41 5f                	pop    %r15
1402b5791:	41 5e                	pop    %r14
1402b5793:	41 5c                	pop    %r12
1402b5795:	c3                   	ret
1402b5796:	cc                   	int3
1402b5797:	cc                   	int3
1402b5798:	cc                   	int3
1402b5799:	cc                   	int3
1402b579a:	cc                   	int3
1402b579b:	cc                   	int3
1402b579c:	cc                   	int3
1402b579d:	cc                   	int3
1402b579e:	cc                   	int3
1402b579f:	cc                   	int3
1402b57a0:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402b57a5:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402b57aa:	57                   	push   %rdi
1402b57ab:	41 56                	push   %r14
1402b57ad:	41 57                	push   %r15
1402b57af:	b8 30 00 00 00       	mov    $0x30,%eax
1402b57b4:	e8 27 4e 04 00       	call   0x1402fa5e0
1402b57b9:	48 2b e0             	sub    %rax,%rsp
1402b57bc:	49 8b e9             	mov    %r9,%rbp
1402b57bf:	4d 8b f0             	mov    %r8,%r14
1402b57c2:	4c 8b fa             	mov    %rdx,%r15
1402b57c5:	48 8b f9             	mov    %rcx,%rdi
1402b57c8:	49 81 f9 00 00 00 40 	cmp    $0x40000000,%r9
1402b57cf:	72 7d                	jb     0x1402b584e
1402b57d1:	48 89 74 24 50       	mov    %rsi,0x50(%rsp)
1402b57d6:	49 8b f1             	mov    %r9,%rsi
1402b57d9:	48 c1 ee 1e          	shr    $0x1e,%rsi
1402b57dd:	48 69 c6 00 00 00 c0 	imul   $0xffffffffc0000000,%rsi,%rax
1402b57e4:	48 03 e8             	add    %rax,%rbp
1402b57e7:	48 8b cf             	mov    %rdi,%rcx
1402b57ea:	e8 31 a5 f8 ff       	call   0x14023fd20
1402b57ef:	48 8b cf             	mov    %rdi,%rcx
1402b57f2:	89 44 24 68          	mov    %eax,0x68(%rsp)
1402b57f6:	e8 45 76 f1 ff       	call   0x1401cce40
1402b57fb:	48 8b cf             	mov    %rdi,%rcx
1402b57fe:	48 8b d8             	mov    %rax,%rbx
1402b5801:	e8 ba a4 f8 ff       	call   0x14023fcc0
1402b5806:	4c 8b c8             	mov    %rax,%r9
1402b5809:	41 b8 00 00 00 40    	mov    $0x40000000,%r8d
1402b580f:	48 8d 44 24 68       	lea    0x68(%rsp),%rax
1402b5814:	49 8b d7             	mov    %r15,%rdx
1402b5817:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1402b581c:	49 8b ce             	mov    %r14,%rcx
1402b581f:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b5824:	e8 b7 15 03 00       	call   0x1402e6de0
1402b5829:	8b 54 24 68          	mov    0x68(%rsp),%edx
1402b582d:	48 8b cf             	mov    %rdi,%rcx
1402b5830:	e8 fb a4 f8 ff       	call   0x14023fd30
1402b5835:	49 81 c6 00 00 00 40 	add    $0x40000000,%r14
1402b583c:	49 81 c7 00 00 00 40 	add    $0x40000000,%r15
1402b5843:	48 83 ee 01          	sub    $0x1,%rsi
1402b5847:	75 9e                	jne    0x1402b57e7
1402b5849:	48 8b 74 24 50       	mov    0x50(%rsp),%rsi
1402b584e:	48 85 ed             	test   %rbp,%rbp
1402b5851:	74 4b                	je     0x1402b589e
1402b5853:	48 8b cf             	mov    %rdi,%rcx
1402b5856:	e8 c5 a4 f8 ff       	call   0x14023fd20
1402b585b:	48 8b cf             	mov    %rdi,%rcx
1402b585e:	89 44 24 68          	mov    %eax,0x68(%rsp)
1402b5862:	e8 d9 75 f1 ff       	call   0x1401cce40
1402b5867:	48 8b cf             	mov    %rdi,%rcx
1402b586a:	48 8b d8             	mov    %rax,%rbx
1402b586d:	e8 4e a4 f8 ff       	call   0x14023fcc0
1402b5872:	4c 8b c8             	mov    %rax,%r9
1402b5875:	44 8b c5             	mov    %ebp,%r8d
1402b5878:	48 8d 44 24 68       	lea    0x68(%rsp),%rax
1402b587d:	49 8b d7             	mov    %r15,%rdx
1402b5880:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1402b5885:	49 8b ce             	mov    %r14,%rcx
1402b5888:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b588d:	e8 4e 15 03 00       	call   0x1402e6de0
1402b5892:	8b 54 24 68          	mov    0x68(%rsp),%edx
1402b5896:	48 8b cf             	mov    %rdi,%rcx
1402b5899:	e8 92 a4 f8 ff       	call   0x14023fd30
1402b589e:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402b58a3:	b8 01 00 00 00       	mov    $0x1,%eax
1402b58a8:	48 8b 6c 24 60       	mov    0x60(%rsp),%rbp
1402b58ad:	48 83 c4 30          	add    $0x30,%rsp
1402b58b1:	41 5f                	pop    %r15
1402b58b3:	41 5e                	pop    %r14
1402b58b5:	5f                   	pop    %rdi
1402b58b6:	c3                   	ret
1402b58b7:	cc                   	int3
1402b58b8:	cc                   	int3
1402b58b9:	cc                   	int3
1402b58ba:	cc                   	int3
1402b58bb:	cc                   	int3
1402b58bc:	cc                   	int3
1402b58bd:	cc                   	int3
1402b58be:	cc                   	int3
1402b58bf:	cc                   	int3
1402b58c0:	48 8d 05 f9 f7 0d 00 	lea    0xdf7f9(%rip),%rax        # 0x1403950c0
1402b58c7:	c3                   	ret
1402b58c8:	cc                   	int3
1402b58c9:	cc                   	int3
1402b58ca:	cc                   	int3
1402b58cb:	cc                   	int3
1402b58cc:	cc                   	int3
1402b58cd:	cc                   	int3
1402b58ce:	cc                   	int3
1402b58cf:	cc                   	int3
1402b58d0:	48 8d 05 49 f8 0d 00 	lea    0xdf849(%rip),%rax        # 0x140395120
1402b58d7:	c3                   	ret
1402b58d8:	cc                   	int3
1402b58d9:	cc                   	int3
1402b58da:	cc                   	int3
1402b58db:	cc                   	int3
1402b58dc:	cc                   	int3
1402b58dd:	cc                   	int3
1402b58de:	cc                   	int3
1402b58df:	cc                   	int3
1402b58e0:	48 8d 05 f9 f8 0d 00 	lea    0xdf8f9(%rip),%rax        # 0x1403951e0
1402b58e7:	c3                   	ret
1402b58e8:	cc                   	int3
1402b58e9:	cc                   	int3
1402b58ea:	cc                   	int3
1402b58eb:	cc                   	int3
1402b58ec:	cc                   	int3
1402b58ed:	cc                   	int3
1402b58ee:	cc                   	int3
1402b58ef:	cc                   	int3
1402b58f0:	48 8d 05 89 f8 0d 00 	lea    0xdf889(%rip),%rax        # 0x140395180
1402b58f7:	c3                   	ret
1402b58f8:	cc                   	int3
1402b58f9:	cc                   	int3
1402b58fa:	cc                   	int3
1402b58fb:	cc                   	int3
1402b58fc:	cc                   	int3
1402b58fd:	cc                   	int3
1402b58fe:	cc                   	int3
1402b58ff:	cc                   	int3
1402b5900:	40 53                	rex push %rbx
1402b5902:	b8 20 00 00 00       	mov    $0x20,%eax
1402b5907:	e8 d4 4c 04 00       	call   0x1402fa5e0
1402b590c:	48 2b e0             	sub    %rax,%rsp
1402b590f:	48 8b da             	mov    %rdx,%rbx
1402b5912:	e8 a9 a3 f8 ff       	call   0x14023fcc0
1402b5917:	48 8b d0             	mov    %rax,%rdx
1402b591a:	48 8b cb             	mov    %rbx,%rcx
1402b591d:	e8 de 31 03 00       	call   0x1402e8b00
1402b5922:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5927:	48 83 c4 20          	add    $0x20,%rsp
1402b592b:	5b                   	pop    %rbx
1402b592c:	c3                   	ret
1402b592d:	cc                   	int3
1402b592e:	cc                   	int3
1402b592f:	cc                   	int3
1402b5930:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402b5935:	48 89 6c 24 10       	mov    %rbp,0x10(%rsp)
1402b593a:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
1402b593f:	57                   	push   %rdi
1402b5940:	41 54                	push   %r12
1402b5942:	41 55                	push   %r13
1402b5944:	41 56                	push   %r14
1402b5946:	41 57                	push   %r15
1402b5948:	b8 30 00 00 00       	mov    $0x30,%eax
1402b594d:	e8 8e 4c 04 00       	call   0x1402fa5e0
1402b5952:	48 2b e0             	sub    %rax,%rsp
1402b5955:	4c 8d 2d 04 24 03 00 	lea    0x32404(%rip),%r13        # 0x1402e7d60
1402b595c:	4d 8b e1             	mov    %r9,%r12
1402b595f:	4c 8d 35 5a 16 03 00 	lea    0x3165a(%rip),%r14        # 0x1402e6fc0
1402b5966:	49 8b f8             	mov    %r8,%rdi
1402b5969:	48 8b f2             	mov    %rdx,%rsi
1402b596c:	4c 8b f9             	mov    %rcx,%r15
1402b596f:	49 81 f9 00 00 00 40 	cmp    $0x40000000,%r9
1402b5976:	0f 82 94 00 00 00    	jb     0x1402b5a10
1402b597c:	49 8b e9             	mov    %r9,%rbp
1402b597f:	48 c1 ed 1e          	shr    $0x1e,%rbp
1402b5983:	48 69 c5 00 00 00 c0 	imul   $0xffffffffc0000000,%rbp,%rax
1402b598a:	4c 03 e0             	add    %rax,%r12
1402b598d:	4c 89 64 24 78       	mov    %r12,0x78(%rsp)
1402b5992:	4c 8d 25 27 16 03 00 	lea    0x31627(%rip),%r12        # 0x1402e6fc0
1402b5999:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1402b59a0:	49 8b cf             	mov    %r15,%rcx
1402b59a3:	e8 28 d8 f7 ff       	call   0x1402331d0
1402b59a8:	49 8b cf             	mov    %r15,%rcx
1402b59ab:	8b d8                	mov    %eax,%ebx
1402b59ad:	e8 8e 74 f1 ff       	call   0x1401cce40
1402b59b2:	49 8b cf             	mov    %r15,%rcx
1402b59b5:	4c 8b f0             	mov    %rax,%r14
1402b59b8:	e8 03 a3 f8 ff       	call   0x14023fcc0
1402b59bd:	4c 8b c8             	mov    %rax,%r9
1402b59c0:	41 b8 00 00 00 40    	mov    $0x40000000,%r8d
1402b59c6:	48 8b d6             	mov    %rsi,%rdx
1402b59c9:	48 8b cf             	mov    %rdi,%rcx
1402b59cc:	85 db                	test   %ebx,%ebx
1402b59ce:	74 11                	je     0x1402b59e1
1402b59d0:	4c 89 6c 24 28       	mov    %r13,0x28(%rsp)
1402b59d5:	4c 89 74 24 20       	mov    %r14,0x20(%rsp)
1402b59da:	e8 81 60 fe ff       	call   0x14029ba60
1402b59df:	eb 0f                	jmp    0x1402b59f0
1402b59e1:	4c 89 64 24 28       	mov    %r12,0x28(%rsp)
1402b59e6:	4c 89 74 24 20       	mov    %r14,0x20(%rsp)
1402b59eb:	e8 b0 5d fe ff       	call   0x14029b7a0
1402b59f0:	48 81 c7 00 00 00 40 	add    $0x40000000,%rdi
1402b59f7:	48 81 c6 00 00 00 40 	add    $0x40000000,%rsi
1402b59fe:	48 83 ed 01          	sub    $0x1,%rbp
1402b5a02:	75 9c                	jne    0x1402b59a0
1402b5a04:	4c 8b 64 24 78       	mov    0x78(%rsp),%r12
1402b5a09:	4c 8d 35 b0 15 03 00 	lea    0x315b0(%rip),%r14        # 0x1402e6fc0
1402b5a10:	4d 85 e4             	test   %r12,%r12
1402b5a13:	74 4d                	je     0x1402b5a62
1402b5a15:	49 8b cf             	mov    %r15,%rcx
1402b5a18:	e8 b3 d7 f7 ff       	call   0x1402331d0
1402b5a1d:	49 8b cf             	mov    %r15,%rcx
1402b5a20:	8b d8                	mov    %eax,%ebx
1402b5a22:	e8 19 74 f1 ff       	call   0x1401cce40
1402b5a27:	49 8b cf             	mov    %r15,%rcx
1402b5a2a:	48 8b e8             	mov    %rax,%rbp
1402b5a2d:	e8 8e a2 f8 ff       	call   0x14023fcc0
1402b5a32:	4d 63 c4             	movslq %r12d,%r8
1402b5a35:	4c 8b c8             	mov    %rax,%r9
1402b5a38:	48 8b d6             	mov    %rsi,%rdx
1402b5a3b:	48 8b cf             	mov    %rdi,%rcx
1402b5a3e:	85 db                	test   %ebx,%ebx
1402b5a40:	74 11                	je     0x1402b5a53
1402b5a42:	4c 89 6c 24 28       	mov    %r13,0x28(%rsp)
1402b5a47:	48 89 6c 24 20       	mov    %rbp,0x20(%rsp)
1402b5a4c:	e8 0f 60 fe ff       	call   0x14029ba60
1402b5a51:	eb 0f                	jmp    0x1402b5a62
1402b5a53:	4c 89 74 24 28       	mov    %r14,0x28(%rsp)
1402b5a58:	48 89 6c 24 20       	mov    %rbp,0x20(%rsp)
1402b5a5d:	e8 3e 5d fe ff       	call   0x14029b7a0
1402b5a62:	48 8b 5c 24 60       	mov    0x60(%rsp),%rbx
1402b5a67:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5a6c:	48 8b 6c 24 68       	mov    0x68(%rsp),%rbp
1402b5a71:	48 8b 74 24 70       	mov    0x70(%rsp),%rsi
1402b5a76:	48 83 c4 30          	add    $0x30,%rsp
1402b5a7a:	41 5f                	pop    %r15
1402b5a7c:	41 5e                	pop    %r14
1402b5a7e:	41 5d                	pop    %r13
1402b5a80:	41 5c                	pop    %r12
1402b5a82:	5f                   	pop    %rdi
1402b5a83:	c3                   	ret
1402b5a84:	cc                   	int3
1402b5a85:	cc                   	int3
1402b5a86:	cc                   	int3
1402b5a87:	cc                   	int3
1402b5a88:	cc                   	int3
1402b5a89:	cc                   	int3
1402b5a8a:	cc                   	int3
1402b5a8b:	cc                   	int3
1402b5a8c:	cc                   	int3
1402b5a8d:	cc                   	int3
1402b5a8e:	cc                   	int3
1402b5a8f:	cc                   	int3
1402b5a90:	40 55                	rex push %rbp
1402b5a92:	41 54                	push   %r12
1402b5a94:	41 56                	push   %r14
1402b5a96:	41 57                	push   %r15
1402b5a98:	b8 48 00 00 00       	mov    $0x48,%eax
1402b5a9d:	e8 3e 4b 04 00       	call   0x1402fa5e0
1402b5aa2:	48 2b e0             	sub    %rax,%rsp
1402b5aa5:	49 8b e9             	mov    %r9,%rbp
1402b5aa8:	4d 8b f8             	mov    %r8,%r15
1402b5aab:	4c 8b e2             	mov    %rdx,%r12
1402b5aae:	4c 8b f1             	mov    %rcx,%r14
1402b5ab1:	4d 85 c9             	test   %r9,%r9
1402b5ab4:	0f 84 e4 00 00 00    	je     0x1402b5b9e
1402b5aba:	48 89 5c 24 70       	mov    %rbx,0x70(%rsp)
1402b5abf:	b8 00 00 00 40       	mov    $0x40000000,%eax
1402b5ac4:	4c 89 6c 24 40       	mov    %r13,0x40(%rsp)
1402b5ac9:	4c 3b c8             	cmp    %rax,%r9
1402b5acc:	49 8b d9             	mov    %r9,%rbx
1402b5acf:	48 89 74 24 78       	mov    %rsi,0x78(%rsp)
1402b5ad4:	48 0f 43 d8          	cmovae %rax,%rbx
1402b5ad8:	48 89 bc 24 80 00 00 	mov    %rdi,0x80(%rsp)
1402b5adf:	00
1402b5ae0:	4c 8d 2d 79 22 03 00 	lea    0x32279(%rip),%r13        # 0x1402e7d60
1402b5ae7:	48 3b eb             	cmp    %rbx,%rbp
1402b5aea:	0f 82 86 00 00 00    	jb     0x1402b5b76
1402b5af0:	49 8b ce             	mov    %r14,%rcx
1402b5af3:	e8 28 a2 f8 ff       	call   0x14023fd20
1402b5af8:	49 8b ce             	mov    %r14,%rcx
1402b5afb:	89 84 24 88 00 00 00 	mov    %eax,0x88(%rsp)
1402b5b02:	e8 c9 d6 f7 ff       	call   0x1402331d0
1402b5b07:	49 8b ce             	mov    %r14,%rcx
1402b5b0a:	8b f8                	mov    %eax,%edi
1402b5b0c:	e8 2f 73 f1 ff       	call   0x1401cce40