	.file	"258316.c"
	.intel_syntax noprefix
	.text
	.globl	p
	.bss
	.align 32
	.type	p, @object
	.size	p, 10404
p:
	.zero	10404
	.globl	have_b
	.align 32
	.type	have_b, @object
	.size	have_b, 10404
have_b:
	.zero	10404
	.globl	have_d
	.align 32
	.type	have_d, @object
	.size	have_d, 10404
have_d:
	.zero	10404
	.globl	have_e
	.align 32
	.type	have_e, @object
	.size	have_e, 10608
have_e:
	.zero	10608
	.globl	have_f
	.align 32
	.type	have_f, @object
	.size	have_f, 10608
have_f:
	.zero	10608
	.globl	tt
	.align 4
	.type	tt, @object
	.size	tt, 4
tt:
	.zero	4
	.globl	x0
	.align 4
	.type	x0, @object
	.size	x0, 4
x0:
	.zero	4
	.globl	y0
	.align 4
	.type	y0, @object
	.size	y0, 4
y0:
	.zero	4
	.globl	r
	.align 4
	.type	r, @object
	.size	r, 4
r:
	.zero	4
	.globl	xmax
	.align 4
	.type	xmax, @object
	.size	xmax, 4
xmax:
	.zero	4
	.globl	ymax
	.align 4
	.type	ymax, @object
	.size	ymax, 4
ymax:
	.zero	4
	.globl	xmin
	.data
	.align 4
	.type	xmin, @object
	.size	xmin, 4
xmin:
	.long	100
	.globl	ymin
	.align 4
	.type	ymin, @object
	.size	ymin, 4
ymin:
	.long	100
	.globl	timecode
	.align 32
	.type	timecode, @object
	.size	timecode, 85
timecode:
	.string	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~"
	.globl	buf
	.bss
	.align 32
	.type	buf, @object
	.size	buf, 102
buf:
	.zero	102
	.globl	clause
	.align 16
	.type	clause, @object
	.size	clause, 16
clause:
	.zero	16
	.globl	clauseptr
	.align 4
	.type	clauseptr, @object
	.size	clauseptr, 4
clauseptr:
	.zero	4
	.section	.rodata
.LC0:
	.string	" ~"
.LC1:
	.string	"%d%c%d%c%d"
.LC2:
	.string	"%d%c%dx"
.LC3:
	.string	"%d%c%d"
	.text
	.globl	outclause
	.type	outclause, @function
outclause:
.LFB6:
	.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	r13
	push	r12
	push	rbx
	sub	rsp, 8
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	ebx, 0
	jmp	.L2
.L5:
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	cmp	eax, 67108864
	je	.L13
	add	ebx, 1
.L2:
	mov	eax, DWORD PTR clauseptr[rip]
	cmp	ebx, eax
	jl	.L5
	mov	ebx, 0
	jmp	.L6
.L12:
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	cmp	eax, -2080374784
	je	.L7
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	test	eax, eax
	jns	.L8
	lea	rdi, .LC0[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L9
.L8:
	mov	edi, 32
	call	putchar@PLT
.L9:
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	shr	eax, 28
	and	eax, 7
	mov	r15d, eax
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	shr	eax, 25
	and	eax, 7
	mov	r14d, eax
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	shr	eax, 12
	and	eax, 4095
	mov	r12d, eax
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	and	eax, 4095
	mov	r13d, eax
	test	r15d, r15d
	je	.L10
	lea	ecx, 64[r15]
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	r9d, r14d
	mov	r8d, ecx
	mov	ecx, r13d
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC1[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L7
.L10:
	cmp	r14d, 7
	jne	.L11
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	ecx, r13d
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC2[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L7
.L11:
	mov	eax, DWORD PTR tt[rip]
	add	eax, r14d
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	ecx, r13d
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC3[rip]
	mov	eax, 0
	call	printf@PLT
.L7:
	add	ebx, 1
.L6:
	mov	eax, DWORD PTR clauseptr[rip]
	cmp	ebx, eax
	jl	.L12
	mov	edi, 10
	call	putchar@PLT
	jmp	.L4
.L13:
	nop
.L4:
	mov	DWORD PTR clauseptr[rip], 0
	nop
	add	rsp, 8
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	outclause, .-outclause
	.globl	applit
	.type	applit, @function
applit:
.LFB7:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	DWORD PTR -12[rbp], edx
	mov	DWORD PTR -16[rbp], ecx
	cmp	DWORD PTR -16[rbp], 0
	jne	.L15
	mov	edx, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	esi, edx
	mov	edi, eax
	mov	eax, 0
	call	bound
	mov	edx, DWORD PTR tt[rip]
	cmp	eax, edx
	jle	.L15
	cmp	DWORD PTR -12[rbp], 0
	je	.L16
	mov	ecx, 67108864
	jmp	.L17
.L16:
	mov	ecx, -2080374784
.L17:
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	jmp	.L18
.L15:
	cmp	DWORD PTR -12[rbp], 0
	je	.L19
	mov	edx, -2147483648
	jmp	.L20
.L19:
	mov	edx, 0
.L20:
	mov	eax, DWORD PTR -16[rbp]
	sal	eax, 25
	add	edx, eax
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	lea	esi, [rdx+rax]
	mov	ecx, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	add	ecx, esi
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	nop
.L18:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	applit, .-applit
	.globl	d
	.type	d, @function
d:
.LFB8:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r13
	push	r12
	push	rbx
	sub	rsp, 24
	.cfi_offset 13, -24
	.cfi_offset 12, -32
	.cfi_offset 3, -40
	mov	DWORD PTR -36[rbp], edi
	mov	DWORD PTR -40[rbp], esi
	mov	eax, DWORD PTR -36[rbp]
	lea	r13d, -1[rax]
	mov	r12d, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -40[rbp]
	lea	ebx, 1[rax]
	mov	eax, DWORD PTR -40[rbp]
	movsx	rdx, eax
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, rax, 102
	add	rdx, rax
	lea	rax, have_d[rip]
	add	rax, rdx
	movzx	eax, BYTE PTR [rax]
	movsx	eax, al
	mov	edx, DWORD PTR tt[rip]
	add	edx, 1
	cmp	eax, edx
	je	.L24
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1107296256[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1107296256[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1140850688[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1040187392
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1006632960
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jl	.L23
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L23
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1006632960
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L23:
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	movsx	rcx, eax
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, rax, 102
	add	rcx, rax
	lea	rax, have_d[rip]
	add	rax, rcx
	mov	BYTE PTR [rax], dl
.L24:
	nop
	add	rsp, 24
	pop	rbx
	pop	r12
	pop	r13
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	d, .-d
	.globl	e
	.type	e, @function
e:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r13
	push	r12
	push	rbx
	sub	rsp, 24
	.cfi_offset 13, -24
	.cfi_offset 12, -32
	.cfi_offset 3, -40
	mov	DWORD PTR -36[rbp], edi
	mov	DWORD PTR -40[rbp], esi
	mov	eax, DWORD PTR -36[rbp]
	lea	r13d, -1[rax]
	mov	r12d, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -40[rbp]
	lea	ebx, -1[rax]
	mov	eax, DWORD PTR -40[rbp]
	movsx	rcx, eax
	mov	eax, DWORD PTR -36[rbp]
	movsx	rdx, eax
	mov	rax, rdx
	add	rax, rax
	add	rax, rdx
	sal	rax, 2
	add	rax, rdx
	sal	rax, 3
	lea	rdx, [rax+rcx]
	lea	rax, have_e[rip]
	add	rax, rdx
	movzx	eax, BYTE PTR [rax]
	movsx	eax, al
	mov	edx, DWORD PTR tt[rip]
	add	edx, 1
	cmp	eax, edx
	je	.L28
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1375731712[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1375731712[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1409286144[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 771751936
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r13d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 738197504
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jl	.L27
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L27
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 738197504
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L27:
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	ecx, eax
	mov	eax, DWORD PTR -40[rbp]
	movsx	rsi, eax
	mov	eax, DWORD PTR -36[rbp]
	movsx	rdx, eax
	mov	rax, rdx
	add	rax, rax
	add	rax, rdx
	sal	rax, 2
	add	rax, rdx
	sal	rax, 3
	lea	rdx, [rax+rsi]
	lea	rax, have_e[rip]
	add	rax, rdx
	mov	BYTE PTR [rax], cl
.L28:
	nop
	add	rsp, 24
	pop	rbx
	pop	r12
	pop	r13
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	e, .-e
	.globl	f
	.type	f, @function
f:
.LFB10:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r13
	push	r12
	push	rbx
	sub	rsp, 24
	.cfi_offset 13, -24
	.cfi_offset 12, -32
	.cfi_offset 3, -40
	mov	DWORD PTR -36[rbp], edi
	mov	DWORD PTR -40[rbp], esi
	mov	eax, DWORD PTR -36[rbp]
	lea	ebx, -1[rax]
	mov	r12d, DWORD PTR -40[rbp]
	mov	eax, DWORD PTR -40[rbp]
	lea	r13d, 1[rax]
	mov	eax, DWORD PTR -40[rbp]
	movsx	rdx, eax
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, rax, 102
	add	rdx, rax
	lea	rax, have_f[rip]
	add	rax, rdx
	movzx	eax, BYTE PTR [rax]
	movsx	eax, al
	mov	edx, DWORD PTR tt[rip]
	add	edx, 1
	cmp	eax, edx
	je	.L32
	mov	ecx, 0
	mov	edx, 1
	mov	esi, r12d
	mov	edi, ebx
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1644167168[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, r13d
	mov	edi, ebx
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1644167168[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, r12d
	mov	edi, ebx
	call	applit
	mov	ecx, 0
	mov	edx, 1
	mov	esi, r13d
	mov	edi, ebx
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1677721600[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, r12d
	mov	edi, ebx
	call	applit
	mov	ecx, 0
	mov	edx, 0
	mov	esi, r13d
	mov	edi, ebx
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 503316480
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, r12d
	mov	edi, ebx
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 469762048
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	eax, DWORD PTR xmin[rip]
	cmp	ebx, eax
	jl	.L31
	mov	eax, DWORD PTR xmax[rip]
	cmp	ebx, eax
	jg	.L31
	mov	ecx, 0
	mov	edx, 0
	mov	esi, r13d
	mov	edi, ebx
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 469762048
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L31:
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	movsx	rcx, eax
	mov	eax, DWORD PTR -36[rbp]
	cdqe
	imul	rax, rax, 102
	add	rcx, rax
	lea	rax, have_f[rip]
	add	rax, rcx
	mov	BYTE PTR [rax], dl
.L32:
	nop
	add	rsp, 24
	pop	rbx
	pop	r12
	pop	r13
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	f, .-f
	.globl	g
	.type	g, @function
g:
.LFB11:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r14
	push	r13
	push	r12
	push	rbx
	sub	rsp, 16
	.cfi_offset 14, -24
	.cfi_offset 13, -32
	.cfi_offset 12, -40
	.cfi_offset 3, -48
	mov	DWORD PTR -36[rbp], edi
	mov	DWORD PTR -40[rbp], esi
	mov	eax, DWORD PTR -36[rbp]
	and	eax, 1
	test	eax, eax
	je	.L34
	mov	eax, DWORD PTR -36[rbp]
	lea	r14d, -1[rax]
	mov	ebx, DWORD PTR -40[rbp]
	mov	eax, DWORD PTR -36[rbp]
	lea	r12d, 1[rax]
	mov	eax, DWORD PTR -40[rbp]
	xor	eax, 1
	mov	r13d, eax
	jmp	.L35
.L34:
	mov	eax, DWORD PTR -36[rbp]
	lea	r14d, 1[rax]
	mov	ebx, DWORD PTR -40[rbp]
	mov	eax, DWORD PTR -36[rbp]
	lea	r12d, -1[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	edx, -1[rax]
	mov	eax, DWORD PTR -40[rbp]
	add	eax, eax
	and	eax, 2
	lea	r13d, [rdx+rax]
.L35:
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r14d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1912602624[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, r13d
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1912602624[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 1
	mov	esi, ebx
	mov	edi, r14d
	call	applit
	mov	ecx, 0
	mov	edx, 1
	mov	esi, r13d
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	lea	edx, 1946157056[rax]
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r14d
	call	applit
	mov	ecx, 0
	mov	edx, 0
	mov	esi, r13d
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 234881024
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, ebx
	mov	edi, r14d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 201326592
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	ecx, 0
	mov	edx, 0
	mov	esi, r13d
	mov	edi, r12d
	call	applit
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 201326592
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	nop
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	g, .-g
	.globl	b
	.type	b, @function
b:
.LFB12:
	.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	r13
	push	r12
	push	rbx
	sub	rsp, 24
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	DWORD PTR -52[rbp], edi
	mov	DWORD PTR -56[rbp], esi
	mov	r13d, DWORD PTR -52[rbp]
	mov	eax, DWORD PTR -56[rbp]
	and	eax, -3
	mov	r14d, eax
	mov	eax, DWORD PTR -56[rbp]
	and	eax, 2
	mov	edx, eax
	mov	eax, DWORD PTR -56[rbp]
	lea	r15d, [rdx+rax]
	mov	eax, DWORD PTR -56[rbp]
	movsx	rdx, eax
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	imul	rax, rax, 102
	add	rdx, rax
	lea	rax, have_b[rip]
	add	rax, rdx
	movzx	eax, BYTE PTR [rax]
	movsx	eax, al
	mov	edx, DWORD PTR tt[rip]
	add	edx, 1
	cmp	eax, edx
	je	.L47
	mov	esi, r14d
	mov	edi, r13d
	call	d
	mov	esi, r15d
	mov	edi, r13d
	call	e
	mov	ebx, 0
	jmp	.L38
.L46:
	mov	r12d, 0
	jmp	.L39
.L45:
	lea	eax, [rbx+r12]
	test	eax, eax
	je	.L40
	test	ebx, ebx
	je	.L41
	mov	eax, ebx
	sal	eax, 25
	mov	edx, eax
	mov	eax, r13d
	sal	eax, 12
	add	eax, edx
	mov	edx, r14d
	lea	ecx, [rax+rdx]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1073741824
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L41:
	test	r12d, r12d
	je	.L42
	mov	eax, r12d
	sal	eax, 25
	mov	edx, eax
	mov	eax, r13d
	sal	eax, 12
	add	eax, edx
	mov	edx, r15d
	lea	ecx, [rax+rdx]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 805306368
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L42:
	lea	eax, [rbx+r12]
	sal	eax, 25
	lea	edx, 536870912[rax]
	mov	eax, DWORD PTR -52[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -56[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	test	ebx, ebx
	je	.L43
	mov	eax, 3
	sub	eax, ebx
	sal	eax, 25
	lea	edx, 1073741824[rax]
	mov	eax, r13d
	sal	eax, 12
	add	eax, edx
	lea	ecx, [r14+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L43:
	test	r12d, r12d
	je	.L44
	mov	eax, 3
	sub	eax, r12d
	sal	eax, 25
	lea	edx, 1342177280[rax]
	mov	eax, r13d
	sal	eax, 12
	add	eax, edx
	lea	ecx, [r15+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L44:
	mov	eax, 5
	sub	eax, ebx
	sub	eax, r12d
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -52[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -56[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1610612736
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L40:
	add	r12d, 1
.L39:
	cmp	r12d, 2
	jle	.L45
	add	ebx, 1
.L38:
	cmp	ebx, 2
	jle	.L46
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	edx, eax
	mov	eax, DWORD PTR -56[rbp]
	movsx	rcx, eax
	mov	eax, DWORD PTR -52[rbp]
	cdqe
	imul	rax, rax, 102
	add	rcx, rax
	lea	rax, have_b[rip]
	add	rax, rcx
	mov	BYTE PTR [rax], dl
.L47:
	nop
	add	rsp, 24
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	b, .-b
	.globl	c
	.type	c, @function
c:
.LFB13:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r14
	push	r13
	push	r12
	push	rbx
	sub	rsp, 16
	.cfi_offset 14, -24
	.cfi_offset 13, -32
	.cfi_offset 12, -40
	.cfi_offset 3, -48
	mov	DWORD PTR -36[rbp], edi
	mov	DWORD PTR -40[rbp], esi
	mov	eax, DWORD PTR -36[rbp]
	and	eax, 1
	test	eax, eax
	je	.L49
	mov	eax, DWORD PTR -36[rbp]
	lea	r13d, 2[rax]
	mov	eax, DWORD PTR -40[rbp]
	sub	eax, 1
	or	eax, 1
	mov	r14d, eax
	jmp	.L50
.L49:
	mov	r13d, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -40[rbp]
	and	eax, -2
	mov	r14d, eax
.L50:
	mov	edx, DWORD PTR -40[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	g
	mov	eax, DWORD PTR xmin[rip]
	cmp	r13d, eax
	jle	.L51
	lea	edx, -1[r13]
	mov	eax, DWORD PTR xmax[rip]
	cmp	edx, eax
	jg	.L51
	lea	edx, 1[r14]
	mov	eax, DWORD PTR ymin[rip]
	cmp	edx, eax
	jl	.L51
	mov	eax, DWORD PTR ymax[rip]
	cmp	r14d, eax
	jle	.L52
.L51:
	mov	ebx, 1
	jmp	.L53
.L54:
	mov	eax, ebx
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 268435456
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	eax, ebx
	sal	eax, 25
	lea	edx, 805306368[rax]
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	eax, ebx
	sal	eax, 25
	lea	edx, 1879048192[rax]
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	eax, ebx
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1342177280
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	add	ebx, 1
.L53:
	cmp	ebx, 2
	jle	.L54
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1241513984
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1207959552
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	jmp	.L55
.L52:
	mov	esi, r14d
	mov	edi, r13d
	call	f
	mov	r12d, 0
	jmp	.L56
.L64:
	mov	ebx, 0
	jmp	.L57
.L63:
	lea	eax, [r12+rbx]
	test	eax, eax
	je	.L58
	test	r12d, r12d
	je	.L59
	mov	eax, r12d
	sal	eax, 25
	mov	edx, eax
	mov	eax, r13d
	sal	eax, 12
	add	eax, edx
	mov	edx, r14d
	lea	ecx, [rax+rdx]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 536870912
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L59:
	test	ebx, ebx
	je	.L60
	mov	eax, ebx
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 268435456
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L60:
	lea	eax, [r12+rbx]
	sal	eax, 25
	lea	edx, 805306368[rax]
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	test	r12d, r12d
	je	.L61
	mov	eax, 3
	sub	eax, r12d
	sal	eax, 25
	lea	edx, 1610612736[rax]
	mov	eax, r13d
	sal	eax, 12
	add	eax, edx
	lea	ecx, [r14+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L61:
	test	ebx, ebx
	je	.L62
	mov	eax, 3
	sub	eax, ebx
	sal	eax, 25
	lea	edx, 1879048192[rax]
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L62:
	mov	eax, 5
	sub	eax, r12d
	sub	eax, ebx
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1342177280
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L58:
	add	ebx, 1
.L57:
	cmp	ebx, 2
	jle	.L63
	add	r12d, 1
.L56:
	cmp	r12d, 2
	jle	.L64
	nop
.L55:
	nop
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	c, .-c
	.globl	a
	.type	a, @function
a:
.LFB14:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r13
	push	r12
	push	rbx
	sub	rsp, 24
	.cfi_offset 13, -24
	.cfi_offset 12, -32
	.cfi_offset 3, -40
	mov	DWORD PTR -36[rbp], edi
	mov	DWORD PTR -40[rbp], esi
	mov	eax, DWORD PTR -36[rbp]
	or	eax, 1
	mov	r13d, eax
	mov	eax, DWORD PTR -40[rbp]
	mov	esi, eax
	mov	edi, r13d
	call	b
	mov	edx, DWORD PTR -40[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	c
	mov	ebx, 0
	jmp	.L66
.L72:
	mov	r12d, 0
	jmp	.L67
.L71:
	lea	eax, [rbx+r12]
	cmp	eax, 1
	jle	.L68
	lea	eax, [rbx+r12]
	cmp	eax, 4
	jg	.L68
	test	ebx, ebx
	je	.L69
	mov	eax, ebx
	sal	eax, 25
	mov	edx, eax
	mov	eax, r13d
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1610612736
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L69:
	test	r12d, r12d
	je	.L70
	mov	eax, r12d
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1342177280
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L70:
	lea	eax, [rbx+r12]
	sal	eax, 25
	lea	edx, 268435456[rax]
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L68:
	add	r12d, 1
.L67:
	cmp	r12d, 4
	jle	.L71
	add	ebx, 1
.L66:
	cmp	ebx, 4
	jle	.L72
	mov	ebx, 0
	jmp	.L73
.L79:
	mov	r12d, 0
	jmp	.L74
.L78:
	lea	eax, [rbx+r12]
	cmp	eax, 2
	jle	.L75
	lea	eax, [rbx+r12]
	cmp	eax, 5
	jg	.L75
	mov	eax, ebx
	imul	eax, r12d
	test	eax, eax
	je	.L75
	test	ebx, ebx
	je	.L76
	mov	eax, ebx
	sal	eax, 25
	lea	edx, 536870912[rax]
	mov	eax, r13d
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L76:
	test	r12d, r12d
	je	.L77
	mov	eax, r12d
	sal	eax, 25
	lea	edx, 805306368[rax]
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L77:
	lea	eax, [rbx+r12]
	sub	eax, 1
	sal	eax, 25
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	sal	eax, 12
	add	edx, eax
	mov	eax, DWORD PTR -40[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1879048192
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
.L75:
	add	r12d, 1
.L74:
	cmp	r12d, 4
	jle	.L78
	add	ebx, 1
.L73:
	cmp	ebx, 4
	jle	.L79
	nop
	nop
	add	rsp, 24
	pop	rbx
	pop	r12
	pop	r13
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	a, .-a
	.globl	zprime
	.type	zprime, @function
zprime:
.LFB15:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1744830464
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 1
	mov	edx, 1
	mov	edi, eax
	call	applit
	call	outclause
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	lea	edx, 335544320[rax]
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 1
	mov	edx, 1
	mov	edi, eax
	call	applit
	call	outclause
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	lea	edx, 369098752[rax]
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 0
	mov	edx, 0
	mov	edi, eax
	call	applit
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 1
	mov	edx, 1
	mov	edi, eax
	call	applit
	call	outclause
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1778384896
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	lea	edx, 402653184[rax]
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 1
	mov	edx, 0
	mov	edi, eax
	call	applit
	call	outclause
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 7
	mov	edx, 0
	mov	edi, eax
	call	applit
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	mov	edx, eax
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	sub	ecx, 1811939328
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	mov	eax, DWORD PTR -4[rbp]
	sal	eax, 12
	lea	edx, 402653184[rax]
	mov	eax, DWORD PTR -8[rbp]
	lea	ecx, [rdx+rax]
	mov	eax, DWORD PTR clauseptr[rip]
	lea	edx, 1[rax]
	mov	DWORD PTR clauseptr[rip], edx
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
	call	outclause
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 7
	mov	edx, 1
	mov	edi, eax
	call	applit
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 0
	mov	edx, 1
	mov	edi, eax
	call	applit
	mov	esi, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	ecx, 1
	mov	edx, 0
	mov	edi, eax
	call	applit
	call	outclause
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	zprime, .-zprime
	.globl	ff
	.type	ff, @function
ff:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	cmp	DWORD PTR -4[rbp], 0
	jg	.L82
	cmp	DWORD PTR -8[rbp], 0
	jg	.L82
	mov	eax, 0
	jmp	.L83
.L82:
	cmp	DWORD PTR -8[rbp], 0
	jns	.L84
	mov	edx, DWORD PTR -4[rbp]
	mov	eax, DWORD PTR -8[rbp]
	mov	esi, edx
	mov	edi, eax
	call	ff
	jmp	.L83
.L84:
	mov	eax, DWORD PTR -8[rbp]
	neg	eax
	cmp	DWORD PTR -4[rbp], eax
	jg	.L85
	mov	eax, DWORD PTR -8[rbp]
	jmp	.L83
.L85:
	cmp	DWORD PTR -4[rbp], 0
	jg	.L86
	mov	edx, DWORD PTR -4[rbp]
	mov	eax, DWORD PTR -8[rbp]
	add	edx, eax
	mov	eax, DWORD PTR -8[rbp]
	add	eax, edx
	jmp	.L83
.L86:
	mov	eax, DWORD PTR -4[rbp]
	lea	edx, [rax+rax]
	mov	eax, DWORD PTR -8[rbp]
	add	edx, eax
	mov	eax, DWORD PTR -8[rbp]
	add	eax, edx
.L83:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	ff, .-ff
	.globl	bound
	.type	bound, @function
bound:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR r[rip]
	lea	edx, 1[rax]
	mov	eax, DWORD PTR y0[rip]
	add	eax, edx
	sub	eax, DWORD PTR -4[rbp]
	mov	edx, DWORD PTR r[rip]
	add	edx, 1
	mov	ecx, DWORD PTR x0[rip]
	mov	esi, edx
	sub	esi, ecx
	mov	edx, DWORD PTR -8[rbp]
	sub	edx, esi
	mov	esi, eax
	mov	edi, edx
	call	ff
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	bound, .-bound
	.section	.rodata
.LC4:
	.string	"%d"
.LC5:
	.string	"Usage: %s x0 y0\n"
	.align 8
.LC6:
	.string	"The value of y0 should be positive!\n"
	.align 8
.LC7:
	.string	"The value of x0 should be at least -y0!\n"
	.align 8
.LC8:
	.string	"Recompile me: maxx and maxy must be at least %d!\n"
.LC9:
	.string	"~ sat-life-upper %d %d\n"
.LC10:
	.string	"%d%c%d\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB18:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r12
	push	rbx
	sub	rsp, 16
	.cfi_offset 12, -24
	.cfi_offset 3, -32
	mov	DWORD PTR -20[rbp], edi
	mov	QWORD PTR -32[rbp], rsi
	cmp	DWORD PTR -20[rbp], 3
	jne	.L90
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 8
	mov	rax, QWORD PTR [rax]
	lea	rdx, x0[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_sscanf@PLT
	cmp	eax, 1
	jne	.L90
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 16
	mov	rax, QWORD PTR [rax]
	lea	rdx, y0[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_sscanf@PLT
	cmp	eax, 1
	je	.L91
.L90:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR stderr[rip]
	lea	rsi, .LC5[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	edi, -1
	call	exit@PLT
.L91:
	mov	eax, DWORD PTR y0[rip]
	test	eax, eax
	jg	.L92
	mov	rax, QWORD PTR stderr[rip]
	mov	rcx, rax
	mov	edx, 36
	mov	esi, 1
	lea	rdi, .LC6[rip]
	call	fwrite@PLT
	mov	edi, -2
	call	exit@PLT
.L92:
	mov	eax, DWORD PTR y0[rip]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR x0[rip]
	cmp	edx, eax
	jle	.L93
	mov	rax, QWORD PTR stderr[rip]
	mov	rcx, rax
	mov	edx, 40
	mov	esi, 1
	lea	rdi, .LC7[rip]
	call	fwrite@PLT
	mov	edi, -3
	call	exit@PLT
.L93:
	mov	eax, DWORD PTR x0[rip]
	test	eax, eax
	jle	.L94
	mov	edx, DWORD PTR x0[rip]
	mov	eax, DWORD PTR y0[rip]
	add	eax, edx
	add	eax, eax
	jmp	.L95
.L94:
	mov	eax, DWORD PTR y0[rip]
	lea	edx, [rax+rax]
	mov	eax, DWORD PTR x0[rip]
	add	eax, edx
.L95:
	mov	DWORD PTR r[rip], eax
	mov	eax, DWORD PTR r[rip]
	add	eax, eax
	cmp	eax, 99
	jg	.L96
	mov	eax, DWORD PTR r[rip]
	add	eax, eax
	cmp	eax, 99
	jle	.L97
.L96:
	mov	eax, DWORD PTR r[rip]
	add	eax, eax
	lea	edx, 1[rax]
	mov	rax, QWORD PTR stderr[rip]
	lea	rsi, .LC8[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	edi, -666
	call	exit@PLT
.L97:
	mov	edx, DWORD PTR y0[rip]
	mov	eax, DWORD PTR x0[rip]
	mov	esi, eax
	lea	rdi, .LC9[rip]
	mov	eax, 0
	call	printf@PLT
	mov	DWORD PTR tt[rip], 0
	jmp	.L98
.L105:
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	DWORD PTR ymin[rip], eax
	mov	eax, DWORD PTR ymin[rip]
	mov	DWORD PTR xmin[rip], eax
	mov	eax, DWORD PTR r[rip]
	add	eax, eax
	add	eax, 1
	mov	edx, DWORD PTR tt[rip]
	sub	eax, edx
	mov	DWORD PTR ymax[rip], eax
	mov	eax, DWORD PTR ymax[rip]
	mov	DWORD PTR xmax[rip], eax
	mov	eax, DWORD PTR xmin[rip]
	lea	ebx, 1[rax]
	jmp	.L99
.L104:
	mov	eax, DWORD PTR ymin[rip]
	lea	r12d, 1[rax]
	jmp	.L100
.L103:
	mov	esi, r12d
	mov	edi, ebx
	call	bound
	mov	edx, DWORD PTR tt[rip]
	add	edx, 1
	cmp	eax, edx
	jg	.L107
	mov	esi, r12d
	mov	edi, ebx
	call	a
	mov	esi, r12d
	mov	edi, ebx
	call	zprime
	jmp	.L102
.L107:
	nop
.L102:
	add	r12d, 1
.L100:
	mov	eax, DWORD PTR ymax[rip]
	cmp	r12d, eax
	jl	.L103
	add	ebx, 1
.L99:
	mov	eax, DWORD PTR xmax[rip]
	cmp	ebx, eax
	jl	.L104
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	DWORD PTR tt[rip], eax
.L98:
	mov	edx, DWORD PTR tt[rip]
	mov	eax, DWORD PTR r[rip]
	cmp	edx, eax
	jl	.L105
	mov	eax, DWORD PTR r[rip]
	lea	edx, 1[rax]
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rcx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rcx]
	movsx	eax, al
	mov	ecx, DWORD PTR r[rip]
	lea	esi, 1[rcx]
	mov	ecx, edx
	mov	edx, eax
	lea	rdi, .LC10[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, 0
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE18:
	.size	main, .-main
	.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	"258316.c"
	.text
	.comm	p,10404,4
	.comm	have_b,10404,4
	.comm	have_d,10404,4
	.comm	have_e,10608,4
	.comm	have_f,10608,4
	.comm	tt,4,4
	.comm	x0,4,4
	.comm	y0,4,4
	.comm	r,4,4
	.comm	xmax,4,4
	.comm	ymax,4,4
	.global	xmin
	.data
	.align	2
	.type	xmin, %object
	.size	xmin, 4
xmin:
	.word	100
	.global	ymin
	.align	2
	.type	ymin, %object
	.size	ymin, 4
ymin:
	.word	100
	.global	timecode
	.align	2
	.type	timecode, %object
	.size	timecode, 85
timecode:
	.ascii	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXY"
	.ascii	"Z!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~\000"
	.comm	buf,102,4
	.comm	clause,16,4
	.comm	clauseptr,4,4
	.section	.rodata
	.align	2
.LC0:
	.ascii	" ~\000"
	.align	2
.LC1:
	.ascii	"%d%c%d%c%d\000"
	.align	2
.LC2:
	.ascii	"%d%c%dx\000"
	.align	2
.LC3:
	.ascii	"%d%c%d\000"
	.text
	.align	2
	.global	outclause
	.syntax unified
	.arm
	.fpu softvfp
	.type	outclause, %function
outclause:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, fp, lr}
	add	fp, sp, #24
	sub	sp, sp, #12
	mov	r4, #0
	b	.L2
.L5:
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	cmp	r3, #67108864
	beq	.L13
	add	r4, r4, #1
.L2:
	ldr	r3, .L14+4
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L5
	mov	r4, #0
	b	.L6
.L12:
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	cmp	r3, #-2080374784
	beq	.L7
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	cmp	r3, #0
	bge	.L8
	ldr	r0, .L14+8
	bl	printf
	b	.L9
.L8:
	mov	r0, #32
	bl	putchar
.L9:
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	lsr	r3, r3, #28
	and	r8, r3, #7
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	lsr	r3, r3, #25
	and	r7, r3, #7
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	lsr	r3, r3, #12
	lsl	r5, r3, #20
	lsr	r5, r5, #20
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	lsl	r6, r3, #20
	lsr	r6, r6, #20
	cmp	r8, #0
	beq	.L10
	ldr	r3, .L14+12
	ldr	r3, [r3]
	ldr	r2, .L14+16
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	add	r3, r8, #64
	str	r7, [sp, #4]
	str	r3, [sp]
	mov	r3, r6
	mov	r1, r5
	ldr	r0, .L14+20
	bl	printf
	b	.L7
.L10:
	cmp	r7, #7
	bne	.L11
	ldr	r3, .L14+12
	ldr	r3, [r3]
	ldr	r2, .L14+16
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r6
	mov	r1, r5
	ldr	r0, .L14+24
	bl	printf
	b	.L7
.L11:
	ldr	r3, .L14+12
	ldr	r3, [r3]
	add	r3, r7, r3
	ldr	r2, .L14+16
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r6
	mov	r1, r5
	ldr	r0, .L14+28
	bl	printf
.L7:
	add	r4, r4, #1
.L6:
	ldr	r3, .L14+4
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L12
	mov	r0, #10
	bl	putchar
	b	.L4
.L13:
	nop
.L4:
	ldr	r3, .L14+4
	mov	r2, #0
	str	r2, [r3]
	nop
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, fp, pc}
.L15:
	.align	2
.L14:
	.word	clause
	.word	clauseptr
	.word	.LC0
	.word	tt
	.word	timecode
	.word	.LC1
	.word	.LC2
	.word	.LC3
	.size	outclause, .-outclause
	.align	2
	.global	applit
	.syntax unified
	.arm
	.fpu softvfp
	.type	applit, %function
applit:
	@ 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, #-8]
	str	r1, [fp, #-12]
	str	r2, [fp, #-16]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	bne	.L17
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	bound
	mov	r2, r0
	ldr	r3, .L23
	ldr	r3, [r3]
	cmp	r2, r3
	ble	.L17
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L18
	mov	r2, #67108864
	b	.L19
.L18:
	mov	r2, #-2080374784
.L19:
	ldr	r3, .L23+4
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L23+4
	str	r1, [r0]
	ldr	r1, .L23+8
	str	r2, [r1, r3, lsl #2]
	b	.L20
.L17:
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L21
	mov	r3, #-2147483648
	b	.L22
.L21:
	mov	r3, #0
.L22:
	ldr	r2, [fp, #-20]
	lsl	r2, r2, #25
	add	r3, r3, r2
	ldr	r2, [fp, #-8]
	lsl	r2, r2, #12
	add	r1, r3, r2
	ldr	r2, [fp, #-12]
	ldr	r3, .L23+4
	ldr	r3, [r3]
	add	r0, r3, #1
	ldr	ip, .L23+4
	str	r0, [ip]
	add	r2, r1, r2
	ldr	r1, .L23+8
	str	r2, [r1, r3, lsl #2]
	nop
.L20:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L24:
	.align	2
.L23:
	.word	tt
	.word	clauseptr
	.word	clause
	.size	applit, .-applit
	.align	2
	.global	d
	.syntax unified
	.arm
	.fpu softvfp
	.type	d, %function
d:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, fp, lr}
	add	fp, sp, #16
	sub	sp, sp, #12
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	sub	r6, r3, #1
	ldr	r5, [fp, #-24]
	ldr	r3, [fp, #-28]
	add	r4, r3, #1
	ldr	r1, .L29
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #4
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L29+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L28
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r6
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1107296256
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L29+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L29+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L29+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1107296256
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L29+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L29+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L29+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r6
	bl	applit
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1140850688
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L29+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L29+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L29+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r6
	bl	applit
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L29+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L29+8
	str	r1, [r0]
	add	r2, r2, #-1040187392
	ldr	r1, .L29+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r6
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L29+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L29+8
	str	r1, [r0]
	add	r2, r2, #-1006632960
	ldr	r1, .L29+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L29+16
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L27
	ldr	r3, .L29+20
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L27
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L29+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L29+8
	str	r1, [r0]
	add	r2, r2, #-1006632960
	ldr	r1, .L29+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L27:
	ldr	r3, .L29+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L29
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #4
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L28:
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L30:
	.align	2
.L29:
	.word	have_d
	.word	tt
	.word	clauseptr
	.word	clause
	.word	ymin
	.word	ymax
	.size	d, .-d
	.align	2
	.global	e
	.syntax unified
	.arm
	.fpu softvfp
	.type	e, %function
e:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, fp, lr}
	add	fp, sp, #16
	sub	sp, sp, #12
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	sub	r6, r3, #1
	ldr	r5, [fp, #-24]
	ldr	r3, [fp, #-28]
	sub	r4, r3, #1
	ldr	r1, .L35
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #3
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L35+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L34
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r6
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1375731712
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L35+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L35+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L35+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1375731712
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L35+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L35+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L35+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r6
	bl	applit
	mov	r3, #0
	mov	r2, #1
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1409286144
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L35+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L35+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L35+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r6
	bl	applit
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L35+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L35+8
	str	r1, [r0]
	add	r2, r2, #-771751936
	ldr	r1, .L35+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r6
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L35+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L35+8
	str	r1, [r0]
	add	r2, r2, #-738197504
	ldr	r1, .L35+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L35+16
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L33
	ldr	r3, .L35+20
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L33
	mov	r3, #0
	mov	r2, #0
	mov	r1, r4
	mov	r0, r5
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L35+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L35+8
	str	r1, [r0]
	add	r2, r2, #-738197504
	ldr	r1, .L35+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L33:
	ldr	r3, .L35+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L35
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #3
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L34:
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L36:
	.align	2
.L35:
	.word	have_e
	.word	tt
	.word	clauseptr
	.word	clause
	.word	ymin
	.word	ymax
	.size	e, .-e
	.align	2
	.global	f
	.syntax unified
	.arm
	.fpu softvfp
	.type	f, %function
f:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, fp, lr}
	add	fp, sp, #16
	sub	sp, sp, #12
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	sub	r4, r3, #1
	ldr	r6, [fp, #-28]
	ldr	r3, [fp, #-28]
	add	r5, r3, #1
	ldr	r1, .L41
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #4
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L41+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L40
	mov	r3, #0
	mov	r2, #1
	mov	r1, r6
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1644167168
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L41+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L41+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L41+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1644167168
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L41+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L41+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L41+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r6
	mov	r0, r4
	bl	applit
	mov	r3, #0
	mov	r2, #1
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1677721600
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L41+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L41+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L41+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r6
	mov	r0, r4
	bl	applit
	mov	r3, #0
	mov	r2, #0
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L41+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L41+8
	str	r1, [r0]
	add	r2, r2, #-503316480
	ldr	r1, .L41+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r6
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L41+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L41+8
	str	r1, [r0]
	add	r2, r2, #-469762048
	ldr	r1, .L41+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L41+16
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L39
	ldr	r3, .L41+20
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L39
	mov	r3, #0
	mov	r2, #0
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L41+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L41+8
	str	r1, [r0]
	add	r2, r2, #-469762048
	ldr	r1, .L41+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L39:
	ldr	r3, .L41+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L41
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #4
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L40:
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L42:
	.align	2
.L41:
	.word	have_f
	.word	tt
	.word	clauseptr
	.word	clause
	.word	xmin
	.word	xmax
	.size	f, .-f
	.align	2
	.global	g
	.syntax unified
	.arm
	.fpu softvfp
	.type	g, %function
g:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #8
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L44
	ldr	r3, [fp, #-24]
	sub	r6, r3, #1
	ldr	r7, [fp, #-28]
	ldr	r3, [fp, #-24]
	add	r4, r3, #1
	ldr	r3, [fp, #-28]
	eor	r5, r3, #1
	b	.L45
.L44:
	ldr	r3, [fp, #-24]
	add	r6, r3, #1
	ldr	r7, [fp, #-28]
	ldr	r3, [fp, #-24]
	sub	r4, r3, #1
	ldr	r3, [fp, #-28]
	sub	r2, r3, #1
	ldr	r3, [fp, #-28]
	lsl	r3, r3, #1
	and	r3, r3, #2
	add	r5, r2, r3
.L45:
	mov	r3, #0
	mov	r2, #1
	mov	r1, r7
	mov	r0, r6
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1912602624
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L46
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L46
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L46+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1912602624
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L46
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L46
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L46+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #1
	mov	r1, r7
	mov	r0, r6
	bl	applit
	mov	r3, #0
	mov	r2, #1
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r3, #1946157056
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L46
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L46
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L46+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r7
	mov	r0, r6
	bl	applit
	mov	r3, #0
	mov	r2, #0
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L46
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L46
	str	r1, [r0]
	add	r2, r2, #-234881024
	ldr	r1, .L46+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r7
	mov	r0, r6
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L46
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L46
	str	r1, [r0]
	add	r2, r2, #-201326592
	ldr	r1, .L46+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	mov	r3, #0
	mov	r2, #0
	mov	r1, r5
	mov	r0, r4
	bl	applit
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L46
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L46
	str	r1, [r0]
	add	r2, r2, #-201326592
	ldr	r1, .L46+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L47:
	.align	2
.L46:
	.word	clauseptr
	.word	clause
	.size	g, .-g
	.align	2
	.global	b
	.syntax unified
	.arm
	.fpu softvfp
	.type	b, %function
b:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, fp, lr}
	add	fp, sp, #24
	sub	sp, sp, #12
	str	r0, [fp, #-32]
	str	r1, [fp, #-36]
	ldr	r6, [fp, #-32]
	ldr	r3, [fp, #-36]
	bic	r7, r3, #2
	ldr	r3, [fp, #-36]
	and	r2, r3, #2
	ldr	r3, [fp, #-36]
	add	r8, r2, r3
	ldr	r1, .L60
	ldr	r2, [fp, #-32]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #4
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r2, r1, r3
	ldr	r3, [fp, #-36]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L60+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L59
	mov	r1, r7
	mov	r0, r6
	bl	d
	mov	r1, r8
	mov	r0, r6
	bl	e
	mov	r4, #0
	b	.L50
.L58:
	mov	r5, #0
	b	.L51
.L57:
	add	r3, r4, r5
	cmp	r3, #0
	beq	.L52
	cmp	r4, #0
	beq	.L53
	lsl	r3, r4, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r7
	add	r2, r3, r2
	ldr	r3, .L60+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L60+8
	str	r1, [r0]
	add	r2, r2, #-1073741824
	ldr	r1, .L60+12
	str	r2, [r1, r3, lsl #2]
.L53:
	cmp	r5, #0
	beq	.L54
	lsl	r3, r5, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r8
	add	r2, r3, r2
	ldr	r3, .L60+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L60+8
	str	r1, [r0]
	add	r2, r2, #-805306368
	ldr	r1, .L60+12
	str	r2, [r1, r3, lsl #2]
.L54:
	add	r3, r4, r5
	lsl	r3, r3, #25
	add	r2, r3, #536870912
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-36]
	add	r0, r2, r3
	ldr	r3, .L60+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L60+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L60+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	cmp	r4, #0
	beq	.L55
	rsb	r3, r4, #3
	lsl	r3, r3, #25
	add	r2, r3, #1073741824
	lsl	r3, r6, #12
	add	r3, r2, r3
	add	r0, r7, r3
	ldr	r3, .L60+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L60+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L60+12
	str	r1, [r2, r3, lsl #2]
.L55:
	cmp	r5, #0
	beq	.L56
	rsb	r3, r5, #3
	lsl	r3, r3, #25
	add	r2, r3, #1342177280
	lsl	r3, r6, #12
	add	r3, r2, r3
	add	r0, r8, r3
	ldr	r3, .L60+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L60+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L60+12
	str	r1, [r2, r3, lsl #2]
.L56:
	rsb	r3, r4, #5
	sub	r3, r3, r5
	lsl	r3, r3, #25
	mov	r2, r3
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-36]
	add	r2, r2, r3
	ldr	r3, .L60+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L60+8
	str	r1, [r0]
	add	r2, r2, #-1610612736
	ldr	r1, .L60+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L52:
	add	r5, r5, #1
.L51:
	cmp	r5, #2
	ble	.L57
	add	r4, r4, #1
.L50:
	cmp	r4, #2
	ble	.L58
	ldr	r3, .L60+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L60
	ldr	r2, [fp, #-32]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #4
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r2, r1, r3
	ldr	r3, [fp, #-36]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L59:
	nop
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, fp, pc}
.L61:
	.align	2
.L60:
	.word	have_b
	.word	tt
	.word	clauseptr
	.word	clause
	.size	b, .-b
	.align	2
	.global	c
	.syntax unified
	.arm
	.fpu softvfp
	.type	c, %function
c:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #8
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L63
	ldr	r3, [fp, #-24]
	add	r6, r3, #2
	ldr	r3, [fp, #-28]
	sub	r3, r3, #1
	orr	r7, r3, #1
	b	.L64
.L63:
	ldr	r6, [fp, #-24]
	ldr	r3, [fp, #-28]
	bic	r7, r3, #1
.L64:
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	g
	ldr	r3, .L79
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L65
	sub	r2, r6, #1
	ldr	r3, .L79+4
	ldr	r3, [r3]
	cmp	r2, r3
	bgt	.L65
	add	r2, r7, #1
	ldr	r3, .L79+8
	ldr	r3, [r3]
	cmp	r2, r3
	blt	.L65
	ldr	r3, .L79+12
	ldr	r3, [r3]
	cmp	r7, r3
	ble	.L66
.L65:
	mov	r4, #1
	b	.L67
.L68:
	lsl	r3, r4, #25
	mov	r2, r3
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-268435456
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
	lsl	r3, r4, #25
	add	r2, r3, #805306368
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L79+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L79+20
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	lsl	r3, r4, #25
	add	r2, r3, #1879048192
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L79+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L79+20
	str	r1, [r2, r3, lsl #2]
	lsl	r3, r4, #25
	mov	r2, r3
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	add	r4, r4, #1
.L67:
	cmp	r4, #2
	ble	.L68
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-1241513984
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-1207959552
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	b	.L69
.L66:
	mov	r1, r7
	mov	r0, r6
	bl	f
	mov	r5, #0
	b	.L70
.L78:
	mov	r4, #0
	b	.L71
.L77:
	add	r3, r5, r4
	cmp	r3, #0
	beq	.L72
	cmp	r5, #0
	beq	.L73
	lsl	r3, r5, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r7
	add	r2, r3, r2
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-536870912
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
.L73:
	cmp	r4, #0
	beq	.L74
	lsl	r3, r4, #25
	mov	r2, r3
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-268435456
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
.L74:
	add	r3, r5, r4
	lsl	r3, r3, #25
	add	r2, r3, #805306368
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L79+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L79+20
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	cmp	r5, #0
	beq	.L75
	rsb	r3, r5, #3
	lsl	r3, r3, #25
	add	r2, r3, #1610612736
	lsl	r3, r6, #12
	add	r3, r2, r3
	add	r0, r7, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L79+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L79+20
	str	r1, [r2, r3, lsl #2]
.L75:
	cmp	r4, #0
	beq	.L76
	rsb	r3, r4, #3
	lsl	r3, r3, #25
	add	r2, r3, #1879048192
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L79+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L79+20
	str	r1, [r2, r3, lsl #2]
.L76:
	rsb	r3, r5, #5
	sub	r3, r3, r4
	lsl	r3, r3, #25
	mov	r2, r3
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L79+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L79+16
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L79+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L72:
	add	r4, r4, #1
.L71:
	cmp	r4, #2
	ble	.L77
	add	r5, r5, #1
.L70:
	cmp	r5, #2
	ble	.L78
	nop
.L69:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L80:
	.align	2
.L79:
	.word	xmin
	.word	xmax
	.word	ymin
	.word	ymax
	.word	clauseptr
	.word	clause
	.size	c, .-c
	.align	2
	.global	a
	.syntax unified
	.arm
	.fpu softvfp
	.type	a, %function
a:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, fp, lr}
	add	fp, sp, #16
	sub	sp, sp, #12
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	orr	r6, r3, #1
	ldr	r1, [fp, #-28]
	mov	r0, r6
	bl	b
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	c
	mov	r4, #0
	b	.L82
.L88:
	mov	r5, #0
	b	.L83
.L87:
	add	r3, r4, r5
	cmp	r3, #1
	ble	.L84
	add	r3, r4, r5
	cmp	r3, #4
	bgt	.L84
	cmp	r4, #0
	beq	.L85
	lsl	r3, r4, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L96
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L96
	str	r1, [r0]
	add	r2, r2, #-1610612736
	ldr	r1, .L96+4
	str	r2, [r1, r3, lsl #2]
.L85:
	cmp	r5, #0
	beq	.L86
	lsl	r3, r5, #25
	mov	r2, r3
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L96
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L96
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L96+4
	str	r2, [r1, r3, lsl #2]
.L86:
	add	r3, r4, r5
	lsl	r3, r3, #25
	add	r2, r3, #268435456
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L96
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L96
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L96+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
.L84:
	add	r5, r5, #1
.L83:
	cmp	r5, #4
	ble	.L87
	add	r4, r4, #1
.L82:
	cmp	r4, #4
	ble	.L88
	mov	r4, #0
	b	.L89
.L95:
	mov	r5, #0
	b	.L90
.L94:
	add	r3, r4, r5
	cmp	r3, #2
	ble	.L91
	add	r3, r4, r5
	cmp	r3, #5
	bgt	.L91
	mul	r3, r5, r4
	cmp	r3, #0
	beq	.L91
	cmp	r4, #0
	beq	.L92
	lsl	r3, r4, #25
	add	r2, r3, #536870912
	lsl	r3, r6, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L96
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L96
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L96+4
	str	r1, [r2, r3, lsl #2]
.L92:
	cmp	r5, #0
	beq	.L93
	lsl	r3, r5, #25
	add	r2, r3, #805306368
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L96
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L96
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L96+4
	str	r1, [r2, r3, lsl #2]
.L93:
	add	r3, r4, r5
	sub	r3, r3, #1
	lsl	r3, r3, #25
	mov	r2, r3
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	add	r2, r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L96
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L96
	str	r1, [r0]
	add	r2, r2, #-1879048192
	ldr	r1, .L96+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L91:
	add	r5, r5, #1
.L90:
	cmp	r5, #4
	ble	.L94
	add	r4, r4, #1
.L89:
	cmp	r4, #4
	ble	.L95
	nop
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L97:
	.align	2
.L96:
	.word	clauseptr
	.word	clause
	.size	a, .-a
	.align	2
	.global	zprime
	.syntax unified
	.arm
	.fpu softvfp
	.type	zprime, %function
zprime:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-12]
	add	r2, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L99
	str	r1, [r0]
	add	r2, r2, #-1744830464
	ldr	r1, .L99+4
	str	r2, [r1, r3, lsl #2]
	mov	r3, #1
	mov	r2, #1
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	bl	outclause
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	add	r2, r3, #335544320
	ldr	r3, [fp, #-12]
	add	r0, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L99
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L99+4
	str	r1, [r2, r3, lsl #2]
	mov	r3, #1
	mov	r2, #1
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	bl	outclause
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	add	r2, r3, #369098752
	ldr	r3, [fp, #-12]
	add	r0, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L99
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L99+4
	str	r1, [r2, r3, lsl #2]
	mov	r3, #0
	mov	r2, #0
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	mov	r3, #1
	mov	r2, #1
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	bl	outclause
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-12]
	add	r2, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L99
	str	r1, [r0]
	add	r2, r2, #-1778384896
	ldr	r1, .L99+4
	str	r2, [r1, r3, lsl #2]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	add	r2, r3, #402653184
	ldr	r3, [fp, #-12]
	add	r0, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L99
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L99+4
	str	r1, [r2, r3, lsl #2]
	mov	r3, #1
	mov	r2, #0
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	bl	outclause
	mov	r3, #7
	mov	r2, #0
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-12]
	add	r2, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L99
	str	r1, [r0]
	add	r2, r2, #-1811939328
	ldr	r1, .L99+4
	str	r2, [r1, r3, lsl #2]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #12
	add	r2, r3, #402653184
	ldr	r3, [fp, #-12]
	add	r0, r2, r3
	ldr	r3, .L99
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L99
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L99+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	mov	r3, #7
	mov	r2, #1
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	mov	r3, #0
	mov	r2, #1
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	mov	r3, #1
	mov	r2, #0
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	applit
	bl	outclause
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L100:
	.align	2
.L99:
	.word	clauseptr
	.word	clause
	.size	zprime, .-zprime
	.align	2
	.global	ff
	.syntax unified
	.arm
	.fpu softvfp
	.type	ff, %function
ff:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bgt	.L102
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	bgt	.L102
	mov	r3, #0
	b	.L103
.L102:
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	bge	.L104
	ldr	r1, [fp, #-8]
	ldr	r0, [fp, #-12]
	bl	ff
	mov	r3, r0
	b	.L103
.L104:
	ldr	r3, [fp, #-12]
	rsb	r3, r3, #0
	ldr	r2, [fp, #-8]
	cmp	r2, r3
	bgt	.L105
	ldr	r3, [fp, #-12]
	b	.L103
.L105:
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bgt	.L106
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	add	r2, r2, r3
	ldr	r3, [fp, #-12]
	add	r3, r2, r3
	b	.L103
.L106:
	ldr	r3, [fp, #-8]
	lsl	r2, r3, #1
	ldr	r3, [fp, #-12]
	add	r2, r2, r3
	ldr	r3, [fp, #-12]
	add	r3, r2, r3
.L103:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	ff, .-ff
	.align	2
	.global	bound
	.syntax unified
	.arm
	.fpu softvfp
	.type	bound, %function
bound:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, .L109
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r3, .L109+4
	ldr	r3, [r3]
	sub	r3, r2, r3
	ldr	r2, [fp, #-12]
	sub	r0, r2, r3
	ldr	r3, .L109
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r3, .L109+8
	ldr	r3, [r3]
	add	r2, r2, r3
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	mov	r1, r3
	bl	ff
	mov	r3, r0
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L110:
	.align	2
.L109:
	.word	r
	.word	x0
	.word	y0
	.size	bound, .-bound
	.section	.rodata
	.align	2
.LC4:
	.ascii	"%d\000"
	.align	2
.LC5:
	.ascii	"Usage: %s x0 y0\012\000"
	.align	2
.LC6:
	.ascii	"The value of y0 should be positive!\012\000"
	.align	2
.LC7:
	.ascii	"The value of x0 should be at least -y0!\012\000"
	.align	2
.LC8:
	.ascii	"Recompile me: maxx and maxy must be at least %d!\012"
	.ascii	"\000"
	.align	2
.LC9:
	.ascii	"~ sat-life-upper %d %d\012\000"
	.align	2
.LC10:
	.ascii	"%d%c%d\012\000"
	.text
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #8
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	ldr	r3, [fp, #-16]
	cmp	r3, #3
	bne	.L112
	ldr	r3, [fp, #-20]
	add	r3, r3, #4
	ldr	r3, [r3]
	ldr	r2, .L130
	ldr	r1, .L130+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	bne	.L112
	ldr	r3, [fp, #-20]
	add	r3, r3, #8
	ldr	r3, [r3]
	ldr	r2, .L130+8
	ldr	r1, .L130+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	beq	.L113
.L112:
	ldr	r3, .L130+12
	ldr	r0, [r3]
	ldr	r3, [fp, #-20]
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L130+16
	bl	fprintf
	mvn	r0, #0
	bl	exit
.L113:
	ldr	r3, .L130+8
	ldr	r3, [r3]
	cmp	r3, #0
	bgt	.L114
	ldr	r3, .L130+12
	ldr	r3, [r3]
	mov	r2, #36
	mov	r1, #1
	ldr	r0, .L130+20
	bl	fwrite
	mvn	r0, #1
	bl	exit
.L114:
	ldr	r3, .L130+8
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, .L130
	ldr	r3, [r3]
	cmp	r2, r3
	ble	.L115
	ldr	r3, .L130+12
	ldr	r3, [r3]
	mov	r2, #40
	mov	r1, #1
	ldr	r0, .L130+24
	bl	fwrite
	mvn	r0, #2
	bl	exit
.L115:
	ldr	r3, .L130
	ldr	r3, [r3]
	cmp	r3, #0
	ble	.L116
	ldr	r3, .L130
	ldr	r2, [r3]
	ldr	r3, .L130+8
	ldr	r3, [r3]
	add	r3, r2, r3
	lsl	r3, r3, #1
	b	.L117
.L116:
	ldr	r3, .L130+8
	ldr	r3, [r3]
	lsl	r2, r3, #1
	ldr	r3, .L130
	ldr	r3, [r3]
	add	r3, r2, r3
.L117:
	ldr	r2, .L130+28
	str	r3, [r2]
	ldr	r3, .L130+28
	ldr	r3, [r3]
	lsl	r3, r3, #1
	cmp	r3, #99
	bgt	.L118
	ldr	r3, .L130+28
	ldr	r3, [r3]
	lsl	r3, r3, #1
	cmp	r3, #99
	ble	.L119
.L118:
	ldr	r3, .L130+12
	ldr	r0, [r3]
	ldr	r3, .L130+28
	ldr	r3, [r3]
	lsl	r3, r3, #1
	add	r3, r3, #1
	mov	r2, r3
	ldr	r1, .L130+32
	bl	fprintf
	ldr	r0, .L130+36
	bl	exit
.L119:
	ldr	r3, .L130
	ldr	r3, [r3]
	ldr	r2, .L130+8
	ldr	r2, [r2]
	mov	r1, r3
	ldr	r0, .L130+40
	bl	printf
	ldr	r3, .L130+44
	mov	r2, #0
	str	r2, [r3]
	b	.L120
.L127:
	ldr	r3, .L130+44
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L130+48
	str	r3, [r2]
	ldr	r3, .L130+48
	ldr	r3, [r3]
	ldr	r2, .L130+52
	str	r3, [r2]
	ldr	r3, .L130+28
	ldr	r3, [r3]
	lsl	r3, r3, #1
	add	r2, r3, #1
	ldr	r3, .L130+44
	ldr	r3, [r3]
	sub	r3, r2, r3
	ldr	r2, .L130+56
	str	r3, [r2]
	ldr	r3, .L130+56
	ldr	r3, [r3]
	ldr	r2, .L130+60
	str	r3, [r2]
	ldr	r3, .L130+52
	ldr	r3, [r3]
	add	r4, r3, #1
	b	.L121
.L126:
	ldr	r3, .L130+48
	ldr	r3, [r3]
	add	r5, r3, #1
	b	.L122
.L125:
	mov	r1, r5
	mov	r0, r4
	bl	bound
	mov	r2, r0
	ldr	r3, .L130+44
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	bgt	.L129
	mov	r1, r5
	mov	r0, r4
	bl	a
	mov	r1, r5
	mov	r0, r4
	bl	zprime
	b	.L124
.L129:
	nop
.L124:
	add	r5, r5, #1
.L122:
	ldr	r3, .L130+56
	ldr	r3, [r3]
	cmp	r5, r3
	blt	.L125
	add	r4, r4, #1
.L121:
	ldr	r3, .L130+60
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L126
	ldr	r3, .L130+44
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L130+44
	str	r3, [r2]
.L120:
	ldr	r3, .L130+44
	ldr	r2, [r3]
	ldr	r3, .L130+28
	ldr	r3, [r3]
	cmp	r2, r3
	blt	.L127
	ldr	r3, .L130+28
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r3, .L130+44
	ldr	r3, [r3]
	ldr	r2, .L130+64
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L130+28
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r0, .L130+68
	bl	printf
	mov	r3, #0
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L131:
	.align	2
.L130:
	.word	x0
	.word	.LC4
	.word	y0
	.word	stderr
	.word	.LC5
	.word	.LC6
	.word	.LC7
	.word	r
	.word	.LC8
	.word	-666
	.word	.LC9
	.word	tt
	.word	ymin
	.word	xmin
	.word	ymax
	.word	xmax
	.word	timecode
	.word	.LC10
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
