140070c0b:	48 89 d3             	mov    %rdx,%rbx
140070c0e:	48 83 d3 00          	adc    $0x0,%rbx
140070c12:	48 f7 e5             	mul    %rbp
140070c15:	49 01 c3             	add    %rax,%r11
140070c18:	48 8b 46 20          	mov    0x20(%rsi),%rax
140070c1c:	48 83 d2 00          	adc    $0x0,%rdx
140070c20:	49 01 db             	add    %rbx,%r11
140070c23:	48 89 d3             	mov    %rdx,%rbx
140070c26:	48 83 d3 00          	adc    $0x0,%rbx
140070c2a:	48 f7 e5             	mul    %rbp
140070c2d:	49 01 c4             	add    %rax,%r12
140070c30:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070c34:	48 83 d2 00          	adc    $0x0,%rdx
140070c38:	49 01 dc             	add    %rbx,%r12
140070c3b:	48 89 d3             	mov    %rdx,%rbx
140070c3e:	48 83 d3 00          	adc    $0x0,%rbx
140070c42:	48 f7 e5             	mul    %rbp
140070c45:	49 01 c5             	add    %rax,%r13
140070c48:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070c4c:	48 83 d2 00          	adc    $0x0,%rdx
140070c50:	49 01 dd             	add    %rbx,%r13
140070c53:	48 89 d3             	mov    %rdx,%rbx
140070c56:	48 83 d3 00          	adc    $0x0,%rbx
140070c5a:	48 f7 e5             	mul    %rbp
140070c5d:	49 01 c6             	add    %rax,%r14
140070c60:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070c64:	48 83 d2 00          	adc    $0x0,%rdx
140070c68:	49 01 de             	add    %rbx,%r14
140070c6b:	48 89 d3             	mov    %rdx,%rbx
140070c6e:	48 83 d3 00          	adc    $0x0,%rbx
140070c72:	48 f7 e5             	mul    %rbp
140070c75:	49 01 c7             	add    %rax,%r15
140070c78:	48 89 e8             	mov    %rbp,%rax
140070c7b:	48 83 d2 00          	adc    $0x0,%rdx
140070c7f:	49 01 df             	add    %rbx,%r15
140070c82:	48 83 d2 00          	adc    $0x0,%rdx
140070c86:	48 31 db             	xor    %rbx,%rbx
140070c89:	4d 01 c9             	add    %r9,%r9
140070c8c:	49 89 d0             	mov    %rdx,%r8
140070c8f:	4d 11 d2             	adc    %r10,%r10
140070c92:	48 83 d3 00          	adc    $0x0,%rbx
140070c96:	48 f7 e0             	mul    %rax
140070c99:	48 01 c8             	add    %rcx,%rax
140070c9c:	48 8b 6e 10          	mov    0x10(%rsi),%rbp
140070ca0:	49 01 c1             	add    %rax,%r9
140070ca3:	48 8b 46 18          	mov    0x18(%rsi),%rax
140070ca7:	49 11 d2             	adc    %rdx,%r10
140070caa:	48 83 d3 00          	adc    $0x0,%rbx
140070cae:	4c 89 4c 24 10       	mov    %r9,0x10(%rsp)
140070cb3:	4c 89 54 24 18       	mov    %r10,0x18(%rsp)
140070cb8:	48 f7 e5             	mul    %rbp
140070cbb:	49 01 c4             	add    %rax,%r12
140070cbe:	48 8b 46 20          	mov    0x20(%rsi),%rax
140070cc2:	48 89 d1             	mov    %rdx,%rcx
140070cc5:	48 83 d1 00          	adc    $0x0,%rcx
140070cc9:	48 f7 e5             	mul    %rbp
140070ccc:	49 01 c5             	add    %rax,%r13
140070ccf:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070cd3:	48 83 d2 00          	adc    $0x0,%rdx
140070cd7:	49 01 cd             	add    %rcx,%r13
140070cda:	48 89 d1             	mov    %rdx,%rcx
140070cdd:	48 83 d1 00          	adc    $0x0,%rcx
140070ce1:	48 f7 e5             	mul    %rbp
140070ce4:	49 01 c6             	add    %rax,%r14
140070ce7:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070ceb:	48 83 d2 00          	adc    $0x0,%rdx
140070cef:	49 01 ce             	add    %rcx,%r14
140070cf2:	48 89 d1             	mov    %rdx,%rcx
140070cf5:	48 83 d1 00          	adc    $0x0,%rcx
140070cf9:	48 f7 e5             	mul    %rbp
140070cfc:	49 01 c7             	add    %rax,%r15
140070cff:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070d03:	48 83 d2 00          	adc    $0x0,%rdx
140070d07:	49 01 cf             	add    %rcx,%r15
140070d0a:	48 89 d1             	mov    %rdx,%rcx
140070d0d:	48 83 d1 00          	adc    $0x0,%rcx
140070d11:	48 f7 e5             	mul    %rbp
140070d14:	49 01 c0             	add    %rax,%r8
140070d17:	48 89 e8             	mov    %rbp,%rax
140070d1a:	48 83 d2 00          	adc    $0x0,%rdx
140070d1e:	49 01 c8             	add    %rcx,%r8
140070d21:	48 83 d2 00          	adc    $0x0,%rdx
140070d25:	48 31 c9             	xor    %rcx,%rcx
140070d28:	4d 01 db             	add    %r11,%r11
140070d2b:	49 89 d1             	mov    %rdx,%r9
140070d2e:	4d 11 e4             	adc    %r12,%r12
140070d31:	48 83 d1 00          	adc    $0x0,%rcx
140070d35:	48 f7 e0             	mul    %rax
140070d38:	48 01 d8             	add    %rbx,%rax
140070d3b:	4c 8b 56 18          	mov    0x18(%rsi),%r10
140070d3f:	49 01 c3             	add    %rax,%r11
140070d42:	48 8b 46 20          	mov    0x20(%rsi),%rax
140070d46:	49 11 d4             	adc    %rdx,%r12
140070d49:	48 83 d1 00          	adc    $0x0,%rcx
140070d4d:	4c 89 5c 24 20       	mov    %r11,0x20(%rsp)
140070d52:	4c 89 64 24 28       	mov    %r12,0x28(%rsp)
140070d57:	49 89 c3             	mov    %rax,%r11
140070d5a:	49 f7 e2             	mul    %r10
140070d5d:	49 01 c6             	add    %rax,%r14
140070d60:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070d64:	48 89 d3             	mov    %rdx,%rbx
140070d67:	48 83 d3 00          	adc    $0x0,%rbx
140070d6b:	49 89 c4             	mov    %rax,%r12
140070d6e:	49 f7 e2             	mul    %r10
140070d71:	49 01 c7             	add    %rax,%r15
140070d74:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070d78:	48 83 d2 00          	adc    $0x0,%rdx
140070d7c:	49 01 df             	add    %rbx,%r15
140070d7f:	48 89 d3             	mov    %rdx,%rbx
140070d82:	48 83 d3 00          	adc    $0x0,%rbx
140070d86:	48 89 c5             	mov    %rax,%rbp
140070d89:	49 f7 e2             	mul    %r10
140070d8c:	49 01 c0             	add    %rax,%r8
140070d8f:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070d93:	48 83 d2 00          	adc    $0x0,%rdx
140070d97:	49 01 d8             	add    %rbx,%r8
140070d9a:	48 89 d3             	mov    %rdx,%rbx
140070d9d:	48 83 d3 00          	adc    $0x0,%rbx
140070da1:	49 f7 e2             	mul    %r10
140070da4:	49 01 c1             	add    %rax,%r9
140070da7:	4c 89 d0             	mov    %r10,%rax
140070daa:	48 83 d2 00          	adc    $0x0,%rdx
140070dae:	49 01 d9             	add    %rbx,%r9
140070db1:	48 83 d2 00          	adc    $0x0,%rdx
140070db5:	48 31 db             	xor    %rbx,%rbx
140070db8:	4d 01 ed             	add    %r13,%r13
140070dbb:	49 89 d2             	mov    %rdx,%r10
140070dbe:	4d 11 f6             	adc    %r14,%r14
140070dc1:	48 83 d3 00          	adc    $0x0,%rbx
140070dc5:	48 f7 e0             	mul    %rax
140070dc8:	48 01 c8             	add    %rcx,%rax
140070dcb:	49 01 c5             	add    %rax,%r13
140070dce:	4c 89 e0             	mov    %r12,%rax
140070dd1:	49 11 d6             	adc    %rdx,%r14
140070dd4:	48 83 d3 00          	adc    $0x0,%rbx
140070dd8:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
140070ddd:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
140070de2:	49 f7 e3             	mul    %r11
140070de5:	49 01 c0             	add    %rax,%r8
140070de8:	48 89 e8             	mov    %rbp,%rax
140070deb:	48 89 d1             	mov    %rdx,%rcx
140070dee:	48 83 d1 00          	adc    $0x0,%rcx
140070df2:	49 f7 e3             	mul    %r11
140070df5:	49 01 c1             	add    %rax,%r9
140070df8:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070dfc:	48 83 d2 00          	adc    $0x0,%rdx
140070e00:	49 01 c9             	add    %rcx,%r9
140070e03:	48 89 d1             	mov    %rdx,%rcx
140070e06:	48 83 d1 00          	adc    $0x0,%rcx
140070e0a:	49 89 c6             	mov    %rax,%r14
140070e0d:	49 f7 e3             	mul    %r11
140070e10:	49 01 c2             	add    %rax,%r10
140070e13:	4c 89 d8             	mov    %r11,%rax
140070e16:	48 83 d2 00          	adc    $0x0,%rdx
140070e1a:	49 01 ca             	add    %rcx,%r10
140070e1d:	48 83 d2 00          	adc    $0x0,%rdx
140070e21:	48 31 c9             	xor    %rcx,%rcx
140070e24:	4d 01 ff             	add    %r15,%r15
140070e27:	49 89 d3             	mov    %rdx,%r11
140070e2a:	4d 11 c0             	adc    %r8,%r8
140070e2d:	48 83 d1 00          	adc    $0x0,%rcx
140070e31:	48 f7 e0             	mul    %rax
140070e34:	48 01 d8             	add    %rbx,%rax
140070e37:	49 01 c7             	add    %rax,%r15
140070e3a:	48 89 e8             	mov    %rbp,%rax
140070e3d:	49 11 d0             	adc    %rdx,%r8
140070e40:	48 83 d1 00          	adc    $0x0,%rcx
140070e44:	4c 89 7c 24 40       	mov    %r15,0x40(%rsp)
140070e49:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
140070e4e:	49 f7 e4             	mul    %r12
140070e51:	49 01 c2             	add    %rax,%r10
140070e54:	4c 89 f0             	mov    %r14,%rax
140070e57:	48 89 d3             	mov    %rdx,%rbx
140070e5a:	48 83 d3 00          	adc    $0x0,%rbx
140070e5e:	49 f7 e4             	mul    %r12
140070e61:	49 01 c3             	add    %rax,%r11
140070e64:	4c 89 e0             	mov    %r12,%rax
140070e67:	48 83 d2 00          	adc    $0x0,%rdx
140070e6b:	49 01 db             	add    %rbx,%r11
140070e6e:	48 83 d2 00          	adc    $0x0,%rdx
140070e72:	48 31 db             	xor    %rbx,%rbx
140070e75:	4d 01 c9             	add    %r9,%r9
140070e78:	49 89 d4             	mov    %rdx,%r12
140070e7b:	4d 11 d2             	adc    %r10,%r10
140070e7e:	48 83 d3 00          	adc    $0x0,%rbx
140070e82:	48 f7 e0             	mul    %rax
140070e85:	48 01 c8             	add    %rcx,%rax
140070e88:	49 01 c1             	add    %rax,%r9
140070e8b:	4c 89 f0             	mov    %r14,%rax
140070e8e:	49 11 d2             	adc    %rdx,%r10
140070e91:	48 83 d3 00          	adc    $0x0,%rbx
140070e95:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
140070e9a:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
140070e9f:	48 f7 e5             	mul    %rbp
140070ea2:	49 01 c4             	add    %rax,%r12
140070ea5:	48 89 e8             	mov    %rbp,%rax
140070ea8:	48 83 d2 00          	adc    $0x0,%rdx
140070eac:	48 31 c9             	xor    %rcx,%rcx
140070eaf:	4d 01 db             	add    %r11,%r11
140070eb2:	49 89 d5             	mov    %rdx,%r13
140070eb5:	4d 11 e4             	adc    %r12,%r12
140070eb8:	48 83 d1 00          	adc    $0x0,%rcx
140070ebc:	48 f7 e0             	mul    %rax
140070ebf:	48 01 d8             	add    %rbx,%rax
140070ec2:	49 01 c3             	add    %rax,%r11
140070ec5:	4c 89 f0             	mov    %r14,%rax
140070ec8:	49 11 d4             	adc    %rdx,%r12
140070ecb:	48 83 d1 00          	adc    $0x0,%rcx
140070ecf:	4c 89 5c 24 60       	mov    %r11,0x60(%rsp)
140070ed4:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
140070ed9:	48 31 db             	xor    %rbx,%rbx
140070edc:	4d 01 ed             	add    %r13,%r13
140070edf:	48 83 d3 00          	adc    $0x0,%rbx
140070ee3:	48 f7 e0             	mul    %rax
140070ee6:	48 01 c8             	add    %rcx,%rax
140070ee9:	4c 01 e8             	add    %r13,%rax
140070eec:	48 11 da             	adc    %rbx,%rdx
140070eef:	4c 8b 04 24          	mov    (%rsp),%r8
140070ef3:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140070ef8:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140070efd:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140070f02:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140070f07:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140070f0c:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140070f11:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140070f16:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140070f1b:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
140070f20:	48 89 54 24 78       	mov    %rdx,0x78(%rsp)
140070f25:	e8 36 10 00 00       	call   0x140071f60
140070f2a:	4c 03 44 24 40       	add    0x40(%rsp),%r8
140070f2f:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140070f34:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140070f39:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
140070f3e:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140070f43:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140070f48:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
140070f4d:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140070f52:	48 19 c9             	sbb    %rcx,%rcx
140070f55:	e8 e6 11 00 00       	call   0x140072140
140070f5a:	4c 89 c2             	mov    %r8,%rdx
140070f5d:	4c 89 c8             	mov    %r9,%rax
140070f60:	44 8b 84 24 88 00 00 	mov    0x88(%rsp),%r8d
140070f67:	00
140070f68:	48 89 fe             	mov    %rdi,%rsi
140070f6b:	41 ff c8             	dec    %r8d
140070f6e:	0f 85 ec fb ff ff    	jne    0x140070b60
140070f74:	e9 94 04 00 00       	jmp    0x14007140d
140070f79:	90                   	nop
140070f7a:	90                   	nop
140070f7b:	90                   	nop
140070f7c:	90                   	nop
140070f7d:	90                   	nop
140070f7e:	90                   	nop
140070f7f:	90                   	nop
140070f80:	44 89 84 24 88 00 00 	mov    %r8d,0x88(%rsp)
140070f87:	00
140070f88:	66 48 0f 6e c7       	movq   %rdi,%xmm0
140070f8d:	c4 62 bb f6 c8       	mulx   %rax,%r8,%r9
140070f92:	48 89 c3             	mov    %rax,%rbx
140070f95:	c4 62 f3 f6 56 10    	mulx   0x10(%rsi),%rcx,%r10
140070f9b:	48 31 ed             	xor    %rbp,%rbp
140070f9e:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
140070fa4:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
140070faa:	c4 62 f3 f6 a6 20 00 	mulx   0x20(%rsi),%rcx,%r12
140070fb1:	00 00
140070fb3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140070fb9:	c4 62 fb f6 ae 28 00 	mulx   0x28(%rsi),%rax,%r13
140070fc0:	00 00
140070fc2:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
140070fc8:	c4 62 f3 f6 76 30    	mulx   0x30(%rsi),%rcx,%r14
140070fce:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140070fd4:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
140070fda:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
140070fe0:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140070fe6:	66 4c 0f 38 f6 fd    	adcx   %rbp,%r15
140070fec:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140070ff1:	48 89 da             	mov    %rbx,%rdx
140070ff4:	48 31 c9             	xor    %rcx,%rcx
140070ff7:	f3 4d 0f 38 f6 c0    	adox   %r8,%r8
140070ffd:	66 4c 0f 38 f6 c7    	adcx   %rdi,%r8
140071003:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
140071009:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
14007100f:	48 89 04 24          	mov    %rax,(%rsp)
140071013:	4c 89 44 24 08       	mov    %r8,0x8(%rsp)
140071018:	c4 e2 fb f6 9e 10 00 	mulx   0x10(%rsi),%rax,%rbx
14007101f:	00 00
140071021:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140071027:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
14007102d:	c4 62 c3 f6 46 18    	mulx   0x18(%rsi),%rdi,%r8
140071033:	f3 4c 0f 38 f6 df    	adox   %rdi,%r11
140071039:	66 66 4d 0f 38 f6 e0 	data16 adcx %r8,%r12
140071040:	c4 e2 fb f6 5e 20    	mulx   0x20(%rsi),%rax,%rbx
140071046:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
14007104c:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
140071052:	c4 62 c3 f6 46 28    	mulx   0x28(%rsi),%rdi,%r8
140071058:	f3 4c 0f 38 f6 ef    	adox   %rdi,%r13
14007105e:	66 4d 0f 38 f6 f0    	adcx   %r8,%r14
140071064:	c4 e2 fb f6 9e 30 00 	mulx   0x30(%rsi),%rax,%rbx
14007106b:	00 00
14007106d:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140071073:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
140071079:	c4 62 c3 f6 86 38 00 	mulx   0x38(%rsi),%rdi,%r8
140071080:	00 00
140071082:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140071088:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
14007108e:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140071093:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
140071099:	48 8b 96 10 00 00 00 	mov    0x10(%rsi),%rdx
1400710a0:	48 31 db             	xor    %rbx,%rbx
1400710a3:	f3 4d 0f 38 f6 c9    	adox   %r9,%r9
1400710a9:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
1400710af:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
1400710b5:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400710bb:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
1400710c1:	66 4c 0f 38 f6 d7    	adcx   %rdi,%r10
1400710c7:	66 48 0f 38 f6 dd    	adcx   %rbp,%rbx
1400710cd:	4c 89 4c 24 10       	mov    %r9,0x10(%rsp)
1400710d2:	4c 89 94 24 18 00 00 	mov    %r10,0x18(%rsp)
1400710d9:	00
1400710da:	c4 62 c3 f6 4e 18    	mulx   0x18(%rsi),%rdi,%r9
1400710e0:	f3 4c 0f 38 f6 e7    	adox   %rdi,%r12
1400710e6:	66 4d 0f 38 f6 e9    	adcx   %r9,%r13
1400710ec:	c4 e2 fb f6 4e 20    	mulx   0x20(%rsi),%rax,%rcx
1400710f2:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
1400710f8:	66 4c 0f 38 f6 f1    	adcx   %rcx,%r14
1400710fe:	c4 62 c3 f6 8e 28 00 	mulx   0x28(%rsi),%rdi,%r9
140071105:	00 00
140071107:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
14007110d:	66 4d 0f 38 f6 f9    	adcx   %r9,%r15
140071113:	c4 e2 fb f6 8e 30 00 	mulx   0x30(%rsi),%rax,%rcx
14007111a:	00 00
14007111c:	f3 4c 0f 38 f6 f8    	adox   %rax,%r15
140071122:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
140071128:	c4 62 c3 f6 4e 38    	mulx   0x38(%rsi),%rdi,%r9
14007112e:	f3 4c 0f 38 f6 c7    	adox   %rdi,%r8
140071134:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
14007113a:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
14007113f:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
140071145:	48 8b 56 18          	mov    0x18(%rsi),%rdx
140071149:	48 31 c9             	xor    %rcx,%rcx
14007114c:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140071152:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140071158:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
14007115e:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140071164:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
14007116a:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140071170:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140071176:	4c 89 5c 24 20       	mov    %r11,0x20(%rsp)
14007117b:	4c 89 64 24 28       	mov    %r12,0x28(%rsp)
140071180:	c4 e2 fb f6 5e 20    	mulx   0x20(%rsi),%rax,%rbx