	.file	"903169.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	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	.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	r13d, 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	r12d, 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	r14d, eax
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	eax, DWORD PTR [rdx+rax]
	and	eax, 4095
	mov	r15d, eax
	test	r13d, r13d
	je	.L10
	lea	r8d, 64[r13]
	mov	eax, DWORD PTR nn[rip]
	add	eax, r15d
	sub	eax, 1
	mov	ecx, DWORD PTR nn[rip]
	cdq
	idiv	ecx
	mov	eax, edx
	lea	ecx, 1[rax]
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	esi, al
	mov	eax, DWORD PTR mm[rip]
	add	eax, r14d
	sub	eax, 1
	mov	edi, DWORD PTR mm[rip]
	cdq
	idiv	edi
	mov	eax, edx
	add	eax, 1
	mov	r9d, r12d
	mov	edx, esi
	mov	esi, eax
	lea	rdi, .LC1[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L7
.L10:
	cmp	r12d, 7
	jne	.L11
	mov	eax, DWORD PTR nn[rip]
	add	eax, r15d
	sub	eax, 1
	mov	ecx, DWORD PTR nn[rip]
	cdq
	idiv	ecx
	mov	eax, edx
	lea	ecx, 1[rax]
	mov	eax, DWORD PTR tt[rip]
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	esi, al
	mov	eax, DWORD PTR mm[rip]
	add	eax, r14d
	sub	eax, 1
	mov	edi, DWORD PTR mm[rip]
	cdq
	idiv	edi
	mov	eax, edx
	add	eax, 1
	mov	edx, esi
	mov	esi, eax
	lea	rdi, .LC2[rip]
	mov	eax, 0
	call	printf@PLT
	jmp	.L7
.L11:
	mov	eax, DWORD PTR nn[rip]
	add	eax, r15d
	sub	eax, 1
	mov	ecx, DWORD PTR nn[rip]
	cdq
	idiv	ecx
	mov	eax, edx
	lea	ecx, 1[rax]
	mov	eax, DWORD PTR tt[rip]
	add	eax, r12d
	mov	esi, DWORD PTR r[rip]
	cdq
	idiv	esi
	mov	eax, edx
	cdqe
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	esi, al
	mov	eax, DWORD PTR mm[rip]
	add	eax, r14d
	sub	eax, 1
	mov	edi, DWORD PTR mm[rip]
	cdq
	idiv	edi
	mov	eax, edx
	add	eax, 1
	mov	edx, esi
	mov	esi, eax
	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
	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 -12[rbp], 0
	je	.L15
	mov	edx, -2147483648
	jmp	.L16
.L15:
	mov	edx, 0
.L16:
	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
	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	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -36[rbp]
	cdq
	idiv	ecx
	mov	esi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -40[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	movsx	rcx, eax
	movsx	rdx, esi
	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	.L19
	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	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
	mov	eax, DWORD PTR tt[rip]
	lea	esi, 1[rax]
	mov	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -36[rbp]
	cdq
	idiv	ecx
	mov	edi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -40[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	mov	ecx, esi
	movsx	rsi, eax
	movsx	rdx, edi
	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
.L19:
	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	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -36[rbp]
	cdq
	idiv	ecx
	mov	esi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -40[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	movsx	rcx, eax
	movsx	rdx, esi
	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	.L22
	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	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
	mov	eax, DWORD PTR tt[rip]
	lea	esi, 1[rax]
	mov	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -36[rbp]
	cdq
	idiv	ecx
	mov	edi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -40[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	mov	ecx, esi
	movsx	rsi, eax
	movsx	rdx, edi
	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
.L22:
	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	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -36[rbp]
	cdq
	idiv	ecx
	mov	esi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -40[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	movsx	rcx, eax
	movsx	rdx, esi
	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	.L25
	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	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
	mov	eax, DWORD PTR tt[rip]
	lea	esi, 1[rax]
	mov	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -36[rbp]
	cdq
	idiv	ecx
	mov	edi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -40[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	mov	ecx, esi
	movsx	rsi, eax
	movsx	rdx, edi
	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
.L25:
	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	.L27
	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	.L28
.L27:
	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]
.L28:
	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	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -52[rbp]
	cdq
	idiv	ecx
	mov	esi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -56[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	movsx	rcx, eax
	movsx	rdx, esi
	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	.L40
	mov	esi, r14d
	mov	edi, r13d
	call	d
	mov	esi, r15d
	mov	edi, r13d
	call	e
	mov	ebx, 0
	jmp	.L31
.L39:
	mov	r12d, 0
	jmp	.L32
.L38:
	lea	eax, [rbx+r12]
	test	eax, eax
	je	.L33
	test	ebx, ebx
	je	.L34
	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
.L34:
	test	r12d, r12d
	je	.L35
	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
.L35:
	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	.L36
	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
.L36:
	test	r12d, r12d
	je	.L37
	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
.L37:
	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
.L33:
	add	r12d, 1
.L32:
	cmp	r12d, 2
	jle	.L38
	add	ebx, 1
.L31:
	cmp	ebx, 2
	jle	.L39
	mov	eax, DWORD PTR tt[rip]
	lea	esi, 1[rax]
	mov	ecx, DWORD PTR mm[rip]
	mov	eax, DWORD PTR -52[rbp]
	cdq
	idiv	ecx
	mov	edi, edx
	mov	ecx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR -56[rbp]
	cdq
	idiv	ecx
	mov	eax, edx
	mov	ecx, esi
	movsx	rsi, eax
	movsx	rdx, edi
	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
.L40:
	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	.L42
	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	.L43
.L42:
	mov	r13d, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -40[rbp]
	and	eax, -2
	mov	r14d, eax
.L43:
	mov	edx, DWORD PTR -40[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	g
	mov	esi, r14d
	mov	edi, r13d
	call	f
	mov	ebx, 0
	jmp	.L44
.L52:
	mov	r12d, 0
	jmp	.L45
.L51:
	lea	eax, [rbx+r12]
	test	eax, eax
	je	.L46
	test	ebx, ebx
	je	.L47
	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, 536870912
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L47:
	test	r12d, r12d
	je	.L48
	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, 268435456
	cdqe
	lea	rdx, 0[0+rax*4]
	lea	rax, clause[rip]
	mov	DWORD PTR [rdx+rax], ecx
.L48:
	lea	eax, [rbx+r12]
	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	ebx, ebx
	je	.L49
	mov	eax, 3
	sub	eax, ebx
	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
.L49:
	test	r12d, r12d
	je	.L50
	mov	eax, 3
	sub	eax, r12d
	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
.L50:
	mov	eax, 5
	sub	eax, ebx
	sub	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
	call	outclause
.L46:
	add	r12d, 1
.L45:
	cmp	r12d, 2
	jle	.L51
	add	ebx, 1
.L44:
	cmp	ebx, 2
	jle	.L52
	nop
	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	.L54
.L60:
	mov	r12d, 0
	jmp	.L55
.L59:
	lea	eax, [rbx+r12]
	cmp	eax, 1
	jle	.L56
	lea	eax, [rbx+r12]
	cmp	eax, 4
	jg	.L56
	test	ebx, ebx
	je	.L57
	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
.L57:
	test	r12d, r12d
	je	.L58
	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
.L58:
	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
.L56:
	add	r12d, 1
.L55:
	cmp	r12d, 4
	jle	.L59
	add	ebx, 1
.L54:
	cmp	ebx, 4
	jle	.L60
	mov	ebx, 0
	jmp	.L61
.L67:
	mov	r12d, 0
	jmp	.L62
.L66:
	lea	eax, [rbx+r12]
	cmp	eax, 2
	jle	.L63
	lea	eax, [rbx+r12]
	cmp	eax, 5
	jg	.L63
	mov	eax, ebx
	imul	eax, r12d
	test	eax, eax
	je	.L63
	test	ebx, ebx
	je	.L64
	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
.L64:
	test	r12d, r12d
	je	.L65
	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
.L65:
	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
.L63:
	add	r12d, 1
.L62:
	cmp	r12d, 4
	jle	.L66
	add	ebx, 1
.L61:
	cmp	ebx, 4
	jle	.L67
	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\n"
	.align 8
.LC6:
	.string	"~ sat-life-torus-cycle %d %d %d\n"
.LC7:
	.string	" 1a%d"
.LC8:
	.string	"%da%d %d%c%d ~%da%c%d\n"
.LC9:
	.string	"~%da%d ~%d%c%d ~%da%c%d\n"
.LC10:
	.string	" %da%c%d"
.LC11:
	.string	"%da%d %da%d ~%d,%d:%d\n"
.LC12:
	.string	"~%da%d ~%da%d ~%d,%d:%d\n"
.LC13:
	.string	" %d,%d:%d"
.LC14:
	.string	"%da%d %da%d ~%d:%d,%d\n"
.LC15:
	.string	"~%da%d ~%da%d ~%d:%d,%d\n"
.LC16:
	.string	" %d:%d,%d"
	.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	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	QWORD PTR -48[rbp], rsi
	cmp	DWORD PTR -36[rbp], 4
	jne	.L70
	mov	rax, QWORD PTR -48[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	.L70
	mov	rax, QWORD PTR -48[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	.L70
	mov	rax, QWORD PTR -48[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
	je	.L71
.L70:
	mov	rax, QWORD PTR -48[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
.L71:
	mov	ecx, DWORD PTR r[rip]
	mov	edx, DWORD PTR nn[rip]
	mov	eax, DWORD PTR mm[rip]
	mov	esi, eax
	lea	rdi, .LC6[rip]
	mov	eax, 0
	call	printf@PLT
	mov	ebx, 1
	jmp	.L72
.L73:
	mov	esi, ebx
	lea	rdi, .LC7[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L72:
	cmp	ebx, 1
	jle	.L73
	mov	edi, 10
	call	putchar@PLT
	mov	DWORD PTR tt[rip], 0
	jmp	.L74
.L79:
	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	r12d, DWORD PTR xmin[rip]
	jmp	.L75
.L78:
	mov	ebx, DWORD PTR ymin[rip]
	jmp	.L76
.L77:
	mov	esi, ebx
	mov	edi, r12d
	call	a
	mov	esi, ebx
	mov	edi, r12d
	call	zprime
	add	ebx, 1
.L76:
	mov	eax, DWORD PTR ymax[rip]
	cmp	ebx, eax
	jle	.L77
	add	r12d, 1
.L75:
	mov	eax, DWORD PTR xmax[rip]
	cmp	r12d, eax
	jle	.L78
	mov	eax, DWORD PTR tt[rip]
	add	eax, 1
	mov	DWORD PTR tt[rip], eax
.L74:
	mov	edx, DWORD PTR tt[rip]
	mov	eax, DWORD PTR r[rip]
	cmp	edx, eax
	jl	.L79
	mov	r13d, 1
	jmp	.L80
.L90:
	mov	eax, DWORD PTR r[rip]
	cdq
	idiv	r13d
	mov	eax, edx
	test	eax, eax
	jne	.L81
	mov	r12d, 1
	jmp	.L82
.L85:
	mov	ebx, 1
	jmp	.L83
.L84:
	movsx	rax, r13d
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	movsx	rdx, r13d
	lea	rcx, timecode[rip]
	movzx	edx, BYTE PTR [rdx+rcx]
	movsx	edx, dl
	sub	rsp, 8
	push	rbx
	push	rax
	push	r12
	mov	r9d, ebx
	mov	r8d, edx
	mov	ecx, r12d
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC8[rip]
	mov	eax, 0
	call	printf@PLT
	add	rsp, 32
	movsx	rax, r13d
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	movsx	rdx, r13d
	lea	rcx, timecode[rip]
	movzx	edx, BYTE PTR [rdx+rcx]
	movsx	edx, dl
	sub	rsp, 8
	push	rbx
	push	rax
	push	r12
	mov	r9d, ebx
	mov	r8d, edx
	mov	ecx, r12d
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC9[rip]
	mov	eax, 0
	call	printf@PLT
	add	rsp, 32
	add	ebx, 1
.L83:
	mov	eax, DWORD PTR nn[rip]
	cmp	ebx, eax
	jle	.L84
	add	r12d, 1
.L82:
	mov	eax, DWORD PTR mm[rip]
	cmp	r12d, eax
	jle	.L85
	mov	r12d, 1
	jmp	.L86
.L89:
	mov	ebx, 1
	jmp	.L87
.L88:
	movsx	rax, r13d
	lea	rdx, timecode[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	eax, al
	mov	ecx, ebx
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC10[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L87:
	mov	eax, DWORD PTR nn[rip]
	cmp	ebx, eax
	jle	.L88
	add	r12d, 1
.L86:
	mov	eax, DWORD PTR mm[rip]
	cmp	r12d, eax
	jle	.L89
	mov	edi, 10
	call	putchar@PLT
.L81:
	add	r13d, 1
.L80:
	mov	eax, DWORD PTR r[rip]
	cmp	r13d, eax
	jl	.L90
	mov	r13d, 1
	jmp	.L91
.L101:
	mov	eax, DWORD PTR mm[rip]
	cdq
	idiv	r13d
	mov	eax, edx
	test	eax, eax
	jne	.L92
	mov	r12d, 1
	jmp	.L93
.L96:
	mov	ebx, 1
	jmp	.L94
.L95:
	lea	edx, [r12+r13]
	lea	eax, [r12+r13]
	push	rbx
	push	rdx
	mov	r9d, r12d
	mov	r8d, ebx
	mov	ecx, eax
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC11[rip]
	mov	eax, 0
	call	printf@PLT
	add	rsp, 16
	lea	edx, [r12+r13]
	lea	eax, [r12+r13]
	push	rbx
	push	rdx
	mov	r9d, r12d
	mov	r8d, ebx
	mov	ecx, eax
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC12[rip]
	mov	eax, 0
	call	printf@PLT
	add	rsp, 16
	add	ebx, 1
.L94:
	mov	eax, DWORD PTR nn[rip]
	cmp	ebx, eax
	jle	.L95
	add	r12d, 1
.L93:
	mov	eax, DWORD PTR mm[rip]
	sub	eax, r13d
	cmp	r12d, eax
	jle	.L96
	mov	r12d, 1
	jmp	.L97
.L100:
	mov	ebx, 1
	jmp	.L98
.L99:
	lea	eax, [r12+r13]
	mov	ecx, ebx
	mov	edx, eax
	mov	esi, r12d
	lea	rdi, .LC13[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L98:
	mov	eax, DWORD PTR nn[rip]
	cmp	ebx, eax
	jle	.L99
	add	r12d, 1
.L97:
	mov	eax, DWORD PTR mm[rip]
	sub	eax, r13d
	cmp	r12d, eax
	jle	.L100
	mov	edi, 10
	call	putchar@PLT
.L92:
	add	r13d, 1
.L91:
	mov	eax, DWORD PTR mm[rip]
	cmp	r13d, eax
	jl	.L101
	mov	r13d, 1
	jmp	.L102
.L112:
	mov	eax, DWORD PTR nn[rip]
	cdq
	idiv	r13d
	mov	eax, edx
	test	eax, eax
	jne	.L103
	mov	ebx, 1
	jmp	.L104
.L107:
	mov	r12d, 1
	jmp	.L105
.L106:
	lea	eax, [rbx+r13]
	lea	edx, [rbx+r13]
	push	rax
	push	rbx
	mov	r9d, r12d
	mov	r8d, edx
	mov	ecx, r12d
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC14[rip]
	mov	eax, 0
	call	printf@PLT
	add	rsp, 16
	lea	eax, [rbx+r13]
	lea	edx, [rbx+r13]
	push	rax
	push	rbx
	mov	r9d, r12d
	mov	r8d, edx
	mov	ecx, r12d
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC15[rip]
	mov	eax, 0
	call	printf@PLT
	add	rsp, 16
	add	r12d, 1
.L105:
	mov	eax, DWORD PTR mm[rip]
	cmp	r12d, eax
	jle	.L106
	add	ebx, 1
.L104:
	mov	eax, DWORD PTR nn[rip]
	sub	eax, r13d
	cmp	ebx, eax
	jle	.L107
	mov	ebx, 1
	jmp	.L108
.L111:
	mov	r12d, 1
	jmp	.L109
.L110:
	lea	eax, [rbx+r13]
	mov	ecx, eax
	mov	edx, ebx
	mov	esi, r12d
	lea	rdi, .LC16[rip]
	mov	eax, 0
	call	printf@PLT
	add	r12d, 1
.L109:
	mov	eax, DWORD PTR mm[rip]
	cmp	r12d, eax
	jle	.L110
	add	ebx, 1
.L108:
	mov	eax, DWORD PTR nn[rip]
	sub	eax, r13d
	cmp	ebx, eax
	jle	.L111
	mov	edi, 10
	call	putchar@PLT
.L103:
	add	r13d, 1
.L102:
	mov	eax, DWORD PTR nn[rip]
	cmp	r13d, eax
	jl	.L112
	mov	eax, 0
	lea	rsp, -24[rbp]
	pop	rbx
	pop	r12
	pop	r13
	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	"903169.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	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"
	.global	__aeabi_idivmod
	.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, r9, fp, lr}
	add	fp, sp, #28
	sub	sp, sp, #8
	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	r6, r3, #20
	lsr	r6, r6, #20
	ldr	r3, .L14
	ldr	r3, [r3, r4, lsl #2]
	lsl	r5, r3, #20
	lsr	r5, r5, #20
	cmp	r8, #0
	beq	.L10
	ldr	r3, .L14+12
	ldr	r3, [r3]
	add	r3, r6, r3
	sub	r3, r3, #1
	ldr	r2, .L14+12
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	add	r6, r3, #1
	ldr	r3, .L14+16
	ldr	r3, [r3]
	ldr	r2, .L14+20
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r9, r3
	ldr	r3, .L14+24
	ldr	r3, [r3]
	add	r3, r5, r3
	sub	r3, r3, #1
	ldr	r2, .L14+24
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	add	r2, r3, #1
	add	r3, r8, #64
	str	r7, [sp, #4]
	str	r3, [sp]
	mov	r3, r2
	mov	r2, r9
	mov	r1, r6
	ldr	r0, .L14+28
	bl	printf
	b	.L7
.L10:
	cmp	r7, #7
	bne	.L11
	ldr	r3, .L14+12
	ldr	r3, [r3]
	add	r3, r6, r3
	sub	r3, r3, #1
	ldr	r2, .L14+12
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	add	r6, r3, #1
	ldr	r3, .L14+16
	ldr	r3, [r3]
	ldr	r2, .L14+20
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r7, r3
	ldr	r3, .L14+24
	ldr	r3, [r3]
	add	r3, r5, r3
	sub	r3, r3, #1
	ldr	r2, .L14+24
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	add	r3, r3, #1
	mov	r2, r7
	mov	r1, r6
	ldr	r0, .L14+32
	bl	printf
	b	.L7
.L11:
	ldr	r3, .L14+12
	ldr	r3, [r3]
	add	r3, r6, r3
	sub	r3, r3, #1
	ldr	r2, .L14+12
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	add	r6, r3, #1
	ldr	r3, .L14+16
	ldr	r3, [r3]
	add	r3, r7, r3
	ldr	r2, .L14+36
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r2, r3
	ldr	r3, .L14+20
	ldrb	r3, [r3, r2]	@ zero_extendqisi2
	mov	r7, r3
	ldr	r3, .L14+24
	ldr	r3, [r3]
	add	r3, r5, r3
	sub	r3, r3, #1
	ldr	r2, .L14+24
	ldr	r2, [r2]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	add	r3, r3, #1
	mov	r2, r7
	mov	r1, r6
	ldr	r0, .L14+40
	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, #28
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, fp, pc}
.L15:
	.align	2
.L14:
	.word	clause
	.word	clauseptr
	.word	.LC0
	.word	mm
	.word	tt
	.word	timecode
	.word	nn
	.word	.LC1
	.word	.LC2
	.word	r
	.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, #-16]
	cmp	r3, #0
	beq	.L17
	mov	r3, #-2147483648
	b	.L18
.L17:
	mov	r3, #0
.L18:
	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, .L19
	ldr	r3, [r3]
	add	r0, r3, #1
	ldr	ip, .L19
	str	r0, [ip]
	add	r2, r1, r2
	ldr	r1, .L19+4
	str	r2, [r1, r3, lsl #2]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L20:
	.align	2
.L19:
	.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, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #8
	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	r3, .L24
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r7, r3
	ldr	r3, .L24+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r1, r3
	ldr	r2, .L24+8
	mov	r3, r7
	lsl	r3, r3, #1
	add	r3, r3, r7
	lsl	r3, r3, #2
	add	r3, r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r3, r3, r1
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L24+12
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L23
	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, .L24+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L24+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L24+20
	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, .L24+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L24+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L24+20
	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, .L24+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L24+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L24+20
	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, .L24+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L24+16
	str	r1, [r0]
	add	r2, r2, #-1040187392
	ldr	r1, .L24+20
	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, .L24+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L24+16
	str	r1, [r0]
	add	r2, r2, #-1006632960
	ldr	r1, .L24+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	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, .L24+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L24+16
	str	r1, [r0]
	add	r2, r2, #-1006632960
	ldr	r1, .L24+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L24+12
	ldr	r3, [r3]
	and	r5, r3, #255
	ldr	r3, .L24
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r4, r3
	ldr	r3, .L24+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r0, r3
	add	r3, r5, #1
	and	r1, r3, #255
	ldr	r2, .L24+8
	mov	r3, r4
	lsl	r3, r3, #1
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r3, r3, r0
	mov	r2, r1
	strb	r2, [r3]
.L23:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L25:
	.align	2
.L24:
	.word	mm
	.word	nn
	.word	have_d
	.word	tt
	.word	clauseptr
	.word	clause
	.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, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #8
	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	r3, .L29
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r7, r3
	ldr	r3, .L29+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r0, r3
	ldr	r1, .L29+8
	mov	r3, r7
	lsl	r3, r3, #1
	add	r3, r3, r7
	lsl	r2, r3, #3
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r3, r1, r3
	add	r3, r3, r0
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L29+12
	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, #1375731712
	ldr	r3, [fp, #-28]
	add	r0, r2, r3
	ldr	r3, .L29+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L29+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L29+20
	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, .L29+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L29+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L29+20
	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, .L29+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L29+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L29+20
	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+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L29+16
	str	r1, [r0]
	add	r2, r2, #-771751936
	ldr	r1, .L29+20
	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+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L29+16
	str	r1, [r0]
	add	r2, r2, #-738197504
	ldr	r1, .L29+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	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+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L29+16
	str	r1, [r0]
	add	r2, r2, #-738197504
	ldr	r1, .L29+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L29+12
	ldr	r3, [r3]
	and	r4, r3, #255
	ldr	r3, .L29
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r5, r3
	ldr	r3, .L29+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	ip, r3
	add	r3, r4, #1
	and	r0, r3, #255
	ldr	r1, .L29+8
	mov	r3, r5
	lsl	r3, r3, #1
	add	r3, r3, r5
	lsl	r2, r3, #3
	add	r3, r3, r2
	lsl	r3, r3, #1
	add	r3, r1, r3
	add	r3, r3, ip
	mov	r2, r0
	strb	r2, [r3]
.L28:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L30:
	.align	2
.L29:
	.word	mm
	.word	nn
	.word	have_e
	.word	tt
	.word	clauseptr
	.word	clause
	.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, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #8
	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	r3, .L34
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r7, r3
	ldr	r3, .L34+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r1, r3
	ldr	r2, .L34+8
	mov	r3, r7
	lsl	r3, r3, #1
	add	r3, r3, r7
	lsl	r3, r3, #2
	add	r3, r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r3, r3, r1
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L34+12
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L33
	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, .L34+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L34+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L34+20
	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, .L34+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L34+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L34+20
	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, .L34+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L34+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L34+20
	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, .L34+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L34+16
	str	r1, [r0]
	add	r2, r2, #-503316480
	ldr	r1, .L34+20
	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, .L34+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L34+16
	str	r1, [r0]
	add	r2, r2, #-469762048
	ldr	r1, .L34+20
	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, .L34+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L34+16
	str	r1, [r0]
	add	r2, r2, #-469762048
	ldr	r1, .L34+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	ldr	r3, .L34+12
	ldr	r3, [r3]
	and	r5, r3, #255
	ldr	r3, .L34
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r4, r3
	ldr	r3, .L34+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r0, r3
	add	r3, r5, #1
	and	r1, r3, #255
	ldr	r2, .L34+8
	mov	r3, r4
	lsl	r3, r3, #1
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r3, r3, r0
	mov	r2, r1
	strb	r2, [r3]
.L33:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L35:
	.align	2
.L34:
	.word	mm
	.word	nn
	.word	have_f
	.word	tt
	.word	clauseptr
	.word	clause
	.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	.L37
	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	.L38
.L37:
	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
.L38:
	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, .L39
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L39
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L39+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, .L39
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L39
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L39+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, .L39
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L39
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L39+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, .L39
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L39
	str	r1, [r0]
	add	r2, r2, #-234881024
	ldr	r1, .L39+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, .L39
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L39
	str	r1, [r0]
	add	r2, r2, #-201326592
	ldr	r1, .L39+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, .L39
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L39
	str	r1, [r0]
	add	r2, r2, #-201326592
	ldr	r1, .L39+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L40:
	.align	2
.L39:
	.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	r3, .L53
	ldr	r2, [r3]
	ldr	r3, [fp, #-32]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r4, r3
	ldr	r3, .L53+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-36]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r1, r3
	ldr	r2, .L53+8
	mov	r3, r4
	lsl	r3, r3, #1
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r3, r3, r1
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L53+12
	ldr	r3, [r3]
	add	r3, r3, #1
	cmp	r2, r3
	beq	.L52
	mov	r1, r7
	mov	r0, r6
	bl	d
	mov	r1, r8
	mov	r0, r6
	bl	e
	mov	r4, #0
	b	.L43
.L51:
	mov	r5, #0
	b	.L44
.L50:
	add	r3, r4, r5
	cmp	r3, #0
	beq	.L45
	cmp	r4, #0
	beq	.L46
	lsl	r3, r4, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r7
	add	r2, r3, r2
	ldr	r3, .L53+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L53+16
	str	r1, [r0]
	add	r2, r2, #-1073741824
	ldr	r1, .L53+20
	str	r2, [r1, r3, lsl #2]
.L46:
	cmp	r5, #0
	beq	.L47
	lsl	r3, r5, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r8
	add	r2, r3, r2
	ldr	r3, .L53+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L53+16
	str	r1, [r0]
	add	r2, r2, #-805306368
	ldr	r1, .L53+20
	str	r2, [r1, r3, lsl #2]
.L47:
	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, .L53+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L53+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L53+20
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	cmp	r4, #0
	beq	.L48
	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, .L53+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L53+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L53+20
	str	r1, [r2, r3, lsl #2]
.L48:
	cmp	r5, #0
	beq	.L49
	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, .L53+16
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L53+16
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L53+20
	str	r1, [r2, r3, lsl #2]
.L49:
	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, .L53+16
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L53+16
	str	r1, [r0]
	add	r2, r2, #-1610612736
	ldr	r1, .L53+20
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L45:
	add	r5, r5, #1
.L44:
	cmp	r5, #2
	ble	.L50
	add	r4, r4, #1
.L43:
	cmp	r4, #2
	ble	.L51
	ldr	r3, .L53+12
	ldr	r3, [r3]
	and	r5, r3, #255
	ldr	r3, .L53
	ldr	r2, [r3]
	ldr	r3, [fp, #-32]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r4, r3
	ldr	r3, .L53+4
	ldr	r2, [r3]
	ldr	r3, [fp, #-36]
	mov	r1, r2
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	mov	r0, r3
	add	r3, r5, #1
	and	r1, r3, #255
	ldr	r2, .L53+8
	mov	r3, r4
	lsl	r3, r3, #1
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	add	r3, r3, r0
	mov	r2, r1
	strb	r2, [r3]
.L52:
	nop
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, fp, pc}
.L54:
	.align	2
.L53:
	.word	mm
	.word	nn
	.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	.L56
	ldr	r3, [fp, #-24]
	add	r6, r3, #2
	ldr	r3, [fp, #-28]
	sub	r3, r3, #1
	orr	r7, r3, #1
	b	.L57
.L56:
	ldr	r6, [fp, #-24]
	ldr	r3, [fp, #-28]
	bic	r7, r3, #1
.L57:
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	g
	mov	r1, r7
	mov	r0, r6
	bl	f
	mov	r4, #0
	b	.L58
.L66:
	mov	r5, #0
	b	.L59
.L65:
	add	r3, r4, r5
	cmp	r3, #0
	beq	.L60
	cmp	r4, #0
	beq	.L61
	lsl	r3, r4, #25
	mov	r2, r3
	lsl	r3, r6, #12
	add	r3, r2, r3
	mov	r2, r7
	add	r2, r3, r2
	ldr	r3, .L67
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L67
	str	r1, [r0]
	add	r2, r2, #-536870912
	ldr	r1, .L67+4
	str	r2, [r1, r3, lsl #2]
.L61:
	cmp	r5, #0
	beq	.L62
	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, .L67
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L67
	str	r1, [r0]
	add	r2, r2, #-268435456
	ldr	r1, .L67+4
	str	r2, [r1, r3, lsl #2]
.L62:
	add	r3, r4, r5
	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, .L67
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L67
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L67+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
	cmp	r4, #0
	beq	.L63
	rsb	r3, r4, #3
	lsl	r3, r3, #25
	add	r2, r3, #1610612736
	lsl	r3, r6, #12
	add	r3, r2, r3
	add	r0, r7, r3
	ldr	r3, .L67
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L67
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L67+4
	str	r1, [r2, r3, lsl #2]
.L63:
	cmp	r5, #0
	beq	.L64
	rsb	r3, r5, #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, .L67
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L67
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L67+4
	str	r1, [r2, r3, lsl #2]
.L64:
	rsb	r3, r4, #5
	sub	r3, r3, r5
	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, .L67
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L67
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L67+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L60:
	add	r5, r5, #1
.L59:
	cmp	r5, #2
	ble	.L65
	add	r4, r4, #1
.L58:
	cmp	r4, #2
	ble	.L66
	nop
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L68:
	.align	2
.L67:
	.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	.L70
.L76:
	mov	r5, #0
	b	.L71
.L75:
	add	r3, r4, r5
	cmp	r3, #1
	ble	.L72
	add	r3, r4, r5
	cmp	r3, #4
	bgt	.L72
	cmp	r4, #0
	beq	.L73
	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, .L84
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L84
	str	r1, [r0]
	add	r2, r2, #-1610612736
	ldr	r1, .L84+4
	str	r2, [r1, r3, lsl #2]
.L73:
	cmp	r5, #0
	beq	.L74
	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, .L84
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L84
	str	r1, [r0]
	add	r2, r2, #-1342177280
	ldr	r1, .L84+4
	str	r2, [r1, r3, lsl #2]
.L74:
	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, .L84
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L84
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L84+4
	str	r1, [r2, r3, lsl #2]
	bl	outclause
.L72:
	add	r5, r5, #1
.L71:
	cmp	r5, #4
	ble	.L75
	add	r4, r4, #1
.L70:
	cmp	r4, #4
	ble	.L76
	mov	r4, #0
	b	.L77
.L83:
	mov	r5, #0
	b	.L78
.L82:
	add	r3, r4, r5
	cmp	r3, #2
	ble	.L79
	add	r3, r4, r5
	cmp	r3, #5
	bgt	.L79
	mul	r3, r5, r4
	cmp	r3, #0
	beq	.L79
	cmp	r4, #0
	beq	.L80
	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, .L84
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L84
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L84+4
	str	r1, [r2, r3, lsl #2]
.L80:
	cmp	r5, #0
	beq	.L81
	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, .L84
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L84
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L84+4
	str	r1, [r2, r3, lsl #2]
.L81:
	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, .L84
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L84
	str	r1, [r0]
	add	r2, r2, #-1879048192
	ldr	r1, .L84+4
	str	r2, [r1, r3, lsl #2]
	bl	outclause
.L79:
	add	r5, r5, #1
.L78:
	cmp	r5, #4
	ble	.L82
	add	r4, r4, #1
.L77:
	cmp	r4, #4
	ble	.L83
	nop
	nop
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L85:
	.align	2
.L84:
	.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, .L87
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L87
	str	r1, [r0]
	add	r2, r2, #-1744830464
	ldr	r1, .L87+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, .L87
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L87
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L87+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, .L87
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L87
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L87+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, .L87
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L87
	str	r1, [r0]
	add	r2, r2, #-1778384896
	ldr	r1, .L87+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, .L87
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L87
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L87+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, .L87
	ldr	r3, [r3]
	add	r1, r3, #1
	ldr	r0, .L87
	str	r1, [r0]
	add	r2, r2, #-1811939328
	ldr	r1, .L87+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, .L87
	ldr	r3, [r3]
	add	r2, r3, #1
	ldr	r1, .L87
	str	r2, [r1]
	mov	r1, r0
	ldr	r2, .L87+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}
.L88:
	.align	2
.L87:
	.word	clauseptr
	.word	clause
	.size	zprime, .-zprime
	.section	.rodata
	.align	2
.LC4:
	.ascii	"%d\000"
	.align	2
.LC5:
	.ascii	"Usage: %s m n r\012\000"
	.align	2
.LC6:
	.ascii	"~ sat-life-torus-cycle %d %d %d\012\000"
	.align	2
.LC7:
	.ascii	" 1a%d\000"
	.align	2
.LC8:
	.ascii	"%da%d %d%c%d ~%da%c%d\012\000"
	.align	2
.LC9:
	.ascii	"~%da%d ~%d%c%d ~%da%c%d\012\000"
	.align	2
.LC10:
	.ascii	" %da%c%d\000"
	.align	2
.LC11:
	.ascii	"%da%d %da%d ~%d,%d:%d\012\000"
	.align	2
.LC12:
	.ascii	"~%da%d ~%da%d ~%d,%d:%d\012\000"
	.align	2
.LC13:
	.ascii	" %d,%d:%d\000"
	.align	2
.LC14:
	.ascii	"%da%d %da%d ~%d:%d,%d\012\000"
	.align	2
.LC15:
	.ascii	"~%da%d ~%da%d ~%d:%d,%d\012\000"
	.align	2
.LC16:
	.ascii	" %d:%d,%d\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, r6, fp, lr}
	add	fp, sp, #16
	sub	sp, sp, #36
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-24]
	cmp	r3, #4
	bne	.L90
	ldr	r3, [fp, #-28]
	add	r3, r3, #4
	ldr	r3, [r3]
	ldr	r2, .L134
	ldr	r1, .L134+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	bne	.L90
	ldr	r3, [fp, #-28]
	add	r3, r3, #8
	ldr	r3, [r3]
	ldr	r2, .L134+8
	ldr	r1, .L134+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	bne	.L90
	ldr	r3, [fp, #-28]
	add	r3, r3, #12
	ldr	r3, [r3]
	ldr	r2, .L134+12
	ldr	r1, .L134+4
	mov	r0, r3
	bl	__isoc99_sscanf
	mov	r3, r0
	cmp	r3, #1
	beq	.L91
.L90:
	ldr	r3, .L134+16
	ldr	r0, [r3]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L134+20
	bl	fprintf
	mvn	r0, #0
	bl	exit
.L91:
	ldr	r3, .L134
	ldr	r1, [r3]
	ldr	r3, .L134+8
	ldr	r2, [r3]
	ldr	r3, .L134+12
	ldr	r3, [r3]
	ldr	r0, .L134+24
	bl	printf
	mov	r4, #1
	b	.L92
.L93:
	mov	r1, r4
	ldr	r0, .L134+28
	bl	printf
	add	r4, r4, #1
.L92:
	cmp	r4, #1
	ble	.L93
	mov	r0, #10
	bl	putchar
	ldr	r3, .L134+32
	mov	r2, #0
	str	r2, [r3]
	b	.L94
.L99:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	ldr	r2, .L134+36
	str	r3, [r2]
	ldr	r3, .L134+40
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L134
	ldr	r3, [r3]
	ldr	r2, .L134+44
	str	r3, [r2]
	ldr	r3, .L134+48
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L134+48
	ldr	r6, [r3]
	b	.L95
.L98:
	ldr	r3, .L134+40
	ldr	r4, [r3]
	b	.L96
.L97:
	mov	r1, r4
	mov	r0, r6
	bl	a
	mov	r1, r4
	mov	r0, r6
	bl	zprime
	add	r4, r4, #1
.L96:
	ldr	r3, .L134+36
	ldr	r3, [r3]
	cmp	r4, r3
	ble	.L97
	add	r6, r6, #1
.L95:
	ldr	r3, .L134+44
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L98
	ldr	r3, .L134+32
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L134+32
	str	r3, [r2]
.L94:
	ldr	r3, .L134+32
	ldr	r2, [r3]
	ldr	r3, .L134+12
	ldr	r3, [r3]
	cmp	r2, r3
	blt	.L99
	mov	r5, #1
	b	.L100
.L110:
	ldr	r3, .L134+12
	ldr	r3, [r3]
	mov	r1, r5
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	cmp	r3, #0
	bne	.L101
	mov	r6, #1
	b	.L102
.L105:
	mov	r4, #1
	b	.L103
.L104:
	ldr	r3, .L134+52
	ldrb	r3, [r3, r5]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L134+52
	ldrb	r3, [r3, r5]	@ zero_extendqisi2
	str	r4, [sp, #16]
	str	r3, [sp, #12]
	str	r6, [sp, #8]
	str	r4, [sp, #4]
	str	r2, [sp]
	mov	r3, r6
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+56
	bl	printf
	ldr	r3, .L134+52
	ldrb	r3, [r3, r5]	@ zero_extendqisi2
	mov	r2, r3
	ldr	r3, .L134+52
	ldrb	r3, [r3, r5]	@ zero_extendqisi2
	str	r4, [sp, #16]
	str	r3, [sp, #12]
	str	r6, [sp, #8]
	str	r4, [sp, #4]
	str	r2, [sp]
	mov	r3, r6
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+60
	bl	printf
	add	r4, r4, #1
.L103:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	cmp	r4, r3
	ble	.L104
	add	r6, r6, #1
.L102:
	ldr	r3, .L134
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L105
	mov	r6, #1
	b	.L106
.L109:
	mov	r4, #1
	b	.L107
.L108:
	ldr	r3, .L134+52
	ldrb	r3, [r3, r5]	@ zero_extendqisi2
	mov	r2, r3
	mov	r3, r4
	mov	r1, r6
	ldr	r0, .L134+64
	bl	printf
	add	r4, r4, #1
.L107:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	cmp	r4, r3
	ble	.L108
	add	r6, r6, #1
.L106:
	ldr	r3, .L134
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L109
	mov	r0, #10
	bl	putchar
.L101:
	add	r5, r5, #1
.L100:
	ldr	r3, .L134+12
	ldr	r3, [r3]
	cmp	r5, r3
	blt	.L110
	mov	r5, #1
	b	.L111
.L121:
	ldr	r3, .L134
	ldr	r3, [r3]
	mov	r1, r5
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	cmp	r3, #0
	bne	.L112
	mov	r6, #1
	b	.L113
.L116:
	mov	r4, #1
	b	.L114
.L115:
	add	r2, r6, r5
	add	r3, r6, r5
	str	r4, [sp, #12]
	str	r3, [sp, #8]
	str	r6, [sp, #4]
	str	r4, [sp]
	mov	r3, r2
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+68
	bl	printf
	add	r2, r6, r5
	add	r3, r6, r5
	str	r4, [sp, #12]
	str	r3, [sp, #8]
	str	r6, [sp, #4]
	str	r4, [sp]
	mov	r3, r2
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+72
	bl	printf
	add	r4, r4, #1
.L114:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	cmp	r4, r3
	ble	.L115
	add	r6, r6, #1
.L113:
	ldr	r3, .L134
	ldr	r3, [r3]
	sub	r3, r3, r5
	cmp	r6, r3
	ble	.L116
	mov	r6, #1
	b	.L117
.L120:
	mov	r4, #1
	b	.L118
.L119:
	add	r2, r6, r5
	mov	r3, r4
	mov	r1, r6
	ldr	r0, .L134+76
	bl	printf
	add	r4, r4, #1
.L118:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	cmp	r4, r3
	ble	.L119
	add	r6, r6, #1
.L117:
	ldr	r3, .L134
	ldr	r3, [r3]
	sub	r3, r3, r5
	cmp	r6, r3
	ble	.L120
	mov	r0, #10
	bl	putchar
.L112:
	add	r5, r5, #1
.L111:
	ldr	r3, .L134
	ldr	r3, [r3]
	cmp	r5, r3
	blt	.L121
	mov	r5, #1
	b	.L122
.L132:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	mov	r1, r5
	mov	r0, r3
	bl	__aeabi_idivmod
	mov	r3, r1
	cmp	r3, #0
	bne	.L123
	mov	r4, #1
	b	.L124
.L127:
	mov	r6, #1
	b	.L125
.L126:
	add	r3, r4, r5
	add	r2, r4, r5
	str	r2, [sp, #12]
	str	r4, [sp, #8]
	str	r6, [sp, #4]
	str	r3, [sp]
	mov	r3, r6
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+80
	bl	printf
	add	r3, r4, r5
	add	r2, r4, r5
	str	r2, [sp, #12]
	str	r4, [sp, #8]
	str	r6, [sp, #4]
	str	r3, [sp]
	mov	r3, r6
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+84
	bl	printf
	add	r6, r6, #1
.L125:
	ldr	r3, .L134
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L126
	add	r4, r4, #1
.L124:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	sub	r3, r3, r5
	cmp	r4, r3
	ble	.L127
	mov	r4, #1
	b	.L128
.L131:
	mov	r6, #1
	b	.L129
.L130:
	add	r3, r4, r5
	mov	r2, r4
	mov	r1, r6
	ldr	r0, .L134+88
	bl	printf
	add	r6, r6, #1
.L129:
	ldr	r3, .L134
	ldr	r3, [r3]
	cmp	r6, r3
	ble	.L130
	add	r4, r4, #1
.L128:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	sub	r3, r3, r5
	cmp	r4, r3
	ble	.L131
	mov	r0, #10
	bl	putchar
.L123:
	add	r5, r5, #1
.L122:
	ldr	r3, .L134+8
	ldr	r3, [r3]
	cmp	r5, r3
	blt	.L132
	mov	r3, #0
	mov	r0, r3
	sub	sp, fp, #16
	@ sp needed
	pop	{r4, r5, r6, fp, pc}
.L135:
	.align	2
.L134:
	.word	mm
	.word	.LC4
	.word	nn
	.word	r
	.word	stderr
	.word	.LC5
	.word	.LC6
	.word	.LC7
	.word	tt
	.word	ymax
	.word	ymin
	.word	xmax
	.word	xmin
	.word	timecode
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC13
	.word	.LC14
	.word	.LC15
	.word	.LC16
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
