14006cb55:	4d 01 e0             	add    %r12,%r8
14006cb58:	4d 11 e9             	adc    %r13,%r9
14006cb5b:	4d 89 c4             	mov    %r8,%r12
14006cb5e:	4d 11 f2             	adc    %r14,%r10
14006cb61:	4d 11 fb             	adc    %r15,%r11
14006cb64:	4c 89 c8             	mov    %r9,%rax
14006cb67:	48 83 d2 00          	adc    $0x0,%rdx
14006cb6b:	4c 2b 06             	sub    (%rsi),%r8
14006cb6e:	4d 89 d6             	mov    %r10,%r14
14006cb71:	4c 1b 4e 08          	sbb    0x8(%rsi),%r9
14006cb75:	4c 1b 56 10          	sbb    0x10(%rsi),%r10
14006cb79:	4d 89 df             	mov    %r11,%r15
14006cb7c:	4c 1b 5e 18          	sbb    0x18(%rsi),%r11
14006cb80:	48 83 da 00          	sbb    $0x0,%rdx
14006cb84:	4d 0f 42 c4          	cmovb  %r12,%r8
14006cb88:	49 0f 43 c1          	cmovae %r9,%rax
14006cb8c:	4d 0f 43 f2          	cmovae %r10,%r14
14006cb90:	4d 0f 43 fb          	cmovae %r11,%r15
14006cb94:	48 ff cb             	dec    %rbx
14006cb97:	0f 85 a3 fd ff ff    	jne    0x14006c940
14006cb9d:	4c 89 07             	mov    %r8,(%rdi)
14006cba0:	48 89 47 08          	mov    %rax,0x8(%rdi)
14006cba4:	66 0f ef c9          	pxor   %xmm1,%xmm1
14006cba8:	4c 89 77 10          	mov    %r14,0x10(%rdi)
14006cbac:	66 0f ef d2          	pxor   %xmm2,%xmm2
14006cbb0:	4c 89 7f 18          	mov    %r15,0x18(%rdi)
14006cbb4:	66 0f ef db          	pxor   %xmm3,%xmm3
14006cbb8:	4c 8b 3c 24          	mov    (%rsp),%r15
14006cbbc:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14006cbc1:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14006cbc6:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14006cbcb:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14006cbd0:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14006cbd5:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14006cbda:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14006cbdf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14006cbe4:	f3 c3                	repz ret
14006cbe6:	90                   	nop
14006cbe7:	90                   	nop
14006cbe8:	90                   	nop
14006cbe9:	90                   	nop
14006cbea:	90                   	nop
14006cbeb:	90                   	nop
14006cbec:	90                   	nop
14006cbed:	90                   	nop
14006cbee:	90                   	nop
14006cbef:	90                   	nop
14006cbf0:	90                   	nop
14006cbf1:	90                   	nop
14006cbf2:	90                   	nop
14006cbf3:	90                   	nop
14006cbf4:	90                   	nop
14006cbf5:	90                   	nop
14006cbf6:	90                   	nop
14006cbf7:	90                   	nop
14006cbf8:	90                   	nop
14006cbf9:	90                   	nop
14006cbfa:	90                   	nop
14006cbfb:	90                   	nop
14006cbfc:	90                   	nop
14006cbfd:	90                   	nop
14006cbfe:	90                   	nop
14006cbff:	90                   	nop
14006cc00:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14006cc05:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14006cc0a:	48 89 e0             	mov    %rsp,%rax
14006cc0d:	48 89 cf             	mov    %rcx,%rdi
14006cc10:	48 89 d6             	mov    %rdx,%rsi
14006cc13:	4c 89 c2             	mov    %r8,%rdx
14006cc16:	55                   	push   %rbp
14006cc17:	53                   	push   %rbx
14006cc18:	41 54                	push   %r12
14006cc1a:	41 55                	push   %r13
14006cc1c:	41 56                	push   %r14
14006cc1e:	41 57                	push   %r15
14006cc20:	48 89 d3             	mov    %rdx,%rbx
14006cc23:	48 8b 12             	mov    (%rdx),%rdx
14006cc26:	4c 8b 0e             	mov    (%rsi),%r9
14006cc29:	4c 8b 56 08          	mov    0x8(%rsi),%r10
14006cc2d:	4c 8b 5e 10          	mov    0x10(%rsi),%r11
14006cc31:	4c 8b 66 18          	mov    0x18(%rsi),%r12
14006cc35:	48 8d 76 80          	lea    -0x80(%rsi),%rsi
14006cc39:	4c 8d 35 00 f4 ff ff 	lea    -0xc00(%rip),%r14        # 0x14006c040
14006cc40:	4c 8b 3d 99 f4 ff ff 	mov    -0xb67(%rip),%r15        # 0x14006c0e0
14006cc47:	c4 42 bb f6 c9       	mulx   %r9,%r8,%r9
14006cc4c:	c4 42 f3 f6 d2       	mulx   %r10,%rcx,%r10
14006cc51:	c4 42 d3 f6 db       	mulx   %r11,%rbp,%r11
14006cc56:	49 01 c9             	add    %rcx,%r9
14006cc59:	c4 42 f3 f6 e4       	mulx   %r12,%rcx,%r12
14006cc5e:	4c 89 c2             	mov    %r8,%rdx
14006cc61:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14006cc66:	49 11 ea             	adc    %rbp,%r10
14006cc69:	49 11 cb             	adc    %rcx,%r11
14006cc6c:	49 83 d4 00          	adc    $0x0,%r12
14006cc70:	4d 31 ed             	xor    %r13,%r13
14006cc73:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14006cc7a:	00 00
14006cc7c:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14006cc82:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14006cc88:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14006cc8f:	00 00
14006cc91:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14006cc97:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14006cc9d:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14006cca4:	00 00
14006cca6:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006ccac:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006ccb2:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14006ccb9:	00 00
14006ccbb:	48 8b 53 08          	mov    0x8(%rbx),%rdx
14006ccbf:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006ccc5:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006cccb:	66 4d 0f 38 f6 e0    	adcx   %r8,%r12
14006ccd1:	f3 4d 0f 38 f6 e8    	adox   %r8,%r13
14006ccd7:	49 83 d5 00          	adc    $0x0,%r13
14006ccdb:	c4 e2 f3 f6 ae 80 00 	mulx   0x80(%rsi),%rcx,%rbp
14006cce2:	00 00
14006cce4:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14006ccea:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14006ccf0:	c4 e2 f3 f6 ae 88 00 	mulx   0x88(%rsi),%rcx,%rbp
14006ccf7:	00 00
14006ccf9:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006ccff:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006cd05:	c4 e2 f3 f6 ae 90 00 	mulx   0x90(%rsi),%rcx,%rbp
14006cd0c:	00 00
14006cd0e:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006cd14:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006cd1a:	c4 e2 f3 f6 ae 98 00 	mulx   0x98(%rsi),%rcx,%rbp
14006cd21:	00 00
14006cd23:	4c 89 ca             	mov    %r9,%rdx
14006cd26:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14006cd2b:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006cd31:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006cd37:	66 4d 0f 38 f6 e8    	adcx   %r8,%r13
14006cd3d:	f3 4d 0f 38 f6 c0    	adox   %r8,%r8
14006cd43:	49 83 d0 00          	adc    $0x0,%r8
14006cd47:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14006cd4e:	00 00
14006cd50:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14006cd56:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14006cd5c:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14006cd63:	00 00
14006cd65:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006cd6b:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006cd71:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14006cd78:	00 00
14006cd7a:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006cd80:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006cd86:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14006cd8d:	00 00
14006cd8f:	48 8b 53 10          	mov    0x10(%rbx),%rdx
14006cd93:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006cd99:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006cd9f:	66 4d 0f 38 f6 e9    	adcx   %r9,%r13
14006cda5:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
14006cdab:	49 83 d0 00          	adc    $0x0,%r8
14006cdaf:	c4 e2 f3 f6 ae 80 00 	mulx   0x80(%rsi),%rcx,%rbp
14006cdb6:	00 00
14006cdb8:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006cdbe:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006cdc4:	c4 e2 f3 f6 ae 88 00 	mulx   0x88(%rsi),%rcx,%rbp
14006cdcb:	00 00
14006cdcd:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006cdd3:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006cdd9:	c4 e2 f3 f6 ae 90 00 	mulx   0x90(%rsi),%rcx,%rbp
14006cde0:	00 00
14006cde2:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006cde8:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006cdee:	c4 e2 f3 f6 ae 98 00 	mulx   0x98(%rsi),%rcx,%rbp
14006cdf5:	00 00
14006cdf7:	4c 89 d2             	mov    %r10,%rdx
14006cdfa:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14006cdff:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14006ce05:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14006ce0b:	66 4d 0f 38 f6 c1    	adcx   %r9,%r8
14006ce11:	f3 4d 0f 38 f6 c9    	adox   %r9,%r9
14006ce17:	49 83 d1 00          	adc    $0x0,%r9
14006ce1b:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14006ce22:	00 00
14006ce24:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006ce2a:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006ce30:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14006ce37:	00 00
14006ce39:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006ce3f:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006ce45:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14006ce4c:	00 00
14006ce4e:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006ce54:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006ce5a:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14006ce61:	00 00
14006ce63:	48 8b 53 18          	mov    0x18(%rbx),%rdx
14006ce67:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14006ce6d:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14006ce73:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
14006ce79:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
14006ce7f:	49 83 d1 00          	adc    $0x0,%r9
14006ce83:	c4 e2 f3 f6 ae 80 00 	mulx   0x80(%rsi),%rcx,%rbp
14006ce8a:	00 00
14006ce8c:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006ce92:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006ce98:	c4 e2 f3 f6 ae 88 00 	mulx   0x88(%rsi),%rcx,%rbp
14006ce9f:	00 00
14006cea1:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006cea7:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006cead:	c4 e2 f3 f6 ae 90 00 	mulx   0x90(%rsi),%rcx,%rbp
14006ceb4:	00 00
14006ceb6:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14006cebc:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14006cec2:	c4 e2 f3 f6 ae 98 00 	mulx   0x98(%rsi),%rcx,%rbp
14006cec9:	00 00
14006cecb:	4c 89 da             	mov    %r11,%rdx
14006cece:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14006ced3:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14006ced9:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14006cedf:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
14006cee5:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
14006ceeb:	49 83 d2 00          	adc    $0x0,%r10
14006ceef:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14006cef6:	00 00
14006cef8:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006cefe:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006cf04:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14006cf0b:	00 00
14006cf0d:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006cf13:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006cf19:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14006cf20:	00 00
14006cf22:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14006cf28:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14006cf2e:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14006cf35:	00 00
14006cf37:	4d 8d b6 80 00 00 00 	lea    0x80(%r14),%r14
14006cf3e:	4c 89 e3             	mov    %r12,%rbx
14006cf41:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14006cf47:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14006cf4d:	4c 89 ea             	mov    %r13,%rdx
14006cf50:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
14006cf56:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
14006cf5c:	49 83 d2 00          	adc    $0x0,%r10
14006cf60:	4c 89 c1             	mov    %r8,%rcx
14006cf63:	4d 2b 26             	sub    (%r14),%r12
14006cf66:	4d 1b 6e 08          	sbb    0x8(%r14),%r13
14006cf6a:	4d 1b 46 10          	sbb    0x10(%r14),%r8
14006cf6e:	4c 89 cd             	mov    %r9,%rbp
14006cf71:	4d 1b 4e 18          	sbb    0x18(%r14),%r9
14006cf75:	49 83 da 00          	sbb    $0x0,%r10
14006cf79:	4c 0f 42 e3          	cmovb  %rbx,%r12
14006cf7d:	4c 0f 42 ea          	cmovb  %rdx,%r13
14006cf81:	4c 0f 42 c1          	cmovb  %rcx,%r8
14006cf85:	4c 0f 42 cd          	cmovb  %rbp,%r9
14006cf89:	4c 89 27             	mov    %r12,(%rdi)
14006cf8c:	4c 89 6f 08          	mov    %r13,0x8(%rdi)
14006cf90:	4c 89 47 10          	mov    %r8,0x10(%rdi)
14006cf94:	4c 89 4f 18          	mov    %r9,0x18(%rdi)
14006cf98:	4c 8b 3c 24          	mov    (%rsp),%r15
14006cf9c:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14006cfa1:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14006cfa6:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14006cfab:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14006cfb0:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14006cfb5:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14006cfba:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14006cfbf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14006cfc4:	f3 c3                	repz ret
14006cfc6:	90                   	nop
14006cfc7:	90                   	nop
14006cfc8:	90                   	nop
14006cfc9:	90                   	nop
14006cfca:	90                   	nop
14006cfcb:	90                   	nop
14006cfcc:	90                   	nop
14006cfcd:	90                   	nop
14006cfce:	90                   	nop
14006cfcf:	90                   	nop
14006cfd0:	90                   	nop
14006cfd1:	90                   	nop
14006cfd2:	90                   	nop
14006cfd3:	90                   	nop
14006cfd4:	90                   	nop
14006cfd5:	90                   	nop
14006cfd6:	90                   	nop
14006cfd7:	90                   	nop
14006cfd8:	90                   	nop
14006cfd9:	90                   	nop
14006cfda:	90                   	nop
14006cfdb:	90                   	nop
14006cfdc:	90                   	nop
14006cfdd:	90                   	nop
14006cfde:	90                   	nop
14006cfdf:	90                   	nop
14006cfe0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14006cfe5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14006cfea:	48 89 e0             	mov    %rsp,%rax
14006cfed:	48 89 cf             	mov    %rcx,%rdi
14006cff0:	48 89 d6             	mov    %rdx,%rsi
14006cff3:	4c 89 c2             	mov    %r8,%rdx
14006cff6:	55                   	push   %rbp
14006cff7:	53                   	push   %rbx
14006cff8:	41 54                	push   %r12
14006cffa:	41 55                	push   %r13
14006cffc:	41 56                	push   %r14
14006cffe:	41 57                	push   %r15
14006d000:	48 89 d3             	mov    %rdx,%rbx
14006d003:	48 8b 16             	mov    (%rsi),%rdx
14006d006:	4c 8b 76 08          	mov    0x8(%rsi),%r14
14006d00a:	4c 8b 7e 10          	mov    0x10(%rsi),%r15
14006d00e:	4c 8b 46 18          	mov    0x18(%rsi),%r8
14006d012:	48 8d 35 a7 f0 ff ff 	lea    -0xf59(%rip),%rsi        # 0x14006c0c0
14006d019:	eb 05                	jmp    0x14006d020
14006d01b:	90                   	nop
14006d01c:	90                   	nop
14006d01d:	90                   	nop
14006d01e:	90                   	nop
14006d01f:	90                   	nop
14006d020:	c4 42 b3 f6 d6       	mulx   %r14,%r9,%r10
14006d025:	c4 42 f3 f6 df       	mulx   %r15,%rcx,%r11
14006d02a:	48 89 d0             	mov    %rdx,%rax
14006d02d:	66 49 0f 6e ce       	movq   %r14,%xmm1
14006d032:	c4 42 d3 f6 e0       	mulx   %r8,%rbp,%r12
14006d037:	4c 89 f2             	mov    %r14,%rdx
14006d03a:	49 01 ca             	add    %rcx,%r10
14006d03d:	66 49 0f 6e d7       	movq   %r15,%xmm2
14006d042:	49 11 eb             	adc    %rbp,%r11
14006d045:	49 83 d4 00          	adc    $0x0,%r12
14006d049:	4d 31 ed             	xor    %r13,%r13
14006d04c:	c4 c2 f3 f6 ef       	mulx   %r15,%rcx,%rbp
14006d051:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006d057:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14006d05d:	c4 c2 f3 f6 e8       	mulx   %r8,%rcx,%rbp
14006d062:	4c 89 fa             	mov    %r15,%rdx
14006d065:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14006d06b:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006d071:	49 83 d5 00          	adc    $0x0,%r13
14006d075:	c4 42 f3 f6 f0       	mulx   %r8,%rcx,%r14
14006d07a:	48 89 c2             	mov    %rax,%rdx
14006d07d:	66 49 0f 6e d8       	movq   %r8,%xmm3
14006d082:	4d 31 ff             	xor    %r15,%r15
14006d085:	66 4d 0f 38 f6 c9    	adcx   %r9,%r9
14006d08b:	f3 4c 0f 38 f6 e9    	adox   %rcx,%r13
14006d091:	66 4d 0f 38 f6 d2    	adcx   %r10,%r10
14006d097:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
14006d09d:	c4 e2 bb f6 ea       	mulx   %rdx,%r8,%rbp
14006d0a2:	66 48 0f 7e ca       	movq   %xmm1,%rdx
14006d0a7:	66 4d 0f 38 f6 db    	adcx   %r11,%r11
14006d0ad:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14006d0b3:	66 4d 0f 38 f6 e4    	adcx   %r12,%r12
14006d0b9:	c4 e2 f3 f6 c2       	mulx   %rdx,%rcx,%rax
14006d0be:	66 48 0f 7e d2       	movq   %xmm2,%rdx
14006d0c3:	66 4d 0f 38 f6 ed    	adcx   %r13,%r13