	.file	"18306.c"
	.intel_syntax noprefix
	.text
	.globl	minimize_exact
	.type	minimize_exact, @function
minimize_exact:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	QWORD PTR -24[rbp], rdx
	mov	DWORD PTR -28[rbp], ecx
	mov	ecx, DWORD PTR -28[rbp]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -8[rbp]
	mov	r8d, 0
	mov	rdi, rax
	call	do_minimize
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	minimize_exact, .-minimize_exact
	.globl	minimize_exact_literals
	.type	minimize_exact_literals, @function
minimize_exact_literals:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	QWORD PTR -24[rbp], rdx
	mov	DWORD PTR -28[rbp], ecx
	mov	ecx, DWORD PTR -28[rbp]
	mov	rdx, QWORD PTR -24[rbp]
	mov	rsi, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -8[rbp]
	mov	r8d, 1
	mov	rdi, rax
	call	do_minimize
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	minimize_exact_literals, .-minimize_exact_literals
	.section	.rodata
.LC0:
	.string	"PRIMES     "
.LC1:
	.string	"ESSENTIALS "
.LC2:
	.string	"PI-TABLE   "
.LC3:
	.string	"MINCOV     "
	.text
	.type	do_minimize, @function
do_minimize:
.LFB2:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 184
	.cfi_offset 3, -24
	mov	QWORD PTR -168[rbp], rdi
	mov	QWORD PTR -176[rbp], rsi
	mov	QWORD PTR -184[rbp], rdx
	mov	DWORD PTR -188[rbp], ecx
	mov	DWORD PTR -192[rbp], r8d
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	eax, DWORD PTR debug[rip]
	mov	DWORD PTR -148[rbp], eax
	mov	eax, DWORD PTR debug[rip]
	and	eax, 1024
	test	eax, eax
	je	.L6
	mov	eax, DWORD PTR debug[rip]
	or	eax, 2080
	mov	DWORD PTR debug[rip], eax
.L6:
	mov	eax, DWORD PTR debug[rip]
	and	eax, 2048
	test	eax, eax
	je	.L7
	lea	rdi, _iob[rip+32]
	mov	eax, 0
	call	setlinebuf@PLT
.L7:
	mov	eax, DWORD PTR debug[rip]
	shr	eax, 9
	and	eax, 4
	mov	DWORD PTR -144[rbp], eax
	cmp	DWORD PTR -188[rbp], 0
	sete	al
	movzx	eax, al
	mov	DWORD PTR -140[rbp], eax
	mov	eax, 0
	call	util_cpu_time@PLT
	mov	QWORD PTR -80[rbp], rax
	mov	rdx, QWORD PTR -176[rbp]
	mov	rax, QWORD PTR -168[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	mov	eax, 0
	call	cube2list@PLT
	mov	rdi, rax
	mov	eax, 0
	call	primes_consensus@PLT
	mov	QWORD PTR -168[rbp], rax
	mov	eax, DWORD PTR trace[rip]
	test	eax, eax
	je	.L8
	mov	eax, 0
	call	util_cpu_time@PLT
	sub	rax, QWORD PTR -80[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	lea	rsi, .LC0[rip]
	mov	rdi, rax
	mov	eax, 0
	call	print_trace@PLT
.L8:
	mov	eax, 0
	call	util_cpu_time@PLT
	mov	QWORD PTR -72[rbp], rax
	lea	rdi, -120[rbp]
	lea	rcx, -128[rbp]
	lea	rdx, -136[rbp]
	mov	rsi, QWORD PTR -176[rbp]
	mov	rax, QWORD PTR -168[rbp]
	mov	r8, rdi
	mov	rdi, rax
	mov	eax, 0
	call	irred_split_cover@PLT
	mov	eax, DWORD PTR trace[rip]
	test	eax, eax
	je	.L9
	mov	eax, 0
	call	util_cpu_time@PLT
	sub	rax, QWORD PTR -72[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -136[rbp]
	lea	rsi, .LC1[rip]
	mov	rdi, rax
	mov	eax, 0
	call	print_trace@PLT
.L9:
	mov	eax, 0
	call	util_cpu_time@PLT
	mov	QWORD PTR -64[rbp], rax
	mov	rdx, QWORD PTR -120[rbp]
	mov	rcx, QWORD PTR -136[rbp]
	mov	rax, QWORD PTR -176[rbp]
	mov	rsi, rcx
	mov	rdi, rax
	mov	eax, 0
	call	irred_derive_table@PLT
	mov	QWORD PTR -56[rbp], rax
	mov	eax, DWORD PTR trace[rip]
	test	eax, eax
	je	.L10
	mov	eax, 0
	call	util_cpu_time@PLT
	sub	rax, QWORD PTR -64[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -120[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	print_trace@PLT
.L10:
	cmp	DWORD PTR -192[rbp], 0
	je	.L11
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 12[rax]
	cdqe
	sal	eax, 2
	mov	edi, eax
	call	malloc@PLT
	mov	QWORD PTR -96[rbp], rax
	mov	rax, QWORD PTR -120[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -104[rbp], rax
	mov	rax, QWORD PTR -120[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -120[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -104[rbp]
	add	rax, rdx
	mov	QWORD PTR -48[rbp], rax
	jmp	.L12
.L13:
	mov	ebx, DWORD PTR cube[rip]
	mov	rax, QWORD PTR -104[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	set_ord@PLT
	mov	ecx, eax
	mov	rax, QWORD PTR -104[rbp]
	mov	eax, DWORD PTR [rax]
	shr	eax, 16
	mov	eax, eax
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -96[rbp]
	add	rax, rdx
	sub	ebx, ecx
	mov	edx, ebx
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -120[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	QWORD PTR -104[rbp], rax
.L12:
	mov	rax, QWORD PTR -104[rbp]
	cmp	rax, QWORD PTR -48[rbp]
	jb	.L13
	jmp	.L14
.L11:
	mov	QWORD PTR -96[rbp], 0
.L14:
	mov	eax, 0
	call	util_cpu_time@PLT
	mov	QWORD PTR -40[rbp], rax
	mov	ecx, DWORD PTR -144[rbp]
	mov	edx, DWORD PTR -140[rbp]
	mov	rsi, QWORD PTR -96[rbp]
	mov	rax, QWORD PTR -56[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sm_minimum_cover@PLT
	mov	QWORD PTR -32[rbp], rax
	mov	eax, DWORD PTR trace[rip]
	test	eax, eax
	je	.L15
	mov	eax, 0
	call	util_cpu_time@PLT
	sub	rax, QWORD PTR -40[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	lea	rsi, .LC3[rip]
	mov	rdi, rax
	mov	eax, 0
	call	print_trace@PLT
.L15:
	cmp	QWORD PTR -96[rbp], 0
	je	.L16
	cmp	QWORD PTR -96[rbp], 0
	je	.L16
	mov	rax, QWORD PTR -96[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	QWORD PTR -96[rbp], 0
.L16:
	mov	eax, DWORD PTR debug[rip]
	and	eax, 1024
	test	eax, eax
	je	.L18
	mov	rdx, QWORD PTR -120[rbp]
	mov	rsi, QWORD PTR -128[rbp]
	mov	rax, QWORD PTR -136[rbp]
	mov	rcx, QWORD PTR -56[rbp]
	mov	rdi, rax
	call	dump_irredundant
.L18:
	mov	eax, DWORD PTR cube[rip]
	mov	esi, eax
	mov	edi, 100
	mov	eax, 0
	call	sf_new@PLT
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -136[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -104[rbp], rax
	mov	rax, QWORD PTR -136[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -136[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -104[rbp]
	add	rax, rdx
	mov	QWORD PTR -48[rbp], rax
	jmp	.L19
.L20:
	mov	rdx, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR -112[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	mov	eax, 0
	call	sf_addset@PLT
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -136[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	QWORD PTR -104[rbp], rax
.L19:
	mov	rax, QWORD PTR -104[rbp]
	cmp	rax, QWORD PTR -48[rbp]
	jb	.L20
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	QWORD PTR -88[rbp], rax
	jmp	.L21
.L22:
	mov	rax, QWORD PTR -168[rbp]
	mov	rcx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -88[rbp]
	mov	eax, DWORD PTR 4[rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	rdx, [rcx+rax]
	mov	rax, QWORD PTR -112[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	mov	eax, 0
	call	sf_addset@PLT
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -88[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -88[rbp], rax
.L21:
	cmp	QWORD PTR -88[rbp], 0
	jne	.L22
	mov	rax, QWORD PTR -136[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sf_free@PLT
	mov	rax, QWORD PTR -128[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sf_free@PLT
	mov	rax, QWORD PTR -120[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sf_free@PLT
	mov	rax, QWORD PTR -56[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sm_free@PLT
	mov	rax, QWORD PTR -32[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sm_row_free@PLT
	mov	rax, QWORD PTR -168[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	sf_free@PLT
	mov	eax, DWORD PTR debug[rip]
	and	eax, -10273
	mov	DWORD PTR debug[rip], eax
	mov	eax, DWORD PTR skip_make_sparse[rip]
	test	eax, eax
	jne	.L23
	cmp	QWORD PTR -184[rbp], 0
	je	.L23
	mov	rdx, QWORD PTR -184[rbp]
	mov	rcx, QWORD PTR -176[rbp]
	mov	rax, QWORD PTR -112[rbp]
	mov	rsi, rcx
	mov	rdi, rax
	mov	eax, 0
	call	make_sparse@PLT
	mov	QWORD PTR -112[rbp], rax
.L23:
	mov	eax, DWORD PTR -148[rbp]
	mov	DWORD PTR debug[rip], eax
	mov	rax, QWORD PTR -112[rbp]
	mov	rbx, QWORD PTR -24[rbp]
	sub	rbx, QWORD PTR fs:40
	je	.L25
	call	__stack_chk_fail@PLT
.L25:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	do_minimize, .-do_minimize
	.section	.rodata
.LC4:
	.string	"(stdin)"
.LC5:
	.string	"%s.primes"
.LC6:
	.string	"w"
.LC7:
	.string	"espresso: Unable to open %s\n"
.LC8:
	.string	"%s.pi"
.LC9:
	.string	"# Essential primes are\n"
.LC10:
	.string	"%s\n"
	.align 8
.LC11:
	.string	"# Totally redundant primes are\n"
	.align 8
.LC12:
	.string	"# Partially redundant primes are\n"
	.text
	.type	dump_irredundant, @function
dump_irredundant:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 80
	mov	QWORD PTR -56[rbp], rdi
	mov	QWORD PTR -64[rbp], rsi
	mov	QWORD PTR -72[rbp], rdx
	mov	QWORD PTR -80[rbp], rcx
	mov	rax, QWORD PTR filename[rip]
	test	rax, rax
	je	.L27
	mov	rax, QWORD PTR filename[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	call	strcmp@PLT
	test	eax, eax
	jne	.L28
.L27:
	lea	rax, _iob[rip+32]
	mov	QWORD PTR -40[rbp], rax
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR -48[rbp], rax
	jmp	.L29
.L28:
	mov	rax, QWORD PTR filename[rip]
	mov	rdi, rax
	call	strlen@PLT
	add	eax, 20
	mov	edi, eax
	call	malloc@PLT
	mov	QWORD PTR -24[rbp], rax
	mov	rdx, QWORD PTR filename[rip]
	mov	rax, QWORD PTR -24[rbp]
	lea	rsi, .LC5[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	mov	rax, QWORD PTR -24[rbp]
	lea	rsi, .LC6[rip]
	mov	rdi, rax
	call	fopen@PLT
	mov	QWORD PTR -40[rbp], rax
	cmp	QWORD PTR -40[rbp], 0
	jne	.L30
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, rax
	lea	rsi, .LC7[rip]
	lea	rdi, _iob[rip+64]
	mov	eax, 0
	call	fprintf@PLT
	lea	rax, _iob[rip+32]
	mov	QWORD PTR -40[rbp], rax
.L30:
	mov	rdx, QWORD PTR filename[rip]
	mov	rax, QWORD PTR -24[rbp]
	lea	rsi, .LC8[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	mov	rax, QWORD PTR -24[rbp]
	lea	rsi, .LC6[rip]
	mov	rdi, rax
	call	fopen@PLT
	mov	QWORD PTR -48[rbp], rax
	cmp	QWORD PTR -48[rbp], 0
	jne	.L31
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, rax
	lea	rsi, .LC7[rip]
	lea	rdi, _iob[rip+64]
	mov	eax, 0
	call	fprintf@PLT
	lea	rax, _iob[rip+32]
	mov	QWORD PTR -48[rbp], rax
.L31:
	cmp	QWORD PTR -24[rbp], 0
	je	.L29
	mov	rax, QWORD PTR -24[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	QWORD PTR -24[rbp], 0
.L29:
	mov	eax, 0
	call	new_PLA@PLT
	mov	QWORD PTR -16[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	PLA_labels@PLT
	mov	rcx, QWORD PTR -16[rbp]
	mov	rax, QWORD PTR -40[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	mov	eax, 0
	call	fpr_header@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	free_PLA@PLT
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 23
	mov	esi, 1
	lea	rdi, .LC9[rip]
	call	fwrite@PLT
	mov	rax, QWORD PTR -56[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -32[rbp]
	add	rax, rdx
	mov	QWORD PTR -8[rbp], rax
	jmp	.L33
.L34:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	pc1@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC10[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	QWORD PTR -32[rbp], rax
.L33:
	mov	rax, QWORD PTR -32[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	jb	.L34
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 31
	mov	esi, 1
	lea	rdi, .LC11[rip]
	call	fwrite@PLT
	mov	rax, QWORD PTR -64[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -64[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -64[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -32[rbp]
	add	rax, rdx
	mov	QWORD PTR -8[rbp], rax
	jmp	.L35
.L36:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	pc1@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC10[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	rax, QWORD PTR -64[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	QWORD PTR -32[rbp], rax
.L35:
	mov	rax, QWORD PTR -32[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	jb	.L36
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 33
	mov	esi, 1
	lea	rdi, .LC12[rip]
	call	fwrite@PLT
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR 24[rax]
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -72[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -72[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -32[rbp]
	add	rax, rdx
	mov	QWORD PTR -8[rbp], rax
	jmp	.L37
.L38:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	pc1@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC10[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	rax, QWORD PTR -72[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	QWORD PTR -32[rbp], rax
.L37:
	mov	rax, QWORD PTR -32[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	jb	.L38
	lea	rax, _iob[rip+32]
	cmp	QWORD PTR -40[rbp], rax
	je	.L39
	mov	rax, QWORD PTR -40[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	fclose@PLT
.L39:
	mov	rdx, QWORD PTR -80[rbp]
	mov	rax, QWORD PTR -48[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	mov	eax, 0
	call	sm_write@PLT
	lea	rax, _iob[rip+32]
	cmp	QWORD PTR -48[rbp], rax
	je	.L41
	mov	rax, QWORD PTR -48[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	fclose@PLT
.L41:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	dump_irredundant, .-dump_irredundant
	.ident	"GCC: (Ubuntu 10.5.0-1ubuntu1~20.04) 10.5.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 6
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"18306.c"
	.text
	.align	2
	.global	minimize_exact
	.syntax unified
	.arm
	.fpu softvfp
	.type	minimize_exact, %function
minimize_exact:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	str	r2, [fp, #-16]
	str	r3, [fp, #-20]
	mov	r3, #0
	str	r3, [sp]
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-16]
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	do_minimize
	mov	r3, r0
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	minimize_exact, .-minimize_exact
	.align	2
	.global	minimize_exact_literals
	.syntax unified
	.arm
	.fpu softvfp
	.type	minimize_exact_literals, %function
minimize_exact_literals:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	str	r2, [fp, #-16]
	str	r3, [fp, #-20]
	mov	r3, #1
	str	r3, [sp]
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-16]
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	do_minimize
	mov	r3, r0
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	minimize_exact_literals, .-minimize_exact_literals
	.section	.rodata
	.align	2
.LC0:
	.ascii	"PRIMES     \000"
	.align	2
.LC1:
	.ascii	"ESSENTIALS \000"
	.align	2
.LC2:
	.ascii	"PI-TABLE   \000"
	.align	2
.LC3:
	.ascii	"MINCOV     \000"
	.align	2
.LC4:
	.word	__stack_chk_guard
	.text
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	do_minimize, %function
do_minimize:
	@ args = 4, pretend = 0, frame = 88
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #100
	str	r0, [fp, #-88]
	str	r1, [fp, #-92]
	str	r2, [fp, #-96]
	str	r3, [fp, #-100]
	ldr	r3, .L26
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	ldr	r3, .L26+4
	ldr	r3, [r3]
	str	r3, [fp, #-56]
	ldr	r3, .L26+4
	ldr	r3, [r3]
	and	r3, r3, #1024
	cmp	r3, #0
	beq	.L6
	ldr	r3, .L26+4
	ldr	r3, [r3]
	orr	r3, r3, #2080
	ldr	r2, .L26+4
	str	r3, [r2]
.L6:
	ldr	r3, .L26+4
	ldr	r3, [r3]
	and	r3, r3, #2048
	cmp	r3, #0
	beq	.L7
	ldr	r0, .L26+8
	bl	setlinebuf
.L7:
	ldr	r3, .L26+4
	ldr	r3, [r3]
	lsr	r3, r3, #9
	and	r3, r3, #4
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-100]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	str	r3, [fp, #-48]
	bl	util_cpu_time
	str	r0, [fp, #-44]
	ldr	r1, [fp, #-92]
	ldr	r0, [fp, #-88]
	bl	cube2list
	mov	r3, r0
	mov	r0, r3
	bl	primes_consensus
	str	r0, [fp, #-88]
	ldr	r3, .L26+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L8
	bl	util_cpu_time
	mov	r2, r0
	ldr	r3, [fp, #-44]
	sub	r3, r2, r3
	mov	r2, r3
	ldr	r1, .L26+16
	ldr	r0, [fp, #-88]
	bl	print_trace
.L8:
	bl	util_cpu_time
	str	r0, [fp, #-40]
	sub	r1, fp, #80
	sub	r2, fp, #84
	sub	r3, fp, #76
	str	r3, [sp]
	mov	r3, r1
	ldr	r1, [fp, #-92]
	ldr	r0, [fp, #-88]
	bl	irred_split_cover
	ldr	r3, .L26+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L9
	ldr	r4, [fp, #-84]
	bl	util_cpu_time
	mov	r2, r0
	ldr	r3, [fp, #-40]
	sub	r3, r2, r3
	mov	r2, r3
	ldr	r1, .L26+20
	mov	r0, r4
	bl	print_trace
.L9:
	bl	util_cpu_time
	str	r0, [fp, #-36]
	ldr	r3, [fp, #-84]
	ldr	r2, [fp, #-76]
	mov	r1, r3
	ldr	r0, [fp, #-92]
	bl	irred_derive_table
	str	r0, [fp, #-32]
	ldr	r3, .L26+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L10
	ldr	r4, [fp, #-76]
	bl	util_cpu_time
	mov	r2, r0
	ldr	r3, [fp, #-36]
	sub	r3, r2, r3
	mov	r2, r3
	ldr	r1, .L26+24
	mov	r0, r4
	bl	print_trace
.L10:
	ldr	r3, [fp, #4]
	cmp	r3, #0
	beq	.L11
	ldr	r3, [fp, #-88]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-76]
	ldr	r3, [r3, #20]
	str	r3, [fp, #-68]
	ldr	r3, [fp, #-76]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-76]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	ldr	r2, [fp, #-68]
	add	r3, r2, r3
	str	r3, [fp, #-28]
	b	.L12
.L13:
	ldr	r3, .L26+28
	ldr	r4, [r3]
	ldr	r0, [fp, #-68]
	bl	set_ord
	mov	r1, r0
	ldr	r3, [fp, #-68]
	ldr	r3, [r3]
	lsr	r3, r3, #16
	lsl	r3, r3, #2
	ldr	r2, [fp, #-64]
	add	r3, r2, r3
	sub	r2, r4, r1
	str	r2, [r3]
	ldr	r3, [fp, #-76]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-68]
	add	r3, r2, r3
	str	r3, [fp, #-68]
.L12:
	ldr	r2, [fp, #-68]
	ldr	r3, [fp, #-28]
	cmp	r2, r3
	bcc	.L13
	b	.L14
.L11:
	mov	r3, #0
	str	r3, [fp, #-64]
.L14:
	bl	util_cpu_time
	str	r0, [fp, #-24]
	ldr	r3, [fp, #-52]
	ldr	r2, [fp, #-48]
	ldr	r1, [fp, #-64]
	ldr	r0, [fp, #-32]
	bl	sm_minimum_cover
	str	r0, [fp, #-20]
	ldr	r3, .L26+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L15
	bl	util_cpu_time
	mov	r2, r0
	ldr	r3, [fp, #-24]
	sub	r3, r2, r3
	mov	r2, r3
	ldr	r1, .L26+32
	ldr	r0, [fp, #-88]
	bl	print_trace
.L15:
	ldr	r3, [fp, #-64]
	cmp	r3, #0
	beq	.L16
	ldr	r3, [fp, #-64]
	cmp	r3, #0
	beq	.L16
	ldr	r0, [fp, #-64]
	bl	free
	mov	r3, #0
	str	r3, [fp, #-64]
.L16:
	ldr	r3, .L26+4
	ldr	r3, [r3]
	and	r3, r3, #1024
	cmp	r3, #0
	beq	.L18
	ldr	r0, [fp, #-84]
	ldr	r1, [fp, #-80]
	ldr	r2, [fp, #-76]
	ldr	r3, [fp, #-32]
	bl	dump_irredundant
.L18:
	ldr	r3, .L26+28
	ldr	r3, [r3]
	mov	r1, r3
	mov	r0, #100
	bl	sf_new
	str	r0, [fp, #-72]
	ldr	r3, [fp, #-84]
	ldr	r3, [r3, #20]
	str	r3, [fp, #-68]
	ldr	r3, [fp, #-84]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-84]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	ldr	r2, [fp, #-68]
	add	r3, r2, r3
	str	r3, [fp, #-28]
	b	.L19
.L20:
	ldr	r1, [fp, #-68]
	ldr	r0, [fp, #-72]
	bl	sf_addset
	str	r0, [fp, #-72]
	ldr	r3, [fp, #-84]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-68]
	add	r3, r2, r3
	str	r3, [fp, #-68]
.L19:
	ldr	r2, [fp, #-68]
	ldr	r3, [fp, #-28]
	cmp	r2, r3
	bcc	.L20
	ldr	r3, [fp, #-20]
	ldr	r3, [r3, #12]
	str	r3, [fp, #-60]
	b	.L21
.L22:
	ldr	r3, [fp, #-88]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-88]
	ldr	r3, [r3]
	ldr	r1, [fp, #-60]
	ldr	r1, [r1, #4]
	mul	r3, r1, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r1, r3
	ldr	r0, [fp, #-72]
	bl	sf_addset
	str	r0, [fp, #-72]
	ldr	r3, [fp, #-60]
	ldr	r3, [r3, #16]
	str	r3, [fp, #-60]
.L21:
	ldr	r3, [fp, #-60]
	cmp	r3, #0
	bne	.L22
	ldr	r3, [fp, #-84]
	mov	r0, r3
	bl	sf_free
	ldr	r3, [fp, #-80]
	mov	r0, r3
	bl	sf_free
	ldr	r3, [fp, #-76]
	mov	r0, r3
	bl	sf_free
	ldr	r0, [fp, #-32]
	bl	sm_free
	ldr	r0, [fp, #-20]
	bl	sm_row_free
	ldr	r0, [fp, #-88]
	bl	sf_free
	ldr	r3, .L26+4
	ldr	r3, [r3]
	bic	r3, r3, #10240
	bic	r3, r3, #32
	ldr	r2, .L26+4
	str	r3, [r2]
	ldr	r3, .L26+36
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L23
	ldr	r3, [fp, #-96]
	cmp	r3, #0
	beq	.L23
	ldr	r2, [fp, #-96]
	ldr	r1, [fp, #-92]
	ldr	r0, [fp, #-72]
	bl	make_sparse
	str	r0, [fp, #-72]
.L23:
	ldr	r3, [fp, #-56]
	ldr	r2, .L26+4
	str	r3, [r2]
	ldr	r3, [fp, #-72]
	ldr	r2, .L26
	ldr	r1, [r2]
	ldr	r2, [fp, #-16]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L25
	bl	__stack_chk_fail
.L25:
	mov	r0, r3
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L27:
	.align	2
.L26:
	.word	.LC4
	.word	debug
	.word	_iob+20
	.word	trace
	.word	.LC0
	.word	.LC1
	.word	.LC2
	.word	cube
	.word	.LC3
	.word	skip_make_sparse
	.size	do_minimize, .-do_minimize
	.section	.rodata
	.align	2
.LC5:
	.ascii	"(stdin)\000"
	.align	2
.LC6:
	.ascii	"%s.primes\000"
	.align	2
.LC7:
	.ascii	"w\000"
	.align	2
.LC8:
	.ascii	"espresso: Unable to open %s\012\000"
	.align	2
.LC9:
	.ascii	"%s.pi\000"
	.align	2
.LC10:
	.ascii	"# Essential primes are\012\000"
	.align	2
.LC11:
	.ascii	"%s\012\000"
	.align	2
.LC12:
	.ascii	"# Totally redundant primes are\012\000"
	.align	2
.LC13:
	.ascii	"# Partially redundant primes are\012\000"
	.text
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	dump_irredundant, %function
dump_irredundant:
	@ args = 0, pretend = 0, frame = 40
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	str	r0, [fp, #-32]
	str	r1, [fp, #-36]
	str	r2, [fp, #-40]
	str	r3, [fp, #-44]
	ldr	r3, .L44
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L29
	ldr	r3, .L44
	ldr	r3, [r3]
	ldr	r1, .L44+4
	mov	r0, r3
	bl	strcmp
	mov	r3, r0
	cmp	r3, #0
	bne	.L30
.L29:
	ldr	r3, .L44+8
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-24]
	str	r3, [fp, #-28]
	b	.L31
.L30:
	ldr	r3, .L44
	ldr	r3, [r3]
	mov	r0, r3
	bl	strlen
	mov	r3, r0
	add	r3, r3, #20
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-16]
	ldr	r3, .L44
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L44+12
	ldr	r0, [fp, #-16]
	bl	sprintf
	ldr	r1, .L44+16
	ldr	r0, [fp, #-16]
	bl	fopen
	str	r0, [fp, #-24]
	ldr	r3, [fp, #-24]
	cmp	r3, #0
	bne	.L32
	ldr	r2, [fp, #-16]
	ldr	r1, .L44+20
	ldr	r0, .L44+24
	bl	fprintf
	ldr	r3, .L44+8
	str	r3, [fp, #-24]
.L32:
	ldr	r3, .L44
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L44+28
	ldr	r0, [fp, #-16]
	bl	sprintf
	ldr	r1, .L44+16
	ldr	r0, [fp, #-16]
	bl	fopen
	str	r0, [fp, #-28]
	ldr	r3, [fp, #-28]
	cmp	r3, #0
	bne	.L33
	ldr	r2, [fp, #-16]
	ldr	r1, .L44+20
	ldr	r0, .L44+24
	bl	fprintf
	ldr	r3, .L44+8
	str	r3, [fp, #-28]
.L33:
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L31
	ldr	r0, [fp, #-16]
	bl	free
	mov	r3, #0
	str	r3, [fp, #-16]
.L31:
	bl	new_PLA
	str	r0, [fp, #-12]
	ldr	r0, [fp, #-12]
	bl	PLA_labels
	mov	r2, #1
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-24]
	bl	fpr_header
	ldr	r0, [fp, #-12]
	bl	free_PLA
	ldr	r3, [fp, #-24]
	mov	r2, #23
	mov	r1, #1
	ldr	r0, .L44+32
	bl	fwrite
	ldr	r3, [fp, #-32]
	ldr	r3, [r3, #20]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-32]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-32]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-8]
	b	.L35
.L36:
	ldr	r0, [fp, #-20]
	bl	pc1
	mov	r3, r0
	mov	r2, r3
	ldr	r1, .L44+36
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r3, [fp, #-32]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-20]
.L35:
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L36
	ldr	r3, [fp, #-24]
	mov	r2, #31
	mov	r1, #1
	ldr	r0, .L44+40
	bl	fwrite
	ldr	r3, [fp, #-36]
	ldr	r3, [r3, #20]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-36]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-36]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-8]
	b	.L37
.L38:
	ldr	r0, [fp, #-20]
	bl	pc1
	mov	r3, r0
	mov	r2, r3
	ldr	r1, .L44+36
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r3, [fp, #-36]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-20]
.L37:
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L38
	ldr	r3, [fp, #-24]
	mov	r2, #33
	mov	r1, #1
	ldr	r0, .L44+44
	bl	fwrite
	ldr	r3, [fp, #-40]
	ldr	r3, [r3, #20]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-40]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-40]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-8]
	b	.L39
.L40:
	ldr	r0, [fp, #-20]
	bl	pc1
	mov	r3, r0
	mov	r2, r3
	ldr	r1, .L44+36
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r3, [fp, #-40]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-20]
.L39:
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L40
	ldr	r3, [fp, #-24]
	ldr	r2, .L44+8
	cmp	r3, r2
	beq	.L41
	ldr	r0, [fp, #-24]
	bl	fclose
.L41:
	ldr	r1, [fp, #-44]
	ldr	r0, [fp, #-28]
	bl	sm_write
	ldr	r3, [fp, #-28]
	ldr	r2, .L44+8
	cmp	r3, r2
	beq	.L43
	ldr	r0, [fp, #-28]
	bl	fclose
.L43:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L45:
	.align	2
.L44:
	.word	filename
	.word	.LC5
	.word	_iob+20
	.word	.LC6
	.word	.LC7
	.word	.LC8
	.word	_iob+40
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC13
	.size	dump_irredundant, .-dump_irredundant
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
