	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function higher_prime_number
_higher_prime_number:                   ## @higher_prime_number
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	leaq	_higher_prime_number.primes(%rip), %rcx
	leaq	_higher_prime_number.primes+160(%rip), %rax
	.p2align	4, 0x90
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rcx, %rdx
	movq	%rax, %rcx
	subq	%rdx, %rcx
	movq	%rcx, %rsi
	sarq	$3, %rsi
	shrq	$63, %rcx
	addq	%rsi, %rcx
	andq	$-2, %rcx
	leaq	(%rdx,%rcx,4), %rsi
	cmpq	%rdi, (%rdx,%rcx,4)
	leaq	8(%rdx,%rcx,4), %rcx
	cmovaq	%rdx, %rcx
	cmovaq	%rsi, %rax
	cmpq	%rax, %rcx
	jne	LBB0_1
## %bb.2:
	movq	(%rcx), %rcx
	xorl	%eax, %eax
	cmpq	%rdi, %rcx
	cmovaq	%rcx, %rax
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__const
	.p2align	4                               ## @higher_prime_number.primes
_higher_prime_number.primes:
	.quad	127                             ## 0x7f
	.quad	2039                            ## 0x7f7
	.quad	32749                           ## 0x7fed
	.quad	65521                           ## 0xfff1
	.quad	131071                          ## 0x1ffff
	.quad	262139                          ## 0x3fffb
	.quad	524287                          ## 0x7ffff
	.quad	1048573                         ## 0xffffd
	.quad	2097143                         ## 0x1ffff7
	.quad	4194301                         ## 0x3ffffd
	.quad	8388593                         ## 0x7ffff1
	.quad	16777213                        ## 0xfffffd
	.quad	33554393                        ## 0x1ffffd9
	.quad	67108859                        ## 0x3fffffb
	.quad	134217689                       ## 0x7ffffd9
	.quad	268435399                       ## 0xfffffc7
	.quad	536870909                       ## 0x1ffffffd
	.quad	1073741789                      ## 0x3fffffdd
	.quad	2147483647                      ## 0x7fffffff
	.quad	4294967291                      ## 0xfffffffb

	.no_dead_strip	_higher_prime_number
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function higher_prime_number
_higher_prime_number:                   ; @higher_prime_number
	.cfi_startproc
; %bb.0:
Lloh0:
	adrp	x8, _higher_prime_number.primes@PAGE
Lloh1:
	add	x8, x8, _higher_prime_number.primes@PAGEOFF
	add	x9, x8, #160
LBB0_1:                                 ; =>This Inner Loop Header: Depth=1
	sub	x10, x9, x8
	asr	x10, x10, #3
	cmp	x10, #0
	cinc	x10, x10, lt
	lsl	x10, x10, #2
	and	x10, x10, #0xfffffffffffffff8
	add	x10, x8, x10
	mov	x11, x10
	ldr	x12, [x11], #8
	cmp	x12, x0
	csel	x8, x8, x11, hi
	csel	x9, x10, x9, hi
	cmp	x8, x9
	b.ne	LBB0_1
; %bb.2:
	ldr	x8, [x8]
	cmp	x8, x0
	csel	x0, x8, xzr, hi
	ret
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__const
	.p2align	3                               ; @higher_prime_number.primes
_higher_prime_number.primes:
	.quad	127                             ; 0x7f
	.quad	2039                            ; 0x7f7
	.quad	32749                           ; 0x7fed
	.quad	65521                           ; 0xfff1
	.quad	131071                          ; 0x1ffff
	.quad	262139                          ; 0x3fffb
	.quad	524287                          ; 0x7ffff
	.quad	1048573                         ; 0xffffd
	.quad	2097143                         ; 0x1ffff7
	.quad	4194301                         ; 0x3ffffd
	.quad	8388593                         ; 0x7ffff1
	.quad	16777213                        ; 0xfffffd
	.quad	33554393                        ; 0x1ffffd9
	.quad	67108859                        ; 0x3fffffb
	.quad	134217689                       ; 0x7ffffd9
	.quad	268435399                       ; 0xfffffc7
	.quad	536870909                       ; 0x1ffffffd
	.quad	1073741789                      ; 0x3fffffdd
	.quad	2147483647                      ; 0x7fffffff
	.quad	4294967291                      ; 0xfffffffb

	.no_dead_strip	_higher_prime_number
.subsections_via_symbols
