// File: /workspace/github_c_makefile_star2_O0/georgeweigt[P]eigenmath/eigenmath.c
// Function: fmt_update_fraction
void
fmt_update_fraction(void)
{
	int d, h, w;
	struct atom *p1, *p2;

	p2 = pop(); // denominator
	p1 = pop(); // numerator

	h = HEIGHT(p1) + DEPTH(p1);
	d = HEIGHT(p2) + DEPTH(p2);
	w = MAX(WIDTH(p1), WIDTH(p2));

	h += 1;
	w += 2;

	push_double(EMIT_FRACTION);
	push_double(h);
	push_double(d);
	push_double(w);
	push(p1);
	push(p2);

	list(6);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2c0, %rsp            # imm = 0x2C0
callq 0x91d0
movq %rax, -0x20(%rbp)
callq 0x91d0
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d1c8
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0x3d1d3
movq 0x21831(%rip), %rax     # 0x5ea00
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d213
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d1fb
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0x3d206
movq 0x217fe(%rip), %rax     # 0x5ea00
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x3d21e
movq 0x217e6(%rip), %rax     # 0x5ea00
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x3c(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d244
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
jmp 0x3d24f
movq 0x217b5(%rip), %rax     # 0x5ea00
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d290
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d277
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x50(%rbp)
jmp 0x3d282
movq 0x21782(%rip), %rax     # 0x5ea00
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x58(%rbp)
jmp 0x3d29b
movq 0x21769(%rip), %rax     # 0x5ea00
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d327
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d2c3
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x3d2ce
movq 0x21736(%rip), %rax     # 0x5ea00
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d30f
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d2f6
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x3d301
movq 0x21703(%rip), %rax     # 0x5ea00
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x70(%rbp)
jmp 0x3d31a
movq 0x216ea(%rip), %rax     # 0x5ea00
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x3d332
movq 0x216d2(%rip), %rax     # 0x5ea00
movq %rax, -0x78(%rbp)
movl -0x3c(%rbp), %eax
movq -0x78(%rbp), %rcx
cvttsd2si (%rcx), %ecx
addl %ecx, %eax
movl %eax, -0x8(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d35d
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x80(%rbp)
jmp 0x3d368
movq 0x2169c(%rip), %rax     # 0x5ea00
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d3b4
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d393
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x88(%rbp)
jmp 0x3d3a1
movq 0x21666(%rip), %rax     # 0x5ea00
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x90(%rbp)
jmp 0x3d3c2
movq 0x21645(%rip), %rax     # 0x5ea00
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x94(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d3f1
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa0(%rbp)
jmp 0x3d3ff
movq 0x21608(%rip), %rax     # 0x5ea00
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d44f
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d42d
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
jmp 0x3d43b
movq 0x215cc(%rip), %rax     # 0x5ea00
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
jmp 0x3d45d
movq 0x215aa(%rip), %rax     # 0x5ea00
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d50e
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d48f
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb8(%rbp)
jmp 0x3d49d
movq 0x2156a(%rip), %rax     # 0x5ea00
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d4ed
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d4cb
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
jmp 0x3d4d9
movq 0x2152e(%rip), %rax     # 0x5ea00
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc8(%rbp)
jmp 0x3d4fb
movq 0x2150c(%rip), %rax     # 0x5ea00
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xd0(%rbp)
jmp 0x3d51c
movq 0x214eb(%rip), %rax     # 0x5ea00
movq %rax, -0xd0(%rbp)
movl -0x94(%rbp), %eax
movq -0xd0(%rbp), %rcx
cvttsd2si (%rcx), %ecx
addl %ecx, %eax
movl %eax, -0x4(%rbp)
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d550
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd8(%rbp)
jmp 0x3d55e
movq 0x214a9(%rip), %rax     # 0x5ea00
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d5ae
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d58c
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe0(%rbp)
jmp 0x3d59a
movq 0x2146d(%rip), %rax     # 0x5ea00
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe8(%rbp)
jmp 0x3d5bc
movq 0x2144b(%rip), %rax     # 0x5ea00
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d66e
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d5ee
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf0(%rbp)
jmp 0x3d5fc
movq 0x2140b(%rip), %rax     # 0x5ea00
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d64c
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d62a
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf8(%rbp)
jmp 0x3d638
movq 0x213cf(%rip), %rax     # 0x5ea00
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x100(%rbp)
jmp 0x3d65a
movq 0x213ad(%rip), %rax     # 0x5ea00
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x108(%rbp)
jmp 0x3d67c
movq 0x2138b(%rip), %rax     # 0x5ea00
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d7ed
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d6ae
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x110(%rbp)
jmp 0x3d6bc
movq 0x2134b(%rip), %rax     # 0x5ea00
movq %rax, -0x110(%rbp)
movq -0x110(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d70c
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d6ea
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x118(%rbp)
jmp 0x3d6f8
movq 0x2130f(%rip), %rax     # 0x5ea00
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x120(%rbp)
jmp 0x3d71a
movq 0x212ed(%rip), %rax     # 0x5ea00
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d7cc
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d74c
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x128(%rbp)
jmp 0x3d75a
movq 0x212ad(%rip), %rax     # 0x5ea00
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d7aa
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d788
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x130(%rbp)
jmp 0x3d796
movq 0x21271(%rip), %rax     # 0x5ea00
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x138(%rbp)
jmp 0x3d7b8
movq 0x2124f(%rip), %rax     # 0x5ea00
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x140(%rbp)
jmp 0x3d7da
movq 0x2122d(%rip), %rax     # 0x5ea00
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x148(%rbp)
jmp 0x3d7fb
movq 0x2120c(%rip), %rax     # 0x5ea00
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x14c(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d82a
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x158(%rbp)
jmp 0x3d838
movq 0x211cf(%rip), %rax     # 0x5ea00
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d888
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d866
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x160(%rbp)
jmp 0x3d874
movq 0x21193(%rip), %rax     # 0x5ea00
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x168(%rbp)
jmp 0x3d896
movq 0x21171(%rip), %rax     # 0x5ea00
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d948
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d8c8
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x170(%rbp)
jmp 0x3d8d6
movq 0x21131(%rip), %rax     # 0x5ea00
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d926
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d904
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x178(%rbp)
jmp 0x3d912
movq 0x210f5(%rip), %rax     # 0x5ea00
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x180(%rbp)
jmp 0x3d934
movq 0x210d3(%rip), %rax     # 0x5ea00
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x188(%rbp)
jmp 0x3d956
movq 0x210b1(%rip), %rax     # 0x5ea00
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dac7
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d988
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x190(%rbp)
jmp 0x3d996
movq 0x21071(%rip), %rax     # 0x5ea00
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d9e6
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3d9c4
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x198(%rbp)
jmp 0x3d9d2
movq 0x21035(%rip), %rax     # 0x5ea00
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x3d9f4
movq 0x21013(%rip), %rax     # 0x5ea00
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3daa6
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3da26
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x3da34
movq 0x20fd3(%rip), %rax     # 0x5ea00
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3da84
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3da62
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b0(%rbp)
jmp 0x3da70
movq 0x20f97(%rip), %rax     # 0x5ea00
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x3da92
movq 0x20f75(%rip), %rax     # 0x5ea00
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x3dab4
movq 0x20f53(%rip), %rax     # 0x5ea00
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1c8(%rbp)
jmp 0x3dad5
movq 0x20f32(%rip), %rax     # 0x5ea00
movq %rax, -0x1c8(%rbp)
movl -0x14c(%rbp), %eax
movq -0x1c8(%rbp), %rcx
cvttsd2si (%rcx), %ecx
cmpl %ecx, %eax
jle 0x3ddcd
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3db0c
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d0(%rbp)
jmp 0x3db1a
movq 0x20eed(%rip), %rax     # 0x5ea00
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3db6a
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3db48
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d8(%rbp)
jmp 0x3db56
movq 0x20eb1(%rip), %rax     # 0x5ea00
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e0(%rbp)
jmp 0x3db78
movq 0x20e8f(%rip), %rax     # 0x5ea00
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dc2a
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dbaa
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e8(%rbp)
jmp 0x3dbb8
movq 0x20e4f(%rip), %rax     # 0x5ea00
movq %rax, -0x1e8(%rbp)
movq -0x1e8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dc08
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dbe6
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f0(%rbp)
jmp 0x3dbf4
movq 0x20e13(%rip), %rax     # 0x5ea00
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f8(%rbp)
jmp 0x3dc16
movq 0x20df1(%rip), %rax     # 0x5ea00
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x200(%rbp)
jmp 0x3dc38
movq 0x20dcf(%rip), %rax     # 0x5ea00
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dda9
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dc6a
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x208(%rbp)
jmp 0x3dc78
movq 0x20d8f(%rip), %rax     # 0x5ea00
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dcc8
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dca6
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x210(%rbp)
jmp 0x3dcb4
movq 0x20d53(%rip), %rax     # 0x5ea00
movq %rax, -0x210(%rbp)
movq -0x210(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x218(%rbp)
jmp 0x3dcd6
movq 0x20d31(%rip), %rax     # 0x5ea00
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dd88
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dd08
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x220(%rbp)
jmp 0x3dd16
movq 0x20cf1(%rip), %rax     # 0x5ea00
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dd66
movq -0x18(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dd44
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x228(%rbp)
jmp 0x3dd52
movq 0x20cb5(%rip), %rax     # 0x5ea00
movq %rax, -0x228(%rbp)
movq -0x228(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x230(%rbp)
jmp 0x3dd74
movq 0x20c93(%rip), %rax     # 0x5ea00
movq %rax, -0x230(%rbp)
movq -0x230(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x238(%rbp)
jmp 0x3dd96
movq 0x20c71(%rip), %rax     # 0x5ea00
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x240(%rbp)
jmp 0x3ddb7
movq 0x20c50(%rip), %rax     # 0x5ea00
movq %rax, -0x240(%rbp)
movq -0x240(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x244(%rbp)
jmp 0x3e0a7
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ddeb
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x250(%rbp)
jmp 0x3ddf9
movq 0x20c0e(%rip), %rax     # 0x5ea00
movq %rax, -0x250(%rbp)
movq -0x250(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3de49
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3de27
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x258(%rbp)
jmp 0x3de35
movq 0x20bd2(%rip), %rax     # 0x5ea00
movq %rax, -0x258(%rbp)
movq -0x258(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x260(%rbp)
jmp 0x3de57
movq 0x20bb0(%rip), %rax     # 0x5ea00
movq %rax, -0x260(%rbp)
movq -0x260(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3df09
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3de89
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x268(%rbp)
jmp 0x3de97
movq 0x20b70(%rip), %rax     # 0x5ea00
movq %rax, -0x268(%rbp)
movq -0x268(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dee7
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dec5
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x270(%rbp)
jmp 0x3ded3
movq 0x20b34(%rip), %rax     # 0x5ea00
movq %rax, -0x270(%rbp)
movq -0x270(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x278(%rbp)
jmp 0x3def5
movq 0x20b12(%rip), %rax     # 0x5ea00
movq %rax, -0x278(%rbp)
movq -0x278(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x280(%rbp)
jmp 0x3df17
movq 0x20af0(%rip), %rax     # 0x5ea00
movq %rax, -0x280(%rbp)
movq -0x280(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e088
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3df49
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x288(%rbp)
jmp 0x3df57
movq 0x20ab0(%rip), %rax     # 0x5ea00
movq %rax, -0x288(%rbp)
movq -0x288(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dfa7
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3df85
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x290(%rbp)
jmp 0x3df93
movq 0x20a74(%rip), %rax     # 0x5ea00
movq %rax, -0x290(%rbp)
movq -0x290(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x298(%rbp)
jmp 0x3dfb5
movq 0x20a52(%rip), %rax     # 0x5ea00
movq %rax, -0x298(%rbp)
movq -0x298(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e067
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3dfe7
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2a0(%rbp)
jmp 0x3dff5
movq 0x20a12(%rip), %rax     # 0x5ea00
movq %rax, -0x2a0(%rbp)
movq -0x2a0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e045
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3e023
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2a8(%rbp)
jmp 0x3e031
movq 0x209d6(%rip), %rax     # 0x5ea00
movq %rax, -0x2a8(%rbp)
movq -0x2a8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2b0(%rbp)
jmp 0x3e053
movq 0x209b4(%rip), %rax     # 0x5ea00
movq %rax, -0x2b0(%rbp)
movq -0x2b0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x2b8(%rbp)
jmp 0x3e075
movq 0x20992(%rip), %rax     # 0x5ea00
movq %rax, -0x2b8(%rbp)
movq -0x2b8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x2c0(%rbp)
jmp 0x3e096
movq 0x20971(%rip), %rax     # 0x5ea00
movq %rax, -0x2c0(%rbp)
movq -0x2c0(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x244(%rbp)
movl -0x244(%rbp), %eax
movl %eax, -0xc(%rbp)
movl -0x8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x8(%rbp)
movl -0xc(%rbp), %eax
addl $0x2, %eax
movl %eax, -0xc(%rbp)
movsd 0x7056(%rip), %xmm0     # 0x45120
callq 0xe5e0
cvtsi2sdl -0x8(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x4(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0xc(%rbp), %xmm0
callq 0xe5e0
movq -0x18(%rbp), %rdi
callq 0x9110
movq -0x20(%rbp), %rdi
callq 0x9110
movl $0x6, %edi
callq 0x90d0
addq $0x2c0, %rsp            # imm = 0x2C0
popq %rbp
retq
nopw %cs:(%rax,%rax)