1400c3cfd:	4c 8b c9             	mov    %rcx,%r9
1400c3d00:	48 81 f9 a0 86 01 00 	cmp    $0x186a0,%rcx
1400c3d07:	7d 0c                	jge    0x1400c3d15
1400c3d09:	4c 8d 05 b0 51 22 00 	lea    0x2251b0(%rip),%r8        # 0x1402e8ec0
1400c3d10:	e9 ff 00 00 00       	jmp    0x1400c3e14
1400c3d15:	49 81 f9 00 40 9c 00 	cmp    $0x9c4000,%r9
1400c3d1c:	7d 10                	jge    0x1400c3d2e
1400c3d1e:	49 c1 e9 0a          	shr    $0xa,%r9
1400c3d22:	4c 8d 05 9f 51 22 00 	lea    0x22519f(%rip),%r8        # 0x1402e8ec8
1400c3d29:	e9 e6 00 00 00       	jmp    0x1400c3e14
1400c3d2e:	49 81 f9 00 00 40 06 	cmp    $0x6400000,%r9
1400c3d35:	7d 2d                	jge    0x1400c3d64
1400c3d37:	81 e1 ff ff 0f 00    	and    $0xfffff,%ecx
1400c3d3d:	4c 8d 05 8c 51 22 00 	lea    0x22518c(%rip),%r8        # 0x1402e8ed0
1400c3d44:	48 b8 e1 10 00 2d 00 	movabs $0x400078002d0010e1,%rax
1400c3d4b:	78 00 40
1400c3d4e:	48 f7 e1             	mul    %rcx
1400c3d51:	48 2b ca             	sub    %rdx,%rcx
1400c3d54:	48 d1 e9             	shr    $1,%rcx
1400c3d57:	48 03 ca             	add    %rdx,%rcx
1400c3d5a:	48 c1 e9 10          	shr    $0x10,%rcx
1400c3d5e:	49 c1 e9 14          	shr    $0x14,%r9
1400c3d62:	eb 59                	jmp    0x1400c3dbd
1400c3d64:	48 b8 00 00 00 71 02 	movabs $0x271000000,%rax
1400c3d6b:	00 00 00
1400c3d6e:	4c 3b c8             	cmp    %rax,%r9
1400c3d71:	7d 10                	jge    0x1400c3d83
1400c3d73:	49 c1 e9 14          	shr    $0x14,%r9
1400c3d77:	4c 8d 05 62 51 22 00 	lea    0x225162(%rip),%r8        # 0x1402e8ee0
1400c3d7e:	e9 91 00 00 00       	jmp    0x1400c3e14
1400c3d83:	48 b8 00 00 00 00 19 	movabs $0x1900000000,%rax
1400c3d8a:	00 00 00
1400c3d8d:	4c 3b c8             	cmp    %rax,%r9
1400c3d90:	7d 3f                	jge    0x1400c3dd1
1400c3d92:	81 e1 ff ff ff 3f    	and    $0x3fffffff,%ecx
1400c3d98:	4c 8d 05 49 51 22 00 	lea    0x225149(%rip),%r8        # 0x1402e8ee8
1400c3d9f:	48 b8 41 01 00 00 14 	movabs $0x4000001400000141,%rax
1400c3da6:	00 00 40
1400c3da9:	48 f7 e1             	mul    %rcx
1400c3dac:	48 2b ca             	sub    %rdx,%rcx
1400c3daf:	48 d1 e9             	shr    $1,%rcx
1400c3db2:	48 03 ca             	add    %rdx,%rcx
1400c3db5:	48 c1 e9 1a          	shr    $0x1a,%rcx
1400c3db9:	49 c1 e9 1e          	shr    $0x1e,%r9
1400c3dbd:	48 89 4c 24 20       	mov    %rcx,0x20(%rsp)
1400c3dc2:	ba 06 00 00 00       	mov    $0x6,%edx
1400c3dc7:	48 8b cb             	mov    %rbx,%rcx
1400c3dca:	e8 7d 62 ff ff       	call   0x1400ba04c
1400c3dcf:	eb 50                	jmp    0x1400c3e21
1400c3dd1:	48 b8 00 00 00 00 c4 	movabs $0x9c400000000,%rax
1400c3dd8:	09 00 00
1400c3ddb:	4c 3b c8             	cmp    %rax,%r9
1400c3dde:	7d 0d                	jge    0x1400c3ded
1400c3de0:	49 c1 e9 1e          	shr    $0x1e,%r9
1400c3de4:	4c 8d 05 0d 51 22 00 	lea    0x22510d(%rip),%r8        # 0x1402e8ef8
1400c3deb:	eb 27                	jmp    0x1400c3e14
1400c3ded:	48 b8 00 00 00 00 00 	movabs $0x27100000000000,%rax
1400c3df4:	10 27 00
1400c3df7:	4c 3b c8             	cmp    %rax,%r9
1400c3dfa:	7d 0d                	jge    0x1400c3e09
1400c3dfc:	49 c1 e9 28          	shr    $0x28,%r9
1400c3e00:	4c 8d 05 f9 50 22 00 	lea    0x2250f9(%rip),%r8        # 0x1402e8f00
1400c3e07:	eb 0b                	jmp    0x1400c3e14
1400c3e09:	49 c1 e9 32          	shr    $0x32,%r9
1400c3e0d:	4c 8d 05 f4 50 22 00 	lea    0x2250f4(%rip),%r8        # 0x1402e8f08
1400c3e14:	ba 06 00 00 00       	mov    $0x6,%edx
1400c3e19:	48 8b cb             	mov    %rbx,%rcx
1400c3e1c:	e8 2b 62 ff ff       	call   0x1400ba04c
1400c3e21:	48 8b c3             	mov    %rbx,%rax
1400c3e24:	48 83 c4 30          	add    $0x30,%rsp
1400c3e28:	5b                   	pop    %rbx
1400c3e29:	c3                   	ret
1400c3e2a:	cc                   	int3
1400c3e2b:	cc                   	int3
1400c3e2c:	48 8b c4             	mov    %rsp,%rax
1400c3e2f:	48 89 58 08          	mov    %rbx,0x8(%rax)
1400c3e33:	48 89 70 10          	mov    %rsi,0x10(%rax)
1400c3e37:	48 89 78 18          	mov    %rdi,0x18(%rax)
1400c3e3b:	4c 89 70 20          	mov    %r14,0x20(%rax)
1400c3e3f:	41 57                	push   %r15
1400c3e41:	48 83 ec 40          	sub    $0x40,%rsp
1400c3e45:	0f 10 81 f8 0a 00 00 	movups 0xaf8(%rcx),%xmm0
1400c3e4c:	4c 8b f2             	mov    %rdx,%r14
1400c3e4f:	48 8b f9             	mov    %rcx,%rdi
1400c3e52:	0f 10 0a             	movups (%rdx),%xmm1
1400c3e55:	48 8d 50 d8          	lea    -0x28(%rax),%rdx
1400c3e59:	40 32 f6             	xor    %sil,%sil
1400c3e5c:	48 8d 48 e8          	lea    -0x18(%rax),%rcx
1400c3e60:	f3 0f 7f 40 d8       	movdqu %xmm0,-0x28(%rax)
1400c3e65:	f3 0f 7f 48 e8       	movdqu %xmm1,-0x18(%rax)
1400c3e6a:	e8 29 49 fe ff       	call   0x1400a8798
1400c3e6f:	4c 8b 9f 88 0a 00 00 	mov    0xa88(%rdi),%r11
1400c3e76:	48 8b d0             	mov    %rax,%rdx
1400c3e79:	49 8b cb             	mov    %r11,%rcx
1400c3e7c:	48 89 87 a8 0a 00 00 	mov    %rax,0xaa8(%rdi)
1400c3e83:	4c 8b d0             	mov    %rax,%r10
1400c3e86:	e8 dd 05 00 00       	call   0x1400c4468
1400c3e8b:	48 8b 9f 90 0a 00 00 	mov    0xa90(%rdi),%rbx
1400c3e92:	49 8b d2             	mov    %r10,%rdx
1400c3e95:	48 8b cb             	mov    %rbx,%rcx
1400c3e98:	48 89 87 b0 0a 00 00 	mov    %rax,0xab0(%rdi)
1400c3e9f:	e8 c4 05 00 00       	call   0x1400c4468
1400c3ea4:	48 89 87 b8 0a 00 00 	mov    %rax,0xab8(%rdi)
1400c3eab:	49 8b 06             	mov    (%r14),%rax
1400c3eae:	48 39 87 70 0a 00 00 	cmp    %rax,0xa70(%rdi)
1400c3eb5:	0f 84 1d 01 00 00    	je     0x1400c3fd8
1400c3ebb:	8b 8f f8 0b 00 00    	mov    0xbf8(%rdi),%ecx
1400c3ec1:	41 b8 ab aa aa 2a    	mov    $0x2aaaaaab,%r8d
1400c3ec7:	41 0f 10 06          	movups (%r14),%xmm0
1400c3ecb:	48 89 87 70 0a 00 00 	mov    %rax,0xa70(%rdi)
1400c3ed2:	be 01 00 00 00       	mov    $0x1,%esi
1400c3ed7:	41 8b c0             	mov    %r8d,%eax
1400c3eda:	f7 e9                	imul   %ecx
1400c3edc:	8b c2                	mov    %edx,%eax
1400c3ede:	c1 e8 1f             	shr    $0x1f,%eax
1400c3ee1:	03 d0                	add    %eax,%edx
1400c3ee3:	8d 04 52             	lea    (%rdx,%rdx,2),%eax
1400c3ee6:	03 c0                	add    %eax,%eax
1400c3ee8:	2b c8                	sub    %eax,%ecx
1400c3eea:	4a 8d 04 1b          	lea    (%rbx,%r11,1),%rax
1400c3eee:	48 63 c9             	movslq %ecx,%rcx
1400c3ef1:	4c 8d 3c cf          	lea    (%rdi,%rcx,8),%r15
1400c3ef5:	48 03 c9             	add    %rcx,%rcx
1400c3ef8:	49 89 87 68 0b 00 00 	mov    %rax,0xb68(%r15)
1400c3eff:	f3 0f 7f 84 cf 98 0b 	movdqu %xmm0,0xb98(%rdi,%rcx,8)
1400c3f06:	00 00
1400c3f08:	8b 8f f8 0b 00 00    	mov    0xbf8(%rdi),%ecx
1400c3f0e:	03 ce                	add    %esi,%ecx
1400c3f10:	89 8f f8 0b 00 00    	mov    %ecx,0xbf8(%rdi)
1400c3f16:	83 f9 06             	cmp    $0x6,%ecx
1400c3f19:	7d 1f                	jge    0x1400c3f3a
1400c3f1b:	8d 41 ff             	lea    -0x1(%rcx),%eax
1400c3f1e:	85 c0                	test   %eax,%eax
1400c3f20:	75 13                	jne    0x1400c3f35
1400c3f22:	48 8b 87 b8 0a 00 00 	mov    0xab8(%rdi),%rax
1400c3f29:	48 03 87 b0 0a 00 00 	add    0xab0(%rdi),%rax
1400c3f30:	e9 9c 00 00 00       	jmp    0x1400c3fd1
1400c3f35:	83 f9 06             	cmp    $0x6,%ecx
1400c3f38:	7c 15                	jl     0x1400c3f4f
1400c3f3a:	41 8b c0             	mov    %r8d,%eax
1400c3f3d:	f7 e9                	imul   %ecx
1400c3f3f:	8b c2                	mov    %edx,%eax
1400c3f41:	c1 e8 1f             	shr    $0x1f,%eax
1400c3f44:	03 d0                	add    %eax,%edx
1400c3f46:	8d 04 52             	lea    (%rdx,%rdx,2),%eax
1400c3f49:	03 c0                	add    %eax,%eax
1400c3f4b:	2b c8                	sub    %eax,%ecx
1400c3f4d:	eb 02                	jmp    0x1400c3f51
1400c3f4f:	33 c9                	xor    %ecx,%ecx
1400c3f51:	41 0f 10 0e          	movups (%r14),%xmm1
1400c3f55:	48 63 d9             	movslq %ecx,%rbx
1400c3f58:	48 8d 54 24 30       	lea    0x30(%rsp),%rdx
1400c3f5d:	48 8b c3             	mov    %rbx,%rax
1400c3f60:	48 8d 4c 24 20       	lea    0x20(%rsp),%rcx
1400c3f65:	48 03 c0             	add    %rax,%rax
1400c3f68:	f3 0f 7f 4c 24 20    	movdqu %xmm1,0x20(%rsp)
1400c3f6e:	0f 10 84 c7 98 0b 00 	movups 0xb98(%rdi,%rax,8),%xmm0
1400c3f75:	00
1400c3f76:	f3 0f 7f 44 24 30    	movdqu %xmm0,0x30(%rsp)
1400c3f7c:	e8 53 47 fe ff       	call   0x1400a86d4
1400c3f81:	48 85 c0             	test   %rax,%rax
1400c3f84:	48 8b c8             	mov    %rax,%rcx
1400c3f87:	49 8b 87 68 0b 00 00 	mov    0xb68(%r15),%rax
1400c3f8e:	48 0f 44 ce          	cmove  %rsi,%rcx
1400c3f92:	48 2b 84 df 68 0b 00 	sub    0xb68(%rdi,%rbx,8),%rax
1400c3f99:	00
1400c3f9a:	48 3d 37 89 41 00    	cmp    $0x418937,%rax
1400c3fa0:	7e 23                	jle    0x1400c3fc5
1400c3fa2:	0f 57 c0             	xorps  %xmm0,%xmm0
1400c3fa5:	0f 57 c9             	xorps  %xmm1,%xmm1
1400c3fa8:	f2 48 0f 2a c1       	cvtsi2sd %rcx,%xmm0
1400c3fad:	f2 48 0f 2a c8       	cvtsi2sd %rax,%xmm1
1400c3fb2:	f2 0f 5e 05 8e 50 22 	divsd  0x22508e(%rip),%xmm0        # 0x1402e9048
1400c3fb9:	00
1400c3fba:	f2 0f 5e c8          	divsd  %xmm0,%xmm1
1400c3fbe:	f2 48 0f 2c c1       	cvttsd2si %xmm1,%rax
1400c3fc3:	eb 0c                	jmp    0x1400c3fd1
1400c3fc5:	48 69 c0 e8 03 00 00 	imul   $0x3e8,%rax,%rax
1400c3fcc:	48 99                	cqto
1400c3fce:	48 f7 f9             	idiv   %rcx
1400c3fd1:	48 89 87 98 0a 00 00 	mov    %rax,0xa98(%rdi)
1400c3fd8:	48 8b 5c 24 50       	mov    0x50(%rsp),%rbx
1400c3fdd:	40 8a c6             	mov    %sil,%al
1400c3fe0:	48 8b 74 24 58       	mov    0x58(%rsp),%rsi
1400c3fe5:	48 8b 7c 24 60       	mov    0x60(%rsp),%rdi
1400c3fea:	4c 8b 74 24 68       	mov    0x68(%rsp),%r14
1400c3fef:	48 83 c4 40          	add    $0x40,%rsp
1400c3ff3:	41 5f                	pop    %r15
1400c3ff5:	c3                   	ret
1400c3ff6:	cc                   	int3
1400c3ff7:	cc                   	int3
1400c3ff8:	48 8b c4             	mov    %rsp,%rax
1400c3ffb:	48 89 58 10          	mov    %rbx,0x10(%rax)
1400c3fff:	48 89 70 18          	mov    %rsi,0x18(%rax)
1400c4003:	48 89 78 20          	mov    %rdi,0x20(%rax)
1400c4007:	55                   	push   %rbp
1400c4008:	41 54                	push   %r12
1400c400a:	41 55                	push   %r13
1400c400c:	41 56                	push   %r14
1400c400e:	41 57                	push   %r15
1400c4010:	48 8d 68 c8          	lea    -0x38(%rax),%rbp
1400c4014:	48 81 ec 10 01 00 00 	sub    $0x110,%rsp
1400c401b:	48 8b 05 5e 1a 31 00 	mov    0x311a5e(%rip),%rax        # 0x1403d5a80
1400c4022:	48 33 c4             	xor    %rsp,%rax
1400c4025:	48 89 45 00          	mov    %rax,0x0(%rbp)
1400c4029:	44 8b 89 a4 0a 00 00 	mov    0xaa4(%rcx),%r9d
1400c4030:	45 33 e4             	xor    %r12d,%r12d
1400c4033:	48 b8 db 34 b6 d7 82 	movabs $0x431bde82d7b634db,%rax
1400c403a:	de 1b 43
1400c403d:	4c 89 64 24 78       	mov    %r12,0x78(%rsp)
1400c4042:	48 f7 a9 a8 0a 00 00 	imulq  0xaa8(%rcx)
1400c4049:	4c 8b e9             	mov    %rcx,%r13
1400c404c:	4c 89 64 24 70       	mov    %r12,0x70(%rsp)
1400c4051:	48 8b f2             	mov    %rdx,%rsi
1400c4054:	45 8b f4             	mov    %r12d,%r14d
1400c4057:	48 c1 fe 12          	sar    $0x12,%rsi
1400c405b:	41 8b fc             	mov    %r12d,%edi
1400c405e:	48 8b c6             	mov    %rsi,%rax
1400c4061:	48 c1 e8 3f          	shr    $0x3f,%rax
1400c4065:	48 03 f0             	add    %rax,%rsi
1400c4068:	45 84 c9             	test   %r9b,%r9b
1400c406b:	78 41                	js     0x1400c40ae
1400c406d:	4c 8b 81 a0 10 00 00 	mov    0x10a0(%rcx),%r8
1400c4074:	48 8d 99 e8 01 00 00 	lea    0x1e8(%rcx),%rbx
1400c407b:	4d 85 c0             	test   %r8,%r8
1400c407e:	74 0f                	je     0x1400c408f
1400c4080:	48 8b 0b             	mov    (%rbx),%rcx
1400c4083:	48 8d 15 8e 4e 22 00 	lea    0x224e8e(%rip),%rdx        # 0x1402e8f18
1400c408a:	e8 91 5f ff ff       	call   0x1400ba020
1400c408f:	48 8b 0b             	mov    (%rbx),%rcx
1400c4092:	48 8d 15 b7 4e 22 00 	lea    0x224eb7(%rip),%rdx        # 0x1402e8f50
1400c4099:	e8 82 5f ff ff       	call   0x1400ba020
1400c409e:	41 0f ba ad a4 0a 00 	btsl   $0x7,0xaa4(%r13)
1400c40a5:	00 07
1400c40a7:	45 8b 8d a4 0a 00 00 	mov    0xaa4(%r13),%r9d
1400c40ae:	bb 10 27 00 00       	mov    $0x2710,%ebx
1400c40b3:	49 bf 0b d7 a3 70 3d 	movabs $0xa3d70a3d70a3d70b,%r15
1400c40ba:	0a d7 a3
1400c40bd:	41 f6 c1 20          	test   $0x20,%r9b
1400c40c1:	74 60                	je     0x1400c4123
1400c40c3:	49 8b 8d b8 0a 00 00 	mov    0xab8(%r13),%rcx
1400c40ca:	48 85 c9             	test   %rcx,%rcx
1400c40cd:	7e 54                	jle    0x1400c4123
1400c40cf:	4d 8b 85 80 0a 00 00 	mov    0xa80(%r13),%r8
1400c40d6:	49 8b c0             	mov    %r8,%rax
1400c40d9:	48 99                	cqto
1400c40db:	48 f7 f9             	idiv   %rcx
1400c40de:	4c 8b f0             	mov    %rax,%r14
1400c40e1:	4c 3b c3             	cmp    %rbx,%r8
1400c40e4:	7e 26                	jle    0x1400c410c
1400c40e6:	49 8b c7             	mov    %r15,%rax
1400c40e9:	49 f7 e8             	imul   %r8
1400c40ec:	49 8d 0c 10          	lea    (%r8,%rdx,1),%rcx
1400c40f0:	48 c1 f9 06          	sar    $0x6,%rcx
1400c40f4:	48 8b c1             	mov    %rcx,%rax
1400c40f7:	48 c1 e8 3f          	shr    $0x3f,%rax
1400c40fb:	48 03 c8             	add    %rax,%rcx
1400c40fe:	49 8b 85 90 0a 00 00 	mov    0xa90(%r13),%rax
1400c4105:	48 99                	cqto
1400c4107:	48 f7 f9             	idiv   %rcx
1400c410a:	eb 12                	jmp    0x1400c411e
1400c410c:	4d 85 c0             	test   %r8,%r8
1400c410f:	7e 12                	jle    0x1400c4123
1400c4111:	49 6b 85 90 0a 00 00 	imul   $0x64,0xa90(%r13),%rax
1400c4118:	64
1400c4119:	48 99                	cqto
1400c411b:	49 f7 f8             	idiv   %r8
1400c411e:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1400c4123:	41 f6 c1 40          	test   $0x40,%r9b
1400c4127:	74 60                	je     0x1400c4189
1400c4129:	49 8b 8d b0 0a 00 00 	mov    0xab0(%r13),%rcx
1400c4130:	48 85 c9             	test   %rcx,%rcx
1400c4133:	7e 54                	jle    0x1400c4189
1400c4135:	4d 8b 85 78 0a 00 00 	mov    0xa78(%r13),%r8
1400c413c:	49 8b c0             	mov    %r8,%rax
1400c413f:	48 99                	cqto
1400c4141:	48 f7 f9             	idiv   %rcx
1400c4144:	48 8b f8             	mov    %rax,%rdi
1400c4147:	4c 3b c3             	cmp    %rbx,%r8
1400c414a:	7e 26                	jle    0x1400c4172
1400c414c:	49 8b c7             	mov    %r15,%rax
1400c414f:	49 f7 e8             	imul   %r8
1400c4152:	49 8d 0c 10          	lea    (%r8,%rdx,1),%rcx
1400c4156:	48 c1 f9 06          	sar    $0x6,%rcx
1400c415a:	48 8b c1             	mov    %rcx,%rax
1400c415d:	48 c1 e8 3f          	shr    $0x3f,%rax
1400c4161:	48 03 c8             	add    %rax,%rcx
1400c4164:	49 8b 85 88 0a 00 00 	mov    0xa88(%r13),%rax
1400c416b:	48 99                	cqto
1400c416d:	48 f7 f9             	idiv   %rcx
1400c4170:	eb 12                	jmp    0x1400c4184
1400c4172:	4d 85 c0             	test   %r8,%r8
1400c4175:	7e 12                	jle    0x1400c4189
1400c4177:	49 6b 85 88 0a 00 00 	imul   $0x64,0xa88(%r13),%rax
1400c417e:	64
1400c417f:	48 99                	cqto
1400c4181:	49 f7 f8             	idiv   %r8
1400c4184:	48 89 44 24 78       	mov    %rax,0x78(%rsp)
1400c4189:	4c 3b f7             	cmp    %rdi,%r14
1400c418c:	48 8d 4d 90          	lea    -0x70(%rbp),%rcx
1400c4190:	49 8b d4             	mov    %r12,%rdx
1400c4193:	49 0f 4f fe          	cmovg  %r14,%rdi
1400c4197:	48 8b c7             	mov    %rdi,%rax
1400c419a:	48 2b c6             	sub    %rsi,%rax
1400c419d:	48 85 ff             	test   %rdi,%rdi
1400c41a0:	48 0f 4f d0          	cmovg  %rax,%rdx
1400c41a4:	e8 a3 01 00 00       	call   0x1400c434c
1400c41a9:	48 8b d7             	mov    %rdi,%rdx
1400c41ac:	48 8d 4d b0          	lea    -0x50(%rbp),%rcx
1400c41b0:	e8 97 01 00 00       	call   0x1400c434c
1400c41b5:	48 8b d6             	mov    %rsi,%rdx
1400c41b8:	48 8d 4d a0          	lea    -0x60(%rbp),%rcx
1400c41bc:	e8 8b 01 00 00       	call   0x1400c434c
1400c41c1:	41 8b 85 a4 0a 00 00 	mov    0xaa4(%r13),%eax
1400c41c8:	a8 20                	test   $0x20,%al
1400c41ca:	74 09                	je     0x1400c41d5
1400c41cc:	49 8b 8d 80 0a 00 00 	mov    0xa80(%r13),%rcx
1400c41d3:	eb 07                	jmp    0x1400c41dc
1400c41d5:	49 8b 8d 90 0a 00 00 	mov    0xa90(%r13),%rcx
1400c41dc:	48 89 4d 88          	mov    %rcx,-0x78(%rbp)
1400c41e0:	a8 40                	test   $0x40,%al
1400c41e2:	74 09                	je     0x1400c41ed
1400c41e4:	49 8b 85 78 0a 00 00 	mov    0xa78(%r13),%rax
1400c41eb:	eb 07                	jmp    0x1400c41f4
1400c41ed:	49 8b 85 88 0a 00 00 	mov    0xa88(%r13),%rax
1400c41f4:	4d 8b 8d 90 0a 00 00 	mov    0xa90(%r13),%r9
1400c41fb:	48 03 c8             	add    %rax,%rcx
1400c41fe:	4d 03 8d 88 0a 00 00 	add    0xa88(%r13),%r9
1400c4205:	48 89 45 80          	mov    %rax,-0x80(%rbp)
1400c4209:	48 3b cb             	cmp    %rbx,%rcx
1400c420c:	7e 22                	jle    0x1400c4230
1400c420e:	49 8b c7             	mov    %r15,%rax
1400c4211:	48 f7 e9             	imul   %rcx
1400c4214:	49 8b c1             	mov    %r9,%rax
1400c4217:	4c 8d 04 11          	lea    (%rcx,%rdx,1),%r8
1400c421b:	48 99                	cqto
1400c421d:	49 c1 f8 06          	sar    $0x6,%r8
1400c4221:	49 8b c8             	mov    %r8,%rcx
1400c4224:	48 c1 e9 3f          	shr    $0x3f,%rcx
1400c4228:	4c 03 c1             	add    %rcx,%r8
1400c422b:	49 f7 f8             	idiv   %r8
1400c422e:	eb 0e                	jmp    0x1400c423e
1400c4230:	48 85 c9             	test   %rcx,%rcx
1400c4233:	7e 0c                	jle    0x1400c4241
1400c4235:	49 6b c1 64          	imul   $0x64,%r9,%rax
1400c4239:	48 99                	cqto
1400c423b:	48 f7 f9             	idiv   %rcx
1400c423e:	4c 8b e0             	mov    %rax,%r12
1400c4241:	49 8b 8d 98 0a 00 00 	mov    0xa98(%r13),%rcx
1400c4248:	48 8d 55 f2          	lea    -0xe(%rbp),%rdx