140070b1d:	49 01 c6             	add    %rax,%r14
140070b20:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070b24:	48 89 d3             	mov    %rdx,%rbx
140070b27:	48 83 d3 00          	adc    $0x0,%rbx
140070b2b:	49 89 c4             	mov    %rax,%r12
140070b2e:	49 f7 e2             	mul    %r10
140070b31:	49 01 c7             	add    %rax,%r15
140070b34:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070b38:	48 83 d2 00          	adc    $0x0,%rdx
140070b3c:	49 01 df             	add    %rbx,%r15
140070b3f:	48 89 d3             	mov    %rdx,%rbx
140070b42:	48 83 d3 00          	adc    $0x0,%rbx
140070b46:	48 89 c5             	mov    %rax,%rbp
140070b49:	49 f7 e2             	mul    %r10
140070b4c:	49 01 c0             	add    %rax,%r8
140070b4f:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070b53:	48 83 d2 00          	adc    $0x0,%rdx
140070b57:	49 01 d8             	add    %rbx,%r8
140070b5a:	48 89 d3             	mov    %rdx,%rbx
140070b5d:	48 83 d3 00          	adc    $0x0,%rbx
140070b61:	49 f7 e2             	mul    %r10
140070b64:	49 01 c1             	add    %rax,%r9
140070b67:	4c 89 d0             	mov    %r10,%rax
140070b6a:	48 83 d2 00          	adc    $0x0,%rdx
140070b6e:	49 01 d9             	add    %rbx,%r9
140070b71:	48 83 d2 00          	adc    $0x0,%rdx
140070b75:	48 31 db             	xor    %rbx,%rbx
140070b78:	4d 01 ed             	add    %r13,%r13
140070b7b:	49 89 d2             	mov    %rdx,%r10
140070b7e:	4d 11 f6             	adc    %r14,%r14
140070b81:	48 83 d3 00          	adc    $0x0,%rbx
140070b85:	48 f7 e0             	mul    %rax
140070b88:	48 01 c8             	add    %rcx,%rax
140070b8b:	49 01 c5             	add    %rax,%r13
140070b8e:	4c 89 e0             	mov    %r12,%rax
140070b91:	49 11 d6             	adc    %rdx,%r14
140070b94:	48 83 d3 00          	adc    $0x0,%rbx
140070b98:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
140070b9d:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
140070ba2:	49 f7 e3             	mul    %r11
140070ba5:	49 01 c0             	add    %rax,%r8
140070ba8:	48 89 e8             	mov    %rbp,%rax
140070bab:	48 89 d1             	mov    %rdx,%rcx
140070bae:	48 83 d1 00          	adc    $0x0,%rcx
140070bb2:	49 f7 e3             	mul    %r11
140070bb5:	49 01 c1             	add    %rax,%r9
140070bb8:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070bbc:	48 83 d2 00          	adc    $0x0,%rdx
140070bc0:	49 01 c9             	add    %rcx,%r9
140070bc3:	48 89 d1             	mov    %rdx,%rcx
140070bc6:	48 83 d1 00          	adc    $0x0,%rcx
140070bca:	49 89 c6             	mov    %rax,%r14
140070bcd:	49 f7 e3             	mul    %r11
140070bd0:	49 01 c2             	add    %rax,%r10
140070bd3:	4c 89 d8             	mov    %r11,%rax
140070bd6:	48 83 d2 00          	adc    $0x0,%rdx
140070bda:	49 01 ca             	add    %rcx,%r10
140070bdd:	48 83 d2 00          	adc    $0x0,%rdx
140070be1:	48 31 c9             	xor    %rcx,%rcx
140070be4:	4d 01 ff             	add    %r15,%r15
140070be7:	49 89 d3             	mov    %rdx,%r11
140070bea:	4d 11 c0             	adc    %r8,%r8
140070bed:	48 83 d1 00          	adc    $0x0,%rcx
140070bf1:	48 f7 e0             	mul    %rax
140070bf4:	48 01 d8             	add    %rbx,%rax
140070bf7:	49 01 c7             	add    %rax,%r15
140070bfa:	48 89 e8             	mov    %rbp,%rax
140070bfd:	49 11 d0             	adc    %rdx,%r8
140070c00:	48 83 d1 00          	adc    $0x0,%rcx
140070c04:	4c 89 7c 24 40       	mov    %r15,0x40(%rsp)
140070c09:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
140070c0e:	49 f7 e4             	mul    %r12
140070c11:	49 01 c2             	add    %rax,%r10
140070c14:	4c 89 f0             	mov    %r14,%rax
140070c17:	48 89 d3             	mov    %rdx,%rbx
140070c1a:	48 83 d3 00          	adc    $0x0,%rbx
140070c1e:	49 f7 e4             	mul    %r12
140070c21:	49 01 c3             	add    %rax,%r11
140070c24:	4c 89 e0             	mov    %r12,%rax
140070c27:	48 83 d2 00          	adc    $0x0,%rdx
140070c2b:	49 01 db             	add    %rbx,%r11
140070c2e:	48 83 d2 00          	adc    $0x0,%rdx
140070c32:	48 31 db             	xor    %rbx,%rbx
140070c35:	4d 01 c9             	add    %r9,%r9
140070c38:	49 89 d4             	mov    %rdx,%r12
140070c3b:	4d 11 d2             	adc    %r10,%r10
140070c3e:	48 83 d3 00          	adc    $0x0,%rbx
140070c42:	48 f7 e0             	mul    %rax
140070c45:	48 01 c8             	add    %rcx,%rax
140070c48:	49 01 c1             	add    %rax,%r9
140070c4b:	4c 89 f0             	mov    %r14,%rax
140070c4e:	49 11 d2             	adc    %rdx,%r10
140070c51:	48 83 d3 00          	adc    $0x0,%rbx
140070c55:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
140070c5a:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
140070c5f:	48 f7 e5             	mul    %rbp
140070c62:	49 01 c4             	add    %rax,%r12
140070c65:	48 89 e8             	mov    %rbp,%rax
140070c68:	48 83 d2 00          	adc    $0x0,%rdx
140070c6c:	48 31 c9             	xor    %rcx,%rcx
140070c6f:	4d 01 db             	add    %r11,%r11
140070c72:	49 89 d5             	mov    %rdx,%r13
140070c75:	4d 11 e4             	adc    %r12,%r12
140070c78:	48 83 d1 00          	adc    $0x0,%rcx
140070c7c:	48 f7 e0             	mul    %rax
140070c7f:	48 01 d8             	add    %rbx,%rax
140070c82:	49 01 c3             	add    %rax,%r11
140070c85:	4c 89 f0             	mov    %r14,%rax
140070c88:	49 11 d4             	adc    %rdx,%r12
140070c8b:	48 83 d1 00          	adc    $0x0,%rcx
140070c8f:	4c 89 5c 24 60       	mov    %r11,0x60(%rsp)
140070c94:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
140070c99:	48 31 db             	xor    %rbx,%rbx
140070c9c:	4d 01 ed             	add    %r13,%r13
140070c9f:	48 83 d3 00          	adc    $0x0,%rbx
140070ca3:	48 f7 e0             	mul    %rax
140070ca6:	48 01 c8             	add    %rcx,%rax
140070ca9:	4c 01 e8             	add    %r13,%rax
140070cac:	48 11 da             	adc    %rbx,%rdx
140070caf:	4c 8b 04 24          	mov    (%rsp),%r8
140070cb3:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140070cb8:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140070cbd:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140070cc2:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140070cc7:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140070ccc:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140070cd1:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140070cd6:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140070cdb:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
140070ce0:	48 89 54 24 78       	mov    %rdx,0x78(%rsp)
140070ce5:	e8 36 10 00 00       	call   0x140071d20
140070cea:	4c 03 44 24 40       	add    0x40(%rsp),%r8
140070cef:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140070cf4:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140070cf9:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
140070cfe:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140070d03:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140070d08:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
140070d0d:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140070d12:	48 19 c9             	sbb    %rcx,%rcx
140070d15:	e8 e6 11 00 00       	call   0x140071f00
140070d1a:	4c 89 c2             	mov    %r8,%rdx
140070d1d:	4c 89 c8             	mov    %r9,%rax
140070d20:	44 8b 84 24 88 00 00 	mov    0x88(%rsp),%r8d
140070d27:	00
140070d28:	48 89 fe             	mov    %rdi,%rsi
140070d2b:	41 ff c8             	dec    %r8d
140070d2e:	0f 85 ec fb ff ff    	jne    0x140070920
140070d34:	e9 94 04 00 00       	jmp    0x1400711cd
140070d39:	90                   	nop
140070d3a:	90                   	nop
140070d3b:	90                   	nop
140070d3c:	90                   	nop
140070d3d:	90                   	nop
140070d3e:	90                   	nop
140070d3f:	90                   	nop
140070d40:	44 89 84 24 88 00 00 	mov    %r8d,0x88(%rsp)
140070d47:	00
140070d48:	66 48 0f 6e c7       	movq   %rdi,%xmm0
140070d4d:	c4 62 bb f6 c8       	mulx   %rax,%r8,%r9
140070d52:	48 89 c3             	mov    %rax,%rbx
140070d55:	c4 62 f3 f6 56 10    	mulx   0x10(%rsi),%rcx,%r10
140070d5b:	48 31 ed             	xor    %rbp,%rbp
140070d5e:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
140070d64:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
140070d6a:	c4 62 f3 f6 a6 20 00 	mulx   0x20(%rsi),%rcx,%r12
140070d71:	00 00
140070d73:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140070d79:	c4 62 fb f6 ae 28 00 	mulx   0x28(%rsi),%rax,%r13
140070d80:	00 00
140070d82:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
140070d88:	c4 62 f3 f6 76 30    	mulx   0x30(%rsi),%rcx,%r14
140070d8e:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140070d94:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
140070d9a:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
140070da0:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140070da6:	66 4c 0f 38 f6 fd    	adcx   %rbp,%r15
140070dac:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140070db1:	48 89 da             	mov    %rbx,%rdx
140070db4:	48 31 c9             	xor    %rcx,%rcx
140070db7:	f3 4d 0f 38 f6 c0    	adox   %r8,%r8
140070dbd:	66 4c 0f 38 f6 c7    	adcx   %rdi,%r8
140070dc3:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
140070dc9:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140070dcf:	48 89 04 24          	mov    %rax,(%rsp)
140070dd3:	4c 89 44 24 08       	mov    %r8,0x8(%rsp)
140070dd8:	c4 e2 fb f6 9e 10 00 	mulx   0x10(%rsi),%rax,%rbx
140070ddf:	00 00
140070de1:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140070de7:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140070ded:	c4 62 c3 f6 46 18    	mulx   0x18(%rsi),%rdi,%r8
140070df3:	f3 4c 0f 38 f6 df    	adox   %rdi,%r11
140070df9:	66 66 4d 0f 38 f6 e0 	data16 adcx %r8,%r12
140070e00:	c4 e2 fb f6 5e 20    	mulx   0x20(%rsi),%rax,%rbx
140070e06:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140070e0c:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
140070e12:	c4 62 c3 f6 46 28    	mulx   0x28(%rsi),%rdi,%r8
140070e18:	f3 4c 0f 38 f6 ef    	adox   %rdi,%r13
140070e1e:	66 4d 0f 38 f6 f0    	adcx   %r8,%r14
140070e24:	c4 e2 fb f6 9e 30 00 	mulx   0x30(%rsi),%rax,%rbx
140070e2b:	00 00
140070e2d:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140070e33:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
140070e39:	c4 62 c3 f6 86 38 00 	mulx   0x38(%rsi),%rdi,%r8
140070e40:	00 00
140070e42:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140070e48:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
140070e4e:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140070e53:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
140070e59:	48 8b 96 10 00 00 00 	mov    0x10(%rsi),%rdx
140070e60:	48 31 db             	xor    %rbx,%rbx
140070e63:	f3 4d 0f 38 f6 c9    	adox   %r9,%r9
140070e69:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
140070e6f:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
140070e75:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140070e7b:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
140070e81:	66 4c 0f 38 f6 d7    	adcx   %rdi,%r10
140070e87:	66 48 0f 38 f6 dd    	adcx   %rbp,%rbx
140070e8d:	4c 89 4c 24 10       	mov    %r9,0x10(%rsp)
140070e92:	4c 89 94 24 18 00 00 	mov    %r10,0x18(%rsp)
140070e99:	00
140070e9a:	c4 62 c3 f6 4e 18    	mulx   0x18(%rsi),%rdi,%r9
140070ea0:	f3 4c 0f 38 f6 e7    	adox   %rdi,%r12
140070ea6:	66 4d 0f 38 f6 e9    	adcx   %r9,%r13
140070eac:	c4 e2 fb f6 4e 20    	mulx   0x20(%rsi),%rax,%rcx
140070eb2:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
140070eb8:	66 4c 0f 38 f6 f1    	adcx   %rcx,%r14
140070ebe:	c4 62 c3 f6 8e 28 00 	mulx   0x28(%rsi),%rdi,%r9
140070ec5:	00 00
140070ec7:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
140070ecd:	66 4d 0f 38 f6 f9    	adcx   %r9,%r15
140070ed3:	c4 e2 fb f6 8e 30 00 	mulx   0x30(%rsi),%rax,%rcx
140070eda:	00 00
140070edc:	f3 4c 0f 38 f6 f8    	adox   %rax,%r15
140070ee2:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
140070ee8:	c4 62 c3 f6 4e 38    	mulx   0x38(%rsi),%rdi,%r9
140070eee:	f3 4c 0f 38 f6 c7    	adox   %rdi,%r8
140070ef4:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
140070efa:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140070eff:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
140070f05:	48 8b 56 18          	mov    0x18(%rsi),%rdx
140070f09:	48 31 c9             	xor    %rcx,%rcx
140070f0c:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140070f12:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140070f18:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
140070f1e:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140070f24:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
140070f2a:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140070f30:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140070f36:	4c 89 5c 24 20       	mov    %r11,0x20(%rsp)
140070f3b:	4c 89 64 24 28       	mov    %r12,0x28(%rsp)
140070f40:	c4 e2 fb f6 5e 20    	mulx   0x20(%rsi),%rax,%rbx
140070f46:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140070f4c:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
140070f52:	c4 62 c3 f6 56 28    	mulx   0x28(%rsi),%rdi,%r10
140070f58:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140070f5e:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
140070f64:	c4 e2 fb f6 5e 30    	mulx   0x30(%rsi),%rax,%rbx
140070f6a:	f3 4c 0f 38 f6 c0    	adox   %rax,%r8
140070f70:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
140070f76:	c4 62 c3 f6 56 38    	mulx   0x38(%rsi),%rdi,%r10
140070f7c:	f3 4c 0f 38 f6 cf    	adox   %rdi,%r9
140070f82:	66 4c 0f 38 f6 d5    	adcx   %rbp,%r10
140070f88:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140070f8d:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
140070f93:	48 8b 56 20          	mov    0x20(%rsi),%rdx
140070f97:	48 31 db             	xor    %rbx,%rbx
140070f9a:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
140070fa0:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
140070fa6:	f3 4d 0f 38 f6 f6    	adox   %r14,%r14
140070fac:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140070fb2:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
140070fb8:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
140070fbe:	66 48 0f 38 f6 dd    	adcx   %rbp,%rbx
140070fc4:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
140070fc9:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
140070fce:	c4 62 c3 f6 5e 28    	mulx   0x28(%rsi),%rdi,%r11
140070fd4:	f3 4c 0f 38 f6 c7    	adox   %rdi,%r8
140070fda:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140070fe0:	c4 e2 fb f6 4e 30    	mulx   0x30(%rsi),%rax,%rcx
140070fe6:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
140070fec:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
140070ff2:	c4 62 c3 f6 5e 38    	mulx   0x38(%rsi),%rdi,%r11
140070ff8:	f3 4c 0f 38 f6 d7    	adox   %rdi,%r10
140070ffe:	66 4c 0f 38 f6 dd    	adcx   %rbp,%r11
140071004:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140071009:	48 8b 56 28          	mov    0x28(%rsi),%rdx
14007100d:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
140071013:	48 31 c9             	xor    %rcx,%rcx
140071016:	f3 4d 0f 38 f6 ff    	adox   %r15,%r15
14007101c:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140071022:	f3 4d 0f 38 f6 c0    	adox   %r8,%r8
140071028:	66 4c 0f 38 f6 f8    	adcx   %rax,%r15
14007102e:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
140071034:	66 4c 0f 38 f6 c7    	adcx   %rdi,%r8
14007103a:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140071040:	4c 89 7c 24 40       	mov    %r15,0x40(%rsp)
140071045:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
14007104a:	c4 e2 fb f6 9e 30 00 	mulx   0x30(%rsi),%rax,%rbx
140071051:	00 00
140071053:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140071059:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
14007105f:	c4 62 c3 f6 a6 38 00 	mulx   0x38(%rsi),%rdi,%r12
140071066:	00 00
140071068:	f3 4c 0f 38 f6 df    	adox   %rdi,%r11
14007106e:	66 4c 0f 38 f6 e5    	adcx   %rbp,%r12
140071074:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140071079:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14007107f:	48 8b 56 30          	mov    0x30(%rsi),%rdx
140071083:	48 31 db             	xor    %rbx,%rbx
140071086:	f3 4d 0f 38 f6 c9    	adox   %r9,%r9
14007108c:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
140071092:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
140071098:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
14007109e:	66 4c 0f 38 f6 d7    	adcx   %rdi,%r10
1400710a4:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
1400710aa:	66 48 0f 38 f6 dd    	adcx   %rbp,%rbx
1400710b0:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
1400710b5:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
1400710ba:	c4 62 fb f6 ae 38 00 	mulx   0x38(%rsi),%rax,%r13
1400710c1:	00 00
1400710c3:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
1400710c9:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
1400710cf:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
1400710d4:	48 31 c9             	xor    %rcx,%rcx
1400710d7:	48 8b 56 38          	mov    0x38(%rsi),%rdx
1400710db:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
1400710e1:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
1400710e7:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
1400710ed:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400710f3:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
1400710f9:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
1400710ff:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140071105:	4c 89 9c 24 60 00 00 	mov    %r11,0x60(%rsp)
14007110c:	00
14007110d:	4c 89 a4 24 68 00 00 	mov    %r12,0x68(%rsp)
140071114:	00
140071115:	c4 e2 fb f6 d2       	mulx   %rdx,%rax,%rdx
14007111a:	48 31 db             	xor    %rbx,%rbx
14007111d:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
140071123:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
140071129:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
14007112f:	66 49 0f 38 f6 c5    	adcx   %r13,%rax
140071135:	66 48 0f 38 f6 da    	adcx   %rdx,%rbx
14007113b:	66 48 0f 7e c7       	movq   %xmm0,%rdi
140071140:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140071145:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
14007114c:	00
14007114d:	4c 8b 04 24          	mov    (%rsp),%r8
140071151:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9