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

	p2 = pop(); // exponent
	p1 = pop(); // base

	h = HEIGHT(p2);
	d = DEPTH(p2);
	w = WIDTH(p2);

	// y is distance from baseline to bottom of superscript

	y = HEIGHT(p1) - d - 1;

	y = MAX(y, 1);

	dx = 0;
	dy = -(y + d);

	h = y + h + d;
	d = 0;

	if (OPCODE(p1) == EMIT_SUBSCRIPT) {
		dx = -WIDTH(p1);
		w = MAX(0, w - WIDTH(p1));
	}

	push(p1); // base

	push_double(EMIT_SUPERSCRIPT);
	push_double(h);
	push_double(d);
	push_double(w);
	push_double(dx);
	push_double(dy);
	push(p2);

	list(7);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x290, %rsp            # imm = 0x290
callq 0x91d0
movq %rax, -0x28(%rbp)
callq 0x91d0
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3a9d8
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0x3a9e3
movq 0x24021(%rip), %rax     # 0x5ea00
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3aa23
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3aa0b
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x3aa16
movq 0x23fee(%rip), %rax     # 0x5ea00
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x40(%rbp)
jmp 0x3aa2e
movq 0x23fd6(%rip), %rax     # 0x5ea00
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x10(%rbp)
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3aa54
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
jmp 0x3aa5f
movq 0x23fa5(%rip), %rax     # 0x5ea00
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3aaa0
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3aa87
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x50(%rbp)
jmp 0x3aa92
movq 0x23f72(%rip), %rax     # 0x5ea00
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x58(%rbp)
jmp 0x3aaab
movq 0x23f59(%rip), %rax     # 0x5ea00
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ab37
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3aad3
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x60(%rbp)
jmp 0x3aade
movq 0x23f26(%rip), %rax     # 0x5ea00
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ab1f
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ab06
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x68(%rbp)
jmp 0x3ab11
movq 0x23ef3(%rip), %rax     # 0x5ea00
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x70(%rbp)
jmp 0x3ab2a
movq 0x23eda(%rip), %rax     # 0x5ea00
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x3ab42
movq 0x23ec2(%rip), %rax     # 0x5ea00
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x4(%rbp)
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ab68
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x80(%rbp)
jmp 0x3ab73
movq 0x23e91(%rip), %rax     # 0x5ea00
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3abc0
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ab9e
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x88(%rbp)
jmp 0x3abac
movq 0x23e5b(%rip), %rax     # 0x5ea00
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x90(%rbp)
jmp 0x3abce
movq 0x23e39(%rip), %rax     # 0x5ea00
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ac80
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ac00
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x98(%rbp)
jmp 0x3ac0e
movq 0x23df9(%rip), %rax     # 0x5ea00
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ac5e
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ac3c
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa0(%rbp)
jmp 0x3ac4a
movq 0x23dbd(%rip), %rax     # 0x5ea00
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xa8(%rbp)
jmp 0x3ac6c
movq 0x23d9b(%rip), %rax     # 0x5ea00
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
jmp 0x3ac8e
movq 0x23d79(%rip), %rax     # 0x5ea00
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3adff
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3acc0
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb8(%rbp)
jmp 0x3acce
movq 0x23d39(%rip), %rax     # 0x5ea00
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ad1e
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3acfc
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
jmp 0x3ad0a
movq 0x23cfd(%rip), %rax     # 0x5ea00
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc8(%rbp)
jmp 0x3ad2c
movq 0x23cdb(%rip), %rax     # 0x5ea00
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3adde
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ad5e
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd0(%rbp)
jmp 0x3ad6c
movq 0x23c9b(%rip), %rax     # 0x5ea00
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3adbc
movq -0x28(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ad9a
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xd8(%rbp)
jmp 0x3ada8
movq 0x23c5f(%rip), %rax     # 0x5ea00
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe0(%rbp)
jmp 0x3adca
movq 0x23c3d(%rip), %rax     # 0x5ea00
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xe8(%rbp)
jmp 0x3adec
movq 0x23c1b(%rip), %rax     # 0x5ea00
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xf0(%rbp)
jmp 0x3ae0d
movq 0x23bfa(%rip), %rax     # 0x5ea00
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
cvttsd2si (%rax), %eax
movl %eax, -0x14(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ae39
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf8(%rbp)
jmp 0x3ae47
movq 0x23bc0(%rip), %rax     # 0x5ea00
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ae96
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3ae75
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x100(%rbp)
jmp 0x3ae83
movq 0x23b84(%rip), %rax     # 0x5ea00
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x108(%rbp)
jmp 0x3aea4
movq 0x23b63(%rip), %rax     # 0x5ea00
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
cvttsd2si (%rax), %eax
subl -0x4(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x18(%rbp)
cmpl $0x1, -0x18(%rbp)
jle 0x3aec9
movl -0x18(%rbp), %eax
movl %eax, -0x10c(%rbp)
jmp 0x3aed6
movl $0x1, %eax
movl %eax, -0x10c(%rbp)
jmp 0x3aed6
movl -0x10c(%rbp), %eax
movl %eax, -0x18(%rbp)
movl $0x0, -0x8(%rbp)
movl -0x18(%rbp), %ecx
addl -0x4(%rbp), %ecx
xorl %eax, %eax
subl %ecx, %eax
movl %eax, -0xc(%rbp)
movl -0x18(%rbp), %eax
addl -0x10(%rbp), %eax
addl -0x4(%rbp), %eax
movl %eax, -0x10(%rbp)
movl $0x0, -0x4(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3af23
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x118(%rbp)
jmp 0x3af31
movq 0x23ad6(%rip), %rax     # 0x5ea00
movq %rax, -0x118(%rbp)
movq -0x118(%rbp), %rax
cvttsd2si (%rax), %eax
cmpl $0x5, %eax
jne 0x3b80c
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3af63
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x120(%rbp)
jmp 0x3af71
movq 0x23a96(%rip), %rax     # 0x5ea00
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3afc1
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3af9f
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x128(%rbp)
jmp 0x3afad
movq 0x23a5a(%rip), %rax     # 0x5ea00
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x130(%rbp)
jmp 0x3afcf
movq 0x23a38(%rip), %rax     # 0x5ea00
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b081
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b001
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x138(%rbp)
jmp 0x3b00f
movq 0x239f8(%rip), %rax     # 0x5ea00
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b05f
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b03d
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x140(%rbp)
jmp 0x3b04b
movq 0x239bc(%rip), %rax     # 0x5ea00
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x148(%rbp)
jmp 0x3b06d
movq 0x2399a(%rip), %rax     # 0x5ea00
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x150(%rbp)
jmp 0x3b08f
movq 0x23978(%rip), %rax     # 0x5ea00
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b200
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b0c1
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x158(%rbp)
jmp 0x3b0cf
movq 0x23938(%rip), %rax     # 0x5ea00
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b11f
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b0fd
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x160(%rbp)
jmp 0x3b10b
movq 0x238fc(%rip), %rax     # 0x5ea00
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x168(%rbp)
jmp 0x3b12d
movq 0x238da(%rip), %rax     # 0x5ea00
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b1df
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b15f
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x170(%rbp)
jmp 0x3b16d
movq 0x2389a(%rip), %rax     # 0x5ea00
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b1bd
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b19b
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x178(%rbp)
jmp 0x3b1a9
movq 0x2385e(%rip), %rax     # 0x5ea00
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x180(%rbp)
jmp 0x3b1cb
movq 0x2383c(%rip), %rax     # 0x5ea00
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x188(%rbp)
jmp 0x3b1ed
movq 0x2381a(%rip), %rax     # 0x5ea00
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x190(%rbp)
jmp 0x3b20e
movq 0x237f9(%rip), %rax     # 0x5ea00
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
cvttsd2si (%rax), %ecx
xorl %eax, %eax
subl %ecx, %eax
movl %eax, -0x8(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x194(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b247
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x3b255
movq 0x237b2(%rip), %rax     # 0x5ea00
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b2a5
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b283
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x3b291
movq 0x23776(%rip), %rax     # 0x5ea00
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b0(%rbp)
jmp 0x3b2b3
movq 0x23754(%rip), %rax     # 0x5ea00
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b365
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b2e5
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x3b2f3
movq 0x23714(%rip), %rax     # 0x5ea00
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b343
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b321
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x3b32f
movq 0x236d8(%rip), %rax     # 0x5ea00
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1c8(%rbp)
jmp 0x3b351
movq 0x236b6(%rip), %rax     # 0x5ea00
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d0(%rbp)
jmp 0x3b373
movq 0x23694(%rip), %rax     # 0x5ea00
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b4e4
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b3a5
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1d8(%rbp)
jmp 0x3b3b3
movq 0x23654(%rip), %rax     # 0x5ea00
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b403
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b3e1
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e0(%rbp)
jmp 0x3b3ef
movq 0x23618(%rip), %rax     # 0x5ea00
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1e8(%rbp)
jmp 0x3b411
movq 0x235f6(%rip), %rax     # 0x5ea00
movq %rax, -0x1e8(%rbp)
movq -0x1e8(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b4c3
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b443
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f0(%rbp)
jmp 0x3b451
movq 0x235b6(%rip), %rax     # 0x5ea00
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b4a1
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b47f
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x1f8(%rbp)
jmp 0x3b48d
movq 0x2357a(%rip), %rax     # 0x5ea00
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x200(%rbp)
jmp 0x3b4af
movq 0x23558(%rip), %rax     # 0x5ea00
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x208(%rbp)
jmp 0x3b4d1
movq 0x23536(%rip), %rax     # 0x5ea00
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x210(%rbp)
jmp 0x3b4f2
movq 0x23515(%rip), %rax     # 0x5ea00
movq %rax, -0x210(%rbp)
movl -0x194(%rbp), %ecx
movq -0x210(%rbp), %rax
cvttsd2si (%rax), %eax
subl %eax, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jle 0x3b518
xorl %eax, %eax
movl %eax, -0x214(%rbp)
jmp 0x3b803
movl -0x14(%rbp), %eax
movl %eax, -0x218(%rbp)
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b53f
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x220(%rbp)
jmp 0x3b54d
movq 0x234ba(%rip), %rax     # 0x5ea00
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b59d
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b57b
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x228(%rbp)
jmp 0x3b589
movq 0x2347e(%rip), %rax     # 0x5ea00
movq %rax, -0x228(%rbp)
movq -0x228(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x230(%rbp)
jmp 0x3b5ab
movq 0x2345c(%rip), %rax     # 0x5ea00
movq %rax, -0x230(%rbp)
movq -0x230(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b65d
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b5dd
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x238(%rbp)
jmp 0x3b5eb
movq 0x2341c(%rip), %rax     # 0x5ea00
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b63b
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b619
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x240(%rbp)
jmp 0x3b627
movq 0x233e0(%rip), %rax     # 0x5ea00
movq %rax, -0x240(%rbp)
movq -0x240(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x248(%rbp)
jmp 0x3b649
movq 0x233be(%rip), %rax     # 0x5ea00
movq %rax, -0x248(%rbp)
movq -0x248(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x250(%rbp)
jmp 0x3b66b
movq 0x2339c(%rip), %rax     # 0x5ea00
movq %rax, -0x250(%rbp)
movq -0x250(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b7dc
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b69d
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x258(%rbp)
jmp 0x3b6ab
movq 0x2335c(%rip), %rax     # 0x5ea00
movq %rax, -0x258(%rbp)
movq -0x258(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b6fb
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b6d9
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x260(%rbp)
jmp 0x3b6e7
movq 0x23320(%rip), %rax     # 0x5ea00
movq %rax, -0x260(%rbp)
movq -0x260(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x268(%rbp)
jmp 0x3b709
movq 0x232fe(%rip), %rax     # 0x5ea00
movq %rax, -0x268(%rbp)
movq -0x268(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b7bb
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b73b
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x270(%rbp)
jmp 0x3b749
movq 0x232be(%rip), %rax     # 0x5ea00
movq %rax, -0x270(%rbp)
movq -0x270(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b799
movq -0x20(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0x1, %eax
jne 0x3b777
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x278(%rbp)
jmp 0x3b785
movq 0x23282(%rip), %rax     # 0x5ea00
movq %rax, -0x278(%rbp)
movq -0x278(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x280(%rbp)
jmp 0x3b7a7
movq 0x23260(%rip), %rax     # 0x5ea00
movq %rax, -0x280(%rbp)
movq -0x280(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x288(%rbp)
jmp 0x3b7c9
movq 0x2323e(%rip), %rax     # 0x5ea00
movq %rax, -0x288(%rbp)
movq -0x288(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x290(%rbp)
jmp 0x3b7ea
movq 0x2321d(%rip), %rax     # 0x5ea00
movq %rax, -0x290(%rbp)
movl -0x218(%rbp), %eax
movq -0x290(%rbp), %rcx
cvttsd2si (%rcx), %ecx
subl %ecx, %eax
movl %eax, -0x214(%rbp)
movl -0x214(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x20(%rbp), %rdi
callq 0x9110
movsd 0x98d3(%rip), %xmm0     # 0x450f0
callq 0xe5e0
cvtsi2sdl -0x10(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x4(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x14(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0x8(%rbp), %xmm0
callq 0xe5e0
cvtsi2sdl -0xc(%rbp), %xmm0
callq 0xe5e0
movq -0x28(%rbp), %rdi
callq 0x9110
movl $0x7, %edi
callq 0x90d0
addq $0x290, %rsp            # imm = 0x290
popq %rbp
retq