// File: /workspace/github_c_makefile_star2_O0/georgeweigt[P]eigenmath/eigenmath.c
// Function: expform
void
expform(void)
{
	int h, i, n;
	struct atom *p1, *num, *den;

	p1 = pop();

	if (istensor(p1)) {
		p1 = copy_tensor(p1);
		n = p1->u.tensor->nelem;
		for (i = 0; i < n; i++) {
			push(p1->u.tensor->elem[i]);
			expform();
			p1->u.tensor->elem[i] = pop();
		}
		push(p1);
		return;
	}

	if (!iscons(p1)) {
		push(p1);
		return;
	}

	if (car(p1) == symbol(ADD)) {
		h = tos;
		p1 = cdr(p1);
		while (iscons(p1)) {
			push(car(p1));
			expform();
			p1 = cdr(p1);
		}
		add_terms(tos - h);
		return;
	}

	if (car(p1) == symbol(MULTIPLY)) {

		push(p1);
		numden();
		num = pop();
		den = pop();

		p1 = num;
		if (car(p1) == symbol(MULTIPLY)) {
			h = tos;
			p1 = cdr(p1);
			while (iscons(p1)) {
				push(car(p1));
				expform();
				p1 = cdr(p1);
			}
			multiply_factors(tos - h);
		} else {
			push(p1);
			expform();
		}
		num = pop();

		p1 = den;
		if (car(p1) == symbol(MULTIPLY)) {
			h = tos;
			p1 = cdr(p1);
			while (iscons(p1)) {
				push(car(p1));
				expform();
				p1 = cdr(p1);
			}
			multiply_factors(tos - h);
		} else {
			push(p1);
			expform();
		}
		den = pop();

		push(num);
		push(den);
		divide();
		return;
	}

	if (car(p1) == symbol(POWER)) {
		push(cadr(p1));
		expform();
		push(caddr(p1));
		expform();
		power();
		return;
	}

	if (car(p1) == symbol(COS)) {
		push(cadr(p1));
		expform();
		expcos();
		return;
	}

	if (car(p1) == symbol(SIN)) {
		push(cadr(p1));
		expform();
		expsin();
		return;
	}

	if (car(p1) == symbol(TAN)) {
		push(cadr(p1));
		expform();
		exptan();
		return;
	}

	if (car(p1) == symbol(COSH)) {
		push(cadr(p1));
		expform();
		expcosh();
		return;
	}

	if (car(p1) == symbol(SINH)) {
		push(cadr(p1));
		expform();
		expsinh();
		return;
	}

	if (car(p1) == symbol(TANH)) {
		push(cadr(p1));
		expform();
		exptanh();
		return;
	}

	h = tos;
	push(car(p1));
	p1 = cdr(p1);
	while (iscons(p1)) {
		push(car(p1));
		expform();
		p1 = cdr(p1);
	}
	list(tos - h);
	evalf();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
callq 0x91d0
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x7, %eax
jne 0x1b865
movq -0x18(%rbp), %rdi
callq 0xa550
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movl 0x64(%rax), %eax
movl %eax, -0xc(%rbp)
movl $0x0, -0x8(%rbp)
movl -0x8(%rbp), %eax
cmpl -0xc(%rbp), %eax
jge 0x1b857
movq -0x18(%rbp), %rax
movq (%rax), %rax
movslq -0x8(%rbp), %rcx
movq 0x68(%rax,%rcx,8), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x91d0
movq %rax, %rdx
movq -0x18(%rbp), %rax
movq (%rax), %rax
movslq -0x8(%rbp), %rcx
movq %rdx, 0x68(%rax,%rcx,8)
movl -0x8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x8(%rbp)
jmp 0x1b812
movq -0x18(%rbp), %rdi
callq 0x9110
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
je 0x1b880
movq -0x18(%rbp), %rdi
callq 0x9110
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b89a
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0x1b8a5
movq 0x4315f(%rip), %rax     # 0x5ea00
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq 0x459f0(%rip), %rax     # 0x612a0
jne 0x1b970
movl 0x3c9fc(%rip), %eax     # 0x582b8
movl %eax, -0x4(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b8da
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x1b8e5
movq 0x4311f(%rip), %rax     # 0x5ea00
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b95d
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b914
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x40(%rbp)
jmp 0x1b91f
movq 0x430e5(%rip), %rax     # 0x5ea00
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b948
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
jmp 0x1b953
movq 0x430b1(%rip), %rax     # 0x5ea00
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x1b8ed
movl 0x3c955(%rip), %edi     # 0x582b8
subl -0x4(%rbp), %edi
callq 0xc520
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b98a
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x50(%rbp)
jmp 0x1b995
movq 0x4306f(%rip), %rax     # 0x5ea00
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
cmpq 0x45908(%rip), %rax     # 0x612a8
jne 0x1bc0f
movq -0x18(%rbp), %rdi
callq 0x9110
callq 0x11e60
callq 0x91d0
movq %rax, -0x20(%rbp)
callq 0x91d0
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1b9e8
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x58(%rbp)
jmp 0x1b9f3
movq 0x43011(%rip), %rax     # 0x5ea00
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
cmpq 0x458aa(%rip), %rax     # 0x612a8
jne 0x1babb
movl 0x3c8ae(%rip), %eax     # 0x582b8
movl %eax, -0x4(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1ba28
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x1ba33
movq 0x42fd1(%rip), %rax     # 0x5ea00
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1baab
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1ba62
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x1ba6d
movq 0x42f97(%rip), %rax     # 0x5ea00
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1ba96
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x70(%rbp)
jmp 0x1baa1
movq 0x42f63(%rip), %rax     # 0x5ea00
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x1ba3b
movl 0x3c807(%rip), %edi     # 0x582b8
subl -0x4(%rbp), %edi
callq 0xc3d0
jmp 0x1bac9
movq -0x18(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x91d0
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1baf4
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x1baff
movq 0x42f05(%rip), %rax     # 0x5ea00
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
cmpq 0x4579e(%rip), %rax     # 0x612a8
jne 0x1bbdc
movl 0x3c7a2(%rip), %eax     # 0x582b8
movl %eax, -0x4(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bb34
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x80(%rbp)
jmp 0x1bb3f
movq 0x42ec5(%rip), %rax     # 0x5ea00
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bbcc
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bb71
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x88(%rbp)
jmp 0x1bb7f
movq 0x42e88(%rip), %rax     # 0x5ea00
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bbae
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x90(%rbp)
jmp 0x1bbbc
movq 0x42e4b(%rip), %rax     # 0x5ea00
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x1bb47
movl 0x3c6e6(%rip), %edi     # 0x582b8
subl -0x4(%rbp), %edi
callq 0xc3d0
jmp 0x1bbea
movq -0x18(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x91d0
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x9110
movq -0x28(%rbp), %rdi
callq 0x9110
callq 0x117a0
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bc2c
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x98(%rbp)
jmp 0x1bc3a
movq 0x42dcd(%rip), %rax     # 0x5ea00
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
cmpq 0x45668(%rip), %rax     # 0x612b0
jne 0x1be4c
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bc6c
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa0(%rbp)
jmp 0x1bc7a
movq 0x42d8d(%rip), %rax     # 0x5ea00
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bcc9
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bca8
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
jmp 0x1bcb6
movq 0x42d51(%rip), %rax     # 0x5ea00
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xb0(%rbp)
jmp 0x1bcd7
movq 0x42d30(%rip), %rax     # 0x5ea00
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bd06
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb8(%rbp)
jmp 0x1bd14
movq 0x42cf3(%rip), %rax     # 0x5ea00
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bd64
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bd42
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
jmp 0x1bd50
movq 0x42cb7(%rip), %rax     # 0x5ea00
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc8(%rbp)
jmp 0x1bd72
movq 0x42c95(%rip), %rax     # 0x5ea00
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1be23
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bda4
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd0(%rbp)
jmp 0x1bdb2
movq 0x42c55(%rip), %rax     # 0x5ea00
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1be02
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bde0
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd8(%rbp)
jmp 0x1bdee
movq 0x42c19(%rip), %rax     # 0x5ea00
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe0(%rbp)
jmp 0x1be10
movq 0x42bf7(%rip), %rax     # 0x5ea00
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xe8(%rbp)
jmp 0x1be31
movq 0x42bd6(%rip), %rax     # 0x5ea00
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0xb8b0
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1be69
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xf0(%rbp)
jmp 0x1be77
movq 0x42b90(%rip), %rax     # 0x5ea00
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
cmpq 0x4096b(%rip), %rax     # 0x5c7f0
jne 0x1bf2f
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bea9
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf8(%rbp)
jmp 0x1beb7
movq 0x42b50(%rip), %rax     # 0x5ea00
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bf06
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bee5
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x100(%rbp)
jmp 0x1bef3
movq 0x42b14(%rip), %rax     # 0x5ea00
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x108(%rbp)
jmp 0x1bf14
movq 0x42af3(%rip), %rax     # 0x5ea00
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x1b5a0
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bf4c
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x110(%rbp)
jmp 0x1bf5a
movq 0x42aad(%rip), %rax     # 0x5ea00
movq %rax, -0x110(%rbp)
movq -0x110(%rbp), %rax
cmpq 0x43a58(%rip), %rax     # 0x5f9c0
jne 0x1c012
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bf8c
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x118(%rbp)
jmp 0x1bf9a
movq 0x42a6d(%rip), %rax     # 0x5ea00
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bfe9
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1bfc8
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x120(%rbp)
jmp 0x1bfd6
movq 0x42a31(%rip), %rax     # 0x5ea00
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x128(%rbp)
jmp 0x1bff7
movq 0x42a10(%rip), %rax     # 0x5ea00
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x1c4c0
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c02f
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x130(%rbp)
jmp 0x1c03d
movq 0x429ca(%rip), %rax     # 0x5ea00
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
cmpq 0x43c85(%rip), %rax     # 0x5fcd0
jne 0x1c0f5
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c06f
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x138(%rbp)
jmp 0x1c07d
movq 0x4298a(%rip), %rax     # 0x5ea00
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c0cc
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c0ab
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x140(%rbp)
jmp 0x1c0b9
movq 0x4294e(%rip), %rax     # 0x5ea00
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x148(%rbp)
jmp 0x1c0da
movq 0x4292d(%rip), %rax     # 0x5ea00
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x1c570
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c112
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x150(%rbp)
jmp 0x1c120
movq 0x428e7(%rip), %rax     # 0x5ea00
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
cmpq 0x406ca(%rip), %rax     # 0x5c7f8
jne 0x1c1d8
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c152
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x158(%rbp)
jmp 0x1c160
movq 0x428a7(%rip), %rax     # 0x5ea00
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c1af
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c18e
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x160(%rbp)
jmp 0x1c19c
movq 0x4286b(%rip), %rax     # 0x5ea00
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x168(%rbp)
jmp 0x1c1bd
movq 0x4284a(%rip), %rax     # 0x5ea00
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x1b6d0
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c1f5
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x170(%rbp)
jmp 0x1c203
movq 0x42804(%rip), %rax     # 0x5ea00
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
cmpq 0x437b7(%rip), %rax     # 0x5f9c8
jne 0x1c2bb
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c235
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x178(%rbp)
jmp 0x1c243
movq 0x427c4(%rip), %rax     # 0x5ea00
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c292
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c271
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x180(%rbp)
jmp 0x1c27f
movq 0x42788(%rip), %rax     # 0x5ea00
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x188(%rbp)
jmp 0x1c2a0
movq 0x42767(%rip), %rax     # 0x5ea00
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x1c600
jmp 0x1c4ad
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c2d8
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x190(%rbp)
jmp 0x1c2e6
movq 0x42721(%rip), %rax     # 0x5ea00
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
cmpq 0x439e4(%rip), %rax     # 0x5fcd8
jne 0x1c39e
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c318
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x198(%rbp)
jmp 0x1c326
movq 0x426e1(%rip), %rax     # 0x5ea00
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c375
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c354
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x1c362
movq 0x426a5(%rip), %rax     # 0x5ea00
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x1c383
movq 0x42684(%rip), %rax     # 0x5ea00
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
callq 0x1c660
jmp 0x1c4ad
movl 0x3bf14(%rip), %eax     # 0x582b8
movl %eax, -0x4(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c3c4
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1b0(%rbp)
jmp 0x1c3d2
movq 0x42635(%rip), %rax     # 0x5ea00
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rdi
callq 0x9110
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c3fc
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x1c40a
movq 0x425fd(%rip), %rax     # 0x5ea00
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c49a
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c43f
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x1c44d
movq 0x425ba(%rip), %rax     # 0x5ea00
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rdi
callq 0x9110
callq 0x1b7d0
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x1c47c
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c8(%rbp)
jmp 0x1c48a
movq 0x4257d(%rip), %rax     # 0x5ea00
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x1c415
movl 0x3be18(%rip), %edi     # 0x582b8
subl -0x4(%rbp), %edi
callq 0x90d0
callq 0xa660
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
nopw %cs:(%rax,%rax)