	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_RSA_check_key_ex               ## -- Begin function RSA_check_key_ex
	.p2align	4, 0x90
_RSA_check_key_ex:                      ## @RSA_check_key_ex
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	cmpq	$0, 32(%rdi)
	je	LBB0_9
## %bb.1:
	movq	%rdi, %r14
	cmpq	$0, 40(%rdi)
	je	LBB0_9
## %bb.2:
	cmpq	$0, 72(%r14)
	je	LBB0_9
## %bb.3:
	cmpq	$0, 64(%r14)
	je	LBB0_9
## %bb.4:
	cmpq	$0, 8(%r14)
	je	LBB0_9
## %bb.5:
	movq	%rsi, %r13
	movq	(%r14), %rax
	movq	_RSA_ASN1_VERSION_MULTI@GOTPCREL(%rip), %rcx
	xorl	%ebx, %ebx
	cmpq	(%rcx), %rax
	jne	LBB0_12
## %bb.6:
	movl	16(%r14), %edi
	callq	_sk_RSA_PRIME_INFO_num
	testl	%eax, %eax
	jle	LBB0_8
## %bb.7:
	movl	%eax, %ebx
	movl	%eax, %r15d
	addl	$2, %r15d
	movq	72(%r14), %rdi
	callq	_BN_num_bits
	movl	%eax, %edi
	callq	_rsa_multip_cap
	cmpl	%eax, %r15d
	jle	LBB0_12
LBB0_8:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_INVALID_MULTI_PRIME_KEY@GOTPCREL(%rip), %rax
	jmp	LBB0_10
LBB0_9:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_VALUE_MISSING@GOTPCREL(%rip), %rax
LBB0_10:
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_11:
	movl	%r15d, %eax
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_12:
	movl	%ebx, -52(%rbp)                 ## 4-byte Spill
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r15
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r12
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %rbx
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%r15, -64(%rbp)                 ## 8-byte Spill
	testq	%r15, %r15
	movq	%rbx, -104(%rbp)                ## 8-byte Spill
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	je	LBB0_20
## %bb.13:
	testq	%r12, %r12
	je	LBB0_20
## %bb.14:
	testq	%rbx, %rbx
	je	LBB0_20
## %bb.15:
	cmpq	$0, -96(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_20
## %bb.16:
	cmpq	$0, -88(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_20
## %bb.17:
	testq	%rax, %rax
	je	LBB0_20
## %bb.18:
	movq	64(%r14), %rdi
	callq	_BN_is_one
	testq	%rax, %rax
	je	LBB0_22
## %bb.19:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_BAD_E_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
	jmp	LBB0_23
LBB0_20:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_MALLOC_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
LBB0_21:
	movl	$-1, %r15d
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	jmp	LBB0_86
LBB0_22:
	movl	$1, %r15d
LBB0_23:
	movq	%r12, -48(%rbp)                 ## 8-byte Spill
	movq	64(%r14), %rdi
	callq	_BN_is_odd
	testl	%eax, %eax
	jne	LBB0_25
## %bb.24:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_BAD_E_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_25:
	movq	32(%r14), %rdi
	movq	_BN_prime_checks@GOTPCREL(%rip), %r12
	movl	(%r12), %esi
	xorl	%edx, %edx
	movq	%r13, %rcx
	callq	_BN_is_prime_ex
	cmpl	$1, %eax
	je	LBB0_27
## %bb.26:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_P_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_27:
	movq	40(%r14), %rdi
	movl	(%r12), %esi
	xorl	%edx, %edx
	movq	%r13, %rcx
	callq	_BN_is_prime_ex
	cmpl	$1, %eax
	je	LBB0_29
## %bb.28:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_Q_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_29:
	cmpl	$0, -52(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_34
## %bb.30:
	xorl	%ebx, %ebx
	jmp	LBB0_32
	.p2align	4, 0x90
LBB0_31:                                ##   in Loop: Header=BB0_32 Depth=1
	incl	%ebx
	cmpl	%ebx, -52(%rbp)                 ## 4-byte Folded Reload
	je	LBB0_34
LBB0_32:                                ## =>This Inner Loop Header: Depth=1
	movl	16(%r14), %edi
	movl	%ebx, %esi
	callq	_sk_RSA_PRIME_INFO_value
	movq	8(%rax), %rdi
	movl	(%r12), %esi
	xorl	%edx, %edx
	movq	%r13, %rcx
	callq	_BN_is_prime_ex
	cmpl	$1, %eax
	je	LBB0_31
## %bb.33:                              ##   in Loop: Header=BB0_32 Depth=1
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_MP_R_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
	jmp	LBB0_31
LBB0_34:
	movq	32(%r14), %rsi
	movq	40(%r14), %rdx
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rdi
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mul
	testl	%eax, %eax
	je	LBB0_84
## %bb.35:
	cmpl	$0, -52(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_39
## %bb.36:
	xorl	%ebx, %ebx
LBB0_37:                                ## =>This Inner Loop Header: Depth=1
	movl	16(%r14), %edi
	movl	%ebx, %esi
	callq	_sk_RSA_PRIME_INFO_value
	movq	8(%rax), %rdx
	movq	%r13, %rdi
	movq	%r13, %rsi
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mul
	testl	%eax, %eax
	je	LBB0_84
## %bb.38:                              ##   in Loop: Header=BB0_37 Depth=1
	incl	%ebx
	cmpl	%ebx, -52(%rbp)                 ## 4-byte Folded Reload
	jne	LBB0_37
LBB0_39:
	movq	72(%r14), %rsi
	movq	%r13, %rdi
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_44
## %bb.40:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	cmpl	$0, -52(%rbp)                   ## 4-byte Folded Reload
	jne	LBB0_42
## %bb.41:
	movq	_RSA_R_N_DOES_NOT_EQUAL_P_Q@GOTPCREL(%rip), %rax
	jmp	LBB0_43
LBB0_42:
	movq	_RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES@GOTPCREL(%rip), %rax
LBB0_43:
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_44:
	movq	32(%r14), %rbx
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_BN_sub
	testl	%eax, %eax
	je	LBB0_84
## %bb.45:
	movq	40(%r14), %rbx
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	-48(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_BN_sub
	testl	%eax, %eax
	je	LBB0_75
## %bb.46:
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	movq	%r13, %rsi
	movq	%r12, %rdx
	movq	-72(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_BN_mul
	testl	%eax, %eax
	je	LBB0_75
## %bb.47:
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	movq	%r13, %rsi
	movq	%r12, %rdx
	movq	%rbx, %rcx
	callq	_BN_gcd
	testl	%eax, %eax
	je	LBB0_84
## %bb.48:
	cmpl	$0, -52(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_54
## %bb.49:
	xorl	%ebx, %ebx
	movq	-104(%rbp), %r12                ## 8-byte Reload
LBB0_50:                                ## =>This Inner Loop Header: Depth=1
	movl	16(%r14), %edi
	movl	%ebx, %esi
	callq	_sk_RSA_PRIME_INFO_value
	movq	8(%rax), %r13
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%r12, %rdi
	movq	%r13, %rsi
	movl	%eax, %edx
	callq	_BN_sub
	testl	%eax, %eax
	je	LBB0_87
## %bb.51:                              ##   in Loop: Header=BB0_50 Depth=1
	movl	%ebx, -76(%rbp)                 ## 4-byte Spill
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	movq	%rdi, %rsi
	movq	%r12, %rdx
	movq	-72(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_BN_mul
	testl	%eax, %eax
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	je	LBB0_84
## %bb.52:                              ##   in Loop: Header=BB0_50 Depth=1
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	movq	%rdi, %rsi
	movq	%r12, %rdx
	movq	%rbx, %rcx
	callq	_BN_gcd
	testl	%eax, %eax
	je	LBB0_84
## %bb.53:                              ##   in Loop: Header=BB0_50 Depth=1
	movl	-76(%rbp), %ebx                 ## 4-byte Reload
	incl	%ebx
	cmpl	%ebx, -52(%rbp)                 ## 4-byte Folded Reload
	jne	LBB0_50
LBB0_54:
	movq	-104(%rbp), %r12                ## 8-byte Reload
	movq	%r12, %rdi
	xorl	%esi, %esi
	movq	-96(%rbp), %rdx                 ## 8-byte Reload
	movq	-88(%rbp), %rcx                 ## 8-byte Reload
	movq	-72(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %r8
	callq	_BN_div
	testl	%eax, %eax
	je	LBB0_84
## %bb.55:
	movq	8(%r14), %rsi
	movq	64(%r14), %rdx
	movq	%r13, %rdi
	movq	%r12, %rcx
	movq	%rbx, %r8
	callq	_BN_mod_mul
	testl	%eax, %eax
	je	LBB0_84
## %bb.56:
	movq	%r13, %rdi
	callq	_BN_is_one
	testq	%rax, %rax
	jne	LBB0_58
## %bb.57:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_D_E_NOT_CONGRUENT_TO_1@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_58:
	cmpq	$0, 56(%r14)
	je	LBB0_72
## %bb.59:
	cmpq	$0, 48(%r14)
	je	LBB0_72
## %bb.60:
	cmpq	$0, 24(%r14)
	je	LBB0_72
## %bb.61:
	movq	32(%r14), %rbx
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_BN_sub
	testl	%eax, %eax
	je	LBB0_84
## %bb.62:
	movq	8(%r14), %rsi
	movq	-48(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rdi
	movq	%r13, %rdx
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mod
	testl	%eax, %eax
	je	LBB0_21
## %bb.63:
	movq	56(%r14), %rsi
	movq	%r12, %rdi
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_65
## %bb.64:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_DMP1_NOT_CONGRUENT_TO_D@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_65:
	movq	40(%r14), %rbx
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_BN_sub
	testl	%eax, %eax
	je	LBB0_87
## %bb.66:
	movq	8(%r14), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mod
	testl	%eax, %eax
	je	LBB0_87
## %bb.67:
	movq	48(%r14), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_69
## %bb.68:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_DMQ1_NOT_CONGRUENT_TO_D@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_69:
	movq	32(%r14), %rdx
	movq	40(%r14), %rsi
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mod_inverse
	testl	%eax, %eax
	je	LBB0_87
## %bb.70:
	movq	24(%r14), %rsi
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rdi
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_72
## %bb.71:
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_IQMP_NOT_INVERSE_OF_Q@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_72:
	cmpl	$0, -52(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_85
## %bb.73:
	xorl	%esi, %esi
	jmp	LBB0_77
LBB0_75:
	movl	$-1, %r15d
	jmp	LBB0_86
LBB0_76:                                ##   in Loop: Header=BB0_77 Depth=1
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	incl	%esi
	cmpl	%esi, -52(%rbp)                 ## 4-byte Folded Reload
	movq	-48(%rbp), %r12                 ## 8-byte Reload
	je	LBB0_86
LBB0_77:                                ## =>This Inner Loop Header: Depth=1
	movl	16(%r14), %edi
	movl	%esi, -76(%rbp)                 ## 4-byte Spill
	callq	_sk_RSA_PRIME_INFO_value
	movq	%rax, %r12
	movq	8(%rax), %rbx
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_BN_sub
	testl	%eax, %eax
	je	LBB0_84
## %bb.78:                              ##   in Loop: Header=BB0_77 Depth=1
	movq	8(%r14), %rsi
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	movq	%r13, %rdx
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mod
	testl	%eax, %eax
	je	LBB0_89
## %bb.79:                              ##   in Loop: Header=BB0_77 Depth=1
	movq	24(%r12), %rsi
	movq	%rbx, %rdi
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_81
## %bb.80:                              ##   in Loop: Header=BB0_77 Depth=1
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
LBB0_81:                                ##   in Loop: Header=BB0_77 Depth=1
	movq	8(%r12), %rdx
	movq	16(%r12), %rsi
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rdi
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mod_inverse
	testl	%eax, %eax
	je	LBB0_84
## %bb.82:                              ##   in Loop: Header=BB0_77 Depth=1
	movq	(%r12), %rsi
	movq	%r13, %rdi
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_76
## %bb.83:                              ##   in Loop: Header=BB0_77 Depth=1
	movq	_RSA_F_RSA_CHECK_KEY_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_RSAerr
	xorl	%r15d, %r15d
	jmp	LBB0_76
LBB0_84:
	movl	$-1, %r15d
LBB0_85:
	movq	-48(%rbp), %r12                 ## 8-byte Reload
LBB0_86:
	movq	%r13, %rdi
	callq	_BN_free
	movq	%r12, %rdi
	callq	_BN_free
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_CTX_free
	jmp	LBB0_11
LBB0_87:
	movl	$-1, %r15d
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	jmp	LBB0_85
LBB0_89:
	movl	$-1, %r15d
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	movq	%rbx, %r12
	jmp	LBB0_86
	.cfi_endproc
                                        ## -- End function
	.comm	_RSA_F_RSA_CHECK_KEY_EX,4,2     ## @RSA_F_RSA_CHECK_KEY_EX
	.comm	_RSA_R_VALUE_MISSING,4,2        ## @RSA_R_VALUE_MISSING
	.comm	_RSA_ASN1_VERSION_MULTI,8,3     ## @RSA_ASN1_VERSION_MULTI
	.comm	_RSA_R_INVALID_MULTI_PRIME_KEY,4,2 ## @RSA_R_INVALID_MULTI_PRIME_KEY
	.comm	_ERR_R_MALLOC_FAILURE,4,2       ## @ERR_R_MALLOC_FAILURE
	.comm	_RSA_R_BAD_E_VALUE,4,2          ## @RSA_R_BAD_E_VALUE
	.comm	_BN_prime_checks,4,2            ## @BN_prime_checks
	.comm	_RSA_R_P_NOT_PRIME,4,2          ## @RSA_R_P_NOT_PRIME
	.comm	_RSA_R_Q_NOT_PRIME,4,2          ## @RSA_R_Q_NOT_PRIME
	.comm	_RSA_R_MP_R_NOT_PRIME,4,2       ## @RSA_R_MP_R_NOT_PRIME
	.comm	_RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES,4,2 ## @RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES
	.comm	_RSA_R_N_DOES_NOT_EQUAL_P_Q,4,2 ## @RSA_R_N_DOES_NOT_EQUAL_P_Q
	.comm	_RSA_R_D_E_NOT_CONGRUENT_TO_1,4,2 ## @RSA_R_D_E_NOT_CONGRUENT_TO_1
	.comm	_RSA_R_DMP1_NOT_CONGRUENT_TO_D,4,2 ## @RSA_R_DMP1_NOT_CONGRUENT_TO_D
	.comm	_RSA_R_DMQ1_NOT_CONGRUENT_TO_D,4,2 ## @RSA_R_DMQ1_NOT_CONGRUENT_TO_D
	.comm	_RSA_R_IQMP_NOT_INVERSE_OF_Q,4,2 ## @RSA_R_IQMP_NOT_INVERSE_OF_Q
	.comm	_RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D,4,2 ## @RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D
	.comm	_RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R,4,2 ## @RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_RSA_check_key_ex               ; -- Begin function RSA_check_key_ex
	.p2align	2
_RSA_check_key_ex:                      ; @RSA_check_key_ex
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #128
	.cfi_def_cfa_offset 128
	stp	x28, x27, [sp, #32]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #48]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #64]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #80]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #96]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #112]            ; 16-byte Folded Spill
	add	x29, sp, #112
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	ldr	x8, [x0, #32]
	cbz	x8, LBB0_9
; %bb.1:
	mov	x25, x0
	ldr	x8, [x0, #40]
	cbz	x8, LBB0_9
; %bb.2:
	ldr	x8, [x25, #72]
	cbz	x8, LBB0_9
; %bb.3:
	ldr	x8, [x25, #64]
	cbz	x8, LBB0_9
; %bb.4:
	ldr	x8, [x25, #8]
	cbz	x8, LBB0_9
; %bb.5:
	mov	x28, x1
	ldr	x8, [x25]
Lloh0:
	adrp	x9, _RSA_ASN1_VERSION_MULTI@GOTPAGE
Lloh1:
	ldr	x9, [x9, _RSA_ASN1_VERSION_MULTI@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
	cmp	x8, x9
	b.ne	LBB0_12
; %bb.6:
	ldr	w0, [x25, #16]
	bl	_sk_RSA_PRIME_INFO_num
	cmp	w0, #1
	b.lt	LBB0_8
; %bb.7:
	mov	x26, x0
	add	w19, w0, #2
	ldr	x0, [x25, #72]
	bl	_BN_num_bits
	bl	_rsa_multip_cap
	cmp	w19, w0
	b.le	LBB0_13
LBB0_8:
Lloh3:
	adrp	x8, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGE
Lloh4:
	ldr	x8, [x8, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGEOFF]
Lloh5:
	ldr	w0, [x8]
Lloh6:
	adrp	x8, _RSA_R_INVALID_MULTI_PRIME_KEY@GOTPAGE
Lloh7:
	ldr	x8, [x8, _RSA_R_INVALID_MULTI_PRIME_KEY@GOTPAGEOFF]
	b	LBB0_10
LBB0_9:
Lloh8:
	adrp	x8, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGE
Lloh9:
	ldr	x8, [x8, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGEOFF]
Lloh10:
	ldr	w0, [x8]
Lloh11:
	adrp	x8, _RSA_R_VALUE_MISSING@GOTPAGE
Lloh12:
	ldr	x8, [x8, _RSA_R_VALUE_MISSING@GOTPAGEOFF]
LBB0_10:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_11:
	mov	x0, x27
	ldp	x29, x30, [sp, #112]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #96]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #80]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #64]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #48]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #128
	ret
LBB0_12:
	mov	w26, #0
LBB0_13:
	bl	_BN_new
	mov	x19, x0
	bl	_BN_new
	mov	x21, x0
	bl	_BN_new
	mov	x22, x0
	bl	_BN_new
	mov	x23, x0
	bl	_BN_new
	mov	x20, x0
	bl	_BN_CTX_new
	mov	x24, x0
	stp	x22, x20, [sp, #16]             ; 16-byte Folded Spill
	cbz	x19, LBB0_21
; %bb.14:
	cbz	x21, LBB0_21
; %bb.15:
	cbz	x22, LBB0_21
; %bb.16:
	cbz	x23, LBB0_21
; %bb.17:
	cbz	x20, LBB0_21
; %bb.18:
	cbz	x24, LBB0_21
; %bb.19:
	str	x21, [sp]                       ; 8-byte Folded Spill
	ldr	x0, [x25, #64]
	bl	_BN_is_one
Lloh13:
	adrp	x20, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGE
Lloh14:
	ldr	x20, [x20, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGEOFF]
Lloh15:
	adrp	x21, _RSA_R_BAD_E_VALUE@GOTPAGE
Lloh16:
	ldr	x21, [x21, _RSA_R_BAD_E_VALUE@GOTPAGEOFF]
	cbz	x0, LBB0_22
; %bb.20:
	ldr	w0, [x20]
	ldr	w1, [x21]
	bl	_RSAerr
	mov	w27, #0
	b	LBB0_23
LBB0_21:
Lloh17:
	adrp	x8, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGE
Lloh18:
	ldr	x8, [x8, _RSA_F_RSA_CHECK_KEY_EX@GOTPAGEOFF]
Lloh19:
	ldr	w0, [x8]
Lloh20:
	adrp	x8, _ERR_R_MALLOC_FAILURE@GOTPAGE
Lloh21:
	ldr	x8, [x8, _ERR_R_MALLOC_FAILURE@GOTPAGEOFF]
Lloh22:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #-1
	b	LBB0_83
LBB0_22:
	mov	w27, #1
LBB0_23:
	ldr	x0, [x25, #64]
	bl	_BN_is_odd
	cbnz	w0, LBB0_25
; %bb.24:
	ldr	w0, [x20]
	ldr	w1, [x21]
	bl	_RSAerr
	mov	w27, #0
LBB0_25:
	ldr	x0, [x25, #32]
Lloh23:
	adrp	x22, _BN_prime_checks@GOTPAGE
Lloh24:
	ldr	x22, [x22, _BN_prime_checks@GOTPAGEOFF]
	ldr	w1, [x22]
	mov	x2, #0
	mov	x3, x28
	bl	_BN_is_prime_ex
	cmp	w0, #1
	b.eq	LBB0_27
; %bb.26:
	ldr	w0, [x20]
Lloh25:
	adrp	x8, _RSA_R_P_NOT_PRIME@GOTPAGE
Lloh26:
	ldr	x8, [x8, _RSA_R_P_NOT_PRIME@GOTPAGEOFF]
Lloh27:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_27:
	ldr	x0, [x25, #40]
	ldr	w1, [x22]
	mov	x2, #0
	mov	x3, x28
	bl	_BN_is_prime_ex
	cmp	w0, #1
	b.eq	LBB0_29
; %bb.28:
	ldr	w0, [x20]
Lloh28:
	adrp	x8, _RSA_R_Q_NOT_PRIME@GOTPAGE
Lloh29:
	ldr	x8, [x8, _RSA_R_Q_NOT_PRIME@GOTPAGEOFF]
Lloh30:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_29:
	str	x23, [sp, #8]                   ; 8-byte Folded Spill
	cbz	w26, LBB0_34
; %bb.30:
	mov	w23, #0
Lloh31:
	adrp	x21, _RSA_R_MP_R_NOT_PRIME@GOTPAGE
Lloh32:
	ldr	x21, [x21, _RSA_R_MP_R_NOT_PRIME@GOTPAGEOFF]
	b	LBB0_32
LBB0_31:                                ;   in Loop: Header=BB0_32 Depth=1
	add	w23, w23, #1
	cmp	w26, w23
	b.eq	LBB0_34
LBB0_32:                                ; =>This Inner Loop Header: Depth=1
	ldr	w0, [x25, #16]
	mov	x1, x23
	bl	_sk_RSA_PRIME_INFO_value
	ldr	x0, [x0, #8]
	ldr	w1, [x22]
	mov	x2, #0
	mov	x3, x28
	bl	_BN_is_prime_ex
	cmp	w0, #1
	b.eq	LBB0_31
; %bb.33:                               ;   in Loop: Header=BB0_32 Depth=1
	ldr	w0, [x20]
	ldr	w1, [x21]
	bl	_RSAerr
	mov	w27, #0
	b	LBB0_31
LBB0_34:
	ldp	x1, x2, [x25, #32]
	mov	x0, x19
	mov	x3, x24
	bl	_BN_mul
	cbz	w0, LBB0_69
; %bb.35:
	ldr	x21, [sp]                       ; 8-byte Folded Reload
	cbz	w26, LBB0_39
; %bb.36:
	mov	w23, #0
LBB0_37:                                ; =>This Inner Loop Header: Depth=1
	ldr	w0, [x25, #16]
	mov	x1, x23
	bl	_sk_RSA_PRIME_INFO_value
	ldr	x2, [x0, #8]
	mov	x0, x19
	mov	x1, x19
	mov	x3, x24
	bl	_BN_mul
	cbz	w0, LBB0_81
; %bb.38:                               ;   in Loop: Header=BB0_37 Depth=1
	add	w23, w23, #1
	cmp	w26, w23
	b.ne	LBB0_37
LBB0_39:
	ldr	x1, [x25, #72]
	mov	x0, x19
	bl	_BN_cmp
	cbz	x0, LBB0_41
; %bb.40:
Lloh33:
	adrp	x8, _RSA_R_N_DOES_NOT_EQUAL_P_Q@GOTPAGE
Lloh34:
	ldr	x8, [x8, _RSA_R_N_DOES_NOT_EQUAL_P_Q@GOTPAGEOFF]
	ldr	w0, [x20]
Lloh35:
	adrp	x9, _RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES@GOTPAGE
Lloh36:
	ldr	x9, [x9, _RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES@GOTPAGEOFF]
	cmp	w26, #0
	csel	x8, x8, x9, eq
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_41:
	ldr	x23, [x25, #32]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x19
	mov	x1, x23
	bl	_BN_sub
	cbz	w0, LBB0_81
; %bb.42:
	ldr	x23, [x25, #40]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x21
	mov	x1, x23
	bl	_BN_sub
	cbz	w0, LBB0_81
; %bb.43:
	ldr	x23, [sp, #8]                   ; 8-byte Folded Reload
	mov	x0, x23
	mov	x1, x19
	mov	x2, x21
	mov	x3, x24
	bl	_BN_mul
	cbz	w0, LBB0_82
; %bb.44:
	ldr	x0, [sp, #24]                   ; 8-byte Folded Reload
	mov	x1, x19
	mov	x2, x21
	mov	x3, x24
	bl	_BN_gcd
	cbz	w0, LBB0_82
; %bb.45:
	ldr	x22, [sp, #16]                  ; 8-byte Folded Reload
	cbz	w26, LBB0_51
; %bb.46:
	mov	w23, #0
LBB0_47:                                ; =>This Inner Loop Header: Depth=1
	ldr	w0, [x25, #16]
	mov	x1, x23
	bl	_sk_RSA_PRIME_INFO_value
	ldr	x28, [x0, #8]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x22
	mov	x1, x28
	bl	_BN_sub
	cbz	w0, LBB0_81
; %bb.48:                               ;   in Loop: Header=BB0_47 Depth=1
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	mov	x1, x0
	mov	x2, x22
	mov	x3, x24
	bl	_BN_mul
	cbz	w0, LBB0_81
; %bb.49:                               ;   in Loop: Header=BB0_47 Depth=1
	ldr	x0, [sp, #24]                   ; 8-byte Folded Reload
	mov	x1, x0
	mov	x2, x22
	mov	x3, x24
	bl	_BN_gcd
	cbz	w0, LBB0_81
; %bb.50:                               ;   in Loop: Header=BB0_47 Depth=1
	add	w23, w23, #1
	cmp	w26, w23
	b.ne	LBB0_47
LBB0_51:
	mov	x0, x22
	mov	x1, #0
	ldr	x23, [sp, #8]                   ; 8-byte Folded Reload
	mov	x2, x23
	ldr	x3, [sp, #24]                   ; 8-byte Folded Reload
	mov	x4, x24
	bl	_BN_div
	cbz	w0, LBB0_82
; %bb.52:
	ldr	x1, [x25, #8]
	ldr	x2, [x25, #64]
	mov	x0, x19
	mov	x3, x22
	mov	x4, x24
	bl	_BN_mod_mul
	cbz	w0, LBB0_82
; %bb.53:
	mov	x0, x19
	bl	_BN_is_one
	cbnz	x0, LBB0_55
; %bb.54:
	ldr	w0, [x20]
Lloh37:
	adrp	x8, _RSA_R_D_E_NOT_CONGRUENT_TO_1@GOTPAGE
Lloh38:
	ldr	x8, [x8, _RSA_R_D_E_NOT_CONGRUENT_TO_1@GOTPAGEOFF]
Lloh39:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_55:
	ldr	x8, [x25, #56]
	cbz	x8, LBB0_71
; %bb.56:
	ldr	x8, [x25, #48]
	cbz	x8, LBB0_71
; %bb.57:
	ldr	x8, [x25, #24]
	cbz	x8, LBB0_70
; %bb.58:
	ldr	x23, [x25, #32]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x19
	mov	x1, x23
	bl	_BN_sub
	cbz	w0, LBB0_81
; %bb.59:
	ldr	x1, [x25, #8]
	mov	x0, x21
	mov	x2, x19
	mov	x3, x24
	bl	_BN_mod
	cbz	w0, LBB0_81
; %bb.60:
	ldr	x1, [x25, #56]
	mov	x0, x21
	bl	_BN_cmp
	cbz	x0, LBB0_62
; %bb.61:
	ldr	w0, [x20]
Lloh40:
	adrp	x8, _RSA_R_DMP1_NOT_CONGRUENT_TO_D@GOTPAGE
Lloh41:
	ldr	x8, [x8, _RSA_R_DMP1_NOT_CONGRUENT_TO_D@GOTPAGEOFF]
Lloh42:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_62:
	ldr	x23, [x25, #40]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x19
	mov	x1, x23
	bl	_BN_sub
	cbz	w0, LBB0_69
; %bb.63:
	ldr	x1, [x25, #8]
	ldr	x0, [sp]                        ; 8-byte Folded Reload
	mov	x2, x19
	mov	x3, x24
	bl	_BN_mod
	cbz	w0, LBB0_69
; %bb.64:
	ldr	x1, [x25, #48]
	ldr	x0, [sp]                        ; 8-byte Folded Reload
	bl	_BN_cmp
	cbz	x0, LBB0_66
; %bb.65:
	ldr	w0, [x20]
Lloh43:
	adrp	x8, _RSA_R_DMQ1_NOT_CONGRUENT_TO_D@GOTPAGE
Lloh44:
	ldr	x8, [x8, _RSA_R_DMQ1_NOT_CONGRUENT_TO_D@GOTPAGEOFF]
Lloh45:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_66:
	ldp	x2, x1, [x25, #32]
	mov	x0, x19
	mov	x3, x24
	bl	_BN_mod_inverse
	cbz	w0, LBB0_69
; %bb.67:
	ldr	x1, [x25, #24]
	mov	x0, x19
	bl	_BN_cmp
	ldp	x21, x23, [sp]                  ; 16-byte Folded Reload
	cbz	x0, LBB0_71
; %bb.68:
	ldr	w0, [x20]
Lloh46:
	adrp	x8, _RSA_R_IQMP_NOT_INVERSE_OF_Q@GOTPAGE
Lloh47:
	ldr	x8, [x8, _RSA_R_IQMP_NOT_INVERSE_OF_Q@GOTPAGEOFF]
Lloh48:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
	b	LBB0_71
LBB0_69:
	mov	w27, #-1
	ldp	x21, x23, [sp]                  ; 16-byte Folded Reload
	b	LBB0_83
LBB0_70:
	ldr	x23, [sp, #8]                   ; 8-byte Folded Reload
LBB0_71:
	cbz	w26, LBB0_83
; %bb.72:
	mov	w1, #0
	b	LBB0_74
LBB0_73:                                ;   in Loop: Header=BB0_74 Depth=1
	mov	x1, x22
	add	w1, w22, #1
	cmp	w26, w1
	b.eq	LBB0_83
LBB0_74:                                ; =>This Inner Loop Header: Depth=1
	ldr	w0, [x25, #16]
	mov	x22, x1
	bl	_sk_RSA_PRIME_INFO_value
	mov	x28, x0
	ldr	x23, [x0, #8]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x19
	mov	x1, x23
	bl	_BN_sub
	cbz	w0, LBB0_81
; %bb.75:                               ;   in Loop: Header=BB0_74 Depth=1
	ldr	x1, [x25, #8]
	mov	x0, x21
	mov	x2, x19
	mov	x3, x24
	bl	_BN_mod
	cbz	w0, LBB0_81
; %bb.76:                               ;   in Loop: Header=BB0_74 Depth=1
	ldr	x1, [x28, #24]
	mov	x0, x21
	bl	_BN_cmp
	ldr	x23, [sp, #8]                   ; 8-byte Folded Reload
	cbz	x0, LBB0_78
; %bb.77:                               ;   in Loop: Header=BB0_74 Depth=1
	ldr	w0, [x20]
Lloh49:
	adrp	x8, _RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D@GOTPAGE
Lloh50:
	ldr	x8, [x8, _RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D@GOTPAGEOFF]
Lloh51:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
LBB0_78:                                ;   in Loop: Header=BB0_74 Depth=1
	ldp	x2, x1, [x28, #8]
	mov	x0, x19
	mov	x3, x24
	bl	_BN_mod_inverse
	cbz	w0, LBB0_82
; %bb.79:                               ;   in Loop: Header=BB0_74 Depth=1
	ldr	x1, [x28]
	mov	x0, x19
	bl	_BN_cmp
	cbz	x0, LBB0_73
; %bb.80:                               ;   in Loop: Header=BB0_74 Depth=1
	ldr	w0, [x20]
Lloh52:
	adrp	x8, _RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R@GOTPAGE
Lloh53:
	ldr	x8, [x8, _RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R@GOTPAGEOFF]
Lloh54:
	ldr	w1, [x8]
	bl	_RSAerr
	mov	w27, #0
	b	LBB0_73
LBB0_81:
	mov	w27, #-1
	ldr	x23, [sp, #8]                   ; 8-byte Folded Reload
	b	LBB0_83
LBB0_82:
	mov	w27, #-1
LBB0_83:
	mov	x0, x19
	bl	_BN_free
	mov	x0, x21
	bl	_BN_free
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_BN_free
	mov	x0, x23
	bl	_BN_free
	ldr	x0, [sp, #24]                   ; 8-byte Folded Reload
	bl	_BN_free
	mov	x0, x24
	bl	_BN_CTX_free
	b	LBB0_11
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGot	Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpLdrGotLdr	Lloh28, Lloh29, Lloh30
	.loh AdrpLdrGot	Lloh31, Lloh32
	.loh AdrpLdrGot	Lloh35, Lloh36
	.loh AdrpLdrGot	Lloh33, Lloh34
	.loh AdrpLdrGotLdr	Lloh37, Lloh38, Lloh39
	.loh AdrpLdrGotLdr	Lloh40, Lloh41, Lloh42
	.loh AdrpLdrGotLdr	Lloh43, Lloh44, Lloh45
	.loh AdrpLdrGotLdr	Lloh46, Lloh47, Lloh48
	.loh AdrpLdrGotLdr	Lloh49, Lloh50, Lloh51
	.loh AdrpLdrGotLdr	Lloh52, Lloh53, Lloh54
	.cfi_endproc
                                        ; -- End function
	.comm	_RSA_F_RSA_CHECK_KEY_EX,4,2     ; @RSA_F_RSA_CHECK_KEY_EX
	.comm	_RSA_R_VALUE_MISSING,4,2        ; @RSA_R_VALUE_MISSING
	.comm	_RSA_ASN1_VERSION_MULTI,8,3     ; @RSA_ASN1_VERSION_MULTI
	.comm	_RSA_R_INVALID_MULTI_PRIME_KEY,4,2 ; @RSA_R_INVALID_MULTI_PRIME_KEY
	.comm	_ERR_R_MALLOC_FAILURE,4,2       ; @ERR_R_MALLOC_FAILURE
	.comm	_RSA_R_BAD_E_VALUE,4,2          ; @RSA_R_BAD_E_VALUE
	.comm	_BN_prime_checks,4,2            ; @BN_prime_checks
	.comm	_RSA_R_P_NOT_PRIME,4,2          ; @RSA_R_P_NOT_PRIME
	.comm	_RSA_R_Q_NOT_PRIME,4,2          ; @RSA_R_Q_NOT_PRIME
	.comm	_RSA_R_MP_R_NOT_PRIME,4,2       ; @RSA_R_MP_R_NOT_PRIME
	.comm	_RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES,4,2 ; @RSA_R_N_DOES_NOT_EQUAL_PRODUCT_OF_PRIMES
	.comm	_RSA_R_N_DOES_NOT_EQUAL_P_Q,4,2 ; @RSA_R_N_DOES_NOT_EQUAL_P_Q
	.comm	_RSA_R_D_E_NOT_CONGRUENT_TO_1,4,2 ; @RSA_R_D_E_NOT_CONGRUENT_TO_1
	.comm	_RSA_R_DMP1_NOT_CONGRUENT_TO_D,4,2 ; @RSA_R_DMP1_NOT_CONGRUENT_TO_D
	.comm	_RSA_R_DMQ1_NOT_CONGRUENT_TO_D,4,2 ; @RSA_R_DMQ1_NOT_CONGRUENT_TO_D
	.comm	_RSA_R_IQMP_NOT_INVERSE_OF_Q,4,2 ; @RSA_R_IQMP_NOT_INVERSE_OF_Q
	.comm	_RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D,4,2 ; @RSA_R_MP_EXPONENT_NOT_CONGRUENT_TO_D
	.comm	_RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R,4,2 ; @RSA_R_MP_COEFFICIENT_NOT_INVERSE_OF_R
.subsections_via_symbols
