140071cd3:	4c 89 c2             	mov    %r8,%rdx
140071cd6:	4c 89 c9             	mov    %r9,%rcx
140071cd9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
140071cde:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
140071ce3:	53                   	push   %rbx
140071ce4:	55                   	push   %rbp
140071ce5:	41 54                	push   %r12
140071ce7:	41 55                	push   %r13
140071ce9:	41 56                	push   %r14
140071ceb:	41 57                	push   %r15
140071ced:	45 89 c9             	mov    %r9d,%r9d
140071cf0:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
140071cf7:	4f 8d 04 c8          	lea    (%r8,%r9,8),%r8
140071cfb:	66 48 0f 6e c7       	movq   %rdi,%xmm0
140071d00:	66 48 0f 6e ca       	movq   %rdx,%xmm1
140071d05:	66 49 0f 6e d0       	movq   %r8,%xmm2
140071d0a:	48 89 8c 24 80 00 00 	mov    %rcx,0x80(%rsp)
140071d11:	00
140071d12:	48 89 fd             	mov    %rdi,%rbp
140071d15:	41 bb 00 01 08 00    	mov    $0x80100,%r11d
140071d1b:	44 23 1d c6 e3 39 00 	and    0x39e3c6(%rip),%r11d        # 0x1404100e8
140071d22:	41 81 fb 00 01 08 00 	cmp    $0x80100,%r11d
140071d29:	74 55                	je     0x140071d80
140071d2b:	48 8b 1f             	mov    (%rdi),%rbx
140071d2e:	e8 cd 04 00 00       	call   0x140072200
140071d33:	66 48 0f 7e c7       	movq   %xmm0,%rdi
140071d38:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140071d3d:	4c 8b 04 24          	mov    (%rsp),%r8
140071d41:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071d46:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140071d4b:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140071d50:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140071d55:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140071d5a:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140071d5f:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140071d64:	e8 f7 01 00 00       	call   0x140071f60
140071d69:	eb 5b                	jmp    0x140071dc6
140071d6b:	90                   	nop
140071d6c:	90                   	nop
140071d6d:	90                   	nop
140071d6e:	90                   	nop
140071d6f:	90                   	nop
140071d70:	90                   	nop
140071d71:	90                   	nop
140071d72:	90                   	nop
140071d73:	90                   	nop
140071d74:	90                   	nop
140071d75:	90                   	nop
140071d76:	90                   	nop
140071d77:	90                   	nop
140071d78:	90                   	nop
140071d79:	90                   	nop
140071d7a:	90                   	nop
140071d7b:	90                   	nop
140071d7c:	90                   	nop
140071d7d:	90                   	nop
140071d7e:	90                   	nop
140071d7f:	90                   	nop
140071d80:	48 8b 17             	mov    (%rdi),%rdx
140071d83:	e8 18 06 00 00       	call   0x1400723a0
140071d88:	66 48 0f 7e c7       	movq   %xmm0,%rdi
140071d8d:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140071d92:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
140071d99:	00
140071d9a:	4c 8b 04 24          	mov    (%rsp),%r8
140071d9e:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071da3:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140071da8:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140071dad:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140071db2:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140071db7:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140071dbc:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140071dc1:	e8 9a 02 00 00       	call   0x140072060
140071dc6:	4c 03 44 24 40       	add    0x40(%rsp),%r8
140071dcb:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140071dd0:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140071dd5:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
140071dda:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140071ddf:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140071de4:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
140071de9:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140071dee:	66 48 0f 7e d6       	movq   %xmm2,%rsi
140071df3:	48 19 c9             	sbb    %rcx,%rcx
140071df6:	e8 45 03 00 00       	call   0x140072140
140071dfb:	4c 89 06             	mov    %r8,(%rsi)
140071dfe:	4c 89 8e 80 00 00 00 	mov    %r9,0x80(%rsi)
140071e05:	4c 89 96 00 01 00 00 	mov    %r10,0x100(%rsi)
140071e0c:	4c 89 9e 80 01 00 00 	mov    %r11,0x180(%rsi)
140071e13:	4c 89 a6 00 02 00 00 	mov    %r12,0x200(%rsi)
140071e1a:	4c 89 ae 80 02 00 00 	mov    %r13,0x280(%rsi)
140071e21:	4c 89 b6 00 03 00 00 	mov    %r14,0x300(%rsi)
140071e28:	4c 89 be 80 03 00 00 	mov    %r15,0x380(%rsi)
140071e2f:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071e36:	00
140071e37:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071e3b:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071e3f:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071e43:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071e47:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071e4b:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071e4f:	48 8d 20             	lea    (%rax),%rsp
140071e52:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071e57:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071e5c:	f3 c3                	repz ret
140071e5e:	90                   	nop
140071e5f:	90                   	nop
140071e60:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140071e65:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140071e6a:	48 89 e0             	mov    %rsp,%rax
140071e6d:	48 89 cf             	mov    %rcx,%rdi
140071e70:	48 89 d6             	mov    %rdx,%rsi
140071e73:	4c 89 c2             	mov    %r8,%rdx
140071e76:	4c 89 c9             	mov    %r9,%rcx
140071e79:	53                   	push   %rbx
140071e7a:	55                   	push   %rbp
140071e7b:	41 54                	push   %r12
140071e7d:	41 55                	push   %r13
140071e7f:	41 56                	push   %r14
140071e81:	41 57                	push   %r15
140071e83:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
140071e8a:	8b 05 58 e2 39 00    	mov    0x39e258(%rip),%eax        # 0x1404100e8
140071e90:	48 89 d5             	mov    %rdx,%rbp
140071e93:	48 89 8c 24 80 00 00 	mov    %rcx,0x80(%rsp)
140071e9a:	00
140071e9b:	4c 8b 06             	mov    (%rsi),%r8
140071e9e:	66 0f ef c0          	pxor   %xmm0,%xmm0
140071ea2:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
140071ea6:	4c 8b 56 10          	mov    0x10(%rsi),%r10
140071eaa:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
140071eae:	4c 8b 66 20          	mov    0x20(%rsi),%r12
140071eb2:	4c 8b 6e 28          	mov    0x28(%rsi),%r13
140071eb6:	4c 8b 76 30          	mov    0x30(%rsi),%r14
140071eba:	4c 8b 7e 38          	mov    0x38(%rsi),%r15
140071ebe:	66 0f 7f 04 24       	movdqa %xmm0,(%rsp)
140071ec3:	66 0f 7f 44 24 10    	movdqa %xmm0,0x10(%rsp)
140071ec9:	66 0f 7f 44 24 20    	movdqa %xmm0,0x20(%rsp)
140071ecf:	66 0f 7f 44 24 30    	movdqa %xmm0,0x30(%rsp)
140071ed5:	66 0f 7f 44 24 40    	movdqa %xmm0,0x40(%rsp)
140071edb:	66 0f 7f 44 24 50    	movdqa %xmm0,0x50(%rsp)
140071ee1:	66 0f 7f 44 24 60    	movdqa %xmm0,0x60(%rsp)
140071ee7:	25 00 01 08 00       	and    $0x80100,%eax
140071eec:	3d 00 01 08 00       	cmp    $0x80100,%eax
140071ef1:	74 0d                	je     0x140071f00
140071ef3:	e8 68 00 00 00       	call   0x140071f60
140071ef8:	eb 13                	jmp    0x140071f0d
140071efa:	90                   	nop
140071efb:	90                   	nop
140071efc:	90                   	nop
140071efd:	90                   	nop
140071efe:	90                   	nop
140071eff:	90                   	nop
140071f00:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
140071f07:	00
140071f08:	e8 53 01 00 00       	call   0x140072060
140071f0d:	4c 89 07             	mov    %r8,(%rdi)
140071f10:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071f14:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071f18:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071f1c:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071f20:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071f24:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071f28:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071f2c:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071f33:	00
140071f34:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071f38:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071f3c:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071f40:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071f44:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071f48:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071f4c:	48 8d 20             	lea    (%rax),%rsp
140071f4f:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071f54:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071f59:	f3 c3                	repz ret
140071f5b:	90                   	nop
140071f5c:	90                   	nop
140071f5d:	90                   	nop
140071f5e:	90                   	nop
140071f5f:	90                   	nop
140071f60:	4c 89 c3             	mov    %r8,%rbx
140071f63:	48 0f af 9c 24 88 00 	imul   0x88(%rsp),%rbx
140071f6a:	00 00
140071f6c:	48 8b 45 00          	mov    0x0(%rbp),%rax
140071f70:	b9 08 00 00 00       	mov    $0x8,%ecx
140071f75:	eb 09                	jmp    0x140071f80
140071f77:	90                   	nop
140071f78:	90                   	nop
140071f79:	90                   	nop
140071f7a:	90                   	nop
140071f7b:	90                   	nop
140071f7c:	90                   	nop
140071f7d:	90                   	nop
140071f7e:	90                   	nop
140071f7f:	90                   	nop
140071f80:	48 f7 e3             	mul    %rbx
140071f83:	48 8b 45 08          	mov    0x8(%rbp),%rax
140071f87:	49 f7 d8             	neg    %r8
140071f8a:	49 89 d0             	mov    %rdx,%r8
140071f8d:	49 83 d0 00          	adc    $0x0,%r8
140071f91:	48 f7 e3             	mul    %rbx
140071f94:	49 01 c1             	add    %rax,%r9
140071f97:	48 8b 45 10          	mov    0x10(%rbp),%rax
140071f9b:	48 83 d2 00          	adc    $0x0,%rdx
140071f9f:	4d 01 c8             	add    %r9,%r8
140071fa2:	49 89 d1             	mov    %rdx,%r9
140071fa5:	49 83 d1 00          	adc    $0x0,%r9
140071fa9:	48 f7 e3             	mul    %rbx
140071fac:	49 01 c2             	add    %rax,%r10
140071faf:	48 8b 45 18          	mov    0x18(%rbp),%rax
140071fb3:	48 83 d2 00          	adc    $0x0,%rdx
140071fb7:	4d 01 d1             	add    %r10,%r9
140071fba:	49 89 d2             	mov    %rdx,%r10
140071fbd:	49 83 d2 00          	adc    $0x0,%r10
140071fc1:	48 f7 e3             	mul    %rbx
140071fc4:	49 01 c3             	add    %rax,%r11
140071fc7:	48 8b 45 20          	mov    0x20(%rbp),%rax
140071fcb:	48 83 d2 00          	adc    $0x0,%rdx
140071fcf:	4d 01 da             	add    %r11,%r10
140071fd2:	48 8b b4 24 88 00 00 	mov    0x88(%rsp),%rsi
140071fd9:	00
140071fda:	48 83 d2 00          	adc    $0x0,%rdx
140071fde:	49 89 d3             	mov    %rdx,%r11
140071fe1:	48 f7 e3             	mul    %rbx
140071fe4:	49 01 c4             	add    %rax,%r12
140071fe7:	48 8b 45 28          	mov    0x28(%rbp),%rax
140071feb:	48 83 d2 00          	adc    $0x0,%rdx
140071fef:	49 0f af f0          	imul   %r8,%rsi
140071ff3:	4d 01 e3             	add    %r12,%r11
140071ff6:	49 89 d4             	mov    %rdx,%r12
140071ff9:	49 83 d4 00          	adc    $0x0,%r12
140071ffd:	48 f7 e3             	mul    %rbx
140072000:	49 01 c5             	add    %rax,%r13
140072003:	48 8b 45 30          	mov    0x30(%rbp),%rax
140072007:	48 83 d2 00          	adc    $0x0,%rdx
14007200b:	4d 01 ec             	add    %r13,%r12
14007200e:	49 89 d5             	mov    %rdx,%r13
140072011:	49 83 d5 00          	adc    $0x0,%r13
140072015:	48 f7 e3             	mul    %rbx
140072018:	49 01 c6             	add    %rax,%r14
14007201b:	48 8b 45 38          	mov    0x38(%rbp),%rax
14007201f:	48 83 d2 00          	adc    $0x0,%rdx
140072023:	4d 01 f5             	add    %r14,%r13
140072026:	49 89 d6             	mov    %rdx,%r14
140072029:	49 83 d6 00          	adc    $0x0,%r14
14007202d:	48 f7 e3             	mul    %rbx
140072030:	48 89 f3             	mov    %rsi,%rbx
140072033:	49 01 c7             	add    %rax,%r15
140072036:	48 8b 45 00          	mov    0x0(%rbp),%rax
14007203a:	48 83 d2 00          	adc    $0x0,%rdx
14007203e:	4d 01 fe             	add    %r15,%r14
140072041:	49 89 d7             	mov    %rdx,%r15
140072044:	49 83 d7 00          	adc    $0x0,%r15
140072048:	ff c9                	dec    %ecx
14007204a:	0f 85 30 ff ff ff    	jne    0x140071f80
140072050:	f3 c3                	repz ret
140072052:	90                   	nop
140072053:	90                   	nop
140072054:	90                   	nop
140072055:	90                   	nop
140072056:	90                   	nop
140072057:	90                   	nop
140072058:	90                   	nop
140072059:	90                   	nop
14007205a:	90                   	nop
14007205b:	90                   	nop
14007205c:	90                   	nop
14007205d:	90                   	nop
14007205e:	90                   	nop
14007205f:	90                   	nop
140072060:	49 0f af d0          	imul   %r8,%rdx
140072064:	48 31 f6             	xor    %rsi,%rsi
140072067:	b9 08 00 00 00       	mov    $0x8,%ecx
14007206c:	eb 12                	jmp    0x140072080
14007206e:	90                   	nop
14007206f:	90                   	nop
140072070:	90                   	nop
140072071:	90                   	nop
140072072:	90                   	nop
140072073:	90                   	nop
140072074:	90                   	nop
140072075:	90                   	nop
140072076:	90                   	nop
140072077:	90                   	nop
140072078:	90                   	nop
140072079:	90                   	nop
14007207a:	90                   	nop
14007207b:	90                   	nop
14007207c:	90                   	nop
14007207d:	90                   	nop
14007207e:	90                   	nop
14007207f:	90                   	nop
140072080:	4c 89 c3             	mov    %r8,%rbx
140072083:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140072089:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
14007208f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140072095:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
14007209b:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
1400720a1:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
1400720a7:	c4 62 e3 f6 55 10    	mulx   0x10(%rbp),%rbx,%r10
1400720ad:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
1400720b3:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400720b9:	c4 62 e3 f6 5d 18    	mulx   0x18(%rbp),%rbx,%r11
1400720bf:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
1400720c5:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
1400720cb:	c4 62 e3 f6 a5 20 00 	mulx   0x20(%rbp),%rbx,%r12
1400720d2:	00 00
1400720d4:	48 89 d0             	mov    %rdx,%rax
1400720d7:	4c 89 c2             	mov    %r8,%rdx
1400720da:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
1400720e0:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400720e6:	c4 e2 e3 f6 94 24 88 	mulx   0x88(%rsp),%rbx,%rdx
1400720ed:	00 00 00
1400720f0:	48 89 c2             	mov    %rax,%rdx
1400720f3:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
1400720f9:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400720ff:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140072105:	c4 62 fb f6 b5 30 00 	mulx   0x30(%rbp),%rax,%r14
14007210c:	00 00
14007210e:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140072114:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
14007211a:	c4 62 fb f6 7d 38    	mulx   0x38(%rbp),%rax,%r15
140072120:	48 89 da             	mov    %rbx,%rdx
140072123:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140072129:	f3 4c 0f 38 f6 fe    	adox   %rsi,%r15
14007212f:	66 4c 0f 38 f6 fe    	adcx   %rsi,%r15
140072135:	ff c9                	dec    %ecx
140072137:	0f 85 43 ff ff ff    	jne    0x140072080
14007213d:	f3 c3                	repz ret
14007213f:	90                   	nop
140072140:	4c 89 07             	mov    %r8,(%rdi)
140072143:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072147:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14007214b:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007214f:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140072153:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140072157:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14007215b:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
14007215f:	4c 8b 45 00          	mov    0x0(%rbp),%r8
140072163:	4c 8b 4d 08          	mov    0x8(%rbp),%r9
140072167:	49 f7 d8             	neg    %r8
14007216a:	49 f7 d1             	not    %r9
14007216d:	49 21 c8             	and    %rcx,%r8
140072170:	4c 8b 55 10          	mov    0x10(%rbp),%r10
140072174:	49 21 c9             	and    %rcx,%r9
140072177:	49 f7 d2             	not    %r10
14007217a:	4c 8b 5d 18          	mov    0x18(%rbp),%r11
14007217e:	49 21 ca             	and    %rcx,%r10
140072181:	49 f7 d3             	not    %r11
140072184:	4c 8b 65 20          	mov    0x20(%rbp),%r12
140072188:	49 21 cb             	and    %rcx,%r11