1401f3cee:	41 55                	push   %r13
1401f3cf0:	41 56                	push   %r14
1401f3cf2:	41 57                	push   %r15
1401f3cf4:	48 8d 6c 24 80       	lea    -0x80(%rsp),%rbp
1401f3cf9:	48 81 ec 80 01 00 00 	sub    $0x180,%rsp
1401f3d00:	48 8b 05 39 b3 ac 00 	mov    0xacb339(%rip),%rax        # 0x140cbf040
1401f3d07:	48 33 c4             	xor    %rsp,%rax
1401f3d0a:	48 89 45 78          	mov    %rax,0x78(%rbp)
1401f3d0e:	49 8b f1             	mov    %r9,%rsi
1401f3d11:	41 8b f8             	mov    %r8d,%edi
1401f3d14:	8b da                	mov    %edx,%ebx
1401f3d16:	4c 8b f1             	mov    %rcx,%r14
1401f3d19:	48 89 4c 24 20       	mov    %rcx,0x20(%rsp)
1401f3d1e:	45 33 e4             	xor    %r12d,%r12d
1401f3d21:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3d24:	0f 11 44 24 38       	movups %xmm0,0x38(%rsp)
1401f3d29:	4c 89 64 24 48       	mov    %r12,0x48(%rsp)
1401f3d2e:	4c 89 64 24 50       	mov    %r12,0x50(%rsp)
1401f3d33:	45 8d 7c 24 0f       	lea    0xf(%r12),%r15d
1401f3d38:	45 8b c7             	mov    %r15d,%r8d
1401f3d3b:	48 8d 15 a6 31 95 00 	lea    0x9531a6(%rip),%rdx        # 0x140b46ee8
1401f3d42:	48 8d 4c 24 38       	lea    0x38(%rsp),%rcx
1401f3d47:	e8 d4 00 e1 ff       	call   0x140003e20
1401f3d4c:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3d4f:	0f 11 44 24 78       	movups %xmm0,0x78(%rsp)
1401f3d54:	4c 89 65 88          	mov    %r12,-0x78(%rbp)
1401f3d58:	4c 89 65 90          	mov    %r12,-0x70(%rbp)
1401f3d5c:	45 8d 44 24 07       	lea    0x7(%r12),%r8d
1401f3d61:	48 8d 15 98 c1 94 00 	lea    0x94c198(%rip),%rdx        # 0x140b3ff00
1401f3d68:	48 8d 4c 24 78       	lea    0x78(%rsp),%rcx
1401f3d6d:	e8 ae 00 e1 ff       	call   0x140003e20
1401f3d72:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3d75:	0f 11 44 24 58       	movups %xmm0,0x58(%rsp)
1401f3d7a:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
1401f3d7f:	4c 89 64 24 70       	mov    %r12,0x70(%rsp)
1401f3d84:	45 8d 44 24 0b       	lea    0xb(%r12),%r8d
1401f3d89:	48 8d 15 78 1e 95 00 	lea    0x951e78(%rip),%rdx        # 0x140b45c08
1401f3d90:	48 8d 4c 24 58       	lea    0x58(%rsp),%rcx
1401f3d95:	e8 86 00 e1 ff       	call   0x140003e20
1401f3d9a:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3d9d:	0f 11 45 f8          	movups %xmm0,-0x8(%rbp)
1401f3da1:	0f 57 c9             	xorps  %xmm1,%xmm1
1401f3da4:	f3 0f 7f 4d 08       	movdqu %xmm1,0x8(%rbp)
1401f3da9:	45 8d 44 24 09       	lea    0x9(%r12),%r8d
1401f3dae:	48 8d 15 93 2b 95 00 	lea    0x952b93(%rip),%rdx        # 0x140b46948
1401f3db5:	48 8d 4d f8          	lea    -0x8(%rbp),%rcx
1401f3db9:	e8 62 00 e1 ff       	call   0x140003e20
1401f3dbe:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3dc1:	0f 11 45 d8          	movups %xmm0,-0x28(%rbp)
1401f3dc5:	0f 57 c9             	xorps  %xmm1,%xmm1
1401f3dc8:	f3 0f 7f 4d e8       	movdqu %xmm1,-0x18(%rbp)
1401f3dcd:	45 8d 44 24 0d       	lea    0xd(%r12),%r8d
1401f3dd2:	48 8d 15 77 40 95 00 	lea    0x954077(%rip),%rdx        # 0x140b47e50
1401f3dd9:	48 8d 4d d8          	lea    -0x28(%rbp),%rcx
1401f3ddd:	e8 3e 00 e1 ff       	call   0x140003e20
1401f3de2:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3de5:	0f 11 45 b8          	movups %xmm0,-0x48(%rbp)
1401f3de9:	0f 57 c9             	xorps  %xmm1,%xmm1
1401f3dec:	f3 0f 7f 4d c8       	movdqu %xmm1,-0x38(%rbp)
1401f3df1:	45 8b c7             	mov    %r15d,%r8d
1401f3df4:	48 8d 15 0d 2a 95 00 	lea    0x952a0d(%rip),%rdx        # 0x140b46808
1401f3dfb:	48 8d 4d b8          	lea    -0x48(%rbp),%rcx
1401f3dff:	e8 1c 00 e1 ff       	call   0x140003e20
1401f3e04:	0f 57 c0             	xorps  %xmm0,%xmm0
1401f3e07:	0f 11 45 98          	movups %xmm0,-0x68(%rbp)
1401f3e0b:	0f 57 c9             	xorps  %xmm1,%xmm1
1401f3e0e:	f3 0f 7f 4d a8       	movdqu %xmm1,-0x58(%rbp)
1401f3e13:	45 8d 44 24 12       	lea    0x12(%r12),%r8d
1401f3e18:	48 8d 15 a1 26 95 00 	lea    0x9526a1(%rip),%rdx        # 0x140b464c0
1401f3e1f:	48 8d 4d 98          	lea    -0x68(%rbp),%rcx
1401f3e23:	e8 f8 ff e0 ff       	call   0x140003e20
1401f3e28:	85 db                	test   %ebx,%ebx
1401f3e2a:	0f 84 91 05 00 00    	je     0x1401f43c1
1401f3e30:	83 eb 01             	sub    $0x1,%ebx
1401f3e33:	0f 84 68 04 00 00    	je     0x1401f42a1
1401f3e39:	83 eb 01             	sub    $0x1,%ebx
1401f3e3c:	0f 84 36 03 00 00    	je     0x1401f4178
1401f3e42:	83 fb 01             	cmp    $0x1,%ebx
1401f3e45:	0f 84 0d 01 00 00    	je     0x1401f3f58
1401f3e4b:	48 8d 54 24 38       	lea    0x38(%rsp),%rdx
1401f3e50:	48 8b ce             	mov    %rsi,%rcx
1401f3e53:	e8 9c 40 e1 ff       	call   0x140007ef4
1401f3e58:	48 8d 54 24 38       	lea    0x38(%rsp),%rdx
1401f3e5d:	e9 0f 01 00 00       	jmp    0x1401f3f71
1401f3e62:	ff 15 58 8a 91 00    	call   *0x918a58(%rip)        # 0x140b0c8c0
1401f3e68:	90                   	nop
1401f3e69:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1401f3e70:	48 8b 45 f0          	mov    -0x10(%rbp),%rax
1401f3e74:	48 83 f8 07          	cmp    $0x7,%rax
1401f3e78:	76 30                	jbe    0x1401f3eaa
1401f3e7a:	48 8b 4d d8          	mov    -0x28(%rbp),%rcx
1401f3e7e:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f3e85:	00
1401f3e86:	48 8b d1             	mov    %rcx,%rdx
1401f3e89:	48 3b c7             	cmp    %rdi,%rax
1401f3e8c:	72 15                	jb     0x1401f3ea3
1401f3e8e:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f3e92:	48 2b d1             	sub    %rcx,%rdx
1401f3e95:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f3e99:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f3e9d:	0f 87 46 06 00 00    	ja     0x1401f44e9
1401f3ea3:	ff 15 17 8a 91 00    	call   *0x918a17(%rip)        # 0x140b0c8c0
1401f3ea9:	90                   	nop
1401f3eaa:	48 8b 45 10          	mov    0x10(%rbp),%rax
1401f3eae:	48 83 f8 07          	cmp    $0x7,%rax
1401f3eb2:	0f 86 4a 01 00 00    	jbe    0x1401f4002
1401f3eb8:	48 8b 4d f8          	mov    -0x8(%rbp),%rcx
1401f3ebc:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f3ec3:	00
1401f3ec4:	48 8b d1             	mov    %rcx,%rdx
1401f3ec7:	48 3b c7             	cmp    %rdi,%rax
1401f3eca:	0f 82 2b 01 00 00    	jb     0x1401f3ffb
1401f3ed0:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f3ed4:	48 2b d1             	sub    %rcx,%rdx
1401f3ed7:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f3edb:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f3edf:	0f 86 16 01 00 00    	jbe    0x1401f3ffb
1401f3ee5:	ff 15 ad 8a 91 00    	call   *0x918aad(%rip)        # 0x140b0c998
1401f3eeb:	90                   	nop
1401f3eec:	ff 15 ce 89 91 00    	call   *0x9189ce(%rip)        # 0x140b0c8c0
1401f3ef2:	90                   	nop
1401f3ef3:	48 8b 44 24 50       	mov    0x50(%rsp),%rax
1401f3ef8:	48 83 f8 07          	cmp    $0x7,%rax
1401f3efc:	76 30                	jbe    0x1401f3f2e
1401f3efe:	48 8b 4c 24 38       	mov    0x38(%rsp),%rcx
1401f3f03:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f3f0a:	00
1401f3f0b:	48 8b d1             	mov    %rcx,%rdx
1401f3f0e:	48 3b c7             	cmp    %rdi,%rax
1401f3f11:	72 15                	jb     0x1401f3f28
1401f3f13:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f3f17:	48 2b d1             	sub    %rcx,%rdx
1401f3f1a:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f3f1e:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f3f22:	0f 87 cf 05 00 00    	ja     0x1401f44f7
1401f3f28:	ff 15 92 89 91 00    	call   *0x918992(%rip)        # 0x140b0c8c0
1401f3f2e:	49 8b c6             	mov    %r14,%rax
1401f3f31:	48 8b 4d 78          	mov    0x78(%rbp),%rcx
1401f3f35:	48 33 cc             	xor    %rsp,%rcx
1401f3f38:	e8 a3 b6 8f 00       	call   0x140aef5e0
1401f3f3d:	48 8b 9c 24 c8 01 00 	mov    0x1c8(%rsp),%rbx
1401f3f44:	00
1401f3f45:	48 81 c4 80 01 00 00 	add    $0x180,%rsp
1401f3f4c:	41 5f                	pop    %r15
1401f3f4e:	41 5e                	pop    %r14
1401f3f50:	41 5d                	pop    %r13
1401f3f52:	41 5c                	pop    %r12
1401f3f54:	5f                   	pop    %rdi
1401f3f55:	5e                   	pop    %rsi
1401f3f56:	5d                   	pop    %rbp
1401f3f57:	c3                   	ret
1401f3f58:	83 ff 12             	cmp    $0x12,%edi
1401f3f5b:	0f 85 20 01 00 00    	jne    0x1401f4081
1401f3f61:	48 8d 55 f8          	lea    -0x8(%rbp),%rdx
1401f3f65:	48 8b ce             	mov    %rsi,%rcx
1401f3f68:	e8 87 3f e1 ff       	call   0x140007ef4
1401f3f6d:	48 8d 55 f8          	lea    -0x8(%rbp),%rdx
1401f3f71:	49 8b ce             	mov    %r14,%rcx
1401f3f74:	e8 37 25 e1 ff       	call   0x1400064b0
1401f3f79:	90                   	nop
1401f3f7a:	bf 00 10 00 00       	mov    $0x1000,%edi
1401f3f7f:	48 8b 45 b0          	mov    -0x50(%rbp),%rax
1401f3f83:	48 83 f8 07          	cmp    $0x7,%rax
1401f3f87:	76 30                	jbe    0x1401f3fb9
1401f3f89:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f3f90:	00
1401f3f91:	48 8b 4d 98          	mov    -0x68(%rbp),%rcx
1401f3f95:	48 3b c7             	cmp    %rdi,%rax
1401f3f98:	48 8b d1             	mov    %rcx,%rdx
1401f3f9b:	72 15                	jb     0x1401f3fb2
1401f3f9d:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f3fa1:	48 2b d1             	sub    %rcx,%rdx
1401f3fa4:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f3fa8:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f3fac:	0f 87 30 05 00 00    	ja     0x1401f44e2
1401f3fb2:	ff 15 08 89 91 00    	call   *0x918908(%rip)        # 0x140b0c8c0
1401f3fb8:	90                   	nop
1401f3fb9:	48 8b 45 d0          	mov    -0x30(%rbp),%rax
1401f3fbd:	48 83 f8 07          	cmp    $0x7,%rax
1401f3fc1:	0f 86 a9 fe ff ff    	jbe    0x1401f3e70
1401f3fc7:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f3fce:	00
1401f3fcf:	48 8b 4d b8          	mov    -0x48(%rbp),%rcx
1401f3fd3:	48 3b c7             	cmp    %rdi,%rax
1401f3fd6:	48 8b d1             	mov    %rcx,%rdx
1401f3fd9:	0f 82 83 fe ff ff    	jb     0x1401f3e62
1401f3fdf:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f3fe3:	48 2b d1             	sub    %rcx,%rdx
1401f3fe6:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f3fea:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f3fee:	0f 86 6e fe ff ff    	jbe    0x1401f3e62
1401f3ff4:	ff 15 9e 89 91 00    	call   *0x91899e(%rip)        # 0x140b0c998
1401f3ffa:	90                   	nop
1401f3ffb:	ff 15 bf 88 91 00    	call   *0x9188bf(%rip)        # 0x140b0c8c0
1401f4001:	90                   	nop
1401f4002:	48 8b 44 24 70       	mov    0x70(%rsp),%rax
1401f4007:	48 83 f8 07          	cmp    $0x7,%rax
1401f400b:	76 31                	jbe    0x1401f403e
1401f400d:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f4014:	00
1401f4015:	48 8b 4c 24 58       	mov    0x58(%rsp),%rcx
1401f401a:	48 3b c7             	cmp    %rdi,%rax
1401f401d:	48 8b d1             	mov    %rcx,%rdx
1401f4020:	72 15                	jb     0x1401f4037
1401f4022:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f4026:	48 2b d1             	sub    %rcx,%rdx
1401f4029:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f402d:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f4031:	0f 87 b9 04 00 00    	ja     0x1401f44f0
1401f4037:	ff 15 83 88 91 00    	call   *0x918883(%rip)        # 0x140b0c8c0
1401f403d:	90                   	nop
1401f403e:	48 8b 45 90          	mov    -0x70(%rbp),%rax
1401f4042:	48 83 f8 07          	cmp    $0x7,%rax
1401f4046:	0f 86 a7 fe ff ff    	jbe    0x1401f3ef3
1401f404c:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1401f4051:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1401f4058:	00
1401f4059:	48 8b d1             	mov    %rcx,%rdx
1401f405c:	48 3b c7             	cmp    %rdi,%rax
1401f405f:	0f 82 87 fe ff ff    	jb     0x1401f3eec
1401f4065:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1401f4069:	48 2b d1             	sub    %rcx,%rdx
1401f406c:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1401f4070:	48 83 f8 1f          	cmp    $0x1f,%rax
1401f4074:	0f 86 72 fe ff ff    	jbe    0x1401f3eec
1401f407a:	ff 15 18 89 91 00    	call   *0x918918(%rip)        # 0x140b0c998
1401f4080:	90                   	nop
1401f4081:	83 ff 13             	cmp    $0x13,%edi
1401f4084:	75 60                	jne    0x1401f40e6
1401f4086:	48 8d 55 d8          	lea    -0x28(%rbp),%rdx
1401f408a:	48 8b ce             	mov    %rsi,%rcx
1401f408d:	e8 62 3e e1 ff       	call   0x140007ef4
1401f4092:	48 8d 55 d8          	lea    -0x28(%rbp),%rdx
1401f4096:	49 8b ce             	mov    %r14,%rcx
1401f4099:	e8 12 24 e1 ff       	call   0x1400064b0
1401f409e:	90                   	nop
1401f409f:	48 8d 4d 98          	lea    -0x68(%rbp),%rcx
1401f40a3:	e8 18 23 e1 ff       	call   0x1400063c0
1401f40a8:	48 8d 4d b8          	lea    -0x48(%rbp),%rcx
1401f40ac:	e8 0f 23 e1 ff       	call   0x1400063c0
1401f40b1:	48 8d 4d d8          	lea    -0x28(%rbp),%rcx
1401f40b5:	e8 06 23 e1 ff       	call   0x1400063c0
1401f40ba:	48 8d 4d f8          	lea    -0x8(%rbp),%rcx
1401f40be:	e8 fd 22 e1 ff       	call   0x1400063c0
1401f40c3:	48 8d 4c 24 58       	lea    0x58(%rsp),%rcx
1401f40c8:	e8 f3 22 e1 ff       	call   0x1400063c0
1401f40cd:	48 8d 4c 24 78       	lea    0x78(%rsp),%rcx
1401f40d2:	e8 e9 22 e1 ff       	call   0x1400063c0
1401f40d7:	48 8d 4c 24 38       	lea    0x38(%rsp),%rcx
1401f40dc:	e8 df 22 e1 ff       	call   0x1400063c0
1401f40e1:	e9 48 fe ff ff       	jmp    0x1401f3f2e
1401f40e6:	83 ff 04             	cmp    $0x4,%edi
1401f40e9:	75 12                	jne    0x1401f40fd
1401f40eb:	48 8d 55 b8          	lea    -0x48(%rbp),%rdx
1401f40ef:	48 8b ce             	mov    %rsi,%rcx
1401f40f2:	e8 fd 3d e1 ff       	call   0x140007ef4
1401f40f7:	48 8d 55 b8          	lea    -0x48(%rbp),%rdx
1401f40fb:	eb 99                	jmp    0x1401f4096
1401f40fd:	83 ff 05             	cmp    $0x5,%edi
1401f4100:	75 12                	jne    0x1401f4114
1401f4102:	48 8d 55 98          	lea    -0x68(%rbp),%rdx
1401f4106:	48 8b ce             	mov    %rsi,%rcx
1401f4109:	e8 e6 3d e1 ff       	call   0x140007ef4
1401f410e:	48 8d 55 98          	lea    -0x68(%rbp),%rdx
1401f4112:	eb 82                	jmp    0x1401f4096
1401f4114:	8b d7                	mov    %edi,%edx
1401f4116:	48 8d 4d 58          	lea    0x58(%rbp),%rcx
1401f411a:	e8 29 e4 f3 ff       	call   0x140132548
1401f411f:	48 8b d8             	mov    %rax,%rbx
1401f4122:	4c 8d 05 17 ab 94 00 	lea    0x94ab17(%rip),%r8        # 0x140b3ec40
1401f4129:	48 8d 54 24 38       	lea    0x38(%rsp),%rdx
1401f412e:	48 8d 4d 38          	lea    0x38(%rbp),%rcx
1401f4132:	e8 b1 53 fb ff       	call   0x1401a94e8
1401f4137:	90                   	nop
1401f4138:	4c 8b c3             	mov    %rbx,%r8
1401f413b:	48 8b d0             	mov    %rax,%rdx
1401f413e:	48 8d 4d 18          	lea    0x18(%rbp),%rcx
1401f4142:	e8 45 c0 fe ff       	call   0x1401e018c
1401f4147:	48 8b d0             	mov    %rax,%rdx
1401f414a:	48 8b ce             	mov    %rsi,%rcx
1401f414d:	e8 ce 22 e1 ff       	call   0x140006420
1401f4152:	48 8d 4d 18          	lea    0x18(%rbp),%rcx
1401f4156:	e8 65 22 e1 ff       	call   0x1400063c0
1401f415b:	90                   	nop
1401f415c:	48 8d 4d 38          	lea    0x38(%rbp),%rcx
1401f4160:	e8 5b 22 e1 ff       	call   0x1400063c0
1401f4165:	48 8d 4d 58          	lea    0x58(%rbp),%rcx
1401f4169:	e8 52 22 e1 ff       	call   0x1400063c0
1401f416e:	48 8d 54 24 38       	lea    0x38(%rsp),%rdx
1401f4173:	e9 1e ff ff ff       	jmp    0x1401f4096
1401f4178:	48 8d 44 24 38       	lea    0x38(%rsp),%rax
1401f417d:	bf 00 10 00 00       	mov    $0x1000,%edi
1401f4182:	48 3b f0             	cmp    %rax,%rsi
1401f4185:	0f 84 03 01 00 00    	je     0x1401f428e
1401f418b:	48 8d 44 24 38       	lea    0x38(%rsp),%rax
1401f4190:	48 83 7c 24 50 07    	cmpq   $0x7,0x50(%rsp)
1401f4196:	48 0f 47 44 24 38    	cmova  0x38(%rsp),%rax
1401f419c:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1401f41a1:	4c 8b 7e 18          	mov    0x18(%rsi),%r15
1401f41a5:	4c 8b 64 24 48       	mov    0x48(%rsp),%r12
1401f41aa:	4d 3b e7             	cmp    %r15,%r12
1401f41ad:	77 2e                	ja     0x1401f41dd
1401f41af:	4c 8b ee             	mov    %rsi,%r13
1401f41b2:	49 83 ff 07          	cmp    $0x7,%r15
1401f41b6:	76 03                	jbe    0x1401f41bb
1401f41b8:	4c 8b 2e             	mov    (%rsi),%r13
1401f41bb:	4c 89 66 10          	mov    %r12,0x10(%rsi)
1401f41bf:	4b 8d 1c 24          	lea    (%r12,%r12,1),%rbx
1401f41c3:	4c 8b c3             	mov    %rbx,%r8
1401f41c6:	48 8b d0             	mov    %rax,%rdx
1401f41c9:	49 8b cd             	mov    %r13,%rcx
1401f41cc:	e8 95 c2 8f 00       	call   0x140af0466
1401f41d1:	33 c0                	xor    %eax,%eax
1401f41d3:	66 42 89 04 2b       	mov    %ax,(%rbx,%r13,1)
1401f41d8:	e9 b1 00 00 00       	jmp    0x1401f428e
1401f41dd:	48 bb fe ff ff ff ff 	movabs $0x7ffffffffffffffe,%rbx
1401f41e4:	ff ff 7f
1401f41e7:	4c 3b e3             	cmp    %rbx,%r12
1401f41ea:	0f 87 0e 03 00 00    	ja     0x1401f44fe
1401f41f0:	49 8b cc             	mov    %r12,%rcx
1401f41f3:	48 83 c9 07          	or     $0x7,%rcx
1401f41f7:	48 3b cb             	cmp    %rbx,%rcx
1401f41fa:	77 1f                	ja     0x1401f421b
1401f41fc:	49 8b d7             	mov    %r15,%rdx
1401f41ff:	48 d1 ea             	shr    $1,%rdx
1401f4202:	48 8b c3             	mov    %rbx,%rax
1401f4205:	48 2b c2             	sub    %rdx,%rax
1401f4208:	4c 3b f8             	cmp    %rax,%r15
1401f420b:	77 0e                	ja     0x1401f421b
1401f420d:	4a 8d 04 3a          	lea    (%rdx,%r15,1),%rax
1401f4211:	48 8b d9             	mov    %rcx,%rbx
1401f4214:	48 3b c8             	cmp    %rax,%rcx
1401f4217:	48 0f 42 d8          	cmovb  %rax,%rbx
1401f421b:	48 ff c3             	inc    %rbx
1401f421e:	48 89 5c 24 28       	mov    %rbx,0x28(%rsp)
1401f4223:	48 8d 54 24 28       	lea    0x28(%rsp),%rdx
1401f4228:	e8 bb fc e0 ff       	call   0x140003ee8
1401f422d:	4c 8b e8             	mov    %rax,%r13
1401f4230:	48 8d 4b ff          	lea    -0x1(%rbx),%rcx
1401f4234:	4c 89 66 10          	mov    %r12,0x10(%rsi)
1401f4238:	48 89 4e 18          	mov    %rcx,0x18(%rsi)
1401f423c:	4b 8d 1c 24          	lea    (%r12,%r12,1),%rbx
1401f4240:	4c 8b c3             	mov    %rbx,%r8
1401f4243:	48 8b 54 24 20       	mov    0x20(%rsp),%rdx
1401f4248:	48 8b c8             	mov    %rax,%rcx
1401f424b:	e8 50 dc 8f 00       	call   0x140af1ea0
1401f4250:	33 c0                	xor    %eax,%eax
1401f4252:	66 42 89 04 2b       	mov    %ax,(%rbx,%r13,1)
1401f4257:	49 83 ff 07          	cmp    $0x7,%r15
1401f425b:	76 2e                	jbe    0x1401f428b