1402b75a0:	75 1b                	jne    0x1402b75bd
1402b75a2:	66 0f 6f 05 86 a6 8f 	movdqa 0x8fa686(%rip),%xmm0        # 0x140bb1c30
1402b75a9:	00
1402b75aa:	f3 0f 7f 84 24 80 01 	movdqu %xmm0,0x180(%rsp)
1402b75b1:	00 00
1402b75b3:	66 89 b4 24 70 01 00 	mov    %si,0x170(%rsp)
1402b75ba:	00
1402b75bb:	eb 11                	jmp    0x1402b75ce
1402b75bd:	4c 2b ca             	sub    %rdx,%r9
1402b75c0:	48 8d 8c 24 70 01 00 	lea    0x170(%rsp),%rcx
1402b75c7:	00
1402b75c8:	e8 ff 54 02 00       	call   0x1402dcacc
1402b75cd:	90                   	nop
1402b75ce:	48 8d 94 24 70 01 00 	lea    0x170(%rsp),%rdx
1402b75d5:	00
1402b75d6:	48 8b cf             	mov    %rdi,%rcx
1402b75d9:	e8 4a 12 ef ff       	call   0x1401a8828
1402b75de:	48 8d 8c 24 70 01 00 	lea    0x170(%rsp),%rcx
1402b75e5:	00
1402b75e6:	e8 d5 ed d4 ff       	call   0x1400063c0
1402b75eb:	48 8b 1b             	mov    (%rbx),%rbx
1402b75ee:	49 03 dd             	add    %r13,%rbx
1402b75f1:	48 8b 84 24 f8 00 00 	mov    0xf8(%rsp),%rax
1402b75f8:	00
1402b75f9:	48 8b 94 24 f0 00 00 	mov    0xf0(%rsp),%rdx
1402b7600:	00
1402b7601:	48 2b c2             	sub    %rdx,%rax
1402b7604:	48 c1 f8 05          	sar    $0x5,%rax
1402b7608:	49 3b c7             	cmp    %r15,%rax
1402b760b:	0f 86 5d 02 00 00    	jbe    0x1402b786e
1402b7611:	48 83 c2 20          	add    $0x20,%rdx
1402b7615:	48 8b ca             	mov    %rdx,%rcx
1402b7618:	4c 39 62 18          	cmp    %r12,0x18(%rdx)
1402b761c:	76 03                	jbe    0x1402b7621
1402b761e:	48 8b 0a             	mov    (%rdx),%rcx
1402b7621:	4c 8b 4a 10          	mov    0x10(%rdx),%r9
1402b7625:	4c 03 c9             	add    %rcx,%r9
1402b7628:	4c 39 62 18          	cmp    %r12,0x18(%rdx)
1402b762c:	76 03                	jbe    0x1402b7631
1402b762e:	48 8b 12             	mov    (%rdx),%rdx
1402b7631:	0f 57 c0             	xorps  %xmm0,%xmm0
1402b7634:	0f 11 84 24 70 01 00 	movups %xmm0,0x170(%rsp)
1402b763b:	00
1402b763c:	0f 57 c9             	xorps  %xmm1,%xmm1
1402b763f:	f3 0f 7f 8c 24 80 01 	movdqu %xmm1,0x180(%rsp)
1402b7646:	00 00
1402b7648:	49 3b d1             	cmp    %r9,%rdx
1402b764b:	75 1b                	jne    0x1402b7668
1402b764d:	66 0f 6f 05 db a5 8f 	movdqa 0x8fa5db(%rip),%xmm0        # 0x140bb1c30
1402b7654:	00
1402b7655:	f3 0f 7f 84 24 80 01 	movdqu %xmm0,0x180(%rsp)
1402b765c:	00 00
1402b765e:	66 89 b4 24 70 01 00 	mov    %si,0x170(%rsp)
1402b7665:	00
1402b7666:	eb 11                	jmp    0x1402b7679
1402b7668:	4c 2b ca             	sub    %rdx,%r9
1402b766b:	48 8d 8c 24 70 01 00 	lea    0x170(%rsp),%rcx
1402b7672:	00
1402b7673:	e8 54 54 02 00       	call   0x1402dcacc
1402b7678:	90                   	nop
1402b7679:	48 8d 94 24 70 01 00 	lea    0x170(%rsp),%rdx
1402b7680:	00
1402b7681:	48 8b cb             	mov    %rbx,%rcx
1402b7684:	e8 9f 11 ef ff       	call   0x1401a8828
1402b7689:	48 8d 8c 24 70 01 00 	lea    0x170(%rsp),%rcx
1402b7690:	00
1402b7691:	e8 2a ed d4 ff       	call   0x1400063c0
1402b7696:	48 8b 44 24 70       	mov    0x70(%rsp),%rax
1402b769b:	48 8b 88 d8 00 00 00 	mov    0xd8(%rax),%rcx
1402b76a2:	48 8b 01             	mov    (%rcx),%rax
1402b76a5:	48 8b 40 78          	mov    0x78(%rax),%rax
1402b76a9:	ff 15 89 55 85 00    	call   *0x855589(%rip)        # 0x140b0cc38
1402b76af:	8a c8                	mov    %al,%cl
1402b76b1:	4c 8b 7c 24 60       	mov    0x60(%rsp),%r15
1402b76b6:	49 8b 07             	mov    (%r15),%rax
1402b76b9:	88 88 60 01 00 00    	mov    %cl,0x160(%rax)
1402b76bf:	48 8d 8c 24 f0 00 00 	lea    0xf0(%rsp),%rcx
1402b76c6:	00
1402b76c7:	e8 7c 90 ed ff       	call   0x140190748
1402b76cc:	48 8b 9c 24 98 00 00 	mov    0x98(%rsp),%rbx
1402b76d3:	00
1402b76d4:	48 85 db             	test   %rbx,%rbx
1402b76d7:	74 3a                	je     0x1402b7713
1402b76d9:	41 8b c6             	mov    %r14d,%eax
1402b76dc:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402b76e1:	41 03 c6             	add    %r14d,%eax
1402b76e4:	75 2d                	jne    0x1402b7713
1402b76e6:	48 8b 03             	mov    (%rbx),%rax
1402b76e9:	48 8b cb             	mov    %rbx,%rcx
1402b76ec:	48 8b 00             	mov    (%rax),%rax
1402b76ef:	ff 15 43 55 85 00    	call   *0x855543(%rip)        # 0x140b0cc38
1402b76f5:	41 8b c6             	mov    %r14d,%eax
1402b76f8:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402b76fd:	41 03 c6             	add    %r14d,%eax
1402b7700:	75 11                	jne    0x1402b7713
1402b7702:	48 8b 03             	mov    (%rbx),%rax
1402b7705:	48 8b cb             	mov    %rbx,%rcx
1402b7708:	48 8b 40 08          	mov    0x8(%rax),%rax
1402b770c:	ff 15 26 55 85 00    	call   *0x855526(%rip)        # 0x140b0cc38
1402b7712:	90                   	nop
1402b7713:	48 8b 8c 24 b8 00 00 	mov    0xb8(%rsp),%rcx
1402b771a:	00
1402b771b:	48 85 c9             	test   %rcx,%rcx
1402b771e:	74 47                	je     0x1402b7767
1402b7720:	41 8b c6             	mov    %r14d,%eax
1402b7723:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
1402b7728:	41 03 c6             	add    %r14d,%eax
1402b772b:	75 3a                	jne    0x1402b7767
1402b772d:	48 8b 9c 24 b8 00 00 	mov    0xb8(%rsp),%rbx
1402b7734:	00
1402b7735:	48 8b 03             	mov    (%rbx),%rax
1402b7738:	48 8b cb             	mov    %rbx,%rcx
1402b773b:	48 8b 00             	mov    (%rax),%rax
1402b773e:	ff 15 f4 54 85 00    	call   *0x8554f4(%rip)        # 0x140b0cc38
1402b7744:	41 8b c6             	mov    %r14d,%eax
1402b7747:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402b774c:	41 03 c6             	add    %r14d,%eax
1402b774f:	75 16                	jne    0x1402b7767
1402b7751:	48 8b 8c 24 b8 00 00 	mov    0xb8(%rsp),%rcx
1402b7758:	00
1402b7759:	48 8b 01             	mov    (%rcx),%rax
1402b775c:	48 8b 40 08          	mov    0x8(%rax),%rax
1402b7760:	ff 15 d2 54 85 00    	call   *0x8554d2(%rip)        # 0x140b0cc38
1402b7766:	90                   	nop
1402b7767:	48 8b 9c 24 80 00 00 	mov    0x80(%rsp),%rbx
1402b776e:	00
1402b776f:	48 85 db             	test   %rbx,%rbx
1402b7772:	74 3a                	je     0x1402b77ae
1402b7774:	41 8b c6             	mov    %r14d,%eax
1402b7777:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402b777c:	41 03 c6             	add    %r14d,%eax
1402b777f:	75 2d                	jne    0x1402b77ae
1402b7781:	48 8b 03             	mov    (%rbx),%rax
1402b7784:	48 8b cb             	mov    %rbx,%rcx
1402b7787:	48 8b 00             	mov    (%rax),%rax
1402b778a:	ff 15 a8 54 85 00    	call   *0x8554a8(%rip)        # 0x140b0cc38
1402b7790:	41 8b c6             	mov    %r14d,%eax
1402b7793:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402b7798:	41 03 c6             	add    %r14d,%eax
1402b779b:	75 11                	jne    0x1402b77ae
1402b779d:	48 8b 03             	mov    (%rbx),%rax
1402b77a0:	48 8b cb             	mov    %rbx,%rcx
1402b77a3:	48 8b 40 08          	mov    0x8(%rax),%rax
1402b77a7:	ff 15 8b 54 85 00    	call   *0x85548b(%rip)        # 0x140b0cc38
1402b77ad:	90                   	nop
1402b77ae:	48 8b 8c 24 e8 00 00 	mov    0xe8(%rsp),%rcx
1402b77b5:	00
1402b77b6:	48 85 c9             	test   %rcx,%rcx
1402b77b9:	74 47                	je     0x1402b7802
1402b77bb:	41 8b c6             	mov    %r14d,%eax
1402b77be:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
1402b77c3:	41 03 c6             	add    %r14d,%eax
1402b77c6:	75 3a                	jne    0x1402b7802
1402b77c8:	48 8b 9c 24 e8 00 00 	mov    0xe8(%rsp),%rbx
1402b77cf:	00
1402b77d0:	48 8b 03             	mov    (%rbx),%rax
1402b77d3:	48 8b cb             	mov    %rbx,%rcx
1402b77d6:	48 8b 00             	mov    (%rax),%rax
1402b77d9:	ff 15 59 54 85 00    	call   *0x855459(%rip)        # 0x140b0cc38
1402b77df:	41 8b c6             	mov    %r14d,%eax
1402b77e2:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402b77e7:	41 03 c6             	add    %r14d,%eax
1402b77ea:	75 16                	jne    0x1402b7802
1402b77ec:	48 8b 8c 24 e8 00 00 	mov    0xe8(%rsp),%rcx
1402b77f3:	00
1402b77f4:	48 8b 01             	mov    (%rcx),%rax
1402b77f7:	48 8b 40 08          	mov    0x8(%rax),%rax
1402b77fb:	ff 15 37 54 85 00    	call   *0x855437(%rip)        # 0x140b0cc38
1402b7801:	90                   	nop
1402b7802:	48 8b 9c 24 a8 00 00 	mov    0xa8(%rsp),%rbx
1402b7809:	00
1402b780a:	48 85 db             	test   %rbx,%rbx
1402b780d:	74 39                	je     0x1402b7848
1402b780f:	41 8b c6             	mov    %r14d,%eax
1402b7812:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402b7817:	41 03 c6             	add    %r14d,%eax
1402b781a:	75 2c                	jne    0x1402b7848
1402b781c:	48 8b 03             	mov    (%rbx),%rax
1402b781f:	48 8b cb             	mov    %rbx,%rcx
1402b7822:	48 8b 00             	mov    (%rax),%rax
1402b7825:	ff 15 0d 54 85 00    	call   *0x85540d(%rip)        # 0x140b0cc38
1402b782b:	41 8b d6             	mov    %r14d,%edx
1402b782e:	f0 0f c1 53 0c       	lock xadd %edx,0xc(%rbx)
1402b7833:	41 03 d6             	add    %r14d,%edx
1402b7836:	75 10                	jne    0x1402b7848
1402b7838:	48 8b 13             	mov    (%rbx),%rdx
1402b783b:	48 8b cb             	mov    %rbx,%rcx
1402b783e:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402b7842:	ff 15 f0 53 85 00    	call   *0x8553f0(%rip)        # 0x140b0cc38
1402b7848:	49 8b c7             	mov    %r15,%rax
1402b784b:	48 8b 8c 24 30 03 00 	mov    0x330(%rsp),%rcx
1402b7852:	00
1402b7853:	48 33 cc             	xor    %rsp,%rcx
1402b7856:	e8 85 7d 83 00       	call   0x140aef5e0
1402b785b:	48 81 c4 40 03 00 00 	add    $0x340,%rsp
1402b7862:	41 5f                	pop    %r15
1402b7864:	41 5e                	pop    %r14
1402b7866:	41 5d                	pop    %r13
1402b7868:	41 5c                	pop    %r12
1402b786a:	5f                   	pop    %rdi
1402b786b:	5e                   	pop    %rsi
1402b786c:	5b                   	pop    %rbx
1402b786d:	c3                   	ret
1402b786e:	ff 15 24 51 85 00    	call   *0x855124(%rip)        # 0x140b0c998
1402b7874:	cc                   	int3
1402b7875:	ff 15 1d 51 85 00    	call   *0x85511d(%rip)        # 0x140b0c998
1402b787b:	90                   	nop
1402b787c:	ba 07 82 04 80       	mov    $0x80048207,%edx
1402b7881:	48 8d 8c 24 f0 02 00 	lea    0x2f0(%rsp),%rcx
1402b7888:	00
1402b7889:	e8 66 78 ff ff       	call   0x1402af0f4
1402b788e:	48 8d 15 b3 ea 97 00 	lea    0x97eab3(%rip),%rdx        # 0x140c36348
1402b7895:	48 8d 8c 24 f0 02 00 	lea    0x2f0(%rsp),%rcx
1402b789c:	00
1402b789d:	e8 dc 8b 83 00       	call   0x140af047e
1402b78a2:	cc                   	int3
1402b78a3:	90                   	nop
1402b78a4:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402b78a9:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
1402b78ae:	55                   	push   %rbp
1402b78af:	57                   	push   %rdi
1402b78b0:	41 54                	push   %r12
1402b78b2:	41 55                	push   %r13
1402b78b4:	41 56                	push   %r14
1402b78b6:	48 8d 6c 24 c9       	lea    -0x37(%rsp),%rbp
1402b78bb:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
1402b78c2:	48 8b 05 77 77 a0 00 	mov    0xa07777(%rip),%rax        # 0x140cbf040
1402b78c9:	48 33 c4             	xor    %rsp,%rax
1402b78cc:	48 89 45 27          	mov    %rax,0x27(%rbp)
1402b78d0:	48 8b fa             	mov    %rdx,%rdi
1402b78d3:	0f 57 c0             	xorps  %xmm0,%xmm0
1402b78d6:	0f 11 45 07          	movups %xmm0,0x7(%rbp)
1402b78da:	33 db                	xor    %ebx,%ebx
1402b78dc:	48 89 5d 17          	mov    %rbx,0x17(%rbp)
1402b78e0:	48 c7 45 1f 0f 00 00 	movq   $0xf,0x1f(%rbp)
1402b78e7:	00
1402b78e8:	88 5d 07             	mov    %bl,0x7(%rbp)
1402b78eb:	f3 0f 7f 45 ef       	movdqu %xmm0,-0x11(%rbp)
1402b78f0:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402b78f4:	48 85 c0             	test   %rax,%rax
1402b78f7:	74 04                	je     0x1402b78fd
1402b78f9:	f0 ff 40 08          	lock incl 0x8(%rax)
1402b78fd:	48 8b 02             	mov    (%rdx),%rax
1402b7900:	48 89 45 ef          	mov    %rax,-0x11(%rbp)
1402b7904:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402b7908:	48 89 45 f7          	mov    %rax,-0x9(%rbp)
1402b790c:	41 b1 01             	mov    $0x1,%r9b
1402b790f:	45 33 c0             	xor    %r8d,%r8d
1402b7912:	48 8d 55 07          	lea    0x7(%rbp),%rdx
1402b7916:	48 8d 4d ef          	lea    -0x11(%rbp),%rcx
1402b791a:	e8 95 ed e6 ff       	call   0x1401266b4
1402b791f:	4c 8b 6d 1f          	mov    0x1f(%rbp),%r13
1402b7923:	48 8b 75 07          	mov    0x7(%rbp),%rsi
1402b7927:	84 c0                	test   %al,%al
1402b7929:	74 4c                	je     0x1402b7977
1402b792b:	48 8b 7d 17          	mov    0x17(%rbp),%rdi
1402b792f:	48 8d 4d 07          	lea    0x7(%rbp),%rcx
1402b7933:	49 83 fd 0f          	cmp    $0xf,%r13
1402b7937:	48 0f 47 ce          	cmova  %rsi,%rcx
1402b793b:	4c 8b c7             	mov    %rdi,%r8
1402b793e:	41 be 07 00 00 00    	mov    $0x7,%r14d
1402b7944:	49 3b fe             	cmp    %r14,%rdi
1402b7947:	4d 0f 47 c6          	cmova  %r14,%r8
1402b794b:	48 8d 15 be 1d 89 00 	lea    0x891dbe(%rip),%rdx        # 0x140b49710
1402b7952:	e8 93 a9 83 00       	call   0x140af22ea
1402b7957:	85 c0                	test   %eax,%eax
1402b7959:	0f 85 fd 00 00 00    	jne    0x1402b7a5c
1402b795f:	49 3b fe             	cmp    %r14,%rdi
1402b7962:	0f 85 f4 00 00 00    	jne    0x1402b7a5c
1402b7968:	8b c3                	mov    %ebx,%eax
1402b796a:	85 c0                	test   %eax,%eax
1402b796c:	0f 85 ea 00 00 00    	jne    0x1402b7a5c
1402b7972:	e9 fa 00 00 00       	jmp    0x1402b7a71
1402b7977:	0f 57 c0             	xorps  %xmm0,%xmm0
1402b797a:	f3 0f 7f 45 ef       	movdqu %xmm0,-0x11(%rbp)
1402b797f:	48 89 5d ff          	mov    %rbx,-0x1(%rbp)
1402b7983:	4c 8d 45 ef          	lea    -0x11(%rbp),%r8
1402b7987:	33 d2                	xor    %edx,%edx
1402b7989:	48 8b cf             	mov    %rdi,%rcx
1402b798c:	e8 23 28 02 00       	call   0x1402da1b4
1402b7991:	88 5d e7             	mov    %bl,-0x19(%rbp)
1402b7994:	4c 8b e3             	mov    %rbx,%r12
1402b7997:	4c 8b 75 f7          	mov    -0x9(%rbp),%r14
1402b799b:	48 8b 7d ef          	mov    -0x11(%rbp),%rdi
1402b799f:	4c 2b f7             	sub    %rdi,%r14
1402b79a2:	49 c1 fe 05          	sar    $0x5,%r14
1402b79a6:	4d 85 f6             	test   %r14,%r14
1402b79a9:	0f 84 b8 00 00 00    	je     0x1402b7a67
1402b79af:	ba 05 00 00 00       	mov    $0x5,%edx
1402b79b4:	49 3b de             	cmp    %r14,%rbx
1402b79b7:	0f 83 a3 00 00 00    	jae    0x1402b7a60
1402b79bd:	48 8b cf             	mov    %rdi,%rcx
1402b79c0:	48 83 7f 18 0f       	cmpq   $0xf,0x18(%rdi)
1402b79c5:	76 03                	jbe    0x1402b79ca
1402b79c7:	48 8b 0f             	mov    (%rdi),%rcx
1402b79ca:	4c 8b 47 10          	mov    0x10(%rdi),%r8
1402b79ce:	4c 3b c2             	cmp    %rdx,%r8
1402b79d1:	4c 0f 47 c2          	cmova  %rdx,%r8
1402b79d5:	48 8d 15 3c 1d 89 00 	lea    0x891d3c(%rip),%rdx        # 0x140b49718
1402b79dc:	e8 09 a9 83 00       	call   0x140af22ea
1402b79e1:	85 c0                	test   %eax,%eax
1402b79e3:	75 0d                	jne    0x1402b79f2
1402b79e5:	48 83 7f 10 05       	cmpq   $0x5,0x10(%rdi)
1402b79ea:	75 06                	jne    0x1402b79f2
1402b79ec:	8b c3                	mov    %ebx,%eax
1402b79ee:	85 c0                	test   %eax,%eax
1402b79f0:	74 3e                	je     0x1402b7a30
1402b79f2:	48 8b cf             	mov    %rdi,%rcx
1402b79f5:	48 83 7f 18 0f       	cmpq   $0xf,0x18(%rdi)
1402b79fa:	76 03                	jbe    0x1402b79ff
1402b79fc:	48 8b 0f             	mov    (%rdi),%rcx
1402b79ff:	4c 8b 47 10          	mov    0x10(%rdi),%r8
1402b7a03:	b8 04 00 00 00       	mov    $0x4,%eax
1402b7a08:	4c 3b c0             	cmp    %rax,%r8
1402b7a0b:	4c 0f 47 c0          	cmova  %rax,%r8
1402b7a0f:	48 8d 15 86 09 89 00 	lea    0x890986(%rip),%rdx        # 0x140b4839c
1402b7a16:	e8 cf a8 83 00       	call   0x140af22ea
1402b7a1b:	85 c0                	test   %eax,%eax
1402b7a1d:	75 18                	jne    0x1402b7a37
1402b7a1f:	b8 04 00 00 00       	mov    $0x4,%eax
1402b7a24:	48 39 47 10          	cmp    %rax,0x10(%rdi)
1402b7a28:	75 0d                	jne    0x1402b7a37
1402b7a2a:	8b c3                	mov    %ebx,%eax
1402b7a2c:	85 c0                	test   %eax,%eax
1402b7a2e:	75 07                	jne    0x1402b7a37
1402b7a30:	b0 01                	mov    $0x1,%al
1402b7a32:	88 45 e7             	mov    %al,-0x19(%rbp)
1402b7a35:	eb 03                	jmp    0x1402b7a3a
1402b7a37:	8a 45 e7             	mov    -0x19(%rbp),%al
1402b7a3a:	49 ff c4             	inc    %r12
1402b7a3d:	48 83 c7 20          	add    $0x20,%rdi
1402b7a41:	4d 3b e6             	cmp    %r14,%r12
1402b7a44:	ba 05 00 00 00       	mov    $0x5,%edx
1402b7a49:	0f 82 6e ff ff ff    	jb     0x1402b79bd
1402b7a4f:	84 c0                	test   %al,%al
1402b7a51:	74 14                	je     0x1402b7a67
1402b7a53:	48 8d 4d ef          	lea    -0x11(%rbp),%rcx
1402b7a57:	e8 ec 8c ed ff       	call   0x140190748
1402b7a5c:	b3 01                	mov    $0x1,%bl
1402b7a5e:	eb 11                	jmp    0x1402b7a71
1402b7a60:	ff 15 32 4f 85 00    	call   *0x854f32(%rip)        # 0x140b0c998
1402b7a66:	90                   	nop
1402b7a67:	48 8d 4d ef          	lea    -0x11(%rbp),%rcx
1402b7a6b:	e8 d8 8c ed ff       	call   0x140190748
1402b7a70:	90                   	nop
1402b7a71:	49 83 fd 0f          	cmp    $0xf,%r13
1402b7a75:	76 30                	jbe    0x1402b7aa7
1402b7a77:	48 8b ce             	mov    %rsi,%rcx
1402b7a7a:	49 8d 45 01          	lea    0x1(%r13),%rax
1402b7a7e:	48 3d 00 10 00 00    	cmp    $0x1000,%rax