14003fc05:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14003fc0a:	48 89 e0             	mov    %rsp,%rax
14003fc0d:	48 89 cf             	mov    %rcx,%rdi
14003fc10:	48 89 d6             	mov    %rdx,%rsi
14003fc13:	4c 89 c2             	mov    %r8,%rdx
14003fc16:	55                   	push   %rbp
14003fc17:	53                   	push   %rbx
14003fc18:	41 54                	push   %r12
14003fc1a:	41 55                	push   %r13
14003fc1c:	41 56                	push   %r14
14003fc1e:	41 57                	push   %r15
14003fc20:	48 89 d3             	mov    %rdx,%rbx
14003fc23:	48 8b 12             	mov    (%rdx),%rdx
14003fc26:	4c 8b 0e             	mov    (%rsi),%r9
14003fc29:	4c 8b 56 08          	mov    0x8(%rsi),%r10
14003fc2d:	4c 8b 5e 10          	mov    0x10(%rsi),%r11
14003fc31:	4c 8b 66 18          	mov    0x18(%rsi),%r12
14003fc35:	48 8d 76 80          	lea    -0x80(%rsi),%rsi
14003fc39:	4c 8d 35 00 f4 ff ff 	lea    -0xc00(%rip),%r14        # 0x14003f040
14003fc40:	4c 8b 3d 99 f4 ff ff 	mov    -0xb67(%rip),%r15        # 0x14003f0e0
14003fc47:	c4 42 bb f6 c9       	mulx   %r9,%r8,%r9
14003fc4c:	c4 42 f3 f6 d2       	mulx   %r10,%rcx,%r10
14003fc51:	c4 42 d3 f6 db       	mulx   %r11,%rbp,%r11
14003fc56:	49 01 c9             	add    %rcx,%r9
14003fc59:	c4 42 f3 f6 e4       	mulx   %r12,%rcx,%r12
14003fc5e:	4c 89 c2             	mov    %r8,%rdx
14003fc61:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14003fc66:	49 11 ea             	adc    %rbp,%r10
14003fc69:	49 11 cb             	adc    %rcx,%r11
14003fc6c:	49 83 d4 00          	adc    $0x0,%r12
14003fc70:	4d 31 ed             	xor    %r13,%r13
14003fc73:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14003fc7a:	00 00
14003fc7c:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14003fc82:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14003fc88:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14003fc8f:	00 00
14003fc91:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14003fc97:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14003fc9d:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14003fca4:	00 00
14003fca6:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14003fcac:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14003fcb2:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14003fcb9:	00 00
14003fcbb:	48 8b 53 08          	mov    0x8(%rbx),%rdx
14003fcbf:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fcc5:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003fccb:	66 4d 0f 38 f6 e0    	adcx   %r8,%r12
14003fcd1:	f3 4d 0f 38 f6 e8    	adox   %r8,%r13
14003fcd7:	49 83 d5 00          	adc    $0x0,%r13
14003fcdb:	c4 e2 f3 f6 ae 80 00 	mulx   0x80(%rsi),%rcx,%rbp
14003fce2:	00 00
14003fce4:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14003fcea:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14003fcf0:	c4 e2 f3 f6 ae 88 00 	mulx   0x88(%rsi),%rcx,%rbp
14003fcf7:	00 00
14003fcf9:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14003fcff:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14003fd05:	c4 e2 f3 f6 ae 90 00 	mulx   0x90(%rsi),%rcx,%rbp
14003fd0c:	00 00
14003fd0e:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fd14:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003fd1a:	c4 e2 f3 f6 ae 98 00 	mulx   0x98(%rsi),%rcx,%rbp
14003fd21:	00 00
14003fd23:	4c 89 ca             	mov    %r9,%rdx
14003fd26:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14003fd2b:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14003fd31:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003fd37:	66 4d 0f 38 f6 e8    	adcx   %r8,%r13
14003fd3d:	f3 4d 0f 38 f6 c0    	adox   %r8,%r8
14003fd43:	49 83 d0 00          	adc    $0x0,%r8
14003fd47:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14003fd4e:	00 00
14003fd50:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14003fd56:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14003fd5c:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14003fd63:	00 00
14003fd65:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14003fd6b:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14003fd71:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14003fd78:	00 00
14003fd7a:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fd80:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003fd86:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14003fd8d:	00 00
14003fd8f:	48 8b 53 10          	mov    0x10(%rbx),%rdx
14003fd93:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14003fd99:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003fd9f:	66 4d 0f 38 f6 e9    	adcx   %r9,%r13
14003fda5:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
14003fdab:	49 83 d0 00          	adc    $0x0,%r8
14003fdaf:	c4 e2 f3 f6 ae 80 00 	mulx   0x80(%rsi),%rcx,%rbp
14003fdb6:	00 00
14003fdb8:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14003fdbe:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14003fdc4:	c4 e2 f3 f6 ae 88 00 	mulx   0x88(%rsi),%rcx,%rbp
14003fdcb:	00 00
14003fdcd:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fdd3:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003fdd9:	c4 e2 f3 f6 ae 90 00 	mulx   0x90(%rsi),%rcx,%rbp
14003fde0:	00 00
14003fde2:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14003fde8:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003fdee:	c4 e2 f3 f6 ae 98 00 	mulx   0x98(%rsi),%rcx,%rbp
14003fdf5:	00 00
14003fdf7:	4c 89 d2             	mov    %r10,%rdx
14003fdfa:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14003fdff:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14003fe05:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14003fe0b:	66 4d 0f 38 f6 c1    	adcx   %r9,%r8
14003fe11:	f3 4d 0f 38 f6 c9    	adox   %r9,%r9
14003fe17:	49 83 d1 00          	adc    $0x0,%r9
14003fe1b:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14003fe22:	00 00
14003fe24:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14003fe2a:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14003fe30:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14003fe37:	00 00
14003fe39:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fe3f:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003fe45:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14003fe4c:	00 00
14003fe4e:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14003fe54:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003fe5a:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14003fe61:	00 00
14003fe63:	48 8b 53 18          	mov    0x18(%rbx),%rdx
14003fe67:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14003fe6d:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14003fe73:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
14003fe79:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
14003fe7f:	49 83 d1 00          	adc    $0x0,%r9
14003fe83:	c4 e2 f3 f6 ae 80 00 	mulx   0x80(%rsi),%rcx,%rbp
14003fe8a:	00 00
14003fe8c:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fe92:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003fe98:	c4 e2 f3 f6 ae 88 00 	mulx   0x88(%rsi),%rcx,%rbp
14003fe9f:	00 00
14003fea1:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14003fea7:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003fead:	c4 e2 f3 f6 ae 90 00 	mulx   0x90(%rsi),%rcx,%rbp
14003feb4:	00 00
14003feb6:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14003febc:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14003fec2:	c4 e2 f3 f6 ae 98 00 	mulx   0x98(%rsi),%rcx,%rbp
14003fec9:	00 00
14003fecb:	4c 89 da             	mov    %r11,%rdx
14003fece:	c4 c2 eb f6 c7       	mulx   %r15,%rdx,%rax
14003fed3:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14003fed9:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14003fedf:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
14003fee5:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
14003feeb:	49 83 d2 00          	adc    $0x0,%r10
14003feef:	c4 c2 f3 f6 ae 80 00 	mulx   0x80(%r14),%rcx,%rbp
14003fef6:	00 00
14003fef8:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14003fefe:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14003ff04:	c4 c2 f3 f6 ae 88 00 	mulx   0x88(%r14),%rcx,%rbp
14003ff0b:	00 00
14003ff0d:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14003ff13:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003ff19:	c4 c2 f3 f6 ae 90 00 	mulx   0x90(%r14),%rcx,%rbp
14003ff20:	00 00
14003ff22:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
14003ff28:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14003ff2e:	c4 c2 f3 f6 ae 98 00 	mulx   0x98(%r14),%rcx,%rbp
14003ff35:	00 00
14003ff37:	4d 8d b6 80 00 00 00 	lea    0x80(%r14),%r14
14003ff3e:	4c 89 e3             	mov    %r12,%rbx
14003ff41:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14003ff47:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14003ff4d:	4c 89 ea             	mov    %r13,%rdx
14003ff50:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
14003ff56:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
14003ff5c:	49 83 d2 00          	adc    $0x0,%r10
14003ff60:	4c 89 c1             	mov    %r8,%rcx
14003ff63:	4d 2b 26             	sub    (%r14),%r12
14003ff66:	4d 1b 6e 08          	sbb    0x8(%r14),%r13
14003ff6a:	4d 1b 46 10          	sbb    0x10(%r14),%r8
14003ff6e:	4c 89 cd             	mov    %r9,%rbp
14003ff71:	4d 1b 4e 18          	sbb    0x18(%r14),%r9
14003ff75:	49 83 da 00          	sbb    $0x0,%r10
14003ff79:	4c 0f 42 e3          	cmovb  %rbx,%r12
14003ff7d:	4c 0f 42 ea          	cmovb  %rdx,%r13
14003ff81:	4c 0f 42 c1          	cmovb  %rcx,%r8
14003ff85:	4c 0f 42 cd          	cmovb  %rbp,%r9
14003ff89:	4c 89 27             	mov    %r12,(%rdi)
14003ff8c:	4c 89 6f 08          	mov    %r13,0x8(%rdi)
14003ff90:	4c 89 47 10          	mov    %r8,0x10(%rdi)
14003ff94:	4c 89 4f 18          	mov    %r9,0x18(%rdi)
14003ff98:	4c 8b 3c 24          	mov    (%rsp),%r15
14003ff9c:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14003ffa1:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14003ffa6:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14003ffab:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14003ffb0:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14003ffb5:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14003ffba:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003ffbf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14003ffc4:	f3 c3                	repz ret
14003ffc6:	90                   	nop
14003ffc7:	90                   	nop
14003ffc8:	90                   	nop
14003ffc9:	90                   	nop
14003ffca:	90                   	nop
14003ffcb:	90                   	nop
14003ffcc:	90                   	nop
14003ffcd:	90                   	nop
14003ffce:	90                   	nop
14003ffcf:	90                   	nop
14003ffd0:	90                   	nop
14003ffd1:	90                   	nop
14003ffd2:	90                   	nop
14003ffd3:	90                   	nop
14003ffd4:	90                   	nop
14003ffd5:	90                   	nop
14003ffd6:	90                   	nop
14003ffd7:	90                   	nop
14003ffd8:	90                   	nop
14003ffd9:	90                   	nop
14003ffda:	90                   	nop
14003ffdb:	90                   	nop
14003ffdc:	90                   	nop
14003ffdd:	90                   	nop
14003ffde:	90                   	nop
14003ffdf:	90                   	nop
14003ffe0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14003ffe5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14003ffea:	48 89 e0             	mov    %rsp,%rax
14003ffed:	48 89 cf             	mov    %rcx,%rdi
14003fff0:	48 89 d6             	mov    %rdx,%rsi
14003fff3:	4c 89 c2             	mov    %r8,%rdx
14003fff6:	55                   	push   %rbp
14003fff7:	53                   	push   %rbx
14003fff8:	41 54                	push   %r12
14003fffa:	41 55                	push   %r13
14003fffc:	41 56                	push   %r14
14003fffe:	41 57                	push   %r15
140040000:	48 89 d3             	mov    %rdx,%rbx
140040003:	48 8b 16             	mov    (%rsi),%rdx
140040006:	4c 8b 76 08          	mov    0x8(%rsi),%r14
14004000a:	4c 8b 7e 10          	mov    0x10(%rsi),%r15
14004000e:	4c 8b 46 18          	mov    0x18(%rsi),%r8
140040012:	48 8d 35 a7 f0 ff ff 	lea    -0xf59(%rip),%rsi        # 0x14003f0c0
140040019:	eb 05                	jmp    0x140040020
14004001b:	90                   	nop
14004001c:	90                   	nop
14004001d:	90                   	nop
14004001e:	90                   	nop
14004001f:	90                   	nop
140040020:	c4 42 b3 f6 d6       	mulx   %r14,%r9,%r10
140040025:	c4 42 f3 f6 df       	mulx   %r15,%rcx,%r11
14004002a:	48 89 d0             	mov    %rdx,%rax
14004002d:	66 49 0f 6e ce       	movq   %r14,%xmm1
140040032:	c4 42 d3 f6 e0       	mulx   %r8,%rbp,%r12
140040037:	4c 89 f2             	mov    %r14,%rdx
14004003a:	49 01 ca             	add    %rcx,%r10
14004003d:	66 49 0f 6e d7       	movq   %r15,%xmm2
140040042:	49 11 eb             	adc    %rbp,%r11
140040045:	49 83 d4 00          	adc    $0x0,%r12
140040049:	4d 31 ed             	xor    %r13,%r13
14004004c:	c4 c2 f3 f6 ef       	mulx   %r15,%rcx,%rbp
140040051:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
140040057:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
14004005d:	c4 c2 f3 f6 e8       	mulx   %r8,%rcx,%rbp
140040062:	4c 89 fa             	mov    %r15,%rdx
140040065:	66 4c 0f 38 f6 e1    	adcx   %rcx,%r12
14004006b:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140040071:	49 83 d5 00          	adc    $0x0,%r13
140040075:	c4 42 f3 f6 f0       	mulx   %r8,%rcx,%r14
14004007a:	48 89 c2             	mov    %rax,%rdx
14004007d:	66 49 0f 6e d8       	movq   %r8,%xmm3
140040082:	4d 31 ff             	xor    %r15,%r15
140040085:	66 4d 0f 38 f6 c9    	adcx   %r9,%r9
14004008b:	f3 4c 0f 38 f6 e9    	adox   %rcx,%r13
140040091:	66 4d 0f 38 f6 d2    	adcx   %r10,%r10
140040097:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
14004009d:	c4 e2 bb f6 ea       	mulx   %rdx,%r8,%rbp
1400400a2:	66 48 0f 7e ca       	movq   %xmm1,%rdx
1400400a7:	66 4d 0f 38 f6 db    	adcx   %r11,%r11
1400400ad:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
1400400b3:	66 4d 0f 38 f6 e4    	adcx   %r12,%r12
1400400b9:	c4 e2 f3 f6 c2       	mulx   %rdx,%rcx,%rax
1400400be:	66 48 0f 7e d2       	movq   %xmm2,%rdx
1400400c3:	66 4d 0f 38 f6 ed    	adcx   %r13,%r13
1400400c9:	f3 4c 0f 38 f6 d1    	adox   %rcx,%r10
1400400cf:	66 4d 0f 38 f6 f6    	adcx   %r14,%r14
1400400d5:	c4 e2 f3 f6 ea       	mulx   %rdx,%rcx,%rbp
1400400da:	67 66 48 0f 7e da    	addr32 movq %xmm3,%rdx
1400400e0:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
1400400e6:	66 4d 0f 38 f6 ff    	adcx   %r15,%r15
1400400ec:	f3 4c 0f 38 f6 e1    	adox   %rcx,%r12
1400400f2:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
1400400f8:	c4 e2 f3 f6 c2       	mulx   %rdx,%rcx,%rax
1400400fd:	f3 4c 0f 38 f6 f1    	adox   %rcx,%r14
140040103:	f3 4c 0f 38 f6 f8    	adox   %rax,%r15
140040109:	4c 89 c2             	mov    %r8,%rdx
14004010c:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
140040112:	48 31 c0             	xor    %rax,%rax
140040115:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
14004011a:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
140040120:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
140040126:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
14004012c:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
140040132:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
140040138:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
14004013e:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
140040144:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14004014a:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
140040150:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
140040156:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14004015c:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140040162:	4c 89 ca             	mov    %r9,%rdx
140040165:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
14004016b:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
140040170:	f3 4c 0f 38 f6 c9    	adox   %rcx,%r9
140040176:	66 4c 0f 38 f6 d5    	adcx   %rbp,%r10
14004017c:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
140040182:	f3 4c 0f 38 f6 d1    	adox   %rcx,%r10
140040188:	66 4c 0f 38 f6 dd    	adcx   %rbp,%r11
14004018e:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
140040194:	f3 4c 0f 38 f6 d9    	adox   %rcx,%r11
14004019a:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
1400401a0:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
1400401a6:	f3 4c 0f 38 f6 c1    	adox   %rcx,%r8
1400401ac:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
1400401b2:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
1400401b8:	4c 89 d2             	mov    %r10,%rdx
1400401bb:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
1400401c1:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
1400401c6:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
1400401cc:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
1400401d2:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
1400401d8:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
1400401de:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
1400401e4:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
1400401ea:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
1400401f0:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
1400401f6:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
1400401fc:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
140040202:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
140040208:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14004020e:	4c 89 da             	mov    %r11,%rdx
140040211:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
140040217:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
14004021c:	f3 4c 0f 38 f6 d9    	adox   %rcx,%r11
140040222:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
140040228:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
14004022e:	f3 4c 0f 38 f6 c1    	adox   %rcx,%r8