// File: /workspace/github_c_makefile_star2_O0/georgeweigt[P]eigenmath/eigenmath.c
// Function: fmt_table
void
fmt_table(int x, int y, struct atom *p)
{
	int cx, dx, i, j, m, n;
	int column_width, elem_width, row_depth, row_height;
	struct atom *d, *h, *w, *table;

	n = VAL1(p);
	m = VAL2(p);

	p = cddr(p);

	table = car(p);
	h = cadr(p);
	d = caddr(p);

	for (i = 0; i < n; i++) { // for each row

		row_height = VAL1(h);
		row_depth = VAL1(d);

		y += row_height;

		dx = 0;

		w = cadddr(p);

		for (j = 0; j < m; j++) { // for each column
			column_width = VAL1(w);
			elem_width = WIDTH(car(table));
			cx = x + dx + (column_width - elem_width) / 2; // center horizontal
			fmt_draw(cx, y, car(table));
			dx += column_width + TABLE_HSPACE;
			table = cdr(table);
			w = cdr(w);
		}

		y += row_depth + TABLE_VSPACE;

		h = cdr(h);
		d = cdr(d);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2b0, %rsp            # imm = 0x2B0
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movq %rdx, -0x10(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3f95f
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x3f96a
movq 0x1f09a(%rip), %rax     # 0x5ea00
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x28(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3f990
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x3f99b
movq 0x1f069(%rip), %rax     # 0x5ea00
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3f9db
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3f9c3
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x70(%rbp)
jmp 0x3f9ce
movq 0x1f036(%rip), %rax     # 0x5ea00
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x3f9e6
movq 0x1f01e(%rip), %rax     # 0x5ea00
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x24(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fa0c
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x80(%rbp)
jmp 0x3fa17
movq 0x1efed(%rip), %rax     # 0x5ea00
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fa64
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fa42
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x88(%rbp)
jmp 0x3fa50
movq 0x1efb7(%rip), %rax     # 0x5ea00
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x90(%rbp)
jmp 0x3fa72
movq 0x1ef95(%rip), %rax     # 0x5ea00
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fa9a
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x98(%rbp)
jmp 0x3faa8
movq 0x1ef5f(%rip), %rax     # 0x5ea00
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fad1
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa0(%rbp)
jmp 0x3fadf
movq 0x1ef28(%rip), %rax     # 0x5ea00
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fb2e
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fb0d
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
jmp 0x3fb1b
movq 0x1eeec(%rip), %rax     # 0x5ea00
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xb0(%rbp)
jmp 0x3fb3c
movq 0x1eecb(%rip), %rax     # 0x5ea00
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fb65
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb8(%rbp)
jmp 0x3fb73
movq 0x1ee94(%rip), %rax     # 0x5ea00
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fbc3
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fba1
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
jmp 0x3fbaf
movq 0x1ee58(%rip), %rax     # 0x5ea00
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc8(%rbp)
jmp 0x3fbd1
movq 0x1ee36(%rip), %rax     # 0x5ea00
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fc82
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fc03
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd0(%rbp)
jmp 0x3fc11
movq 0x1edf6(%rip), %rax     # 0x5ea00
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fc61
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fc3f
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd8(%rbp)
jmp 0x3fc4d
movq 0x1edba(%rip), %rax     # 0x5ea00
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe0(%rbp)
jmp 0x3fc6f
movq 0x1ed98(%rip), %rax     # 0x5ea00
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xe8(%rbp)
jmp 0x3fc90
movq 0x1ed77(%rip), %rax     # 0x5ea00
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movq %rax, -0x40(%rbp)
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0x28(%rbp), %eax
jge 0x407a3
movq -0x48(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fccb
movq -0x48(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xf0(%rbp)
jmp 0x3fcd9
movq 0x1ed2e(%rip), %rax     # 0x5ea00
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x38(%rbp)
movq -0x40(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fd04
movq -0x40(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xf8(%rbp)
jmp 0x3fd12
movq 0x1ecf5(%rip), %rax     # 0x5ea00
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x34(%rbp)
movl -0x38(%rbp), %eax
addl -0x8(%rbp), %eax
movl %eax, -0x8(%rbp)
movl $0x0, -0x18(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fd4e
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x100(%rbp)
jmp 0x3fd5c
movq 0x1ecab(%rip), %rax     # 0x5ea00
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fdac
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fd8a
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x108(%rbp)
jmp 0x3fd98
movq 0x1ec6f(%rip), %rax     # 0x5ea00
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x110(%rbp)
jmp 0x3fdba
movq 0x1ec4d(%rip), %rax     # 0x5ea00
movq %rax, -0x110(%rbp)
movq -0x110(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fe6c
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fdec
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x118(%rbp)
jmp 0x3fdfa
movq 0x1ec0d(%rip), %rax     # 0x5ea00
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fe4a
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fe28
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x120(%rbp)
jmp 0x3fe36
movq 0x1ebd1(%rip), %rax     # 0x5ea00
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x128(%rbp)
jmp 0x3fe58
movq 0x1ebaf(%rip), %rax     # 0x5ea00
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x130(%rbp)
jmp 0x3fe7a
movq 0x1eb8d(%rip), %rax     # 0x5ea00
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ffeb
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3feac
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x138(%rbp)
jmp 0x3feba
movq 0x1eb4d(%rip), %rax     # 0x5ea00
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ff0a
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3fee8
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x140(%rbp)
jmp 0x3fef6
movq 0x1eb11(%rip), %rax     # 0x5ea00
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x148(%rbp)
jmp 0x3ff18
movq 0x1eaef(%rip), %rax     # 0x5ea00
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ffca
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ff4a
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x150(%rbp)
jmp 0x3ff58
movq 0x1eaaf(%rip), %rax     # 0x5ea00
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ffa8
movq -0x10(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ff86
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x158(%rbp)
jmp 0x3ff94
movq 0x1ea73(%rip), %rax     # 0x5ea00
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x160(%rbp)
jmp 0x3ffb6
movq 0x1ea51(%rip), %rax     # 0x5ea00
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x168(%rbp)
jmp 0x3ffd8
movq 0x1ea2f(%rip), %rax     # 0x5ea00
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x170(%rbp)
jmp 0x3fff9
movq 0x1ea0e(%rip), %rax     # 0x5ea00
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
movq %rax, -0x50(%rbp)
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
cmpl -0x24(%rbp), %eax
jge 0x4071b
movq -0x50(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40034
movq -0x50(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x178(%rbp)
jmp 0x40042
movq 0x1e9c5(%rip), %rax     # 0x5ea00
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x2c(%rbp)
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4006d
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x180(%rbp)
jmp 0x4007b
movq 0x1e98c(%rip), %rax     # 0x5ea00
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x400ca
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x400a8
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x188(%rbp)
jmp 0x400b6
movq 0x1e951(%rip), %rax     # 0x5ea00
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x190(%rbp)
jmp 0x400d8
movq 0x1e92f(%rip), %rax     # 0x5ea00
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40188
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40109
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x198(%rbp)
jmp 0x40117
movq 0x1e8f0(%rip), %rax     # 0x5ea00
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40166
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40144
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x40152
movq 0x1e8b5(%rip), %rax     # 0x5ea00
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x40174
movq 0x1e893(%rip), %rax     # 0x5ea00
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b0(%rbp)
jmp 0x40196
movq 0x1e871(%rip), %rax     # 0x5ea00
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40304
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x401c7
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x401d5
movq 0x1e832(%rip), %rax     # 0x5ea00
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40224
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40202
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x40210
movq 0x1e7f7(%rip), %rax     # 0x5ea00
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c8(%rbp)
jmp 0x40232
movq 0x1e7d5(%rip), %rax     # 0x5ea00
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x402e2
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40263
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1d0(%rbp)
jmp 0x40271
movq 0x1e796(%rip), %rax     # 0x5ea00
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x402c0
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4029e
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1d8(%rbp)
jmp 0x402ac
movq 0x1e75b(%rip), %rax     # 0x5ea00
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e0(%rbp)
jmp 0x402ce
movq 0x1e739(%rip), %rax     # 0x5ea00
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e8(%rbp)
jmp 0x402f0
movq 0x1e717(%rip), %rax     # 0x5ea00
movq %rax, -0x1e8(%rbp)
movq -0x1e8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f0(%rbp)
jmp 0x40312
movq 0x1e6f5(%rip), %rax     # 0x5ea00
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x405fb
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40343
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1f8(%rbp)
jmp 0x40351
movq 0x1e6b6(%rip), %rax     # 0x5ea00
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x403a0
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4037e
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x200(%rbp)
jmp 0x4038c
movq 0x1e67b(%rip), %rax     # 0x5ea00
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x208(%rbp)
jmp 0x403ae
movq 0x1e659(%rip), %rax     # 0x5ea00
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4045e
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x403df
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x210(%rbp)
jmp 0x403ed
movq 0x1e61a(%rip), %rax     # 0x5ea00
movq %rax, -0x210(%rbp)
movq -0x210(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4043c
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4041a
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x218(%rbp)
jmp 0x40428
movq 0x1e5df(%rip), %rax     # 0x5ea00
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x220(%rbp)
jmp 0x4044a
movq 0x1e5bd(%rip), %rax     # 0x5ea00
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x228(%rbp)
jmp 0x4046c
movq 0x1e59b(%rip), %rax     # 0x5ea00
movq %rax, -0x228(%rbp)
movq -0x228(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x405da
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4049d
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x230(%rbp)
jmp 0x404ab
movq 0x1e55c(%rip), %rax     # 0x5ea00
movq %rax, -0x230(%rbp)
movq -0x230(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x404fa
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x404d8
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x238(%rbp)
jmp 0x404e6
movq 0x1e521(%rip), %rax     # 0x5ea00
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x240(%rbp)
jmp 0x40508
movq 0x1e4ff(%rip), %rax     # 0x5ea00
movq %rax, -0x240(%rbp)
movq -0x240(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x405b8
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40539
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x248(%rbp)
jmp 0x40547
movq 0x1e4c0(%rip), %rax     # 0x5ea00
movq %rax, -0x248(%rbp)
movq -0x248(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40596
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40574
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x250(%rbp)
jmp 0x40582
movq 0x1e485(%rip), %rax     # 0x5ea00
movq %rax, -0x250(%rbp)
movq -0x250(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x258(%rbp)
jmp 0x405a4
movq 0x1e463(%rip), %rax     # 0x5ea00
movq %rax, -0x258(%rbp)
movq -0x258(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x260(%rbp)
jmp 0x405c6
movq 0x1e441(%rip), %rax     # 0x5ea00
movq %rax, -0x260(%rbp)
movq -0x260(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x268(%rbp)
jmp 0x405e8
movq 0x1e41f(%rip), %rax     # 0x5ea00
movq %rax, -0x268(%rbp)
movq -0x268(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x270(%rbp)
jmp 0x40609
movq 0x1e3fe(%rip), %rax     # 0x5ea00
movq %rax, -0x270(%rbp)
movq -0x270(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x30(%rbp)
movl -0x4(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x27c(%rbp)
movl -0x2c(%rbp), %eax
subl -0x30(%rbp), %eax
movl $0x2, %ecx
cltd
idivl %ecx
movl %eax, %ecx
movl -0x27c(%rbp), %eax
addl %ecx, %eax
movl %eax, -0x14(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x278(%rbp)
movl -0x8(%rbp), %eax
movl %eax, -0x274(%rbp)
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4066d
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x288(%rbp)
jmp 0x4067b
movq 0x1e38c(%rip), %rax     # 0x5ea00
movq %rax, -0x288(%rbp)
movl -0x274(%rbp), %esi
movl -0x278(%rbp), %edi
movq -0x288(%rbp), %rdx
callq 0x36c80
movl -0x2c(%rbp), %eax
addl $0x3, %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x406bd
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x290(%rbp)
jmp 0x406cb
movq 0x1e33c(%rip), %rax     # 0x5ea00
movq %rax, -0x290(%rbp)
movq -0x290(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x50(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x406f4
movq -0x50(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x298(%rbp)
jmp 0x40702
movq 0x1e305(%rip), %rax     # 0x5ea00
movq %rax, -0x298(%rbp)
movq -0x298(%rbp), %rax
movq %rax, -0x50(%rbp)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x4000b
movl -0x34(%rbp), %eax
addl $0x1, %eax
addl -0x8(%rbp), %eax
movl %eax, -0x8(%rbp)
movq -0x48(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x40745
movq -0x48(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2a0(%rbp)
jmp 0x40753
movq 0x1e2b4(%rip), %rax     # 0x5ea00
movq %rax, -0x2a0(%rbp)
movq -0x2a0(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x4077c
movq -0x40(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2a8(%rbp)
jmp 0x4078a
movq 0x1e27d(%rip), %rax     # 0x5ea00
movq %rax, -0x2a8(%rbp)
movq -0x2a8(%rbp), %rax
movq %rax, -0x40(%rbp)
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x3fca2
addq $0x2b0, %rsp            # imm = 0x2B0
popq %rbp
retq
nopl (%rax)