140006de0:	66 66 66 2e 0f 1f 84 	data16 data16 cs nopw 0x0(%rax,%rax,1)
140006de7:	00 00 00 00 00
140006dec:	3e 66 0f 7f 07       	ds movdqa %xmm0,(%rdi)
140006df1:	66 0f 7f 47 10       	movdqa %xmm0,0x10(%rdi)
140006df6:	66 0f 7f 47 20       	movdqa %xmm0,0x20(%rdi)
140006dfb:	66 0f 7f 47 30       	movdqa %xmm0,0x30(%rdi)
140006e00:	66 0f 7f 47 40       	movdqa %xmm0,0x40(%rdi)
140006e05:	66 0f 7f 47 50       	movdqa %xmm0,0x50(%rdi)
140006e0a:	66 0f 7f 47 60       	movdqa %xmm0,0x60(%rdi)
140006e0f:	66 0f 7f 47 70       	movdqa %xmm0,0x70(%rdi)
140006e14:	48 8d bf 80 00 00 00 	lea    0x80(%rdi),%rdi
140006e1b:	49 83 e9 40          	sub    $0x40,%r9
140006e1f:	0f 85 c7 ff ff ff    	jne    0x140006dec
140006e25:	48 8b 16             	mov    (%rsi),%rdx
140006e28:	4d 31 d2             	xor    %r10,%r10
140006e2b:	4d 31 db             	xor    %r11,%r11
140006e2e:	4d 31 e4             	xor    %r12,%r12
140006e31:	4d 31 ed             	xor    %r13,%r13
140006e34:	4d 31 f6             	xor    %r14,%r14
140006e37:	4d 31 ff             	xor    %r15,%r15
140006e3a:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
140006e3f:	48 31 ed             	xor    %rbp,%rbp
140006e42:	e9 19 00 00 00       	jmp    0x140006e60
140006e47:	90                   	nop
140006e48:	90                   	nop
140006e49:	90                   	nop
140006e4a:	90                   	nop
140006e4b:	90                   	nop
140006e4c:	90                   	nop
140006e4d:	90                   	nop
140006e4e:	90                   	nop
140006e4f:	90                   	nop
140006e50:	90                   	nop
140006e51:	90                   	nop
140006e52:	90                   	nop
140006e53:	90                   	nop
140006e54:	90                   	nop
140006e55:	90                   	nop
140006e56:	90                   	nop
140006e57:	90                   	nop
140006e58:	90                   	nop
140006e59:	90                   	nop
140006e5a:	90                   	nop
140006e5b:	90                   	nop
140006e5c:	90                   	nop
140006e5d:	90                   	nop
140006e5e:	90                   	nop
140006e5f:	90                   	nop
140006e60:	c4 e2 bb f6 46 08    	mulx   0x8(%rsi),%r8,%rax
140006e66:	66 4d 0f 38 f6 c1    	adcx   %r9,%r8
140006e6c:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140006e72:	c4 e2 b3 f6 46 10    	mulx   0x10(%rsi),%r9,%rax
140006e78:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
140006e7e:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140006e84:	c4 e2 ab f6 86 18 00 	mulx   0x18(%rsi),%r10,%rax
140006e8b:	00 00
140006e8d:	66 4d 0f 38 f6 d3    	adcx   %r11,%r10
140006e93:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140006e99:	c4 e2 a3 f6 86 20 00 	mulx   0x20(%rsi),%r11,%rax
140006ea0:	00 00
140006ea2:	66 4d 0f 38 f6 dc    	adcx   %r12,%r11
140006ea8:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
140006eae:	c4 e2 9b f6 46 28    	mulx   0x28(%rsi),%r12,%rax
140006eb4:	66 4d 0f 38 f6 e5    	adcx   %r13,%r12
140006eba:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140006ec0:	c4 e2 93 f6 46 30    	mulx   0x30(%rsi),%r13,%rax
140006ec6:	66 4d 0f 38 f6 ee    	adcx   %r14,%r13
140006ecc:	f3 49 0f 38 f6 c7    	adox   %r15,%rax
140006ed2:	c4 62 8b f6 7e 38    	mulx   0x38(%rsi),%r14,%r15
140006ed8:	48 8b 56 08          	mov    0x8(%rsi),%rdx
140006edc:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140006ee2:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
140006ee8:	4c 13 7f 40          	adc    0x40(%rdi),%r15
140006eec:	4c 89 47 08          	mov    %r8,0x8(%rdi)
140006ef0:	4c 89 4f 10          	mov    %r9,0x10(%rdi)
140006ef4:	48 19 c9             	sbb    %rcx,%rcx
140006ef7:	48 31 ed             	xor    %rbp,%rbp
140006efa:	c4 e2 bb f6 5e 10    	mulx   0x10(%rsi),%r8,%rbx
140006f00:	c4 e2 b3 f6 46 18    	mulx   0x18(%rsi),%r9,%rax
140006f06:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
140006f0c:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140006f12:	c4 e2 ab f6 5e 20    	mulx   0x20(%rsi),%r10,%rbx
140006f18:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140006f1e:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140006f24:	c4 e2 a3 f6 86 28 00 	mulx   0x28(%rsi),%r11,%rax
140006f2b:	00 00
140006f2d:	66 4d 0f 38 f6 d4    	adcx   %r12,%r10
140006f33:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140006f39:	c4 e2 9b f6 9e 30 00 	mulx   0x30(%rsi),%r12,%rbx
140006f40:	00 00
140006f42:	66 4d 0f 38 f6 dd    	adcx   %r13,%r11
140006f48:	f3 4d 0f 38 f6 e6    	adox   %r14,%r12
140006f4e:	c4 62 93 f6 b6 38 00 	mulx   0x38(%rsi),%r13,%r14
140006f55:	00 00
140006f57:	48 8b 56 10          	mov    0x10(%rsi),%rdx
140006f5b:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140006f61:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140006f67:	66 4d 0f 38 f6 ef    	adcx   %r15,%r13
140006f6d:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
140006f73:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140006f79:	4c 89 47 18          	mov    %r8,0x18(%rdi)
140006f7d:	4c 89 4f 20          	mov    %r9,0x20(%rdi)
140006f81:	c4 e2 bb f6 5e 18    	mulx   0x18(%rsi),%r8,%rbx
140006f87:	c4 e2 b3 f6 46 20    	mulx   0x20(%rsi),%r9,%rax
140006f8d:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
140006f93:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140006f99:	c4 e2 ab f6 5e 28    	mulx   0x28(%rsi),%r10,%rbx
140006f9f:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140006fa5:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140006fab:	c4 e2 a3 f6 86 30 00 	mulx   0x30(%rsi),%r11,%rax
140006fb2:	00 00
140006fb4:	66 4d 0f 38 f6 d4    	adcx   %r12,%r10
140006fba:	f3 4d 0f 38 f6 dd    	adox   %r13,%r11
140006fc0:	c4 62 9b f6 ae 38 00 	mulx   0x38(%rsi),%r12,%r13
140006fc7:	00 00
140006fc9:	3e 48 8b 56 18       	ds mov 0x18(%rsi),%rdx
140006fce:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140006fd4:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140006fda:	66 4d 0f 38 f6 e6    	adcx   %r14,%r12
140006fe0:	4c 89 47 28          	mov    %r8,0x28(%rdi)
140006fe4:	4c 89 4f 30          	mov    %r9,0x30(%rdi)
140006fe8:	c4 e2 bb f6 46 20    	mulx   0x20(%rsi),%r8,%rax
140006fee:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140006ff4:	66 4c 0f 38 f6 ed    	adcx   %rbp,%r13
140006ffa:	c4 e2 b3 f6 5e 28    	mulx   0x28(%rsi),%r9,%rbx
140007000:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
140007006:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
14000700c:	c4 e2 ab f6 46 30    	mulx   0x30(%rsi),%r10,%rax
140007012:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140007018:	f3 4d 0f 38 f6 d4    	adox   %r12,%r10
14000701e:	c4 62 a3 f6 66 38    	mulx   0x38(%rsi),%r11,%r12
140007024:	48 8b 56 20          	mov    0x20(%rsi),%rdx
140007028:	4c 8b 76 28          	mov    0x28(%rsi),%r14
14000702c:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140007032:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140007038:	4c 8b 7e 30          	mov    0x30(%rsi),%r15
14000703c:	66 4d 0f 38 f6 dd    	adcx   %r13,%r11
140007042:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
140007048:	66 4c 0f 38 f6 e5    	adcx   %rbp,%r12
14000704e:	4c 89 47 38          	mov    %r8,0x38(%rdi)
140007052:	4c 89 4f 40          	mov    %r9,0x40(%rdi)
140007056:	c4 c2 b3 f6 c6       	mulx   %r14,%r9,%rax
14000705b:	4c 8b 46 38          	mov    0x38(%rsi),%r8
14000705f:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
140007065:	c4 c2 ab f6 df       	mulx   %r15,%r10,%rbx
14000706a:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140007070:	66 4d 0f 38 f6 d3    	adcx   %r11,%r10
140007076:	c4 c2 a3 f6 c0       	mulx   %r8,%r11,%rax
14000707b:	4c 89 f2             	mov    %r14,%rdx
14000707e:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140007084:	66 4d 0f 38 f6 dc    	adcx   %r12,%r11
14000708a:	66 48 0f 38 f6 c5    	adcx   %rbp,%rax
140007090:	c4 c2 8b f6 df       	mulx   %r15,%r14,%rbx
140007095:	c4 42 9b f6 e8       	mulx   %r8,%r12,%r13
14000709a:	4c 89 fa             	mov    %r15,%rdx
14000709d:	48 8d 76 40          	lea    0x40(%rsi),%rsi
1400070a1:	66 4d 0f 38 f6 de    	adcx   %r14,%r11
1400070a7:	f3 4c 0f 38 f6 e3    	adox   %rbx,%r12
1400070ad:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400070b3:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
1400070b9:	67 67 c4 42 bb f6 f0 	addr32 addr32 mulx %r8,%r8,%r14
1400070c0:	66 4d 0f 38 f6 e8    	adcx   %r8,%r13
1400070c6:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
1400070cc:	48 3b 74 24 10       	cmp    0x10(%rsp),%rsi
1400070d1:	0f 84 09 02 00 00    	je     0x1400072e0
1400070d7:	48 f7 d9             	neg    %rcx
1400070da:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
1400070e1:	49 89 ef             	mov    %rbp,%r15
1400070e4:	4c 8b 47 40          	mov    0x40(%rdi),%r8
1400070e8:	66 4c 0f 38 f6 4f 48 	adcx   0x48(%rdi),%r9
1400070ef:	66 4c 0f 38 f6 57 50 	adcx   0x50(%rdi),%r10
1400070f6:	66 4c 0f 38 f6 5f 58 	adcx   0x58(%rdi),%r11
1400070fd:	4c 13 67 60          	adc    0x60(%rdi),%r12
140007101:	4c 13 6f 68          	adc    0x68(%rdi),%r13
140007105:	4c 13 77 70          	adc    0x70(%rdi),%r14
140007109:	4c 13 7f 78          	adc    0x78(%rdi),%r15
14000710d:	48 8d 2e             	lea    (%rsi),%rbp
140007110:	48 8d bf 80 00 00 00 	lea    0x80(%rdi),%rdi
140007117:	48 19 c0             	sbb    %rax,%rax
14000711a:	48 8b 56 c0          	mov    -0x40(%rsi),%rdx
14000711e:	48 89 44 24 18       	mov    %rax,0x18(%rsp)
140007123:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
140007128:	31 c0                	xor    %eax,%eax
14000712a:	e9 11 00 00 00       	jmp    0x140007140
14000712f:	90                   	nop
140007130:	90                   	nop
140007131:	90                   	nop
140007132:	90                   	nop
140007133:	90                   	nop
140007134:	90                   	nop
140007135:	90                   	nop
140007136:	90                   	nop
140007137:	90                   	nop
140007138:	90                   	nop
140007139:	90                   	nop
14000713a:	90                   	nop
14000713b:	90                   	nop
14000713c:	90                   	nop
14000713d:	90                   	nop
14000713e:	90                   	nop
14000713f:	90                   	nop
140007140:	4c 89 c3             	mov    %r8,%rbx
140007143:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140007149:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
14000714f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140007155:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
14000715b:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140007161:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140007167:	c4 62 fb f6 55 10    	mulx   0x10(%rbp),%rax,%r10
14000716d:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140007173:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140007179:	c4 62 fb f6 5d 18    	mulx   0x18(%rbp),%rax,%r11
14000717f:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140007185:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14000718b:	c4 62 fb f6 a5 20 00 	mulx   0x20(%rbp),%rax,%r12
140007192:	00 00
140007194:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14000719a:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400071a0:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
1400071a6:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400071ac:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
1400071b2:	c4 62 fb f6 75 30    	mulx   0x30(%rbp),%rax,%r14
1400071b8:	48 89 1c cf          	mov    %rbx,(%rdi,%rcx,8)
1400071bc:	bb 00 00 00 00       	mov    $0x0,%ebx
1400071c1:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400071c7:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
1400071cd:	c4 62 fb f6 bd 38 00 	mulx   0x38(%rbp),%rax,%r15
1400071d4:	00 00
1400071d6:	48 8b 54 ce 08       	mov    0x8(%rsi,%rcx,8),%rdx
1400071db:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
1400071e1:	f3 4c 0f 38 f6 fb    	adox   %rbx,%r15
1400071e7:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
1400071ed:	67 48 ff c1          	addr32 inc %rcx
1400071f1:	0f 85 49 ff ff ff    	jne    0x140007140
1400071f7:	48 8d 6d 40          	lea    0x40(%rbp),%rbp
1400071fb:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
140007202:	48 3b 6c 24 10       	cmp    0x10(%rsp),%rbp
140007207:	0f 84 53 00 00 00    	je     0x140007260
14000720d:	48 2b 5c 24 18       	sub    0x18(%rsp),%rbx
140007212:	66 48 8b 56 c0       	data16 mov -0x40(%rsi),%rdx
140007217:	66 4c 0f 38 f6 07    	adcx   (%rdi),%r8
14000721d:	66 4c 0f 38 f6 4f 08 	adcx   0x8(%rdi),%r9
140007224:	4c 13 57 10          	adc    0x10(%rdi),%r10
140007228:	4c 13 5f 18          	adc    0x18(%rdi),%r11
14000722c:	4c 13 67 20          	adc    0x20(%rdi),%r12
140007230:	4c 13 6f 28          	adc    0x28(%rdi),%r13
140007234:	4c 13 77 30          	adc    0x30(%rdi),%r14
140007238:	4c 13 7f 38          	adc    0x38(%rdi),%r15
14000723c:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
140007240:	67 48 19 c0          	addr32 sbb %rax,%rax
140007244:	31 db                	xor    %ebx,%ebx
140007246:	48 89 44 24 18       	mov    %rax,0x18(%rsp)
14000724b:	e9 f0 fe ff ff       	jmp    0x140007140
140007250:	90                   	nop
140007251:	90                   	nop
140007252:	90                   	nop
140007253:	90                   	nop
140007254:	90                   	nop
140007255:	90                   	nop
140007256:	90                   	nop
140007257:	90                   	nop
140007258:	90                   	nop
140007259:	90                   	nop
14000725a:	90                   	nop
14000725b:	90                   	nop
14000725c:	90                   	nop
14000725d:	90                   	nop
14000725e:	90                   	nop
14000725f:	90                   	nop
140007260:	48 31 ed             	xor    %rbp,%rbp
140007263:	48 2b 5c 24 18       	sub    0x18(%rsp),%rbx
140007268:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
14000726e:	48 8b 4c 24 20       	mov    0x20(%rsp),%rcx
140007273:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
140007279:	48 8b 16             	mov    (%rsi),%rdx
14000727c:	49 83 d2 00          	adc    $0x0,%r10
140007280:	4c 89 07             	mov    %r8,(%rdi)
140007283:	49 83 d3 00          	adc    $0x0,%r11
140007287:	49 83 d4 00          	adc    $0x0,%r12
14000728b:	49 83 d5 00          	adc    $0x0,%r13
14000728f:	49 83 d6 00          	adc    $0x0,%r14
140007293:	49 83 d7 00          	adc    $0x0,%r15
140007297:	48 39 cf             	cmp    %rcx,%rdi
14000729a:	0f 84 c0 fb ff ff    	je     0x140006e60
1400072a0:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
1400072a4:	4c 8b 49 08          	mov    0x8(%rcx),%r9
1400072a8:	4c 89 57 10          	mov    %r10,0x10(%rdi)
1400072ac:	4c 8b 51 10          	mov    0x10(%rcx),%r10
1400072b0:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
1400072b4:	4c 8b 59 18          	mov    0x18(%rcx),%r11
1400072b8:	4c 89 67 20          	mov    %r12,0x20(%rdi)
1400072bc:	4c 8b 61 20          	mov    0x20(%rcx),%r12
1400072c0:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
1400072c4:	4c 8b 69 28          	mov    0x28(%rcx),%r13
1400072c8:	4c 89 77 30          	mov    %r14,0x30(%rdi)
1400072cc:	4c 8b 71 30          	mov    0x30(%rcx),%r14
1400072d0:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
1400072d4:	4c 8b 79 38          	mov    0x38(%rcx),%r15
1400072d8:	48 89 cf             	mov    %rcx,%rdi
1400072db:	e9 80 fb ff ff       	jmp    0x140006e60
1400072e0:	4c 89 4f 48          	mov    %r9,0x48(%rdi)
1400072e4:	66 48 0f 7e d9       	movq   %xmm3,%rcx
1400072e9:	4c 89 57 50          	mov    %r10,0x50(%rdi)
1400072ed:	4c 89 5f 58          	mov    %r11,0x58(%rdi)
1400072f1:	4c 89 67 60          	mov    %r12,0x60(%rdi)
1400072f5:	4c 89 6f 68          	mov    %r13,0x68(%rdi)
1400072f9:	4c 89 77 70          	mov    %r14,0x70(%rdi)
1400072fd:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
140007302:	48 8b 14 0e          	mov    (%rsi,%rcx,1),%rdx
140007306:	4c 8b 5f 08          	mov    0x8(%rdi),%r11
14000730a:	4d 31 d2             	xor    %r10,%r10
14000730d:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140007312:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140007318:	4c 8b 67 10          	mov    0x10(%rdi),%r12
14000731c:	4c 8b 6f 18          	mov    0x18(%rdi),%r13
140007320:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140007325:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
14000732b:	66 49 0f 38 f6 c2    	adcx   %r10,%rax
140007331:	48 8b 94 0e 08 00 00 	mov    0x8(%rsi,%rcx,1),%rdx
140007338:	00
140007339:	4c 8b 97 20 00 00 00 	mov    0x20(%rdi),%r10
140007340:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
140007346:	66 49 0f 38 f6 db    	adcx   %r11,%rbx
14000734c:	4c 8b 5f 28          	mov    0x28(%rdi),%r11
140007350:	48 89 07             	mov    %rax,(%rdi)
140007353:	48 89 5f 08          	mov    %rbx,0x8(%rdi)
140007357:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
14000735c:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
140007362:	66 49 0f 38 f6 c4    	adcx   %r12,%rax
140007368:	48 8b 54 0e 10       	mov    0x10(%rsi,%rcx,1),%rdx
14000736d:	4c 8b 67 30          	mov    0x30(%rdi),%r12
140007371:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140007377:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
14000737d:	4c 8b 6f 38          	mov    0x38(%rdi),%r13
140007381:	48 89 47 10          	mov    %rax,0x10(%rdi)
140007385:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
140007389:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
14000738e:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
140007394:	66 49 0f 38 f6 c2    	adcx   %r10,%rax
14000739a:	48 8b 54 0e 18       	mov    0x18(%rsi,%rcx,1),%rdx
14000739f:	48 8d 49 20          	lea    0x20(%rcx),%rcx
1400073a3:	4c 8b 57 40          	mov    0x40(%rdi),%r10
1400073a7:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
1400073ad:	66 49 0f 38 f6 db    	adcx   %r11,%rbx
1400073b3:	4c 8b 5f 48          	mov    0x48(%rdi),%r11
1400073b7:	48 89 47 20          	mov    %rax,0x20(%rdi)
1400073bb:	48 89 5f 28          	mov    %rbx,0x28(%rdi)
1400073bf:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400073c4:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
1400073ca:	66 49 0f 38 f6 c4    	adcx   %r12,%rax