140007bb1:	4c 89 ce             	mov    %r9,%rsi
140007bb4:	48 31 c9             	xor    %rcx,%rcx
140007bb7:	48 8b 56 08          	mov    0x8(%rsi),%rdx
140007bbb:	4c 8b 06             	mov    (%rsi),%r8
140007bbe:	4c 8b 4e 10          	mov    0x10(%rsi),%r9
140007bc2:	4c 8b 56 28          	mov    0x28(%rsi),%r10
140007bc6:	4c 8d 5e 38          	lea    0x38(%rsi),%r11
140007bca:	4c 8d 66 18          	lea    0x18(%rsi),%r12
140007bce:	4c 89 54 24 20       	mov    %r10,0x20(%rsp)
140007bd3:	4c 89 5c 24 28       	mov    %r11,0x28(%rsp)
140007bd8:	4c 89 64 24 30       	mov    %r12,0x30(%rsp)
140007bdd:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
140007be2:	ff 15 90 fc 0e 00    	call   *0xefc90(%rip)        # 0x1400f7878
140007be8:	b8 01 00 00 00       	mov    $0x1,%eax
140007bed:	48 83 c4 40          	add    $0x40,%rsp
140007bf1:	9d                   	popf
140007bf2:	41 5f                	pop    %r15
140007bf4:	41 5e                	pop    %r14
140007bf6:	41 5d                	pop    %r13
140007bf8:	41 5c                	pop    %r12
140007bfa:	5d                   	pop    %rbp
140007bfb:	5b                   	pop    %rbx
140007bfc:	5f                   	pop    %rdi
140007bfd:	5e                   	pop    %rsi
140007bfe:	c3                   	ret
140007bff:	cc                   	int3
140007c00:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140007c05:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140007c0a:	48 89 e0             	mov    %rsp,%rax
140007c0d:	48 89 cf             	mov    %rcx,%rdi
140007c10:	48 89 d6             	mov    %rdx,%rsi
140007c13:	4c 89 c2             	mov    %r8,%rdx
140007c16:	4c 89 c9             	mov    %r9,%rcx
140007c19:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
140007c1e:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
140007c23:	45 89 c9             	mov    %r9d,%r9d
140007c26:	48 89 e0             	mov    %rsp,%rax
140007c29:	53                   	push   %rbx
140007c2a:	55                   	push   %rbp
140007c2b:	41 54                	push   %r12
140007c2d:	41 55                	push   %r13
140007c2f:	41 56                	push   %r14
140007c31:	41 57                	push   %r15
140007c33:	49 f7 d9             	neg    %r9
140007c36:	49 89 e3             	mov    %rsp,%r11
140007c39:	4e 8d 54 cc f0       	lea    -0x10(%rsp,%r9,8),%r10
140007c3e:	49 f7 d9             	neg    %r9
140007c41:	49 81 e2 00 fc ff ff 	and    $0xfffffffffffffc00,%r10
140007c48:	4d 29 d3             	sub    %r10,%r11
140007c4b:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
140007c52:	4b 8d 24 1a          	lea    (%r10,%r11,1),%rsp
140007c56:	4c 8b 1c 24          	mov    (%rsp),%r11
140007c5a:	4c 39 d4             	cmp    %r10,%rsp
140007c5d:	0f 87 0d 00 00 00    	ja     0x140007c70
140007c63:	e9 1d 00 00 00       	jmp    0x140007c85
140007c68:	90                   	nop
140007c69:	90                   	nop
140007c6a:	90                   	nop
140007c6b:	90                   	nop
140007c6c:	90                   	nop
140007c6d:	90                   	nop
140007c6e:	90                   	nop
140007c6f:	90                   	nop
140007c70:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
140007c77:	ff
140007c78:	4c 8b 1c 24          	mov    (%rsp),%r11
140007c7c:	4c 39 d4             	cmp    %r10,%rsp
140007c7f:	0f 87 eb ff ff ff    	ja     0x140007c70
140007c85:	4a 89 44 cc 08       	mov    %rax,0x8(%rsp,%r9,8)
140007c8a:	49 89 d4             	mov    %rdx,%r12
140007c8d:	4d 8b 00             	mov    (%r8),%r8
140007c90:	49 8b 1c 24          	mov    (%r12),%rbx
140007c94:	48 8b 06             	mov    (%rsi),%rax
140007c97:	4d 31 f6             	xor    %r14,%r14
140007c9a:	4d 31 ff             	xor    %r15,%r15
140007c9d:	4c 89 c5             	mov    %r8,%rbp
140007ca0:	48 f7 e3             	mul    %rbx
140007ca3:	49 89 c2             	mov    %rax,%r10
140007ca6:	48 8b 01             	mov    (%rcx),%rax
140007ca9:	49 0f af ea          	imul   %r10,%rbp
140007cad:	49 89 d3             	mov    %rdx,%r11
140007cb0:	48 f7 e5             	mul    %rbp
140007cb3:	49 01 c2             	add    %rax,%r10
140007cb6:	48 8b 46 08          	mov    0x8(%rsi),%rax
140007cba:	48 83 d2 00          	adc    $0x0,%rdx
140007cbe:	49 89 d5             	mov    %rdx,%r13
140007cc1:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140007cc5:	e9 23 00 00 00       	jmp    0x140007ced
140007cca:	90                   	nop
140007ccb:	90                   	nop
140007ccc:	90                   	nop
140007ccd:	90                   	nop
140007cce:	90                   	nop
140007ccf:	90                   	nop
140007cd0:	49 01 c5             	add    %rax,%r13
140007cd3:	4a 8b 04 fe          	mov    (%rsi,%r15,8),%rax
140007cd7:	48 83 d2 00          	adc    $0x0,%rdx
140007cdb:	4d 01 dd             	add    %r11,%r13
140007cde:	4d 89 d3             	mov    %r10,%r11
140007ce1:	48 83 d2 00          	adc    $0x0,%rdx
140007ce5:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
140007cea:	49 89 d5             	mov    %rdx,%r13
140007ced:	48 f7 e3             	mul    %rbx
140007cf0:	49 01 c3             	add    %rax,%r11
140007cf3:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
140007cf7:	48 83 d2 00          	adc    $0x0,%rdx
140007cfb:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140007cff:	49 89 d2             	mov    %rdx,%r10
140007d02:	48 f7 e5             	mul    %rbp
140007d05:	4d 39 cf             	cmp    %r9,%r15
140007d08:	0f 85 c2 ff ff ff    	jne    0x140007cd0
140007d0e:	49 01 c5             	add    %rax,%r13
140007d11:	48 8b 06             	mov    (%rsi),%rax
140007d14:	48 83 d2 00          	adc    $0x0,%rdx
140007d18:	4d 01 dd             	add    %r11,%r13
140007d1b:	48 83 d2 00          	adc    $0x0,%rdx
140007d1f:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
140007d24:	49 89 d5             	mov    %rdx,%r13
140007d27:	4d 89 d3             	mov    %r10,%r11
140007d2a:	48 31 d2             	xor    %rdx,%rdx
140007d2d:	4d 01 dd             	add    %r11,%r13
140007d30:	48 83 d2 00          	adc    $0x0,%rdx
140007d34:	4e 89 6c cc f8       	mov    %r13,-0x8(%rsp,%r9,8)
140007d39:	4a 89 14 cc          	mov    %rdx,(%rsp,%r9,8)
140007d3d:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007d41:	e9 0a 00 00 00       	jmp    0x140007d50
140007d46:	90                   	nop
140007d47:	90                   	nop
140007d48:	90                   	nop
140007d49:	90                   	nop
140007d4a:	90                   	nop
140007d4b:	90                   	nop
140007d4c:	90                   	nop
140007d4d:	90                   	nop
140007d4e:	90                   	nop
140007d4f:	90                   	nop
140007d50:	4b 8b 1c f4          	mov    (%r12,%r14,8),%rbx
140007d54:	4d 31 ff             	xor    %r15,%r15
140007d57:	4c 89 c5             	mov    %r8,%rbp
140007d5a:	4c 8b 14 24          	mov    (%rsp),%r10
140007d5e:	48 f7 e3             	mul    %rbx
140007d61:	49 01 c2             	add    %rax,%r10
140007d64:	48 8b 01             	mov    (%rcx),%rax
140007d67:	48 83 d2 00          	adc    $0x0,%rdx
140007d6b:	49 0f af ea          	imul   %r10,%rbp
140007d6f:	49 89 d3             	mov    %rdx,%r11
140007d72:	48 f7 e5             	mul    %rbp
140007d75:	49 01 c2             	add    %rax,%r10
140007d78:	48 8b 46 08          	mov    0x8(%rsi),%rax
140007d7c:	48 83 d2 00          	adc    $0x0,%rdx
140007d80:	4c 8b 54 24 08       	mov    0x8(%rsp),%r10
140007d85:	49 89 d5             	mov    %rdx,%r13
140007d88:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140007d8c:	e9 2d 00 00 00       	jmp    0x140007dbe
140007d91:	90                   	nop
140007d92:	90                   	nop
140007d93:	90                   	nop
140007d94:	90                   	nop
140007d95:	90                   	nop
140007d96:	90                   	nop
140007d97:	90                   	nop
140007d98:	90                   	nop
140007d99:	90                   	nop
140007d9a:	90                   	nop
140007d9b:	90                   	nop
140007d9c:	90                   	nop
140007d9d:	90                   	nop
140007d9e:	90                   	nop
140007d9f:	90                   	nop
140007da0:	49 01 c5             	add    %rax,%r13
140007da3:	4a 8b 04 fe          	mov    (%rsi,%r15,8),%rax
140007da7:	48 83 d2 00          	adc    $0x0,%rdx
140007dab:	4d 01 d5             	add    %r10,%r13
140007dae:	4e 8b 14 fc          	mov    (%rsp,%r15,8),%r10
140007db2:	48 83 d2 00          	adc    $0x0,%rdx
140007db6:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
140007dbb:	49 89 d5             	mov    %rdx,%r13
140007dbe:	48 f7 e3             	mul    %rbx
140007dc1:	49 01 c3             	add    %rax,%r11
140007dc4:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
140007dc8:	48 83 d2 00          	adc    $0x0,%rdx
140007dcc:	4d 01 da             	add    %r11,%r10
140007dcf:	49 89 d3             	mov    %rdx,%r11
140007dd2:	49 83 d3 00          	adc    $0x0,%r11
140007dd6:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140007dda:	48 f7 e5             	mul    %rbp
140007ddd:	4d 39 cf             	cmp    %r9,%r15
140007de0:	0f 85 ba ff ff ff    	jne    0x140007da0
140007de6:	49 01 c5             	add    %rax,%r13
140007de9:	48 8b 06             	mov    (%rsi),%rax
140007dec:	48 83 d2 00          	adc    $0x0,%rdx
140007df0:	4d 01 d5             	add    %r10,%r13
140007df3:	4e 8b 14 fc          	mov    (%rsp,%r15,8),%r10
140007df7:	48 83 d2 00          	adc    $0x0,%rdx
140007dfb:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
140007e00:	49 89 d5             	mov    %rdx,%r13
140007e03:	48 31 d2             	xor    %rdx,%rdx
140007e06:	4d 01 dd             	add    %r11,%r13
140007e09:	48 83 d2 00          	adc    $0x0,%rdx
140007e0d:	4d 01 d5             	add    %r10,%r13
140007e10:	48 83 d2 00          	adc    $0x0,%rdx
140007e14:	4e 89 6c cc f8       	mov    %r13,-0x8(%rsp,%r9,8)
140007e19:	4a 89 14 cc          	mov    %rdx,(%rsp,%r9,8)
140007e1d:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007e21:	4d 39 ce             	cmp    %r9,%r14
140007e24:	0f 82 26 ff ff ff    	jb     0x140007d50
140007e2a:	4d 31 f6             	xor    %r14,%r14
140007e2d:	48 8b 04 24          	mov    (%rsp),%rax
140007e31:	4d 89 cf             	mov    %r9,%r15
140007e34:	90                   	nop
140007e35:	90                   	nop
140007e36:	90                   	nop
140007e37:	90                   	nop
140007e38:	90                   	nop
140007e39:	90                   	nop
140007e3a:	90                   	nop
140007e3b:	90                   	nop
140007e3c:	90                   	nop
140007e3d:	90                   	nop
140007e3e:	90                   	nop
140007e3f:	90                   	nop
140007e40:	4a 1b 04 f1          	sbb    (%rcx,%r14,8),%rax
140007e44:	4a 89 04 f7          	mov    %rax,(%rdi,%r14,8)
140007e48:	4a 8b 44 f4 08       	mov    0x8(%rsp,%r14,8),%rax
140007e4d:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007e51:	49 ff cf             	dec    %r15
140007e54:	0f 85 e6 ff ff ff    	jne    0x140007e40
140007e5a:	48 83 d8 00          	sbb    $0x0,%rax
140007e5e:	48 c7 c3 ff ff ff ff 	mov    $0xffffffffffffffff,%rbx
140007e65:	48 31 c3             	xor    %rax,%rbx
140007e68:	4d 31 f6             	xor    %r14,%r14
140007e6b:	4d 89 cf             	mov    %r9,%r15
140007e6e:	4a 8b 0c f7          	mov    (%rdi,%r14,8),%rcx
140007e72:	4a 8b 14 f4          	mov    (%rsp,%r14,8),%rdx
140007e76:	48 21 d9             	and    %rbx,%rcx
140007e79:	48 21 c2             	and    %rax,%rdx
140007e7c:	4e 89 0c f4          	mov    %r9,(%rsp,%r14,8)
140007e80:	48 09 ca             	or     %rcx,%rdx
140007e83:	4a 89 14 f7          	mov    %rdx,(%rdi,%r14,8)
140007e87:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007e8b:	49 83 ef 01          	sub    $0x1,%r15
140007e8f:	0f 85 d9 ff ff ff    	jne    0x140007e6e
140007e95:	4a 8b 74 cc 08       	mov    0x8(%rsp,%r9,8),%rsi
140007e9a:	b8 01 00 00 00       	mov    $0x1,%eax
140007e9f:	4c 8b 7e d0          	mov    -0x30(%rsi),%r15
140007ea3:	4c 8b 76 d8          	mov    -0x28(%rsi),%r14
140007ea7:	4c 8b 6e e0          	mov    -0x20(%rsi),%r13
140007eab:	4c 8b 66 e8          	mov    -0x18(%rsi),%r12
140007eaf:	48 8b 6e f0          	mov    -0x10(%rsi),%rbp
140007eb3:	48 8b 5e f8          	mov    -0x8(%rsi),%rbx
140007eb7:	48 8d 26             	lea    (%rsi),%rsp
140007eba:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140007ebf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140007ec4:	c3                   	ret
140007ec5:	90                   	nop
140007ec6:	90                   	nop
140007ec7:	90                   	nop
140007ec8:	90                   	nop
140007ec9:	90                   	nop
140007eca:	90                   	nop
140007ecb:	90                   	nop
140007ecc:	90                   	nop
140007ecd:	90                   	nop
140007ece:	90                   	nop
140007ecf:	90                   	nop
140007ed0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140007ed5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140007eda:	48 89 e0             	mov    %rsp,%rax
140007edd:	48 89 cf             	mov    %rcx,%rdi
140007ee0:	48 89 d6             	mov    %rdx,%rsi
140007ee3:	4c 89 c2             	mov    %r8,%rdx
140007ee6:	4c 89 c9             	mov    %r9,%rcx
140007ee9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
140007eee:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
140007ef3:	45 89 c9             	mov    %r9d,%r9d
140007ef6:	48 89 e0             	mov    %rsp,%rax
140007ef9:	53                   	push   %rbx
140007efa:	55                   	push   %rbp
140007efb:	41 54                	push   %r12
140007efd:	41 55                	push   %r13
140007eff:	41 56                	push   %r14
140007f01:	41 57                	push   %r15
140007f03:	49 f7 d9             	neg    %r9
140007f06:	49 89 e3             	mov    %rsp,%r11
140007f09:	4e 8d 54 cc e0       	lea    -0x20(%rsp,%r9,8),%r10
140007f0e:	49 f7 d9             	neg    %r9
140007f11:	49 81 e2 00 fc ff ff 	and    $0xfffffffffffffc00,%r10
140007f18:	4d 29 d3             	sub    %r10,%r11
140007f1b:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
140007f22:	4b 8d 24 1a          	lea    (%r10,%r11,1),%rsp
140007f26:	4c 8b 1c 24          	mov    (%rsp),%r11
140007f2a:	4c 39 d4             	cmp    %r10,%rsp
140007f2d:	0f 87 05 00 00 00    	ja     0x140007f38
140007f33:	e9 15 00 00 00       	jmp    0x140007f4d
140007f38:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
140007f3f:	ff
140007f40:	4c 8b 1c 24          	mov    (%rsp),%r11
140007f44:	4c 39 d4             	cmp    %r10,%rsp
140007f47:	0f 87 eb ff ff ff    	ja     0x140007f38
140007f4d:	4a 89 44 cc 08       	mov    %rax,0x8(%rsp,%r9,8)
140007f52:	4a 89 7c cc 10       	mov    %rdi,0x10(%rsp,%r9,8)
140007f57:	49 89 d4             	mov    %rdx,%r12
140007f5a:	4d 8b 00             	mov    (%r8),%r8
140007f5d:	49 8b 1c 24          	mov    (%r12),%rbx
140007f61:	48 8b 06             	mov    (%rsi),%rax
140007f64:	4d 31 f6             	xor    %r14,%r14
140007f67:	4d 31 ff             	xor    %r15,%r15
140007f6a:	4c 89 c5             	mov    %r8,%rbp
140007f6d:	48 f7 e3             	mul    %rbx
140007f70:	49 89 c2             	mov    %rax,%r10
140007f73:	48 8b 01             	mov    (%rcx),%rax
140007f76:	49 0f af ea          	imul   %r10,%rbp
140007f7a:	49 89 d3             	mov    %rdx,%r11
140007f7d:	48 f7 e5             	mul    %rbp
140007f80:	49 01 c2             	add    %rax,%r10
140007f83:	48 8b 46 08          	mov    0x8(%rsi),%rax
140007f87:	48 83 d2 00          	adc    $0x0,%rdx
140007f8b:	48 89 d7             	mov    %rdx,%rdi
140007f8e:	48 f7 e3             	mul    %rbx
140007f91:	49 01 c3             	add    %rax,%r11
140007f94:	48 8b 41 08          	mov    0x8(%rcx),%rax
140007f98:	48 83 d2 00          	adc    $0x0,%rdx
140007f9c:	49 89 d2             	mov    %rdx,%r10
140007f9f:	48 f7 e5             	mul    %rbp
140007fa2:	48 01 c7             	add    %rax,%rdi
140007fa5:	48 8b 46 10          	mov    0x10(%rsi),%rax
140007fa9:	48 83 d2 00          	adc    $0x0,%rdx
140007fad:	4c 01 df             	add    %r11,%rdi
140007fb0:	4d 8d 7f 04          	lea    0x4(%r15),%r15
140007fb4:	48 83 d2 00          	adc    $0x0,%rdx
140007fb8:	48 89 3c 24          	mov    %rdi,(%rsp)
140007fbc:	49 89 d5             	mov    %rdx,%r13
140007fbf:	e9 0c 00 00 00       	jmp    0x140007fd0
140007fc4:	90                   	nop
140007fc5:	90                   	nop
140007fc6:	90                   	nop
140007fc7:	90                   	nop
140007fc8:	90                   	nop
140007fc9:	90                   	nop
140007fca:	90                   	nop
140007fcb:	90                   	nop
140007fcc:	90                   	nop
140007fcd:	90                   	nop
140007fce:	90                   	nop
140007fcf:	90                   	nop
140007fd0:	48 f7 e3             	mul    %rbx
140007fd3:	49 01 c2             	add    %rax,%r10
140007fd6:	4a 8b 44 f9 f0       	mov    -0x10(%rcx,%r15,8),%rax
140007fdb:	48 83 d2 00          	adc    $0x0,%rdx
140007fdf:	49 89 d3             	mov    %rdx,%r11