// File: /workspace/github_c_makefile_star2_O0/debbiemarkslab[P]plmc/src/plm.c
// Function: MSACountMarginals
void MSACountMarginals(alignment_t *ali, options_t *options) {
    /* Compute first and second order marginal distributions, according to the 
       sequence weights
     */
    if (options->estimatorMAP == INFER_MAP_PLM_GAPREDUCE) {
        /* Condition the marginals on ungapped */
        ali->nCodes = strlen(ali->alphabet) - 1;

        /* First-order marginals P_i(Ai) */
        int nFi = ali->nSites * ali->nCodes;
        ali->fi = (numeric_t *) malloc(nFi * sizeof(numeric_t));
        for (int i = 0; i < nFi; i++) ali->fi[i] = 0.0;

        for (int s = 0; s < ali->nSeqs; s++)
            for (int i = 0; i < ali->nSites; i++)
                if (seq(s, i) > 0)
                    fi(i, seq(s, i) - 1) += ali->weights[s];

        /* Second-order marginals P_ij(Ai, Aj) */
        int nFij = ali->nSites * (ali->nSites - 1) / 2 * ali->nCodes * ali->nCodes;
        ali->fij = (numeric_t *) malloc(nFij * sizeof(numeric_t));
        for (int i = 0; i < nFij; i++) ali->fij[i] = 0.0;

        for (int s = 0; s < ali->nSeqs; s++)
            for (int i = 0; i < ali->nSites - 1; i++)
                for (int j = i + 1; j < ali->nSites; j++)
                    if (seq(s, i) > 0) if(seq(s, j) > 0)
                        fij(i, j, seq(s, i) - 1, seq(s, j) - 1)
                            += ali->weights[s];

        /* Normalize conditional distributions */
        for (int i = 0; i < ali->nSites; i++) {
            double fsum = 0.0;
            for (int ai = 0; ai < ali->nCodes; ai++)
                fsum += fi(i, ai);
            if (fsum != 0) {
                double fsumInv = 1.0 / fsum;
                for (int ai = 0; ai < ali->nCodes; ai++)
                    fi(i, ai) *= fsumInv;
            } else {
                /* Handle empty columns */
                numeric_t flatF = 1.0 / ((numeric_t) ali->nCodes);
                for (int ai = 0; ai < ali->nCodes; ai++)
                    fi(i, ai) = flatF;
            }
        }
        for (int i = 0; i < ali->nSites - 1; i++)
            for (int j = i + 1; j < ali->nSites; j++) {
                double fsum = 0.0;
                for (int ai = 0; ai < ali->nCodes; ai++)
                    for (int aj = 0; aj < ali->nCodes; aj++)
                        fsum += fij(i, j, ai, aj);
                if (fsum != 0) {
                    double fsumInv = 1.0 / fsum;
                    for (int ai = 0; ai < ali->nCodes; ai++)
                        for (int aj = 0; aj < ali->nCodes; aj++)
                            fij(i, j, ai, aj) *= fsumInv;
                } else {
                    /* Handle pairs of empty columns */
                    numeric_t flatF = 1.0 / ((numeric_t) (ali->nCodes * ali->nCodes));
                    for (int ai = 0; ai < ali->nCodes; ai++)
                        for (int aj = 0; aj < ali->nCodes; aj++)
                            fij(i, j, ai, aj) = flatF;
                }
            }

    } else {
        /* Compute regular marginals */
        numeric_t Zinv = 1.0 / ali->nEff;

        /* First-order marginals P_i(Ai) */
        int nFi = ali->nSites * ali->nCodes;
        ali->fi = (numeric_t *) malloc(nFi * sizeof(numeric_t));
        for (int i = 0; i < nFi; i++) ali->fi[i] = 0.0;

        for (int s = 0; s < ali->nSeqs; s++)
            for (int i = 0; i < ali->nSites; i++)
                fi(i, seq(s, i)) += ali->weights[s] * Zinv;

        /* Second-order marginals P_ij(Ai, Aj) */
        int nFij = ali->nSites * (ali->nSites - 1) / 2 * ali->nCodes * ali->nCodes;
        ali->fij = (numeric_t *) malloc(nFij * sizeof(numeric_t));
        for (int i = 0; i < nFij; i++) ali->fij[i] = 0.0;

        for (int s = 0; s < ali->nSeqs; s++)
            for (int i = 0; i < ali->nSites - 1; i++)
                for (int j = i + 1; j < ali->nSites; j++)
                    fij(i, j, seq(s, i), seq(s, j)) += ali->weights[s] * Zinv;
    }
}

// Assembly:
subq $0x148, %rsp            # imm = 0x148
movq %rdi, 0x140(%rsp)
movq %rsi, 0x138(%rsp)
movq 0x138(%rsp), %rax
cmpl $0x1, 0x18(%rax)
jne 0x7d16
movq 0x140(%rsp), %rax
movq 0x10(%rax), %rdi
callq 0x10b0
subq $0x1, %rax
movl %eax, %ecx
movq 0x140(%rsp), %rax
movl %ecx, 0x8(%rax)
movq 0x140(%rsp), %rax
movl 0x4(%rax), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl %eax, 0x134(%rsp)
movslq 0x134(%rsp), %rdi
shlq $0x3, %rdi
callq 0x1170
movq %rax, %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x58(%rax)
movl $0x0, 0x130(%rsp)
movl 0x130(%rsp), %eax
cmpl 0x134(%rsp), %eax
jge 0x7113
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movslq 0x130(%rsp), %rcx
xorps %xmm0, %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0x130(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x130(%rsp)
jmp 0x70d4
movl $0x0, 0x12c(%rsp)
movl 0x12c(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl (%rcx), %eax
jge 0x7236
movl $0x0, 0x128(%rsp)
movl 0x128(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x721e
movq 0x140(%rsp), %rax
movq 0x20(%rax), %rax
movl 0x128(%rsp), %ecx
movl 0x12c(%rsp), %edx
movq 0x140(%rsp), %rsi
imull 0x4(%rsi), %edx
addl %edx, %ecx
movslq %ecx, %rcx
cmpl $0x0, (%rax,%rcx,4)
jle 0x7206
movq 0x140(%rsp), %rax
movq 0x50(%rax), %rax
movslq 0x12c(%rsp), %rcx
movsd (%rax,%rcx,8), %xmm0
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movl 0x128(%rsp), %ecx
movq 0x140(%rsp), %rdx
movl 0x4(%rdx), %edx
movq 0x140(%rsp), %rsi
movq 0x20(%rsi), %rsi
movl 0x128(%rsp), %edi
movl 0x12c(%rsp), %r8d
movq 0x140(%rsp), %r9
imull 0x4(%r9), %r8d
addl %r8d, %edi
movslq %edi, %rdi
movl (%rsi,%rdi,4), %esi
subl $0x1, %esi
imull %esi, %edx
addl %edx, %ecx
movslq %ecx, %rcx
addsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
jmp 0x7208
movl 0x128(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x128(%rsp)
jmp 0x7140
jmp 0x7220
movl 0x12c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x12c(%rsp)
jmp 0x711e
movq 0x140(%rsp), %rax
movl 0x4(%rax), %eax
movq 0x140(%rsp), %rcx
movl 0x4(%rcx), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl %eax, 0x124(%rsp)
movslq 0x124(%rsp), %rdi
shlq $0x3, %rdi
callq 0x1170
movq %rax, %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x60(%rax)
movl $0x0, 0x120(%rsp)
movl 0x120(%rsp), %eax
cmpl 0x124(%rsp), %eax
jge 0x72e3
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movslq 0x120(%rsp), %rcx
xorps %xmm0, %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0x120(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x120(%rsp)
jmp 0x72a4
movl $0x0, 0x11c(%rsp)
movl 0x11c(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl (%rcx), %eax
jge 0x75cd
movl $0x0, 0x118(%rsp)
movl 0x118(%rsp), %eax
movq 0x140(%rsp), %rcx
movl 0x4(%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x75b5
movl 0x118(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x114(%rsp)
movl 0x114(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x759d
movq 0x140(%rsp), %rax
movq 0x20(%rax), %rax
movl 0x118(%rsp), %ecx
movl 0x11c(%rsp), %edx
movq 0x140(%rsp), %rsi
imull 0x4(%rsi), %edx
addl %edx, %ecx
movslq %ecx, %rcx
cmpl $0x0, (%rax,%rcx,4)
jle 0x7585
movq 0x140(%rsp), %rax
movq 0x20(%rax), %rax
movl 0x114(%rsp), %ecx
movl 0x11c(%rsp), %edx
movq 0x140(%rsp), %rsi
imull 0x4(%rsi), %edx
addl %edx, %ecx
movslq %ecx, %rcx
cmpl $0x0, (%rax,%rcx,4)
jle 0x7583
movq 0x140(%rsp), %rax
movq 0x50(%rax), %rax
movslq 0x11c(%rsp), %rcx
movsd (%rax,%rcx,8), %xmm0
movsd %xmm0, 0x68(%rsp)
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movq %rax, 0x70(%rsp)
movl 0x118(%rsp), %eax
cmpl 0x114(%rsp), %eax
jge 0x74b8
movl 0x114(%rsp), %eax
movl 0x114(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0x118(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x114(%rsp), %edx
movl 0x11c(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
movl (%rcx,%rdx,4), %ecx
subl $0x1, %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x118(%rsp), %edx
movl 0x11c(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
addl (%rcx,%rdx,4), %eax
subl $0x1, %eax
movl %eax, 0x64(%rsp)
jmp 0x7567
movl 0x118(%rsp), %eax
movl 0x118(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0x114(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x118(%rsp), %edx
movl 0x11c(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
movl (%rcx,%rdx,4), %ecx
subl $0x1, %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x114(%rsp), %edx
movl 0x11c(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
addl (%rcx,%rdx,4), %eax
subl $0x1, %eax
movl %eax, 0x64(%rsp)
movq 0x70(%rsp), %rax
movsd 0x68(%rsp), %xmm0
movl 0x64(%rsp), %ecx
movslq %ecx, %rcx
addsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
jmp 0x7585
jmp 0x7587
movl 0x114(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x114(%rsp)
jmp 0x733e
jmp 0x759f
movl 0x118(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x118(%rsp)
jmp 0x7310
jmp 0x75b7
movl 0x11c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x11c(%rsp)
jmp 0x72ee
movl $0x0, 0x110(%rsp)
movl 0x110(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x77bf
xorps %xmm0, %xmm0
movsd %xmm0, 0x108(%rsp)
movl $0x0, 0x104(%rsp)
movl 0x104(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7670
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movl 0x110(%rsp), %ecx
movq 0x140(%rsp), %rdx
movl 0x4(%rdx), %edx
imull 0x104(%rsp), %edx
addl %edx, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
addsd 0x108(%rsp), %xmm0
movsd %xmm0, 0x108(%rsp)
movl 0x104(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x104(%rsp)
jmp 0x7607
movsd 0x108(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x7689
jp 0x7689
jmp 0x7718
movsd 0x119bf(%rip), %xmm0    # 0x19050
divsd 0x108(%rsp), %xmm0
movsd %xmm0, 0xf8(%rsp)
movl $0x0, 0xf4(%rsp)
movl 0xf4(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7713
movsd 0xf8(%rsp), %xmm0
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movl 0x110(%rsp), %ecx
movq 0x140(%rsp), %rdx
movl 0x4(%rdx), %edx
imull 0xf4(%rsp), %edx
addl %edx, %ecx
movslq %ecx, %rcx
mulsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0xf4(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xf4(%rsp)
jmp 0x76ae
jmp 0x77a7
movq 0x140(%rsp), %rax
cvtsi2sdl 0x8(%rax), %xmm1
movsd 0x11923(%rip), %xmm0    # 0x19050
divsd %xmm1, %xmm0
movsd %xmm0, 0xe8(%rsp)
movl $0x0, 0xe4(%rsp)
movl 0xe4(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x77a5
movsd 0xe8(%rsp), %xmm0
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movl 0x110(%rsp), %ecx
movq 0x140(%rsp), %rdx
movl 0x4(%rdx), %edx
imull 0xe4(%rsp), %edx
addl %edx, %ecx
movslq %ecx, %rcx
movsd %xmm0, (%rax,%rcx,8)
movl 0xe4(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xe4(%rsp)
jmp 0x7745
jmp 0x77a7
jmp 0x77a9
movl 0x110(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x110(%rsp)
jmp 0x75d8
movl $0x0, 0xe0(%rsp)
movl 0xe0(%rsp), %eax
movq 0x140(%rsp), %rcx
movl 0x4(%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x7d11
movl 0xe0(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xdc(%rsp)
movl 0xdc(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x7cf9
xorps %xmm0, %xmm0
movsd %xmm0, 0xd0(%rsp)
movl $0x0, 0xcc(%rsp)
movl 0xcc(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x798c
movl $0x0, 0xc8(%rsp)
movl 0xc8(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7974
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movq %rax, 0x58(%rsp)
movl 0xe0(%rsp), %eax
cmpl 0xdc(%rsp), %eax
jge 0x78e0
movl 0xdc(%rsp), %eax
movl 0xdc(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0xe0(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl 0xc8(%rsp), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
addl 0xcc(%rsp), %eax
movl %eax, 0x54(%rsp)
jmp 0x793b
movl 0xe0(%rsp), %eax
movl 0xe0(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0xdc(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl 0xcc(%rsp), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
addl 0xc8(%rsp), %eax
movl %eax, 0x54(%rsp)
movq 0x58(%rsp), %rax
movl 0x54(%rsp), %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
addsd 0xd0(%rsp), %xmm0
movsd %xmm0, 0xd0(%rsp)
movl 0xc8(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc8(%rsp)
jmp 0x784a
jmp 0x7976
movl 0xcc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xcc(%rsp)
jmp 0x7827
movsd 0xd0(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x79a5
jp 0x79a5
jmp 0x7b3c
movsd 0x116a3(%rip), %xmm0    # 0x19050
divsd 0xd0(%rsp), %xmm0
movsd %xmm0, 0xc0(%rsp)
movl $0x0, 0xbc(%rsp)
movl 0xbc(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7b37
movl $0x0, 0xb8(%rsp)
movl 0xb8(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7b1f
movsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movq %rax, 0x48(%rsp)
movl 0xe0(%rsp), %eax
cmpl 0xdc(%rsp), %eax
jge 0x7a92
movl 0xdc(%rsp), %eax
movl 0xdc(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0xe0(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl 0xb8(%rsp), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
addl 0xbc(%rsp), %eax
movl %eax, 0x3c(%rsp)
jmp 0x7aed
movl 0xe0(%rsp), %eax
movl 0xe0(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0xdc(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl 0xbc(%rsp), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
addl 0xb8(%rsp), %eax
movl %eax, 0x3c(%rsp)
movq 0x48(%rsp), %rax
movsd 0x40(%rsp), %xmm0
movl 0x3c(%rsp), %ecx
movslq %ecx, %rcx
mulsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0xb8(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xb8(%rsp)
jmp 0x79ed
jmp 0x7b21
movl 0xbc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xbc(%rsp)
jmp 0x79ca
jmp 0x7ce1
movq 0x140(%rsp), %rax
movl 0x8(%rax), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
cvtsi2sd %eax, %xmm1
movsd 0x114f1(%rip), %xmm0    # 0x19050
divsd %xmm1, %xmm0
movsd %xmm0, 0xb0(%rsp)
movl $0x0, 0xac(%rsp)
movl 0xac(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7cdf
movl $0x0, 0xa8(%rsp)
movl 0xa8(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x8(%rcx), %eax
jge 0x7cc7
movsd 0xb0(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movq %rax, 0x30(%rsp)
movl 0xe0(%rsp), %eax
cmpl 0xdc(%rsp), %eax
jge 0x7c3f
movl 0xdc(%rsp), %eax
movl 0xdc(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0xe0(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl 0xa8(%rsp), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
addl 0xac(%rsp), %eax
movl %eax, 0x24(%rsp)
jmp 0x7c9a
movl 0xe0(%rsp), %eax
movl 0xe0(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0xdc(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl 0xac(%rsp), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
addl 0xa8(%rsp), %eax
movl %eax, 0x24(%rsp)
movq 0x30(%rsp), %rax
movsd 0x28(%rsp), %xmm0
movl 0x24(%rsp), %ecx
movslq %ecx, %rcx
movsd %xmm0, (%rax,%rcx,8)
movl 0xa8(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xa8(%rsp)
jmp 0x7b9a
jmp 0x7cc9
movl 0xac(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xac(%rsp)
jmp 0x7b77
jmp 0x7ce1
jmp 0x7ce3
movl 0xdc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xdc(%rsp)
jmp 0x77f8
jmp 0x7cfb
movl 0xe0(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xe0(%rsp)
jmp 0x77ca
jmp 0x81d6
movq 0x140(%rsp), %rax
movsd 0x1132a(%rip), %xmm0    # 0x19050
divsd 0x48(%rax), %xmm0
movsd %xmm0, 0xa0(%rsp)
movq 0x140(%rsp), %rax
movl 0x4(%rax), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl %eax, 0x9c(%rsp)
movslq 0x9c(%rsp), %rdi
shlq $0x3, %rdi
callq 0x1170
movq %rax, %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x58(%rax)
movl $0x0, 0x98(%rsp)
movl 0x98(%rsp), %eax
cmpl 0x9c(%rsp), %eax
jge 0x7dbc
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movslq 0x98(%rsp), %rcx
xorps %xmm0, %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0x98(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x98(%rsp)
jmp 0x7d7d
movl $0x0, 0x94(%rsp)
movl 0x94(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl (%rcx), %eax
jge 0x7eb8
movl $0x0, 0x90(%rsp)
movl 0x90(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x7ea0
movq 0x140(%rsp), %rax
movq 0x50(%rax), %rax
movslq 0x94(%rsp), %rcx
movsd (%rax,%rcx,8), %xmm0
movsd 0xa0(%rsp), %xmm2
movq 0x140(%rsp), %rax
movq 0x58(%rax), %rax
movl 0x90(%rsp), %ecx
movq 0x140(%rsp), %rdx
movl 0x4(%rdx), %edx
movq 0x140(%rsp), %rsi
movq 0x20(%rsi), %rsi
movl 0x90(%rsp), %edi
movl 0x94(%rsp), %r8d
movq 0x140(%rsp), %r9
imull 0x4(%r9), %r8d
addl %r8d, %edi
movslq %edi, %rdi
imull (%rsi,%rdi,4), %edx
addl %edx, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0x90(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x90(%rsp)
jmp 0x7de9
jmp 0x7ea2
movl 0x94(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x94(%rsp)
jmp 0x7dc7
movq 0x140(%rsp), %rax
movl 0x4(%rax), %eax
movq 0x140(%rsp), %rcx
movl 0x4(%rcx), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movl %eax, 0x8c(%rsp)
movslq 0x8c(%rsp), %rdi
shlq $0x3, %rdi
callq 0x1170
movq %rax, %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x60(%rax)
movl $0x0, 0x88(%rsp)
movl 0x88(%rsp), %eax
cmpl 0x8c(%rsp), %eax
jge 0x7f65
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movslq 0x88(%rsp), %rcx
xorps %xmm0, %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0x88(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x88(%rsp)
jmp 0x7f26
movl $0x0, 0x84(%rsp)
movl 0x84(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl (%rcx), %eax
jge 0x81d4
movl $0x0, 0x80(%rsp)
movl 0x80(%rsp), %eax
movq 0x140(%rsp), %rcx
movl 0x4(%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x81bc
movl 0x80(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x7c(%rsp)
movl 0x7c(%rsp), %eax
movq 0x140(%rsp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x81a4
movq 0x140(%rsp), %rax
movq 0x50(%rax), %rax
movslq 0x84(%rsp), %rcx
movsd (%rax,%rcx,8), %xmm0
movsd %xmm0, 0x8(%rsp)
movsd 0xa0(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
movq 0x140(%rsp), %rax
movq 0x60(%rax), %rax
movq %rax, 0x18(%rsp)
movl 0x80(%rsp), %eax
cmpl 0x7c(%rsp), %eax
jge 0x80c7
movl 0x7c(%rsp), %eax
movl 0x7c(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0x80(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x7c(%rsp), %edx
movl 0x84(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
movl (%rcx,%rdx,4), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x80(%rsp), %edx
movl 0x84(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
addl (%rcx,%rdx,4), %eax
movl %eax, 0x4(%rsp)
jmp 0x816a
movl 0x80(%rsp), %eax
movl 0x80(%rsp), %ecx
subl $0x1, %ecx
imull %ecx, %eax
movl $0x2, %ecx
cltd
idivl %ecx
addl 0x7c(%rsp), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
imull 0x8(%rcx), %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x80(%rsp), %edx
movl 0x84(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
movl (%rcx,%rdx,4), %ecx
movq 0x140(%rsp), %rdx
imull 0x8(%rdx), %ecx
addl %ecx, %eax
movq 0x140(%rsp), %rcx
movq 0x20(%rcx), %rcx
movl 0x7c(%rsp), %edx
movl 0x84(%rsp), %esi
movq 0x140(%rsp), %rdi
imull 0x4(%rdi), %esi
addl %esi, %edx
movslq %edx, %rdx
addl (%rcx,%rdx,4), %eax
movl %eax, 0x4(%rsp)
movq 0x18(%rsp), %rax
movsd 0x10(%rsp), %xmm2
movsd 0x8(%rsp), %xmm0
movl 0x4(%rsp), %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, (%rax,%rcx,8)
movl 0x7c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x7c(%rsp)
jmp 0x7fbd
jmp 0x81a6
movl 0x80(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x80(%rsp)
jmp 0x7f92
jmp 0x81be
movl 0x84(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x84(%rsp)
jmp 0x7f70
jmp 0x81d6
addq $0x148, %rsp            # imm = 0x148
retq
nop