1405569c4:	76 2d                	jbe    0x1405569f3
1405569c6:	49 8b 0e             	mov    (%r14),%rcx
1405569c9:	4a 8d 04 7d 02 00 00 	lea    0x2(,%r15,2),%rax
1405569d0:	00
1405569d1:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1405569d7:	72 14                	jb     0x1405569ed
1405569d9:	48 8b 51 f8          	mov    -0x8(%rcx),%rdx
1405569dd:	48 2b ca             	sub    %rdx,%rcx
1405569e0:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
1405569e4:	48 83 f8 1f          	cmp    $0x1f,%rax
1405569e8:	77 41                	ja     0x140556a2b
1405569ea:	48 8b ca             	mov    %rdx,%rcx
1405569ed:	ff 15 cd 5e 5b 00    	call   *0x5b5ecd(%rip)        # 0x140b0c8c0
1405569f3:	49 89 3e             	mov    %rdi,(%r14)
1405569f6:	48 8b 45 df          	mov    -0x21(%rbp),%rax
1405569fa:	48 83 f8 07          	cmp    $0x7,%rax
1405569fe:	76 3b                	jbe    0x140556a3b
140556a00:	49 8b cd             	mov    %r13,%rcx
140556a03:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
140556a0a:	00
140556a0b:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
140556a11:	72 1f                	jb     0x140556a32
140556a13:	4d 8b 6d f8          	mov    -0x8(%r13),%r13
140556a17:	49 2b cd             	sub    %r13,%rcx
140556a1a:	48 8d 41 f8          	lea    -0x8(%rcx),%rax
140556a1e:	48 83 f8 1f          	cmp    $0x1f,%rax
140556a22:	76 0e                	jbe    0x140556a32
140556a24:	ff 15 6e 5f 5b 00    	call   *0x5b5f6e(%rip)        # 0x140b0c998
140556a2a:	90                   	nop
140556a2b:	ff 15 67 5f 5b 00    	call   *0x5b5f67(%rip)        # 0x140b0c998
140556a31:	90                   	nop
140556a32:	49 8b cd             	mov    %r13,%rcx
140556a35:	ff 15 85 5e 5b 00    	call   *0x5b5e85(%rip)        # 0x140b0c8c0
140556a3b:	48 8d 9e c0 00 00 00 	lea    0xc0(%rsi),%rbx
140556a42:	66 c7 44 24 20 cf 1e 	movw   $0x1ecf,0x20(%rsp)
140556a49:	41 b1 02             	mov    $0x2,%r9b
140556a4c:	ba 22 21 00 00       	mov    $0x2122,%edx
140556a51:	44 8d 42 01          	lea    0x1(%rdx),%r8d
140556a55:	48 8b cb             	mov    %rbx,%rcx
140556a58:	e8 43 b5 df ff       	call   0x140351fa0
140556a5d:	66 c7 44 24 20 d1 1e 	movw   $0x1ed1,0x20(%rsp)
140556a64:	41 b1 02             	mov    $0x2,%r9b
140556a67:	ba 31 21 00 00       	mov    $0x2131,%edx
140556a6c:	44 8d 42 01          	lea    0x1(%rdx),%r8d
140556a70:	48 8b cb             	mov    %rbx,%rcx
140556a73:	e8 28 b5 df ff       	call   0x140351fa0
140556a78:	66 c7 44 24 20 d3 1e 	movw   $0x1ed3,0x20(%rsp)
140556a7f:	41 b1 02             	mov    $0x2,%r9b
140556a82:	ba 3c 21 00 00       	mov    $0x213c,%edx
140556a87:	44 8d 42 02          	lea    0x2(%rdx),%r8d
140556a8b:	48 8b cb             	mov    %rbx,%rcx
140556a8e:	e8 0d b5 df ff       	call   0x140351fa0
140556a93:	66 c7 44 24 20 d6 1e 	movw   $0x1ed6,0x20(%rsp)
140556a9a:	41 b1 02             	mov    $0x2,%r9b
140556a9d:	ba 41 21 00 00       	mov    $0x2141,%edx
140556aa2:	44 8d 42 04          	lea    0x4(%rdx),%r8d
140556aa6:	48 8b cb             	mov    %rbx,%rcx
140556aa9:	e8 f2 b4 df ff       	call   0x140351fa0
140556aae:	66 c7 44 24 20 db 1e 	movw   $0x1edb,0x20(%rsp)
140556ab5:	41 b1 02             	mov    $0x2,%r9b
140556ab8:	ba 4a 21 00 00       	mov    $0x214a,%edx
140556abd:	44 8d 42 11          	lea    0x11(%rdx),%r8d
140556ac1:	48 8b cb             	mov    %rbx,%rcx
140556ac4:	e8 d7 b4 df ff       	call   0x140351fa0
140556ac9:	66 c7 44 24 20 ed 1e 	movw   $0x1eed,0x20(%rsp)
140556ad0:	41 b1 02             	mov    $0x2,%r9b
140556ad3:	ba 61 21 00 00       	mov    $0x2161,%edx
140556ad8:	44 8b c2             	mov    %edx,%r8d
140556adb:	48 8b cb             	mov    %rbx,%rcx
140556ade:	e8 bd b4 df ff       	call   0x140351fa0
140556ae3:	66 c7 44 24 20 ee 1e 	movw   $0x1eee,0x20(%rsp)
140556aea:	41 b1 02             	mov    $0x2,%r9b
140556aed:	ba 21 24 00 00       	mov    $0x2421,%edx
140556af2:	44 8b c2             	mov    %edx,%r8d
140556af5:	48 8b cb             	mov    %rbx,%rcx
140556af8:	e8 a3 b4 df ff       	call   0x140351fa0
140556afd:	66 c7 44 24 20 ef 1e 	movw   $0x1eef,0x20(%rsp)
140556b04:	41 b1 02             	mov    $0x2,%r9b
140556b07:	ba 23 24 00 00       	mov    $0x2423,%edx
140556b0c:	44 8b c2             	mov    %edx,%r8d
140556b0f:	48 8b cb             	mov    %rbx,%rcx
140556b12:	e8 89 b4 df ff       	call   0x140351fa0
140556b17:	66 c7 44 24 20 f0 1e 	movw   $0x1ef0,0x20(%rsp)
140556b1e:	41 b1 02             	mov    $0x2,%r9b
140556b21:	ba 25 24 00 00       	mov    $0x2425,%edx
140556b26:	44 8b c2             	mov    %edx,%r8d
140556b29:	48 8b cb             	mov    %rbx,%rcx
140556b2c:	e8 6f b4 df ff       	call   0x140351fa0
140556b31:	66 c7 44 24 20 f1 1e 	movw   $0x1ef1,0x20(%rsp)
140556b38:	41 b1 02             	mov    $0x2,%r9b
140556b3b:	ba 27 24 00 00       	mov    $0x2427,%edx
140556b40:	44 8b c2             	mov    %edx,%r8d
140556b43:	48 8b cb             	mov    %rbx,%rcx
140556b46:	e8 55 b4 df ff       	call   0x140351fa0
140556b4b:	66 c7 44 24 20 f2 1e 	movw   $0x1ef2,0x20(%rsp)
140556b52:	41 b1 02             	mov    $0x2,%r9b
140556b55:	ba 29 24 00 00       	mov    $0x2429,%edx
140556b5a:	44 8b c2             	mov    %edx,%r8d
140556b5d:	48 8b cb             	mov    %rbx,%rcx
140556b60:	e8 3b b4 df ff       	call   0x140351fa0
140556b65:	66 c7 44 24 20 f3 1e 	movw   $0x1ef3,0x20(%rsp)
140556b6c:	41 b1 02             	mov    $0x2,%r9b
140556b6f:	ba 43 24 00 00       	mov    $0x2443,%edx
140556b74:	44 8b c2             	mov    %edx,%r8d
140556b77:	48 8b cb             	mov    %rbx,%rcx
140556b7a:	e8 21 b4 df ff       	call   0x140351fa0
140556b7f:	66 c7 44 24 20 f4 1e 	movw   $0x1ef4,0x20(%rsp)
140556b86:	41 b1 02             	mov    $0x2,%r9b
140556b89:	ba 63 24 00 00       	mov    $0x2463,%edx
140556b8e:	44 8b c2             	mov    %edx,%r8d
140556b91:	48 8b cb             	mov    %rbx,%rcx
140556b94:	e8 07 b4 df ff       	call   0x140351fa0
140556b99:	66 c7 44 24 20 f5 1e 	movw   $0x1ef5,0x20(%rsp)
140556ba0:	41 b1 02             	mov    $0x2,%r9b
140556ba3:	ba 65 24 00 00       	mov    $0x2465,%edx
140556ba8:	44 8b c2             	mov    %edx,%r8d
140556bab:	48 8b cb             	mov    %rbx,%rcx
140556bae:	e8 ed b3 df ff       	call   0x140351fa0
140556bb3:	66 c7 44 24 20 f6 1e 	movw   $0x1ef6,0x20(%rsp)
140556bba:	41 b1 02             	mov    $0x2,%r9b
140556bbd:	ba 67 24 00 00       	mov    $0x2467,%edx
140556bc2:	44 8b c2             	mov    %edx,%r8d
140556bc5:	48 8b cb             	mov    %rbx,%rcx
140556bc8:	e8 d3 b3 df ff       	call   0x140351fa0
140556bcd:	66 c7 44 24 20 f7 1e 	movw   $0x1ef7,0x20(%rsp)
140556bd4:	41 b1 02             	mov    $0x2,%r9b
140556bd7:	ba 6e 24 00 00       	mov    $0x246e,%edx
140556bdc:	44 8b c2             	mov    %edx,%r8d
140556bdf:	48 8b cb             	mov    %rbx,%rcx
140556be2:	e8 b9 b3 df ff       	call   0x140351fa0
140556be7:	66 c7 44 24 20 f8 1e 	movw   $0x1ef8,0x20(%rsp)
140556bee:	41 b1 02             	mov    $0x2,%r9b
140556bf1:	ba 21 25 00 00       	mov    $0x2521,%edx
140556bf6:	44 8b c2             	mov    %edx,%r8d
140556bf9:	48 8b cb             	mov    %rbx,%rcx
140556bfc:	e8 9f b3 df ff       	call   0x140351fa0
140556c01:	66 c7 44 24 20 f9 1e 	movw   $0x1ef9,0x20(%rsp)
140556c08:	41 b1 02             	mov    $0x2,%r9b
140556c0b:	ba 23 25 00 00       	mov    $0x2523,%edx
140556c10:	44 8b c2             	mov    %edx,%r8d
140556c13:	48 8b cb             	mov    %rbx,%rcx
140556c16:	e8 85 b3 df ff       	call   0x140351fa0
140556c1b:	66 c7 44 24 20 fa 1e 	movw   $0x1efa,0x20(%rsp)
140556c22:	41 b1 02             	mov    $0x2,%r9b
140556c25:	ba 25 25 00 00       	mov    $0x2525,%edx
140556c2a:	44 8b c2             	mov    %edx,%r8d
140556c2d:	48 8b cb             	mov    %rbx,%rcx
140556c30:	e8 6b b3 df ff       	call   0x140351fa0
140556c35:	66 c7 44 24 20 fb 1e 	movw   $0x1efb,0x20(%rsp)
140556c3c:	41 b1 02             	mov    $0x2,%r9b
140556c3f:	ba 27 25 00 00       	mov    $0x2527,%edx
140556c44:	44 8b c2             	mov    %edx,%r8d
140556c47:	48 8b cb             	mov    %rbx,%rcx
140556c4a:	e8 51 b3 df ff       	call   0x140351fa0
140556c4f:	66 c7 44 24 20 fc 1e 	movw   $0x1efc,0x20(%rsp)
140556c56:	41 b1 02             	mov    $0x2,%r9b
140556c59:	ba 29 25 00 00       	mov    $0x2529,%edx
140556c5e:	44 8b c2             	mov    %edx,%r8d
140556c61:	48 8b cb             	mov    %rbx,%rcx
140556c64:	e8 37 b3 df ff       	call   0x140351fa0
140556c69:	66 c7 44 24 20 fd 1e 	movw   $0x1efd,0x20(%rsp)
140556c70:	41 b1 02             	mov    $0x2,%r9b
140556c73:	ba 43 25 00 00       	mov    $0x2543,%edx
140556c78:	44 8b c2             	mov    %edx,%r8d
140556c7b:	48 8b cb             	mov    %rbx,%rcx
140556c7e:	e8 1d b3 df ff       	call   0x140351fa0
140556c83:	66 c7 44 24 20 fe 1e 	movw   $0x1efe,0x20(%rsp)
140556c8a:	41 b1 02             	mov    $0x2,%r9b
140556c8d:	ba 63 25 00 00       	mov    $0x2563,%edx
140556c92:	44 8b c2             	mov    %edx,%r8d
140556c95:	48 8b cb             	mov    %rbx,%rcx
140556c98:	e8 03 b3 df ff       	call   0x140351fa0
140556c9d:	66 c7 44 24 20 ff 1e 	movw   $0x1eff,0x20(%rsp)
140556ca4:	41 b1 02             	mov    $0x2,%r9b
140556ca7:	ba 65 25 00 00       	mov    $0x2565,%edx
140556cac:	44 8b c2             	mov    %edx,%r8d
140556caf:	48 8b cb             	mov    %rbx,%rcx
140556cb2:	e8 e9 b2 df ff       	call   0x140351fa0
140556cb7:	66 c7 44 24 20 00 1f 	movw   $0x1f00,0x20(%rsp)
140556cbe:	41 b1 02             	mov    $0x2,%r9b
140556cc1:	ba 67 25 00 00       	mov    $0x2567,%edx
140556cc6:	44 8b c2             	mov    %edx,%r8d
140556cc9:	48 8b cb             	mov    %rbx,%rcx
140556ccc:	e8 cf b2 df ff       	call   0x140351fa0
140556cd1:	66 c7 44 24 20 01 1f 	movw   $0x1f01,0x20(%rsp)
140556cd8:	41 b1 02             	mov    $0x2,%r9b
140556cdb:	ba 6e 25 00 00       	mov    $0x256e,%edx
140556ce0:	44 8b c2             	mov    %edx,%r8d
140556ce3:	48 8b cb             	mov    %rbx,%rcx
140556ce6:	e8 b5 b2 df ff       	call   0x140351fa0
140556ceb:	66 c7 44 24 20 02 1f 	movw   $0x1f02,0x20(%rsp)
140556cf2:	41 b1 02             	mov    $0x2,%r9b
140556cf5:	ba 75 25 00 00       	mov    $0x2575,%edx
140556cfa:	44 8d 42 01          	lea    0x1(%rdx),%r8d
140556cfe:	48 8b cb             	mov    %rbx,%rcx
140556d01:	e8 9a b2 df ff       	call   0x140351fa0
140556d06:	48 8b 4d 27          	mov    0x27(%rbp),%rcx
140556d0a:	48 33 cc             	xor    %rsp,%rcx
140556d0d:	e8 ce 88 59 00       	call   0x140aef5e0
140556d12:	4c 8d 9c 24 f0 00 00 	lea    0xf0(%rsp),%r11
140556d19:	00
140556d1a:	49 8b 5b 38          	mov    0x38(%r11),%rbx
140556d1e:	49 8b 73 40          	mov    0x40(%r11),%rsi
140556d22:	49 8b 7b 48          	mov    0x48(%r11),%rdi
140556d26:	49 8b e3             	mov    %r11,%rsp
140556d29:	41 5f                	pop    %r15
140556d2b:	41 5e                	pop    %r14
140556d2d:	41 5d                	pop    %r13
140556d2f:	41 5c                	pop    %r12
140556d31:	5d                   	pop    %rbp
140556d32:	c3                   	ret
140556d33:	41 b8 57 00 07 80    	mov    $0x80070057,%r8d
140556d39:	48 8d 15 08 55 5f 00 	lea    0x5f5508(%rip),%rdx        # 0x140b4c248
140556d40:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556d44:	e8 fb c2 df ff       	call   0x140353044
140556d49:	48 8d 15 e8 f9 6d 00 	lea    0x6df9e8(%rip),%rdx        # 0x140c36738
140556d50:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556d54:	e8 25 97 59 00       	call   0x140af047e
140556d59:	cc                   	int3
140556d5a:	41 b8 57 00 07 80    	mov    $0x80070057,%r8d
140556d60:	48 8d 15 a1 54 5f 00 	lea    0x5f54a1(%rip),%rdx        # 0x140b4c208
140556d67:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556d6b:	e8 d4 c2 df ff       	call   0x140353044
140556d70:	48 8d 15 c1 f9 6d 00 	lea    0x6df9c1(%rip),%rdx        # 0x140c36738
140556d77:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556d7b:	e8 fe 96 59 00       	call   0x140af047e
140556d80:	90                   	nop
140556d81:	e8 ea cf aa ff       	call   0x140003d70
140556d86:	90                   	nop
140556d87:	eb 01                	jmp    0x140556d8a
140556d89:	90                   	nop
140556d8a:	90                   	nop
140556d8b:	e8 e0 cf aa ff       	call   0x140003d70
140556d90:	90                   	nop
140556d91:	eb 01                	jmp    0x140556d94
140556d93:	90                   	nop
140556d94:	90                   	nop
140556d95:	e8 d6 cf aa ff       	call   0x140003d70
140556d9a:	cc                   	int3
140556d9b:	41 b8 57 00 07 80    	mov    $0x80070057,%r8d
140556da1:	48 8d 15 b8 52 5f 00 	lea    0x5f52b8(%rip),%rdx        # 0x140b4c060
140556da8:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556dac:	e8 93 c2 df ff       	call   0x140353044
140556db1:	48 8d 15 80 f9 6d 00 	lea    0x6df980(%rip),%rdx        # 0x140c36738
140556db8:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556dbc:	e8 bd 96 59 00       	call   0x140af047e
140556dc1:	90                   	nop
140556dc2:	41 b8 57 00 07 80    	mov    $0x80070057,%r8d
140556dc8:	48 8d 15 b1 52 5f 00 	lea    0x5f52b1(%rip),%rdx        # 0x140b4c080
140556dcf:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556dd3:	e8 6c c2 df ff       	call   0x140353044
140556dd8:	48 8d 15 59 f9 6d 00 	lea    0x6df959(%rip),%rdx        # 0x140c36738
140556ddf:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556de3:	e8 96 96 59 00       	call   0x140af047e
140556de8:	90                   	nop
140556de9:	41 b8 57 00 07 80    	mov    $0x80070057,%r8d
140556def:	48 8d 15 32 54 5f 00 	lea    0x5f5432(%rip),%rdx        # 0x140b4c228
140556df6:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556dfa:	e8 45 c2 df ff       	call   0x140353044
140556dff:	48 8d 15 32 f9 6d 00 	lea    0x6df932(%rip),%rdx        # 0x140c36738
140556e06:	48 8d 4d e7          	lea    -0x19(%rbp),%rcx
140556e0a:	e8 6f 96 59 00       	call   0x140af047e
140556e0f:	cc                   	int3
140556e10:	48 8b c4             	mov    %rsp,%rax
140556e13:	48 89 58 10          	mov    %rbx,0x10(%rax)
140556e17:	48 89 70 18          	mov    %rsi,0x18(%rax)
140556e1b:	48 89 78 20          	mov    %rdi,0x20(%rax)
140556e1f:	55                   	push   %rbp
140556e20:	41 54                	push   %r12
140556e22:	41 55                	push   %r13
140556e24:	41 56                	push   %r14
140556e26:	41 57                	push   %r15
140556e28:	48 8d 68 a1          	lea    -0x5f(%rax),%rbp
140556e2c:	48 81 ec f0 00 00 00 	sub    $0xf0,%rsp
140556e33:	48 8b 05 06 82 76 00 	mov    0x768206(%rip),%rax        # 0x140cbf040
140556e3a:	48 33 c4             	xor    %rsp,%rax
140556e3d:	48 89 45 27          	mov    %rax,0x27(%rbp)
140556e41:	48 8b f9             	mov    %rcx,%rdi
140556e44:	33 db                	xor    %ebx,%ebx
140556e46:	38 99 82 01 00 00    	cmp    %bl,0x182(%rcx)
140556e4c:	0f 85 dc 05 00 00    	jne    0x14055742e
140556e52:	66 c7 81 81 01 00 00 	movw   $0x100,0x181(%rcx)
140556e59:	00 01
140556e5b:	83 b9 84 01 00 00 ff 	cmpl   $0xffffffff,0x184(%rcx)
140556e62:	0f 85 9f 05 00 00    	jne    0x140557407
140556e68:	c7 81 84 01 00 00 04 	movl   $0x4,0x184(%rcx)
140556e6f:	00 00 00
140556e72:	0f 57 c0             	xorps  %xmm0,%xmm0
140556e75:	0f 11 45 87          	movups %xmm0,-0x79(%rbp)
140556e79:	48 89 5d 97          	mov    %rbx,-0x69(%rbp)
140556e7d:	48 89 5d 9f          	mov    %rbx,-0x61(%rbp)
140556e81:	44 8d 43 0d          	lea    0xd(%rbx),%r8d
140556e85:	48 8d 15 f4 50 5f 00 	lea    0x5f50f4(%rip),%rdx        # 0x140b4bf80
140556e8c:	48 8d 4d 87          	lea    -0x79(%rbp),%rcx
140556e90:	e8 8b cf aa ff       	call   0x140003e20
140556e95:	48 39 9f 98 01 00 00 	cmp    %rbx,0x198(%rdi)
140556e9c:	0f 85 2e 06 00 00    	jne    0x1405574d0
140556ea2:	4c 8d b7 88 01 00 00 	lea    0x188(%rdi),%r14
140556ea9:	48 8d 45 87          	lea    -0x79(%rbp),%rax
140556ead:	48 be fe ff ff ff ff 	movabs $0x7ffffffffffffffe,%rsi
140556eb4:	ff ff 7f
140556eb7:	4c 8b 65 87          	mov    -0x79(%rbp),%r12
140556ebb:	4c 3b f0             	cmp    %rax,%r14
140556ebe:	0f 84 11 01 00 00    	je     0x140556fd5
140556ec4:	48 8d 4d 87          	lea    -0x79(%rbp),%rcx
140556ec8:	48 83 7d 9f 07       	cmpq   $0x7,-0x61(%rbp)
140556ecd:	49 0f 47 cc          	cmova  %r12,%rcx
140556ed1:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
140556ed6:	4d 8b 7e 18          	mov    0x18(%r14),%r15
140556eda:	4c 8b 6d 97          	mov    -0x69(%rbp),%r13
140556ede:	4d 3b ef             	cmp    %r15,%r13
140556ee1:	77 40                	ja     0x140556f23
140556ee3:	49 8b c6             	mov    %r14,%rax
140556ee6:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
140556eeb:	49 83 ff 07          	cmp    $0x7,%r15
140556eef:	76 08                	jbe    0x140556ef9
140556ef1:	49 8b 06             	mov    (%r14),%rax
140556ef4:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
140556ef9:	4d 89 6e 10          	mov    %r13,0x10(%r14)
140556efd:	4a 8d 1c 6d 00 00 00 	lea    0x0(,%r13,2),%rbx
140556f04:	00
140556f05:	4c 8b c3             	mov    %rbx,%r8
140556f08:	48 8b d1             	mov    %rcx,%rdx
140556f0b:	48 8b c8             	mov    %rax,%rcx
140556f0e:	e8 53 95 59 00       	call   0x140af0466
140556f13:	48 8b 44 24 30       	mov    0x30(%rsp),%rax
140556f18:	33 c9                	xor    %ecx,%ecx
140556f1a:	66 89 0c 18          	mov    %cx,(%rax,%rbx,1)
140556f1e:	e9 b0 00 00 00       	jmp    0x140556fd3
140556f23:	4c 3b ee             	cmp    %rsi,%r13
140556f26:	0f 87 34 05 00 00    	ja     0x140557460
140556f2c:	49 8b dd             	mov    %r13,%rbx
140556f2f:	48 83 cb 07          	or     $0x7,%rbx
140556f33:	48 3b de             	cmp    %rsi,%rbx
140556f36:	76 05                	jbe    0x140556f3d
140556f38:	48 8b de             	mov    %rsi,%rbx
140556f3b:	eb 1c                	jmp    0x140556f59
140556f3d:	49 8b cf             	mov    %r15,%rcx
140556f40:	48 d1 e9             	shr    $1,%rcx
140556f43:	48 8b c6             	mov    %rsi,%rax
140556f46:	48 2b c1             	sub    %rcx,%rax
140556f49:	4c 3b f8             	cmp    %rax,%r15
140556f4c:	77 ea                	ja     0x140556f38
140556f4e:	49 8d 04 0f          	lea    (%r15,%rcx,1),%rax
140556f52:	48 3b d8             	cmp    %rax,%rbx
140556f55:	48 0f 42 d8          	cmovb  %rax,%rbx
140556f59:	48 ff c3             	inc    %rbx
140556f5c:	48 89 5c 24 30       	mov    %rbx,0x30(%rsp)
140556f61:	48 8d 54 24 30       	lea    0x30(%rsp),%rdx
140556f66:	e8 7d cf aa ff       	call   0x140003ee8