// File: j-faria[P]kima/src/RVmodel.cpp
// Function: RVmodel::description[abi:cxx11]() const
string RVmodel::description() const
{
    string desc;
    string sep = "   ";

    if (multi_instrument)
    {
        for(int j=0; j<jitters.size(); j++)
           desc += "jitter" + std::to_string(j+1) + sep;
    }
    else
        desc += "extra_sigma   ";

    if(trend)
    {
        if (degree >= 1) desc += "slope" + sep;
        if (degree >= 2) desc += "quadr" + sep;
        if (degree == 3) desc += "cubic" + sep;
    }


    if (multi_instrument){
        for(unsigned j=0; j<offsets.size(); j++)
            desc += "offset" + std::to_string(j+1) + sep;
    }

    auto data = Data::get_instance();
    if(data.indicator_correlations){
        for(int j=0; j<data.number_indicators; j++){
            desc += "beta" + std::to_string(j+1) + sep;
        }
    }


    if(GP)
    {
        if(kernel == standard)
            desc += "eta1" + sep + "eta2" + sep + "eta3" + sep + "eta4" + sep;
        else
            desc += "eta1" + sep + "eta2" + sep + "eta3" + sep;
    }
    
    if(MA)
        desc += "sigmaMA" + sep + "tauMA";

    if(known_object) { // KO mode!
        for(int i=0; i<n_known_object; i++) 
            desc += "KO_P" + std::to_string(i) + sep;
        for(int i=0; i<n_known_object; i++) 
            desc += "KO_K" + std::to_string(i) + sep;
        for(int i=0; i<n_known_object; i++) 
            desc += "KO_phi" + std::to_string(i) + sep;
        for(int i=0; i<n_known_object; i++) 
            desc += "KO_ecc" + std::to_string(i) + sep;
        for(int i=0; i<n_known_object; i++) 
            desc += "KO_w" + std::to_string(i) + sep;
    }

    desc += "ndim" + sep + "maxNp" + sep;
    if(hyperpriors)
        desc += "muP" + sep + "wP" + sep + "muK";

    desc += "Np" + sep;

    int maxpl = planets.get_max_num_components();
    if (maxpl > 0) {
        for(int i = 0; i < maxpl; i++) desc += "P" + std::to_string(i) + sep;
        for(int i = 0; i < maxpl; i++) desc += "K" + std::to_string(i) + sep;
        for(int i = 0; i < maxpl; i++) desc += "phi" + std::to_string(i) + sep;
        for(int i = 0; i < maxpl; i++) desc += "ecc" + std::to_string(i) + sep;
        for(int i = 0; i < maxpl; i++) desc += "w" + std::to_string(i) + sep;
    }

    desc += "staleness" + sep;
    if (studentt)
        desc += "nu" + sep;
    
    desc += "vsys";

    return desc;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa40, %rsp            # imm = 0xA40
movq %rdi, -0xa18(%rbp)
movq %rdi, %rax
movq %rax, -0xa10(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xa08(%rbp)
movb $0x0, -0x11(%rbp)
callq 0x66b0
leaq -0x39(%rbp), %rdi
movq %rdi, -0xa00(%rbp)
callq 0x6850
movq -0xa00(%rbp), %rdx
leaq 0x92ace(%rip), %rsi     # 0xb7604
leaq -0x38(%rbp), %rdi
callq 0x2b2b0
jmp 0x24b41
leaq -0x39(%rbp), %rdi
callq 0x6550
leaq 0xa0e57(%rip), %rax     # 0xc59a8
testb $0x1, (%rax)
je 0x24c93
movl $0x0, -0x50(%rbp)
movq -0xa08(%rbp), %rdi
movslq -0x50(%rbp), %rax
movq %rax, -0xa20(%rbp)
addq $0x140, %rdi            # imm = 0x140
callq 0x7c90
movq %rax, %rcx
movq -0xa20(%rbp), %rax
cmpq %rcx, %rax
jae 0x24c91
movl -0x50(%rbp), %esi
incl %esi
leaq -0xb0(%rbp), %rdi
callq 0x2b400
jmp 0x24ba5
leaq 0x92ee6(%rip), %rsi     # 0xb7a92
leaq -0x90(%rbp), %rdi
leaq -0xb0(%rbp), %rdx
callq 0x2b3b0
jmp 0x24bc1
leaq -0x70(%rbp), %rdi
leaq -0x90(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x24bd7
movq -0xa18(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x6620
jmp 0x24be9
leaq -0x70(%rbp), %rdi
callq 0x6948
leaq -0x90(%rbp), %rdi
callq 0x6948
leaq -0xb0(%rbp), %rdi
callq 0x6948
movl -0x50(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x50(%rbp)
jmp 0x24b61
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x39(%rbp), %rdi
callq 0x6550
jmp 0x2626e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x26247
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x24c80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x24c74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x6948
leaq -0x90(%rbp), %rdi
callq 0x6948
leaq -0xb0(%rbp), %rdi
callq 0x6948
jmp 0x26247
jmp 0x24caa
movq -0xa18(%rbp), %rdi
leaq 0x92df8(%rip), %rsi     # 0xb7a99
callq 0x64e0
jmp 0x24ca8
jmp 0x24caa
leaq 0xa0cf2(%rip), %rax     # 0xc59a3
testb $0x1, (%rax)
je 0x24deb
leaq 0xa0ce3(%rip), %rax     # 0xc59a4
cmpl $0x1, (%rax)
jl 0x24d1f
leaq 0x92ddb(%rip), %rsi     # 0xb7aa8
leaq -0xd0(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x24cdf
movq -0xa18(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x6620
jmp 0x24cf4
leaq -0xd0(%rbp), %rdi
callq 0x6948
jmp 0x24d1f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x6948
jmp 0x26247
leaq 0xa0c7e(%rip), %rax     # 0xc59a4
cmpl $0x2, (%rax)
jl 0x24d84
leaq 0x92d7c(%rip), %rsi     # 0xb7aae
leaq -0xf0(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x24d44
movq -0xa18(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x6620
jmp 0x24d59
leaq -0xf0(%rbp), %rdi
callq 0x6948
jmp 0x24d84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0x6948
jmp 0x26247
leaq 0xa0c19(%rip), %rax     # 0xc59a4
cmpl $0x3, (%rax)
jne 0x24de9
leaq 0x92d1d(%rip), %rsi     # 0xb7ab4
leaq -0x110(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x24da9
movq -0xa18(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x6620
jmp 0x24dbe
leaq -0x110(%rbp), %rdi
callq 0x6948
jmp 0x24de9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x6948
jmp 0x26247
jmp 0x24deb
leaq 0xa0bb6(%rip), %rax     # 0xc59a8
testb $0x1, (%rax)
je 0x24f23
movl $0x0, -0x114(%rbp)
movq -0xa08(%rbp), %rdi
movl -0x114(%rbp), %eax
movq %rax, -0xa28(%rbp)
addq $0x128, %rdi            # imm = 0x128
callq 0x7c90
movq %rax, %rcx
movq -0xa28(%rbp), %rax
cmpq %rcx, %rax
jae 0x24f21
movl -0x114(%rbp), %esi
incl %esi
leaq -0x178(%rbp), %rdi
callq 0x2b630
jmp 0x24e4e
leaq 0x92c65(%rip), %rsi     # 0xb7aba
leaq -0x158(%rbp), %rdi
leaq -0x178(%rbp), %rdx
callq 0x2b3b0
jmp 0x24e6a
leaq -0x138(%rbp), %rdi
leaq -0x158(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x24e83
movq -0xa18(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x6620
jmp 0x24e98
leaq -0x138(%rbp), %rdi
callq 0x6948
leaq -0x158(%rbp), %rdi
callq 0x6948
leaq -0x178(%rbp), %rdi
callq 0x6948
movl -0x114(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x114(%rbp)
jmp 0x24e05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x24f10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x24f04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x138(%rbp), %rdi
callq 0x6948
leaq -0x158(%rbp), %rdi
callq 0x6948
leaq -0x178(%rbp), %rdi
callq 0x6948
jmp 0x26247
jmp 0x24f23
callq 0xab10
movq %rax, -0xa30(%rbp)
jmp 0x24f31
movq -0xa30(%rbp), %rsi
leaq -0x280(%rbp), %rdi
callq 0x269d0
jmp 0x24f46
testb $0x1, -0x208(%rbp)
je 0x2506b
movl $0x0, -0x284(%rbp)
movl -0x284(%rbp), %eax
cmpl -0x204(%rbp), %eax
jge 0x25069
movl -0x284(%rbp), %esi
incl %esi
leaq -0x2e8(%rbp), %rdi
callq 0x2b400
jmp 0x24f85
leaq 0x92b35(%rip), %rsi     # 0xb7ac1
leaq -0x2c8(%rbp), %rdi
leaq -0x2e8(%rbp), %rdx
callq 0x2b3b0
jmp 0x24fa1
leaq -0x2a8(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x24fba
movq -0xa18(%rbp), %rdi
leaq -0x2a8(%rbp), %rsi
callq 0x6620
jmp 0x24fcf
leaq -0x2a8(%rbp), %rdi
callq 0x6948
leaq -0x2c8(%rbp), %rdi
callq 0x6948
leaq -0x2e8(%rbp), %rdi
callq 0x6948
movl -0x284(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x284(%rbp)
jmp 0x24f5d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2623b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25058
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2504c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x2a8(%rbp), %rdi
callq 0x6948
leaq -0x2c8(%rbp), %rdi
callq 0x6948
leaq -0x2e8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
jmp 0x2506b
leaq 0xa092e(%rip), %rax     # 0xc59a0
testb $0x1, (%rax)
je 0x253d4
movq -0xa08(%rbp), %rax
cmpl $0x0, 0x1a8(%rax)
jne 0x25274
leaq 0x92a30(%rip), %rsi     # 0xb7ac6
leaq -0x3c8(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x250a8
leaq 0x92a1c(%rip), %rdx     # 0xb7acb
leaq -0x3a8(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x2b710
jmp 0x250c4
leaq -0x388(%rbp), %rdi
leaq -0x3a8(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x250dd
leaq 0x929ec(%rip), %rdx     # 0xb7ad0
leaq -0x368(%rbp), %rdi
leaq -0x388(%rbp), %rsi
callq 0x2b710
jmp 0x250f9
leaq -0x348(%rbp), %rdi
leaq -0x368(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25112
leaq 0x929bc(%rip), %rdx     # 0xb7ad5
leaq -0x328(%rbp), %rdi
leaq -0x348(%rbp), %rsi
callq 0x2b710
jmp 0x2512e
leaq -0x308(%rbp), %rdi
leaq -0x328(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25147
movq -0xa18(%rbp), %rdi
leaq -0x308(%rbp), %rsi
callq 0x6620
jmp 0x2515c
leaq -0x308(%rbp), %rdi
callq 0x6948
leaq -0x328(%rbp), %rdi
callq 0x6948
leaq -0x348(%rbp), %rdi
callq 0x6948
leaq -0x368(%rbp), %rdi
callq 0x6948
leaq -0x388(%rbp), %rdi
callq 0x6948
leaq -0x3a8(%rbp), %rdi
callq 0x6948
leaq -0x3c8(%rbp), %rdi
callq 0x6948
jmp 0x253d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25263
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25257
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2524b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2523f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25233
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25227
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x308(%rbp), %rdi
callq 0x6948
leaq -0x328(%rbp), %rdi
callq 0x6948
leaq -0x348(%rbp), %rdi
callq 0x6948
leaq -0x368(%rbp), %rdi
callq 0x6948
leaq -0x388(%rbp), %rdi
callq 0x6948
leaq -0x3a8(%rbp), %rdi
callq 0x6948
leaq -0x3c8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
leaq 0x9284b(%rip), %rsi     # 0xb7ac6
leaq -0x468(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x2528d
leaq 0x92837(%rip), %rdx     # 0xb7acb
leaq -0x448(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0x2b710
jmp 0x252a9
leaq -0x428(%rbp), %rdi
leaq -0x448(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x252c2
leaq 0x92807(%rip), %rdx     # 0xb7ad0
leaq -0x408(%rbp), %rdi
leaq -0x428(%rbp), %rsi
callq 0x2b710
jmp 0x252de
leaq -0x3e8(%rbp), %rdi
leaq -0x408(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x252f7
movq -0xa18(%rbp), %rdi
leaq -0x3e8(%rbp), %rsi
callq 0x6620
jmp 0x2530c
leaq -0x3e8(%rbp), %rdi
callq 0x6948
leaq -0x408(%rbp), %rdi
callq 0x6948
leaq -0x428(%rbp), %rdi
callq 0x6948
leaq -0x448(%rbp), %rdi
callq 0x6948
leaq -0x468(%rbp), %rdi
callq 0x6948
jmp 0x253d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x253c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x253b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x253a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2539d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x3e8(%rbp), %rdi
callq 0x6948
leaq -0x408(%rbp), %rdi
callq 0x6948
leaq -0x428(%rbp), %rdi
callq 0x6948
leaq -0x448(%rbp), %rdi
callq 0x6948
leaq -0x468(%rbp), %rdi
callq 0x6948
jmp 0x2623b
jmp 0x253d4
leaq 0xa05c6(%rip), %rax     # 0xc59a1
testb $0x1, (%rax)
je 0x2547f
leaq 0x926ef(%rip), %rsi     # 0xb7ada
leaq -0x4a8(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x253fd
leaq 0x926de(%rip), %rdx     # 0xb7ae2
leaq -0x488(%rbp), %rdi
leaq -0x4a8(%rbp), %rsi
callq 0x2b710
jmp 0x25419
movq -0xa18(%rbp), %rdi
leaq -0x488(%rbp), %rsi
callq 0x6620
jmp 0x2542e
leaq -0x488(%rbp), %rdi
callq 0x6948
leaq -0x4a8(%rbp), %rdi
callq 0x6948
jmp 0x2547f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2546e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x488(%rbp), %rdi
callq 0x6948
leaq -0x4a8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
leaq 0xa0523(%rip), %rax     # 0xc59a9
testb $0x1, (%rax)
je 0x259af
movl $0x0, -0x4ac(%rbp)
movl -0x4ac(%rbp), %eax
leaq 0xa0506(%rip), %rcx     # 0xc59ac
cmpl (%rcx), %eax
jge 0x25595
movl -0x4ac(%rbp), %esi
leaq -0x510(%rbp), %rdi
callq 0x2b400
jmp 0x254c2
leaq 0x9261f(%rip), %rsi     # 0xb7ae8
leaq -0x4f0(%rbp), %rdi
leaq -0x510(%rbp), %rdx
callq 0x2b3b0
jmp 0x254de
leaq -0x4d0(%rbp), %rdi
leaq -0x4f0(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x254f7
movq -0xa18(%rbp), %rdi
leaq -0x4d0(%rbp), %rsi
callq 0x6620
jmp 0x2550c
leaq -0x4d0(%rbp), %rdi
callq 0x6948
leaq -0x4f0(%rbp), %rdi
callq 0x6948
leaq -0x510(%rbp), %rdi
callq 0x6948
movl -0x4ac(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4ac(%rbp)
jmp 0x25499
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25584
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25578
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x4d0(%rbp), %rdi
callq 0x6948
leaq -0x4f0(%rbp), %rdi
callq 0x6948
leaq -0x510(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x514(%rbp)
movl -0x514(%rbp), %eax
leaq 0xa0400(%rip), %rcx     # 0xc59ac
cmpl (%rcx), %eax
jge 0x2569b
movl -0x514(%rbp), %esi
leaq -0x578(%rbp), %rdi
callq 0x2b400
jmp 0x255c8
leaq 0x9251e(%rip), %rsi     # 0xb7aed
leaq -0x558(%rbp), %rdi
leaq -0x578(%rbp), %rdx
callq 0x2b3b0
jmp 0x255e4
leaq -0x538(%rbp), %rdi
leaq -0x558(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x255fd
movq -0xa18(%rbp), %rdi
leaq -0x538(%rbp), %rsi
callq 0x6620
jmp 0x25612
leaq -0x538(%rbp), %rdi
callq 0x6948
leaq -0x558(%rbp), %rdi
callq 0x6948
leaq -0x578(%rbp), %rdi
callq 0x6948
movl -0x514(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x514(%rbp)
jmp 0x2559f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2568a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2567e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x538(%rbp), %rdi
callq 0x6948
leaq -0x558(%rbp), %rdi
callq 0x6948
leaq -0x578(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x57c(%rbp)
movl -0x57c(%rbp), %eax
leaq 0xa02fa(%rip), %rcx     # 0xc59ac
cmpl (%rcx), %eax
jge 0x257a1
movl -0x57c(%rbp), %esi
leaq -0x5e0(%rbp), %rdi
callq 0x2b400
jmp 0x256ce
leaq 0x9241d(%rip), %rsi     # 0xb7af2
leaq -0x5c0(%rbp), %rdi
leaq -0x5e0(%rbp), %rdx
callq 0x2b3b0
jmp 0x256ea
leaq -0x5a0(%rbp), %rdi
leaq -0x5c0(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25703
movq -0xa18(%rbp), %rdi
leaq -0x5a0(%rbp), %rsi
callq 0x6620
jmp 0x25718
leaq -0x5a0(%rbp), %rdi
callq 0x6948
leaq -0x5c0(%rbp), %rdi
callq 0x6948
leaq -0x5e0(%rbp), %rdi
callq 0x6948
movl -0x57c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x57c(%rbp)
jmp 0x256a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25790
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25784
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x5a0(%rbp), %rdi
callq 0x6948
leaq -0x5c0(%rbp), %rdi
callq 0x6948
leaq -0x5e0(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x5e4(%rbp)
movl -0x5e4(%rbp), %eax
leaq 0xa01f4(%rip), %rcx     # 0xc59ac
cmpl (%rcx), %eax
jge 0x258a7
movl -0x5e4(%rbp), %esi
leaq -0x648(%rbp), %rdi
callq 0x2b400
jmp 0x257d4
leaq 0x9231e(%rip), %rsi     # 0xb7af9
leaq -0x628(%rbp), %rdi
leaq -0x648(%rbp), %rdx
callq 0x2b3b0
jmp 0x257f0
leaq -0x608(%rbp), %rdi
leaq -0x628(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25809
movq -0xa18(%rbp), %rdi
leaq -0x608(%rbp), %rsi
callq 0x6620
jmp 0x2581e
leaq -0x608(%rbp), %rdi
callq 0x6948
leaq -0x628(%rbp), %rdi
callq 0x6948
leaq -0x648(%rbp), %rdi
callq 0x6948
movl -0x5e4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x5e4(%rbp)
jmp 0x257ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25896
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2588a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x608(%rbp), %rdi
callq 0x6948
leaq -0x628(%rbp), %rdi
callq 0x6948
leaq -0x648(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x64c(%rbp)
movl -0x64c(%rbp), %eax
leaq 0xa00ee(%rip), %rcx     # 0xc59ac
cmpl (%rcx), %eax
jge 0x259ad
movl -0x64c(%rbp), %esi
leaq -0x6b0(%rbp), %rdi
callq 0x2b400
jmp 0x258da
leaq 0x9221f(%rip), %rsi     # 0xb7b00
leaq -0x690(%rbp), %rdi
leaq -0x6b0(%rbp), %rdx
callq 0x2b3b0
jmp 0x258f6
leaq -0x670(%rbp), %rdi
leaq -0x690(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x2590f
movq -0xa18(%rbp), %rdi
leaq -0x670(%rbp), %rsi
callq 0x6620
jmp 0x25924
leaq -0x670(%rbp), %rdi
callq 0x6948
leaq -0x690(%rbp), %rdi
callq 0x6948
leaq -0x6b0(%rbp), %rdi
callq 0x6948
movl -0x64c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x64c(%rbp)
jmp 0x258b1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2599c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25990
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x670(%rbp), %rdi
callq 0x6948
leaq -0x690(%rbp), %rdi
callq 0x6948
leaq -0x6b0(%rbp), %rdi
callq 0x6948
jmp 0x2623b
jmp 0x259af
leaq 0x9214f(%rip), %rsi     # 0xb7b05
leaq -0x710(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x259c8
leaq 0x9213b(%rip), %rdx     # 0xb7b0a
leaq -0x6f0(%rbp), %rdi
leaq -0x710(%rbp), %rsi
callq 0x2b710
jmp 0x259e4
leaq -0x6d0(%rbp), %rdi
leaq -0x6f0(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x259fd
movq -0xa18(%rbp), %rdi
leaq -0x6d0(%rbp), %rsi
callq 0x6620
jmp 0x25a12
leaq -0x6d0(%rbp), %rdi
callq 0x6948
leaq -0x6f0(%rbp), %rdi
callq 0x6948
leaq -0x710(%rbp), %rdi
callq 0x6948
leaq 0x9ff65(%rip), %rax     # 0xc59a2
testb $0x1, (%rax)
je 0x25bb6
leaq 0x920c3(%rip), %rsi     # 0xb7b10
leaq -0x790(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x25a5f
leaq 0x920ae(%rip), %rdx     # 0xb7b14
leaq -0x770(%rbp), %rdi
leaq -0x790(%rbp), %rsi
callq 0x2b710
jmp 0x25a7b
leaq -0x750(%rbp), %rdi
leaq -0x770(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25a94
leaq 0x9207c(%rip), %rdx     # 0xb7b17
leaq -0x730(%rbp), %rdi
leaq -0x750(%rbp), %rsi
callq 0x2b710
jmp 0x25ab0
movq -0xa18(%rbp), %rdi
leaq -0x730(%rbp), %rsi
callq 0x6620
jmp 0x25ac5
leaq -0x730(%rbp), %rdi
callq 0x6948
leaq -0x750(%rbp), %rdi
callq 0x6948
leaq -0x770(%rbp), %rdi
callq 0x6948
leaq -0x790(%rbp), %rdi
callq 0x6948
jmp 0x25bb6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25b3a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25b2e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x6d0(%rbp), %rdi
callq 0x6948
leaq -0x6f0(%rbp), %rdi
callq 0x6948
leaq -0x710(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25ba5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25b99
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25b8d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x730(%rbp), %rdi
callq 0x6948
leaq -0x750(%rbp), %rdi
callq 0x6948
leaq -0x770(%rbp), %rdi
callq 0x6948
leaq -0x790(%rbp), %rdi
callq 0x6948
jmp 0x2623b
leaq 0x91f50(%rip), %rsi     # 0xb7b0d
leaq -0x7b0(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x25bcf
movq -0xa18(%rbp), %rdi
leaq -0x7b0(%rbp), %rsi
callq 0x6620
jmp 0x25be4
leaq -0x7b0(%rbp), %rdi
callq 0x6948
movq -0xa08(%rbp), %rdi
addq $0x8, %rdi
callq 0x2b760
movl %eax, -0xa34(%rbp)
jmp 0x25c08
movl -0xa34(%rbp), %eax
movl %eax, -0x7b4(%rbp)
cmpl $0x0, -0x7b4(%rbp)
jle 0x2614f
movl $0x0, -0x7b8(%rbp)
movl -0x7b8(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jge 0x25d41
movl -0x7b8(%rbp), %esi
leaq -0x818(%rbp), %rdi
callq 0x2b400
jmp 0x25c51
leaq 0x91e93(%rip), %rsi     # 0xb7aeb
leaq -0x7f8(%rbp), %rdi
leaq -0x818(%rbp), %rdx
callq 0x2b3b0
jmp 0x25c6d
leaq -0x7d8(%rbp), %rdi
leaq -0x7f8(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25c86
movq -0xa18(%rbp), %rdi
leaq -0x7d8(%rbp), %rsi
callq 0x6620
jmp 0x25c9b
leaq -0x7d8(%rbp), %rdi
callq 0x6948
leaq -0x7f8(%rbp), %rdi
callq 0x6948
leaq -0x818(%rbp), %rdi
callq 0x6948
movl -0x7b8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7b8(%rbp)
jmp 0x25c2b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x7b0(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25d30
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25d24
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x7d8(%rbp), %rdi
callq 0x6948
leaq -0x7f8(%rbp), %rdi
callq 0x6948
leaq -0x818(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x81c(%rbp)
movl -0x81c(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jge 0x25e44
movl -0x81c(%rbp), %esi
leaq -0x880(%rbp), %rdi
callq 0x2b400
jmp 0x25d71
leaq 0x91d78(%rip), %rsi     # 0xb7af0
leaq -0x860(%rbp), %rdi
leaq -0x880(%rbp), %rdx
callq 0x2b3b0
jmp 0x25d8d
leaq -0x840(%rbp), %rdi
leaq -0x860(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25da6
movq -0xa18(%rbp), %rdi
leaq -0x840(%rbp), %rsi
callq 0x6620
jmp 0x25dbb
leaq -0x840(%rbp), %rdi
callq 0x6948
leaq -0x860(%rbp), %rdi
callq 0x6948
leaq -0x880(%rbp), %rdi
callq 0x6948
movl -0x81c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x81c(%rbp)
jmp 0x25d4b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25e33
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25e27
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x6948
leaq -0x860(%rbp), %rdi
callq 0x6948
leaq -0x880(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x884(%rbp)
movl -0x884(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jge 0x25f47
movl -0x884(%rbp), %esi
leaq -0x8e8(%rbp), %rdi
callq 0x2b400
jmp 0x25e74
leaq 0x91c7a(%rip), %rsi     # 0xb7af5
leaq -0x8c8(%rbp), %rdi
leaq -0x8e8(%rbp), %rdx
callq 0x2b3b0
jmp 0x25e90
leaq -0x8a8(%rbp), %rdi
leaq -0x8c8(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25ea9
movq -0xa18(%rbp), %rdi
leaq -0x8a8(%rbp), %rsi
callq 0x6620
jmp 0x25ebe
leaq -0x8a8(%rbp), %rdi
callq 0x6948
leaq -0x8c8(%rbp), %rdi
callq 0x6948
leaq -0x8e8(%rbp), %rdi
callq 0x6948
movl -0x884(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x884(%rbp)
jmp 0x25e4e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25f36
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x25f2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x8a8(%rbp), %rdi
callq 0x6948
leaq -0x8c8(%rbp), %rdi
callq 0x6948
leaq -0x8e8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x8ec(%rbp)
movl -0x8ec(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jge 0x2604a
movl -0x8ec(%rbp), %esi
leaq -0x950(%rbp), %rdi
callq 0x2b400
jmp 0x25f77
leaq 0x91b7e(%rip), %rsi     # 0xb7afc
leaq -0x930(%rbp), %rdi
leaq -0x950(%rbp), %rdx
callq 0x2b3b0
jmp 0x25f93
leaq -0x910(%rbp), %rdi
leaq -0x930(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x25fac
movq -0xa18(%rbp), %rdi
leaq -0x910(%rbp), %rsi
callq 0x6620
jmp 0x25fc1
leaq -0x910(%rbp), %rdi
callq 0x6948
leaq -0x930(%rbp), %rdi
callq 0x6948
leaq -0x950(%rbp), %rdi
callq 0x6948
movl -0x8ec(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x8ec(%rbp)
jmp 0x25f51
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x26039
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2602d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x910(%rbp), %rdi
callq 0x6948
leaq -0x930(%rbp), %rdi
callq 0x6948
leaq -0x950(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movl $0x0, -0x954(%rbp)
movl -0x954(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jge 0x2614d
movl -0x954(%rbp), %esi
leaq -0x9b8(%rbp), %rdi
callq 0x2b400
jmp 0x2607a
leaq 0x91a82(%rip), %rsi     # 0xb7b03
leaq -0x998(%rbp), %rdi
leaq -0x9b8(%rbp), %rdx
callq 0x2b3b0
jmp 0x26096
leaq -0x978(%rbp), %rdi
leaq -0x998(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x2b360
jmp 0x260af
movq -0xa18(%rbp), %rdi
leaq -0x978(%rbp), %rsi
callq 0x6620
jmp 0x260c4
leaq -0x978(%rbp), %rdi
callq 0x6948
leaq -0x998(%rbp), %rdi
callq 0x6948
leaq -0x9b8(%rbp), %rdi
callq 0x6948
movl -0x954(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x954(%rbp)
jmp 0x26054
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2613c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x26130
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x978(%rbp), %rdi
callq 0x6948
leaq -0x998(%rbp), %rdi
callq 0x6948
leaq -0x9b8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
jmp 0x2614f
leaq 0x919c5(%rip), %rsi     # 0xb7b1b
leaq -0x9d8(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x26168
movq -0xa18(%rbp), %rdi
leaq -0x9d8(%rbp), %rsi
callq 0x6620
jmp 0x2617d
leaq -0x9d8(%rbp), %rdi
callq 0x6948
leaq 0x9f820(%rip), %rax     # 0xc59b0
testb $0x1, (%rax)
je 0x26205
leaq 0x91989(%rip), %rsi     # 0xb7b25
leaq -0x9f8(%rbp), %rdi
leaq -0x38(%rbp), %rdx
callq 0x2b520
jmp 0x261ae
movq -0xa18(%rbp), %rdi
leaq -0x9f8(%rbp), %rsi
callq 0x6620
jmp 0x261c3
leaq -0x9f8(%rbp), %rdi
callq 0x6948
jmp 0x26205
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x9d8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x9f8(%rbp), %rdi
callq 0x6948
jmp 0x2623b
movq -0xa18(%rbp), %rdi
leaq 0x91915(%rip), %rsi     # 0xb7b28
callq 0x64e0
jmp 0x2621a
movb $0x1, -0x11(%rbp)
leaq -0x280(%rbp), %rdi
callq 0x155c0
leaq -0x38(%rbp), %rdi
callq 0x6948
testb $0x1, -0x11(%rbp)
jne 0x2625e
jmp 0x26252
leaq -0x280(%rbp), %rdi
callq 0x155c0
leaq -0x38(%rbp), %rdi
callq 0x6948
jmp 0x2626e
movq -0xa18(%rbp), %rdi
callq 0x6948
movq -0xa10(%rbp), %rax
addq $0xa40, %rsp            # imm = 0xA40
popq %rbp
retq
movq -0xa18(%rbp), %rdi
callq 0x6948
movq -0x48(%rbp), %rdi
callq 0x6830
nopw %cs:(%rax,%rax)