140012cd6:	4c 89 c9             	mov    %r9,%rcx
140012cd9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
140012cde:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
140012ce3:	45 89 c9             	mov    %r9d,%r9d
140012ce6:	48 89 e0             	mov    %rsp,%rax
140012ce9:	41 f7 c1 07 00 00 00 	test   $0x7,%r9d
140012cf0:	75 0e                	jne    0x140012d00
140012cf2:	44 8b 1d 1f 90 3c 00 	mov    0x3c901f(%rip),%r11d        # 0x1403dbd18
140012cf9:	e9 69 06 00 00       	jmp    0x140013367
140012cfe:	90                   	nop
140012cff:	90                   	nop
140012d00:	66 0f 6e 6c 24 38    	movd   0x38(%rsp),%xmm5
140012d06:	53                   	push   %rbx
140012d07:	55                   	push   %rbp
140012d08:	41 54                	push   %r12
140012d0a:	41 55                	push   %r13
140012d0c:	41 56                	push   %r14
140012d0e:	41 57                	push   %r15
140012d10:	49 f7 d9             	neg    %r9
140012d13:	49 89 e3             	mov    %rsp,%r11
140012d16:	4e 8d 94 cc e8 fe ff 	lea    -0x118(%rsp,%r9,8),%r10
140012d1d:	ff
140012d1e:	49 f7 d9             	neg    %r9
140012d21:	49 81 e2 00 fc ff ff 	and    $0xfffffffffffffc00,%r10
140012d28:	4d 29 d3             	sub    %r10,%r11
140012d2b:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
140012d32:	4b 8d 24 1a          	lea    (%r10,%r11,1),%rsp
140012d36:	4c 8b 1c 24          	mov    (%rsp),%r11
140012d3a:	4c 39 d4             	cmp    %r10,%rsp
140012d3d:	77 02                	ja     0x140012d41
140012d3f:	eb 11                	jmp    0x140012d52
140012d41:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
140012d48:	ff
140012d49:	4c 8b 1c 24          	mov    (%rsp),%r11
140012d4d:	4c 39 d4             	cmp    %r10,%rsp
140012d50:	77 ef                	ja     0x140012d41
140012d52:	4c 8d 15 27 31 00 00 	lea    0x3127(%rip),%r10        # 0x140015e80
140012d59:	4a 89 44 cc 08       	mov    %rax,0x8(%rsp,%r9,8)
140012d5e:	4c 8d a2 80 00 00 00 	lea    0x80(%rdx),%r12
140012d65:	66 41 0f 6f 02       	movdqa (%r10),%xmm0
140012d6a:	66 41 0f 6f 4a 10    	movdqa 0x10(%r10),%xmm1
140012d70:	4e 8d 54 cc a8       	lea    -0x58(%rsp,%r9,8),%r10
140012d75:	49 83 e2 f0          	and    $0xfffffffffffffff0,%r10
140012d79:	66 0f 70 ed 00       	pshufd $0x0,%xmm5,%xmm5
140012d7e:	66 0f 6f e1          	movdqa %xmm1,%xmm4
140012d82:	66 0f 6f d1          	movdqa %xmm1,%xmm2
140012d86:	66 0f fe c8          	paddd  %xmm0,%xmm1
140012d8a:	66 0f 76 c5          	pcmpeqd %xmm5,%xmm0
140012d8e:	67 66 0f 6f dc       	addr32 movdqa %xmm4,%xmm3
140012d93:	66 0f fe d1          	paddd  %xmm1,%xmm2
140012d97:	66 0f 76 cd          	pcmpeqd %xmm5,%xmm1
140012d9b:	66 41 0f 7f 42 70    	movdqa %xmm0,0x70(%r10)
140012da1:	66 0f 6f c4          	movdqa %xmm4,%xmm0
140012da5:	66 0f fe da          	paddd  %xmm2,%xmm3
140012da9:	66 0f 76 d5          	pcmpeqd %xmm5,%xmm2
140012dad:	66 41 0f 7f 8a 80 00 	movdqa %xmm1,0x80(%r10)
140012db4:	00 00
140012db6:	66 0f 6f cc          	movdqa %xmm4,%xmm1
140012dba:	66 0f fe c3          	paddd  %xmm3,%xmm0
140012dbe:	66 0f 76 dd          	pcmpeqd %xmm5,%xmm3
140012dc2:	66 41 0f 7f 92 90 00 	movdqa %xmm2,0x90(%r10)
140012dc9:	00 00
140012dcb:	66 0f 6f d4          	movdqa %xmm4,%xmm2
140012dcf:	66 0f fe c8          	paddd  %xmm0,%xmm1
140012dd3:	66 0f 76 c5          	pcmpeqd %xmm5,%xmm0
140012dd7:	66 41 0f 7f 9a a0 00 	movdqa %xmm3,0xa0(%r10)
140012dde:	00 00
140012de0:	66 0f 6f dc          	movdqa %xmm4,%xmm3
140012de4:	66 0f fe d1          	paddd  %xmm1,%xmm2
140012de8:	66 0f 76 cd          	pcmpeqd %xmm5,%xmm1
140012dec:	66 41 0f 7f 82 b0 00 	movdqa %xmm0,0xb0(%r10)
140012df3:	00 00
140012df5:	66 0f 6f c4          	movdqa %xmm4,%xmm0
140012df9:	66 0f fe da          	paddd  %xmm2,%xmm3
140012dfd:	66 0f 76 d5          	pcmpeqd %xmm5,%xmm2
140012e01:	66 41 0f 7f 8a c0 00 	movdqa %xmm1,0xc0(%r10)
140012e08:	00 00
140012e0a:	66 0f 6f cc          	movdqa %xmm4,%xmm1
140012e0e:	66 0f fe c3          	paddd  %xmm3,%xmm0
140012e12:	66 0f 76 dd          	pcmpeqd %xmm5,%xmm3
140012e16:	66 41 0f 7f 92 d0 00 	movdqa %xmm2,0xd0(%r10)
140012e1d:	00 00
140012e1f:	66 0f 6f d4          	movdqa %xmm4,%xmm2
140012e23:	66 0f fe c8          	paddd  %xmm0,%xmm1
140012e27:	66 0f 76 c5          	pcmpeqd %xmm5,%xmm0
140012e2b:	66 41 0f 7f 9a e0 00 	movdqa %xmm3,0xe0(%r10)
140012e32:	00 00
140012e34:	66 0f 6f dc          	movdqa %xmm4,%xmm3
140012e38:	66 0f fe d1          	paddd  %xmm1,%xmm2
140012e3c:	66 0f 76 cd          	pcmpeqd %xmm5,%xmm1
140012e40:	66 41 0f 7f 82 f0 00 	movdqa %xmm0,0xf0(%r10)
140012e47:	00 00
140012e49:	66 0f 6f c4          	movdqa %xmm4,%xmm0
140012e4d:	66 0f fe da          	paddd  %xmm2,%xmm3
140012e51:	66 0f 76 d5          	pcmpeqd %xmm5,%xmm2
140012e55:	66 41 0f 7f 8a 00 01 	movdqa %xmm1,0x100(%r10)
140012e5c:	00 00
140012e5e:	66 0f 6f cc          	movdqa %xmm4,%xmm1
140012e62:	66 0f fe c3          	paddd  %xmm3,%xmm0
140012e66:	66 0f 76 dd          	pcmpeqd %xmm5,%xmm3
140012e6a:	66 41 0f 7f 92 10 01 	movdqa %xmm2,0x110(%r10)
140012e71:	00 00
140012e73:	66 0f 6f d4          	movdqa %xmm4,%xmm2
140012e77:	66 0f fe c8          	paddd  %xmm0,%xmm1
140012e7b:	66 0f 76 c5          	pcmpeqd %xmm5,%xmm0
140012e7f:	66 41 0f 7f 9a 20 01 	movdqa %xmm3,0x120(%r10)
140012e86:	00 00
140012e88:	66 0f 6f dc          	movdqa %xmm4,%xmm3
140012e8c:	66 0f fe d1          	paddd  %xmm1,%xmm2
140012e90:	66 0f 76 cd          	pcmpeqd %xmm5,%xmm1
140012e94:	66 41 0f 7f 82 30 01 	movdqa %xmm0,0x130(%r10)
140012e9b:	00 00
140012e9d:	66 0f fe da          	paddd  %xmm2,%xmm3
140012ea1:	67 66 0f 76 d5       	addr32 pcmpeqd %xmm5,%xmm2
140012ea6:	66 41 0f 7f 8a 40 01 	movdqa %xmm1,0x140(%r10)
140012ead:	00 00
140012eaf:	66 0f 76 dd          	pcmpeqd %xmm5,%xmm3
140012eb3:	66 41 0f 7f 92 50 01 	movdqa %xmm2,0x150(%r10)
140012eba:	00 00
140012ebc:	66 41 0f db 44 24 40 	pand   0x40(%r12),%xmm0
140012ec3:	66 41 0f db 4c 24 50 	pand   0x50(%r12),%xmm1
140012eca:	66 41 0f db 54 24 60 	pand   0x60(%r12),%xmm2
140012ed1:	66 41 0f 7f 9a 60 01 	movdqa %xmm3,0x160(%r10)
140012ed8:	00 00
140012eda:	66 41 0f db 5c 24 70 	pand   0x70(%r12),%xmm3
140012ee1:	66 0f eb c2          	por    %xmm2,%xmm0
140012ee5:	66 0f eb cb          	por    %xmm3,%xmm1
140012ee9:	66 41 0f 6f 64 24 80 	movdqa -0x80(%r12),%xmm4
140012ef0:	66 41 0f 6f 6c 24 90 	movdqa -0x70(%r12),%xmm5
140012ef7:	66 41 0f 6f 54 24 a0 	movdqa -0x60(%r12),%xmm2
140012efe:	66 41 0f db 62 70    	pand   0x70(%r10),%xmm4
140012f04:	66 41 0f 6f 5c 24 b0 	movdqa -0x50(%r12),%xmm3
140012f0b:	66 41 0f db aa 80 00 	pand   0x80(%r10),%xmm5
140012f12:	00 00
140012f14:	66 0f eb c4          	por    %xmm4,%xmm0
140012f18:	66 41 0f db 92 90 00 	pand   0x90(%r10),%xmm2
140012f1f:	00 00
140012f21:	66 0f eb cd          	por    %xmm5,%xmm1
140012f25:	66 41 0f db 9a a0 00 	pand   0xa0(%r10),%xmm3
140012f2c:	00 00
140012f2e:	66 0f eb c2          	por    %xmm2,%xmm0
140012f32:	66 0f eb cb          	por    %xmm3,%xmm1
140012f36:	66 41 0f 6f 64 24 c0 	movdqa -0x40(%r12),%xmm4
140012f3d:	66 41 0f 6f 6c 24 d0 	movdqa -0x30(%r12),%xmm5
140012f44:	66 41 0f 6f 54 24 e0 	movdqa -0x20(%r12),%xmm2
140012f4b:	66 41 0f db a2 b0 00 	pand   0xb0(%r10),%xmm4
140012f52:	00 00
140012f54:	66 41 0f 6f 5c 24 f0 	movdqa -0x10(%r12),%xmm3
140012f5b:	66 41 0f db aa c0 00 	pand   0xc0(%r10),%xmm5
140012f62:	00 00
140012f64:	66 0f eb c4          	por    %xmm4,%xmm0
140012f68:	66 41 0f db 92 d0 00 	pand   0xd0(%r10),%xmm2
140012f6f:	00 00
140012f71:	66 0f eb cd          	por    %xmm5,%xmm1
140012f75:	66 41 0f db 9a e0 00 	pand   0xe0(%r10),%xmm3
140012f7c:	00 00
140012f7e:	66 0f eb c2          	por    %xmm2,%xmm0
140012f82:	66 0f eb cb          	por    %xmm3,%xmm1
140012f86:	66 41 0f 6f 24 24    	movdqa (%r12),%xmm4
140012f8c:	66 41 0f 6f 6c 24 10 	movdqa 0x10(%r12),%xmm5
140012f93:	66 41 0f 6f 54 24 20 	movdqa 0x20(%r12),%xmm2
140012f9a:	66 41 0f db a2 f0 00 	pand   0xf0(%r10),%xmm4
140012fa1:	00 00
140012fa3:	66 41 0f 6f 5c 24 30 	movdqa 0x30(%r12),%xmm3
140012faa:	66 41 0f db aa 00 01 	pand   0x100(%r10),%xmm5
140012fb1:	00 00
140012fb3:	66 0f eb c4          	por    %xmm4,%xmm0
140012fb7:	66 41 0f db 92 10 01 	pand   0x110(%r10),%xmm2
140012fbe:	00 00
140012fc0:	66 0f eb cd          	por    %xmm5,%xmm1
140012fc4:	66 41 0f db 9a 20 01 	pand   0x120(%r10),%xmm3
140012fcb:	00 00
140012fcd:	66 0f eb c2          	por    %xmm2,%xmm0
140012fd1:	66 0f eb cb          	por    %xmm3,%xmm1
140012fd5:	66 0f eb c1          	por    %xmm1,%xmm0
140012fd9:	66 0f 70 c8 4e       	pshufd $0x4e,%xmm0,%xmm1
140012fde:	66 0f eb c1          	por    %xmm1,%xmm0
140012fe2:	4d 8d a4 24 00 01 00 	lea    0x100(%r12),%r12
140012fe9:	00
140012fea:	66 48 0f 7e c3       	movq   %xmm0,%rbx
140012fef:	4d 8b 00             	mov    (%r8),%r8
140012ff2:	48 8b 06             	mov    (%rsi),%rax
140012ff5:	4d 31 f6             	xor    %r14,%r14
140012ff8:	4d 31 ff             	xor    %r15,%r15
140012ffb:	4c 89 c5             	mov    %r8,%rbp
140012ffe:	48 f7 e3             	mul    %rbx
140013001:	49 89 c2             	mov    %rax,%r10
140013004:	48 8b 01             	mov    (%rcx),%rax
140013007:	49 0f af ea          	imul   %r10,%rbp
14001300b:	49 89 d3             	mov    %rdx,%r11
14001300e:	48 f7 e5             	mul    %rbp
140013011:	49 01 c2             	add    %rax,%r10
140013014:	48 8b 46 08          	mov    0x8(%rsi),%rax
140013018:	48 83 d2 00          	adc    $0x0,%rdx
14001301c:	49 89 d5             	mov    %rdx,%r13
14001301f:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140013023:	eb 28                	jmp    0x14001304d
140013025:	90                   	nop
140013026:	90                   	nop
140013027:	90                   	nop
140013028:	90                   	nop
140013029:	90                   	nop
14001302a:	90                   	nop
14001302b:	90                   	nop
14001302c:	90                   	nop
14001302d:	90                   	nop
14001302e:	90                   	nop
14001302f:	90                   	nop
140013030:	49 01 c5             	add    %rax,%r13
140013033:	4a 8b 04 fe          	mov    (%rsi,%r15,8),%rax
140013037:	48 83 d2 00          	adc    $0x0,%rdx
14001303b:	4d 01 dd             	add    %r11,%r13
14001303e:	4d 89 d3             	mov    %r10,%r11
140013041:	48 83 d2 00          	adc    $0x0,%rdx
140013045:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
14001304a:	49 89 d5             	mov    %rdx,%r13
14001304d:	48 f7 e3             	mul    %rbx
140013050:	49 01 c3             	add    %rax,%r11
140013053:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
140013057:	48 83 d2 00          	adc    $0x0,%rdx
14001305b:	4d 8d 7f 01          	lea    0x1(%r15),%r15
14001305f:	49 89 d2             	mov    %rdx,%r10
140013062:	48 f7 e5             	mul    %rbp
140013065:	4d 39 cf             	cmp    %r9,%r15
140013068:	75 c6                	jne    0x140013030
14001306a:	49 01 c5             	add    %rax,%r13
14001306d:	48 83 d2 00          	adc    $0x0,%rdx
140013071:	4d 01 dd             	add    %r11,%r13
140013074:	48 83 d2 00          	adc    $0x0,%rdx
140013078:	4e 89 6c cc f0       	mov    %r13,-0x10(%rsp,%r9,8)
14001307d:	49 89 d5             	mov    %rdx,%r13
140013080:	4d 89 d3             	mov    %r10,%r11
140013083:	48 31 d2             	xor    %rdx,%rdx
140013086:	4d 01 dd             	add    %r11,%r13
140013089:	48 83 d2 00          	adc    $0x0,%rdx
14001308d:	4e 89 6c cc f8       	mov    %r13,-0x8(%rsp,%r9,8)
140013092:	4a 89 14 cc          	mov    %rdx,(%rsp,%r9,8)
140013096:	4d 8d 76 01          	lea    0x1(%r14),%r14
14001309a:	eb 04                	jmp    0x1400130a0
14001309c:	90                   	nop
14001309d:	90                   	nop
14001309e:	90                   	nop
14001309f:	90                   	nop
1400130a0:	4a 8d 94 cc 98 00 00 	lea    0x98(%rsp,%r9,8),%rdx
1400130a7:	00
1400130a8:	48 83 e2 f0          	and    $0xfffffffffffffff0,%rdx
1400130ac:	66 0f ef e4          	pxor   %xmm4,%xmm4
1400130b0:	66 0f ef ed          	pxor   %xmm5,%xmm5
1400130b4:	66 41 0f 6f 44 24 80 	movdqa -0x80(%r12),%xmm0
1400130bb:	66 41 0f 6f 4c 24 90 	movdqa -0x70(%r12),%xmm1
1400130c2:	66 41 0f 6f 54 24 a0 	movdqa -0x60(%r12),%xmm2
1400130c9:	66 41 0f 6f 5c 24 b0 	movdqa -0x50(%r12),%xmm3
1400130d0:	66 0f db 42 80       	pand   -0x80(%rdx),%xmm0
1400130d5:	66 0f db 4a 90       	pand   -0x70(%rdx),%xmm1
1400130da:	66 0f eb e0          	por    %xmm0,%xmm4
1400130de:	66 0f db 52 a0       	pand   -0x60(%rdx),%xmm2
1400130e3:	66 0f eb e9          	por    %xmm1,%xmm5
1400130e7:	66 0f db 5a b0       	pand   -0x50(%rdx),%xmm3
1400130ec:	66 0f eb e2          	por    %xmm2,%xmm4
1400130f0:	66 0f eb eb          	por    %xmm3,%xmm5
1400130f4:	66 41 0f 6f 44 24 c0 	movdqa -0x40(%r12),%xmm0
1400130fb:	66 41 0f 6f 4c 24 d0 	movdqa -0x30(%r12),%xmm1
140013102:	66 41 0f 6f 54 24 e0 	movdqa -0x20(%r12),%xmm2
140013109:	66 41 0f 6f 5c 24 f0 	movdqa -0x10(%r12),%xmm3
140013110:	66 0f db 42 c0       	pand   -0x40(%rdx),%xmm0
140013115:	66 0f db 4a d0       	pand   -0x30(%rdx),%xmm1
14001311a:	66 0f eb e0          	por    %xmm0,%xmm4
14001311e:	66 0f db 52 e0       	pand   -0x20(%rdx),%xmm2
140013123:	66 0f eb e9          	por    %xmm1,%xmm5
140013127:	66 0f db 5a f0       	pand   -0x10(%rdx),%xmm3
14001312c:	66 0f eb e2          	por    %xmm2,%xmm4
140013130:	66 0f eb eb          	por    %xmm3,%xmm5
140013134:	66 41 0f 6f 04 24    	movdqa (%r12),%xmm0
14001313a:	66 41 0f 6f 4c 24 10 	movdqa 0x10(%r12),%xmm1
140013141:	66 41 0f 6f 54 24 20 	movdqa 0x20(%r12),%xmm2
140013148:	66 41 0f 6f 5c 24 30 	movdqa 0x30(%r12),%xmm3
14001314f:	66 0f db 02          	pand   (%rdx),%xmm0
140013153:	66 0f db 4a 10       	pand   0x10(%rdx),%xmm1
140013158:	66 0f eb e0          	por    %xmm0,%xmm4
14001315c:	66 0f db 52 20       	pand   0x20(%rdx),%xmm2
140013161:	66 0f eb e9          	por    %xmm1,%xmm5
140013165:	66 0f db 5a 30       	pand   0x30(%rdx),%xmm3
14001316a:	66 0f eb e2          	por    %xmm2,%xmm4
14001316e:	66 0f eb eb          	por    %xmm3,%xmm5
140013172:	66 41 0f 6f 44 24 40 	movdqa 0x40(%r12),%xmm0
140013179:	66 41 0f 6f 4c 24 50 	movdqa 0x50(%r12),%xmm1
140013180:	66 41 0f 6f 54 24 60 	movdqa 0x60(%r12),%xmm2
140013187:	66 41 0f 6f 5c 24 70 	movdqa 0x70(%r12),%xmm3
14001318e:	66 0f db 42 40       	pand   0x40(%rdx),%xmm0
140013193:	66 0f db 4a 50       	pand   0x50(%rdx),%xmm1
140013198:	66 0f eb e0          	por    %xmm0,%xmm4
14001319c:	66 0f db 52 60       	pand   0x60(%rdx),%xmm2
1400131a1:	66 0f eb e9          	por    %xmm1,%xmm5
1400131a5:	66 0f db 5a 70       	pand   0x70(%rdx),%xmm3
1400131aa:	66 0f eb e2          	por    %xmm2,%xmm4
1400131ae:	66 0f eb eb          	por    %xmm3,%xmm5
1400131b2:	66 0f eb e5          	por    %xmm5,%xmm4
1400131b6:	66 0f 70 c4 4e       	pshufd $0x4e,%xmm4,%xmm0
1400131bb:	66 0f eb c4          	por    %xmm4,%xmm0
1400131bf:	4d 8d a4 24 00 01 00 	lea    0x100(%r12),%r12
1400131c6:	00
1400131c7:	48 8b 06             	mov    (%rsi),%rax
1400131ca:	66 48 0f 7e c3       	movq   %xmm0,%rbx
1400131cf:	4d 31 ff             	xor    %r15,%r15
1400131d2:	4c 89 c5             	mov    %r8,%rbp
1400131d5:	4c 8b 14 24          	mov    (%rsp),%r10
1400131d9:	48 f7 e3             	mul    %rbx
1400131dc:	49 01 c2             	add    %rax,%r10
1400131df:	48 8b 01             	mov    (%rcx),%rax
1400131e2:	48 83 d2 00          	adc    $0x0,%rdx
1400131e6:	49 0f af ea          	imul   %r10,%rbp
1400131ea:	49 89 d3             	mov    %rdx,%r11
1400131ed:	48 f7 e5             	mul    %rbp
1400131f0:	49 01 c2             	add    %rax,%r10
1400131f3:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400131f7:	48 83 d2 00          	adc    $0x0,%rdx
1400131fb:	4c 8b 54 24 08       	mov    0x8(%rsp),%r10
140013200:	49 89 d5             	mov    %rdx,%r13
140013203:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140013207:	eb 25                	jmp    0x14001322e
140013209:	90                   	nop
14001320a:	90                   	nop
14001320b:	90                   	nop
14001320c:	90                   	nop
14001320d:	90                   	nop
14001320e:	90                   	nop
14001320f:	90                   	nop
140013210:	49 01 c5             	add    %rax,%r13
140013213:	4a 8b 04 fe          	mov    (%rsi,%r15,8),%rax
140013217:	48 83 d2 00          	adc    $0x0,%rdx
14001321b:	4d 01 d5             	add    %r10,%r13
14001321e:	4e 8b 14 fc          	mov    (%rsp,%r15,8),%r10
140013222:	48 83 d2 00          	adc    $0x0,%rdx
140013226:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
14001322b:	49 89 d5             	mov    %rdx,%r13
14001322e:	48 f7 e3             	mul    %rbx
140013231:	49 01 c3             	add    %rax,%r11
140013234:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
140013238:	48 83 d2 00          	adc    $0x0,%rdx
14001323c:	4d 01 da             	add    %r11,%r10
14001323f:	49 89 d3             	mov    %rdx,%r11
140013242:	49 83 d3 00          	adc    $0x0,%r11
140013246:	4d 8d 7f 01          	lea    0x1(%r15),%r15
14001324a:	48 f7 e5             	mul    %rbp
14001324d:	4d 39 cf             	cmp    %r9,%r15
140013250:	75 be                	jne    0x140013210
140013252:	49 01 c5             	add    %rax,%r13
140013255:	48 83 d2 00          	adc    $0x0,%rdx
140013259:	4d 01 d5             	add    %r10,%r13
14001325c:	4e 8b 14 cc          	mov    (%rsp,%r9,8),%r10