140071c07:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071c0b:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071c0f:	48 8d 20             	lea    (%rax),%rsp
140071c12:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071c17:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071c1c:	f3 c3                	repz ret
140071c1e:	90                   	nop
140071c1f:	90                   	nop
140071c20:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140071c25:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140071c2a:	48 89 e0             	mov    %rsp,%rax
140071c2d:	48 89 cf             	mov    %rcx,%rdi
140071c30:	48 89 d6             	mov    %rdx,%rsi
140071c33:	4c 89 c2             	mov    %r8,%rdx
140071c36:	4c 89 c9             	mov    %r9,%rcx
140071c39:	53                   	push   %rbx
140071c3a:	55                   	push   %rbp
140071c3b:	41 54                	push   %r12
140071c3d:	41 55                	push   %r13
140071c3f:	41 56                	push   %r14
140071c41:	41 57                	push   %r15
140071c43:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
140071c4a:	8b 05 c8 0d 44 01    	mov    0x1440dc8(%rip),%eax        # 0x1414b2a18
140071c50:	48 89 d5             	mov    %rdx,%rbp
140071c53:	48 89 8c 24 80 00 00 	mov    %rcx,0x80(%rsp)
140071c5a:	00
140071c5b:	4c 8b 06             	mov    (%rsi),%r8
140071c5e:	66 0f ef c0          	pxor   %xmm0,%xmm0
140071c62:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
140071c66:	4c 8b 56 10          	mov    0x10(%rsi),%r10
140071c6a:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
140071c6e:	4c 8b 66 20          	mov    0x20(%rsi),%r12
140071c72:	4c 8b 6e 28          	mov    0x28(%rsi),%r13
140071c76:	4c 8b 76 30          	mov    0x30(%rsi),%r14
140071c7a:	4c 8b 7e 38          	mov    0x38(%rsi),%r15
140071c7e:	66 0f 7f 04 24       	movdqa %xmm0,(%rsp)
140071c83:	66 0f 7f 44 24 10    	movdqa %xmm0,0x10(%rsp)
140071c89:	66 0f 7f 44 24 20    	movdqa %xmm0,0x20(%rsp)
140071c8f:	66 0f 7f 44 24 30    	movdqa %xmm0,0x30(%rsp)
140071c95:	66 0f 7f 44 24 40    	movdqa %xmm0,0x40(%rsp)
140071c9b:	66 0f 7f 44 24 50    	movdqa %xmm0,0x50(%rsp)
140071ca1:	66 0f 7f 44 24 60    	movdqa %xmm0,0x60(%rsp)
140071ca7:	25 00 01 08 00       	and    $0x80100,%eax
140071cac:	3d 00 01 08 00       	cmp    $0x80100,%eax
140071cb1:	74 0d                	je     0x140071cc0
140071cb3:	e8 68 00 00 00       	call   0x140071d20
140071cb8:	eb 13                	jmp    0x140071ccd
140071cba:	90                   	nop
140071cbb:	90                   	nop
140071cbc:	90                   	nop
140071cbd:	90                   	nop
140071cbe:	90                   	nop
140071cbf:	90                   	nop
140071cc0:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
140071cc7:	00
140071cc8:	e8 53 01 00 00       	call   0x140071e20
140071ccd:	4c 89 07             	mov    %r8,(%rdi)
140071cd0:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071cd4:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071cd8:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071cdc:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071ce0:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071ce4:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071ce8:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071cec:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071cf3:	00
140071cf4:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071cf8:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071cfc:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071d00:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071d04:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071d08:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071d0c:	48 8d 20             	lea    (%rax),%rsp
140071d0f:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071d14:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071d19:	f3 c3                	repz ret
140071d1b:	90                   	nop
140071d1c:	90                   	nop
140071d1d:	90                   	nop
140071d1e:	90                   	nop
140071d1f:	90                   	nop
140071d20:	4c 89 c3             	mov    %r8,%rbx
140071d23:	48 0f af 9c 24 88 00 	imul   0x88(%rsp),%rbx
140071d2a:	00 00
140071d2c:	48 8b 45 00          	mov    0x0(%rbp),%rax
140071d30:	b9 08 00 00 00       	mov    $0x8,%ecx
140071d35:	eb 09                	jmp    0x140071d40
140071d37:	90                   	nop
140071d38:	90                   	nop
140071d39:	90                   	nop
140071d3a:	90                   	nop
140071d3b:	90                   	nop
140071d3c:	90                   	nop
140071d3d:	90                   	nop
140071d3e:	90                   	nop
140071d3f:	90                   	nop
140071d40:	48 f7 e3             	mul    %rbx
140071d43:	48 8b 45 08          	mov    0x8(%rbp),%rax
140071d47:	49 f7 d8             	neg    %r8
140071d4a:	49 89 d0             	mov    %rdx,%r8
140071d4d:	49 83 d0 00          	adc    $0x0,%r8
140071d51:	48 f7 e3             	mul    %rbx
140071d54:	49 01 c1             	add    %rax,%r9
140071d57:	48 8b 45 10          	mov    0x10(%rbp),%rax
140071d5b:	48 83 d2 00          	adc    $0x0,%rdx
140071d5f:	4d 01 c8             	add    %r9,%r8
140071d62:	49 89 d1             	mov    %rdx,%r9
140071d65:	49 83 d1 00          	adc    $0x0,%r9
140071d69:	48 f7 e3             	mul    %rbx
140071d6c:	49 01 c2             	add    %rax,%r10
140071d6f:	48 8b 45 18          	mov    0x18(%rbp),%rax
140071d73:	48 83 d2 00          	adc    $0x0,%rdx
140071d77:	4d 01 d1             	add    %r10,%r9
140071d7a:	49 89 d2             	mov    %rdx,%r10
140071d7d:	49 83 d2 00          	adc    $0x0,%r10
140071d81:	48 f7 e3             	mul    %rbx
140071d84:	49 01 c3             	add    %rax,%r11
140071d87:	48 8b 45 20          	mov    0x20(%rbp),%rax
140071d8b:	48 83 d2 00          	adc    $0x0,%rdx
140071d8f:	4d 01 da             	add    %r11,%r10
140071d92:	48 8b b4 24 88 00 00 	mov    0x88(%rsp),%rsi
140071d99:	00
140071d9a:	48 83 d2 00          	adc    $0x0,%rdx
140071d9e:	49 89 d3             	mov    %rdx,%r11
140071da1:	48 f7 e3             	mul    %rbx
140071da4:	49 01 c4             	add    %rax,%r12
140071da7:	48 8b 45 28          	mov    0x28(%rbp),%rax
140071dab:	48 83 d2 00          	adc    $0x0,%rdx
140071daf:	49 0f af f0          	imul   %r8,%rsi
140071db3:	4d 01 e3             	add    %r12,%r11
140071db6:	49 89 d4             	mov    %rdx,%r12
140071db9:	49 83 d4 00          	adc    $0x0,%r12
140071dbd:	48 f7 e3             	mul    %rbx
140071dc0:	49 01 c5             	add    %rax,%r13
140071dc3:	48 8b 45 30          	mov    0x30(%rbp),%rax
140071dc7:	48 83 d2 00          	adc    $0x0,%rdx
140071dcb:	4d 01 ec             	add    %r13,%r12
140071dce:	49 89 d5             	mov    %rdx,%r13
140071dd1:	49 83 d5 00          	adc    $0x0,%r13
140071dd5:	48 f7 e3             	mul    %rbx
140071dd8:	49 01 c6             	add    %rax,%r14
140071ddb:	48 8b 45 38          	mov    0x38(%rbp),%rax
140071ddf:	48 83 d2 00          	adc    $0x0,%rdx
140071de3:	4d 01 f5             	add    %r14,%r13
140071de6:	49 89 d6             	mov    %rdx,%r14
140071de9:	49 83 d6 00          	adc    $0x0,%r14
140071ded:	48 f7 e3             	mul    %rbx
140071df0:	48 89 f3             	mov    %rsi,%rbx
140071df3:	49 01 c7             	add    %rax,%r15
140071df6:	48 8b 45 00          	mov    0x0(%rbp),%rax
140071dfa:	48 83 d2 00          	adc    $0x0,%rdx
140071dfe:	4d 01 fe             	add    %r15,%r14
140071e01:	49 89 d7             	mov    %rdx,%r15
140071e04:	49 83 d7 00          	adc    $0x0,%r15
140071e08:	ff c9                	dec    %ecx
140071e0a:	0f 85 30 ff ff ff    	jne    0x140071d40
140071e10:	f3 c3                	repz ret
140071e12:	90                   	nop
140071e13:	90                   	nop
140071e14:	90                   	nop
140071e15:	90                   	nop
140071e16:	90                   	nop
140071e17:	90                   	nop
140071e18:	90                   	nop
140071e19:	90                   	nop
140071e1a:	90                   	nop
140071e1b:	90                   	nop
140071e1c:	90                   	nop
140071e1d:	90                   	nop
140071e1e:	90                   	nop
140071e1f:	90                   	nop
140071e20:	49 0f af d0          	imul   %r8,%rdx
140071e24:	48 31 f6             	xor    %rsi,%rsi
140071e27:	b9 08 00 00 00       	mov    $0x8,%ecx
140071e2c:	eb 12                	jmp    0x140071e40
140071e2e:	90                   	nop
140071e2f:	90                   	nop
140071e30:	90                   	nop
140071e31:	90                   	nop
140071e32:	90                   	nop
140071e33:	90                   	nop
140071e34:	90                   	nop
140071e35:	90                   	nop
140071e36:	90                   	nop
140071e37:	90                   	nop
140071e38:	90                   	nop
140071e39:	90                   	nop
140071e3a:	90                   	nop
140071e3b:	90                   	nop
140071e3c:	90                   	nop
140071e3d:	90                   	nop
140071e3e:	90                   	nop
140071e3f:	90                   	nop
140071e40:	4c 89 c3             	mov    %r8,%rbx
140071e43:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140071e49:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140071e4f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140071e55:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
140071e5b:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140071e61:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140071e67:	c4 62 e3 f6 55 10    	mulx   0x10(%rbp),%rbx,%r10
140071e6d:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
140071e73:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140071e79:	c4 62 e3 f6 5d 18    	mulx   0x18(%rbp),%rbx,%r11
140071e7f:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140071e85:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
140071e8b:	c4 62 e3 f6 a5 20 00 	mulx   0x20(%rbp),%rbx,%r12
140071e92:	00 00
140071e94:	48 89 d0             	mov    %rdx,%rax
140071e97:	4c 89 c2             	mov    %r8,%rdx
140071e9a:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140071ea0:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140071ea6:	c4 e2 e3 f6 94 24 88 	mulx   0x88(%rsp),%rbx,%rdx
140071ead:	00 00 00
140071eb0:	48 89 c2             	mov    %rax,%rdx
140071eb3:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
140071eb9:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140071ebf:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140071ec5:	c4 62 fb f6 b5 30 00 	mulx   0x30(%rbp),%rax,%r14
140071ecc:	00 00
140071ece:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140071ed4:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
140071eda:	c4 62 fb f6 7d 38    	mulx   0x38(%rbp),%rax,%r15
140071ee0:	48 89 da             	mov    %rbx,%rdx
140071ee3:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140071ee9:	f3 4c 0f 38 f6 fe    	adox   %rsi,%r15
140071eef:	66 4c 0f 38 f6 fe    	adcx   %rsi,%r15
140071ef5:	ff c9                	dec    %ecx
140071ef7:	0f 85 43 ff ff ff    	jne    0x140071e40
140071efd:	f3 c3                	repz ret
140071eff:	90                   	nop
140071f00:	4c 89 07             	mov    %r8,(%rdi)
140071f03:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071f07:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071f0b:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071f0f:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071f13:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071f17:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071f1b:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071f1f:	4c 8b 45 00          	mov    0x0(%rbp),%r8
140071f23:	4c 8b 4d 08          	mov    0x8(%rbp),%r9
140071f27:	49 f7 d8             	neg    %r8
140071f2a:	49 f7 d1             	not    %r9
140071f2d:	49 21 c8             	and    %rcx,%r8
140071f30:	4c 8b 55 10          	mov    0x10(%rbp),%r10
140071f34:	49 21 c9             	and    %rcx,%r9
140071f37:	49 f7 d2             	not    %r10
140071f3a:	4c 8b 5d 18          	mov    0x18(%rbp),%r11
140071f3e:	49 21 ca             	and    %rcx,%r10
140071f41:	49 f7 d3             	not    %r11
140071f44:	4c 8b 65 20          	mov    0x20(%rbp),%r12
140071f48:	49 21 cb             	and    %rcx,%r11
140071f4b:	49 f7 d4             	not    %r12
140071f4e:	4c 8b 6d 28          	mov    0x28(%rbp),%r13
140071f52:	49 21 cc             	and    %rcx,%r12
140071f55:	49 f7 d5             	not    %r13
140071f58:	4c 8b 75 30          	mov    0x30(%rbp),%r14
140071f5c:	49 21 cd             	and    %rcx,%r13
140071f5f:	49 f7 d6             	not    %r14
140071f62:	4c 8b 7d 38          	mov    0x38(%rbp),%r15
140071f66:	49 21 ce             	and    %rcx,%r14
140071f69:	49 f7 d7             	not    %r15
140071f6c:	49 21 cf             	and    %rcx,%r15
140071f6f:	4c 03 07             	add    (%rdi),%r8
140071f72:	4c 13 4f 08          	adc    0x8(%rdi),%r9
140071f76:	4c 13 57 10          	adc    0x10(%rdi),%r10
140071f7a:	4c 13 5f 18          	adc    0x18(%rdi),%r11
140071f7e:	4c 13 67 20          	adc    0x20(%rdi),%r12
140071f82:	4c 13 6f 28          	adc    0x28(%rdi),%r13
140071f86:	4c 13 77 30          	adc    0x30(%rdi),%r14
140071f8a:	4c 13 7f 38          	adc    0x38(%rdi),%r15
140071f8e:	4c 89 07             	mov    %r8,(%rdi)
140071f91:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071f95:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071f99:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071f9d:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071fa1:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071fa5:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071fa9:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071fad:	f3 c3                	repz ret
140071faf:	90                   	nop
140071fb0:	90                   	nop
140071fb1:	90                   	nop
140071fb2:	90                   	nop
140071fb3:	90                   	nop
140071fb4:	90                   	nop
140071fb5:	90                   	nop
140071fb6:	90                   	nop
140071fb7:	90                   	nop
140071fb8:	90                   	nop
140071fb9:	90                   	nop
140071fba:	90                   	nop
140071fbb:	90                   	nop
140071fbc:	90                   	nop
140071fbd:	90                   	nop
140071fbe:	90                   	nop
140071fbf:	90                   	nop
140071fc0:	48 8d 7c 24 08       	lea    0x8(%rsp),%rdi
140071fc5:	48 8b 06             	mov    (%rsi),%rax
140071fc8:	48 f7 e3             	mul    %rbx
140071fcb:	48 89 07             	mov    %rax,(%rdi)
140071fce:	48 8b 46 08          	mov    0x8(%rsi),%rax
140071fd2:	49 89 d0             	mov    %rdx,%r8
140071fd5:	48 f7 e3             	mul    %rbx
140071fd8:	49 01 c0             	add    %rax,%r8
140071fdb:	48 8b 46 10          	mov    0x10(%rsi),%rax
140071fdf:	49 89 d1             	mov    %rdx,%r9
140071fe2:	49 83 d1 00          	adc    $0x0,%r9
140071fe6:	48 f7 e3             	mul    %rbx
140071fe9:	49 01 c1             	add    %rax,%r9
140071fec:	48 8b 46 18          	mov    0x18(%rsi),%rax
140071ff0:	49 89 d2             	mov    %rdx,%r10
140071ff3:	49 83 d2 00          	adc    $0x0,%r10
140071ff7:	48 f7 e3             	mul    %rbx
140071ffa:	49 01 c2             	add    %rax,%r10
140071ffd:	48 8b 46 20          	mov    0x20(%rsi),%rax
140072001:	49 89 d3             	mov    %rdx,%r11
140072004:	49 83 d3 00          	adc    $0x0,%r11
140072008:	48 f7 e3             	mul    %rbx
14007200b:	49 01 c3             	add    %rax,%r11
14007200e:	48 8b 46 28          	mov    0x28(%rsi),%rax
140072012:	49 89 d4             	mov    %rdx,%r12
140072015:	49 83 d4 00          	adc    $0x0,%r12
140072019:	48 f7 e3             	mul    %rbx
14007201c:	49 01 c4             	add    %rax,%r12
14007201f:	48 8b 46 30          	mov    0x30(%rsi),%rax
140072023:	49 89 d5             	mov    %rdx,%r13
140072026:	49 83 d5 00          	adc    $0x0,%r13
14007202a:	48 f7 e3             	mul    %rbx
14007202d:	49 01 c5             	add    %rax,%r13
140072030:	48 8b 46 38          	mov    0x38(%rsi),%rax
140072034:	49 89 d6             	mov    %rdx,%r14
140072037:	49 83 d6 00          	adc    $0x0,%r14
14007203b:	48 f7 e3             	mul    %rbx
14007203e:	49 01 c6             	add    %rax,%r14
140072041:	48 8b 06             	mov    (%rsi),%rax
140072044:	49 89 d7             	mov    %rdx,%r15
140072047:	49 83 d7 00          	adc    $0x0,%r15
14007204b:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
14007204f:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140072053:	b9 07 00 00 00       	mov    $0x7,%ecx
140072058:	eb 06                	jmp    0x140072060
14007205a:	90                   	nop
14007205b:	90                   	nop
14007205c:	90                   	nop
14007205d:	90                   	nop
14007205e:	90                   	nop
14007205f:	90                   	nop
140072060:	48 8b 5d 00          	mov    0x0(%rbp),%rbx
140072064:	48 f7 e3             	mul    %rbx