	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function witness
_witness:                               ## @witness
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%r9, %rax
	movl	%r8d, %r13d
	movq	%rdx, %rbx
	movq	%rsi, %r12
	movq	%rdi, %r14
	movq	16(%rbp), %r9
	movq	%rdi, %rsi
	movq	%rcx, %rdx
	movq	%r12, %rcx
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%rax, %r8
	callq	_BN_mod_exp_mont
	testl	%eax, %eax
	je	LBB0_3
## %bb.1:
	movq	%r14, %rdi
	callq	_BN_is_one
	testq	%rax, %rax
	je	LBB0_5
LBB0_2:
	xorl	%r15d, %r15d
	jmp	LBB0_4
LBB0_5:
	movq	%r14, %rdi
	movq	%rbx, %rsi
	callq	_BN_cmp
	testq	%rax, %rax
	je	LBB0_2
## %bb.6:
	movl	$1, %r15d
	.p2align	4, 0x90
LBB0_7:                                 ## =>This Inner Loop Header: Depth=1
	decl	%r13d
	je	LBB0_4
## %bb.8:                               ##   in Loop: Header=BB0_7 Depth=1
	movq	%r14, %rdi
	movq	%r14, %rsi
	movq	%r14, %rdx
	movq	%r12, %rcx
	movq	-48(%rbp), %r8                  ## 8-byte Reload
	callq	_BN_mod_mul
	testl	%eax, %eax
	je	LBB0_3
## %bb.9:                               ##   in Loop: Header=BB0_7 Depth=1
	movq	%r14, %rdi
	callq	_BN_is_one
	testq	%rax, %rax
	jne	LBB0_4
## %bb.10:                              ##   in Loop: Header=BB0_7 Depth=1
	movq	%r14, %rdi
	movq	%rbx, %rsi
	callq	_BN_cmp
	testq	%rax, %rax
	jne	LBB0_7
	jmp	LBB0_2
LBB0_3:
	movl	$-1, %r15d
LBB0_4:
	movl	%r15d, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_witness
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function witness
_witness:                               ; @witness
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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
	mov	x19, x5
	mov	x20, x4
	mov	x21, x2
	mov	x22, x1
	mov	x23, x0
	mov	x1, x0
	mov	x2, x3
	mov	x3, x22
	mov	x4, x5
	mov	x5, x6
	bl	_BN_mod_exp_mont
	cbz	w0, LBB0_7
; %bb.1:
	mov	x0, x23
	bl	_BN_is_one
	cbz	x0, LBB0_6
; %bb.2:
	mov	w0, #0
	b	LBB0_8
LBB0_3:                                 ;   in Loop: Header=BB0_6 Depth=1
	subs	w20, w20, #1
	b.eq	LBB0_9
; %bb.4:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x23
	mov	x1, x23
	mov	x2, x23
	mov	x3, x22
	mov	x4, x19
	bl	_BN_mod_mul
	cbz	w0, LBB0_7
; %bb.5:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x23
	bl	_BN_is_one
	cbnz	x0, LBB0_9
LBB0_6:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x23
	mov	x1, x21
	bl	_BN_cmp
	cbnz	x0, LBB0_3
	b	LBB0_8
LBB0_7:
	mov	w0, #-1
LBB0_8:
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
LBB0_9:
	mov	w0, #1
	b	LBB0_8
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_witness
.subsections_via_symbols
