	.file	"2416.c"
	.intel_syntax noprefix
	.text
	.globl	start_time
	.bss
	.align 16
	.type	start_time, @object
	.size	start_time, 16
start_time:
	.zero	16
	.globl	current_time
	.align 16
	.type	current_time, @object
	.size	current_time, 16
current_time:
	.zero	16
	.globl	wlist
	.align 8
	.type	wlist, @object
	.size	wlist, 8
wlist:
	.zero	8
	.globl	adlist
	.align 8
	.type	adlist, @object
	.size	adlist, 8
adlist:
	.zero	8
	.text
	.globl	analyze
	.type	analyze, @function
analyze:
.LFB10:
	.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 -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rcx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	markClause@PLT
	jmp	.L2
.L4:
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 64[rax]
	lea	rdx, -4[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR 64[rax], rdx
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 64[rax]
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -4[rbp], eax
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -4[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	eax, 3
	jne	.L3
	mov	rax, QWORD PTR -24[rbp]
	mov	rcx, QWORD PTR 144[rax]
	mov	eax, DWORD PTR -4[rbp]
	cdq
	mov	eax, edx
	xor	eax, DWORD PTR -4[rbp]
	sub	eax, edx
	cdqe
	sal	rax, 3
	add	rax, rcx
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	je	.L3
	mov	rax, QWORD PTR -24[rbp]
	mov	rcx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	rsi, QWORD PTR 144[rax]
	mov	eax, DWORD PTR -4[rbp]
	cdq
	mov	eax, edx
	xor	eax, DWORD PTR -4[rbp]
	sub	eax, edx
	cdqe
	sal	rax, 3
	add	rax, rsi
	mov	rax, QWORD PTR [rax]
	sal	rax, 2
	add	rcx, rax
	mov	rax, QWORD PTR -24[rbp]
	mov	edx, -1
	mov	rsi, rcx
	mov	rdi, rax
	call	markClause@PLT
.L3:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 64[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 48[rax]
	cmp	rdx, rax
	setb	cl
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -4[rbp]
	cdqe
	sal	rax, 2
	add	rdx, rax
	movzx	eax, cl
	mov	DWORD PTR [rdx], eax
.L2:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 64[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 32[rax]
	cmp	rdx, rax
	ja	.L4
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 48[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR 64[rax], rdx
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 64[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR 56[rax], rdx
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	analyze, .-analyze
	.globl	propagate
	.type	propagate, @function
propagate:
.LFB11:
	.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, 104
	.cfi_offset 3, -24
	mov	QWORD PTR -104[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -88[rbp], 0
	mov	DWORD PTR -80[rbp], 0
	mov	rax, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR 56[rax]
	mov	QWORD PTR -40[rbp], rax
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR -48[rbp], rax
.L6:
	xor	DWORD PTR -88[rbp], 1
	jmp	.L7
.L22:
	mov	eax, DWORD PTR -88[rbp]
	cdqe
	mov	rax, QWORD PTR -48[rbp+rax*8]
	lea	rcx, 4[rax]
	mov	edx, DWORD PTR -88[rbp]
	movsx	rdx, edx
	mov	QWORD PTR -48[rbp+rdx*8], rcx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -76[rbp], eax
	mov	eax, DWORD PTR -76[rbp]
	cmp	eax, DWORD PTR -80[rbp]
	jne	.L8
	mov	rax, QWORD PTR -64[rbp]
	mov	QWORD PTR -72[rbp], rax
	jmp	.L10
.L8:
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -76[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR -72[rbp], rax
	jmp	.L10
.L21:
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rcx, rax
	shr	rcx, 63
	add	rax, rcx
	sar	rax
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L11
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L12
.L11:
	add	QWORD PTR -72[rbp], 8
	jmp	.L10
.L12:
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	cmp	DWORD PTR -76[rbp], eax
	jne	.L13
	mov	rax, QWORD PTR -56[rbp]
	mov	edx, DWORD PTR 4[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	DWORD PTR [rax], edx
.L13:
	mov	DWORD PTR -84[rbp], 2
	jmp	.L14
.L18:
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -84[rbp]
	cdqe
	lea	rcx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L15
	mov	eax, DWORD PTR -84[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	mov	rdx, QWORD PTR -56[rbp]
	add	rdx, 4
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR [rdx], eax
	mov	eax, DWORD PTR -84[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rdx, rax
	mov	eax, DWORD PTR -76[rbp]
	mov	DWORD PTR [rdx], eax
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 88[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	lea	edx, 1[rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	rcx, QWORD PTR 96[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cmp	edx, eax
	jne	.L16
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	pxor	xmm1, xmm1
	cvtsi2sd	xmm1, eax
	movsd	xmm0, QWORD PTR .LC0[rip]
	mulsd	xmm0, xmm1
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rdx, rax
	cvttsd2si	eax, xmm0
	mov	DWORD PTR [rdx], eax
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	rcx, QWORD PTR wlist[rip]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rcx
	mov	rax, QWORD PTR [rax]
	mov	rsi, QWORD PTR wlist[rip]
	mov	rcx, QWORD PTR -56[rbp]
	add	rcx, 4
	mov	ecx, DWORD PTR [rcx]
	movsx	rcx, ecx
	sal	rcx, 3
	lea	rbx, [rsi+rcx]
	mov	rsi, rdx
	mov	rdi, rax
	call	realloc@PLT
	mov	QWORD PTR [rbx], rax
.L16:
	mov	rdx, QWORD PTR wlist[rip]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rsi, QWORD PTR [rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 88[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	lea	ecx, 1[rdx]
	mov	DWORD PTR [rax], ecx
	movsx	rax, edx
	sal	rax, 3
	lea	rdx, [rsi+rax]
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR [rdx], rax
	mov	rdx, QWORD PTR wlist[rip]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	rcx, QWORD PTR 88[rax]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	QWORD PTR [rax], 0
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -76[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rcx, QWORD PTR [rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 88[rax]
	mov	eax, DWORD PTR -76[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	sub	edx, 1
	mov	DWORD PTR [rax], edx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rcx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -72[rbp]
	mov	QWORD PTR [rax], rdx
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -76[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	rcx, QWORD PTR 88[rax]
	mov	eax, DWORD PTR -76[rbp]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	QWORD PTR [rax], 0
	jmp	.L10
.L15:
	add	DWORD PTR -84[rbp], 1
.L14:
	mov	eax, DWORD PTR -84[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L18
	mov	rax, QWORD PTR -56[rbp]
	lea	rdx, 4[rax]
	mov	eax, DWORD PTR -76[rbp]
	mov	DWORD PTR [rdx], eax
	add	QWORD PTR -72[rbp], 8
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L19
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 1
	mov	rax, QWORD PTR -56[rbp]
	mov	esi, DWORD PTR [rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR 64[rax]
	lea	rcx, 4[rax]
	mov	rdx, QWORD PTR -104[rbp]
	mov	QWORD PTR 64[rdx], rcx
	neg	esi
	mov	edx, esi
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	rsi, rax
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 144[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	mov	ecx, eax
	sar	ecx, 31
	xor	eax, ecx
	sub	eax, ecx
	cdqe
	sal	rax, 3
	add	rax, rdx
	lea	rdx, 1[rsi]
	mov	QWORD PTR [rax], rdx
	cmp	DWORD PTR -88[rbp], 0
	jne	.L10
	mov	rax, QWORD PTR -48[rbp]
	sub	rax, 4
	mov	QWORD PTR -48[rbp], rax
	mov	eax, DWORD PTR -76[rbp]
	mov	DWORD PTR -80[rbp], eax
	mov	rax, QWORD PTR -72[rbp]
	mov	QWORD PTR -64[rbp], rax
	jmp	.L6
.L19:
	mov	rdx, QWORD PTR -56[rbp]
	mov	rax, QWORD PTR -104[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	analyze
	mov	eax, 0
	jmp	.L24
.L17:
.L10:
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	jne	.L21
.L7:
	mov	eax, DWORD PTR -88[rbp]
	cdqe
	mov	rdx, QWORD PTR -48[rbp+rax*8]
	mov	rax, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR 64[rax]
	cmp	rdx, rax
	jb	.L22
	cmp	DWORD PTR -88[rbp], 0
	je	.L23
	jmp	.L6
.L23:
	mov	rax, QWORD PTR -104[rbp]
	mov	rdx, QWORD PTR 64[rax]
	mov	rax, QWORD PTR -104[rbp]
	mov	QWORD PTR 56[rax], rdx
	mov	eax, 1
.L24:
	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
.LFE11:
	.size	propagate, .-propagate
	.section	.rodata
	.align 8
.LC1:
	.string	"c conflict claimed, but not detected"
.LC2:
	.string	"c no conflict"
	.align 8
.LC3:
	.string	"c parsed formula and detected empty clause; start verification"
.LC4:
	.string	"s TIMEOUT"
.LC5:
	.string	"c %i of %i clauses in core\n"
	.align 8
.LC6:
	.string	"c %i of %i lemmas in core with %lu incoming arcs\n"
	.text
	.globl	verify
	.type	verify, @function
verify:
.LFB12:
	.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, 152
	.cfi_offset 3, -24
	mov	QWORD PTR -152[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	rax, rsp
	mov	rbx, rax
	mov	rax, QWORD PTR -152[rbp]
	mov	eax, DWORD PTR 24[rax]
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -88[rbp], rdx
	movsx	rdx, eax
	mov	r10, rdx
	mov	r11d, 0
	movsx	rdx, eax
	mov	r8, rdx
	mov	r9d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	esi, 16
	mov	edx, 0
	div	rsi
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L27:
	cmp	rsp, rdx
	je	.L28
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L27
.L28:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L29
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L29:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -80[rbp], rax
	mov	QWORD PTR -72[rbp], 0
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 152[rax]
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -96[rbp], rax
	mov	rax, QWORD PTR -96[rbp]
	mov	QWORD PTR -64[rbp], rax
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 136[rax]
	mov	DWORD PTR -132[rbp], eax
	mov	rax, QWORD PTR -96[rbp]
	sub	rax, 4
	mov	eax, DWORD PTR [rax]
	movsx	rdx, eax
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 120[rax], rdx
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 64[rax]
	cmp	rdx, rax
	jnb	.L30
	mov	rax, QWORD PTR -152[rbp]
	mov	rdi, rax
	call	propagate
	test	eax, eax
	jne	.L30
	mov	eax, 0
	jmp	.L31
.L30:
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 48[rax], rdx
.L47:
	mov	DWORD PTR -136[rbp], 0
	mov	eax, DWORD PTR -136[rbp]
	mov	DWORD PTR -140[rbp], eax
	mov	rax, QWORD PTR -96[rbp]
	sub	rax, 4
	mov	eax, DWORD PTR [rax]
	movsx	rdx, eax
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 120[rax], rdx
	mov	rax, QWORD PTR -96[rbp]
	mov	QWORD PTR -104[rbp], rax
.L34:
	mov	rcx, QWORD PTR adlist[rip]
	mov	eax, DWORD PTR -132[rbp]
	lea	edx, 1[rax]
	mov	DWORD PTR -132[rbp], edx
	cdqe
	sal	rax, 3
	add	rax, rcx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	and	eax, 1
	mov	QWORD PTR -72[rbp], rax
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sar	rax
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -48[rbp], rax
	cmp	QWORD PTR -72[rbp], 0
	je	.L32
	mov	rax, QWORD PTR -48[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L32
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 144[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	eax, DWORD PTR [rax]
	mov	ecx, eax
	sar	ecx, 31
	xor	eax, ecx
	sub	eax, ecx
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	lea	rdx, -1[rax]
	mov	rax, QWORD PTR -56[rbp]
	sar	rax
	cmp	rdx, rax
	je	.L80
	mov	rcx, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	removeWatch@PLT
	mov	rcx, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	call	removeWatch@PLT
	jmp	.L32
.L80:
	nop
.L32:
	cmp	QWORD PTR -72[rbp], 0
	jne	.L34
	jmp	.L35
.L38:
	mov	rax, QWORD PTR -96[rbp]
	lea	rdx, 4[rax]
	mov	QWORD PTR -96[rbp], rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -108[rbp], eax
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -108[rbp]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L36
	mov	DWORD PTR -140[rbp], 1
.L36:
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -108[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L35
	cmp	DWORD PTR -136[rbp], 1
	jg	.L37
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -104[rbp]
	add	rax, rdx
	mov	rdx, QWORD PTR -96[rbp]
	sub	rdx, 4
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR [rdx], eax
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -104[rbp]
	add	rdx, rax
	mov	eax, DWORD PTR -108[rbp]
	mov	DWORD PTR [rdx], eax
.L37:
	mov	eax, DWORD PTR -136[rbp]
	lea	edx, 1[rax]
	mov	DWORD PTR -136[rbp], edx
	mov	rdx, QWORD PTR -80[rbp]
	cdqe
	mov	ecx, DWORD PTR -108[rbp]
	mov	DWORD PTR [rdx+rax*4], ecx
.L35:
	mov	rax, QWORD PTR -96[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L38
	mov	rax, QWORD PTR -104[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L39
	mov	rcx, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	addWatch@PLT
	mov	rcx, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	call	addWatch@PLT
.L39:
	add	QWORD PTR -96[rbp], 8
	cmp	DWORD PTR -140[rbp], 0
	je	.L40
	mov	rdx, QWORD PTR adlist[rip]
	mov	eax, DWORD PTR -132[rbp]
	cdqe
	sal	rax, 3
	sub	rax, 8
	add	rax, rdx
	mov	QWORD PTR [rax], 0
.L40:
	cmp	DWORD PTR -140[rbp], 0
	jne	.L81
	cmp	DWORD PTR -136[rbp], 0
	jne	.L43
	lea	rdi, .LC1[rip]
	call	puts@PLT
	mov	eax, 1
	jmp	.L31
.L43:
	cmp	DWORD PTR -136[rbp], 1
	jne	.L44
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -80[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 1
	mov	rax, QWORD PTR -80[rbp]
	mov	esi, DWORD PTR [rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 64[rax]
	lea	rcx, 4[rax]
	mov	rdx, QWORD PTR -152[rbp]
	mov	QWORD PTR 64[rdx], rcx
	neg	esi
	mov	edx, esi
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -104[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	rsi, rax
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 144[rax]
	mov	rax, QWORD PTR -80[rbp]
	mov	eax, DWORD PTR [rax]
	mov	ecx, eax
	sar	ecx, 31
	xor	eax, ecx
	sub	eax, ecx
	cdqe
	sal	rax, 3
	add	rax, rdx
	lea	rdx, 1[rsi]
	mov	QWORD PTR [rax], rdx
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 48[rax], rdx
	mov	rax, QWORD PTR -152[rbp]
	mov	rdi, rax
	call	propagate
	test	eax, eax
	je	.L82
.L44:
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -96[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	rdx, rax
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 104[rax]
	cmp	rdx, rax
	jge	.L83
	jmp	.L47
.L81:
	nop
	jmp	.L47
.L83:
	nop
	lea	rdi, .LC2[rip]
	call	puts@PLT
	mov	eax, 1
	jmp	.L31
.L82:
	nop
.L45:
	mov	rax, QWORD PTR -96[rbp]
	mov	QWORD PTR -40[rbp], rax
	lea	rdi, .LC3[rip]
	call	puts@PLT
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 48[rax], rdx
	mov	rax, QWORD PTR -104[rbp]
	sub	rax, 8
	mov	QWORD PTR -96[rbp], rax
.L66:
	mov	DWORD PTR -136[rbp], 0
	mov	rax, QWORD PTR -96[rbp]
	add	rax, 8
	mov	QWORD PTR -104[rbp], rax
.L50:
	mov	rdx, QWORD PTR adlist[rip]
	sub	DWORD PTR -132[rbp], 1
	mov	eax, DWORD PTR -132[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	and	eax, 1
	mov	QWORD PTR -72[rbp], rax
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sar	rax
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -32[rbp], rax
	cmp	QWORD PTR -72[rbp], 0
	je	.L48
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L48
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 144[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	mov	ecx, eax
	sar	ecx, 31
	xor	eax, ecx
	sub	eax, ecx
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	lea	rdx, -1[rax]
	mov	rax, QWORD PTR -56[rbp]
	sar	rax
	cmp	rdx, rax
	je	.L84
	mov	rcx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	addWatch@PLT
	mov	rcx, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	call	addWatch@PLT
	jmp	.L48
.L84:
	nop
.L48:
	cmp	QWORD PTR -72[rbp], 0
	jne	.L50
	mov	rax, QWORD PTR -104[rbp]
	sub	rax, 4
	mov	eax, DWORD PTR [rax]
	movsx	rdx, eax
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 120[rax], rdx
	mov	rax, QWORD PTR -104[rbp]
	add	rax, 4
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L51
	mov	rcx, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	removeWatch@PLT
	mov	rcx, QWORD PTR -104[rbp]
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	call	removeWatch@PLT
.L51:
	cmp	QWORD PTR -56[rbp], 0
	je	.L85
	jmp	.L54
.L56:
	mov	rax, QWORD PTR -104[rbp]
	lea	rdx, 4[rax]
	mov	QWORD PTR -104[rbp], rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -112[rbp], eax
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -112[rbp]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L55
	mov	DWORD PTR -140[rbp], 1
.L55:
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -112[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L54
	mov	eax, DWORD PTR -136[rbp]
	lea	edx, 1[rax]
	mov	DWORD PTR -136[rbp], edx
	mov	rdx, QWORD PTR -80[rbp]
	cdqe
	mov	ecx, DWORD PTR -112[rbp]
	mov	DWORD PTR [rdx+rax*4], ecx
.L54:
	mov	rax, QWORD PTR -104[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L56
	cmp	DWORD PTR -140[rbp], 0
	je	.L57
	cmp	DWORD PTR -136[rbp], 1
	jne	.L57
.L58:
	mov	rax, QWORD PTR -152[rbp]
	mov	rcx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 48[rax]
	lea	rdx, -4[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 48[rax], rdx
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 48[rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	DWORD PTR [rax], 0
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 48[rax]
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -80[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	cmp	edx, eax
	jne	.L58
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 48[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 64[rax], rdx
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 64[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	QWORD PTR 56[rax], rdx
.L57:
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 120[rax]
	and	eax, 1
	test	rax, rax
	je	.L59
	mov	esi, 0
	lea	rdi, current_time[rip]
	call	gettimeofday@PLT
	mov	rax, QWORD PTR current_time[rip]
	mov	edx, eax
	mov	rax, QWORD PTR start_time[rip]
	mov	ecx, eax
	mov	eax, edx
	sub	eax, ecx
	mov	DWORD PTR -116[rbp], eax
	cmp	DWORD PTR -116[rbp], 20000
	jle	.L60
	lea	rdi, .LC4[rip]
	call	puts@PLT
	mov	edi, 0
	call	exit@PLT
.L60:
	mov	DWORD PTR -128[rbp], 0
	jmp	.L61
.L62:
	mov	rax, QWORD PTR -152[rbp]
	mov	rcx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -80[rbp]
	mov	edx, DWORD PTR -128[rbp]
	movsx	rdx, edx
	mov	eax, DWORD PTR [rax+rdx*4]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	DWORD PTR [rax], 1
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 64[rax]
	lea	rcx, 4[rax]
	mov	rdx, QWORD PTR -152[rbp]
	mov	QWORD PTR 64[rdx], rcx
	mov	rdx, QWORD PTR -80[rbp]
	mov	ecx, DWORD PTR -128[rbp]
	movsx	rcx, ecx
	mov	edx, DWORD PTR [rdx+rcx*4]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -152[rbp]
	mov	rcx, QWORD PTR 144[rax]
	mov	rax, QWORD PTR -80[rbp]
	mov	edx, DWORD PTR -128[rbp]
	movsx	rdx, edx
	mov	eax, DWORD PTR [rax+rdx*4]
	cdq
	xor	eax, edx
	sub	eax, edx
	cdqe
	sal	rax, 3
	add	rax, rcx
	mov	QWORD PTR [rax], 0
	add	DWORD PTR -128[rbp], 1
.L61:
	mov	eax, DWORD PTR -128[rbp]
	cmp	eax, DWORD PTR -136[rbp]
	jl	.L62
	mov	rax, QWORD PTR -152[rbp]
	mov	rdi, rax
	call	propagate
	cmp	eax, 1
	jne	.L59
	mov	eax, 1
	jmp	.L31
.L59:
	mov	rax, QWORD PTR -96[rbp]
	add	rax, 8
	mov	QWORD PTR -104[rbp], rax
	jmp	.L53
.L85:
	nop
.L53:
	mov	rax, QWORD PTR -96[rbp]
	add	rax, 8
	cmp	QWORD PTR -64[rbp], rax
	je	.L86
.L65:
	sub	QWORD PTR -96[rbp], 4
	mov	rax, QWORD PTR -96[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L65
	jmp	.L66
.L86:
	nop
	mov	rax, QWORD PTR -152[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -152[rbp]
	mov	rax, QWORD PTR 112[rax]
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -96[rbp], rax
	mov	DWORD PTR -124[rbp], 0
	jmp	.L67
.L70:
	mov	rax, QWORD PTR -96[rbp]
	lea	rdx, 4[rax]
	mov	QWORD PTR -96[rbp], rdx
	mov	eax, DWORD PTR [rax]
	and	eax, 1
	test	eax, eax
	je	.L87
	add	DWORD PTR -124[rbp], 1
.L87:
	nop
.L69:
	mov	rax, QWORD PTR -96[rbp]
	lea	rdx, 4[rax]
	mov	QWORD PTR -96[rbp], rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L69
.L67:
	mov	rax, QWORD PTR -96[rbp]
	add	rax, 8
	cmp	QWORD PTR -64[rbp], rax
	jnb	.L70
	mov	rax, QWORD PTR -152[rbp]
	mov	edx, DWORD PTR 28[rax]
	mov	eax, DWORD PTR -124[rbp]
	mov	esi, eax
	lea	rdi, .LC5[rip]
	mov	eax, 0
	call	printf@PLT
	mov	DWORD PTR -120[rbp], 0
	mov	DWORD PTR -124[rbp], 0
	jmp	.L71
.L74:
	add	DWORD PTR -120[rbp], 1
	mov	rax, QWORD PTR -96[rbp]
	lea	rdx, 4[rax]
	mov	QWORD PTR -96[rbp], rdx
	mov	eax, DWORD PTR [rax]
	and	eax, 1
	test	eax, eax
	je	.L88
	add	DWORD PTR -124[rbp], 1
.L88:
	nop
.L73:
	mov	rax, QWORD PTR -96[rbp]
	lea	rdx, 4[rax]
	mov	QWORD PTR -96[rbp], rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L73
.L71:
	mov	rax, QWORD PTR -96[rbp]
	add	rax, 8
	cmp	QWORD PTR -40[rbp], rax
	jnb	.L74
	mov	rax, QWORD PTR -152[rbp]
	mov	rcx, QWORD PTR 160[rax]
	mov	edx, DWORD PTR -120[rbp]
	mov	eax, DWORD PTR -124[rbp]
	mov	esi, eax
	lea	rdi, .LC6[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, 0
.L31:
	mov	rsp, rbx
	mov	rbx, QWORD PTR -24[rbp]
	sub	rbx, QWORD PTR fs:40
	je	.L76
	call	__stack_chk_fail@PLT
.L76:
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	verify, .-verify
	.globl	getHash
	.type	getHash, @function
getHash:
.LFB13:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -24[rbp], rdi
	mov	DWORD PTR -28[rbp], esi
	mov	QWORD PTR -40[rbp], rdx
	mov	DWORD PTR -32[rbp], ecx
	mov	DWORD PTR -12[rbp], 0
	mov	DWORD PTR -8[rbp], 1
	mov	DWORD PTR -4[rbp], 0
	mov	DWORD PTR -16[rbp], 0
	jmp	.L90
.L91:
	mov	eax, DWORD PTR -16[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	edx, eax
	mov	eax, DWORD PTR -8[rbp]
	imul	eax, edx
	mov	DWORD PTR -8[rbp], eax
	mov	eax, DWORD PTR -16[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	add	DWORD PTR -12[rbp], eax
	mov	eax, DWORD PTR -16[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	xor	DWORD PTR -4[rbp], eax
	mov	eax, DWORD PTR -16[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rdx, rax
	mov	eax, DWORD PTR -28[rbp]
	mov	DWORD PTR [rdx], eax
	add	DWORD PTR -16[rbp], 1
.L90:
	mov	eax, DWORD PTR -32[rbp]
	cmp	DWORD PTR -16[rbp], eax
	jb	.L91
	mov	edx, DWORD PTR -12[rbp]
	mov	eax, edx
	sal	eax, 10
	sub	eax, edx
	mov	ecx, eax
	mov	eax, DWORD PTR -8[rbp]
	add	ecx, eax
	mov	edx, DWORD PTR -4[rbp]
	mov	eax, edx
	sal	eax, 5
	sub	eax, edx
	xor	ecx, eax
	mov	edx, ecx
	mov	eax, edx
	imul	rax, rax, 1125899907
	shr	rax, 32
	shr	eax, 18
	imul	ecx, eax, 1000000
	mov	eax, edx
	sub	eax, ecx
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	getHash, .-getHash
	.section	.rodata
	.align 8
.LC7:
	.string	"c error: could not match deleted clause "
.LC8:
	.string	"%i "
.LC9:
	.string	"\ns MATCHING ERROR"
	.text
	.globl	matchClause
	.type	matchClause, @function
matchClause:
.LFB14:
	.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 -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	DWORD PTR -52[rbp], edx
	mov	QWORD PTR -64[rbp], rcx
	mov	DWORD PTR -56[rbp], r8d
	mov	QWORD PTR -72[rbp], r9
	mov	DWORD PTR -24[rbp], 0
	jmp	.L94
.L100:
	mov	rax, QWORD PTR -40[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	eax, DWORD PTR -24[rbp]
	cdqe
	lea	rcx, 0[0+rax*8]
	mov	rax, QWORD PTR -48[rbp]
	add	rax, rcx
	mov	rax, QWORD PTR [rax]
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -16[rbp], rax
	mov	DWORD PTR -20[rbp], 0
	jmp	.L95
.L98:
	mov	rax, QWORD PTR -16[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	DWORD PTR -56[rbp], eax
	jne	.L104
	add	DWORD PTR -20[rbp], 1
	add	QWORD PTR -16[rbp], 4
.L95:
	mov	rax, QWORD PTR -16[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L98
	mov	eax, DWORD PTR 16[rbp]
	cmp	eax, DWORD PTR -20[rbp]
	jne	.L105
	mov	eax, DWORD PTR -24[rbp]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	rax, QWORD PTR -48[rbp]
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR -8[rbp], rax
	sub	DWORD PTR -52[rbp], 1
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	rax, QWORD PTR -48[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR -24[rbp]
	movsx	rdx, edx
	lea	rcx, 0[0+rdx*8]
	mov	rdx, QWORD PTR -48[rbp]
	add	rdx, rcx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR [rdx], rax
	mov	rax, QWORD PTR -8[rbp]
	jmp	.L103
.L104:
	nop
	jmp	.L97
.L105:
	nop
.L97:
	add	DWORD PTR -24[rbp], 1
.L94:
	mov	eax, DWORD PTR -24[rbp]
	cmp	eax, DWORD PTR -52[rbp]
	jl	.L100
	lea	rdi, .LC7[rip]
	mov	eax, 0
	call	printf@PLT
	mov	DWORD PTR -24[rbp], 0
	jmp	.L101
.L102:
	mov	eax, DWORD PTR -24[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	esi, eax
	lea	rdi, .LC8[rip]
	mov	eax, 0
	call	printf@PLT
	add	DWORD PTR -24[rbp], 1
.L101:
	mov	eax, DWORD PTR -24[rbp]
	cmp	eax, DWORD PTR 16[rbp]
	jl	.L102
	lea	rdi, .LC9[rip]
	call	puts@PLT
	mov	edi, 0
	call	exit@PLT
.L103:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	matchClause, .-matchClause
	.section	.rodata
.LC10:
	.string	" cnf %i %i \n"
.LC11:
	.string	"%*s\n"
.LC12:
	.string	" d  %i "
.LC13:
	.string	" %i "
	.text
	.globl	parse
	.type	parse, @function
parse:
.LFB15:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r15
	push	r14
	push	r12
	push	rbx
	sub	rsp, 160
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 12, -40
	.cfi_offset 3, -48
	mov	QWORD PTR -168[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -40[rbp], rax
	xor	eax, eax
.L109:
	mov	rax, QWORD PTR -168[rbp]
	lea	rcx, 28[rax]
	mov	rax, QWORD PTR -168[rbp]
	lea	rdx, 24[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR [rax]
	lea	rsi, .LC10[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_fscanf@PLT
	mov	DWORD PTR -152[rbp], eax
	cmp	DWORD PTR -152[rbp], 0
	jle	.L107
	cmp	DWORD PTR -152[rbp], -1
	jne	.L155
.L107:
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR [rax]
	lea	rsi, .LC11[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_fscanf@PLT
	mov	DWORD PTR -152[rbp], eax
	cmp	DWORD PTR -152[rbp], 2
	je	.L108
	cmp	DWORD PTR -152[rbp], -1
	jne	.L109
	jmp	.L108
.L155:
	nop
.L108:
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 28[rax]
	mov	DWORD PTR -144[rbp], eax
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 24[rax]
	mov	rdx, rsp
	mov	r12, rdx
	movsx	rdx, eax
	sub	rdx, 1
	mov	QWORD PTR -104[rbp], rdx
	movsx	rdx, eax
	mov	QWORD PTR -192[rbp], rdx
	mov	QWORD PTR -184[rbp], 0
	movsx	rdx, eax
	mov	r14, rdx
	mov	r15d, 0
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	eax, 16
	sub	rax, 1
	add	rax, rdx
	mov	ebx, 16
	mov	edx, 0
	div	rbx
	imul	rax, rax, 16
	mov	rcx, rax
	and	rcx, -4096
	mov	rdx, rsp
	sub	rdx, rcx
.L110:
	cmp	rsp, rdx
	je	.L111
	sub	rsp, 4096
	or	QWORD PTR 4088[rsp], 0
	jmp	.L110
.L111:
	mov	rdx, rax
	and	edx, 4095
	sub	rsp, rdx
	mov	rdx, rax
	and	edx, 4095
	test	rdx, rdx
	je	.L112
	and	eax, 4095
	sub	rax, 8
	add	rax, rsp
	or	QWORD PTR [rax], 0
.L112:
	mov	rax, rsp
	add	rax, 3
	shr	rax, 2
	sal	rax, 2
	mov	QWORD PTR -96[rbp], rax
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 24[rax]
	mov	DWORD PTR -128[rbp], eax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 104[rax], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 104[rax]
	add	rax, 1000000
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -112[rbp]
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 16[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 16[rax]
	test	rax, rax
	jne	.L113
	mov	eax, -1
	jmp	.L114
.L113:
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 160[rax], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	DWORD PTR 72[rax], 1
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 128[rax], 0
	mov	eax, DWORD PTR -128[rbp]
	add	eax, 1
	cdqe
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 32[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 32[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 48[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 32[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 56[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 32[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 64[rax], rdx
	mov	eax, DWORD PTR -128[rbp]
	add	eax, 1
	cdqe
	sal	rax, 3
	mov	rdi, rax
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 144[rax], rdx
	mov	eax, DWORD PTR -128[rbp]
	add	eax, eax
	add	eax, 1
	cdqe
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 88[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 88[rax]
	mov	eax, DWORD PTR -128[rbp]
	cdqe
	sal	rax, 2
	add	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 88[rax], rdx
	mov	eax, DWORD PTR -128[rbp]
	add	eax, eax
	add	eax, 1
	cdqe
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 96[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	eax, DWORD PTR -128[rbp]
	cdqe
	sal	rax, 2
	add	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 96[rax], rdx
	mov	eax, DWORD PTR -128[rbp]
	add	eax, eax
	add	eax, 1
	cdqe
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 40[rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -128[rbp]
	cdqe
	sal	rax, 2
	add	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 40[rax], rdx
	mov	DWORD PTR -140[rbp], 1
	jmp	.L115
.L116:
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 144[rax]
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	QWORD PTR [rax], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 32[rax]
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, DWORD PTR -140[rbp]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	rdx, QWORD PTR -168[rbp]
	mov	rcx, QWORD PTR 40[rdx]
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	sal	rdx, 2
	add	rdx, rcx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR [rdx], eax
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 88[rax]
	mov	eax, DWORD PTR -140[rbp]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	rdx, QWORD PTR -168[rbp]
	mov	rcx, QWORD PTR 88[rdx]
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	sal	rdx, 2
	add	rdx, rcx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR [rdx], eax
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	eax, DWORD PTR -140[rbp]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 8
	mov	rdx, QWORD PTR -168[rbp]
	mov	rcx, QWORD PTR 96[rdx]
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	sal	rdx, 2
	add	rdx, rcx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR [rdx], eax
	add	DWORD PTR -140[rbp], 1
.L115:
	mov	eax, DWORD PTR -140[rbp]
	cmp	eax, DWORD PTR -128[rbp]
	jle	.L116
	mov	eax, DWORD PTR -128[rbp]
	add	eax, eax
	add	eax, 1
	cdqe
	sal	rax, 3
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR wlist[rip], rax
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -128[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	QWORD PTR wlist[rip], rax
	mov	DWORD PTR -140[rbp], 1
	jmp	.L117
.L118:
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	mov	rcx, QWORD PTR wlist[rip]
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	sal	rdx, 3
	lea	rbx, [rcx+rdx]
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR [rbx], rax
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR [rax], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	eax, DWORD PTR -140[rbp]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	mov	rcx, QWORD PTR wlist[rip]
	mov	edx, DWORD PTR -140[rbp]
	neg	edx
	movsx	rdx, edx
	sal	rdx, 3
	lea	rbx, [rcx+rdx]
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR [rbx], rax
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -140[rbp]
	neg	eax
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	QWORD PTR [rax], 0
	add	DWORD PTR -140[rbp], 1
.L117:
	mov	eax, DWORD PTR -140[rbp]
	cmp	eax, DWORD PTR -128[rbp]
	jle	.L118
	mov	DWORD PTR -136[rbp], 1000000
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	sal	rax, 3
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR adlist[rip], rax
	mov	eax, DWORD PTR -128[rbp]
	add	eax, eax
	add	eax, 1
	cdqe
	sal	rax, 2
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR -88[rbp], rax
	mov	eax, DWORD PTR -128[rbp]
	cdqe
	sal	rax, 2
	add	QWORD PTR -88[rbp], rax
	mov	DWORD PTR -140[rbp], 1
	jmp	.L119
.L120:
	mov	eax, DWORD PTR -140[rbp]
	neg	eax
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -88[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	lea	rcx, 0[0+rdx*4]
	mov	rdx, QWORD PTR -88[rbp]
	add	rdx, rcx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR [rdx], eax
	add	DWORD PTR -140[rbp], 1
.L119:
	mov	eax, DWORD PTR -140[rbp]
	cmp	eax, DWORD PTR -128[rbp]
	jle	.L120
	mov	DWORD PTR -148[rbp], 0
	mov	edi, 8000000
	call	malloc@PLT
	mov	QWORD PTR -80[rbp], rax
	mov	edi, 4000000
	call	malloc@PLT
	mov	QWORD PTR -72[rbp], rax
	mov	edi, 4000000
	call	malloc@PLT
	mov	QWORD PTR -64[rbp], rax
	mov	DWORD PTR -140[rbp], 0
	jmp	.L121
.L122:
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 8
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	lea	rcx, 0[0+rdx*8]
	mov	rdx, QWORD PTR -80[rbp]
	lea	rbx, [rcx+rdx]
	mov	rdi, rax
	call	malloc@PLT
	mov	QWORD PTR [rbx], rax
	add	DWORD PTR -140[rbp], 1
.L121:
	cmp	DWORD PTR -140[rbp], 999999
	jle	.L122
	mov	DWORD PTR -132[rbp], 0
	mov	QWORD PTR -120[rbp], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 104[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 112[rax], rdx
.L151:
	mov	DWORD PTR -160[rbp], 0
	mov	DWORD PTR -152[rbp], 0
	cmp	DWORD PTR -144[rbp], 0
	setle	al
	movzx	eax, al
	mov	DWORD PTR -132[rbp], eax
	cmp	QWORD PTR -120[rbp], 0
	jne	.L123
	cmp	DWORD PTR -132[rbp], 0
	jne	.L124
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR [rax]
	lea	rdx, -160[rbp]
	lea	rsi, .LC12[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_fscanf@PLT
	mov	DWORD PTR -152[rbp], eax
	jmp	.L125
.L124:
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, -160[rbp]
	lea	rsi, .LC12[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_fscanf@PLT
	mov	DWORD PTR -152[rbp], eax
.L125:
	cmp	DWORD PTR -152[rbp], -1
	jne	.L126
	cmp	DWORD PTR -132[rbp], 0
	jne	.L126
	mov	DWORD PTR -132[rbp], 1
.L126:
	cmp	DWORD PTR -152[rbp], 0
	setg	al
	movzx	eax, al
	mov	DWORD PTR -156[rbp], eax
.L123:
	mov	eax, DWORD PTR -160[rbp]
	test	eax, eax
	jne	.L127
	cmp	DWORD PTR -132[rbp], 0
	jne	.L128
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR [rax]
	lea	rdx, -160[rbp]
	lea	rsi, .LC13[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_fscanf@PLT
	mov	DWORD PTR -152[rbp], eax
	jmp	.L129
.L128:
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, -160[rbp]
	lea	rsi, .LC13[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_fscanf@PLT
	mov	DWORD PTR -152[rbp], eax
.L129:
	cmp	DWORD PTR -152[rbp], -1
	jne	.L127
	cmp	DWORD PTR -132[rbp], 0
	jne	.L127
	mov	DWORD PTR -132[rbp], 1
.L127:
	cmp	DWORD PTR -152[rbp], -1
	jne	.L130
	cmp	DWORD PTR -132[rbp], 0
	jne	.L156
.L130:
	mov	eax, DWORD PTR -160[rbp]
	test	eax, eax
	jne	.L132
	mov	rax, QWORD PTR -120[rbp]
	mov	ecx, eax
	add	DWORD PTR -148[rbp], 1
	mov	rdx, QWORD PTR -96[rbp]
	mov	esi, DWORD PTR -148[rbp]
	mov	rax, QWORD PTR -88[rbp]
	mov	rdi, rax
	call	getHash
	mov	DWORD PTR -124[rbp], eax
	cmp	DWORD PTR -156[rbp], 0
	je	.L133
	mov	rax, QWORD PTR -120[rbp]
	mov	r9d, eax
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, DWORD PTR -124[rbp]
	lea	rcx, 0[0+rax*8]
	mov	rax, QWORD PTR -80[rbp]
	add	rax, rcx
	mov	rsi, QWORD PTR [rax]
	mov	r8, QWORD PTR -96[rbp]
	mov	edi, DWORD PTR -148[rbp]
	mov	rcx, QWORD PTR -88[rbp]
	mov	rax, QWORD PTR -168[rbp]
	sub	rsp, 8
	push	r9
	mov	r9, r8
	mov	r8d, edi
	mov	rdi, rax
	call	matchClause
	add	rsp, 16
	mov	QWORD PTR -48[rbp], rax
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	sub	edx, 1
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 128[rax]
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	cmp	rdx, rax
	jne	.L134
	pxor	xmm1, xmm1
	cvtsi2sd	xmm1, DWORD PTR -136[rbp]
	movsd	xmm0, QWORD PTR .LC0[rip]
	mulsd	xmm0, xmm1
	cvttsd2si	eax, xmm0
	mov	DWORD PTR -136[rbp], eax
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	rax, QWORD PTR adlist[rip]
	mov	rsi, rdx
	mov	rdi, rax
	call	realloc@PLT
	mov	QWORD PTR adlist[rip], rax
.L134:
	mov	rax, QWORD PTR -48[rbp]
	lea	rsi, [rax+rax]
	mov	rdi, QWORD PTR adlist[rip]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 128[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -168[rbp]
	mov	QWORD PTR 128[rdx], rcx
	sal	rax, 3
	add	rax, rdi
	lea	rdx, 1[rsi]
	mov	QWORD PTR [rax], rdx
	mov	DWORD PTR -156[rbp], 0
	mov	QWORD PTR -120[rbp], 0
	jmp	.L151
.L133:
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 104[rax]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, rdx
	add	rax, 1
	cmp	QWORD PTR -112[rbp], rax
	jg	.L136
	mov	rdx, QWORD PTR -112[rbp]
	mov	rax, rdx
	add	rax, rax
	add	rax, rdx
	mov	rdx, rax
	shr	rdx, 63
	add	rax, rdx
	sar	rax
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -112[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	rsi, rdx
	mov	rdi, rax
	call	realloc@PLT
	mov	rdx, QWORD PTR -168[rbp]
	mov	QWORD PTR 16[rdx], rax
.L136:
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 104[rax]
	add	rax, 1
	sal	rax, 2
	add	rax, rdx
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -168[rbp]
	mov	edx, DWORD PTR 72[rax]
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, 4
	add	edx, edx
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 72[rax]
	lea	edx, 1[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	DWORD PTR 72[rax], edx
	mov	DWORD PTR -140[rbp], 0
	jmp	.L137
.L138:
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	lea	rcx, [rdx+rax]
	mov	rax, QWORD PTR -96[rbp]
	mov	edx, DWORD PTR -140[rbp]
	movsx	rdx, edx
	mov	eax, DWORD PTR [rax+rdx*4]
	mov	DWORD PTR [rcx], eax
	add	DWORD PTR -140[rbp], 1
.L137:
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	cmp	QWORD PTR -120[rbp], rax
	jg	.L138
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 104[rax]
	mov	rax, QWORD PTR -120[rbp]
	add	rax, 2
	add	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 104[rax], rdx
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, DWORD PTR -124[rbp]
	lea	rcx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cmp	edx, eax
	jne	.L139
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	pxor	xmm1, xmm1
	cvtsi2sd	xmm1, eax
	movsd	xmm0, QWORD PTR .LC0[rip]
	mulsd	xmm0, xmm1
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rdx, rax
	cvttsd2si	eax, xmm0
	mov	DWORD PTR [rdx], eax
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	eax, DWORD PTR -124[rbp]
	lea	rcx, 0[0+rax*8]
	mov	rax, QWORD PTR -80[rbp]
	add	rax, rcx
	mov	rax, QWORD PTR [rax]
	mov	ecx, DWORD PTR -124[rbp]
	lea	rsi, 0[0+rcx*8]
	mov	rcx, QWORD PTR -80[rbp]
	lea	rbx, [rsi+rcx]
	mov	rsi, rdx
	mov	rdi, rax
	call	realloc@PLT
	mov	QWORD PTR [rbx], rax
.L139:
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, rdx
	mov	rsi, rax
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*8]
	mov	rax, QWORD PTR -80[rbp]
	add	rax, rdx
	mov	rdi, QWORD PTR [rax]
	mov	eax, DWORD PTR -124[rbp]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	lea	ecx, 1[rdx]
	mov	DWORD PTR [rax], ecx
	movsx	rax, edx
	sal	rax, 3
	add	rax, rdi
	sar	rsi, 2
	mov	rdx, rsi
	mov	QWORD PTR [rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 128[rax]
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	cmp	rdx, rax
	jne	.L140
	pxor	xmm1, xmm1
	cvtsi2sd	xmm1, DWORD PTR -136[rbp]
	movsd	xmm0, QWORD PTR .LC0[rip]
	mulsd	xmm0, xmm1
	cvttsd2si	eax, xmm0
	mov	DWORD PTR -136[rbp], eax
	mov	eax, DWORD PTR -136[rbp]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	rax, QWORD PTR adlist[rip]
	mov	rsi, rdx
	mov	rdi, rax
	call	realloc@PLT
	mov	QWORD PTR adlist[rip], rax
.L140:
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	rdi, rax
	mov	rsi, QWORD PTR adlist[rip]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 128[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -168[rbp]
	mov	QWORD PTR 128[rdx], rcx
	sal	rax, 3
	add	rax, rsi
	lea	rdx, [rdi+rdi]
	mov	QWORD PTR [rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 28[rax]
	cmp	DWORD PTR -144[rbp], eax
	jne	.L141
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR -56[rbp]
	mov	QWORD PTR 80[rax], rdx
.L141:
	cmp	DWORD PTR -144[rbp], 0
	jne	.L142
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	rdx, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 152[rax], rdx
.L142:
	cmp	DWORD PTR -144[rbp], 0
	jne	.L143
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 128[rax]
	lea	rdx, -1[rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	QWORD PTR 136[rax], rdx
.L143:
	cmp	DWORD PTR -144[rbp], 0
	jle	.L144
	cmp	QWORD PTR -120[rbp], 0
	je	.L145
	cmp	QWORD PTR -120[rbp], 1
	jne	.L146
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	je	.L146
.L145:
	mov	eax, 0
	jmp	.L114
.L146:
	cmp	QWORD PTR -120[rbp], 1
	jne	.L147
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jne	.L148
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 16[rax]
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	rsi, rax
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 144[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	mov	ecx, eax
	sar	ecx, 31
	xor	eax, ecx
	sub	eax, ecx
	cdqe
	sal	rax, 3
	add	rax, rdx
	lea	rdx, 1[rsi]
	mov	QWORD PTR [rax], rdx
	mov	rax, QWORD PTR -168[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -56[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	DWORD PTR [rax], 1
	mov	rax, QWORD PTR -56[rbp]
	mov	esi, DWORD PTR [rax]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 64[rax]
	lea	rcx, 4[rax]
	mov	rdx, QWORD PTR -168[rbp]
	mov	QWORD PTR 64[rdx], rcx
	neg	esi
	mov	edx, esi
	mov	DWORD PTR [rax], edx
	jmp	.L148
.L147:
	mov	rcx, QWORD PTR -56[rbp]
	mov	rax, QWORD PTR -168[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	addWatch@PLT
	mov	rcx, QWORD PTR -56[rbp]
	mov	rax, QWORD PTR -168[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	call	addWatch@PLT
	jmp	.L148
.L144:
	cmp	QWORD PTR -120[rbp], 0
	je	.L157
.L148:
	mov	QWORD PTR -120[rbp], 0
	sub	DWORD PTR -144[rbp], 1
	jmp	.L151
.L132:
	mov	rax, QWORD PTR -120[rbp]
	lea	rdx, 1[rax]
	mov	QWORD PTR -120[rbp], rdx
	mov	ecx, DWORD PTR -160[rbp]
	mov	rdx, QWORD PTR -96[rbp]
	mov	DWORD PTR [rdx+rax*4], ecx
	jmp	.L151
.L156:
	nop
	jmp	.L131
.L157:
	nop
.L131:
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 104[rax]
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -168[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	rsi, rdx
	mov	rdi, rax
	call	realloc@PLT
	mov	rdx, QWORD PTR -168[rbp]
	mov	QWORD PTR 16[rdx], rax
	mov	DWORD PTR -140[rbp], 0
	jmp	.L150
.L152:
	mov	eax, DWORD PTR -140[rbp]
	cdqe
	lea	rdx, 0[0+rax*8]
	mov	rax, QWORD PTR -80[rbp]
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	free@PLT
	add	DWORD PTR -140[rbp], 1
.L150:
	cmp	DWORD PTR -140[rbp], 999999
	jle	.L152
	mov	rax, QWORD PTR -80[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -72[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -64[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -168[rbp]
	mov	eax, DWORD PTR 24[rax]
	cdqe
	sal	rax, 2
	neg	rax
	mov	rdx, rax
	mov	rax, QWORD PTR -88[rbp]
	add	rax, rdx
	mov	rdi, rax
	call	free@PLT
	mov	eax, 1
.L114:
	mov	rsp, r12
	mov	rbx, QWORD PTR -40[rbp]
	sub	rbx, QWORD PTR fs:40
	je	.L154
	call	__stack_chk_fail@PLT
.L154:
	lea	rsp, -32[rbp]
	pop	rbx
	pop	r12
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	parse, .-parse
	.globl	freeMemory
	.type	freeMemory, @function
freeMemory:
.LFB16:
	.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 -24[rbp], rdi
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 32[rax]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 144[rax]
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR adlist[rip]
	mov	rdi, rax
	call	free@PLT
	mov	DWORD PTR -4[rbp], 1
	jmp	.L159
.L160:
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -4[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	free@PLT
	mov	rdx, QWORD PTR wlist[rip]
	mov	eax, DWORD PTR -4[rbp]
	neg	eax
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	free@PLT
	add	DWORD PTR -4[rbp], 1
.L159:
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	DWORD PTR -4[rbp], eax
	jle	.L160
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 88[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR 24[rax]
	cdqe
	sal	rax, 2
	neg	rax
	add	rax, rdx
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 96[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR 24[rax]
	cdqe
	sal	rax, 2
	neg	rax
	add	rax, rdx
	mov	rdi, rax
	call	free@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR 24[rax]
	cdqe
	sal	rax, 2
	neg	rax
	add	rax, rdx
	mov	rdi, rax
	call	free@PLT
	mov	rdx, QWORD PTR wlist[rip]
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR 24[rax]
	cdqe
	sal	rax, 3
	neg	rax
	add	rax, rdx
	mov	rdi, rax
	call	free@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	freeMemory, .-freeMemory
	.section	.rodata
.LC14:
	.string	"r"
.LC15:
	.string	"c error opening \"%s\".\n"
.LC16:
	.string	"c reading proof from stdin"
.LC17:
	.string	"s MEMORY ALLOCATION ERROR"
.LC18:
	.string	"s TRIVIAL UNSAT"
.LC19:
	.string	"s VERIFIED"
.LC20:
	.string	"s NOT VERIFIED"
	.text
	.globl	main
	.type	main, @function
main:
.LFB17:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 208
	mov	DWORD PTR -196[rbp], edi
	mov	QWORD PTR -208[rbp], rsi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	esi, 0
	lea	rdi, start_time[rip]
	call	gettimeofday@PLT
	mov	rax, QWORD PTR -208[rbp]
	add	rax, 8
	mov	rax, QWORD PTR [rax]
	lea	rsi, .LC14[rip]
	mov	rdi, rax
	call	fopen@PLT
	mov	QWORD PTR -176[rbp], rax
	mov	rax, QWORD PTR -176[rbp]
	test	rax, rax
	jne	.L163
	mov	rax, QWORD PTR -208[rbp]
	add	rax, 8
	mov	rax, QWORD PTR [rax]
	mov	rsi, rax
	lea	rdi, .LC15[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, 0
	jmp	.L171
.L163:
	cmp	DWORD PTR -196[rbp], 2
	jle	.L165
	mov	rax, QWORD PTR -208[rbp]
	add	rax, 16
	mov	rax, QWORD PTR [rax]
	lea	rsi, .LC14[rip]
	mov	rdi, rax
	call	fopen@PLT
	mov	QWORD PTR -168[rbp], rax
	mov	rax, QWORD PTR -168[rbp]
	test	rax, rax
	jne	.L166
	mov	rax, QWORD PTR -208[rbp]
	add	rax, 16
	mov	rax, QWORD PTR [rax]
	mov	rsi, rax
	lea	rdi, .LC15[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, 0
	jmp	.L171
.L165:
	lea	rdi, .LC16[rip]
	call	puts@PLT
	mov	rax, QWORD PTR stdin[rip]
	mov	QWORD PTR -168[rbp], rax
.L166:
	lea	rax, -176[rbp]
	mov	rdi, rax
	call	parse
	mov	DWORD PTR -180[rbp], eax
	mov	rax, QWORD PTR -176[rbp]
	mov	rdi, rax
	call	fclose@PLT
	mov	rax, QWORD PTR -168[rbp]
	mov	rdi, rax
	call	fclose@PLT
	cmp	DWORD PTR -180[rbp], -1
	jne	.L167
	lea	rdi, .LC17[rip]
	call	puts@PLT
	jmp	.L168
.L167:
	cmp	DWORD PTR -180[rbp], 0
	jne	.L169
	lea	rdi, .LC18[rip]
	call	puts@PLT
	jmp	.L168
.L169:
	lea	rax, -176[rbp]
	mov	rdi, rax
	call	verify
	test	eax, eax
	jne	.L170
	lea	rdi, .LC19[rip]
	call	puts@PLT
	jmp	.L168
.L170:
	lea	rdi, .LC20[rip]
	call	puts@PLT
.L168:
	lea	rax, -176[rbp]
	mov	rdi, rax
	call	freeMemory
	mov	eax, 0
.L171:
	mov	rdx, QWORD PTR -8[rbp]
	sub	rdx, QWORD PTR fs:40
	je	.L172
	call	__stack_chk_fail@PLT
.L172:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC0:
	.long	0
	.long	1073217536
	.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	"2416.c"
	.text
	.comm	start_time,8,4
	.comm	current_time,8,4
	.comm	wlist,4,4
	.comm	adlist,4,4
	.align	2
	.global	analyze
	.syntax unified
	.arm
	.fpu softvfp
	.type	analyze, %function
analyze:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	mov	r2, #0
	ldr	r1, [fp, #-20]
	ldr	r0, [fp, #-16]
	bl	markClause
	b	.L2
.L4:
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #36]
	sub	r2, r3, #4
	ldr	r3, [fp, #-16]
	str	r2, [r3, #36]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #36]
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #3
	bne	.L3
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L3
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-16]
	ldr	r1, [r3, #76]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mvn	r2, #0
	mov	r1, r3
	ldr	r0, [fp, #-16]
	bl	markClause
.L3:
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #36]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #28]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r1, r3, #255
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, r1
	str	r2, [r3]
.L2:
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #36]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #20]
	cmp	r2, r3
	bhi	.L4
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	str	r2, [r3, #36]
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #36]
	ldr	r3, [fp, #-16]
	str	r2, [r3, #32]
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	analyze, .-analyze
	.global	__aeabi_i2d
	.global	__aeabi_dmul
	.global	__aeabi_d2iz
	.section	.rodata
	.align	2
.LC0:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	propagate
	.syntax unified
	.arm
	.fpu softvfp
	.type	propagate, %function
propagate:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #52
	str	r0, [fp, #-56]
	ldr	r3, .L25
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-52]
	mov	r3, #0
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3, #32]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-20]
	str	r3, [fp, #-24]
.L6:
	ldr	r3, [fp, #-52]
	eor	r3, r3, #1
	str	r3, [fp, #-52]
	b	.L7
.L21:
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r2, fp, #12
	add	r3, r2, r3
	ldr	r2, [r3, #-12]
	add	r1, r2, #4
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r0, fp, #12
	add	r3, r0, r3
	str	r1, [r3, #-12]
	ldr	r3, [r2]
	str	r3, [fp, #-32]
	ldr	r2, [fp, #-32]
	ldr	r3, [fp, #-44]
	cmp	r2, r3
	bne	.L8
	ldr	r3, [fp, #-36]
	str	r3, [fp, #-40]
	b	.L10
.L8:
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-40]
	b	.L10
.L20:
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-40]
	ldr	r3, [r3]
	lsr	r1, r3, #31
	add	r3, r1, r3
	asr	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-28]
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	mov	r1, r3
	mov	r3, r1
	lsl	r3, r3, #30
	sub	r3, r3, r1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L11
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	mov	r1, r3
	mov	r3, r1
	lsl	r3, r3, #30
	sub	r3, r3, r1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L12
.L11:
	ldr	r3, [fp, #-40]
	add	r3, r3, #4
	str	r3, [fp, #-40]
	b	.L10
.L12:
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r2, [fp, #-32]
	cmp	r2, r3
	bne	.L13
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #4]
	ldr	r3, [fp, #-28]
	str	r2, [r3]
.L13:
	mov	r3, #2
	str	r3, [fp, #-48]
	b	.L14
.L17:
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	ldr	r1, [fp, #-28]
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L15
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r2, [r2]
	str	r2, [r3]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-28]
	add	r3, r2, r3
	ldr	r2, [fp, #-32]
	str	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #48]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r3, [fp, #-56]
	ldr	r1, [r3, #52]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	cmp	r2, r3
	bne	.L16
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #52]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	__aeabi_i2d
	mov	r2, #0
	ldr	r3, .L25+8
	bl	__aeabi_dmul
	mov	r2, r0
	mov	r3, r1
	mov	r0, r2
	mov	r1, r3
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #52]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r2, r3
	bl	__aeabi_d2iz
	mov	r3, r0
	str	r3, [r4]
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r0, [r3]
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #52]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	lsl	r1, r3, #2
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r2, r3
	bl	realloc
	mov	r3, r0
	str	r3, [r4]
.L16:
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r1, [r3]
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #48]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	add	r0, r2, #1
	str	r0, [r3]
	mov	r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r2, [fp, #-40]
	ldr	r2, [r2]
	str	r2, [r3]
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r1, [r3, #48]
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r1, [r3, #48]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r1, [r3]
	sub	r1, r1, #1
	str	r1, [r3]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-40]
	str	r2, [r3]
	ldr	r3, .L25+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r1, [r3, #48]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	b	.L10
.L15:
	ldr	r3, [fp, #-48]
	add	r3, r3, #1
	str	r3, [fp, #-48]
.L14:
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-28]
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L17
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r2, [fp, #-32]
	str	r2, [r3]
	ldr	r3, [fp, #-40]
	add	r3, r3, #4
	str	r3, [fp, #-40]
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L18
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	mov	r1, r3
	mov	r3, r1
	lsl	r3, r3, #30
	sub	r3, r3, r1
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-28]
	ldr	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3, #36]
	add	r0, r3, #4
	ldr	r1, [fp, #-56]
	str	r0, [r1, #36]
	rsb	r2, r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-28]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	r1, r3
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r2, r1, #1
	str	r2, [r3]
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	bne	.L10
	ldr	r3, [fp, #-24]
	sub	r3, r3, #4
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-32]
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-40]
	str	r3, [fp, #-36]
	b	.L6
.L18:
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-56]
	bl	analyze
	mov	r3, #0
	b	.L23
.L10:
	ldr	r3, [fp, #-40]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L20
.L7:
	ldr	r3, [fp, #-52]
	lsl	r3, r3, #2
	sub	r2, fp, #12
	add	r3, r2, r3
	ldr	r2, [r3, #-12]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3, #36]
	cmp	r2, r3
	bcc	.L21
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	beq	.L22
	b	.L6
.L22:
	ldr	r3, [fp, #-56]
	ldr	r2, [r3, #36]
	ldr	r3, [fp, #-56]
	str	r2, [r3, #32]
	mov	r3, #1
.L23:
	ldr	r2, .L25
	ldr	r1, [r2]
	ldr	r2, [fp, #-16]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L24
	bl	__stack_chk_fail
.L24:
	mov	r0, r3
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L26:
	.align	2
.L25:
	.word	.LC0
	.word	wlist
	.word	1073217536
	.size	propagate, .-propagate
	.section	.rodata
	.align	2
.LC1:
	.ascii	"c conflict claimed, but not detected\000"
	.align	2
.LC2:
	.ascii	"c no conflict\000"
	.align	2
.LC3:
	.ascii	"c parsed formula and detected empty clause; start v"
	.ascii	"erification\000"
	.align	2
.LC4:
	.ascii	"s TIMEOUT\000"
	.align	2
.LC5:
	.ascii	"c %i of %i clauses in core\012\000"
	.align	2
.LC6:
	.ascii	"c %i of %i lemmas in core with %lu incoming arcs\012"
	.ascii	"\000"
	.align	2
.LC7:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	verify
	.syntax unified
	.arm
	.fpu softvfp
	.type	verify, %function
verify:
	@ args = 0, pretend = 0, frame = 88
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #92
	str	r0, [fp, #-96]
	ldr	r3, .L87
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, sp
	mov	r4, r3
	ldr	r3, [fp, #-96]
	ldr	ip, [r3, #12]
	sub	r3, ip, #1
	str	r3, [fp, #-60]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	mov	r3, sp
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-56]
	mov	r3, #0
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #80]
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-80]
	str	r3, [fp, #-48]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #72]
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-80]
	sub	r3, r3, #4
	ldr	r2, [r3]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #64]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #32]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #36]
	cmp	r2, r3
	bcs	.L28
	ldr	r0, [fp, #-96]
	bl	propagate
	mov	r3, r0
	cmp	r3, #0
	bne	.L28
	mov	r3, #0
	b	.L29
.L28:
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #32]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #28]
.L45:
	mov	r3, #0
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-88]
	str	r3, [fp, #-92]
	ldr	r3, [fp, #-80]
	sub	r3, r3, #4
	ldr	r2, [r3]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #64]
	ldr	r3, [fp, #-80]
	str	r3, [fp, #-84]
.L32:
	ldr	r3, .L87+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-76]
	add	r1, r3, #1
	str	r1, [fp, #-76]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-44]
	and	r3, r3, #1
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-44]
	asr	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-40]
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	beq	.L30
	ldr	r3, [fp, #-40]
	add	r3, r3, #4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L30
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-40]
	ldr	r3, [r3]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-44]
	asr	r3, r3, #1
	cmp	r2, r3
	beq	.L78
	mov	r2, #0
	ldr	r1, [fp, #-40]
	ldr	r0, [fp, #-96]
	bl	removeWatch
	mov	r2, #1
	ldr	r1, [fp, #-40]
	ldr	r0, [fp, #-96]
	bl	removeWatch
	b	.L30
.L78:
	nop
.L30:
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	bne	.L32
	b	.L33
.L36:
	ldr	r3, [fp, #-80]
	add	r2, r3, #4
	str	r2, [fp, #-80]
	ldr	r3, [r3]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-96]
	ldr	r1, [r3, #24]
	ldr	r2, [fp, #-20]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L34
	mov	r3, #1
	str	r3, [fp, #-92]
.L34:
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L33
	ldr	r3, [fp, #-88]
	cmp	r3, #1
	bgt	.L35
	ldr	r3, [fp, #-88]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-84]
	add	r2, r2, r3
	ldr	r3, [fp, #-80]
	sub	r3, r3, #4
	ldr	r2, [r2]
	str	r2, [r3]
	ldr	r3, [fp, #-88]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-84]
	add	r3, r2, r3
	ldr	r2, [fp, #-20]
	str	r2, [r3]
.L35:
	ldr	r3, [fp, #-88]
	add	r2, r3, #1
	str	r2, [fp, #-88]
	ldr	r2, [fp, #-56]
	ldr	r1, [fp, #-20]
	str	r1, [r2, r3, lsl #2]
.L33:
	ldr	r3, [fp, #-80]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L36
	ldr	r3, [fp, #-84]
	add	r3, r3, #4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L37
	mov	r2, #0
	ldr	r1, [fp, #-84]
	ldr	r0, [fp, #-96]
	bl	addWatch
	mov	r2, #1
	ldr	r1, [fp, #-84]
	ldr	r0, [fp, #-96]
	bl	addWatch
.L37:
	ldr	r3, [fp, #-80]
	add	r3, r3, #8
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-92]
	cmp	r3, #0
	beq	.L38
	ldr	r3, .L87+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-76]
	sub	r3, r3, #-1073741823
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
.L38:
	ldr	r3, [fp, #-92]
	cmp	r3, #0
	bne	.L79
	ldr	r3, [fp, #-88]
	cmp	r3, #0
	bne	.L41
	ldr	r0, .L87+8
	bl	puts
	mov	r3, #1
	b	.L29
.L41:
	ldr	r3, [fp, #-88]
	cmp	r3, #1
	bne	.L42
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3]
	mov	r1, r3
	mov	r3, r1
	lsl	r3, r3, #30
	sub	r3, r3, r1
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r2, [r3]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #36]
	add	r0, r3, #4
	ldr	r1, [fp, #-96]
	str	r0, [r1, #36]
	rsb	r2, r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-84]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	r1, r3
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r2, r1, #1
	str	r2, [r3]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #32]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #28]
	ldr	r0, [fp, #-96]
	bl	propagate
	mov	r3, r0
	cmp	r3, #0
	beq	.L80
.L42:
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-80]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	r2, r3
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #56]
	cmp	r2, r3
	bge	.L81
	b	.L45
.L79:
	nop
	b	.L45
.L81:
	nop
	ldr	r0, .L87+12
	bl	puts
	mov	r3, #1
	b	.L29
.L80:
	nop
.L43:
	ldr	r3, [fp, #-80]
	str	r3, [fp, #-36]
	ldr	r0, .L87+16
	bl	puts
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #32]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #28]
	ldr	r3, [fp, #-84]
	sub	r3, r3, #8
	str	r3, [fp, #-80]
.L64:
	mov	r3, #0
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-80]
	add	r3, r3, #8
	str	r3, [fp, #-84]
.L48:
	ldr	r3, .L87+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-76]
	sub	r3, r3, #1
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-76]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-44]
	and	r3, r3, #1
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-44]
	asr	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	beq	.L46
	ldr	r3, [fp, #-32]
	add	r3, r3, #4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L46
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-32]
	ldr	r3, [r3]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-44]
	asr	r3, r3, #1
	cmp	r2, r3
	beq	.L82
	mov	r2, #0
	ldr	r1, [fp, #-32]
	ldr	r0, [fp, #-96]
	bl	addWatch
	mov	r2, #1
	ldr	r1, [fp, #-32]
	ldr	r0, [fp, #-96]
	bl	addWatch
	b	.L46
.L82:
	nop
.L46:
	ldr	r3, [fp, #-52]
	cmp	r3, #0
	bne	.L48
	ldr	r3, [fp, #-84]
	sub	r3, r3, #4
	ldr	r2, [r3]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #64]
	ldr	r3, [fp, #-84]
	add	r3, r3, #4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L49
	mov	r2, #0
	ldr	r1, [fp, #-84]
	ldr	r0, [fp, #-96]
	bl	removeWatch
	mov	r2, #1
	ldr	r1, [fp, #-84]
	ldr	r0, [fp, #-96]
	bl	removeWatch
.L49:
	ldr	r3, [fp, #-44]
	cmp	r3, #0
	beq	.L83
	b	.L52
.L54:
	ldr	r3, [fp, #-84]
	add	r2, r3, #4
	str	r2, [fp, #-84]
	ldr	r3, [r3]
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-96]
	ldr	r1, [r3, #24]
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L53
	mov	r3, #1
	str	r3, [fp, #-92]
.L53:
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L52
	ldr	r3, [fp, #-88]
	add	r2, r3, #1
	str	r2, [fp, #-88]
	ldr	r2, [fp, #-56]
	ldr	r1, [fp, #-24]
	str	r1, [r2, r3, lsl #2]
.L52:
	ldr	r3, [fp, #-84]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L54
	ldr	r3, [fp, #-92]
	cmp	r3, #0
	beq	.L55
	ldr	r3, [fp, #-88]
	cmp	r3, #1
	bne	.L55
.L56:
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #28]
	sub	r1, r3, #4
	ldr	r3, [fp, #-96]
	str	r1, [r3, #28]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #28]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #28]
	ldr	r2, [r3]
	ldr	r3, [fp, #-56]
	ldr	r3, [r3]
	rsb	r3, r3, #0
	cmp	r2, r3
	bne	.L56
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #36]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #36]
	ldr	r3, [fp, #-96]
	str	r2, [r3, #32]
.L55:
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #64]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L57
	mov	r1, #0
	ldr	r0, .L87+20
	bl	gettimeofday
	ldr	r3, .L87+20
	ldr	r2, [r3]
	ldr	r3, .L87+24
	ldr	r3, [r3]
	sub	r3, r2, r3
	str	r3, [fp, #-28]
	ldr	r3, [fp, #-28]
	ldr	r2, .L87+28
	cmp	r3, r2
	ble	.L58
	ldr	r0, .L87+32
	bl	puts
	mov	r0, #0
	bl	exit
.L58:
	mov	r3, #0
	str	r3, [fp, #-72]
	b	.L59
.L60:
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-56]
	ldr	r1, [fp, #-72]
	ldr	r3, [r3, r1, lsl #2]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #36]
	add	r1, r3, #4
	ldr	r2, [fp, #-96]
	str	r1, [r2, #36]
	ldr	r2, [fp, #-56]
	ldr	r1, [fp, #-72]
	ldr	r2, [r2, r1, lsl #2]
	str	r2, [r3]
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-56]
	ldr	r1, [fp, #-72]
	ldr	r3, [r3, r1, lsl #2]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-72]
	add	r3, r3, #1
	str	r3, [fp, #-72]
.L59:
	ldr	r2, [fp, #-72]
	ldr	r3, [fp, #-88]
	cmp	r2, r3
	blt	.L60
	ldr	r0, [fp, #-96]
	bl	propagate
	mov	r3, r0
	cmp	r3, #1
	bne	.L57
	mov	r3, #1
	b	.L29
.L57:
	ldr	r3, [fp, #-80]
	add	r3, r3, #8
	str	r3, [fp, #-84]
	b	.L51
.L83:
	nop
.L51:
	ldr	r3, [fp, #-80]
	add	r3, r3, #8
	ldr	r2, [fp, #-48]
	cmp	r2, r3
	beq	.L84
.L63:
	ldr	r3, [fp, #-80]
	sub	r3, r3, #4
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-80]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L63
	b	.L64
.L84:
	nop
	ldr	r3, [fp, #-96]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #60]
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-80]
	mov	r3, #0
	str	r3, [fp, #-68]
	b	.L65
.L68:
	ldr	r3, [fp, #-80]
	add	r2, r3, #4
	str	r2, [fp, #-80]
	ldr	r3, [r3]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L85
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L85:
	nop
.L67:
	ldr	r3, [fp, #-80]
	add	r2, r3, #4
	str	r2, [fp, #-80]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L67
.L65:
	ldr	r3, [fp, #-80]
	add	r3, r3, #8
	ldr	r2, [fp, #-48]
	cmp	r2, r3
	bcs	.L68
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #16]
	mov	r2, r3
	ldr	r1, [fp, #-68]
	ldr	r0, .L87+36
	bl	printf
	mov	r3, #0
	str	r3, [fp, #-64]
	mov	r3, #0
	str	r3, [fp, #-68]
	b	.L69
.L72:
	ldr	r3, [fp, #-64]
	add	r3, r3, #1
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-80]
	add	r2, r3, #4
	str	r2, [fp, #-80]
	ldr	r3, [r3]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L86
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L86:
	nop
.L71:
	ldr	r3, [fp, #-80]
	add	r2, r3, #4
	str	r2, [fp, #-80]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L71
.L69:
	ldr	r3, [fp, #-80]
	add	r3, r3, #8
	ldr	r2, [fp, #-36]
	cmp	r2, r3
	bcs	.L72
	ldr	r3, [fp, #-96]
	ldr	r3, [r3, #84]
	ldr	r2, [fp, #-64]
	ldr	r1, [fp, #-68]
	ldr	r0, .L87+40
	bl	printf
	mov	r3, #0
.L29:
	mov	sp, r4
	ldr	r2, .L87
	ldr	r1, [r2]
	ldr	r2, [fp, #-16]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L74
	bl	__stack_chk_fail
.L74:
	mov	r0, r3
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L88:
	.align	2
.L87:
	.word	.LC7
	.word	adlist
	.word	.LC1
	.word	.LC2
	.word	.LC3
	.word	current_time
	.word	start_time
	.word	20000
	.word	.LC4
	.word	.LC5
	.word	.LC6
	.size	verify, .-verify
	.align	2
	.global	getHash
	.syntax unified
	.arm
	.fpu softvfp
	.type	getHash, %function
getHash:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #36
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	str	r3, [fp, #-36]
	mov	r3, #0
	str	r3, [fp, #-16]
	mov	r3, #1
	str	r3, [fp, #-12]
	mov	r3, #0
	str	r3, [fp, #-8]
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L90
.L91:
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r3, [fp, #-12]
	mul	r3, r2, r3
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r3, [fp, #-16]
	add	r3, r3, r2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r3, [fp, #-8]
	eor	r3, r3, r2
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-24]
	add	r3, r2, r3
	ldr	r2, [fp, #-28]
	str	r2, [r3]
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L90:
	ldr	r3, [fp, #-36]
	ldr	r2, [fp, #-20]
	cmp	r2, r3
	bcc	.L91
	ldr	r2, [fp, #-16]
	mov	r3, r2
	lsl	r3, r3, #10
	sub	r2, r3, r2
	ldr	r3, [fp, #-12]
	add	r1, r2, r3
	ldr	r2, [fp, #-8]
	mov	r3, r2
	lsl	r3, r3, #5
	sub	r3, r3, r2
	eor	r0, r1, r3
	ldr	r3, .L93
	umull	r2, r3, r0, r3
	lsr	r1, r3, #18
	mov	r2, r1
	lsl	r2, r2, #5
	sub	r2, r2, r1
	lsl	r3, r2, #6
	sub	r3, r3, r2
	lsl	r3, r3, #3
	add	r3, r3, r1
	lsl	r3, r3, #6
	sub	r1, r0, r3
	mov	r3, r1
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L94:
	.align	2
.L93:
	.word	1125899907
	.size	getHash, .-getHash
	.section	.rodata
	.align	2
.LC8:
	.ascii	"c error: could not match deleted clause \000"
	.align	2
.LC9:
	.ascii	"%i \000"
	.align	2
.LC10:
	.ascii	"\012s MATCHING ERROR\000"
	.text
	.align	2
	.global	matchClause
	.syntax unified
	.arm
	.fpu softvfp
	.type	matchClause, %function
matchClause:
	@ args = 12, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	str	r3, [fp, #-36]
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L96
.L102:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r1, [fp, #-28]
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-12]
	mov	r3, #0
	str	r3, [fp, #-16]
	b	.L97
.L100:
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-36]
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #4]
	cmp	r2, r3
	bne	.L106
	ldr	r3, [fp, #-16]
	add	r3, r3, #1
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	add	r3, r3, #4
	str	r3, [fp, #-12]
.L97:
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L100
	ldr	r2, [fp, #12]
	ldr	r3, [fp, #-16]
	cmp	r2, r3
	bne	.L107
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-28]
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-32]
	sub	r3, r3, #1
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r1, [fp, #-28]
	add	r3, r1, r3
	ldr	r2, [r2]
	str	r2, [r3]
	ldr	r3, [fp, #-8]
	b	.L105
.L106:
	nop
	b	.L99
.L107:
	nop
.L99:
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L96:
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-32]
	cmp	r2, r3
	blt	.L102
	ldr	r0, .L108
	bl	printf
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L103
.L104:
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	ldr	r2, [fp, #8]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r1, r3
	ldr	r0, .L108+4
	bl	printf
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L103:
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #12]
	cmp	r2, r3
	blt	.L104
	ldr	r0, .L108+8
	bl	puts
	mov	r0, #0
	bl	exit
.L105:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L109:
	.align	2
.L108:
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.size	matchClause, .-matchClause
	.section	.rodata
	.align	2
.LC11:
	.ascii	" cnf %i %i \012\000"
	.align	2
.LC12:
	.ascii	"%*s\012\000"
	.align	2
.LC13:
	.ascii	" d  %i \000"
	.align	2
.LC14:
	.ascii	" %i \000"
	.align	2
.LC15:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	parse
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse, %function
parse:
	@ args = 0, pretend = 0, frame = 96
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #112
	str	r0, [fp, #-104]
	ldr	r3, .L159
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
.L113:
	ldr	r3, [fp, #-104]
	ldr	r0, [r3]
	ldr	r3, [fp, #-104]
	add	r2, r3, #12
	ldr	r3, [fp, #-104]
	add	r3, r3, #16
	ldr	r1, .L159+4
	bl	__isoc99_fscanf
	str	r0, [fp, #-88]
	ldr	r3, [fp, #-88]
	cmp	r3, #0
	ble	.L111
	ldr	r3, [fp, #-88]
	cmn	r3, #1
	bne	.L156
.L111:
	ldr	r3, [fp, #-104]
	ldr	r3, [r3]
	ldr	r1, .L159+8
	mov	r0, r3
	bl	__isoc99_fscanf
	str	r0, [fp, #-88]
	ldr	r3, [fp, #-88]
	cmp	r3, #2
	beq	.L112
	ldr	r3, [fp, #-88]
	cmn	r3, #1
	bne	.L113
	b	.L112
.L156:
	nop
.L112:
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #16]
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-104]
	ldr	ip, [r3, #12]
	mov	r3, sp
	mov	r5, r3
	sub	r3, ip, #1
	str	r3, [fp, #-56]
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	mov	r0, r3
	mov	r1, #0
	mov	r2, #0
	mov	r3, #0
	lsl	r3, r1, #5
	orr	r3, r3, r0, lsr #27
	lsl	r2, r0, #5
	mov	r3, ip
	lsl	r3, r3, #2
	add	r3, r3, #7
	lsr	r3, r3, #3
	lsl	r3, r3, #3
	sub	sp, sp, r3
	add	r3, sp, #16
	add	r3, r3, #3
	lsr	r3, r3, #2
	lsl	r3, r3, #2
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #12]
	str	r3, [fp, #-48]
	ldr	r3, [fp, #-104]
	mov	r2, #0
	str	r2, [r3, #56]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #56]
	add	r3, r3, #999424
	add	r3, r3, #576
	str	r3, [fp, #-72]
	ldr	r3, [fp, #-72]
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #8]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #8]
	cmp	r3, #0
	bne	.L114
	mvn	r3, #0
	b	.L115
.L114:
	ldr	r3, [fp, #-104]
	mov	r2, #0
	str	r2, [r3, #84]
	ldr	r3, [fp, #-104]
	mov	r2, #1
	str	r2, [r3, #40]
	ldr	r3, [fp, #-104]
	mov	r2, #0
	str	r2, [r3, #68]
	ldr	r3, [fp, #-48]
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #20]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-104]
	str	r2, [r3, #28]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-104]
	str	r2, [r3, #32]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-104]
	str	r2, [r3, #36]
	ldr	r3, [fp, #-48]
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #76]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #1
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #48]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #48]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	add	r2, r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #48]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #1
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #52]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #52]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	add	r2, r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #52]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #1
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #24]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	add	r2, r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #24]
	mov	r3, #1
	str	r3, [fp, #-68]
	b	.L116
.L117:
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r1, [r3, #24]
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r2, [fp, #-104]
	ldr	r1, [r2, #24]
	ldr	r2, [fp, #-68]
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r3, [r3]
	str	r3, [r2]
	ldr	r3, [fp, #-104]
	ldr	r1, [r3, #48]
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r2, [fp, #-104]
	ldr	r1, [r2, #48]
	ldr	r2, [fp, #-68]
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r3, [r3]
	str	r3, [r2]
	ldr	r3, [fp, #-104]
	ldr	r1, [r3, #52]
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	mov	r2, #8
	str	r2, [r3]
	ldr	r2, [fp, #-104]
	ldr	r1, [r2, #52]
	ldr	r2, [fp, #-68]
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r3, [r3]
	str	r3, [r2]
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L116:
	ldr	r2, [fp, #-68]
	ldr	r3, [fp, #-48]
	cmp	r2, r3
	ble	.L117
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #1
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, .L159+12
	str	r2, [r3]
	ldr	r3, .L159+12
	ldr	r2, [r3]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, .L159+12
	str	r3, [r2]
	mov	r3, #1
	str	r3, [fp, #-68]
	b	.L118
.L119:
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #52]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	lsl	r1, r3, #2
	ldr	r3, .L159+12
	ldr	r2, [r3]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	add	r4, r2, r3
	mov	r0, r1
	bl	malloc
	mov	r3, r0
	str	r3, [r4]
	ldr	r3, .L159+12
	ldr	r2, [r3]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r1, [r3, #52]
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r0, r3, #2
	ldr	r3, .L159+12
	ldr	r1, [r3]
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r4, r1, r3
	bl	malloc
	mov	r3, r0
	str	r3, [r4]
	ldr	r3, .L159+12
	ldr	r1, [r3]
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L118:
	ldr	r2, [fp, #-68]
	ldr	r3, [fp, #-48]
	cmp	r2, r3
	ble	.L119
	ldr	r3, .L159+16
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-64]
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, .L159+20
	str	r2, [r3]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #1
	add	r3, r3, #1
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-48]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-44]
	add	r3, r2, r3
	str	r3, [fp, #-44]
	mov	r3, #1
	str	r3, [fp, #-68]
	b	.L120
.L121:
	ldr	r2, [fp, #-68]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	mov	r2, r3
	ldr	r3, [fp, #-44]
	add	r3, r3, r2
	mov	r2, #0
	str	r2, [r3]
	ldr	r2, [fp, #-68]
	lsl	r2, r2, #2
	ldr	r1, [fp, #-44]
	add	r2, r1, r2
	ldr	r3, [r3]
	str	r3, [r2]
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L120:
	ldr	r2, [fp, #-68]
	ldr	r3, [fp, #-48]
	cmp	r2, r3
	ble	.L121
	mov	r3, #0
	str	r3, [fp, #-84]
	ldr	r0, .L159+24
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-40]
	ldr	r0, .L159+24
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-36]
	ldr	r0, .L159+24
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-32]
	mov	r3, #0
	str	r3, [fp, #-68]
	b	.L122
.L123:
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-36]
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	mov	r2, #8
	str	r2, [r3]
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	lsl	r1, r3, #2
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r4, r2, r3
	mov	r0, r1
	bl	malloc
	mov	r3, r0
	str	r3, [r4]
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L122:
	ldr	r3, [fp, #-68]
	ldr	r2, .L159+16
	cmp	r3, r2
	blt	.L123
	mov	r3, #0
	str	r3, [fp, #-60]
	mov	r3, #0
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #56]
	ldr	r3, [fp, #-104]
	str	r2, [r3, #60]
.L152:
	mov	r3, #0
	str	r3, [fp, #-96]
	mov	r3, #0
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	movle	r3, #1
	movgt	r3, #0
	and	r3, r3, #255
	str	r3, [fp, #-60]
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	bne	.L124
	ldr	r3, [fp, #-60]
	cmp	r3, #0
	bne	.L125
	ldr	r3, [fp, #-104]
	ldr	r3, [r3]
	sub	r2, fp, #96
	ldr	r1, .L159+28
	mov	r0, r3
	bl	__isoc99_fscanf
	str	r0, [fp, #-88]
	b	.L126
.L125:
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #4]
	sub	r2, fp, #96
	ldr	r1, .L159+28
	mov	r0, r3
	bl	__isoc99_fscanf
	str	r0, [fp, #-88]
.L126:
	ldr	r3, [fp, #-88]
	cmn	r3, #1
	bne	.L127
	ldr	r3, [fp, #-60]
	cmp	r3, #0
	bne	.L127
	mov	r3, #1
	str	r3, [fp, #-60]
.L127:
	ldr	r3, [fp, #-88]
	cmp	r3, #0
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	str	r3, [fp, #-92]
.L124:
	ldr	r3, [fp, #-96]
	cmp	r3, #0
	bne	.L128
	ldr	r3, [fp, #-60]
	cmp	r3, #0
	bne	.L129
	ldr	r3, [fp, #-104]
	ldr	r3, [r3]
	sub	r2, fp, #96
	ldr	r1, .L159+32
	mov	r0, r3
	bl	__isoc99_fscanf
	str	r0, [fp, #-88]
	b	.L130
.L129:
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #4]
	sub	r2, fp, #96
	ldr	r1, .L159+32
	mov	r0, r3
	bl	__isoc99_fscanf
	str	r0, [fp, #-88]
.L130:
	ldr	r3, [fp, #-88]
	cmn	r3, #1
	bne	.L128
	ldr	r3, [fp, #-60]
	cmp	r3, #0
	bne	.L128
	mov	r3, #1
	str	r3, [fp, #-60]
.L128:
	ldr	r3, [fp, #-88]
	cmn	r3, #1
	bne	.L131
	ldr	r3, [fp, #-60]
	cmp	r3, #0
	bne	.L157
.L131:
	ldr	r3, [fp, #-96]
	cmp	r3, #0
	bne	.L133
	ldr	r3, [fp, #-84]
	add	r3, r3, #1
	str	r3, [fp, #-84]
	ldr	r3, [fp, #-76]
	ldr	r2, [fp, #-52]
	ldr	r1, [fp, #-84]
	ldr	r0, [fp, #-44]
	bl	getHash
	str	r0, [fp, #-28]
	ldr	r3, [fp, #-92]
	cmp	r3, #0
	beq	.L134
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r3, r2, r3
	ldr	r1, [r3]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-36]
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-76]
	str	r3, [sp, #8]
	ldr	r3, [fp, #-52]
	str	r3, [sp, #4]
	ldr	r3, [fp, #-84]
	str	r3, [sp]
	ldr	r3, [fp, #-44]
	ldr	r0, [fp, #-104]
	bl	matchClause
	str	r0, [fp, #-20]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-36]
	add	r3, r2, r3
	ldr	r2, [r3]
	sub	r2, r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #68]
	ldr	r2, [fp, #-64]
	cmp	r2, r3
	bne	.L135
	ldr	r0, [fp, #-64]
	bl	__aeabi_i2d
	mov	r2, #0
	ldr	r3, .L159+36
	bl	__aeabi_dmul
	mov	r2, r0
	mov	r3, r1
	mov	r0, r2
	mov	r1, r3
	bl	__aeabi_d2iz
	mov	r3, r0
	str	r3, [fp, #-64]
	ldr	r3, .L159+20
	ldr	r2, [r3]
	ldr	r3, [fp, #-64]
	lsl	r3, r3, #2
	mov	r1, r3
	mov	r0, r2
	bl	realloc
	mov	r3, r0
	ldr	r2, .L159+20
	str	r3, [r2]
.L135:
	ldr	r3, [fp, #-20]
	lsl	r2, r3, #1
	ldr	r3, .L159+20
	ldr	r1, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #68]
	add	ip, r3, #1
	ldr	r0, [fp, #-104]
	str	ip, [r0, #68]
	lsl	r3, r3, #2
	add	r3, r1, r3
	add	r2, r2, #1
	str	r2, [r3]
	mov	r3, #0
	str	r3, [fp, #-92]
	mov	r3, #0
	str	r3, [fp, #-76]
	b	.L152
.L134:
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #56]
	ldr	r3, [fp, #-76]
	add	r3, r2, r3
	add	r3, r3, #1
	ldr	r2, [fp, #-72]
	cmp	r2, r3
	bgt	.L137
	ldr	r2, [fp, #-72]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsr	r2, r3, #31
	add	r3, r2, r3
	asr	r3, r3, #1
	str	r3, [fp, #-72]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-72]
	lsl	r3, r3, #2
	mov	r1, r3
	mov	r0, r2
	bl	realloc
	mov	r2, r0
	ldr	r3, [fp, #-104]
	str	r2, [r3, #8]
.L137:
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #56]
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #40]
	ldr	r3, [fp, #-24]
	sub	r3, r3, #4
	lsl	r2, r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #40]
	add	r2, r3, #1
	ldr	r3, [fp, #-104]
	str	r2, [r3, #40]
	mov	r3, #0
	str	r3, [fp, #-68]
	b	.L138
.L139:
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-24]
	add	r3, r2, r3
	ldr	r2, [fp, #-52]
	ldr	r1, [fp, #-68]
	ldr	r2, [r2, r1, lsl #2]
	str	r2, [r3]
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L138:
	ldr	r2, [fp, #-68]
	ldr	r3, [fp, #-76]
	cmp	r2, r3
	blt	.L139
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-24]
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #56]
	ldr	r3, [fp, #-76]
	add	r3, r3, #2
	add	r2, r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #56]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-36]
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r1, [fp, #-32]
	add	r3, r1, r3
	ldr	r3, [r3]
	cmp	r2, r3
	bne	.L140
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	__aeabi_i2d
	mov	r2, #0
	ldr	r3, .L159+36
	bl	__aeabi_dmul
	mov	r2, r0
	mov	r3, r1
	mov	r0, r2
	mov	r1, r3
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r4, r2, r3
	bl	__aeabi_d2iz
	mov	r3, r0
	str	r3, [r4]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r3, r2, r3
	ldr	r0, [r3]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	lsl	r1, r3, #2
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r4, r2, r3
	bl	realloc
	mov	r3, r0
	str	r3, [r4]
.L140:
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-24]
	sub	r1, r2, r3
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r3, r2, r3
	ldr	r0, [r3]
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-36]
	add	r3, r2, r3
	ldr	r2, [r3]
	add	ip, r2, #1
	str	ip, [r3]
	mov	r3, r2
	lsl	r3, r3, #2
	add	r3, r0, r3
	asr	r2, r1, #2
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #68]
	ldr	r2, [fp, #-64]
	cmp	r2, r3
	bne	.L141
	ldr	r0, [fp, #-64]
	bl	__aeabi_i2d
	mov	r2, #0
	ldr	r3, .L159+36
	bl	__aeabi_dmul
	mov	r2, r0
	mov	r3, r1
	mov	r0, r2
	mov	r1, r3
	bl	__aeabi_d2iz
	mov	r3, r0
	str	r3, [fp, #-64]
	ldr	r3, .L159+20
	ldr	r2, [r3]
	ldr	r3, [fp, #-64]
	lsl	r3, r3, #2
	mov	r1, r3
	mov	r0, r2
	bl	realloc
	mov	r3, r0
	ldr	r2, .L159+20
	str	r3, [r2]
.L141:
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-24]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	ip, r3
	ldr	r3, .L159+20
	ldr	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #68]
	add	r0, r3, #1
	ldr	r1, [fp, #-104]
	str	r0, [r1, #68]
	lsl	r3, r3, #2
	add	r3, r2, r3
	lsl	r2, ip, #1
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #16]
	ldr	r2, [fp, #-80]
	cmp	r2, r3
	bne	.L142
	ldr	r3, [fp, #-104]
	ldr	r2, [fp, #-24]
	str	r2, [r3, #44]
.L142:
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	bne	.L143
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-24]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	r2, r3
	ldr	r3, [fp, #-104]
	str	r2, [r3, #80]
.L143:
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	bne	.L144
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #68]
	sub	r2, r3, #1
	ldr	r3, [fp, #-104]
	str	r2, [r3, #72]
.L144:
	ldr	r3, [fp, #-80]
	cmp	r3, #0
	ble	.L145
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	beq	.L146
	ldr	r3, [fp, #-76]
	cmp	r3, #1
	bne	.L147
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L147
.L146:
	mov	r3, #0
	b	.L115
.L147:
	ldr	r3, [fp, #-76]
	cmp	r3, #1
	bne	.L148
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mov	r1, r3
	mov	r3, r1
	lsl	r3, r3, #30
	sub	r3, r3, r1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L149
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-24]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	r1, r3
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #76]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	rsblt	r3, r3, #0
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r2, r1, #1
	str	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mov	r1, r3
	mov	r3, r1
	lsl	r3, r3, #30
	sub	r3, r3, r1
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r2, [r3]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #36]
	add	r0, r3, #4
	ldr	r1, [fp, #-104]
	str	r0, [r1, #36]
	rsb	r2, r2, #0
	str	r2, [r3]
	b	.L149
.L148:
	mov	r2, #0
	ldr	r1, [fp, #-24]
	ldr	r0, [fp, #-104]
	bl	addWatch
	mov	r2, #1
	ldr	r1, [fp, #-24]
	ldr	r0, [fp, #-104]
	bl	addWatch
	b	.L149
.L145:
	ldr	r3, [fp, #-76]
	cmp	r3, #0
	beq	.L158
.L149:
	mov	r3, #0
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-80]
	sub	r3, r3, #1
	str	r3, [fp, #-80]
	b	.L152
.L133:
	ldr	r3, [fp, #-76]
	add	r2, r3, #1
	str	r2, [fp, #-76]
	ldr	r1, [fp, #-96]
	ldr	r2, [fp, #-52]
	str	r1, [r2, r3, lsl #2]
	b	.L152
.L157:
	nop
	b	.L132
.L158:
	nop
.L132:
	ldr	r3, [fp, #-104]
	ldr	r2, [r3, #8]
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #56]
	lsl	r3, r3, #2
	mov	r1, r3
	mov	r0, r2
	bl	realloc
	mov	r2, r0
	ldr	r3, [fp, #-104]
	str	r2, [r3, #8]
	mov	r3, #0
	str	r3, [fp, #-68]
	b	.L151
.L153:
	ldr	r3, [fp, #-68]
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	free
	ldr	r3, [fp, #-68]
	add	r3, r3, #1
	str	r3, [fp, #-68]
.L151:
	ldr	r3, [fp, #-68]
	ldr	r2, .L159+16
	cmp	r3, r2
	blt	.L153
	ldr	r0, [fp, #-40]
	bl	free
	ldr	r0, [fp, #-36]
	bl	free
	ldr	r0, [fp, #-32]
	bl	free
	ldr	r3, [fp, #-104]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	rsb	r3, r3, #0
	ldr	r2, [fp, #-44]
	add	r3, r2, r3
	mov	r0, r3
	bl	free
	mov	r3, #1
.L115:
	mov	sp, r5
	ldr	r2, .L159
	ldr	r1, [r2]
	ldr	r2, [fp, #-16]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L155
	bl	__stack_chk_fail
.L155:
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L160:
	.align	2
.L159:
	.word	.LC15
	.word	.LC11
	.word	.LC12
	.word	wlist
	.word	1000000
	.word	adlist
	.word	4000000
	.word	.LC13
	.word	.LC14
	.word	1073217536
	.size	parse, .-parse
	.align	2
	.global	freeMemory
	.syntax unified
	.arm
	.fpu softvfp
	.type	freeMemory, %function
freeMemory:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #8]
	mov	r0, r3
	bl	free
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #20]
	mov	r0, r3
	bl	free
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #76]
	mov	r0, r3
	bl	free
	ldr	r3, .L165
	ldr	r3, [r3]
	mov	r0, r3
	bl	free
	mov	r3, #1
	str	r3, [fp, #-8]
	b	.L162
.L163:
	ldr	r3, .L165+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	free
	ldr	r3, .L165+4
	ldr	r1, [r3]
	ldr	r2, [fp, #-8]
	mov	r3, r2
	lsl	r3, r3, #30
	sub	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	free
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	str	r3, [fp, #-8]
.L162:
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-8]
	cmp	r2, r3
	ble	.L163
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #48]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	rsb	r3, r3, #0
	add	r3, r2, r3
	mov	r0, r3
	bl	free
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #52]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	rsb	r3, r3, #0
	add	r3, r2, r3
	mov	r0, r3
	bl	free
	ldr	r3, [fp, #-16]
	ldr	r2, [r3, #24]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	rsb	r3, r3, #0
	add	r3, r2, r3
	mov	r0, r3
	bl	free
	ldr	r3, .L165+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	rsb	r3, r3, #0
	add	r3, r2, r3
	mov	r0, r3
	bl	free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L166:
	.align	2
.L165:
	.word	adlist
	.word	wlist
	.size	freeMemory, .-freeMemory
	.section	.rodata
	.align	2
.LC16:
	.ascii	"r\000"
	.align	2
.LC17:
	.ascii	"c error opening \"%s\".\012\000"
	.align	2
.LC18:
	.ascii	"c reading proof from stdin\000"
	.align	2
.LC19:
	.ascii	"s MEMORY ALLOCATION ERROR\000"
	.align	2
.LC20:
	.ascii	"s TRIVIAL UNSAT\000"
	.align	2
.LC21:
	.ascii	"s VERIFIED\000"
	.align	2
.LC22:
	.ascii	"s NOT VERIFIED\000"
	.align	2
.LC23:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 104
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #104
	str	r0, [fp, #-104]
	str	r1, [fp, #-108]
	ldr	r3, .L178
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r1, #0
	ldr	r0, .L178+4
	bl	gettimeofday
	ldr	r3, [fp, #-108]
	add	r3, r3, #4
	ldr	r3, [r3]
	ldr	r1, .L178+8
	mov	r0, r3
	bl	fopen
	mov	r3, r0
	str	r3, [fp, #-96]
	ldr	r3, [fp, #-96]
	cmp	r3, #0
	bne	.L168
	ldr	r3, [fp, #-108]
	add	r3, r3, #4
	ldr	r3, [r3]
	mov	r1, r3
	ldr	r0, .L178+12
	bl	printf
	mov	r3, #0
	b	.L176
.L168:
	ldr	r3, [fp, #-104]
	cmp	r3, #2
	ble	.L170
	ldr	r3, [fp, #-108]
	add	r3, r3, #8
	ldr	r3, [r3]
	ldr	r1, .L178+8
	mov	r0, r3
	bl	fopen
	mov	r3, r0
	str	r3, [fp, #-92]
	ldr	r3, [fp, #-92]
	cmp	r3, #0
	bne	.L171
	ldr	r3, [fp, #-108]
	add	r3, r3, #8
	ldr	r3, [r3]
	mov	r1, r3
	ldr	r0, .L178+12
	bl	printf
	mov	r3, #0
	b	.L176
.L170:
	ldr	r0, .L178+16
	bl	puts
	ldr	r3, .L178+20
	ldr	r3, [r3]
	str	r3, [fp, #-92]
.L171:
	sub	r3, fp, #96
	mov	r0, r3
	bl	parse
	str	r0, [fp, #-100]
	ldr	r3, [fp, #-96]
	mov	r0, r3
	bl	fclose
	ldr	r3, [fp, #-92]
	mov	r0, r3
	bl	fclose
	ldr	r3, [fp, #-100]
	cmn	r3, #1
	bne	.L172
	ldr	r0, .L178+24
	bl	puts
	b	.L173
.L172:
	ldr	r3, [fp, #-100]
	cmp	r3, #0
	bne	.L174
	ldr	r0, .L178+28
	bl	puts
	b	.L173
.L174:
	sub	r3, fp, #96
	mov	r0, r3
	bl	verify
	mov	r3, r0
	cmp	r3, #0
	bne	.L175
	ldr	r0, .L178+32
	bl	puts
	b	.L173
.L175:
	ldr	r0, .L178+36
	bl	puts
.L173:
	sub	r3, fp, #96
	mov	r0, r3
	bl	freeMemory
	mov	r3, #0
.L176:
	ldr	r2, .L178
	ldr	r1, [r2]
	ldr	r2, [fp, #-8]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L177
	bl	__stack_chk_fail
.L177:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L179:
	.align	2
.L178:
	.word	.LC23
	.word	start_time
	.word	.LC16
	.word	.LC17
	.word	.LC18
	.word	stdin
	.word	.LC19
	.word	.LC20
	.word	.LC21
	.word	.LC22
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
