LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/devaigergely81[P]flex-bison-example/code_generator_implementation.cc
// Function: write_instruction::get_code[abi:cxx11]()
std::string write_instruction::get_code() {
    std::stringstream ss;
    ss << exp->get_code();
    if(exp_type == boolean) {
        ss << "and eax,1" << std::endl;
    }
    ss << "push eax" << std::endl;
    ss << "call write_" << get_type_name(exp_type) << std::endl;
    ss << "add esp,4" << std::endl;
    return ss.str();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1b0, %rsp            # imm = 0x1B0
movq %rsi, %r15
movq %rdi, %rbx
leaq -0x1c8(%rbp), %rdi
callq 0x3190
movq 0x10(%r15), %rsi
movq (%rsi), %rax
leaq -0x40(%rbp), %rdi
callq *0x18(%rax)
leaq -0x1b8(%rbp), %r14
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %rdx
movq %r14, %rdi
callq 0x3270
leaq -0x30(%rbp), %r12
movq -0x10(%r12), %rdi
cmpq %r12, %rdi
je 0xa4ef
movq -0x30(%rbp), %rsi
incq %rsi
callq 0x3240
cmpl $0x0, 0x18(%r15)
jne 0xa535
leaq 0x2d08(%rip), %rsi      # 0xd205
movl $0x9, %edx
movq %r14, %rdi
callq 0x3270
movq -0x1b8(%rbp), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3210
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
leaq 0x2c8f(%rip), %rsi      # 0xd1cb
movl $0x8, %edx
movq %r14, %rdi
callq 0x3270
movq -0x1b8(%rbp), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3210
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
leaq 0x2c94(%rip), %rsi      # 0xd20f
movl $0xb, %edx
movq %r14, %rdi
callq 0x3270
movl 0x18(%r15), %esi
leaq -0x40(%rbp), %rdi
callq 0xa24d
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %rdx
movq %r14, %rdi
callq 0x3270
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x3210
movsbl %al, %esi
movq %r15, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0xa5e4
movq -0x30(%rbp), %rsi
incq %rsi
callq 0x3240
leaq 0x2c30(%rip), %rsi      # 0xd21b
movl $0x9, %edx
movq %r14, %rdi
callq 0x3270
movq -0x1b8(%rbp), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3210
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3170
leaq -0x1b0(%rbp), %rsi
movq %rbx, %rdi
callq 0x3320
movq 0x796f(%rip), %rsi      # 0x11fa8
leaq -0x1c8(%rbp), %rdi
callq 0x31b0
leaq -0x148(%rbp), %rdi
callq 0x30d0
movq %rbx, %rax
addq $0x1b0, %rsp            # imm = 0x1B0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0xa694
movq %rax, %rbx
leaq -0x30(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
jne 0xa686
jmp 0xa697
jmp 0xa694
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r12, %rdi
je 0xa697
movq -0x30(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0xa697
movq %rax, %rbx
movq 0x790a(%rip), %rsi      # 0x11fa8
leaq -0x1c8(%rbp), %rdi
callq 0x31b0
leaq -0x148(%rbp), %rdi
callq 0x30d0
movq %rbx, %rdi
callq 0x3380
// File: /workspace/github_cpp_makefile_star2_O3/devaigergely81[P]flex-bison-example/code_generator_implementation.cc
// Function: generate_code_of_commands(std::ostream&, std::__cxx11::list<instruction*, std::allocator<instruction*>>*)
void generate_code_of_commands(std::ostream& out, std::list<instruction*>* commands) {
    if(!commands) {
        return;
    }

    std::list<instruction*>::iterator it;
    for(it = commands->begin(); it != commands->end(); ++it) {
        out << (*it)->get_code();
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
testq %rsi, %rsi
je 0xaa22
movq %rsi, %rbx
movq (%rsi), %r13
cmpq %rsi, %r13
je 0xaa22
movq %rdi, %r14
leaq -0x38(%rbp), %r12
leaq -0x48(%rbp), %r15
movq 0x10(%r13), %rsi
movq (%rsi), %rax
movq %r15, %rdi
callq *0x18(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %r14, %rdi
callq 0x3270
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0xaa19
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
movq (%r13), %r13
cmpq %rbx, %r13
jne 0xa9e7
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0xaa49
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
movq %rbx, %rdi
callq 0x3380
nop
// File: /workspace/github_cpp_makefile_star2_O3/devaigergely81[P]flex-bison-example/interpreter_implementation.cc
// Function: read_instruction::execute()
void read_instruction::execute() {
    std::string input_line;
    getline(std::cin, input_line);
    if(symbol_table[id].symbol_type == natural) {
        std::stringstream ss(input_line);
        unsigned input;
        ss >> input;
        value_table[id] = input;
    } else if(symbol_table[id].symbol_type == boolean) {
        if(input_line == "true") {
            value_table[id] = 1;
        } else {
            value_table[id] = 0;
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
movq %rdi, %rbx
leaq -0x30(%rbp), %r14
movq %r14, -0x10(%r14)
movq $0x0, -0x8(%r14)
movb $0x0, (%r14)
movq 0x6a18(%rip), %rdi      # 0x11fd8
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x3210
movsbl %al, %edx
movq 0x69fd(%rip), %rdi      # 0x11fd8
leaq -0x40(%rbp), %rsi
callq 0x33b0
addq $0x10, %rbx
leaq 0x6c61(%rip), %rdi      # 0x12250
movq %rbx, %rsi
callq 0x8696
cmpl $0x1, 0x28(%rax)
jne 0xb659
leaq -0x1c8(%rbp), %rdi
leaq -0x40(%rbp), %rsi
movl $0x18, %edx
callq 0x3330
leaq -0x1c8(%rbp), %rdi
leaq -0x1c(%rbp), %rsi
callq 0x3370
movl -0x1c(%rbp), %r15d
leaq 0x6c63(%rip), %rdi      # 0x12290
movq %rbx, %rsi
callq 0xb890
movl %r15d, (%rax)
movq 0x6969(%rip), %rsi      # 0x11fa8
leaq -0x1c8(%rbp), %rdi
callq 0x31b0
leaq -0x148(%rbp), %rdi
callq 0x30d0
jmp 0xb6ae
leaq 0x6bf0(%rip), %rdi      # 0x12250
movq %rbx, %rsi
callq 0x8696
cmpl $0x0, 0x28(%rax)
jne 0xb6ae
leaq 0x1c85(%rip), %rsi      # 0xd2fa
leaq -0x40(%rbp), %rdi
callq 0x30b0
testl %eax, %eax
je 0xb699
leaq 0x6c07(%rip), %rdi      # 0x12290
movq %rbx, %rsi
callq 0xb890
movl $0x0, (%rax)
jmp 0xb6ae
leaq 0x6bf0(%rip), %rdi      # 0x12290
movq %rbx, %rsi
callq 0xb890
movl $0x1, (%rax)
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0xb6c3
movq -0x30(%rbp), %rsi
incq %rsi
callq 0x3240
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0xb6f7
movq %rax, %rbx
movq 0x68cb(%rip), %rsi      # 0x11fa8
leaq -0x1c8(%rbp), %rdi
callq 0x31b0
leaq -0x148(%rbp), %rdi
callq 0x30d0
jmp 0xb6fa
movq %rax, %rbx
movq -0x40(%rbp), %rdi
cmpq %r14, %rdi
je 0xb70f
movq -0x30(%rbp), %rsi
incq %rsi
callq 0x3240
movq %rbx, %rdi
callq 0x3380
nop
// File: /workspace/github_cpp_makefile_star2_O3/devaigergely81[P]flex-bison-example/interpreter_implementation.cc
// Function: write_instruction::execute()
void write_instruction::execute() {
    if(exp_type == natural) {
        std::cout << exp->get_value() << std::endl;
    } else if(exp_type == boolean) {
        if(exp->get_value()) {
            std::cout << "true" << std::endl;
        } else {
            std::cout << "false" << std::endl;
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl 0x18(%rdi), %eax
testl %eax, %eax
je 0xb747
cmpl $0x1, %eax
jne 0xb76a
movq 0x10(%rdi), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
movl %eax, %esi
movq 0x6883(%rip), %rdi      # 0x11fc0
callq 0x3160
movq %rax, %rbx
jmp 0xb785
movq 0x10(%rdi), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
movq 0x6868(%rip), %rbx      # 0x11fc0
testl %eax, %eax
je 0xb771
leaq 0x1b97(%rip), %rsi      # 0xd2fa
movl $0x4, %edx
jmp 0xb77d
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x1b87(%rip), %rsi      # 0xd2ff
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3270
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3210
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x3170
// File: /workspace/github_cpp_makefile_star2_O3/devaigergely81[P]flex-bison-example/interpreter_implementation.cc
// Function: if_instruction::execute()
void if_instruction::execute() {
    if(condition->get_value()) {
        execute_commands(true_branch);
    } else {
        execute_commands(false_branch);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rdi), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
testl %eax, %eax
je 0xb7ea
movq 0x18(%rbx), %rbx
testq %rbx, %rbx
je 0xb80a
movq (%rbx), %r14
cmpq %rbx, %r14
je 0xb80a
movq 0x10(%r14), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
movq (%r14), %r14
jmp 0xb7d6
movq 0x20(%rbx), %rbx
testq %rbx, %rbx
je 0xb80a
movq (%rbx), %r14
cmpq %rbx, %r14
je 0xb80a
movq 0x10(%r14), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
movq (%r14), %r14
jmp 0xb7f6
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/devaigergely81[P]flex-bison-example/interpreter_implementation.cc
// Function: execute_commands(std::__cxx11::list<instruction*, std::allocator<instruction*>>*)
void execute_commands(std::list<instruction*>* commands) {
    if(!commands) {
        return;
    }

    std::list<instruction*>::iterator it;
    for(it = commands->begin(); it != commands->end(); ++it) {
        (*it)->execute();
    }
}

// Assembly:
testq %rdi, %rdi
je 0xb839
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %r14
cmpq %rbx, %r14
je 0xb835
movq 0x10(%r14), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
movq (%r14), %r14
jmp 0xb821
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: sample_from_gaussian(double, double)
double sample_from_gaussian(double miu, double sigma)
{
    //std::default_random_engine generator;
    //std::normal_distribution<double> distribution(miu, sigma);
    //reutrn distribution(generator);

    static double V1, V2, S;
    static int phase = 0;
    double X;

    if (phase == 0)
    {
        do
        {
            double U1 = (double)rand() / RAND_MAX;
            double U2 = (double)rand() / RAND_MAX;

            V1 = 2 * U1 - 1;
            V2 = 2 * U2 - 1;
            S = V1 * V1 + V2 * V2;
        } while(S >= 1 || S == 0);

        X = V1 * sqrt(-2 * log(S) / S);
    } else
        X = V2 * sqrt(-2 * log(S) / S);

    phase = 1 - phase;

    return X * sigma + miu;
}

// Assembly:
subq $0x18, %rsp
movsd %xmm1, 0x8(%rsp)
movsd %xmm0, 0x10(%rsp)
cmpl $0x0, 0x6d91(%rip)      # 0xa1b8
je 0x3443
movsd 0x6d77(%rip), %xmm0     # 0xa1a8
movsd %xmm0, (%rsp)
movsd 0x6d72(%rip), %xmm0     # 0xa1b0
jmp 0x34d0
callq 0x2080
xorps %xmm1, %xmm1
cvtsi2sd %eax, %xmm1
movsd 0x3c69(%rip), %xmm0     # 0x70c0
divsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
callq 0x2080
xorps %xmm1, %xmm1
cvtsi2sd %eax, %xmm1
divsd 0x3c4c(%rip), %xmm1     # 0x70c0
movsd (%rsp), %xmm2
addsd %xmm2, %xmm2
movsd 0x3c43(%rip), %xmm0     # 0x70c8
addsd %xmm0, %xmm2
addsd %xmm1, %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x6d0f(%rip)     # 0xa1a8
mulsd %xmm1, %xmm1
movsd %xmm2, (%rsp)
movapd %xmm2, %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x6cfa(%rip)     # 0xa1b0
ucomisd 0x3b5a(%rip), %xmm0     # 0x7018
jae 0x3443
ucomisd 0x3c10(%rip), %xmm0     # 0x70d8
jne 0x34d0
jnp 0x3443
callq 0x2150
mulsd 0x3bf3(%rip), %xmm0     # 0x70d0
divsd 0x6ccb(%rip), %xmm0     # 0xa1b0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x34f5
sqrtsd %xmm0, %xmm0
jmp 0x34fa
callq 0x2140
movsd (%rsp), %xmm1
mulsd %xmm0, %xmm1
movl $0x1, %eax
subl 0x6caa(%rip), %eax      # 0xa1b8
movl %eax, 0x6ca4(%rip)      # 0xa1b8
mulsd 0x8(%rsp), %xmm1
addsd 0x10(%rsp), %xmm1
movapd %xmm1, %xmm0
addq $0x18, %rsp
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: binomial(int, double)
int binomial(int n, double p) 
{
    if(p < 0 || p > 1) return 0;

    int c = 0;
    double r;

    for(int i=0; i<n; i++) {
        r = rand() / (RAND_MAX + 1.0);
        if (r < p) c++;
    }

    return c;
}

// Assembly:
pushq %rbp
pushq %rbx
subq $0x18, %rsp
movsd 0x3abd(%rip), %xmm3     # 0x7018
cmpltpd %xmm0, %xmm3
xorpd %xmm1, %xmm1
movapd %xmm0, %xmm2
cmpltpd %xmm1, %xmm2
orpd %xmm3, %xmm2
movd %xmm2, %eax
testl %edi, %edi
setle %cl
xorl %ebp, %ebp
orb %al, %cl
testb $0x1, %cl
jne 0x35b4
movl %edi, %ebx
xorl %ebp, %ebp
movapd %xmm0, (%rsp)
callq 0x2080
movapd (%rsp), %xmm0
xorps %xmm1, %xmm1
cvtsi2sd %eax, %xmm1
mulsd 0x3b3b(%rip), %xmm1     # 0x70e0
xorl %eax, %eax
ucomisd %xmm1, %xmm0
seta %al
addl %eax, %ebp
decl %ebx
jne 0x358c
movl %ebp, %eax
addq $0x18, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: square_error(double*, double*, int)
double square_error(double *v1, double *v2, int size)
{
    double error = 0;
    for(int i=0; i<size; i++)
        error += pow((v1[i] - v2[i]), 2);

    return error;
}

// Assembly:
testl %edx, %edx
jle 0x35e4
movl %edx, %eax
xorpd %xmm0, %xmm0
xorl %ecx, %ecx
movsd (%rdi,%rcx,8), %xmm1
subsd (%rsi,%rcx,8), %xmm1
mulsd %xmm1, %xmm1
addsd %xmm1, %xmm0
incq %rcx
cmpq %rcx, %rax
jne 0x35c9
retq
xorps %xmm0, %xmm0
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::RBM(int, int, int, double**, double*, double*, double, double)
RBM::RBM(int N, int n_f, int n_h, double **w, double *hb, double *vb, double lbd, double mmt)
{
    n_samples = N;
    n_visible = n_f;
    n_hidden = n_h;
    error = 0.0;
    lamda = lbd;
    momentum = mmt;

    if(w == NULL)
    {
        W = new double*[n_hidden];
        for(int i=0; i<n_hidden; i++)
            W[i] = new double[n_visible];
        for(int i=0; i<n_hidden; i++)
            for(int j=0; j<n_visible; j++)
                W[i][j] = sample_from_gaussian(0, 0.01);
    }
    else
    {
        W = w;
    }

    if(hb == NULL)
    {
        hbias = new double[n_hidden];
        for(int i=0; i<n_hidden; i++)
            hbias[i] = 0;
    }
    else
        hbias = hb;

    if(vb == NULL)
    {
        vbias = new double[n_visible];
        for(int i=0; i<n_visible; i++)
            vbias[i] = 0;
    }
    else
        vbias = vb;


}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %ecx, %ebp
movl %edx, %r14d
movq %rdi, %rbx
movq 0x50(%rsp), %r15
movl %esi, (%rdi)
movl %edx, 0x4(%rdi)
movl %ecx, 0x8(%rdi)
movq $0x0, 0x28(%rdi)
movsd %xmm0, 0x30(%rdi)
movsd %xmm1, 0x38(%rdi)
testq %r8, %r8
movq %r9, 0x10(%rsp)
je 0x440e
movq %r8, 0x10(%rbx)
movq 0x10(%rsp), %rax
testq %rax, %rax
je 0x44bd
movq %rax, 0x18(%rbx)
jmp 0x44fa
movl %ebp, %r13d
leaq (,%r13,8), %rdi
testl %ebp, %ebp
movq $-0x1, %rax
cmovsq %rax, %rdi
callq 0x2030
movq %rax, 0x10(%rbx)
testl %ebp, %ebp
jle 0x43f7
movq %r15, 0x8(%rsp)
movq $-0x1, %rax
movl %r14d, %r12d
shlq $0x3, %r12
testl %r14d, %r14d
cmovsq %rax, %r12
xorl %r15d, %r15d
movq %r12, %rdi
callq 0x2030
movq 0x10(%rbx), %rcx
movq %rax, (%rcx,%r15,8)
incq %r15
cmpq %r15, %r13
jne 0x4450
testl %ebp, %ebp
jle 0x4558
xorl %r12d, %r12d
movq 0x8(%rsp), %r15
testl %r14d, %r14d
jle 0x44ad
xorl %r13d, %r13d
xorps %xmm0, %xmm0
movsd 0x2c5d(%rip), %xmm1     # 0x70e8
callq 0x3410
movq 0x10(%rbx), %rax
movq (%rax,%r12,8), %rax
movsd %xmm0, (%rax,%r13,8)
incq %r13
movslq 0x4(%rbx), %r14
cmpq %r14, %r13
jl 0x4480
movl 0x8(%rbx), %ebp
incq %r12
movslq %ebp, %rax
cmpq %rax, %r12
jl 0x4478
jmp 0x43f7
movq %r15, %r12
movslq %ebp, %r15
leaq (,%r15,8), %rax
testl %r15d, %r15d
movq $-0x1, %rdi
cmovnsq %rax, %rdi
callq 0x2030
movq %rax, 0x18(%rbx)
testl %r15d, %r15d
movq %r12, %r15
jle 0x44fa
movl %ebp, %edx
shlq $0x3, %rdx
movq %rax, %rdi
xorl %esi, %esi
callq 0x2100
testq %r15, %r15
je 0x4512
movq %r15, 0x20(%rbx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movslq %r14d, %r15
leaq (,%r15,8), %rax
testl %r15d, %r15d
movq $-0x1, %rdi
cmovnsq %rax, %rdi
callq 0x2030
movq %rax, 0x20(%rbx)
testl %r15d, %r15d
jle 0x4503
movl %r14d, %edx
shlq $0x3, %rdx
movq %rax, %rdi
xorl %esi, %esi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2100
movq 0x8(%rsp), %r15
jmp 0x43f7
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::activate_hidden(double*, double*, int*, int, int)
void RBM::activate_hidden(double *v_prob, double *h_prob, int *h_state, int n_visible, int n_hidden)
{	
    //v->h
    for(int i=0; i<n_hidden; i++)
    {
        double vh_prob = 0;
        for(int j=0; j<n_visible; j++)
        {
            // prob or state?
            vh_prob += v_prob[j] * W[i][j];
        }
        vh_prob += hbias[i];
        h_prob[i] = sigmoid(vh_prob);
        if(h_state != NULL)
            h_state[i] = binomial(1, h_prob[i]);
    }

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %r8d, 0xc(%rsp)
movq %rdx, 0x10(%rsp)
testl %r9d, %r9d
jle 0x461b
movq %rcx, %r14
movq %rsi, %r12
movq %rdi, %r13
movl %r9d, %ebp
movl 0xc(%rsp), %r15d
xorl %ebx, %ebx
cmpl $0x0, 0xc(%rsp)
jle 0x45c4
movq 0x10(%r13), %rax
movq (%rax,%rbx,8), %rax
xorpd %xmm0, %xmm0
xorl %ecx, %ecx
movsd (%r12,%rcx,8), %xmm1
mulsd (%rax,%rcx,8), %xmm1
addsd %xmm1, %xmm0
incq %rcx
cmpq %rcx, %r15
jne 0x45ab
jmp 0x45c8
xorpd %xmm0, %xmm0
movq 0x18(%r13), %rax
addsd (%rax,%rbx,8), %xmm0
xorpd 0x2b27(%rip), %xmm0     # 0x7100
callq 0x22c0
movapd %xmm0, %xmm1
movsd 0x2a2e(%rip), %xmm0     # 0x7018
addsd %xmm0, %xmm1
divsd %xmm1, %xmm0
movq 0x10(%rsp), %rax
movsd %xmm0, (%rax,%rbx,8)
testq %r14, %r14
je 0x460f
movl $0x1, %edi
callq 0x354d
movl %eax, (%r14,%rbx,4)
incq %rbx
cmpq %rbp, %rbx
jne 0x4596
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::activate_visible(int*, double*, int*, int, int)
void RBM::activate_visible(int *h_state, double *v_prob, int *v_state, int n_hidden, int n_visible)
{	
    //h->v
    for(int i=0; i<n_visible; i++)
    {
        double hv_prob = 0;
        for(int j=0; j<n_hidden; j++)
        {
            hv_prob += h_state[j] * W[j][i];
        }
        hv_prob += vbias[i];
        v_prob[i] = sigmoid(hv_prob);
        v_state[i] = binomial(1, v_prob[i]);
    }	
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, 0x10(%rsp)
movq %rdx, 0x8(%rsp)
testl %r9d, %r9d
jle 0x46e5
movl %r8d, %ebx
movq %rsi, %r12
movq %rdi, %r13
movl %r9d, %ebp
movl %r8d, %r14d
xorl %r15d, %r15d
testl %ebx, %ebx
jle 0x468c
movq 0x10(%r13), %rax
xorpd %xmm0, %xmm0
xorl %ecx, %ecx
xorps %xmm1, %xmm1
cvtsi2sdl (%r12,%rcx,4), %xmm1
movq (%rax,%rcx,8), %rdx
mulsd (%rdx,%r15,8), %xmm1
addsd %xmm1, %xmm0
incq %rcx
cmpq %rcx, %r14
jne 0x466b
jmp 0x4690
xorpd %xmm0, %xmm0
movq 0x20(%r13), %rax
addsd (%rax,%r15,8), %xmm0
xorpd 0x2a5e(%rip), %xmm0     # 0x7100
callq 0x22c0
movsd 0x2969(%rip), %xmm1     # 0x7018
addsd %xmm1, %xmm0
divsd %xmm0, %xmm1
movq 0x8(%rsp), %rax
movsd %xmm1, (%rax,%r15,8)
movl $0x1, %edi
movapd %xmm1, %xmm0
callq 0x354d
movq 0x10(%rsp), %rcx
movl %eax, (%rcx,%r15,4)
incq %r15
cmpq %rbp, %r15
jne 0x465d
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: RBM::~RBM()
RBM::~RBM()
{
    for(int i=0; i < n_hidden; i++)
        delete[] W[i];
    delete[] W;
    delete[] hbias;
    delete[] vbias;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0x8(%rdi), %eax
testl %eax, %eax
jle 0x49c9
xorl %r14d, %r14d
movq 0x10(%rbx), %rcx
movq (%rcx,%r14,8), %rdi
testq %rdi, %rdi
je 0x49be
callq 0x2210
movl 0x8(%rbx), %eax
incq %r14
movslq %eax, %rcx
cmpq %rcx, %r14
jl 0x49a9
movq 0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x49d7
callq 0x2210
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x49e5
callq 0x2210
movq 0x20(%rbx), %rdi
addq $0x8, %rsp
testq %rdi, %rdi
je 0x49fa
popq %rbx
popq %r14
jmp 0x2210
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::LR(int, int, int, double)
LR::LR(int N, int n_f, int n_lb, double lbd)
{
    n_samples = N;
    n_features = n_f;
    n_labels = n_lb;
    lamda = lbd;

    W = new double*[n_labels];
    for(int i=0; i<n_labels; i++)
        W[i] = new double[n_features];
    b = new double[n_labels];

    for(int i=0; i<n_labels; i++)
    {
        for(int j=0; j<n_features; j++)
            W[i][j] = 0;
        b[i] = 0;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %ecx, %r14d
movl %edx, %ebx
movq %rdi, %r15
movl %esi, (%rdi)
movl %edx, 0x4(%rdi)
movl %ecx, 0x8(%rdi)
movsd %xmm0, 0x10(%rdi)
movl %ecx, %ebp
leaq (,%rbp,8), %r12
testl %ecx, %ecx
movq $-0x1, %rax
cmovsq %rax, %r12
movq %r12, %rdi
callq 0x2030
movq %rax, 0x18(%r15)
testl %r14d, %r14d
jle 0x4bb5
movq %r12, 0x10(%rsp)
movl %r14d, 0xc(%rsp)
movl %ebx, %r14d
movq $-0x1, %rax
leaq (,%r14,8), %r13
testl %ebx, %ebx
cmovsq %rax, %r13
xorl %r12d, %r12d
movq %r13, %rdi
callq 0x2030
movq 0x18(%r15), %rcx
movq %rax, (%rcx,%r12,8)
incq %r12
cmpq %r12, %rbp
jne 0x4b56
movq 0x10(%rsp), %rdi
callq 0x2030
movq %rax, 0x20(%r15)
cmpl $0x0, 0xc(%rsp)
jle 0x4bc1
movq %rax, %r12
movq 0x18(%r15), %r15
shlq $0x3, %r14
xorl %r13d, %r13d
testl %ebx, %ebx
jle 0x4ba3
movq (%r15,%r13,8), %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x2100
movq $0x0, (%r12,%r13,8)
incq %r13
cmpq %r13, %rbp
jne 0x4b91
jmp 0x4bc1
movq %r12, %rdi
callq 0x2030
movq %rax, 0x20(%r15)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::~LR()
LR::~LR()
{
    for(int i=0; i<n_labels; i++)
        delete[] W[i];
    delete[] W;
    delete[] b;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0x8(%rdi), %eax
testl %eax, %eax
jle 0x4c01
xorl %r14d, %r14d
movq 0x18(%rbx), %rcx
movq (%rcx,%r14,8), %rdi
testq %rdi, %rdi
je 0x4bf6
callq 0x2210
movl 0x8(%rbx), %eax
incq %r14
movslq %eax, %rcx
cmpq %rcx, %r14
jl 0x4be1
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x4c0f
callq 0x2210
movq 0x20(%rbx), %rdi
addq $0x8, %rsp
testq %rdi, %rdi
je 0x4c24
popq %rbx
popq %r14
jmp 0x2210
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::train(double*, int*, double)
void LR::train(double *x, int *y, double gamma)
{
    double *h_theta_x = new double[n_labels];
    double *dy = new double[n_labels];

    for(int i=0; i<n_labels; i++) 
    {
        h_theta_x[i] = 0;
        for(int j=0; j<n_features; j++) 
        {
            h_theta_x[i] += W[i][j] * x[j];
        }
        h_theta_x[i] += b[i];
    }
    softmax(h_theta_x);

    for(int i=0; i<n_labels; i++) 
    {
        dy[i] = (y[i]==1 ? 1:0) - h_theta_x[i];

        for(int j=0; j<n_features; j++) 
        {
            W[i][j] -= gamma * (-1*dy[i] * x[j] + lamda * W[i][j]);
        }

        b[i] += gamma * dy[i];
    }
    delete[] h_theta_x;
    delete[] dy;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movapd %xmm0, (%rsp)
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movslq 0x8(%rdi), %r13
leaq (,%r13,8), %rax
testq %r13, %r13
movq $-0x1, %rdi
cmovnsq %rax, %rdi
callq 0x2030
movq %rax, %r12
testq %r13, %r13
jle 0x4cbe
movl 0x4(%r15), %eax
movq 0x18(%r15), %rcx
movq 0x20(%r15), %rdx
xorl %esi, %esi
testl %eax, %eax
jle 0x4ca7
movq (%rcx,%rsi,8), %rdi
xorpd %xmm0, %xmm0
xorl %r8d, %r8d
movsd (%rdi,%r8,8), %xmm1
mulsd (%r14,%r8,8), %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, (%r12,%rsi,8)
incq %r8
cmpq %r8, %rax
jne 0x4c87
jmp 0x4cab
xorpd %xmm0, %xmm0
addsd (%rdx,%rsi,8), %xmm0
movsd %xmm0, (%r12,%rsi,8)
incq %rsi
cmpq %r13, %rsi
jne 0x4c78
movq %r15, %rdi
movq %r12, %rsi
callq 0x4d8e
movslq 0x8(%r15), %rax
testq %rax, %rax
movapd (%rsp), %xmm8
jle 0x4d79
movl 0x4(%r15), %ecx
movq 0x18(%r15), %rdx
movapd 0x2414(%rip), %xmm0     # 0x7100
xorpd %xmm8, %xmm0
movq 0x20(%r15), %rsi
xorl %edi, %edi
movsd 0x2319(%rip), %xmm1     # 0x7018
movapd 0x23f9(%rip), %xmm2     # 0x7100
cmpl $0x1, (%rbx,%rdi,4)
movapd %xmm1, %xmm3
je 0x4d15
xorpd %xmm3, %xmm3
subsd (%r12,%rdi,8), %xmm3
testl %ecx, %ecx
jle 0x4d62
movq (%rdx,%rdi,8), %r8
movapd %xmm3, %xmm4
xorpd %xmm2, %xmm4
xorl %r9d, %r9d
movsd (%r8,%r9,8), %xmm5
movsd 0x10(%r15), %xmm6
mulsd %xmm5, %xmm6
movsd (%r14,%r9,8), %xmm7
mulsd %xmm4, %xmm7
addsd %xmm6, %xmm7
mulsd %xmm0, %xmm7
addsd %xmm5, %xmm7
movsd %xmm7, (%r8,%r9,8)
incq %r9
cmpq %r9, %rcx
jne 0x4d2e
mulsd %xmm8, %xmm3
addsd (%rsi,%rdi,8), %xmm3
movsd %xmm3, (%rsi,%rdi,8)
incq %rdi
cmpq %rax, %rdi
jne 0x4d07
movq %r12, %rdi
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x2210
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::softmax(double*)
void LR::softmax(double *x)
{
    double sum = 0.0;
    for(int i=0; i<n_labels; i++) 
    {
        x[i] = exp(x[i]);
        sum += x[i];
    } 

    for(int i=0; i<n_labels; i++) 
        x[i] /= sum;
}

// Assembly:
cmpl $0x0, 0x8(%rdi)
jle 0x4dfc
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
movq %rdi, %r14
xorpd %xmm1, %xmm1
xorl %r15d, %r15d
movsd %xmm1, 0x8(%rsp)
movsd (%rbx,%r15,8), %xmm0
callq 0x22c0
movsd 0x8(%rsp), %xmm1
movsd %xmm0, (%rbx,%r15,8)
addsd %xmm0, %xmm1
incq %r15
movslq 0x8(%r14), %rax
cmpq %rax, %r15
jl 0x4daa
testl %eax, %eax
jle 0x4df3
xorl %ecx, %ecx
movsd (%rbx,%rcx,8), %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, (%rbx,%rcx,8)
incq %rcx
cmpq %rcx, %rax
jne 0x4ddd
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: LR::predict(double*, double*)
void LR::predict(double *x, double *y)
{
    for(int i=0; i<n_labels; i++) 
    {
        y[i] = 0;
        for(int j=0; j<n_features; j++) 
        {
            y[i] += W[i][j] * x[j];
        }
        y[i] += b[i];
    }
    softmax(y);
}

// Assembly:
movslq 0x8(%rdi), %rax
testq %rax, %rax
jle 0x4e64
pushq %rbx
movl 0x4(%rdi), %ecx
movq 0x18(%rdi), %r8
movq 0x20(%rdi), %r9
xorl %r10d, %r10d
movq $0x0, (%rdx,%r10,8)
testl %ecx, %ecx
jle 0x4e4b
movq (%r8,%r10,8), %r11
xorpd %xmm0, %xmm0
xorl %ebx, %ebx
movsd (%r11,%rbx,8), %xmm1
mulsd (%rsi,%rbx,8), %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, (%rdx,%r10,8)
incq %rbx
cmpq %rbx, %rcx
jne 0x4e2c
jmp 0x4e4f
xorpd %xmm0, %xmm0
addsd (%r9,%r10,8), %xmm0
movsd %xmm0, (%rdx,%r10,8)
incq %r10
cmpq %rax, %r10
jne 0x4e16
popq %rbx
movq %rdx, %rsi
jmp 0x4d8e
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: DBN::DBN(Dataset, Conf)
DBN::DBN(Dataset data, Conf conf)
{
    n_samples = data.N;
    n_features = data.n_f;
    n_layers = conf.n_layers;
    n_labels = conf.n_labels;
    lamda = conf.lamda;
    alpha = conf.learning_rate;

    rbm_layers = new RBM*[n_layers];
    hidden_layer_size = new int[n_layers];
    for(int i=0; i<n_layers; i++)
    {
        hidden_layer_size[i] = conf.hidden_layer_size[i];
        if(i == 0)
        {
            rbm_layers[i] = new RBM(n_samples, n_features, hidden_layer_size[i], NULL, NULL, NULL, conf.lamda, 0.5);
        }
        else
        {
            rbm_layers[i] = new RBM(n_samples, hidden_layer_size[i-1], hidden_layer_size[i],  NULL, NULL, NULL, conf.lamda, 0.5);
        }
    }

    //logistic layer
    lr_layer = new LR(n_samples, hidden_layer_size[n_layers-1], n_labels, conf.lamda);

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, %r14
movq %rdi, %rbx
movq (%rsi), %r15
movq %r15, %xmm0
movq 0xa0(%rdx), %rax
movq %rax, %xmm1
movdqa %xmm1, 0x10(%rsp)
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movdqu %xmm0, (%rdi)
movsd 0xa8(%rdx), %xmm0
movsd %xmm0, 0x18(%rdi)
movq 0x98(%rdx), %xmm0
movq %xmm0, 0x20(%rdi)
movslq %eax, %rbp
leaq (,%rbp,8), %rdi
testl %ebp, %ebp
movq $-0x1, %rax
cmovsq %rax, %rdi
leaq (,%rbp,4), %r12
cmovsq %rax, %r12
callq 0x2030
movq %rax, 0x28(%rbx)
movq %r12, %rdi
callq 0x2030
movq %rax, 0x10(%rbx)
testl %ebp, %ebp
jle 0x4fbf
xorl %r12d, %r12d
xorl %r13d, %r13d
movq 0x88(%r14), %rax
movl (%rax,%r13,4), %eax
movq 0x10(%rbx), %rbp
movl %eax, (%rbp,%r13,4)
movl $0x40, %edi
callq 0x21b0
movq %rax, %r15
movl (%rbx), %esi
testq %r12, %r12
je 0x4f65
movl -0x4(%rbp,%r13,4), %edx
movl (%rbp,%r13,4), %ecx
movq 0xa8(%r14), %xmm0
movq $0x0, (%rsp)
movq %r15, %rdi
xorl %r8d, %r8d
xorl %r9d, %r9d
movq 0x2199(%rip), %xmm1     # 0x70f0
callq 0x43b4
movq 0x28(%rbx), %rax
addq %r12, %rax
jmp 0x4f98
movl 0x4(%rbx), %edx
movl (%rbp,%r13,4), %ecx
movq 0xa8(%r14), %xmm0
movq $0x0, (%rsp)
movq %r15, %rdi
xorl %r8d, %r8d
xorl %r9d, %r9d
movq 0x2161(%rip), %xmm1     # 0x70f0
callq 0x43b4
movq 0x28(%rbx), %rax
movq %r15, (%rax)
incq %r13
movslq 0x8(%rbx), %rbp
addq $0x8, %r12
cmpq %rbp, %r13
jl 0x4f03
movl (%rbx), %r15d
movl 0xc(%rbx), %eax
movl %eax, 0x10(%rsp)
movq 0x10(%rbx), %r12
jmp 0x4fcf
movq %rax, %r12
pshufd $0x55, 0x10(%rsp), %xmm0 # xmm0 = mem[1,1,1,1]
movd %xmm0, 0x10(%rsp)
movl $0x28, %edi
callq 0x21b0
movq %rax, %r13
movl -0x4(%r12,%rbp,4), %edx
movq 0xa8(%r14), %xmm0
movq %rax, %rdi
movl %r15d, %esi
movl 0x10(%rsp), %ecx
callq 0x4ae2
movq %r13, 0x30(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movl $0x28, %esi
movq %r13, %rdi
jmp 0x5026
jmp 0x501b
movq %rax, %rbx
movl $0x40, %esi
movq %r15, %rdi
callq 0x21c0
movq %rbx, %rdi
callq 0x22b0
nop
// File: /workspace/github_cpp_makefile_star2_O3/lipiji[P]PG_DEEP/deep.cpp
// Function: DBN::~DBN()
DBN::~DBN()
{
    for(int i=0; i<n_layers; i++)
        delete rbm_layers[i];
    delete[] rbm_layers;
    delete lr_layer;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpl $0x0, 0x8(%rdi)
jle 0x64e1
xorl %r15d, %r15d
movq 0x28(%rbx), %rax
movq (%rax,%r15,8), %r14
testq %r14, %r14
je 0x64c8
movq %r14, %rdi
callq 0x4998
movl $0x40, %esi
movq %r14, %rdi
callq 0x21c0
incq %r15
movslq 0x8(%rbx), %rax
cmpq %rax, %r15
jl 0x64b3
movq 0x28(%rbx), %rdi
testq %rdi, %rdi
je 0x64ef
callq 0x2210
movq 0x30(%rbx), %rbx
testq %rbx, %rbx
je 0x6500
movq %rbx, %rdi
callq 0x4bd0
movl $0x28, %esi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x21c0
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/main.cpp
// Function: adapteInput(MiniSat::JinkelaSat&, DIMACS::CNF::Input const&)
void adapteInput(MiniSat::JinkelaSat &Solver, const DIMACS::CNF::Input &Input) {
  for (auto &ClauseRaw : Input.getClauses()) {
    std::vector<MiniSat::Literal> Clause;
    for (int RawLit : ClauseRaw) {
      Clause.emplace_back(std::abs(RawLit) - 1, RawLit < 0);
    }
    Solver.addClause(std::move(Clause));
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, 0x30(%rsp)
movq 0x8(%rsi), %r13
movq 0x10(%rsi), %rax
movq %rax, 0x28(%rsp)
cmpq %rax, %r13
je 0x252b
leaq 0x10(%rsp), %r14
leaq 0xc(%rsp), %r15
leaq 0xb(%rsp), %r12
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq (%r13), %rbx
movq 0x8(%r13), %rbp
cmpq %rbp, %rbx
je 0x24fc
movl (%rbx), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
decl %ecx
movl %ecx, 0xc(%rsp)
shrl $0x1f, %eax
movb %al, 0xb(%rsp)
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x27da
addq $0x4, %rbx
jmp 0x24cd
movq 0x30(%rsp), %rdi
movq %r14, %rsi
callq 0x2818
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2520
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x2180
addq $0x18, %r13
cmpq 0x28(%rsp), %r13
jne 0x24b4
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x253c
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x2556
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x2180
movq %rbx, %rdi
callq 0x2240
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/main.cpp
// Function: to_ostream(MiniSat::JinkelaSat&, MiniSat::Status, std::ostream&)
void to_ostream(MiniSat::JinkelaSat &Solver, const MiniSat::Status Result,
                std::ostream &Out) {
  if (Result == MiniSat::Status::True) {
    Out << "SAT\n";
    size_t VarCnt = 1;
    for (auto VarStatus : Solver.getModel()) {
      Out << (VarStatus == MiniSat::Status::False ? "-" : "") << VarCnt++
          << ' ';
    }
    Out << "0\n";
  } else {
    Out << "UNSAT\n";
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
cmpb $0x1, %sil
jne 0x261d
movq %rdi, %r14
leaq 0x5b57(%rip), %rsi      # 0x80d7
movl $0x4, %edx
movq %rbx, %rdi
callq 0x21a0
movq 0x158(%r14), %r12
movq 0x160(%r14), %r13
cmpq %r13, %r12
je 0x25fa
xorl %r14d, %r14d
leaq 0x7(%rsp), %r15
xorl %edx, %edx
leaq (%r12,%r14), %rbp
incq %rbp
incq %r14
cmpb $0x0, -0x1(%rbp)
sete %dl
leaq 0x5b12(%rip), %rsi      # 0x80d4
leaq 0x5b07(%rip), %rax      # 0x80d0
cmoveq %rax, %rsi
movq %rbx, %rdi
callq 0x21a0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2100
movb $0x20, 0x7(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x21a0
cmpq %r13, %rbp
jne 0x25a8
leaq 0x5ad1(%rip), %rsi      # 0x80d2
movl $0x2, %edx
movq %rbx, %rdi
callq 0x21a0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5ab1(%rip), %rsi      # 0x80d5
movl $0x6, %edx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x21a0
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/main.cpp
// Function: main
int main() {
  DIMACS::CNF::Parser Parser;
  auto Input = std::move(Parser.parse(std::cin));

  MiniSat::JinkelaSat Solver;
  adapteInput(Solver, Input);

  auto Result = Solver.solve();
  to_ostream(Solver, Result, std::cout);

  return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
movq 0x998c(%rip), %rdx      # 0xbfe0
leaq 0x28(%rsp), %rbx
leaq 0x7(%rsp), %rsi
movq %rbx, %rdi
callq 0x29f4
movq (%rbx), %rax
leaq 0x10(%rsp), %rbx
movq %rax, -0x8(%rbx)
leaq 0x30(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rsi
callq 0x557a
movq %r15, %rdi
callq 0x50cc
xorl %r15d, %r15d
leaq 0x120(%rsp), %r12
movq %r15, -0x38(%r12)
movl %r15d, -0x30(%r12)
movl %r15d, (%r12)
movq %r15, 0x8(%r12)
leaq 0x28(%rsp), %r14
movl $0xbc, %edx
movq %r14, %rdi
xorl %esi, %esi
callq 0x20c0
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%r12)
movups %xmm0, -0x18(%r12)
movq %r12, 0x10(%r12)
movq %r12, 0x18(%r12)
movq %r15, 0x20(%r12)
leaq 0x178(%rsp), %rax
movq %rax, -0x30(%rax)
movq $0x1, -0x28(%rax)
movups %xmm0, -0x20(%rax)
movl $0x3f800000, -0x10(%rax) # imm = 0x3F800000
movups %xmm0, -0x8(%rax)
movups %xmm0, 0x8(%rax)
movq %r15, 0x18(%rax)
movaps 0x5914(%rip), %xmm1     # 0x8020
movups %xmm1, 0x20(%rax)
movl $0x64, %ecx
movq %rcx, 0x30(%rax)
movq %rcx, 0x38(%rax)
movaps 0x590c(%rip), %xmm1     # 0x8030
movups %xmm1, 0x40(%rax)
movaps 0x5911(%rip), %xmm1     # 0x8040
movups %xmm1, 0x50(%rax)
movaps 0x5916(%rip), %xmm1     # 0x8050
movups %xmm1, 0x60(%rax)
movl $0xffffffff, 0x88(%rax) # imm = 0xFFFFFFFF
movq %r15, 0xb0(%rax)
movups %xmm0, 0xa0(%rax)
movups %xmm0, 0x90(%rax)
movb $0x1, 0xb8(%rax)
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x247c
leaq 0x28(%rsp), %rdi
callq 0x2dbe
movsbl %al, %esi
movq 0x984b(%rip), %rdx      # 0xbfd0
leaq 0x28(%rsp), %rdi
callq 0x255e
leaq 0x28(%rsp), %rdi
callq 0x2eee
movq %rbx, %rdi
callq 0x50cc
xorl %eax, %eax
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x27bc
movq %rax, %r14
movq %r15, %rdi
jmp 0x27cc
movq %rax, %r14
leaq 0x28(%rsp), %rdi
callq 0x2eee
movq %rbx, %rdi
callq 0x50cc
movq %r14, %rdi
callq 0x2240
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::solve()
Status solve() {
    if (!ok)
      return Status::False;
    max_learnts = nClauses() * learntsize_factor;
    learntsize_adjust_confl = learntsize_adjust_start_confl;
    learntsize_adjust_cnt = learntsize_adjust_start_confl;
    Status status = Status::Undef;
    int curr_restarts = 0;
    do {
      double rest_base = luby(restart_inc, curr_restarts);
      status = search(rest_base * restart_first);
      ++curr_restarts;
    } while (status == Status::Undef);
    model = assigns;
    cancelUntil(0);
    return status;
  }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
xorl %ebp, %ebp
cmpb $0x1, 0x208(%rdi)
jne 0x2ee6
movq %rdi, %rbx
movsd 0x1f0(%rdi), %xmm0
movsd 0x527c(%rip), %xmm3     # 0x8060
unpcklps %xmm3, %xmm0            # xmm0 = xmm0[0],xmm3[0],xmm0[1],xmm3[1]
movapd 0x5281(%rip), %xmm1     # 0x8070
subpd %xmm1, %xmm0
movapd %xmm0, %xmm2
unpckhpd %xmm0, %xmm2            # xmm2 = xmm2[1],xmm0[1]
addsd %xmm0, %xmm2
mulsd 0x170(%rdi), %xmm2
movsd %xmm2, 0x1c0(%rdi)
movq 0x188(%rdi), %rax
movq %rax, %xmm0
punpckldq %xmm3, %xmm0    # xmm0 = xmm0[0],xmm3[0],xmm0[1],xmm3[1]
subpd %xmm1, %xmm0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movsd %xmm1, 0x1c8(%rdi)
movq %rax, 0x1d0(%rdi)
testl %ebp, %ebp
je 0x2e5c
movl $0x1, %eax
xorl %ecx, %ecx
incl %ecx
movl %eax, %esi
addl %eax, %esi
leal 0x1(,%rax,2), %eax
cmpl %ebp, %esi
jl 0x2e49
jmp 0x2e60
xorl %esi, %esi
xorl %ecx, %ecx
movsd 0x178(%rbx), %xmm0
movl %ebp, %edx
cmpl %ebp, %esi
je 0x2e7d
sarl %esi
decl %ecx
movl %edx, %eax
cltd
idivl %esi
decl %esi
cmpl %edx, %esi
jne 0x2e6e
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
callq 0x2230
movsd 0x180(%rbx), %xmm1
unpcklps 0x51c8(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x51d0(%rip), %xmm1     # 0x8070
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
mulsd %xmm0, %xmm2
cvttsd2si %xmm2, %esi
movq %rbx, %rdi
callq 0x570a
incl %ebp
cmpb $0x2, %al
je 0x2e3e
movl %eax, %r14d
leaq 0x68(%rbx), %rsi
leaq 0x158(%rbx), %rdi
callq 0x598c
movq %rbx, %rdi
xorl %esi, %esi
callq 0x5a50
movl %r14d, %ebp
movl %ebp, %eax
popq %rbx
popq %r14
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::newVar()
int newVar() {
    int v = next_var++;
    assigns.emplace_back(Status::Undef);
    vardata.emplace_back(nullptr, 0);
    activity.emplace_back(0);
    seen.emplace_back(0);
    polarity.emplace_back(true);
    insertVarOrder(v);
    return v;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r14
movq 0x1e8(%rdi), %rbx
leaq 0x1(%rbx), %rax
movq %rax, 0x1e8(%rdi)
movb $0x2, 0x8(%rsp)
movq 0x70(%rdi), %rsi
cmpq 0x78(%rdi), %rsi
je 0x3018
movb $0x2, (%rsi)
incq %rsi
movq %rsi, 0x70(%r14)
jmp 0x3026
leaq 0x68(%r14), %rdi
leaq 0x8(%rsp), %rdx
callq 0x35b4
leaq 0x80(%r14), %rdi
leaq 0x8(%rsp), %r15
movq $0x0, (%r15)
xorl %ebp, %ebp
leaq 0x14(%rsp), %rdx
movl %ebp, (%rdx)
movq %r15, %rsi
callq 0x3498
leaq 0x98(%r14), %rdi
movl %ebp, (%r15)
leaq 0x8(%rsp), %r15
movq %r15, %rsi
callq 0x34da
leaq 0xd8(%r14), %rdi
movl %ebp, (%r15)
leaq 0x8(%rsp), %rsi
callq 0x3512
leaq 0xb0(%r14), %rdi
movl $0x1, %esi
callq 0x3a2c
movq %r14, %rdi
movl %ebx, %esi
callq 0x3546
movl %ebx, %eax
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::attachClause(MiniSat::Clause*)
void attachClause(Clause *cr) {
    const Clause &c = *cr;
    watches[~c[0]].emplace_back(cr, c[1]);
    watches[~c[1]].emplace_back(cr, c[0]);
    if (c.learnt())
      learnts_literals += c.size();
    else
      num_clauses++, clauses_literals += c.size();
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x8(%rsp), %r15
movq %rsi, (%r15)
leaq 0x120(%rdi), %r12
movq (%rsi), %rax
movl (%rax), %eax
xorl $0x1, %eax
leaq 0x4(%rsp), %r13
movl %eax, (%r13)
movq %r12, %rdi
movq %r13, %rsi
callq 0x4718
movq (%r14), %rdx
addq $0x4, %rdx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4ec4
movq (%r14), %rax
movl 0x4(%rax), %eax
xorl $0x1, %eax
movl %eax, (%r13)
leaq 0x4(%rsp), %rsi
movq %r12, %rdi
callq 0x4718
movq (%r14), %rdx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4ec4
movl $0x200, %eax            # imm = 0x200
cmpb $0x0, 0x18(%r14)
jne 0x347a
incq 0x1f0(%rbx)
movl $0x1f8, %eax            # imm = 0x1F8
movq 0x8(%r14), %rcx
subq (%r14), %rcx
sarq $0x2, %rcx
addq %rcx, (%rbx,%rax)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::claBumpActivity(MiniSat::Clause&)
void claBumpActivity(Clause &c) {
    if ((c.activity() += cla_inc) > 1e20) {
      for (auto &l : learnts)
        l->activity() *= 1e-20;
      cla_inc *= 1e-20;
    }
  }

// Assembly:
movsd 0x1b0(%rdi), %xmm0
cvtss2sd 0x1c(%rsi), %xmm1
addsd %xmm0, %xmm1
cvtsd2ss %xmm1, %xmm1
movss %xmm1, 0x1c(%rsi)
cvtss2sd %xmm1, %xmm1
ucomisd 0x21f2(%rip), %xmm1     # 0x80b0
jbe 0x5f06
movq 0x38(%rdi), %rax
movq 0x40(%rdi), %rcx
cmpq %rcx, %rax
je 0x5ef6
movsd 0x21e3(%rip), %xmm1     # 0x80b8
movq (%rax), %rdx
xorps %xmm2, %xmm2
cvtss2sd 0x1c(%rdx), %xmm2
mulsd %xmm1, %xmm2
cvtsd2ss %xmm2, %xmm2
movss %xmm2, 0x1c(%rdx)
addq $0x8, %rax
cmpq %rcx, %rax
jne 0x5ed5
mulsd 0x21ba(%rip), %xmm0     # 0x80b8
movsd %xmm0, 0x1b0(%rdi)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::simplify()
bool simplify() {
    if (propagate() != nullptr)
      return false;
    if (int(nAssigns()) == simpDB_assigns || (simpDB_props > 0))
      return true;
    removeSatisfied(learnts);
    rebuildOrderHeap();
    simpDB_assigns = nAssigns();
    simpDB_props = clauses_literals + learnts_literals;
    return true;
  }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x3134
movq %rax, %r14
testq %rax, %rax
jne 0x5f75
movq 0x10(%rbx), %rax
subq 0x8(%rbx), %rax
shrq $0x2, %rax
cmpl %eax, 0x1d8(%rbx)
je 0x5f75
cmpq $0x0, 0x1e0(%rbx)
jg 0x5f75
leaq 0x38(%rbx), %rsi
movq %rbx, %rdi
callq 0x6c2e
movq %rbx, %rdi
callq 0x6684
movq 0x10(%rbx), %rax
movq 0x200(%rbx), %rcx
subq 0x8(%rbx), %rax
shrq $0x2, %rax
movl %eax, 0x1d8(%rbx)
addq 0x1f8(%rbx), %rcx
movq %rcx, 0x1e0(%rbx)
testq %r14, %r14
sete %al
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::reduceDB()
void reduceDB() {
    size_t j = 0;
    double extra_lim = cla_inc / learnts.size();
    std::sort(learnts.begin(), learnts.end(), reduceDB_cmp);
    for (size_t i = 0; i < learnts.size(); i++) {
      auto &c = learnts[i];
      if (c->size() > 2 && !locked(c.get()) &&
          (i < learnts.size() / 2 || c->activity() < extra_lim)) {
        removeClause(c);
      } else
        learnts[j++] = std::move(c);
    }
    learnts.resize(j);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movq 0x38(%rdi), %r14
movq 0x40(%rdi), %r12
movq %r12, %r13
subq %r14, %r13
sarq $0x3, %r13
movsd 0x1b0(%rdi), %xmm0
movsd %xmm0, 0x8(%rsp)
cmpq %r14, %r12
je 0x5ff2
bsrq %r13, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
leaq 0x10dc(%rip), %r15      # 0x70aa
movq %r14, %rdi
movq %r12, %rsi
movq %r15, %rcx
callq 0x70dc
movq %r14, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x7222
movq 0x38(%rbx), %r14
movq 0x40(%rbx), %r12
leaq 0x38(%rbx), %rax
movq %rax, 0x10(%rsp)
subq %r14, %r12
je 0x60fb
movq %r13, %xmm0
punpckldq 0x204f(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x2057(%rip), %xmm0     # 0x8070
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, 0x8(%rsp)
sarq $0x3, %r12
xorl %ebp, %ebp
xorl %r13d, %r13d
xorl %r15d, %r15d
movq (%r14,%r15,8), %rax
movq (%rax), %rcx
movq 0x8(%rax), %rdx
subq %rcx, %rdx
cmpq $0x9, %rdx
jb 0x60b5
movl (%rcx), %edx
movl %edx, %ecx
sarl %ecx
movslq %ecx, %rcx
movq 0x68(%rbx), %rsi
movb (%rsi,%rcx), %sil
cmpb $0x2, %sil
je 0x6089
andb $0x1, %dl
xorb %dl, %sil
cmpb $0x1, %sil
jne 0x6089
movq 0x80(%rbx), %rdx
shlq $0x4, %rcx
cmpq %rax, (%rdx,%rcx)
je 0x60b5
shrq %r12
cmpq %r12, %r15
jb 0x60a5
xorps %xmm0, %xmm0
cvtss2sd 0x1c(%rax), %xmm0
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x60b5
addq %rbp, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6d58
jmp 0x60da
leaq 0x1(%r13), %r12
movq $0x0, (%r14,%r15,8)
movq (%r14,%r13,8), %rsi
movq %rax, (%r14,%r13,8)
testq %rsi, %rsi
je 0x60d7
leaq (%r14,%r13,8), %rdi
callq 0x4e98
movq %r12, %r13
incq %r15
movq 0x38(%rbx), %r14
movq 0x40(%rbx), %r12
subq %r14, %r12
sarq $0x3, %r12
addq $0x8, %rbp
cmpq %r12, %r15
jb 0x6041
jmp 0x60fe
xorl %r13d, %r13d
movq 0x10(%rsp), %rdi
movq %r13, %rsi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x6dae
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::pickBranchLit()
Literal pickBranchLit() {
    const int VarUndef = -1;
    int next = VarUndef;
    while (next == VarUndef || value(next) != Status::Undef)
      if (order_heap.empty()) {
        next = VarUndef;
        break;
      } else {
        next = (*--order_heap.end()).second;
        order_heap.erase(--order_heap.end());
      }
    if (next == VarUndef)
      return Literal();
    return Literal(next, polarity[next]);
  }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0xf0(%rdi), %r14
leaq 0xf8(%rdi), %r15
movl $0xffffffff, %r12d      # imm = 0xFFFFFFFF
cmpl $-0x1, %r12d
je 0x614c
movslq %r12d, %rax
movq 0x68(%rbx), %rcx
cmpb $0x2, (%rcx,%rax)
je 0x6176
cmpq $0x0, 0x118(%rbx)
je 0x616f
movq %r15, %rdi
callq 0x20e0
movl 0x28(%rax), %r12d
movq %r14, %rdi
movq %rax, %rsi
callq 0x7876
jmp 0x6139
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
jmp 0x61bf
leal 0x3f(%r12), %ecx
testl %r12d, %r12d
cmovnsl %r12d, %ecx
sarl $0x6, %ecx
movslq %ecx, %rcx
shlq $0x3, %rcx
addq 0xb0(%rbx), %rcx
movabsq $-0x8000000000000000, %rdx # imm = 0x8000000000000000
leaq 0x3f(%rdx), %rsi
andq %rax, %rsi
xorl %edi, %edi
cmpq %rdx, %rsi
setbe %dil
movq -0x8(%rcx,%rdi,8), %rcx
xorl %edx, %edx
btq %rax, %rcx
setb %dl
leal (%rdx,%r12,2), %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/jacky860226[P]JinkelaSat/src/include/JinkelaSat.hpp
// Function: MiniSat::JinkelaSat::varBumpActivity(int)
void varBumpActivity(int v) {
    auto ori = activity[v];
    if ((activity[v] += var_inc) > 1e100) {
      for (auto &act : activity)
        act *= 1e-100;
      var_inc *= 1e-100;
      rebuildOrderHeap();
    } else {
      if (order_heap.count({ori, v})) {
        order_heap.erase({ori, v});
        order_heap.emplace(activity[v], v);
      }
    }
  }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x20, %rsp
movq %rdi, %rbx
movl %esi, 0x4(%rsp)
movslq %esi, %rcx
movq 0x98(%rdi), %rax
movsd (%rax,%rcx,8), %xmm1
movsd 0x1b8(%rdi), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, (%rax,%rcx,8)
ucomisd 0x1e87(%rip), %xmm0     # 0x80c0
jbe 0x628c
movq 0xa0(%rbx), %rcx
cmpq %rcx, %rax
je 0x6264
movsd 0x1e79(%rip), %xmm0     # 0x80c8
movsd (%rax), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rax)
addq $0x8, %rax
cmpq %rcx, %rax
jne 0x624f
movsd 0x1b8(%rbx), %xmm0
mulsd 0x1e54(%rip), %xmm0     # 0x80c8
movsd %xmm0, 0x1b8(%rbx)
movq %rbx, %rdi
addq $0x20, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x6684
movl %esi, %ebp
leaq 0xf0(%rbx), %r14
leaq 0x10(%rsp), %rsi
movsd %xmm1, 0x8(%rsp)
movsd %xmm1, (%rsi)
movl %ebp, 0x8(%rsi)
movq %r14, %rdi
callq 0x3e34
leaq 0xf8(%rbx), %rcx
cmpq %rcx, %rax
je 0x62fb
leaq 0x10(%rsp), %rsi
movsd 0x8(%rsp), %xmm0
movsd %xmm0, (%rsi)
movl %ebp, 0x8(%rsi)
movq %r14, %rdi
callq 0x6816
movq %r14, %rdi
movq %rax, %rsi
callq 0x68fa
leaq 0x4(%rsp), %rdx
movslq (%rdx), %rsi
shlq $0x3, %rsi
addq 0x98(%rbx), %rsi
movq %r14, %rdi
callq 0x3ea4
addq $0x20, %rsp
popq %rbx
popq %r14
popq %rbp
retq