// File: /workspace/github_cpp_makefile_star2_O1/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 0x31b9(%rip), %rsi      # 0x91c9
leaq 0x31c3(%rip), %rdx      # 0x91da
leaq -0x88(%rbp), %rdi
callq 0x7a46
leaq -0x288(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x4d76
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 0x6066
callq 0x21d0
movq -0x88(%rbp), %rdi
cmpq %r12, %rdi
je 0x6077
callq 0x21d0
leaq -0x58(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x30c7(%rip), %rsi      # 0x914e
leaq 0x30cd(%rip), %rdx      # 0x915b
leaq -0x68(%rbp), %rdi
callq 0x7a46
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x4d76
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 0x60cb
callq 0x21d0
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x60d9
callq 0x21d0
leaq 0x307c(%rip), %rsi      # 0x915c
leaq -0x288(%rbp), %rdi
movl $0x6, %edx
callq 0x2250
leaq -0x288(%rbp), %rdi
movl %r15d, %esi
callq 0x2370
movq %rax, %r15
leaq 0x30bd(%rip), %rsi      # 0x91c7
movl $0x1, %edx
movq %rax, %rdi
callq 0x2250
movq %r15, %rdi
movl %r14d, %esi
callq 0x2370
leaq 0x303c(%rip), %rsi      # 0x9165
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 0x300d(%rip), %r12      # 0x9165
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 0x61ae
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 0x6158
leaq -0x288(%rbp), %rdi
callq 0x22b0
leaq -0x490(%rbp), %rdi
callq 0x2050
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x61d4
callq 0x21d0
movq 0x6de5(%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 0x6242
callq 0x21d0
jmp 0x6242
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x62b0
callq 0x21d0
jmp 0x62b0
movq %rax, %rbx
jmp 0x62b0
movq %rax, %rbx
leaq -0x278(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6274
callq 0x21d0
jmp 0x6274
movq %rax, %rbx
movq -0x88(%rbp), %rdi
cmpq %r12, %rdi
je 0x62bc
callq 0x21d0
jmp 0x62bc
movq %rax, %rbx
jmp 0x62bc
jmp 0x6293
movq %rax, %rbx
jmp 0x62a4
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x62a4
callq 0x21d0
leaq -0x288(%rbp), %rdi
callq 0x22e0
leaq -0x490(%rbp), %rdi
callq 0x2060
movq %rbx, %rdi
callq 0x2380