14003f9de:	49 11 c2             	adc    %rax,%r10
14003f9e1:	66 48 0f 7e d0       	movq   %xmm2,%rax
14003f9e6:	48 83 d2 00          	adc    $0x0,%rdx
14003f9ea:	48 89 d5             	mov    %rdx,%rbp
14003f9ed:	48 f7 e0             	mul    %rax
14003f9f0:	49 01 eb             	add    %rbp,%r11
14003f9f3:	49 11 c4             	adc    %rax,%r12
14003f9f6:	66 48 0f 7e d8       	movq   %xmm3,%rax
14003f9fb:	48 83 d2 00          	adc    $0x0,%rdx
14003f9ff:	48 89 d5             	mov    %rdx,%rbp
14003fa02:	4c 89 c1             	mov    %r8,%rcx
14003fa05:	4c 0f af 46 20       	imul   0x20(%rsi),%r8
14003fa0a:	48 f7 e0             	mul    %rax
14003fa0d:	49 01 ed             	add    %rbp,%r13
14003fa10:	49 11 c6             	adc    %rax,%r14
14003fa13:	48 8b 06             	mov    (%rsi),%rax
14003fa16:	49 11 d7             	adc    %rdx,%r15
14003fa19:	49 f7 e0             	mul    %r8
14003fa1c:	4c 89 c5             	mov    %r8,%rbp
14003fa1f:	48 01 c1             	add    %rax,%rcx
14003fa22:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fa26:	48 11 d1             	adc    %rdx,%rcx
14003fa29:	4d 29 c2             	sub    %r8,%r10
14003fa2c:	48 83 dd 00          	sbb    $0x0,%rbp
14003fa30:	49 f7 e0             	mul    %r8
14003fa33:	49 01 c9             	add    %rcx,%r9
14003fa36:	48 83 d2 00          	adc    $0x0,%rdx
14003fa3a:	49 01 c1             	add    %rax,%r9
14003fa3d:	4c 89 c0             	mov    %r8,%rax
14003fa40:	49 11 d2             	adc    %rdx,%r10
14003fa43:	4c 89 c2             	mov    %r8,%rdx
14003fa46:	48 83 d5 00          	adc    $0x0,%rbp
14003fa4a:	4c 89 c9             	mov    %r9,%rcx
14003fa4d:	4c 0f af 4e 20       	imul   0x20(%rsi),%r9
14003fa52:	48 c1 e0 20          	shl    $0x20,%rax
14003fa56:	48 c1 ea 20          	shr    $0x20,%rdx
14003fa5a:	49 29 c3             	sub    %rax,%r11
14003fa5d:	48 8b 06             	mov    (%rsi),%rax
14003fa60:	49 19 d0             	sbb    %rdx,%r8
14003fa63:	49 01 eb             	add    %rbp,%r11
14003fa66:	49 83 d0 00          	adc    $0x0,%r8
14003fa6a:	49 f7 e1             	mul    %r9
14003fa6d:	4c 89 cd             	mov    %r9,%rbp
14003fa70:	48 01 c1             	add    %rax,%rcx
14003fa73:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fa77:	48 11 d1             	adc    %rdx,%rcx
14003fa7a:	4d 29 cb             	sub    %r9,%r11
14003fa7d:	48 83 dd 00          	sbb    $0x0,%rbp
14003fa81:	49 f7 e1             	mul    %r9
14003fa84:	49 01 ca             	add    %rcx,%r10
14003fa87:	48 83 d2 00          	adc    $0x0,%rdx
14003fa8b:	49 01 c2             	add    %rax,%r10
14003fa8e:	4c 89 c8             	mov    %r9,%rax
14003fa91:	49 11 d3             	adc    %rdx,%r11
14003fa94:	4c 89 ca             	mov    %r9,%rdx
14003fa97:	48 83 d5 00          	adc    $0x0,%rbp
14003fa9b:	4c 89 d1             	mov    %r10,%rcx
14003fa9e:	4c 0f af 56 20       	imul   0x20(%rsi),%r10
14003faa3:	48 c1 e0 20          	shl    $0x20,%rax
14003faa7:	48 c1 ea 20          	shr    $0x20,%rdx
14003faab:	49 29 c0             	sub    %rax,%r8
14003faae:	48 8b 06             	mov    (%rsi),%rax
14003fab1:	49 19 d1             	sbb    %rdx,%r9
14003fab4:	49 01 e8             	add    %rbp,%r8
14003fab7:	49 83 d1 00          	adc    $0x0,%r9
14003fabb:	49 f7 e2             	mul    %r10
14003fabe:	4c 89 d5             	mov    %r10,%rbp
14003fac1:	48 01 c1             	add    %rax,%rcx
14003fac4:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fac8:	48 11 d1             	adc    %rdx,%rcx
14003facb:	4d 29 d0             	sub    %r10,%r8
14003face:	48 83 dd 00          	sbb    $0x0,%rbp
14003fad2:	49 f7 e2             	mul    %r10
14003fad5:	49 01 cb             	add    %rcx,%r11
14003fad8:	48 83 d2 00          	adc    $0x0,%rdx
14003fadc:	49 01 c3             	add    %rax,%r11
14003fadf:	4c 89 d0             	mov    %r10,%rax
14003fae2:	49 11 d0             	adc    %rdx,%r8
14003fae5:	4c 89 d2             	mov    %r10,%rdx
14003fae8:	48 83 d5 00          	adc    $0x0,%rbp
14003faec:	4c 89 d9             	mov    %r11,%rcx
14003faef:	4c 0f af 5e 20       	imul   0x20(%rsi),%r11
14003faf4:	48 c1 e0 20          	shl    $0x20,%rax
14003faf8:	48 c1 ea 20          	shr    $0x20,%rdx
14003fafc:	49 29 c1             	sub    %rax,%r9
14003faff:	48 8b 06             	mov    (%rsi),%rax
14003fb02:	49 19 d2             	sbb    %rdx,%r10
14003fb05:	49 01 e9             	add    %rbp,%r9
14003fb08:	49 83 d2 00          	adc    $0x0,%r10
14003fb0c:	49 f7 e3             	mul    %r11
14003fb0f:	4c 89 dd             	mov    %r11,%rbp
14003fb12:	48 01 c1             	add    %rax,%rcx
14003fb15:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fb19:	48 11 d1             	adc    %rdx,%rcx
14003fb1c:	4d 29 d9             	sub    %r11,%r9
14003fb1f:	48 83 dd 00          	sbb    $0x0,%rbp
14003fb23:	49 f7 e3             	mul    %r11
14003fb26:	49 01 c8             	add    %rcx,%r8
14003fb29:	48 83 d2 00          	adc    $0x0,%rdx
14003fb2d:	49 01 c0             	add    %rax,%r8
14003fb30:	4c 89 d8             	mov    %r11,%rax
14003fb33:	49 11 d1             	adc    %rdx,%r9
14003fb36:	4c 89 da             	mov    %r11,%rdx
14003fb39:	48 83 d5 00          	adc    $0x0,%rbp
14003fb3d:	48 c1 e0 20          	shl    $0x20,%rax
14003fb41:	48 c1 ea 20          	shr    $0x20,%rdx
14003fb45:	49 29 c2             	sub    %rax,%r10
14003fb48:	49 19 d3             	sbb    %rdx,%r11
14003fb4b:	49 01 ea             	add    %rbp,%r10
14003fb4e:	49 83 d3 00          	adc    $0x0,%r11
14003fb52:	48 31 d2             	xor    %rdx,%rdx
14003fb55:	4d 01 e0             	add    %r12,%r8
14003fb58:	4d 11 e9             	adc    %r13,%r9
14003fb5b:	4d 89 c4             	mov    %r8,%r12
14003fb5e:	4d 11 f2             	adc    %r14,%r10
14003fb61:	4d 11 fb             	adc    %r15,%r11
14003fb64:	4c 89 c8             	mov    %r9,%rax
14003fb67:	48 83 d2 00          	adc    $0x0,%rdx
14003fb6b:	4c 2b 06             	sub    (%rsi),%r8
14003fb6e:	4d 89 d6             	mov    %r10,%r14
14003fb71:	4c 1b 4e 08          	sbb    0x8(%rsi),%r9
14003fb75:	4c 1b 56 10          	sbb    0x10(%rsi),%r10
14003fb79:	4d 89 df             	mov    %r11,%r15
14003fb7c:	4c 1b 5e 18          	sbb    0x18(%rsi),%r11
14003fb80:	48 83 da 00          	sbb    $0x0,%rdx
14003fb84:	4d 0f 42 c4          	cmovb  %r12,%r8
14003fb88:	49 0f 43 c1          	cmovae %r9,%rax
14003fb8c:	4d 0f 43 f2          	cmovae %r10,%r14
14003fb90:	4d 0f 43 fb          	cmovae %r11,%r15
14003fb94:	48 ff cb             	dec    %rbx
14003fb97:	0f 85 a3 fd ff ff    	jne    0x14003f940
14003fb9d:	4c 89 07             	mov    %r8,(%rdi)
14003fba0:	48 89 47 08          	mov    %rax,0x8(%rdi)
14003fba4:	66 0f ef c9          	pxor   %xmm1,%xmm1
14003fba8:	4c 89 77 10          	mov    %r14,0x10(%rdi)
14003fbac:	66 0f ef d2          	pxor   %xmm2,%xmm2
14003fbb0:	4c 89 7f 18          	mov    %r15,0x18(%rdi)
14003fbb4:	66 0f ef db          	pxor   %xmm3,%xmm3
14003fbb8:	4c 8b 3c 24          	mov    (%rsp),%r15
14003fbbc:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14003fbc1:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14003fbc6:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14003fbcb:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14003fbd0:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14003fbd5:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14003fbda:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003fbdf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14003fbe4:	f3 c3                	repz ret
14003fbe6:	90                   	nop
14003fbe7:	90                   	nop
14003fbe8:	90                   	nop
14003fbe9:	90                   	nop
14003fbea:	90                   	nop
14003fbeb:	90                   	nop
14003fbec:	90                   	nop
14003fbed:	90                   	nop
14003fbee:	90                   	nop
14003fbef:	90                   	nop
14003fbf0:	90                   	nop
14003fbf1:	90                   	nop
14003fbf2:	90                   	nop
14003fbf3:	90                   	nop
14003fbf4:	90                   	nop
14003fbf5:	90                   	nop
14003fbf6:	90                   	nop
14003fbf7:	90                   	nop
14003fbf8:	90                   	nop
14003fbf9:	90                   	nop
14003fbfa:	90                   	nop
14003fbfb:	90                   	nop
14003fbfc:	90                   	nop
14003fbfd:	90                   	nop
14003fbfe:	90                   	nop
14003fbff:	90                   	nop
14003fc00:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
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