// File: /workspace/github_cpp_makefile_star2_O1/qema[P]orca-py/liborca.cpp
// Function: ecount4()
void ecount4() {
    clock_t startTime, endTime;
    startTime = clock();
    clock_t startTime_all, endTime_all;
    startTime_all = startTime;
    int frac,frac_prev;

    // precompute triangles that span over edges
    //printf("stage 1 - precomputing common nodes\n");
    int *tri = (int*)calloc(m,sizeof(int));
    frac_prev=-1;
    for (int i=0;i<m;i++) {
        frac = 100LL*i/m;
        if (frac!=frac_prev) {
            //printf("%d%%\r",frac);
            frac_prev=frac;
        }
        int x=edges[i].a, y=edges[i].b;
        for (int xi=0,yi=0; xi<deg[x] && yi<deg[y]; ) {
            if (adj[x][xi]==adj[y][yi]) { tri[i]++; xi++; yi++; }
            else if (adj[x][xi]<adj[y][yi]) { xi++; }
            else { yi++; }
        }
    }
    endTime = clock();
    //printf("%.2f\n", (double)(endTime-startTime)/CLOCKS_PER_SEC);
    startTime = endTime;

    // count full graphlets
    //printf("stage 2 - counting full graphlets\n");
    int64 *C4 = (int64*)calloc(m,sizeof(int64));
    int *neighx = (int*)malloc(n*sizeof(int)); // lookup table - edges to neighbors of x
    memset(neighx,-1,n*sizeof(int));
    int *neigh = (int*)malloc(n*sizeof(int)), nn; // lookup table - common neighbors of x and y
    PII *neigh_edges = (PII*)malloc(n*sizeof(PII)); // list of common neighbors of x and y
    frac_prev=-1;
    for (int x=0;x<n;x++) {
        frac = 100LL*x/n;
        if (frac!=frac_prev) {
            //printf("%d%%\r",frac);
            frac_prev=frac;
        }

        for (int nx=0;nx<deg[x];nx++) {
            int y=inc[x][nx].first, xy=inc[x][nx].second;
            neighx[y]=xy;
        }
        for (int nx=0;nx<deg[x];nx++) {
            int y=inc[x][nx].first, xy=inc[x][nx].second;
            if (y >= x) break;
            nn=0;
            for (int ny=0;ny<deg[y];ny++) {
                int z=inc[y][ny].first, yz=inc[y][ny].second;
                if (z >= y) break;
                if (neighx[z]==-1) continue;
                int xz=neighx[z];
                neigh[nn]=z;
                neigh_edges[nn]={xz, yz};
                nn++;
            }
            for (int i=0;i<nn;i++) {
                int z = neigh[i], xz = neigh_edges[i].first, yz = neigh_edges[i].second;
                for (int j=i+1;j<nn;j++) {
                    int w = neigh[j], xw = neigh_edges[j].first, yw = neigh_edges[j].second;
                    if (adjacent(z,w)) {
                        C4[xy]++;
                        C4[xz]++; C4[yz]++;
                        C4[xw]++; C4[yw]++;
                        // another iteration to count this last(smallest) edge instead of calling getEdgeId
                        //int zw=getEdgeId(z,w); C4[zw]++;
                    }
                }
            }
        }
        for (int nx=0;nx<deg[x];nx++) {
            int y=inc[x][nx].first, xy=inc[x][nx].second;
            neighx[y]=-1;
        }
    }
    endTime = clock();
    //printf("%.2f\n", (double)(endTime-startTime)/CLOCKS_PER_SEC);
    startTime = endTime;

    // count full graphlets for the smallest edge
    for (int x=0;x<n;x++) {
        frac = 100LL*x/n;
        if (frac!=frac_prev) {
            //printf("%d%%\r",frac);
            frac_prev=frac;
        }
        for (int nx=deg[x]-1;nx>=0;nx--) {
            int y=inc[x][nx].first, xy=inc[x][nx].second;
            if (y <= x) break;
            nn=0;
            for (int ny=deg[y]-1;ny>=0;ny--) {
                int z=adj[y][ny];
                if (z <= y) break;
                if (adjacent(x,z)==0) continue;
                neigh[nn++]=z;
            }
            for (int i=0;i<nn;i++) {
                int z = neigh[i];
                for (int j=i+1;j<nn;j++) {
                    int zz = neigh[j];
                    if (adjacent(z,zz)) {
                        C4[xy]++;
                    }
                }
            }
        }
    }
    endTime = clock();
    //printf("%.2f\n", (double)(endTime-startTime)/CLOCKS_PER_SEC);
    startTime = endTime;

    // set up a system of equations relating orbits for every node
    //printf("stage 3 - building systems of equations\n");
    int *common = (int*)calloc(n,sizeof(int));
    int *common_list = (int*)malloc(n*sizeof(int)), nc=0;
    frac_prev=-1;

    for (int x=0;x<n;x++) {
        frac = 100LL*x/n;
        if (frac!=frac_prev) {
            //printf("%d%%\r",frac);
            frac_prev=frac;
        }

        // common nodes of x and some other node
        for (int i=0;i<nc;i++) common[common_list[i]]=0;
        nc=0;
        for (int nx=0;nx<deg[x];nx++) {
            int y=adj[x][nx];
            for (int ny=0;ny<deg[y];ny++) {
                int z=adj[y][ny];
                if (z==x) continue;
                if (common[z]==0) common_list[nc++]=z;
                common[z]++;
            }
        }

        for (int nx=0;nx<deg[x];nx++) {
            int y=inc[x][nx].first, xy=inc[x][nx].second;
            int e=xy;
            for (int n1=0;n1<deg[x];n1++) {
                int z=inc[x][n1].first, xz=inc[x][n1].second;
                if (z==y) continue;
                if (adjacent(y,z)) { // triangle
                    if (x<y) {
                        eorbit[e][1]++;
                        eorbit[e][10] += tri[xy]-1;
                        eorbit[e][7] += deg[z]-2;
                    }
                    eorbit[e][9] += tri[xz]-1;
                    eorbit[e][8] += deg[x]-2;
                }
            }
            for (int n1=0;n1<deg[y];n1++) {
                int z=inc[y][n1].first, yz=inc[y][n1].second;
                if (z==x) continue;
                if (!adjacent(x,z)) { // path x-y-z
                    eorbit[e][0]++;
                    eorbit[e][6] += tri[yz];
                    eorbit[e][5] += common[z]-1;
                    eorbit[e][4] += deg[y]-2;
                    eorbit[e][3] += deg[x]-1;
                    eorbit[e][2] += deg[z]-1;
                }
            }
        }
    }
    // solve system of equations
    for (int e=0;e<m;e++) {
        eorbit[e][11]=C4[e];
        eorbit[e][10]=(eorbit[e][10]-2*eorbit[e][11])/2;
        eorbit[e][9]=(eorbit[e][9]-4*eorbit[e][11]);
        eorbit[e][8]=(eorbit[e][8]-eorbit[e][9]-4*eorbit[e][10]-4*eorbit[e][11]);
        eorbit[e][7]=(eorbit[e][7]-eorbit[e][9]-2*eorbit[e][11]);
        eorbit[e][6]=(eorbit[e][6]-eorbit[e][9])/2;
        eorbit[e][5]=(eorbit[e][5]-eorbit[e][9])/2;
        eorbit[e][4]=(eorbit[e][4]-2*eorbit[e][6]-eorbit[e][8]-eorbit[e][9])/2;
        eorbit[e][3]=(eorbit[e][3]-2*eorbit[e][5]-eorbit[e][8]-eorbit[e][9])/2;
        eorbit[e][2]=(eorbit[e][2]-2*eorbit[e][5]-2*eorbit[e][6]-eorbit[e][9]);
    }

    endTime = clock();
    //printf("%.2f\n", (double)(endTime-startTime)/CLOCKS_PER_SEC);

    endTime_all = endTime;
    //printf("total: %.2f\n", (double)(endTime_all-startTime_all)/CLOCKS_PER_SEC);

    free(tri);
    free(C4);
    free(neighx);
    free(neigh);
    free(neigh_edges);
    free(common);
    free(common_list);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
callq 0x5120
movq 0xdfe6(%rip), %rax      # 0x13f50
movslq (%rax), %r14
movl $0x4, %esi
movq %r14, %rdi
callq 0x5110
movq %rax, 0x28(%rsp)
testq %r14, %r14
jle 0x6001
movq 0xe02d(%rip), %rax      # 0x13fb8
movq (%rax), %rax
movq 0xe033(%rip), %rcx      # 0x13fc8
movq (%rcx), %rcx
movq 0xdff9(%rip), %rdx      # 0x13f98
movq (%rdx), %rdx
xorl %esi, %esi
movslq (%rax,%rsi,8), %rdi
movl (%rcx,%rdi,4), %r8d
testl %r8d, %r8d
jle 0x5ff9
movslq 0x4(%rax,%rsi,8), %r9
movl (%rcx,%r9,4), %r10d
xorl %r11d, %r11d
xorl %ebx, %ebx
cmpl %r10d, %ebx
jge 0x5ff9
movq (%rdx,%rdi,8), %r15
movslq %r11d, %r12
movq (%rdx,%r9,8), %r13
movslq %ebx, %rbp
movl (%r13,%rbp,4), %ebp
cmpl %ebp, (%r15,%r12,4)
jne 0x5feb
movq 0x28(%rsp), %r15
incl (%r15,%rsi,4)
incl %r11d
jmp 0x5ff2
jge 0x5ff2
incl %r11d
jmp 0x5ff4
incl %ebx
cmpl %r8d, %r11d
jl 0x5fbf
incq %rsi
cmpq %r14, %rsi
jne 0x5fa4
callq 0x5120
movq 0xdf43(%rip), %rax      # 0x13f50
movslq (%rax), %rdi
movl $0x8, %esi
callq 0x5110
movq %rax, 0x40(%rsp)
movq 0xdf7a(%rip), %r12      # 0x13fa0
movslq (%r12), %rbx
leaq (,%rbx,4), %r15
movq %r15, %rdi
callq 0x5280
movq %rax, %r14
movq %rax, %rdi
movl $0xff, %esi
movq %r15, %rdx
callq 0x50e0
movq %r15, %rdi
callq 0x5280
movq %rax, 0x10(%rsp)
shlq $0x3, %rbx
movq %rbx, %rdi
callq 0x5280
movq %rax, 0x30(%rsp)
cmpl $0x0, (%r12)
movq %r14, 0x50(%rsp)
jle 0x62dd
movq 0x10(%rsp), %rax
addq $0x4, %rax
movq %rax, 0x60(%rsp)
movq 0x30(%rsp), %rax
addq $0xc, %rax
movq %rax, 0x58(%rsp)
xorl %r8d, %r8d
movq 0xdf27(%rip), %rax      # 0x13fc8
movq (%rax), %rcx
cmpl $0x0, (%rcx,%r8,4)
jle 0x60d3
movq 0xdede(%rip), %rax      # 0x13f90
movq (%rax), %rax
movq (%rax,%r8,8), %rax
movslq (%rcx,%r8,4), %rcx
xorl %edx, %edx
movslq (%rax,%rdx,8), %rsi
movl 0x4(%rax,%rdx,8), %edi
movl %edi, (%r14,%rsi,4)
incq %rdx
cmpq %rcx, %rdx
jl 0x60bf
movq 0xdeee(%rip), %rax      # 0x13fc8
movq (%rax), %rdx
cmpl $0x0, (%rdx,%r8,4)
jle 0x628e
xorl %edi, %edi
movq %r8, 0x68(%rsp)
movq 0xde9a(%rip), %rax      # 0x13f90
movq (%rax), %rsi
movq (%rsi,%r8,8), %rax
movl %edi, %ecx
movslq (%rax,%rcx,8), %rbx
cmpq %rbx, %r8
jle 0x628e
movslq (%rdx,%rbx,4), %rdx
testq %rdx, %rdx
movl %edi, 0x4c(%rsp)
jle 0x6186
movq (%rsi,%rbx,8), %rsi
xorl %edi, %edi
xorl %r11d, %r11d
movl (%rsi,%rdi,8), %r9d
movl $0x10, %r8d
cmpl %ebx, %r9d
jge 0x6171
movslq %r9d, %r8
movl (%r14,%r8,4), %r8d
cmpl $-0x1, %r8d
je 0x616b
movl 0x4(%rsi,%rdi,8), %r10d
movq %r11, %r15
movslq %r15d, %r15
movq 0x10(%rsp), %r11
movl %r9d, (%r11,%r15,4)
movq 0x30(%rsp), %r9
movl %r8d, (%r9,%r15,8)
movl %r10d, 0x4(%r9,%r15,8)
incl %r15d
movq %r15, %r11
xorl %r8d, %r8d
jmp 0x6171
movl $0x12, %r8d
cmpl $0x12, %r8d
je 0x617c
testl %r8d, %r8d
jne 0x6189
incq %rdi
cmpq %rdi, %rdx
jne 0x6122
jmp 0x6189
xorl %r11d, %r11d
movq %rbx, 0x70(%rsp)
testl %r11d, %r11d
jle 0x6263
movslq 0x4(%rax,%rcx,8), %rax
movq %rax, 0x38(%rsp)
movl %r11d, %ecx
decl %r11d
movq %r11, 0x8(%rsp)
movq 0x58(%rsp), %r13
movq 0x60(%rsp), %rbx
xorl %eax, %eax
movq %rcx, 0x78(%rsp)
leaq 0x1(%rax), %rdx
movq %rdx, 0x80(%rsp)
cmpq %rcx, %rdx
jae 0x6240
movq 0x10(%rsp), %rcx
movl (%rcx,%rax,4), %ebp
movq 0x30(%rsp), %rcx
movslq 0x4(%rcx,%rax,8), %rdx
movq %rdx, 0x20(%rsp)
movslq (%rcx,%rax,8), %rax
movq %rax, 0x18(%rsp)
xorl %r14d, %r14d
movl (%rbx,%r14,4), %esi
movslq -0x4(%r13,%r14,8), %r12
movslq (%r13,%r14,8), %r15
movl %ebp, %edi
movq 0xdda0(%rip), %rax      # 0x13fa8
callq *(%rax)
testb %al, %al
je 0x6236
movq 0x40(%rsp), %rax
movq 0x38(%rsp), %rcx
incq (%rax,%rcx,8)
movq 0x18(%rsp), %rcx
incq (%rax,%rcx,8)
movq 0x20(%rsp), %rcx
incq (%rax,%rcx,8)
incq (%rax,%r12,8)
incq (%rax,%r15,8)
incq %r14
cmpl %r14d, 0x8(%rsp)
jne 0x61f1
addq $0x4, %rbx
addq $0x8, %r13
decq 0x8(%rsp)
movq 0x78(%rsp), %rcx
movq 0x80(%rsp), %rax
cmpq %rcx, %rax
jne 0x61bd
movq 0x68(%rsp), %r8
cmpq 0x70(%rsp), %r8
movq 0x50(%rsp), %r14
movl 0x4c(%rsp), %edi
jle 0x628e
incl %edi
movq 0xdd47(%rip), %rax      # 0x13fc8
movq (%rax), %rdx
cmpl (%rdx,%r8,4), %edi
jl 0x60ef
movq 0xdd33(%rip), %rax      # 0x13fc8
movq (%rax), %rcx
cmpl $0x0, (%rcx,%r8,4)
jle 0x62c7
movq 0xdcea(%rip), %rax      # 0x13f90
movq (%rax), %rax
movq (%rax,%r8,8), %rax
movslq (%rcx,%r8,4), %rcx
xorl %edx, %edx
movslq (%rax,%rdx,8), %rsi
movl $0xffffffff, (%r14,%rsi,4) # imm = 0xFFFFFFFF
incq %rdx
cmpq %rcx, %rdx
jl 0x62b3
incq %r8
movq 0xdccf(%rip), %rax      # 0x13fa0
movslq (%rax), %rax
cmpq %rax, %r8
jl 0x609a
callq 0x5120
movq 0xdcb7(%rip), %rax      # 0x13fa0
cmpl $0x0, (%rax)
jle 0x644c
xorl %edi, %edi
movq 0xdc9d(%rip), %r13      # 0x13f98
movq 0xdcc6(%rip), %rax      # 0x13fc8
movq (%rax), %rax
movl (%rax,%rdi,4), %edx
decl %edx
js 0x6436
movq %rdi, 0x18(%rsp)
movq 0xdc74(%rip), %rax      # 0x13f90
movq (%rax), %rax
movq (%rax,%rdi,8), %rax
movl %edx, %ecx
movslq (%rax,%rcx,8), %r12
cmpq %r12, %rdi
jge 0x6436
movslq 0x4(%rax,%rcx,8), %rbp
movq 0xdc8a(%rip), %rax      # 0x13fc8
movq (%rax), %rax
movl (%rax,%r12,4), %eax
decl %eax
movq %rdx, 0x20(%rsp)
js 0x63af
movl %eax, %r15d
incq %r15
xorl %r14d, %r14d
movq (%r13), %rax
movq (%rax,%r12,8), %rax
movl -0x4(%rax,%r15,4), %ebx
movl $0x22, %ecx
cmpl %r12d, %ebx
jle 0x639f
movq %rdi, %r13
movl %ebx, %esi
movq 0xdc2e(%rip), %rax      # 0x13fa8
callq *(%rax)
movl $0x24, %ecx
testb %al, %al
je 0x6395
movslq %r14d, %rax
incl %r14d
movq 0x10(%rsp), %rcx
movl %ebx, (%rcx,%rax,4)
xorl %ecx, %ecx
movq %r13, %rdi
movq 0xdbf9(%rip), %r13      # 0x13f98
cmpl $0x24, %ecx
je 0x63a8
testl %ecx, %ecx
jne 0x63b2
decq %r15
jg 0x6357
jmp 0x63b2
xorl %r14d, %r14d
testl %r14d, %r14d
jle 0x6418
movl %r14d, %ecx
movq %rcx, %r12
movq 0x10(%rsp), %r15
xorl %r14d, %r14d
movq %rcx, 0x8(%rsp)
movq %r14, %rax
incq %r14
cmpq %rcx, %r14
jae 0x6407
movq 0x10(%rsp), %rcx
movl (%rcx,%rax,4), %ebx
movl $0x1, %r13d
movl (%r15,%r13,4), %esi
movl %ebx, %edi
movq 0xdbb8(%rip), %rax      # 0x13fa8
callq *(%rax)
testb %al, %al
je 0x63ff
movq 0x40(%rsp), %rax
incq (%rax,%rbp,8)
incq %r13
cmpl %r13d, %r12d
jne 0x63e3
addq $0x4, %r15
decq %r12
movq 0x8(%rsp), %rcx
cmpq %rcx, %r14
jne 0x63ca
movq 0x20(%rsp), %rcx
leal -0x1(%rcx), %eax
testl %ecx, %ecx
movl %eax, %edx
movq 0x18(%rsp), %rdi
movq 0xdb68(%rip), %r13      # 0x13f98
jg 0x6315
incq %rdi
movq 0xdb60(%rip), %rax      # 0x13fa0
movslq (%rax), %rax
cmpq %rax, %rdi
jl 0x62fb
callq 0x5120
movq 0xdb48(%rip), %rax      # 0x13fa0
movslq (%rax), %rbx
movl $0x4, %esi
movq %rbx, %rdi
callq 0x5110
movq %rax, %r13
leaq (,%rbx,4), %rdi
callq 0x5280
movq %rax, %rbp
testq %rbx, %rbx
jle 0x672e
xorl %r15d, %r15d
movq 0xdb3a(%rip), %rdi      # 0x13fc8
xorl %eax, %eax
movq %r13, 0x20(%rsp)
movq %rbp, 0x38(%rsp)
testl %eax, %eax
jle 0x64b8
movl %eax, %eax
xorl %ecx, %ecx
movslq (%rbp,%rcx,4), %rdx
movl $0x0, (%r13,%rdx,4)
incq %rcx
cmpq %rcx, %rax
jne 0x64a2
movq (%rdi), %rax
movslq (%rax,%r15,4), %rcx
testq %rcx, %rcx
jle 0x653a
movq 0xdacd(%rip), %rdx      # 0x13f98
movq (%rdx), %rdx
movq %rdx, 0x18(%rsp)
movq (%rdx,%r15,8), %rsi
xorl %edi, %edi
movl $0x0, 0x8(%rsp)
movslq (%rsi,%rdi,4), %r9
movslq (%rax,%r9,4), %r8
testq %r8, %r8
jle 0x6530
movq 0x18(%rsp), %rdx
movq (%rdx,%r9,8), %r9
xorl %r10d, %r10d
movl (%r9,%r10,4), %r14d
cmpq %r14, %r15
je 0x6528
movslq %r14d, %r11
movl (%r13,%r11,4), %ebx
testl %ebx, %ebx
jne 0x6521
movl 0x8(%rsp), %edx
movslq %edx, %r12
incl %edx
movl %edx, 0x8(%rsp)
movl %r14d, (%rbp,%r12,4)
incl %ebx
movl %ebx, (%r13,%r11,4)
incq %r10
cmpq %r10, %r8
jne 0x64fa
incq %rdi
cmpq %rcx, %rdi
jne 0x64e1
jmp 0x6542
movl $0x0, 0x8(%rsp)
movq 0xda7f(%rip), %rdi      # 0x13fc8
movq (%rdi), %rax
cmpl $0x0, (%rax,%r15,4)
movq 0xda38(%rip), %r8       # 0x13f90
jle 0x670a
xorl %ecx, %ecx
movq (%r8), %rax
movq (%rax,%r15,8), %rax
movslq (%rax,%rcx,8), %r13
movq %rcx, 0x18(%rsp)
movslq 0x4(%rax,%rcx,8), %rbp
movq (%rdi), %rax
cmpl $0x0, (%rax,%r15,4)
jle 0x6639
xorl %r12d, %r12d
movq (%r8), %rax
movq (%rax,%r15,8), %rax
movslq (%rax,%r12,8), %rbx
cmpl %r13d, %ebx
je 0x6626
movslq 0x4(%rax,%r12,8), %r14
movl %r13d, %edi
movl %ebx, %esi
movq 0xd9fd(%rip), %rax      # 0x13fa8
callq *(%rax)
movq 0xd9dc(%rip), %r8       # 0x13f90
movq 0xda0d(%rip), %rdi      # 0x13fc8
testb %al, %al
je 0x6626
cmpq %r13, %r15
jge 0x65f7
movq 0xd995(%rip), %rax      # 0x13f60
movq (%rax), %rax
movq (%rax,%rbp,8), %rax
incq 0x8(%rax)
movq 0x28(%rsp), %rcx
movl (%rcx,%rbp,4), %ecx
decl %ecx
movslq %ecx, %rcx
addq %rcx, 0x50(%rax)
movq (%rdi), %rcx
movl (%rcx,%rbx,4), %ecx
addl $-0x2, %ecx
movslq %ecx, %rcx
addq %rcx, 0x38(%rax)
movq 0x28(%rsp), %rax
movl (%rax,%r14,4), %eax
decl %eax
cltq
movq 0xd955(%rip), %rcx      # 0x13f60
movq (%rcx), %rcx
movq (%rcx,%rbp,8), %rcx
addq %rax, 0x48(%rcx)
movq (%rdi), %rax
movl (%rax,%r15,4), %eax
addl $-0x2, %eax
cltq
addq %rax, 0x40(%rcx)
incq %r12
movq (%rdi), %rax
movslq (%rax,%r15,4), %rax
cmpq %rax, %r12
jl 0x6586
movq (%rdi), %rax
cmpl $0x0, (%rax,%r13,4)
jle 0x66f2
xorl %r12d, %r12d
movq (%r8), %rax
movq (%rax,%r13,8), %rax
movl (%rax,%r12,8), %ebx
cmpq %rbx, %r15
je 0x66df
movslq 0x4(%rax,%r12,8), %r14
movl %r15d, %edi
movl %ebx, %esi
movq 0xd939(%rip), %rax      # 0x13fa8
callq *(%rax)
movq 0xd918(%rip), %r8       # 0x13f90
movq 0xd949(%rip), %rdi      # 0x13fc8
testb %al, %al
jne 0x66df
movq 0xd8d6(%rip), %rax      # 0x13f60
movq (%rax), %rax
movq (%rax,%rbp,8), %rax
incq (%rax)
movq 0x28(%rsp), %rcx
movslq (%rcx,%r14,4), %rcx
addq %rcx, 0x30(%rax)
movslq %ebx, %rcx
movq 0x20(%rsp), %rdx
movl (%rdx,%rcx,4), %edx
decl %edx
movslq %edx, %rdx
addq %rdx, 0x28(%rax)
movq (%rdi), %rdx
movl (%rdx,%r13,4), %esi
addl $-0x2, %esi
movslq %esi, %rsi
addq %rsi, 0x20(%rax)
movl (%rdx,%r15,4), %esi
decl %esi
movslq %esi, %rsi
addq %rsi, 0x18(%rax)
movl (%rdx,%rcx,4), %ecx
decl %ecx
movslq %ecx, %rcx
addq %rcx, 0x10(%rax)
incq %r12
movq (%rdi), %rax
movslq (%rax,%r13,4), %rax
cmpq %rax, %r12
jl 0x664a
movq 0x18(%rsp), %rcx
incq %rcx
movq (%rdi), %rax
movslq (%rax,%r15,4), %rax
cmpq %rax, %rcx
jl 0x6560
incq %r15
movq 0xd88c(%rip), %rax      # 0x13fa0
movslq (%rax), %rax
cmpq %rax, %r15
movq 0x20(%rsp), %r13
movq 0x38(%rsp), %rbp
movl 0x8(%rsp), %eax
jl 0x649a
movq 0xd81b(%rip), %rax      # 0x13f50
movslq (%rax), %rax
testq %rax, %rax
movq 0x40(%rsp), %r12
jle 0x6831
movq 0xd813(%rip), %rcx      # 0x13f60
movq (%rcx), %rcx
xorl %edx, %edx
movq (%r12,%rdx,8), %r8
movq (%rcx,%rdx,8), %rsi
movq %r8, 0x58(%rsi)
movq 0x50(%rsi), %rdi
subq %r8, %rdi
subq %r8, %rdi
movq %rdi, %r9
shrq $0x3f, %r9
addq %rdi, %r9
sarq %r9
movq %r9, 0x50(%rsi)
movq 0x48(%rsi), %rdi
leaq (,%r8,4), %r10
leaq (%rdi,%r9,4), %r11
subq %r10, %rdi
movq %rdi, 0x48(%rsi)
movq 0x40(%rsi), %r9
subq %r11, %r9
movq %r9, 0x40(%rsi)
leaq (%rdi,%r8,2), %r8
subq %r8, 0x38(%rsi)
movq 0x30(%rsi), %r8
subq %rdi, %r8
movq %r8, %rbx
shrq $0x3f, %rbx
addq %r8, %rbx
movq %rbx, %r8
sarq %r8
movq %r8, 0x30(%rsi)
movq 0x28(%rsi), %r10
subq %rdi, %r10
movq %r10, %r11
shrq $0x3f, %r11
addq %r10, %r11
movq %r11, %r10
sarq %r10
movq %r10, 0x28(%rsi)
movq 0x18(%rsi), %r14
movq 0x20(%rsi), %r15
addq %rdi, %r9
andq $-0x2, %rbx
addq %r9, %rbx
subq %rbx, %r15
movq %r15, %rbx
shrq $0x3f, %rbx
addq %r15, %rbx
andq $-0x2, %r11
addq %r9, %r11
sarq %rbx
subq %r11, %r14
movq %r14, %r9
shrq $0x3f, %r9
movq %rbx, 0x20(%rsi)
addq %r14, %r9
sarq %r9
addq %r8, %r10
movq %r9, 0x18(%rsi)
leaq (%rdi,%r10,2), %rdi
subq %rdi, 0x10(%rsi)
incq %rdx
cmpq %rdx, %rax
jne 0x6752
callq 0x5120
movq 0x28(%rsp), %rdi
callq 0x5240
movq %r12, %rdi
callq 0x5240
movq 0x50(%rsp), %rdi
callq 0x5240
movq 0x10(%rsp), %rdi
callq 0x5240
movq 0x30(%rsp), %rdi
callq 0x5240
movq %r13, %rdi
callq 0x5240
movq %rbp, %rdi
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x5240