// File: 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
subq $0x520, %rsp            # imm = 0x520
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
leaq -0x259(%rbp), %rdi
movq %rdi, -0x4e0(%rbp)
callq 0x3410
movq -0x4e0(%rbp), %rdx
leaq 0x9cb9(%rip), %rsi      # 0x1319f
leaq -0x258(%rbp), %rdi
callq 0x3300
jmp 0x94f4
leaq -0x238(%rbp), %rdi
leaq -0x258(%rbp), %rsi
callq 0x8170
jmp 0x9509
leaq -0x218(%rbp), %rdi
leaq -0x238(%rbp), %rsi
movl $0x8, %edx
callq 0x3380
jmp 0x9523
leaq -0x238(%rbp), %rdi
callq 0x3170
leaq -0x258(%rbp), %rdi
callq 0x3170
leaq -0x259(%rbp), %rdi
callq 0x3270
leaq -0x4b1(%rbp), %rdi
movq %rdi, -0x4e8(%rbp)
callq 0x3410
movq -0x4e8(%rbp), %rdx
leaq 0x9bbc(%rip), %rsi      # 0x13124
leaq -0x4b0(%rbp), %rdi
callq 0x3300
jmp 0x9576
leaq -0x490(%rbp), %rdi
leaq -0x4b0(%rbp), %rsi
callq 0x8170
jmp 0x958b
leaq -0x470(%rbp), %rdi
leaq -0x490(%rbp), %rsi
movl $0x10, %edx
callq 0x3440
jmp 0x95a5
leaq -0x490(%rbp), %rdi
callq 0x3170
leaq -0x4b0(%rbp), %rdi
callq 0x3170
leaq -0x4b1(%rbp), %rdi
callq 0x3270
leaq 0x9b62(%rip), %rsi      # 0x13132
leaq -0x470(%rbp), %rdi
callq 0x3230
movq %rax, -0x4f0(%rbp)
jmp 0x95e5
movq -0x4f0(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x33f0
movq %rax, -0x4f8(%rbp)
jmp 0x95fd
movq -0x4f8(%rbp), %rdi
leaq 0x9b92(%rip), %rsi      # 0x1319d
callq 0x3230
movq %rax, -0x500(%rbp)
jmp 0x9619
movq -0x500(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x33f0
movq %rax, -0x508(%rbp)
jmp 0x9631
movq -0x508(%rbp), %rdi
leaq 0x9afc(%rip), %rsi      # 0x1313b
callq 0x3230
jmp 0x9646
leaq -0x4d8(%rbp), %rdi
callq 0x3310
leaq -0x218(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
callq 0x3050
movq %rax, -0x510(%rbp)
jmp 0x966e
movq -0x510(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x32c0
movb %al, -0x511(%rbp)
jmp 0x968c
movb -0x511(%rbp), %al
testb $0x1, %al
jne 0x969b
jmp 0x97c8
leaq -0x470(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
callq 0x31f0
movq %rax, -0x520(%rbp)
jmp 0x96b7
movq -0x520(%rbp), %rdi
leaq 0x9a76(%rip), %rsi      # 0x1313b
callq 0x3230
jmp 0x96cc
jmp 0x9652
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
jmp 0x9720
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
jmp 0x9714
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
leaq -0x238(%rbp), %rdi
callq 0x3170
leaq -0x258(%rbp), %rdi
callq 0x3170
leaq -0x259(%rbp), %rdi
callq 0x3270
jmp 0x9829
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
jmp 0x9783
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
jmp 0x9777
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
leaq -0x490(%rbp), %rdi
callq 0x3170
leaq -0x4b0(%rbp), %rdi
callq 0x3170
leaq -0x4b1(%rbp), %rdi
callq 0x3270
jmp 0x981d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
jmp 0x9811
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x268(%rbp)
movl %eax, -0x26c(%rbp)
leaq -0x4d8(%rbp), %rdi
callq 0x3170
jmp 0x9811
leaq -0x470(%rbp), %rdi
callq 0x3330
jmp 0x97d6
leaq -0x218(%rbp), %rdi
callq 0x3060
jmp 0x97e4
leaq -0x4d8(%rbp), %rdi
callq 0x3170
leaq -0x470(%rbp), %rdi
callq 0x3350
leaq -0x218(%rbp), %rdi
callq 0x3080
addq $0x520, %rsp            # imm = 0x520
popq %rbp
retq
leaq -0x470(%rbp), %rdi
callq 0x3350
leaq -0x218(%rbp), %rdi
callq 0x3080
movq -0x268(%rbp), %rdi
callq 0x3400
nopw %cs:(%rax,%rax)