0x7f00c956a6ec:	mov    %r12,0x10(%rbp)
0x7f00c956a6f0:	je     0x7f00c956aa1c
0x7f00c956a6f6:	cmp    $0x3ff,%rsi
0x7f00c956a6fd:	jbe    0x7f00c956a650
0x7f00c956a703:	mov    %rsi,%rax
0x7f00c956a706:	shr    $0x6,%rax
0x7f00c956a70a:	cmp    $0x30,%rax
0x7f00c956a70e:	ja     0x7f00c956a7a8
0x7f00c956a714:	lea    0x30(%rax),%edi
0x7f00c956a717:	lea    0x5e(%rax,%rax,1),%eax
0x7f00c956a71b:	cltq   
0x7f00c956a71d:	lea    -0x10(,%rax,8),%rax
0x7f00c956a725:	lea    (%r10,%rax,1),%rdx
0x7f00c956a729:	mov    0x10(%rdx),%r9
0x7f00c956a72d:	cmp    %rdx,%r9
0x7f00c956a730:	je     0x7f00c956a7da