// File: /workspace/github_c_makefile_star2_O0/georgeweigt[P]eigenmath/eigenmath.c
// Function: fmt_update_table
void
fmt_update_table(int n, int m)
{
	int i, j, t;
	int d, h, w;
	int total_height, total_width;
	struct atom *p1, *p2, *p3, *p4;

	total_height = 0;
	total_width = 0;

	t = tos - n * m;

	// height of each row

	for (i = 0; i < n; i++) { // for each row
		h = 0;
		for (j = 0; j < m; j++) { // for each column
			p1 = stack[t + i * m + j];
			h = MAX(h, HEIGHT(p1));
		}
		push_double(h);
		total_height += h;
	}

	list(n);
	p2 = pop();

	// depth of each row

	for (i = 0; i < n; i++) { // for each row
		d = 0;
		for (j = 0; j < m; j++) { // for each column
			p1 = stack[t + i * m + j];
			d = MAX(d, DEPTH(p1));
		}
		push_double(d);
		total_height += d;
	}

	list(n);
	p3 = pop();

	// width of each column

	for (j = 0; j < m; j++) { // for each column
		w = 0;
		for (i = 0; i < n; i++) { // for each row
			p1 = stack[t + i * m + j];
			w = MAX(w, WIDTH(p1));
		}
		push_double(w);
		total_width += w;
	}

	list(m);
	p4 = pop();

	// h, d, w for entire table centered vertical

	total_height += (n - 1) * TABLE_VSPACE + 2; // +2 for delimiters
	total_width += (m - 1) * TABLE_HSPACE + 4; // +4 for delimiters

	h = total_height / 2 + 1;
	d = total_height - h;
	w = total_width;

	list(n * m);
	p1 = pop();

	push_double(EMIT_TABLE);
	push_double(h);
	push_double(d);
	push_double(w);
	push_double(n);
	push_double(m);
	push(p1);
	push(p2);
	push(p3);
	push(p4);

	list(10);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x210, %rsp            # imm = 0x210
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movl $0x0, -0x24(%rbp)
movl $0x0, -0x28(%rbp)
movl 0x19f23(%rip), %eax     # 0x582b8
movl -0x4(%rbp), %ecx
imull -0x8(%rbp), %ecx
subl %ecx, %eax
movl %eax, -0x14(%rbp)
movl $0x0, -0xc(%rbp)
movl -0xc(%rbp), %eax
cmpl -0x4(%rbp), %eax
jge 0x3e53a
movl $0x0, -0x1c(%rbp)
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %eax
cmpl -0x8(%rbp), %eax
jge 0x3e519
movl -0x14(%rbp), %eax
movl -0xc(%rbp), %ecx
imull -0x8(%rbp), %ecx
addl %ecx, %eax
addl -0x10(%rbp), %eax
movslq %eax, %rcx
leaq 0x231d9(%rip), %rax     # 0x615c0
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x4c(%rbp)
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e410
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x58(%rbp)
jmp 0x3e41b
movq 0x205e9(%rip), %rax     # 0x5ea00
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e45b
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e443
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x3e44e
movq 0x205b6(%rip), %rax     # 0x5ea00
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x3e466
movq 0x2059e(%rip), %rax     # 0x5ea00
movq %rax, -0x68(%rbp)
movl -0x4c(%rbp), %eax
movq -0x68(%rbp), %rcx
cvttsd2si (%rcx), %ecx
cmpl %ecx, %eax
jle 0x3e480
movl -0x1c(%rbp), %eax
movl %eax, -0x6c(%rbp)
jmp 0x3e505
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e49b
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x3e4a6
movq 0x2055e(%rip), %rax     # 0x5ea00
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e4e9
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e4ce
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x80(%rbp)
jmp 0x3e4d9
movq 0x2052b(%rip), %rax     # 0x5ea00
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x88(%rbp)
jmp 0x3e4f7
movq 0x20510(%rip), %rax     # 0x5ea00
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x3e3c2
cvtsi2sdl -0x1c(%rbp), %xmm0
callq 0xe5e0
movl -0x1c(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x3e3a8
movl -0x4(%rbp), %edi
callq 0x90d0
callq 0x91d0
movq %rax, -0x38(%rbp)
movl $0x0, -0xc(%rbp)
movl -0xc(%rbp), %eax
cmpl -0x4(%rbp), %eax
jge 0x3e8a0
movl $0x0, -0x18(%rbp)
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %eax
cmpl -0x8(%rbp), %eax
jge 0x3e87f
movl -0x14(%rbp), %eax
movl -0xc(%rbp), %ecx
imull -0x8(%rbp), %ecx
addl %ecx, %eax
addl -0x10(%rbp), %eax
movslq %eax, %rcx
leaq 0x2302f(%rip), %rax     # 0x615c0
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x8c(%rbp)
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e5c0
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x98(%rbp)
jmp 0x3e5ce
movq 0x20439(%rip), %rax     # 0x5ea00
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e61e
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e5fc
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa0(%rbp)
jmp 0x3e60a
movq 0x203fd(%rip), %rax     # 0x5ea00
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
jmp 0x3e62c
movq 0x203db(%rip), %rax     # 0x5ea00
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e6dd
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e65e
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
jmp 0x3e66c
movq 0x2039b(%rip), %rax     # 0x5ea00
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e6bc
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e69a
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb8(%rbp)
jmp 0x3e6a8
movq 0x2035f(%rip), %rax     # 0x5ea00
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
jmp 0x3e6ca
movq 0x2033d(%rip), %rax     # 0x5ea00
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xc8(%rbp)
jmp 0x3e6eb
movq 0x2031c(%rip), %rax     # 0x5ea00
movq %rax, -0xc8(%rbp)
movl -0x8c(%rbp), %eax
movq -0xc8(%rbp), %rcx
cvttsd2si (%rcx), %ecx
cmpl %ecx, %eax
jle 0x3e70e
movl -0x18(%rbp), %eax
movl %eax, -0xcc(%rbp)
jmp 0x3e868
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e72c
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd8(%rbp)
jmp 0x3e73a
movq 0x202cd(%rip), %rax     # 0x5ea00
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e78a
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e768
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe0(%rbp)
jmp 0x3e776
movq 0x20291(%rip), %rax     # 0x5ea00
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe8(%rbp)
jmp 0x3e798
movq 0x2026f(%rip), %rax     # 0x5ea00
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e849
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e7ca
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf0(%rbp)
jmp 0x3e7d8
movq 0x2022f(%rip), %rax     # 0x5ea00
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e828
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e806
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf8(%rbp)
jmp 0x3e814
movq 0x201f3(%rip), %rax     # 0x5ea00
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x100(%rbp)
jmp 0x3e836
movq 0x201d1(%rip), %rax     # 0x5ea00
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x108(%rbp)
jmp 0x3e857
movq 0x201b0(%rip), %rax     # 0x5ea00
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0xcc(%rbp)
movl -0xcc(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x3e56c
cvtsi2sdl -0x18(%rbp), %xmm0
callq 0xe5e0
movl -0x18(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x3e552
movl -0x4(%rbp), %edi
callq 0x90d0
callq 0x91d0
movq %rax, -0x40(%rbp)
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %eax
cmpl -0x8(%rbp), %eax
jge 0x3ef06
movl $0x0, -0x20(%rbp)
movl $0x0, -0xc(%rbp)
movl -0xc(%rbp), %eax
cmpl -0x4(%rbp), %eax
jge 0x3eee5
movl -0x14(%rbp), %eax
movl -0xc(%rbp), %ecx
imull -0x8(%rbp), %ecx
addl %ecx, %eax
addl -0x10(%rbp), %eax
movslq %eax, %rcx
leaq 0x22cc9(%rip), %rax     # 0x615c0
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x10c(%rbp)
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e926
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x118(%rbp)
jmp 0x3e934
movq 0x200d3(%rip), %rax     # 0x5ea00
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e984
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e962
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x120(%rbp)
jmp 0x3e970
movq 0x20097(%rip), %rax     # 0x5ea00
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x128(%rbp)
jmp 0x3e992
movq 0x20075(%rip), %rax     # 0x5ea00
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ea44
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e9c4
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x130(%rbp)
jmp 0x3e9d2
movq 0x20035(%rip), %rax     # 0x5ea00
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ea22
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ea00
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x138(%rbp)
jmp 0x3ea0e
movq 0x1fff9(%rip), %rax     # 0x5ea00
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x140(%rbp)
jmp 0x3ea30
movq 0x1ffd7(%rip), %rax     # 0x5ea00
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x148(%rbp)
jmp 0x3ea52
movq 0x1ffb5(%rip), %rax     # 0x5ea00
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ebc3
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ea84
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x150(%rbp)
jmp 0x3ea92
movq 0x1ff75(%rip), %rax     # 0x5ea00
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eae2
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eac0
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x158(%rbp)
jmp 0x3eace
movq 0x1ff39(%rip), %rax     # 0x5ea00
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x160(%rbp)
jmp 0x3eaf0
movq 0x1ff17(%rip), %rax     # 0x5ea00
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eba2
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eb22
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x168(%rbp)
jmp 0x3eb30
movq 0x1fed7(%rip), %rax     # 0x5ea00
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eb80
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eb5e
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x170(%rbp)
jmp 0x3eb6c
movq 0x1fe9b(%rip), %rax     # 0x5ea00
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x178(%rbp)
jmp 0x3eb8e
movq 0x1fe79(%rip), %rax     # 0x5ea00
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x180(%rbp)
jmp 0x3ebb0
movq 0x1fe57(%rip), %rax     # 0x5ea00
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x188(%rbp)
jmp 0x3ebd1
movq 0x1fe36(%rip), %rax     # 0x5ea00
movq %rax, -0x188(%rbp)
movl -0x10c(%rbp), %eax
movq -0x188(%rbp), %rcx
cvttsd2si (%rcx), %ecx
cmpl %ecx, %eax
jle 0x3ebf4
movl -0x20(%rbp), %eax
movl %eax, -0x18c(%rbp)
jmp 0x3eece
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ec12
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x198(%rbp)
jmp 0x3ec20
movq 0x1fde7(%rip), %rax     # 0x5ea00
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ec70
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ec4e
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x3ec5c
movq 0x1fdab(%rip), %rax     # 0x5ea00
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x3ec7e
movq 0x1fd89(%rip), %rax     # 0x5ea00
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ed30
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ecb0
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b0(%rbp)
jmp 0x3ecbe
movq 0x1fd49(%rip), %rax     # 0x5ea00
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ed0e
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ecec
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x3ecfa
movq 0x1fd0d(%rip), %rax     # 0x5ea00
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x3ed1c
movq 0x1fceb(%rip), %rax     # 0x5ea00
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c8(%rbp)
jmp 0x3ed3e
movq 0x1fcc9(%rip), %rax     # 0x5ea00
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3eeaf
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ed70
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d0(%rbp)
jmp 0x3ed7e
movq 0x1fc89(%rip), %rax     # 0x5ea00
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3edce
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3edac
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d8(%rbp)
jmp 0x3edba
movq 0x1fc4d(%rip), %rax     # 0x5ea00
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e0(%rbp)
jmp 0x3eddc
movq 0x1fc2b(%rip), %rax     # 0x5ea00
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ee8e
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ee0e
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e8(%rbp)
jmp 0x3ee1c
movq 0x1fbeb(%rip), %rax     # 0x5ea00
movq %rax, -0x1e8(%rbp)
movq -0x1e8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ee6c
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ee4a
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f0(%rbp)
jmp 0x3ee58
movq 0x1fbaf(%rip), %rax     # 0x5ea00
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f8(%rbp)
jmp 0x3ee7a
movq 0x1fb8d(%rip), %rax     # 0x5ea00
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x200(%rbp)
jmp 0x3ee9c
movq 0x1fb6b(%rip), %rax     # 0x5ea00
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x208(%rbp)
jmp 0x3eebd
movq 0x1fb4a(%rip), %rax     # 0x5ea00
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x18c(%rbp)
movl -0x18c(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x3e8d2
cvtsi2sdl -0x20(%rbp), %xmm0
callq 0xe5e0
movl -0x20(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x3e8b8
movl -0x8(%rbp), %edi
callq 0x90d0
callq 0x91d0
movq %rax, -0x48(%rbp)
movl -0x4(%rbp), %eax
subl $0x1, %eax
shll $0x0, %eax
addl $0x2, %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x8(%rbp), %eax
subl $0x1, %eax
imull $0x3, %eax, %eax
addl $0x4, %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
movl -0x24(%rbp), %eax
subl -0x1c(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x4(%rbp), %edi
imull -0x8(%rbp), %edi
callq 0x90d0
callq 0x91d0
movq %rax, -0x30(%rbp)
movsd 0x61b0(%rip), %xmm0     # 0x45128
callq 0xe5e0
cvtsi2sdl -0x1c(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x18(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x20(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x4(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x8(%rbp), %xmm0
callq 0xe5e0
movq -0x30(%rbp), %rdi
callq 0x9110
movq -0x38(%rbp), %rdi
callq 0x9110
movq -0x40(%rbp), %rdi
callq 0x9110
movq -0x48(%rbp), %rdi
callq 0x9110
movl $0xa, %edi
callq 0x90d0
addq $0x210, %rsp            # imm = 0x210
popq %rbp
retq
nopw %cs:(%rax,%rax)