0x7f0ac75cd6ec:	mov    %r12,0x10(%rbp)
0x7f0ac75cd6f0:	je     0x7f0ac75cda1c
0x7f0ac75cd6f6:	cmp    $0x3ff,%rsi
0x7f0ac75cd6fd:	jbe    0x7f0ac75cd650
0x7f0ac75cd703:	mov    %rsi,%rax
0x7f0ac75cd706:	shr    $0x6,%rax
0x7f0ac75cd70a:	cmp    $0x30,%rax
0x7f0ac75cd70e:	ja     0x7f0ac75cd7a8
0x7f0ac75cd714:	lea    0x30(%rax),%edi
0x7f0ac75cd717:	lea    0x5e(%rax,%rax,1),%eax
0x7f0ac75cd71b:	cltq   
0x7f0ac75cd71d:	lea    -0x10(,%rax,8),%rax
0x7f0ac75cd725:	lea    (%r10,%rax,1),%rdx
0x7f0ac75cd729:	mov    0x10(%rdx),%r9
0x7f0ac75cd72d:	cmp    %rdx,%r9
0x7f0ac75cd730:	je     0x7f0ac75cd7da