// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: g_multiply_1
static s7_pointer g_multiply_1(s7_scheme *sc, s7_pointer args, s7_pointer caller)
    {
#define H_multiply "(* ...) multiplies its arguments"
#define Q_multiply sc->pcl_n

        s7_pointer x, p;
        s7_int num_a, den_a;
        s7_double rl_a, im_a;

#if (!WITH_GMP)
        if (is_null(args))
            return(small_int(1));
#endif

        x = car(args);
        p = cdr(args);
        if (is_null(p))
        {
            if (!is_number(x))
                return(multiply_method_or_bust(sc, x, caller, args, a_number_string, 0));
            return(x);
        }

        switch (type(x))
        {
            case T_INTEGER:
                num_a = integer(x);

MULTIPLY_INTEGERS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_multiply(sc, cons(sc, s7_int_to_big_integer(sc, num_a), p)));
#endif
                x = car(p);
                p = cdr(p);
                switch (type(x))
                {
                    case T_INTEGER:
#if WITH_GMP
                        if ((integer(x) > s7_int32_max) ||
                                (integer(x) < s7_int32_min))
                            return(big_multiply(sc, cons(sc, s7_int_to_big_integer(sc, num_a), cons(sc, x, p))));
#endif

#if HAVE_OVERFLOW_CHECKS
                        {
                            s7_int dn;
                            if (multiply_overflow(num_a, integer(x), &dn))
                            {
                                if (is_null(p)) return(make_real(sc, (s7_double)num_a * (s7_double)integer(x)));
                                rl_a = (s7_double)num_a * (s7_double)integer(x);
                                goto MULTIPLY_REALS;
                            }
                            num_a = dn;
                        }
#else
                        num_a *= integer(x);
#endif
                        if (is_null(p)) return(make_integer(sc, num_a));
                        goto MULTIPLY_INTEGERS;

                    case T_RATIO:
#if HAVE_OVERFLOW_CHECKS
                        {
                            s7_int dn;
                            if (multiply_overflow(numerator(x), num_a, &dn))
                            {
                                if (is_null(p))
                                    return(make_real(sc, (s7_double)num_a * fraction(x)));
                                rl_a = (s7_double)num_a * fraction(x);
                                goto MULTIPLY_REALS;
                            }
                            num_a = dn;
                        }
#else
                        num_a *= numerator(x);
#endif
                        den_a = denominator(x);
                        if (is_null(p)) return(s7_make_ratio(sc, num_a, den_a));
                        if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                            goto MULTIPLY_INTEGERS;
                        goto MULTIPLY_RATIOS;

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, num_a * real(x)));
                        rl_a = num_a * real(x);
                        goto MULTIPLY_REALS;

                    case T_COMPLEX:
                        if (is_null(p)) return(s7_make_complex(sc, num_a * real_part(x), num_a * imag_part(x)));
                        rl_a = num_a * real_part(x);
                        im_a = num_a * imag_part(x);
                        goto MULTIPLY_COMPLEX;

                    default:
                        return(multiply_method_or_bust(sc, x, caller, cons_unchecked(sc, s7_make_integer(sc, num_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            case T_RATIO:
                num_a = numerator(x);
                den_a = denominator(x);
MULTIPLY_RATIOS:
#if WITH_GMP
                if ((num_a > s7_int32_max) ||
                        (den_a > s7_int32_max) ||
                        (num_a < s7_int32_min))
                    return(big_multiply(sc, cons(sc, s7_ratio_to_big_ratio(sc, num_a, den_a), p)));
#endif
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
                        /* as in +, this can overflow:
                         *   (* 8 -9223372036854775807 8) -> 64
                         *   (* 3/4 -9223372036854775807 8) -> 6
                         *   (* 8 -9223372036854775808 8) -> 0
                         *   (* -1 9223372036854775806 8) -> 16
                         *   (* -9223372036854775808 8 1e+308) -> 0.0
                         */
#if HAVE_OVERFLOW_CHECKS
                        {
                            s7_int dn;
                            if (multiply_overflow(integer(x), num_a, &dn))
                            {
                                if (is_null(p))
                                    return(make_real(sc, ((s7_double)integer(x) / (s7_double)den_a) * (s7_double)num_a));
                                rl_a = ((s7_double)integer(x) / (s7_double)den_a) * (s7_double)num_a;
                                goto MULTIPLY_REALS;
                            }
                            num_a = dn;
                        }
#else
                        num_a *= integer(x);
#endif
                        if (is_null(p)) return(s7_make_ratio(sc, num_a, den_a));
                        if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                            goto MULTIPLY_INTEGERS;
                        goto MULTIPLY_RATIOS;

                    case T_RATIO:
                        {
#if (!WITH_GMP)
#if HAVE_OVERFLOW_CHECKS
                            s7_int d1, n1;
#endif
#endif
                            s7_int d2, n2;
                            d2 = denominator(x);
                            n2 = numerator(x);
#if (!WITH_GMP)
#if HAVE_OVERFLOW_CHECKS
                            d1 = den_a;
                            n1 = num_a;
                            if ((multiply_overflow(n1, n2, &num_a)) ||
                                    (multiply_overflow(d1, d2, &den_a)))
                            {
                                if (is_null(p))
                                    return(make_real(sc, ((long_double)n1 / (long_double)d1) * ((long_double)n2 / (long_double)d2)));
                                rl_a = ((long_double)n1 / (long_double)d1) * ((long_double)n2 / (long_double)d2);
                                goto MULTIPLY_REALS;
                            }
#else
                            num_a *= n2;
                            den_a *= d2;
#endif
#else
                            num_a *= n2;
                            den_a *= d2;
#endif
                            if (is_null(p)) return(s7_make_ratio(sc, num_a, den_a));
                            if (reduce_fraction(&num_a, &den_a) == T_INTEGER)
                                goto MULTIPLY_INTEGERS;
                            goto MULTIPLY_RATIOS;
                        }

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, ((long_double)num_a / (long_double)den_a) * real(x)));
                        rl_a = ((long_double)num_a / (long_double)den_a) * real(x);
                        goto MULTIPLY_REALS;

                    case T_COMPLEX:
                        {
                            s7_double frac;
                            frac = ((long_double)num_a / (long_double)den_a);
                            if (is_null(p)) return(s7_make_complex(sc, frac * real_part(x), frac * imag_part(x)));
                            rl_a = frac * real_part(x);
                            im_a = frac * imag_part(x);
                            goto MULTIPLY_COMPLEX;
                        }

                    default:
                        return(multiply_method_or_bust(sc, x, caller, cons_unchecked(sc, s7_make_ratio(sc, num_a, den_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            case T_REAL:
                rl_a = real(x);

MULTIPLY_REALS:
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
                        if (is_null(p)) return(make_real(sc, rl_a * integer(x)));
                        rl_a *= integer(x);
                        goto MULTIPLY_REALS;

                    case T_RATIO:
                        if (is_null(p)) return(make_real(sc, rl_a * fraction(x)));
                        rl_a *= (s7_double)fraction(x);
                        goto MULTIPLY_REALS;

                    case T_REAL:
                        if (is_null(p)) return(make_real(sc, rl_a * real(x)));
                        rl_a *= real(x);
                        goto MULTIPLY_REALS;

                    case T_COMPLEX:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a * real_part(x), rl_a * imag_part(x)));
                        im_a = rl_a * imag_part(x);
                        rl_a *= real_part(x);
                        goto MULTIPLY_COMPLEX;

                    default:
                        return(multiply_method_or_bust(sc, x, caller, cons_unchecked(sc, make_real(sc, rl_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            case T_COMPLEX:
                rl_a = real_part(x);
                im_a = imag_part(x);

MULTIPLY_COMPLEX:
                x = car(p);
                p = cdr(p);

                switch (type(x))
                {
                    case T_INTEGER:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a * integer(x), im_a * integer(x)));
                        rl_a *= integer(x);
                        im_a *= integer(x);
                        goto MULTIPLY_COMPLEX;

                    case T_RATIO:
                        {
                            s7_double frac;
                            frac = fraction(x);
                            if (is_null(p)) return(s7_make_complex(sc, rl_a * frac, im_a * frac));
                            rl_a *= frac;
                            im_a *= frac;
                            goto MULTIPLY_COMPLEX;
                        }

                    case T_REAL:
                        if (is_null(p)) return(s7_make_complex(sc, rl_a * real(x), im_a * real(x)));
                        rl_a *= real(x);
                        im_a *= real(x);
                        goto MULTIPLY_COMPLEX;

                    case T_COMPLEX:
                        {
                            s7_double r1, r2, i1, i2;
                            r1 = rl_a;
                            i1 = im_a;
                            r2 = real_part(x);
                            i2 = imag_part(x);
                            if (is_null(p))
                                return(s7_make_complex(sc, r1 * r2 - i1 * i2, r1 * i2 + r2 * i1));
                            rl_a = r1 * r2 - i1 * i2;
                            im_a = r1 * i2 + r2 * i1;
                            if (im_a == 0.0)
                                goto MULTIPLY_REALS;
                            goto MULTIPLY_COMPLEX;
                        }

                    default:
                        return(multiply_method_or_bust(sc, x, caller, cons_unchecked(sc, s7_make_complex(sc, rl_a, im_a), cons(sc, x, p)), a_number_string, position_of(p, args) - 1));
                }
                break;

            default:
                return(multiply_method_or_bust(sc, x, caller, args, a_number_string, 1));
        }
        return(NULL); /* make the compiler happy */
    }

// Assembly:
subq $0x478, %rsp            # imm = 0x478
movq %rdi, 0x468(%rsp)
movq %rsi, 0x460(%rsp)
movq %rdx, 0x458(%rsp)
movq 0x460(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bcc1c
movq 0x59879(%rip), %rax     # 0x216488
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x460(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x450(%rsp)
movq 0x460(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x448(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bccc8
movq 0x450(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x5d82f(%rip), %rax     # 0x21a4a0
testb $0x1, (%rax,%rcx)
jne 0x1bccb3
movq 0x468(%rsp), %rdi
movq 0x450(%rsp), %rsi
movq 0x458(%rsp), %rdx
movq 0x460(%rsp), %rcx
movq 0x68252(%rip), %r8      # 0x224ef0
xorl %r9d, %r9d
callq 0x1beb10
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movzbl (%rax), %eax
addl $-0xb, %eax
movl %eax, %ecx
movq %rcx, 0x108(%rsp)
subl $0x3, %eax
ja 0x1beabe
movq 0x108(%rsp), %rax
leaq 0x243a0(%rip), %rcx     # 0x1e1098
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x440(%rsp)
movq 0x448(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x450(%rsp)
movq 0x448(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x448(%rsp)
movq 0x450(%rsp), %rax
movzbl (%rax), %eax
addl $-0xb, %eax
movl %eax, %ecx
movq %rcx, 0x100(%rsp)
subl $0x3, %eax
ja 0x1bd3c9
movq 0x100(%rsp), %rax
leaq 0x2433b(%rip), %rcx     # 0x1e10a8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x440(%rsp), %rcx
movq 0x450(%rsp), %rax
imulq 0x8(%rax), %rcx
seto %al
movq %rcx, 0x420(%rsp)
testb $0x1, %al
jne 0x1bcd9f
jmp 0x1bceab
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bce81
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x410(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bce0e
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x418(%rsp)
movq 0x418(%rsp), %rax
movq $0xd, (%rax)
movsd 0x410(%rsp), %xmm0
movq 0x418(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x418(%rsp), %rax
movq %rax, 0x408(%rsp)
movq 0x408(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x420(%rsp), %rax
movq %rax, 0x440(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bcfdc
movq 0x440(%rsp), %rax
movq %rax, 0x400(%rsp)
movq 0x400(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1bcf1c
movq 0x400(%rsp), %rcx
leaq 0x59575(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0xf8(%rsp)
jmp 0x1bcfb7
jmp 0x1bcf1e
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bcf4b
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x3f0(%rsp)
movq 0x3f0(%rsp), %rax
movq $0xb, (%rax)
movq 0x400(%rsp), %rcx
movq 0x3f0(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x3f0(%rsp), %rax
movq %rax, 0x3e8(%rsp)
movq 0x3e8(%rsp), %rax
movq %rax, 0xf8(%rsp)
movq 0xf8(%rsp), %rax
movq %rax, 0x3f8(%rsp)
movq 0x3f8(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
jmp 0x1bcd15
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
imulq 0x440(%rsp), %rcx
seto %al
movq %rcx, 0x3e0(%rsp)
testb $0x1, %al
jne 0x1bd00a
jmp 0x1bd196
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd12c
cvtsi2sdq 0x440(%rsp), %xmm0
movsd %xmm0, 0x160(%rsp)
fldl 0x160(%rsp)
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x170(%rsp)
fildll 0x170(%rsp)
movq %rax, 0x168(%rsp)
fildll 0x168(%rsp)
fdivrp %st, %st(1)
fmulp %st, %st(1)
fstpl 0x158(%rsp)
movsd 0x158(%rsp), %xmm0
movsd %xmm0, 0x3d0(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bd0b9
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x3d8(%rsp)
movq 0x3d8(%rsp), %rax
movq $0xd, (%rax)
movsd 0x3d0(%rsp), %xmm0
movq 0x3d8(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x3d8(%rsp), %rax
movq %rax, 0x3c8(%rsp)
movq 0x3c8(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
cvtsi2sdq 0x440(%rsp), %xmm0
movsd %xmm0, 0x180(%rsp)
fldl 0x180(%rsp)
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x190(%rsp)
fildll 0x190(%rsp)
movq %rax, 0x188(%rsp)
fildll 0x188(%rsp)
fdivrp %st, %st(1)
fmulp %st, %st(1)
fstpl 0x178(%rsp)
movsd 0x178(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x3e0(%rsp), %rax
movq %rax, 0x440(%rsp)
movq 0x450(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x438(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd1fd
movq 0x468(%rsp), %rdi
movq 0x440(%rsp), %rsi
movq 0x438(%rsp), %rdx
callq 0x11a80
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
leaq 0x440(%rsp), %rdi
leaq 0x438(%rsp), %rsi
callq 0x1bc710
cmpl $0xb, %eax
jne 0x1bd21c
jmp 0x1bcd15
jmp 0x1bd595
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd2fe
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd %xmm0, 0x3b8(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bd28b
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x3c0(%rsp)
movq 0x3c0(%rsp), %rax
movq $0xd, (%rax)
movsd 0x3b8(%rsp), %xmm0
movq 0x3c0(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x3c0(%rsp), %rax
movq %rax, 0x3b0(%rsp)
movq 0x3b0(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd384
movq 0x468(%rsp), %rdi
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
cvtsi2sdq 0x440(%rsp), %xmm1
movq 0x450(%rsp), %rax
mulsd 0x10(%rax), %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd %xmm0, 0x430(%rsp)
cvtsi2sdq 0x440(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x10(%rax), %xmm0
movsd %xmm0, 0x428(%rsp)
jmp 0x1be524
movq 0x468(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0xd8(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0xe0(%rsp)
movq 0x468(%rsp), %rax
movq %rax, 0xe8(%rsp)
movq 0x468(%rsp), %rdi
movq 0x440(%rsp), %rsi
callq 0x120f0
movq %rax, 0xf0(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x3a0(%rsp)
movq 0x448(%rsp), %rax
movq %rax, 0x398(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bd473
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x3a8(%rsp)
movq 0x3a8(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0xf0(%rsp), %rsi
movq 0xe8(%rsp), %rdi
movq 0x3a0(%rsp), %rcx
movq 0x3a8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x398(%rsp), %rcx
movq 0x3a8(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x3a8(%rsp), %rax
movq %rax, 0x390(%rsp)
movq 0x390(%rsp), %rdx
callq 0xd9f0
movq %rax, 0xc0(%rsp)
movq 0x679e1(%rip), %rax     # 0x224ef0
movq %rax, 0xc8(%rsp)
movq 0x448(%rsp), %rdi
movq 0x460(%rsp), %rsi
callq 0xc5450
movq 0xd0(%rsp), %rdi
movq 0xd8(%rsp), %rsi
movq 0xe0(%rsp), %rdx
movq 0xc0(%rsp), %rcx
movq 0xc8(%rsp), %r8
movl %eax, %r9d
subl $0x1, %r9d
callq 0x1beb10
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x440(%rsp)
movq 0x450(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x438(%rsp)
movq 0x448(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x450(%rsp)
movq 0x448(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x448(%rsp)
movq 0x450(%rsp), %rax
movzbl (%rax), %eax
addl $-0xb, %eax
movl %eax, %ecx
movq %rcx, 0xb8(%rsp)
subl $0x3, %eax
ja 0x1bdcc3
movq 0xb8(%rsp), %rax
leaq 0x23acb(%rip), %rcx     # 0x1e10b8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
imulq 0x440(%rsp), %rcx
seto %al
movq %rcx, 0x388(%rsp)
testb $0x1, %al
jne 0x1bd61f
jmp 0x1bd747
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd70f
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm0
cvtsi2sdq 0x438(%rsp), %xmm1
divsd %xmm1, %xmm0
cvtsi2sdq 0x440(%rsp), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x378(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bd69c
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x380(%rsp)
movq 0x380(%rsp), %rax
movq $0xd, (%rax)
movsd 0x378(%rsp), %xmm0
movq 0x380(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x380(%rsp), %rax
movq %rax, 0x370(%rsp)
movq 0x370(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm0
cvtsi2sdq 0x438(%rsp), %xmm1
divsd %xmm1, %xmm0
cvtsi2sdq 0x440(%rsp), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x388(%rsp), %rax
movq %rax, 0x440(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd79a
movq 0x468(%rsp), %rdi
movq 0x440(%rsp), %rsi
movq 0x438(%rsp), %rdx
callq 0x11a80
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
leaq 0x440(%rsp), %rdi
leaq 0x438(%rsp), %rsi
callq 0x1bc710
cmpl $0xb, %eax
jne 0x1bd7b9
jmp 0x1bcd15
jmp 0x1bd595
movq 0x450(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x358(%rsp)
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x350(%rsp)
movq 0x438(%rsp), %rax
movq %rax, 0x368(%rsp)
movq 0x440(%rsp), %rax
movq %rax, 0x360(%rsp)
movq 0x360(%rsp), %rcx
imulq 0x350(%rsp), %rcx
seto %al
movq %rcx, 0x440(%rsp)
testb $0x1, %al
jne 0x1bd84b
movq 0x368(%rsp), %rcx
imulq 0x358(%rsp), %rcx
seto %al
movq %rcx, 0x438(%rsp)
testb $0x1, %al
jne 0x1bd84b
jmp 0x1bda03
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bd983
movq 0x360(%rsp), %rax
movq %rax, 0x1a0(%rsp)
fildll 0x1a0(%rsp)
movq 0x368(%rsp), %rax
movq %rax, 0x1a8(%rsp)
fildll 0x1a8(%rsp)
fdivrp %st, %st(1)
movq 0x350(%rsp), %rax
movq %rax, 0x1b0(%rsp)
fildll 0x1b0(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x1b8(%rsp)
fildll 0x1b8(%rsp)
fdivrp %st, %st(1)
fmulp %st, %st(1)
fstpl 0x198(%rsp)
movsd 0x198(%rsp), %xmm0
movsd %xmm0, 0x340(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bd910
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x348(%rsp)
movq 0x348(%rsp), %rax
movq $0xd, (%rax)
movsd 0x340(%rsp), %xmm0
movq 0x348(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x348(%rsp), %rax
movq %rax, 0x338(%rsp)
movq 0x338(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x360(%rsp), %rax
movq %rax, 0x1c8(%rsp)
fildll 0x1c8(%rsp)
movq 0x368(%rsp), %rax
movq %rax, 0x1d0(%rsp)
fildll 0x1d0(%rsp)
fdivrp %st, %st(1)
movq 0x350(%rsp), %rax
movq %rax, 0x1d8(%rsp)
fildll 0x1d8(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x1e0(%rsp)
fildll 0x1e0(%rsp)
fdivrp %st, %st(1)
fmulp %st, %st(1)
fstpl 0x1c0(%rsp)
movsd 0x1c0(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bda46
movq 0x468(%rsp), %rdi
movq 0x440(%rsp), %rsi
movq 0x438(%rsp), %rdx
callq 0x11a80
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
leaq 0x440(%rsp), %rdi
leaq 0x438(%rsp), %rsi
callq 0x1bc710
cmpl $0xb, %eax
jne 0x1bda65
jmp 0x1bcd15
jmp 0x1bd595
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bdb7d
movq 0x440(%rsp), %rax
movq %rax, 0x1f0(%rsp)
fildll 0x1f0(%rsp)
movq 0x438(%rsp), %rax
movq %rax, 0x1f8(%rsp)
fildll 0x1f8(%rsp)
fdivrp %st, %st(1)
movq 0x450(%rsp), %rax
fldl 0x8(%rax)
fmulp %st, %st(1)
fstpl 0x1e8(%rsp)
movsd 0x1e8(%rsp), %xmm0
movsd %xmm0, 0x328(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bdb0a
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x330(%rsp)
movq 0x330(%rsp), %rax
movq $0xd, (%rax)
movsd 0x328(%rsp), %xmm0
movq 0x330(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x330(%rsp), %rax
movq %rax, 0x320(%rsp)
movq 0x320(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x440(%rsp), %rax
movq %rax, 0x208(%rsp)
fildll 0x208(%rsp)
movq 0x438(%rsp), %rax
movq %rax, 0x210(%rsp)
fildll 0x210(%rsp)
fdivrp %st, %st(1)
movq 0x450(%rsp), %rax
fldl 0x8(%rax)
fmulp %st, %st(1)
fstpl 0x200(%rsp)
movsd 0x200(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x440(%rsp), %rax
movq %rax, 0x220(%rsp)
fildll 0x220(%rsp)
movq 0x438(%rsp), %rax
movq %rax, 0x228(%rsp)
fildll 0x228(%rsp)
fdivrp %st, %st(1)
fstpl 0x218(%rsp)
movsd 0x218(%rsp), %xmm0
movsd %xmm0, 0x318(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bdc80
movq 0x468(%rsp), %rdi
movsd 0x318(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd 0x318(%rsp), %xmm1
movq 0x450(%rsp), %rax
mulsd 0x10(%rax), %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movsd 0x318(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd %xmm0, 0x430(%rsp)
movsd 0x318(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x10(%rax), %xmm0
movsd %xmm0, 0x428(%rsp)
jmp 0x1be524
movq 0x468(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0xa0(%rsp)
movq 0x468(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0x468(%rsp), %rdi
movq 0x440(%rsp), %rsi
movq 0x438(%rsp), %rdx
callq 0x11a80
movq %rax, 0xb0(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x308(%rsp)
movq 0x448(%rsp), %rax
movq %rax, 0x300(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bdd75
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x310(%rsp)
movq 0x310(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0xb0(%rsp), %rsi
movq 0xa8(%rsp), %rdi
movq 0x308(%rsp), %rcx
movq 0x310(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x300(%rsp), %rcx
movq 0x310(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x310(%rsp), %rax
movq %rax, 0x2f8(%rsp)
movq 0x2f8(%rsp), %rdx
callq 0xd9f0
movq %rax, 0x80(%rsp)
movq 0x670df(%rip), %rax     # 0x224ef0
movq %rax, 0x88(%rsp)
movq 0x448(%rsp), %rdi
movq 0x460(%rsp), %rsi
callq 0xc5450
movq 0x90(%rsp), %rdi
movq 0x98(%rsp), %rsi
movq 0xa0(%rsp), %rdx
movq 0x80(%rsp), %rcx
movq 0x88(%rsp), %r8
movl %eax, %r9d
subl $0x1, %r9d
callq 0x1beb10
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, 0x430(%rsp)
movq 0x448(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x450(%rsp)
movq 0x448(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x448(%rsp)
movq 0x450(%rsp), %rax
movzbl (%rax), %eax
addl $-0xb, %eax
movl %eax, %ecx
movq %rcx, 0x78(%rsp)
subl $0x3, %eax
ja 0x1be2ee
movq 0x78(%rsp), %rax
leaq 0x231f1(%rip), %rcx     # 0x1e10c8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1bdfc1
movsd 0x430(%rsp), %xmm0
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x2e8(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1bdf4e
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x2f0(%rsp)
movq 0x2f0(%rsp), %rax
movq $0xd, (%rax)
movsd 0x2e8(%rsp), %xmm0
movq 0x2f0(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x2f0(%rsp), %rax
movq %rax, 0x2e0(%rsp)
movq 0x2e0(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be0f5
fldl 0x430(%rsp)
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x120(%rsp)
fildll 0x120(%rsp)
movq %rax, 0x118(%rsp)
fildll 0x118(%rsp)
fdivrp %st, %st(1)
fmulp %st, %st(1)
fstpl 0x110(%rsp)
movsd 0x110(%rsp), %xmm0
movsd %xmm0, 0x2d0(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1be082
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x2d8(%rsp)
movq 0x2d8(%rsp), %rax
movq $0xd, (%rax)
movsd 0x2d0(%rsp), %xmm0
movq 0x2d8(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x2d8(%rsp), %rax
movq %rax, 0x2c8(%rsp)
movq 0x2c8(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x138(%rsp)
fildll 0x138(%rsp)
movq %rax, 0x130(%rsp)
fildll 0x130(%rsp)
fdivrp %st, %st(1)
fstpl 0x128(%rsp)
movsd 0x128(%rsp), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be228
movsd 0x430(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd %xmm0, 0x2b8(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1be1b5
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x2c0(%rsp)
movq 0x2c0(%rsp), %rax
movq $0xd, (%rax)
movsd 0x2b8(%rsp), %xmm0
movq 0x2c0(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x2c0(%rsp), %rax
movq %rax, 0x2b0(%rsp)
movq 0x2b0(%rsp), %rax
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1bde85
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be2ab
movq 0x468(%rsp), %rdi
movsd 0x430(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd 0x430(%rsp), %xmm1
movq 0x450(%rsp), %rax
mulsd 0x10(%rax), %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movsd 0x430(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x10(%rax), %xmm0
movsd %xmm0, 0x428(%rsp)
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
jmp 0x1be524
movq 0x468(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x468(%rsp), %rax
movq %rax, 0x70(%rsp)
movsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x2a0(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1be361
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x2a8(%rsp)
movq 0x2a8(%rsp), %rax
movq $0xd, (%rax)
movsd 0x2a0(%rsp), %xmm0
movq 0x2a8(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x2a8(%rsp), %rax
movq %rax, 0x298(%rsp)
movq 0x298(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x288(%rsp)
movq 0x448(%rsp), %rax
movq %rax, 0x280(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1be419
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x290(%rsp)
movq 0x290(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x50(%rsp), %rsi
movq 0x70(%rsp), %rdi
movq 0x288(%rsp), %rcx
movq 0x290(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x280(%rsp), %rcx
movq 0x290(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x290(%rsp), %rax
movq %rax, 0x278(%rsp)
movq 0x278(%rsp), %rdx
callq 0xd9f0
movq %rax, 0x40(%rsp)
movq 0x66a44(%rip), %rax     # 0x224ef0
movq %rax, 0x48(%rsp)
movq 0x448(%rsp), %rdi
movq 0x460(%rsp), %rsi
callq 0xc5450
movq 0x58(%rsp), %rdi
movq 0x60(%rsp), %rsi
movq 0x68(%rsp), %rdx
movq 0x40(%rsp), %rcx
movq 0x48(%rsp), %r8
movl %eax, %r9d
subl $0x1, %r9d
callq 0x1beb10
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, 0x430(%rsp)
movq 0x450(%rsp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, 0x428(%rsp)
movq 0x448(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x450(%rsp)
movq 0x448(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x448(%rsp)
movq 0x450(%rsp), %rax
movzbl (%rax), %eax
addl $-0xb, %eax
movl %eax, %ecx
movq %rcx, 0x38(%rsp)
subl $0x3, %eax
ja 0x1be93f
movq 0x38(%rsp), %rax
leaq 0x22b62(%rip), %rcx     # 0x1e10d8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be5e8
movq 0x468(%rsp), %rdi
movsd 0x430(%rsp), %xmm0
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd 0x428(%rsp), %xmm1
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm2
mulsd %xmm2, %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
movq 0x450(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm0
mulsd 0x428(%rsp), %xmm0
movsd %xmm0, 0x428(%rsp)
jmp 0x1be524
movq 0x450(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x150(%rsp)
fildll 0x150(%rsp)
movq %rax, 0x148(%rsp)
fildll 0x148(%rsp)
fdivrp %st, %st(1)
fstpl 0x140(%rsp)
movsd 0x140(%rsp), %xmm0
movsd %xmm0, 0x270(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be6cd
movq 0x468(%rsp), %rdi
movsd 0x430(%rsp), %xmm0
mulsd 0x270(%rsp), %xmm0
movsd 0x428(%rsp), %xmm1
mulsd 0x270(%rsp), %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movsd 0x270(%rsp), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
movsd 0x270(%rsp), %xmm0
mulsd 0x428(%rsp), %xmm0
movsd %xmm0, 0x428(%rsp)
jmp 0x1be524
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be767
movq 0x468(%rsp), %rdi
movsd 0x430(%rsp), %xmm0
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm0
movsd 0x428(%rsp), %xmm1
movq 0x450(%rsp), %rax
mulsd 0x8(%rax), %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
mulsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x430(%rsp)
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
mulsd 0x428(%rsp), %xmm0
movsd %xmm0, 0x428(%rsp)
jmp 0x1be524
movsd 0x430(%rsp), %xmm0
movsd %xmm0, 0x268(%rsp)
movsd 0x428(%rsp), %xmm0
movsd %xmm0, 0x258(%rsp)
movq 0x450(%rsp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, 0x260(%rsp)
movq 0x450(%rsp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, 0x250(%rsp)
movq 0x448(%rsp), %rax
movq 0x468(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1be8a0
movq 0x468(%rsp), %rdi
movsd 0x268(%rsp), %xmm0
movsd 0x260(%rsp), %xmm2
movsd 0x258(%rsp), %xmm1
mulsd 0x250(%rsp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x268(%rsp), %xmm1
movsd 0x250(%rsp), %xmm3
movsd 0x260(%rsp), %xmm2
mulsd 0x258(%rsp), %xmm2
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
callq 0x122a0
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movsd 0x268(%rsp), %xmm0
movsd 0x260(%rsp), %xmm2
movsd 0x258(%rsp), %xmm1
mulsd 0x250(%rsp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x430(%rsp)
movsd 0x268(%rsp), %xmm0
movsd 0x250(%rsp), %xmm2
movsd 0x260(%rsp), %xmm1
mulsd 0x258(%rsp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x428(%rsp)
movsd 0x428(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x1be93a
jp 0x1be93a
jmp 0x1bde85
jmp 0x1be524
movq 0x468(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x468(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x468(%rsp), %rdi
movsd 0x430(%rsp), %xmm0
movsd 0x428(%rsp), %xmm1
callq 0x122a0
movq %rax, 0x30(%rsp)
movq 0x450(%rsp), %rax
movq %rax, 0x240(%rsp)
movq 0x448(%rsp), %rax
movq %rax, 0x238(%rsp)
movq 0x468(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x468(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1be9e4
movq 0x468(%rsp), %rdi
callq 0xc670
movq 0x468(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x248(%rsp)
movq 0x248(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x30(%rsp), %rsi
movq 0x28(%rsp), %rdi
movq 0x240(%rsp), %rcx
movq 0x248(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x238(%rsp), %rcx
movq 0x248(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x248(%rsp), %rax
movq %rax, 0x230(%rsp)
movq 0x230(%rsp), %rdx
callq 0xd9f0
movq %rax, (%rsp)
movq 0x6647a(%rip), %rax     # 0x224ef0
movq %rax, 0x8(%rsp)
movq 0x448(%rsp), %rdi
movq 0x460(%rsp), %rsi
callq 0xc5450
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq 0x20(%rsp), %rdx
movq (%rsp), %rcx
movq 0x8(%rsp), %r8
movl %eax, %r9d
subl $0x1, %r9d
callq 0x1beb10
movq %rax, 0x470(%rsp)
jmp 0x1beaf8
movq 0x468(%rsp), %rdi
movq 0x450(%rsp), %rsi
movq 0x458(%rsp), %rdx
movq 0x460(%rsp), %rcx
movq 0x6640b(%rip), %r8      # 0x224ef0
movl $0x1, %r9d
callq 0x1beb10
movq %rax, 0x470(%rsp)
movq 0x470(%rsp), %rax
addq $0x478, %rsp            # imm = 0x478
retq
nopl (%rax,%rax)