	.file	"528732.c"
	.intel_syntax noprefix
	.text
	.globl	p
	.bss
	.align 32
	.type	p, @object
	.size	p, 2704
p:
	.zero	2704
	.globl	have_b
	.align 32
	.type	have_b, @object
	.size	have_b, 2704
have_b:
	.zero	2704
	.globl	have_d
	.align 32
	.type	have_d, @object
	.size	have_d, 2704
have_d:
	.zero	2704
	.globl	have_e
	.align 32
	.type	have_e, @object
	.size	have_e, 2808
have_e:
	.zero	2808
	.globl	have_f
	.align 32
	.type	have_f, @object
	.size	have_f, 2808
have_f:
	.zero	2808
	.globl	tt
	.align 4
	.type	tt, @object
	.size	tt, 4
tt:
	.zero	4
	.globl	mm
	.align 4
	.type	mm, @object
	.size	mm, 4
mm:
	.zero	4
	.globl	nn
	.align 4
	.type	nn, @object
	.size	nn, 4
nn:
	.zero	4
	.globl	r
	.align 4
	.type	r, @object
	.size	r, 4
r:
	.zero	4
	.globl	s
	.align 4
	.type	s, @object
	.size	s, 4
s:
	.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	50
	.globl	ymin
	.align 4
	.type	ymin, @object
	.size	ymin, 4
ymin:
	.long	50
	.globl	timecode
	.align 32
	.type	timecode, @object
	.size	timecode, 85
timecode:
	.string	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~"
	.globl	buf
	.bss
	.align 32
	.type	buf, @object
	.size	buf, 52
buf:
	.zero	52
	.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	.L14
	add	ebx, 1
.L2:
	mov	eax, DWORD PTR clauseptr[rip]
	cmp	ebx, eax
	jl	.L5
	mov	ebx, 0
	jmp	.L6
.L13:
	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	r14d, 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	r15d, 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	r13d, eax
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	and	eax, 4095
	mov	r12d, eax
	test	r14d, r14d
	jne	.L10
	lea	eax, [r12+r12]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L10
	mov	eax, DWORD PTR nn[rip]
	add	eax, 1
	sub	eax, r12d
	mov	r12d, eax
.L10:
	test	r14d, r14d
	je	.L11
	lea	ecx, 64[r14]
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	r9d, r15d
	mov	r8d, ecx
	mov	ecx, r12d
	mov	edx, eax
	mov	esi, r13d
	lea	rdi, .LC1[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L7
.L11:
	cmp	r15d, 7
	jne	.L12
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	ecx, r12d
	mov	edx, eax
	mov	esi, r13d
	lea	rdi, .LC2[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L7
.L12:
	mov	eax, DWORD PTR tt[rip]
	add	eax, r15d
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	ecx, r12d
	mov	edx, eax
	mov	esi, r13d
	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	.L13
	mov	edi, 10
	call	putchar@PLT
	jmp	.L4
.L14:
	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
	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	.L16
	mov	eax, DWORD PTR xmin[rip]
	cmp	DWORD PTR -4[rbp], eax
	jl	.L17
	mov	eax, DWORD PTR ymin[rip]
	cmp	DWORD PTR -8[rbp], eax
	jl	.L17
	mov	eax, DWORD PTR xmax[rip]
	cmp	DWORD PTR -4[rbp], eax
	jg	.L17
	mov	eax, DWORD PTR ymax[rip]
	cmp	DWORD PTR -8[rbp], eax
	jg	.L17
	mov	eax, 1
	jmp	.L18
.L17:
	mov	eax, 0
.L18:
	test	eax, eax
	jne	.L16
	cmp	DWORD PTR -12[rbp], 0
	je	.L19
	mov	ecx, 67108864
	jmp	.L20
.L19:
	mov	ecx, -2080374784
.L20:
	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	.L21
.L16:
	cmp	DWORD PTR -12[rbp], 0
	je	.L22
	mov	edx, -2147483648
	jmp	.L23
.L22:
	mov	edx, 0
.L23:
	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
.L21:
	nop
	pop	rbp
	.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	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, 2
	lea	rdx, [rax+rcx]
	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	.L27
	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	.L26
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L26
	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
.L26:
	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, 2
	lea	rdx, [rax+rsi]
	lea	rax, have_d[rip]
	add	rax, rdx
	mov	BYTE PTR [rax], cl
.L27:
	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
	lea	rdx, 0[0+rax*8]
	add	rax, rdx
	add	rax, rax
	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	.L31
	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	.L30
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L30
	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
.L30:
	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
	lea	rdx, 0[0+rax*8]
	add	rax, rdx
	add	rax, rax
	lea	rdx, [rax+rsi]
	lea	rax, have_e[rip]
	add	rax, rdx
	mov	BYTE PTR [rax], cl
.L31:
	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	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, 2
	lea	rdx, [rax+rcx]
	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	.L35
	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	.L34
	mov	eax, DWORD PTR xmax[rip]
	cmp	ebx, eax
	jg	.L34
	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
.L34:
	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, 2
	lea	rdx, [rax+rsi]
	lea	rax, have_f[rip]
	add	rax, rdx
	mov	BYTE PTR [rax], cl
.L35:
	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	.L37
	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	.L38
.L37:
	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]
.L38:
	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	rcx, eax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	mov	rax, rdx
	add	rax, rax
	add	rax, rdx
	sal	rax, 2
	add	rax, rdx
	sal	rax, 2
	lea	rdx, [rax+rcx]
	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	.L50
	mov	esi, r14d
	mov	edi, r13d
	call	d
	mov	esi, r15d
	mov	edi, r13d
	call	e
	mov	ebx, 0
	jmp	.L41
.L49:
	mov	r12d, 0
	jmp	.L42
.L48:
	lea	eax, [rbx+r12]
	test	eax, eax
	je	.L43
	test	ebx, ebx
	je	.L44
	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
.L44:
	test	r12d, r12d
	je	.L45
	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
.L45:
	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	.L46
	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
.L46:
	test	r12d, r12d
	je	.L47
	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
.L47:
	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
.L43:
	add	r12d, 1
.L42:
	cmp	r12d, 2
	jle	.L48
	add	ebx, 1
.L41:
	cmp	ebx, 2
	jle	.L49
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	ecx, eax
	mov	eax, DWORD PTR -56[rbp]
	movsx	rsi, eax
	mov	eax, DWORD PTR -52[rbp]
	movsx	rdx, eax
	mov	rax, rdx
	add	rax, rax
	add	rax, rdx
	sal	rax, 2
	add	rax, rdx
	sal	rax, 2
	lea	rdx, [rax+rsi]
	lea	rax, have_b[rip]
	add	rax, rdx
	mov	BYTE PTR [rax], cl
.L50:
	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	.L52
	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	.L53
.L52:
	mov	r13d, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -40[rbp]
	and	eax, -2
	mov	r14d, eax
.L53:
	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	.L54
	lea	edx, -1[r13]
	mov	eax, DWORD PTR xmax[rip]
	cmp	edx, eax
	jg	.L54
	lea	edx, 1[r14]
	mov	eax, DWORD PTR ymin[rip]
	cmp	edx, eax
	jl	.L54
	mov	eax, DWORD PTR ymax[rip]
	cmp	r14d, eax
	jle	.L55
.L54:
	mov	ebx, 1
	jmp	.L56
.L57:
	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
.L56:
	cmp	ebx, 2
	jle	.L57
	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	.L58
.L55:
	mov	esi, r14d
	mov	edi, r13d
	call	f
	mov	r12d, 0
	jmp	.L59
.L67:
	mov	ebx, 0
	jmp	.L60
.L66:
	lea	eax, [r12+rbx]
	test	eax, eax
	je	.L61
	test	r12d, r12d
	je	.L62
	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
.L62:
	test	ebx, ebx
	je	.L63
	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
.L63:
	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	.L64
	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
.L64:
	test	ebx, ebx
	je	.L65
	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
.L65:
	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
.L61:
	add	ebx, 1
.L60:
	cmp	ebx, 2
	jle	.L66
	add	r12d, 1
.L59:
	cmp	r12d, 2
	jle	.L67
	nop
.L58:
	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	.L69
.L75:
	mov	r12d, 0
	jmp	.L70
.L74:
	lea	eax, [rbx+r12]
	cmp	eax, 1
	jle	.L71
	lea	eax, [rbx+r12]
	cmp	eax, 4
	jg	.L71
	test	ebx, ebx
	je	.L72
	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
.L72:
	test	r12d, r12d
	je	.L73
	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
.L73:
	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
.L71:
	add	r12d, 1
.L70:
	cmp	r12d, 4
	jle	.L74
	add	ebx, 1
.L69:
	cmp	ebx, 4
	jle	.L75
	mov	ebx, 0
	jmp	.L76
.L82:
	mov	r12d, 0
	jmp	.L77
.L81:
	lea	eax, [rbx+r12]
	cmp	eax, 2
	jle	.L78
	lea	eax, [rbx+r12]
	cmp	eax, 5
	jg	.L78
	mov	eax, ebx
	imul	eax, r12d
	test	eax, eax
	je	.L78
	test	ebx, ebx
	je	.L79
	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
.L79:
	test	r12d, r12d
	je	.L80
	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
.L80:
	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
.L78:
	add	r12d, 1
.L77:
	cmp	r12d, 4
	jle	.L81
	add	ebx, 1
.L76:
	cmp	ebx, 4
	jle	.L82
	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
	.section	.rodata
.LC4:
	.string	"%d"
.LC5:
	.string	"Usage: %s m n r s\n"
	.align 8
.LC6:
	.string	"~ sat-life-grid-spaceships-sym %d %d %d %d\n"
.LC7:
	.string	"~%d%c%d\n"
.LC8:
	.string	"~1%c%d\n"
.LC9:
	.string	" 1%c%d"
.LC10:
	.string	"~%da%d\n"
.LC11:
	.string	"~%da%d %d%c%d\n"
.LC12:
	.string	"%da%d ~%d%c%d\n"
.LC13:
	.string	"~%d%c0\n"
.LC14:
	.string	"~0%c%d\n"
	.text
	.globl	main
	.type	main, @function
main:
.LFB16:
	.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], 5
	jne	.L85
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 8
	mov	rax, QWORD PTR [rax]
	lea	rdx, mm[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_sscanf@PLT
	cmp	eax, 1
	jne	.L85
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 16
	mov	rax, QWORD PTR [rax]
	lea	rdx, nn[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_sscanf@PLT
	cmp	eax, 1
	jne	.L85
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 24
	mov	rax, QWORD PTR [rax]
	lea	rdx, r[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_sscanf@PLT
	cmp	eax, 1
	jne	.L85
	mov	rax, QWORD PTR -32[rbp]
	add	rax, 32
	mov	rax, QWORD PTR [rax]
	lea	rdx, s[rip]
	lea	rsi, .LC4[rip]
	mov	rdi, rax
	mov	eax, 0
	call	__isoc99_sscanf@PLT
	cmp	eax, 1
	je	.L86
.L85:
	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
.L86:
	mov	esi, DWORD PTR s[rip]
	mov	ecx, DWORD PTR r[rip]
	mov	edx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR mm[rip]
	mov	r8d, esi
	mov	esi, eax
	lea	rdi, .LC6[rip]
	mov	eax, 0
	call	printf@PLT
	mov	DWORD PTR tt[rip], 0
	jmp	.L87
.L114:
	mov	eax, DWORD PTR nn[rip]
	mov	DWORD PTR ymax[rip], eax
	mov	DWORD PTR ymin[rip], 1
	mov	eax, DWORD PTR mm[rip]
	mov	DWORD PTR xmax[rip], eax
	mov	DWORD PTR xmin[rip], 1
	mov	eax, DWORD PTR xmin[rip]
	lea	r12d, -1[rax]
	jmp	.L88
.L113:
	mov	eax, DWORD PTR ymin[rip]
	lea	ebx, -1[rax]
	jmp	.L89
.L112:
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jle	.L90
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jle	.L90
	lea	edx, -1[r12]
	mov	eax, DWORD PTR xmax[rip]
	cmp	edx, eax
	jg	.L90
	lea	edx, -1[rbx]
	mov	eax, DWORD PTR ymax[rip]
	cmp	edx, eax
	jg	.L90
	mov	ecx, 1
	jmp	.L91
.L90:
	mov	ecx, 0
.L91:
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jle	.L92
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jl	.L92
	lea	edx, -1[r12]
	mov	eax, DWORD PTR xmax[rip]
	cmp	edx, eax
	jg	.L92
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L92
	mov	eax, 1
	jmp	.L93
.L92:
	mov	eax, 0
.L93:
	add	ecx, eax
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jle	.L94
	lea	edx, 1[rbx]
	mov	eax, DWORD PTR ymin[rip]
	cmp	edx, eax
	jl	.L94
	lea	edx, -1[r12]
	mov	eax, DWORD PTR xmax[rip]
	cmp	edx, eax
	jg	.L94
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jge	.L94
	mov	eax, 1
	jmp	.L95
.L94:
	mov	eax, 0
.L95:
	add	ecx, eax
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jl	.L96
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jle	.L96
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jg	.L96
	lea	edx, -1[rbx]
	mov	eax, DWORD PTR ymax[rip]
	cmp	edx, eax
	jg	.L96
	mov	eax, 1
	jmp	.L97
.L96:
	mov	eax, 0
.L97:
	lea	edx, [rax+rcx]
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jl	.L98
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jl	.L98
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jg	.L98
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L98
	mov	eax, 1
	jmp	.L99
.L98:
	mov	eax, 0
.L99:
	lea	ecx, [rax+rdx]
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jl	.L100
	lea	edx, 1[rbx]
	mov	eax, DWORD PTR ymin[rip]
	cmp	edx, eax
	jl	.L100
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jg	.L100
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jge	.L100
	mov	eax, 1
	jmp	.L101
.L100:
	mov	eax, 0
.L101:
	add	ecx, eax
	lea	edx, 1[r12]
	mov	eax, DWORD PTR xmin[rip]
	cmp	edx, eax
	jl	.L102
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jle	.L102
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jge	.L102
	lea	edx, -1[rbx]
	mov	eax, DWORD PTR ymax[rip]
	cmp	edx, eax
	jg	.L102
	mov	eax, 1
	jmp	.L103
.L102:
	mov	eax, 0
.L103:
	add	ecx, eax
	lea	edx, 1[r12]
	mov	eax, DWORD PTR xmin[rip]
	cmp	edx, eax
	jl	.L104
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jl	.L104
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jge	.L104
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L104
	mov	eax, 1
	jmp	.L105
.L104:
	mov	eax, 0
.L105:
	add	ecx, eax
	lea	edx, 1[r12]
	mov	eax, DWORD PTR xmin[rip]
	cmp	edx, eax
	jl	.L106
	lea	edx, 1[rbx]
	mov	eax, DWORD PTR ymin[rip]
	cmp	edx, eax
	jl	.L106
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jge	.L106
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jge	.L106
	mov	eax, 1
	jmp	.L107
.L106:
	mov	eax, 0
.L107:
	add	eax, ecx
	cmp	eax, 2
	jle	.L138
	mov	esi, ebx
	mov	edi, r12d
	call	a
	mov	esi, ebx
	mov	edi, r12d
	call	zprime
	mov	eax, DWORD PTR xmin[rip]
	cmp	r12d, eax
	jl	.L110
	mov	eax, DWORD PTR ymin[rip]
	cmp	ebx, eax
	jl	.L110
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jg	.L110
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jg	.L110
	mov	eax, 1
	jmp	.L111
.L110:
	mov	eax, 0
.L111:
	test	eax, eax
	jne	.L109
	mov	eax, DWORD PTR r[rip]
	lea	edx, -1[rax]
	mov	eax, DWORD PTR tt[rip]
	cmp	edx, eax
	jle	.L109
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	ecx, ebx
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC7[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L109
.L138:
	nop
.L109:
	add	ebx, 1
.L89:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR ymax[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L112
	add	r12d, 1
.L88:
	mov	eax, DWORD PTR xmax[rip]
	add	eax, 1
	cmp	r12d, eax
	jle	.L113
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	DWORD PTR tt[rip], eax
.L87:
	mov	edx, DWORD PTR tt[rip]
	mov	eax, DWORD PTR r[rip]
	cmp	edx, eax
	jl	.L114
	mov	DWORD PTR tt[rip], 0
	jmp	.L115
.L118:
	mov	ebx, 1
	jmp	.L116
.L117:
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	edx, ebx
	mov	esi, eax
	lea	rdi, .LC8[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L116:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L117
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	DWORD PTR tt[rip], eax
.L115:
	mov	edx, DWORD PTR tt[rip]
	mov	eax, DWORD PTR r[rip]
	cmp	edx, eax
	jl	.L118
	mov	ebx, 1
	jmp	.L119
.L120:
	mov	eax, DWORD PTR r[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	edx, ebx
	mov	esi, eax
	lea	rdi, .LC9[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L119:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L120
	mov	edi, 10
	call	putchar@PLT
	mov	r12d, 2
	jmp	.L121
.L124:
	mov	ebx, 1
	jmp	.L122
.L123:
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC10[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L122:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L123
	add	r12d, 1
.L121:
	mov	eax, DWORD PTR s[rip]
	cmp	r12d, eax
	jle	.L124
	mov	eax, DWORD PTR s[rip]
	lea	r12d, 1[rax]
	jmp	.L125
.L128:
	mov	ebx, 1
	jmp	.L126
.L127:
	mov	eax, DWORD PTR r[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	edx, al
	mov	ecx, DWORD PTR s[rip]
	mov	eax, r12d
	sub	eax, ecx
	mov	r9d, ebx
	mov	r8d, edx
	mov	ecx, eax
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC11[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR r[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	edx, al
	mov	ecx, DWORD PTR s[rip]
	mov	eax, r12d
	sub	eax, ecx
	mov	r9d, ebx
	mov	r8d, edx
	mov	ecx, eax
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC12[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L126:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L127
	add	r12d, 1
.L125:
	mov	eax, DWORD PTR mm[rip]
	cmp	r12d, eax
	jle	.L128
	mov	r12d, 1
	jmp	.L129
.L130:
	mov	eax, DWORD PTR r[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC13[rip]
	mov	eax, 0
	call	printf@PLT
	add	r12d, 1
.L129:
	mov	eax, DWORD PTR mm[rip]
	add	eax, 1
	mov	edx, DWORD PTR s[rip]
	sub	eax, edx
	cmp	r12d, eax
	jle	.L130
	mov	ebx, 1
	jmp	.L131
.L132:
	mov	eax, DWORD PTR r[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	edx, ebx
	mov	esi, eax
	lea	rdi, .LC14[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L131:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L132
	mov	r12d, 1
	jmp	.L133
.L136:
	mov	ebx, 1
	jmp	.L134
.L135:
	mov	eax, DWORD PTR r[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	edx, DWORD PTR mm[rip]
	add	edx, 1
	mov	esi, edx
	sub	esi, r12d
	mov	ecx, ebx
	mov	edx, eax
	lea	rdi, .LC7[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L134:
	lea	eax, [rbx+rbx]
	mov	edx, DWORD PTR nn[rip]
	add	edx, 1
	cmp	eax, edx
	jle	.L135
	add	r12d, 1
.L133:
	mov	eax, DWORD PTR s[rip]
	cmp	r12d, eax
	jle	.L136
	mov	eax, 0
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.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	"528732.c"
	.text
	.comm	p,2704,4
	.comm	have_b,2704,4
	.comm	have_d,2704,4
	.comm	have_e,2808,4
	.comm	have_f,2808,4
	.comm	tt,4,4
	.comm	mm,4,4
	.comm	nn,4,4
	.comm	r,4,4
	.comm	s,4,4
	.comm	xmax,4,4
	.comm	ymax,4,4
	.global	xmin
	.data
	.align	2
	.type	xmin, %object
	.size	xmin, 4
xmin:
	.word	50
	.global	ymin
	.align	2
	.type	ymin, %object
	.size	ymin, 4
ymin:
	.word	50
	.global	timecode
	.align	2
	.type	timecode, %object
	.size	timecode, 85
timecode:
	.ascii	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXY"
	.ascii	"Z!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~\000"
	.comm	buf,52,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, .L15
	ldr	r3, [r3, r4, lsl #2]
	cmp	r3, #67108864
	beq	.L14
	add	r4, r4, #1
.L2:
	ldr	r3, .L15+4
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L5
	mov	r4, #0
	b	.L6
.L13:
	ldr	r3, .L15
	ldr	r3, [r3, r4, lsl #2]
	cmp	r3, #-2080374784
	beq	.L7
	ldr	r3, .L15
	ldr	r3, [r3, r4, lsl #2]
	cmp	r3, #0
	bge	.L8
	ldr	r0, .L15+8
	bl	printf
	b	.L9
.L8:
	mov	r0, #32
	bl	putchar
.L9:
	ldr	r3, .L15
	ldr	r3, [r3, r4, lsl #2]
	lsr	r3, r3, #28
	and	r8, r3, #7
	ldr	r3, .L15
	ldr	r3, [r3, r4, lsl #2]
	lsr	r3, r3, #25
	and	r7, r3, #7
	ldr	r3, .L15
	ldr	r3, [r3, r4, lsl #2]
	lsr	r3, r3, #12
	lsl	r6, r3, #20
	lsr	r6, r6, #20
	ldr	r3, .L15
	ldr	r3, [r3, r4, lsl #2]
	lsl	r5, r3, #20
	lsr	r5, r5, #20
	cmp	r8, #0
	bne	.L10
	lsl	r2, r5, #1
	ldr	r3, .L15+12
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L10
	ldr	r3, .L15+12
	ldr	r3, [r3]
	add	r3, r3, #1
	sub	r5, r3, r5
.L10:
	cmp	r8, #0
	beq	.L11
	ldr	r3, .L15+16
	ldr	r3, [r3]
	ldr	r2, .L15+20
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	add	r3, r8, #64
	str	r7, [sp, #4]
	str	r3, [sp]
	mov	r3, r5
	mov	r1, r6
	ldr	r0, .L15+24
	bl	printf
	b	.L7
.L11:
	cmp	r7, #7
	bne	.L12
	ldr	r3, .L15+16
	ldr	r3, [r3]
	ldr	r2, .L15+20
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r5
	mov	r1, r6
	ldr	r0, .L15+28
	bl	printf
	b	.L7
.L12:
	ldr	r3, .L15+16
	ldr	r3, [r3]
	add	r3, r7, r3
	ldr	r2, .L15+20
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r5
	mov	r1, r6
	ldr	r0, .L15+32
	bl	printf
.L7:
	add	r4, r4, #1
.L6:
	ldr	r3, .L15+4
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L13
	mov	r0, #10
	bl	putchar
	b	.L4
.L14:
	nop
.L4:
	ldr	r3, .L15+4
	mov	r2, #0
	str	r2, [r3]
	nop
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, fp, pc}
.L16:
	.align	2
.L15:
	.word	clause
	.word	clauseptr
	.word	.LC0
	.word	nn
	.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
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #20
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	str	r2, [fp, #-16]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	bne	.L18
	ldr	r3, .L26
	ldr	r3, [r3]
	ldr	r2, [fp, #-8]
	cmp	r2, r3
	blt	.L19
	ldr	r3, .L26+4
	ldr	r3, [r3]
	ldr	r2, [fp, #-12]
	cmp	r2, r3
	blt	.L19
	ldr	r3, .L26+8
	ldr	r3, [r3]
	ldr	r2, [fp, #-8]
	cmp	r2, r3
	bgt	.L19
	ldr	r3, .L26+12
	ldr	r3, [r3]
	ldr	r2, [fp, #-12]
	cmp	r2, r3
	bgt	.L19
	mov	r3, #1
	b	.L20
.L19:
	mov	r3, #0
.L20:
	cmp	r3, #0
	bne	.L18
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L21
	mov	r2, #67108864
	b	.L22
.L21:
	mov	r2, #-2080374784
.L22:
	ldr	r3, .L26+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L26+16
	str	r1, [r0]
	ldr	r1, .L26+20
	str	r2, [r1, r3, lsl #2]
	b	.L23
.L18:
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L24
	mov	r3, #-2147483648
	b	.L25
.L24:
	mov	r3, #0
.L25:
	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, .L26+16
	ldr	r3, [r3]
	add	r0, r3, #1
	ldr	ip, .L26+16
	str	r0, [ip]
	add	r2, r1, r2
	ldr	r1, .L26+20
	str	r2, [r1, r3, lsl #2]
	nop
.L23:
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L27:
	.align	2
.L26:
	.word	xmin
	.word	ymin
	.word	xmax
	.word	ymax
	.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, .L32
	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, #2
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L32+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L31
	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, .L32+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L32+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L32+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, .L32+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L32+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L32+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, .L32+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L32+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L32+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, .L32+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L32+8
	str	r1, [r0]
	add	r2, r2, #-1040187392
	ldr	r1, .L32+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, .L32+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L32+8
	str	r1, [r0]
	add	r2, r2, #-1006632960
	ldr	r1, .L32+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L32+16
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L30
	ldr	r3, .L32+20
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L30
	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, .L32+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L32+8
	str	r1, [r0]
	add	r2, r2, #-1006632960
	ldr	r1, .L32+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L30:
	ldr	r3, .L32+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L32
	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, #2
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L31:
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L33:
	.align	2
.L32:
	.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, .L38
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #3
	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, .L38+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L37
	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, .L38+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L38+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L38+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, .L38+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L38+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L38+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, .L38+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L38+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L38+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, .L38+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L38+8
	str	r1, [r0]
	add	r2, r2, #-771751936
	ldr	r1, .L38+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, .L38+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L38+8
	str	r1, [r0]
	add	r2, r2, #-738197504
	ldr	r1, .L38+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L38+16
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L36
	ldr	r3, .L38+20
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L36
	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, .L38+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L38+8
	str	r1, [r0]
	add	r2, r2, #-738197504
	ldr	r1, .L38+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L36:
	ldr	r3, .L38+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L38
	ldr	r2, [fp, #-24]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r2, r3, #3
	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]
.L37:
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L39:
	.align	2
.L38:
	.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, .L44
	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, #2
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L44+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L43
	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, .L44+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L44+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L44+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, .L44+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L44+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L44+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, .L44+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L44+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L44+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, .L44+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L44+8
	str	r1, [r0]
	add	r2, r2, #-503316480
	ldr	r1, .L44+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, .L44+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L44+8
	str	r1, [r0]
	add	r2, r2, #-469762048
	ldr	r1, .L44+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L44+16
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L42
	ldr	r3, .L44+20
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L42
	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, .L44+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L44+8
	str	r1, [r0]
	add	r2, r2, #-469762048
	ldr	r1, .L44+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L42:
	ldr	r3, .L44+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L44
	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, #2
	add	r2, r1, r3
	ldr	r3, [fp, #-28]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L43:
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L45:
	.align	2
.L44:
	.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	.L47
	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	.L48
.L47:
	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
.L48:
	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, .L49
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L49
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L49+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, .L49
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L49
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L49+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, .L49
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L49
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L49+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, .L49
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L49
	str	r1, [r0]
	add	r2, r2, #-234881024
	ldr	r1, .L49+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, .L49
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L49
	str	r1, [r0]
	add	r2, r2, #-201326592
	ldr	r1, .L49+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, .L49
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L49
	str	r1, [r0]
	add	r2, r2, #-201326592
	ldr	r1, .L49+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L50:
	.align	2
.L49:
	.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, .L63
	ldr	r2, [fp, #-32]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #2
	add	r2, r1, r3
	ldr	r3, [fp, #-36]
	add	r3, r2, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L63+4
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L62
	mov	r1, r7
	mov	r0, r6
	bl	d
	mov	r1, r8
	mov	r0, r6
	bl	e
	mov	r4, #0
	b	.L53
.L61:
	mov	r5, #0
	b	.L54
.L60:
	add	r3, r4, r5
	cmp	r3, #0
	beq	.L55
	cmp	r4, #0
	beq	.L56
	lsl	r3, r4, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r7
	add	r2, r3, r2
	ldr	r3, .L63+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L63+8
	str	r1, [r0]
	add	r2, r2, #-1073741824
	ldr	r1, .L63+12
	str	r2, [r1, r3, lsl #2]
.L56:
	cmp	r5, #0
	beq	.L57
	lsl	r3, r5, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r8
	add	r2, r3, r2
	ldr	r3, .L63+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L63+8
	str	r1, [r0]
	add	r2, r2, #-805306368
	ldr	r1, .L63+12
	str	r2, [r1, r3, lsl #2]
.L57:
	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, .L63+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L63+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L63+12
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	cmp	r4, #0
	beq	.L58
	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, .L63+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L63+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L63+12
	str	r1, [r2, r3, lsl #2]
.L58:
	cmp	r5, #0
	beq	.L59
	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, .L63+8
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L63+8
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L63+12
	str	r1, [r2, r3, lsl #2]
.L59:
	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, .L63+8
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L63+8
	str	r1, [r0]
	add	r2, r2, #-1610612736
	ldr	r1, .L63+12
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L55:
	add	r5, r5, #1
.L54:
	cmp	r5, #2
	ble	.L60
	add	r4, r4, #1
.L53:
	cmp	r4, #2
	ble	.L61
	ldr	r3, .L63+4
	ldr	r3, [r3]
	and	r3, r3, #255
	add	r3, r3, #1
	and	r0, r3, #255
	ldr	r1, .L63
	ldr	r2, [fp, #-32]
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #2
	add	r2, r1, r3
	ldr	r3, [fp, #-36]
	add	r3, r2, r3
	mov	r2, r0
	strb	r2, [r3]
.L62:
	nop
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, fp, pc}
.L64:
	.align	2
.L63:
	.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	.L66
	ldr	r3, [fp, #-24]
	add	r6, r3, #2
	ldr	r3, [fp, #-28]
	sub	r3, r3, #1
	orr	r7, r3, #1
	b	.L67
.L66:
	ldr	r6, [fp, #-24]
	ldr	r3, [fp, #-28]
	bic	r7, r3, #1
.L67:
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	g
	ldr	r3, .L82
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L68
	sub	r2, r6, #1
	ldr	r3, .L82+4
	ldr	r3, [r3]
	cmp	r2, r3
	bgt	.L68
	add	r2, r7, #1
	ldr	r3, .L82+8
	ldr	r3, [r3]
	cmp	r2, r3
	blt	.L68
	ldr	r3, .L82+12
	ldr	r3, [r3]
	cmp	r7, r3
	ble	.L69
.L68:
	mov	r4, #1
	b	.L70
.L71:
	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, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-268435456
	ldr	r1, .L82+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, .L82+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L82+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L82+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, .L82+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L82+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L82+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, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L82+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	add	r4, r4, #1
.L70:
	cmp	r4, #2
	ble	.L71
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #12
	mov	r2, r3
	ldr	r3, [fp, #-28]
	add	r2, r2, r3
	ldr	r3, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-1241513984
	ldr	r1, .L82+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, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-1207959552
	ldr	r1, .L82+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	b	.L72
.L69:
	mov	r1, r7
	mov	r0, r6
	bl	f
	mov	r5, #0
	b	.L73
.L81:
	mov	r4, #0
	b	.L74
.L80:
	add	r3, r5, r4
	cmp	r3, #0
	beq	.L75
	cmp	r5, #0
	beq	.L76
	lsl	r3, r5, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r7
	add	r2, r3, r2
	ldr	r3, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-536870912
	ldr	r1, .L82+20
	str	r2, [r1, r3, lsl #2]
.L76:
	cmp	r4, #0
	beq	.L77
	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, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-268435456
	ldr	r1, .L82+20
	str	r2, [r1, r3, lsl #2]
.L77:
	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, .L82+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L82+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L82+20
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	cmp	r5, #0
	beq	.L78
	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, .L82+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L82+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L82+20
	str	r1, [r2, r3, lsl #2]
.L78:
	cmp	r4, #0
	beq	.L79
	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, .L82+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L82+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L82+20
	str	r1, [r2, r3, lsl #2]
.L79:
	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, .L82+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L82+16
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L82+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L75:
	add	r4, r4, #1
.L74:
	cmp	r4, #2
	ble	.L80
	add	r5, r5, #1
.L73:
	cmp	r5, #2
	ble	.L81
	nop
.L72:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L83:
	.align	2
.L82:
	.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	.L85
.L91:
	mov	r5, #0
	b	.L86
.L90:
	add	r3, r4, r5
	cmp	r3, #1
	ble	.L87
	add	r3, r4, r5
	cmp	r3, #4
	bgt	.L87
	cmp	r4, #0
	beq	.L88
	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, .L99
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L99
	str	r1, [r0]
	add	r2, r2, #-1610612736
	ldr	r1, .L99+4
	str	r2, [r1, r3, lsl #2]
.L88:
	cmp	r5, #0
	beq	.L89
	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, .L99
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L99
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L99+4
	str	r2, [r1, r3, lsl #2]
.L89:
	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, .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
.L87:
	add	r5, r5, #1
.L86:
	cmp	r5, #4
	ble	.L90
	add	r4, r4, #1
.L85:
	cmp	r4, #4
	ble	.L91
	mov	r4, #0
	b	.L92
.L98:
	mov	r5, #0
	b	.L93
.L97:
	add	r3, r4, r5
	cmp	r3, #2
	ble	.L94
	add	r3, r4, r5
	cmp	r3, #5
	bgt	.L94
	mul	r3, r5, r4
	cmp	r3, #0
	beq	.L94
	cmp	r4, #0
	beq	.L95
	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, .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]
.L95:
	cmp	r5, #0
	beq	.L96
	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, .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]
.L96:
	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, .L99
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L99
	str	r1, [r0]
	add	r2, r2, #-1879048192
	ldr	r1, .L99+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L94:
	add	r5, r5, #1
.L93:
	cmp	r5, #4
	ble	.L97
	add	r4, r4, #1
.L92:
	cmp	r4, #4
	ble	.L98
	nop
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L100:
	.align	2
.L99:
	.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, .L102
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L102
	str	r1, [r0]
	add	r2, r2, #-1744830464
	ldr	r1, .L102+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, .L102
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L102
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L102+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, .L102
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L102
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L102+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, .L102
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L102
	str	r1, [r0]
	add	r2, r2, #-1778384896
	ldr	r1, .L102+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, .L102
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L102
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L102+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, .L102
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L102
	str	r1, [r0]
	add	r2, r2, #-1811939328
	ldr	r1, .L102+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, .L102
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L102
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L102+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}
.L103:
	.align	2
.L102:
	.word	clauseptr
	.word	clause
	.size	zprime, .-zprime
	.section	.rodata
	.align	2
.LC4:
	.ascii	"%d\000"
	.align	2
.LC5:
	.ascii	"Usage: %s m n r s\012\000"
	.align	2
.LC6:
	.ascii	"~ sat-life-grid-spaceships-sym %d %d %d %d\012\000"
	.align	2
.LC7:
	.ascii	"~%d%c%d\012\000"
	.align	2
.LC8:
	.ascii	"~1%c%d\012\000"
	.align	2
.LC9:
	.ascii	" 1%c%d\000"
	.align	2
.LC10:
	.ascii	"~%da%d\012\000"
	.align	2
.LC11:
	.ascii	"~%da%d %d%c%d\012\000"
	.align	2
.LC12:
	.ascii	"%da%d ~%d%c%d\012\000"
	.align	2
.LC13:
	.ascii	"~%d%c0\012\000"
	.align	2
.LC14:
	.ascii	"~0%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, #16
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	ldr	r3, [fp, #-16]
	cmp	r3, #5
	bne	.L105
	ldr	r3, [fp, #-20]
	add	r3, r3, #4
	ldr	r3, [r3]
	ldr	r2, .L159
	ldr	r1, .L159+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	bne	.L105
	ldr	r3, [fp, #-20]
	add	r3, r3, #8
	ldr	r3, [r3]
	ldr	r2, .L159+8
	ldr	r1, .L159+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	bne	.L105
	ldr	r3, [fp, #-20]
	add	r3, r3, #12
	ldr	r3, [r3]
	ldr	r2, .L159+12
	ldr	r1, .L159+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	bne	.L105
	ldr	r3, [fp, #-20]
	add	r3, r3, #16
	ldr	r3, [r3]
	ldr	r2, .L159+16
	ldr	r1, .L159+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	beq	.L106
.L105:
	ldr	r3, .L159+20
	ldr	r0, [r3]
	ldr	r3, [fp, #-20]
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L159+24
	bl	fprintf
	mvn	r0, #0
	bl	exit
.L106:
	ldr	r3, .L159
	ldr	r1, [r3]
	ldr	r3, .L159+8
	ldr	r2, [r3]
	ldr	r3, .L159+12
	ldr	r0, [r3]
	ldr	r3, .L159+16
	ldr	r3, [r3]
	str	r3, [sp]
	mov	r3, r0
	ldr	r0, .L159+28
	bl	printf
	ldr	r3, .L159+32
	mov	r2, #0
	str	r2, [r3]
	b	.L107
.L134:
	ldr	r3, .L159+8
	ldr	r3, [r3]
	ldr	r2, .L159+36
	str	r3, [r2]
	ldr	r3, .L159+40
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L159
	ldr	r3, [r3]
	ldr	r2, .L159+44
	str	r3, [r2]
	ldr	r3, .L159+48
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L159+48
	ldr	r3, [r3]
	sub	r5, r3, #1
	b	.L108
.L133:
	ldr	r3, .L159+40
	ldr	r3, [r3]
	sub	r4, r3, #1
	b	.L109
.L132:
	ldr	r3, .L159+48
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L110
	ldr	r3, .L159+40
	ldr	r3, [r3]
	cmp	r4, r3
	ble	.L110
	sub	r2, r5, #1
	ldr	r3, .L159+44
	ldr	r3, [r3]
	cmp	r2, r3
	bgt	.L110
	sub	r2, r4, #1
	ldr	r3, .L159+36
	ldr	r3, [r3]
	cmp	r2, r3
	bgt	.L110
	mov	r2, #1
	b	.L111
.L110:
	mov	r2, #0
.L111:
	ldr	r3, .L159+48
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L112
	ldr	r3, .L159+40
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L112
	sub	r1, r5, #1
	ldr	r3, .L159+44
	ldr	r3, [r3]
	cmp	r1, r3
	bgt	.L112
	ldr	r3, .L159+36
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L112
	mov	r3, #1
	b	.L113
.L112:
	mov	r3, #0
.L113:
	add	r3, r2, r3
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r5, r2
	ble	.L114
	add	r1, r4, #1
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r1, r2
	blt	.L114
	sub	r1, r5, #1
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r1, r2
	bgt	.L114
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r4, r2
	bge	.L114
	mov	r2, #1
	b	.L115
.L114:
	mov	r2, #0
.L115:
	add	r3, r2, r3
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r5, r2
	blt	.L116
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r4, r2
	ble	.L116
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r5, r2
	bgt	.L116
	sub	r1, r4, #1
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r1, r2
	bgt	.L116
	mov	r2, #1
	b	.L117
.L116:
	mov	r2, #0
.L117:
	add	r3, r2, r3
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r5, r2
	blt	.L118
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r4, r2
	blt	.L118
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r5, r2
	bgt	.L118
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r4, r2
	bgt	.L118
	mov	r2, #1
	b	.L119
.L118:
	mov	r2, #0
.L119:
	add	r3, r2, r3
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r5, r2
	blt	.L120
	add	r1, r4, #1
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r1, r2
	blt	.L120
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r5, r2
	bgt	.L120
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r4, r2
	bge	.L120
	mov	r2, #1
	b	.L121
.L120:
	mov	r2, #0
.L121:
	add	r3, r2, r3
	add	r1, r5, #1
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r1, r2
	blt	.L122
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r4, r2
	ble	.L122
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r5, r2
	bge	.L122
	sub	r1, r4, #1
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r1, r2
	bgt	.L122
	mov	r2, #1
	b	.L123
.L122:
	mov	r2, #0
.L123:
	add	r3, r2, r3
	add	r1, r5, #1
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r1, r2
	blt	.L124
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r4, r2
	blt	.L124
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r5, r2
	bge	.L124
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r4, r2
	bgt	.L124
	mov	r2, #1
	b	.L125
.L124:
	mov	r2, #0
.L125:
	add	r3, r2, r3
	add	r1, r5, #1
	ldr	r2, .L159+48
	ldr	r2, [r2]
	cmp	r1, r2
	blt	.L126
	add	r1, r4, #1
	ldr	r2, .L159+40
	ldr	r2, [r2]
	cmp	r1, r2
	blt	.L126
	ldr	r2, .L159+44
	ldr	r2, [r2]
	cmp	r5, r2
	bge	.L126
	ldr	r2, .L159+36
	ldr	r2, [r2]
	cmp	r4, r2
	bge	.L126
	mov	r2, #1
	b	.L127
.L126:
	mov	r2, #0
.L127:
	add	r3, r2, r3
	cmp	r3, #2
	ble	.L158
	mov	r1, r4
	mov	r0, r5
	bl	a
	mov	r1, r4
	mov	r0, r5
	bl	zprime
	ldr	r3, .L159+48
	ldr	r3, [r3]
	cmp	r5, r3
	blt	.L130
	ldr	r3, .L159+40
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L130
	ldr	r3, .L159+44
	ldr	r3, [r3]
	cmp	r5, r3
	bgt	.L130
	ldr	r3, .L159+36
	ldr	r3, [r3]
	cmp	r4, r3
	bgt	.L130
	mov	r3, #1
	b	.L131
.L130:
	mov	r3, #0
.L131:
	cmp	r3, #0
	bne	.L129
	ldr	r3, .L159+12
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, .L159+32
	ldr	r3, [r3]
	cmp	r2, r3
	ble	.L129
	ldr	r3, .L159+32
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L159+52
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r4
	mov	r1, r5
	ldr	r0, .L159+56
	bl	printf
	b	.L129
.L158:
	nop
.L129:
	add	r4, r4, #1
.L109:
	lsl	r2, r4, #1
	ldr	r3, .L159+36
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L132
	add	r5, r5, #1
.L108:
	ldr	r3, .L159+44
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r5, r3
	ble	.L133
	ldr	r3, .L159+32
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L159+32
	str	r3, [r2]
.L107:
	ldr	r3, .L159+32
	ldr	r2, [r3]
	ldr	r3, .L159+12
	ldr	r3, [r3]
	cmp	r2, r3
	blt	.L134
	ldr	r3, .L159+32
	mov	r2, #0
	str	r2, [r3]
	b	.L135
.L138:
	mov	r4, #1
	b	.L136
.L137:
	ldr	r3, .L159+32
	ldr	r3, [r3]
	ldr	r2, .L159+52
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r4
	mov	r1, r3
	ldr	r0, .L159+60
	bl	printf
	add	r4, r4, #1
.L136:
	lsl	r2, r4, #1
	ldr	r3, .L159+8
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L137
	ldr	r3, .L159+32
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L159+32
	str	r3, [r2]
.L135:
	ldr	r3, .L159+32
	ldr	r2, [r3]
	ldr	r3, .L159+12
	ldr	r3, [r3]
	cmp	r2, r3
	blt	.L138
	mov	r4, #1
	b	.L139
.L140:
	ldr	r3, .L159+12
	ldr	r3, [r3]
	ldr	r2, .L159+52
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r4
	mov	r1, r3
	ldr	r0, .L159+64
	bl	printf
	add	r4, r4, #1
.L139:
	lsl	r2, r4, #1
	ldr	r3, .L159+8
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L140
	mov	r0, #10
	bl	putchar
	mov	r5, #2
	b	.L141
.L144:
	mov	r4, #1
	b	.L142
.L143:
	mov	r2, r4
	mov	r1, r5
	ldr	r0, .L159+68
	bl	printf
	add	r4, r4, #1
.L142:
	lsl	r2, r4, #1
	ldr	r3, .L159+8
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L143
	add	r5, r5, #1
.L141:
	ldr	r3, .L159+16
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L144
	ldr	r3, .L159+16
	ldr	r3, [r3]
	add	r5, r3, #1
	b	.L145
.L148:
	mov	r4, #1
	b	.L146
.L147:
	ldr	r3, .L159+16
	ldr	r3, [r3]
	sub	r2, r5, r3
	ldr	r3, .L159+12
	ldr	r3, [r3]
	ldr	r1, .L159+52
	ldrb	r3, [r1, r3]	@ zero_extendqisi2
	str	r4, [sp, #4]
	str	r3, [sp]
	mov	r3, r2
	mov	r2, r4
	mov	r1, r5
	ldr	r0, .L159+72
	bl	printf
	ldr	r3, .L159+16
	ldr	r3, [r3]
	sub	r2, r5, r3
	ldr	r3, .L159+12
	ldr	r3, [r3]
	ldr	r1, .L159+52
	ldrb	r3, [r1, r3]	@ zero_extendqisi2
	str	r4, [sp, #4]
	str	r3, [sp]
	mov	r3, r2
	mov	r2, r4
	mov	r1, r5
	ldr	r0, .L159+76
	bl	printf
	add	r4, r4, #1
.L146:
	lsl	r2, r4, #1
	ldr	r3, .L159+8
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L147
	add	r5, r5, #1
.L145:
	ldr	r3, .L159
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L148
	mov	r5, #1
	b	.L149
.L150:
	ldr	r3, .L159+12
	ldr	r3, [r3]
	ldr	r2, .L159+52
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r1, r5
	ldr	r0, .L159+80
	bl	printf
	add	r5, r5, #1
.L149:
	ldr	r3, .L159
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r3, .L159+16
	ldr	r3, [r3]
	sub	r3, r2, r3
	cmp	r5, r3
	ble	.L150
	mov	r4, #1
	b	.L151
.L152:
	ldr	r3, .L159+12
	ldr	r3, [r3]
	ldr	r2, .L159+52
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r4
	mov	r1, r3
	ldr	r0, .L159+84
	bl	printf
	add	r4, r4, #1
.L151:
	lsl	r2, r4, #1
	ldr	r3, .L159+8
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L152
	mov	r5, #1
	b	.L153
.L156:
	mov	r4, #1
	b	.L154
.L155:
	ldr	r3, .L159
	ldr	r3, [r3]
	add	r3, r3, #1
	sub	r1, r3, r5
	ldr	r3, .L159+12
	ldr	r3, [r3]
	ldr	r2, .L159+52
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r4
	ldr	r0, .L159+56
	bl	printf
	add	r4, r4, #1
.L154:
	lsl	r2, r4, #1
	ldr	r3, .L159+8
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	ble	.L155
	add	r5, r5, #1
.L153:
	ldr	r3, .L159+16
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L156
	mov	r3, #0
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L160:
	.align	2
.L159:
	.word	mm
	.word	.LC4
	.word	nn
	.word	r
	.word	s
	.word	stderr
	.word	.LC5
	.word	.LC6
	.word	tt
	.word	ymax
	.word	ymin
	.word	xmax
	.word	xmin
	.word	timecode
	.word	.LC7
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC13
	.word	.LC14
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
