140071a12:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140071a18:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140071a1e:	c4 62 e3 f6 76 30    	mulx   0x30(%rsi),%rbx,%r14
140071a24:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140071a2a:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
140071a30:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
140071a36:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140071a3c:	67 4c 89 c3          	addr32 mov %r8,%rbx
140071a40:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140071a46:	48 c7 c1 f9 ff ff ff 	mov    $0xfffffffffffffff9,%rcx
140071a4d:	eb 11                	jmp    0x140071a60
140071a4f:	90                   	nop
140071a50:	90                   	nop
140071a51:	90                   	nop
140071a52:	90                   	nop
140071a53:	90                   	nop
140071a54:	90                   	nop
140071a55:	90                   	nop
140071a56:	90                   	nop
140071a57:	90                   	nop
140071a58:	90                   	nop
140071a59:	90                   	nop
140071a5a:	90                   	nop
140071a5b:	90                   	nop
140071a5c:	90                   	nop
140071a5d:	90                   	nop
140071a5e:	90                   	nop
140071a5f:	90                   	nop
140071a60:	66 44 0f 6f 45 00    	movdqa 0x0(%rbp),%xmm8
140071a66:	66 44 0f 6f 4d 10    	movdqa 0x10(%rbp),%xmm9
140071a6c:	66 44 0f 6f 55 20    	movdqa 0x20(%rbp),%xmm10
140071a72:	66 44 0f 6f 5d 30    	movdqa 0x30(%rbp),%xmm11
140071a78:	66 44 0f db c0       	pand   %xmm0,%xmm8
140071a7d:	66 44 0f 6f 65 40    	movdqa 0x40(%rbp),%xmm12
140071a83:	66 44 0f db c9       	pand   %xmm1,%xmm9
140071a88:	66 44 0f 6f 6d 50    	movdqa 0x50(%rbp),%xmm13
140071a8e:	66 44 0f db d2       	pand   %xmm2,%xmm10
140071a93:	66 44 0f 6f 75 60    	movdqa 0x60(%rbp),%xmm14
140071a99:	66 44 0f db db       	pand   %xmm3,%xmm11
140071a9e:	66 44 0f 6f 7d 70    	movdqa 0x70(%rbp),%xmm15
140071aa4:	48 8d ad 80 00 00 00 	lea    0x80(%rbp),%rbp
140071aab:	66 44 0f db e4       	pand   %xmm4,%xmm12
140071ab0:	66 44 0f db ed       	pand   %xmm5,%xmm13
140071ab5:	66 44 0f db f6       	pand   %xmm6,%xmm14
140071aba:	66 44 0f db ff       	pand   %xmm7,%xmm15
140071abf:	66 45 0f eb c2       	por    %xmm10,%xmm8
140071ac4:	66 45 0f eb cb       	por    %xmm11,%xmm9
140071ac9:	66 45 0f eb c4       	por    %xmm12,%xmm8
140071ace:	66 45 0f eb cd       	por    %xmm13,%xmm9
140071ad3:	66 45 0f eb c6       	por    %xmm14,%xmm8
140071ad8:	66 45 0f eb cf       	por    %xmm15,%xmm9
140071add:	66 45 0f eb c1       	por    %xmm9,%xmm8
140071ae2:	66 45 0f 70 c8 4e    	pshufd $0x4e,%xmm8,%xmm9
140071ae8:	66 45 0f eb c1       	por    %xmm9,%xmm8
140071aed:	66 4c 0f 7e c2       	movq   %xmm8,%rdx
140071af2:	c4 62 fb f6 86 00 00 	mulx   0x0(%rsi),%rax,%r8
140071af9:	00 00
140071afb:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
140071b01:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140071b07:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
140071b0d:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140071b13:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140071b19:	c4 62 fb f6 56 10    	mulx   0x10(%rsi),%rax,%r10
140071b1f:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140071b25:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140071b2b:	c4 62 fb f6 9e 18 00 	mulx   0x18(%rsi),%rax,%r11
140071b32:	00 00
140071b34:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140071b3a:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
140071b40:	c4 62 fb f6 66 20    	mulx   0x20(%rsi),%rax,%r12
140071b46:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140071b4c:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140071b52:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140071b58:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140071b5e:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140071b64:	c4 62 fb f6 b6 30 00 	mulx   0x30(%rsi),%rax,%r14
140071b6b:	00 00
140071b6d:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140071b73:	67 f3 4d 0f 38 f6 f7 	addr32 adox %r15,%r14
140071b7a:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
140071b80:	48 89 5c cc 40       	mov    %rbx,0x40(%rsp,%rcx,8)
140071b85:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140071b8b:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140071b91:	4c 89 c3             	mov    %r8,%rbx
140071b94:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140071b9a:	48 ff c1             	inc    %rcx
140071b9d:	0f 85 bd fe ff ff    	jne    0x140071a60
140071ba3:	4c 89 44 24 40       	mov    %r8,0x40(%rsp)
140071ba8:	4c 89 4c 24 48       	mov    %r9,0x48(%rsp)
140071bad:	4c 89 54 24 50       	mov    %r10,0x50(%rsp)
140071bb2:	4c 89 5c 24 58       	mov    %r11,0x58(%rsp)
140071bb7:	4c 89 64 24 60       	mov    %r12,0x60(%rsp)
140071bbc:	4c 89 6c 24 68       	mov    %r13,0x68(%rsp)
140071bc1:	4c 89 74 24 70       	mov    %r14,0x70(%rsp)
140071bc6:	4c 89 7c 24 78       	mov    %r15,0x78(%rsp)
140071bcb:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
140071bd2:	00
140071bd3:	48 8b bc 24 88 00 00 	mov    0x88(%rsp),%rdi
140071bda:	00
140071bdb:	48 8b ac 24 90 00 00 	mov    0x90(%rsp),%rbp
140071be2:	00
140071be3:	4c 8b 04 24          	mov    (%rsp),%r8
140071be7:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071bec:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140071bf1:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140071bf6:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140071bfb:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140071c00:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140071c05:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140071c0a:	e8 51 04 00 00       	call   0x140072060
140071c0f:	4c 03 44 24 40       	add    0x40(%rsp),%r8
140071c14:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140071c19:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140071c1e:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
140071c23:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140071c28:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140071c2d:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
140071c32:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140071c37:	48 19 c9             	sbb    %rcx,%rcx
140071c3a:	e8 01 05 00 00       	call   0x140072140
140071c3f:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071c46:	00
140071c47:	0f 28 70 d8          	movaps -0x28(%rax),%xmm6
140071c4b:	0f 28 78 e8          	movaps -0x18(%rax),%xmm7
140071c4f:	44 0f 28 40 f8       	movaps -0x8(%rax),%xmm8
140071c54:	44 0f 28 48 08       	movaps 0x8(%rax),%xmm9
140071c59:	44 0f 28 50 18       	movaps 0x18(%rax),%xmm10
140071c5e:	44 0f 28 58 28       	movaps 0x28(%rax),%xmm11
140071c63:	44 0f 28 60 38       	movaps 0x38(%rax),%xmm12
140071c68:	44 0f 28 68 48       	movaps 0x48(%rax),%xmm13
140071c6d:	44 0f 28 70 58       	movaps 0x58(%rax),%xmm14
140071c72:	44 0f 28 78 68       	movaps 0x68(%rax),%xmm15
140071c77:	48 8d 80 b0 00 00 00 	lea    0xb0(%rax),%rax
140071c7e:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071c82:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071c86:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071c8a:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071c8e:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071c92:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071c96:	48 8d 20             	lea    (%rax),%rsp
140071c99:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071c9e:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071ca3:	f3 c3                	repz ret
140071ca5:	90                   	nop
140071ca6:	90                   	nop
140071ca7:	90                   	nop
140071ca8:	90                   	nop
140071ca9:	90                   	nop
140071caa:	90                   	nop
140071cab:	90                   	nop
140071cac:	90                   	nop
140071cad:	90                   	nop
140071cae:	90                   	nop
140071caf:	90                   	nop
140071cb0:	90                   	nop
140071cb1:	90                   	nop
140071cb2:	90                   	nop
140071cb3:	90                   	nop
140071cb4:	90                   	nop
140071cb5:	90                   	nop
140071cb6:	90                   	nop
140071cb7:	90                   	nop
140071cb8:	90                   	nop
140071cb9:	90                   	nop
140071cba:	90                   	nop
140071cbb:	90                   	nop
140071cbc:	90                   	nop
140071cbd:	90                   	nop
140071cbe:	90                   	nop
140071cbf:	90                   	nop
140071cc0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140071cc5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140071cca:	48 89 e0             	mov    %rsp,%rax
140071ccd:	48 89 cf             	mov    %rcx,%rdi
140071cd0:	48 89 d6             	mov    %rdx,%rsi
140071cd3:	4c 89 c2             	mov    %r8,%rdx
140071cd6:	4c 89 c9             	mov    %r9,%rcx
140071cd9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
140071cde:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
140071ce3:	53                   	push   %rbx
140071ce4:	55                   	push   %rbp
140071ce5:	41 54                	push   %r12
140071ce7:	41 55                	push   %r13
140071ce9:	41 56                	push   %r14
140071ceb:	41 57                	push   %r15
140071ced:	45 89 c9             	mov    %r9d,%r9d
140071cf0:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
140071cf7:	4f 8d 04 c8          	lea    (%r8,%r9,8),%r8
140071cfb:	66 48 0f 6e c7       	movq   %rdi,%xmm0
140071d00:	66 48 0f 6e ca       	movq   %rdx,%xmm1
140071d05:	66 49 0f 6e d0       	movq   %r8,%xmm2
140071d0a:	48 89 8c 24 80 00 00 	mov    %rcx,0x80(%rsp)
140071d11:	00
140071d12:	48 89 fd             	mov    %rdi,%rbp
140071d15:	41 bb 00 01 08 00    	mov    $0x80100,%r11d
140071d1b:	44 23 1d c6 e3 39 00 	and    0x39e3c6(%rip),%r11d        # 0x1404100e8
140071d22:	41 81 fb 00 01 08 00 	cmp    $0x80100,%r11d
140071d29:	74 55                	je     0x140071d80
140071d2b:	48 8b 1f             	mov    (%rdi),%rbx
140071d2e:	e8 cd 04 00 00       	call   0x140072200
140071d33:	66 48 0f 7e c7       	movq   %xmm0,%rdi
140071d38:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140071d3d:	4c 8b 04 24          	mov    (%rsp),%r8
140071d41:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071d46:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140071d4b:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140071d50:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140071d55:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140071d5a:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140071d5f:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140071d64:	e8 f7 01 00 00       	call   0x140071f60
140071d69:	eb 5b                	jmp    0x140071dc6
140071d6b:	90                   	nop
140071d6c:	90                   	nop
140071d6d:	90                   	nop
140071d6e:	90                   	nop
140071d6f:	90                   	nop
140071d70:	90                   	nop
140071d71:	90                   	nop
140071d72:	90                   	nop
140071d73:	90                   	nop
140071d74:	90                   	nop
140071d75:	90                   	nop
140071d76:	90                   	nop
140071d77:	90                   	nop
140071d78:	90                   	nop
140071d79:	90                   	nop
140071d7a:	90                   	nop
140071d7b:	90                   	nop
140071d7c:	90                   	nop
140071d7d:	90                   	nop
140071d7e:	90                   	nop
140071d7f:	90                   	nop
140071d80:	48 8b 17             	mov    (%rdi),%rdx
140071d83:	e8 18 06 00 00       	call   0x1400723a0
140071d88:	66 48 0f 7e c7       	movq   %xmm0,%rdi
140071d8d:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140071d92:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
140071d99:	00
140071d9a:	4c 8b 04 24          	mov    (%rsp),%r8
140071d9e:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071da3:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140071da8:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140071dad:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140071db2:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140071db7:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140071dbc:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140071dc1:	e8 9a 02 00 00       	call   0x140072060
140071dc6:	4c 03 44 24 40       	add    0x40(%rsp),%r8
140071dcb:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140071dd0:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140071dd5:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
140071dda:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140071ddf:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140071de4:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
140071de9:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140071dee:	66 48 0f 7e d6       	movq   %xmm2,%rsi
140071df3:	48 19 c9             	sbb    %rcx,%rcx
140071df6:	e8 45 03 00 00       	call   0x140072140
140071dfb:	4c 89 06             	mov    %r8,(%rsi)
140071dfe:	4c 89 8e 80 00 00 00 	mov    %r9,0x80(%rsi)
140071e05:	4c 89 96 00 01 00 00 	mov    %r10,0x100(%rsi)
140071e0c:	4c 89 9e 80 01 00 00 	mov    %r11,0x180(%rsi)
140071e13:	4c 89 a6 00 02 00 00 	mov    %r12,0x200(%rsi)
140071e1a:	4c 89 ae 80 02 00 00 	mov    %r13,0x280(%rsi)
140071e21:	4c 89 b6 00 03 00 00 	mov    %r14,0x300(%rsi)
140071e28:	4c 89 be 80 03 00 00 	mov    %r15,0x380(%rsi)
140071e2f:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071e36:	00
140071e37:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071e3b:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071e3f:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071e43:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071e47:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071e4b:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071e4f:	48 8d 20             	lea    (%rax),%rsp
140071e52:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071e57:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071e5c:	f3 c3                	repz ret
140071e5e:	90                   	nop
140071e5f:	90                   	nop
140071e60:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140071e65:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140071e6a:	48 89 e0             	mov    %rsp,%rax
140071e6d:	48 89 cf             	mov    %rcx,%rdi
140071e70:	48 89 d6             	mov    %rdx,%rsi
140071e73:	4c 89 c2             	mov    %r8,%rdx
140071e76:	4c 89 c9             	mov    %r9,%rcx
140071e79:	53                   	push   %rbx
140071e7a:	55                   	push   %rbp
140071e7b:	41 54                	push   %r12
140071e7d:	41 55                	push   %r13
140071e7f:	41 56                	push   %r14
140071e81:	41 57                	push   %r15
140071e83:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
140071e8a:	8b 05 58 e2 39 00    	mov    0x39e258(%rip),%eax        # 0x1404100e8
140071e90:	48 89 d5             	mov    %rdx,%rbp
140071e93:	48 89 8c 24 80 00 00 	mov    %rcx,0x80(%rsp)
140071e9a:	00
140071e9b:	4c 8b 06             	mov    (%rsi),%r8
140071e9e:	66 0f ef c0          	pxor   %xmm0,%xmm0
140071ea2:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
140071ea6:	4c 8b 56 10          	mov    0x10(%rsi),%r10
140071eaa:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
140071eae:	4c 8b 66 20          	mov    0x20(%rsi),%r12
140071eb2:	4c 8b 6e 28          	mov    0x28(%rsi),%r13
140071eb6:	4c 8b 76 30          	mov    0x30(%rsi),%r14
140071eba:	4c 8b 7e 38          	mov    0x38(%rsi),%r15
140071ebe:	66 0f 7f 04 24       	movdqa %xmm0,(%rsp)
140071ec3:	66 0f 7f 44 24 10    	movdqa %xmm0,0x10(%rsp)
140071ec9:	66 0f 7f 44 24 20    	movdqa %xmm0,0x20(%rsp)
140071ecf:	66 0f 7f 44 24 30    	movdqa %xmm0,0x30(%rsp)
140071ed5:	66 0f 7f 44 24 40    	movdqa %xmm0,0x40(%rsp)
140071edb:	66 0f 7f 44 24 50    	movdqa %xmm0,0x50(%rsp)
140071ee1:	66 0f 7f 44 24 60    	movdqa %xmm0,0x60(%rsp)
140071ee7:	25 00 01 08 00       	and    $0x80100,%eax
140071eec:	3d 00 01 08 00       	cmp    $0x80100,%eax
140071ef1:	74 0d                	je     0x140071f00
140071ef3:	e8 68 00 00 00       	call   0x140071f60
140071ef8:	eb 13                	jmp    0x140071f0d
140071efa:	90                   	nop
140071efb:	90                   	nop
140071efc:	90                   	nop
140071efd:	90                   	nop
140071efe:	90                   	nop
140071eff:	90                   	nop
140071f00:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
140071f07:	00
140071f08:	e8 53 01 00 00       	call   0x140072060
140071f0d:	4c 89 07             	mov    %r8,(%rdi)
140071f10:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071f14:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071f18:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071f1c:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071f20:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071f24:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071f28:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071f2c:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071f33:	00
140071f34:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071f38:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071f3c:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071f40:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071f44:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071f48:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071f4c:	48 8d 20             	lea    (%rax),%rsp
140071f4f:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071f54:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071f59:	f3 c3                	repz ret
140071f5b:	90                   	nop