	.file	"453041.c"
	.intel_syntax noprefix
	.text
	.section	.rodata
	.align 8
.LC0:
	.string	"Wrong number of command-line arguments."
.LC1:
	.string	"read %s"
.LC2:
	.string	"Cannot execute command \"%s\".\n"
.LC3:
	.string	"balance"
.LC4:
	.string	"print_stats"
	.align 8
.LC5:
	.string	"balance; rewrite -l; refactor -l; balance; rewrite -l; rewrite -lz; balance; refactor -lz; rewrite -lz; balance"
	.align 8
.LC6:
	.string	"balance; rewrite -l; rewrite -lz; balance; rewrite -lz; balance"
.LC7:
	.string	"write_blif result.blif"
.LC8:
	.string	"cec %s result.blif"
.LC10:
	.string	"Reading = %6.2f sec   "
.LC11:
	.string	"Rewriting = %6.2f sec   "
.LC12:
	.string	"Verification = %6.2f sec\n"
	.text
	.globl	main
	.type	main, @function
main:
.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, 1088
	mov	DWORD PTR -1076[rbp], edi
	mov	QWORD PTR -1088[rbp], rsi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -1068[rbp], 0
	mov	DWORD PTR -1064[rbp], 1
	mov	DWORD PTR -1060[rbp], 1
	cmp	DWORD PTR -1076[rbp], 2
	je	.L2
	lea	rdi, .LC0[rip]
	call	puts@PLT
	mov	eax, 1
	jmp	.L12
.L2:
	mov	rax, QWORD PTR -1088[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	QWORD PTR -1056[rbp], rax
	mov	eax, 0
	call	Abc_Start@PLT
	mov	eax, 0
	call	Abc_FrameGetGlobalFrame@PLT
	mov	QWORD PTR -1048[rbp], rax
	call	clock@PLT
	mov	QWORD PTR -1040[rbp], rax
	mov	rdx, QWORD PTR -1056[rbp]
	lea	rax, -1008[rbp]
	lea	rsi, .LC1[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L4
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L4:
	lea	rax, -1008[rbp]
	lea	rsi, .LC3[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L5
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L5:
	call	clock@PLT
	sub	rax, QWORD PTR -1040[rbp]
	mov	QWORD PTR -1032[rbp], rax
	cmp	DWORD PTR -1064[rbp], 0
	je	.L6
	lea	rax, -1008[rbp]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L6
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L6:
	call	clock@PLT
	mov	QWORD PTR -1040[rbp], rax
	cmp	DWORD PTR -1068[rbp], 0
	je	.L7
	lea	rax, -1008[rbp]
	lea	rsi, .LC5[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L8
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L7:
	lea	rax, -1008[rbp]
	lea	rsi, .LC6[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L8
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L8:
	call	clock@PLT
	sub	rax, QWORD PTR -1040[rbp]
	mov	QWORD PTR -1024[rbp], rax
	cmp	DWORD PTR -1064[rbp], 0
	je	.L9
	lea	rax, -1008[rbp]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L9
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L9:
	lea	rax, -1008[rbp]
	lea	rsi, .LC7[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L10
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L10:
	call	clock@PLT
	mov	QWORD PTR -1040[rbp], rax
	cmp	DWORD PTR -1060[rbp], 0
	je	.L11
	mov	rdx, QWORD PTR -1056[rbp]
	lea	rax, -1008[rbp]
	lea	rsi, .LC8[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	lea	rdx, -1008[rbp]
	mov	rax, QWORD PTR -1048[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	Cmd_CommandExecute@PLT
	test	eax, eax
	je	.L11
	mov	rax, QWORD PTR stdout[rip]
	lea	rdx, -1008[rbp]
	lea	rsi, .LC2[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, 1
	jmp	.L12
.L11:
	call	clock@PLT
	sub	rax, QWORD PTR -1040[rbp]
	mov	QWORD PTR -1016[rbp], rax
	pxor	xmm0, xmm0
	cvtsi2ss	xmm0, QWORD PTR -1032[rbp]
	movss	xmm1, DWORD PTR .LC9[rip]
	divss	xmm0, xmm1
	pxor	xmm2, xmm2
	cvtss2sd	xmm2, xmm0
	movq	rax, xmm2
	movq	xmm0, rax
	lea	rdi, .LC10[rip]
	mov	eax, 1
	call	printf@PLT
	pxor	xmm0, xmm0
	cvtsi2ss	xmm0, QWORD PTR -1024[rbp]
	movss	xmm1, DWORD PTR .LC9[rip]
	divss	xmm0, xmm1
	pxor	xmm3, xmm3
	cvtss2sd	xmm3, xmm0
	movq	rax, xmm3
	movq	xmm0, rax
	lea	rdi, .LC11[rip]
	mov	eax, 1
	call	printf@PLT
	pxor	xmm0, xmm0
	cvtsi2ss	xmm0, QWORD PTR -1016[rbp]
	movss	xmm1, DWORD PTR .LC9[rip]
	divss	xmm0, xmm1
	pxor	xmm4, xmm4
	cvtss2sd	xmm4, xmm0
	movq	rax, xmm4
	movq	xmm0, rax
	lea	rdi, .LC12[rip]
	mov	eax, 1
	call	printf@PLT
	mov	eax, 0
	call	Abc_Stop@PLT
	mov	eax, 0
.L12:
	mov	rcx, QWORD PTR -8[rbp]
	sub	rcx, QWORD PTR fs:40
	je	.L13
	call	__stack_chk_fail@PLT
.L13:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	main, .-main
	.section	.rodata
	.align 4
.LC9:
	.long	1232348160
	.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	"453041.c"
	.text
	.section	.rodata
	.align	2
.LC0:
	.ascii	"Wrong number of command-line arguments.\000"
	.align	2
.LC1:
	.ascii	"read %s\000"
	.align	2
.LC2:
	.ascii	"Cannot execute command \"%s\".\012\000"
	.align	2
.LC3:
	.ascii	"balance\000"
	.align	2
.LC4:
	.ascii	"print_stats\000"
	.align	2
.LC5:
	.ascii	"balance; rewrite -l; refactor -l; balance; rewrite "
	.ascii	"-l; rewrite -lz; balance; refactor -lz; rewrite -lz"
	.ascii	"; balance\000"
	.align	2
.LC6:
	.ascii	"balance; rewrite -l; rewrite -lz; balance; rewrite "
	.ascii	"-lz; balance\000"
	.align	2
.LC7:
	.ascii	"write_blif result.blif\000"
	.align	2
.LC8:
	.ascii	"cec %s result.blif\000"
	.global	__aeabi_i2f
	.global	__aeabi_fdiv
	.global	__aeabi_f2d
	.align	2
.LC9:
	.ascii	"Reading = %6.2f sec   \000"
	.align	2
.LC10:
	.ascii	"Rewriting = %6.2f sec   \000"
	.align	2
.LC11:
	.ascii	"Verification = %6.2f sec\012\000"
	.align	2
.LC12:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 1048
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #1040
	sub	sp, sp, #8
	str	r0, [fp, #-1048]
	str	r1, [fp, #-1052]
	ldr	r3, .L14
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-1044]
	mov	r3, #1
	str	r3, [fp, #-1040]
	mov	r3, #1
	str	r3, [fp, #-1036]
	ldr	r3, [fp, #-1048]
	cmp	r3, #2
	beq	.L2
	ldr	r0, .L14+4
	bl	puts
	mov	r3, #1
	b	.L12
.L2:
	ldr	r3, [fp, #-1052]
	ldr	r3, [r3, #4]
	str	r3, [fp, #-1032]
	bl	Abc_Start
	bl	Abc_FrameGetGlobalFrame
	str	r0, [fp, #-1028]
	bl	clock
	str	r0, [fp, #-1024]
	sub	r3, fp, #1008
	ldr	r2, [fp, #-1032]
	ldr	r1, .L14+8
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L4
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L4:
	sub	r3, fp, #1008
	ldr	r1, .L14+20
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L5
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L5:
	bl	clock
	mov	r2, r0
	ldr	r3, [fp, #-1024]
	sub	r3, r2, r3
	str	r3, [fp, #-1020]
	ldr	r3, [fp, #-1040]
	cmp	r3, #0
	beq	.L6
	sub	r3, fp, #1008
	ldr	r1, .L14+24
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L6
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L6:
	bl	clock
	str	r0, [fp, #-1024]
	ldr	r3, [fp, #-1044]
	cmp	r3, #0
	beq	.L7
	sub	r3, fp, #1008
	ldr	r1, .L14+28
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L8
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L7:
	sub	r3, fp, #1008
	ldr	r1, .L14+32
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L8
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L8:
	bl	clock
	mov	r2, r0
	ldr	r3, [fp, #-1024]
	sub	r3, r2, r3
	str	r3, [fp, #-1016]
	ldr	r3, [fp, #-1040]
	cmp	r3, #0
	beq	.L9
	sub	r3, fp, #1008
	ldr	r1, .L14+24
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L9
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L9:
	sub	r3, fp, #1008
	ldr	r1, .L14+36
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L10
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L10:
	bl	clock
	str	r0, [fp, #-1024]
	ldr	r3, [fp, #-1036]
	cmp	r3, #0
	beq	.L11
	sub	r3, fp, #1008
	ldr	r2, [fp, #-1032]
	ldr	r1, .L14+40
	mov	r0, r3
	bl	sprintf
	sub	r3, fp, #1008
	mov	r1, r3
	ldr	r0, [fp, #-1028]
	bl	Cmd_CommandExecute
	mov	r3, r0
	cmp	r3, #0
	beq	.L11
	ldr	r3, .L14+12
	ldr	r3, [r3]
	sub	r2, fp, #1008
	ldr	r1, .L14+16
	mov	r0, r3
	bl	fprintf
	mov	r3, #1
	b	.L12
.L11:
	bl	clock
	mov	r2, r0
	ldr	r3, [fp, #-1024]
	sub	r3, r2, r3
	str	r3, [fp, #-1012]
	ldr	r0, [fp, #-1020]
	bl	__aeabi_i2f
	mov	r3, r0
	ldr	r1, .L14+44
	mov	r0, r3
	bl	__aeabi_fdiv
	mov	r3, r0
	mov	r0, r3
	bl	__aeabi_f2d
	mov	r2, r0
	mov	r3, r1
	ldr	r0, .L14+48
	bl	printf
	ldr	r0, [fp, #-1016]
	bl	__aeabi_i2f
	mov	r3, r0
	ldr	r1, .L14+44
	mov	r0, r3
	bl	__aeabi_fdiv
	mov	r3, r0
	mov	r0, r3
	bl	__aeabi_f2d
	mov	r2, r0
	mov	r3, r1
	ldr	r0, .L14+52
	bl	printf
	ldr	r0, [fp, #-1012]
	bl	__aeabi_i2f
	mov	r3, r0
	ldr	r1, .L14+44
	mov	r0, r3
	bl	__aeabi_fdiv
	mov	r3, r0
	mov	r0, r3
	bl	__aeabi_f2d
	mov	r2, r0
	mov	r3, r1
	ldr	r0, .L14+56
	bl	printf
	bl	Abc_Stop
	mov	r3, #0
.L12:
	ldr	r2, .L14
	ldr	r1, [r2]
	ldr	r2, [fp, #-8]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L13
	bl	__stack_chk_fail
.L13:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L15:
	.align	2
.L14:
	.word	.LC12
	.word	.LC0
	.word	.LC1
	.word	stdout
	.word	.LC2
	.word	.LC3
	.word	.LC4
	.word	.LC5
	.word	.LC6
	.word	.LC7
	.word	.LC8
	.word	1232348160
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
