// File: /workspace/github_c_makefile_star2_O0/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_product
void
eval_product(struct atom *p1)
{
	int h, i, j, k, n;
	struct atom *p2, *p3;

	// product of tensor elements?

	if (lengthf(p1) == 2) {
		push(cadr(p1));
		evalf();
		p1 = pop();
		if (!istensor(p1)) {
			push(p1);
			return;
		}
		n = p1->u.tensor->nelem;
		for (i = 0; i < n; i++)
			push(p1->u.tensor->elem[i]);
		multiply_factors(n);
		return;
	}

	p2 = cadr(p1);
	if (!isusersymbol(p2))
		stopf("product: index symbol err");

	push(caddr(p1));
	evalf();
	p3 = pop();
	if (!issmallinteger(p3))
		stopf("product: index range err");
	push(p3);
	j = pop_integer();

	push(cadddr(p1));
	evalf();
	p3 = pop();
	if (!issmallinteger(p3))
		stopf("product: index range err");
	push(p3);
	k = pop_integer();

	p1 = caddddr(p1);

	save_symbol(p2);

	h = tos;

	for (;;) {
		push_integer(j);
		p3 = pop();
		set_symbol(p2, p3, symbol(NIL));
		push(p1);
		evalg();
		if (j == k)
			break;
		if (j < k)
			j++;
		else
			j--;
		if (tos - h == 1000)
			multiply_factors(1000); // to prevent stack overflow
	}

	multiply_factors(tos - h);

	p1 = pop();
	restore_symbol();
	push(p1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x210, %rsp            # imm = 0x210
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
callq 0x9220
cmpl $0x2, %eax
jne 0x2dded
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2dd1c
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x2dd27
movq 0x30cdd(%rip), %rax     # 0x5ea00
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2dd67
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2dd4f
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
jmp 0x2dd5a
movq 0x30caa(%rip), %rax     # 0x5ea00
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x48(%rbp)
jmp 0x2dd72
movq 0x30c92(%rip), %rax     # 0x5ea00
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rdi
callq 0x9110
callq 0xa660
callq 0x91d0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x7, %eax
je 0x2dda4
movq -0x8(%rbp), %rdi
callq 0x9110
jmp 0x2e977
movq -0x8(%rbp), %rax
movq (%rax), %rax
movl 0x64(%rax), %eax
movl %eax, -0x1c(%rbp)
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x2dde0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movslq -0x10(%rbp), %rcx
movq 0x68(%rax,%rcx,8), %rdi
callq 0x9110
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x2ddb8
movl -0x1c(%rbp), %edi
callq 0xc3d0
jmp 0x2e977
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2de08
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x50(%rbp)
jmp 0x2de13
movq 0x30bf1(%rip), %rax     # 0x5ea00
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2de53
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2de3b
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x58(%rbp)
jmp 0x2de46
movq 0x30bbe(%rip), %rax     # 0x5ea00
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x2de5e
movq 0x30ba6(%rip), %rax     # 0x5ea00
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x3, %eax
je 0x2de7f
leaq 0x1ba67(%rip), %rdi     # 0x498e1
callq 0x78d0
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2de9a
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x2dea5
movq 0x30b5f(%rip), %rax     # 0x5ea00
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2dee6
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2decd
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x70(%rbp)
jmp 0x2ded8
movq 0x30b2c(%rip), %rax     # 0x5ea00
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x2def1
movq 0x30b13(%rip), %rax     # 0x5ea00
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2df96
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2df1d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x80(%rbp)
jmp 0x2df28
movq 0x30adc(%rip), %rax     # 0x5ea00
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2df75
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2df53
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x88(%rbp)
jmp 0x2df61
movq 0x30aa6(%rip), %rax     # 0x5ea00
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x90(%rbp)
jmp 0x2df83
movq 0x30a84(%rip), %rax     # 0x5ea00
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x98(%rbp)
jmp 0x2dfa4
movq 0x30a63(%rip), %rax     # 0x5ea00
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rdi
callq 0x9110
callq 0xa660
callq 0x91d0
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x1dec0
cmpl $0x0, %eax
jne 0x2dfd8
leaq 0x1b928(%rip), %rdi     # 0x498fb
callq 0x78d0
movq -0x30(%rbp), %rdi
callq 0x9110
callq 0x13520
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e007
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa0(%rbp)
jmp 0x2e015
movq 0x309f2(%rip), %rax     # 0x5ea00
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e065
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e043
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
jmp 0x2e051
movq 0x309b6(%rip), %rax     # 0x5ea00
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
jmp 0x2e073
movq 0x30994(%rip), %rax     # 0x5ea00
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e125
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e0a5
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb8(%rbp)
jmp 0x2e0b3
movq 0x30954(%rip), %rax     # 0x5ea00
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e103
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e0e1
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
jmp 0x2e0ef
movq 0x30918(%rip), %rax     # 0x5ea00
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc8(%rbp)
jmp 0x2e111
movq 0x308f6(%rip), %rax     # 0x5ea00
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd0(%rbp)
jmp 0x2e133
movq 0x308d4(%rip), %rax     # 0x5ea00
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e2a4
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e165
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd8(%rbp)
jmp 0x2e173
movq 0x30894(%rip), %rax     # 0x5ea00
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e1c3
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e1a1
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe0(%rbp)
jmp 0x2e1af
movq 0x30858(%rip), %rax     # 0x5ea00
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe8(%rbp)
jmp 0x2e1d1
movq 0x30836(%rip), %rax     # 0x5ea00
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e283
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e203
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf0(%rbp)
jmp 0x2e211
movq 0x307f6(%rip), %rax     # 0x5ea00
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e261
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e23f
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf8(%rbp)
jmp 0x2e24d
movq 0x307ba(%rip), %rax     # 0x5ea00
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x100(%rbp)
jmp 0x2e26f
movq 0x30798(%rip), %rax     # 0x5ea00
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x108(%rbp)
jmp 0x2e291
movq 0x30776(%rip), %rax     # 0x5ea00
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x110(%rbp)
jmp 0x2e2b2
movq 0x30755(%rip), %rax     # 0x5ea00
movq %rax, -0x110(%rbp)
movq -0x110(%rbp), %rdi
callq 0x9110
callq 0xa660
callq 0x91d0
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x1dec0
cmpl $0x0, %eax
jne 0x2e2e6
leaq 0x1b61a(%rip), %rdi     # 0x498fb
callq 0x78d0
movq -0x30(%rbp), %rdi
callq 0x9110
callq 0x13520
movl %eax, -0x18(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e315
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x118(%rbp)
jmp 0x2e323
movq 0x306e4(%rip), %rax     # 0x5ea00
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e373
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e351
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x120(%rbp)
jmp 0x2e35f
movq 0x306a8(%rip), %rax     # 0x5ea00
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x128(%rbp)
jmp 0x2e381
movq 0x30686(%rip), %rax     # 0x5ea00
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e433
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e3b3
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x130(%rbp)
jmp 0x2e3c1
movq 0x30646(%rip), %rax     # 0x5ea00
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e411
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e3ef
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x138(%rbp)
jmp 0x2e3fd
movq 0x3060a(%rip), %rax     # 0x5ea00
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x140(%rbp)
jmp 0x2e41f
movq 0x305e8(%rip), %rax     # 0x5ea00
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x148(%rbp)
jmp 0x2e441
movq 0x305c6(%rip), %rax     # 0x5ea00
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e5b3
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e473
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x150(%rbp)
jmp 0x2e481
movq 0x30586(%rip), %rax     # 0x5ea00
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e4d1
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e4af
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x158(%rbp)
jmp 0x2e4bd
movq 0x3054a(%rip), %rax     # 0x5ea00
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x160(%rbp)
jmp 0x2e4df
movq 0x30528(%rip), %rax     # 0x5ea00
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e591
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e511
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x168(%rbp)
jmp 0x2e51f
movq 0x304e8(%rip), %rax     # 0x5ea00
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e56f
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e54d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x170(%rbp)
jmp 0x2e55b
movq 0x304ac(%rip), %rax     # 0x5ea00
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x178(%rbp)
jmp 0x2e57d
movq 0x3048a(%rip), %rax     # 0x5ea00
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x180(%rbp)
jmp 0x2e59f
movq 0x30468(%rip), %rax     # 0x5ea00
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x188(%rbp)
jmp 0x2e5c1
movq 0x30446(%rip), %rax     # 0x5ea00
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e8b2
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e5f3
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x190(%rbp)
jmp 0x2e601
movq 0x30406(%rip), %rax     # 0x5ea00
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e651
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e62f
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x198(%rbp)
jmp 0x2e63d
movq 0x303ca(%rip), %rax     # 0x5ea00
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x2e65f
movq 0x303a8(%rip), %rax     # 0x5ea00
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e711
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e691
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x2e69f
movq 0x30368(%rip), %rax     # 0x5ea00
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e6ef
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e6cd
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b0(%rbp)
jmp 0x2e6db
movq 0x3032c(%rip), %rax     # 0x5ea00
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x2e6fd
movq 0x3030a(%rip), %rax     # 0x5ea00
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x2e71f
movq 0x302e8(%rip), %rax     # 0x5ea00
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e891
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e751
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c8(%rbp)
jmp 0x2e75f
movq 0x302a8(%rip), %rax     # 0x5ea00
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e7af
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e78d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d0(%rbp)
jmp 0x2e79b
movq 0x3026c(%rip), %rax     # 0x5ea00
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d8(%rbp)
jmp 0x2e7bd
movq 0x3024a(%rip), %rax     # 0x5ea00
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e86f
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e7ef
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e0(%rbp)
jmp 0x2e7fd
movq 0x3020a(%rip), %rax     # 0x5ea00
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e84d
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x2e82b
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e8(%rbp)
jmp 0x2e839
movq 0x301ce(%rip), %rax     # 0x5ea00
movq %rax, -0x1e8(%rbp)
movq -0x1e8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f0(%rbp)
jmp 0x2e85b
movq 0x301ac(%rip), %rax     # 0x5ea00
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f8(%rbp)
jmp 0x2e87d
movq 0x3018a(%rip), %rax     # 0x5ea00
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x200(%rbp)
jmp 0x2e89f
movq 0x30168(%rip), %rax     # 0x5ea00
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x208(%rbp)
jmp 0x2e8c0
movq 0x30147(%rip), %rax     # 0x5ea00
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x28(%rbp), %rdi
callq 0x12d10
movl 0x299de(%rip), %eax     # 0x582b8
movl %eax, -0xc(%rbp)
movl -0x14(%rbp), %edi
callq 0xca50
callq 0x91d0
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq 0x30103(%rip), %rdx     # 0x5ea00
callq 0x1df90
movq -0x8(%rbp), %rdi
callq 0x9110
callq 0xa610
movl -0x14(%rbp), %eax
cmpl -0x18(%rbp), %eax
jne 0x2e91a
jmp 0x2e952
movl -0x14(%rbp), %eax
cmpl -0x18(%rbp), %eax
jge 0x2e92d
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x2e936
movl -0x14(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x14(%rbp)
movl 0x2997c(%rip), %eax     # 0x582b8
subl -0xc(%rbp), %eax
cmpl $0x3e8, %eax            # imm = 0x3E8
jne 0x2e950
movl $0x3e8, %edi            # imm = 0x3E8
callq 0xc3d0
jmp 0x2e8dd
movl 0x29960(%rip), %edi     # 0x582b8
subl -0xc(%rbp), %edi
callq 0xc3d0
callq 0x91d0
movq %rax, -0x8(%rbp)
callq 0x12d70
movq -0x8(%rbp), %rdi
callq 0x9110
addq $0x210, %rsp            # imm = 0x210
popq %rbp
retq