// File: /workspace/github_cpp_makefile_star2_O1/canzarlab[P]Trajan/src/LPCP.cpp
// Function: LPCP::SolveLP()
bool LPCP::SolveLP()
{
    clog << "nr_rows = " << nr_rows << " and nr_cols = " << nr_cols << endl;
    warm_y.conservativeResizeLike(Vector::Zero(nr_rows)); // resizes y with 0's, but keeping old values intact.

    SpMat A(nr_rows, nr_cols);
    A.setFromTriplets(Triplets.begin(), Triplets.end());
    SpMat A_t = A.transpose();
    Vector b = Vector::Ones(nr_rows);

    //x = Vector::Zero(nr_cols);
    //y = Vector::Zero(nr_rows);

    CoveringJRF simpleJRF(A_t, c, b, warm_y, warm_x);

    Vector c1 = -c;
//        PackingJRF simpleJRF(A, b, c1, x, y);
    AugmentedLagrangian solver(simpleJRF, 15);
    solver.setParameter("verbose", false);
    solver.setParameter("pgtol", 1e-1); // should influence running time a lot
    solver.setParameter("constraintsTol", 1e-3);
    Timer timeGeno;
    timeGeno.start();
    solver.solve();
    timeGeno.stop();

    clog << "f = " << solver.f() << " computed in time: " << timeGeno.secs() << " secs" << endl;

    /* when Packing: x->x, y->y, when Covering: -y -> x, x -> y */
    x = -Vector::ConstMapType(solver.y(), nr_cols);
    y = Vector::ConstMapType(solver.x(), nr_rows);

    warm_x = Vector::ConstMapType(solver.y(), nr_cols);
    warm_y = Vector::ConstMapType(solver.x(), nr_rows);


    Vector t = A_t*y-c;
    int nr_tight_constr =  nr_cols - (t.array() > 0.1).count();
    clog << "Number of tight constraints in the dual: " << nr_tight_constr << endl;
    //idea, truncate matrix A for columns that correspond to non-tight constraints in dual
    SpMat truncA(nr_rows, nr_tight_constr);
    Vector truncc(nr_tight_constr);
    Vector truncx(nr_tight_constr);
    int truncA_col = 0;
    for (int i=0; i<nr_cols; i++)
        if (t(i)> 0.1)
            x(i) = 0.0;
        else {
            for (SpMat::InnerIterator it(A,i); it; ++it)
            {
                truncA.coeffRef(it.row(), truncA_col) = it.value();
            }
            truncc(truncA_col) = - c(i);
            truncx(truncA_col) = x(i);
            truncA_col ++;
        }

    assert(truncA_col == nr_tight_constr);

    clog << "Truncated matrix formed ... resolve" << endl;
    Vector expy = Vector::Zero(truncA.rows() + truncA.cols());
    IntegerPackingJRF simpleJRF1(truncA, b, truncc, truncx, expy);
    //PackingJRF simpleJRF1(truncA, b, truncc, truncx, y);
    AugmentedLagrangian solver1(simpleJRF1, 15);
    solver1.setParameter("verbose", false);
    solver1.setParameter("pgtol", 1e-1); // should influence running time a lot
    solver1.setParameter("constraintsTol", 1e-5);
    Timer timeGeno1;
    timeGeno1.start();
    solver1.solve();
    timeGeno1.stop();
    clog << "trunc f = " << solver1.f() << " computed in time: " << timeGeno1.secs() << " secs" << endl;

    // map the solution back to vector x
    truncx = Vector::ConstMapType(solver1.x(), nr_tight_constr);
    clog <<"MAX INTEGER PACKING VALUE: " <<  truncx.maxCoeff() << endl;
    truncA_col = 0;
    for (int i=0; i<nr_cols; i++)
        if (t(i)<= 0.1){
            x(i) = truncx(truncA_col);
            truncA_col++;
        }

    assert(truncA_col == nr_tight_constr);
    return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x438, %rsp            # imm = 0x438
movq %rdi, %rbx
movq 0x3f7a3(%rip), %r14     # 0x87f78
leaq 0x26b3c(%rip), %rsi     # 0x6f318
movl $0xa, %edx
movq %r14, %rdi
callq 0x93a0
movl 0x108(%rbx), %esi
movq %r14, %rdi
callq 0x9640
movq %rax, %r14
leaq 0x26b22(%rip), %rsi     # 0x6f323
movl $0xf, %edx
movq %rax, %rdi
callq 0x93a0
movl 0x10c(%rbx), %esi
movq %r14, %rdi
callq 0x9640
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x9320
movsbl %al, %esi
movq %r14, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9220
movslq 0x108(%rbx), %rax
movq %rax, 0x98(%rsp)
movq $0x0, 0xa8(%rsp)
testq %rax, %rax
js 0x4991f
leaq 0xb0(%rbx), %rbp
leaq 0x98(%rsp), %rsi
movq %rbp, %rdi
callq 0x41a26
movslq 0x108(%rbx), %rsi
movslq 0x10c(%rbx), %rdx
leaq 0x318(%rsp), %rdi
movb $0x0, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
movupd %xmm0, 0x18(%rdi)
movupd %xmm0, 0x28(%rdi)
movupd %xmm0, 0x38(%rdi)
callq 0x386d2
movq 0x88(%rbx), %rax
leaq 0x98(%rsp), %rdi
movq %rax, (%rdi)
movq 0x90(%rbx), %rax
leaq 0x1e0(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x318(%rsp), %r14
leaq 0x2d0(%rsp), %rcx
movq %r14, %rdx
callq 0x387a4
xorl %eax, %eax
leaq 0x98(%rsp), %rsi
movb %al, (%rsi)
movq %r14, 0x8(%rsi)
leaq 0x2d0(%rsp), %r15
movb %al, (%r15)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%r15)
movupd %xmm0, 0x18(%r15)
movupd %xmm0, 0x28(%r15)
movupd %xmm0, 0x38(%r15)
movq %r15, %rdi
callq 0x39790
movslq 0x108(%rbx), %rax
movq %rax, 0x98(%rsp)
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
movq %rcx, 0xa8(%rsp)
testq %rax, %rax
js 0x4991f
leaq 0x88(%rsp), %r14
leaq 0x98(%rsp), %rsi
movq %r14, %rdi
callq 0x377fc
leaq 0xf8(%rbx), %rcx
leaq 0xa0(%rbx), %rax
movq %r15, 0x298(%rsp)
movq %rcx, 0x2a0(%rsp)
movq %r14, 0x2a8(%rsp)
movq %rbp, 0x2b0(%rsp)
movq %rax, 0x60(%rsp)
movq %rax, 0x2b8(%rsp)
movups 0x2d8(%rsp), %xmm0
movups %xmm0, 0x2c0(%rsp)
leaq 0x3e3ca(%rip), %rax     # 0x86d90
movq %rax, 0x290(%rsp)
leaq 0x98(%rsp), %rsi
movq %rcx, 0x68(%rsp)
movq %rcx, (%rsi)
leaq 0x1d0(%rsp), %rdi
callq 0x39b9e
leaq 0x98(%rsp), %rdi
leaq 0x290(%rsp), %rsi
movl $0xf, %edx
callq 0xdf90
leaq 0x1b0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x13a1a(%rip), %rsi     # 0x5c432
leaq 0x13a1a(%rip), %rdx     # 0x5c439
leaq 0x1a0(%rsp), %rdi
callq 0xdb24
leaq 0x98(%rsp), %rdi
leaq 0x1a0(%rsp), %rsi
xorps %xmm0, %xmm0
callq 0xee5a
movq 0x1a0(%rsp), %rdi
cmpq %r14, %rdi
je 0x48a61
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x9340
leaq 0x190(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1399c(%rip), %rsi     # 0x5c410
leaq 0x1399a(%rip), %rdx     # 0x5c415
leaq 0x180(%rsp), %rdi
callq 0xdb24
leaq 0x98(%rsp), %rdi
leaq 0x180(%rsp), %rsi
movsd 0x14e78(%rip), %xmm0    # 0x5d918
callq 0xee5a
movq 0x180(%rsp), %rdi
cmpq %r14, %rdi
je 0x48ac2
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x9340
leaq 0x170(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1394e(%rip), %rsi     # 0x5c423
leaq 0x13955(%rip), %rdx     # 0x5c431
leaq 0x160(%rsp), %rdi
callq 0xdb24
leaq 0x98(%rsp), %rdi
leaq 0x160(%rsp), %rsi
movsd 0x14e07(%rip), %xmm0    # 0x5d908
callq 0xee5a
movq 0x160(%rsp), %rdi
cmpq %r14, %rdi
je 0x48b23
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x9340
leaq 0x3b0(%rsp), %rdi
movb $0x0, 0x28(%rdi)
leaq 0x3d0(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, -0x30(%r14)
movq %r14, %rsi
callq 0x9580
movb $0x1, 0x8(%r14)
leaq 0x98(%rsp), %rdi
callq 0xe148
leaq 0x3c0(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x9580
movb $0x0, 0x18(%r15)
movq (%r15), %rax
subq -0x10(%r15), %rax
movq 0x8(%r15), %r12
imulq $0xf4240, %rax, %rax    # imm = 0xF4240
subq -0x8(%r15), %r12
addq %rax, %r12
addq -0x20(%r15), %r12
movq %r12, -0x20(%r15)
movq 0x3f3df(%rip), %rdi     # 0x87f78
leaq 0x280dc(%rip), %rsi     # 0x70c7c
movl $0x4, %edx
callq 0x93a0
leaq 0x98(%rsp), %rdi
callq 0xee54
movq 0x3f3ba(%rip), %rdi     # 0x87f78
callq 0x9560
movq %rax, %r14
leaq 0x26766(%rip), %rsi     # 0x6f333
movl $0x13, %edx
movq %rax, %rdi
callq 0x93a0
xorps %xmm0, %xmm0
cvtsi2sd %r12, %xmm0
divsd 0x1343e(%rip), %xmm0    # 0x5c028
cvtsd2ss %xmm0, %xmm0
cvtss2sd %xmm0, %xmm0
movq %r14, %rdi
callq 0x9560
movq %rax, %r14
leaq 0x13688(%rip), %rsi     # 0x5c28c
movl $0x5, %edx
movq %rax, %rdi
callq 0x93a0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x9320
movsbl %al, %esi
movq %r14, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9220
leaq 0x98(%rsp), %rdi
callq 0xee4e
movslq 0x10c(%rbx), %r12
testq %r12, %r12
js 0x498e9
movq %rax, %r14
leaq 0xc0(%rbx), %r15
cmpq %r12, 0xc8(%rbx)
je 0x48c7b
movl $0x1, %ecx
movq %r15, %rdi
movq %r12, %rsi
movq %r12, %rdx
callq 0x10056
movq 0xc8(%rbx), %rax
cmpq %r12, %rax
jne 0x49958
movq (%r15), %rcx
movq %rax, %rdx
shrq $0x3f, %rdx
addq %rax, %rdx
andq $-0x2, %rdx
cmpq $0x2, %rax
jl 0x48cc0
xorl %esi, %esi
movaps 0x13735(%rip), %xmm0    # 0x5c3e0
movups (%r14,%rsi,8), %xmm1
xorps %xmm0, %xmm1
movaps %xmm1, (%rcx,%rsi,8)
addq $0x2, %rsi
cmpq %rdx, %rsi
jl 0x48cab
cmpq %rax, %rdx
jge 0x48ce1
movaps 0x13714(%rip), %xmm0    # 0x5c3e0
movsd (%r14,%rdx,8), %xmm1
xorps %xmm0, %xmm1
movlps %xmm1, (%rcx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x48ccc
leaq 0x98(%rsp), %rdi
callq 0xee48
movslq 0x108(%rbx), %r13
testq %r13, %r13
js 0x498e9
movq %rax, %r12
leaq 0xd0(%rbx), %r14
cmpq %r13, 0xd8(%rbx)
je 0x48d24
movl $0x1, %ecx
movq %r14, %rdi
movq %r13, %rsi
movq %r13, %rdx
callq 0x10056
movq 0xd8(%rbx), %rax
cmpq %r13, %rax
jne 0x49908
movq (%r14), %rcx
movq %rax, %rdx
shrq $0x3f, %rdx
addq %rax, %rdx
andq $-0x2, %rdx
cmpq $0x2, %rax
jl 0x48d5f
xorl %esi, %esi
movups (%r12,%rsi,8), %xmm0
movaps %xmm0, (%rcx,%rsi,8)
addq $0x2, %rsi
cmpq %rdx, %rsi
jl 0x48d4d
cmpq %rax, %rdx
jge 0x48d77
movsd (%r12,%rdx,8), %xmm0
movsd %xmm0, (%rcx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x48d64
leaq 0x98(%rsp), %rdi
callq 0xee4e
movslq 0x10c(%rbx), %r13
testq %r13, %r13
js 0x498e9
movq %rax, %r12
cmpq %r13, 0xa8(%rbx)
je 0x48db5
movl $0x1, %ecx
movq 0x60(%rsp), %rdi
movq %r13, %rsi
movq %r13, %rdx
callq 0x10056
movq 0xa8(%rbx), %rax
cmpq %r13, %rax
jne 0x49908
movq 0x60(%rsp), %rcx
movq (%rcx), %rcx
movq %rax, %rdx
shrq $0x3f, %rdx
addq %rax, %rdx
andq $-0x2, %rdx
cmpq $0x2, %rax
jl 0x48df5
xorl %esi, %esi
movups (%r12,%rsi,8), %xmm0
movaps %xmm0, (%rcx,%rsi,8)
addq $0x2, %rsi
cmpq %rdx, %rsi
jl 0x48de3
cmpq %rax, %rdx
jge 0x48e0d
movsd (%r12,%rdx,8), %xmm0
movsd %xmm0, (%rcx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x48dfa
leaq 0x98(%rsp), %rdi
callq 0xee48
movslq 0x108(%rbx), %r13
testq %r13, %r13
js 0x498e9
movq %rax, %r12
cmpq %r13, 0xb8(%rbx)
je 0x48e49
movl $0x1, %ecx
movq %rbp, %rdi
movq %r13, %rsi
movq %r13, %rdx
callq 0x10056
movq 0xb8(%rbx), %rax
cmpq %r13, %rax
jne 0x49908
movq (%rbp), %rcx
movq %rax, %rdx
shrq $0x3f, %rdx
addq %rax, %rdx
andq $-0x2, %rdx
cmpq $0x2, %rax
jl 0x48e85
xorl %esi, %esi
movups (%r12,%rsi,8), %xmm0
movaps %xmm0, (%rcx,%rsi,8)
addq $0x2, %rsi
cmpq %rdx, %rsi
jl 0x48e73
cmpq %rax, %rdx
jge 0x48e9d
movsd (%r12,%rdx,8), %xmm0
movsd %xmm0, (%rcx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x48e8a
movq 0x2d8(%rsp), %rax
cmpq 0xd8(%rbx), %rax
jne 0x49977
leaq 0x2d0(%rsp), %rax
movq %rax, 0x1e0(%rsp)
movq %r14, 0x1e8(%rsp)
movq 0x68(%rsp), %rax
movq %rax, 0x1f0(%rsp)
movq 0x100(%rbx), %r14
cmpq %r14, 0x2e0(%rsp)
jne 0x49996
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
testq %r14, %r14
js 0x499b5
cmpq %r14, 0x38(%rsp)
je 0x48f5a
movq 0x30(%rsp), %rdi
callq 0x93c0
testq %r14, %r14
je 0x48f51
movq %r14, %rax
shrq $0x3d, %rax
jne 0x49a6f
leaq (,%r14,8), %rdi
callq 0x9440
cmpq $0x1, %r14
setne %cl
testb $0xf, %al
setne %dl
testb %dl, %cl
jne 0x49939
testq %rax, %rax
je 0x49a6f
movq %rax, 0x30(%rsp)
jmp 0x48f5a
movq $0x0, 0x30(%rsp)
leaq 0x30(%rsp), %rdi
movq %r14, 0x8(%rdi)
leaq 0x1e0(%rsp), %rsi
leaq 0x248(%rsp), %rdx
callq 0x49ff4
movq 0x38(%rsp), %rax
testq %rax, %rax
movsd 0x14990(%rip), %xmm1    # 0x5d918
js 0x499d4
je 0x48fce
movq 0x30(%rsp), %rcx
movsd (%rcx), %xmm0
xorl %edi, %edi
ucomisd 0x14975(%rip), %xmm0    # 0x5d918
seta %dil
cmpq $0x1, %rax
je 0x48fd0
movl $0x1, %edx
movsd (%rcx,%rdx,8), %xmm0
xorl %esi, %esi
ucomisd %xmm1, %xmm0
seta %sil
addq %rsi, %rdi
incq %rdx
cmpq %rdx, %rax
jne 0x48fb2
jmp 0x48fd0
xorl %edi, %edi
movq %rdi, 0x58(%rsp)
movl 0x10c(%rbx), %eax
movl %eax, 0x28(%rsp)
movq 0x3ef92(%rip), %rdi     # 0x87f78
leaq 0x27bf3(%rip), %rsi     # 0x70be0
movl $0x29, %edx
callq 0x93a0
movl 0x28(%rsp), %esi
subl 0x58(%rsp), %esi
movq 0x3ef72(%rip), %rdi     # 0x87f78
movl %esi, 0xc(%rsp)
callq 0x9640
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x9320
movsbl %al, %esi
movq %r14, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9220
movslq 0x108(%rbx), %rsi
movl 0xc(%rsp), %ebp
movslq %ebp, %rdx
leaq 0x248(%rsp), %rdi
movb $0x0, (%rdi)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x8(%rdi)
movupd %xmm0, 0x18(%rdi)
movupd %xmm0, 0x28(%rdi)
movupd %xmm0, 0x38(%rdi)
movq %rdx, 0x70(%rsp)
callq 0x386d2
xorpd %xmm0, %xmm0
movapd %xmm0, 0x40(%rsp)
testl %ebp, %ebp
movsd 0x14890(%rip), %xmm1    # 0x5d918
js 0x499f3
movl %ebp, %r14d
cmpq %r14, 0x48(%rsp)
je 0x490f4
movq 0x40(%rsp), %rdi
callq 0x93c0
movl 0x28(%rsp), %eax
cmpl 0x58(%rsp), %eax
jne 0x490bf
movq $0x0, 0x40(%rsp)
movsd 0x1485b(%rip), %xmm1    # 0x5d918
jmp 0x490f4
leaq (,%r14,8), %rdi
callq 0x9440
cmpl $0x1, 0xc(%rsp)
je 0x490de
movl %eax, %ecx
andl $0xf, %ecx
jne 0x49939
testq %rax, %rax
movsd 0x1482f(%rip), %xmm1    # 0x5d918
je 0x49a9d
movq %rax, 0x40(%rsp)
movq %r14, 0x48(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0x10(%rsp)
cmpq %r14, 0x18(%rsp)
je 0x49166
movq 0x10(%rsp), %rdi
callq 0x93c0
movl 0x28(%rsp), %eax
cmpl 0x58(%rsp), %eax
jne 0x49131
movq $0x0, 0x10(%rsp)
movsd 0x147e9(%rip), %xmm1    # 0x5d918
jmp 0x49166
leaq (,%r14,8), %rdi
callq 0x9440
cmpl $0x1, 0xc(%rsp)
je 0x49150
movl %eax, %ecx
andl $0xf, %ecx
jne 0x49939
testq %rax, %rax
movsd 0x147bd(%rip), %xmm1    # 0x5d918
je 0x49acb
movq %rax, 0x10(%rsp)
movq %r14, 0x18(%rsp)
cmpl $0x0, 0x10c(%rbx)
jle 0x492d2
xorl %r13d, %r13d
xorl %edx, %edx
movq %r15, 0x78(%rsp)
movq %rbx, 0x80(%rsp)
cmpq %r13, 0x38(%rsp)
jle 0x498ca
movq 0x30(%rsp), %rax
movsd (%rax,%r13,8), %xmm0
ucomisd %xmm1, %xmm0
jbe 0x491c3
cmpq %r13, 0xc8(%rbx)
jle 0x498ca
movq (%r15), %rax
movq $0x0, (%rax,%r13,8)
jmp 0x492bd
movq 0x330(%rsp), %rax
movq 0x338(%rsp), %rcx
movslq (%rax,%r13,4), %rbx
testq %rcx, %rcx
je 0x491e5
movslq (%rcx,%r13,4), %rbp
addq %rbx, %rbp
jmp 0x491ea
movslq 0x4(%rax,%r13,4), %rbp
movl %edx, 0x68(%rsp)
movslq %edx, %r12
cmpq %rbx, %rbp
jle 0x49238
movq 0x340(%rsp), %r15
movq 0x348(%rsp), %r14
movsd (%r15,%rbx,8), %xmm0
movsd %xmm0, 0x60(%rsp)
movslq (%r14,%rbx,4), %rsi
leaq 0x248(%rsp), %rdi
movq %r12, %rdx
callq 0x49d72
movsd 0x60(%rsp), %xmm0
movsd %xmm0, (%rax)
incq %rbx
cmpq %rbx, %rbp
jne 0x49206
movq 0x80(%rsp), %rbx
cmpq %r13, 0x100(%rbx)
jle 0x498ca
movl 0x68(%rsp), %edx
testl %edx, %edx
movq 0x78(%rsp), %r15
js 0x498ca
cmpq %r12, 0x48(%rsp)
jle 0x498ca
movq 0xf8(%rbx), %rax
movq 0x40(%rsp), %rcx
movsd (%rax,%r13,8), %xmm0
xorps 0x1315e(%rip), %xmm0    # 0x5c3e0
movlps %xmm0, (%rcx,%r12,8)
cmpq %r13, 0xc8(%rbx)
movsd 0x14682(%rip), %xmm1    # 0x5d918
jle 0x498ca
cmpq %r12, 0x18(%rsp)
jle 0x498ca
movq (%r15), %rax
movsd (%rax,%r13,8), %xmm0
movq 0x10(%rsp), %rax
movsd %xmm0, (%rax,%r12,8)
incl %edx
incq %r13
movslq 0x10c(%rbx), %rax
cmpq %rax, %r13
jl 0x4918a
jmp 0x492d4
xorl %edx, %edx
cmpl 0xc(%rsp), %edx
jne 0x49a12
movq 0x3ec93(%rip), %r14     # 0x87f78
leaq 0x27966(%rip), %rsi     # 0x70c52
movl $0x23, %edx
movq %r14, %rdi
callq 0x93a0
leaq 0x88(%rsp), %r15
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x9320
movsbl %al, %esi
movq 0x3ec59(%rip), %rdi     # 0x87f78
callq 0x9040
movq %rax, %rdi
callq 0x9220
movq 0x250(%rsp), %rax
addq 0x258(%rsp), %rax
movq %rax, 0x1e0(%rsp)
movq $0x0, 0x1f0(%rsp)
js 0x4991f
leaq 0x1c0(%rsp), %r14
leaq 0x1e0(%rsp), %rsi
movq %r14, %rdi
callq 0x377fc
leaq 0x3f8(%rsp), %rsi
leaq 0x248(%rsp), %rax
movq %rax, 0x8(%rsi)
movq %r15, 0x10(%rsi)
leaq 0x40(%rsp), %rax
movq %rax, 0x18(%rsi)
leaq 0x10(%rsp), %r12
movq %r12, 0x20(%rsi)
movq %r14, 0x28(%rsi)
movq 0x250(%rsp), %rax
movq %rax, 0x30(%rsi)
leaq 0x3d8e9(%rip), %rcx     # 0x86c98
movq %rcx, (%rsi)
addq 0x258(%rsp), %rax
movq %rax, 0x38(%rsi)
leaq 0x1e0(%rsp), %rdi
movl $0xf, %edx
callq 0xdf90
leaq 0x150(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1304f(%rip), %rsi     # 0x5c432
leaq 0x1304f(%rip), %rdx     # 0x5c439
leaq 0x140(%rsp), %rdi
callq 0xdb24
leaq 0x1e0(%rsp), %rdi
leaq 0x140(%rsp), %rsi
xorpd %xmm0, %xmm0
callq 0xee5a
movq 0x140(%rsp), %rdi
cmpq %r14, %rdi
je 0x4942d
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x9340
leaq 0x130(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x12fd0(%rip), %rsi     # 0x5c410
leaq 0x12fce(%rip), %rdx     # 0x5c415
leaq 0x120(%rsp), %rdi
callq 0xdb24
leaq 0x1e0(%rsp), %rdi
leaq 0x120(%rsp), %rsi
movsd 0x144ac(%rip), %xmm0    # 0x5d918
callq 0xee5a
movq 0x120(%rsp), %rdi
cmpq %r14, %rdi
je 0x4948e
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x9340
leaq 0x110(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x12f82(%rip), %rsi     # 0x5c423
leaq 0x12f89(%rip), %rdx     # 0x5c431
leaq 0x100(%rsp), %rdi
callq 0xdb24
leaq 0x1e0(%rsp), %rdi
leaq 0x100(%rsp), %rsi
movsd 0x2770b(%rip), %xmm0    # 0x70bd8
callq 0xee5a
movq 0x100(%rsp), %rdi
cmpq %r14, %rdi
je 0x494ef
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x9340
leaq 0x370(%rsp), %rdi
movb $0x0, 0x28(%rdi)
leaq 0x390(%rsp), %r14
xorpd %xmm0, %xmm0
movapd %xmm0, -0x30(%r14)
movq %r14, %rsi
callq 0x9580
movb $0x1, 0x8(%r14)
leaq 0x1e0(%rsp), %rdi
callq 0xe148
leaq 0x380(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x9580
movb $0x0, 0x18(%r15)
movq (%r15), %rax
subq -0x10(%r15), %rax
movq 0x8(%r15), %r13
imulq $0xf4240, %rax, %rax    # imm = 0xF4240
subq -0x8(%r15), %r13
addq %rax, %r13
addq -0x20(%r15), %r13
movq %r13, -0x20(%r15)
movq 0x3ea11(%rip), %rdi     # 0x87f78
leaq 0x27708(%rip), %rsi     # 0x70c76
movl $0xa, %edx
callq 0x93a0
leaq 0x1e0(%rsp), %rdi
callq 0xee54
movq 0x3e9ec(%rip), %rdi     # 0x87f78
callq 0x9560
movq %rax, %r14
leaq 0x25d98(%rip), %rsi     # 0x6f333
movl $0x13, %edx
movq %rax, %rdi
callq 0x93a0
xorps %xmm0, %xmm0
cvtsi2sd %r13, %xmm0
divsd 0x12a70(%rip), %xmm0    # 0x5c028
cvtsd2ss %xmm0, %xmm0
cvtss2sd %xmm0, %xmm0
movq %r14, %rdi
callq 0x9560
movq %rax, %r14
leaq 0x12cba(%rip), %rsi     # 0x5c28c
movl $0x5, %edx
movq %rax, %rdi
callq 0x93a0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x9320
movsbl %al, %esi
movq %r14, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9220
leaq 0x1e0(%rsp), %rdi
callq 0xee48
movq %rax, %r14
movq 0x70(%rsp), %r15
cmpq %r15, 0x18(%rsp)
je 0x4966c
movq 0x10(%rsp), %rdi
callq 0x93c0
movl 0x28(%rsp), %eax
cmpl 0x58(%rsp), %eax
jne 0x4963a
xorl %eax, %eax
jmp 0x49662
leaq (,%r15,8), %rdi
callq 0x9440
cmpl $0x1, 0xc(%rsp)
je 0x49659
movl %eax, %ecx
andl $0xf, %ecx
jne 0x49939
testq %rax, %rax
je 0x49af9
movq %rax, 0x10(%rsp)
movq %r15, 0x18(%rsp)
movq 0x18(%rsp), %rax
cmpq %r15, %rax
jne 0x49908
movq 0x10(%rsp), %rcx
movq %rax, %rdx
shrq $0x3f, %rdx
addq %rax, %rdx
andq $-0x2, %rdx
cmpq $0x2, %rax
jl 0x496a7
xorl %esi, %esi
movups (%r14,%rsi,8), %xmm0
movaps %xmm0, (%rcx,%rsi,8)
addq $0x2, %rsi
cmpq %rdx, %rsi
jl 0x49695
cmpq %rax, %rdx
jge 0x496bf
movsd (%r14,%rdx,8), %xmm0
movsd %xmm0, (%rcx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x496ac
movq 0x3e8b2(%rip), %rdi     # 0x87f78
leaq 0x275b4(%rip), %rsi     # 0x70c81
movl $0x1b, %edx
callq 0x93a0
cmpq $0x0, 0x18(%rsp)
jle 0x49a31
movq 0x10(%rsp), %rax
leaq 0x3e0(%rsp), %rdi
movq %rax, (%rdi)
movq %r12, 0x10(%rdi)
leaq 0x2f(%rsp), %rsi
callq 0x4ad42
movq 0x3e870(%rip), %rdi     # 0x87f78
callq 0x9560
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x9320
movsbl %al, %esi
movq %r14, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9220
movslq 0x10c(%rbx), %rax
testq %rax, %rax
jle 0x497c7
movq 0x30(%rsp), %rcx
movq 0x38(%rsp), %rdx
movq 0xc0(%rbx), %rsi
movq 0xc8(%rbx), %rdi
movq 0x10(%rsp), %r8
xorl %r9d, %r9d
testq %rdx, %rdx
cmovleq %r9, %rdx
xorl %r10d, %r10d
movl 0xc(%rsp), %ebx
cmpq %r9, %rdx
je 0x498ca
movsd 0x14192(%rip), %xmm0    # 0x5d918
ucomisd (%rcx,%r9,8), %xmm0
jb 0x497bd
testl %r10d, %r10d
js 0x498ca
movslq %r10d, %r11
cmpq %r11, 0x18(%rsp)
jle 0x498ca
cmpq %r9, %rdi
jle 0x498ca
movsd (%r8,%r11,8), %xmm0
movsd %xmm0, (%rsi,%r9,8)
incl %r10d
incq %r9
cmpq %r9, %rax
jne 0x49775
jmp 0x497ce
xorl %r10d, %r10d
movl 0xc(%rsp), %ebx
cmpl %ebx, %r10d
jne 0x49a50
movq 0x218(%rsp), %rdi
callq 0x93c0
movq 0x208(%rsp), %rdi
callq 0x93c0
movq 0x1c0(%rsp), %rdi
callq 0x93c0
movq 0x10(%rsp), %rdi
callq 0x93c0
movq 0x40(%rsp), %rdi
callq 0x93c0
leaq 0x270(%rsp), %rbx
movq -0x10(%rbx), %rdi
callq 0x93c0
movq -0x8(%rbx), %rdi
callq 0x93c0
movq %rbx, %rdi
callq 0x38782
movq 0x30(%rsp), %rdi
callq 0x93c0
movq 0xd0(%rsp), %rdi
callq 0x93c0
movq 0xc0(%rsp), %rdi
callq 0x93c0
movq 0x1d0(%rsp), %rdi
callq 0x93c0
movq 0x88(%rsp), %rdi
callq 0x93c0
leaq 0x2f8(%rsp), %rbx
movq -0x10(%rbx), %rdi
callq 0x93c0
movq -0x8(%rbx), %rdi
callq 0x93c0
movq %rbx, %rdi
callq 0x38782
leaq 0x340(%rsp), %rbx
movq -0x10(%rbx), %rdi
callq 0x93c0
movq -0x8(%rbx), %rdi
callq 0x93c0
movq %rbx, %rdi
callq 0x38782
movb $0x1, %al
addq $0x438, %rsp            # imm = 0x438
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x13954(%rip), %rdi     # 0x5d225
leaq 0x1396a(%rip), %rsi     # 0x5d242
leaq 0x13986(%rip), %rcx     # 0x5d265
movl $0x1a9, %edx            # imm = 0x1A9
callq 0x9200
leaq 0x13297(%rip), %rdi     # 0x5cb87
leaq 0x1300d(%rip), %rsi     # 0x5c904
leaq 0x13e40(%rip), %rcx     # 0x5d73e
movl $0xa3, %edx
callq 0x9200
leaq 0x13751(%rip), %rdi     # 0x5d060
leaq 0x12c03(%rip), %rsi     # 0x5c519
leaq 0x13ec3(%rip), %rcx     # 0x5d7e0
jmp 0x4996d
leaq 0x12c16(%rip), %rdi     # 0x5c53c
leaq 0x12ca4(%rip), %rsi     # 0x5c5d1
leaq 0x13a98(%rip), %rcx     # 0x5d3cc
jmp 0x499e9
leaq 0x1340c(%rip), %rdi     # 0x5cd4c
leaq 0x134bf(%rip), %rsi     # 0x5ce06
leaq 0x134d7(%rip), %rcx     # 0x5ce25
movl $0xa1, %edx
callq 0x9200
leaq 0x13701(%rip), %rdi     # 0x5d060
leaq 0x12bb3(%rip), %rsi     # 0x5c519
leaq 0x27330(%rip), %rcx     # 0x70c9d
movl $0x2d1, %edx            # imm = 0x2D1
callq 0x9200
leaq 0x14faa(%rip), %rdi     # 0x5e928
leaq 0x1502f(%rip), %rsi     # 0x5e9b4
leaq 0x2744b(%rip), %rcx     # 0x70dd7
movl $0x61, %edx
callq 0x9200
leaq 0x14551(%rip), %rdi     # 0x5deee
leaq 0x14583(%rip), %rsi     # 0x5df27
leaq 0x274ef(%rip), %rcx     # 0x70e9a
movl $0x6e, %edx
callq 0x9200
leaq 0x1349c(%rip), %rdi     # 0x5ce58
leaq 0x132f4(%rip), %rsi     # 0x5ccb7
leaq 0x1361d(%rip), %rcx     # 0x5cfe7
movl $0x11d, %edx            # imm = 0x11D
callq 0x9200
leaq 0x12b61(%rip), %rdi     # 0x5c53c
leaq 0x12bef(%rip), %rsi     # 0x5c5d1
leaq 0x232dc(%rip), %rcx     # 0x6ccc5
movl $0x4a, %edx
callq 0x9200
leaq 0x13233(%rip), %rdi     # 0x5cc2d
leaq 0x132b6(%rip), %rsi     # 0x5ccb7
leaq 0x132d2(%rip), %rcx     # 0x5ccda
movl $0x138, %edx            # imm = 0x138
callq 0x9200
leaq 0x271f1(%rip), %rdi     # 0x70c0a
leaq 0x27208(%rip), %rsi     # 0x70c28
leaq 0x2720e(%rip), %rcx     # 0x70c35
movl $0x42, %edx
callq 0x9200
leaq 0x12f99(%rip), %rdi     # 0x5c9d1
leaq 0x12fd6(%rip), %rsi     # 0x5ca15
leaq 0x27c3c(%rip), %rcx     # 0x71682
movl $0x19d, %edx            # imm = 0x19D
callq 0x9200
leaq 0x271b3(%rip), %rdi     # 0x70c0a
leaq 0x271ca(%rip), %rsi     # 0x70c28
leaq 0x271d0(%rip), %rcx     # 0x70c35
movl $0x5c, %edx
callq 0x9200
movl $0x8, %edi
callq 0x9180
movq 0x3e530(%rip), %rcx     # 0x87fb0
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x3e53a(%rip), %rsi     # 0x87fc8
movq 0x3e4fb(%rip), %rdx     # 0x87f90
movq %rax, %rdi
callq 0x9630
movl $0x8, %edi
callq 0x9180
movq 0x3e502(%rip), %rcx     # 0x87fb0
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x3e50c(%rip), %rsi     # 0x87fc8
movq 0x3e4cd(%rip), %rdx     # 0x87f90
movq %rax, %rdi
callq 0x9630
movl $0x8, %edi
callq 0x9180
movq 0x3e4d4(%rip), %rcx     # 0x87fb0
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x3e4de(%rip), %rsi     # 0x87fc8
movq 0x3e49f(%rip), %rdx     # 0x87f90
movq %rax, %rdi
callq 0x9630
movl $0x8, %edi
callq 0x9180
movq 0x3e4a6(%rip), %rcx     # 0x87fb0
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x3e4b0(%rip), %rsi     # 0x87fc8
movq 0x3e471(%rip), %rdx     # 0x87f90
movq %rax, %rdi
callq 0x9630
jmp 0x49cc2
jmp 0x49cee
movq %rax, %rbx
jmp 0x49cfb
jmp 0x49cbd
jmp 0x49cbd
jmp 0x49cbd
jmp 0x49cbd
jmp 0x49cc2
movq %rax, %rbx
movq 0x100(%rsp), %rdi
cmpq %r14, %rdi
je 0x49cc5
movq 0x110(%rsp), %rsi
jmp 0x49bb4
jmp 0x49cc2
movq %rax, %rbx
movq 0x120(%rsp), %rdi
cmpq %r14, %rdi
je 0x49cc5
movq 0x130(%rsp), %rsi
jmp 0x49bb4
jmp 0x49cc2
movq %rax, %rbx
movq 0x140(%rsp), %rdi
cmpq %r14, %rdi
je 0x49cc5
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x9340
jmp 0x49cc5
jmp 0x49cc2
movq %rax, %rbx
jmp 0x49cdf
jmp 0x49cee
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
callq 0x38782
jmp 0x49d12
jmp 0x49cbd
jmp 0x49cbd
jmp 0x49cbd
jmp 0x49cbd
movq %rax, %rbx
movq 0x160(%rsp), %rdi
cmpq %r14, %rdi
je 0x49d1c
movq 0x170(%rsp), %rsi
jmp 0x49c5b
jmp 0x49cbd
movq %rax, %rbx
movq 0x180(%rsp), %rdi
cmpq %r14, %rdi
je 0x49d1c
movq 0x190(%rsp), %rsi
jmp 0x49c5b
jmp 0x49cbd
movq %rax, %rbx
movq 0x1a0(%rsp), %rdi
cmpq %r14, %rdi
je 0x49d1c
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x9340
jmp 0x49d1c
jmp 0x49cbd
movq %rax, %rbx
jmp 0x49d36
movq %rax, %rbx
jmp 0x49d43
movq %rax, %rbx
jmp 0x49d50
movq %rax, %rbx
leaq 0x2f8(%rsp), %rdi
callq 0x38782
jmp 0x49d5d
movq %rax, %rbx
jmp 0x49d5d
movq %rax, %rbx
leaq 0x340(%rsp), %rdi
callq 0x38782
jmp 0x49d6a
jmp 0x49cb8
jmp 0x49cee
movq %rax, %rbx
jmp 0x49d12
movq %rax, %rbx
jmp 0x49d1c
movq %rax, %rbx
movq 0x218(%rsp), %rdi
callq 0x93c0
movq 0x208(%rsp), %rdi
callq 0x93c0
movq 0x1c0(%rsp), %rdi
callq 0x93c0
jmp 0x49cf1
movq %rax, %rbx
movq 0x10(%rsp), %rdi
callq 0x93c0
movq 0x40(%rsp), %rdi
callq 0x93c0
leaq 0x248(%rsp), %rdi
callq 0x369fa
movq 0x30(%rsp), %rdi
callq 0x93c0
movq 0xd0(%rsp), %rdi
callq 0x93c0
movq 0xc0(%rsp), %rdi
callq 0x93c0
movq 0x1d0(%rsp), %rdi
callq 0x93c0
movq 0x88(%rsp), %rdi
callq 0x93c0
leaq 0x2d0(%rsp), %rdi
callq 0x369fa
leaq 0x318(%rsp), %rdi
callq 0x369fa
movq %rbx, %rdi
callq 0x9670