	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function build_automaton
_build_automaton:                       ## @build_automaton
	.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	%rbx
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdi, %rbx
	movq	_NDFA_time@GOTPCREL(%rip), %rdi
	callq	_ticker_on
	movq	_progress_flag@GOTPCREL(%rip), %r14
	cmpq	$0, (%r14)
	je	LBB0_5
## %bb.1:
	movq	24(%rbx), %rax
	movq	_stderr@GOTPCREL(%rip), %r15
	movl	(%r15), %edi
	testq	%rax, %rax
	je	LBB0_2
## %bb.3:
	movq	(%rax), %rdx
	leaq	L_.str.1(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	jmp	LBB0_4
LBB0_2:
	leaq	L_.str(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_4:
	movl	(%r15), %edi
	leaq	L_.str.2(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_5:
	movq	%rbx, %rdi
	callq	_make_automaton
	cmpq	$0, (%r14)
	je	LBB0_7
## %bb.6:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.3(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_7:
	movq	_NDFA_time@GOTPCREL(%rip), %rdi
	callq	_ticker_off
	leaq	-32(%rbp), %rsi
	leaq	-28(%rbp), %rdx
	movq	%rbx, %rdi
	callq	_count_states_and_arcs
	movl	-32(%rbp), %eax
	movl	%eax, (%rbx)
	movl	-28(%rbp), %eax
	movl	%eax, 4(%rbx)
	movq	_NDFA_to_DFA_time@GOTPCREL(%rip), %rdi
	callq	_ticker_on
	cmpq	$0, (%r14)
	je	LBB0_12
## %bb.8:
	movq	24(%rbx), %rax
	movq	_stderr@GOTPCREL(%rip), %r15
	movl	(%r15), %edi
	testq	%rax, %rax
	je	LBB0_9
## %bb.10:
	movq	(%rax), %rdx
	leaq	L_.str.5(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	jmp	LBB0_11
LBB0_9:
	leaq	L_.str.4(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_11:
	movl	(%r15), %edi
	leaq	L_.str.2(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_12:
	movq	%rbx, %rdi
	callq	_NDFA_to_DFA
	cmpq	$0, (%r14)
	je	LBB0_14
## %bb.13:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.3(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_14:
	movq	_NDFA_to_DFA_time@GOTPCREL(%rip), %rdi
	callq	_ticker_off
	leaq	-32(%rbp), %rsi
	leaq	-28(%rbp), %rdx
	movq	%rbx, %rdi
	callq	_count_states_and_arcs
	movl	-32(%rbp), %eax
	movl	%eax, 8(%rbx)
	movl	-28(%rbp), %eax
	movl	%eax, 12(%rbx)
	movq	_no_minimization_flag@GOTPCREL(%rip), %rax
	cmpl	$0, (%rax)
	jne	LBB0_22
## %bb.15:
	movq	_minimize_time@GOTPCREL(%rip), %rdi
	callq	_ticker_on
	cmpq	$0, (%r14)
	je	LBB0_19
## %bb.16:
	movq	24(%rbx), %rax
	movq	_stderr@GOTPCREL(%rip), %rcx
	movl	(%rcx), %edi
	testq	%rax, %rax
	je	LBB0_17
## %bb.18:
	movq	(%rax), %rdx
	leaq	L_.str.7(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	jmp	LBB0_19
LBB0_17:
	leaq	L_.str.6(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_19:
	movq	%rbx, %rdi
	callq	_minimize_DFA
	cmpq	$0, (%r14)
	je	LBB0_21
## %bb.20:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.8(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_21:
	movq	_minimize_time@GOTPCREL(%rip), %rdi
	callq	_ticker_off
	leaq	-32(%rbp), %rsi
	leaq	-28(%rbp), %rdx
	movq	%rbx, %rdi
	callq	_count_states_and_arcs
	movl	-32(%rbp), %eax
	movl	%eax, 16(%rbx)
	movl	-28(%rbp), %eax
	movl	%eax, 20(%rbx)
LBB0_22:
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_NDFA_time,4,2                  ## @NDFA_time
	.comm	_progress_flag,8,3              ## @progress_flag
	.comm	_stderr,4,2                     ## @stderr
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Create anonymous automaton"

L_.str.1:                               ## @.str.1
	.asciz	"Create automaton `%s'"

L_.str.2:                               ## @.str.2
	.asciz	" (1 dot is 100 new states):"

L_.str.3:                               ## @.str.3
	.asciz	" done\n"

	.comm	_NDFA_to_DFA_time,4,2           ## @NDFA_to_DFA_time
L_.str.4:                               ## @.str.4
	.asciz	"Make anonymous DFA"

L_.str.5:                               ## @.str.5
	.asciz	"Make DFA `%s'"

	.comm	_no_minimization_flag,4,2       ## @no_minimization_flag
	.comm	_minimize_time,4,2              ## @minimize_time
L_.str.6:                               ## @.str.6
	.asciz	"Minimize anonymous DFA..."

L_.str.7:                               ## @.str.7
	.asciz	"Minimize DFA `%s'..."

L_.str.8:                               ## @.str.8
	.asciz	"done\n"

	.no_dead_strip	_build_automaton
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function build_automaton
_build_automaton:                       ; @build_automaton
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #64
	.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
	mov	x19, x0
Lloh0:
	adrp	x0, _NDFA_time@GOTPAGE
Lloh1:
	ldr	x0, [x0, _NDFA_time@GOTPAGEOFF]
	bl	_ticker_on
Lloh2:
	adrp	x21, _progress_flag@GOTPAGE
Lloh3:
	ldr	x21, [x21, _progress_flag@GOTPAGEOFF]
	ldr	x8, [x21]
Lloh4:
	adrp	x20, _stderr@GOTPAGE
Lloh5:
	ldr	x20, [x20, _stderr@GOTPAGEOFF]
	cbz	x8, LBB0_5
; %bb.1:
	ldr	x8, [x19, #24]
	ldr	w0, [x20]
	cbz	x8, LBB0_3
; %bb.2:
	ldr	x8, [x8]
	str	x8, [sp]
Lloh6:
	adrp	x1, l_.str.1@PAGE
Lloh7:
	add	x1, x1, l_.str.1@PAGEOFF
	b	LBB0_4
LBB0_3:
Lloh8:
	adrp	x1, l_.str@PAGE
Lloh9:
	add	x1, x1, l_.str@PAGEOFF
LBB0_4:
	bl	_fprintf
	ldr	w0, [x20]
Lloh10:
	adrp	x1, l_.str.2@PAGE
Lloh11:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
LBB0_5:
	mov	x0, x19
	bl	_make_automaton
	ldr	x8, [x21]
	cbz	x8, LBB0_7
; %bb.6:
	ldr	w0, [x20]
Lloh12:
	adrp	x1, l_.str.3@PAGE
Lloh13:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_fprintf
LBB0_7:
Lloh14:
	adrp	x0, _NDFA_time@GOTPAGE
Lloh15:
	ldr	x0, [x0, _NDFA_time@GOTPAGEOFF]
	bl	_ticker_off
	add	x1, sp, #12
	add	x2, sp, #8
	mov	x0, x19
	bl	_count_states_and_arcs
	ldp	w9, w8, [sp, #8]
	stp	w8, w9, [x19]
Lloh16:
	adrp	x0, _NDFA_to_DFA_time@GOTPAGE
Lloh17:
	ldr	x0, [x0, _NDFA_to_DFA_time@GOTPAGEOFF]
	bl	_ticker_on
	ldr	x8, [x21]
	cbz	x8, LBB0_12
; %bb.8:
	ldr	x8, [x19, #24]
	ldr	w0, [x20]
	cbz	x8, LBB0_10
; %bb.9:
	ldr	x8, [x8]
	str	x8, [sp]
Lloh18:
	adrp	x1, l_.str.5@PAGE
Lloh19:
	add	x1, x1, l_.str.5@PAGEOFF
	b	LBB0_11
LBB0_10:
Lloh20:
	adrp	x1, l_.str.4@PAGE
Lloh21:
	add	x1, x1, l_.str.4@PAGEOFF
LBB0_11:
	bl	_fprintf
	ldr	w0, [x20]
Lloh22:
	adrp	x1, l_.str.2@PAGE
Lloh23:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
LBB0_12:
	mov	x0, x19
	bl	_NDFA_to_DFA
	ldr	x8, [x21]
	cbz	x8, LBB0_14
; %bb.13:
	ldr	w0, [x20]
Lloh24:
	adrp	x1, l_.str.3@PAGE
Lloh25:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_fprintf
LBB0_14:
Lloh26:
	adrp	x0, _NDFA_to_DFA_time@GOTPAGE
Lloh27:
	ldr	x0, [x0, _NDFA_to_DFA_time@GOTPAGEOFF]
	bl	_ticker_off
	add	x1, sp, #12
	add	x2, sp, #8
	mov	x0, x19
	bl	_count_states_and_arcs
	ldp	w9, w8, [sp, #8]
	stp	w8, w9, [x19, #8]
Lloh28:
	adrp	x8, _no_minimization_flag@GOTPAGE
Lloh29:
	ldr	x8, [x8, _no_minimization_flag@GOTPAGEOFF]
Lloh30:
	ldr	w8, [x8]
	cbnz	w8, LBB0_23
; %bb.15:
Lloh31:
	adrp	x0, _minimize_time@GOTPAGE
Lloh32:
	ldr	x0, [x0, _minimize_time@GOTPAGEOFF]
	bl	_ticker_on
	ldr	x8, [x21]
	cbz	x8, LBB0_20
; %bb.16:
	ldr	x8, [x19, #24]
	ldr	w0, [x20]
	cbz	x8, LBB0_18
; %bb.17:
	ldr	x8, [x8]
	str	x8, [sp]
Lloh33:
	adrp	x1, l_.str.7@PAGE
Lloh34:
	add	x1, x1, l_.str.7@PAGEOFF
	b	LBB0_19
LBB0_18:
Lloh35:
	adrp	x1, l_.str.6@PAGE
Lloh36:
	add	x1, x1, l_.str.6@PAGEOFF
LBB0_19:
	bl	_fprintf
LBB0_20:
	mov	x0, x19
	bl	_minimize_DFA
	ldr	x8, [x21]
	cbz	x8, LBB0_22
; %bb.21:
	ldr	w0, [x20]
Lloh37:
	adrp	x1, l_.str.8@PAGE
Lloh38:
	add	x1, x1, l_.str.8@PAGEOFF
	bl	_fprintf
LBB0_22:
Lloh39:
	adrp	x0, _minimize_time@GOTPAGE
Lloh40:
	ldr	x0, [x0, _minimize_time@GOTPAGEOFF]
	bl	_ticker_off
	add	x1, sp, #12
	add	x2, sp, #8
	mov	x0, x19
	bl	_count_states_and_arcs
	ldp	w9, w8, [sp, #8]
	stp	w8, w9, [x19, #16]
LBB0_23:
	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
	add	sp, sp, #64
	ret
	.loh AdrpLdrGot	Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpAdd	Lloh22, Lloh23
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh28, Lloh29, Lloh30
	.loh AdrpLdrGot	Lloh26, Lloh27
	.loh AdrpLdrGot	Lloh31, Lloh32
	.loh AdrpAdd	Lloh33, Lloh34
	.loh AdrpAdd	Lloh35, Lloh36
	.loh AdrpAdd	Lloh37, Lloh38
	.loh AdrpLdrGot	Lloh39, Lloh40
	.cfi_endproc
                                        ; -- End function
	.comm	_NDFA_time,4,2                  ; @NDFA_time
	.comm	_progress_flag,8,3              ; @progress_flag
	.comm	_stderr,4,2                     ; @stderr
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Create anonymous automaton"

l_.str.1:                               ; @.str.1
	.asciz	"Create automaton `%s'"

l_.str.2:                               ; @.str.2
	.asciz	" (1 dot is 100 new states):"

l_.str.3:                               ; @.str.3
	.asciz	" done\n"

	.comm	_NDFA_to_DFA_time,4,2           ; @NDFA_to_DFA_time
l_.str.4:                               ; @.str.4
	.asciz	"Make anonymous DFA"

l_.str.5:                               ; @.str.5
	.asciz	"Make DFA `%s'"

	.comm	_no_minimization_flag,4,2       ; @no_minimization_flag
	.comm	_minimize_time,4,2              ; @minimize_time
l_.str.6:                               ; @.str.6
	.asciz	"Minimize anonymous DFA..."

l_.str.7:                               ; @.str.7
	.asciz	"Minimize DFA `%s'..."

l_.str.8:                               ; @.str.8
	.asciz	"done\n"

	.no_dead_strip	_build_automaton
.subsections_via_symbols
