// File: /workspace/github_cpp_makefile_star2_O3/canzarlab[P]Trajan/src/match.cpp
// Function: forest_forest(tree const&, tree const&, array2d const&, unsigned long long, unsigned long long)
int forest_forest(const tree& t1, const tree& t2, const array2d& matrix, mask rx, mask ry)
{
    // trivial case: empty forest
    if (rx == 0 || ry == 0)
        return 0;

    // memoization
    auto it = fdp[rx].find(ry);
    if (it != fdp[rx].end())
        return get<0>(it->second);

    // score, transition type, transition destination, bipartite matching
    // (branching) roots of trees in t1 and t2 respectively
    // roots of paths in va and vb respectively
    // bipartite matching transition table
    // branch choice table
    auto& [sol, trs, dst, bdp, va, vb, ra, rb, btr, bst] = fdp[rx][ry];

    // initialize score to negative infinity
    sol = NINF;

    // don't waste time on reallocation
    va.reserve(MAXLB);
    vb.reserve(MAXLB);
    ra.reserve(MAXLB);
    rb.reserve(MAXLB);

    // remove a path in t1
    for (mask mp = rx; mp != 0; mp -= ls(mp))
    {
        // branching node index
        int u = tz(mp);
        // dont disconnect the current root-to-branching path
        if (rx & t1.ch[u])
            continue;

        // for bipartite matching consider only nodes which are leaf/branching in current subforest
        va.push_back(u);

        // path  x..z in t1
        int z = t1.b[u];
        int x = find_root(t1, rx, u);
        ra.push_back(x);

        // don't remove leaves
        if (!t1.ch[u])
            continue;

        // exclude u, include its branching children, exclude its branching ancestors
        mask m = em(rx ^ ls(mp) ^ t1.ch[u], t1.ba[u]);
        int nsol = forest_forest(t1, t2, matrix, m, ry);
        if (nsol > sol)
            sol = nsol, trs = DEL_1, dst = u;
    }

    // remove a path in t2
    for (mask mq = ry; mq != 0; mq -= ls(mq))
    {
        // branching node index
        int v = tz(mq);
        // dont disconnect the current root-to-branching path
        if (ry & t2.ch[v])
            continue;

        // for bipartite matching consider only nodes which are leaf/branching in current subforest
        vb.push_back(v);

        // path y..w in t2
        int w = t2.b[v];
        int y = find_root(t2, ry, v);
        rb.push_back(y);

        // don't remove leaves
        if (!t2.ch[v])
            continue;

        // exclude v, include its branching children, exclude its branching ancestors
        mask m = em(ry ^ ls(mq) ^ t2.ch[v], t2.ba[v]);
        int nsol = forest_forest(t1, t2, matrix, rx, m);
        if (nsol > sol)
            sol = nsol, trs = DEL_2, dst = v;
    }

    // tree to tree distance table
    array2d D(va.size(), vb.size());

    // initialize tree to tree transition tables
    btr = array2d(va.size(), vb.size());
    bst = array2d(va.size(), vb.size());

    // compute tree-to-tree weights for use in bipartite matching
    for (uint i = 0; i < va.size(); ++i)
    {
        for (uint j = 0; j < vb.size(); ++j)
        {
            // branching node index
            int u = va[i], v = vb[j];
            // path x..z in t1
            int z = t1.b[u];
            int x = ra[i];
            // path y..w in t2
            int w = t2.b[v];
            int y = rb[j];
            // corresponding distance table entry
            int& uvs = D(i, j);

            // select a branch at u
            for (mask s = t1.ch[u]; s != 0; s -= ls(s))
            {
                // on t1 side: include u, chosen branch s and keep branching ancestors of u
                // on t2 side: include v and keep branching ancestors of v
                int nuvs = forest_forest(t1, t2, matrix, in(u) | ls(s) | (rx & t1.ba[u]), in(v) | (ry & t2.ba[v]));
                if (nuvs > uvs)
                    uvs = nuvs, btr(i, j) = DEL_1, bst(i, j) = tz(s);
            }

            // select a branch at v
            for (mask s = t2.ch[v]; s != 0; s -= ls(s))
            {
                // on t1 side: include u and keep branching ancestors of u
                // on t2 side: include v, chosen branch s and keep branching ancestors of v
                int nuvs = forest_forest(t1, t2, matrix, in(u) | (rx & t1.ba[u]), in(v) | ls(s) | (ry & t2.ba[v]));
                if (nuvs > uvs)
                    uvs = nuvs, btr(i, j) = DEL_2, bst(i, j) = tz(s);
            }

            // initialize or fetch path-to-path matching dp table
            auto it = pdp.find({x, y});
            if (it == pdp.end())
                pdp[{x, y}] = {array2d(t1.n, t2.n), array2d(t1.n, t2.n)};
            auto& [dp, tdp] = pdp[{x, y}];

            // match the paths
            int nuvs = forest_forest(t1, t2, matrix, t1.ch[u], t2.ch[v]) + path_path(dp, tdp, matrix, t1, t2, x, y, z, w);
            if (nuvs > uvs)
                uvs = nuvs, btr(i, j) = MATCH, bst(i, j) = -1;
        }
    }
    // compute optimal forest-to-forest bipartite matching
    int nsol = bipartite_aux(D, bdp);
    if (nsol > sol)
        sol = nsol, trs = MATCH, dst = -1;

    return sol;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movq %rcx, 0x30(%rsp)
movq %r8, 0x20(%rsp)
testq %rcx, %rcx
sete %al
testq %r8, %r8
sete %cl
xorl %ebx, %ebx
orb %al, %cl
jne 0x48bd
movq %rdx, %r15
movq %rdi, 0x18(%rsp)
movq %rsi, 0x8(%rsp)
leaq 0xd47f(%rip), %r12      # 0x11248
leaq 0x30(%rsp), %r13
movq %r12, %rdi
movq %r13, %rsi
callq 0x7a52
leaq 0x20(%rsp), %rsi
movq %rax, %rdi
callq 0x7d64
movq %rax, %rbx
movq %r12, %rdi
movq %r13, %rsi
callq 0x7a52
testq %rbx, %rbx
je 0x3e04
movl 0xd0(%rbx), %ebx
jmp 0x48bd
leaq 0xd43d(%rip), %rdi      # 0x11248
leaq 0x30(%rsp), %rbp
movq %rbp, %rsi
callq 0x7a52
leaq 0x20(%rsp), %rsi
movq %rax, %rdi
callq 0x7dc0
leaq 0x88(%rax), %rdi
leaq 0x70(%rax), %r13
leaq 0x58(%rax), %rbx
leaq 0x40(%rax), %r14
movq %rax, 0x10(%rsp)
movl $0x80000000, 0xc0(%rax) # imm = 0x80000000
movl $0x40, %esi
movq %rdi, 0xb8(%rsp)
callq 0x5b7e
movl $0x40, %esi
movq %r13, %rdi
callq 0x5b7e
movl $0x40, %esi
movq %rbx, 0xb0(%rsp)
movq %rbx, %rdi
callq 0x5b7e
movl $0x40, %esi
movq %r14, 0xa8(%rsp)
movq %r14, %rdi
callq 0x5b7e
movq (%rbp), %rbx
testq %rbx, %rbx
je 0x3fe4
leaq 0x50(%rsp), %r12
leaq 0xc8(%rsp), %rbp
movq 0x10(%rsp), %r14
bsfq %rbx, %rcx
movl %ecx, 0x50(%rsp)
movq 0x30(%rsp), %rax
movq 0x18(%rsp), %rdx
testq %rax, 0x6eb8(%rdx,%rcx,8)
je 0x3ed9
leaq -0x1(%rbx), %rax
andq %rax, %rbx
jne 0x3eaf
jmp 0x3fe4
movq 0x90(%r14), %rsi
cmpq 0x98(%r14), %rsi
je 0x3ef8
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x90(%r14)
jmp 0x3f0d
movq 0xb8(%rsp), %rdi
movq %r12, %rdx
callq 0x7976
movq 0x30(%rsp), %rax
movslq 0x50(%rsp), %rcx
movq 0x18(%rsp), %rsi
movq 0x8058(%rsi,%rcx,8), %rdx
btsq %rcx, %rdx
andq %rax, %rdx
bsfq %rdx, %rax
movl 0x8258(%rsi,%rax,4), %eax
movl %eax, 0xc8(%rsp)
movq 0x60(%r14), %rsi
cmpq 0x68(%r14), %rsi
je 0x3f4e
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x60(%r14)
jmp 0x3f5e
movq 0xb0(%rsp), %rdi
movq %rbp, %rdx
callq 0x7976
movslq 0x50(%rsp), %rax
movq 0x18(%rsp), %rcx
movq 0x6eb8(%rcx,%rax,8), %rcx
testq %rcx, %rcx
je 0x3ecb
movq %rbx, %rdx
negq %rdx
andq %rbx, %rdx
xorq 0x30(%rsp), %rdx
xorq %rcx, %rdx
movq 0x18(%rsp), %rdi
movq 0x8058(%rdi,%rax,8), %rcx
notq %rcx
andq %rdx, %rcx
movq 0x20(%rsp), %r8
movq 0x8(%rsp), %rsi
movq %r15, %rdx
callq 0x3d84
movq 0x10(%rsp), %rcx
cmpl 0xc0(%rcx), %eax
jle 0x3ecb
movq 0x10(%rsp), %rcx
movl %eax, 0xc0(%rcx)
movl $0x0, 0xbc(%rcx)
movl 0x50(%rsp), %eax
movl %eax, 0xb8(%rcx)
jmp 0x3ecb
movq 0x20(%rsp), %rbx
testq %rbx, %rbx
je 0x412e
leaq 0x50(%rsp), %r12
leaq 0xc8(%rsp), %rbp
movq 0x10(%rsp), %r14
bsfq %rbx, %rcx
movl %ecx, 0x50(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rsp), %rdx
testq %rax, 0x6eb8(%rdx,%rcx,8)
je 0x402e
leaq -0x1(%rbx), %rax
andq %rax, %rbx
jne 0x4004
jmp 0x412e
movq 0x78(%r14), %rsi
cmpq 0x80(%r14), %rsi
je 0x4047
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x78(%r14)
jmp 0x4057
movq %r13, %rdi
movq %r12, %rdx
callq 0x7976
movq 0x20(%rsp), %rax
movslq 0x50(%rsp), %rcx
movq 0x8(%rsp), %rsi
movq 0x8058(%rsi,%rcx,8), %rdx
btsq %rcx, %rdx
andq %rax, %rdx
bsfq %rdx, %rax
movl 0x8258(%rsi,%rax,4), %eax
movl %eax, 0xc8(%rsp)
movq 0x48(%r14), %rsi
cmpq 0x50(%r14), %rsi
je 0x4098
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%r14)
jmp 0x40a8
movq 0xa8(%rsp), %rdi
movq %rbp, %rdx
callq 0x7976
movslq 0x50(%rsp), %rax
movq 0x8(%rsp), %rcx
movq 0x6eb8(%rcx,%rax,8), %rcx
testq %rcx, %rcx
je 0x4020
movq %rbx, %rdx
negq %rdx
andq %rbx, %rdx
xorq 0x20(%rsp), %rdx
xorq %rcx, %rdx
movq 0x8(%rsp), %rsi
movq 0x8058(%rsi,%rax,8), %r8
notq %r8
andq %rdx, %r8
movq 0x30(%rsp), %rcx
movq 0x18(%rsp), %rdi
movq %r15, %rdx
callq 0x3d84
movq 0x10(%rsp), %rcx
cmpl 0xc0(%rcx), %eax
jle 0x4020
movq 0x10(%rsp), %rcx
movl %eax, 0xc0(%rcx)
movl $0x1, 0xbc(%rcx)
movl 0x50(%rsp), %eax
movl %eax, 0xb8(%rcx)
jmp 0x4020
movq 0x10(%rsp), %rbp
movq 0x78(%rbp), %rdx
movq 0x90(%rbp), %rsi
subq 0x88(%rbp), %rsi
shrq $0x2, %rsi
subq 0x70(%rbp), %rdx
shrq $0x2, %rdx
leaq 0xc8(%rsp), %rdi
movl $0x80000000, %ecx       # imm = 0x80000000
callq 0x5968
movq 0x78(%rbp), %rdx
movq 0x90(%rbp), %rsi
subq 0x88(%rbp), %rsi
shrq $0x2, %rsi
subq 0x70(%rbp), %rdx
shrq $0x2, %rdx
leaq 0x50(%rsp), %rdi
movl $0x80000000, %ecx       # imm = 0x80000000
callq 0x5968
movq 0x50(%rsp), %rax
movq %rax, 0x20(%rbp)
movq 0x28(%rbp), %rdi
movq 0x38(%rbp), %rsi
movups 0x58(%rsp), %xmm0
movups %xmm0, 0x28(%rbp)
movq 0x68(%rsp), %rax
movq %rax, 0x38(%rbp)
xorps %xmm0, %xmm0
movups %xmm0, 0x58(%rsp)
movq $0x0, 0x68(%rsp)
testq %rdi, %rdi
movq 0x8(%rsp), %r13
movq 0x18(%rsp), %r14
movq %r15, %rbx
je 0x41f5
subq %rdi, %rsi
callq 0x3230
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x41f5
movq 0x68(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
movq 0x78(%rbp), %rdx
movq 0x90(%rbp), %rsi
subq 0x88(%rbp), %rsi
shrq $0x2, %rsi
subq 0x70(%rbp), %rdx
shrq $0x2, %rdx
leaq 0x50(%rsp), %rdi
movl $0x80000000, %ecx       # imm = 0x80000000
callq 0x5968
movq 0x50(%rsp), %rax
movq %rax, (%rbp)
movq 0x8(%rbp), %rdi
movq 0x18(%rbp), %rsi
movups 0x58(%rsp), %xmm0
movups %xmm0, 0x8(%rbp)
movq 0x68(%rsp), %rax
movq %rax, 0x18(%rbp)
xorps %xmm0, %xmm0
movups %xmm0, 0x58(%rsp)
movq $0x0, 0x68(%rsp)
testq %rdi, %rdi
je 0x427a
subq %rdi, %rsi
callq 0x3230
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x427a
movq 0x68(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
movq 0x88(%rbp), %rcx
movq 0x90(%rbp), %rdx
cmpq %rcx, %rdx
je 0x4866
movq 0x70(%rbp), %rax
movq 0x78(%rbp), %rsi
movq $0x0, 0xc0(%rsp)
movq $0x0, 0x38(%rsp)
movq %rbx, 0xa0(%rsp)
cmpq %rax, %rsi
je 0x483b
xorl %edi, %edi
movq 0xb8(%rsp), %rcx
movq (%rcx), %rcx
movq 0xc0(%rsp), %rdx
movslq (%rcx,%rdx,4), %rcx
movslq (%rax,%rdi,4), %rsi
movl 0x5e14(%r14,%rcx,4), %eax
movq %rax, 0x160(%rsp)
movq 0xb0(%rsp), %rax
movq (%rax), %rax
movl (%rax,%rdx,4), %eax
movl %eax, 0x2c(%rsp)
movq %rsi, 0x40(%rsp)
movl 0x5e14(%r13,%rsi,4), %eax
movq %rax, 0x158(%rsp)
movq 0xa8(%rsp), %rax
movq (%rax), %rax
movl (%rax,%rdi,4), %eax
movq %rax, 0x90(%rsp)
movl 0xcc(%rsp), %eax
imull 0x38(%rsp), %eax
movq %rdi, 0x98(%rsp)
addl %edi, %eax
movslq %eax, %r15
movq 0xd0(%rsp), %r12
movq %rcx, 0x48(%rsp)
movq 0x6eb8(%r14,%rcx,8), %rbp
testq %rbp, %rbp
je 0x441c
movl $0x1, %r14d
movq 0x48(%rsp), %rcx
shlq %cl, %r14
movl $0x1, %r13d
movq 0x40(%rsp), %rcx
shlq %cl, %r13
movq %rbp, %rbx
negq %rbx
movq 0x18(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x8058(%rdi,%rax,8), %rax
andq 0x30(%rsp), %rax
andq %rbp, %rbx
movq %r14, %rcx
orq %rbx, %rcx
orq %rax, %rcx
movq 0x8(%rsp), %rsi
movq 0x40(%rsp), %rax
movq 0x8058(%rsi,%rax,8), %r8
andq 0x20(%rsp), %r8
orq %r13, %r8
movq 0xa0(%rsp), %rdx
callq 0x3d84
cmpl (%r12,%r15,4), %eax
jle 0x4413
movl %eax, (%r12,%r15,4)
movq 0x10(%rsp), %rdx
movl 0x24(%rdx), %eax
movq 0x38(%rsp), %rsi
imull %esi, %eax
movq 0x98(%rsp), %rdi
addl %edi, %eax
cltq
movq 0x28(%rdx), %rcx
movl $0x0, (%rcx,%rax,4)
bsfq %rbp, %rax
movl 0x4(%rdx), %ecx
imull %esi, %ecx
addl %edi, %ecx
movslq %ecx, %rcx
movq 0x8(%rdx), %rdx
movl %eax, (%rdx,%rcx,4)
subq %rbx, %rbp
jne 0x437c
movq 0x8(%rsp), %rax
movq 0x40(%rsp), %rcx
movq 0x6eb8(%rax,%rcx,8), %rbx
testq %rbx, %rbx
je 0x44f3
movl $0x1, %r14d
movq 0x48(%rsp), %rcx
shlq %cl, %r14
movl $0x1, %r13d
movq 0x40(%rsp), %rcx
shlq %cl, %r13
movq 0x18(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x8058(%rdi,%rax,8), %rcx
andq 0x30(%rsp), %rcx
orq %r14, %rcx
movq %rbx, %rbp
negq %rbp
movq 0x8(%rsp), %rsi
movq 0x40(%rsp), %rax
movq 0x8058(%rsi,%rax,8), %rax
andq 0x20(%rsp), %rax
andq %rbx, %rbp
movq %r13, %r8
orq %rbp, %r8
orq %rax, %r8
movq 0xa0(%rsp), %rdx
callq 0x3d84
cmpl (%r12,%r15,4), %eax
jle 0x44ea
movl %eax, (%r12,%r15,4)
movq 0x10(%rsp), %rdx
movl 0x24(%rdx), %eax
movq 0x38(%rsp), %rsi
imull %esi, %eax
movq 0x98(%rsp), %rdi
addl %edi, %eax
cltq
movq 0x28(%rdx), %rcx
movl $0x1, (%rcx,%rax,4)
bsfq %rbx, %rax
movl 0x4(%rdx), %ecx
imull %esi, %ecx
addl %edi, %ecx
movslq %ecx, %rcx
movq 0x8(%rdx), %rdx
movl %eax, (%rdx,%rcx,4)
subq %rbp, %rbx
jne 0x4453
movq 0x90(%rsp), %rax
movl %eax, 0x50(%rsp)
movl 0x2c(%rsp), %eax
movl %eax, 0x54(%rsp)
leaq 0xcd72(%rip), %rdi      # 0x11280
leaq 0x50(%rsp), %rsi
callq 0x80a6
leaq 0xcd69(%rip), %rcx      # 0x11288
cmpq %rcx, %rax
movq 0xa0(%rsp), %rbp
movq 0x8(%rsp), %r13
jne 0x472d
movq 0x18(%rsp), %rbx
movl 0x5e08(%rbx), %esi
movl 0x5e08(%r13), %edx
leaq 0x110(%rsp), %rdi
movl $0x80000000, %ecx       # imm = 0x80000000
callq 0x5968
movl 0x5e08(%rbx), %esi
movl 0x5e08(%r13), %edx
leaq 0xf0(%rsp), %rdi
movl $0x80000000, %ecx       # imm = 0x80000000
callq 0x5968
movq 0x110(%rsp), %rbp
movq 0x118(%rsp), %rax
movq %rbp, 0x50(%rsp)
movq %rax, 0x130(%rsp)
movq %rax, 0x58(%rsp)
movq 0x120(%rsp), %r14
movq %r14, 0x60(%rsp)
movq 0x128(%rsp), %r13
movq %r13, 0x68(%rsp)
leaq 0x118(%rsp), %rax
xorl %ecx, %ecx
movq %rcx, 0x10(%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq 0xf0(%rsp), %rdx
movq 0xf8(%rsp), %rax
movq %rdx, 0x148(%rsp)
movq %rdx, 0x70(%rsp)
movq %rax, 0x150(%rsp)
movq %rax, 0x78(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0x140(%rsp)
movq %rax, 0x80(%rsp)
movq 0x108(%rsp), %rax
movq %rax, 0x138(%rsp)
movq %rax, 0x88(%rsp)
leaq 0xf8(%rsp), %rax
movq %rcx, 0x10(%rax)
movups %xmm0, (%rax)
movq 0x90(%rsp), %rax
movl %eax, 0xe8(%rsp)
movl 0x2c(%rsp), %eax
movl %eax, 0xec(%rsp)
leaq 0xcc2e(%rip), %rdi      # 0x11280
leaq 0xe8(%rsp), %rsi
callq 0x5c1a
movq %rax, %rbx
movq %rbp, (%rax)
movq 0x8(%rax), %rdi
movq 0x18(%rax), %rsi
movq 0x130(%rsp), %rax
movq %rax, 0x8(%rbx)
movq %r14, 0x10(%rbx)
movq %r13, 0x18(%rbx)
leaq 0x58(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
testq %rdi, %rdi
je 0x46a1
subq %rdi, %rsi
callq 0x3230
movq 0x148(%rsp), %rax
movq %rax, 0x20(%rbx)
movq 0x28(%rbx), %rdi
movq 0x38(%rbx), %rsi
movq 0x150(%rsp), %rax
movq %rax, 0x28(%rbx)
movq 0x140(%rsp), %rax
movq %rax, 0x30(%rbx)
movq 0x138(%rsp), %rax
movq %rax, 0x38(%rbx)
testq %rdi, %rdi
movq 0xa0(%rsp), %rbp
movq 0x8(%rsp), %r13
je 0x46f3
subq %rdi, %rsi
callq 0x3230
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x4710
movq 0x108(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x472d
movq 0x128(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
movq 0x90(%rsp), %rax
movl %eax, 0x50(%rsp)
movl 0x2c(%rsp), %eax
movl %eax, 0x54(%rsp)
leaq 0xcb38(%rip), %rdi      # 0x11280
leaq 0x50(%rsp), %rsi
callq 0x5c1a
movq %rax, %rbx
movq 0x18(%rsp), %r14
movq 0x48(%rsp), %rax
movq 0x6eb8(%r14,%rax,8), %rcx
movq 0x40(%rsp), %rax
movq 0x6eb8(%r13,%rax,8), %r8
movq %r14, %rdi
movq %r13, %rsi
movq %rbp, %rdx
callq 0x3d84
movq %rbp, %rdx
movl %eax, %ebp
movq %rbx, %rsi
addq $0x20, %rsi
subq $0x8, %rsp
movq %rbx, %rdi
movq %r14, %rcx
movq %r13, %r8
movl 0x34(%rsp), %r9d
pushq 0x160(%rsp)
pushq 0x170(%rsp)
pushq 0xa8(%rsp)
callq 0x37ef
addq $0x20, %rsp
addl %ebp, %eax
cmpl (%r12,%r15,4), %eax
movq 0x10(%rsp), %rbp
jle 0x4806
movl %eax, (%r12,%r15,4)
movl 0x24(%rbp), %eax
movq 0x38(%rsp), %rdx
imull %edx, %eax
movq 0x98(%rsp), %rsi
addl %esi, %eax
cltq
movq 0x28(%rbp), %rcx
movl $0x2, (%rcx,%rax,4)
movl 0x4(%rbp), %eax
imull %edx, %eax
addl %esi, %eax
cltq
movq 0x8(%rbp), %rcx
movl $0xffffffff, (%rcx,%rax,4) # imm = 0xFFFFFFFF
movq 0x98(%rsp), %rdi
incl %edi
movq 0x70(%rbp), %rax
movq 0x78(%rbp), %rsi
movq %rsi, %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rdi, %rcx
ja 0x42c1
movq 0x88(%rbp), %rcx
movq 0x90(%rbp), %rdx
jmp 0x483e
movq %rax, %rsi
movq 0x38(%rsp), %r8
incl %r8d
movq %rdx, %rdi
subq %rcx, %rdi
sarq $0x2, %rdi
movq %r8, 0xc0(%rsp)
movq %r8, 0x38(%rsp)
cmpq %r8, %rdi
ja 0x42b6
movq %rbp, %rsi
addq $0xa0, %rsi
leaq 0xc8(%rsp), %rdi
callq 0x3afd
movl 0xc0(%rbp), %ebx
cmpl %ebx, %eax
jle 0x48a0
movl %eax, 0xc0(%rbp)
movabsq $0x2ffffffff, %rcx      # imm = 0x2FFFFFFFF
movq %rcx, 0xb8(%rbp)
movl %eax, %ebx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x48bd
movq 0xe0(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
movl %ebx, %eax
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x492f
jmp 0x492f
jmp 0x492f
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0x5ca4
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x4906
movq 0x108(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
jmp 0x4906
movq %rax, %rbx
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x4932
movq 0x128(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
jmp 0x4932
jmp 0x492f
jmp 0x492f
jmp 0x492f
jmp 0x492f
jmp 0x492f
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x494f
movq 0xe0(%rsp), %rsi
subq %rdi, %rsi
callq 0x3230
movq %rbx, %rdi
callq 0x33e0