140255496:	57                   	push   %rdi
140255497:	41 54                	push   %r12
140255499:	41 56                	push   %r14
14025549b:	41 57                	push   %r15
14025549d:	b8 50 00 00 00       	mov    $0x50,%eax
1402554a2:	e8 39 51 0a 00       	call   0x1402fa5e0
1402554a7:	48 2b e0             	sub    %rax,%rsp
1402554aa:	49 8b f1             	mov    %r9,%rsi
1402554ad:	4d 8b f8             	mov    %r8,%r15
1402554b0:	4c 8b e2             	mov    %rdx,%r12
1402554b3:	48 8b f9             	mov    %rcx,%rdi
1402554b6:	e8 05 a8 fe ff       	call   0x14023fcc0
1402554bb:	ba 00 20 00 00       	mov    $0x2000,%edx
1402554c0:	48 8b cf             	mov    %rdi,%rcx
1402554c3:	4c 8b f0             	mov    %rax,%r14
1402554c6:	e8 75 a8 fe ff       	call   0x14023fd40
1402554cb:	85 c0                	test   %eax,%eax
1402554cd:	74 26                	je     0x1402554f5
1402554cf:	48 8b cf             	mov    %rdi,%rcx
1402554d2:	e8 49 a8 fe ff       	call   0x14023fd20
1402554d7:	48 8b cf             	mov    %rdi,%rcx
1402554da:	89 44 24 40          	mov    %eax,0x40(%rsp)
1402554de:	e8 ed dc fd ff       	call   0x1402331d0
1402554e3:	48 8b cf             	mov    %rdi,%rcx
1402554e6:	8b d8                	mov    %eax,%ebx
1402554e8:	e8 53 79 f7 ff       	call   0x1401cce40
1402554ed:	4c 8b c6             	mov    %rsi,%r8
1402554f0:	e9 e6 00 00 00       	jmp    0x1402555db
1402554f5:	4c 89 ac 24 88 00 00 	mov    %r13,0x88(%rsp)
1402554fc:	00
1402554fd:	49 bd 00 00 00 00 00 	movabs $0x1000000000000000,%r13
140255504:	00 00 10
140255507:	49 3b f5             	cmp    %r13,%rsi
14025550a:	0f 82 98 00 00 00    	jb     0x1402555a8
140255510:	48 89 ac 24 80 00 00 	mov    %rbp,0x80(%rsp)
140255517:	00
140255518:	48 b9 00 00 00 00 00 	movabs $0xf000000000000000,%rcx
14025551f:	00 00 f0
140255522:	48 8b ee             	mov    %rsi,%rbp
140255525:	48 c1 ed 3c          	shr    $0x3c,%rbp
140255529:	48 8b c5             	mov    %rbp,%rax
14025552c:	48 0f af c1          	imul   %rcx,%rax
140255530:	48 03 f0             	add    %rax,%rsi
140255533:	48 8b cf             	mov    %rdi,%rcx
140255536:	e8 e5 a7 fe ff       	call   0x14023fd20
14025553b:	48 8b cf             	mov    %rdi,%rcx
14025553e:	89 44 24 40          	mov    %eax,0x40(%rsp)
140255542:	e8 89 dc fd ff       	call   0x1402331d0
140255547:	48 8b cf             	mov    %rdi,%rcx
14025554a:	8b d8                	mov    %eax,%ebx
14025554c:	e8 ef 78 f7 ff       	call   0x1401cce40
140255551:	49 8b 8e 18 01 00 00 	mov    0x118(%r14),%rcx
140255558:	4d 8b ce             	mov    %r14,%r9
14025555b:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
140255560:	49 b8 00 00 00 00 00 	movabs $0x8000000000000000,%r8
140255567:	00 00 80
14025556a:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
14025556f:	89 5c 24 30          	mov    %ebx,0x30(%rsp)
140255573:	48 89 4c 24 28       	mov    %rcx,0x28(%rsp)
140255578:	49 8b d4             	mov    %r12,%rdx
14025557b:	49 8b cf             	mov    %r15,%rcx
14025557e:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140255583:	e8 68 6c 04 00       	call   0x14029c1f0
140255588:	8b 54 24 40          	mov    0x40(%rsp),%edx
14025558c:	48 8b cf             	mov    %rdi,%rcx
14025558f:	e8 9c a7 fe ff       	call   0x14023fd30
140255594:	4d 03 e5             	add    %r13,%r12
140255597:	4d 03 fd             	add    %r13,%r15
14025559a:	48 83 ed 01          	sub    $0x1,%rbp
14025559e:	75 93                	jne    0x140255533
1402555a0:	48 8b ac 24 80 00 00 	mov    0x80(%rsp),%rbp
1402555a7:	00
1402555a8:	4c 8b ac 24 88 00 00 	mov    0x88(%rsp),%r13
1402555af:	00
1402555b0:	48 85 f6             	test   %rsi,%rsi
1402555b3:	74 5f                	je     0x140255614
1402555b5:	48 8b cf             	mov    %rdi,%rcx
1402555b8:	e8 63 a7 fe ff       	call   0x14023fd20
1402555bd:	48 8b cf             	mov    %rdi,%rcx
1402555c0:	89 44 24 40          	mov    %eax,0x40(%rsp)
1402555c4:	e8 07 dc fd ff       	call   0x1402331d0
1402555c9:	48 8b cf             	mov    %rdi,%rcx
1402555cc:	8b d8                	mov    %eax,%ebx
1402555ce:	e8 6d 78 f7 ff       	call   0x1401cce40
1402555d3:	4c 8d 04 f5 00 00 00 	lea    0x0(,%rsi,8),%r8
1402555da:	00
1402555db:	49 8b 8e 18 01 00 00 	mov    0x118(%r14),%rcx
1402555e2:	4d 8b ce             	mov    %r14,%r9
1402555e5:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
1402555ea:	49 8b d4             	mov    %r12,%rdx
1402555ed:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1402555f2:	89 5c 24 30          	mov    %ebx,0x30(%rsp)
1402555f6:	48 89 4c 24 28       	mov    %rcx,0x28(%rsp)
1402555fb:	49 8b cf             	mov    %r15,%rcx
1402555fe:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140255603:	e8 e8 6b 04 00       	call   0x14029c1f0
140255608:	8b 54 24 40          	mov    0x40(%rsp),%edx
14025560c:	48 8b cf             	mov    %rdi,%rcx
14025560f:	e8 1c a7 fe ff       	call   0x14023fd30
140255614:	48 8b 9c 24 90 00 00 	mov    0x90(%rsp),%rbx
14025561b:	00
14025561c:	b8 01 00 00 00       	mov    $0x1,%eax
140255621:	48 83 c4 50          	add    $0x50,%rsp
140255625:	41 5f                	pop    %r15
140255627:	41 5e                	pop    %r14
140255629:	41 5c                	pop    %r12
14025562b:	5f                   	pop    %rdi
14025562c:	5e                   	pop    %rsi
14025562d:	c3                   	ret
14025562e:	cc                   	int3
14025562f:	cc                   	int3
140255630:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
140255635:	48 89 6c 24 10       	mov    %rbp,0x10(%rsp)
14025563a:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
14025563f:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
140255644:	41 54                	push   %r12
140255646:	41 56                	push   %r14
140255648:	41 57                	push   %r15
14025564a:	b8 50 00 00 00       	mov    $0x50,%eax
14025564f:	e8 8c 4f 0a 00       	call   0x1402fa5e0
140255654:	48 2b e0             	sub    %rax,%rsp
140255657:	4d 8b f1             	mov    %r9,%r14
14025565a:	4d 8b f8             	mov    %r8,%r15
14025565d:	4c 8b e2             	mov    %rdx,%r12
140255660:	48 8b f9             	mov    %rcx,%rdi
140255663:	e8 b8 a6 fe ff       	call   0x14023fd20
140255668:	48 8b cf             	mov    %rdi,%rcx
14025566b:	89 44 24 40          	mov    %eax,0x40(%rsp)
14025566f:	e8 4c a6 fe ff       	call   0x14023fcc0
140255674:	48 8b cf             	mov    %rdi,%rcx
140255677:	48 8b f0             	mov    %rax,%rsi
14025567a:	48 8b a8 20 01 00 00 	mov    0x120(%rax),%rbp
140255681:	e8 2a a6 fe ff       	call   0x14023fcb0
140255686:	48 8b cf             	mov    %rdi,%rcx
140255689:	48 8b d8             	mov    %rax,%rbx
14025568c:	e8 af 77 f7 ff       	call   0x1401cce40
140255691:	4c 8b ce             	mov    %rsi,%r9
140255694:	4d 8b c6             	mov    %r14,%r8
140255697:	49 8b d4             	mov    %r12,%rdx
14025569a:	48 85 ed             	test   %rbp,%rbp
14025569d:	74 23                	je     0x1402556c2
14025569f:	48 89 6c 24 38       	mov    %rbp,0x38(%rsp)
1402556a4:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1402556a9:	48 89 4c 24 30       	mov    %rcx,0x30(%rsp)
1402556ae:	49 8b cf             	mov    %r15,%rcx
1402556b1:	48 89 5c 24 28       	mov    %rbx,0x28(%rsp)
1402556b6:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1402556bb:	e8 f0 66 04 00       	call   0x14029bdb0
1402556c0:	eb 28                	jmp    0x1402556ea
1402556c2:	48 8b 8e 18 01 00 00 	mov    0x118(%rsi),%rcx
1402556c9:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
1402556ce:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1402556d3:	48 89 4c 24 30       	mov    %rcx,0x30(%rsp)
1402556d8:	49 8b cf             	mov    %r15,%rcx
1402556db:	48 89 5c 24 28       	mov    %rbx,0x28(%rsp)
1402556e0:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1402556e5:	e8 46 65 04 00       	call   0x14029bc30
1402556ea:	8b 54 24 40          	mov    0x40(%rsp),%edx
1402556ee:	48 8b cf             	mov    %rdi,%rcx
1402556f1:	e8 3a a6 fe ff       	call   0x14023fd30
1402556f6:	4c 8d 5c 24 50       	lea    0x50(%rsp),%r11
1402556fb:	b8 01 00 00 00       	mov    $0x1,%eax
140255700:	49 8b 5b 20          	mov    0x20(%r11),%rbx
140255704:	49 8b 6b 28          	mov    0x28(%r11),%rbp
140255708:	49 8b 73 30          	mov    0x30(%r11),%rsi
14025570c:	49 8b 7b 38          	mov    0x38(%r11),%rdi
140255710:	49 8b e3             	mov    %r11,%rsp
140255713:	41 5f                	pop    %r15
140255715:	41 5e                	pop    %r14
140255717:	41 5c                	pop    %r12
140255719:	c3                   	ret
14025571a:	cc                   	int3
14025571b:	cc                   	int3
14025571c:	cc                   	int3
14025571d:	cc                   	int3
14025571e:	cc                   	int3
14025571f:	cc                   	int3
140255720:	48 8d 05 29 74 12 00 	lea    0x127429(%rip),%rax        # 0x14037cb50
140255727:	c3                   	ret
140255728:	cc                   	int3
140255729:	cc                   	int3
14025572a:	cc                   	int3
14025572b:	cc                   	int3
14025572c:	cc                   	int3
14025572d:	cc                   	int3
14025572e:	cc                   	int3
14025572f:	cc                   	int3
140255730:	48 8d 05 99 75 12 00 	lea    0x127599(%rip),%rax        # 0x14037ccd0
140255737:	c3                   	ret
140255738:	cc                   	int3
140255739:	cc                   	int3
14025573a:	cc                   	int3
14025573b:	cc                   	int3
14025573c:	cc                   	int3
14025573d:	cc                   	int3
14025573e:	cc                   	int3
14025573f:	cc                   	int3
140255740:	48 8d 05 29 75 12 00 	lea    0x127529(%rip),%rax        # 0x14037cc70
140255747:	c3                   	ret
140255748:	cc                   	int3
140255749:	cc                   	int3
14025574a:	cc                   	int3
14025574b:	cc                   	int3
14025574c:	cc                   	int3
14025574d:	cc                   	int3
14025574e:	cc                   	int3
14025574f:	cc                   	int3
140255750:	48 8d 05 d9 75 12 00 	lea    0x1275d9(%rip),%rax        # 0x14037cd30
140255757:	c3                   	ret
140255758:	cc                   	int3
140255759:	cc                   	int3
14025575a:	cc                   	int3
14025575b:	cc                   	int3
14025575c:	cc                   	int3
14025575d:	cc                   	int3
14025575e:	cc                   	int3
14025575f:	cc                   	int3
140255760:	48 8d 05 29 76 12 00 	lea    0x127629(%rip),%rax        # 0x14037cd90
140255767:	c3                   	ret
140255768:	cc                   	int3
140255769:	cc                   	int3
14025576a:	cc                   	int3
14025576b:	cc                   	int3
14025576c:	cc                   	int3
14025576d:	cc                   	int3
14025576e:	cc                   	int3
14025576f:	cc                   	int3
140255770:	48 8d 05 39 74 12 00 	lea    0x127439(%rip),%rax        # 0x14037cbb0
140255777:	c3                   	ret
140255778:	cc                   	int3
140255779:	cc                   	int3
14025577a:	cc                   	int3
14025577b:	cc                   	int3
14025577c:	cc                   	int3
14025577d:	cc                   	int3
14025577e:	cc                   	int3
14025577f:	cc                   	int3
140255780:	48 8d 05 89 74 12 00 	lea    0x127489(%rip),%rax        # 0x14037cc10
140255787:	c3                   	ret
140255788:	cc                   	int3
140255789:	cc                   	int3
14025578a:	cc                   	int3
14025578b:	cc                   	int3
14025578c:	cc                   	int3
14025578d:	cc                   	int3
14025578e:	cc                   	int3
14025578f:	cc                   	int3
140255790:	48 8d 05 59 76 12 00 	lea    0x127659(%rip),%rax        # 0x14037cdf0
140255797:	c3                   	ret
140255798:	cc                   	int3
140255799:	cc                   	int3
14025579a:	cc                   	int3
14025579b:	cc                   	int3
14025579c:	cc                   	int3
14025579d:	cc                   	int3
14025579e:	cc                   	int3
14025579f:	cc                   	int3
1402557a0:	48 8d 05 c9 77 12 00 	lea    0x1277c9(%rip),%rax        # 0x14037cf70
1402557a7:	c3                   	ret
1402557a8:	cc                   	int3
1402557a9:	cc                   	int3
1402557aa:	cc                   	int3
1402557ab:	cc                   	int3
1402557ac:	cc                   	int3
1402557ad:	cc                   	int3
1402557ae:	cc                   	int3
1402557af:	cc                   	int3
1402557b0:	48 8d 05 59 77 12 00 	lea    0x127759(%rip),%rax        # 0x14037cf10
1402557b7:	c3                   	ret
1402557b8:	cc                   	int3
1402557b9:	cc                   	int3
1402557ba:	cc                   	int3
1402557bb:	cc                   	int3
1402557bc:	cc                   	int3
1402557bd:	cc                   	int3
1402557be:	cc                   	int3
1402557bf:	cc                   	int3
1402557c0:	48 8d 05 09 78 12 00 	lea    0x127809(%rip),%rax        # 0x14037cfd0
1402557c7:	c3                   	ret
1402557c8:	cc                   	int3
1402557c9:	cc                   	int3
1402557ca:	cc                   	int3
1402557cb:	cc                   	int3
1402557cc:	cc                   	int3
1402557cd:	cc                   	int3
1402557ce:	cc                   	int3
1402557cf:	cc                   	int3
1402557d0:	48 8d 05 59 78 12 00 	lea    0x127859(%rip),%rax        # 0x14037d030
1402557d7:	c3                   	ret
1402557d8:	cc                   	int3
1402557d9:	cc                   	int3
1402557da:	cc                   	int3
1402557db:	cc                   	int3
1402557dc:	cc                   	int3
1402557dd:	cc                   	int3
1402557de:	cc                   	int3
1402557df:	cc                   	int3
1402557e0:	48 8d 05 69 76 12 00 	lea    0x127669(%rip),%rax        # 0x14037ce50
1402557e7:	c3                   	ret
1402557e8:	cc                   	int3
1402557e9:	cc                   	int3
1402557ea:	cc                   	int3
1402557eb:	cc                   	int3
1402557ec:	cc                   	int3
1402557ed:	cc                   	int3
1402557ee:	cc                   	int3
1402557ef:	cc                   	int3
1402557f0:	48 8d 05 b9 76 12 00 	lea    0x1276b9(%rip),%rax        # 0x14037ceb0
1402557f7:	c3                   	ret
1402557f8:	cc                   	int3
1402557f9:	cc                   	int3
1402557fa:	cc                   	int3
1402557fb:	cc                   	int3
1402557fc:	cc                   	int3
1402557fd:	cc                   	int3
1402557fe:	cc                   	int3
1402557ff:	cc                   	int3
140255800:	48 8d 05 89 78 12 00 	lea    0x127889(%rip),%rax        # 0x14037d090
140255807:	c3                   	ret
140255808:	cc                   	int3
140255809:	cc                   	int3
14025580a:	cc                   	int3
14025580b:	cc                   	int3
14025580c:	cc                   	int3
14025580d:	cc                   	int3
14025580e:	cc                   	int3
14025580f:	cc                   	int3
140255810:	48 8d 05 f9 79 12 00 	lea    0x1279f9(%rip),%rax        # 0x14037d210
140255817:	c3                   	ret
140255818:	cc                   	int3
140255819:	cc                   	int3
14025581a:	cc                   	int3
14025581b:	cc                   	int3
14025581c:	cc                   	int3
14025581d:	cc                   	int3
14025581e:	cc                   	int3
14025581f:	cc                   	int3
140255820:	48 8d 05 89 79 12 00 	lea    0x127989(%rip),%rax        # 0x14037d1b0
140255827:	c3                   	ret
140255828:	cc                   	int3
140255829:	cc                   	int3
14025582a:	cc                   	int3
14025582b:	cc                   	int3
14025582c:	cc                   	int3
14025582d:	cc                   	int3
14025582e:	cc                   	int3
14025582f:	cc                   	int3
140255830:	48 8d 05 39 7a 12 00 	lea    0x127a39(%rip),%rax        # 0x14037d270
140255837:	c3                   	ret
140255838:	cc                   	int3