	.file	"50137778.c"
	.intel_syntax noprefix
	.text
	.section	.rodata
.LC0:
	.string	".p %d\n"
.LC1:
	.string	"01"
.LC2:
	.string	".e\n"
.LC3:
	.string	"~1"
.LC4:
	.string	"~2"
.LC5:
	.string	"~0"
.LC6:
	.string	".end\n"
	.text
	.globl	fprint_pla
	.type	fprint_pla, @function
fprint_pla:
.LFB0:
	.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, 48
	.cfi_offset 12, -24
	.cfi_offset 3, -32
	mov	QWORD PTR -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	DWORD PTR -52[rbp], edx
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 256
	test	eax, eax
	je	.L2
	mov	rcx, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR -40[rbp]
	mov	edx, 0
	mov	rsi, rcx
	mov	rdi, rax
	call	output_symbolic_constraints
	and	DWORD PTR -52[rbp], -257
	cmp	DWORD PTR -52[rbp], 0
	je	.L23
.L2:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 512
	test	eax, eax
	je	.L4
	mov	rcx, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR -40[rbp]
	mov	edx, 1
	mov	rsi, rcx
	mov	rdi, rax
	call	output_symbolic_constraints
	and	DWORD PTR -52[rbp], -513
	cmp	DWORD PTR -52[rbp], 0
	je	.L24
.L4:
	cmp	DWORD PTR -52[rbp], 8
	jne	.L5
	mov	rax, QWORD PTR -48[rbp]
	mov	rdi, rax
	call	pls_output
	jmp	.L1
.L5:
	cmp	DWORD PTR -52[rbp], 16
	jne	.L6
	mov	rax, QWORD PTR -48[rbp]
	mov	rdi, rax
	call	eqn_output
	jmp	.L1
.L6:
	cmp	DWORD PTR -52[rbp], 128
	jne	.L7
	mov	rdx, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	kiss_output
	jmp	.L1
.L7:
	mov	edx, DWORD PTR -52[rbp]
	mov	rcx, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rcx
	mov	rdi, rax
	call	fpr_header
	mov	DWORD PTR -20[rbp], 0
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 1
	test	eax, eax
	je	.L8
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR 12[rax]
	add	DWORD PTR -20[rbp], eax
.L8:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 2
	test	eax, eax
	je	.L9
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	eax, DWORD PTR 12[rax]
	add	DWORD PTR -20[rbp], eax
.L9:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 4
	test	eax, eax
	je	.L10
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	eax, DWORD PTR 12[rax]
	add	DWORD PTR -20[rbp], eax
.L10:
	mov	edx, DWORD PTR -20[rbp]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC0[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	cmp	DWORD PTR -52[rbp], 1
	jne	.L11
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L12
.L13:
	mov	rax, QWORD PTR -40[rbp]
	lea	rdx, .LC1[rip]
	mov	rsi, rbx
	mov	rdi, rax
	call	print_cube
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L12:
	cmp	rbx, r12
	jb	.L13
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 3
	mov	esi, 1
	lea	rdi, .LC2[rip]
	call	fwrite@PLT
	jmp	.L1
.L11:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 1
	test	eax, eax
	je	.L14
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L15
.L16:
	mov	rax, QWORD PTR -40[rbp]
	lea	rdx, .LC3[rip]
	mov	rsi, rbx
	mov	rdi, rax
	call	print_cube
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L15:
	cmp	rbx, r12
	jb	.L16
.L14:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 2
	test	eax, eax
	je	.L17
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L18
.L19:
	mov	rax, QWORD PTR -40[rbp]
	lea	rdx, .LC4[rip]
	mov	rsi, rbx
	mov	rdi, rax
	call	print_cube
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L18:
	cmp	rbx, r12
	jb	.L19
.L17:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 4
	test	eax, eax
	je	.L20
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L21
.L22:
	mov	rax, QWORD PTR -40[rbp]
	lea	rdx, .LC5[rip]
	mov	rsi, rbx
	mov	rdi, rax
	call	print_cube
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 16[rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L21:
	cmp	rbx, r12
	jb	.L22
.L20:
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 5
	mov	esi, 1
	lea	rdi, .LC6[rip]
	call	fwrite@PLT
	jmp	.L1
.L23:
	nop
	jmp	.L1
.L24:
	nop
.L1:
	add	rsp, 48
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	fprint_pla, .-fprint_pla
	.section	.rodata
.LC7:
	.string	".type "
.LC8:
	.string	".i %d\n"
.LC9:
	.string	".o %d\n"
.LC10:
	.string	".mv %d %d"
.LC11:
	.string	" %d"
.LC12:
	.string	".ilb"
.LC13:
	.string	" %s"
.LC14:
	.string	".ob"
.LC15:
	.string	".label var=%d"
.LC16:
	.string	"#.phase "
	.text
	.globl	fpr_header
	.type	fpr_header, @function
fpr_header:
.LFB1:
	.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, 48
	.cfi_offset 12, -24
	.cfi_offset 3, -32
	mov	QWORD PTR -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	DWORD PTR -52[rbp], edx
	cmp	DWORD PTR -52[rbp], 1
	je	.L26
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 6
	mov	esi, 1
	lea	rdi, .LC7[rip]
	call	fwrite@PLT
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 1
	test	eax, eax
	je	.L27
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L28
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 102
	jmp	.L27
.L28:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L29
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L29
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 102
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L27
.L29:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 102
	mov	eax, 0
	call	_flsbuf@PLT
.L27:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 2
	test	eax, eax
	je	.L31
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L32
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 100
	jmp	.L31
.L32:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L33
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L33
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 100
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L31
.L33:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 100
	mov	eax, 0
	call	_flsbuf@PLT
.L31:
	mov	eax, DWORD PTR -52[rbp]
	and	eax, 4
	test	eax, eax
	je	.L35
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L36
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 114
	jmp	.L35
.L36:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L37
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L37
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 114
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L35
.L37:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 114
	mov	eax, 0
	call	_flsbuf@PLT
.L35:
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L39
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 10
	jmp	.L26
.L39:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L40
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L40
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L26
.L40:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L26:
	mov	eax, DWORD PTR cube[rip+120]
	cmp	eax, 1
	jg	.L42
	mov	edx, DWORD PTR cube[rip+8]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC8[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	eax, DWORD PTR cube[rip+124]
	cmp	eax, -1
	je	.L43
	mov	rdx, QWORD PTR cube[rip+32]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC9[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	jmp	.L43
.L42:
	mov	ecx, DWORD PTR cube[rip+8]
	mov	edx, DWORD PTR cube[rip+4]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC10[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	r12d, DWORD PTR cube[rip+8]
	jmp	.L44
.L45:
	mov	rdx, QWORD PTR cube[rip+32]
	movsx	rax, r12d
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC11[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	add	r12d, 1
.L44:
	mov	eax, DWORD PTR cube[rip+4]
	cmp	r12d, eax
	jl	.L45
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	call	fputc@PLT
.L43:
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 56[rax]
	test	rax, rax
	je	.L46
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 56[rax]
	add	rax, 8
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	je	.L46
	mov	eax, DWORD PTR cube[rip+8]
	test	eax, eax
	jle	.L46
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 4
	mov	esi, 1
	lea	rdi, .LC12[rip]
	call	fwrite@PLT
	mov	r12d, 0
	jmp	.L47
.L48:
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	movsx	rax, r12d
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	add	rax, 1
	sal	rax, 3
	add	rax, rdx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC13[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	add	r12d, 1
.L47:
	mov	eax, DWORD PTR cube[rip+8]
	cmp	r12d, eax
	jl	.L48
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L49
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 10
	jmp	.L46
.L49:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L50
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L50
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L46
.L50:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L46:
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 56[rax]
	test	rax, rax
	je	.L52
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	je	.L52
	mov	eax, DWORD PTR cube[rip+124]
	cmp	eax, -1
	je	.L52
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 3
	mov	esi, 1
	lea	rdi, .LC14[rip]
	call	fwrite@PLT
	mov	ebx, 0
	jmp	.L53
.L54:
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	add	eax, ebx
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC13[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	add	ebx, 1
.L53:
	mov	rdx, QWORD PTR cube[rip+32]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	ebx, eax
	jl	.L54
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L55
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 10
	jmp	.L52
.L55:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L56
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L56
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L52
.L56:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L52:
	mov	r12d, DWORD PTR cube[rip+8]
	jmp	.L58
.L65:
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, r12d
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -24[rbp], eax
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, r12d
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -20[rbp], eax
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 56[rax]
	test	rax, rax
	je	.L59
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -24[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	je	.L59
	mov	rax, QWORD PTR -40[rbp]
	mov	edx, r12d
	lea	rsi, .LC15[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	ebx, DWORD PTR -24[rbp]
	jmp	.L60
.L61:
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 56[rax]
	movsx	rax, ebx
	sal	rax, 3
	add	rax, rdx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -40[rbp]
	lea	rsi, .LC13[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	add	ebx, 1
.L60:
	cmp	ebx, DWORD PTR -20[rbp]
	jle	.L61
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L62
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 10
	jmp	.L59
.L62:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L63
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L63
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L59
.L63:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L59:
	add	r12d, 1
.L58:
	mov	eax, DWORD PTR cube[rip+4]
	sub	eax, 1
	cmp	r12d, eax
	jl	.L65
	mov	rax, QWORD PTR -48[rbp]
	mov	rax, QWORD PTR 40[rax]
	test	rax, rax
	je	.L81
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -24[rbp], eax
	mov	rdx, QWORD PTR cube[rip+24]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -20[rbp], eax
	mov	rax, QWORD PTR -40[rbp]
	mov	rcx, rax
	mov	edx, 8
	mov	esi, 1
	lea	rdi, .LC16[rip]
	call	fwrite@PLT
	mov	ebx, DWORD PTR -24[rbp]
	jmp	.L67
.L80:
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L68
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, ebx
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, ebx
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L69
	mov	esi, 49
	jmp	.L70
.L69:
	mov	esi, 48
.L70:
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], sil
	jmp	.L71
.L68:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L72
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L72
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, ebx
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, ebx
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L73
	mov	edx, 49
	jmp	.L74
.L73:
	mov	edx, 48
.L74:
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L75
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L71
.L75:
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L71
.L72:
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 40[rax]
	mov	eax, ebx
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, ebx
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L78
	mov	edx, 49
	jmp	.L79
.L78:
	mov	edx, 48
.L79:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, edx
	mov	eax, 0
	call	_flsbuf@PLT
.L71:
	add	ebx, 1
.L67:
	cmp	ebx, DWORD PTR -20[rbp]
	jle	.L80
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	call	fputc@PLT
.L81:
	nop
	add	rsp, 48
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	fpr_header, .-fpr_header
	.section	.rodata
.LC17:
	.string	".option unmerged"
.LC18:
	.string	".end"
	.text
	.globl	pls_output
	.type	pls_output, @function
pls_output:
.LFB2:
	.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	QWORD PTR -24[rbp], rdi
	lea	rdi, .LC17[rip]
	call	puts@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	rdi, rax
	call	makeup_labels
	mov	rax, QWORD PTR -24[rbp]
	lea	rsi, _iob[rip+32]
	mov	rdi, rax
	call	pls_label
	mov	rax, QWORD PTR -24[rbp]
	lea	rsi, _iob[rip+32]
	mov	rdi, rax
	call	pls_group
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR 12[rax]
	mov	esi, eax
	lea	rdi, .LC0[rip]
	mov	eax, 0
	call	printf@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L83
.L84:
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR 40[rax]
	mov	rdx, rax
	mov	rsi, rbx
	lea	rdi, _iob[rip+32]
	call	print_expanded_cube
	mov	rax, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L83:
	cmp	rbx, r12
	jb	.L84
	lea	rdi, .LC18[rip]
	call	puts@PLT
	nop
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	pls_output, .-pls_output
	.section	.rodata
.LC19:
	.string	"\n.group"
.LC20:
	.string	" ("
.LC21:
	.string	" \\\n"
	.text
	.globl	pls_group
	.type	pls_group, @function
pls_group:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, rax
	mov	edx, 7
	mov	esi, 1
	lea	rdi, .LC19[rip]
	call	fwrite@PLT
	mov	DWORD PTR -8[rbp], 6
	mov	DWORD PTR -16[rbp], 0
	jmp	.L86
.L95:
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, rax
	mov	edx, 2
	mov	esi, 1
	lea	rdi, .LC20[rip]
	call	fwrite@PLT
	add	DWORD PTR -8[rbp], 2
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR -16[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -12[rbp], eax
	jmp	.L87
.L94:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -12[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	strlen@PLT
	mov	DWORD PTR -4[rbp], eax
	mov	edx, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	add	eax, edx
	cmp	eax, 75
	jle	.L88
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, rax
	mov	edx, 3
	mov	esi, 1
	lea	rdi, .LC21[rip]
	call	fwrite@PLT
	mov	DWORD PTR -8[rbp], 0
	jmp	.L89
.L88:
	cmp	DWORD PTR -12[rbp], 0
	je	.L89
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L90
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -32[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 32
	jmp	.L91
.L90:
	mov	rax, QWORD PTR -32[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L92
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L92
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L91
.L92:
	mov	rax, QWORD PTR -32[rbp]
	mov	rsi, rax
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L91:
	add	DWORD PTR -8[rbp], 1
.L89:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -12[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdx, QWORD PTR -32[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	fputs@PLT
	mov	eax, DWORD PTR -4[rbp]
	add	DWORD PTR -8[rbp], eax
	add	DWORD PTR -12[rbp], 1
.L87:
	mov	rdx, QWORD PTR cube[rip+24]
	mov	eax, DWORD PTR -16[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	DWORD PTR -12[rbp], eax
	jle	.L94
	mov	rax, QWORD PTR -32[rbp]
	mov	rsi, rax
	mov	edi, 41
	call	fputc@PLT
	add	DWORD PTR -8[rbp], 1
	add	DWORD PTR -16[rbp], 1
.L86:
	mov	eax, DWORD PTR cube[rip+4]
	sub	eax, 1
	cmp	DWORD PTR -16[rbp], eax
	jl	.L95
	mov	rax, QWORD PTR -32[rbp]
	mov	rsi, rax
	mov	edi, 10
	call	fputc@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	pls_group, .-pls_group
	.section	.rodata
.LC22:
	.string	".label"
	.text
	.globl	pls_label
	.type	pls_label, @function
pls_label:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, rax
	mov	edx, 6
	mov	esi, 1
	lea	rdi, .LC22[rip]
	call	fwrite@PLT
	mov	DWORD PTR -8[rbp], 6
	mov	DWORD PTR -16[rbp], 0
	jmp	.L97
.L106:
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR -16[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -12[rbp], eax
	jmp	.L98
.L105:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -12[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	strlen@PLT
	mov	DWORD PTR -4[rbp], eax
	mov	edx, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	add	eax, edx
	cmp	eax, 75
	jle	.L99
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, rax
	mov	edx, 3
	mov	esi, 1
	lea	rdi, .LC21[rip]
	call	fwrite@PLT
	mov	DWORD PTR -8[rbp], 0
	jmp	.L100
.L99:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L101
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -32[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 32
	jmp	.L102
.L101:
	mov	rax, QWORD PTR -32[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L103
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L103
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L102
.L103:
	mov	rax, QWORD PTR -32[rbp]
	mov	rsi, rax
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L102:
	add	DWORD PTR -8[rbp], 1
.L100:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -12[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdx, QWORD PTR -32[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	fputs@PLT
	mov	eax, DWORD PTR -4[rbp]
	add	DWORD PTR -8[rbp], eax
	add	DWORD PTR -12[rbp], 1
.L98:
	mov	rdx, QWORD PTR cube[rip+24]
	mov	eax, DWORD PTR -16[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	DWORD PTR -12[rbp], eax
	jle	.L105
	add	DWORD PTR -16[rbp], 1
.L97:
	mov	eax, DWORD PTR cube[rip+4]
	cmp	DWORD PTR -16[rbp], eax
	jl	.L106
	nop
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	pls_label, .-pls_label
	.section	.rodata
	.align 8
.LC23:
	.string	"Cannot have no-output function for EQNTOTT output mode"
	.align 8
.LC24:
	.string	"Must have binary-valued function for EQNTOTT output mode"
.LC25:
	.string	"%s = "
.LC26:
	.string	" | ("
.LC27:
	.string	"\n    "
.LC28:
	.string	"%s"
.LC29:
	.string	";\n"
	.text
	.globl	eqn_output
	.type	eqn_output, @function
eqn_output:
.LFB5:
	.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, 40
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	QWORD PTR -72[rbp], rdi
	mov	eax, DWORD PTR cube[rip+124]
	cmp	eax, -1
	jne	.L108
	lea	rdi, .LC23[rip]
	mov	eax, 0
	call	fatal@PLT
.L108:
	mov	eax, DWORD PTR cube[rip+120]
	cmp	eax, 1
	je	.L109
	lea	rdi, .LC24[rip]
	mov	eax, 0
	call	fatal@PLT
.L109:
	mov	rax, QWORD PTR -72[rbp]
	mov	rdi, rax
	call	makeup_labels
	mov	r13d, 0
	jmp	.L110
.L122:
	mov	rax, QWORD PTR -72[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	add	eax, r13d
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rsi, rax
	lea	rdi, .LC25[rip]
	mov	eax, 0
	call	printf@PLT
	mov	rax, QWORD PTR -72[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	add	eax, r13d
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	strlen@PLT
	lea	ebx, 3[rax]
	mov	DWORD PTR -56[rbp], 1
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	mov	r14, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	add	rax, r14
	mov	QWORD PTR -80[rbp], rax
	jmp	.L111
.L121:
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	add	eax, r13d
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r14
	mov	edx, DWORD PTR [rax]
	mov	rcx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	add	eax, r13d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L112
	cmp	DWORD PTR -56[rbp], 0
	je	.L113
	mov	edi, 40
	call	putchar@PLT
	add	ebx, 1
	jmp	.L114
.L113:
	lea	rdi, .LC26[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 4
.L114:
	mov	DWORD PTR -56[rbp], 0
	mov	DWORD PTR -60[rbp], 1
	mov	r12d, 0
	jmp	.L115
.L120:
	lea	eax, [r12+r12]
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r14
	mov	edx, DWORD PTR [rax]
	lea	eax, [r12+r12]
	and	eax, 30
	mov	ecx, eax
	shr	edx, cl
	mov	eax, edx
	and	eax, 3
	mov	DWORD PTR -52[rbp], eax
	cmp	DWORD PTR -52[rbp], 3
	je	.L116
	mov	rax, QWORD PTR -72[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	movsx	rax, r12d
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	add	rax, 1
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	strlen@PLT
	mov	r15d, eax
	lea	eax, [rbx+r15]
	cmp	eax, 72
	jle	.L117
	lea	rdi, .LC27[rip]
	mov	eax, 0
	call	printf@PLT
	mov	ebx, 4
.L117:
	cmp	DWORD PTR -60[rbp], 0
	jne	.L118
	mov	edi, 38
	call	putchar@PLT
	add	ebx, 1
.L118:
	mov	DWORD PTR -60[rbp], 0
	cmp	DWORD PTR -52[rbp], 1
	jne	.L119
	mov	edi, 33
	call	putchar@PLT
	add	ebx, 1
.L119:
	mov	rax, QWORD PTR -72[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	movsx	rax, r12d
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	cdqe
	add	rax, 1
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rsi, rax
	lea	rdi, .LC28[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, r15d
.L116:
	add	r12d, 1
.L115:
	mov	eax, DWORD PTR cube[rip+8]
	cmp	r12d, eax
	jl	.L120
	mov	edi, 41
	call	putchar@PLT
	add	ebx, 1
.L112:
	mov	rax, QWORD PTR -72[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	r14, rax
.L111:
	cmp	r14, QWORD PTR -80[rbp]
	jb	.L121
	lea	rdi, .LC29[rip]
	call	puts@PLT
	add	r13d, 1
.L110:
	mov	rdx, QWORD PTR cube[rip+32]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r13d, eax
	jl	.L122
	nop
	nop
	add	rsp, 40
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	eqn_output, .-eqn_output
	.section	.rodata
.LC30:
	.string	"?01-"
	.text
	.globl	fmt_cube
	.type	fmt_cube, @function
fmt_cube:
.LFB6:
	.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
	.cfi_offset 13, -24
	.cfi_offset 12, -32
	.cfi_offset 3, -40
	mov	r8, rsi
	mov	rax, rdx
	mov	ebx, 0
	mov	r12d, 0
	jmp	.L124
.L125:
	lea	edx, [r12+r12]
	sar	edx, 5
	movsx	rdx, edx
	add	rdx, 1
	sal	rdx, 2
	add	rdx, rdi
	mov	esi, DWORD PTR [rdx]
	lea	edx, [r12+r12]
	and	edx, 30
	mov	ecx, edx
	shr	esi, cl
	mov	edx, esi
	mov	esi, edx
	and	esi, 3
	mov	edx, ebx
	lea	ebx, 1[rdx]
	movsx	rdx, edx
	lea	rcx, [rax+rdx]
	mov	esi, esi
	lea	rdx, .LC30[rip]
	movzx	edx, BYTE PTR [rsi+rdx]
	mov	BYTE PTR [rcx], dl
	add	r12d, 1
.L124:
	mov	edx, DWORD PTR cube[rip+8]
	cmp	r12d, edx
	jl	.L125
	mov	r12d, DWORD PTR cube[rip+8]
	jmp	.L126
.L129:
	mov	edx, ebx
	lea	ebx, 1[rdx]
	movsx	rdx, edx
	add	rdx, rax
	mov	BYTE PTR [rdx], 32
	mov	rcx, QWORD PTR cube[rip+16]
	movsx	rdx, r12d
	sal	rdx, 2
	add	rdx, rcx
	mov	r13d, DWORD PTR [rdx]
	jmp	.L127
.L128:
	mov	edx, r13d
	sar	edx, 5
	movsx	rdx, edx
	add	rdx, 1
	sal	rdx, 2
	add	rdx, rdi
	mov	esi, DWORD PTR [rdx]
	mov	edx, r13d
	and	edx, 31
	mov	r9d, 1
	mov	ecx, edx
	sal	r9d, cl
	mov	edx, r9d
	and	edx, esi
	test	edx, edx
	setne	dl
	movzx	edx, dl
	mov	ecx, ebx
	lea	ebx, 1[rcx]
	movsx	rcx, ecx
	add	rcx, rax
	movsx	rdx, edx
	lea	rsi, .LC1[rip]
	movzx	edx, BYTE PTR [rdx+rsi]
	mov	BYTE PTR [rcx], dl
	add	r13d, 1
.L127:
	mov	rcx, QWORD PTR cube[rip+24]
	movsx	rdx, r12d
	sal	rdx, 2
	add	rdx, rcx
	mov	edx, DWORD PTR [rdx]
	cmp	r13d, edx
	jle	.L128
	add	r12d, 1
.L126:
	mov	edx, DWORD PTR cube[rip+4]
	sub	edx, 1
	cmp	r12d, edx
	jl	.L129
	mov	edx, DWORD PTR cube[rip+124]
	cmp	edx, -1
	je	.L130
	mov	rcx, QWORD PTR cube[rip+24]
	mov	edx, DWORD PTR cube[rip+124]
	movsx	rdx, edx
	sal	rdx, 2
	add	rdx, rcx
	mov	r12d, DWORD PTR [rdx]
	mov	edx, ebx
	lea	ebx, 1[rdx]
	movsx	rdx, edx
	add	rdx, rax
	mov	BYTE PTR [rdx], 32
	mov	rcx, QWORD PTR cube[rip+16]
	mov	edx, DWORD PTR cube[rip+124]
	movsx	rdx, edx
	sal	rdx, 2
	add	rdx, rcx
	mov	r13d, DWORD PTR [rdx]
	jmp	.L131
.L132:
	mov	edx, r13d
	sar	edx, 5
	movsx	rdx, edx
	add	rdx, 1
	sal	rdx, 2
	add	rdx, rdi
	mov	esi, DWORD PTR [rdx]
	mov	edx, r13d
	and	edx, 31
	mov	r9d, 1
	mov	ecx, edx
	sal	r9d, cl
	mov	edx, r9d
	and	edx, esi
	test	edx, edx
	setne	dl
	movzx	edx, dl
	add	rdx, r8
	mov	ecx, ebx
	lea	ebx, 1[rcx]
	movsx	rcx, ecx
	add	rcx, rax
	movzx	edx, BYTE PTR [rdx]
	mov	BYTE PTR [rcx], dl
	add	r13d, 1
.L131:
	cmp	r13d, r12d
	jle	.L132
.L130:
	movsx	rdx, ebx
	add	rdx, rax
	mov	BYTE PTR [rdx], 0
	pop	rbx
	pop	r12
	pop	r13
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	fmt_cube, .-fmt_cube
	.globl	print_cube
	.type	print_cube, @function
print_cube:
.LFB7:
	.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, 40
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	rbx, rdi
	mov	r15, rsi
	mov	QWORD PTR -72[rbp], rdx
	mov	r13d, 0
	jmp	.L135
.L142:
	lea	eax, [r13+r13]
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r15
	mov	edx, DWORD PTR [rax]
	lea	eax, [r13+r13]
	and	eax, 30
	mov	ecx, eax
	shr	edx, cl
	mov	eax, edx
	and	eax, 3
	mov	edx, eax
	lea	rax, .LC30[rip]
	movzx	eax, BYTE PTR [rdx+rax]
	movsx	r14d, al
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L136
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	jmp	.L137
.L136:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L138
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L138
	mov	rax, QWORD PTR 8[rbx]
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L139
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L137
.L139:
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L137
.L138:
	mov	eax, r14d
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L137:
	add	r13d, 1
.L135:
	mov	eax, DWORD PTR cube[rip+8]
	cmp	r13d, eax
	jl	.L142
	mov	r13d, DWORD PTR cube[rip+8]
	jmp	.L143
.L156:
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L144
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	BYTE PTR [rax], 32
	jmp	.L145
.L144:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L146
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L146
	mov	rax, QWORD PTR 8[rbx]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L145
.L146:
	mov	rsi, rbx
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L145:
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L148
.L155:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r15
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	setne	al
	movzx	eax, al
	cdqe
	lea	rdx, .LC1[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	r14d, al
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L149
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	jmp	.L150
.L149:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L151
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L151
	mov	rax, QWORD PTR 8[rbx]
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L152
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L150
.L152:
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L150
.L151:
	mov	eax, r14d
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L150:
	add	r12d, 1
.L148:
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r12d, eax
	jle	.L155
	add	r13d, 1
.L143:
	mov	eax, DWORD PTR cube[rip+4]
	sub	eax, 1
	cmp	r13d, eax
	jl	.L156
	mov	eax, DWORD PTR cube[rip+124]
	cmp	eax, -1
	je	.L157
	mov	rdx, QWORD PTR cube[rip+24]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -52[rbp], eax
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L158
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	BYTE PTR [rax], 32
	jmp	.L159
.L158:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L160
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L160
	mov	rax, QWORD PTR 8[rbx]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L159
.L160:
	mov	rsi, rbx
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L159:
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR cube[rip+124]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L162
.L169:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r15
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	setne	al
	movzx	eax, al
	add	rax, QWORD PTR -72[rbp]
	movzx	eax, BYTE PTR [rax]
	movsx	r14d, al
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L163
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	jmp	.L164
.L163:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L165
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L165
	mov	rax, QWORD PTR 8[rbx]
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L166
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L164
.L166:
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L164
.L165:
	mov	eax, r14d
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L164:
	add	r12d, 1
.L162:
	cmp	r12d, DWORD PTR -52[rbp]
	jle	.L169
.L157:
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L170
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	BYTE PTR [rax], 10
	jmp	.L174
.L170:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L172
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L172
	mov	rax, QWORD PTR 8[rbx]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	nop
	jmp	.L174
.L172:
	mov	rsi, rbx
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L174:
	nop
	add	rsp, 40
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	print_cube, .-print_cube
	.section	.rodata
.LC31:
	.string	"1~"
	.text
	.globl	print_expanded_cube
	.type	print_expanded_cube, @function
print_expanded_cube:
.LFB8:
	.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, 40
	.cfi_offset 15, -24
	.cfi_offset 14, -32
	.cfi_offset 13, -40
	.cfi_offset 12, -48
	.cfi_offset 3, -56
	mov	rbx, rdi
	mov	r15, rsi
	mov	QWORD PTR -72[rbp], rdx
	mov	r13d, 0
	jmp	.L176
.L185:
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L177
.L184:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r15
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	setne	al
	movzx	eax, al
	cdqe
	lea	rdx, .LC3[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	r14d, al
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L178
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	jmp	.L179
.L178:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L180
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L180
	mov	rax, QWORD PTR 8[rbx]
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L181
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L179
.L181:
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L179
.L180:
	mov	eax, r14d
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L179:
	add	r12d, 1
.L177:
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r12d, eax
	jle	.L184
	add	r13d, 1
.L176:
	mov	eax, DWORD PTR cube[rip+8]
	cmp	r13d, eax
	jl	.L185
	mov	r13d, DWORD PTR cube[rip+8]
	jmp	.L186
.L195:
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L187
.L194:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r15
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	setne	al
	movzx	eax, al
	cdqe
	lea	rdx, .LC31[rip]
	movzx	eax, BYTE PTR [rax+rdx]
	movsx	r14d, al
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L188
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	jmp	.L189
.L188:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L190
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L190
	mov	rax, QWORD PTR 8[rbx]
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L191
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L189
.L191:
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L189
.L190:
	mov	eax, r14d
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L189:
	add	r12d, 1
.L187:
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r12d, eax
	jle	.L194
	add	r13d, 1
.L186:
	mov	eax, DWORD PTR cube[rip+4]
	sub	eax, 1
	cmp	r13d, eax
	jl	.L195
	mov	eax, DWORD PTR cube[rip+124]
	cmp	eax, -1
	je	.L196
	mov	eax, DWORD PTR cube[rip+4]
	lea	r13d, -1[rax]
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L197
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	BYTE PTR [rax], 32
	jmp	.L198
.L197:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L199
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L199
	mov	rax, QWORD PTR 8[rbx]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L198
.L199:
	mov	rsi, rbx
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L198:
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L201
.L211:
	cmp	QWORD PTR -72[rbp], 0
	je	.L202
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -72[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L203
.L202:
	lea	rax, .LC3[rip]
	mov	QWORD PTR -56[rbp], rax
	jmp	.L204
.L203:
	lea	rax, .LC5[rip]
	mov	QWORD PTR -56[rbp], rax
.L204:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	sal	rax, 2
	add	rax, r15
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	setne	al
	movzx	edx, al
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	movzx	eax, BYTE PTR [rax]
	movsx	r14d, al
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L205
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	jmp	.L206
.L205:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L207
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L207
	mov	rax, QWORD PTR 8[rbx]
	mov	edx, r14d
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L208
	mov	rax, QWORD PTR 8[rbx]
	add	rax, 1
	mov	QWORD PTR 8[rbx], rax
	jmp	.L206
.L208:
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L206
.L207:
	mov	eax, r14d
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L206:
	add	r12d, 1
.L201:
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, r13d
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r12d, eax
	jle	.L211
.L196:
	mov	eax, DWORD PTR [rbx]
	sub	eax, 1
	mov	DWORD PTR [rbx], eax
	mov	eax, DWORD PTR [rbx]
	test	eax, eax
	js	.L212
	mov	rax, QWORD PTR 8[rbx]
	lea	rdx, 1[rax]
	mov	QWORD PTR 8[rbx], rdx
	mov	BYTE PTR [rax], 10
	jmp	.L216
.L212:
	movzx	eax, WORD PTR 28[rbx]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L214
	mov	eax, DWORD PTR [rbx]
	neg	eax
	mov	edx, eax
	mov	eax, DWORD PTR 24[rbx]
	cmp	edx, eax
	jge	.L214
	mov	rax, QWORD PTR 8[rbx]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR 8[rbx]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rsi, rbx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	nop
	jmp	.L216
.L214:
	mov	rsi, rbx
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L216:
	nop
	add	rsp, 40
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	print_expanded_cube, .-print_expanded_cube
	.globl	pc1
	.type	pc1, @function
pc1:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	lea	rdx, s1.1[rip]
	lea	rsi, .LC1[rip]
	mov	rdi, rax
	call	fmt_cube
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	pc1, .-pc1
	.globl	pc2
	.type	pc2, @function
pc2:
.LFB10:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	lea	rdx, s2.0[rip]
	lea	rsi, .LC1[rip]
	mov	rdi, rax
	call	fmt_cube
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	pc2, .-pc2
	.section	.rodata
.LC32:
	.string	"%s[%d]: ord(T)=%d\n"
.LC33:
	.string	"cofactor=%s\n"
.LC34:
	.string	"%4d. %s\n"
	.text
	.globl	debug_print
	.type	debug_print, @function
debug_print:
.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, 32
	.cfi_offset 14, -24
	.cfi_offset 13, -32
	.cfi_offset 12, -40
	.cfi_offset 3, -48
	mov	QWORD PTR -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	DWORD PTR -52[rbp], edx
	mov	rax, QWORD PTR -40[rbp]
	add	rax, 8
	mov	rax, QWORD PTR [rax]
	sub	rax, QWORD PTR -40[rbp]
	sar	rax, 3
	sub	eax, 3
	mov	ebx, eax
	mov	r12d, DWORD PTR cube[rip]
	mov	eax, DWORD PTR cube[rip]
	cmp	eax, 32
	jle	.L222
	mov	eax, DWORD PTR cube[rip]
	sub	eax, 1
	sar	eax, 5
	add	eax, 2
	cdqe
	sal	eax, 2
	jmp	.L223
.L222:
	mov	eax, 8
.L223:
	mov	edi, eax
	call	malloc@PLT
	mov	esi, r12d
	mov	rdi, rax
	mov	eax, 0
	call	set_clear@PLT
	mov	r12, rax
	mov	eax, DWORD PTR verbose_debug[rip]
	test	eax, eax
	je	.L224
	cmp	DWORD PTR -52[rbp], 0
	jne	.L224
	mov	edi, 10
	call	putchar@PLT
.L224:
	mov	edx, DWORD PTR -52[rbp]
	mov	rax, QWORD PTR -48[rbp]
	mov	ecx, ebx
	mov	rsi, rax
	lea	rdi, .LC32[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR verbose_debug[rip]
	test	eax, eax
	je	.L225
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	call	pc1
	mov	rsi, rax
	lea	rdi, .LC33[rip]
	mov	eax, 0
	call	printf@PLT
	mov	rax, QWORD PTR -40[rbp]
	lea	r14, 16[rax]
	mov	ebx, 1
	jmp	.L226
.L227:
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rdx, rax
	mov	rsi, r13
	mov	rdi, r12
	mov	eax, 0
	call	set_or@PLT
	mov	rdi, rax
	call	pc1
	mov	rdx, rax
	mov	esi, ebx
	lea	rdi, .LC34[rip]
	mov	eax, 0
	call	printf@PLT
	add	ebx, 1
.L226:
	mov	rax, r14
	lea	r14, 8[rax]
	mov	r13, QWORD PTR [rax]
	test	r13, r13
	jne	.L227
.L225:
	test	r12, r12
	je	.L230
	mov	rdi, r12
	call	free@PLT
.L230:
	nop
	add	rsp, 32
	pop	rbx
	pop	r12
	pop	r13
	pop	r14
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	debug_print, .-debug_print
	.globl	debug1_print
	.type	debug1_print, @function
debug1_print:
.LFB12:
	.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, 40
	.cfi_offset 13, -24
	.cfi_offset 12, -32
	.cfi_offset 3, -40
	mov	QWORD PTR -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	DWORD PTR -52[rbp], edx
	mov	r12d, 1
	mov	eax, DWORD PTR verbose_debug[rip]
	test	eax, eax
	je	.L232
	cmp	DWORD PTR -52[rbp], 0
	jne	.L232
	mov	edi, 10
	call	putchar@PLT
.L232:
	mov	rax, QWORD PTR -40[rbp]
	mov	ecx, DWORD PTR 12[rax]
	mov	edx, DWORD PTR -52[rbp]
	mov	rax, QWORD PTR -48[rbp]
	mov	rsi, rax
	lea	rdi, .LC32[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR verbose_debug[rip]
	test	eax, eax
	je	.L236
	mov	rax, QWORD PTR -40[rbp]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r13, [rbx+rax]
	jmp	.L234
.L235:
	mov	rdi, rbx
	call	pc1
	mov	rdx, rax
	mov	eax, r12d
	lea	r12d, 1[rax]
	mov	esi, eax
	lea	rdi, .LC34[rip]
	mov	eax, 0
	call	printf@PLT
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L234:
	cmp	rbx, r13
	jb	.L235
.L236:
	nop
	add	rsp, 40
	pop	rbx
	pop	r12
	pop	r13
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	debug1_print, .-debug1_print
	.globl	cprint
	.type	cprint, @function
cprint:
.LFB13:
	.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	QWORD PTR -24[rbp], rdi
	mov	rax, QWORD PTR -24[rbp]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L238
.L239:
	mov	rdi, rbx
	call	pc1
	mov	rdi, rax
	call	puts@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L238:
	cmp	rbx, r12
	jb	.L239
	nop
	nop
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	cprint, .-cprint
	.section	.rodata
.LC35:
	.string	"v%d.bar"
.LC36:
	.string	"v%d"
.LC37:
	.string	"v%d.%d"
	.text
	.globl	makeup_labels
	.type	makeup_labels, @function
makeup_labels:
.LFB14:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 40
	.cfi_offset 3, -24
	mov	QWORD PTR -40[rbp], rdi
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 56[rax]
	test	rax, rax
	jne	.L241
	mov	rax, QWORD PTR -40[rbp]
	mov	rdi, rax
	mov	eax, 0
	call	PLA_labels@PLT
.L241:
	mov	DWORD PTR -28[rbp], 0
	jmp	.L242
.L248:
	mov	DWORD PTR -24[rbp], 0
	jmp	.L243
.L247:
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR -28[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, DWORD PTR -24[rbp]
	add	eax, edx
	mov	DWORD PTR -20[rbp], eax
	mov	rax, QWORD PTR -40[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -20[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	jne	.L244
	mov	rax, QWORD PTR -40[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -20[rbp]
	cdqe
	sal	rax, 3
	lea	rbx, [rdx+rax]
	mov	edi, 15
	call	malloc@PLT
	mov	QWORD PTR [rbx], rax
	mov	eax, DWORD PTR cube[rip+8]
	cmp	DWORD PTR -28[rbp], eax
	jge	.L245
	mov	eax, DWORD PTR -24[rbp]
	and	eax, 1
	test	eax, eax
	jne	.L246
	mov	rax, QWORD PTR -40[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -20[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR -28[rbp]
	lea	rsi, .LC35[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	jmp	.L244
.L246:
	mov	rax, QWORD PTR -40[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -20[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR -28[rbp]
	lea	rsi, .LC36[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
	jmp	.L244
.L245:
	mov	rax, QWORD PTR -40[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -20[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	ecx, DWORD PTR -24[rbp]
	mov	edx, DWORD PTR -28[rbp]
	lea	rsi, .LC37[rip]
	mov	rdi, rax
	mov	eax, 0
	call	sprintf@PLT
.L244:
	add	DWORD PTR -24[rbp], 1
.L243:
	mov	rdx, QWORD PTR cube[rip+32]
	mov	eax, DWORD PTR -28[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	DWORD PTR -24[rbp], eax
	jl	.L247
	add	DWORD PTR -28[rbp], 1
.L242:
	mov	eax, DWORD PTR cube[rip+4]
	cmp	DWORD PTR -28[rbp], eax
	jl	.L248
	nop
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	makeup_labels, .-makeup_labels
	.globl	kiss_output
	.type	kiss_output, @function
kiss_output:
.LFB15:
	.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	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR [rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L250
.L251:
	mov	rsi, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	lea	rcx, .LC3[rip]
	mov	rdx, rbx
	mov	rdi, rax
	call	kiss_print_cube
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR [rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L250:
	cmp	rbx, r12
	jb	.L251
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	rbx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	edx, DWORD PTR 12[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	eax, DWORD PTR [rax]
	imul	eax, edx
	cdqe
	sal	rax, 2
	lea	r12, [rbx+rax]
	jmp	.L252
.L253:
	mov	rsi, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR -24[rbp]
	lea	rcx, .LC4[rip]
	mov	rdx, rbx
	mov	rdi, rax
	call	kiss_print_cube
	mov	rax, QWORD PTR -32[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	eax, DWORD PTR [rax]
	cdqe
	sal	rax, 2
	add	rbx, rax
.L252:
	cmp	rbx, r12
	jb	.L253
	nop
	add	rsp, 16
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	kiss_output, .-kiss_output
	.section	.rodata
	.align 8
.LC38:
	.string	"more than 1 part in a symbolic variable\n"
	.text
	.globl	kiss_print_cube
	.type	kiss_print_cube, @function
kiss_print_cube:
.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, 48
	.cfi_offset 12, -24
	.cfi_offset 3, -32
	mov	QWORD PTR -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	QWORD PTR -56[rbp], rdx
	mov	QWORD PTR -64[rbp], rcx
	mov	ebx, 0
	jmp	.L255
.L262:
	lea	eax, [rbx+rbx]
	sar	eax, 5
	cdqe
	add	rax, 1
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	lea	eax, [rbx+rbx]
	and	eax, 30
	mov	ecx, eax
	shr	edx, cl
	mov	eax, edx
	and	eax, 3
	mov	edx, eax
	lea	rax, .LC30[rip]
	movzx	eax, BYTE PTR [rdx+rax]
	movsx	eax, al
	mov	DWORD PTR -20[rbp], eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L256
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	edx, DWORD PTR -20[rbp]
	mov	BYTE PTR [rax], dl
	jmp	.L257
.L256:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L258
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L258
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	edx, DWORD PTR -20[rbp]
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L259
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L257
.L259:
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L257
.L258:
	mov	eax, DWORD PTR -20[rbp]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L257:
	add	ebx, 1
.L255:
	mov	eax, DWORD PTR cube[rip+8]
	cmp	ebx, eax
	jl	.L262
	mov	ebx, DWORD PTR cube[rip+8]
	jmp	.L263
.L281:
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L264
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 32
	jmp	.L265
.L264:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L266
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L266
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L265
.L266:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L265:
	mov	rdx, QWORD PTR cube[rip+72]
	movsx	rax, ebx
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdx, QWORD PTR -56[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	mov	eax, 0
	call	setp_implies@PLT
	test	eax, eax
	je	.L268
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L269
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 45
	jmp	.L270
.L269:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L271
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L271
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 45
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L270
.L271:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 45
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L270
.L268:
	mov	DWORD PTR -24[rbp], -1
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, ebx
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L273
.L276:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L274
	cmp	DWORD PTR -24[rbp], -1
	je	.L275
	lea	rdi, .LC38[rip]
	mov	eax, 0
	call	fatal@PLT
.L275:
	mov	DWORD PTR -24[rbp], r12d
.L274:
	add	r12d, 1
.L273:
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, ebx
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r12d, eax
	jle	.L276
	cmp	DWORD PTR -24[rbp], -1
	jne	.L277
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L278
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 126
	jmp	.L270
.L278:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L279
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L279
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 126
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L270
.L279:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 126
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L270
.L277:
	mov	rax, QWORD PTR -48[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	eax, DWORD PTR -24[rbp]
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rax, QWORD PTR [rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	rdi, rax
	call	fputs@PLT
.L270:
	add	ebx, 1
.L263:
	mov	eax, DWORD PTR cube[rip+4]
	sub	eax, 1
	cmp	ebx, eax
	jl	.L281
	mov	ebx, DWORD PTR cube[rip+124]
	cmp	ebx, -1
	je	.L282
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L283
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 32
	jmp	.L284
.L283:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L285
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L285
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 32
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L284
.L285:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 32
	mov	eax, 0
	call	_flsbuf@PLT
.L284:
	mov	rdx, QWORD PTR cube[rip+16]
	movsx	rax, ebx
	sal	rax, 2
	add	rax, rdx
	mov	r12d, DWORD PTR [rax]
	jmp	.L287
.L294:
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, 1
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -56[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	setne	al
	movzx	edx, al
	mov	rax, QWORD PTR -64[rbp]
	add	rax, rdx
	movzx	eax, BYTE PTR [rax]
	movsx	eax, al
	mov	DWORD PTR -20[rbp], eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L288
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	edx, DWORD PTR -20[rbp]
	mov	BYTE PTR [rax], dl
	jmp	.L289
.L288:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L290
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L290
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	edx, DWORD PTR -20[rbp]
	mov	BYTE PTR [rax], dl
	movzx	eax, BYTE PTR [rax]
	cmp	al, 10
	je	.L291
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rdx, 1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rax], rdx
	jmp	.L289
.L291:
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L289
.L290:
	mov	eax, DWORD PTR -20[rbp]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
.L289:
	add	r12d, 1
.L287:
	mov	rdx, QWORD PTR cube[rip+24]
	movsx	rax, ebx
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	cmp	r12d, eax
	jle	.L294
.L282:
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	lea	edx, -1[rax]
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	js	.L295
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	lea	rcx, 1[rax]
	mov	rdx, QWORD PTR -40[rbp]
	mov	QWORD PTR 8[rdx], rcx
	mov	BYTE PTR [rax], 10
	jmp	.L296
.L295:
	mov	rax, QWORD PTR -40[rbp]
	movzx	eax, WORD PTR 28[rax]
	cwde
	and	eax, 128
	test	eax, eax
	je	.L297
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR [rax]
	neg	eax
	mov	edx, eax
	mov	rax, QWORD PTR -40[rbp]
	mov	eax, DWORD PTR 24[rax]
	cmp	edx, eax
	jge	.L297
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	mov	BYTE PTR [rax], 10
	mov	rax, QWORD PTR -40[rbp]
	mov	rax, QWORD PTR 8[rax]
	movzx	eax, BYTE PTR [rax]
	movzx	eax, al
	mov	rdx, QWORD PTR -40[rbp]
	mov	rsi, rdx
	mov	edi, eax
	mov	eax, 0
	call	_flsbuf@PLT
	jmp	.L296
.L297:
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	edi, 10
	mov	eax, 0
	call	_flsbuf@PLT
.L296:
	nop
	add	rsp, 48
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	kiss_print_cube, .-kiss_print_cube
	.section	.rodata
	.align 8
.LC39:
	.string	"# Symbolic constraints for variable %d (Numeric form)\n"
.LC40:
	.string	"# unconstrained weight = %d\n"
.LC41:
	.string	"num_codes=%d\n"
.LC42:
	.string	"weight=%d: "
	.align 8
.LC43:
	.string	"# Symbolic constraints for variable %d (Symbolic form)\n"
.LC44:
	.string	"#   w=%d: ("
.LC45:
	.string	" )\n"
	.text
	.globl	output_symbolic_constraints
	.type	output_symbolic_constraints, @function
output_symbolic_constraints:
.LFB17:
	.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, 80
	.cfi_offset 12, -24
	.cfi_offset 3, -32
	mov	QWORD PTR -72[rbp], rdi
	mov	QWORD PTR -80[rbp], rsi
	mov	DWORD PTR -84[rbp], edx
	mov	eax, DWORD PTR cube[rip+4]
	mov	edx, DWORD PTR cube[rip+8]
	sub	eax, edx
	cmp	eax, 1
	jle	.L335
	mov	rax, QWORD PTR -80[rbp]
	mov	rdi, rax
	call	makeup_labels
	mov	eax, DWORD PTR cube[rip+8]
	mov	DWORD PTR -56[rbp], eax
	jmp	.L302
.L334:
	mov	rdx, QWORD PTR cube[rip+32]
	mov	eax, DWORD PTR -56[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -48[rbp], eax
	mov	eax, DWORD PTR -48[rbp]
	cdqe
	sal	eax, 2
	mov	edi, eax
	call	malloc@PLT
	mov	QWORD PTR -40[rbp], rax
	mov	ebx, 0
	jmp	.L303
.L304:
	mov	rdx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR -56[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	movsx	rax, ebx
	lea	rcx, 0[0+rax*4]
	mov	rax, QWORD PTR -40[rbp]
	add	rax, rcx
	add	edx, ebx
	mov	DWORD PTR [rax], edx
	add	ebx, 1
.L303:
	cmp	ebx, DWORD PTR -48[rbp]
	jl	.L304
	mov	rax, QWORD PTR -80[rbp]
	mov	rax, QWORD PTR [rax]
	mov	rdi, rax
	mov	eax, 0
	call	sf_save@PLT
	mov	rcx, rax
	mov	edx, DWORD PTR -48[rbp]
	mov	rax, QWORD PTR -40[rbp]
	mov	rsi, rax
	mov	rdi, rcx
	mov	eax, 0
	call	sf_permute@PLT
	mov	QWORD PTR -32[rbp], rax
	cmp	QWORD PTR -40[rbp], 0
	je	.L306
	mov	rax, QWORD PTR -40[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	QWORD PTR -40[rbp], 0
.L306:
	mov	DWORD PTR -52[rbp], 0
	mov	ebx, 0
	jmp	.L307
.L310:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	rdi, rax
	mov	eax, 0
	call	set_ord@PLT
	mov	DWORD PTR -44[rbp], eax
	cmp	DWORD PTR -44[rbp], 1
	je	.L308
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 4[rax]
	cmp	DWORD PTR -44[rbp], eax
	jne	.L309
.L308:
	mov	edx, ebx
	lea	ebx, -1[rdx]
	mov	rax, QWORD PTR -32[rbp]
	mov	esi, edx
	mov	rdi, rax
	mov	eax, 0
	call	sf_delset@PLT
	add	DWORD PTR -52[rbp], 1
.L309:
	add	ebx, 1
.L307:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cmp	ebx, eax
	jl	.L310
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cdqe
	sal	eax, 2
	mov	edi, eax
	call	malloc@PLT
	mov	QWORD PTR -24[rbp], rax
	mov	ebx, 0
	jmp	.L311
.L312:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	cdqe
	sal	rax, 2
	add	rax, rcx
	and	dh, -9
	mov	DWORD PTR [rax], edx
	add	ebx, 1
.L311:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cmp	ebx, eax
	jl	.L312
	mov	ebx, 0
	jmp	.L313
.L318:
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 0
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	and	eax, 2048
	test	eax, eax
	jne	.L314
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	DWORD PTR [rax], 1
	lea	r12d, 1[rbx]
	jmp	.L315
.L317:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, r12d
	cdqe
	sal	rax, 2
	add	rdx, rax
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	rsi, rdx
	mov	rdi, rax
	mov	eax, 0
	call	setp_equal@PLT
	test	eax, eax
	je	.L316
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	add	edx, 1
	mov	DWORD PTR [rax], edx
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, r12d
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	rcx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, r12d
	cdqe
	sal	rax, 2
	add	rax, rcx
	or	dh, 8
	mov	DWORD PTR [rax], edx
.L316:
	add	r12d, 1
.L315:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cmp	r12d, eax
	jl	.L317
.L314:
	add	ebx, 1
.L313:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cmp	ebx, eax
	jl	.L318
	cmp	DWORD PTR -84[rbp], 0
	jne	.L319
	mov	edx, DWORD PTR -56[rbp]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC39[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	edx, DWORD PTR -52[rbp]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC40[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	rdx, QWORD PTR cube[rip+32]
	mov	eax, DWORD PTR -56[rbp]
	cdqe
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC41[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	ebx, 0
	jmp	.L320
.L325:
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jle	.L321
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC42[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	r12d, 0
	jmp	.L322
.L324:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	movsx	rcx, eax
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, rcx
	add	rax, 1
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L323
	mov	rax, QWORD PTR -72[rbp]
	mov	edx, r12d
	lea	rsi, .LC11[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
.L323:
	add	r12d, 1
.L322:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 4[rax]
	cmp	r12d, eax
	jl	.L324
	mov	rax, QWORD PTR -72[rbp]
	mov	rsi, rax
	mov	edi, 10
	call	fputc@PLT
.L321:
	add	ebx, 1
.L320:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cmp	ebx, eax
	jl	.L325
	jmp	.L326
.L319:
	mov	edx, DWORD PTR -56[rbp]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC43[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	ebx, 0
	jmp	.L327
.L332:
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	eax, DWORD PTR [rax]
	test	eax, eax
	jle	.L328
	movsx	rax, ebx
	lea	rdx, 0[0+rax*4]
	mov	rax, QWORD PTR -24[rbp]
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC44[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
	mov	r12d, 0
	jmp	.L329
.L331:
	mov	rax, QWORD PTR -32[rbp]
	mov	rdx, QWORD PTR 24[rax]
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR [rax]
	imul	eax, ebx
	movsx	rcx, eax
	mov	eax, r12d
	sar	eax, 5
	cdqe
	add	rax, rcx
	add	rax, 1
	sal	rax, 2
	add	rax, rdx
	mov	edx, DWORD PTR [rax]
	mov	eax, r12d
	and	eax, 31
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	and	eax, edx
	test	eax, eax
	je	.L330
	mov	rax, QWORD PTR -80[rbp]
	mov	rdx, QWORD PTR 56[rax]
	mov	rcx, QWORD PTR cube[rip+16]
	mov	eax, DWORD PTR -56[rbp]
	cdqe
	sal	rax, 2
	add	rax, rcx
	mov	eax, DWORD PTR [rax]
	add	eax, r12d
	cdqe
	sal	rax, 3
	add	rax, rdx
	mov	rdx, QWORD PTR [rax]
	mov	rax, QWORD PTR -72[rbp]
	lea	rsi, .LC13[rip]
	mov	rdi, rax
	mov	eax, 0
	call	fprintf@PLT
.L330:
	add	r12d, 1
.L329:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 4[rax]
	cmp	r12d, eax
	jl	.L331
	mov	rax, QWORD PTR -72[rbp]
	mov	rcx, rax
	mov	edx, 3
	mov	esi, 1
	lea	rdi, .LC45[rip]
	call	fwrite@PLT
.L328:
	add	ebx, 1
.L327:
	mov	rax, QWORD PTR -32[rbp]
	mov	eax, DWORD PTR 12[rax]
	cmp	ebx, eax
	jl	.L332
	cmp	QWORD PTR -24[rbp], 0
	je	.L326
	mov	rax, QWORD PTR -24[rbp]
	mov	rdi, rax
	call	free@PLT
	mov	QWORD PTR -24[rbp], 0
.L326:
	add	DWORD PTR -56[rbp], 1
.L302:
	mov	eax, DWORD PTR cube[rip+4]
	sub	eax, 1
	cmp	DWORD PTR -56[rbp], eax
	jl	.L334
	jmp	.L301
.L335:
	nop
.L301:
	add	rsp, 80
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	output_symbolic_constraints, .-output_symbolic_constraints
	.local	s1.1
	.comm	s1.1,256,32
	.local	s2.0
	.comm	s2.0,256,32
	.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	"50137778.c"
	.text
	.section	.rodata
	.align	2
.LC0:
	.ascii	".p %d\012\000"
	.align	2
.LC1:
	.ascii	"01\000"
	.align	2
.LC2:
	.ascii	".e\012\000"
	.align	2
.LC3:
	.ascii	"~1\000"
	.align	2
.LC4:
	.ascii	"~2\000"
	.align	2
.LC5:
	.ascii	"~0\000"
	.align	2
.LC6:
	.ascii	".end\012\000"
	.text
	.align	2
	.global	fprint_pla
	.syntax unified
	.arm
	.fpu softvfp
	.type	fprint_pla, %function
fprint_pla:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #24
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	ldr	r3, [fp, #-32]
	and	r3, r3, #256
	cmp	r3, #0
	beq	.L2
	mov	r2, #0
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	output_symbolic_constraints
	ldr	r3, [fp, #-32]
	bic	r3, r3, #256
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-32]
	cmp	r3, #0
	beq	.L23
.L2:
	ldr	r3, [fp, #-32]
	and	r3, r3, #512
	cmp	r3, #0
	beq	.L4
	mov	r2, #1
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	output_symbolic_constraints
	ldr	r3, [fp, #-32]
	bic	r3, r3, #512
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-32]
	cmp	r3, #0
	beq	.L24
.L4:
	ldr	r3, [fp, #-32]
	cmp	r3, #8
	bne	.L5
	ldr	r0, [fp, #-28]
	bl	pls_output
	b	.L1
.L5:
	ldr	r3, [fp, #-32]
	cmp	r3, #16
	bne	.L6
	ldr	r0, [fp, #-28]
	bl	eqn_output
	b	.L1
.L6:
	ldr	r3, [fp, #-32]
	cmp	r3, #128
	bne	.L7
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	kiss_output
	b	.L1
.L7:
	ldr	r2, [fp, #-32]
	ldr	r1, [fp, #-28]
	ldr	r0, [fp, #-24]
	bl	fpr_header
	mov	r3, #0
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-32]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L8
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-16]
	add	r3, r2, r3
	str	r3, [fp, #-16]
.L8:
	ldr	r3, [fp, #-32]
	and	r3, r3, #2
	cmp	r3, #0
	beq	.L9
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-16]
	add	r3, r2, r3
	str	r3, [fp, #-16]
.L9:
	ldr	r3, [fp, #-32]
	and	r3, r3, #4
	cmp	r3, #0
	beq	.L10
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #8]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-16]
	add	r3, r2, r3
	str	r3, [fp, #-16]
.L10:
	ldr	r2, [fp, #-16]
	ldr	r1, .L25
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r3, [fp, #-32]
	cmp	r3, #1
	bne	.L11
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-28]
	ldr	r2, [r2]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L12
.L13:
	ldr	r2, .L25+4
	mov	r1, r4
	ldr	r0, [fp, #-24]
	bl	print_cube
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L12:
	cmp	r4, r5
	bcc	.L13
	ldr	r3, [fp, #-24]
	mov	r2, #3
	mov	r1, #1
	ldr	r0, .L25+8
	bl	fwrite
	b	.L1
.L11:
	ldr	r3, [fp, #-32]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L14
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-28]
	ldr	r2, [r2]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L15
.L16:
	ldr	r2, .L25+12
	mov	r1, r4
	ldr	r0, [fp, #-24]
	bl	print_cube
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L15:
	cmp	r4, r5
	bcc	.L16
.L14:
	ldr	r3, [fp, #-32]
	and	r3, r3, #2
	cmp	r3, #0
	beq	.L17
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-28]
	ldr	r2, [r2, #4]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L18
.L19:
	ldr	r2, .L25+16
	mov	r1, r4
	ldr	r0, [fp, #-24]
	bl	print_cube
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L18:
	cmp	r4, r5
	bcc	.L19
.L17:
	ldr	r3, [fp, #-32]
	and	r3, r3, #4
	cmp	r3, #0
	beq	.L20
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #8]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #8]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-28]
	ldr	r2, [r2, #8]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L21
.L22:
	ldr	r2, .L25+20
	mov	r1, r4
	ldr	r0, [fp, #-24]
	bl	print_cube
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #8]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L21:
	cmp	r4, r5
	bcc	.L22
.L20:
	ldr	r3, [fp, #-24]
	mov	r2, #5
	mov	r1, #1
	ldr	r0, .L25+24
	bl	fwrite
	b	.L1
.L23:
	nop
	b	.L1
.L24:
	nop
.L1:
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L26:
	.align	2
.L25:
	.word	.LC0
	.word	.LC1
	.word	.LC2
	.word	.LC3
	.word	.LC4
	.word	.LC5
	.word	.LC6
	.size	fprint_pla, .-fprint_pla
	.section	.rodata
	.align	2
.LC7:
	.ascii	".type \000"
	.align	2
.LC8:
	.ascii	".i %d\012\000"
	.align	2
.LC9:
	.ascii	".o %d\012\000"
	.align	2
.LC10:
	.ascii	".mv %d %d\000"
	.align	2
.LC11:
	.ascii	" %d\000"
	.align	2
.LC12:
	.ascii	".ilb\000"
	.align	2
.LC13:
	.ascii	" %s\000"
	.align	2
.LC14:
	.ascii	".ob\000"
	.align	2
.LC15:
	.ascii	".label var=%d\000"
	.align	2
.LC16:
	.ascii	"#.phase \000"
	.text
	.align	2
	.global	fpr_header
	.syntax unified
	.arm
	.fpu softvfp
	.type	fpr_header, %function
fpr_header:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #24
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	ldr	r3, [fp, #-32]
	cmp	r3, #1
	beq	.L28
	ldr	r3, [fp, #-24]
	mov	r2, #6
	mov	r1, #1
	ldr	r0, .L84
	bl	fwrite
	ldr	r3, [fp, #-32]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L29
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L30
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #102
	strb	r2, [r3]
	b	.L29
.L30:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L31
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L31
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #102
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L29
.L31:
	ldr	r1, [fp, #-24]
	mov	r0, #102
	bl	_flsbuf
.L29:
	ldr	r3, [fp, #-32]
	and	r3, r3, #2
	cmp	r3, #0
	beq	.L33
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L34
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #100
	strb	r2, [r3]
	b	.L33
.L34:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L35
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L35
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #100
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L33
.L35:
	ldr	r1, [fp, #-24]
	mov	r0, #100
	bl	_flsbuf
.L33:
	ldr	r3, [fp, #-32]
	and	r3, r3, #4
	cmp	r3, #0
	beq	.L37
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L38
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #114
	strb	r2, [r3]
	b	.L37
.L38:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L39
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L39
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #114
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L37
.L39:
	ldr	r1, [fp, #-24]
	mov	r0, #114
	bl	_flsbuf
.L37:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L41
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L28
.L41:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L42
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L42
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L28
.L42:
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	_flsbuf
.L28:
	ldr	r3, .L84+4
	ldr	r3, [r3, #68]
	cmp	r3, #1
	bgt	.L44
	ldr	r3, .L84+4
	ldr	r3, [r3, #8]
	mov	r2, r3
	ldr	r1, .L84+8
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	cmn	r3, #1
	beq	.L45
	ldr	r3, .L84+4
	ldr	r2, [r3, #20]
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L84+12
	ldr	r0, [fp, #-24]
	bl	fprintf
	b	.L45
.L44:
	ldr	r3, .L84+4
	ldr	r2, [r3, #4]
	ldr	r3, .L84+4
	ldr	r3, [r3, #8]
	ldr	r1, .L84+16
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r3, .L84+4
	ldr	r5, [r3, #8]
	b	.L46
.L47:
	ldr	r3, .L84+4
	ldr	r2, [r3, #20]
	mov	r3, r5
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L84+20
	ldr	r0, [fp, #-24]
	bl	fprintf
	add	r5, r5, #1
.L46:
	ldr	r3, .L84+4
	ldr	r3, [r3, #4]
	cmp	r5, r3
	blt	.L47
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	fputc
.L45:
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #28]
	cmp	r3, #0
	beq	.L48
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #28]
	add	r3, r3, #4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L48
	ldr	r3, .L84+4
	ldr	r3, [r3, #8]
	cmp	r3, #0
	ble	.L48
	ldr	r3, [fp, #-24]
	mov	r2, #4
	mov	r1, #1
	ldr	r0, .L84+24
	bl	fwrite
	mov	r5, #0
	b	.L49
.L50:
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #28]
	ldr	r3, .L84+4
	ldr	r1, [r3, #12]
	mov	r3, r5
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L84+28
	ldr	r0, [fp, #-24]
	bl	fprintf
	add	r5, r5, #1
.L49:
	ldr	r3, .L84+4
	ldr	r3, [r3, #8]
	cmp	r5, r3
	blt	.L50
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L51
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L48
.L51:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L52
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L52
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L48
.L52:
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	_flsbuf
.L48:
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #28]
	cmp	r3, #0
	beq	.L54
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #28]
	ldr	r3, .L84+4
	ldr	r1, [r3, #12]
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L54
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	cmn	r3, #1
	beq	.L54
	ldr	r3, [fp, #-24]
	mov	r2, #3
	mov	r1, #1
	ldr	r0, .L84+32
	bl	fwrite
	mov	r4, #0
	b	.L55
.L56:
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #28]
	ldr	r3, .L84+4
	ldr	r1, [r3, #12]
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r4, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L84+28
	ldr	r0, [fp, #-24]
	bl	fprintf
	add	r4, r4, #1
.L55:
	ldr	r3, .L84+4
	ldr	r2, [r3, #20]
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r4, r3
	blt	.L56
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L57
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L54
.L57:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L58
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L58
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L54
.L58:
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	_flsbuf
.L54:
	ldr	r3, .L84+4
	ldr	r5, [r3, #8]
	b	.L60
.L67:
	ldr	r3, .L84+4
	ldr	r2, [r3, #12]
	mov	r3, r5
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-20]
	ldr	r3, .L84+4
	ldr	r2, [r3, #16]
	mov	r3, r5
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #28]
	cmp	r3, #0
	beq	.L61
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L61
	mov	r2, r5
	ldr	r1, .L84+36
	ldr	r0, [fp, #-24]
	bl	fprintf
	ldr	r4, [fp, #-20]
	b	.L62
.L63:
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #28]
	mov	r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L84+28
	ldr	r0, [fp, #-24]
	bl	fprintf
	add	r4, r4, #1
.L62:
	ldr	r3, [fp, #-16]
	cmp	r4, r3
	ble	.L63
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L64
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L61
.L64:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L65
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L65
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L61
.L65:
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	_flsbuf
.L61:
	add	r5, r5, #1
.L60:
	ldr	r3, .L84+4
	ldr	r3, [r3, #4]
	sub	r3, r3, #1
	cmp	r5, r3
	blt	.L67
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #20]
	cmp	r3, #0
	beq	.L83
	ldr	r3, .L84+4
	ldr	r2, [r3, #12]
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-20]
	ldr	r3, .L84+4
	ldr	r2, [r3, #16]
	ldr	r3, .L84+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-24]
	mov	r2, #8
	mov	r1, #1
	ldr	r0, .L84+40
	bl	fwrite
	ldr	r4, [fp, #-20]
	b	.L69
.L82:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L70
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #20]
	asr	r3, r4, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r4, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L71
	mov	r0, #49
	b	.L72
.L71:
	mov	r0, #48
.L72:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, r0
	strb	r2, [r3]
	b	.L73
.L70:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L74
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L74
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #20]
	asr	r3, r4, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r4, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L75
	mov	r2, #49
	b	.L76
.L75:
	mov	r2, #48
.L76:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L77
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L73
.L77:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L73
.L74:
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #20]
	asr	r3, r4, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r4, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L80
	mov	r3, #49
	b	.L81
.L80:
	mov	r3, #48
.L81:
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
.L73:
	add	r4, r4, #1
.L69:
	ldr	r3, [fp, #-16]
	cmp	r4, r3
	ble	.L82
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	fputc
.L83:
	nop
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L85:
	.align	2
.L84:
	.word	.LC7
	.word	cube
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC13
	.word	.LC14
	.word	.LC15
	.word	.LC16
	.size	fpr_header, .-fpr_header
	.section	.rodata
	.align	2
.LC17:
	.ascii	".option unmerged\000"
	.align	2
.LC18:
	.ascii	".end\000"
	.text
	.align	2
	.global	pls_output
	.syntax unified
	.arm
	.fpu softvfp
	.type	pls_output, %function
pls_output:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #8
	str	r0, [fp, #-16]
	ldr	r0, .L89
	bl	puts
	ldr	r0, [fp, #-16]
	bl	makeup_labels
	ldr	r1, .L89+4
	ldr	r0, [fp, #-16]
	bl	pls_label
	ldr	r1, .L89+4
	ldr	r0, [fp, #-16]
	bl	pls_group
	ldr	r3, [fp, #-16]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	mov	r1, r3
	ldr	r0, .L89+8
	bl	printf
	ldr	r3, [fp, #-16]
	ldr	r3, [r3]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-16]
	ldr	r2, [r2]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L87
.L88:
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #20]
	mov	r2, r3
	mov	r1, r4
	ldr	r0, .L89+4
	bl	print_expanded_cube
	ldr	r3, [fp, #-16]
	ldr	r3, [r3]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L87:
	cmp	r4, r5
	bcc	.L88
	ldr	r0, .L89+12
	bl	puts
	nop
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L90:
	.align	2
.L89:
	.word	.LC17
	.word	_iob+20
	.word	.LC0
	.word	.LC18
	.size	pls_output, .-pls_output
	.section	.rodata
	.align	2
.LC19:
	.ascii	"\012.group\000"
	.align	2
.LC20:
	.ascii	" (\000"
	.align	2
.LC21:
	.ascii	" \\\012\000"
	.text
	.align	2
	.global	pls_group
	.syntax unified
	.arm
	.fpu softvfp
	.type	pls_group, %function
pls_group:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-28]
	mov	r2, #7
	mov	r1, #1
	ldr	r0, .L102
	bl	fwrite
	mov	r3, #6
	str	r3, [fp, #-12]
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L92
.L101:
	ldr	r3, [fp, #-28]
	mov	r2, #2
	mov	r1, #1
	ldr	r0, .L102+4
	bl	fwrite
	ldr	r3, [fp, #-12]
	add	r3, r3, #2
	str	r3, [fp, #-12]
	ldr	r3, .L102+8
	ldr	r2, [r3, #12]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	b	.L93
.L100:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	strlen
	str	r0, [fp, #-8]
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	add	r3, r2, r3
	cmp	r3, #75
	ble	.L94
	ldr	r3, [fp, #-28]
	mov	r2, #3
	mov	r1, #1
	ldr	r0, .L102+12
	bl	fwrite
	mov	r3, #0
	str	r3, [fp, #-12]
	b	.L95
.L94:
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L95
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-28]
	str	r2, [r3]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L96
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-28]
	str	r1, [r2, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L97
.L96:
	ldr	r3, [fp, #-28]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L98
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L98
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-28]
	str	r2, [r3, #4]
	b	.L97
.L98:
	ldr	r1, [fp, #-28]
	mov	r0, #32
	bl	_flsbuf
.L97:
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
.L95:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r1, [fp, #-28]
	mov	r0, r3
	bl	fputs
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	add	r3, r2, r3
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-16]
	add	r3, r3, #1
	str	r3, [fp, #-16]
.L93:
	ldr	r3, .L102+8
	ldr	r2, [r3, #16]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	ble	.L100
	ldr	r1, [fp, #-28]
	mov	r0, #41
	bl	fputc
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L92:
	ldr	r3, .L102+8
	ldr	r3, [r3, #4]
	sub	r3, r3, #1
	ldr	r2, [fp, #-20]
	cmp	r2, r3
	blt	.L101
	ldr	r1, [fp, #-28]
	mov	r0, #10
	bl	fputc
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L103:
	.align	2
.L102:
	.word	.LC19
	.word	.LC20
	.word	cube
	.word	.LC21
	.size	pls_group, .-pls_group
	.section	.rodata
	.align	2
.LC22:
	.ascii	".label\000"
	.text
	.align	2
	.global	pls_label
	.syntax unified
	.arm
	.fpu softvfp
	.type	pls_label, %function
pls_label:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	ldr	r3, [fp, #-28]
	mov	r2, #6
	mov	r1, #1
	ldr	r0, .L115
	bl	fwrite
	mov	r3, #6
	str	r3, [fp, #-12]
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L105
.L114:
	ldr	r3, .L115+4
	ldr	r2, [r3, #12]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	b	.L106
.L113:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	strlen
	str	r0, [fp, #-8]
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	add	r3, r2, r3
	cmp	r3, #75
	ble	.L107
	ldr	r3, [fp, #-28]
	mov	r2, #3
	mov	r1, #1
	ldr	r0, .L115+8
	bl	fwrite
	mov	r3, #0
	str	r3, [fp, #-12]
	b	.L108
.L107:
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-28]
	str	r2, [r3]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L109
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-28]
	str	r1, [r2, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L110
.L109:
	ldr	r3, [fp, #-28]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L111
	ldr	r3, [fp, #-28]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L111
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [fp, #-28]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-28]
	str	r2, [r3, #4]
	b	.L110
.L111:
	ldr	r1, [fp, #-28]
	mov	r0, #32
	bl	_flsbuf
.L110:
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
.L108:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r1, [fp, #-28]
	mov	r0, r3
	bl	fputs
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	add	r3, r2, r3
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-16]
	add	r3, r3, #1
	str	r3, [fp, #-16]
.L106:
	ldr	r3, .L115+4
	ldr	r2, [r3, #16]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	ble	.L113
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L105:
	ldr	r3, .L115+4
	ldr	r3, [r3, #4]
	ldr	r2, [fp, #-20]
	cmp	r2, r3
	blt	.L114
	nop
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L116:
	.align	2
.L115:
	.word	.LC22
	.word	cube
	.word	.LC21
	.size	pls_label, .-pls_label
	.section	.rodata
	.align	2
.LC23:
	.ascii	"Cannot have no-output function for EQNTOTT output m"
	.ascii	"ode\000"
	.align	2
.LC24:
	.ascii	"Must have binary-valued function for EQNTOTT output"
	.ascii	" mode\000"
	.align	2
.LC25:
	.ascii	"%s = \000"
	.align	2
.LC26:
	.ascii	" | (\000"
	.align	2
.LC27:
	.ascii	"\012    \000"
	.align	2
.LC28:
	.ascii	"%s\000"
	.align	2
.LC29:
	.ascii	";\012\000"
	.text
	.align	2
	.global	eqn_output
	.syntax unified
	.arm
	.fpu softvfp
	.type	eqn_output, %function
eqn_output:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, r9, fp, lr}
	add	fp, sp, #28
	sub	sp, sp, #24
	str	r0, [fp, #-48]
	ldr	r3, .L133
	ldr	r3, [r3, #72]
	cmn	r3, #1
	bne	.L118
	ldr	r0, .L133+4
	bl	fatal
.L118:
	ldr	r3, .L133
	ldr	r3, [r3, #68]
	cmp	r3, #1
	beq	.L119
	ldr	r0, .L133+8
	bl	fatal
.L119:
	ldr	r0, [fp, #-48]
	bl	makeup_labels
	mov	r5, #0
	b	.L120
.L132:
	ldr	r3, [fp, #-48]
	ldr	r2, [r3, #28]
	ldr	r3, .L133
	ldr	r1, [r3, #12]
	ldr	r3, .L133
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r5, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r1, r3
	ldr	r0, .L133+12
	bl	printf
	ldr	r3, [fp, #-48]
	ldr	r2, [r3, #28]
	ldr	r3, .L133
	ldr	r1, [r3, #12]
	ldr	r3, .L133
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r5, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	strlen
	mov	r3, r0
	add	r4, r3, #3
	mov	r3, #1
	str	r3, [fp, #-36]
	ldr	r3, [fp, #-48]
	ldr	r3, [r3]
	ldr	r7, [r3, #20]
	ldr	r3, [fp, #-48]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-48]
	ldr	r2, [r2]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r9, r7, r3
	b	.L121
.L131:
	ldr	r3, .L133
	ldr	r2, [r3, #12]
	ldr	r3, .L133
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	add	r3, r5, r3
	asr	r3, r3, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r7, r3
	ldr	r3, [r3]
	ldr	r2, .L133
	ldr	r1, [r2, #12]
	ldr	r2, .L133
	ldr	r2, [r2, #72]
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r2, [r2]
	add	r2, r5, r2
	and	r2, r2, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L122
	ldr	r3, [fp, #-36]
	cmp	r3, #0
	beq	.L123
	mov	r0, #40
	bl	putchar
	add	r4, r4, #1
	b	.L124
.L123:
	ldr	r0, .L133+16
	bl	printf
	add	r4, r4, #4
.L124:
	mov	r3, #0
	str	r3, [fp, #-36]
	mov	r3, #1
	str	r3, [fp, #-40]
	mov	r6, #0
	b	.L125
.L130:
	lsl	r3, r6, #1
	asr	r3, r3, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r7, r3
	ldr	r2, [r3]
	lsl	r3, r6, #1
	and	r3, r3, #30
	lsr	r3, r2, r3
	and	r3, r3, #3
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-32]
	cmp	r3, #3
	beq	.L126
	ldr	r3, [fp, #-48]
	ldr	r2, [r3, #28]
	ldr	r3, .L133
	ldr	r1, [r3, #12]
	mov	r3, r6
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r0, r3
	bl	strlen
	mov	r8, r0
	add	r3, r4, r8
	cmp	r3, #72
	ble	.L127
	ldr	r0, .L133+20
	bl	printf
	mov	r4, #4
.L127:
	ldr	r3, [fp, #-40]
	cmp	r3, #0
	bne	.L128
	mov	r0, #38
	bl	putchar
	add	r4, r4, #1
.L128:
	mov	r3, #0
	str	r3, [fp, #-40]
	ldr	r3, [fp, #-32]
	cmp	r3, #1
	bne	.L129
	mov	r0, #33
	bl	putchar
	add	r4, r4, #1
.L129:
	ldr	r3, [fp, #-48]
	ldr	r2, [r3, #28]
	ldr	r3, .L133
	ldr	r1, [r3, #12]
	mov	r3, r6
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r1, r3
	ldr	r0, .L133+24
	bl	printf
	add	r4, r4, r8
.L126:
	add	r6, r6, #1
.L125:
	ldr	r3, .L133
	ldr	r3, [r3, #8]
	cmp	r6, r3
	blt	.L130
	mov	r0, #41
	bl	putchar
	add	r4, r4, #1
.L122:
	ldr	r3, [fp, #-48]
	ldr	r3, [r3]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r7, r7, r3
.L121:
	cmp	r7, r9
	bcc	.L131
	ldr	r0, .L133+28
	bl	puts
	add	r5, r5, #1
.L120:
	ldr	r3, .L133
	ldr	r2, [r3, #20]
	ldr	r3, .L133
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	blt	.L132
	nop
	nop
	sub	sp, fp, #28
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, fp, pc}
.L134:
	.align	2
.L133:
	.word	cube
	.word	.LC23
	.word	.LC24
	.word	.LC25
	.word	.LC26
	.word	.LC27
	.word	.LC28
	.word	.LC29
	.size	eqn_output, .-eqn_output
	.section	.rodata
	.align	2
.LC30:
	.ascii	"?01-\000"
	.text
	.align	2
	.global	fmt_cube
	.syntax unified
	.arm
	.fpu softvfp
	.type	fmt_cube, %function
fmt_cube:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, fp, lr}
	add	fp, sp, #16
	mov	ip, r1
	mov	r3, r2
	mov	r6, #0
	mov	r5, #0
	b	.L136
.L137:
	lsl	r2, r5, #1
	asr	r2, r2, #5
	add	r2, r2, #1
	lsl	r2, r2, #2
	add	r2, r0, r2
	ldr	r1, [r2]
	lsl	r2, r5, #1
	and	r2, r2, #30
	lsr	r2, r1, r2
	and	r1, r2, #3
	mov	r2, r6
	add	r6, r2, #1
	add	r2, r3, r2
	ldr	lr, .L146
	ldrb	r1, [lr, r1]	@ zero_extendqisi2
	strb	r1, [r2]
	add	r5, r5, #1
.L136:
	ldr	r2, .L146+4
	ldr	r2, [r2, #8]
	cmp	r5, r2
	blt	.L137
	ldr	r2, .L146+4
	ldr	r5, [r2, #8]
	b	.L138
.L141:
	mov	r2, r6
	add	r6, r2, #1
	add	r2, r3, r2
	mov	r1, #32
	strb	r1, [r2]
	ldr	r2, .L146+4
	ldr	r1, [r2, #12]
	mov	r2, r5
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r4, [r2]
	b	.L139
.L140:
	asr	r2, r4, #5
	add	r2, r2, #1
	lsl	r2, r2, #2
	add	r2, r0, r2
	ldr	r2, [r2]
	and	r1, r4, #31
	mov	lr, #1
	lsl	r1, lr, r1
	and	r2, r2, r1
	cmp	r2, #0
	movne	r2, #1
	moveq	r2, #0
	and	r2, r2, #255
	mov	lr, r2
	mov	r2, r6
	add	r6, r2, #1
	add	r2, r3, r2
	ldr	r1, .L146+8
	ldrb	r1, [r1, lr]	@ zero_extendqisi2
	strb	r1, [r2]
	add	r4, r4, #1
.L139:
	ldr	r2, .L146+4
	ldr	r1, [r2, #16]
	mov	r2, r5
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r2, [r2]
	cmp	r4, r2
	ble	.L140
	add	r5, r5, #1
.L138:
	ldr	r2, .L146+4
	ldr	r2, [r2, #4]
	sub	r2, r2, #1
	cmp	r5, r2
	blt	.L141
	ldr	r2, .L146+4
	ldr	r2, [r2, #72]
	cmn	r2, #1
	beq	.L142
	ldr	r2, .L146+4
	ldr	r1, [r2, #16]
	ldr	r2, .L146+4
	ldr	r2, [r2, #72]
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r5, [r2]
	mov	r2, r6
	add	r6, r2, #1
	add	r2, r3, r2
	mov	r1, #32
	strb	r1, [r2]
	ldr	r2, .L146+4
	ldr	r1, [r2, #12]
	ldr	r2, .L146+4
	ldr	r2, [r2, #72]
	lsl	r2, r2, #2
	add	r2, r1, r2
	ldr	r4, [r2]
	b	.L143
.L144:
	asr	r2, r4, #5
	add	r2, r2, #1
	lsl	r2, r2, #2
	add	r2, r0, r2
	ldr	r2, [r2]
	and	r1, r4, #31
	mov	lr, #1
	lsl	r1, lr, r1
	and	r2, r2, r1
	cmp	r2, #0
	movne	r2, #1
	moveq	r2, #0
	and	r2, r2, #255
	add	r1, ip, r2
	mov	r2, r6
	add	r6, r2, #1
	add	r2, r3, r2
	ldrb	r1, [r1]	@ zero_extendqisi2
	strb	r1, [r2]
	add	r4, r4, #1
.L143:
	cmp	r4, r5
	ble	.L144
.L142:
	mov	r2, r6
	add	r2, r3, r2
	mov	r1, #0
	strb	r1, [r2]
	mov	r0, r3
	pop	{r4, r5, r6, fp, pc}
.L147:
	.align	2
.L146:
	.word	.LC30
	.word	cube
	.word	.LC1
	.size	fmt_cube, .-fmt_cube
	.align	2
	.global	print_cube
	.syntax unified
	.arm
	.fpu softvfp
	.type	print_cube, %function
print_cube:
	@ args = 0, pretend = 0, frame = 8
	@ 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, r0
	mov	r8, r1
	mov	r9, r2
	mov	r6, #0
	b	.L149
.L156:
	lsl	r3, r6, #1
	asr	r3, r3, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r8, r3
	ldr	r2, [r3]
	lsl	r3, r6, #1
	and	r3, r3, #30
	lsr	r3, r2, r3
	and	r3, r3, #3
	ldr	r2, .L189
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	mov	r7, r3
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L150
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	and	r2, r7, #255
	strb	r2, [r3]
	b	.L151
.L150:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L152
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L152
	ldr	r3, [r4, #4]
	and	r2, r7, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L153
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L151
.L153:
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	b	.L151
.L152:
	and	r3, r7, #255
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
.L151:
	add	r6, r6, #1
.L149:
	ldr	r3, .L189+4
	ldr	r3, [r3, #8]
	cmp	r6, r3
	blt	.L156
	ldr	r3, .L189+4
	ldr	r6, [r3, #8]
	b	.L157
.L170:
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L158
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L159
.L158:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L160
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L160
	ldr	r3, [r4, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L159
.L160:
	mov	r1, r4
	mov	r0, #32
	bl	_flsbuf
.L159:
	ldr	r3, .L189+4
	ldr	r2, [r3, #12]
	mov	r3, r6
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L162
.L169:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r8, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L189+8
	ldrb	r3, [r3, r2]	@ zero_extendqisi2
	mov	r7, r3
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L163
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	and	r2, r7, #255
	strb	r2, [r3]
	b	.L164
.L163:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L165
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L165
	ldr	r3, [r4, #4]
	and	r2, r7, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L166
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L164
.L166:
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	b	.L164
.L165:
	and	r3, r7, #255
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
.L164:
	add	r5, r5, #1
.L162:
	ldr	r3, .L189+4
	ldr	r2, [r3, #16]
	mov	r3, r6
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L169
	add	r6, r6, #1
.L157:
	ldr	r3, .L189+4
	ldr	r3, [r3, #4]
	sub	r3, r3, #1
	cmp	r6, r3
	blt	.L170
	ldr	r3, .L189+4
	ldr	r3, [r3, #72]
	cmn	r3, #1
	beq	.L171
	ldr	r3, .L189+4
	ldr	r2, [r3, #16]
	ldr	r3, .L189+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-32]
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L172
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L173
.L172:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L174
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L174
	ldr	r3, [r4, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L173
.L174:
	mov	r1, r4
	mov	r0, #32
	bl	_flsbuf
.L173:
	ldr	r3, .L189+4
	ldr	r2, [r3, #12]
	ldr	r3, .L189+4
	ldr	r3, [r3, #72]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L176
.L183:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r8, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	add	r3, r9, r3
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r7, r3
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L177
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	and	r2, r7, #255
	strb	r2, [r3]
	b	.L178
.L177:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L179
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L179
	ldr	r3, [r4, #4]
	and	r2, r7, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L180
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L178
.L180:
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	b	.L178
.L179:
	and	r3, r7, #255
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
.L178:
	add	r5, r5, #1
.L176:
	ldr	r3, [fp, #-32]
	cmp	r5, r3
	ble	.L183
.L171:
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L184
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L188
.L184:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L186
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L186
	ldr	r3, [r4, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	nop
	b	.L188
.L186:
	mov	r1, r4
	mov	r0, #10
	bl	_flsbuf
.L188:
	nop
	sub	sp, fp, #28
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, fp, pc}
.L190:
	.align	2
.L189:
	.word	.LC30
	.word	cube
	.word	.LC1
	.size	print_cube, .-print_cube
	.section	.rodata
	.align	2
.LC31:
	.ascii	"1~\000"
	.text
	.align	2
	.global	print_expanded_cube
	.syntax unified
	.arm
	.fpu softvfp
	.type	print_expanded_cube, %function
print_expanded_cube:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, fp, lr}
	add	fp, sp, #24
	sub	sp, sp, #20
	mov	r4, r0
	mov	r8, r1
	str	r2, [fp, #-40]
	mov	r7, #0
	b	.L192
.L201:
	ldr	r3, .L233
	ldr	r2, [r3, #12]
	mov	r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L193
.L200:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r8, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L233+4
	ldrb	r3, [r3, r2]	@ zero_extendqisi2
	mov	r6, r3
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L194
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	and	r2, r6, #255
	strb	r2, [r3]
	b	.L195
.L194:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L196
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L196
	ldr	r3, [r4, #4]
	and	r2, r6, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L197
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L195
.L197:
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	b	.L195
.L196:
	and	r3, r6, #255
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
.L195:
	add	r5, r5, #1
.L193:
	ldr	r3, .L233
	ldr	r2, [r3, #16]
	mov	r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L200
	add	r7, r7, #1
.L192:
	ldr	r3, .L233
	ldr	r3, [r3, #8]
	cmp	r7, r3
	blt	.L201
	ldr	r3, .L233
	ldr	r7, [r3, #8]
	b	.L202
.L211:
	ldr	r3, .L233
	ldr	r2, [r3, #12]
	mov	r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L203
.L210:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r8, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L233+8
	ldrb	r3, [r3, r2]	@ zero_extendqisi2
	mov	r6, r3
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L204
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	and	r2, r6, #255
	strb	r2, [r3]
	b	.L205
.L204:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L206
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L206
	ldr	r3, [r4, #4]
	and	r2, r6, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L207
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L205
.L207:
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	b	.L205
.L206:
	and	r3, r6, #255
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
.L205:
	add	r5, r5, #1
.L203:
	ldr	r3, .L233
	ldr	r2, [r3, #16]
	mov	r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L210
	add	r7, r7, #1
.L202:
	ldr	r3, .L233
	ldr	r3, [r3, #4]
	sub	r3, r3, #1
	cmp	r7, r3
	blt	.L211
	ldr	r3, .L233
	ldr	r3, [r3, #72]
	cmn	r3, #1
	beq	.L212
	ldr	r3, .L233
	ldr	r3, [r3, #4]
	sub	r7, r3, #1
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L213
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L214
.L213:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L215
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L215
	ldr	r3, [r4, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L214
.L215:
	mov	r1, r4
	mov	r0, #32
	bl	_flsbuf
.L214:
	ldr	r3, .L233
	ldr	r2, [r3, #12]
	mov	r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L217
.L227:
	ldr	r3, [fp, #-40]
	cmp	r3, #0
	beq	.L218
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	ldr	r2, [fp, #-40]
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L219
.L218:
	ldr	r3, .L233+4
	str	r3, [fp, #-32]
	b	.L220
.L219:
	ldr	r3, .L233+12
	str	r3, [fp, #-32]
.L220:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r8, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, [fp, #-32]
	add	r3, r3, r2
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r6, r3
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L221
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	and	r2, r6, #255
	strb	r2, [r3]
	b	.L222
.L221:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L223
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L223
	ldr	r3, [r4, #4]
	and	r2, r6, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L224
	ldr	r3, [r4, #4]
	add	r3, r3, #1
	str	r3, [r4, #4]
	b	.L222
.L224:
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	b	.L222
.L223:
	and	r3, r6, #255
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
.L222:
	add	r5, r5, #1
.L217:
	ldr	r3, .L233
	ldr	r2, [r3, #16]
	mov	r3, r7
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L227
.L212:
	ldr	r3, [r4]
	sub	r3, r3, #1
	str	r3, [r4]
	ldr	r3, [r4]
	cmp	r3, #0
	blt	.L228
	ldr	r3, [r4, #4]
	add	r2, r3, #1
	str	r2, [r4, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L232
.L228:
	ldrsh	r3, [r4, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L230
	ldr	r3, [r4]
	rsb	r2, r3, #0
	ldr	r3, [r4, #12]
	cmp	r2, r3
	bge	.L230
	ldr	r3, [r4, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [r4, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	mov	r1, r4
	mov	r0, r3
	bl	_flsbuf
	nop
	b	.L232
.L230:
	mov	r1, r4
	mov	r0, #10
	bl	_flsbuf
.L232:
	nop
	sub	sp, fp, #24
	@ sp needed
	pop	{r4, r5, r6, r7, r8, fp, pc}
.L234:
	.align	2
.L233:
	.word	cube
	.word	.LC3
	.word	.LC31
	.word	.LC5
	.size	print_expanded_cube, .-print_expanded_cube
	.align	2
	.global	pc1
	.syntax unified
	.arm
	.fpu softvfp
	.type	pc1, %function
pc1:
	@ 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]
	ldr	r2, .L237
	ldr	r1, .L237+4
	ldr	r0, [fp, #-8]
	bl	fmt_cube
	mov	r3, r0
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L238:
	.align	2
.L237:
	.word	s1.5080
	.word	.LC1
	.size	pc1, .-pc1
	.align	2
	.global	pc2
	.syntax unified
	.arm
	.fpu softvfp
	.type	pc2, %function
pc2:
	@ 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]
	ldr	r2, .L241
	ldr	r1, .L241+4
	ldr	r0, [fp, #-8]
	bl	fmt_cube
	mov	r3, r0
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L242:
	.align	2
.L241:
	.word	s2.5084
	.word	.LC1
	.size	pc2, .-pc2
	.section	.rodata
	.align	2
.LC32:
	.ascii	"%s[%d]: ord(T)=%d\012\000"
	.align	2
.LC33:
	.ascii	"cofactor=%s\012\000"
	.align	2
.LC34:
	.ascii	"%4d. %s\012\000"
	.text
	.align	2
	.global	debug_print
	.syntax unified
	.arm
	.fpu softvfp
	.type	debug_print, %function
debug_print:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #16
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	ldr	r3, [fp, #-24]
	add	r3, r3, #4
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	sub	r3, r2, r3
	asr	r3, r3, #2
	sub	r4, r3, #3
	ldr	r3, .L253
	ldr	r3, [r3]
	cmp	r3, #32
	ble	.L244
	ldr	r3, .L253
	ldr	r3, [r3]
	sub	r3, r3, #1
	asr	r3, r3, #5
	add	r3, r3, #2
	lsl	r3, r3, #2
	b	.L245
.L244:
	mov	r3, #8
.L245:
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, .L253
	ldr	r3, [r3]
	mov	r1, r3
	mov	r0, r2
	bl	set_clear
	mov	r5, r0
	ldr	r3, .L253+4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L246
	ldr	r3, [fp, #-32]
	cmp	r3, #0
	bne	.L246
	mov	r0, #10
	bl	putchar
.L246:
	mov	r3, r4
	ldr	r2, [fp, #-32]
	ldr	r1, [fp, #-28]
	ldr	r0, .L253+8
	bl	printf
	ldr	r3, .L253+4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L247
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mov	r0, r3
	bl	pc1
	mov	r3, r0
	mov	r1, r3
	ldr	r0, .L253+12
	bl	printf
	ldr	r3, [fp, #-24]
	add	r7, r3, #8
	mov	r4, #1
	b	.L248
.L249:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mov	r2, r3
	mov	r1, r6
	mov	r0, r5
	bl	set_or
	mov	r3, r0
	mov	r0, r3
	bl	pc1
	mov	r3, r0
	mov	r2, r3
	mov	r1, r4
	ldr	r0, .L253+16
	bl	printf
	add	r4, r4, #1
.L248:
	mov	r3, r7
	add	r7, r3, #4
	ldr	r6, [r3]
	cmp	r6, #0
	bne	.L249
.L247:
	cmp	r5, #0
	beq	.L252
	mov	r0, r5
	bl	free
	mov	r5, #0
.L252:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L254:
	.align	2
.L253:
	.word	cube
	.word	verbose_debug
	.word	.LC32
	.word	.LC33
	.word	.LC34
	.size	debug_print, .-debug_print
	.align	2
	.global	debug1_print
	.syntax unified
	.arm
	.fpu softvfp
	.type	debug1_print, %function
debug1_print:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #16
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	mov	r7, #1
	ldr	r3, .L261
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L256
	ldr	r3, [fp, #-32]
	cmp	r3, #0
	bne	.L256
	mov	r0, #10
	bl	putchar
.L256:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-32]
	ldr	r1, [fp, #-28]
	ldr	r0, .L261+4
	bl	printf
	ldr	r3, .L261
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L260
	ldr	r3, [fp, #-24]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-24]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L258
.L259:
	mov	r6, r7
	add	r7, r6, #1
	mov	r0, r4
	bl	pc1
	mov	r3, r0
	mov	r2, r3
	mov	r1, r6
	ldr	r0, .L261+8
	bl	printf
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L258:
	cmp	r4, r5
	bcc	.L259
.L260:
	nop
	sub	sp, fp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, fp, pc}
.L262:
	.align	2
.L261:
	.word	verbose_debug
	.word	.LC32
	.word	.LC34
	.size	debug1_print, .-debug1_print
	.align	2
	.global	cprint
	.syntax unified
	.arm
	.fpu softvfp
	.type	cprint, %function
cprint:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #8
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-16]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-16]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L264
.L265:
	mov	r0, r4
	bl	pc1
	mov	r3, r0
	mov	r0, r3
	bl	puts
	ldr	r3, [fp, #-16]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L264:
	cmp	r4, r5
	bcc	.L265
	nop
	nop
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
	.size	cprint, .-cprint
	.section	.rodata
	.align	2
.LC35:
	.ascii	"v%d.bar\000"
	.align	2
.LC36:
	.ascii	"v%d\000"
	.align	2
.LC37:
	.ascii	"v%d.%d\000"
	.text
	.align	2
	.global	makeup_labels
	.syntax unified
	.arm
	.fpu softvfp
	.type	makeup_labels, %function
makeup_labels:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #28
	str	r0, [fp, #-32]
	ldr	r3, [fp, #-32]
	ldr	r3, [r3, #28]
	cmp	r3, #0
	bne	.L267
	ldr	r0, [fp, #-32]
	bl	PLA_labels
.L267:
	mov	r3, #0
	str	r3, [fp, #-24]
	b	.L268
.L274:
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L269
.L273:
	ldr	r3, .L275
	ldr	r2, [r3, #12]
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-32]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L270
	ldr	r3, [fp, #-32]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r4, r2, r3
	mov	r0, #15
	bl	malloc
	mov	r3, r0
	str	r3, [r4]
	ldr	r3, .L275
	ldr	r3, [r3, #8]
	ldr	r2, [fp, #-24]
	cmp	r2, r3
	bge	.L271
	ldr	r3, [fp, #-20]
	and	r3, r3, #1
	cmp	r3, #0
	bne	.L272
	ldr	r3, [fp, #-32]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #-24]
	ldr	r1, .L275+4
	mov	r0, r3
	bl	sprintf
	b	.L270
.L272:
	ldr	r3, [fp, #-32]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #-24]
	ldr	r1, .L275+8
	mov	r0, r3
	bl	sprintf
	b	.L270
.L271:
	ldr	r3, [fp, #-32]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-16]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r0, [r3]
	ldr	r3, [fp, #-20]
	ldr	r2, [fp, #-24]
	ldr	r1, .L275+12
	bl	sprintf
.L270:
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L269:
	ldr	r3, .L275
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r2, [fp, #-20]
	cmp	r2, r3
	blt	.L273
	ldr	r3, [fp, #-24]
	add	r3, r3, #1
	str	r3, [fp, #-24]
.L268:
	ldr	r3, .L275
	ldr	r3, [r3, #4]
	ldr	r2, [fp, #-24]
	cmp	r2, r3
	blt	.L274
	nop
	mov	r0, r3
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
.L276:
	.align	2
.L275:
	.word	cube
	.word	.LC35
	.word	.LC36
	.word	.LC37
	.size	makeup_labels, .-makeup_labels
	.align	2
	.global	kiss_output
	.syntax unified
	.arm
	.fpu softvfp
	.type	kiss_output, %function
kiss_output:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #8
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	ldr	r3, [fp, #-20]
	ldr	r3, [r3]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-20]
	ldr	r3, [r3]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-20]
	ldr	r2, [r2]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L278
.L279:
	ldr	r3, .L282
	mov	r2, r4
	ldr	r1, [fp, #-20]
	ldr	r0, [fp, #-16]
	bl	kiss_print_cube
	ldr	r3, [fp, #-20]
	ldr	r3, [r3]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L278:
	cmp	r4, r5
	bcc	.L279
	ldr	r3, [fp, #-20]
	ldr	r3, [r3, #4]
	ldr	r4, [r3, #20]
	ldr	r3, [fp, #-20]
	ldr	r3, [r3, #4]
	ldr	r3, [r3, #12]
	ldr	r2, [fp, #-20]
	ldr	r2, [r2, #4]
	ldr	r2, [r2]
	mul	r3, r2, r3
	lsl	r3, r3, #2
	add	r5, r4, r3
	b	.L280
.L281:
	ldr	r3, .L282+4
	mov	r2, r4
	ldr	r1, [fp, #-20]
	ldr	r0, [fp, #-16]
	bl	kiss_print_cube
	ldr	r3, [fp, #-20]
	ldr	r3, [r3, #4]
	ldr	r3, [r3]
	lsl	r3, r3, #2
	add	r4, r4, r3
.L280:
	cmp	r4, r5
	bcc	.L281
	nop
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L283:
	.align	2
.L282:
	.word	.LC3
	.word	.LC4
	.size	kiss_output, .-kiss_output
	.section	.rodata
	.align	2
.LC38:
	.ascii	"more than 1 part in a symbolic variable\012\000"
	.text
	.align	2
	.global	kiss_print_cube
	.syntax unified
	.arm
	.fpu softvfp
	.type	kiss_print_cube, %function
kiss_print_cube:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #24
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	str	r3, [fp, #-36]
	mov	r4, #0
	b	.L285
.L292:
	lsl	r3, r4, #1
	asr	r3, r3, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r2, [r3]
	lsl	r3, r4, #1
	and	r3, r3, #30
	lsr	r3, r2, r3
	and	r3, r3, #3
	ldr	r2, .L329
	ldrb	r3, [r2, r3]	@ zero_extendqisi2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L286
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	ldr	r2, [fp, #-16]
	and	r2, r2, #255
	strb	r2, [r3]
	b	.L287
.L286:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L288
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L288
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldr	r2, [fp, #-16]
	and	r2, r2, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L289
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L287
.L289:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L287
.L288:
	ldr	r3, [fp, #-16]
	and	r3, r3, #255
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
.L287:
	add	r4, r4, #1
.L285:
	ldr	r3, .L329+4
	ldr	r3, [r3, #8]
	cmp	r4, r3
	blt	.L292
	ldr	r3, .L329+4
	ldr	r4, [r3, #8]
	b	.L293
.L311:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L294
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L295
.L294:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L296
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L296
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L295
.L296:
	ldr	r1, [fp, #-24]
	mov	r0, #32
	bl	_flsbuf
.L295:
	ldr	r3, .L329+4
	ldr	r2, [r3, #40]
	mov	r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r1, [fp, #-32]
	mov	r0, r3
	bl	setp_implies
	mov	r3, r0
	cmp	r3, #0
	beq	.L298
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L299
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #45
	strb	r2, [r3]
	b	.L300
.L299:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L301
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L301
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #45
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L300
.L301:
	ldr	r1, [fp, #-24]
	mov	r0, #45
	bl	_flsbuf
	b	.L300
.L298:
	mvn	r3, #0
	str	r3, [fp, #-20]
	ldr	r3, .L329+4
	ldr	r2, [r3, #12]
	mov	r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L303
.L306:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L304
	ldr	r3, [fp, #-20]
	cmn	r3, #1
	beq	.L305
	ldr	r0, .L329+8
	bl	fatal
.L305:
	str	r5, [fp, #-20]
.L304:
	add	r5, r5, #1
.L303:
	ldr	r3, .L329+4
	ldr	r2, [r3, #16]
	mov	r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L306
	ldr	r3, [fp, #-20]
	cmn	r3, #1
	bne	.L307
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L308
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #126
	strb	r2, [r3]
	b	.L300
.L308:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L309
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L309
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #126
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L300
.L309:
	ldr	r1, [fp, #-24]
	mov	r0, #126
	bl	_flsbuf
	b	.L300
.L307:
	ldr	r3, [fp, #-28]
	ldr	r2, [r3, #28]
	ldr	r3, [fp, #-20]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	fputs
.L300:
	add	r4, r4, #1
.L293:
	ldr	r3, .L329+4
	ldr	r3, [r3, #4]
	sub	r3, r3, #1
	cmp	r4, r3
	blt	.L311
	ldr	r3, .L329+4
	ldr	r4, [r3, #72]
	cmn	r4, #1
	beq	.L312
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L313
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #32
	strb	r2, [r3]
	b	.L314
.L313:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L315
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L315
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #32
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L314
.L315:
	ldr	r1, [fp, #-24]
	mov	r0, #32
	bl	_flsbuf
.L314:
	ldr	r3, .L329+4
	ldr	r2, [r3, #12]
	mov	r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r5, [r3]
	b	.L317
.L324:
	asr	r3, r5, #5
	add	r3, r3, #1
	lsl	r3, r3, #2
	ldr	r2, [fp, #-32]
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, [fp, #-36]
	add	r3, r3, r2
	ldrb	r3, [r3]	@ zero_extendqisi2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L318
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	ldr	r2, [fp, #-16]
	and	r2, r2, #255
	strb	r2, [r3]
	b	.L319
.L318:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L320
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L320
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldr	r2, [fp, #-16]
	and	r2, r2, #255
	strb	r2, [r3]
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #10
	beq	.L321
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3, #4]
	b	.L319
.L321:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L319
.L320:
	ldr	r3, [fp, #-16]
	and	r3, r3, #255
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
.L319:
	add	r5, r5, #1
.L317:
	ldr	r3, .L329+4
	ldr	r2, [r3, #16]
	mov	r3, r4
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r5, r3
	ble	.L324
.L312:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	sub	r2, r3, #1
	ldr	r3, [fp, #-24]
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	cmp	r3, #0
	blt	.L325
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	add	r1, r3, #1
	ldr	r2, [fp, #-24]
	str	r1, [r2, #4]
	mov	r2, #10
	strb	r2, [r3]
	b	.L326
.L325:
	ldr	r3, [fp, #-24]
	ldrsh	r3, [r3, #16]
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	and	r3, r3, #128
	cmp	r3, #0
	beq	.L327
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	rsb	r2, r3, #0
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r2, r3
	bge	.L327
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	mov	r2, #10
	strb	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldrb	r3, [r3]	@ zero_extendqisi2
	ldr	r1, [fp, #-24]
	mov	r0, r3
	bl	_flsbuf
	b	.L326
.L327:
	ldr	r1, [fp, #-24]
	mov	r0, #10
	bl	_flsbuf
.L326:
	nop
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L330:
	.align	2
.L329:
	.word	.LC30
	.word	cube
	.word	.LC38
	.size	kiss_print_cube, .-kiss_print_cube
	.section	.rodata
	.align	2
.LC39:
	.ascii	"# Symbolic constraints for variable %d (Numeric for"
	.ascii	"m)\012\000"
	.align	2
.LC40:
	.ascii	"# unconstrained weight = %d\012\000"
	.align	2
.LC41:
	.ascii	"num_codes=%d\012\000"
	.align	2
.LC42:
	.ascii	"weight=%d: \000"
	.align	2
.LC43:
	.ascii	"# Symbolic constraints for variable %d (Symbolic fo"
	.ascii	"rm)\012\000"
	.align	2
.LC44:
	.ascii	"#   w=%d: (\000"
	.align	2
.LC45:
	.ascii	" )\012\000"
	.text
	.align	2
	.global	output_symbolic_constraints
	.syntax unified
	.arm
	.fpu softvfp
	.type	output_symbolic_constraints, %function
output_symbolic_constraints:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #48
	str	r0, [fp, #-48]
	str	r1, [fp, #-52]
	str	r2, [fp, #-56]
	ldr	r3, .L368
	ldr	r2, [r3, #4]
	ldr	r3, .L368
	ldr	r3, [r3, #8]
	sub	r3, r2, r3
	cmp	r3, #1
	ble	.L367
	ldr	r0, [fp, #-52]
	bl	makeup_labels
	ldr	r3, .L368
	ldr	r3, [r3, #8]
	str	r3, [fp, #-40]
	b	.L334
.L366:
	ldr	r3, .L368
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-40]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-32]
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-28]
	mov	r4, #0
	b	.L335
.L336:
	ldr	r3, .L368
	ldr	r2, [r3, #12]
	ldr	r3, [fp, #-40]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r1, [fp, #-28]
	add	r3, r1, r3
	add	r2, r4, r2
	str	r2, [r3]
	add	r4, r4, #1
.L335:
	ldr	r3, [fp, #-32]
	cmp	r4, r3
	blt	.L336
	ldr	r3, [fp, #-52]
	ldr	r3, [r3]
	mov	r0, r3
	bl	sf_save
	mov	r3, r0
	ldr	r2, [fp, #-32]
	ldr	r1, [fp, #-28]
	mov	r0, r3
	bl	sf_permute
	str	r0, [fp, #-24]
	ldr	r3, [fp, #-28]
	cmp	r3, #0
	beq	.L338
	ldr	r0, [fp, #-28]
	bl	free
	mov	r3, #0
	str	r3, [fp, #-28]
.L338:
	mov	r3, #0
	str	r3, [fp, #-36]
	mov	r4, #0
	b	.L339
.L342:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r0, r3
	bl	set_ord
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmp	r3, #1
	beq	.L340
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	bne	.L341
.L340:
	mov	r3, r4
	sub	r4, r3, #1
	mov	r1, r3
	ldr	r0, [fp, #-24]
	bl	sf_delset
	ldr	r3, [fp, #-36]
	add	r3, r3, #1
	str	r3, [fp, #-36]
.L341:
	add	r4, r4, #1
.L339:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r4, r3
	blt	.L342
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	lsl	r3, r3, #2
	mov	r0, r3
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-20]
	mov	r4, #0
	b	.L343
.L344:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r1, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	lsl	r3, r3, #2
	add	r3, r1, r3
	bic	r2, r2, #2048
	str	r2, [r3]
	add	r4, r4, #1
.L343:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r4, r3
	blt	.L344
	mov	r4, #0
	b	.L345
.L350:
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r3, r3, #2048
	cmp	r3, #0
	bne	.L346
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	mov	r2, #1
	str	r2, [r3]
	add	r5, r4, #1
	b	.L347
.L349:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	lsl	r3, r3, #2
	add	r0, r2, r3
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r5, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	mov	r1, r3
	bl	setp_equal
	mov	r3, r0
	cmp	r3, #0
	beq	.L348
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	ldr	r2, [r3]
	add	r2, r2, #1
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r5, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r1, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r5, r3
	lsl	r3, r3, #2
	add	r3, r1, r3
	orr	r2, r2, #2048
	str	r2, [r3]
.L348:
	add	r5, r5, #1
.L347:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r5, r3
	blt	.L349
.L346:
	add	r4, r4, #1
.L345:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r4, r3
	blt	.L350
	ldr	r3, [fp, #-56]
	cmp	r3, #0
	bne	.L351
	ldr	r2, [fp, #-40]
	ldr	r1, .L368+4
	ldr	r0, [fp, #-48]
	bl	fprintf
	ldr	r2, [fp, #-36]
	ldr	r1, .L368+8
	ldr	r0, [fp, #-48]
	bl	fprintf
	ldr	r3, .L368
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-40]
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L368+12
	ldr	r0, [fp, #-48]
	bl	fprintf
	mov	r4, #0
	b	.L352
.L357:
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	ble	.L353
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L368+16
	ldr	r0, [fp, #-48]
	bl	fprintf
	mov	r5, #0
	b	.L354
.L356:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	mov	r1, r3
	asr	r3, r5, #5
	add	r3, r1, r3
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L355
	mov	r2, r5
	ldr	r1, .L368+20
	ldr	r0, [fp, #-48]
	bl	fprintf
.L355:
	add	r5, r5, #1
.L354:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	cmp	r5, r3
	blt	.L356
	ldr	r1, [fp, #-48]
	mov	r0, #10
	bl	fputc
.L353:
	add	r4, r4, #1
.L352:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r4, r3
	blt	.L357
	b	.L358
.L351:
	ldr	r2, [fp, #-40]
	ldr	r1, .L368+24
	ldr	r0, [fp, #-48]
	bl	fprintf
	mov	r4, #0
	b	.L359
.L364:
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	ldr	r3, [r3]
	cmp	r3, #0
	ble	.L360
	mov	r3, r4
	lsl	r3, r3, #2
	ldr	r2, [fp, #-20]
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L368+28
	ldr	r0, [fp, #-48]
	bl	fprintf
	mov	r5, #0
	b	.L361
.L363:
	ldr	r3, [fp, #-24]
	ldr	r2, [r3, #20]
	ldr	r3, [fp, #-24]
	ldr	r3, [r3]
	mul	r3, r4, r3
	mov	r1, r3
	asr	r3, r5, #5
	add	r3, r1, r3
	add	r3, r3, #1
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	and	r2, r5, #31
	mov	r1, #1
	lsl	r2, r1, r2
	and	r3, r3, r2
	cmp	r3, #0
	beq	.L362
	ldr	r3, [fp, #-52]
	ldr	r2, [r3, #28]
	ldr	r3, .L368
	ldr	r1, [r3, #12]
	ldr	r3, [fp, #-40]
	lsl	r3, r3, #2
	add	r3, r1, r3
	ldr	r3, [r3]
	add	r3, r5, r3
	lsl	r3, r3, #2
	add	r3, r2, r3
	ldr	r3, [r3]
	mov	r2, r3
	ldr	r1, .L368+32
	ldr	r0, [fp, #-48]
	bl	fprintf
.L362:
	add	r5, r5, #1
.L361:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #4]
	cmp	r5, r3
	blt	.L363
	ldr	r3, [fp, #-48]
	mov	r2, #3
	mov	r1, #1
	ldr	r0, .L368+36
	bl	fwrite
.L360:
	add	r4, r4, #1
.L359:
	ldr	r3, [fp, #-24]
	ldr	r3, [r3, #12]
	cmp	r4, r3
	blt	.L364
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	beq	.L358
	ldr	r0, [fp, #-20]
	bl	free
	mov	r3, #0
	str	r3, [fp, #-20]
.L358:
	ldr	r3, [fp, #-40]
	add	r3, r3, #1
	str	r3, [fp, #-40]
.L334:
	ldr	r3, .L368
	ldr	r3, [r3, #4]
	sub	r3, r3, #1
	ldr	r2, [fp, #-40]
	cmp	r2, r3
	blt	.L366
	b	.L333
.L367:
	nop
.L333:
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L369:
	.align	2
.L368:
	.word	cube
	.word	.LC39
	.word	.LC40
	.word	.LC41
	.word	.LC42
	.word	.LC11
	.word	.LC43
	.word	.LC44
	.word	.LC13
	.word	.LC45
	.size	output_symbolic_constraints, .-output_symbolic_constraints
	.local	s1.5080
	.comm	s1.5080,256,4
	.local	s2.5084
	.comm	s2.5084,256,4
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
