1400708bf:	cc                   	int3
1400708c0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
1400708c5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1400708ca:	48 89 e0             	mov    %rsp,%rax
1400708cd:	48 89 cf             	mov    %rcx,%rdi
1400708d0:	48 89 d6             	mov    %rdx,%rsi
1400708d3:	4c 89 c2             	mov    %r8,%rdx
1400708d6:	4c 89 c9             	mov    %r9,%rcx
1400708d9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
1400708de:	53                   	push   %rbx
1400708df:	55                   	push   %rbp
1400708e0:	41 54                	push   %r12
1400708e2:	41 55                	push   %r13
1400708e4:	41 56                	push   %r14
1400708e6:	41 57                	push   %r15
1400708e8:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
1400708ef:	66 48 0f 6e ca       	movq   %rdx,%xmm1
1400708f4:	48 8b 16             	mov    (%rsi),%rdx
1400708f7:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400708fb:	48 89 8c 24 80 00 00 	mov    %rcx,0x80(%rsp)
140070902:	00
140070903:	41 bb 00 01 08 00    	mov    $0x80100,%r11d
140070909:	44 23 1d 08 21 44 01 	and    0x1442108(%rip),%r11d        # 0x1414b2a18
140070910:	41 81 fb 00 01 08 00 	cmp    $0x80100,%r11d
140070917:	0f 84 23 04 00 00    	je     0x140070d40
14007091d:	eb 01                	jmp    0x140070920
14007091f:	90                   	nop
140070920:	44 89 84 24 88 00 00 	mov    %r8d,0x88(%rsp)
140070927:	00
140070928:	48 89 d3             	mov    %rdx,%rbx
14007092b:	48 89 c5             	mov    %rax,%rbp
14007092e:	48 f7 e2             	mul    %rdx
140070931:	49 89 c0             	mov    %rax,%r8
140070934:	48 8b 46 10          	mov    0x10(%rsi),%rax
140070938:	49 89 d1             	mov    %rdx,%r9
14007093b:	48 f7 e3             	mul    %rbx
14007093e:	49 01 c1             	add    %rax,%r9
140070941:	48 8b 46 18          	mov    0x18(%rsi),%rax
140070945:	49 89 d2             	mov    %rdx,%r10
140070948:	49 83 d2 00          	adc    $0x0,%r10
14007094c:	48 f7 e3             	mul    %rbx
14007094f:	49 01 c2             	add    %rax,%r10
140070952:	48 8b 46 20          	mov    0x20(%rsi),%rax
140070956:	49 89 d3             	mov    %rdx,%r11
140070959:	49 83 d3 00          	adc    $0x0,%r11
14007095d:	48 f7 e3             	mul    %rbx
140070960:	49 01 c3             	add    %rax,%r11
140070963:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070967:	49 89 d4             	mov    %rdx,%r12
14007096a:	49 83 d4 00          	adc    $0x0,%r12
14007096e:	48 f7 e3             	mul    %rbx
140070971:	49 01 c4             	add    %rax,%r12
140070974:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070978:	49 89 d5             	mov    %rdx,%r13
14007097b:	49 83 d5 00          	adc    $0x0,%r13
14007097f:	48 f7 e3             	mul    %rbx
140070982:	49 01 c5             	add    %rax,%r13
140070985:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070989:	49 89 d6             	mov    %rdx,%r14
14007098c:	49 83 d6 00          	adc    $0x0,%r14
140070990:	48 f7 e3             	mul    %rbx
140070993:	49 01 c6             	add    %rax,%r14
140070996:	48 89 d8             	mov    %rbx,%rax
140070999:	48 83 d2 00          	adc    $0x0,%rdx
14007099d:	48 31 c9             	xor    %rcx,%rcx
1400709a0:	4d 01 c0             	add    %r8,%r8
1400709a3:	49 89 d7             	mov    %rdx,%r15
1400709a6:	48 83 d1 00          	adc    $0x0,%rcx
1400709aa:	48 f7 e0             	mul    %rax
1400709ad:	4c 01 c2             	add    %r8,%rdx
1400709b0:	48 83 d1 00          	adc    $0x0,%rcx
1400709b4:	48 89 04 24          	mov    %rax,(%rsp)
1400709b8:	48 89 54 24 08       	mov    %rdx,0x8(%rsp)
1400709bd:	48 8b 46 10          	mov    0x10(%rsi),%rax
1400709c1:	48 f7 e5             	mul    %rbp
1400709c4:	49 01 c2             	add    %rax,%r10
1400709c7:	48 8b 46 18          	mov    0x18(%rsi),%rax
1400709cb:	48 89 d3             	mov    %rdx,%rbx
1400709ce:	48 83 d3 00          	adc    $0x0,%rbx
1400709d2:	48 f7 e5             	mul    %rbp
1400709d5:	49 01 c3             	add    %rax,%r11
1400709d8:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400709dc:	48 83 d2 00          	adc    $0x0,%rdx
1400709e0:	49 01 db             	add    %rbx,%r11
1400709e3:	48 89 d3             	mov    %rdx,%rbx
1400709e6:	48 83 d3 00          	adc    $0x0,%rbx
1400709ea:	48 f7 e5             	mul    %rbp
1400709ed:	49 01 c4             	add    %rax,%r12
1400709f0:	48 8b 46 28          	mov    0x28(%rsi),%rax
1400709f4:	48 83 d2 00          	adc    $0x0,%rdx
1400709f8:	49 01 dc             	add    %rbx,%r12
1400709fb:	48 89 d3             	mov    %rdx,%rbx
1400709fe:	48 83 d3 00          	adc    $0x0,%rbx
140070a02:	48 f7 e5             	mul    %rbp
140070a05:	49 01 c5             	add    %rax,%r13
140070a08:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070a0c:	48 83 d2 00          	adc    $0x0,%rdx
140070a10:	49 01 dd             	add    %rbx,%r13
140070a13:	48 89 d3             	mov    %rdx,%rbx
140070a16:	48 83 d3 00          	adc    $0x0,%rbx
140070a1a:	48 f7 e5             	mul    %rbp
140070a1d:	49 01 c6             	add    %rax,%r14
140070a20:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070a24:	48 83 d2 00          	adc    $0x0,%rdx
140070a28:	49 01 de             	add    %rbx,%r14
140070a2b:	48 89 d3             	mov    %rdx,%rbx
140070a2e:	48 83 d3 00          	adc    $0x0,%rbx
140070a32:	48 f7 e5             	mul    %rbp
140070a35:	49 01 c7             	add    %rax,%r15
140070a38:	48 89 e8             	mov    %rbp,%rax
140070a3b:	48 83 d2 00          	adc    $0x0,%rdx
140070a3f:	49 01 df             	add    %rbx,%r15
140070a42:	48 83 d2 00          	adc    $0x0,%rdx
140070a46:	48 31 db             	xor    %rbx,%rbx
140070a49:	4d 01 c9             	add    %r9,%r9
140070a4c:	49 89 d0             	mov    %rdx,%r8
140070a4f:	4d 11 d2             	adc    %r10,%r10
140070a52:	48 83 d3 00          	adc    $0x0,%rbx
140070a56:	48 f7 e0             	mul    %rax
140070a59:	48 01 c8             	add    %rcx,%rax
140070a5c:	48 8b 6e 10          	mov    0x10(%rsi),%rbp
140070a60:	49 01 c1             	add    %rax,%r9
140070a63:	48 8b 46 18          	mov    0x18(%rsi),%rax
140070a67:	49 11 d2             	adc    %rdx,%r10
140070a6a:	48 83 d3 00          	adc    $0x0,%rbx
140070a6e:	4c 89 4c 24 10       	mov    %r9,0x10(%rsp)
140070a73:	4c 89 54 24 18       	mov    %r10,0x18(%rsp)
140070a78:	48 f7 e5             	mul    %rbp
140070a7b:	49 01 c4             	add    %rax,%r12
140070a7e:	48 8b 46 20          	mov    0x20(%rsi),%rax
140070a82:	48 89 d1             	mov    %rdx,%rcx
140070a85:	48 83 d1 00          	adc    $0x0,%rcx
140070a89:	48 f7 e5             	mul    %rbp
140070a8c:	49 01 c5             	add    %rax,%r13
140070a8f:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070a93:	48 83 d2 00          	adc    $0x0,%rdx
140070a97:	49 01 cd             	add    %rcx,%r13
140070a9a:	48 89 d1             	mov    %rdx,%rcx
140070a9d:	48 83 d1 00          	adc    $0x0,%rcx
140070aa1:	48 f7 e5             	mul    %rbp
140070aa4:	49 01 c6             	add    %rax,%r14
140070aa7:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070aab:	48 83 d2 00          	adc    $0x0,%rdx
140070aaf:	49 01 ce             	add    %rcx,%r14
140070ab2:	48 89 d1             	mov    %rdx,%rcx
140070ab5:	48 83 d1 00          	adc    $0x0,%rcx
140070ab9:	48 f7 e5             	mul    %rbp
140070abc:	49 01 c7             	add    %rax,%r15
140070abf:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070ac3:	48 83 d2 00          	adc    $0x0,%rdx
140070ac7:	49 01 cf             	add    %rcx,%r15
140070aca:	48 89 d1             	mov    %rdx,%rcx
140070acd:	48 83 d1 00          	adc    $0x0,%rcx
140070ad1:	48 f7 e5             	mul    %rbp
140070ad4:	49 01 c0             	add    %rax,%r8
140070ad7:	48 89 e8             	mov    %rbp,%rax
140070ada:	48 83 d2 00          	adc    $0x0,%rdx
140070ade:	49 01 c8             	add    %rcx,%r8
140070ae1:	48 83 d2 00          	adc    $0x0,%rdx
140070ae5:	48 31 c9             	xor    %rcx,%rcx
140070ae8:	4d 01 db             	add    %r11,%r11
140070aeb:	49 89 d1             	mov    %rdx,%r9
140070aee:	4d 11 e4             	adc    %r12,%r12
140070af1:	48 83 d1 00          	adc    $0x0,%rcx
140070af5:	48 f7 e0             	mul    %rax
140070af8:	48 01 d8             	add    %rbx,%rax
140070afb:	4c 8b 56 18          	mov    0x18(%rsi),%r10
140070aff:	49 01 c3             	add    %rax,%r11
140070b02:	48 8b 46 20          	mov    0x20(%rsi),%rax
140070b06:	49 11 d4             	adc    %rdx,%r12
140070b09:	48 83 d1 00          	adc    $0x0,%rcx
140070b0d:	4c 89 5c 24 20       	mov    %r11,0x20(%rsp)
140070b12:	4c 89 64 24 28       	mov    %r12,0x28(%rsp)
140070b17:	49 89 c3             	mov    %rax,%r11
140070b1a:	49 f7 e2             	mul    %r10
140070b1d:	49 01 c6             	add    %rax,%r14
140070b20:	48 8b 46 28          	mov    0x28(%rsi),%rax
140070b24:	48 89 d3             	mov    %rdx,%rbx
140070b27:	48 83 d3 00          	adc    $0x0,%rbx
140070b2b:	49 89 c4             	mov    %rax,%r12
140070b2e:	49 f7 e2             	mul    %r10
140070b31:	49 01 c7             	add    %rax,%r15
140070b34:	48 8b 46 30          	mov    0x30(%rsi),%rax
140070b38:	48 83 d2 00          	adc    $0x0,%rdx
140070b3c:	49 01 df             	add    %rbx,%r15
140070b3f:	48 89 d3             	mov    %rdx,%rbx
140070b42:	48 83 d3 00          	adc    $0x0,%rbx
140070b46:	48 89 c5             	mov    %rax,%rbp
140070b49:	49 f7 e2             	mul    %r10
140070b4c:	49 01 c0             	add    %rax,%r8
140070b4f:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070b53:	48 83 d2 00          	adc    $0x0,%rdx
140070b57:	49 01 d8             	add    %rbx,%r8
140070b5a:	48 89 d3             	mov    %rdx,%rbx
140070b5d:	48 83 d3 00          	adc    $0x0,%rbx
140070b61:	49 f7 e2             	mul    %r10
140070b64:	49 01 c1             	add    %rax,%r9
140070b67:	4c 89 d0             	mov    %r10,%rax
140070b6a:	48 83 d2 00          	adc    $0x0,%rdx
140070b6e:	49 01 d9             	add    %rbx,%r9
140070b71:	48 83 d2 00          	adc    $0x0,%rdx
140070b75:	48 31 db             	xor    %rbx,%rbx
140070b78:	4d 01 ed             	add    %r13,%r13
140070b7b:	49 89 d2             	mov    %rdx,%r10
140070b7e:	4d 11 f6             	adc    %r14,%r14
140070b81:	48 83 d3 00          	adc    $0x0,%rbx
140070b85:	48 f7 e0             	mul    %rax
140070b88:	48 01 c8             	add    %rcx,%rax
140070b8b:	49 01 c5             	add    %rax,%r13
140070b8e:	4c 89 e0             	mov    %r12,%rax
140070b91:	49 11 d6             	adc    %rdx,%r14
140070b94:	48 83 d3 00          	adc    $0x0,%rbx
140070b98:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
140070b9d:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
140070ba2:	49 f7 e3             	mul    %r11
140070ba5:	49 01 c0             	add    %rax,%r8
140070ba8:	48 89 e8             	mov    %rbp,%rax
140070bab:	48 89 d1             	mov    %rdx,%rcx
140070bae:	48 83 d1 00          	adc    $0x0,%rcx
140070bb2:	49 f7 e3             	mul    %r11
140070bb5:	49 01 c1             	add    %rax,%r9
140070bb8:	48 8b 46 38          	mov    0x38(%rsi),%rax
140070bbc:	48 83 d2 00          	adc    $0x0,%rdx
140070bc0:	49 01 c9             	add    %rcx,%r9
140070bc3:	48 89 d1             	mov    %rdx,%rcx
140070bc6:	48 83 d1 00          	adc    $0x0,%rcx
140070bca:	49 89 c6             	mov    %rax,%r14
140070bcd:	49 f7 e3             	mul    %r11
140070bd0:	49 01 c2             	add    %rax,%r10
140070bd3:	4c 89 d8             	mov    %r11,%rax
140070bd6:	48 83 d2 00          	adc    $0x0,%rdx
140070bda:	49 01 ca             	add    %rcx,%r10
140070bdd:	48 83 d2 00          	adc    $0x0,%rdx
140070be1:	48 31 c9             	xor    %rcx,%rcx
140070be4:	4d 01 ff             	add    %r15,%r15
140070be7:	49 89 d3             	mov    %rdx,%r11
140070bea:	4d 11 c0             	adc    %r8,%r8
140070bed:	48 83 d1 00          	adc    $0x0,%rcx
140070bf1:	48 f7 e0             	mul    %rax
140070bf4:	48 01 d8             	add    %rbx,%rax
140070bf7:	49 01 c7             	add    %rax,%r15
140070bfa:	48 89 e8             	mov    %rbp,%rax
140070bfd:	49 11 d0             	adc    %rdx,%r8
140070c00:	48 83 d1 00          	adc    $0x0,%rcx
140070c04:	4c 89 7c 24 40       	mov    %r15,0x40(%rsp)
140070c09:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
140070c0e:	49 f7 e4             	mul    %r12
140070c11:	49 01 c2             	add    %rax,%r10
140070c14:	4c 89 f0             	mov    %r14,%rax
140070c17:	48 89 d3             	mov    %rdx,%rbx
140070c1a:	48 83 d3 00          	adc    $0x0,%rbx
140070c1e:	49 f7 e4             	mul    %r12
140070c21:	49 01 c3             	add    %rax,%r11
140070c24:	4c 89 e0             	mov    %r12,%rax
140070c27:	48 83 d2 00          	adc    $0x0,%rdx
140070c2b:	49 01 db             	add    %rbx,%r11
140070c2e:	48 83 d2 00          	adc    $0x0,%rdx
140070c32:	48 31 db             	xor    %rbx,%rbx
140070c35:	4d 01 c9             	add    %r9,%r9
140070c38:	49 89 d4             	mov    %rdx,%r12
140070c3b:	4d 11 d2             	adc    %r10,%r10
140070c3e:	48 83 d3 00          	adc    $0x0,%rbx
140070c42:	48 f7 e0             	mul    %rax
140070c45:	48 01 c8             	add    %rcx,%rax
140070c48:	49 01 c1             	add    %rax,%r9
140070c4b:	4c 89 f0             	mov    %r14,%rax
140070c4e:	49 11 d2             	adc    %rdx,%r10
140070c51:	48 83 d3 00          	adc    $0x0,%rbx
140070c55:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
140070c5a:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
140070c5f:	48 f7 e5             	mul    %rbp
140070c62:	49 01 c4             	add    %rax,%r12
140070c65:	48 89 e8             	mov    %rbp,%rax
140070c68:	48 83 d2 00          	adc    $0x0,%rdx
140070c6c:	48 31 c9             	xor    %rcx,%rcx
140070c6f:	4d 01 db             	add    %r11,%r11
140070c72:	49 89 d5             	mov    %rdx,%r13
140070c75:	4d 11 e4             	adc    %r12,%r12
140070c78:	48 83 d1 00          	adc    $0x0,%rcx
140070c7c:	48 f7 e0             	mul    %rax
140070c7f:	48 01 d8             	add    %rbx,%rax
140070c82:	49 01 c3             	add    %rax,%r11
140070c85:	4c 89 f0             	mov    %r14,%rax
140070c88:	49 11 d4             	adc    %rdx,%r12
140070c8b:	48 83 d1 00          	adc    $0x0,%rcx
140070c8f:	4c 89 5c 24 60       	mov    %r11,0x60(%rsp)
140070c94:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
140070c99:	48 31 db             	xor    %rbx,%rbx
140070c9c:	4d 01 ed             	add    %r13,%r13
140070c9f:	48 83 d3 00          	adc    $0x0,%rbx
140070ca3:	48 f7 e0             	mul    %rax
140070ca6:	48 01 c8             	add    %rcx,%rax
140070ca9:	4c 01 e8             	add    %r13,%rax
140070cac:	48 11 da             	adc    %rbx,%rdx
140070caf:	4c 8b 04 24          	mov    (%rsp),%r8
140070cb3:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140070cb8:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
140070cbd:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140070cc2:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140070cc7:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140070ccc:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140070cd1:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140070cd6:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140070cdb:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
140070ce0:	48 89 54 24 78       	mov    %rdx,0x78(%rsp)
140070ce5:	e8 36 10 00 00       	call   0x140071d20
140070cea:	4c 03 44 24 40       	add    0x40(%rsp),%r8
140070cef:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140070cf4:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140070cf9:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
140070cfe:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140070d03:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140070d08:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
140070d0d:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140070d12:	48 19 c9             	sbb    %rcx,%rcx
140070d15:	e8 e6 11 00 00       	call   0x140071f00
140070d1a:	4c 89 c2             	mov    %r8,%rdx
140070d1d:	4c 89 c8             	mov    %r9,%rax
140070d20:	44 8b 84 24 88 00 00 	mov    0x88(%rsp),%r8d
140070d27:	00
140070d28:	48 89 fe             	mov    %rdi,%rsi
140070d2b:	41 ff c8             	dec    %r8d
140070d2e:	0f 85 ec fb ff ff    	jne    0x140070920
140070d34:	e9 94 04 00 00       	jmp    0x1400711cd
140070d39:	90                   	nop
140070d3a:	90                   	nop
140070d3b:	90                   	nop
140070d3c:	90                   	nop
140070d3d:	90                   	nop
140070d3e:	90                   	nop
140070d3f:	90                   	nop
140070d40:	44 89 84 24 88 00 00 	mov    %r8d,0x88(%rsp)
140070d47:	00
140070d48:	66 48 0f 6e c7       	movq   %rdi,%xmm0
140070d4d:	c4 62 bb f6 c8       	mulx   %rax,%r8,%r9
140070d52:	48 89 c3             	mov    %rax,%rbx
140070d55:	c4 62 f3 f6 56 10    	mulx   0x10(%rsi),%rcx,%r10
140070d5b:	48 31 ed             	xor    %rbp,%rbp
140070d5e:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
140070d64:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
140070d6a:	c4 62 f3 f6 a6 20 00 	mulx   0x20(%rsi),%rcx,%r12
140070d71:	00 00
140070d73:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140070d79:	c4 62 fb f6 ae 28 00 	mulx   0x28(%rsi),%rax,%r13
140070d80:	00 00
140070d82:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
140070d88:	c4 62 f3 f6 76 30    	mulx   0x30(%rsi),%rcx,%r14
140070d8e:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140070d94:	66 4c 0f 38 f6 e9    	adcx   %rcx,%r13
140070d9a:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15