// File: /workspace/github_cpp_makefile_star2_O3/canzarlab[P]Trajan/src/BnB.cpp
// Function: BnB::SolveLP()
bool BnB::SolveLP()
{
    int nr_t = Triplets.size();
    int nr_r = nr_rows;
    double f;

#if DEBUG == 1
    int qwe = 0;
    double qwer = 0.0;
    Timer T;
#endif

    while(1)
    {
        SpMat A(nr_rows, nr_cols);
        A.setFromTriplets(Triplets.begin(), Triplets.end());
        Vector b = Vector::Ones(nr_rows);       
        y = Vector::Zero(nr_rows);
        Vector d = -c;            

        BranchingJRF simpleJRF(A, b, d, x, y);
        simpleJRF.lo = sys_lo;
        simpleJRF.hi = sys_hi;
        AugmentedLagrangian solver(simpleJRF, 15);
        solver.setParameter("verbose", false);
        solver.setParameter("pgtol", 0.275); 
        solver.setParameter("constraintsTol", 1e-4);

#if DEBUG == 1
        T.start();
#endif
        SolverStatus status = solver.solve();    
#if DEBUG == 1        
        if (status == SUBOPTIMAL)
            cout << "SUBOPTIMAL(" << status << ")" << endl; 
        if (status == UNBOUNDED)
            cout << "UNBOUNDED(" << status << ")" << endl; 
        if (status == INFEASIBLE)
            cout << "INFEASIBLE(" << status << ")" << endl; 
        if (status == NUM_ERROR)
            cout << "NUM_ERROR(" << status << ")" << endl; 
        T.stop();
        qwe++;
        qwer += T.secs();
        geno_calls++;
        geno_time += T.secs();
#endif

        if (status == INFEASIBLE) 
        {                
            Cleanup(nr_t, nr_r);            
            return 0; 
        }

        x = Vector::ConstMapType(solver.x(), nr_cols); 
        
        if (LP::cf == 1 && Add<1>())
            continue;
        else if (LP::cf == 2 && (Add<1>() + Add<2>()))
            continue;

        f = solver.f();    

#if DEBUG == 1
        cout << "rows: " << nr_rows << endl;
        cout << "cols: " << nr_cols << endl;
        cout << "geno calls: " << qwe << endl;
        cout << "geno time: " << qwer << endl;
        cout << "total geno calls: " << geno_calls << endl;
        cout << "total geno time: " << geno_time << endl;
        cout << "upper: " << f << endl;
        cout << "lower: " << sys_lb << endl;
        int qwert = 0;
        for (size_t i = 0; i < x.size(); ++i)
            if (x(i) > 1e-3 && x(i) < 1 - 1e-3 && !sys_x[i])
                qwert++;
        cout << "fracs: " << qwert << endl;
#endif

        if (sys_lb != double(INF) && f >= sys_lb * (1.0 + con_eps)) 
        {    
#if DEBUG == 1            
            cout << "The branch was cut." << endl << endl;
#endif
            Cleanup(nr_t, nr_r);            
            return 0; 
        }            
#if DEBUG == 1
        else cout << endl;        
#endif

        break;
    }
    
    vector<pair<size_t, size_t>> vp;
    size_t p = 0;

    for (size_t i = 0; i < t1.GetNumNodes(); ++i)
        for (size_t j = 0; j < t2.GetNumNodes(); ++j)
            if (K[i][j] != -1 && x(K[i][j]) > 1e-3 && x(K[i][j]) < 1 - 1e-3 && !sys_x[K[i][j]])                
                vp.emplace_back(i, j);                

    sort(vp.begin(), vp.end(), [this](pair<size_t, size_t>& p, pair<size_t, size_t>& q)
    { 
        int i = K[p.first][p.second];
        int j = K[q.first][q.second];
        return c(i) > c(j); 
    });
   
    for (int i = 0; !p && i < vp.size(); ++i)
    {
        bool flag = 1;
        for (size_t k = 0; flag && k < t1.GetNumNodes(); ++k)          
            for (size_t j = 0; flag && j < t2.GetNumNodes(); ++j)
                if (K[k][j] != -1 && sys_x[K[k][j]])                              
                    flag = IsNotInConflict(vp[i].first, k, vp[i].second, j);                    
        if (flag) p = 1 + K[vp[i].first][vp[i].second];
    }

    if (vp.size())
    {
        bool b0 = !p; 
        p = (b0) ? K[vp[0].first][vp[0].second] : p - 1; // bool b1 = b0 || x(--p) >= 0.1;     
        bool s0 = !b0 && SolveRec(p, 1);            
        bool s1 = SolveRec(p, 0);                       
        if (!s0 && !s1)
        {                 
            Cleanup(nr_t, nr_r);            
            return 0;
        }
    }
    else if (sys_lb > f)
    {
#if DEBUG == 1
        if (gap_flag) 
        {
            gap_amount += abs(sys_lb - f);  
            ++gap_count;
        }
        else 
            gap_flag = 1;
#endif
        sys_s = x;
        sys_lb = f; 
    }

    Cleanup(nr_t, nr_r);
    return 1;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x218, %rsp            # imm = 0x218
movq %rdi, %rbx
leaq 0x88(%rdi), %rax
movq %rax, 0x28(%rsp)
movq 0x90(%rdi), %rax
subq 0x88(%rdi), %rax
movl 0x108(%rdi), %ecx
movl %ecx, 0x1c(%rsp)
leaq 0x190(%rsp), %rcx
movb $0x0, 0x28(%rcx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x10(%rcx)
leaq 0xd0(%rdi), %rcx
movq %rcx, 0x10(%rsp)
leaq 0xf8(%rdi), %rcx
movq %rcx, 0x118(%rsp)
leaq 0xc0(%rdi), %r12
leaq 0x170(%rsp), %r13
shrq $0x4, %rax
cltq
movq %rax, 0x20(%rsp)
xorps %xmm0, %xmm0
movsd %xmm0, 0x30(%rsp)
movq $0x0, 0x38(%rsp)
movq %rdi, (%rsp)
movslq 0x108(%rbx), %rsi
movslq 0x10c(%rbx), %rdx
movb $0x0, 0x1d0(%rsp)
xorpd %xmm0, %xmm0
leaq 0x1d8(%rsp), %rax
movupd %xmm0, 0x30(%rax)
movupd %xmm0, 0x20(%rax)
movupd %xmm0, 0x10(%rax)
movupd %xmm0, (%rax)
leaq 0x1d0(%rsp), %r14
movq %r14, %rdi
callq 0x37f02
movq 0x88(%rbx), %rax
movq %rax, 0x40(%rsp)
movq 0x90(%rbx), %rax
movq %rax, 0xb8(%rsp)
leaq 0x40(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
movq %r14, %rdx
leaq 0xa8(%rsp), %rcx
callq 0x37fd4
movslq 0x108(%rbx), %rax
movq %rax, 0x40(%rsp)
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
movq %rcx, 0x50(%rsp)
testq %rax, %rax
js 0x40163
leaq 0xa8(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x36fea
movslq 0x108(%rbx), %r15
testq %r15, %r15
js 0x40163
cmpq %r15, 0xd8(%rbx)
je 0x3f0ac
movl $0x1, %ecx
movq 0x10(%rsp), %rdi
movq %r15, %rsi
movq %r15, %rdx
callq 0xff4c
cmpq %r15, 0xd8(%rbx)
jne 0x401ee
movq %r13, %r14
movl %r15d, %ebx
movq 0x10(%rsp), %rax
movq (%rax), %rbp
movl %ebx, %r13d
andl $0x7ffffffe, %r13d      # imm = 0x7FFFFFFE
cmpl $0x2, %ebx
jb 0x3f0f0
cmpl $0x3, %r13d
movl $0x2, %eax
cmovael %r13d, %eax
leaq -0x8(,%rax,8), %rdx
andq $-0x10, %rdx
addq $0x10, %rdx
movq %rbp, %rdi
xorl %esi, %esi
callq 0x91c0
cmpl %r15d, %r13d
je 0x3f112
shrl %ebx
shlq $0x4, %rbx
addq %rbx, %rbp
shlq $0x3, %r15
subq %rbx, %r15
movq %rbp, %rdi
xorl %esi, %esi
movq %r15, %rdx
callq 0x91c0
movq 0x118(%rsp), %rax
movq %rax, 0x40(%rsp)
leaq 0x1c0(%rsp), %rbx
movq %rbx, %rdi
leaq 0x40(%rsp), %rsi
callq 0x393be
movq %r14, %r13
leaq 0xb8(%rsp), %rdi
leaq 0x1d0(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
movq %rbx, %rcx
movq %r12, %r8
movq 0x10(%rsp), %r9
callq 0x40b08
movq (%rsp), %rbx
leaq 0x150(%rsp), %r14
movq 0x228(%rbx), %r15
movq 0x230(%rbx), %rbp
cmpq %rbp, 0x110(%rsp)
jne 0x3f18d
movq 0x108(%rsp), %rax
jmp 0x3f1f8
testq %rbp, %rbp
js 0x401b0
movq 0x108(%rsp), %rdi
callq 0x93d0
testq %rbp, %rbp
je 0x3f1e6
movabsq $0x1fffffffffffffff, %rax # imm = 0x1FFFFFFFFFFFFFFF
cmpq %rax, %rbp
ja 0x40182
leaq (,%rbp,8), %rdi
callq 0x9450
cmpq $0x1, %rbp
setne %cl
testb $0xf, %al
setne %dl
testb %dl, %cl
jne 0x401cf
testq %rax, %rax
jne 0x3f1e8
jmp 0x40182
xorl %eax, %eax
movq %rax, 0x108(%rsp)
movq %rbp, 0x110(%rsp)
movq %rbp, %rcx
shrq $0x3f, %rcx
addq %rbp, %rcx
andq $-0x2, %rcx
cmpq $0x2, %rbp
jl 0x3f222
xorl %edx, %edx
movapd (%r15,%rdx,8), %xmm0
movapd %xmm0, (%rax,%rdx,8)
addq $0x2, %rdx
cmpq %rcx, %rdx
jl 0x3f20e
cmpq %rbp, %rcx
jge 0x3f23a
movsd (%r15,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %rbp
jne 0x3f227
movq 0x238(%rbx), %r15
movq 0x240(%rbx), %rbp
cmpq %rbp, 0x100(%rsp)
jne 0x3f25c
movq 0xf8(%rsp), %rax
jmp 0x3f2c7
testq %rbp, %rbp
js 0x401b0
movq 0xf8(%rsp), %rdi
callq 0x93d0
testq %rbp, %rbp
je 0x3f2b5
movabsq $0x1fffffffffffffff, %rax # imm = 0x1FFFFFFFFFFFFFFF
cmpq %rax, %rbp
ja 0x40182
leaq (,%rbp,8), %rdi
callq 0x9450
cmpq $0x1, %rbp
setne %cl
testb $0xf, %al
setne %dl
testb %dl, %cl
jne 0x401cf
testq %rax, %rax
jne 0x3f2b7
jmp 0x40182
xorl %eax, %eax
movq %rax, 0xf8(%rsp)
movq %rbp, 0x100(%rsp)
movq %rbp, %rcx
shrq $0x3f, %rcx
addq %rbp, %rcx
andq $-0x2, %rcx
cmpq $0x2, %rbp
jl 0x3f2f1
xorl %edx, %edx
movapd (%r15,%rdx,8), %xmm0
movapd %xmm0, (%rax,%rdx,8)
addq $0x2, %rdx
cmpq %rcx, %rdx
jl 0x3f2dd
cmpq %rbp, %rcx
jge 0x3f309
movsd (%r15,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %rbp
jne 0x3f2f6
movl $0xf, %edx
leaq 0x40(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
callq 0xdf50
movq %r13, 0x160(%rsp)
leaq 0x160(%rsp), %rbx
movq %rbx, %rdi
leaq 0x1d118(%rip), %rsi     # 0x5c452
leaq 0x1d118(%rip), %rdx     # 0x5c459
callq 0xdadc
leaq 0x140(%rsp), %r15
xorpd %xmm0, %xmm0
leaq 0x40(%rsp), %rdi
movq %rbx, %rsi
callq 0xed94
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0x3f37c
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x9350
movq %r14, 0x140(%rsp)
movq %r15, %rdi
leaq 0x1d0a2(%rip), %rsi     # 0x5c430
leaq 0x1d0a0(%rip), %rdx     # 0x5c435
callq 0xdadc
leaq 0x40(%rsp), %rdi
movq %r15, %rsi
movsd 0x2f8be(%rip), %xmm0    # 0x6ec68
callq 0xed94
movq 0x140(%rsp), %rdi
cmpq %r14, %rdi
je 0x3f3cc
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x9350
leaq 0x130(%rsp), %r14
movq %r14, 0x120(%rsp)
leaq 0x120(%rsp), %rbx
movq %rbx, %rdi
leaq 0x1d055(%rip), %rsi     # 0x5c443
leaq 0x1d05c(%rip), %rdx     # 0x5c451
callq 0xdadc
leaq 0x40(%rsp), %rdi
movq %rbx, %rsi
movsd 0x2f866(%rip), %xmm0    # 0x6ec70
callq 0xed94
movq 0x120(%rsp), %rdi
cmpq %r14, %rdi
je 0x3f42c
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x9350
xorpd %xmm0, %xmm0
movapd %xmm0, 0x180(%rsp)
leaq 0x190(%rsp), %rdi
leaq 0x1b0(%rsp), %r14
movq %r14, %rsi
callq 0x9590
movb $0x1, 0x1b8(%rsp)
leaq 0x40(%rsp), %rdi
callq 0xe0ee
decl %eax
cmpl $0x3, %eax
ja 0x3f602
leaq 0x2f80b(%rip), %rcx     # 0x6ec80
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl $0xb, %edx
movq 0x46b36(%rip), %rdi     # 0x85fc0
leaq 0x2f83c(%rip), %rsi     # 0x6eccd
callq 0x93b0
movq 0x46b23(%rip), %rdi     # 0x85fc0
movl $0x1, %esi
callq 0x9650
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2fbd0(%rip), %rsi     # 0x6f089
callq 0x93b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
jmp 0x3f5ef
movl $0xb, %edx
movq 0x46add(%rip), %rdi     # 0x85fc0
leaq 0x2f7fa(%rip), %rsi     # 0x6ece4
callq 0x93b0
movq 0x46aca(%rip), %rdi     # 0x85fc0
movl $0x3, %esi
callq 0x9650
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2fb77(%rip), %rsi     # 0x6f089
callq 0x93b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movb $0x1, %bl
movq %rax, %rdi
callq 0x9230
jmp 0x3f604
movl $0xa, %edx
movq 0x46a6f(%rip), %rdi     # 0x85fc0
leaq 0x2f798(%rip), %rsi     # 0x6ecf0
callq 0x93b0
movq 0x46a5c(%rip), %rdi     # 0x85fc0
movl $0x4, %esi
callq 0x9650
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2fb09(%rip), %rsi     # 0x6f089
callq 0x93b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
jmp 0x3f5ef
movl $0xa, %edx
movq 0x46a19(%rip), %rdi     # 0x85fc0
leaq 0x2f72b(%rip), %rsi     # 0x6ecd9
callq 0x93b0
movq 0x46a06(%rip), %rdi     # 0x85fc0
movl $0x2, %esi
callq 0x9650
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2fab3(%rip), %rsi     # 0x6f089
callq 0x93b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
xorl %ebx, %ebx
leaq 0x1a0(%rsp), %rdi
movq %r14, %rsi
callq 0x9590
movb $0x0, 0x1b8(%rsp)
movq 0x1a0(%rsp), %rax
movq 0x1a8(%rsp), %rcx
subq 0x190(%rsp), %rax
subq 0x198(%rsp), %rcx
imulq $0xf4240, %rax, %rax    # imm = 0xF4240
addq %rax, %rcx
addq 0x180(%rsp), %rcx
movq %rcx, 0x180(%rsp)
movq 0x38(%rsp), %rax
incl %eax
movq %rax, 0x38(%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %rcx, %xmm0
divsd 0x1c9b6(%rip), %xmm0    # 0x5c028
cvtsd2ss %xmm0, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x30(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x30(%rsp)
incl 0x46dac(%rip)           # 0x8643c
addsd 0x46da8(%rip), %xmm0    # 0x86440
movsd %xmm0, 0x46da0(%rip)    # 0x86440
testb %bl, %bl
je 0x3f6cc
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x40ad4
movq (%rsp), %rax
movl 0x1c(%rsp), %ecx
movl %ecx, 0x108(%rax)
movl $0x1, %r15d
jmp 0x3fbab
leaq 0x40(%rsp), %rdi
callq 0xed82
movq (%rsp), %rbx
movslq 0x10c(%rbx), %rbp
testq %rbp, %rbp
js 0x40205
movq %rax, %r15
cmpq %rbp, 0xc8(%rbx)
je 0x3f716
movl $0x1, %ecx
movq %r12, %rdi
movq %rbp, %rsi
movq %rbp, %rdx
callq 0xff4c
cmpq %rbp, 0xc8(%rbx)
jne 0x40224
movl %ebp, %edx
movq (%r12), %rax
movl %edx, %ecx
andl $0x7ffffffe, %ecx       # imm = 0x7FFFFFFE
cmpl $0x2, %edx
jb 0x3f73f
xorl %edx, %edx
movupd (%r15,%rdx,8), %xmm0
movapd %xmm0, (%rax,%rdx,8)
addq $0x2, %rdx
cmpq %rcx, %rdx
jb 0x3f72b
cmpl %ebp, %ecx
jge 0x3f756
movsd (%r15,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %rbp
jne 0x3f743
leaq 0x46cab(%rip), %rax     # 0x86408
movl (%rax), %eax
cmpl $0x1, %eax
jne 0x3f783
movq %rbx, %rdi
callq 0x37a5e
movl $0x2, %r15d
testl %eax, %eax
jne 0x3fbab
leaq 0x46c87(%rip), %rax     # 0x86408
movl (%rax), %eax
cmpl $0x2, %eax
jne 0x3f7b7
movq (%rsp), %rdi
callq 0x37a5e
movl %eax, %ebp
movq (%rsp), %rdi
cmpb $0x1, 0x68(%rdi)
jne 0x3f7a4
callq 0x37c6c
jmp 0x3f7a9
callq 0x37dac
movl $0x2, %r15d
addl %eax, %ebp
jne 0x3fbab
leaq 0x40(%rsp), %rdi
callq 0xed8e
movsd %xmm0, 0x8(%rsp)
movl $0x6, %edx
movq 0x467ed(%rip), %rdi     # 0x85fc0
leaq 0x2f521(%rip), %rsi     # 0x6ecfb
callq 0x93b0
movq (%rsp), %rax
movl 0x108(%rax), %esi
movq 0x467d0(%rip), %rdi     # 0x85fc0
callq 0x9650
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0x6, %edx
movq 0x46795(%rip), %rdi     # 0x85fc0
leaq 0x2f4d0(%rip), %rsi     # 0x6ed02
callq 0x93b0
movq (%rsp), %rax
movl 0x10c(%rax), %esi
movq 0x46778(%rip), %rdi     # 0x85fc0
callq 0x9650
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0xc, %edx
movq 0x4673d(%rip), %rdi     # 0x85fc0
leaq 0x2f411(%rip), %rsi     # 0x6ec9b
callq 0x93b0
movq 0x4672a(%rip), %rdi     # 0x85fc0
movq 0x38(%rsp), %rsi
callq 0x9650
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0xb, %edx
movq 0x466ea(%rip), %rdi     # 0x85fc0
leaq 0x2f3d1(%rip), %rsi     # 0x6ecae
callq 0x93b0
movq 0x466d7(%rip), %rdi     # 0x85fc0
movsd 0x30(%rsp), %xmm0
callq 0x9570
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0x12, %edx
movq 0x46696(%rip), %rdi     # 0x85fc0
leaq 0x2f364(%rip), %rsi     # 0x6ec95
callq 0x93b0
movl 0x46b00(%rip), %esi     # 0x8643c
movq 0x4667d(%rip), %rdi     # 0x85fc0
callq 0x9650
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0x11, %edx
movq 0x46642(%rip), %rdi     # 0x85fc0
leaq 0x2f323(%rip), %rsi     # 0x6eca8
callq 0x93b0
movsd 0x46aae(%rip), %xmm0    # 0x86440
movq 0x46627(%rip), %rdi     # 0x85fc0
callq 0x9570
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0x7, %edx
movq 0x465ec(%rip), %rdi     # 0x85fc0
leaq 0x2f32e(%rip), %rsi     # 0x6ed09
callq 0x93b0
movq 0x465d9(%rip), %rdi     # 0x85fc0
movsd 0x8(%rsp), %xmm0
callq 0x9570
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movl $0x7, %edx
movq 0x46598(%rip), %rdi     # 0x85fc0
leaq 0x2f2e2(%rip), %rsi     # 0x6ed11
callq 0x93b0
movq (%rsp), %rax
movsd 0x1e8(%rax), %xmm0
movq 0x46579(%rip), %rdi     # 0x85fc0
callq 0x9570
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movq (%rsp), %rsi
movq 0xc8(%rsi), %rax
testq %rax, %rax
je 0x3fae7
movl $0x0, %ecx
cmovgq %rax, %rcx
leaq -0x1(%rax), %rdx
cmpq %rdx, %rcx
jbe 0x40144
movq 0xc0(%rsi), %rcx
movq 0x1f0(%rsi), %rdx
xorl %esi, %esi
xorl %ebp, %ebp
movsd (%rcx,%rsi,8), %xmm0
ucomisd 0x1dd75(%rip), %xmm0    # 0x5d830
jbe 0x3fadd
movsd 0x2f1b3(%rip), %xmm1    # 0x6ec78
ucomisd %xmm0, %xmm1
jbe 0x3fadd
movq %rsi, %rdi
shrq $0x6, %rdi
movq (%rdx,%rdi,8), %rdi
btq %rsi, %rdi
sbbl $-0x1, %ebp
incq %rsi
cmpq %rsi, %rax
jne 0x3faae
jmp 0x3fae9
xorl %ebp, %ebp
movl $0x7, %edx
movq 0x464cb(%rip), %rdi     # 0x85fc0
leaq 0x2f21d(%rip), %rsi     # 0x6ed19
callq 0x93b0
movq 0x464b8(%rip), %rdi     # 0x85fc0
movl %ebp, %esi
callq 0x9650
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movq (%rsp), %rax
movsd 0x1e8(%rax), %xmm0
ucomisd 0x1c8b3(%rip), %xmm0    # 0x5c400
jae 0x3fb73
movsd 0x248(%rax), %xmm1
addsd 0x1c899(%rip), %xmm1    # 0x5c3f8
mulsd %xmm1, %xmm0
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jae 0x3fc3c
movq 0x46446(%rip), %rcx     # 0x85fc0
movq (%rcx), %rax
movq -0x18(%rax), %rdi
addq %rcx, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq 0x46428(%rip), %rdi     # 0x85fc0
callq 0x9040
movl $0x3, %r15d
movq %rax, %rdi
callq 0x9230
movq 0x78(%rsp), %rdi
callq 0x93d0
movq 0x68(%rsp), %rdi
callq 0x93d0
leaq 0x44bda(%rip), %rax     # 0x847a0
movq %rax, 0xb8(%rsp)
movq 0x108(%rsp), %rdi
callq 0x93d0
movq 0xf8(%rsp), %rdi
callq 0x93d0
movq 0x1c0(%rsp), %rdi
callq 0x93d0
movq 0xa8(%rsp), %rdi
callq 0x93d0
movq 0x1e8(%rsp), %rdi
callq 0x93d0
movq 0x1f0(%rsp), %rdi
callq 0x93d0
leaq 0x1f8(%rsp), %rdi
callq 0x37fb2
cmpl $0x2, %r15d
movq (%rsp), %rbx
je 0x3efbe
jmp 0x3fcc4
movl $0x13, %edx
movq 0x46378(%rip), %rdi     # 0x85fc0
leaq 0x2f0d2(%rip), %rsi     # 0x6ed21
callq 0x93b0
movq 0x46365(%rip), %rcx     # 0x85fc0
movq (%rcx), %rax
movq -0x18(%rax), %rdi
addq %rcx, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq 0x46347(%rip), %rdi     # 0x85fc0
callq 0x9040
movq %rax, %rdi
callq 0x9230
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x9330
movsbl %al, %esi
movq %r15, %rdi
callq 0x9040
movq %rax, %rdi
callq 0x9230
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x40ad4
jmp 0x3f6b3
cmpl $0x3, %r15d
jne 0x3fe61
xorpd %xmm0, %xmm0
movapd %xmm0, 0x40(%rsp)
xorl %eax, %eax
movq %rax, 0x50(%rsp)
movq %rax, 0xb8(%rsp)
movq 0x30(%rbx), %rcx
cmpl $0x0, 0x70(%rcx)
je 0x3fe79
movq 0x38(%rbx), %rax
xorl %edx, %edx
leaq 0x40(%rsp), %r14
leaq 0xb8(%rsp), %r15
leaq 0x1d0(%rsp), %r13
movq $0x0, 0x1d0(%rsp)
cmpl $0x0, 0x70(%rax)
je 0x3fdd3
xorl %ecx, %ecx
movq 0xb8(%rsp), %rdx
movq 0xe0(%rbx), %rsi
leaq (%rdx,%rdx,2), %rdx
movq (%rsi,%rdx,8), %rdx
movslq (%rdx,%rcx,4), %rdx
cmpq $-0x1, %rdx
je 0x3fdaf
testl %edx, %edx
js 0x40144
cmpq %rdx, 0xc8(%rbx)
jle 0x40144
movq (%r12), %rsi
movsd (%rsi,%rdx,8), %xmm0
ucomisd 0x1dac1(%rip), %xmm0    # 0x5d830
jbe 0x3fdaf
movsd 0x2eeff(%rip), %xmm1    # 0x6ec78
ucomisd %xmm0, %xmm1
jbe 0x3fdaf
movq 0x1f0(%rbx), %rsi
movl %edx, %edi
shrl $0x6, %edi
movq (%rsi,%rdi,8), %rsi
btq %rdx, %rsi
jb 0x3fdaf
movq %r14, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x40c08
movq 0x1d0(%rsp), %rcx
movq 0x38(%rbx), %rax
incq %rcx
movq %rcx, 0x1d0(%rsp)
movslq 0x70(%rax), %rdx
cmpq %rdx, %rcx
jb 0x3fd28
movq 0xb8(%rsp), %rdx
movq 0x30(%rbx), %rcx
incq %rdx
movq %rdx, 0xb8(%rsp)
movslq 0x70(%rcx), %rsi
cmpq %rsi, %rdx
jb 0x3fd10
movq 0x40(%rsp), %r15
movq 0x48(%rsp), %r14
cmpq %r14, %r15
je 0x3fe79
movq %rbx, %r13
movq %r14, %rbx
subq %r15, %rbx
movq %rbx, %rax
sarq $0x4, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r15, %rdi
movq %r14, %rsi
movq %r13, %rcx
callq 0x4047f
cmpq $0x101, %rbx            # imm = 0x101
jl 0x3fe68
leaq 0x100(%r15), %r12
movq %r15, %rdi
movq %r12, %rsi
movq %r13, %rdx
callq 0x40921
cmpq %r14, %r12
movq %r13, %rbx
je 0x3fe79
movq %r12, %rdi
movq %rbx, %rsi
callq 0x409b2
addq $0x10, %r12
cmpq %r14, %r12
jne 0x3fe4b
jmp 0x3fe79
xorl %ebp, %ebp
jmp 0x40130
movq %r15, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x40921
movq %r13, %rbx
movabsq $-0x8000000000000000, %r12 # imm = 0x8000000000000000
xorl %r13d, %r13d
leaq 0x3f(%r12), %rbp
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %r13, %rdx
jbe 0x3ffbf
movb $0x1, %al
movq %r13, 0x10(%rsp)
shlq $0x4, %r13
xorl %r14d, %r14d
movq 0x30(%rbx), %rcx
movslq 0x70(%rcx), %rcx
cmpq %rcx, %r14
jae 0x3ff67
testb $0x1, %al
je 0x3ff53
leaq (%r14,%r14,2), %rbx
xorl %r15d, %r15d
movq (%rsp), %rsi
movq 0x38(%rsi), %rcx
movslq 0x70(%rcx), %rcx
cmpq %rcx, %r15
jae 0x3ff53
movq 0xe0(%rsi), %rcx
movq (%rcx,%rbx,8), %rcx
movslq (%rcx,%r15,4), %rcx
cmpq $-0x1, %rcx
je 0x3ff4c
leal 0x3f(%rcx), %edx
testl %ecx, %ecx
cmovnsl %ecx, %edx
sarl $0x6, %edx
movslq %edx, %rdx
shlq $0x3, %rdx
addq 0x1f0(%rsi), %rdx
movq %rcx, %rsi
andq %rbp, %rsi
xorl %edi, %edi
cmpq %r12, %rsi
setbe %dil
movq -0x8(%rdx,%rdi,8), %rdx
btq %rcx, %rdx
jae 0x3ff4c
movq 0x40(%rsp), %rax
movl (%rax,%r13), %esi
movl 0x8(%rax,%r13), %ecx
movq (%rsp), %rdi
movl %r14d, %edx
movl %r15d, %r8d
callq 0x3417c
incq %r15
testb $0x1, %al
jne 0x3fed6
incq %r14
testb $0x1, %al
movq (%rsp), %rbx
jne 0x3feb6
xorl %r14d, %r14d
jmp 0x3ff8b
movq 0x40(%rsp), %rax
movq 0xe0(%rbx), %rcx
movq (%rax,%r13), %rdx
movq 0x8(%rax,%r13), %rax
leaq (%rdx,%rdx,2), %rdx
movq (%rcx,%rdx,8), %rcx
movslq (%rcx,%rax,4), %r14
incq %r14
movq 0x10(%rsp), %r13
incq %r13
testq %r14, %r14
je 0x3fe8b
movq 0x48(%rsp), %rax
cmpq 0x40(%rsp), %rax
je 0x4000c
decq %r14
movq %rbx, %rdi
movq %r14, %rsi
movl $0x1, %edx
callq 0x4039a
movl %eax, %ebp
jmp 0x3ffe0
cmpq %rax, %rcx
je 0x4000c
movq 0xe0(%rbx), %rcx
movq (%rax), %rdx
movq 0x8(%rax), %rax
leaq (%rdx,%rdx,2), %rdx
movq (%rcx,%rdx,8), %rcx
movslq (%rcx,%rax,4), %r14
xorl %ebp, %ebp
movq %rbx, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x4039a
orb %al, %bpl
jne 0x400f9
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x40ad4
xorl %ebp, %ebp
jmp 0x4010b
movsd 0x1e8(%rbx), %xmm0
ucomisd 0x8(%rsp), %xmm0
jbe 0x400f9
cmpb $0x1, 0x46431(%rip)     # 0x86458
jne 0x4004f
subsd 0x8(%rsp), %xmm0
andpd 0x1c399(%rip), %xmm0    # 0x5c3d0
addsd 0x46411(%rip), %xmm0    # 0x86450
movsd %xmm0, 0x46409(%rip)    # 0x86450
incl 0x463fb(%rip)           # 0x86448
jmp 0x40056
movb $0x1, 0x46402(%rip)     # 0x86458
leaq 0x218(%rbx), %r15
movq %rbx, %rax
movq 0xc0(%rbx), %rbx
movq 0xc8(%rax), %r14
cmpq %r14, 0x220(%rax)
je 0x400a4
testq %r14, %r14
js 0x401b0
movl $0x1, %ecx
movq %r15, %rdi
movq %r14, %rsi
movq %r14, %rdx
callq 0xff4c
movq (%rsp), %rax
cmpq %r14, 0x220(%rax)
jne 0x40243
movq (%r15), %rax
movq %r14, %rcx
shrq $0x3f, %rcx
addq %r14, %rcx
andq $-0x2, %rcx
cmpq $0x2, %r14
jl 0x400d0
xorl %edx, %edx
movapd (%rbx,%rdx,8), %xmm0
movapd %xmm0, (%rax,%rdx,8)
addq $0x2, %rdx
cmpq %rcx, %rdx
jl 0x400bd
cmpq %r14, %rcx
jge 0x400e7
movsd (%rbx,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %r14
jne 0x400d5
movq (%rsp), %rax
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x1e8(%rax)
movb $0x1, %bpl
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x40ad4
movq (%rsp), %rax
movl 0x1c(%rsp), %ecx
movl %ecx, 0x108(%rax)
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x40130
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
movl %ebp, %eax
addq $0x218, %rsp            # imm = 0x218
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1d0fa(%rip), %rdi     # 0x5d245
leaq 0x1d110(%rip), %rsi     # 0x5d262
leaq 0x1d12c(%rip), %rcx     # 0x5d285
movl $0x1a9, %edx            # imm = 0x1A9
callq 0x9200
leaq 0x1c3f2(%rip), %rdi     # 0x5c55c
leaq 0x1c480(%rip), %rsi     # 0x5c5f1
leaq 0x1d274(%rip), %rcx     # 0x5d3ec
movl $0x4a, %edx
callq 0x9200
movl $0x8, %edi
callq 0x9180
movq 0x45e1d(%rip), %rcx     # 0x85fb0
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x45e27(%rip), %rsi     # 0x85fc8
movq 0x45de8(%rip), %rdx     # 0x85f90
movq %rax, %rdi
callq 0x9640
leaq 0x1ccc1(%rip), %rdi     # 0x5ce78
leaq 0x1cb19(%rip), %rsi     # 0x5ccd7
leaq 0x1ce42(%rip), %rcx     # 0x5d007
movl $0x11d, %edx            # imm = 0x11D
callq 0x9200
leaq 0x1cb96(%rip), %rdi     # 0x5cd6c
leaq 0x1cc49(%rip), %rsi     # 0x5ce26
leaq 0x1cc61(%rip), %rcx     # 0x5ce45
movl $0xa1, %edx
callq 0x9200
leaq 0x1ce8b(%rip), %rdi     # 0x5d080
leaq 0x1c33d(%rip), %rsi     # 0x5c539
leaq 0x1d2e0(%rip), %rcx     # 0x5d4e3
jmp 0x40239
leaq 0x1c99b(%rip), %rdi     # 0x5cba7
leaq 0x1c711(%rip), %rsi     # 0x5c924
leaq 0x1d544(%rip), %rcx     # 0x5d75e
movl $0xa3, %edx
callq 0x9200
leaq 0x1ce55(%rip), %rdi     # 0x5d080
leaq 0x1c307(%rip), %rsi     # 0x5c539
leaq 0x2e724(%rip), %rcx     # 0x6e95d
movl $0x2d1, %edx            # imm = 0x2D1
callq 0x9200
leaq 0x1ce36(%rip), %rdi     # 0x5d080
leaq 0x1c2e8(%rip), %rsi     # 0x5c539
leaq 0x1d0b4(%rip), %rcx     # 0x5d30c
jmp 0x40239
jmp 0x40378
jmp 0x40378
jmp 0x40378
jmp 0x4030f
jmp 0x40293
jmp 0x4030f
movq %rax, %rbx
movq 0x120(%rsp), %rdi
cmpq %r14, %rdi
je 0x40312
movq 0x130(%rsp), %rsi
jmp 0x402fa
movq %rax, %rbx
jmp 0x4035c
jmp 0x402c0
movq %rax, %rbx
leaq 0x1f8(%rsp), %rdi
callq 0x37fb2
jmp 0x40392
jmp 0x4030f
jmp 0x4030f
jmp 0x4030f
movq %rax, %rbx
jmp 0x4034f
movq %rax, %rbx
jmp 0x40369
movq %rax, %rbx
movq 0x140(%rsp), %rdi
cmpq %r14, %rdi
je 0x40312
movq 0x150(%rsp), %rsi
jmp 0x402fa
movq %rax, %rbx
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0x40312
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x9350
jmp 0x40312
jmp 0x40306
movq %rax, %rbx
jmp 0x40326
jmp 0x40378
jmp 0x4030f
movq %rax, %rbx
movq 0x78(%rsp), %rdi
callq 0x93d0
movq 0x68(%rsp), %rdi
callq 0x93d0
leaq 0x44473(%rip), %rax     # 0x847a0
movq %rax, 0xb8(%rsp)
movq 0x108(%rsp), %rdi
callq 0x93d0
movq 0xf8(%rsp), %rdi
callq 0x93d0
movq 0x1c0(%rsp), %rdi
callq 0x93d0
movq 0xa8(%rsp), %rdi
callq 0x93d0
leaq 0x1d0(%rsp), %rdi
callq 0x35fc8
jmp 0x40392
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x40392
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x9350
movq %rbx, %rdi
callq 0x9680