// File: /workspace/github_cpp_makefile_star2_O3/cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::recopy(int, int)
void Graph::recopy(int n_vars, int n_clauses){
    std::ifstream ifile(get_path(sat_aux_input));
    std::ofstream ofile(get_path(sat_input));
    
    ofile << "p cnf " << n_vars << " " << n_clauses << "\n";

    std::string line;
    while(getline(ifile, line)){
        ofile << line << "\n";
    }

    ofile.close();
    ifile.close();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x468, %rsp            # imm = 0x468
movl %edx, %r14d
movl %esi, %r15d
leaq -0x78(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x3291(%rip), %rsi      # 0x91e1
leaq 0x329b(%rip), %rdx      # 0x91f2
leaq -0x88(%rbp), %rdi
callq 0x799c
leaq -0x288(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x4cce
leaq -0x490(%rbp), %rbx
leaq -0x288(%rbp), %rsi
movq %rbx, %rdi
movl $0x8, %edx
callq 0x2300
leaq -0x278(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5fa6
callq 0x21d0
movq -0x88(%rbp), %rdi
cmpq %r12, %rdi
je 0x5fb7
callq 0x21d0
leaq -0x58(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x319f(%rip), %rsi      # 0x9166
leaq 0x31a5(%rip), %rdx      # 0x9173
leaq -0x68(%rbp), %rdi
callq 0x799c
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x4cce
leaq -0x288(%rbp), %rdi
leaq -0x48(%rbp), %rsi
movl $0x10, %edx
callq 0x23d0
leaq -0x38(%rbp), %r13
movq -0x10(%r13), %rdi
cmpq %r13, %rdi
je 0x600b
callq 0x21d0
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x6019
callq 0x21d0
leaq 0x3154(%rip), %rsi      # 0x9174
leaq -0x288(%rbp), %rdi
movl $0x6, %edx
callq 0x2250
leaq -0x288(%rbp), %rdi
movl %r15d, %esi
callq 0x2370
movq %rax, %r15
leaq 0x3195(%rip), %rsi      # 0x91df
movl $0x1, %edx
movq %rax, %rdi
callq 0x2250
movq %r15, %rdi
movl %r14d, %esi
callq 0x2370
leaq 0x3114(%rip), %rsi      # 0x917d
movl $0x1, %edx
movq %rax, %rdi
callq 0x2250
leaq -0x48(%rbp), %r14
movq %r13, (%r14)
movq $0x0, 0x8(%r14)
movb $0x0, 0x10(%r14)
leaq -0x288(%rbp), %r15
leaq 0x30e5(%rip), %r12      # 0x917d
movq -0x490(%rbp), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21e0
movsbl %al, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x23b0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x60ee
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %r15, %rdi
callq 0x2250
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2250
jmp 0x6098
leaq -0x288(%rbp), %rdi
callq 0x22b0
leaq -0x490(%rbp), %rdi
callq 0x2050
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x6114
callq 0x21d0
movq 0x6ea5(%rip), %rax      # 0xcfc0
movq (%rax), %rcx
movq 0x18(%rax), %rax
leaq -0x280(%rbp), %rdi
movq %rcx, -0x8(%rdi)
movq -0x18(%rcx), %rcx
movq %rax, -0x288(%rbp,%rcx)
callq 0x2180
leaq -0x190(%rbp), %rdi
callq 0x20a0
leaq -0x490(%rbp), %rdi
callq 0x2060
addq $0x468, %rsp            # imm = 0x468
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6182
callq 0x21d0
jmp 0x6182
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x61f0
callq 0x21d0
jmp 0x61f0
movq %rax, %rbx
jmp 0x61f0
movq %rax, %rbx
leaq -0x278(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x61b4
callq 0x21d0
jmp 0x61b4
movq %rax, %rbx
movq -0x88(%rbp), %rdi
cmpq %r12, %rdi
je 0x61fc
callq 0x21d0
jmp 0x61fc
movq %rax, %rbx
jmp 0x61fc
jmp 0x61d3
movq %rax, %rbx
jmp 0x61e4
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x61e4
callq 0x21d0
leaq -0x288(%rbp), %rdi
callq 0x22e0
leaq -0x490(%rbp), %rdi
callq 0x2060
movq %rbx, %rdi
callq 0x2380